0.99/0.74 c Concrete v3.8.1528841891564 running
13.94/5.83 c 01:53:26.412 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11785. 'extension(4, x[1][12]=[0‥4]) :: init: true :: relation: MDD 31184256, 9 edges, 5 vertices, 6 tuples
13.94/5.83 c 01:53:26.416 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11786. 'extension(4, x[1][12]=[0‥4]) :: init: true :: relation: MDD 708004780, 5 edges, 3 vertices, 4 tuples
13.94/5.84 c 01:53:26.421 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11810. 'extension(x[0][0]=[0‥4], 4) :: init: true :: relation: MDD 1864572141, 9 edges, 5 vertices, 6 tuples
13.94/5.84 c 01:53:26.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11839. 'extension(x[0][22]=[0‥4], 4) :: init: true :: relation: MDD 1700397528, 9 edges, 5 vertices, 6 tuples
13.94/5.84 c 01:53:26.423 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11840. 'extension(4, x[2][22]=[0‥4]) :: init: true :: relation: MDD 1700397528, 9 edges, 5 vertices, 6 tuples
13.94/5.85 c 01:53:26.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11868. 'extension(4, x[3][0]=[0‥4]) :: init: true :: relation: MDD 1864572141, 9 edges, 5 vertices, 6 tuples
13.94/5.85 c 01:53:26.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11871. 'extension(4, 4) :: init: true :: relation: MDD 1864572141, 9 edges, 5 vertices, 6 tuples
13.94/5.85 c 01:53:26.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11899. 'extension(x[1][4]=[0‥4], 4) :: init: true :: relation: MDD 8415638, 9 edges, 5 vertices, 6 tuples
13.94/5.85 c 01:53:26.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11900. 'extension(4, x[3][4]=[0‥4]) :: init: true :: relation: MDD 8415638, 9 edges, 5 vertices, 6 tuples
13.94/5.85 c 01:53:26.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11930. 'extension(x[2][9]=[0‥4], 4) :: init: true :: relation: MDD 1058994646, 9 edges, 5 vertices, 6 tuples
13.94/5.85 c 01:53:26.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11931. 'extension(4, x[4][9]=[0‥4]) :: init: true :: relation: MDD 1058994646, 9 edges, 5 vertices, 6 tuples
13.94/5.85 c 01:53:26.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11962. 'extension(x[2][16]=[0‥4], 4) :: init: true :: relation: MDD 803149788, 9 edges, 5 vertices, 6 tuples
13.94/5.85 c 01:53:26.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11963. 'extension(4, x[4][16]=[0‥4]) :: init: true :: relation: MDD 803149788, 9 edges, 5 vertices, 6 tuples
13.94/5.86 c 01:53:26.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 11995. 'extension(x[2][23]=[0‥4], 4) :: init: true :: relation: MDD 2017980204, 9 edges, 5 vertices, 6 tuples
13.94/5.86 c 01:53:26.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12026. 'extension(x[3][1]=[0‥4], 4) :: init: true :: relation: MDD 1263455953, 9 edges, 5 vertices, 6 tuples
13.94/5.86 c 01:53:26.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12027. 'extension(4, x[5][1]=[0‥4]) :: init: true :: relation: MDD 1263455953, 9 edges, 5 vertices, 6 tuples
13.94/5.86 c 01:53:26.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12059. 'extension(x[3][17]=[0‥4], 4) :: init: true :: relation: MDD 2042971662, 9 edges, 5 vertices, 6 tuples
13.94/5.86 c 01:53:26.444 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12060. 'extension(4, x[5][17]=[0‥4]) :: init: true :: relation: MDD 2042971662, 9 edges, 5 vertices, 6 tuples
13.94/5.86 c 01:53:26.446 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12093. 'extension(x[3][18]=[0‥4], 4) :: init: true :: relation: MDD 752772379, 9 edges, 5 vertices, 6 tuples
13.94/5.86 c 01:53:26.446 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12094. 'extension(4, x[5][18]=[0‥4]) :: init: true :: relation: MDD 752772379, 9 edges, 5 vertices, 6 tuples
13.94/5.87 c 01:53:26.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12127. 'extension(4, x[5][23]=[0‥4]) :: init: true :: relation: MDD 2017980204, 9 edges, 5 vertices, 6 tuples
13.94/5.87 c 01:53:26.450 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12130. 'extension(4, 4) :: init: true :: relation: MDD 2017980204, 9 edges, 5 vertices, 6 tuples
13.94/5.87 c 01:53:26.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12159. 'extension(4, wk[24][0]=[0‥1]) :: init: true :: relation: MDD 504006221, 5 edges, 3 vertices, 4 tuples
13.94/5.87 c 01:53:26.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12160. 'extension(x[4][24]=[0‥4], 4) :: init: true :: relation: MDD 1104938392, 9 edges, 5 vertices, 6 tuples
13.94/5.87 c 01:53:26.453 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12161. 'extension(4, x[6][24]=[0‥4]) :: init: true :: relation: MDD 1104938392, 9 edges, 5 vertices, 6 tuples
13.94/5.87 c 01:53:26.455 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12193. 'extension(4, wk[27][0]=[0‥1]) :: init: true :: relation: MDD 520354720, 5 edges, 3 vertices, 4 tuples
13.94/5.87 c 01:53:26.455 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12194. 'extension(x[4][27]=[0‥4], 4) :: init: true :: relation: MDD 1870054092, 9 edges, 5 vertices, 6 tuples
13.94/5.88 c 01:53:26.458 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12227. 'extension(4, wk[27][0]=[0‥1]) :: init: true :: relation: MDD 1002400446, 5 edges, 3 vertices, 4 tuples
13.94/5.88 c 01:53:26.458 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12228. 'extension(4, x[7][27]=[0‥4]) :: init: true :: relation: MDD 1870054092, 9 edges, 5 vertices, 6 tuples
13.94/5.88 c 01:53:26.459 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12231. 'extension(4, 4) :: init: true :: relation: MDD 1870054092, 9 edges, 5 vertices, 6 tuples
13.94/5.88 c 01:53:26.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12261. 'extension(x[6][15]=[0‥4], 4) :: init: true :: relation: MDD 1204822967, 9 edges, 5 vertices, 6 tuples
13.94/5.88 c 01:53:26.462 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12295. 'extension(x[6][17]=[0‥4], 4) :: init: true :: relation: MDD 2042971662, 9 edges, 5 vertices, 6 tuples
13.94/5.88 c 01:53:26.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12296. 'extension(4, x[8][17]=[0‥4]) :: init: true :: relation: MDD 2042971662, 9 edges, 5 vertices, 6 tuples
13.94/5.88 c 01:53:26.466 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12331. 'extension(x[6][19]=[0‥4], 4) :: init: true :: relation: MDD 1579015748, 9 edges, 5 vertices, 6 tuples
13.94/5.88 c 01:53:26.466 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12332. 'extension(4, x[8][19]=[0‥4]) :: init: true :: relation: MDD 1579015748, 9 edges, 5 vertices, 6 tuples
13.94/5.89 c 01:53:26.469 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12367. 'extension(x[7][13]=[0‥4], 4) :: init: true :: relation: MDD 538721498, 9 edges, 5 vertices, 6 tuples
13.94/5.89 c 01:53:26.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12368. 'extension(4, x[9][13]=[0‥4]) :: init: true :: relation: MDD 538721498, 9 edges, 5 vertices, 6 tuples
13.94/5.89 c 01:53:26.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12401. 'extension(4, x[9][15]=[0‥4]) :: init: true :: relation: MDD 1204822967, 9 edges, 5 vertices, 6 tuples
13.94/5.89 c 01:53:26.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12404. 'extension(4, 4) :: init: true :: relation: MDD 1204822967, 9 edges, 5 vertices, 6 tuples
14.27/5.90 c 01:53:26.475 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12435. 'extension(x[8][1]=[0‥4], 4) :: init: true :: relation: MDD 1263455953, 9 edges, 5 vertices, 6 tuples
14.27/5.90 c 01:53:26.476 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12436. 'extension(4, x[10][1]=[0‥4]) :: init: true :: relation: MDD 1263455953, 9 edges, 5 vertices, 6 tuples
14.27/5.90 c 01:53:26.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12469. 'extension(x[8][11]=[0‥4], 4) :: init: true :: relation: MDD 1490466745, 9 edges, 5 vertices, 6 tuples
14.27/5.90 c 01:53:26.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12470. 'extension(4, x[10][11]=[0‥4]) :: init: true :: relation: MDD 1490466745, 9 edges, 5 vertices, 6 tuples
14.27/5.90 c 01:53:26.481 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12503. 'extension(x[9][9]=[0‥4], 4) :: init: true :: relation: MDD 1058994646, 9 edges, 5 vertices, 6 tuples
14.27/5.90 c 01:53:26.481 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12504. 'extension(4, x[11][9]=[0‥4]) :: init: true :: relation: MDD 1058994646, 9 edges, 5 vertices, 6 tuples
14.27/5.90 c 01:53:26.484 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12537. 'extension(x[9][21]=[0‥4], 4) :: init: true :: relation: MDD 1849941462, 9 edges, 5 vertices, 6 tuples
14.27/5.90 c 01:53:26.484 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12538. 'extension(4, x[11][21]=[0‥4]) :: init: true :: relation: MDD 1849941462, 9 edges, 5 vertices, 6 tuples
14.27/5.90 c 01:53:26.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12573. 'extension(x[10][7]=[0‥4], 4) :: init: true :: relation: MDD 1983063045, 9 edges, 5 vertices, 6 tuples
14.27/5.91 c 01:53:26.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12607. 'extension(4, wk[7][1]=[0‥1]) :: init: true :: relation: MDD 2063355321, 5 edges, 3 vertices, 4 tuples
14.27/5.91 c 01:53:26.489 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12608. 'extension(4, x[13][7]=[0‥4]) :: init: true :: relation: MDD 1983063045, 9 edges, 5 vertices, 6 tuples
14.27/5.91 c 01:53:26.489 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12611. 'extension(4, 4) :: init: true :: relation: MDD 1983063045, 9 edges, 5 vertices, 6 tuples
14.27/5.91 c 01:53:26.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12642. 'extension(4, wk[12][1]=[0‥1]) :: init: true :: relation: MDD 194672584, 5 edges, 3 vertices, 4 tuples
14.27/5.91 c 01:53:26.492 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12643. 'extension(x[11][12]=[0‥4], 4) :: init: true :: relation: MDD 31184256, 9 edges, 5 vertices, 6 tuples
14.27/5.91 c 01:53:26.492 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12644. 'extension(4, x[13][12]=[0‥4]) :: init: true :: relation: MDD 31184256, 9 edges, 5 vertices, 6 tuples
14.27/5.91 c 01:53:26.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12677. 'extension(4, wk[16][1]=[0‥1]) :: init: true :: relation: MDD 1287875609, 5 edges, 3 vertices, 4 tuples
14.27/5.91 c 01:53:26.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12678. 'extension(x[11][16]=[0‥4], 4) :: init: true :: relation: MDD 803149788, 9 edges, 5 vertices, 6 tuples
14.27/5.92 c 01:53:26.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12679. 'extension(4, x[13][16]=[0‥4]) :: init: true :: relation: MDD 803149788, 9 edges, 5 vertices, 6 tuples
14.27/5.92 c 01:53:26.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12714. 'extension(4, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 1691678663, 5 edges, 3 vertices, 4 tuples
14.27/5.92 c 01:53:26.499 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12715. 'extension(x[12][6]=[0‥4], 4) :: init: true :: relation: MDD 1199894489, 9 edges, 5 vertices, 6 tuples
14.27/5.92 c 01:53:26.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12749. 'extension(4, wk[8][1]=[0‥1]) :: init: true :: relation: MDD 1648278215, 5 edges, 3 vertices, 4 tuples
14.27/5.92 c 01:53:26.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12750. 'extension(x[12][8]=[0‥4], 4) :: init: true :: relation: MDD 994632067, 9 edges, 5 vertices, 6 tuples
14.27/5.92 c 01:53:26.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12784. 'extension(x[13][4]=[0‥4], 4) :: init: true :: relation: MDD 8415638, 9 edges, 5 vertices, 6 tuples
14.27/5.92 c 01:53:26.502 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12785. 'extension(4, x[15][4]=[0‥4]) :: init: true :: relation: MDD 8415638, 9 edges, 5 vertices, 6 tuples
14.27/5.92 c 01:53:26.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12818. 'extension(4, x[15][6]=[0‥4]) :: init: true :: relation: MDD 1199894489, 9 edges, 5 vertices, 6 tuples
14.27/5.92 c 01:53:26.505 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12821. 'extension(4, 4) :: init: true :: relation: MDD 1199894489, 9 edges, 5 vertices, 6 tuples
14.27/5.92 c 01:53:26.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12852. 'extension(4, x[15][8]=[0‥4]) :: init: true :: relation: MDD 994632067, 9 edges, 5 vertices, 6 tuples
14.27/5.93 c 01:53:26.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12855. 'extension(4, 4) :: init: true :: relation: MDD 994632067, 9 edges, 5 vertices, 6 tuples
14.27/5.93 c 01:53:26.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12886. 'extension(x[13][10]=[0‥4], 4) :: init: true :: relation: MDD 108049354, 9 edges, 5 vertices, 6 tuples
14.27/5.93 c 01:53:26.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12920. 'extension(x[13][11]=[0‥4], 4) :: init: true :: relation: MDD 1490466745, 9 edges, 5 vertices, 6 tuples
14.27/5.93 c 01:53:26.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12921. 'extension(4, x[15][11]=[0‥4]) :: init: true :: relation: MDD 1490466745, 9 edges, 5 vertices, 6 tuples
14.27/5.93 c 01:53:26.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12954. 'extension(x[13][14]=[0‥4], 4) :: init: true :: relation: MDD 1195909598, 9 edges, 5 vertices, 6 tuples
14.27/5.94 c 01:53:26.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12955. 'extension(4, x[15][14]=[0‥4]) :: init: true :: relation: MDD 1195909598, 9 edges, 5 vertices, 6 tuples
14.27/5.94 c 01:53:26.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12988. 'extension(4, x[16][10]=[0‥4]) :: init: true :: relation: MDD 108049354, 9 edges, 5 vertices, 6 tuples
14.27/5.94 c 01:53:26.516 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 12991. 'extension(4, 4) :: init: true :: relation: MDD 108049354, 9 edges, 5 vertices, 6 tuples
14.27/5.94 c 01:53:26.518 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13022. 'extension(x[14][28]=[0‥4], 4) :: init: true :: relation: MDD 914293025, 9 edges, 5 vertices, 6 tuples
14.27/5.94 c 01:53:26.518 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13054. 'extension(x[14][29]=[0‥4], 4) :: init: true :: relation: MDD 1397338694, 9 edges, 5 vertices, 6 tuples
14.27/5.94 c 01:53:26.520 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13086. 'extension(x[15][2]=[0‥4], 4) :: init: true :: relation: MDD 1217883757, 9 edges, 5 vertices, 6 tuples
14.27/5.94 c 01:53:26.521 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13120. 'extension(4, x[17][28]=[0‥4]) :: init: true :: relation: MDD 914293025, 9 edges, 5 vertices, 6 tuples
14.27/5.94 c 01:53:26.521 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13123. 'extension(4, 4) :: init: true :: relation: MDD 914293025, 9 edges, 5 vertices, 6 tuples
14.27/5.95 c 01:53:26.522 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13152. 'extension(4, x[17][29]=[0‥4]) :: init: true :: relation: MDD 1397338694, 9 edges, 5 vertices, 6 tuples
14.27/5.95 c 01:53:26.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13155. 'extension(4, 4) :: init: true :: relation: MDD 1397338694, 9 edges, 5 vertices, 6 tuples
14.27/5.95 c 01:53:26.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13184. 'extension(4, x[18][2]=[0‥4]) :: init: true :: relation: MDD 1217883757, 9 edges, 5 vertices, 6 tuples
14.27/5.95 c 01:53:26.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13187. 'extension(4, 4) :: init: true :: relation: MDD 1217883757, 9 edges, 5 vertices, 6 tuples
14.27/5.95 c 01:53:26.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13218. 'extension(x[16][25]=[0‥4], 4) :: init: true :: relation: MDD 1624510452, 9 edges, 5 vertices, 6 tuples
14.27/5.95 c 01:53:26.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13251. 'extension(x[17][21]=[0‥4], 4) :: init: true :: relation: MDD 1849941462, 9 edges, 5 vertices, 6 tuples
14.27/5.95 c 01:53:26.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13252. 'extension(4, x[19][21]=[0‥4]) :: init: true :: relation: MDD 1849941462, 9 edges, 5 vertices, 6 tuples
14.27/5.95 c 01:53:26.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13287. 'extension(4, x[19][25]=[0‥4]) :: init: true :: relation: MDD 1624510452, 9 edges, 5 vertices, 6 tuples
14.27/5.95 c 01:53:26.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13290. 'extension(4, 4) :: init: true :: relation: MDD 1624510452, 9 edges, 5 vertices, 6 tuples
14.27/5.95 c 01:53:26.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13320. 'extension(4, wk[22][2]=[0‥1]) :: init: true :: relation: MDD 2038185019, 5 edges, 3 vertices, 4 tuples
14.27/5.95 c 01:53:26.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13321. 'extension(x[18][22]=[0‥4], 4) :: init: true :: relation: MDD 1700397528, 9 edges, 5 vertices, 6 tuples
14.27/5.95 c 01:53:26.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13322. 'extension(4, x[20][22]=[0‥4]) :: init: true :: relation: MDD 1700397528, 9 edges, 5 vertices, 6 tuples
14.27/5.96 c 01:53:26.538 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13357. 'extension(x[20][20]=[0‥4], 4) :: init: true :: relation: MDD 318644008, 9 edges, 5 vertices, 6 tuples
14.27/5.96 c 01:53:26.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13393. 'extension(x[21][3]=[0‥4], 4) :: init: true :: relation: MDD 1769616559, 9 edges, 5 vertices, 6 tuples
14.27/5.96 c 01:53:26.540 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13394. 'extension(4, x[23][3]=[0‥4]) :: init: true :: relation: MDD 1769616559, 9 edges, 5 vertices, 6 tuples
14.27/5.96 c 01:53:26.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13427. 'extension(4, x[23][20]=[0‥4]) :: init: true :: relation: MDD 318644008, 9 edges, 5 vertices, 6 tuples
14.27/5.96 c 01:53:26.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13430. 'extension(4, 4) :: init: true :: relation: MDD 318644008, 9 edges, 5 vertices, 6 tuples
14.27/5.96 c 01:53:26.545 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13462. 'extension(x[22][26]=[0‥4], 4) :: init: true :: relation: MDD 266843824, 9 edges, 5 vertices, 6 tuples
14.27/5.96 c 01:53:26.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13494. 'extension(x[23][14]=[0‥4], 4) :: init: true :: relation: MDD 1195909598, 9 edges, 5 vertices, 6 tuples
14.27/5.96 c 01:53:26.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13495. 'extension(4, x[25][14]=[0‥4]) :: init: true :: relation: MDD 1195909598, 9 edges, 5 vertices, 6 tuples
14.27/5.97 c 01:53:26.548 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13526. 'extension(x[23][18]=[0‥4], 4) :: init: true :: relation: MDD 752772379, 9 edges, 5 vertices, 6 tuples
14.27/5.97 c 01:53:26.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13527. 'extension(4, x[25][18]=[0‥4]) :: init: true :: relation: MDD 752772379, 9 edges, 5 vertices, 6 tuples
14.27/5.97 c 01:53:26.551 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13559. 'extension(4, x[25][26]=[0‥4]) :: init: true :: relation: MDD 266843824, 9 edges, 5 vertices, 6 tuples
14.27/5.97 c 01:53:26.552 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13562. 'extension(4, 4) :: init: true :: relation: MDD 266843824, 9 edges, 5 vertices, 6 tuples
14.27/5.97 c 01:53:26.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13590. 'extension(x[24][24]=[0‥4], 4) :: init: true :: relation: MDD 1104938392, 9 edges, 5 vertices, 6 tuples
14.27/5.97 c 01:53:26.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13591. 'extension(4, x[26][24]=[0‥4]) :: init: true :: relation: MDD 1104938392, 9 edges, 5 vertices, 6 tuples
14.27/5.97 c 01:53:26.556 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13620. 'extension(4, wk[3][3]=[0‥1]) :: init: true :: relation: MDD 18338606, 5 edges, 3 vertices, 4 tuples
14.27/5.97 c 01:53:26.557 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13621. 'extension(x[25][3]=[0‥4], 4) :: init: true :: relation: MDD 1769616559, 9 edges, 5 vertices, 6 tuples
14.27/5.97 c 01:53:26.557 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13622. 'extension(4, x[27][3]=[0‥4]) :: init: true :: relation: MDD 1769616559, 9 edges, 5 vertices, 6 tuples
14.27/5.98 c 01:53:26.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13650. 'extension(4, wk[5][3]=[0‥1]) :: init: true :: relation: MDD 1031780408, 5 edges, 3 vertices, 4 tuples
14.27/5.98 c 01:53:26.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13651. 'extension(x[25][5]=[0‥4], 4) :: init: true :: relation: MDD 565847109, 9 edges, 5 vertices, 6 tuples
14.27/5.98 c 01:53:26.560 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13680. 'extension(4, wk[5][3]=[0‥1]) :: init: true :: relation: MDD 976725249, 5 edges, 3 vertices, 4 tuples
14.27/5.98 c 01:53:26.560 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13681. 'extension(4, 4) :: init: true :: relation: MDD 565847109, 9 edges, 5 vertices, 6 tuples
14.27/5.98 c 01:53:26.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13682. 'extension(4, 4) :: init: true :: relation: MDD 1293940401, 5 edges, 3 vertices, 4 tuples
14.27/5.98 c 01:53:26.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13706. 'extension(4, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 1171178358, 5 edges, 3 vertices, 4 tuples
14.27/5.98 c 01:53:26.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13707. 'extension(x[26][13]=[0‥4], 4) :: init: true :: relation: MDD 538721498, 9 edges, 5 vertices, 6 tuples
14.27/5.98 c 01:53:26.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13708. 'extension(4, x[26][13]=[0‥4]) :: init: true :: relation: MDD 1038002783, 5 edges, 3 vertices, 4 tuples
14.27/5.98 c 01:53:26.563 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13732. 'extension(4, wk[19][3]=[0‥1]) :: init: true :: relation: MDD 1112400678, 5 edges, 3 vertices, 4 tuples
14.27/5.98 c 01:53:26.564 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13733. 'extension(x[26][19]=[0‥4], 4) :: init: true :: relation: MDD 1579015748, 9 edges, 5 vertices, 6 tuples
14.27/5.98 c 01:53:26.564 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13734. 'extension(4, x[26][19]=[0‥4]) :: init: true :: relation: MDD 1727171103, 5 edges, 3 vertices, 4 tuples
14.63/6.01 c 01:53:26.597 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14249. 'extension(x[1][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.02 c 01:53:26.597 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14251. 'extension(x[1][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.02 c 01:53:26.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14257. 'extension(x[0][0]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.02 c 01:53:26.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14261. 'extension(x[0][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.02 c 01:53:26.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14263. 'extension(x[2][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.02 c 01:53:26.599 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14275. 'extension(x[3][0]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.02 c 01:53:26.600 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14289. 'extension(x[1][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.02 c 01:53:26.600 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14291. 'extension(x[3][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.02 c 01:53:26.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14305. 'extension(x[2][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.02 c 01:53:26.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14307. 'extension(x[4][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.02 c 01:53:26.602 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14321. 'extension(x[2][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.02 c 01:53:26.602 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14323. 'extension(x[4][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.02 c 01:53:26.607 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14339. 'extension(x[2][23]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14345. 'extension(x[3][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14347. 'extension(x[5][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14361. 'extension(x[3][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14363. 'extension(x[5][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.610 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14377. 'extension(x[3][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.610 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14379. 'extension(x[5][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.611 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14395. 'extension(x[5][23]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14405. 'extension(wk[24][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14407. 'extension(x[4][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14409. 'extension(x[6][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14421. 'extension(wk[27][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14423. 'extension(x[4][27]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14429. 'extension(wk[27][0]=[0‥1]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14431. 'extension(x[7][27]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14441. 'extension(x[6][15]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14447. 'extension(x[6][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14449. 'extension(x[8][17]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.616 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14465. 'extension(x[6][19]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.616 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14467. 'extension(x[8][19]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.617 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14483. 'extension(x[7][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.03 c 01:53:26.617 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14485. 'extension(x[9][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.04 c 01:53:26.618 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14499. 'extension(x[9][15]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.04 c 01:53:26.619 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14513. 'extension(x[8][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.04 c 01:53:26.619 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14515. 'extension(x[10][1]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.04 c 01:53:26.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14529. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.04 c 01:53:26.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14531. 'extension(x[10][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.04 c 01:53:26.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14545. 'extension(x[9][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.04 c 01:53:26.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14547. 'extension(x[11][9]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.04 c 01:53:26.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14561. 'extension(x[9][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.04 c 01:53:26.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14563. 'extension(x[11][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.04 c 01:53:26.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14579. 'extension(x[10][7]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.04 c 01:53:26.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14585. 'extension(wk[7][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.63/6.04 c 01:53:26.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14587. 'extension(x[13][7]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.04 c 01:53:26.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14601. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.63/6.04 c 01:53:26.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14603. 'extension(x[11][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.04 c 01:53:26.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14605. 'extension(x[13][12]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14619. 'extension(wk[16][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14621. 'extension(x[11][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14623. 'extension(x[13][16]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.627 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14639. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.627 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14641. 'extension(x[12][6]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.628 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14647. 'extension(wk[8][1]=[0‥1]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.628 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14649. 'extension(x[12][8]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.628 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14655. 'extension(x[13][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.628 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14657. 'extension(x[15][4]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.629 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14671. 'extension(x[15][6]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.630 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14685. 'extension(x[15][8]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.631 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14699. 'extension(x[13][10]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.631 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14705. 'extension(x[13][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.631 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14707. 'extension(x[15][11]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.632 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14721. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.632 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14723. 'extension(x[15][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.633 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14737. 'extension(x[16][10]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.634 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14751. 'extension(x[14][28]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.634 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14757. 'extension(x[14][29]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.635 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14763. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.635 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14769. 'extension(x[17][28]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.635 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14775. 'extension(x[17][29]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.05 c 01:53:26.636 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14781. 'extension(x[18][2]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.637 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14795. 'extension(x[16][25]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.637 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14801. 'extension(x[17][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.637 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14803. 'extension(x[19][21]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.638 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14819. 'extension(x[19][25]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.639 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14829. 'extension(wk[22][2]=[0‥1]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.639 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14831. 'extension(x[18][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.639 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14833. 'extension(x[20][22]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.640 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14849. 'extension(x[20][20]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.641 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14855. 'extension(x[21][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.641 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14857. 'extension(x[23][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.642 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14871. 'extension(x[23][20]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.642 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14887. 'extension(x[22][26]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.643 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14893. 'extension(x[23][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.643 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14895. 'extension(x[25][14]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.644 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14909. 'extension(x[23][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.644 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14911. 'extension(x[25][18]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.645 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14927. 'extension(x[25][26]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.646 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14937. 'extension(x[24][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.646 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14939. 'extension(x[26][24]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.646 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14951. 'extension(wk[3][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.647 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14953. 'extension(x[25][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.06 c 01:53:26.647 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14955. 'extension(x[27][3]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.07 c 01:53:26.648 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14967. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.63/6.07 c 01:53:26.648 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14969. 'extension(x[25][5]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.07 c 01:53:26.648 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14975. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.63/6.07 c 01:53:26.648 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14981. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.63/6.07 c 01:53:26.649 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14983. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.07 c 01:53:26.649 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14985. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.07 c 01:53:26.649 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14991. 'extension(wk[19][3]=[0‥1]) :: init: true :: relation: Empty MDD
14.63/6.07 c 01:53:26.649 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14993. 'extension(x[26][19]=[0‥4]) :: init: true :: relation: Empty MDD
14.63/6.07 c 01:53:26.650 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14995. 'extension(x[26][19]=[0‥4]) :: init: true :: relation: Empty MDD
2520.03/2456.50 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.03/2456.50 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.03/2456.50 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.03/2456.50 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.03/2456.50 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.03/2456.50 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.03/2456.50 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.03/2456.50 at concrete.IntervalDomain.filter(IntervalDomain.scala:81)
2520.03/2456.50 at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
2520.03/2456.50 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.03/2456.50 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.03/2456.50 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.03/2456.50 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.03/2456.50 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.03/2456.50 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.03/2456.50 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.03/2456.50 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.03/2456.50 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108)
2520.03/2456.50 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.03/2456.50 at scala.Option.map(Option.scala:146)
2520.03/2456.50 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.03/2456.50 at concrete.MAC.mac(MAC.scala:203)
2520.03/2456.51 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.03/2456.51 at scala.util.Try$.apply(Try.scala:209)
2520.03/2456.51 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.03/2456.51 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.03/2456.51 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.03/2456.51 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.03/2456.51 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.03/2456.51 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.03/2456.51 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.03/2456.51 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.03/2456.51 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.03/2456.51 at concrete.MAC.oneRun(MAC.scala:253)
2520.03/2456.51 at concrete.MAC.nextSolution(MAC.scala:272)
2520.03/2456.51 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.03/2456.51 at concrete.ProblemState.map(ProblemState.scala:221)
2520.03/2456.51 at concrete.ProblemState.map(ProblemState.scala:204)
2520.03/2456.51 at concrete.MAC.nextSolution(MAC.scala:334)
2520.03/2456.51 at concrete.Solver.hasNext(Solver.scala:166)
2520.03/2456.51 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.03/2456.51 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.03/2456.51 at concrete.Solver.foreach(Solver.scala:68)
2520.03/2456.51 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.03/2456.51 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.03/2456.51 at scala.util.Success.map(Try.scala:209)
2520.03/2456.51 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.03/2456.51 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.03/2456.51 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.03/2456.51 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2456.51 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.03/2456.51 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.03/2456.51 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.03/2456.51 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.03/2456.51 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.03/2456.51 at scala.collection.immutable.List.foreach(List.scala:389)
2520.03/2456.51 at scala.App.main(App.scala:76)
2520.03/2456.51 at scala.App.main$(App.scala:74)
2520.03/2456.51 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.03/2456.51 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2456.52 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 (7727 MiB free)
memory of node 1: 16384 MiB (12716 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292989-1532303600/watcher-4292989-1532303600 -o /tmp/evaluation-result-4292989-1532303600/solver-4292989-1532303600 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532296223-4594 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1775634958 HOME/instance-4292989-1532303600.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
solver pid=5784, runsolver pid=5781
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 0.95 1.18 1.29 3/208 5841
/proc/meminfo: memFree=20929100/32770624 swapFree=67108860/67108860
[pid=5784] ppid=5781 vsize=9972712 memory=16812 CPUtime=0.08 cores=1,3,5,7
/proc/5784/stat : 5784 (java) S 5781 5784 4562 0 -1 1077944320 4327 12854 0 0 1 0 4 3 20 0 6 0 47923173 10212057088 4203 33554432000 4194304 4196468 140732630329440 140732630311984 140591896379127 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
/proc/5784/statm: 2493178 4203 1934 1 0 2481616 0
[pid=5784/tid=5837] ppid=5781 vsize=9972712 memory=-8960601696899481541 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5837/stat : 5837 (java) R 5781 5784 4562 0 -1 4202560 2170 12854 0 0 0 0 4 3 20 0 6 0 47923182 10212057088 4203 33554432000 4194304 4196468 140732630329440 140591868215888 140591882061653 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5838] ppid=5781 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5838/stat : 5838 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 6 0 47923183 10212057088 4203 33554432000 4194304 4196468 140732630329440 140591900621968 140591896389333 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5839] ppid=5781 vsize=9972712 memory=139776847009408 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5839/stat : 5839 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 6 0 47923183 10212057088 4203 33554432000 4194304 4196468 140732630329440 140591799512080 140591896389333 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5840] ppid=5781 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5840/stat : 5840 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 6 0 47923183 10212057088 4203 33554432000 4194304 4196468 140732630329440 140591798459280 140591896389333 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5841] ppid=5781 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5841/stat : 5841 (java) S 5781 5784 4562 0 -1 1077944384 2 12854 0 0 0 0 4 3 20 0 6 0 47923183 10212057088 4203 33554432000 4194304 4196468 140732630329440 140591797406480 140591896389333 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210103 s]*
/proc/loadavg: 0.95 1.18 1.29 4/217 5850
/proc/meminfo: memFree=20906700/32770624 swapFree=67108860/67108860
[pid=5784] ppid=5781 vsize=10818904 memory=42324 CPUtime=0.25 cores=1,3,5,7
/proc/5784/stat : 5784 (java) S 5781 5784 4562 0 -1 1077944320 7814 12854 0 0 16 2 4 3 20 0 15 0 47923173 11078557696 10581 33554432000 4194304 4196468 140732630329440 140732630311984 140591896379127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
/proc/5784/statm: 2704726 10581 2946 1 0 2667149 0
[pid=5784/tid=5837] ppid=5781 vsize=10818904 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/5784/task/5837/stat : 5837 (java) R 5781 5784 4562 0 -1 4202560 4555 12854 0 0 11 1 4 3 20 0 15 0 47923182 11078557696 10779 33554432000 4194304 4196468 140732630329440 140591868171552 140591876654941 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5838] ppid=5781 vsize=10818904 memory=331 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5838/stat : 5838 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923183 11078557696 10779 33554432000 4194304 4196468 140732630329440 140591900621968 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5839] ppid=5781 vsize=10818904 memory=139776847015449 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5839/stat : 5839 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923183 11078557696 10779 33554432000 4194304 4196468 140732630329440 140591799512080 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5840] ppid=5781 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5840/stat : 5840 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923183 11078557696 10779 33554432000 4194304 4196468 140732630329440 140591798459280 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5841] ppid=5781 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5841/stat : 5841 (java) S 5781 5784 4562 0 -1 1077944384 2 12854 0 0 0 0 4 3 20 0 15 0 47923183 11078557696 10779 33554432000 4194304 4196468 140732630329440 140591797406480 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5842] ppid=5781 vsize=10818904 memory=139776847009408 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5842/stat : 5842 (java) S 5781 5784 4562 0 -1 1077944384 2 12854 0 0 0 0 4 3 20 0 15 0 47923184 11078557696 10779 33554432000 4194304 4196468 140732630329440 140591355918704 140591896390274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5843] ppid=5781 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5843/stat : 5843 (java) S 5781 5784 4562 0 -1 1077944384 13 12854 0 0 0 0 4 3 20 0 15 0 47923185 11078557696 10779 33554432000 4194304 4196468 140732630329440 140591258133536 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5844] ppid=5781 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5844/stat : 5844 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923185 11078557696 10845 33554432000 4194304 4196468 140732630329440 140590654153584 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5845] ppid=5781 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5845/stat : 5845 (java) S 5781 5784 4562 0 -1 1077944384 3 12854 0 0 0 0 4 3 20 0 15 0 47923188 11078557696 10845 33554432000 4194304 4196468 140732630329440 140590413862736 140591896397723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5846] ppid=5781 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5784/task/5846/stat : 5846 (java) S 5781 5784 4562 0 -1 1077944384 485 12854 0 0 1 0 4 3 20 0 15 0 47923188 11078557696 10845 33554432000 4194304 4196468 140732630329440 140591354866544 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5847] ppid=5781 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5847/stat : 5847 (java) S 5781 5784 4562 0 -1 1077944384 122 12854 0 0 0 0 4 3 20 0 15 0 47923188 11078557696 10845 33554432000 4194304 4196468 140732630329440 140591353813744 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5848] ppid=5781 vsize=10818904 memory=139776847009408 CPUtime=0.1 cores=1,3,5,7
/proc/5784/task/5848/stat : 5848 (java) S 5781 5784 4562 0 -1 1077944384 622 12854 0 0 3 0 4 3 20 0 15 0 47923188 11078557696 10845 33554432000 4194304 4196468 140732630329440 140591352760944 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5849] ppid=5781 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5849/stat : 5849 (java) S 5781 5784 4562 0 -1 1077944384 3 12854 0 0 0 0 4 3 20 0 15 0 47923188 11078557696 10845 33554432000 4194304 4196468 140732630329440 140590380305120 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5850] ppid=5781 vsize=10818904 memory=139776847009408 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5850/stat : 5850 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923188 11078557696 10845 33554432000 4194304 4196468 140732630329440 140591351708336 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 42324 KiB
[startup+0.310199 s]*
/proc/loadavg: 0.95 1.18 1.29 3/217 5850
/proc/meminfo: memFree=20895164/32770624 swapFree=67108860/67108860
[pid=5784] ppid=5781 vsize=10819352 memory=54052 CPUtime=0.38 cores=1,3,5,7
/proc/5784/stat : 5784 (java) S 5781 5784 4562 0 -1 1077944320 10583 12854 0 0 28 3 4 3 20 0 15 0 47923173 11079016448 13513 33554432000 4194304 4196468 140732630329440 140732630311984 140591896379127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
/proc/5784/statm: 2704838 13513 3065 1 0 2667149 0
[pid=5784/tid=5837] ppid=5781 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/5784/task/5837/stat : 5837 (java) R 5781 5784 4562 0 -1 4202560 7127 12854 0 0 19 2 4 3 20 0 15 0 47923182 11079016448 13513 33554432000 4194304 4196468 140732630329440 140591868191136 140591896401053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5838] ppid=5781 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5838/stat : 5838 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923183 11079016448 13513 33554432000 4194304 4196468 140732630329440 140591900621968 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5839] ppid=5781 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5839/stat : 5839 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923183 11079016448 13513 33554432000 4194304 4196468 140732630329440 140591799512080 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5840] ppid=5781 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5840/stat : 5840 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923183 11079016448 13513 33554432000 4194304 4196468 140732630329440 140591798459280 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5841] ppid=5781 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5841/stat : 5841 (java) S 5781 5784 4562 0 -1 1077944384 2 12854 0 0 0 0 4 3 20 0 15 0 47923183 11079016448 13513 33554432000 4194304 4196468 140732630329440 140591797406480 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5842] ppid=5781 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5842/stat : 5842 (java) S 5781 5784 4562 0 -1 1077944384 2 12854 0 0 0 0 4 3 20 0 15 0 47923184 11079016448 13513 33554432000 4194304 4196468 140732630329440 140591355918704 140591896390274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5843] ppid=5781 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5843/stat : 5843 (java) S 5781 5784 4562 0 -1 1077944384 13 12854 0 0 0 0 4 3 20 0 15 0 47923185 11079016448 13513 33554432000 4194304 4196468 140732630329440 140591258133536 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5844] ppid=5781 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5844/stat : 5844 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923185 11079016448 13513 33554432000 4194304 4196468 140732630329440 140590654153584 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5845] ppid=5781 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5845/stat : 5845 (java) S 5781 5784 4562 0 -1 1077944384 3 12854 0 0 0 0 4 3 20 0 15 0 47923188 11079016448 13513 33554432000 4194304 4196468 140732630329440 140590413862736 140591896397723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5846] ppid=5781 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5784/task/5846/stat : 5846 (java) S 5781 5784 4562 0 -1 1077944384 488 12854 0 0 1 0 4 3 20 0 15 0 47923188 11079016448 13513 33554432000 4194304 4196468 140732630329440 140591354866544 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5847] ppid=5781 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5784/task/5847/stat : 5847 (java) S 5781 5784 4562 0 -1 1077944384 125 12854 0 0 1 0 4 3 20 0 15 0 47923188 11079016448 13513 33554432000 4194304 4196468 140732630329440 140591353813744 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5848] ppid=5781 vsize=10819352 memory=139776847009408 CPUtime=0.12 cores=1,3,5,7
/proc/5784/task/5848/stat : 5848 (java) S 5781 5784 4562 0 -1 1077944384 628 12854 0 0 5 0 4 3 20 0 15 0 47923188 11079016448 13513 33554432000 4194304 4196468 140732630329440 140591352760944 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5849] ppid=5781 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5849/stat : 5849 (java) S 5781 5784 4562 0 -1 1077944384 3 12854 0 0 0 0 4 3 20 0 15 0 47923188 11079016448 13513 33554432000 4194304 4196468 140732630329440 140590380305120 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5850] ppid=5781 vsize=10819352 memory=139776847009408 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5850/stat : 5850 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923188 11079016448 13513 33554432000 4194304 4196468 140732630329440 140591351708336 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54052 KiB
[startup+0.700745 s]
/proc/loadavg: 0.95 1.18 1.29 3/217 5850
/proc/meminfo: memFree=20884124/32770624 swapFree=67108860/67108860
[pid=5784] ppid=5781 vsize=10819352 memory=86628 CPUtime=0.99 cores=1,3,5,7
/proc/5784/stat : 5784 (java) S 5781 5784 4562 0 -1 1077944320 16761 12854 0 0 87 5 4 3 20 0 15 0 47923173 11079016448 21657 33554432000 4194304 4196468 140732630329440 140732630311984 140591896379127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
/proc/5784/statm: 2704838 21657 3243 1 0 2667149 0
[pid=5784/tid=5837] ppid=5781 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/5784/task/5837/stat : 5837 (java) R 5781 5784 4562 0 -1 4202560 12197 12854 0 0 55 3 4 3 20 0 15 0 47923182 11079016448 21657 33554432000 4194304 4196468 140732630329440 140591868199952 140591879565957 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5838] ppid=5781 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5838/stat : 5838 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923183 11079016448 21657 33554432000 4194304 4196468 140732630329440 140591900621968 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5839] ppid=5781 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5839/stat : 5839 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923183 11079016448 21657 33554432000 4194304 4196468 140732630329440 140591799512080 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5840] ppid=5781 vsize=10819352 memory=139776690893584 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5840/stat : 5840 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923183 11079016448 21657 33554432000 4194304 4196468 140732630329440 140591798459280 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5841] ppid=5781 vsize=10819352 memory=139779710648916 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5841/stat : 5841 (java) S 5781 5784 4562 0 -1 1077944384 2 12854 0 0 0 0 4 3 20 0 15 0 47923183 11079016448 21657 33554432000 4194304 4196468 140732630329440 140591797406480 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5842] ppid=5781 vsize=10819352 memory=8368 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5842/stat : 5842 (java) S 5781 5784 4562 0 -1 1077944384 5 12854 0 0 0 0 4 3 20 0 15 0 47923184 11079016448 21657 33554432000 4194304 4196468 140732630329440 140591355918704 140591896390274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5843] ppid=5781 vsize=10819352 memory=7662705889289527641 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5843/stat : 5843 (java) S 5781 5784 4562 0 -1 1077944384 13 12854 0 0 0 0 4 3 20 0 15 0 47923185 11079016448 21657 33554432000 4194304 4196468 140732630329440 140591258133536 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5844] ppid=5781 vsize=10819352 memory=7885635084775281010 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5844/stat : 5844 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923185 11079016448 21657 33554432000 4194304 4196468 140732630329440 140590654153584 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5845] ppid=5781 vsize=10819352 memory=16436 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5845/stat : 5845 (java) S 5781 5784 4562 0 -1 1077944384 3 12854 0 0 0 0 4 3 20 0 15 0 47923188 11079016448 21657 33554432000 4194304 4196468 140732630329440 140590413862736 140591896397723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5846] ppid=5781 vsize=10819352 memory=9800 CPUtime=0.16 cores=1,3,5,7
/proc/5784/task/5846/stat : 5846 (java) S 5781 5784 4562 0 -1 1077944384 1107 12854 0 0 9 0 4 3 20 0 15 0 47923188 11079016448 21657 33554432000 4194304 4196468 140732630329440 140591354866544 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5847] ppid=5781 vsize=10819352 memory=4008 CPUtime=0.14 cores=1,3,5,7
/proc/5784/task/5847/stat : 5847 (java) S 5781 5784 4562 0 -1 1077944384 546 12854 0 0 7 0 4 3 20 0 15 0 47923188 11079016448 21657 33554432000 4194304 4196468 140732630329440 140591353813744 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5848] ppid=5781 vsize=10819352 memory=1796 CPUtime=0.2 cores=1,3,5,7
/proc/5784/task/5848/stat : 5848 (java) S 5781 5784 4562 0 -1 1077944384 693 12854 0 0 13 0 4 3 20 0 15 0 47923188 11079016448 21657 33554432000 4194304 4196468 140732630329440 140591352760944 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5849] ppid=5781 vsize=10819352 memory=644 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5849/stat : 5849 (java) S 5781 5784 4562 0 -1 1077944384 3 12854 0 0 0 0 4 3 20 0 15 0 47923188 11079016448 21657 33554432000 4194304 4196468 140732630329440 140590380305120 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5850] ppid=5781 vsize=10819352 memory=956 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5850/stat : 5850 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923188 11079016448 21657 33554432000 4194304 4196468 140732630329440 140591351708336 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86628 KiB
[startup+1.50084 s]
/proc/loadavg: 0.95 1.18 1.29 5/217 5850
/proc/meminfo: memFree=20837544/32770624 swapFree=67108860/67108860
[pid=5784] ppid=5781 vsize=10832204 memory=168104 CPUtime=3.02 cores=1,3,5,7
/proc/5784/stat : 5784 (java) S 5781 5784 4562 0 -1 1077944320 24214 12854 0 0 286 9 4 3 20 0 15 0 47923173 11092176896 42026 33554432000 4194304 4196468 140732630329440 140732630311984 140591896379127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
/proc/5784/statm: 2708051 42026 3448 1 0 2669709 0
[pid=5784/tid=5837] ppid=5781 vsize=10832204 memory=63244 CPUtime=1.45 cores=1,3,5,7
/proc/5784/task/5837/stat : 5837 (java) R 5781 5784 4562 0 -1 4202560 16481 12854 0 0 132 6 4 3 20 0 15 0 47923182 11092176896 42026 33554432000 4194304 4196468 140732630329440 140591868211744 140591896401053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5838] ppid=5781 vsize=10832204 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5838/stat : 5838 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923183 11092176896 42026 33554432000 4194304 4196468 140732630329440 140591900621968 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5839] ppid=5781 vsize=10832204 memory=279553381818528 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5839/stat : 5839 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923183 11092176896 42026 33554432000 4194304 4196468 140732630329440 140591799512080 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5840] ppid=5781 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5840/stat : 5840 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923183 11092176896 42026 33554432000 4194304 4196468 140732630329440 140591798459280 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5841] ppid=5781 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5841/stat : 5841 (java) S 5781 5784 4562 0 -1 1077944384 2 12854 0 0 0 0 4 3 20 0 15 0 47923183 11092176896 42026 33554432000 4194304 4196468 140732630329440 140591797406480 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5842] ppid=5781 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5842/stat : 5842 (java) S 5781 5784 4562 0 -1 1077944384 6 12854 0 0 0 0 4 3 20 0 15 0 47923184 11092176896 42026 33554432000 4194304 4196468 140732630329440 140591355918704 140591896390274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5843] ppid=5781 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5843/stat : 5843 (java) S 5781 5784 4562 0 -1 1077944384 13 12854 0 0 0 0 4 3 20 0 15 0 47923185 11092176896 42026 33554432000 4194304 4196468 140732630329440 140591258133536 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5844] ppid=5781 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5844/stat : 5844 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923185 11092176896 42026 33554432000 4194304 4196468 140732630329440 140590654153584 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5845] ppid=5781 vsize=10832204 memory=-2746958450906831424 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5845/stat : 5845 (java) S 5781 5784 4562 0 -1 1077944384 3 12854 0 0 0 0 4 3 20 0 15 0 47923188 11092176896 42026 33554432000 4194304 4196468 140732630329440 140590413862736 140591896397723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5846] ppid=5781 vsize=10832204 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/5784/task/5846/stat : 5846 (java) R 5781 5784 4562 0 -1 4202560 2139 12854 0 0 56 1 4 3 20 0 15 0 47923188 11092176896 42026 33554432000 4194304 4196468 140732630329440 140591354866544 140591881305713 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5847] ppid=5781 vsize=10832204 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/5784/task/5847/stat : 5847 (java) S 5781 5784 4562 0 -1 1077944384 1748 12854 0 0 48 0 4 3 20 0 15 0 47923188 11092176896 42026 33554432000 4194304 4196468 140732630329440 140591353813744 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5848] ppid=5781 vsize=10832204 memory=8112282956445269571 CPUtime=0.55 cores=1,3,5,7
/proc/5784/task/5848/stat : 5848 (java) S 5781 5784 4562 0 -1 1077944384 1627 12854 0 0 48 0 4 3 20 0 15 0 47923188 11092176896 42026 33554432000 4194304 4196468 140732630329440 140591352760944 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5849] ppid=5781 vsize=10832204 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5849/stat : 5849 (java) S 5781 5784 4562 0 -1 1077944384 3 12854 0 0 0 0 4 3 20 0 15 0 47923188 11092176896 42026 33554432000 4194304 4196468 140732630329440 140590380305120 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5850] ppid=5781 vsize=10832204 memory=279553382062976 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5850/stat : 5850 (java) S 5781 5784 4562 0 -1 1077944384 1 12854 0 0 0 0 4 3 20 0 15 0 47923188 11092176896 42026 33554432000 4194304 4196468 140732630329440 140591351708336 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/5784/task/5837/stat : 5837 (java) R 5781 5784 4562 0 -1 4202560 86780 12854 0 0 235680 55 4 3 20 0 15 0 47923182 11180277760 250150 33554432000 4194304 4196468 140732630329440 140591868213440 140591501147426 0 4 0 16800975 0 0 0 -1 5 0 0 31 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5838] ppid=5781 vsize=10918240 memory=1000600 CPUtime=12.36 cores=1,3,5,7
/proc/5784/task/5838/stat : 5838 (java) S 5781 5784 4562 0 -1 1077944384 12590 12854 0 0 1177 52 4 3 20 0 15 0 47923183 11180277760 250150 33554432000 4194304 4196468 140732630329440 140591900621968 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5839] ppid=5781 vsize=10918240 memory=1000600 CPUtime=12.38 cores=1,3,5,7
/proc/5784/task/5839/stat : 5839 (java) S 5781 5784 4562 0 -1 1077944384 12914 12854 0 0 1177 54 4 3 20 0 15 0 47923183 11180277760 250150 33554432000 4194304 4196468 140732630329440 140591799512080 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5840] ppid=5781 vsize=10918240 memory=1000600 CPUtime=12.38 cores=1,3,5,7
/proc/5784/task/5840/stat : 5840 (java) S 5781 5784 4562 0 -1 1077944384 16008 12854 0 0 1175 56 4 3 20 0 15 0 47923183 11180277760 250150 33554432000 4194304 4196468 140732630329440 140591798459280 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5841] ppid=5781 vsize=10918240 memory=1000600 CPUtime=12.39 cores=1,3,5,7
/proc/5784/task/5841/stat : 5841 (java) S 5781 5784 4562 0 -1 1077944384 12062 12854 0 0 1177 55 4 3 20 0 15 0 47923183 11180277760 250150 33554432000 4194304 4196468 140732630329440 140591797406480 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5842] ppid=5781 vsize=10918240 memory=7 CPUtime=9.53 cores=1,3,5,7
/proc/5784/task/5842/stat : 5842 (java) S 5781 5784 4562 0 -1 1077944384 16101 12854 0 0 892 54 4 3 20 0 15 0 47923184 11180277760 250150 33554432000 4194304 4196468 140732630329440 140591355918704 140591896390274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5843] ppid=5781 vsize=10918240 memory=1000600 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5843/stat : 5843 (java) S 5781 5784 4562 0 -1 1077944384 16 12854 0 0 0 0 4 3 20 0 15 0 47923185 11180277760 250150 33554432000 4194304 4196468 140732630329440 140591258133600 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5844] ppid=5781 vsize=10918240 memory=1000600 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5844/stat : 5844 (java) S 5781 5784 4562 0 -1 1077944384 4 12854 0 0 0 0 4 3 20 0 15 0 47923185 11180277760 250150 33554432000 4194304 4196468 140732630329440 140590654153600 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5845] ppid=5781 vsize=10918240 memory=1000600 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5845/stat : 5845 (java) S 5781 5784 4562 0 -1 1077944384 3 12854 0 0 0 0 4 3 20 0 15 0 47923188 11180277760 250150 33554432000 4194304 4196468 140732630329440 140590413862736 140591896397723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5846] ppid=5781 vsize=10918240 memory=1000600 CPUtime=11.04 cores=1,3,5,7
/proc/5784/task/5846/stat : 5846 (java) S 5781 5784 4562 0 -1 1077944384 56785 12854 0 0 1089 8 4 3 20 0 15 0 47923188 11180277760 250150 33554432000 4194304 4196468 140732630329440 140591354866544 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 33 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5847] ppid=5781 vsize=10918240 memory=8368 CPUtime=11.39 cores=1,3,5,7
/proc/5784/task/5847/stat : 5847 (java) S 5781 5784 4562 0 -1 1077944384 61412 12854 0 0 1124 8 4 3 20 0 15 0 47923188 11180277760 250150 33554432000 4194304 4196468 140732630329440 140591353813744 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5848] ppid=5781 vsize=10918240 memory=1000600 CPUtime=4.79 cores=1,3,5,7
/proc/5784/task/5848/stat : 5848 (java) S 5781 5784 4562 0 -1 1077944384 58447 12854 0 0 463 9 4 3 20 0 15 0 47923188 11180277760 250150 33554432000 4194304 4196468 140732630329440 140591352760944 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5849] ppid=5781 vsize=10918240 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5849/stat : 5849 (java) S 5781 5784 4562 0 -1 1077944384 3 12854 0 0 0 0 4 3 20 0 15 0 47923188 11180277760 250150 33554432000 4194304 4196468 140732630329440 140590380305120 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5850] ppid=5781 vsize=10918240 memory=15976 CPUtime=1.43 cores=1,3,5,7
/proc/5784/task/5850/stat : 5850 (java) S 5781 5784 4562 0 -1 1077944384 1633 12854 0 0 62 74 4 3 20 0 15 0 47923188 11180277760 250150 33554432000 4194304 4196468 140732630329440 140591351708336 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
Current children cumulated CPU time: 2444.61 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1000600 KiB
[startup+2442.3 s]
/proc/loadavg: 1.49 1.32 1.30 3/216 6083
/proc/meminfo: memFree=19429044/32770624 swapFree=67108860/67108860
[pid=5784] ppid=5781 vsize=10918240 memory=1002648 CPUtime=2505.61 cores=1,3,5,7
/proc/5784/stat : 5784 (java) S 5781 5784 4562 0 -1 1077944320 338049 12854 0 0 250176 378 4 3 20 0 15 0 47923173 11180277760 250662 33554432000 4194304 4196468 140732630329440 140732630311984 140591896379127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
/proc/5784/statm: 2729560 250662 3531 1 0 2691213 0
[pid=5784/tid=5837] ppid=5781 vsize=10918240 memory=1002648 CPUtime=2416.8 cores=1,3,5,7
/proc/5784/task/5837/stat : 5837 (java) R 5781 5784 4562 0 -1 4202560 87340 12854 0 0 241617 56 4 3 20 0 15 0 47923182 11180277760 250662 33554432000 4194304 4196468 140732630329440 140591868214304 140591497331486 0 4 0 16800975 0 0 0 -1 1 0 0 31 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5838] ppid=5781 vsize=10918240 memory=1002648 CPUtime=12.7 cores=1,3,5,7
/proc/5784/task/5838/stat : 5838 (java) S 5781 5784 4562 0 -1 1077944384 12631 12854 0 0 1210 53 4 3 20 0 15 0 47923183 11180277760 250662 33554432000 4194304 4196468 140732630329440 140591900621968 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5839] ppid=5781 vsize=10918240 memory=1002648 CPUtime=12.72 cores=1,3,5,7
/proc/5784/task/5839/stat : 5839 (java) S 5781 5784 4562 0 -1 1077944384 13016 12854 0 0 1210 55 4 3 20 0 15 0 47923183 11180277760 250662 33554432000 4194304 4196468 140732630329440 140591799512080 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5840] ppid=5781 vsize=10918240 memory=1002648 CPUtime=12.72 cores=1,3,5,7
/proc/5784/task/5840/stat : 5840 (java) S 5781 5784 4562 0 -1 1077944384 16077 12854 0 0 1207 58 4 3 20 0 15 0 47923183 11180277760 250662 33554432000 4194304 4196468 140732630329440 140591798459280 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5841] ppid=5781 vsize=10918240 memory=1002648 CPUtime=12.73 cores=1,3,5,7
/proc/5784/task/5841/stat : 5841 (java) S 5781 5784 4562 0 -1 1077944384 12146 12854 0 0 1209 57 4 3 20 0 15 0 47923183 11180277760 250662 33554432000 4194304 4196468 140732630329440 140591797406480 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5842] ppid=5781 vsize=10918240 memory=1002648 CPUtime=9.79 cores=1,3,5,7
/proc/5784/task/5842/stat : 5842 (java) S 5781 5784 4562 0 -1 1077944384 16326 12854 0 0 917 55 4 3 20 0 15 0 47923184 11180277760 250662 33554432000 4194304 4196468 140732630329440 140591355918704 140591896390274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5843] ppid=5781 vsize=10918240 memory=1002648 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5843/stat : 5843 (java) S 5781 5784 4562 0 -1 1077944384 16 12854 0 0 0 0 4 3 20 0 15 0 47923185 11180277760 250662 33554432000 4194304 4196468 140732630329440 140591258133600 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5844] ppid=5781 vsize=10918240 memory=1002648 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5844/stat : 5844 (java) S 5781 5784 4562 0 -1 1077944384 4 12854 0 0 0 0 4 3 20 0 15 0 47923185 11180277760 250662 33554432000 4194304 4196468 140732630329440 140590654153600 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5845] ppid=5781 vsize=10918240 memory=1002648 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5845/stat : 5845 (java) S 5781 5784 4562 0 -1 1077944384 3 12854 0 0 0 0 4 3 20 0 15 0 47923188 11180277760 250662 33554432000 4194304 4196468 140732630329440 140590413862736 140591896397723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5846] ppid=5781 vsize=10918240 memory=1002648 CPUtime=11.04 cores=1,3,5,7
/proc/5784/task/5846/stat : 5846 (java) S 5781 5784 4562 0 -1 1077944384 56787 12854 0 0 1089 8 4 3 20 0 15 0 47923188 11180277760 250662 33554432000 4194304 4196468 140732630329440 140591354866544 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5847] ppid=5781 vsize=10918240 memory=16436 CPUtime=11.39 cores=1,3,5,7
/proc/5784/task/5847/stat : 5847 (java) S 5781 5784 4562 0 -1 1077944384 61414 12854 0 0 1124 8 4 3 20 0 15 0 47923188 11180277760 250662 33554432000 4194304 4196468 140732630329440 140591353813744 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5848] ppid=5781 vsize=10918240 memory=1002648 CPUtime=4.79 cores=1,3,5,7
/proc/5784/task/5848/stat : 5848 (java) S 5781 5784 4562 0 -1 1077944384 58449 12854 0 0 463 9 4 3 20 0 15 0 47923188 11180277760 250662 33554432000 4194304 4196468 140732630329440 140591352760944 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5849] ppid=5781 vsize=10918240 memory=1796 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5849/stat : 5849 (java) S 5781 5784 4562 0 -1 1077944384 3 12854 0 0 0 0 4 3 20 0 15 0 47923188 11180277760 250662 33554432000 4194304 4196468 140732630329440 140590380305120 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5850] ppid=5781 vsize=10918240 memory=4140 CPUtime=1.46 cores=1,3,5,7
/proc/5784/task/5850/stat : 5850 (java) S 5781 5784 4562 0 -1 1077944384 1650 12854 0 0 63 76 4 3 20 0 15 0 47923188 11180277760 250662 33554432000 4194304 4196468 140732630329440 140591351708336 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
Current children cumulated CPU time: 2505.61 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1002648 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2456.5 s]
/proc/loadavg: 1.37 1.30 1.30 3/216 6084
/proc/meminfo: memFree=19432392/32770624 swapFree=67108860/67108860
[pid=5784] ppid=5781 vsize=10918240 memory=997008 CPUtime=2520.03 cores=1,3,5,7
/proc/5784/stat : 5784 (java) S 5781 5784 4562 0 -1 1077944320 338469 12854 0 0 251617 379 4 3 20 0 15 0 47923173 11180277760 249252 33554432000 4194304 4196468 140732630329440 140732630311984 140591896379127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
/proc/5784/statm: 2729560 249252 3531 1 0 2691213 0
[pid=5784/tid=5837] ppid=5781 vsize=10918240 memory=1000596 CPUtime=2430.85 cores=1,3,5,7
/proc/5784/task/5837/stat : 5837 (java) R 5781 5784 4562 0 -1 4202560 87664 12854 0 0 243022 56 4 3 20 0 15 0 47923182 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591868214304 140591501496604 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5838] ppid=5781 vsize=10918240 memory=1002648 CPUtime=12.79 cores=1,3,5,7
/proc/5784/task/5838/stat : 5838 (java) S 5781 5784 4562 0 -1 1077944384 12633 12854 0 0 1218 54 4 3 20 0 15 0 47923183 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591900621968 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5839] ppid=5781 vsize=10918240 memory=998032 CPUtime=12.8 cores=1,3,5,7
/proc/5784/task/5839/stat : 5839 (java) S 5781 5784 4562 0 -1 1077944384 13049 12854 0 0 1217 56 4 3 20 0 15 0 47923183 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591799512080 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5840] ppid=5781 vsize=10918240 memory=999060 CPUtime=12.79 cores=1,3,5,7
/proc/5784/task/5840/stat : 5840 (java) S 5781 5784 4562 0 -1 1077944384 16082 12854 0 0 1214 58 4 3 20 0 15 0 47923183 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591798459280 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5841] ppid=5781 vsize=10918240 memory=999572 CPUtime=12.8 cores=1,3,5,7
/proc/5784/task/5841/stat : 5841 (java) S 5781 5784 4562 0 -1 1077944384 12179 12854 0 0 1216 57 4 3 20 0 15 0 47923183 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591797406480 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5842] ppid=5781 vsize=10918240 memory=1002648 CPUtime=9.84 cores=1,3,5,7
/proc/5784/task/5842/stat : 5842 (java) S 5781 5784 4562 0 -1 1077944384 16349 12854 0 0 922 55 4 3 20 0 15 0 47923184 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591355918704 140591896390274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5843] ppid=5781 vsize=10918240 memory=1002648 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5843/stat : 5843 (java) S 5781 5784 4562 0 -1 1077944384 16 12854 0 0 0 0 4 3 20 0 15 0 47923185 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591258133600 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5844] ppid=5781 vsize=10918240 memory=1002648 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5844/stat : 5844 (java) S 5781 5784 4562 0 -1 1077944384 4 12854 0 0 0 0 4 3 20 0 15 0 47923185 11180277760 249252 33554432000 4194304 4196468 140732630329440 140590654153600 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5845] ppid=5781 vsize=10918240 memory=1002648 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5845/stat : 5845 (java) S 5781 5784 4562 0 -1 1077944384 3 12854 0 0 0 0 4 3 20 0 15 0 47923188 11180277760 249252 33554432000 4194304 4196468 140732630329440 140590413862736 140591896397723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5846] ppid=5781 vsize=10918240 memory=1002648 CPUtime=11.04 cores=1,3,5,7
/proc/5784/task/5846/stat : 5846 (java) S 5781 5784 4562 0 -1 1077944384 56787 12854 0 0 1089 8 4 3 20 0 15 0 47923188 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591354866544 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5847] ppid=5781 vsize=10918240 memory=1002648 CPUtime=11.39 cores=1,3,5,7
/proc/5784/task/5847/stat : 5847 (java) S 5781 5784 4562 0 -1 1077944384 61414 12854 0 0 1124 8 4 3 20 0 15 0 47923188 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591353813744 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5848] ppid=5781 vsize=10918240 memory=997520 CPUtime=4.79 cores=1,3,5,7
/proc/5784/task/5848/stat : 5848 (java) S 5781 5784 4562 0 -1 1077944384 58449 12854 0 0 463 9 4 3 20 0 15 0 47923188 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591352760944 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5849] ppid=5781 vsize=10918240 memory=999572 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5849/stat : 5849 (java) S 5781 5784 4562 0 -1 1077944384 3 12854 0 0 0 0 4 3 20 0 15 0 47923188 11180277760 249252 33554432000 4194304 4196468 140732630329440 140590380305120 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5850] ppid=5781 vsize=10918240 memory=1696 CPUtime=1.47 cores=1,3,5,7
/proc/5784/task/5850/stat : 5850 (java) S 5781 5784 4562 0 -1 1077944384 1650 12854 0 0 64 76 4 3 20 0 15 0 47923188 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591351708336 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 997008 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2456.53 s]
# the end of solver process 5784 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.25 s, system=3.84013 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2456.5 s]
/proc/loadavg: 1.37 1.30 1.30 3/216 6084
/proc/meminfo: memFree=19432392/32770624 swapFree=67108860/67108860
[pid=5784] ppid=5781 vsize=10918240 memory=997008 CPUtime=2520.03 cores=1,3,5,7
/proc/5784/stat : 5784 (java) S 5781 5784 4562 0 -1 1077944320 338469 12854 0 0 251617 379 4 3 20 0 15 0 47923173 11180277760 249252 33554432000 4194304 4196468 140732630329440 140732630311984 140591896379127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
/proc/5784/statm: 2729560 249252 3531 1 0 2691213 0
[pid=5784/tid=5837] ppid=5781 vsize=10918240 memory=1000596 CPUtime=2430.85 cores=1,3,5,7
/proc/5784/task/5837/stat : 5837 (java) R 5781 5784 4562 0 -1 4202560 87664 12854 0 0 243022 56 4 3 20 0 15 0 47923182 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591868214304 140591501496604 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5838] ppid=5781 vsize=10918240 memory=1002648 CPUtime=12.79 cores=1,3,5,7
/proc/5784/task/5838/stat : 5838 (java) S 5781 5784 4562 0 -1 1077944384 12633 12854 0 0 1218 54 4 3 20 0 15 0 47923183 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591900621968 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5839] ppid=5781 vsize=10918240 memory=998032 CPUtime=12.8 cores=1,3,5,7
/proc/5784/task/5839/stat : 5839 (java) S 5781 5784 4562 0 -1 1077944384 13049 12854 0 0 1217 56 4 3 20 0 15 0 47923183 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591799512080 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5840] ppid=5781 vsize=10918240 memory=999060 CPUtime=12.79 cores=1,3,5,7
/proc/5784/task/5840/stat : 5840 (java) S 5781 5784 4562 0 -1 1077944384 16082 12854 0 0 1214 58 4 3 20 0 15 0 47923183 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591798459280 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5841] ppid=5781 vsize=10918240 memory=999572 CPUtime=12.8 cores=1,3,5,7
/proc/5784/task/5841/stat : 5841 (java) S 5781 5784 4562 0 -1 1077944384 12179 12854 0 0 1216 57 4 3 20 0 15 0 47923183 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591797406480 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5842] ppid=5781 vsize=10918240 memory=1002648 CPUtime=9.84 cores=1,3,5,7
/proc/5784/task/5842/stat : 5842 (java) S 5781 5784 4562 0 -1 1077944384 16349 12854 0 0 922 55 4 3 20 0 15 0 47923184 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591355918704 140591896390274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5843] ppid=5781 vsize=10918240 memory=1002648 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5843/stat : 5843 (java) S 5781 5784 4562 0 -1 1077944384 16 12854 0 0 0 0 4 3 20 0 15 0 47923185 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591258133600 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5844] ppid=5781 vsize=10918240 memory=1002648 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5844/stat : 5844 (java) S 5781 5784 4562 0 -1 1077944384 4 12854 0 0 0 0 4 3 20 0 15 0 47923185 11180277760 249252 33554432000 4194304 4196468 140732630329440 140590654153600 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5845] ppid=5781 vsize=10918240 memory=1002648 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5845/stat : 5845 (java) S 5781 5784 4562 0 -1 1077944384 3 12854 0 0 0 0 4 3 20 0 15 0 47923188 11180277760 249252 33554432000 4194304 4196468 140732630329440 140590413862736 140591896397723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5846] ppid=5781 vsize=10918240 memory=1002648 CPUtime=11.04 cores=1,3,5,7
/proc/5784/task/5846/stat : 5846 (java) S 5781 5784 4562 0 -1 1077944384 56787 12854 0 0 1089 8 4 3 20 0 15 0 47923188 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591354866544 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5847] ppid=5781 vsize=10918240 memory=1002648 CPUtime=11.39 cores=1,3,5,7
/proc/5784/task/5847/stat : 5847 (java) S 5781 5784 4562 0 -1 1077944384 61414 12854 0 0 1124 8 4 3 20 0 15 0 47923188 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591353813744 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5848] ppid=5781 vsize=10918240 memory=997520 CPUtime=4.79 cores=1,3,5,7
/proc/5784/task/5848/stat : 5848 (java) S 5781 5784 4562 0 -1 1077944384 58449 12854 0 0 463 9 4 3 20 0 15 0 47923188 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591352760944 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5849] ppid=5781 vsize=10918240 memory=999572 CPUtime=0.07 cores=1,3,5,7
/proc/5784/task/5849/stat : 5849 (java) S 5781 5784 4562 0 -1 1077944384 3 12854 0 0 0 0 4 3 20 0 15 0 47923188 11180277760 249252 33554432000 4194304 4196468 140732630329440 140590380305120 140591896389333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
[pid=5784/tid=5850] ppid=5781 vsize=10918240 memory=1696 CPUtime=1.47 cores=1,3,5,7
/proc/5784/task/5850/stat : 5850 (java) S 5781 5784 4562 0 -1 1077944384 1650 12854 0 0 64 76 4 3 20 0 15 0 47923188 11180277760 249252 33554432000 4194304 4196468 140732630329440 140591351708336 140591896390274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 33226752 140732630334062 140732630336860 140732630336860 140732630339535 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 997008 KiB
Child status: 143
Real time (s): 2456.53
CPU time (s): 2520.09
CPU user time (s): 2516.25
CPU system time (s): 3.84013
CPU usage (%): 102.587
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 1401048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.25
system time used= 3.84013
maximum resident set size= 1401048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352505
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 258750
involuntary context switches= 5504
# summary of solver processes directly reported to runsolver:
# pid: 5784
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.25
# total CPU system time (s): 3.84013
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8307 second user time and 22.5349 second system time
The end