0.97/0.73 c Concrete v3.8.1528841891564 running
13.99/5.50 c 01:43:37.389 [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.99/5.50 c 01:43:37.393 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11786. 'extension(4, x[1][12]=[0‥4]) :: init: true :: relation: MDD 1048274391, 5 edges, 3 vertices, 4 tuples
13.99/5.50 c 01:43:37.398 [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.99/5.50 c 01:43:37.398 [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.99/5.50 c 01:43:37.399 [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.99/5.51 c 01:43:37.402 [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.99/5.51 c 01:43:37.403 [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.99/5.51 c 01:43:37.405 [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.99/5.52 c 01:43:37.406 [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.99/5.52 c 01:43:37.409 [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.99/5.52 c 01:43:37.409 [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.99/5.52 c 01:43:37.412 [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.99/5.52 c 01:43:37.412 [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.99/5.52 c 01:43:37.415 [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.99/5.52 c 01:43:37.416 [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.99/5.52 c 01:43:37.417 [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.99/5.52 c 01:43:37.419 [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.99/5.52 c 01:43:37.420 [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.99/5.53 c 01:43:37.422 [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.99/5.53 c 01:43:37.423 [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.99/5.53 c 01:43:37.425 [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.99/5.53 c 01:43:37.426 [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.99/5.53 c 01:43:37.428 [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.99/5.53 c 01:43:37.428 [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.99/5.53 c 01:43:37.429 [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.99/5.54 c 01:43:37.431 [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.99/5.54 c 01:43:37.431 [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.99/5.54 c 01:43:37.433 [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.99/5.54 c 01:43:37.433 [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.99/5.54 c 01:43:37.434 [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.99/5.54 c 01:43:37.436 [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.99/5.54 c 01:43:37.437 [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.99/5.54 c 01:43:37.438 [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.99/5.55 c 01:43:37.441 [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.99/5.55 c 01:43:37.441 [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.99/5.55 c 01:43:37.444 [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.99/5.55 c 01:43:37.445 [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.99/5.55 c 01:43:37.447 [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.99/5.55 c 01:43:37.447 [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.99/5.56 c 01:43:37.450 [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.99/5.56 c 01:43:37.450 [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.99/5.56 c 01:43:37.453 [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.99/5.56 c 01:43:37.453 [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.99/5.56 c 01:43:37.455 [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.99/5.56 c 01:43:37.456 [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.99/5.56 c 01:43:37.458 [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.99/5.56 c 01:43:37.459 [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.99/5.57 c 01:43:37.461 [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.99/5.57 c 01:43:37.463 [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.99/5.57 c 01:43:37.463 [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.99/5.57 c 01:43:37.464 [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.99/5.57 c 01:43:37.465 [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.99/5.57 c 01:43:37.466 [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.99/5.57 c 01:43:37.466 [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.99/5.57 c 01:43:37.468 [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.99/5.57 c 01:43:37.469 [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.99/5.57 c 01:43:37.469 [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.99/5.58 c 01:43:37.472 [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.99/5.58 c 01:43:37.473 [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.99/5.58 c 01:43:37.474 [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.99/5.58 c 01:43:37.474 [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
13.99/5.58 c 01:43:37.475 [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
13.99/5.58 c 01:43:37.476 [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
13.99/5.58 c 01:43:37.478 [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
13.99/5.58 c 01:43:37.479 [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
13.99/5.59 c 01:43:37.480 [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
13.99/5.59 c 01:43:37.481 [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
13.99/5.59 c 01:43:37.483 [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
13.99/5.59 c 01:43:37.484 [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
13.99/5.59 c 01:43:37.484 [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
13.99/5.59 c 01:43:37.486 [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
13.99/5.60 c 01:43:37.486 [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
13.99/5.60 c 01:43:37.489 [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
13.99/5.60 c 01:43:37.489 [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
13.99/5.60 c 01:43:37.491 [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.32/5.60 c 01:43:37.492 [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.32/5.60 c 01:43:37.493 [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.32/5.60 c 01:43:37.494 [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.32/5.60 c 01:43:37.494 [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.32/5.60 c 01:43:37.495 [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.32/5.60 c 01:43:37.496 [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.32/5.61 c 01:43:37.498 [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.32/5.61 c 01:43:37.498 [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.32/5.61 c 01:43:37.500 [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.32/5.61 c 01:43:37.501 [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.32/5.61 c 01:43:37.502 [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.32/5.61 c 01:43:37.504 [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.32/5.61 c 01:43:37.505 [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.32/5.61 c 01:43:37.507 [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.32/5.61 c 01:43:37.507 [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.32/5.61 c 01:43:37.507 [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.32/5.62 c 01:43:37.511 [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.32/5.62 c 01:43:37.512 [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.32/5.62 c 01:43:37.512 [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.32/5.62 c 01:43:37.514 [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.32/5.62 c 01:43:37.515 [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.32/5.62 c 01:43:37.517 [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.32/5.62 c 01:43:37.518 [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.32/5.62 c 01:43:37.518 [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.32/5.63 c 01:43:37.521 [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.32/5.63 c 01:43:37.521 [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.32/5.63 c 01:43:37.523 [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.32/5.63 c 01:43:37.524 [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.32/5.63 c 01:43:37.526 [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.32/5.63 c 01:43:37.526 [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.32/5.63 c 01:43:37.528 [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.32/5.63 c 01:43:37.528 [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.32/5.63 c 01:43:37.529 [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.32/5.63 c 01:43:37.530 [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.32/5.64 c 01:43:37.531 [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.32/5.64 c 01:43:37.532 [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.32/5.64 c 01:43:37.532 [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.32/5.64 c 01:43:37.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13682. 'extension(4, 4) :: init: true :: relation: MDD 43729075, 5 edges, 3 vertices, 4 tuples
14.32/5.64 c 01:43:37.533 [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.32/5.64 c 01:43:37.533 [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.32/5.64 c 01:43:37.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13708. 'extension(4, x[26][13]=[0‥4]) :: init: true :: relation: MDD 554510956, 5 edges, 3 vertices, 4 tuples
14.32/5.64 c 01:43:37.535 [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.32/5.64 c 01:43:37.535 [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.32/5.64 c 01:43:37.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13734. 'extension(4, x[26][19]=[0‥4]) :: init: true :: relation: MDD 1637821180, 5 edges, 3 vertices, 4 tuples
14.32/5.67 c 01:43:37.566 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14249. 'extension(x[1][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.67 c 01:43:37.566 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14251. 'extension(x[1][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.67 c 01:43:37.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14257. 'extension(x[0][0]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.67 c 01:43:37.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14261. 'extension(x[0][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.67 c 01:43:37.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14263. 'extension(x[2][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.67 c 01:43:37.568 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14275. 'extension(x[3][0]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.67 c 01:43:37.569 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14289. 'extension(x[1][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.67 c 01:43:37.569 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14291. 'extension(x[3][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.68 c 01:43:37.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14305. 'extension(x[2][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.68 c 01:43:37.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14307. 'extension(x[4][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.68 c 01:43:37.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14321. 'extension(x[2][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.68 c 01:43:37.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14323. 'extension(x[4][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.68 c 01:43:37.575 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14339. 'extension(x[2][23]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.576 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14345. 'extension(x[3][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.576 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14347. 'extension(x[5][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.577 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14361. 'extension(x[3][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.577 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14363. 'extension(x[5][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.578 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14377. 'extension(x[3][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.578 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14379. 'extension(x[5][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.579 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14395. 'extension(x[5][23]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.580 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14405. 'extension(wk[24][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.580 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14407. 'extension(x[4][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.580 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14409. 'extension(x[6][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.581 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14421. 'extension(wk[27][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.581 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14423. 'extension(x[4][27]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.581 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14429. 'extension(wk[27][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.582 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14431. 'extension(x[7][27]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.582 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14441. 'extension(x[6][15]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.582 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14447. 'extension(x[6][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.583 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14449. 'extension(x[8][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.584 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14465. 'extension(x[6][19]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.584 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14467. 'extension(x[8][19]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.585 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14483. 'extension(x[7][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.585 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14485. 'extension(x[9][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.586 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14499. 'extension(x[9][15]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.586 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14513. 'extension(x[8][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.587 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14515. 'extension(x[10][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.587 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14529. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.588 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14531. 'extension(x[10][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.588 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14545. 'extension(x[9][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.588 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14547. 'extension(x[11][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.589 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14561. 'extension(x[9][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.69 c 01:43:37.589 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14563. 'extension(x[11][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.70 c 01:43:37.590 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14579. 'extension(x[10][7]=[0‥4]) :: init: true :: relation: Empty MDD
14.32/5.70 c 01:43:37.591 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14585. 'extension(wk[7][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.32/5.70 c 01:43:37.591 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14587. 'extension(x[13][7]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.70 c 01:43:37.592 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14601. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.65/5.70 c 01:43:37.592 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14603. 'extension(x[11][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.70 c 01:43:37.592 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14605. 'extension(x[13][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.70 c 01:43:37.593 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14619. 'extension(wk[16][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.65/5.70 c 01:43:37.593 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14621. 'extension(x[11][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.593 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14623. 'extension(x[13][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.594 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14639. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.594 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14641. 'extension(x[12][6]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.595 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14647. 'extension(wk[8][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.595 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14649. 'extension(x[12][8]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.595 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14655. 'extension(x[13][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.596 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14657. 'extension(x[15][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.596 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14671. 'extension(x[15][6]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.597 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14685. 'extension(x[15][8]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14699. 'extension(x[13][10]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14705. 'extension(x[13][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14707. 'extension(x[15][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.599 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14721. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.599 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14723. 'extension(x[15][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.600 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14737. 'extension(x[16][10]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14751. 'extension(x[14][28]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14757. 'extension(x[14][29]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.602 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14763. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.602 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14769. 'extension(x[17][28]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.602 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14775. 'extension(x[17][29]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.603 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14781. 'extension(x[18][2]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.603 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14795. 'extension(x[16][25]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.604 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14801. 'extension(x[17][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.604 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14803. 'extension(x[19][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.605 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14819. 'extension(x[19][25]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.605 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14829. 'extension(wk[22][2]=[0‥1]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.606 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14831. 'extension(x[18][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.606 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14833. 'extension(x[20][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.607 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14849. 'extension(x[20][20]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.607 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14855. 'extension(x[21][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.607 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14857. 'extension(x[23][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14871. 'extension(x[23][20]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14887. 'extension(x[22][26]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14893. 'extension(x[23][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14895. 'extension(x[25][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.71 c 01:43:37.610 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14909. 'extension(x[23][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.72 c 01:43:37.610 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14911. 'extension(x[25][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.72 c 01:43:37.611 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14927. 'extension(x[25][26]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.72 c 01:43:37.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14937. 'extension(x[24][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.72 c 01:43:37.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14939. 'extension(x[26][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.72 c 01:43:37.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14951. 'extension(wk[3][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.65/5.72 c 01:43:37.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14953. 'extension(x[25][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.72 c 01:43:37.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14955. 'extension(x[27][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.72 c 01:43:37.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14967. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.65/5.72 c 01:43:37.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14969. 'extension(x[25][5]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.72 c 01:43:37.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14975. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.65/5.72 c 01:43:37.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14981. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.65/5.72 c 01:43:37.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14983. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.72 c 01:43:37.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14985. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.72 c 01:43:37.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14991. 'extension(wk[19][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.65/5.72 c 01:43:37.616 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14993. 'extension(x[26][19]=[0‥4]) :: init: true :: relation: Empty MDD
14.65/5.72 c 01:43:37.616 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14995. 'extension(x[26][19]=[0‥4]) :: init: true :: relation: Empty MDD
2520.08/2453.41 Exception in thread "main" java.util.concurrent.TimeoutException
2520.08/2453.41 at concrete.MAC.mac(MAC.scala:188)
2520.08/2453.41 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.08/2453.41 at scala.util.Try$.apply(Try.scala:209)
2520.08/2453.41 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.08/2453.41 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.08/2453.41 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.08/2453.41 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.08/2453.41 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.08/2453.41 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.08/2453.41 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.08/2453.41 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.08/2453.41 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.08/2453.41 at concrete.MAC.oneRun(MAC.scala:253)
2520.08/2453.41 at concrete.MAC.nextSolution(MAC.scala:272)
2520.08/2453.41 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.08/2453.41 at concrete.ProblemState.map(ProblemState.scala:221)
2520.08/2453.41 at concrete.ProblemState.map(ProblemState.scala:204)
2520.08/2453.41 at concrete.MAC.nextSolution(MAC.scala:334)
2520.08/2453.41 at concrete.Solver.hasNext(Solver.scala:166)
2520.08/2453.41 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.08/2453.41 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.08/2453.41 at concrete.Solver.foreach(Solver.scala:68)
2520.08/2453.41 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.08/2453.41 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.08/2453.41 at scala.util.Success.map(Try.scala:209)
2520.08/2453.41 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.08/2453.41 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.08/2453.41 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.08/2453.41 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.08/2453.41 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.08/2453.41 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.08/2453.41 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.08/2453.41 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.08/2453.41 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.08/2453.41 at scala.collection.immutable.List.foreach(List.scala:389)
2520.08/2453.41 at scala.App.main(App.scala:76)
2520.08/2453.41 at scala.App.main$(App.scala:74)
2520.08/2453.41 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.08/2453.41 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.08/2453.41 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 (10885 MiB free)
memory of node 1: 16384 MiB (14212 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292990-1532303011/watcher-4292990-1532303011 -o /tmp/evaluation-result-4292990-1532303011/solver-4292990-1532303011 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3500 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=409592525 -superng HOME/instance-4292990-1532303011.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4290, runsolver pid=4287
[startup+0.109946 s]*
/proc/loadavg: 2.54 1.94 1.76 3/206 4347
/proc/meminfo: memFree=25689028/32770624 swapFree=67108860/67108860
[pid=4290] ppid=4287 vsize=10355560 memory=24336 CPUtime=0.09 cores=1,3,5,7
/proc/4290/stat : 4290 (java) S 4287 4290 3468 0 -1 1077944320 4694 13168 0 0 2 0 5 2 20 0 9 0 47864332 10604093440 6084 33554432000 4194304 4196468 140732806460640 140732806443184 140455168966391 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
/proc/4290/statm: 2588890 6084 2101 1 0 2551431 0
[pid=4290/tid=4343] ppid=4287 vsize=10355560 memory=4572731769890054294 CPUtime=0.08 cores=1,3,5,7
/proc/4290/task/4343/stat : 4343 (java) R 4287 4290 3468 0 -1 4202560 2501 13168 0 0 1 0 5 2 20 0 9 0 47864340 10604093440 6084 33554432000 4194304 4196468 140732806460640 140455140802416 140455168988317 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4344] ppid=4287 vsize=10355560 memory=5793855397688101305 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4344/stat : 4344 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 9 0 47864341 10604093440 6084 33554432000 4194304 4196468 140732806460640 140455173208976 140455168976597 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4345] ppid=4287 vsize=10355560 memory=140146678208128 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4345/stat : 4345 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 9 0 47864341 10604093440 6084 33554432000 4194304 4196468 140732806460640 140455096367888 140455168976597 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4346] ppid=4287 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4346/stat : 4346 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 9 0 47864341 10604093440 6084 33554432000 4194304 4196468 140732806460640 140455095315600 140455168976597 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4347] ppid=4287 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4347/stat : 4347 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 9 0 47864341 10604093440 6084 33554432000 4194304 4196468 140732806460640 140454740597776 140455168976597 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4348] ppid=4287 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4348/stat : 4348 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 9 0 47864343 10604093440 6084 33554432000 4194304 4196468 140732806460640 140454440843376 140455168977538 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4349] ppid=4287 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4349/stat : 4349 (java) S 4287 4290 3468 0 -1 1077944384 13 13168 0 0 0 0 5 2 20 0 9 0 47864343 10604093440 6084 33554432000 4194304 4196468 140732806460640 140454356050720 140455168976597 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4350] ppid=4287 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4350/stat : 4350 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 9 0 47864343 10604093440 6084 33554432000 4194304 4196468 140732806460640 140454221833392 140455168976597 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 24336 KiB
[startup+0.211287 s]*
/proc/loadavg: 2.54 1.94 1.76 3/215 4356
/proc/meminfo: memFree=25666352/32770624 swapFree=67108860/67108860
[pid=4290] ppid=4287 vsize=10818856 memory=46452 CPUtime=0.25 cores=1,3,5,7
/proc/4290/stat : 4290 (java) S 4287 4290 3468 0 -1 1077944320 8560 13168 0 0 17 1 5 2 20 0 15 0 47864332 11078508544 11613 33554432000 4194304 4196468 140732806460640 140732806443184 140455168966391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
/proc/4290/statm: 2704714 11613 2918 1 0 2667149 0
[pid=4290/tid=4343] ppid=4287 vsize=10818856 memory=-2899909650764262549 CPUtime=0.19 cores=1,3,5,7
/proc/4290/task/4343/stat : 4343 (java) R 4287 4290 3468 0 -1 4202560 5423 13168 0 0 11 1 5 2 20 0 15 0 47864340 11078508544 11877 33554432000 4194304 4196468 140732806460640 140455140764048 140455149242140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4344] ppid=4287 vsize=10818856 memory=4211973872882998666 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4344/stat : 4344 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864341 11078508544 11877 33554432000 4194304 4196468 140732806460640 140455173208976 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4345] ppid=4287 vsize=10818856 memory=140146678208128 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4345/stat : 4345 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 47864341 11078508544 11877 33554432000 4194304 4196468 140732806460640 140455096367888 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4346] ppid=4287 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4346/stat : 4346 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864341 11078508544 11877 33554432000 4194304 4196468 140732806460640 140455095315600 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4347] ppid=4287 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4347/stat : 4347 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 47864341 11078508544 11877 33554432000 4194304 4196468 140732806460640 140454740597776 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4348] ppid=4287 vsize=10818856 memory=140146678208128 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4348/stat : 4348 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864343 11078508544 11877 33554432000 4194304 4196468 140732806460640 140454440843376 140455168977538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4349] ppid=4287 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4349/stat : 4349 (java) S 4287 4290 3468 0 -1 1077944384 13 13168 0 0 0 0 5 2 20 0 15 0 47864343 11078508544 11877 33554432000 4194304 4196468 140732806460640 140454356050720 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4350] ppid=4287 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4350/stat : 4350 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 47864343 11078508544 11877 33554432000 4194304 4196468 140732806460640 140454221833328 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4351] ppid=4287 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4351/stat : 4351 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864346 11078508544 11877 33554432000 4194304 4196468 140732806460640 140454087616592 140455168984987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4352] ppid=4287 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4290/task/4352/stat : 4352 (java) S 4287 4290 3468 0 -1 1077944384 521 13168 0 0 1 0 5 2 20 0 15 0 47864346 11078508544 11877 33554432000 4194304 4196468 140732806460640 140454439791216 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4353] ppid=4287 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4353/stat : 4353 (java) S 4287 4290 3468 0 -1 1077944384 54 13168 0 0 0 0 5 2 20 0 15 0 47864346 11078508544 11877 33554432000 4194304 4196468 140732806460640 140454438738416 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4354] ppid=4287 vsize=10818856 memory=140146678208128 CPUtime=0.1 cores=1,3,5,7
/proc/4290/task/4354/stat : 4354 (java) S 4287 4290 3468 0 -1 1077944384 561 13168 0 0 3 0 5 2 20 0 15 0 47864346 11078508544 11943 33554432000 4194304 4196468 140732806460640 140454437686128 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4355] ppid=4287 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4355/stat : 4355 (java) S 4287 4290 3468 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 47864346 11078508544 11943 33554432000 4194304 4196468 140732806460640 140453349420000 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4356] ppid=4287 vsize=10818856 memory=140146678208128 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4356/stat : 4356 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 47864347 11078508544 11943 33554432000 4194304 4196468 140732806460640 140454436633008 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 46452 KiB
[startup+0.310367 s]*
/proc/loadavg: 2.54 1.94 1.76 3/215 4356
/proc/meminfo: memFree=25655436/32770624 swapFree=67108860/67108860
[pid=4290] ppid=4287 vsize=10819352 memory=57260 CPUtime=0.38 cores=1,3,5,7
/proc/4290/stat : 4290 (java) S 4287 4290 3468 0 -1 1077944320 10430 13168 0 0 29 2 5 2 20 0 15 0 47864332 11079016448 14315 33554432000 4194304 4196468 140732806460640 140732806443184 140455168966391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
/proc/4290/statm: 2704838 14315 3049 1 0 2667149 0
[pid=4290/tid=4343] ppid=4287 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/4290/task/4343/stat : 4343 (java) R 4287 4290 3468 0 -1 4202560 7073 13168 0 0 19 2 5 2 20 0 15 0 47864340 11079016448 14315 33554432000 4194304 4196468 140732806460640 140455140778176 140455161203518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4344] ppid=4287 vsize=10819352 memory=-7003737579269690708 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4344/stat : 4344 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864341 11079016448 14315 33554432000 4194304 4196468 140732806460640 140455173208976 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4345] ppid=4287 vsize=10819352 memory=140146678218721 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4345/stat : 4345 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 47864341 11079016448 14315 33554432000 4194304 4196468 140732806460640 140455096367888 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4346] ppid=4287 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4346/stat : 4346 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864341 11079016448 14315 33554432000 4194304 4196468 140732806460640 140455095315600 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4347] ppid=4287 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4347/stat : 4347 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 47864341 11079016448 14315 33554432000 4194304 4196468 140732806460640 140454740597776 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4348] ppid=4287 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4348/stat : 4348 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864343 11079016448 14315 33554432000 4194304 4196468 140732806460640 140454440843376 140455168977538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4349] ppid=4287 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4349/stat : 4349 (java) S 4287 4290 3468 0 -1 1077944384 13 13168 0 0 0 0 5 2 20 0 15 0 47864343 11079016448 14315 33554432000 4194304 4196468 140732806460640 140454356050720 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4350] ppid=4287 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4350/stat : 4350 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 47864343 11079016448 14315 33554432000 4194304 4196468 140732806460640 140454221833328 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4351] ppid=4287 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4351/stat : 4351 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864346 11079016448 14315 33554432000 4194304 4196468 140732806460640 140454087616592 140455168984987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4352] ppid=4287 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4290/task/4352/stat : 4352 (java) S 4287 4290 3468 0 -1 1077944384 522 13168 0 0 2 0 5 2 20 0 15 0 47864346 11079016448 14315 33554432000 4194304 4196468 140732806460640 140454439791216 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4353] ppid=4287 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4290/task/4353/stat : 4353 (java) S 4287 4290 3468 0 -1 1077944384 54 13168 0 0 1 0 5 2 20 0 15 0 47864346 11079016448 14315 33554432000 4194304 4196468 140732806460640 140454438738416 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4354] ppid=4287 vsize=10819352 memory=140146678208128 CPUtime=0.12 cores=1,3,5,7
/proc/4290/task/4354/stat : 4354 (java) S 4287 4290 3468 0 -1 1077944384 572 13168 0 0 5 0 5 2 20 0 15 0 47864346 11079016448 14315 33554432000 4194304 4196468 140732806460640 140454437686128 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4355] ppid=4287 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4355/stat : 4355 (java) S 4287 4290 3468 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 47864346 11079016448 14315 33554432000 4194304 4196468 140732806460640 140453349420000 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4356] ppid=4287 vsize=10819352 memory=140146678208128 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4356/stat : 4356 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 47864347 11079016448 14315 33554432000 4194304 4196468 140732806460640 140454436633008 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57260 KiB
[startup+0.700797 s]
/proc/loadavg: 2.54 1.94 1.76 3/215 4356
/proc/meminfo: memFree=25645884/32770624 swapFree=67108860/67108860
[pid=4290] ppid=4287 vsize=10819352 memory=90792 CPUtime=0.97 cores=1,3,5,7
/proc/4290/stat : 4290 (java) S 4287 4290 3468 0 -1 1077944320 16831 13168 0 0 86 4 5 2 20 0 15 0 47864332 11079016448 22698 33554432000 4194304 4196468 140732806460640 140732806443184 140455168966391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
/proc/4290/statm: 2704838 22698 3237 1 0 2667149 0
[pid=4290/tid=4343] ppid=4287 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/4290/task/4343/stat : 4343 (java) R 4287 4290 3468 0 -1 4202560 12506 13168 0 0 56 3 5 2 20 0 15 0 47864340 11079016448 22698 33554432000 4194304 4196468 140732806460640 140455140787216 140455150529920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4344] ppid=4287 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4344/stat : 4344 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864341 11079016448 22698 33554432000 4194304 4196468 140732806460640 140455173208976 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4345] ppid=4287 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4345/stat : 4345 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 47864341 11079016448 22698 33554432000 4194304 4196468 140732806460640 140455096367888 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4346] ppid=4287 vsize=10819352 memory=4637164475387183459 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4346/stat : 4346 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864341 11079016448 22698 33554432000 4194304 4196468 140732806460640 140455095315600 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4347] ppid=4287 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4347/stat : 4347 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 47864341 11079016448 22698 33554432000 4194304 4196468 140732806460640 140454740597776 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4348] ppid=4287 vsize=10819352 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4348/stat : 4348 (java) S 4287 4290 3468 0 -1 1077944384 5 13168 0 0 0 0 5 2 20 0 15 0 47864343 11079016448 22698 33554432000 4194304 4196468 140732806460640 140454440843376 140455168977538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4349] ppid=4287 vsize=10819352 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4349/stat : 4349 (java) S 4287 4290 3468 0 -1 1077944384 13 13168 0 0 0 0 5 2 20 0 15 0 47864343 11079016448 22698 33554432000 4194304 4196468 140732806460640 140454356050720 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4350] ppid=4287 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4350/stat : 4350 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 47864343 11079016448 22698 33554432000 4194304 4196468 140732806460640 140454221833328 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4351] ppid=4287 vsize=10819352 memory=13713837471833128 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4351/stat : 4351 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864346 11079016448 22698 33554432000 4194304 4196468 140732806460640 140454087616592 140455168984987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4352] ppid=4287 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/4290/task/4352/stat : 4352 (java) S 4287 4290 3468 0 -1 1077944384 758 13168 0 0 6 0 5 2 20 0 15 0 47864346 11079016448 22698 33554432000 4194304 4196468 140732806460640 140454439791216 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4353] ppid=4287 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/4290/task/4353/stat : 4353 (java) S 4287 4290 3468 0 -1 1077944384 705 13168 0 0 10 0 5 2 20 0 15 0 47864346 11079016448 22698 33554432000 4194304 4196468 140732806460640 140454438738416 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4354] ppid=4287 vsize=10819352 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/4290/task/4354/stat : 4354 (java) S 4287 4290 3468 0 -1 1077944384 646 13168 0 0 12 0 5 2 20 0 15 0 47864346 11079016448 22698 33554432000 4194304 4196468 140732806460640 140454437686128 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4355] ppid=4287 vsize=10819352 memory=7809523229951467574 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4355/stat : 4355 (java) S 4287 4290 3468 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 47864346 11079016448 22698 33554432000 4194304 4196468 140732806460640 140453349420000 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4356] ppid=4287 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4356/stat : 4356 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 47864347 11079016448 22698 33554432000 4194304 4196468 140732806460640 140454436633008 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90792 KiB
[startup+1.50125 s]
/proc/loadavg: 2.54 1.94 1.76 3/215 4356
/proc/meminfo: memFree=25598872/32770624 swapFree=67108860/67108860
[pid=4290] ppid=4287 vsize=10832204 memory=171408 CPUtime=3 cores=1,3,5,7
/proc/4290/stat : 4290 (java) S 4287 4290 3468 0 -1 1077944320 24243 13168 0 0 284 9 5 2 20 0 15 0 47864332 11092176896 42852 33554432000 4194304 4196468 140732806460640 140732806443184 140455168966391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
/proc/4290/statm: 2708051 42852 3450 1 0 2669709 0
[pid=4290/tid=4343] ppid=4287 vsize=10832204 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/4290/task/4343/stat : 4343 (java) R 4287 4290 3468 0 -1 4202560 16770 13168 0 0 133 6 5 2 20 0 15 0 47864340 11092176896 42852 33554432000 4194304 4196468 140732806460640 140455140791488 140455168988317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4344] ppid=4287 vsize=10832204 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4344/stat : 4344 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864341 11092176896 42852 33554432000 4194304 4196468 140732806460640 140455173208976 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4345] ppid=4287 vsize=10832204 memory=9168 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4345/stat : 4345 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 47864341 11092176896 42852 33554432000 4194304 4196468 140732806460640 140455096367888 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4346] ppid=4287 vsize=10832204 memory=25281 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4346/stat : 4346 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864341 11092176896 42852 33554432000 4194304 4196468 140732806460640 140455095315600 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4347] ppid=4287 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4347/stat : 4347 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 47864341 11092176896 42852 33554432000 4194304 4196468 140732806460640 140454740597776 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4348] ppid=4287 vsize=10832204 memory=-3253322038155611931 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4348/stat : 4348 (java) S 4287 4290 3468 0 -1 1077944384 12 13168 0 0 0 0 5 2 20 0 15 0 47864343 11092176896 42852 33554432000 4194304 4196468 140732806460640 140454440843376 140455168977538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4349] ppid=4287 vsize=10832204 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4349/stat : 4349 (java) S 4287 4290 3468 0 -1 1077944384 13 13168 0 0 0 0 5 2 20 0 15 0 47864343 11092176896 42852 33554432000 4194304 4196468 140732806460640 140454356050720 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4350] ppid=4287 vsize=10832204 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4350/stat : 4350 (java) S 4287 4290 3468 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 47864343 11092176896 42852 33554432000 4194304 4196468 140732806460640 140454221833328 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4351] ppid=4287 vsize=10832204 memory=105708 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4351/stat : 4351 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864346 11092176896 42852 33554432000 4194304 4196468 140732806460640 140454087616592 140455168984987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4352] ppid=4287 vsize=10832204 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/4290/task/4352/stat : 4352 (java) S 4287 4290 3468 0 -1 1077944384 1986 13168 0 0 46 0 5 2 20 0 15 0 47864346 11092176896 42852 33554432000 4194304 4196468 140732806460640 140454439791216 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4353] ppid=4287 vsize=10832204 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/4290/task/4353/stat : 4353 (java) S 4287 4290 3468 0 -1 1077944384 1678 13168 0 0 55 1 5 2 20 0 15 0 47864346 11092176896 42852 33554432000 4194304 4196468 140732806460640 140454438738416 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4354] ppid=4287 vsize=10832204 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/4290/task/4354/stat : 4354 (java) S 4287 4290 3468 0 -1 1077944384 1586 13168 0 0 47 1 5 2 20 0 15 0 47864346 11092176896 42852 33554432000 4194304 4196468 140732806460640 140454437686128 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
################
# More data... #
################
/proc/4290/task/4343/stat : 4343 (java) R 4287 4290 3468 0 -1 4202560 361893 13168 0 0 230394 76 5 2 20 0 15 0 47864340 11113168896 504928 33554432000 4194304 4196468 140732806460640 140455140800448 140454796161052 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4344] ppid=4287 vsize=10852704 memory=2019488 CPUtime=11.93 cores=1,3,5,7
/proc/4290/task/4344/stat : 4344 (java) S 4287 4290 3468 0 -1 1077944384 24950 13168 0 0 1106 80 5 2 20 0 15 0 47864341 11113168896 504928 33554432000 4194304 4196468 140732806460640 140455173208976 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4345] ppid=4287 vsize=10852704 memory=2001608 CPUtime=11.92 cores=1,3,5,7
/proc/4290/task/4345/stat : 4345 (java) S 4287 4290 3468 0 -1 1077944384 20399 13168 0 0 1106 79 5 2 20 0 15 0 47864341 11113168896 504928 33554432000 4194304 4196468 140732806460640 140455096367888 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4346] ppid=4287 vsize=10852704 memory=2019488 CPUtime=11.91 cores=1,3,5,7
/proc/4290/task/4346/stat : 4346 (java) S 4287 4290 3468 0 -1 1077944384 22381 13168 0 0 1105 79 5 2 20 0 15 0 47864341 11113168896 504928 33554432000 4194304 4196468 140732806460640 140455095315600 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4347] ppid=4287 vsize=10852704 memory=2019712 CPUtime=11.84 cores=1,3,5,7
/proc/4290/task/4347/stat : 4347 (java) S 4287 4290 3468 0 -1 1077944384 26928 13168 0 0 1100 77 5 2 20 0 15 0 47864341 11113168896 504928 33554432000 4194304 4196468 140732806460640 140454740597776 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4348] ppid=4287 vsize=10852704 memory=2019712 CPUtime=4.27 cores=1,3,5,7
/proc/4290/task/4348/stat : 4348 (java) S 4287 4290 3468 0 -1 1077944384 30681 13168 0 0 391 29 5 2 20 0 15 0 47864343 11113168896 504928 33554432000 4194304 4196468 140732806460640 140454440843376 140455168977538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4349] ppid=4287 vsize=10852704 memory=2340 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4349/stat : 4349 (java) S 4287 4290 3468 0 -1 1077944384 14 13168 0 0 0 0 5 2 20 0 15 0 47864343 11113168896 504928 33554432000 4194304 4196468 140732806460640 140454356050848 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4350] ppid=4287 vsize=10852704 memory=932 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4350/stat : 4350 (java) S 4287 4290 3468 0 -1 1077944384 7 13168 0 0 0 0 5 2 20 0 15 0 47864343 11113168896 504928 33554432000 4194304 4196468 140732806460640 140454221833344 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4351] ppid=4287 vsize=10852704 memory=2019488 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4351/stat : 4351 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864346 11113168896 504928 33554432000 4194304 4196468 140732806460640 140454087616592 140455168984987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4352] ppid=4287 vsize=10852704 memory=2019488 CPUtime=12.88 cores=1,3,5,7
/proc/4290/task/4352/stat : 4352 (java) S 4287 4290 3468 0 -1 1077944384 63467 13168 0 0 1274 7 5 2 20 0 15 0 47864346 11113168896 504928 33554432000 4194304 4196468 140732806460640 140454439791216 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4353] ppid=4287 vsize=10852704 memory=4140 CPUtime=13.82 cores=1,3,5,7
/proc/4290/task/4353/stat : 4353 (java) S 4287 4290 3468 0 -1 1077944384 61289 13168 0 0 1368 7 5 2 20 0 15 0 47864346 11113168896 504928 33554432000 4194304 4196468 140732806460640 140454438738416 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4354] ppid=4287 vsize=10852704 memory=15996 CPUtime=4.89 cores=1,3,5,7
/proc/4290/task/4354/stat : 4354 (java) S 4287 4290 3468 0 -1 1077944384 60446 13168 0 0 472 10 5 2 20 0 15 0 47864346 11113168896 504928 33554432000 4194304 4196468 140732806460640 140454437686128 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4355] ppid=4287 vsize=10852704 memory=2010932 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4355/stat : 4355 (java) S 4287 4290 3468 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 47864346 11113168896 504928 33554432000 4194304 4196468 140732806460640 140453349420000 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4356] ppid=4287 vsize=10852704 memory=2010932 CPUtime=1.26 cores=1,3,5,7
/proc/4290/task/4356/stat : 4356 (java) S 4287 4290 3468 0 -1 1077944384 1528 13168 0 0 54 65 5 2 20 0 15 0 47864347 11113168896 504928 33554432000 4194304 4196468 140732806460640 140454436633008 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
Current children cumulated CPU time: 2388.99 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 2019712 KiB
[startup+2382.3 s]
/proc/loadavg: 2.04 1.90 1.79 3/216 4585
/proc/meminfo: memFree=25622396/32770624 swapFree=67108860/67108860
[pid=4290] ppid=4287 vsize=10852704 memory=2086920 CPUtime=2448.85 cores=1,3,5,7
/proc/4290/stat : 4290 (java) S 4287 4290 3468 0 -1 1077944320 703179 13168 0 0 244394 484 5 2 20 0 15 0 47864332 11113168896 521730 33554432000 4194304 4196468 140732806460640 140732806443184 140455168966391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
/proc/4290/statm: 2713176 521730 3531 1 0 2674829 0
[pid=4290/tid=4343] ppid=4287 vsize=10852704 memory=2086920 CPUtime=2364.5 cores=1,3,5,7
/proc/4290/task/4343/stat : 4343 (java) R 4287 4290 3468 0 -1 4202560 385600 13168 0 0 236365 78 5 2 20 0 15 0 47864340 11113168896 521730 33554432000 4194304 4196468 140732806460640 140455140800224 140454797059708 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4344] ppid=4287 vsize=10852704 memory=2086920 CPUtime=11.94 cores=1,3,5,7
/proc/4290/task/4344/stat : 4344 (java) S 4287 4290 3468 0 -1 1077944384 25339 13168 0 0 1107 80 5 2 20 0 15 0 47864341 11113168896 521730 33554432000 4194304 4196468 140732806460640 140455173208976 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4345] ppid=4287 vsize=10852704 memory=2029396 CPUtime=11.95 cores=1,3,5,7
/proc/4290/task/4345/stat : 4345 (java) S 4287 4290 3468 0 -1 1077944384 21296 13168 0 0 1109 79 5 2 20 0 15 0 47864341 11113168896 521730 33554432000 4194304 4196468 140732806460640 140455096367888 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4346] ppid=4287 vsize=10852704 memory=2084872 CPUtime=11.93 cores=1,3,5,7
/proc/4290/task/4346/stat : 4346 (java) S 4287 4290 3468 0 -1 1077944384 22555 13168 0 0 1107 79 5 2 20 0 15 0 47864341 11113168896 521730 33554432000 4194304 4196468 140732806460640 140455095315600 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4347] ppid=4287 vsize=10852704 memory=8112282956445269571 CPUtime=11.87 cores=1,3,5,7
/proc/4290/task/4347/stat : 4347 (java) S 4287 4290 3468 0 -1 1077944384 28327 13168 0 0 1102 78 5 2 20 0 15 0 47864341 11113168896 521730 33554432000 4194304 4196468 140732806460640 140454740597776 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4348] ppid=4287 vsize=10852704 memory=1568 CPUtime=4.28 cores=1,3,5,7
/proc/4290/task/4348/stat : 4348 (java) S 4287 4290 3468 0 -1 1077944384 31079 13168 0 0 392 29 5 2 20 0 15 0 47864343 11113168896 521730 33554432000 4194304 4196468 140732806460640 140454440843376 140455168977538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4349] ppid=4287 vsize=10852704 memory=2084872 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4349/stat : 4349 (java) S 4287 4290 3468 0 -1 1077944384 14 13168 0 0 0 0 5 2 20 0 15 0 47864343 11113168896 521730 33554432000 4194304 4196468 140732806460640 140454356050848 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4350] ppid=4287 vsize=10852704 memory=2084872 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4350/stat : 4350 (java) S 4287 4290 3468 0 -1 1077944384 7 13168 0 0 0 0 5 2 20 0 15 0 47864343 11113168896 521730 33554432000 4194304 4196468 140732806460640 140454221833344 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4351] ppid=4287 vsize=10852704 memory=2086920 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4351/stat : 4351 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864346 11113168896 521730 33554432000 4194304 4196468 140732806460640 140454087616592 140455168984987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4352] ppid=4287 vsize=10852704 memory=4140 CPUtime=12.88 cores=1,3,5,7
/proc/4290/task/4352/stat : 4352 (java) S 4287 4290 3468 0 -1 1077944384 63471 13168 0 0 1274 7 5 2 20 0 15 0 47864346 11113168896 521730 33554432000 4194304 4196468 140732806460640 140454439791216 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4353] ppid=4287 vsize=10852704 memory=15996 CPUtime=13.82 cores=1,3,5,7
/proc/4290/task/4353/stat : 4353 (java) S 4287 4290 3468 0 -1 1077944384 61297 13168 0 0 1368 7 5 2 20 0 15 0 47864346 11113168896 521730 33554432000 4194304 4196468 140732806460640 140454438738416 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4354] ppid=4287 vsize=10852704 memory=1296 CPUtime=4.89 cores=1,3,5,7
/proc/4290/task/4354/stat : 4354 (java) S 4287 4290 3468 0 -1 1077944384 60450 13168 0 0 472 10 5 2 20 0 15 0 47864346 11113168896 521730 33554432000 4194304 4196468 140732806460640 140454437686128 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4355] ppid=4287 vsize=10852704 memory=2084872 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4355/stat : 4355 (java) S 4287 4290 3468 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 47864346 11113168896 521730 33554432000 4194304 4196468 140732806460640 140453349420000 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4356] ppid=4287 vsize=10852704 memory=2084872 CPUtime=1.3 cores=1,3,5,7
/proc/4290/task/4356/stat : 4356 (java) S 4287 4290 3468 0 -1 1077944384 1554 13168 0 0 56 67 5 2 20 0 15 0 47864347 11113168896 521730 33554432000 4194304 4196468 140732806460640 140454436633008 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
Current children cumulated CPU time: 2448.85 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 2086920 KiB
[startup+2442.3 s]
/proc/loadavg: 1.96 1.90 1.80 3/216 4586
/proc/meminfo: memFree=25540116/32770624 swapFree=67108860/67108860
[pid=4290] ppid=4287 vsize=10852704 memory=2150576 CPUtime=2508.96 cores=1,3,5,7
/proc/4290/stat : 4290 (java) S 4287 4290 3468 0 -1 1077944320 739889 13168 0 0 250400 489 5 2 20 0 15 0 47864332 11113168896 537644 33554432000 4194304 4196468 140732806460640 140732806443184 140455168966391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
/proc/4290/statm: 2713176 537644 3531 1 0 2674829 0
[pid=4290/tid=4343] ppid=4287 vsize=10852704 memory=2114280 CPUtime=2424.46 cores=1,3,5,7
/proc/4290/task/4343/stat : 4343 (java) R 4287 4290 3468 0 -1 4202560 416758 13168 0 0 242358 81 5 2 20 0 15 0 47864340 11113168896 537644 33554432000 4194304 4196468 140732806460640 140455140801312 140454795097701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4344] ppid=4287 vsize=10852704 memory=2114280 CPUtime=11.97 cores=1,3,5,7
/proc/4290/task/4344/stat : 4344 (java) S 4287 4290 3468 0 -1 1077944384 25828 13168 0 0 1110 80 5 2 20 0 15 0 47864341 11113168896 537644 33554432000 4194304 4196468 140732806460640 140455173208976 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4345] ppid=4287 vsize=10852704 memory=2125964 CPUtime=11.97 cores=1,3,5,7
/proc/4290/task/4345/stat : 4345 (java) S 4287 4290 3468 0 -1 1077944384 21812 13168 0 0 1111 79 5 2 20 0 15 0 47864341 11113168896 537644 33554432000 4194304 4196468 140732806460640 140455096367888 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4346] ppid=4287 vsize=10852704 memory=2138392 CPUtime=11.96 cores=1,3,5,7
/proc/4290/task/4346/stat : 4346 (java) S 4287 4290 3468 0 -1 1077944384 23850 13168 0 0 1109 80 5 2 20 0 15 0 47864341 11113168896 537644 33554432000 4194304 4196468 140732806460640 140455095315600 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4347] ppid=4287 vsize=10852704 memory=2150576 CPUtime=11.89 cores=1,3,5,7
/proc/4290/task/4347/stat : 4347 (java) S 4287 4290 3468 0 -1 1077944384 29289 13168 0 0 1104 78 5 2 20 0 15 0 47864341 11113168896 537644 33554432000 4194304 4196468 140732806460640 140454740597776 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4348] ppid=4287 vsize=10852704 memory=2150576 CPUtime=4.29 cores=1,3,5,7
/proc/4290/task/4348/stat : 4348 (java) S 4287 4290 3468 0 -1 1077944384 31471 13168 0 0 393 29 5 2 20 0 15 0 47864343 11113168896 537644 33554432000 4194304 4196468 140732806460640 140454440843376 140455168977538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4349] ppid=4287 vsize=10852704 memory=2150576 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4349/stat : 4349 (java) S 4287 4290 3468 0 -1 1077944384 14 13168 0 0 0 0 5 2 20 0 15 0 47864343 11113168896 537644 33554432000 4194304 4196468 140732806460640 140454356050848 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4350] ppid=4287 vsize=10852704 memory=2150576 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4350/stat : 4350 (java) S 4287 4290 3468 0 -1 1077944384 7 13168 0 0 0 0 5 2 20 0 15 0 47864343 11113168896 537644 33554432000 4194304 4196468 140732806460640 140454221833344 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4351] ppid=4287 vsize=10852704 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4351/stat : 4351 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864346 11113168896 537644 33554432000 4194304 4196468 140732806460640 140454087616592 140455168984987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4352] ppid=4287 vsize=10852704 memory=2150576 CPUtime=12.88 cores=1,3,5,7
/proc/4290/task/4352/stat : 4352 (java) S 4287 4290 3468 0 -1 1077944384 63473 13168 0 0 1274 7 5 2 20 0 15 0 47864346 11113168896 537644 33554432000 4194304 4196468 140732806460640 140454439791216 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4353] ppid=4287 vsize=10852704 memory=2150576 CPUtime=13.82 cores=1,3,5,7
/proc/4290/task/4353/stat : 4353 (java) S 4287 4290 3468 0 -1 1077944384 61299 13168 0 0 1368 7 5 2 20 0 15 0 47864346 11113168896 537644 33554432000 4194304 4196468 140732806460640 140454438738416 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4354] ppid=4287 vsize=10852704 memory=2150576 CPUtime=4.89 cores=1,3,5,7
/proc/4290/task/4354/stat : 4354 (java) S 4287 4290 3468 0 -1 1077944384 62318 13168 0 0 472 10 5 2 20 0 15 0 47864346 11113168896 537644 33554432000 4194304 4196468 140732806460640 140454437686128 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4355] ppid=4287 vsize=10852704 memory=2150576 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4355/stat : 4355 (java) S 4287 4290 3468 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 47864346 11113168896 537644 33554432000 4194304 4196468 140732806460640 140453349420000 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4356] ppid=4287 vsize=10852704 memory=2150576 CPUtime=1.32 cores=1,3,5,7
/proc/4290/task/4356/stat : 4356 (java) S 4287 4290 3468 0 -1 1077944384 1580 13168 0 0 57 68 5 2 20 0 15 0 47864347 11113168896 537644 33554432000 4194304 4196468 140732806460640 140454436633008 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
Current children cumulated CPU time: 2508.96 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 2150576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2453.4 s]
/proc/loadavg: 1.82 1.87 1.79 3/216 4586
/proc/meminfo: memFree=25551468/32770624 swapFree=67108860/67108860
[pid=4290] ppid=4287 vsize=10852704 memory=2160932 CPUtime=2520.08 cores=1,3,5,7
/proc/4290/stat : 4290 (java) S 4287 4290 3468 0 -1 1077944320 743278 13168 0 0 251512 489 5 2 20 0 15 0 47864332 11113168896 540233 33554432000 4194304 4196468 140732806460640 140732806443184 140455168966391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
/proc/4290/statm: 2713176 540233 3531 1 0 2674829 0
[pid=4290/tid=4343] ppid=4287 vsize=10852704 memory=5520 CPUtime=2435.56 cores=1,3,5,7
/proc/4290/task/4343/stat : 4343 (java) R 4287 4290 3468 0 -1 4202560 420091 13168 0 0 243468 81 5 2 20 0 15 0 47864340 11113168896 540233 33554432000 4194304 4196468 140732806460640 140455140800496 140454793790487 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4344] ppid=4287 vsize=10852704 memory=4616 CPUtime=11.97 cores=1,3,5,7
/proc/4290/task/4344/stat : 4344 (java) S 4287 4290 3468 0 -1 1077944384 25847 13168 0 0 1110 80 5 2 20 0 15 0 47864341 11113168896 540233 33554432000 4194304 4196468 140732806460640 140455173208976 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4345] ppid=4287 vsize=10852704 memory=2150576 CPUtime=11.97 cores=1,3,5,7
/proc/4290/task/4345/stat : 4345 (java) S 4287 4290 3468 0 -1 1077944384 21834 13168 0 0 1111 79 5 2 20 0 15 0 47864341 11113168896 540233 33554432000 4194304 4196468 140732806460640 140455096367888 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4346] ppid=4287 vsize=10852704 memory=2150576 CPUtime=11.96 cores=1,3,5,7
/proc/4290/task/4346/stat : 4346 (java) S 4287 4290 3468 0 -1 1077944384 23852 13168 0 0 1109 80 5 2 20 0 15 0 47864341 11113168896 540233 33554432000 4194304 4196468 140732806460640 140455095315600 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4347] ppid=4287 vsize=10852704 memory=301741373374332954 CPUtime=11.9 cores=1,3,5,7
/proc/4290/task/4347/stat : 4347 (java) S 4287 4290 3468 0 -1 1077944384 29291 13168 0 0 1105 78 5 2 20 0 15 0 47864341 11113168896 540233 33554432000 4194304 4196468 140732806460640 140454740597776 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4348] ppid=4287 vsize=10852704 memory=288230621803970871 CPUtime=4.29 cores=1,3,5,7
/proc/4290/task/4348/stat : 4348 (java) S 4287 4290 3468 0 -1 1077944384 31482 13168 0 0 393 29 5 2 20 0 15 0 47864343 11113168896 540233 33554432000 4194304 4196468 140732806460640 140454440843376 140455168977538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4349] ppid=4287 vsize=10852704 memory=16105879074244933 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4349/stat : 4349 (java) S 4287 4290 3468 0 -1 1077944384 14 13168 0 0 0 0 5 2 20 0 15 0 47864343 11113168896 540233 33554432000 4194304 4196468 140732806460640 140454356050848 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4350] ppid=4287 vsize=10852704 memory=2344 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4350/stat : 4350 (java) S 4287 4290 3468 0 -1 1077944384 7 13168 0 0 0 0 5 2 20 0 15 0 47864343 11113168896 540233 33554432000 4194304 4196468 140732806460640 140454221833344 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4351] ppid=4287 vsize=10852704 memory=1724 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4351/stat : 4351 (java) S 4287 4290 3468 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 47864346 11113168896 540233 33554432000 4194304 4196468 140732806460640 140454087616592 140455168984987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4352] ppid=4287 vsize=10852704 memory=1004 CPUtime=12.88 cores=1,3,5,7
/proc/4290/task/4352/stat : 4352 (java) S 4287 4290 3468 0 -1 1077944384 63473 13168 0 0 1274 7 5 2 20 0 15 0 47864346 11113168896 540233 33554432000 4194304 4196468 140732806460640 140454439791216 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4353] ppid=4287 vsize=10852704 memory=14004 CPUtime=13.82 cores=1,3,5,7
/proc/4290/task/4353/stat : 4353 (java) S 4287 4290 3468 0 -1 1077944384 61299 13168 0 0 1368 7 5 2 20 0 15 0 47864346 11113168896 540233 33554432000 4194304 4196468 140732806460640 140454438738416 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4354] ppid=4287 vsize=10852704 memory=796 CPUtime=4.89 cores=1,3,5,7
/proc/4290/task/4354/stat : 4354 (java) S 4287 4290 3468 0 -1 1077944384 62318 13168 0 0 472 10 5 2 20 0 15 0 47864346 11113168896 540233 33554432000 4194304 4196468 140732806460640 140454437686128 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4355] ppid=4287 vsize=10852704 memory=1712 CPUtime=0.07 cores=1,3,5,7
/proc/4290/task/4355/stat : 4355 (java) S 4287 4290 3468 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 47864346 11113168896 540233 33554432000 4194304 4196468 140732806460640 140453349420000 140455168976597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
[pid=4290/tid=4356] ppid=4287 vsize=10852704 memory=1956 CPUtime=1.34 cores=1,3,5,7
/proc/4290/task/4356/stat : 4356 (java) S 4287 4290 3468 0 -1 1077944384 1580 13168 0 0 58 69 5 2 20 0 15 0 47864347 11113168896 540233 33554432000 4194304 4196468 140732806460640 140454436633008 140455168977538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8757248 140732806461612 140732806464860 140732806464860 140732806467535 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 2160932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2453.45 s]
# the end of solver process 4290 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.19 s, system=4.96426 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2453.45
CPU time (s): 2520.16
CPU user time (s): 2515.19
CPU system time (s): 4.96426
CPU usage (%): 102.719
Max. virtual memory (cumulated for all children) (KiB): 10852704
Max. memory (cumulated for all children) (KiB): 2928904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.19
system time used= 4.96426
maximum resident set size= 2961784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 761819
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 149441
involuntary context switches= 4320
# summary of solver processes directly reported to runsolver:
# pid: 4290
# total CPU time (s): 2520.16
# total CPU user time (s): 2515.19
# total CPU system time (s): 4.96426
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7644 second user time and 24.3754 second system time
The end