0.98/0.74 c Concrete v3.9.2.1532736233296 running
14.41/5.55 c 05:36:29.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11785. 'extension(4, x[1][12]=[0‥4]) :: init: true :: relation: MDD 538721498, 9 edges, 5 vertices, 6 tuples
14.41/5.55 c 05:36:29.618 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11786. 'extension(4, x[1][12]=[0‥4]) :: init: true :: relation: MDD 1038002783, 5 edges, 3 vertices, 4 tuples
14.41/5.56 c 05:36:29.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11810. 'extension(x[0][0]=[0‥4], 4) :: init: true :: relation: MDD 172711139, 9 edges, 5 vertices, 6 tuples
14.41/5.56 c 05:36:29.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11839. 'extension(x[0][22]=[0‥4], 4) :: init: true :: relation: MDD 2017980204, 9 edges, 5 vertices, 6 tuples
14.41/5.56 c 05:36:29.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11840. 'extension(4, x[2][22]=[0‥4]) :: init: true :: relation: MDD 2017980204, 9 edges, 5 vertices, 6 tuples
14.41/5.57 c 05:36:29.628 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11868. 'extension(4, x[3][0]=[0‥4]) :: init: true :: relation: MDD 172711139, 9 edges, 5 vertices, 6 tuples
14.41/5.57 c 05:36:29.629 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11871. 'extension(4, 4) :: init: true :: relation: MDD 172711139, 9 edges, 5 vertices, 6 tuples
14.41/5.57 c 05:36:29.631 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11899. 'extension(x[1][4]=[0‥4], 4) :: init: true :: relation: MDD 565847109, 9 edges, 5 vertices, 6 tuples
14.41/5.57 c 05:36:29.632 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11900. 'extension(4, x[3][4]=[0‥4]) :: init: true :: relation: MDD 565847109, 9 edges, 5 vertices, 6 tuples
14.41/5.57 c 05:36:29.635 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11930. 'extension(x[2][9]=[0‥4], 4) :: init: true :: relation: MDD 108049354, 9 edges, 5 vertices, 6 tuples
14.41/5.57 c 05:36:29.636 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11931. 'extension(4, x[4][9]=[0‥4]) :: init: true :: relation: MDD 108049354, 9 edges, 5 vertices, 6 tuples
14.41/5.57 c 05:36:29.638 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11962. 'extension(x[2][16]=[0‥4], 4) :: init: true :: relation: MDD 2042971662, 9 edges, 5 vertices, 6 tuples
14.41/5.57 c 05:36:29.639 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11963. 'extension(4, x[4][16]=[0‥4]) :: init: true :: relation: MDD 2042971662, 9 edges, 5 vertices, 6 tuples
14.41/5.57 c 05:36:29.642 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11995. 'extension(x[2][23]=[0‥4], 4) :: init: true :: relation: MDD 1104938392, 9 edges, 5 vertices, 6 tuples
14.41/5.58 c 05:36:29.643 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12026. 'extension(x[3][1]=[0‥4], 4) :: init: true :: relation: MDD 1217883757, 9 edges, 5 vertices, 6 tuples
14.41/5.58 c 05:36:29.644 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12027. 'extension(4, x[5][1]=[0‥4]) :: init: true :: relation: MDD 1217883757, 9 edges, 5 vertices, 6 tuples
14.41/5.58 c 05:36:29.646 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12059. 'extension(x[3][17]=[0‥4], 4) :: init: true :: relation: MDD 752772379, 9 edges, 5 vertices, 6 tuples
14.41/5.58 c 05:36:29.647 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12060. 'extension(4, x[5][17]=[0‥4]) :: init: true :: relation: MDD 752772379, 9 edges, 5 vertices, 6 tuples
14.41/5.58 c 05:36:29.649 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12093. 'extension(x[3][18]=[0‥4], 4) :: init: true :: relation: MDD 1579015748, 9 edges, 5 vertices, 6 tuples
14.41/5.58 c 05:36:29.649 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12094. 'extension(4, x[5][18]=[0‥4]) :: init: true :: relation: MDD 1579015748, 9 edges, 5 vertices, 6 tuples
14.41/5.58 c 05:36:29.652 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12127. 'extension(4, x[5][23]=[0‥4]) :: init: true :: relation: MDD 1104938392, 9 edges, 5 vertices, 6 tuples
14.41/5.58 c 05:36:29.653 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12130. 'extension(4, 4) :: init: true :: relation: MDD 1104938392, 9 edges, 5 vertices, 6 tuples
14.41/5.59 c 05:36:29.655 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12159. 'extension(4, wk[24][0]=[0‥1]) :: init: true :: relation: MDD 1160247050, 5 edges, 3 vertices, 4 tuples
14.41/5.59 c 05:36:29.655 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12160. 'extension(x[4][24]=[0‥4], 4) :: init: true :: relation: MDD 1624510452, 9 edges, 5 vertices, 6 tuples
14.41/5.59 c 05:36:29.656 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12161. 'extension(4, x[6][24]=[0‥4]) :: init: true :: relation: MDD 1624510452, 9 edges, 5 vertices, 6 tuples
14.41/5.59 c 05:36:29.658 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12193. 'extension(4, wk[27][0]=[0‥1]) :: init: true :: relation: MDD 163160871, 5 edges, 3 vertices, 4 tuples
14.41/5.59 c 05:36:29.658 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12194. 'extension(x[4][27]=[0‥4], 4) :: init: true :: relation: MDD 914293025, 9 edges, 5 vertices, 6 tuples
14.41/5.59 c 05:36:29.660 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12227. 'extension(4, wk[27][0]=[0‥1]) :: init: true :: relation: MDD 898283008, 5 edges, 3 vertices, 4 tuples
14.73/5.60 c 05:36:29.660 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12228. 'extension(4, x[7][27]=[0‥4]) :: init: true :: relation: MDD 914293025, 9 edges, 5 vertices, 6 tuples
14.73/5.60 c 05:36:29.661 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12231. 'extension(4, 4) :: init: true :: relation: MDD 914293025, 9 edges, 5 vertices, 6 tuples
14.73/5.60 c 05:36:29.663 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12261. 'extension(x[6][15]=[0‥4], 4) :: init: true :: relation: MDD 803149788, 9 edges, 5 vertices, 6 tuples
14.73/5.60 c 05:36:29.665 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12295. 'extension(x[6][17]=[0‥4], 4) :: init: true :: relation: MDD 752772379, 9 edges, 5 vertices, 6 tuples
14.73/5.60 c 05:36:29.665 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12296. 'extension(4, x[8][17]=[0‥4]) :: init: true :: relation: MDD 752772379, 9 edges, 5 vertices, 6 tuples
14.73/5.60 c 05:36:29.668 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12331. 'extension(x[6][19]=[0‥4], 4) :: init: true :: relation: MDD 318644008, 9 edges, 5 vertices, 6 tuples
14.73/5.60 c 05:36:29.669 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12332. 'extension(4, x[8][19]=[0‥4]) :: init: true :: relation: MDD 318644008, 9 edges, 5 vertices, 6 tuples
14.73/5.60 c 05:36:29.672 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12367. 'extension(x[7][13]=[0‥4], 4) :: init: true :: relation: MDD 1195909598, 9 edges, 5 vertices, 6 tuples
14.73/5.61 c 05:36:29.672 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12368. 'extension(4, x[9][13]=[0‥4]) :: init: true :: relation: MDD 1195909598, 9 edges, 5 vertices, 6 tuples
14.73/5.61 c 05:36:29.674 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12401. 'extension(4, x[9][15]=[0‥4]) :: init: true :: relation: MDD 803149788, 9 edges, 5 vertices, 6 tuples
14.73/5.61 c 05:36:29.675 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12404. 'extension(4, 4) :: init: true :: relation: MDD 803149788, 9 edges, 5 vertices, 6 tuples
14.73/5.62 c 05:36:29.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12435. 'extension(x[8][1]=[0‥4], 4) :: init: true :: relation: MDD 1217883757, 9 edges, 5 vertices, 6 tuples
14.73/5.62 c 05:36:29.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12436. 'extension(4, x[10][1]=[0‥4]) :: init: true :: relation: MDD 1217883757, 9 edges, 5 vertices, 6 tuples
14.73/5.62 c 05:36:29.680 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12469. 'extension(x[8][11]=[0‥4], 4) :: init: true :: relation: MDD 31184256, 9 edges, 5 vertices, 6 tuples
14.73/5.62 c 05:36:29.681 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12470. 'extension(4, x[10][11]=[0‥4]) :: init: true :: relation: MDD 31184256, 9 edges, 5 vertices, 6 tuples
14.73/5.62 c 05:36:29.683 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12503. 'extension(x[9][9]=[0‥4], 4) :: init: true :: relation: MDD 108049354, 9 edges, 5 vertices, 6 tuples
14.73/5.62 c 05:36:29.684 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12504. 'extension(4, x[11][9]=[0‥4]) :: init: true :: relation: MDD 108049354, 9 edges, 5 vertices, 6 tuples
14.73/5.62 c 05:36:29.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12537. 'extension(x[9][21]=[0‥4], 4) :: init: true :: relation: MDD 1700397528, 9 edges, 5 vertices, 6 tuples
14.73/5.62 c 05:36:29.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12538. 'extension(4, x[11][21]=[0‥4]) :: init: true :: relation: MDD 1700397528, 9 edges, 5 vertices, 6 tuples
14.73/5.62 c 05:36:29.689 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12573. 'extension(x[10][7]=[0‥4], 4) :: init: true :: relation: MDD 994632067, 9 edges, 5 vertices, 6 tuples
14.73/5.62 c 05:36:29.690 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12607. 'extension(4, wk[7][1]=[0‥1]) :: init: true :: relation: MDD 1254850252, 5 edges, 3 vertices, 4 tuples
14.73/5.62 c 05:36:29.691 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12608. 'extension(4, x[13][7]=[0‥4]) :: init: true :: relation: MDD 994632067, 9 edges, 5 vertices, 6 tuples
14.73/5.62 c 05:36:29.691 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12611. 'extension(4, 4) :: init: true :: relation: MDD 994632067, 9 edges, 5 vertices, 6 tuples
14.73/5.63 c 05:36:29.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12642. 'extension(4, wk[12][1]=[0‥1]) :: init: true :: relation: MDD 761533964, 5 edges, 3 vertices, 4 tuples
14.73/5.63 c 05:36:29.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12643. 'extension(x[11][12]=[0‥4], 4) :: init: true :: relation: MDD 538721498, 9 edges, 5 vertices, 6 tuples
14.73/5.63 c 05:36:29.694 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12644. 'extension(4, x[13][12]=[0‥4]) :: init: true :: relation: MDD 538721498, 9 edges, 5 vertices, 6 tuples
14.73/5.63 c 05:36:29.696 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12677. 'extension(4, wk[16][1]=[0‥1]) :: init: true :: relation: MDD 494951073, 5 edges, 3 vertices, 4 tuples
14.73/5.63 c 05:36:29.696 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12678. 'extension(x[11][16]=[0‥4], 4) :: init: true :: relation: MDD 2042971662, 9 edges, 5 vertices, 6 tuples
14.73/5.63 c 05:36:29.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12679. 'extension(4, x[13][16]=[0‥4]) :: init: true :: relation: MDD 2042971662, 9 edges, 5 vertices, 6 tuples
14.73/5.63 c 05:36:29.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12714. 'extension(4, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 2022562847, 5 edges, 3 vertices, 4 tuples
14.73/5.63 c 05:36:29.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12715. 'extension(x[12][6]=[0‥4], 4) :: init: true :: relation: MDD 1983063045, 9 edges, 5 vertices, 6 tuples
14.73/5.63 c 05:36:29.701 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12749. 'extension(4, wk[8][1]=[0‥1]) :: init: true :: relation: MDD 2040548959, 5 edges, 3 vertices, 4 tuples
14.73/5.64 c 05:36:29.701 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12750. 'extension(x[12][8]=[0‥4], 4) :: init: true :: relation: MDD 1058994646, 9 edges, 5 vertices, 6 tuples
14.73/5.64 c 05:36:29.703 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12784. 'extension(x[13][4]=[0‥4], 4) :: init: true :: relation: MDD 565847109, 9 edges, 5 vertices, 6 tuples
14.73/5.64 c 05:36:29.703 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12785. 'extension(4, x[15][4]=[0‥4]) :: init: true :: relation: MDD 565847109, 9 edges, 5 vertices, 6 tuples
14.73/5.64 c 05:36:29.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12818. 'extension(4, x[15][6]=[0‥4]) :: init: true :: relation: MDD 1983063045, 9 edges, 5 vertices, 6 tuples
14.73/5.64 c 05:36:29.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12821. 'extension(4, 4) :: init: true :: relation: MDD 1983063045, 9 edges, 5 vertices, 6 tuples
14.73/5.64 c 05:36:29.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12852. 'extension(4, x[15][8]=[0‥4]) :: init: true :: relation: MDD 1058994646, 9 edges, 5 vertices, 6 tuples
14.73/5.64 c 05:36:29.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12855. 'extension(4, 4) :: init: true :: relation: MDD 1058994646, 9 edges, 5 vertices, 6 tuples
14.73/5.64 c 05:36:29.710 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12886. 'extension(x[13][10]=[0‥4], 4) :: init: true :: relation: MDD 1490466745, 9 edges, 5 vertices, 6 tuples
14.73/5.64 c 05:36:29.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12920. 'extension(x[13][11]=[0‥4], 4) :: init: true :: relation: MDD 31184256, 9 edges, 5 vertices, 6 tuples
14.73/5.64 c 05:36:29.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12921. 'extension(4, x[15][11]=[0‥4]) :: init: true :: relation: MDD 31184256, 9 edges, 5 vertices, 6 tuples
14.73/5.65 c 05:36:29.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12954. 'extension(x[13][14]=[0‥4], 4) :: init: true :: relation: MDD 1204822967, 9 edges, 5 vertices, 6 tuples
14.73/5.65 c 05:36:29.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12955. 'extension(4, x[15][14]=[0‥4]) :: init: true :: relation: MDD 1204822967, 9 edges, 5 vertices, 6 tuples
14.73/5.65 c 05:36:29.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12988. 'extension(4, x[16][10]=[0‥4]) :: init: true :: relation: MDD 1490466745, 9 edges, 5 vertices, 6 tuples
14.73/5.65 c 05:36:29.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12991. 'extension(4, 4) :: init: true :: relation: MDD 1490466745, 9 edges, 5 vertices, 6 tuples
14.73/5.65 c 05:36:29.718 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13022. 'extension(x[14][28]=[0‥4], 4) :: init: true :: relation: MDD 1397338694, 9 edges, 5 vertices, 6 tuples
14.73/5.66 c 05:36:29.719 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13054. 'extension(x[14][29]=[0‥4], 4) :: init: true :: relation: MDD 670996243, 9 edges, 5 vertices, 6 tuples
14.73/5.66 c 05:36:29.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13086. 'extension(x[15][2]=[0‥4], 4) :: init: true :: relation: MDD 1769616559, 9 edges, 5 vertices, 6 tuples
14.73/5.66 c 05:36:29.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13120. 'extension(4, x[17][28]=[0‥4]) :: init: true :: relation: MDD 1397338694, 9 edges, 5 vertices, 6 tuples
14.73/5.66 c 05:36:29.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13123. 'extension(4, 4) :: init: true :: relation: MDD 1397338694, 9 edges, 5 vertices, 6 tuples
14.73/5.66 c 05:36:29.722 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13152. 'extension(4, x[17][29]=[0‥4]) :: init: true :: relation: MDD 670996243, 9 edges, 5 vertices, 6 tuples
14.73/5.66 c 05:36:29.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13155. 'extension(4, 4) :: init: true :: relation: MDD 670996243, 9 edges, 5 vertices, 6 tuples
14.73/5.66 c 05:36:29.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13184. 'extension(4, x[18][2]=[0‥4]) :: init: true :: relation: MDD 1769616559, 9 edges, 5 vertices, 6 tuples
14.73/5.66 c 05:36:29.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13187. 'extension(4, 4) :: init: true :: relation: MDD 1769616559, 9 edges, 5 vertices, 6 tuples
14.73/5.66 c 05:36:29.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13218. 'extension(x[16][25]=[0‥4], 4) :: init: true :: relation: MDD 266843824, 9 edges, 5 vertices, 6 tuples
14.73/5.67 c 05:36:29.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13251. 'extension(x[17][21]=[0‥4], 4) :: init: true :: relation: MDD 1700397528, 9 edges, 5 vertices, 6 tuples
14.73/5.67 c 05:36:29.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13252. 'extension(4, x[19][21]=[0‥4]) :: init: true :: relation: MDD 1700397528, 9 edges, 5 vertices, 6 tuples
14.73/5.67 c 05:36:29.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13287. 'extension(4, x[19][25]=[0‥4]) :: init: true :: relation: MDD 266843824, 9 edges, 5 vertices, 6 tuples
14.73/5.67 c 05:36:29.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13290. 'extension(4, 4) :: init: true :: relation: MDD 266843824, 9 edges, 5 vertices, 6 tuples
14.73/5.67 c 05:36:29.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13320. 'extension(4, wk[22][2]=[0‥1]) :: init: true :: relation: MDD 83210381, 5 edges, 3 vertices, 4 tuples
14.73/5.67 c 05:36:29.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13321. 'extension(x[18][22]=[0‥4], 4) :: init: true :: relation: MDD 2017980204, 9 edges, 5 vertices, 6 tuples
14.73/5.67 c 05:36:29.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13322. 'extension(4, x[20][22]=[0‥4]) :: init: true :: relation: MDD 2017980204, 9 edges, 5 vertices, 6 tuples
14.73/5.67 c 05:36:29.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13357. 'extension(x[20][20]=[0‥4], 4) :: init: true :: relation: MDD 1849941462, 9 edges, 5 vertices, 6 tuples
14.73/5.67 c 05:36:29.738 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13393. 'extension(x[21][3]=[0‥4], 4) :: init: true :: relation: MDD 8415638, 9 edges, 5 vertices, 6 tuples
14.73/5.67 c 05:36:29.738 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13394. 'extension(4, x[23][3]=[0‥4]) :: init: true :: relation: MDD 8415638, 9 edges, 5 vertices, 6 tuples
14.73/5.68 c 05:36:29.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13427. 'extension(4, x[23][20]=[0‥4]) :: init: true :: relation: MDD 1849941462, 9 edges, 5 vertices, 6 tuples
14.73/5.68 c 05:36:29.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13430. 'extension(4, 4) :: init: true :: relation: MDD 1849941462, 9 edges, 5 vertices, 6 tuples
14.73/5.68 c 05:36:29.742 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13462. 'extension(x[22][26]=[0‥4], 4) :: init: true :: relation: MDD 1870054092, 9 edges, 5 vertices, 6 tuples
14.73/5.68 c 05:36:29.743 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13494. 'extension(x[23][14]=[0‥4], 4) :: init: true :: relation: MDD 1204822967, 9 edges, 5 vertices, 6 tuples
14.73/5.68 c 05:36:29.744 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13495. 'extension(4, x[25][14]=[0‥4]) :: init: true :: relation: MDD 1204822967, 9 edges, 5 vertices, 6 tuples
14.73/5.68 c 05:36:29.746 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13526. 'extension(x[23][18]=[0‥4], 4) :: init: true :: relation: MDD 1579015748, 9 edges, 5 vertices, 6 tuples
14.73/5.69 c 05:36:29.746 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13527. 'extension(4, x[25][18]=[0‥4]) :: init: true :: relation: MDD 1579015748, 9 edges, 5 vertices, 6 tuples
14.73/5.69 c 05:36:29.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13559. 'extension(4, x[25][26]=[0‥4]) :: init: true :: relation: MDD 1870054092, 9 edges, 5 vertices, 6 tuples
14.73/5.69 c 05:36:29.749 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13562. 'extension(4, 4) :: init: true :: relation: MDD 1870054092, 9 edges, 5 vertices, 6 tuples
14.73/5.69 c 05:36:29.750 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13590. 'extension(x[24][24]=[0‥4], 4) :: init: true :: relation: MDD 1624510452, 9 edges, 5 vertices, 6 tuples
14.73/5.69 c 05:36:29.751 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13591. 'extension(4, x[26][24]=[0‥4]) :: init: true :: relation: MDD 1624510452, 9 edges, 5 vertices, 6 tuples
14.73/5.69 c 05:36:29.753 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13620. 'extension(4, wk[3][3]=[0‥1]) :: init: true :: relation: MDD 1827710791, 5 edges, 3 vertices, 4 tuples
14.73/5.69 c 05:36:29.753 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13621. 'extension(x[25][3]=[0‥4], 4) :: init: true :: relation: MDD 8415638, 9 edges, 5 vertices, 6 tuples
14.73/5.69 c 05:36:29.753 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13622. 'extension(4, x[27][3]=[0‥4]) :: init: true :: relation: MDD 8415638, 9 edges, 5 vertices, 6 tuples
14.73/5.69 c 05:36:29.755 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13650. 'extension(4, wk[5][3]=[0‥1]) :: init: true :: relation: MDD 975629453, 5 edges, 3 vertices, 4 tuples
14.73/5.69 c 05:36:29.755 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13651. 'extension(x[25][5]=[0‥4], 4) :: init: true :: relation: MDD 1199894489, 9 edges, 5 vertices, 6 tuples
14.73/5.69 c 05:36:29.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13680. 'extension(4, wk[5][3]=[0‥1]) :: init: true :: relation: MDD 269257589, 5 edges, 3 vertices, 4 tuples
14.73/5.69 c 05:36:29.757 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13681. 'extension(4, 4) :: init: true :: relation: MDD 1199894489, 9 edges, 5 vertices, 6 tuples
14.73/5.69 c 05:36:29.757 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13682. 'extension(4, 4) :: init: true :: relation: MDD 1701798620, 5 edges, 3 vertices, 4 tuples
14.73/5.69 c 05:36:29.758 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13706. 'extension(4, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 836749045, 5 edges, 3 vertices, 4 tuples
14.73/5.69 c 05:36:29.758 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13707. 'extension(x[26][13]=[0‥4], 4) :: init: true :: relation: MDD 1195909598, 9 edges, 5 vertices, 6 tuples
14.73/5.69 c 05:36:29.758 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13708. 'extension(4, x[26][13]=[0‥4]) :: init: true :: relation: MDD 1082579195, 5 edges, 3 vertices, 4 tuples
14.73/5.69 c 05:36:29.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13732. 'extension(4, wk[19][3]=[0‥1]) :: init: true :: relation: MDD 1249890505, 5 edges, 3 vertices, 4 tuples
14.73/5.69 c 05:36:29.760 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13733. 'extension(x[26][19]=[0‥4], 4) :: init: true :: relation: MDD 318644008, 9 edges, 5 vertices, 6 tuples
14.73/5.69 c 05:36:29.760 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13734. 'extension(4, x[26][19]=[0‥4]) :: init: true :: relation: MDD 1303773766, 5 edges, 3 vertices, 4 tuples
15.08/5.72 c 05:36:29.788 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14249. 'extension(x[1][12]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.72 c 05:36:29.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14251. 'extension(x[1][12]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.72 c 05:36:29.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14257. 'extension(x[0][0]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.72 c 05:36:29.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14261. 'extension(x[0][22]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.72 c 05:36:29.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14263. 'extension(x[2][22]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.72 c 05:36:29.790 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14275. 'extension(x[3][0]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.72 c 05:36:29.791 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14289. 'extension(x[1][4]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.72 c 05:36:29.791 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14291. 'extension(x[3][4]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.72 c 05:36:29.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14305. 'extension(x[2][9]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.72 c 05:36:29.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14307. 'extension(x[4][9]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.72 c 05:36:29.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14321. 'extension(x[2][16]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.73 c 05:36:29.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14323. 'extension(x[4][16]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.73 c 05:36:29.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14339. 'extension(x[2][23]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14345. 'extension(x[3][1]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14347. 'extension(x[5][1]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.795 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14361. 'extension(x[3][17]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.795 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14363. 'extension(x[5][17]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.796 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14377. 'extension(x[3][18]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.796 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14379. 'extension(x[5][18]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.797 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14395. 'extension(x[5][23]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.798 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14405. 'extension(wk[24][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.798 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14407. 'extension(x[4][24]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.798 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14409. 'extension(x[6][24]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.798 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14421. 'extension(wk[27][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.799 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14423. 'extension(x[4][27]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.799 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14429. 'extension(wk[27][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.799 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14431. 'extension(x[7][27]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.800 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14441. 'extension(x[6][15]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.800 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14447. 'extension(x[6][17]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.800 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14449. 'extension(x[8][17]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.801 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14465. 'extension(x[6][19]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.801 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14467. 'extension(x[8][19]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.802 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14483. 'extension(x[7][13]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.802 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14485. 'extension(x[9][13]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.803 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14499. 'extension(x[9][15]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14513. 'extension(x[8][1]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14515. 'extension(x[10][1]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14529. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14531. 'extension(x[10][11]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14545. 'extension(x[9][9]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14547. 'extension(x[11][9]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14561. 'extension(x[9][21]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14563. 'extension(x[11][21]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.808 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14579. 'extension(x[10][7]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.808 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14585. 'extension(wk[7][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.808 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14587. 'extension(x[13][7]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14601. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14603. 'extension(x[11][12]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14605. 'extension(x[13][12]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.810 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14619. 'extension(wk[16][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.08/5.74 c 05:36:29.810 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14621. 'extension(x[11][16]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.810 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14623. 'extension(x[13][16]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14639. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14641. 'extension(x[12][6]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14647. 'extension(wk[8][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14649. 'extension(x[12][8]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14655. 'extension(x[13][4]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14657. 'extension(x[15][4]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14671. 'extension(x[15][6]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14685. 'extension(x[15][8]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.814 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14699. 'extension(x[13][10]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14705. 'extension(x[13][11]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14707. 'extension(x[15][11]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14721. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14723. 'extension(x[15][14]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14737. 'extension(x[16][10]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14751. 'extension(x[14][28]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14757. 'extension(x[14][29]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14763. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14769. 'extension(x[17][28]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14775. 'extension(x[17][29]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.819 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14781. 'extension(x[18][2]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.819 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14795. 'extension(x[16][25]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14801. 'extension(x[17][21]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14803. 'extension(x[19][21]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14819. 'extension(x[19][25]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14829. 'extension(wk[22][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14831. 'extension(x[18][22]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14833. 'extension(x[20][22]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14849. 'extension(x[20][20]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14855. 'extension(x[21][3]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.75 c 05:36:29.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14857. 'extension(x[23][3]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14871. 'extension(x[23][20]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14887. 'extension(x[22][26]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14893. 'extension(x[23][14]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14895. 'extension(x[25][14]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14909. 'extension(x[23][18]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14911. 'extension(x[25][18]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14927. 'extension(x[25][26]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14937. 'extension(x[24][24]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14939. 'extension(x[26][24]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14951. 'extension(wk[3][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14953. 'extension(x[25][3]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14955. 'extension(x[27][3]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14967. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14969. 'extension(x[25][5]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14975. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14981. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14983. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14985. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14991. 'extension(wk[19][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14993. 'extension(x[26][19]=[0‥4]) :: init: true :: relation: Empty MDD
15.08/5.76 c 05:36:29.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14995. 'extension(x[26][19]=[0‥4]) :: init: true :: relation: Empty MDD
2520.05/2455.71 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.05/2455.71 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.05/2455.71 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.05/2455.71 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.05/2455.71 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.05/2455.71 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.05/2455.71 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.05/2455.71 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.05/2455.71 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2455.71 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.05/2455.71 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.05/2455.71 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2455.71 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.05/2455.71 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.05/2455.71 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2455.71 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.05/2455.71 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.05/2455.71 at scala.Option.map(Option.scala:146)
2520.05/2455.71 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.05/2455.71 at concrete.MAC.mac(MAC.scala:203)
2520.05/2455.71 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.05/2455.71 at scala.util.Try$.apply(Try.scala:209)
2520.05/2455.71 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.05/2455.71 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.05/2455.71 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.05/2455.71 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.05/2455.71 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.05/2455.71 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.05/2455.71 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.05/2455.71 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.05/2455.71 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.05/2455.71 at concrete.MAC.oneRun(MAC.scala:253)
2520.05/2455.71 at concrete.MAC.nextSolution(MAC.scala:272)
2520.05/2455.71 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.05/2455.71 at concrete.ProblemState.map(ProblemState.scala:221)
2520.05/2455.71 at concrete.ProblemState.map(ProblemState.scala:204)
2520.05/2455.71 at concrete.MAC.nextSolution(MAC.scala:334)
2520.05/2455.71 at concrete.Solver.hasNext(Solver.scala:166)
2520.05/2455.71 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.05/2455.71 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.05/2455.71 at concrete.Solver.foreach(Solver.scala:68)
2520.05/2455.71 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.05/2455.71 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.05/2455.71 at scala.util.Success.map(Try.scala:209)
2520.05/2455.71 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.05/2455.71 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.05/2455.71 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.05/2455.71 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.05/2455.71 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.05/2455.71 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.05/2455.71 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.05/2455.71 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.05/2455.71 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.05/2455.71 at scala.collection.immutable.List.foreach(List.scala:389)
2520.05/2455.71 at scala.App.main(App.scala:76)
2520.05/2455.71 at scala.App.main$(App.scala:74)
2520.05/2455.71 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.05/2455.71 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2455.72 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 (13442 MiB free)
memory of node 1: 16384 MiB (13503 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304183-1534044983/watcher-4304183-1534044983 -o /tmp/evaluation-result-4304183-1534044983/solver-4304183-1534044983 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534040018-23574 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=648122010 HOME/instance-4304183-1534044983.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24363, runsolver pid=24360
Current StackSize limit: 8192 KiB
[startup+0.100191 s]*
/proc/loadavg: 1.31 1.37 1.41 2/186 24418
/proc/meminfo: memFree=28612604/32770624 swapFree=67108804/67108860
[pid=24363] ppid=24360 vsize=10005480 memory=16544 CPUtime=0.08 cores=0,2,4,6
/proc/24363/stat : 24363 (java) S 24360 24363 22159 0 -1 1077944320 4284 12833 0 0 1 0 4 3 20 0 6 0 222061521 10245611520 4136 33554432000 4194304 4196468 140733845140032 140733845122576 139913178529527 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
/proc/24363/statm: 2501370 4136 1932 1 0 2489808 0
[pid=24363/tid=24418] ppid=24360 vsize=10005480 memory=-6517102902069810590 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24418/stat : 24418 (java) R 24360 24363 22159 0 -1 4202560 2093 12833 0 0 0 0 4 3 20 0 6 0 222061530 10245611520 4136 33554432000 4194304 4196468 140733845140032 139913150366288 139913178551453 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24419] ppid=24360 vsize=10005480 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24419/stat : 24419 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 6 0 222061531 10245611520 4136 33554432000 4194304 4196468 140733845140032 139913182771984 139913178539733 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24420] ppid=24360 vsize=10005480 memory=140005661443712 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24420/stat : 24420 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 6 0 222061531 10245611520 4136 33554432000 4194304 4196468 140733845140032 139913064037264 139913178539733 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24421] ppid=24360 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24421/stat : 24421 (java) S 24360 24363 22159 0 -1 1077944384 2 12833 0 0 0 0 4 3 20 0 6 0 222061531 10245611520 4136 33554432000 4194304 4196468 140733845140032 139913062984720 139913178539733 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24422] ppid=24360 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24422/stat : 24422 (java) S 24360 24363 22159 0 -1 1077944384 2 12833 0 0 0 0 4 3 20 0 6 0 222061531 10245611520 4136 33554432000 4194304 4196468 140733845140032 139913061932176 139913178539733 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16544 KiB
[startup+0.209968 s]*
/proc/loadavg: 1.31 1.37 1.41 3/196 24439
/proc/meminfo: memFree=28590488/32770624 swapFree=67108804/67108860
[pid=24363] ppid=24360 vsize=10982744 memory=44580 CPUtime=0.25 cores=0,2,4,6
/proc/24363/stat : 24363 (java) S 24360 24363 22159 0 -1 1077944320 7347 12833 0 0 17 1 4 3 20 0 15 0 222061521 11246329856 11145 33554432000 4194304 4196468 140733845140032 140733845122576 139913178529527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
/proc/24363/statm: 2745686 11145 2958 1 0 2708109 0
[pid=24363/tid=24418] ppid=24360 vsize=10982744 memory=4134692831991783777 CPUtime=0.18 cores=0,2,4,6
/proc/24363/task/24418/stat : 24418 (java) R 24360 24363 22159 0 -1 4202560 3967 12833 0 0 10 1 4 3 20 0 15 0 222061530 11246329856 11211 33554432000 4194304 4196468 140733845140032 139913150325568 139913158805248 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24419] ppid=24360 vsize=10982744 memory=6735269665564437106 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24419/stat : 24419 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 15 0 222061531 11246329856 11211 33554432000 4194304 4196468 140733845140032 139913182771984 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24420] ppid=24360 vsize=10982744 memory=140005661443712 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24420/stat : 24420 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 15 0 222061531 11246329856 11211 33554432000 4194304 4196468 140733845140032 139913064037264 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24421] ppid=24360 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24421/stat : 24421 (java) S 24360 24363 22159 0 -1 1077944384 2 12833 0 0 0 0 4 3 20 0 15 0 222061531 11246329856 11211 33554432000 4194304 4196468 140733845140032 139913062984720 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24422] ppid=24360 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24422/stat : 24422 (java) S 24360 24363 22159 0 -1 1077944384 2 12833 0 0 0 0 4 3 20 0 15 0 222061531 11246329856 11211 33554432000 4194304 4196468 140733845140032 139913061932176 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24423] ppid=24360 vsize=10982744 memory=140005661443712 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24423/stat : 24423 (java) S 24360 24363 22159 0 -1 1077944384 2 12833 0 0 0 0 4 3 20 0 15 0 222061533 11246329856 11211 33554432000 4194304 4196468 140733845140032 139912671590384 139913178540674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24424] ppid=24360 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24424/stat : 24424 (java) S 24360 24363 22159 0 -1 1077944384 13 12833 0 0 0 0 4 3 20 0 15 0 222061533 11246329856 11211 33554432000 4194304 4196468 140733845140032 139911928734624 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24425] ppid=24360 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24425/stat : 24425 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 15 0 222061533 11246329856 11277 33554432000 4194304 4196468 140733845140032 139911780885488 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24426] ppid=24360 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24426/stat : 24426 (java) S 24360 24363 22159 0 -1 1077944384 3 12833 0 0 0 0 4 3 20 0 15 0 222061536 11246329856 11277 33554432000 4194304 4196468 140733845140032 139911473486032 139913178548123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24427] ppid=24360 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24363/task/24427/stat : 24427 (java) S 24360 24363 22159 0 -1 1077944384 540 12833 0 0 1 0 4 3 20 0 15 0 222061536 11246329856 11277 33554432000 4194304 4196468 140733845140032 139912670538224 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24428] ppid=24360 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24363/task/24428/stat : 24428 (java) S 24360 24363 22159 0 -1 1077944384 62 12833 0 0 1 0 4 3 20 0 15 0 222061536 11246329856 11277 33554432000 4194304 4196468 140733845140032 139912669485680 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24429] ppid=24360 vsize=10982744 memory=140005661443712 CPUtime=0.1 cores=0,2,4,6
/proc/24363/task/24429/stat : 24429 (java) S 24360 24363 22159 0 -1 1077944384 611 12833 0 0 3 0 4 3 20 0 15 0 222061536 11246329856 11277 33554432000 4194304 4196468 140733845140032 139912668433136 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24430] ppid=24360 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24430/stat : 24430 (java) S 24360 24363 22159 0 -1 1077944384 3 12833 0 0 0 0 4 3 20 0 15 0 222061536 11246329856 11277 33554432000 4194304 4196468 140733845140032 139911042690144 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24431] ppid=24360 vsize=10982744 memory=140005661443712 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24431/stat : 24431 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 15 0 222061537 11246329856 11277 33554432000 4194304 4196468 140733845140032 139912667380016 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44580 KiB
[startup+0.310013 s]*
/proc/loadavg: 1.31 1.37 1.41 3/214 24460
/proc/meminfo: memFree=28560696/32770624 swapFree=67108804/67108860
[pid=24363] ppid=24360 vsize=10983192 memory=57664 CPUtime=0.37 cores=0,2,4,6
/proc/24363/stat : 24363 (java) S 24360 24363 22159 0 -1 1077944320 10385 12833 0 0 28 2 4 3 20 0 15 0 222061521 11246788608 14416 33554432000 4194304 4196468 140733845140032 140733845122576 139913178529527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
/proc/24363/statm: 2745798 14416 3105 1 0 2708109 0
[pid=24363/tid=24418] ppid=24360 vsize=10983192 memory=5787233549803348032 CPUtime=0.28 cores=0,2,4,6
/proc/24363/task/24418/stat : 24418 (java) R 24360 24363 22159 0 -1 4202560 6943 12833 0 0 19 2 4 3 20 0 15 0 222061530 11246788608 14416 33554432000 4194304 4196468 140733845140032 139913150341536 139913158805198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24419] ppid=24360 vsize=10983192 memory=7649539376945643970 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24419/stat : 24419 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 15 0 222061531 11246788608 14416 33554432000 4194304 4196468 140733845140032 139913182771984 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24420] ppid=24360 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24420/stat : 24420 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 15 0 222061531 11246788608 14416 33554432000 4194304 4196468 140733845140032 139913064037264 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24421] ppid=24360 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24421/stat : 24421 (java) S 24360 24363 22159 0 -1 1077944384 2 12833 0 0 0 0 4 3 20 0 15 0 222061531 11246788608 14416 33554432000 4194304 4196468 140733845140032 139913062984720 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24422] ppid=24360 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24422/stat : 24422 (java) S 24360 24363 22159 0 -1 1077944384 2 12833 0 0 0 0 4 3 20 0 15 0 222061531 11246788608 14416 33554432000 4194304 4196468 140733845140032 139913061932176 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24423] ppid=24360 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24423/stat : 24423 (java) S 24360 24363 22159 0 -1 1077944384 2 12833 0 0 0 0 4 3 20 0 15 0 222061533 11246788608 14416 33554432000 4194304 4196468 140733845140032 139912671590384 139913178540674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24424] ppid=24360 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24424/stat : 24424 (java) S 24360 24363 22159 0 -1 1077944384 13 12833 0 0 0 0 4 3 20 0 15 0 222061533 11246788608 14416 33554432000 4194304 4196468 140733845140032 139911928734624 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24425] ppid=24360 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24425/stat : 24425 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 15 0 222061533 11246788608 14416 33554432000 4194304 4196468 140733845140032 139911780885488 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24426] ppid=24360 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24426/stat : 24426 (java) S 24360 24363 22159 0 -1 1077944384 3 12833 0 0 0 0 4 3 20 0 15 0 222061536 11246788608 14416 33554432000 4194304 4196468 140733845140032 139911473486032 139913178548123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24427] ppid=24360 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24363/task/24427/stat : 24427 (java) S 24360 24363 22159 0 -1 1077944384 540 12833 0 0 1 0 4 3 20 0 15 0 222061536 11246788608 14416 33554432000 4194304 4196468 140733845140032 139912670538224 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24428] ppid=24360 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24363/task/24428/stat : 24428 (java) S 24360 24363 22159 0 -1 1077944384 67 12833 0 0 1 0 4 3 20 0 15 0 222061536 11246788608 14416 33554432000 4194304 4196468 140733845140032 139912669485680 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24429] ppid=24360 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/24363/task/24429/stat : 24429 (java) S 24360 24363 22159 0 -1 1077944384 617 12833 0 0 5 0 4 3 20 0 15 0 222061536 11246788608 14416 33554432000 4194304 4196468 140733845140032 139912668433136 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24430] ppid=24360 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24430/stat : 24430 (java) S 24360 24363 22159 0 -1 1077944384 3 12833 0 0 0 0 4 3 20 0 15 0 222061536 11246788608 14416 33554432000 4194304 4196468 140733845140032 139911042690144 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24431] ppid=24360 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24431/stat : 24431 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 15 0 222061537 11246788608 14416 33554432000 4194304 4196468 140733845140032 139912667380016 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57664 KiB
[startup+0.7008 s]
/proc/loadavg: 1.31 1.37 1.41 6/214 24460
/proc/meminfo: memFree=28531500/32770624 swapFree=67108804/67108860
[pid=24363] ppid=24360 vsize=10983192 memory=90696 CPUtime=0.98 cores=0,2,4,6
/proc/24363/stat : 24363 (java) S 24360 24363 22159 0 -1 1077944320 16732 12833 0 0 87 4 4 3 20 0 15 0 222061521 11246788608 22674 33554432000 4194304 4196468 140733845140032 140733845122576 139913178529527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
/proc/24363/statm: 2745798 22674 3247 1 0 2708109 0
[pid=24363/tid=24418] ppid=24360 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/24363/task/24418/stat : 24418 (java) R 24360 24363 22159 0 -1 4202560 12193 12833 0 0 56 3 4 3 20 0 15 0 222061530 11246788608 22674 33554432000 4194304 4196468 140733845140032 139913150350352 139913163695072 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24419] ppid=24360 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24419/stat : 24419 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 15 0 222061531 11246788608 22674 33554432000 4194304 4196468 140733845140032 139913182771984 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24420] ppid=24360 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24420/stat : 24420 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 15 0 222061531 11246788608 22674 33554432000 4194304 4196468 140733845140032 139913064037264 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24421] ppid=24360 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24421/stat : 24421 (java) S 24360 24363 22159 0 -1 1077944384 2 12833 0 0 0 0 4 3 20 0 15 0 222061531 11246788608 22674 33554432000 4194304 4196468 140733845140032 139913062984720 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24422] ppid=24360 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24422/stat : 24422 (java) S 24360 24363 22159 0 -1 1077944384 2 12833 0 0 0 0 4 3 20 0 15 0 222061531 11246788608 22674 33554432000 4194304 4196468 140733845140032 139913061932176 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24423] ppid=24360 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24423/stat : 24423 (java) S 24360 24363 22159 0 -1 1077944384 6 12833 0 0 0 0 4 3 20 0 15 0 222061533 11246788608 22674 33554432000 4194304 4196468 140733845140032 139912671590384 139913178540674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24424] ppid=24360 vsize=10983192 memory=8104553123276797233 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24424/stat : 24424 (java) S 24360 24363 22159 0 -1 1077944384 13 12833 0 0 0 0 4 3 20 0 15 0 222061533 11246788608 22674 33554432000 4194304 4196468 140733845140032 139911928734624 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24425] ppid=24360 vsize=10983192 memory=5793124883194990673 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24425/stat : 24425 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 15 0 222061533 11246788608 22674 33554432000 4194304 4196468 140733845140032 139911780885488 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24426] ppid=24360 vsize=10983192 memory=7372786582024121444 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24426/stat : 24426 (java) S 24360 24363 22159 0 -1 1077944384 3 12833 0 0 0 0 4 3 20 0 15 0 222061536 11246788608 22674 33554432000 4194304 4196468 140733845140032 139911473486032 139913178548123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24427] ppid=24360 vsize=10983192 memory=4638778398332698720 CPUtime=0.16 cores=0,2,4,6
/proc/24363/task/24427/stat : 24427 (java) S 24360 24363 22159 0 -1 1077944384 1142 12833 0 0 9 0 4 3 20 0 15 0 222061536 11246788608 22674 33554432000 4194304 4196468 140733845140032 139912670538224 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24428] ppid=24360 vsize=10983192 memory=7897517683652307531 CPUtime=0.14 cores=0,2,4,6
/proc/24363/task/24428/stat : 24428 (java) S 24360 24363 22159 0 -1 1077944384 468 12833 0 0 7 0 4 3 20 0 15 0 222061536 11246788608 22674 33554432000 4194304 4196468 140733845140032 139912669485680 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24429] ppid=24360 vsize=10983192 memory=-5345911753256963030 CPUtime=0.2 cores=0,2,4,6
/proc/24363/task/24429/stat : 24429 (java) S 24360 24363 22159 0 -1 1077944384 707 12833 0 0 13 0 4 3 20 0 15 0 222061536 11246788608 22674 33554432000 4194304 4196468 140733845140032 139912668433136 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24430] ppid=24360 vsize=10983192 memory=-7384994778349281184 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24430/stat : 24430 (java) S 24360 24363 22159 0 -1 1077944384 3 12833 0 0 0 0 4 3 20 0 15 0 222061536 11246788608 22674 33554432000 4194304 4196468 140733845140032 139911042690144 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24431] ppid=24360 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24431/stat : 24431 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 15 0 222061537 11246788608 22674 33554432000 4194304 4196468 140733845140032 139912667380016 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90696 KiB
[startup+1.50091 s]
/proc/loadavg: 1.31 1.37 1.41 4/195 24480
/proc/meminfo: memFree=28545988/32770624 swapFree=67108804/67108860
[pid=24363] ppid=24360 vsize=10993996 memory=168236 CPUtime=3.18 cores=0,2,4,6
/proc/24363/stat : 24363 (java) S 24360 24363 22159 0 -1 1077944320 25285 12833 0 0 303 8 4 3 20 0 15 0 222061521 11257851904 42059 33554432000 4194304 4196468 140733845140032 140733845122576 139913178529527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
/proc/24363/statm: 2748499 42059 3445 1 0 2710157 0
[pid=24363/tid=24418] ppid=24360 vsize=10993996 memory=123896 CPUtime=1.45 cores=0,2,4,6
/proc/24363/task/24418/stat : 24418 (java) R 24360 24363 22159 0 -1 4202560 15924 12833 0 0 132 6 4 3 20 0 15 0 222061530 11257851904 42059 33554432000 4194304 4196468 140733845140032 139913150315480 139913162610014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24419] ppid=24360 vsize=10993996 memory=8334083345238234249 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24419/stat : 24419 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 15 0 222061531 11257851904 42059 33554432000 4194304 4196468 140733845140032 139913182771984 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24420] ppid=24360 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24420/stat : 24420 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 15 0 222061531 11257851904 42059 33554432000 4194304 4196468 140733845140032 139913064037264 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24421] ppid=24360 vsize=10993996 memory=140005661443712 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24421/stat : 24421 (java) S 24360 24363 22159 0 -1 1077944384 2 12833 0 0 0 0 4 3 20 0 15 0 222061531 11257851904 42059 33554432000 4194304 4196468 140733845140032 139913062984720 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24422] ppid=24360 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24422/stat : 24422 (java) S 24360 24363 22159 0 -1 1077944384 2 12833 0 0 0 0 4 3 20 0 15 0 222061531 11257851904 42059 33554432000 4194304 4196468 140733845140032 139913061932176 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24423] ppid=24360 vsize=10993996 memory=667680 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24423/stat : 24423 (java) S 24360 24363 22159 0 -1 1077944384 14 12833 0 0 0 0 4 3 20 0 15 0 222061533 11257851904 42059 33554432000 4194304 4196468 140733845140032 139912671590384 139913178540674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24424] ppid=24360 vsize=10993996 memory=5795117241467496816 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24424/stat : 24424 (java) S 24360 24363 22159 0 -1 1077944384 13 12833 0 0 0 0 4 3 20 0 15 0 222061533 11257851904 42059 33554432000 4194304 4196468 140733845140032 139911928734624 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24425] ppid=24360 vsize=10993996 memory=7516617009340962665 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24425/stat : 24425 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 15 0 222061533 11257851904 42059 33554432000 4194304 4196468 140733845140032 139911780885488 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24426] ppid=24360 vsize=10993996 memory=342664307 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24426/stat : 24426 (java) S 24360 24363 22159 0 -1 1077944384 3 12833 0 0 0 0 4 3 20 0 15 0 222061536 11257851904 42059 33554432000 4194304 4196468 140733845140032 139911473486032 139913178548123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24427] ppid=24360 vsize=10993996 memory=140005532220665 CPUtime=0.66 cores=0,2,4,6
/proc/24363/task/24427/stat : 24427 (java) R 24360 24363 22159 0 -1 4202560 3152 12833 0 0 59 0 4 3 20 0 15 0 222061536 11257851904 42059 33554432000 4194304 4196468 140733845140032 139912670524248 139913162919408 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24428] ppid=24360 vsize=10993996 memory=280011064406016 CPUtime=0.66 cores=0,2,4,6
/proc/24363/task/24428/stat : 24428 (java) R 24360 24363 22159 0 -1 4202560 2270 12833 0 0 59 0 4 3 20 0 15 0 222061536 11257851904 42059 33554432000 4194304 4196468 140733845140032 139912669471968 139913162916576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24429] ppid=24360 vsize=10993996 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/24363/task/24429/stat : 24429 (java) S 24360 24363 22159 0 -1 1077944384 1710 12833 0 0 50 0 4 3 20 0 15 0 222061536 11257851904 42059 33554432000 4194304 4196468 140733845140032 139912668433136 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24430] ppid=24360 vsize=10993996 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24430/stat : 24430 (java) S 24360 24363 22159 0 -1 1077944384 3 12833 0 0 0 0 4 3 20 0 15 0 222061536 11257851904 42059 33554432000 4194304 4196468 140733845140032 139911042690144 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24431] ppid=24360 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24431/stat : 24431 (java) S 24360 24363 22159 0 -1 1077944384 1 12833 0 0 0 0 4 3 20 0 15 0 222061537 11257851904 42059 33554432000 4194304 4196468 140733845140032 139912667380016 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
/proc/24363/task/24418/stat : 24418 (java) R 24360 24363 22159 0 -1 4202560 89213 12833 0 0 235795 53 4 3 20 0 15 0 222061530 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913150364448 139912747946055 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24419] ppid=24360 vsize=11016544 memory=0 CPUtime=12.09 cores=0,2,4,6
/proc/24363/task/24419/stat : 24419 (java) S 24360 24363 22159 0 -1 1077944384 13103 12833 0 0 1154 48 4 3 20 0 15 0 222061531 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913182771984 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24420] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.05 cores=0,2,4,6
/proc/24363/task/24420/stat : 24420 (java) S 24360 24363 22159 0 -1 1077944384 16427 12833 0 0 1143 55 4 3 20 0 15 0 222061531 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913064037264 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24421] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.07 cores=0,2,4,6
/proc/24363/task/24421/stat : 24421 (java) S 24360 24363 22159 0 -1 1077944384 11742 12833 0 0 1143 57 4 3 20 0 15 0 222061531 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913062984720 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24422] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.05 cores=0,2,4,6
/proc/24363/task/24422/stat : 24422 (java) S 24360 24363 22159 0 -1 1077944384 12527 12833 0 0 1143 55 4 3 20 0 15 0 222061531 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913061932176 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24423] ppid=24360 vsize=11016544 memory=1140452 CPUtime=9.66 cores=0,2,4,6
/proc/24363/task/24423/stat : 24423 (java) S 24360 24363 22159 0 -1 1077944384 17672 12833 0 0 909 50 4 3 20 0 15 0 222061533 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912671590384 139913178540674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24424] ppid=24360 vsize=11016544 memory=1140452 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24424/stat : 24424 (java) S 24360 24363 22159 0 -1 1077944384 14 12833 0 0 0 0 4 3 20 0 15 0 222061533 11280941056 285113 33554432000 4194304 4196468 140733845140032 139911928734688 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24425] ppid=24360 vsize=11016544 memory=1140452 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24425/stat : 24425 (java) S 24360 24363 22159 0 -1 1077944384 6 12833 0 0 0 0 4 3 20 0 15 0 222061533 11280941056 285113 33554432000 4194304 4196468 140733845140032 139911780885504 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24426] ppid=24360 vsize=11016544 memory=1140452 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24426/stat : 24426 (java) S 24360 24363 22159 0 -1 1077944384 3 12833 0 0 0 0 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139911473486032 139913178548123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24427] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.33 cores=0,2,4,6
/proc/24363/task/24427/stat : 24427 (java) S 24360 24363 22159 0 -1 1077944384 69643 12833 0 0 1217 9 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912670538224 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24428] ppid=24360 vsize=11016544 memory=1140452 CPUtime=10.99 cores=0,2,4,6
/proc/24363/task/24428/stat : 24428 (java) S 24360 24363 22159 0 -1 1077944384 58790 12833 0 0 1086 6 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912669485680 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24429] ppid=24360 vsize=11016544 memory=1140452 CPUtime=4.82 cores=0,2,4,6
/proc/24363/task/24429/stat : 24429 (java) S 24360 24363 22159 0 -1 1077944384 57276 12833 0 0 467 8 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912668433136 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24430] ppid=24360 vsize=11016544 memory=3708 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24430/stat : 24430 (java) S 24360 24363 22159 0 -1 1077944384 3 12833 0 0 0 0 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139911042690144 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24431] ppid=24360 vsize=11016544 memory=60224 CPUtime=1.4 cores=0,2,4,6
/proc/24363/task/24431/stat : 24431 (java) S 24360 24363 22159 0 -1 1077944384 1943 12833 0 0 66 67 4 3 20 0 15 0 222061537 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912667380016 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
Current children cumulated CPU time: 2445.46 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1140452 KiB
[startup+2442.3 s]
/proc/loadavg: 1.17 1.32 1.37 3/215 24657
/proc/meminfo: memFree=26229172/32770624 swapFree=67108804/67108860
[pid=24363] ppid=24360 vsize=11016544 memory=1140452 CPUtime=2506.44 cores=0,2,4,6
/proc/24363/stat : 24363 (java) S 24360 24363 22159 0 -1 1077944320 351759 12833 0 0 250272 365 4 3 20 0 15 0 222061521 11280941056 285113 33554432000 4194304 4196468 140733845140032 140733845122576 139913178529527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
/proc/24363/statm: 2754136 285113 3531 1 0 2715789 0
[pid=24363/tid=24418] ppid=24360 vsize=11016544 memory=1140452 CPUtime=2417.89 cores=0,2,4,6
/proc/24363/task/24418/stat : 24418 (java) R 24360 24363 22159 0 -1 4202560 89820 12833 0 0 241729 53 4 3 20 0 15 0 222061530 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913150363360 139912762523403 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24419] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.42 cores=0,2,4,6
/proc/24363/task/24419/stat : 24419 (java) S 24360 24363 22159 0 -1 1077944384 13180 12833 0 0 1186 49 4 3 20 0 15 0 222061531 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913182771984 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24420] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.38 cores=0,2,4,6
/proc/24363/task/24420/stat : 24420 (java) S 24360 24363 22159 0 -1 1077944384 16574 12833 0 0 1175 56 4 3 20 0 15 0 222061531 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913064037264 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24421] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.4 cores=0,2,4,6
/proc/24363/task/24421/stat : 24421 (java) S 24360 24363 22159 0 -1 1077944384 11839 12833 0 0 1175 58 4 3 20 0 15 0 222061531 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913062984720 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24422] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.37 cores=0,2,4,6
/proc/24363/task/24422/stat : 24422 (java) S 24360 24363 22159 0 -1 1077944384 12561 12833 0 0 1174 56 4 3 20 0 15 0 222061531 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913061932176 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24423] ppid=24360 vsize=11016544 memory=1140452 CPUtime=9.92 cores=0,2,4,6
/proc/24363/task/24423/stat : 24423 (java) S 24360 24363 22159 0 -1 1077944384 17895 12833 0 0 934 51 4 3 20 0 15 0 222061533 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912671590384 139913178540674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24424] ppid=24360 vsize=11016544 memory=1140452 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24424/stat : 24424 (java) S 24360 24363 22159 0 -1 1077944384 14 12833 0 0 0 0 4 3 20 0 15 0 222061533 11280941056 285113 33554432000 4194304 4196468 140733845140032 139911928734688 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24425] ppid=24360 vsize=11016544 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24425/stat : 24425 (java) S 24360 24363 22159 0 -1 1077944384 6 12833 0 0 0 0 4 3 20 0 15 0 222061533 11280941056 285113 33554432000 4194304 4196468 140733845140032 139911780885504 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24426] ppid=24360 vsize=11016544 memory=60224 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24426/stat : 24426 (java) S 24360 24363 22159 0 -1 1077944384 3 12833 0 0 0 0 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139911473486032 139913178548123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24427] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.33 cores=0,2,4,6
/proc/24363/task/24427/stat : 24427 (java) S 24360 24363 22159 0 -1 1077944384 69645 12833 0 0 1217 9 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912670538224 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24428] ppid=24360 vsize=11016544 memory=1140452 CPUtime=10.99 cores=0,2,4,6
/proc/24363/task/24428/stat : 24428 (java) S 24360 24363 22159 0 -1 1077944384 58792 12833 0 0 1086 6 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912669485680 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24429] ppid=24360 vsize=11016544 memory=1140452 CPUtime=4.82 cores=0,2,4,6
/proc/24363/task/24429/stat : 24429 (java) S 24360 24363 22159 0 -1 1077944384 57278 12833 0 0 467 8 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912668433136 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24430] ppid=24360 vsize=11016544 memory=1140452 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24430/stat : 24430 (java) S 24360 24363 22159 0 -1 1077944384 3 12833 0 0 0 0 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139911042690144 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24431] ppid=24360 vsize=11016544 memory=1140452 CPUtime=1.44 cores=0,2,4,6
/proc/24363/task/24431/stat : 24431 (java) S 24360 24363 22159 0 -1 1077944384 1960 12833 0 0 68 69 4 3 20 0 15 0 222061537 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912667380016 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
Current children cumulated CPU time: 2506.44 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1140452 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2455.7 s]
/proc/loadavg: 1.38 1.35 1.38 3/215 24785
/proc/meminfo: memFree=27277116/32770624 swapFree=67108804/67108860
[pid=24363] ppid=24360 vsize=11016544 memory=1140452 CPUtime=2520.05 cores=0,2,4,6
/proc/24363/stat : 24363 (java) S 24360 24363 22159 0 -1 1077944320 351941 12833 0 0 251632 366 4 3 20 0 15 0 222061521 11280941056 285113 33554432000 4194304 4196468 140733845140032 140733845122576 139913178529527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
/proc/24363/statm: 2754136 285113 3531 1 0 2715789 0
[pid=24363/tid=24418] ppid=24360 vsize=11016544 memory=14872 CPUtime=2431.14 cores=0,2,4,6
/proc/24363/task/24418/stat : 24418 (java) R 24360 24363 22159 0 -1 4202560 89930 12833 0 0 243054 53 4 3 20 0 15 0 222061530 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913150363536 139912762522800 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24419] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.49 cores=0,2,4,6
/proc/24363/task/24419/stat : 24419 (java) S 24360 24363 22159 0 -1 1077944384 13190 12833 0 0 1193 49 4 3 20 0 15 0 222061531 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913182771984 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24420] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.45 cores=0,2,4,6
/proc/24363/task/24420/stat : 24420 (java) S 24360 24363 22159 0 -1 1077944384 16586 12833 0 0 1182 56 4 3 20 0 15 0 222061531 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913064037264 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24421] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.47 cores=0,2,4,6
/proc/24363/task/24421/stat : 24421 (java) S 24360 24363 22159 0 -1 1077944384 11851 12833 0 0 1182 58 4 3 20 0 15 0 222061531 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913062984720 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24422] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.45 cores=0,2,4,6
/proc/24363/task/24422/stat : 24422 (java) S 24360 24363 22159 0 -1 1077944384 12578 12833 0 0 1181 57 4 3 20 0 15 0 222061531 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913061932176 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24423] ppid=24360 vsize=11016544 memory=1140452 CPUtime=9.97 cores=0,2,4,6
/proc/24363/task/24423/stat : 24423 (java) S 24360 24363 22159 0 -1 1077944384 17916 12833 0 0 939 51 4 3 20 0 15 0 222061533 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912671590384 139913178540674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24424] ppid=24360 vsize=11016544 memory=1140452 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24424/stat : 24424 (java) S 24360 24363 22159 0 -1 1077944384 14 12833 0 0 0 0 4 3 20 0 15 0 222061533 11280941056 285113 33554432000 4194304 4196468 140733845140032 139911928734688 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24425] ppid=24360 vsize=11016544 memory=1140452 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24425/stat : 24425 (java) S 24360 24363 22159 0 -1 1077944384 6 12833 0 0 0 0 4 3 20 0 15 0 222061533 11280941056 285113 33554432000 4194304 4196468 140733845140032 139911780885504 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24426] ppid=24360 vsize=11016544 memory=1140452 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24426/stat : 24426 (java) S 24360 24363 22159 0 -1 1077944384 3 12833 0 0 0 0 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139911473486032 139913178548123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24427] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.33 cores=0,2,4,6
/proc/24363/task/24427/stat : 24427 (java) S 24360 24363 22159 0 -1 1077944384 69645 12833 0 0 1217 9 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912670538224 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24428] ppid=24360 vsize=11016544 memory=60224 CPUtime=10.99 cores=0,2,4,6
/proc/24363/task/24428/stat : 24428 (java) S 24360 24363 22159 0 -1 1077944384 58792 12833 0 0 1086 6 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912669485680 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24429] ppid=24360 vsize=11016544 memory=2080 CPUtime=4.82 cores=0,2,4,6
/proc/24363/task/24429/stat : 24429 (java) S 24360 24363 22159 0 -1 1077944384 57278 12833 0 0 467 8 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912668433136 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24430] ppid=24360 vsize=11016544 memory=1140452 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24430/stat : 24430 (java) S 24360 24363 22159 0 -1 1077944384 3 12833 0 0 0 0 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139911042690144 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24431] ppid=24360 vsize=11016544 memory=3708 CPUtime=1.44 cores=0,2,4,6
/proc/24363/task/24431/stat : 24431 (java) S 24360 24363 22159 0 -1 1077944384 1960 12833 0 0 68 69 4 3 20 0 15 0 222061537 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912667380016 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1140452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2455.73 s]
# the end of solver process 24363 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.4 s, system=3.70577 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2455.7 s]
/proc/loadavg: 1.38 1.35 1.38 3/215 24785
/proc/meminfo: memFree=27277116/32770624 swapFree=67108804/67108860
[pid=24363] ppid=24360 vsize=11016544 memory=1140452 CPUtime=2520.05 cores=0,2,4,6
/proc/24363/stat : 24363 (java) S 24360 24363 22159 0 -1 1077944320 351941 12833 0 0 251632 366 4 3 20 0 15 0 222061521 11280941056 285113 33554432000 4194304 4196468 140733845140032 140733845122576 139913178529527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
/proc/24363/statm: 2754136 285113 3531 1 0 2715789 0
[pid=24363/tid=24418] ppid=24360 vsize=11016544 memory=14872 CPUtime=2431.14 cores=0,2,4,6
/proc/24363/task/24418/stat : 24418 (java) R 24360 24363 22159 0 -1 4202560 89930 12833 0 0 243054 53 4 3 20 0 15 0 222061530 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913150363536 139912762522800 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24419] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.49 cores=0,2,4,6
/proc/24363/task/24419/stat : 24419 (java) S 24360 24363 22159 0 -1 1077944384 13190 12833 0 0 1193 49 4 3 20 0 15 0 222061531 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913182771984 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24420] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.45 cores=0,2,4,6
/proc/24363/task/24420/stat : 24420 (java) S 24360 24363 22159 0 -1 1077944384 16586 12833 0 0 1182 56 4 3 20 0 15 0 222061531 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913064037264 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24421] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.47 cores=0,2,4,6
/proc/24363/task/24421/stat : 24421 (java) S 24360 24363 22159 0 -1 1077944384 11851 12833 0 0 1182 58 4 3 20 0 15 0 222061531 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913062984720 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24422] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.45 cores=0,2,4,6
/proc/24363/task/24422/stat : 24422 (java) S 24360 24363 22159 0 -1 1077944384 12578 12833 0 0 1181 57 4 3 20 0 15 0 222061531 11280941056 285113 33554432000 4194304 4196468 140733845140032 139913061932176 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24423] ppid=24360 vsize=11016544 memory=1140452 CPUtime=9.97 cores=0,2,4,6
/proc/24363/task/24423/stat : 24423 (java) S 24360 24363 22159 0 -1 1077944384 17916 12833 0 0 939 51 4 3 20 0 15 0 222061533 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912671590384 139913178540674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24424] ppid=24360 vsize=11016544 memory=1140452 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24424/stat : 24424 (java) S 24360 24363 22159 0 -1 1077944384 14 12833 0 0 0 0 4 3 20 0 15 0 222061533 11280941056 285113 33554432000 4194304 4196468 140733845140032 139911928734688 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24425] ppid=24360 vsize=11016544 memory=1140452 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24425/stat : 24425 (java) S 24360 24363 22159 0 -1 1077944384 6 12833 0 0 0 0 4 3 20 0 15 0 222061533 11280941056 285113 33554432000 4194304 4196468 140733845140032 139911780885504 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24426] ppid=24360 vsize=11016544 memory=1140452 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24426/stat : 24426 (java) S 24360 24363 22159 0 -1 1077944384 3 12833 0 0 0 0 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139911473486032 139913178548123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24427] ppid=24360 vsize=11016544 memory=1140452 CPUtime=12.33 cores=0,2,4,6
/proc/24363/task/24427/stat : 24427 (java) S 24360 24363 22159 0 -1 1077944384 69645 12833 0 0 1217 9 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912670538224 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24428] ppid=24360 vsize=11016544 memory=60224 CPUtime=10.99 cores=0,2,4,6
/proc/24363/task/24428/stat : 24428 (java) S 24360 24363 22159 0 -1 1077944384 58792 12833 0 0 1086 6 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912669485680 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24429] ppid=24360 vsize=11016544 memory=2080 CPUtime=4.82 cores=0,2,4,6
/proc/24363/task/24429/stat : 24429 (java) S 24360 24363 22159 0 -1 1077944384 57278 12833 0 0 467 8 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912668433136 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24430] ppid=24360 vsize=11016544 memory=1140452 CPUtime=0.07 cores=0,2,4,6
/proc/24363/task/24430/stat : 24430 (java) S 24360 24363 22159 0 -1 1077944384 3 12833 0 0 0 0 4 3 20 0 15 0 222061536 11280941056 285113 33554432000 4194304 4196468 140733845140032 139911042690144 139913178539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
[pid=24363/tid=24431] ppid=24360 vsize=11016544 memory=3708 CPUtime=1.44 cores=0,2,4,6
/proc/24363/task/24431/stat : 24431 (java) S 24360 24363 22159 0 -1 1077944384 1960 12833 0 0 68 69 4 3 20 0 15 0 222061537 11280941056 285113 33554432000 4194304 4196468 140733845140032 139912667380016 139913178540674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9621504 140733845142125 140733845144924 140733845144924 140733845147599 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1140452 KiB
Child status: 143
Real time (s): 2455.74
CPU time (s): 2520.11
CPU user time (s): 2516.4
CPU system time (s): 3.70577
CPU usage (%): 102.621
Max. virtual memory (cumulated for all children) (KiB): 11017352
Max. memory (cumulated for all children) (KiB): 1436460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.4
system time used= 3.70577
maximum resident set size= 1438508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365632
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 266430
involuntary context switches= 7195
# summary of solver processes directly reported to runsolver:
# pid: 24363
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.4
# total CPU system time (s): 3.70577
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8816 second user time and 24.6878 second system time
The end