0.98/0.74 c Concrete v3.9.2.1532736233296 running
13.69/5.89 c 21:56:40.923 [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.69/5.89 c 21:56:40.927 [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.69/5.90 c 21:56:40.932 [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.97/5.90 c 21:56:40.933 [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.97/5.90 c 21:56:40.933 [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.97/5.90 c 21:56:40.936 [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.97/5.90 c 21:56:40.937 [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.97/5.90 c 21:56:40.939 [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.97/5.90 c 21:56:40.940 [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.97/5.91 c 21:56:40.943 [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.97/5.91 c 21:56:40.943 [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.97/5.91 c 21:56:40.946 [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.97/5.91 c 21:56:40.946 [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.97/5.91 c 21:56:40.949 [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.97/5.91 c 21:56:40.950 [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.97/5.91 c 21:56:40.951 [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.97/5.92 c 21:56:40.953 [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.97/5.92 c 21:56:40.954 [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.97/5.92 c 21:56:40.956 [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.97/5.92 c 21:56:40.956 [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.97/5.92 c 21:56:40.959 [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.97/5.92 c 21:56:40.960 [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.97/5.92 c 21:56:40.962 [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.97/5.93 c 21:56:40.962 [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.97/5.93 c 21:56:40.963 [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.97/5.93 c 21:56:40.965 [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.97/5.93 c 21:56:40.965 [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.97/5.93 c 21:56:40.967 [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.97/5.93 c 21:56:40.968 [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.97/5.93 c 21:56:40.968 [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.97/5.93 c 21:56:40.970 [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.97/5.93 c 21:56:40.971 [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.97/5.94 c 21:56:40.972 [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.97/5.94 c 21:56:40.975 [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.97/5.94 c 21:56:40.975 [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.97/5.94 c 21:56:40.978 [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.97/5.94 c 21:56:40.979 [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.97/5.94 c 21:56:40.981 [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.97/5.95 c 21:56:40.982 [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.97/5.95 c 21:56:40.984 [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.97/5.95 c 21:56:40.984 [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.97/5.95 c 21:56:40.987 [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.97/5.95 c 21:56:40.987 [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.97/5.95 c 21:56:40.989 [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.97/5.96 c 21:56:40.990 [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.97/5.96 c 21:56:40.992 [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.97/5.96 c 21:56:40.993 [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.97/5.96 c 21:56:40.995 [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.97/5.96 c 21:56:40.996 [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.97/5.96 c 21:56:40.997 [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.97/5.96 c 21:56:40.998 [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.97/5.96 c 21:56:40.999 [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.97/5.96 c 21:56:41.000 [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.97/5.96 c 21:56:41.000 [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.97/5.97 c 21:56:41.002 [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.97/5.97 c 21:56:41.003 [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.97/5.97 c 21:56:41.003 [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.97/5.97 c 21:56:41.006 [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.97/5.97 c 21:56:41.006 [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.97/5.97 c 21:56:41.007 [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.97/5.97 c 21:56:41.008 [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.97/5.97 c 21:56:41.009 [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.97/5.97 c 21:56:41.009 [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.97/5.97 c 21:56:41.011 [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.97/5.98 c 21:56:41.012 [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.97/5.98 c 21:56:41.014 [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.97/5.98 c 21:56:41.014 [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.97/5.98 c 21:56:41.016 [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.97/5.98 c 21:56:41.017 [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.97/5.98 c 21:56:41.017 [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.97/5.98 c 21:56:41.019 [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.97/5.99 c 21:56:41.020 [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.97/5.99 c 21:56:41.022 [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.97/5.99 c 21:56:41.023 [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.97/5.99 c 21:56:41.024 [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.97/5.99 c 21:56:41.025 [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.97/5.99 c 21:56:41.026 [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.97/5.99 c 21:56:41.027 [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.97/5.99 c 21:56:41.028 [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.97/6.00 c 21:56:41.029 [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.97/6.00 c 21:56:41.029 [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.97/6.00 c 21:56:41.031 [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.97/6.00 c 21:56:41.031 [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.97/6.00 c 21:56:41.033 [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.97/6.00 c 21:56:41.034 [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.97/6.00 c 21:56:41.035 [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.97/6.00 c 21:56:41.037 [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.97/6.00 c 21:56:41.038 [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
14.34/6.01 c 21:56:41.040 [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
14.34/6.01 c 21:56:41.040 [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
14.34/6.01 c 21:56:41.040 [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
14.34/6.01 c 21:56:41.043 [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
14.34/6.01 c 21:56:41.044 [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
14.34/6.01 c 21:56:41.045 [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
14.34/6.01 c 21:56:41.046 [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
14.34/6.01 c 21:56:41.047 [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
14.34/6.01 c 21:56:41.049 [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
14.34/6.01 c 21:56:41.050 [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
14.34/6.01 c 21:56:41.051 [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
14.34/6.02 c 21:56:41.053 [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
14.34/6.02 c 21:56:41.053 [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.34/6.02 c 21:56:41.055 [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.34/6.02 c 21:56:41.056 [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.34/6.02 c 21:56:41.058 [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.34/6.02 c 21:56:41.058 [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.34/6.02 c 21:56:41.060 [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.34/6.02 c 21:56:41.060 [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.34/6.02 c 21:56:41.061 [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.34/6.03 c 21:56:41.062 [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.34/6.03 c 21:56:41.062 [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.34/6.03 c 21:56:41.064 [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.34/6.03 c 21:56:41.064 [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.34/6.03 c 21:56:41.064 [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.34/6.03 c 21:56:41.065 [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.34/6.03 c 21:56:41.065 [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.34/6.03 c 21:56:41.065 [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.34/6.03 c 21:56:41.067 [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.34/6.03 c 21:56:41.067 [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.34/6.03 c 21:56:41.067 [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.34/6.06 c 21:56:41.098 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14249. 'extension(x[1][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.06 c 21:56:41.098 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14251. 'extension(x[1][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.06 c 21:56:41.098 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14257. 'extension(x[0][0]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.06 c 21:56:41.099 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14261. 'extension(x[0][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.06 c 21:56:41.099 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14263. 'extension(x[2][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.06 c 21:56:41.100 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14275. 'extension(x[3][0]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.06 c 21:56:41.100 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14289. 'extension(x[1][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.06 c 21:56:41.101 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14291. 'extension(x[3][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.07 c 21:56:41.102 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14305. 'extension(x[2][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.07 c 21:56:41.102 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14307. 'extension(x[4][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.07 c 21:56:41.103 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14321. 'extension(x[2][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.07 c 21:56:41.103 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14323. 'extension(x[4][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.108 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14339. 'extension(x[2][23]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.108 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14345. 'extension(x[3][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.109 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14347. 'extension(x[5][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.110 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14361. 'extension(x[3][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.110 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14363. 'extension(x[5][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.111 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14377. 'extension(x[3][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.111 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14379. 'extension(x[5][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.112 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14395. 'extension(x[5][23]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.112 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14405. 'extension(wk[24][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.112 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14407. 'extension(x[4][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.113 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14409. 'extension(x[6][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.113 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14421. 'extension(wk[27][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.114 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14423. 'extension(x[4][27]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.114 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14429. 'extension(wk[27][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.114 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14431. 'extension(x[7][27]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.115 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14441. 'extension(x[6][15]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.115 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14447. 'extension(x[6][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.115 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14449. 'extension(x[8][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.116 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14465. 'extension(x[6][19]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.116 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14467. 'extension(x[8][19]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.117 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14483. 'extension(x[7][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.118 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14485. 'extension(x[9][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.118 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14499. 'extension(x[9][15]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.119 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14513. 'extension(x[8][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.119 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14515. 'extension(x[10][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.120 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14529. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.120 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14531. 'extension(x[10][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.121 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14545. 'extension(x[9][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.121 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14547. 'extension(x[11][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.08 c 21:56:41.122 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14561. 'extension(x[9][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.122 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14563. 'extension(x[11][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14579. 'extension(x[10][7]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14585. 'extension(wk[7][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14587. 'extension(x[13][7]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.124 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14601. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.124 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14603. 'extension(x[11][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14605. 'extension(x[13][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14619. 'extension(wk[16][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14621. 'extension(x[11][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.126 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14623. 'extension(x[13][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14639. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14641. 'extension(x[12][6]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14647. 'extension(wk[8][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14649. 'extension(x[12][8]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.128 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14655. 'extension(x[13][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.128 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14657. 'extension(x[15][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14671. 'extension(x[15][6]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.130 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14685. 'extension(x[15][8]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.130 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14699. 'extension(x[13][10]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.131 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14705. 'extension(x[13][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.131 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14707. 'extension(x[15][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.132 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14721. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.09 c 21:56:41.132 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14723. 'extension(x[15][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.132 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14737. 'extension(x[16][10]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.133 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14751. 'extension(x[14][28]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.134 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14757. 'extension(x[14][29]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.134 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14763. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.134 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14769. 'extension(x[17][28]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.135 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14775. 'extension(x[17][29]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.135 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14781. 'extension(x[18][2]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.136 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14795. 'extension(x[16][25]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.136 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14801. 'extension(x[17][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.136 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14803. 'extension(x[19][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.137 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14819. 'extension(x[19][25]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14829. 'extension(wk[22][2]=[0‥1]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14831. 'extension(x[18][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14833. 'extension(x[20][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.139 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14849. 'extension(x[20][20]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.140 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14855. 'extension(x[21][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.140 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14857. 'extension(x[23][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.141 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14871. 'extension(x[23][20]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.141 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14887. 'extension(x[22][26]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.10 c 21:56:41.142 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14893. 'extension(x[23][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.11 c 21:56:41.142 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14895. 'extension(x[25][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.11 c 21:56:41.143 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14909. 'extension(x[23][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.11 c 21:56:41.143 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14911. 'extension(x[25][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.11 c 21:56:41.144 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14927. 'extension(x[25][26]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.11 c 21:56:41.144 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14937. 'extension(x[24][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.11 c 21:56:41.144 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14939. 'extension(x[26][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.11 c 21:56:41.145 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14951. 'extension(wk[3][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.34/6.11 c 21:56:41.145 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14953. 'extension(x[25][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.34/6.11 c 21:56:41.146 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14955. 'extension(x[27][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.68/6.11 c 21:56:41.147 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14967. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.68/6.11 c 21:56:41.147 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14969. 'extension(x[25][5]=[0‥4]) :: init: true :: relation: Empty MDD
14.68/6.11 c 21:56:41.147 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14975. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.68/6.11 c 21:56:41.148 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14981. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.68/6.11 c 21:56:41.148 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14983. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.68/6.11 c 21:56:41.148 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14985. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.68/6.11 c 21:56:41.148 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14991. 'extension(wk[19][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.68/6.11 c 21:56:41.149 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14993. 'extension(x[26][19]=[0‥4]) :: init: true :: relation: Empty MDD
14.68/6.11 c 21:56:41.149 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14995. 'extension(x[26][19]=[0‥4]) :: init: true :: relation: Empty MDD
252.05/225.01 Exception in thread "main" java.util.concurrent.TimeoutException
252.05/225.02 at concrete.MAC.mac(MAC.scala:188)
252.05/225.02 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.05/225.02 at scala.util.Try$.apply(Try.scala:209)
252.05/225.02 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.05/225.02 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.05/225.02 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.05/225.02 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.05/225.02 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.05/225.02 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.05/225.02 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.05/225.02 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.05/225.02 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.05/225.02 at concrete.MAC.oneRun(MAC.scala:253)
252.05/225.02 at concrete.MAC.nextSolution(MAC.scala:272)
252.05/225.02 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.05/225.02 at concrete.ProblemState.map(ProblemState.scala:221)
252.05/225.02 at concrete.ProblemState.map(ProblemState.scala:204)
252.05/225.02 at concrete.MAC.nextSolution(MAC.scala:334)
252.05/225.02 at concrete.Solver.hasNext(Solver.scala:166)
252.05/225.02 at scala.collection.Iterator.foreach(Iterator.scala:944)
252.05/225.02 at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.05/225.02 at concrete.Solver.foreach(Solver.scala:68)
252.05/225.02 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.05/225.02 at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.05/225.02 at scala.util.Success.map(Try.scala:209)
252.05/225.02 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.05/225.02 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.05/225.02 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.05/225.02 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.05/225.02 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.05/225.02 at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.05/225.02 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.05/225.02 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.05/225.02 at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.05/225.02 at scala.collection.immutable.List.foreach(List.scala:389)
252.05/225.02 at scala.App.main(App.scala:76)
252.05/225.02 at scala.App.main$(App.scala:74)
252.05/225.02 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.05/225.02 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.05/225.02 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 (12094 MiB free)
memory of node 1: 16384 MiB (14341 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302777-1532894194/watcher-4302777-1532894194 -o /tmp/evaluation-result-4302777-1532894194/solver-4302777-1532894194 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22776 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=689819214 -superng HOME/instance-4302777-1532894194.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23009, runsolver pid=23006
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.62 1.61 1.51 3/208 23066
/proc/meminfo: memFree=27064148/32770624 swapFree=67108860/67108860
[pid=23009] ppid=23006 vsize=10005480 memory=18596 CPUtime=0.08 cores=0,2,4,6
/proc/23009/stat : 23009 (java) S 23006 23009 13514 0 -1 1077944320 4282 13321 0 0 1 0 5 2 20 0 6 0 106982619 10245611520 4649 33554432000 4194304 4196468 140726500188368 140726500170912 140361027931895 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
/proc/23009/statm: 2501370 4649 1933 1 0 2489808 0
[pid=23009/tid=23062] ppid=23006 vsize=10005480 memory=4279135704014094991 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23062/stat : 23062 (java) R 23006 23009 13514 0 -1 4202560 2084 13321 0 0 0 0 5 2 20 0 6 0 106982628 10245611520 4649 33554432000 4194304 4196468 140726500188368 140360999768656 140361012012382 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23063] ppid=23006 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23063/stat : 23063 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 6 0 106982628 10245611520 4649 33554432000 4194304 4196468 140726500188368 140361032174608 140361027942101 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23064] ppid=23006 vsize=10005480 memory=139827391125120 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23064/stat : 23064 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 6 0 106982628 10245611520 4649 33554432000 4194304 4196468 140726500188368 140360886893712 140361027942101 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23065] ppid=23006 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23065/stat : 23065 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 6 0 106982628 10245611520 4649 33554432000 4194304 4196468 140726500188368 140360885840656 140361027942101 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23066] ppid=23006 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23066/stat : 23066 (java) S 23006 23009 13514 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 6 0 106982628 10245611520 4649 33554432000 4194304 4196468 140726500188368 140360884788112 140361027942101 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18596 KiB
[startup+0.210706 s]*
/proc/loadavg: 1.62 1.61 1.51 3/217 23075
/proc/meminfo: memFree=27041652/32770624 swapFree=67108860/67108860
[pid=23009] ppid=23006 vsize=10982744 memory=44300 CPUtime=0.25 cores=0,2,4,6
/proc/23009/stat : 23009 (java) S 23006 23009 13514 0 -1 1077944320 7797 13321 0 0 16 2 5 2 20 0 15 0 106982619 11246329856 11075 33554432000 4194304 4196468 140726500188368 140726500170912 140361027931895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
/proc/23009/statm: 2745686 11075 2944 1 0 2708109 0
[pid=23009/tid=23062] ppid=23006 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/23009/task/23062/stat : 23062 (java) R 23006 23009 13514 0 -1 4202560 4411 13321 0 0 10 1 5 2 20 0 15 0 106982628 11246329856 11141 33554432000 4194304 4196468 140726500188368 140360999749008 140361008207655 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23063] ppid=23006 vsize=10982744 memory=339 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23063/stat : 23063 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982628 11246329856 11141 33554432000 4194304 4196468 140726500188368 140361032174608 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23064] ppid=23006 vsize=10982744 memory=3762953606739678880 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23064/stat : 23064 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982628 11246329856 11141 33554432000 4194304 4196468 140726500188368 140360886893712 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23065] ppid=23006 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23065/stat : 23065 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982628 11246329856 11141 33554432000 4194304 4196468 140726500188368 140360885840656 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23066] ppid=23006 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23066/stat : 23066 (java) S 23006 23009 13514 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 106982628 11246329856 11141 33554432000 4194304 4196468 140726500188368 140360884788112 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23067] ppid=23006 vsize=10982744 memory=139827391125120 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23067/stat : 23067 (java) S 23006 23009 13514 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 106982630 11246329856 11141 33554432000 4194304 4196468 140726500188368 140360453023984 140361027943042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23068] ppid=23006 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23068/stat : 23068 (java) S 23006 23009 13514 0 -1 1077944384 13 13321 0 0 0 0 5 2 20 0 15 0 106982630 11246329856 11141 33554432000 4194304 4196468 140726500188368 140359866770592 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23069] ppid=23006 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23069/stat : 23069 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982631 11246329856 11141 33554432000 4194304 4196468 140726500188368 140359665443568 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23070] ppid=23006 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23070/stat : 23070 (java) S 23006 23009 13514 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 106982633 11246329856 11141 33554432000 4194304 4196468 140726500188368 140359358040016 140361027950491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23071] ppid=23006 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23009/task/23071/stat : 23071 (java) S 23006 23009 13514 0 -1 1077944384 358 13321 0 0 1 0 5 2 20 0 15 0 106982633 11246329856 11141 33554432000 4194304 4196468 140726500188368 140360451971824 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23072] ppid=23006 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23072/stat : 23072 (java) S 23006 23009 13514 0 -1 1077944384 252 13321 0 0 0 0 5 2 20 0 15 0 106982633 11246329856 11141 33554432000 4194304 4196468 140726500188368 140360450919280 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23073] ppid=23006 vsize=10982744 memory=139827391125120 CPUtime=0.1 cores=0,2,4,6
/proc/23009/task/23073/stat : 23073 (java) S 23006 23009 13514 0 -1 1077944384 631 13321 0 0 3 0 5 2 20 0 15 0 106982633 11246329856 11141 33554432000 4194304 4196468 140726500188368 140360449866224 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23074] ppid=23006 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23074/stat : 23074 (java) S 23006 23009 13514 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 106982633 11246329856 11141 33554432000 4194304 4196468 140726500188368 140358927248224 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23075] ppid=23006 vsize=10982744 memory=139827391125120 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23075/stat : 23075 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982634 11246329856 11141 33554432000 4194304 4196468 140726500188368 140360448813616 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44300 KiB
[startup+0.310288 s]*
/proc/loadavg: 1.62 1.61 1.51 3/217 23075
/proc/meminfo: memFree=27030956/32770624 swapFree=67108860/67108860
[pid=23009] ppid=23006 vsize=10983192 memory=55268 CPUtime=0.37 cores=0,2,4,6
/proc/23009/stat : 23009 (java) S 23006 23009 13514 0 -1 1077944320 10405 13321 0 0 27 3 5 2 20 0 15 0 106982619 11246788608 13817 33554432000 4194304 4196468 140726500188368 140726500170912 140361027931895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
/proc/23009/statm: 2745798 13817 3063 1 0 2708109 0
[pid=23009/tid=23062] ppid=23006 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/23009/task/23062/stat : 23062 (java) R 23006 23009 13514 0 -1 4202560 6920 13321 0 0 19 2 5 2 20 0 15 0 106982628 11246788608 13817 33554432000 4194304 4196468 140726500188368 140360999743904 140361012012382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23063] ppid=23006 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23063/stat : 23063 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982628 11246788608 13817 33554432000 4194304 4196468 140726500188368 140361032174608 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23064] ppid=23006 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23064/stat : 23064 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982628 11246788608 13817 33554432000 4194304 4196468 140726500188368 140360886893712 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23065] ppid=23006 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23065/stat : 23065 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982628 11246788608 13817 33554432000 4194304 4196468 140726500188368 140360885840656 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23066] ppid=23006 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23066/stat : 23066 (java) S 23006 23009 13514 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 106982628 11246788608 13817 33554432000 4194304 4196468 140726500188368 140360884788112 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23067] ppid=23006 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23067/stat : 23067 (java) S 23006 23009 13514 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 106982630 11246788608 13817 33554432000 4194304 4196468 140726500188368 140360453023984 140361027943042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23068] ppid=23006 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23068/stat : 23068 (java) S 23006 23009 13514 0 -1 1077944384 13 13321 0 0 0 0 5 2 20 0 15 0 106982630 11246788608 13817 33554432000 4194304 4196468 140726500188368 140359866770592 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23069] ppid=23006 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23069/stat : 23069 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982631 11246788608 13817 33554432000 4194304 4196468 140726500188368 140359665443568 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23070] ppid=23006 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23070/stat : 23070 (java) S 23006 23009 13514 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 106982633 11246788608 13817 33554432000 4194304 4196468 140726500188368 140359358040016 140361027950491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23071] ppid=23006 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23009/task/23071/stat : 23071 (java) S 23006 23009 13514 0 -1 1077944384 359 13321 0 0 1 0 5 2 20 0 15 0 106982633 11246788608 13817 33554432000 4194304 4196468 140726500188368 140360451971824 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23072] ppid=23006 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23009/task/23072/stat : 23072 (java) S 23006 23009 13514 0 -1 1077944384 252 13321 0 0 1 0 5 2 20 0 15 0 106982633 11246788608 13817 33554432000 4194304 4196468 140726500188368 140360450919280 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23073] ppid=23006 vsize=10983192 memory=139827391125120 CPUtime=0.12 cores=0,2,4,6
/proc/23009/task/23073/stat : 23073 (java) S 23006 23009 13514 0 -1 1077944384 650 13321 0 0 5 0 5 2 20 0 15 0 106982633 11246788608 13817 33554432000 4194304 4196468 140726500188368 140360449866224 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23074] ppid=23006 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23074/stat : 23074 (java) S 23006 23009 13514 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 106982633 11246788608 13817 33554432000 4194304 4196468 140726500188368 140358927248224 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23075] ppid=23006 vsize=10983192 memory=139827391125120 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23075/stat : 23075 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982634 11246788608 13817 33554432000 4194304 4196468 140726500188368 140360448813616 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55268 KiB
[startup+0.700802 s]
/proc/loadavg: 1.62 1.61 1.51 4/217 23075
/proc/meminfo: memFree=27018552/32770624 swapFree=67108860/67108860
[pid=23009] ppid=23006 vsize=10983192 memory=88504 CPUtime=0.98 cores=0,2,4,6
/proc/23009/stat : 23009 (java) S 23006 23009 13514 0 -1 1077944320 16778 13321 0 0 86 5 5 2 20 0 15 0 106982619 11246788608 22126 33554432000 4194304 4196468 140726500188368 140726500170912 140361027931895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
/proc/23009/statm: 2745798 22126 3247 1 0 2708109 0
[pid=23009/tid=23062] ppid=23006 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/23009/task/23062/stat : 23062 (java) R 23006 23009 13514 0 -1 4202560 12238 13321 0 0 55 3 5 2 20 0 15 0 106982628 11246788608 22126 33554432000 4194304 4196468 140726500188368 140360999752720 140361012247132 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23063] ppid=23006 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23063/stat : 23063 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982628 11246788608 22126 33554432000 4194304 4196468 140726500188368 140361032174608 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23064] ppid=23006 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23064/stat : 23064 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982628 11246788608 22126 33554432000 4194304 4196468 140726500188368 140360886893712 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23065] ppid=23006 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23065/stat : 23065 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982628 11246788608 22126 33554432000 4194304 4196468 140726500188368 140360885840656 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23066] ppid=23006 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23066/stat : 23066 (java) S 23006 23009 13514 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 106982628 11246788608 22126 33554432000 4194304 4196468 140726500188368 140360884788112 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23067] ppid=23006 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23067/stat : 23067 (java) S 23006 23009 13514 0 -1 1077944384 5 13321 0 0 0 0 5 2 20 0 15 0 106982630 11246788608 22126 33554432000 4194304 4196468 140726500188368 140360453023984 140361027943042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23068] ppid=23006 vsize=10983192 memory=139827290976944 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23068/stat : 23068 (java) S 23006 23009 13514 0 -1 1077944384 13 13321 0 0 0 0 5 2 20 0 15 0 106982630 11246788608 22126 33554432000 4194304 4196468 140726500188368 140359866770592 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23069] ppid=23006 vsize=10983192 memory=139831250256464 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23069/stat : 23069 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982631 11246788608 22126 33554432000 4194304 4196468 140726500188368 140359665443568 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23070] ppid=23006 vsize=10983192 memory=1020 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23070/stat : 23070 (java) S 23006 23009 13514 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 106982633 11246788608 22126 33554432000 4194304 4196468 140726500188368 140359358040016 140361027950491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23071] ppid=23006 vsize=10983192 memory=7089042195949315648 CPUtime=0.17 cores=0,2,4,6
/proc/23009/task/23071/stat : 23071 (java) S 23006 23009 13514 0 -1 1077944384 971 13321 0 0 10 0 5 2 20 0 15 0 106982633 11246788608 22126 33554432000 4194304 4196468 140726500188368 140360451971824 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23072] ppid=23006 vsize=10983192 memory=7881696724453321575 CPUtime=0.13 cores=0,2,4,6
/proc/23009/task/23072/stat : 23072 (java) S 23006 23009 13514 0 -1 1077944384 598 13321 0 0 6 0 5 2 20 0 15 0 106982633 11246788608 22126 33554432000 4194304 4196468 140726500188368 140360450919280 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23073] ppid=23006 vsize=10983192 memory=5789189752906409301 CPUtime=0.2 cores=0,2,4,6
/proc/23009/task/23073/stat : 23073 (java) S 23006 23009 13514 0 -1 1077944384 743 13321 0 0 13 0 5 2 20 0 15 0 106982633 11246788608 22126 33554432000 4194304 4196468 140726500188368 140360449866224 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23074] ppid=23006 vsize=10983192 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23074/stat : 23074 (java) S 23006 23009 13514 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 106982633 11246788608 22126 33554432000 4194304 4196468 140726500188368 140358927248224 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23075] ppid=23006 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23075/stat : 23075 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982634 11246788608 22126 33554432000 4194304 4196468 140726500188368 140360448813616 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88504 KiB
[startup+1.50072 s]
/proc/loadavg: 1.62 1.61 1.51 4/217 23075
/proc/meminfo: memFree=26973316/32770624 swapFree=67108860/67108860
[pid=23009] ppid=23006 vsize=10993996 memory=168064 CPUtime=3.1 cores=0,2,4,6
/proc/23009/stat : 23009 (java) S 23006 23009 13514 0 -1 1077944320 25582 13321 0 0 295 8 5 2 20 0 15 0 106982619 11257851904 42016 33554432000 4194304 4196468 140726500188368 140726500170912 140361027931895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
/proc/23009/statm: 2748499 42016 3446 1 0 2710157 0
[pid=23009/tid=23062] ppid=23006 vsize=10993996 memory=10757 CPUtime=1.44 cores=0,2,4,6
/proc/23009/task/23062/stat : 23062 (java) R 23006 23009 13514 0 -1 4202560 16142 13321 0 0 132 5 5 2 20 0 15 0 106982628 11257851904 42016 33554432000 4194304 4196468 140726500188368 140360999754080 140361027953821 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23063] ppid=23006 vsize=10993996 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23063/stat : 23063 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982628 11257851904 42016 33554432000 4194304 4196468 140726500188368 140361032174608 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23064] ppid=23006 vsize=10993996 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23064/stat : 23064 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982628 11257851904 42016 33554432000 4194304 4196468 140726500188368 140360886893712 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23065] ppid=23006 vsize=10993996 memory=3000 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23065/stat : 23065 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982628 11257851904 42016 33554432000 4194304 4196468 140726500188368 140360885840656 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23066] ppid=23006 vsize=10993996 memory=88504 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23066/stat : 23066 (java) S 23006 23009 13514 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 106982628 11257851904 42016 33554432000 4194304 4196468 140726500188368 140360884788112 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23067] ppid=23006 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23067/stat : 23067 (java) S 23006 23009 13514 0 -1 1077944384 13 13321 0 0 0 0 5 2 20 0 15 0 106982630 11257851904 42016 33554432000 4194304 4196468 140726500188368 140360453023984 140361027943042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23068] ppid=23006 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23068/stat : 23068 (java) S 23006 23009 13514 0 -1 1077944384 13 13321 0 0 0 0 5 2 20 0 15 0 106982630 11257851904 42016 33554432000 4194304 4196468 140726500188368 140359866770592 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23069] ppid=23006 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23069/stat : 23069 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982631 11257851904 42016 33554432000 4194304 4196468 140726500188368 140359665443568 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23070] ppid=23006 vsize=10993996 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23070/stat : 23070 (java) S 23006 23009 13514 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 106982633 11257851904 42016 33554432000 4194304 4196468 140726500188368 140359358040016 140361027950491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23071] ppid=23006 vsize=10993996 memory=4638778398332698720 CPUtime=0.67 cores=0,2,4,6
/proc/23009/task/23071/stat : 23071 (java) R 23006 23009 13514 0 -1 4202560 2559 13321 0 0 60 0 5 2 20 0 15 0 106982633 11257851904 42016 33554432000 4194304 4196468 140726500188368 140360451957704 140361009449680 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23072] ppid=23006 vsize=10993996 memory=279654582229888 CPUtime=0.59 cores=0,2,4,6
/proc/23009/task/23072/stat : 23072 (java) R 23006 23009 13514 0 -1 4202560 2786 13321 0 0 52 0 5 2 20 0 15 0 106982633 11257851904 42016 33554432000 4194304 4196468 140726500188368 140360450919280 140361020221349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23073] ppid=23006 vsize=10993996 memory=6944656592452807323 CPUtime=0.56 cores=0,2,4,6
/proc/23009/task/23073/stat : 23073 (java) S 23006 23009 13514 0 -1 1077944384 1859 13321 0 0 49 0 5 2 20 0 15 0 106982633 11257851904 42016 33554432000 4194304 4196468 140726500188368 140360449866224 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23074] ppid=23006 vsize=10993996 memory=6944656591801719708 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23074/stat : 23074 (java) S 23006 23009 13514 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 106982633 11257851904 42016 33554432000 4194304 4196468 140726500188368 140358927248224 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23075] ppid=23006 vsize=10993996 memory=1399101730491701635 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23075/stat : 23075 (java) S 23006 23009 13514 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 106982634 11257851904 42016 33554432000 4194304 4196468 140726500188368 140360448813616 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
/proc/23009/task/23062/stat : 23062 (java) R 23006 23009 13514 0 -1 4202560 67994 13321 0 0 10054 35 5 2 20 0 15 0 106982628 11348049920 588223 33554432000 4194304 4196468 140726500188368 140360999763568 140360582230885 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23063] ppid=23006 vsize=11082080 memory=4140 CPUtime=0.83 cores=0,2,4,6
/proc/23009/task/23063/stat : 23063 (java) S 23006 23009 13514 0 -1 1077944384 2715 13321 0 0 55 21 5 2 20 0 15 0 106982628 11348049920 588223 33554432000 4194304 4196468 140726500188368 140361032174608 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23064] ppid=23006 vsize=11082080 memory=279654581881296 CPUtime=0.8 cores=0,2,4,6
/proc/23009/task/23064/stat : 23064 (java) S 23006 23009 13514 0 -1 1077944384 729 13321 0 0 51 22 5 2 20 0 15 0 106982628 11348049920 588223 33554432000 4194304 4196468 140726500188368 140360886893712 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23065] ppid=23006 vsize=11082080 memory=0 CPUtime=0.84 cores=0,2,4,6
/proc/23009/task/23065/stat : 23065 (java) S 23006 23009 13514 0 -1 1077944384 2799 13321 0 0 55 22 5 2 20 0 15 0 106982628 11348049920 588223 33554432000 4194304 4196468 140726500188368 140360885840656 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23066] ppid=23006 vsize=11082080 memory=1845660 CPUtime=0.82 cores=0,2,4,6
/proc/23009/task/23066/stat : 23066 (java) S 23006 23009 13514 0 -1 1077944384 1908 13321 0 0 53 22 5 2 20 0 15 0 106982628 11348049920 588223 33554432000 4194304 4196468 140726500188368 140360884788112 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23067] ppid=23006 vsize=11082080 memory=198152611214390 CPUtime=0.18 cores=0,2,4,6
/proc/23009/task/23067/stat : 23067 (java) S 23006 23009 13514 0 -1 1077944384 5303 13321 0 0 11 0 5 2 20 0 15 0 106982630 11348049920 588223 33554432000 4194304 4196468 140726500188368 140360453023984 140361027943042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23068] ppid=23006 vsize=11082080 memory=10679 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23068/stat : 23068 (java) S 23006 23009 13514 0 -1 1077944384 18 13321 0 0 0 0 5 2 20 0 15 0 106982630 11348049920 588223 33554432000 4194304 4196468 140726500188368 140359866770656 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23069] ppid=23006 vsize=11082080 memory=8191 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23069/stat : 23069 (java) S 23006 23009 13514 0 -1 1077944384 8 13321 0 0 0 0 5 2 20 0 15 0 106982631 11348049920 588223 33554432000 4194304 4196468 140726500188368 140359665443584 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23070] ppid=23006 vsize=11082080 memory=2030552 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23070/stat : 23070 (java) S 23006 23009 13514 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 106982633 11348049920 588223 33554432000 4194304 4196468 140726500188368 140359358040016 140361027950491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23071] ppid=23006 vsize=11082080 memory=0 CPUtime=9.35 cores=0,2,4,6
/proc/23009/task/23071/stat : 23071 (java) S 23006 23009 13514 0 -1 1077944384 23446 13321 0 0 922 6 5 2 20 0 15 0 106982633 11348049920 588223 33554432000 4194304 4196468 140726500188368 140360451971824 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23072] ppid=23006 vsize=11082080 memory=0 CPUtime=9.78 cores=0,2,4,6
/proc/23009/task/23072/stat : 23072 (java) S 23006 23009 13514 0 -1 1077944384 24103 13321 0 0 966 5 5 2 20 0 15 0 106982633 11348049920 588223 33554432000 4194304 4196468 140726500188368 140360450919280 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23073] ppid=23006 vsize=11082080 memory=4140 CPUtime=3.42 cores=0,2,4,6
/proc/23009/task/23073/stat : 23073 (java) S 23006 23009 13514 0 -1 1077944384 19981 13321 0 0 330 5 5 2 20 0 15 0 106982633 11348049920 588223 33554432000 4194304 4196468 140726500188368 140360449866224 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23074] ppid=23006 vsize=11082080 memory=30408 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23074/stat : 23074 (java) S 23006 23009 13514 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 106982633 11348049920 588223 33554432000 4194304 4196468 140726500188368 140358927248224 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23075] ppid=23006 vsize=11082080 memory=2204 CPUtime=0.12 cores=0,2,4,6
/proc/23009/task/23075/stat : 23075 (java) S 23006 23009 13514 0 -1 1077944384 342 13321 0 0 2 3 5 2 20 0 15 0 106982634 11348049920 588223 33554432000 4194304 4196468 140726500188368 140360448813616 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
Current children cumulated CPU time: 126.56 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2352892 KiB
[startup+162.301 s]
/proc/loadavg: 1.72 1.73 1.58 3/215 23207
/proc/meminfo: memFree=24360532/32770624 swapFree=67108860/67108860
[pid=23009] ppid=23006 vsize=11082080 memory=2811552 CPUtime=188.17 cores=0,2,4,6
/proc/23009/stat : 23009 (java) S 23006 23009 13514 0 -1 1077944320 161756 13321 0 0 18603 207 5 2 20 0 15 0 106982619 11348049920 702888 33554432000 4194304 4196468 140726500188368 140726500170912 140361027931895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
/proc/23009/statm: 2770520 702888 3535 1 0 2732173 0
[pid=23009/tid=23062] ppid=23006 vsize=11082080 memory=2852604 CPUtime=160.59 cores=0,2,4,6
/proc/23009/task/23062/stat : 23062 (java) R 23006 23009 13514 0 -1 4202560 71654 13321 0 0 16014 38 5 2 20 0 15 0 106982628 11348049920 702888 33554432000 4194304 4196468 140726500188368 140360999765768 140360580784621 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23063] ppid=23006 vsize=11082080 memory=2811552 CPUtime=1.19 cores=0,2,4,6
/proc/23009/task/23063/stat : 23063 (java) S 23006 23009 13514 0 -1 1077944384 3156 13321 0 0 76 36 5 2 20 0 15 0 106982628 11348049920 702888 33554432000 4194304 4196468 140726500188368 140361032174608 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23064] ppid=23006 vsize=11082080 memory=2811552 CPUtime=1.16 cores=0,2,4,6
/proc/23009/task/23064/stat : 23064 (java) S 23006 23009 13514 0 -1 1077944384 1060 13321 0 0 72 37 5 2 20 0 15 0 106982628 11348049920 702888 33554432000 4194304 4196468 140726500188368 140360886893712 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23065] ppid=23006 vsize=11082080 memory=2811552 CPUtime=1.18 cores=0,2,4,6
/proc/23009/task/23065/stat : 23065 (java) S 23006 23009 13514 0 -1 1077944384 4615 13321 0 0 75 36 5 2 20 0 15 0 106982628 11348049920 702888 33554432000 4194304 4196468 140726500188368 140360885840656 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23066] ppid=23006 vsize=11082080 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/23009/task/23066/stat : 23066 (java) S 23006 23009 13514 0 -1 1077944384 2494 13321 0 0 74 37 5 2 20 0 15 0 106982628 11348049920 702888 33554432000 4194304 4196468 140726500188368 140360884788112 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23067] ppid=23006 vsize=11082080 memory=7 CPUtime=0.19 cores=0,2,4,6
/proc/23009/task/23067/stat : 23067 (java) S 23006 23009 13514 0 -1 1077944384 5785 13321 0 0 12 0 5 2 20 0 15 0 106982630 11348049920 702888 33554432000 4194304 4196468 140726500188368 140360453023984 140361027943042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23068] ppid=23006 vsize=11082080 memory=2811552 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23068/stat : 23068 (java) S 23006 23009 13514 0 -1 1077944384 18 13321 0 0 0 0 5 2 20 0 15 0 106982630 11348049920 702888 33554432000 4194304 4196468 140726500188368 140359866770656 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23069] ppid=23006 vsize=11082080 memory=1700 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23069/stat : 23069 (java) S 23006 23009 13514 0 -1 1077944384 8 13321 0 0 0 0 5 2 20 0 15 0 106982631 11348049920 702888 33554432000 4194304 4196468 140726500188368 140359665443584 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23070] ppid=23006 vsize=11082080 memory=5456 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23070/stat : 23070 (java) S 23006 23009 13514 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 106982633 11348049920 702888 33554432000 4194304 4196468 140726500188368 140359358040016 140361027950491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23071] ppid=23006 vsize=11082080 memory=756 CPUtime=9.58 cores=0,2,4,6
/proc/23009/task/23071/stat : 23071 (java) S 23006 23009 13514 0 -1 1077944384 25609 13321 0 0 945 6 5 2 20 0 15 0 106982633 11348049920 702888 33554432000 4194304 4196468 140726500188368 140360451971824 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23072] ppid=23006 vsize=11082080 memory=2811552 CPUtime=9.98 cores=0,2,4,6
/proc/23009/task/23072/stat : 23072 (java) S 23006 23009 13514 0 -1 1077944384 24630 13321 0 0 986 5 5 2 20 0 15 0 106982633 11348049920 702888 33554432000 4194304 4196468 140726500188368 140360450919280 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23073] ppid=23006 vsize=11082080 memory=2811552 CPUtime=3.49 cores=0,2,4,6
/proc/23009/task/23073/stat : 23073 (java) S 23006 23009 13514 0 -1 1077944384 20145 13321 0 0 337 5 5 2 20 0 15 0 106982633 11348049920 702888 33554432000 4194304 4196468 140726500188368 140360449866224 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23074] ppid=23006 vsize=11082080 memory=1240 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23074/stat : 23074 (java) S 23006 23009 13514 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 106982633 11348049920 702888 33554432000 4194304 4196468 140726500188368 140358927248224 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23075] ppid=23006 vsize=11082080 memory=1520 CPUtime=0.16 cores=0,2,4,6
/proc/23009/task/23075/stat : 23075 (java) S 23006 23009 13514 0 -1 1077944384 379 13321 0 0 4 5 5 2 20 0 15 0 106982634 11348049920 702888 33554432000 4194304 4196468 140726500188368 140360448813616 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
Current children cumulated CPU time: 188.17 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2811552 KiB
[startup+222.301 s]
/proc/loadavg: 1.51 1.68 1.58 3/215 23215
/proc/meminfo: memFree=24856224/32770624 swapFree=67108860/67108860
[pid=23009] ppid=23006 vsize=11082080 memory=2383988 CPUtime=249.32 cores=0,2,4,6
/proc/23009/stat : 23009 (java) S 23006 23009 13514 0 -1 1077944320 178426 13321 0 0 24708 217 5 2 20 0 15 0 106982619 11348049920 595997 33554432000 4194304 4196468 140726500188368 140726500170912 140361027931895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
/proc/23009/statm: 2770520 595997 3535 1 0 2732173 0
[pid=23009/tid=23062] ppid=23006 vsize=11082080 memory=2383988 CPUtime=220.4 cores=0,2,4,6
/proc/23009/task/23062/stat : 23062 (java) R 23006 23009 13514 0 -1 4202560 75975 13321 0 0 21995 38 5 2 20 0 15 0 106982628 11348049920 595997 33554432000 4194304 4196468 140726500188368 140360999765784 140360580740005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23063] ppid=23006 vsize=11082080 memory=2811552 CPUtime=1.35 cores=0,2,4,6
/proc/23009/task/23063/stat : 23063 (java) S 23006 23009 13514 0 -1 1077944384 4391 13321 0 0 91 37 5 2 20 0 15 0 106982628 11348049920 595997 33554432000 4194304 4196468 140726500188368 140361032174608 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23064] ppid=23006 vsize=11082080 memory=2530192 CPUtime=1.32 cores=0,2,4,6
/proc/23009/task/23064/stat : 23064 (java) S 23006 23009 13514 0 -1 1077944384 1152 13321 0 0 86 39 5 2 20 0 15 0 106982628 11348049920 595997 33554432000 4194304 4196468 140726500188368 140360886893712 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23065] ppid=23006 vsize=11082080 memory=2452728 CPUtime=1.36 cores=0,2,4,6
/proc/23009/task/23065/stat : 23065 (java) S 23006 23009 13514 0 -1 1077944384 4748 13321 0 0 90 39 5 2 20 0 15 0 106982628 11348049920 595997 33554432000 4194304 4196468 140726500188368 140360885840656 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23066] ppid=23006 vsize=11082080 memory=2390656 CPUtime=1.34 cores=0,2,4,6
/proc/23009/task/23066/stat : 23066 (java) S 23006 23009 13514 0 -1 1077944384 2706 13321 0 0 89 38 5 2 20 0 15 0 106982628 11348049920 595997 33554432000 4194304 4196468 140726500188368 140360884788112 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23067] ppid=23006 vsize=11082080 memory=2383988 CPUtime=0.21 cores=0,2,4,6
/proc/23009/task/23067/stat : 23067 (java) S 23006 23009 13514 0 -1 1077944384 5877 13321 0 0 13 1 5 2 20 0 15 0 106982630 11348049920 595997 33554432000 4194304 4196468 140726500188368 140360453023984 140361027943042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23068] ppid=23006 vsize=11082080 memory=2664660 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23068/stat : 23068 (java) S 23006 23009 13514 0 -1 1077944384 18 13321 0 0 0 0 5 2 20 0 15 0 106982630 11348049920 595997 33554432000 4194304 4196468 140726500188368 140359866770656 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23069] ppid=23006 vsize=11082080 memory=8243122710528917583 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23069/stat : 23069 (java) S 23006 23009 13514 0 -1 1077944384 8 13321 0 0 0 0 5 2 20 0 15 0 106982631 11348049920 595997 33554432000 4194304 4196468 140726500188368 140359665443584 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23070] ppid=23006 vsize=11082080 memory=13 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23070/stat : 23070 (java) S 23006 23009 13514 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 106982633 11348049920 595997 33554432000 4194304 4196468 140726500188368 140359358040016 140361027950491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23071] ppid=23006 vsize=11082080 memory=2530192 CPUtime=9.86 cores=0,2,4,6
/proc/23009/task/23071/stat : 23071 (java) S 23006 23009 13514 0 -1 1077944384 28360 13321 0 0 973 6 5 2 20 0 15 0 106982633 11348049920 595997 33554432000 4194304 4196468 140726500188368 140360451971824 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23072] ppid=23006 vsize=11082080 memory=2383988 CPUtime=10.24 cores=0,2,4,6
/proc/23009/task/23072/stat : 23072 (java) S 23006 23009 13514 0 -1 1077944384 27839 13321 0 0 1012 5 5 2 20 0 15 0 106982633 11348049920 595997 33554432000 4194304 4196468 140726500188368 140360450919280 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23073] ppid=23006 vsize=11082080 memory=279654582837248 CPUtime=3.57 cores=0,2,4,6
/proc/23009/task/23073/stat : 23073 (java) S 23006 23009 13514 0 -1 1077944384 24756 13321 0 0 345 5 5 2 20 0 15 0 106982633 11348049920 595997 33554432000 4194304 4196468 140726500188368 140360449866224 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23074] ppid=23006 vsize=11082080 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23074/stat : 23074 (java) S 23006 23009 13514 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 106982633 11348049920 595997 33554432000 4194304 4196468 140726500188368 140358927248224 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23075] ppid=23006 vsize=11082080 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/23009/task/23075/stat : 23075 (java) S 23006 23009 13514 0 -1 1077944384 393 13321 0 0 5 6 5 2 20 0 15 0 106982634 11348049920 595997 33554432000 4194304 4196468 140726500188368 140360448813616 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
Current children cumulated CPU time: 249.32 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2383988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+225.001 s]*
/proc/loadavg: 1.47 1.67 1.58 3/215 23215
/proc/meminfo: memFree=24914684/32770624 swapFree=67108860/67108860
[pid=23009] ppid=23006 vsize=11082080 memory=2325504 CPUtime=252.05 cores=0,2,4,6
/proc/23009/stat : 23009 (java) S 23006 23009 13514 0 -1 1077944320 179121 13321 0 0 24981 217 5 2 20 0 15 0 106982619 11348049920 581376 33554432000 4194304 4196468 140726500188368 140726500170912 140361027931895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
/proc/23009/statm: 2770520 581376 3535 1 0 2732173 0
[pid=23009/tid=23062] ppid=23006 vsize=11082080 memory=6791534058613427641 CPUtime=223.12 cores=0,2,4,6
/proc/23009/task/23062/stat : 23062 (java) R 23006 23009 13514 0 -1 4202560 76346 13321 0 0 22266 39 5 2 20 0 15 0 106982628 11348049920 581376 33554432000 4194304 4196468 140726500188368 140360999766112 140360565622983 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23063] ppid=23006 vsize=11082080 memory=6083357491950348393 CPUtime=1.35 cores=0,2,4,6
/proc/23009/task/23063/stat : 23063 (java) S 23006 23009 13514 0 -1 1077944384 4391 13321 0 0 91 37 5 2 20 0 15 0 106982628 11348049920 581376 33554432000 4194304 4196468 140726500188368 140361032174608 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23064] ppid=23006 vsize=11082080 memory=7084551885087073638 CPUtime=1.33 cores=0,2,4,6
/proc/23009/task/23064/stat : 23064 (java) S 23006 23009 13514 0 -1 1077944384 1152 13321 0 0 87 39 5 2 20 0 15 0 106982628 11348049920 581376 33554432000 4194304 4196468 140726500188368 140360886893712 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23065] ppid=23006 vsize=11082080 memory=5793997904555763303 CPUtime=1.36 cores=0,2,4,6
/proc/23009/task/23065/stat : 23065 (java) S 23006 23009 13514 0 -1 1077944384 4748 13321 0 0 90 39 5 2 20 0 15 0 106982628 11348049920 581376 33554432000 4194304 4196468 140726500188368 140360885840656 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23066] ppid=23006 vsize=11082080 memory=4126316290023845779 CPUtime=1.34 cores=0,2,4,6
/proc/23009/task/23066/stat : 23066 (java) S 23006 23009 13514 0 -1 1077944384 2707 13321 0 0 89 38 5 2 20 0 15 0 106982628 11348049920 581376 33554432000 4194304 4196468 140726500188368 140360884788112 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23067] ppid=23006 vsize=11082080 memory=2452728 CPUtime=0.21 cores=0,2,4,6
/proc/23009/task/23067/stat : 23067 (java) S 23006 23009 13514 0 -1 1077944384 5879 13321 0 0 13 1 5 2 20 0 15 0 106982630 11348049920 581376 33554432000 4194304 4196468 140726500188368 140360453023984 140361027943042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23068] ppid=23006 vsize=11082080 memory=496 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23068/stat : 23068 (java) S 23006 23009 13514 0 -1 1077944384 18 13321 0 0 0 0 5 2 20 0 15 0 106982630 11348049920 581376 33554432000 4194304 4196468 140726500188368 140359866770656 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23069] ppid=23006 vsize=11082080 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23069/stat : 23069 (java) S 23006 23009 13514 0 -1 1077944384 8 13321 0 0 0 0 5 2 20 0 15 0 106982631 11348049920 581376 33554432000 4194304 4196468 140726500188368 140359665443584 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23070] ppid=23006 vsize=11082080 memory=1172 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23070/stat : 23070 (java) S 23006 23009 13514 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 106982633 11348049920 581376 33554432000 4194304 4196468 140726500188368 140359358040016 140361027950491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23071] ppid=23006 vsize=11082080 memory=1240 CPUtime=9.86 cores=0,2,4,6
/proc/23009/task/23071/stat : 23071 (java) S 23006 23009 13514 0 -1 1077944384 28367 13321 0 0 973 6 5 2 20 0 15 0 106982633 11348049920 581376 33554432000 4194304 4196468 140726500188368 140360451971824 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23072] ppid=23006 vsize=11082080 memory=1520 CPUtime=10.25 cores=0,2,4,6
/proc/23009/task/23072/stat : 23072 (java) S 23006 23009 13514 0 -1 1077944384 28108 13321 0 0 1013 5 5 2 20 0 15 0 106982633 11348049920 581376 33554432000 4194304 4196468 140726500188368 140360450919280 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23073] ppid=23006 vsize=11082080 memory=844 CPUtime=3.57 cores=0,2,4,6
/proc/23009/task/23073/stat : 23073 (java) S 23006 23009 13514 0 -1 1077944384 24790 13321 0 0 345 5 5 2 20 0 15 0 106982633 11348049920 581376 33554432000 4194304 4196468 140726500188368 140360449866224 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23074] ppid=23006 vsize=11082080 memory=3360 CPUtime=0.07 cores=0,2,4,6
/proc/23009/task/23074/stat : 23074 (java) S 23006 23009 13514 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 106982633 11348049920 581376 33554432000 4194304 4196468 140726500188368 140358927248224 140361027942101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
[pid=23009/tid=23075] ppid=23006 vsize=11082080 memory=2724 CPUtime=0.18 cores=0,2,4,6
/proc/23009/task/23075/stat : 23075 (java) S 23006 23009 13514 0 -1 1077944384 404 13321 0 0 5 6 5 2 20 0 15 0 106982634 11348049920 581376 33554432000 4194304 4196468 140726500188368 140360448813616 140361027943042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 6647808 140726500194921 140726500197729 140726500197729 140726500200399 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2325504 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+225.051 s]
# the end of solver process 23009 was just reported to runsolver
# cumulated CPU time of all completed processes: user=249.89 s, system=2.22941 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 225.051
CPU time (s): 252.119
CPU user time (s): 249.89
CPU system time (s): 2.22941
CPU usage (%): 112.028
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 2858748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.89
system time used= 2.22941
maximum resident set size= 2858748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194278
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17985
involuntary context switches= 792
# summary of solver processes directly reported to runsolver:
# pid: 23009
# total CPU time (s): 252.119
# total CPU user time (s): 249.89
# total CPU system time (s): 2.22941
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.29924 second user time and 2.18067 second system time
The end