0.98/0.74 c Concrete v3.9.2.1532736233296 running
13.72/5.52 c 21:56:35.426 [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
13.72/5.52 c 21:56:35.430 [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
13.72/5.52 c 21:56:35.436 [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
13.72/5.52 c 21:56:35.437 [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
13.72/5.52 c 21:56:35.438 [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
13.72/5.53 c 21:56:35.440 [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
13.72/5.53 c 21:56:35.442 [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
13.72/5.53 c 21:56:35.444 [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
13.72/5.53 c 21:56:35.444 [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
13.72/5.53 c 21:56:35.448 [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
13.72/5.54 c 21:56:35.448 [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
13.72/5.54 c 21:56:35.451 [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
13.72/5.54 c 21:56:35.451 [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
13.72/5.54 c 21:56:35.454 [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
13.72/5.54 c 21:56:35.456 [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
13.72/5.54 c 21:56:35.456 [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
13.72/5.55 c 21:56:35.458 [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
13.72/5.55 c 21:56:35.459 [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
13.72/5.55 c 21:56:35.461 [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
13.72/5.55 c 21:56:35.462 [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
13.72/5.55 c 21:56:35.464 [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
13.72/5.55 c 21:56:35.465 [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
13.72/5.55 c 21:56:35.467 [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
13.72/5.55 c 21:56:35.468 [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
13.72/5.56 c 21:56:35.468 [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
13.72/5.56 c 21:56:35.470 [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
13.72/5.56 c 21:56:35.471 [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
13.72/5.56 c 21:56:35.472 [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
13.72/5.56 c 21:56:35.473 [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
13.72/5.56 c 21:56:35.474 [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
13.72/5.57 c 21:56:35.476 [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
13.72/5.57 c 21:56:35.477 [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
13.72/5.57 c 21:56:35.477 [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
13.72/5.57 c 21:56:35.480 [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
13.72/5.57 c 21:56:35.481 [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
13.72/5.57 c 21:56:35.484 [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
13.72/5.57 c 21:56:35.484 [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
13.72/5.57 c 21:56:35.486 [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
13.72/5.57 c 21:56:35.487 [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
13.72/5.58 c 21:56:35.489 [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
13.72/5.58 c 21:56:35.490 [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
13.72/5.58 c 21:56:35.492 [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
13.72/5.58 c 21:56:35.493 [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
13.72/5.58 c 21:56:35.495 [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
13.72/5.58 c 21:56:35.496 [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
13.72/5.59 c 21:56:35.498 [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
13.72/5.59 c 21:56:35.498 [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
13.72/5.59 c 21:56:35.501 [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
13.72/5.59 c 21:56:35.502 [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
13.72/5.59 c 21:56:35.503 [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
13.72/5.59 c 21:56:35.503 [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
13.72/5.59 c 21:56:35.505 [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
13.72/5.59 c 21:56:35.505 [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
13.72/5.59 c 21:56:35.506 [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
13.72/5.60 c 21:56:35.508 [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
13.72/5.60 c 21:56:35.508 [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
13.72/5.60 c 21:56:35.509 [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
13.72/5.60 c 21:56:35.511 [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
13.72/5.60 c 21:56:35.512 [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
13.72/5.60 c 21:56:35.513 [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
13.72/5.60 c 21:56:35.513 [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.07/5.61 c 21:56:35.515 [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.07/5.61 c 21:56:35.515 [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.07/5.61 c 21:56:35.517 [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.07/5.61 c 21:56:35.518 [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.07/5.61 c 21:56:35.520 [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.07/5.61 c 21:56:35.520 [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.07/5.61 c 21:56:35.522 [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.07/5.61 c 21:56:35.523 [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.07/5.61 c 21:56:35.523 [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.07/5.61 c 21:56:35.525 [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.07/5.61 c 21:56:35.525 [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.07/5.61 c 21:56:35.527 [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.07/5.62 c 21:56:35.528 [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.07/5.62 c 21:56:35.530 [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.07/5.62 c 21:56:35.530 [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.07/5.62 c 21:56:35.531 [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.07/5.62 c 21:56:35.532 [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.07/5.62 c 21:56:35.533 [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.07/5.62 c 21:56:35.534 [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.07/5.62 c 21:56:35.534 [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.07/5.62 c 21:56:35.536 [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.07/5.62 c 21:56:35.537 [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.07/5.63 c 21:56:35.538 [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.07/5.63 c 21:56:35.539 [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.07/5.63 c 21:56:35.540 [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.07/5.63 c 21:56:35.542 [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.07/5.63 c 21:56:35.543 [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.07/5.63 c 21:56:35.544 [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.07/5.63 c 21:56:35.545 [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.07/5.63 c 21:56:35.545 [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.07/5.63 c 21:56:35.548 [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.07/5.64 c 21:56:35.549 [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.07/5.64 c 21:56:35.549 [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.07/5.64 c 21:56:35.551 [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.07/5.64 c 21:56:35.551 [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.07/5.64 c 21:56:35.553 [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.07/5.64 c 21:56:35.555 [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.07/5.64 c 21:56:35.555 [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.07/5.64 c 21:56:35.557 [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.07/5.65 c 21:56:35.557 [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.07/5.65 c 21:56:35.559 [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.07/5.65 c 21:56:35.560 [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.07/5.65 c 21:56:35.561 [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.07/5.65 c 21:56:35.562 [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.07/5.65 c 21:56:35.564 [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.07/5.65 c 21:56:35.564 [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.07/5.65 c 21:56:35.564 [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.07/5.65 c 21:56:35.566 [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.07/5.66 c 21:56:35.566 [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.07/5.66 c 21:56:35.567 [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.07/5.66 c 21:56:35.567 [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.07/5.66 c 21:56:35.567 [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.07/5.66 c 21:56:35.568 [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.07/5.66 c 21:56:35.569 [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.07/5.66 c 21:56:35.569 [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.07/5.66 c 21:56:35.570 [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.07/5.66 c 21:56:35.570 [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.07/5.66 c 21:56:35.570 [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
14.07/5.69 c 21:56:35.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14249. 'extension(x[1][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.69 c 21:56:35.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14251. 'extension(x[1][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.69 c 21:56:35.599 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14257. 'extension(x[0][0]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.69 c 21:56:35.599 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14261. 'extension(x[0][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.69 c 21:56:35.599 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14263. 'extension(x[2][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.69 c 21:56:35.600 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14275. 'extension(x[3][0]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.69 c 21:56:35.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14289. 'extension(x[1][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.69 c 21:56:35.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14291. 'extension(x[3][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.69 c 21:56:35.602 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14305. 'extension(x[2][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.69 c 21:56:35.602 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14307. 'extension(x[4][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.69 c 21:56:35.603 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14321. 'extension(x[2][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.69 c 21:56:35.603 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14323. 'extension(x[4][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.69 c 21:56:35.607 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14339. 'extension(x[2][23]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14345. 'extension(x[3][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14347. 'extension(x[5][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14361. 'extension(x[3][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14363. 'extension(x[5][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.610 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14377. 'extension(x[3][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.610 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14379. 'extension(x[5][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.611 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14395. 'extension(x[5][23]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14405. 'extension(wk[24][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14407. 'extension(x[4][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14409. 'extension(x[6][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14421. 'extension(wk[27][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14423. 'extension(x[4][27]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14429. 'extension(wk[27][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14431. 'extension(x[7][27]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14441. 'extension(x[6][15]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14447. 'extension(x[6][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14449. 'extension(x[8][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14465. 'extension(x[6][19]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14467. 'extension(x[8][19]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.616 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14483. 'extension(x[7][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.07/5.70 c 21:56:35.616 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14485. 'extension(x[9][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.70 c 21:56:35.617 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14499. 'extension(x[9][15]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.618 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14513. 'extension(x[8][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.618 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14515. 'extension(x[10][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.619 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14529. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.619 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14531. 'extension(x[10][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14545. 'extension(x[9][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14547. 'extension(x[11][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14561. 'extension(x[9][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14563. 'extension(x[11][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14579. 'extension(x[10][7]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14585. 'extension(wk[7][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14587. 'extension(x[13][7]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14601. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14603. 'extension(x[11][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14605. 'extension(x[13][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14619. 'extension(wk[16][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14621. 'extension(x[11][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14623. 'extension(x[13][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14639. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14641. 'extension(x[12][6]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14647. 'extension(wk[8][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14649. 'extension(x[12][8]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14655. 'extension(x[13][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.627 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14657. 'extension(x[15][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.71 c 21:56:35.627 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14671. 'extension(x[15][6]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.628 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14685. 'extension(x[15][8]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.629 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14699. 'extension(x[13][10]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.629 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14705. 'extension(x[13][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.629 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14707. 'extension(x[15][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.630 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14721. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.630 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14723. 'extension(x[15][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.631 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14737. 'extension(x[16][10]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.631 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14751. 'extension(x[14][28]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.632 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14757. 'extension(x[14][29]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.632 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14763. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.632 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14769. 'extension(x[17][28]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.633 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14775. 'extension(x[17][29]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.633 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14781. 'extension(x[18][2]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.634 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14795. 'extension(x[16][25]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.634 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14801. 'extension(x[17][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.634 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14803. 'extension(x[19][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.635 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14819. 'extension(x[19][25]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.636 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14829. 'extension(wk[22][2]=[0‥1]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.636 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14831. 'extension(x[18][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.636 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14833. 'extension(x[20][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.637 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14849. 'extension(x[20][20]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.637 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14855. 'extension(x[21][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.72 c 21:56:35.637 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14857. 'extension(x[23][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.638 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14871. 'extension(x[23][20]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.639 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14887. 'extension(x[22][26]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.639 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14893. 'extension(x[23][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.639 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14895. 'extension(x[25][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.640 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14909. 'extension(x[23][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.640 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14911. 'extension(x[25][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.641 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14927. 'extension(x[25][26]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.641 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14937. 'extension(x[24][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.641 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14939. 'extension(x[26][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.642 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14951. 'extension(wk[3][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.642 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14953. 'extension(x[25][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.642 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14955. 'extension(x[27][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.643 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14967. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.643 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14969. 'extension(x[25][5]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.643 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14975. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.644 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14981. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.644 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14983. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.644 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14985. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.645 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14991. 'extension(wk[19][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.645 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14993. 'extension(x[26][19]=[0‥4]) :: init: true :: relation: Empty MDD
14.42/5.73 c 21:56:35.645 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14995. 'extension(x[26][19]=[0‥4]) :: init: true :: relation: Empty MDD
252.03/228.71 Exception in thread "main" java.util.concurrent.TimeoutException
252.03/228.71 at concrete.MAC.mac(MAC.scala:188)
252.03/228.71 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.03/228.71 at scala.util.Try$.apply(Try.scala:209)
252.03/228.71 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.03/228.71 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.03/228.71 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.03/228.71 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.03/228.71 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.03/228.71 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.03/228.71 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.03/228.71 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.03/228.71 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.03/228.71 at concrete.MAC.oneRun(MAC.scala:253)
252.03/228.71 at concrete.MAC.nextSolution(MAC.scala:272)
252.03/228.71 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.03/228.71 at concrete.ProblemState.map(ProblemState.scala:221)
252.03/228.71 at concrete.ProblemState.map(ProblemState.scala:204)
252.03/228.71 at concrete.MAC.nextSolution(MAC.scala:334)
252.03/228.71 at concrete.Solver.hasNext(Solver.scala:166)
252.03/228.71 at scala.collection.Iterator.foreach(Iterator.scala:944)
252.03/228.71 at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.03/228.71 at concrete.Solver.foreach(Solver.scala:68)
252.03/228.71 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.03/228.71 at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.03/228.71 at scala.util.Success.map(Try.scala:209)
252.03/228.71 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.03/228.71 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.03/228.71 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.03/228.71 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.03/228.71 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.03/228.71 at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.03/228.71 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.03/228.71 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.03/228.71 at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.03/228.71 at scala.collection.immutable.List.foreach(List.scala:389)
252.03/228.71 at scala.App.main(App.scala:76)
252.03/228.71 at scala.App.main$(App.scala:74)
252.03/228.71 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.03/228.71 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.03/228.71 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8543 MiB free)
memory of node 1: 16384 MiB (13665 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302427-1532894189/watcher-4302427-1532894189 -o /tmp/evaluation-result-4302427-1532894189/solver-4302427-1532894189 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13713 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=348004052 HOME/instance-4302427-1532894189.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15410, runsolver pid=15407
[startup+0.10012 s]*
/proc/loadavg: 1.42 1.67 1.59 3/206 15467
/proc/meminfo: memFree=22733392/32770624 swapFree=67108860/67108860
[pid=15410] ppid=15407 vsize=10005480 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/15410/stat : 15410 (java) S 15407 15410 12183 0 -1 1077944320 4420 13106 0 0 1 1 4 3 20 0 6 0 106982124 10245611520 4269 33554432000 4194304 4196468 140721965626512 140721965609056 140167207202551 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
/proc/15410/statm: 2501370 4269 1935 1 0 2489808 0
[pid=15410/tid=15463] ppid=15407 vsize=10005480 memory=4279135704013962638 CPUtime=0.08 cores=1,3,5,7
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12183 0 -1 4202560 2261 13106 0 0 1 0 4 3 20 0 6 0 106982133 10245611520 4335 33554432000 4194304 4196468 140721965626512 140167179039312 140167187428032 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15464] ppid=15407 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 6 0 106982134 10245611520 4335 33554432000 4194304 4196468 140721965626512 140167211445136 140167207212757 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15465] ppid=15407 vsize=10005480 memory=140338731095680 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 6 0 106982134 10245611520 4335 33554432000 4194304 4196468 140721965626512 140167066163984 140167207212757 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15466] ppid=15407 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 6 0 106982134 10245611520 4335 33554432000 4194304 4196468 140721965626512 140167065111696 140167207212757 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15467] ppid=15407 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12183 0 -1 1077944384 2 13106 0 0 0 0 4 3 20 0 6 0 106982134 10245611520 4335 33554432000 4194304 4196468 140721965626512 140167064058896 140167207212757 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17076 KiB
[startup+0.209933 s]*
/proc/loadavg: 1.42 1.67 1.59 3/215 15476
/proc/meminfo: memFree=22708544/32770624 swapFree=67108860/67108860
[pid=15410] ppid=15407 vsize=10982696 memory=44384 CPUtime=0.26 cores=1,3,5,7
/proc/15410/stat : 15410 (java) S 15407 15410 12183 0 -1 1077944320 8493 13106 0 0 17 2 4 3 20 0 15 0 106982124 11246280704 11096 33554432000 4194304 4196468 140721965626512 140721965609056 140167207202551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
/proc/15410/statm: 2745674 11096 2942 1 0 2708109 0
[pid=15410/tid=15463] ppid=15407 vsize=10982696 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12183 0 -1 4202560 5023 13106 0 0 11 1 4 3 20 0 15 0 106982133 11246280704 11096 33554432000 4194304 4196468 140721965626512 140167179000208 140167188766120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15464] ppid=15407 vsize=10982696 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982134 11246280704 11096 33554432000 4194304 4196468 140721965626512 140167211445136 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15465] ppid=15407 vsize=10982696 memory=140338731095680 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982134 11246280704 11096 33554432000 4194304 4196468 140721965626512 140167066163984 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15466] ppid=15407 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982134 11246280704 11096 33554432000 4194304 4196468 140721965626512 140167065111696 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15467] ppid=15407 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12183 0 -1 1077944384 2 13106 0 0 0 0 4 3 20 0 15 0 106982134 11246280704 11096 33554432000 4194304 4196468 140721965626512 140167064058896 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15468] ppid=15407 vsize=10982696 memory=140338731095680 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15468/stat : 15468 (java) S 15407 15410 12183 0 -1 1077944384 2 13106 0 0 0 0 4 3 20 0 15 0 106982135 11246280704 11096 33554432000 4194304 4196468 140721965626512 140166177081456 140167207213698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15469] ppid=15407 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15469/stat : 15469 (java) S 15407 15410 12183 0 -1 1077944384 13 13106 0 0 0 0 4 3 20 0 15 0 106982136 11246280704 11096 33554432000 4194304 4196468 140721965626512 140166056370976 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15470] ppid=15407 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15470/stat : 15470 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982136 11246280704 11096 33554432000 4194304 4196468 140721965626512 140165855044720 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15471] ppid=15407 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15471/stat : 15471 (java) S 15407 15410 12183 0 -1 1077944384 3 13106 0 0 0 0 4 3 20 0 15 0 106982139 11246280704 11096 33554432000 4194304 4196468 140721965626512 140165547645008 140167207221147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15472] ppid=15407 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15410/task/15472/stat : 15472 (java) S 15407 15410 12183 0 -1 1077944384 556 13106 0 0 1 0 4 3 20 0 15 0 106982139 11246280704 11096 33554432000 4194304 4196468 140721965626512 140166176029296 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15473] ppid=15407 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15410/task/15473/stat : 15473 (java) S 15407 15410 12183 0 -1 1077944384 64 13106 0 0 1 0 4 3 20 0 15 0 106982139 11246280704 11096 33554432000 4194304 4196468 140721965626512 140166174976496 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15474] ppid=15407 vsize=10982696 memory=140338731095680 CPUtime=0.1 cores=1,3,5,7
/proc/15410/task/15474/stat : 15474 (java) S 15407 15410 12183 0 -1 1077944384 628 13106 0 0 3 0 4 3 20 0 15 0 106982139 11246280704 11096 33554432000 4194304 4196468 140721965626512 140166173924208 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15475] ppid=15407 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15475/stat : 15475 (java) S 15407 15410 12183 0 -1 1077944384 3 13106 0 0 0 0 4 3 20 0 15 0 106982139 11246280704 11096 33554432000 4194304 4196468 140721965626512 140165116849120 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15476] ppid=15407 vsize=10982696 memory=140338731095680 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15476/stat : 15476 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982139 11246280704 11096 33554432000 4194304 4196468 140721965626512 140166172871088 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 44384 KiB
[startup+0.310373 s]*
/proc/loadavg: 1.42 1.67 1.59 3/215 15476
/proc/meminfo: memFree=22698496/32770624 swapFree=67108860/67108860
[pid=15410] ppid=15407 vsize=10983192 memory=55716 CPUtime=0.39 cores=1,3,5,7
/proc/15410/stat : 15410 (java) S 15407 15410 12183 0 -1 1077944320 10537 13106 0 0 29 3 4 3 20 0 15 0 106982124 11246788608 13929 33554432000 4194304 4196468 140721965626512 140721965609056 140167207202551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
/proc/15410/statm: 2745798 13929 3074 1 0 2708109 0
[pid=15410/tid=15463] ppid=15407 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12183 0 -1 4202560 7061 13106 0 0 20 1 4 3 20 0 15 0 106982133 11246788608 13929 33554432000 4194304 4196468 140721965626512 140167179014560 140167199439678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15464] ppid=15407 vsize=10983192 memory=7012755875661107280 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982134 11246788608 13929 33554432000 4194304 4196468 140721965626512 140167211445136 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15465] ppid=15407 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982134 11246788608 13929 33554432000 4194304 4196468 140721965626512 140167066163984 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15466] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982134 11246788608 13929 33554432000 4194304 4196468 140721965626512 140167065111696 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15467] ppid=15407 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12183 0 -1 1077944384 2 13106 0 0 0 0 4 3 20 0 15 0 106982134 11246788608 13929 33554432000 4194304 4196468 140721965626512 140167064058896 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15468] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15468/stat : 15468 (java) S 15407 15410 12183 0 -1 1077944384 2 13106 0 0 0 0 4 3 20 0 15 0 106982135 11246788608 13929 33554432000 4194304 4196468 140721965626512 140166177081456 140167207213698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15469] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15469/stat : 15469 (java) S 15407 15410 12183 0 -1 1077944384 13 13106 0 0 0 0 4 3 20 0 15 0 106982136 11246788608 13929 33554432000 4194304 4196468 140721965626512 140166056370976 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15470] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15470/stat : 15470 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982136 11246788608 13929 33554432000 4194304 4196468 140721965626512 140165855044720 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15471] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15471/stat : 15471 (java) S 15407 15410 12183 0 -1 1077944384 3 13106 0 0 0 0 4 3 20 0 15 0 106982139 11246788608 13929 33554432000 4194304 4196468 140721965626512 140165547645008 140167207221147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15472] ppid=15407 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15410/task/15472/stat : 15472 (java) S 15407 15410 12183 0 -1 1077944384 556 13106 0 0 1 0 4 3 20 0 15 0 106982139 11246788608 13929 33554432000 4194304 4196468 140721965626512 140166176029296 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15473] ppid=15407 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15410/task/15473/stat : 15473 (java) S 15407 15410 12183 0 -1 1077944384 65 13106 0 0 1 0 4 3 20 0 15 0 106982139 11246788608 13929 33554432000 4194304 4196468 140721965626512 140166174976496 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15474] ppid=15407 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15410/task/15474/stat : 15474 (java) R 15407 15410 12183 0 -1 4202560 635 13106 0 0 5 0 4 3 20 0 15 0 106982139 11246788608 13929 33554432000 4194304 4196468 140721965626512 140166173924208 140167185929636 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15475] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15475/stat : 15475 (java) S 15407 15410 12183 0 -1 1077944384 3 13106 0 0 0 0 4 3 20 0 15 0 106982139 11246788608 13929 33554432000 4194304 4196468 140721965626512 140165116849120 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15476] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15476/stat : 15476 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982139 11246788608 13929 33554432000 4194304 4196468 140721965626512 140166172871088 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55716 KiB
[startup+0.70075 s]
/proc/loadavg: 1.42 1.67 1.59 3/215 15476
/proc/meminfo: memFree=22688796/32770624 swapFree=67108860/67108860
[pid=15410] ppid=15407 vsize=10983192 memory=88628 CPUtime=0.98 cores=1,3,5,7
/proc/15410/stat : 15410 (java) S 15407 15410 12183 0 -1 1077944320 16839 13106 0 0 87 4 4 3 20 0 15 0 106982124 11246788608 22157 33554432000 4194304 4196468 140721965626512 140721965609056 140167207202551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
/proc/15410/statm: 2745798 22157 3238 1 0 2708109 0
[pid=15410/tid=15463] ppid=15407 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12183 0 -1 4202560 12415 13106 0 0 56 3 4 3 20 0 15 0 106982133 11246788608 22157 33554432000 4194304 4196468 140721965626512 140167179023376 140167188767514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15464] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982134 11246788608 22157 33554432000 4194304 4196468 140721965626512 140167211445136 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15465] ppid=15407 vsize=10983192 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982134 11246788608 22157 33554432000 4194304 4196468 140721965626512 140167066163984 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15466] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982134 11246788608 22157 33554432000 4194304 4196468 140721965626512 140167065111696 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15467] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12183 0 -1 1077944384 2 13106 0 0 0 0 4 3 20 0 15 0 106982134 11246788608 22157 33554432000 4194304 4196468 140721965626512 140167064058896 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15468] ppid=15407 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15468/stat : 15468 (java) S 15407 15410 12183 0 -1 1077944384 5 13106 0 0 0 0 4 3 20 0 15 0 106982135 11246788608 22157 33554432000 4194304 4196468 140721965626512 140166177081456 140167207213698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15469] ppid=15407 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15469/stat : 15469 (java) S 15407 15410 12183 0 -1 1077944384 13 13106 0 0 0 0 4 3 20 0 15 0 106982136 11246788608 22157 33554432000 4194304 4196468 140721965626512 140166056370976 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15470] ppid=15407 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15470/stat : 15470 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982136 11246788608 22157 33554432000 4194304 4196468 140721965626512 140165855044720 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15471] ppid=15407 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15471/stat : 15471 (java) S 15407 15410 12183 0 -1 1077944384 3 13106 0 0 0 0 4 3 20 0 15 0 106982139 11246788608 22157 33554432000 4194304 4196468 140721965626512 140165547645008 140167207221147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15472] ppid=15407 vsize=10983192 memory=13252 CPUtime=0.17 cores=1,3,5,7
/proc/15410/task/15472/stat : 15472 (java) S 15407 15410 12183 0 -1 1077944384 1182 13106 0 0 10 0 4 3 20 0 15 0 106982139 11246788608 22157 33554432000 4194304 4196468 140721965626512 140166176029296 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15473] ppid=15407 vsize=10983192 memory=15460 CPUtime=0.14 cores=1,3,5,7
/proc/15410/task/15473/stat : 15473 (java) S 15407 15410 12183 0 -1 1077944384 311 13106 0 0 7 0 4 3 20 0 15 0 106982139 11246788608 22157 33554432000 4194304 4196468 140721965626512 140166174976496 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15474] ppid=15407 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/15410/task/15474/stat : 15474 (java) S 15407 15410 12183 0 -1 1077944384 706 13106 0 0 13 0 4 3 20 0 15 0 106982139 11246788608 22157 33554432000 4194304 4196468 140721965626512 140166173924208 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15475] ppid=15407 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15475/stat : 15475 (java) S 15407 15410 12183 0 -1 1077944384 3 13106 0 0 0 0 4 3 20 0 15 0 106982139 11246788608 22157 33554432000 4194304 4196468 140721965626512 140165116849120 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15476] ppid=15407 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15476/stat : 15476 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982139 11246788608 22157 33554432000 4194304 4196468 140721965626512 140166172871088 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88628 KiB
[startup+1.50095 s]
/proc/loadavg: 1.42 1.67 1.59 3/215 15476
/proc/meminfo: memFree=22654504/32770624 swapFree=67108860/67108860
[pid=15410] ppid=15407 vsize=10993996 memory=171948 CPUtime=3.08 cores=1,3,5,7
/proc/15410/stat : 15410 (java) S 15407 15410 12183 0 -1 1077944320 25338 13106 0 0 294 7 4 3 20 0 15 0 106982124 11257851904 42987 33554432000 4194304 4196468 140721965626512 140721965609056 140167207202551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
/proc/15410/statm: 2748499 42987 3448 1 0 2710157 0
[pid=15410/tid=15463] ppid=15407 vsize=10993996 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12183 0 -1 4202560 16518 13106 0 0 134 4 4 3 20 0 15 0 106982133 11257851904 42987 33554432000 4194304 4196468 140721965626512 140167179035168 140167207224477 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15464] ppid=15407 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982134 11257851904 42987 33554432000 4194304 4196468 140721965626512 140167211445136 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15465] ppid=15407 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982134 11257851904 42987 33554432000 4194304 4196468 140721965626512 140167066163984 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15466] ppid=15407 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982134 11257851904 42987 33554432000 4194304 4196468 140721965626512 140167065111696 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15467] ppid=15407 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12183 0 -1 1077944384 2 13106 0 0 0 0 4 3 20 0 15 0 106982134 11257851904 42987 33554432000 4194304 4196468 140721965626512 140167064058896 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15468] ppid=15407 vsize=10993996 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15468/stat : 15468 (java) S 15407 15410 12183 0 -1 1077944384 13 13106 0 0 0 0 4 3 20 0 15 0 106982135 11257851904 42987 33554432000 4194304 4196468 140721965626512 140166177081456 140167207213698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15469] ppid=15407 vsize=10993996 memory=280677186611456 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15469/stat : 15469 (java) S 15407 15410 12183 0 -1 1077944384 13 13106 0 0 0 0 4 3 20 0 15 0 106982136 11257851904 42987 33554432000 4194304 4196468 140721965626512 140166056370976 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15470] ppid=15407 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15470/stat : 15470 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982136 11257851904 42987 33554432000 4194304 4196468 140721965626512 140165855044720 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15471] ppid=15407 vsize=10993996 memory=1952 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15471/stat : 15471 (java) S 15407 15410 12183 0 -1 1077944384 3 13106 0 0 0 0 4 3 20 0 15 0 106982139 11257851904 42987 33554432000 4194304 4196468 140721965626512 140165547645008 140167207221147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15472] ppid=15407 vsize=10993996 memory=1232 CPUtime=0.62 cores=1,3,5,7
/proc/15410/task/15472/stat : 15472 (java) S 15407 15410 12183 0 -1 1077944384 2436 13106 0 0 55 0 4 3 20 0 15 0 106982139 11257851904 42987 33554432000 4194304 4196468 140721965626512 140166176029296 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15473] ppid=15407 vsize=10993996 memory=8560 CPUtime=0.61 cores=1,3,5,7
/proc/15410/task/15473/stat : 15473 (java) R 15407 15410 12183 0 -1 4202560 2345 13106 0 0 54 0 4 3 20 0 15 0 106982139 11257851904 42987 33554432000 4194304 4196468 140721965626512 140166174976792 140167193234582 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15474] ppid=15407 vsize=10993996 memory=1712 CPUtime=0.56 cores=1,3,5,7
/proc/15410/task/15474/stat : 15474 (java) S 15407 15410 12183 0 -1 1077944384 1806 13106 0 0 49 0 4 3 20 0 15 0 106982139 11257851904 42987 33554432000 4194304 4196468 140721965626512 140166173924208 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15475] ppid=15407 vsize=10993996 memory=5412 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15475/stat : 15475 (java) S 15407 15410 12183 0 -1 1077944384 3 13106 0 0 0 0 4 3 20 0 15 0 106982139 11257851904 42987 33554432000 4194304 4196468 140721965626512 140165116849120 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15476] ppid=15407 vsize=10993996 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15476/stat : 15476 (java) S 15407 15410 12183 0 -1 1077944384 1 13106 0 0 0 0 4 3 20 0 15 0 106982139 11257851904 42987 33554432000 4194304 4196468 140721965626512 140166172871088 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12183 0 -1 4202560 53550 13106 0 0 16117 27 4 3 20 0 15 0 106982133 11348049920 354854 33554432000 4194304 4196468 140721965626512 140167179037008 140166770133293 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15464] ppid=15407 vsize=11082080 memory=1419416 CPUtime=0.53 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12183 0 -1 1077944384 2472 13106 0 0 38 8 4 3 20 0 15 0 106982134 11348049920 354854 33554432000 4194304 4196468 140721965626512 140167211445136 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15465] ppid=15407 vsize=11082080 memory=1419416 CPUtime=0.53 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12183 0 -1 1077944384 3709 13106 0 0 38 8 4 3 20 0 15 0 106982134 11348049920 354854 33554432000 4194304 4196468 140721965626512 140167066163984 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15466] ppid=15407 vsize=11082080 memory=1419416 CPUtime=0.53 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12183 0 -1 1077944384 3716 13106 0 0 38 8 4 3 20 0 15 0 106982134 11348049920 354854 33554432000 4194304 4196468 140721965626512 140167065111696 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15467] ppid=15407 vsize=11082080 memory=1536368 CPUtime=0.53 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12183 0 -1 1077944384 1602 13106 0 0 39 7 4 3 20 0 15 0 106982134 11348049920 354854 33554432000 4194304 4196468 140721965626512 140167064058896 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15468] ppid=15407 vsize=11082080 memory=1419416 CPUtime=0.27 cores=1,3,5,7
/proc/15410/task/15468/stat : 15468 (java) S 15407 15410 12183 0 -1 1077944384 4471 13106 0 0 19 1 4 3 20 0 15 0 106982135 11348049920 354854 33554432000 4194304 4196468 140721965626512 140166177081456 140167207213698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15469] ppid=15407 vsize=11082080 memory=1419416 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15469/stat : 15469 (java) S 15407 15410 12183 0 -1 1077944384 16 13106 0 0 0 0 4 3 20 0 15 0 106982136 11348049920 354854 33554432000 4194304 4196468 140721965626512 140166056371104 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15470] ppid=15407 vsize=11082080 memory=1419416 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15470/stat : 15470 (java) S 15407 15410 12183 0 -1 1077944384 2 13106 0 0 0 0 4 3 20 0 15 0 106982136 11348049920 354854 33554432000 4194304 4196468 140721965626512 140165855044736 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15471] ppid=15407 vsize=11082080 memory=1419416 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15471/stat : 15471 (java) S 15407 15410 12183 0 -1 1077944384 3 13106 0 0 0 0 4 3 20 0 15 0 106982139 11348049920 354854 33554432000 4194304 4196468 140721965626512 140165547645008 140167207221147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15472] ppid=15407 vsize=11082080 memory=1419416 CPUtime=8.25 cores=1,3,5,7
/proc/15410/task/15472/stat : 15472 (java) S 15407 15410 12183 0 -1 1077944384 26468 13106 0 0 814 4 4 3 20 0 15 0 106982139 11348049920 354854 33554432000 4194304 4196468 140721965626512 140166176029296 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15473] ppid=15407 vsize=11082080 memory=1419416 CPUtime=8.91 cores=1,3,5,7
/proc/15410/task/15473/stat : 15473 (java) S 15407 15410 12183 0 -1 1077944384 23983 13106 0 0 880 4 4 3 20 0 15 0 106982139 11348049920 354854 33554432000 4194304 4196468 140721965626512 140166174976496 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15474] ppid=15407 vsize=11082080 memory=6791534058613427641 CPUtime=3.38 cores=1,3,5,7
/proc/15410/task/15474/stat : 15474 (java) S 15407 15410 12183 0 -1 1077944384 23913 13106 0 0 326 5 4 3 20 0 15 0 106982139 11348049920 354854 33554432000 4194304 4196468 140721965626512 140166173924208 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15475] ppid=15407 vsize=11082080 memory=1419416 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15475/stat : 15475 (java) S 15407 15410 12183 0 -1 1077944384 3 13106 0 0 0 0 4 3 20 0 15 0 106982139 11348049920 354854 33554432000 4194304 4196468 140721965626512 140165116849120 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15476] ppid=15407 vsize=11082080 memory=4140 CPUtime=0.14 cores=1,3,5,7
/proc/15410/task/15476/stat : 15476 (java) S 15407 15410 12183 0 -1 1077944384 956 13106 0 0 4 3 4 3 20 0 15 0 106982139 11348049920 354854 33554432000 4194304 4196468 140721965626512 140166172871088 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
Current children cumulated CPU time: 184.08 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1419416 KiB
[startup+222.301 s]
/proc/loadavg: 1.45 1.71 1.64 3/216 15619
/proc/meminfo: memFree=21687864/32770624 swapFree=67108860/67108860
[pid=15410] ppid=15407 vsize=11082080 memory=1406588 CPUtime=245.47 cores=1,3,5,7
/proc/15410/stat : 15410 (java) S 15407 15410 12183 0 -1 1077944320 160557 13106 0 0 24454 86 4 3 20 0 15 0 106982124 11348049920 351647 33554432000 4194304 4196468 140721965626512 140721965609056 140167207202551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
/proc/15410/statm: 2770520 351647 3530 1 0 2732173 0
[pid=15410/tid=15463] ppid=15407 vsize=11082080 memory=1407616 CPUtime=220.99 cores=1,3,5,7
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12183 0 -1 4202560 54883 13106 0 0 22064 28 4 3 20 0 15 0 106982133 11348049920 351647 33554432000 4194304 4196468 140721965626512 140167179037760 140166770273738 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15464] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.77 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12183 0 -1 1077944384 4236 13106 0 0 61 9 4 3 20 0 15 0 106982134 11348049920 351647 33554432000 4194304 4196468 140721965626512 140167211445136 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15465] ppid=15407 vsize=11082080 memory=1409152 CPUtime=0.77 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12183 0 -1 1077944384 3795 13106 0 0 62 8 4 3 20 0 15 0 106982134 11348049920 351647 33554432000 4194304 4196468 140721965626512 140167066163984 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15466] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.79 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12183 0 -1 1077944384 3959 13106 0 0 63 9 4 3 20 0 15 0 106982134 11348049920 351647 33554432000 4194304 4196468 140721965626512 140167065111696 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15467] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.78 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12183 0 -1 1077944384 1702 13106 0 0 62 9 4 3 20 0 15 0 106982134 11348049920 351647 33554432000 4194304 4196468 140721965626512 140167064058896 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15468] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.49 cores=1,3,5,7
/proc/15410/task/15468/stat : 15468 (java) S 15407 15410 12183 0 -1 1077944384 4805 13106 0 0 40 2 4 3 20 0 15 0 106982135 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166177081456 140167207213698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15469] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15469/stat : 15469 (java) S 15407 15410 12183 0 -1 1077944384 16 13106 0 0 0 0 4 3 20 0 15 0 106982136 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166056371104 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15470] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15470/stat : 15470 (java) S 15407 15410 12183 0 -1 1077944384 2 13106 0 0 0 0 4 3 20 0 15 0 106982136 11348049920 351647 33554432000 4194304 4196468 140721965626512 140165855044736 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15471] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15471/stat : 15471 (java) S 15407 15410 12183 0 -1 1077944384 3 13106 0 0 0 0 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140165547645008 140167207221147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15472] ppid=15407 vsize=11082080 memory=7288 CPUtime=8.54 cores=1,3,5,7
/proc/15410/task/15472/stat : 15472 (java) S 15407 15410 12183 0 -1 1077944384 31219 13106 0 0 842 5 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166176029296 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15473] ppid=15407 vsize=11082080 memory=840 CPUtime=9.17 cores=1,3,5,7
/proc/15410/task/15473/stat : 15473 (java) S 15407 15410 12183 0 -1 1077944384 25707 13106 0 0 905 5 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166174976496 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15474] ppid=15407 vsize=11082080 memory=4140 CPUtime=3.5 cores=1,3,5,7
/proc/15410/task/15474/stat : 15474 (java) S 15407 15410 12183 0 -1 1077944384 27031 13106 0 0 337 6 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166173924208 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15475] ppid=15407 vsize=11082080 memory=30640 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15475/stat : 15475 (java) S 15407 15410 12183 0 -1 1077944384 3 13106 0 0 0 0 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140165116849120 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15476] ppid=15407 vsize=11082080 memory=30640 CPUtime=0.18 cores=1,3,5,7
/proc/15410/task/15476/stat : 15476 (java) S 15407 15410 12183 0 -1 1077944384 1002 13106 0 0 6 5 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166172871088 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
Current children cumulated CPU time: 245.47 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1406588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+228.701 s]
/proc/loadavg: 1.46 1.71 1.64 3/216 15619
/proc/meminfo: memFree=21691912/32770624 swapFree=67108860/67108860
[pid=15410] ppid=15407 vsize=11082080 memory=1406588 CPUtime=252.03 cores=1,3,5,7
/proc/15410/stat : 15410 (java) S 15407 15410 12183 0 -1 1077944320 160658 13106 0 0 25109 87 4 3 20 0 15 0 106982124 11348049920 351647 33554432000 4194304 4196468 140721965626512 140721965609056 140167207202551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
/proc/15410/statm: 2770520 351647 3530 1 0 2732173 0
[pid=15410/tid=15463] ppid=15407 vsize=11082080 memory=1406588 CPUtime=227.33 cores=1,3,5,7
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12183 0 -1 4202560 54955 13106 0 0 22698 28 4 3 20 0 15 0 106982133 11348049920 351647 33554432000 4194304 4196468 140721965626512 140167179036688 140166769237541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15464] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.81 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12183 0 -1 1077944384 4237 13106 0 0 64 10 4 3 20 0 15 0 106982134 11348049920 351647 33554432000 4194304 4196468 140721965626512 140167211445136 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15465] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.81 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12183 0 -1 1077944384 3795 13106 0 0 65 9 4 3 20 0 15 0 106982134 11348049920 351647 33554432000 4194304 4196468 140721965626512 140167066163984 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15466] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.81 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12183 0 -1 1077944384 3961 13106 0 0 65 9 4 3 20 0 15 0 106982134 11348049920 351647 33554432000 4194304 4196468 140721965626512 140167065111696 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15467] ppid=15407 vsize=11082080 memory=8560 CPUtime=0.81 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12183 0 -1 1077944384 1703 13106 0 0 65 9 4 3 20 0 15 0 106982134 11348049920 351647 33554432000 4194304 4196468 140721965626512 140167064058896 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15468] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.52 cores=1,3,5,7
/proc/15410/task/15468/stat : 15468 (java) S 15407 15410 12183 0 -1 1077944384 4808 13106 0 0 42 3 4 3 20 0 15 0 106982135 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166177081456 140167207213698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15469] ppid=15407 vsize=11082080 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15469/stat : 15469 (java) S 15407 15410 12183 0 -1 1077944384 16 13106 0 0 0 0 4 3 20 0 15 0 106982136 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166056371104 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15470] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15470/stat : 15470 (java) S 15407 15410 12183 0 -1 1077944384 2 13106 0 0 0 0 4 3 20 0 15 0 106982136 11348049920 351647 33554432000 4194304 4196468 140721965626512 140165855044736 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15471] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15471/stat : 15471 (java) S 15407 15410 12183 0 -1 1077944384 3 13106 0 0 0 0 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140165547645008 140167207221147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15472] ppid=15407 vsize=11082080 memory=1406588 CPUtime=8.57 cores=1,3,5,7
/proc/15410/task/15472/stat : 15472 (java) S 15407 15410 12183 0 -1 1077944384 31228 13106 0 0 845 5 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166176029296 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15473] ppid=15407 vsize=11082080 memory=1406588 CPUtime=9.2 cores=1,3,5,7
/proc/15410/task/15473/stat : 15473 (java) S 15407 15410 12183 0 -1 1077944384 25711 13106 0 0 908 5 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166174976496 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15474] ppid=15407 vsize=11082080 memory=1406588 CPUtime=3.52 cores=1,3,5,7
/proc/15410/task/15474/stat : 15474 (java) S 15407 15410 12183 0 -1 1077944384 27038 13106 0 0 339 6 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166173924208 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15475] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15475/stat : 15475 (java) S 15407 15410 12183 0 -1 1077944384 3 13106 0 0 0 0 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140165116849120 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15476] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.19 cores=1,3,5,7
/proc/15410/task/15476/stat : 15476 (java) S 15407 15410 12183 0 -1 1077944384 1004 13106 0 0 6 6 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166172871088 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1406588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+228.739 s]
# the end of solver process 15410 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.153 s, system=0.935565 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+228.701 s]
/proc/loadavg: 1.46 1.71 1.64 3/216 15619
/proc/meminfo: memFree=21691912/32770624 swapFree=67108860/67108860
[pid=15410] ppid=15407 vsize=11082080 memory=1406588 CPUtime=252.03 cores=1,3,5,7
/proc/15410/stat : 15410 (java) S 15407 15410 12183 0 -1 1077944320 160658 13106 0 0 25109 87 4 3 20 0 15 0 106982124 11348049920 351647 33554432000 4194304 4196468 140721965626512 140721965609056 140167207202551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
/proc/15410/statm: 2770520 351647 3530 1 0 2732173 0
[pid=15410/tid=15463] ppid=15407 vsize=11082080 memory=1406588 CPUtime=227.33 cores=1,3,5,7
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12183 0 -1 4202560 54955 13106 0 0 22698 28 4 3 20 0 15 0 106982133 11348049920 351647 33554432000 4194304 4196468 140721965626512 140167179036688 140166769237541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15464] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.81 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12183 0 -1 1077944384 4237 13106 0 0 64 10 4 3 20 0 15 0 106982134 11348049920 351647 33554432000 4194304 4196468 140721965626512 140167211445136 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15465] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.81 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12183 0 -1 1077944384 3795 13106 0 0 65 9 4 3 20 0 15 0 106982134 11348049920 351647 33554432000 4194304 4196468 140721965626512 140167066163984 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15466] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.81 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12183 0 -1 1077944384 3961 13106 0 0 65 9 4 3 20 0 15 0 106982134 11348049920 351647 33554432000 4194304 4196468 140721965626512 140167065111696 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15467] ppid=15407 vsize=11082080 memory=8560 CPUtime=0.81 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12183 0 -1 1077944384 1703 13106 0 0 65 9 4 3 20 0 15 0 106982134 11348049920 351647 33554432000 4194304 4196468 140721965626512 140167064058896 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15468] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.52 cores=1,3,5,7
/proc/15410/task/15468/stat : 15468 (java) S 15407 15410 12183 0 -1 1077944384 4808 13106 0 0 42 3 4 3 20 0 15 0 106982135 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166177081456 140167207213698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15469] ppid=15407 vsize=11082080 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15469/stat : 15469 (java) S 15407 15410 12183 0 -1 1077944384 16 13106 0 0 0 0 4 3 20 0 15 0 106982136 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166056371104 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15470] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15470/stat : 15470 (java) S 15407 15410 12183 0 -1 1077944384 2 13106 0 0 0 0 4 3 20 0 15 0 106982136 11348049920 351647 33554432000 4194304 4196468 140721965626512 140165855044736 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15471] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15471/stat : 15471 (java) S 15407 15410 12183 0 -1 1077944384 3 13106 0 0 0 0 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140165547645008 140167207221147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15472] ppid=15407 vsize=11082080 memory=1406588 CPUtime=8.57 cores=1,3,5,7
/proc/15410/task/15472/stat : 15472 (java) S 15407 15410 12183 0 -1 1077944384 31228 13106 0 0 845 5 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166176029296 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15473] ppid=15407 vsize=11082080 memory=1406588 CPUtime=9.2 cores=1,3,5,7
/proc/15410/task/15473/stat : 15473 (java) S 15407 15410 12183 0 -1 1077944384 25711 13106 0 0 908 5 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166174976496 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15474] ppid=15407 vsize=11082080 memory=1406588 CPUtime=3.52 cores=1,3,5,7
/proc/15410/task/15474/stat : 15474 (java) S 15407 15410 12183 0 -1 1077944384 27038 13106 0 0 339 6 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166173924208 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15475] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15475/stat : 15475 (java) S 15407 15410 12183 0 -1 1077944384 3 13106 0 0 0 0 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140165116849120 140167207212757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
[pid=15410/tid=15476] ppid=15407 vsize=11082080 memory=1406588 CPUtime=0.19 cores=1,3,5,7
/proc/15410/task/15476/stat : 15476 (java) S 15407 15410 12183 0 -1 1077944384 1004 13106 0 0 6 6 4 3 20 0 15 0 106982139 11348049920 351647 33554432000 4194304 4196468 140721965626512 140166172871088 140167207213698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24641536 140721965628018 140721965630817 140721965630817 140721965633487 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1406588 KiB
Child status: 143
Real time (s): 228.739
CPU time (s): 252.089
CPU user time (s): 251.153
CPU system time (s): 0.935565
CPU usage (%): 110.208
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1545528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.153
system time used= 0.935565
maximum resident set size= 1547608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23703
involuntary context switches= 416
# summary of solver processes directly reported to runsolver:
# pid: 15410
# total CPU time (s): 252.089
# total CPU user time (s): 251.153
# total CPU system time (s): 0.935565
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42974 second user time and 2.13465 second system time
The end