0.99/0.75 c Concrete v3.9.2.1532736233296 running
13.52/5.57 c 05:38:54.802 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11785. 'extension(4, x[1][12]=[0‥4]) :: init: true :: relation: MDD 1195909598, 9 edges, 5 vertices, 6 tuples
13.52/5.57 c 05:38:54.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11786. 'extension(4, x[1][12]=[0‥4]) :: init: true :: relation: MDD 554510956, 5 edges, 3 vertices, 4 tuples
13.52/5.57 c 05:38:54.810 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11810. 'extension(x[0][0]=[0‥4], 4) :: init: true :: relation: MDD 560897187, 9 edges, 5 vertices, 6 tuples
13.52/5.57 c 05:38:54.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11839. 'extension(x[0][22]=[0‥4], 4) :: init: true :: relation: MDD 1104938392, 9 edges, 5 vertices, 6 tuples
13.52/5.57 c 05:38:54.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11840. 'extension(4, x[2][22]=[0‥4]) :: init: true :: relation: MDD 1104938392, 9 edges, 5 vertices, 6 tuples
13.52/5.58 c 05:38:54.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11868. 'extension(4, x[3][0]=[0‥4]) :: init: true :: relation: MDD 560897187, 9 edges, 5 vertices, 6 tuples
13.52/5.58 c 05:38:54.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11871. 'extension(4, 4) :: init: true :: relation: MDD 560897187, 9 edges, 5 vertices, 6 tuples
13.52/5.58 c 05:38:54.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11899. 'extension(x[1][4]=[0‥4], 4) :: init: true :: relation: MDD 1199894489, 9 edges, 5 vertices, 6 tuples
13.52/5.58 c 05:38:54.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11900. 'extension(4, x[3][4]=[0‥4]) :: init: true :: relation: MDD 1199894489, 9 edges, 5 vertices, 6 tuples
13.52/5.58 c 05:38:54.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11930. 'extension(x[2][9]=[0‥4], 4) :: init: true :: relation: MDD 1490466745, 9 edges, 5 vertices, 6 tuples
13.52/5.58 c 05:38:54.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11931. 'extension(4, x[4][9]=[0‥4]) :: init: true :: relation: MDD 1490466745, 9 edges, 5 vertices, 6 tuples
13.52/5.59 c 05:38:54.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11962. 'extension(x[2][16]=[0‥4], 4) :: init: true :: relation: MDD 752772379, 9 edges, 5 vertices, 6 tuples
13.52/5.59 c 05:38:54.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11963. 'extension(4, x[4][16]=[0‥4]) :: init: true :: relation: MDD 752772379, 9 edges, 5 vertices, 6 tuples
13.52/5.59 c 05:38:54.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11995. 'extension(x[2][23]=[0‥4], 4) :: init: true :: relation: MDD 1624510452, 9 edges, 5 vertices, 6 tuples
13.52/5.59 c 05:38:54.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12026. 'extension(x[3][1]=[0‥4], 4) :: init: true :: relation: MDD 1769616559, 9 edges, 5 vertices, 6 tuples
13.52/5.59 c 05:38:54.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12027. 'extension(4, x[5][1]=[0‥4]) :: init: true :: relation: MDD 1769616559, 9 edges, 5 vertices, 6 tuples
13.52/5.59 c 05:38:54.832 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12059. 'extension(x[3][17]=[0‥4], 4) :: init: true :: relation: MDD 1579015748, 9 edges, 5 vertices, 6 tuples
13.52/5.59 c 05:38:54.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12060. 'extension(4, x[5][17]=[0‥4]) :: init: true :: relation: MDD 1579015748, 9 edges, 5 vertices, 6 tuples
13.83/5.60 c 05:38:54.835 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12093. 'extension(x[3][18]=[0‥4], 4) :: init: true :: relation: MDD 318644008, 9 edges, 5 vertices, 6 tuples
13.83/5.60 c 05:38:54.835 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12094. 'extension(4, x[5][18]=[0‥4]) :: init: true :: relation: MDD 318644008, 9 edges, 5 vertices, 6 tuples
13.83/5.60 c 05:38:54.838 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12127. 'extension(4, x[5][23]=[0‥4]) :: init: true :: relation: MDD 1624510452, 9 edges, 5 vertices, 6 tuples
13.83/5.60 c 05:38:54.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12130. 'extension(4, 4) :: init: true :: relation: MDD 1624510452, 9 edges, 5 vertices, 6 tuples
13.83/5.60 c 05:38:54.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12159. 'extension(4, wk[24][0]=[0‥1]) :: init: true :: relation: MDD 765880900, 5 edges, 3 vertices, 4 tuples
13.83/5.60 c 05:38:54.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12160. 'extension(x[4][24]=[0‥4], 4) :: init: true :: relation: MDD 266843824, 9 edges, 5 vertices, 6 tuples
13.83/5.61 c 05:38:54.842 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12161. 'extension(4, x[6][24]=[0‥4]) :: init: true :: relation: MDD 266843824, 9 edges, 5 vertices, 6 tuples
13.83/5.61 c 05:38:54.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12193. 'extension(4, wk[27][0]=[0‥1]) :: init: true :: relation: MDD 1141264726, 5 edges, 3 vertices, 4 tuples
13.83/5.61 c 05:38:54.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12194. 'extension(x[4][27]=[0‥4], 4) :: init: true :: relation: MDD 1397338694, 9 edges, 5 vertices, 6 tuples
13.83/5.61 c 05:38:54.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12227. 'extension(4, wk[27][0]=[0‥1]) :: init: true :: relation: MDD 1464565578, 5 edges, 3 vertices, 4 tuples
13.83/5.61 c 05:38:54.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12228. 'extension(4, x[7][27]=[0‥4]) :: init: true :: relation: MDD 1397338694, 9 edges, 5 vertices, 6 tuples
13.83/5.61 c 05:38:54.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12231. 'extension(4, 4) :: init: true :: relation: MDD 1397338694, 9 edges, 5 vertices, 6 tuples
13.83/5.61 c 05:38:54.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12261. 'extension(x[6][15]=[0‥4], 4) :: init: true :: relation: MDD 2042971662, 9 edges, 5 vertices, 6 tuples
13.83/5.61 c 05:38:54.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12295. 'extension(x[6][17]=[0‥4], 4) :: init: true :: relation: MDD 1579015748, 9 edges, 5 vertices, 6 tuples
13.83/5.61 c 05:38:54.851 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12296. 'extension(4, x[8][17]=[0‥4]) :: init: true :: relation: MDD 1579015748, 9 edges, 5 vertices, 6 tuples
13.83/5.62 c 05:38:54.854 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12331. 'extension(x[6][19]=[0‥4], 4) :: init: true :: relation: MDD 1849941462, 9 edges, 5 vertices, 6 tuples
13.83/5.62 c 05:38:54.854 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12332. 'extension(4, x[8][19]=[0‥4]) :: init: true :: relation: MDD 1849941462, 9 edges, 5 vertices, 6 tuples
13.83/5.62 c 05:38:54.857 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12367. 'extension(x[7][13]=[0‥4], 4) :: init: true :: relation: MDD 1204822967, 9 edges, 5 vertices, 6 tuples
13.83/5.63 c 05:38:54.858 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12368. 'extension(4, x[9][13]=[0‥4]) :: init: true :: relation: MDD 1204822967, 9 edges, 5 vertices, 6 tuples
13.83/5.63 c 05:38:54.860 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12401. 'extension(4, x[9][15]=[0‥4]) :: init: true :: relation: MDD 2042971662, 9 edges, 5 vertices, 6 tuples
13.83/5.63 c 05:38:54.861 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12404. 'extension(4, 4) :: init: true :: relation: MDD 2042971662, 9 edges, 5 vertices, 6 tuples
13.83/5.63 c 05:38:54.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12435. 'extension(x[8][1]=[0‥4], 4) :: init: true :: relation: MDD 1769616559, 9 edges, 5 vertices, 6 tuples
13.83/5.63 c 05:38:54.864 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12436. 'extension(4, x[10][1]=[0‥4]) :: init: true :: relation: MDD 1769616559, 9 edges, 5 vertices, 6 tuples
13.83/5.63 c 05:38:54.866 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12469. 'extension(x[8][11]=[0‥4], 4) :: init: true :: relation: MDD 538721498, 9 edges, 5 vertices, 6 tuples
13.83/5.63 c 05:38:54.866 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12470. 'extension(4, x[10][11]=[0‥4]) :: init: true :: relation: MDD 538721498, 9 edges, 5 vertices, 6 tuples
13.83/5.63 c 05:38:54.869 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12503. 'extension(x[9][9]=[0‥4], 4) :: init: true :: relation: MDD 1490466745, 9 edges, 5 vertices, 6 tuples
13.83/5.63 c 05:38:54.869 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12504. 'extension(4, x[11][9]=[0‥4]) :: init: true :: relation: MDD 1490466745, 9 edges, 5 vertices, 6 tuples
13.83/5.63 c 05:38:54.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12537. 'extension(x[9][21]=[0‥4], 4) :: init: true :: relation: MDD 2017980204, 9 edges, 5 vertices, 6 tuples
13.83/5.63 c 05:38:54.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12538. 'extension(4, x[11][21]=[0‥4]) :: init: true :: relation: MDD 2017980204, 9 edges, 5 vertices, 6 tuples
13.83/5.64 c 05:38:54.875 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12573. 'extension(x[10][7]=[0‥4], 4) :: init: true :: relation: MDD 1058994646, 9 edges, 5 vertices, 6 tuples
13.83/5.64 c 05:38:54.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12607. 'extension(4, wk[7][1]=[0‥1]) :: init: true :: relation: MDD 951629504, 5 edges, 3 vertices, 4 tuples
13.83/5.64 c 05:38:54.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12608. 'extension(4, x[13][7]=[0‥4]) :: init: true :: relation: MDD 1058994646, 9 edges, 5 vertices, 6 tuples
13.83/5.64 c 05:38:54.877 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12611. 'extension(4, 4) :: init: true :: relation: MDD 1058994646, 9 edges, 5 vertices, 6 tuples
13.83/5.64 c 05:38:54.879 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12642. 'extension(4, wk[12][1]=[0‥1]) :: init: true :: relation: MDD 373682836, 5 edges, 3 vertices, 4 tuples
13.83/5.64 c 05:38:54.879 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12643. 'extension(x[11][12]=[0‥4], 4) :: init: true :: relation: MDD 1195909598, 9 edges, 5 vertices, 6 tuples
13.83/5.64 c 05:38:54.879 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12644. 'extension(4, x[13][12]=[0‥4]) :: init: true :: relation: MDD 1195909598, 9 edges, 5 vertices, 6 tuples
13.83/5.64 c 05:38:54.882 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12677. 'extension(4, wk[16][1]=[0‥1]) :: init: true :: relation: MDD 1203638171, 5 edges, 3 vertices, 4 tuples
13.83/5.64 c 05:38:54.882 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12678. 'extension(x[11][16]=[0‥4], 4) :: init: true :: relation: MDD 752772379, 9 edges, 5 vertices, 6 tuples
13.83/5.65 c 05:38:54.882 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12679. 'extension(4, x[13][16]=[0‥4]) :: init: true :: relation: MDD 752772379, 9 edges, 5 vertices, 6 tuples
13.83/5.65 c 05:38:54.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12714. 'extension(4, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 737897289, 5 edges, 3 vertices, 4 tuples
13.83/5.65 c 05:38:54.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12715. 'extension(x[12][6]=[0‥4], 4) :: init: true :: relation: MDD 994632067, 9 edges, 5 vertices, 6 tuples
13.83/5.65 c 05:38:54.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12749. 'extension(4, wk[8][1]=[0‥1]) :: init: true :: relation: MDD 1058984040, 5 edges, 3 vertices, 4 tuples
13.83/5.65 c 05:38:54.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12750. 'extension(x[12][8]=[0‥4], 4) :: init: true :: relation: MDD 108049354, 9 edges, 5 vertices, 6 tuples
13.83/5.65 c 05:38:54.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12784. 'extension(x[13][4]=[0‥4], 4) :: init: true :: relation: MDD 1199894489, 9 edges, 5 vertices, 6 tuples
13.83/5.65 c 05:38:54.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12785. 'extension(4, x[15][4]=[0‥4]) :: init: true :: relation: MDD 1199894489, 9 edges, 5 vertices, 6 tuples
13.83/5.65 c 05:38:54.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12818. 'extension(4, x[15][6]=[0‥4]) :: init: true :: relation: MDD 994632067, 9 edges, 5 vertices, 6 tuples
13.83/5.65 c 05:38:54.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12821. 'extension(4, 4) :: init: true :: relation: MDD 994632067, 9 edges, 5 vertices, 6 tuples
13.83/5.66 c 05:38:54.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12852. 'extension(4, x[15][8]=[0‥4]) :: init: true :: relation: MDD 108049354, 9 edges, 5 vertices, 6 tuples
13.83/5.66 c 05:38:54.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12855. 'extension(4, 4) :: init: true :: relation: MDD 108049354, 9 edges, 5 vertices, 6 tuples
13.83/5.66 c 05:38:54.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12886. 'extension(x[13][10]=[0‥4], 4) :: init: true :: relation: MDD 31184256, 9 edges, 5 vertices, 6 tuples
13.83/5.66 c 05:38:54.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12920. 'extension(x[13][11]=[0‥4], 4) :: init: true :: relation: MDD 538721498, 9 edges, 5 vertices, 6 tuples
13.83/5.66 c 05:38:54.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12921. 'extension(4, x[15][11]=[0‥4]) :: init: true :: relation: MDD 538721498, 9 edges, 5 vertices, 6 tuples
13.83/5.66 c 05:38:54.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12954. 'extension(x[13][14]=[0‥4], 4) :: init: true :: relation: MDD 803149788, 9 edges, 5 vertices, 6 tuples
13.83/5.66 c 05:38:54.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12955. 'extension(4, x[15][14]=[0‥4]) :: init: true :: relation: MDD 803149788, 9 edges, 5 vertices, 6 tuples
13.83/5.66 c 05:38:54.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12988. 'extension(4, x[16][10]=[0‥4]) :: init: true :: relation: MDD 31184256, 9 edges, 5 vertices, 6 tuples
13.83/5.66 c 05:38:54.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12991. 'extension(4, 4) :: init: true :: relation: MDD 31184256, 9 edges, 5 vertices, 6 tuples
13.83/5.67 c 05:38:54.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13022. 'extension(x[14][28]=[0‥4], 4) :: init: true :: relation: MDD 670996243, 9 edges, 5 vertices, 6 tuples
13.83/5.67 c 05:38:54.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13054. 'extension(x[14][29]=[0‥4], 4) :: init: true :: relation: MDD 1997623038, 9 edges, 5 vertices, 6 tuples
13.83/5.67 c 05:38:54.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13086. 'extension(x[15][2]=[0‥4], 4) :: init: true :: relation: MDD 8415638, 9 edges, 5 vertices, 6 tuples
13.83/5.67 c 05:38:54.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13120. 'extension(4, x[17][28]=[0‥4]) :: init: true :: relation: MDD 670996243, 9 edges, 5 vertices, 6 tuples
13.83/5.67 c 05:38:54.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13123. 'extension(4, 4) :: init: true :: relation: MDD 670996243, 9 edges, 5 vertices, 6 tuples
13.83/5.67 c 05:38:54.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13152. 'extension(4, x[17][29]=[0‥4]) :: init: true :: relation: MDD 1997623038, 9 edges, 5 vertices, 6 tuples
13.83/5.67 c 05:38:54.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13155. 'extension(4, 4) :: init: true :: relation: MDD 1997623038, 9 edges, 5 vertices, 6 tuples
13.83/5.67 c 05:38:54.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13184. 'extension(4, x[18][2]=[0‥4]) :: init: true :: relation: MDD 8415638, 9 edges, 5 vertices, 6 tuples
13.83/5.68 c 05:38:54.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13187. 'extension(4, 4) :: init: true :: relation: MDD 8415638, 9 edges, 5 vertices, 6 tuples
13.83/5.68 c 05:38:54.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13218. 'extension(x[16][25]=[0‥4], 4) :: init: true :: relation: MDD 1870054092, 9 edges, 5 vertices, 6 tuples
13.83/5.68 c 05:38:54.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13251. 'extension(x[17][21]=[0‥4], 4) :: init: true :: relation: MDD 2017980204, 9 edges, 5 vertices, 6 tuples
13.83/5.68 c 05:38:54.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13252. 'extension(4, x[19][21]=[0‥4]) :: init: true :: relation: MDD 2017980204, 9 edges, 5 vertices, 6 tuples
13.83/5.68 c 05:38:54.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13287. 'extension(4, x[19][25]=[0‥4]) :: init: true :: relation: MDD 1870054092, 9 edges, 5 vertices, 6 tuples
13.83/5.68 c 05:38:54.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13290. 'extension(4, 4) :: init: true :: relation: MDD 1870054092, 9 edges, 5 vertices, 6 tuples
13.83/5.68 c 05:38:54.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13320. 'extension(4, wk[22][2]=[0‥1]) :: init: true :: relation: MDD 266554246, 5 edges, 3 vertices, 4 tuples
13.83/5.68 c 05:38:54.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13321. 'extension(x[18][22]=[0‥4], 4) :: init: true :: relation: MDD 1104938392, 9 edges, 5 vertices, 6 tuples
13.83/5.68 c 05:38:54.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13322. 'extension(4, x[20][22]=[0‥4]) :: init: true :: relation: MDD 1104938392, 9 edges, 5 vertices, 6 tuples
13.83/5.68 c 05:38:54.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13357. 'extension(x[20][20]=[0‥4], 4) :: init: true :: relation: MDD 1700397528, 9 edges, 5 vertices, 6 tuples
13.83/5.69 c 05:38:54.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13393. 'extension(x[21][3]=[0‥4], 4) :: init: true :: relation: MDD 565847109, 9 edges, 5 vertices, 6 tuples
13.83/5.69 c 05:38:54.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13394. 'extension(4, x[23][3]=[0‥4]) :: init: true :: relation: MDD 565847109, 9 edges, 5 vertices, 6 tuples
13.83/5.69 c 05:38:54.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13427. 'extension(4, x[23][20]=[0‥4]) :: init: true :: relation: MDD 1700397528, 9 edges, 5 vertices, 6 tuples
13.83/5.69 c 05:38:54.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13430. 'extension(4, 4) :: init: true :: relation: MDD 1700397528, 9 edges, 5 vertices, 6 tuples
13.83/5.69 c 05:38:54.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13462. 'extension(x[22][26]=[0‥4], 4) :: init: true :: relation: MDD 914293025, 9 edges, 5 vertices, 6 tuples
13.83/5.69 c 05:38:54.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13494. 'extension(x[23][14]=[0‥4], 4) :: init: true :: relation: MDD 803149788, 9 edges, 5 vertices, 6 tuples
13.83/5.70 c 05:38:54.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13495. 'extension(4, x[25][14]=[0‥4]) :: init: true :: relation: MDD 803149788, 9 edges, 5 vertices, 6 tuples
13.83/5.70 c 05:38:54.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13526. 'extension(x[23][18]=[0‥4], 4) :: init: true :: relation: MDD 318644008, 9 edges, 5 vertices, 6 tuples
13.83/5.70 c 05:38:54.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13527. 'extension(4, x[25][18]=[0‥4]) :: init: true :: relation: MDD 318644008, 9 edges, 5 vertices, 6 tuples
14.17/5.70 c 05:38:54.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13559. 'extension(4, x[25][26]=[0‥4]) :: init: true :: relation: MDD 914293025, 9 edges, 5 vertices, 6 tuples
14.17/5.70 c 05:38:54.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13562. 'extension(4, 4) :: init: true :: relation: MDD 914293025, 9 edges, 5 vertices, 6 tuples
14.17/5.70 c 05:38:54.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13590. 'extension(x[24][24]=[0‥4], 4) :: init: true :: relation: MDD 266843824, 9 edges, 5 vertices, 6 tuples
14.17/5.70 c 05:38:54.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13591. 'extension(4, x[26][24]=[0‥4]) :: init: true :: relation: MDD 266843824, 9 edges, 5 vertices, 6 tuples
14.17/5.70 c 05:38:54.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13620. 'extension(4, wk[3][3]=[0‥1]) :: init: true :: relation: MDD 836614448, 5 edges, 3 vertices, 4 tuples
14.17/5.70 c 05:38:54.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13621. 'extension(x[25][3]=[0‥4], 4) :: init: true :: relation: MDD 565847109, 9 edges, 5 vertices, 6 tuples
14.17/5.70 c 05:38:54.940 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13622. 'extension(4, x[27][3]=[0‥4]) :: init: true :: relation: MDD 565847109, 9 edges, 5 vertices, 6 tuples
14.17/5.70 c 05:38:54.941 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13650. 'extension(4, wk[5][3]=[0‥1]) :: init: true :: relation: MDD 646757254, 5 edges, 3 vertices, 4 tuples
14.17/5.70 c 05:38:54.942 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13651. 'extension(x[25][5]=[0‥4], 4) :: init: true :: relation: MDD 1983063045, 9 edges, 5 vertices, 6 tuples
14.17/5.70 c 05:38:54.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13680. 'extension(4, wk[5][3]=[0‥1]) :: init: true :: relation: MDD 1691678663, 5 edges, 3 vertices, 4 tuples
14.17/5.71 c 05:38:54.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13681. 'extension(4, 4) :: init: true :: relation: MDD 1983063045, 9 edges, 5 vertices, 6 tuples
14.17/5.71 c 05:38:54.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13682. 'extension(4, 4) :: init: true :: relation: MDD 1362842287, 5 edges, 3 vertices, 4 tuples
14.17/5.71 c 05:38:54.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13706. 'extension(4, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 1625932709, 5 edges, 3 vertices, 4 tuples
14.17/5.71 c 05:38:54.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13707. 'extension(x[26][13]=[0‥4], 4) :: init: true :: relation: MDD 1204822967, 9 edges, 5 vertices, 6 tuples
14.17/5.71 c 05:38:54.945 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13708. 'extension(4, x[26][13]=[0‥4]) :: init: true :: relation: MDD 24532316, 5 edges, 3 vertices, 4 tuples
14.17/5.71 c 05:38:54.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13732. 'extension(4, wk[19][3]=[0‥1]) :: init: true :: relation: MDD 1406221524, 5 edges, 3 vertices, 4 tuples
14.17/5.71 c 05:38:54.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13733. 'extension(x[26][19]=[0‥4], 4) :: init: true :: relation: MDD 1849941462, 9 edges, 5 vertices, 6 tuples
14.17/5.71 c 05:38:54.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13734. 'extension(4, x[26][19]=[0‥4]) :: init: true :: relation: MDD 15429318, 5 edges, 3 vertices, 4 tuples
14.17/5.74 c 05:38:54.978 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14249. 'extension(x[1][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.74 c 05:38:54.978 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14251. 'extension(x[1][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.74 c 05:38:54.978 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14257. 'extension(x[0][0]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.74 c 05:38:54.979 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14261. 'extension(x[0][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.74 c 05:38:54.979 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14263. 'extension(x[2][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.74 c 05:38:54.979 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14275. 'extension(x[3][0]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.74 c 05:38:54.980 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14289. 'extension(x[1][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.74 c 05:38:54.980 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14291. 'extension(x[3][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.74 c 05:38:54.981 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14305. 'extension(x[2][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.74 c 05:38:54.982 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14307. 'extension(x[4][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.74 c 05:38:54.982 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14321. 'extension(x[2][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.74 c 05:38:54.983 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14323. 'extension(x[4][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.75 c 05:38:54.987 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14339. 'extension(x[2][23]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.988 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14345. 'extension(x[3][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.988 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14347. 'extension(x[5][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.989 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14361. 'extension(x[3][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.989 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14363. 'extension(x[5][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.990 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14377. 'extension(x[3][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.990 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14379. 'extension(x[5][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.991 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14395. 'extension(x[5][23]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.992 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14405. 'extension(wk[24][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.992 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14407. 'extension(x[4][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.992 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14409. 'extension(x[6][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.993 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14421. 'extension(wk[27][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.993 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14423. 'extension(x[4][27]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.993 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14429. 'extension(wk[27][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.994 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14431. 'extension(x[7][27]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.994 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14441. 'extension(x[6][15]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.995 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14447. 'extension(x[6][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.995 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14449. 'extension(x[8][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.996 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14465. 'extension(x[6][19]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.996 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14467. 'extension(x[8][19]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.997 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14483. 'extension(x[7][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.997 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14485. 'extension(x[9][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.998 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14499. 'extension(x[9][15]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.998 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14513. 'extension(x[8][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.999 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14515. 'extension(x[10][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:54.999 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14529. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:55.000 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14531. 'extension(x[10][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:55.000 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14545. 'extension(x[9][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:55.001 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14547. 'extension(x[11][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:55.001 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14561. 'extension(x[9][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:55.001 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14563. 'extension(x[11][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.76 c 05:38:55.002 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14579. 'extension(x[10][7]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.003 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14585. 'extension(wk[7][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.003 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14587. 'extension(x[13][7]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.004 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14601. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.004 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14603. 'extension(x[11][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.004 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14605. 'extension(x[13][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.005 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14619. 'extension(wk[16][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.005 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14621. 'extension(x[11][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.005 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14623. 'extension(x[13][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.006 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14639. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.007 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14641. 'extension(x[12][6]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.007 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14647. 'extension(wk[8][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.007 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14649. 'extension(x[12][8]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.007 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14655. 'extension(x[13][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.008 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14657. 'extension(x[15][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.008 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14671. 'extension(x[15][6]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.009 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14685. 'extension(x[15][8]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.010 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14699. 'extension(x[13][10]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.010 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14705. 'extension(x[13][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.010 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14707. 'extension(x[15][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.011 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14721. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.011 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14723. 'extension(x[15][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.77 c 05:38:55.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14737. 'extension(x[16][10]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.013 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14751. 'extension(x[14][28]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.013 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14757. 'extension(x[14][29]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.014 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14763. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.014 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14769. 'extension(x[17][28]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.014 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14775. 'extension(x[17][29]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.015 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14781. 'extension(x[18][2]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.015 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14795. 'extension(x[16][25]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14801. 'extension(x[17][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14803. 'extension(x[19][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.017 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14819. 'extension(x[19][25]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14829. 'extension(wk[22][2]=[0‥1]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14831. 'extension(x[18][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14833. 'extension(x[20][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.019 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14849. 'extension(x[20][20]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.019 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14855. 'extension(x[21][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.019 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14857. 'extension(x[23][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.020 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14871. 'extension(x[23][20]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14887. 'extension(x[22][26]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14893. 'extension(x[23][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.022 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14895. 'extension(x[25][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.022 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14909. 'extension(x[23][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.78 c 05:38:55.023 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14911. 'extension(x[25][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.79 c 05:38:55.023 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14927. 'extension(x[25][26]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.79 c 05:38:55.024 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14937. 'extension(x[24][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.79 c 05:38:55.024 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14939. 'extension(x[26][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.79 c 05:38:55.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14951. 'extension(wk[3][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.17/5.79 c 05:38:55.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14953. 'extension(x[25][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.79 c 05:38:55.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14955. 'extension(x[27][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.79 c 05:38:55.026 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14967. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.17/5.79 c 05:38:55.026 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14969. 'extension(x[25][5]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.79 c 05:38:55.026 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14975. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.17/5.79 c 05:38:55.027 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14981. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.17/5.79 c 05:38:55.027 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14983. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.79 c 05:38:55.027 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14985. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.79 c 05:38:55.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14991. 'extension(wk[19][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.17/5.79 c 05:38:55.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14993. 'extension(x[26][19]=[0‥4]) :: init: true :: relation: Empty MDD
14.17/5.79 c 05:38:55.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14995. 'extension(x[26][19]=[0‥4]) :: init: true :: relation: Empty MDD
2520.07/2447.70 Exception in thread "main" java.util.concurrent.TimeoutException
2520.07/2447.71 at concrete.MAC.mac(MAC.scala:188)
2520.07/2447.71 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.07/2447.71 at scala.util.Try$.apply(Try.scala:209)
2520.07/2447.71 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2447.71 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2447.71 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2447.71 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2447.71 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.07/2447.71 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2447.71 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2447.71 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2447.71 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2447.71 at concrete.MAC.oneRun(MAC.scala:253)
2520.07/2447.71 at concrete.MAC.nextSolution(MAC.scala:272)
2520.07/2447.71 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.07/2447.71 at concrete.ProblemState.map(ProblemState.scala:221)
2520.07/2447.71 at concrete.ProblemState.map(ProblemState.scala:204)
2520.07/2447.71 at concrete.MAC.nextSolution(MAC.scala:334)
2520.07/2447.71 at concrete.Solver.hasNext(Solver.scala:166)
2520.07/2447.71 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.07/2447.71 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.07/2447.71 at concrete.Solver.foreach(Solver.scala:68)
2520.07/2447.71 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.07/2447.71 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2447.71 at scala.util.Success.map(Try.scala:209)
2520.07/2447.71 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2447.71 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.07/2447.71 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.07/2447.71 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2447.71 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.07/2447.71 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2447.71 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2447.71 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2447.71 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2447.71 at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2447.71 at scala.App.main(App.scala:76)
2520.07/2447.71 at scala.App.main$(App.scala:74)
2520.07/2447.71 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.07/2447.71 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2447.71 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 (734 MiB free)
memory of node 1: 16384 MiB (2579 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304184-1534045128/watcher-4304184-1534045128 -o /tmp/evaluation-result-4304184-1534045128/solver-4304184-1534045128 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534037719-31472 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1021491574 -superng HOME/instance-4304184-1534045128.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=302, runsolver pid=32767
[startup+0.100079 s]*
/proc/loadavg: 1.77 1.74 1.71 3/206 362
/proc/meminfo: memFree=3390400/32770624 swapFree=67108860/67108860
[pid=302] ppid=32767 vsize=10005480 memory=14380 CPUtime=0.09 cores=1,3,5,7
/proc/302/stat : 302 (java) S 32767 302 30457 0 -1 1077944320 4288 13241 0 0 1 0 5 3 20 0 6 0 222076062 10245611520 3595 33554432000 4194304 4196468 140726360883488 140726360866032 140593033764599 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
/proc/302/statm: 2501370 3595 1919 1 0 2489808 0
[pid=302/tid=358] ppid=32767 vsize=10021560 memory=8389772277269004345 CPUtime=0.09 cores=1,3,5,7
/proc/302/task/358/stat : 358 (java) R 32767 302 30457 0 -1 4202560 2365 13241 0 0 1 0 5 3 20 0 6 0 222076071 10262077440 3925 33554432000 4194304 4196468 140726360883488 140593005601360 140593019277309 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=359] ppid=32767 vsize=10021560 memory=288293255295270935 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/359/stat : 359 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 6 0 222076071 10262077440 3925 33554432000 4194304 4196468 140726360883488 140593038006672 140593033774805 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=360] ppid=32767 vsize=10021560 memory=3618000371052283552 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/360/stat : 360 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 6 0 222076071 10262077440 3925 33554432000 4194304 4196468 140726360883488 140592573450512 140593033774805 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=361] ppid=32767 vsize=10022588 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/361/stat : 361 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 7 0 222076071 10263130112 3925 33554432000 4194304 4196468 140726360883488 140592572398224 140593033774805 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=362] ppid=32767 vsize=10022588 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/362/stat : 362 (java) S 32767 302 30457 0 -1 1077944384 2 13241 0 0 0 0 5 3 20 0 7 0 222076071 10263130112 3925 33554432000 4194304 4196468 140726360883488 140592571345424 140593033774805 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=363] ppid=32767 vsize=10022588 memory=140685676742272 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/363/stat : 363 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 7 0 222076073 10263130112 3925 33554432000 4194304 4196468 140726360883488 140593005601360 140593033774805 0 0 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14380 KiB
[startup+0.209891 s]*
/proc/loadavg: 1.77 1.74 1.71 3/215 371
/proc/meminfo: memFree=3367860/32770624 swapFree=67108860/67108860
[pid=302] ppid=32767 vsize=10982744 memory=41376 CPUtime=0.25 cores=1,3,5,7
/proc/302/stat : 302 (java) S 32767 302 30457 0 -1 1077944320 7542 13241 0 0 16 1 5 3 20 0 15 0 222076062 11246329856 10344 33554432000 4194304 4196468 140726360883488 140726360866032 140593033764599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
/proc/302/statm: 2745686 10344 2967 1 0 2708109 0
[pid=302/tid=358] ppid=32767 vsize=10982744 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/302/task/358/stat : 358 (java) R 32767 302 30457 0 -1 4202560 4147 13241 0 0 10 1 5 3 20 0 15 0 222076071 11246329856 10410 33554432000 4194304 4196468 140726360883488 140593005581712 140593014040320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=359] ppid=32767 vsize=10982744 memory=288293255295270935 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/359/stat : 359 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076071 11246329856 10410 33554432000 4194304 4196468 140726360883488 140593038006672 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=360] ppid=32767 vsize=10982744 memory=3618000371052283552 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/360/stat : 360 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076071 11246329856 10410 33554432000 4194304 4196468 140726360883488 140592573450512 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=361] ppid=32767 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/361/stat : 361 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076071 11246329856 10476 33554432000 4194304 4196468 140726360883488 140592572398224 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=362] ppid=32767 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/362/stat : 362 (java) S 32767 302 30457 0 -1 1077944384 2 13241 0 0 0 0 5 3 20 0 15 0 222076071 11246329856 10476 33554432000 4194304 4196468 140726360883488 140592571345424 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=363] ppid=32767 vsize=10982744 memory=140685676742272 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/363/stat : 363 (java) S 32767 302 30457 0 -1 1077944384 2 13241 0 0 0 0 5 3 20 0 15 0 222076073 11246329856 10476 33554432000 4194304 4196468 140726360883488 140592003648112 140593033775746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=364] ppid=32767 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/364/stat : 364 (java) S 32767 302 30457 0 -1 1077944384 13 13241 0 0 0 0 5 3 20 0 15 0 222076073 11246329856 10476 33554432000 4194304 4196468 140726360883488 140591929222432 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=365] ppid=32767 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/365/stat : 365 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076073 11246329856 10476 33554432000 4194304 4196468 140726360883488 140591727896176 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=366] ppid=32767 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/366/stat : 366 (java) S 32767 302 30457 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 222076076 11246329856 10476 33554432000 4194304 4196468 140726360883488 140591420496464 140593033783195 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=367] ppid=32767 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/302/task/367/stat : 367 (java) S 32767 302 30457 0 -1 1077944384 436 13241 0 0 1 0 5 3 20 0 15 0 222076076 11246329856 10476 33554432000 4194304 4196468 140726360883488 140592002594928 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=368] ppid=32767 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/302/task/368/stat : 368 (java) S 32767 302 30457 0 -1 1077944384 204 13241 0 0 1 0 5 3 20 0 15 0 222076076 11246329856 10476 33554432000 4194304 4196468 140726360883488 140592001542128 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=369] ppid=32767 vsize=10982744 memory=140685676742272 CPUtime=0.11 cores=1,3,5,7
/proc/302/task/369/stat : 369 (java) S 32767 302 30457 0 -1 1077944384 651 13241 0 0 3 0 5 3 20 0 15 0 222076076 11246329856 10476 33554432000 4194304 4196468 140726360883488 140592000489840 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=370] ppid=32767 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/370/stat : 370 (java) S 32767 302 30457 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 222076077 11246329856 10476 33554432000 4194304 4196468 140726360883488 140590989699552 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=371] ppid=32767 vsize=10982744 memory=140685676742272 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/371/stat : 371 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076077 11246329856 10476 33554432000 4194304 4196468 140726360883488 140591999437744 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41376 KiB
[startup+0.310146 s]*
/proc/loadavg: 1.77 1.74 1.71 3/215 371
/proc/meminfo: memFree=3356076/32770624 swapFree=67108860/67108860
[pid=302] ppid=32767 vsize=10983192 memory=53288 CPUtime=0.38 cores=1,3,5,7
/proc/302/stat : 302 (java) S 32767 302 30457 0 -1 1077944320 10355 13241 0 0 28 2 5 3 20 0 15 0 222076062 11246788608 13322 33554432000 4194304 4196468 140726360883488 140726360866032 140593033764599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
/proc/302/statm: 2745798 13322 3100 1 0 2708109 0
[pid=302/tid=358] ppid=32767 vsize=10983192 memory=-7003737579269690708 CPUtime=0.29 cores=1,3,5,7
/proc/302/task/358/stat : 358 (java) R 32767 302 30457 0 -1 4202560 7357 13241 0 0 19 2 5 3 20 0 15 0 222076071 11246788608 13848 33554432000 4194304 4196468 140726360883488 140593005576608 140593017845086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=359] ppid=32767 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/359/stat : 359 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076071 11246788608 13890 33554432000 4194304 4196468 140726360883488 140593038006672 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=360] ppid=32767 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/360/stat : 360 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076071 11246788608 13890 33554432000 4194304 4196468 140726360883488 140592573450512 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=361] ppid=32767 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/361/stat : 361 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076071 11246788608 13890 33554432000 4194304 4196468 140726360883488 140592572398224 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=362] ppid=32767 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/362/stat : 362 (java) S 32767 302 30457 0 -1 1077944384 2 13241 0 0 0 0 5 3 20 0 15 0 222076071 11246788608 13890 33554432000 4194304 4196468 140726360883488 140592571345424 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=363] ppid=32767 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/363/stat : 363 (java) S 32767 302 30457 0 -1 1077944384 2 13241 0 0 0 0 5 3 20 0 15 0 222076073 11246788608 13890 33554432000 4194304 4196468 140726360883488 140592003648112 140593033775746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=364] ppid=32767 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/364/stat : 364 (java) S 32767 302 30457 0 -1 1077944384 13 13241 0 0 0 0 5 3 20 0 15 0 222076073 11246788608 13890 33554432000 4194304 4196468 140726360883488 140591929222432 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=365] ppid=32767 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/365/stat : 365 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076073 11246788608 13890 33554432000 4194304 4196468 140726360883488 140591727896176 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=366] ppid=32767 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/366/stat : 366 (java) S 32767 302 30457 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 222076076 11246788608 13890 33554432000 4194304 4196468 140726360883488 140591420496464 140593033783195 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=367] ppid=32767 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/302/task/367/stat : 367 (java) S 32767 302 30457 0 -1 1077944384 439 13241 0 0 1 0 5 3 20 0 15 0 222076076 11246788608 13890 33554432000 4194304 4196468 140726360883488 140592002594928 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=368] ppid=32767 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/302/task/368/stat : 368 (java) S 32767 302 30457 0 -1 1077944384 207 13241 0 0 1 0 5 3 20 0 15 0 222076076 11246788608 13890 33554432000 4194304 4196468 140726360883488 140592001542128 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=369] ppid=32767 vsize=10983192 memory=140685676742272 CPUtime=0.13 cores=1,3,5,7
/proc/302/task/369/stat : 369 (java) S 32767 302 30457 0 -1 1077944384 687 13241 0 0 5 0 5 3 20 0 15 0 222076076 11246788608 13890 33554432000 4194304 4196468 140726360883488 140592000489840 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=370] ppid=32767 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/370/stat : 370 (java) S 32767 302 30457 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 222076077 11246788608 13890 33554432000 4194304 4196468 140726360883488 140590989699552 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=371] ppid=32767 vsize=10983192 memory=140685676742272 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/371/stat : 371 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076077 11246788608 13890 33554432000 4194304 4196468 140726360883488 140591999437744 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53288 KiB
[startup+0.700741 s]
/proc/loadavg: 1.77 1.74 1.71 3/215 371
/proc/meminfo: memFree=3345408/32770624 swapFree=67108860/67108860
[pid=302] ppid=32767 vsize=10983192 memory=88272 CPUtime=0.99 cores=1,3,5,7
/proc/302/stat : 302 (java) S 32767 302 30457 0 -1 1077944320 17193 13241 0 0 87 4 5 3 20 0 15 0 222076062 11246788608 22068 33554432000 4194304 4196468 140726360883488 140726360866032 140593033764599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
/proc/302/statm: 2745798 22068 3247 1 0 2708109 0
[pid=302/tid=358] ppid=32767 vsize=10983192 memory=2196 CPUtime=0.66 cores=1,3,5,7
/proc/302/task/358/stat : 358 (java) R 32767 302 30457 0 -1 4202560 12484 13241 0 0 55 3 5 3 20 0 15 0 222076071 11246788608 22068 33554432000 4194304 4196468 140726360883488 140593005586320 140593017845086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=359] ppid=32767 vsize=10983192 memory=1776 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/359/stat : 359 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076071 11246788608 22068 33554432000 4194304 4196468 140726360883488 140593038006672 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=360] ppid=32767 vsize=10983192 memory=6297835844906604903 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/360/stat : 360 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076071 11246788608 22068 33554432000 4194304 4196468 140726360883488 140592573450512 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=361] ppid=32767 vsize=10983192 memory=8025788805521827412 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/361/stat : 361 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076071 11246788608 22068 33554432000 4194304 4196468 140726360883488 140592572398224 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=362] ppid=32767 vsize=10983192 memory=5860705283049084265 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/362/stat : 362 (java) S 32767 302 30457 0 -1 1077944384 2 13241 0 0 0 0 5 3 20 0 15 0 222076071 11246788608 22068 33554432000 4194304 4196468 140726360883488 140592571345424 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=363] ppid=32767 vsize=10983192 memory=140685676741105 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/363/stat : 363 (java) S 32767 302 30457 0 -1 1077944384 5 13241 0 0 0 0 5 3 20 0 15 0 222076073 11246788608 22068 33554432000 4194304 4196468 140726360883488 140592003648112 140593033775746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=364] ppid=32767 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/364/stat : 364 (java) S 32767 302 30457 0 -1 1077944384 13 13241 0 0 0 0 5 3 20 0 15 0 222076073 11246788608 22068 33554432000 4194304 4196468 140726360883488 140591929222432 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=365] ppid=32767 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/365/stat : 365 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076073 11246788608 22068 33554432000 4194304 4196468 140726360883488 140591727896176 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=366] ppid=32767 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/366/stat : 366 (java) S 32767 302 30457 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 222076076 11246788608 22068 33554432000 4194304 4196468 140726360883488 140591420496464 140593033783195 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=367] ppid=32767 vsize=10983192 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/302/task/367/stat : 367 (java) S 32767 302 30457 0 -1 1077944384 1025 13241 0 0 10 0 5 3 20 0 15 0 222076076 11246788608 22068 33554432000 4194304 4196468 140726360883488 140592002594928 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=368] ppid=32767 vsize=10983192 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/302/task/368/stat : 368 (java) S 32767 302 30457 0 -1 1077944384 600 13241 0 0 7 0 5 3 20 0 15 0 222076076 11246788608 22068 33554432000 4194304 4196468 140726360883488 140592001542128 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=369] ppid=32767 vsize=10983192 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/302/task/369/stat : 369 (java) S 32767 302 30457 0 -1 1077944384 862 13241 0 0 13 0 5 3 20 0 15 0 222076076 11246788608 22068 33554432000 4194304 4196468 140726360883488 140592000489840 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=370] ppid=32767 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/370/stat : 370 (java) S 32767 302 30457 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 222076077 11246788608 22068 33554432000 4194304 4196468 140726360883488 140590989699552 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=371] ppid=32767 vsize=10983192 memory=4028 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/371/stat : 371 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076077 11246788608 22068 33554432000 4194304 4196468 140726360883488 140591999437744 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88272 KiB
[startup+1.50085 s]
/proc/loadavg: 1.77 1.74 1.71 3/215 371
/proc/meminfo: memFree=3299356/32770624 swapFree=67108860/67108860
[pid=302] ppid=32767 vsize=10993996 memory=166952 CPUtime=2.99 cores=1,3,5,7
/proc/302/stat : 302 (java) S 32767 302 30457 0 -1 1077944320 25690 13241 0 0 283 8 5 3 20 0 15 0 222076062 11257851904 41738 33554432000 4194304 4196468 140726360883488 140726360866032 140593033764599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
/proc/302/statm: 2748499 41738 3447 1 0 2710157 0
[pid=302/tid=358] ppid=32767 vsize=10993996 memory=281371092507760 CPUtime=1.46 cores=1,3,5,7
/proc/302/task/358/stat : 358 (java) R 32767 302 30457 0 -1 4202560 16351 13241 0 0 132 6 5 3 20 0 15 0 222076071 11257851904 41738 33554432000 4194304 4196468 140726360883488 140593005564800 140593016951408 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=359] ppid=32767 vsize=10993996 memory=281371092200600 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/359/stat : 359 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076071 11257851904 41738 33554432000 4194304 4196468 140726360883488 140593038006672 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=360] ppid=32767 vsize=10993996 memory=1593432867254 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/360/stat : 360 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076071 11257851904 41738 33554432000 4194304 4196468 140726360883488 140592573450512 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=361] ppid=32767 vsize=10993996 memory=2196 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/361/stat : 361 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076071 11257851904 41738 33554432000 4194304 4196468 140726360883488 140592572398224 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=362] ppid=32767 vsize=10993996 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/362/stat : 362 (java) S 32767 302 30457 0 -1 1077944384 2 13241 0 0 0 0 5 3 20 0 15 0 222076071 11257851904 41738 33554432000 4194304 4196468 140726360883488 140592571345424 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=363] ppid=32767 vsize=10993996 memory=281371092641504 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/363/stat : 363 (java) S 32767 302 30457 0 -1 1077944384 13 13241 0 0 0 0 5 3 20 0 15 0 222076073 11257851904 41738 33554432000 4194304 4196468 140726360883488 140592003648112 140593033775746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=364] ppid=32767 vsize=10993996 memory=281371092931264 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/364/stat : 364 (java) S 32767 302 30457 0 -1 1077944384 13 13241 0 0 0 0 5 3 20 0 15 0 222076073 11257851904 41738 33554432000 4194304 4196468 140726360883488 140591929222432 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=365] ppid=32767 vsize=10993996 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/365/stat : 365 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076073 11257851904 41738 33554432000 4194304 4196468 140726360883488 140591727896176 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=366] ppid=32767 vsize=10993996 memory=6944656592455360608 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/366/stat : 366 (java) S 32767 302 30457 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 222076076 11257851904 41738 33554432000 4194304 4196468 140726360883488 140591420496464 140593033783195 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=367] ppid=32767 vsize=10993996 memory=6944656592455360608 CPUtime=0.58 cores=1,3,5,7
/proc/302/task/367/stat : 367 (java) R 32767 302 30457 0 -1 4202560 2386 13241 0 0 50 0 5 3 20 0 15 0 222076076 11257851904 41738 33554432000 4194304 4196468 140726360883488 140592002594928 140593019792671 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=368] ppid=32767 vsize=10993996 memory=-7966001967374371424 CPUtime=0.59 cores=1,3,5,7
/proc/302/task/368/stat : 368 (java) S 32767 302 30457 0 -1 1077944384 2710 13241 0 0 51 0 5 3 20 0 15 0 222076076 11257851904 41738 33554432000 4194304 4196468 140726360883488 140592001542128 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=369] ppid=32767 vsize=10993996 memory=-6876588461455810464 CPUtime=0.57 cores=1,3,5,7
/proc/302/task/369/stat : 369 (java) S 32767 302 30457 0 -1 1077944384 2012 13241 0 0 49 0 5 3 20 0 15 0 222076076 11257851904 41738 33554432000 4194304 4196468 140726360883488 140592000489840 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=370] ppid=32767 vsize=10993996 memory=6944656592452807325 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/370/stat : 370 (java) S 32767 302 30457 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 222076077 11257851904 41738 33554432000 4194304 4196468 140726360883488 140590989699552 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=371] ppid=32767 vsize=10993996 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/371/stat : 371 (java) S 32767 302 30457 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 222076077 11257851904 41738 33554432000 4194304 4196468 140726360883488 140591999437744 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
################
# More data... #
################
/proc/302/task/358/stat : 358 (java) R 32767 302 30457 0 -1 4202560 97513 13241 0 0 235779 53 5 3 20 0 15 0 222076071 11280941056 242162 33554432000 4194304 4196468 140726360883488 140593005599936 140592613621056 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=359] ppid=32767 vsize=11016544 memory=281371093552640 CPUtime=14.48 cores=1,3,5,7
/proc/302/task/359/stat : 359 (java) S 32767 302 30457 0 -1 1077944384 14354 13241 0 0 1372 68 5 3 20 0 15 0 222076071 11280941056 242162 33554432000 4194304 4196468 140726360883488 140593038006672 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=360] ppid=32767 vsize=11016544 memory=968648 CPUtime=14.54 cores=1,3,5,7
/proc/302/task/360/stat : 360 (java) S 32767 302 30457 0 -1 1077944384 13893 13241 0 0 1379 67 5 3 20 0 15 0 222076071 11280941056 242162 33554432000 4194304 4196468 140726360883488 140592573450512 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=361] ppid=32767 vsize=11016544 memory=968648 CPUtime=14.52 cores=1,3,5,7
/proc/302/task/361/stat : 361 (java) S 32767 302 30457 0 -1 1077944384 13769 13241 0 0 1379 65 5 3 20 0 15 0 222076071 11280941056 242162 33554432000 4194304 4196468 140726360883488 140592572398224 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=362] ppid=32767 vsize=11016544 memory=968648 CPUtime=14.55 cores=1,3,5,7
/proc/302/task/362/stat : 362 (java) S 32767 302 30457 0 -1 1077944384 16383 13241 0 0 1378 69 5 3 20 0 15 0 222076071 11280941056 242162 33554432000 4194304 4196468 140726360883488 140592571345424 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=363] ppid=32767 vsize=11016544 memory=968648 CPUtime=7.25 cores=1,3,5,7
/proc/302/task/363/stat : 363 (java) S 32767 302 30457 0 -1 1077944384 14265 13241 0 0 674 43 5 3 20 0 15 0 222076073 11280941056 242162 33554432000 4194304 4196468 140726360883488 140592003648112 140593033775746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=364] ppid=32767 vsize=11016544 memory=1328725297981317182 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/364/stat : 364 (java) S 32767 302 30457 0 -1 1077944384 17 13241 0 0 0 0 5 3 20 0 15 0 222076073 11280941056 242162 33554432000 4194304 4196468 140726360883488 140591929222560 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=365] ppid=32767 vsize=11016544 memory=792 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/365/stat : 365 (java) S 32767 302 30457 0 -1 1077944384 13 13241 0 0 0 0 5 3 20 0 15 0 222076073 11280941056 242162 33554432000 4194304 4196468 140726360883488 140591727896192 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=366] ppid=32767 vsize=11016544 memory=968648 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/366/stat : 366 (java) S 32767 302 30457 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 222076076 11280941056 242162 33554432000 4194304 4196468 140726360883488 140591420496464 140593033783195 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=367] ppid=32767 vsize=11016544 memory=968648 CPUtime=12.24 cores=1,3,5,7
/proc/302/task/367/stat : 367 (java) S 32767 302 30457 0 -1 1077944384 76160 13241 0 0 1207 9 5 3 20 0 15 0 222076076 11280941056 242162 33554432000 4194304 4196468 140726360883488 140592002594928 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=368] ppid=32767 vsize=11016544 memory=4028 CPUtime=12 cores=1,3,5,7
/proc/302/task/368/stat : 368 (java) S 32767 302 30457 0 -1 1077944384 63023 13241 0 0 1183 9 5 3 20 0 15 0 222076076 11280941056 242162 33554432000 4194304 4196468 140726360883488 140592001542128 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=369] ppid=32767 vsize=11016544 memory=968648 CPUtime=4.98 cores=1,3,5,7
/proc/302/task/369/stat : 369 (java) S 32767 302 30457 0 -1 1077944384 69656 13241 0 0 479 11 5 3 20 0 15 0 222076076 11280941056 242162 33554432000 4194304 4196468 140726360883488 140592000489840 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=370] ppid=32767 vsize=11016544 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/370/stat : 370 (java) S 32767 302 30457 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 222076077 11280941056 242162 33554432000 4194304 4196468 140726360883488 140590989699552 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=371] ppid=32767 vsize=11016544 memory=7883944151737461102 CPUtime=1.31 cores=1,3,5,7
/proc/302/task/371/stat : 371 (java) S 32767 302 30457 0 -1 1077944384 2192 13241 0 0 57 66 5 3 20 0 15 0 222076077 11280941056 242162 33554432000 4194304 4196468 140726360883488 140591999437744 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
Current children cumulated CPU time: 2453.67 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 968648 KiB
[startup+2442.3 s]
/proc/loadavg: 1.28 1.33 1.32 3/215 621
/proc/meminfo: memFree=4335524/32770624 swapFree=67108860/67108860
[pid=302] ppid=32767 vsize=11016544 memory=911164 CPUtime=2514.57 cores=1,3,5,7
/proc/302/stat : 302 (java) S 32767 302 30457 0 -1 1077944320 385151 13241 0 0 251022 427 5 3 20 0 15 0 222076062 11280941056 227791 33554432000 4194304 4196468 140726360883488 140726360866032 140593033764599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
/proc/302/statm: 2754136 227791 3536 1 0 2715789 0
[pid=302/tid=358] ppid=32767 vsize=11016544 memory=911164 CPUtime=2417.87 cores=1,3,5,7
/proc/302/task/358/stat : 358 (java) R 32767 302 30457 0 -1 4202560 98371 13241 0 0 241725 54 5 3 20 0 15 0 222076071 11280941056 227791 33554432000 4194304 4196468 140726360883488 140593005599600 140592629739235 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=359] ppid=32767 vsize=11016544 memory=911164 CPUtime=14.8 cores=1,3,5,7
/proc/302/task/359/stat : 359 (java) S 32767 302 30457 0 -1 1077944384 14388 13241 0 0 1403 69 5 3 20 0 15 0 222076071 11280941056 227791 33554432000 4194304 4196468 140726360883488 140593038006672 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=360] ppid=32767 vsize=11016544 memory=911164 CPUtime=14.85 cores=1,3,5,7
/proc/302/task/360/stat : 360 (java) S 32767 302 30457 0 -1 1077944384 13968 13241 0 0 1409 68 5 3 20 0 15 0 222076071 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592573450512 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=361] ppid=32767 vsize=11016544 memory=911164 CPUtime=14.84 cores=1,3,5,7
/proc/302/task/361/stat : 361 (java) S 32767 302 30457 0 -1 1077944384 13809 13241 0 0 1410 66 5 3 20 0 15 0 222076071 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592572398224 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=362] ppid=32767 vsize=11016544 memory=1328725297981317182 CPUtime=14.86 cores=1,3,5,7
/proc/302/task/362/stat : 362 (java) S 32767 302 30457 0 -1 1077944384 16416 13241 0 0 1408 70 5 3 20 0 15 0 222076071 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592571345424 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=363] ppid=32767 vsize=11016544 memory=911164 CPUtime=7.39 cores=1,3,5,7
/proc/302/task/363/stat : 363 (java) S 32767 302 30457 0 -1 1077944384 14306 13241 0 0 687 44 5 3 20 0 15 0 222076073 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592003648112 140593033775746 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=364] ppid=32767 vsize=11016544 memory=911164 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/364/stat : 364 (java) S 32767 302 30457 0 -1 1077944384 17 13241 0 0 0 0 5 3 20 0 15 0 222076073 11280941056 227791 33554432000 4194304 4196468 140726360883488 140591929222560 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=365] ppid=32767 vsize=11016544 memory=913216 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/365/stat : 365 (java) S 32767 302 30457 0 -1 1077944384 13 13241 0 0 0 0 5 3 20 0 15 0 222076073 11280941056 227791 33554432000 4194304 4196468 140726360883488 140591727896192 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=366] ppid=32767 vsize=11016544 memory=911164 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/366/stat : 366 (java) S 32767 302 30457 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 222076076 11280941056 227791 33554432000 4194304 4196468 140726360883488 140591420496464 140593033783195 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=367] ppid=32767 vsize=11016544 memory=911164 CPUtime=12.24 cores=1,3,5,7
/proc/302/task/367/stat : 367 (java) S 32767 302 30457 0 -1 1077944384 76160 13241 0 0 1207 9 5 3 20 0 15 0 222076076 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592002594928 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=368] ppid=32767 vsize=11016544 memory=1628 CPUtime=12 cores=1,3,5,7
/proc/302/task/368/stat : 368 (java) S 32767 302 30457 0 -1 1077944384 63436 13241 0 0 1183 9 5 3 20 0 15 0 222076076 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592001542128 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=369] ppid=32767 vsize=11016544 memory=911164 CPUtime=4.98 cores=1,3,5,7
/proc/302/task/369/stat : 369 (java) S 32767 302 30457 0 -1 1077944384 69871 13241 0 0 479 11 5 3 20 0 15 0 222076076 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592000489840 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=370] ppid=32767 vsize=11016544 memory=911164 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/370/stat : 370 (java) S 32767 302 30457 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 222076077 11280941056 227791 33554432000 4194304 4196468 140726360883488 140590989699552 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=371] ppid=32767 vsize=11016544 memory=911164 CPUtime=1.35 cores=1,3,5,7
/proc/302/task/371/stat : 371 (java) S 32767 302 30457 0 -1 1077944384 2198 13241 0 0 59 68 5 3 20 0 15 0 222076077 11280941056 227791 33554432000 4194304 4196468 140726360883488 140591999437744 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
Current children cumulated CPU time: 2514.57 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 911164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2447.7 s]
/proc/loadavg: 1.26 1.32 1.32 3/215 621
/proc/meminfo: memFree=4335524/32770624 swapFree=67108860/67108860
[pid=302] ppid=32767 vsize=11016544 memory=911164 CPUtime=2520.07 cores=1,3,5,7
/proc/302/stat : 302 (java) S 32767 302 30457 0 -1 1077944320 385181 13241 0 0 251572 427 5 3 20 0 15 0 222076062 11280941056 227791 33554432000 4194304 4196468 140726360883488 140726360866032 140593033764599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
/proc/302/statm: 2754136 227791 3536 1 0 2715789 0
[pid=302/tid=358] ppid=32767 vsize=11016544 memory=911164 CPUtime=2423.2 cores=1,3,5,7
/proc/302/task/358/stat : 358 (java) R 32767 302 30457 0 -1 4202560 98395 13241 0 0 242258 54 5 3 20 0 15 0 222076071 11280941056 227791 33554432000 4194304 4196468 140726360883488 140593005598992 140592629885772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=359] ppid=32767 vsize=11016544 memory=911164 CPUtime=14.84 cores=1,3,5,7
/proc/302/task/359/stat : 359 (java) S 32767 302 30457 0 -1 1077944384 14388 13241 0 0 1407 69 5 3 20 0 15 0 222076071 11280941056 227791 33554432000 4194304 4196468 140726360883488 140593038006672 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=360] ppid=32767 vsize=11016544 memory=911164 CPUtime=14.89 cores=1,3,5,7
/proc/302/task/360/stat : 360 (java) S 32767 302 30457 0 -1 1077944384 13968 13241 0 0 1413 68 5 3 20 0 15 0 222076071 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592573450512 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=361] ppid=32767 vsize=11016544 memory=911164 CPUtime=14.87 cores=1,3,5,7
/proc/302/task/361/stat : 361 (java) S 32767 302 30457 0 -1 1077944384 13809 13241 0 0 1413 66 5 3 20 0 15 0 222076071 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592572398224 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=362] ppid=32767 vsize=11016544 memory=911164 CPUtime=14.89 cores=1,3,5,7
/proc/302/task/362/stat : 362 (java) S 32767 302 30457 0 -1 1077944384 16416 13241 0 0 1411 70 5 3 20 0 15 0 222076071 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592571345424 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=363] ppid=32767 vsize=11016544 memory=911164 CPUtime=7.41 cores=1,3,5,7
/proc/302/task/363/stat : 363 (java) S 32767 302 30457 0 -1 1077944384 14306 13241 0 0 689 44 5 3 20 0 15 0 222076073 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592003648112 140593033775746 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=364] ppid=32767 vsize=11016544 memory=1944 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/364/stat : 364 (java) S 32767 302 30457 0 -1 1077944384 17 13241 0 0 0 0 5 3 20 0 15 0 222076073 11280941056 227791 33554432000 4194304 4196468 140726360883488 140591929222560 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=365] ppid=32767 vsize=11016544 memory=1469956 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/365/stat : 365 (java) S 32767 302 30457 0 -1 1077944384 13 13241 0 0 0 0 5 3 20 0 15 0 222076073 11280941056 227791 33554432000 4194304 4196468 140726360883488 140591727896192 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=366] ppid=32767 vsize=11016544 memory=18232 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/366/stat : 366 (java) S 32767 302 30457 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 222076076 11280941056 227791 33554432000 4194304 4196468 140726360883488 140591420496464 140593033783195 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=367] ppid=32767 vsize=11016544 memory=911164 CPUtime=12.24 cores=1,3,5,7
/proc/302/task/367/stat : 367 (java) S 32767 302 30457 0 -1 1077944384 76162 13241 0 0 1207 9 5 3 20 0 15 0 222076076 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592002594928 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=368] ppid=32767 vsize=11016544 memory=911164 CPUtime=12 cores=1,3,5,7
/proc/302/task/368/stat : 368 (java) S 32767 302 30457 0 -1 1077944384 63438 13241 0 0 1183 9 5 3 20 0 15 0 222076076 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592001542128 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=369] ppid=32767 vsize=11016544 memory=4028 CPUtime=4.98 cores=1,3,5,7
/proc/302/task/369/stat : 369 (java) S 32767 302 30457 0 -1 1077944384 69873 13241 0 0 479 11 5 3 20 0 15 0 222076076 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592000489840 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=370] ppid=32767 vsize=11016544 memory=911164 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/370/stat : 370 (java) S 32767 302 30457 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 222076077 11280941056 227791 33554432000 4194304 4196468 140726360883488 140590989699552 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=371] ppid=32767 vsize=11016544 memory=911164 CPUtime=1.35 cores=1,3,5,7
/proc/302/task/371/stat : 371 (java) S 32767 302 30457 0 -1 1077944384 2198 13241 0 0 59 68 5 3 20 0 15 0 222076077 11280941056 227791 33554432000 4194304 4196468 140726360883488 140591999437744 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 911164 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2447.73 s]
# the end of solver process 302 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.8 s, system=4.31651 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2447.7 s]
/proc/loadavg: 1.26 1.32 1.32 3/215 621
/proc/meminfo: memFree=4335524/32770624 swapFree=67108860/67108860
[pid=302] ppid=32767 vsize=11016544 memory=911164 CPUtime=2520.07 cores=1,3,5,7
/proc/302/stat : 302 (java) S 32767 302 30457 0 -1 1077944320 385181 13241 0 0 251572 427 5 3 20 0 15 0 222076062 11280941056 227791 33554432000 4194304 4196468 140726360883488 140726360866032 140593033764599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
/proc/302/statm: 2754136 227791 3536 1 0 2715789 0
[pid=302/tid=358] ppid=32767 vsize=11016544 memory=911164 CPUtime=2423.2 cores=1,3,5,7
/proc/302/task/358/stat : 358 (java) R 32767 302 30457 0 -1 4202560 98395 13241 0 0 242258 54 5 3 20 0 15 0 222076071 11280941056 227791 33554432000 4194304 4196468 140726360883488 140593005598992 140592629885772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=359] ppid=32767 vsize=11016544 memory=911164 CPUtime=14.84 cores=1,3,5,7
/proc/302/task/359/stat : 359 (java) S 32767 302 30457 0 -1 1077944384 14388 13241 0 0 1407 69 5 3 20 0 15 0 222076071 11280941056 227791 33554432000 4194304 4196468 140726360883488 140593038006672 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=360] ppid=32767 vsize=11016544 memory=911164 CPUtime=14.89 cores=1,3,5,7
/proc/302/task/360/stat : 360 (java) S 32767 302 30457 0 -1 1077944384 13968 13241 0 0 1413 68 5 3 20 0 15 0 222076071 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592573450512 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=361] ppid=32767 vsize=11016544 memory=911164 CPUtime=14.87 cores=1,3,5,7
/proc/302/task/361/stat : 361 (java) S 32767 302 30457 0 -1 1077944384 13809 13241 0 0 1413 66 5 3 20 0 15 0 222076071 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592572398224 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=362] ppid=32767 vsize=11016544 memory=911164 CPUtime=14.89 cores=1,3,5,7
/proc/302/task/362/stat : 362 (java) S 32767 302 30457 0 -1 1077944384 16416 13241 0 0 1411 70 5 3 20 0 15 0 222076071 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592571345424 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=363] ppid=32767 vsize=11016544 memory=911164 CPUtime=7.41 cores=1,3,5,7
/proc/302/task/363/stat : 363 (java) S 32767 302 30457 0 -1 1077944384 14306 13241 0 0 689 44 5 3 20 0 15 0 222076073 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592003648112 140593033775746 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=364] ppid=32767 vsize=11016544 memory=1944 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/364/stat : 364 (java) S 32767 302 30457 0 -1 1077944384 17 13241 0 0 0 0 5 3 20 0 15 0 222076073 11280941056 227791 33554432000 4194304 4196468 140726360883488 140591929222560 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=365] ppid=32767 vsize=11016544 memory=1469956 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/365/stat : 365 (java) S 32767 302 30457 0 -1 1077944384 13 13241 0 0 0 0 5 3 20 0 15 0 222076073 11280941056 227791 33554432000 4194304 4196468 140726360883488 140591727896192 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=366] ppid=32767 vsize=11016544 memory=18232 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/366/stat : 366 (java) S 32767 302 30457 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 222076076 11280941056 227791 33554432000 4194304 4196468 140726360883488 140591420496464 140593033783195 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=367] ppid=32767 vsize=11016544 memory=911164 CPUtime=12.24 cores=1,3,5,7
/proc/302/task/367/stat : 367 (java) S 32767 302 30457 0 -1 1077944384 76162 13241 0 0 1207 9 5 3 20 0 15 0 222076076 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592002594928 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=368] ppid=32767 vsize=11016544 memory=911164 CPUtime=12 cores=1,3,5,7
/proc/302/task/368/stat : 368 (java) S 32767 302 30457 0 -1 1077944384 63438 13241 0 0 1183 9 5 3 20 0 15 0 222076076 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592001542128 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=369] ppid=32767 vsize=11016544 memory=4028 CPUtime=4.98 cores=1,3,5,7
/proc/302/task/369/stat : 369 (java) S 32767 302 30457 0 -1 1077944384 69873 13241 0 0 479 11 5 3 20 0 15 0 222076076 11280941056 227791 33554432000 4194304 4196468 140726360883488 140592000489840 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=370] ppid=32767 vsize=11016544 memory=911164 CPUtime=0.08 cores=1,3,5,7
/proc/302/task/370/stat : 370 (java) S 32767 302 30457 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 222076077 11280941056 227791 33554432000 4194304 4196468 140726360883488 140590989699552 140593033774805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
[pid=302/tid=371] ppid=32767 vsize=11016544 memory=911164 CPUtime=1.35 cores=1,3,5,7
/proc/302/task/371/stat : 371 (java) S 32767 302 30457 0 -1 1077944384 2198 13241 0 0 59 68 5 3 20 0 15 0 222076077 11280941056 227791 33554432000 4194304 4196468 140726360883488 140591999437744 140593033775746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140726360885859 140726360888668 140726360888668 140726360891343 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 911164 KiB
Child status: 143
Real time (s): 2447.73
CPU time (s): 2520.11
CPU user time (s): 2515.8
CPU system time (s): 4.31651
CPU usage (%): 102.957
Max. virtual memory (cumulated for all children) (KiB): 11017132
Max. memory (cumulated for all children) (KiB): 2352192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.8
system time used= 4.31651
maximum resident set size= 2352308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399170
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= 198097
involuntary context switches= 5650
# summary of solver processes directly reported to runsolver:
# pid: 302
# total CPU time (s): 2520.11
# total CPU user time (s): 2515.8
# total CPU system time (s): 4.31651
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.5323 second user time and 27.9903 second system time
The end