0.99/0.74 c Concrete v3.8.1528841891564 running
11.96/4.96 c 01:26:16.222 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7917. 'extension(x[0][2]=[0‥3], 3) :: init: true :: relation: MDD 883735648, 5 edges, 4 vertices, 3 tuples
11.96/4.96 c 01:26:16.227 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7918. 'extension(3, x[2][2]=[0‥3]) :: init: true :: relation: MDD 883735648, 5 edges, 4 vertices, 3 tuples
11.96/4.96 c 01:26:16.232 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7942. 'extension(x[2][12]=[0‥3], 3) :: init: true :: relation: MDD 1146423186, 5 edges, 4 vertices, 3 tuples
11.96/4.97 c 01:26:16.234 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7971. 'extension(x[2][18]=[0‥3], 3) :: init: true :: relation: MDD 1619773688, 5 edges, 4 vertices, 3 tuples
11.96/4.97 c 01:26:16.234 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7972. 'extension(3, x[4][18]=[0‥3]) :: init: true :: relation: MDD 1619773688, 5 edges, 4 vertices, 3 tuples
11.96/4.97 c 01:26:16.237 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7998. 'extension(3, x[5][12]=[0‥3]) :: init: true :: relation: MDD 1146423186, 5 edges, 4 vertices, 3 tuples
11.96/4.97 c 01:26:16.238 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8001. 'extension(3, 3) :: init: true :: relation: MDD 1146423186, 5 edges, 4 vertices, 3 tuples
11.96/4.97 c 01:26:16.242 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8028. 'extension(3, wk[2][0]=[0‥1]) :: init: true :: relation: MDD 1680147911, 4 edges, 3 vertices, 3 tuples
11.96/4.98 c 01:26:16.243 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8029. 'extension(x[5][2]=[0‥3], 3) :: init: true :: relation: MDD 883735648, 5 edges, 4 vertices, 3 tuples
11.96/4.98 c 01:26:16.243 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8030. 'extension(3, x[7][2]=[0‥3]) :: init: true :: relation: MDD 883735648, 5 edges, 4 vertices, 3 tuples
11.96/4.98 c 01:26:16.247 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8059. 'extension(x[6][9]=[0‥3], 3) :: init: true :: relation: MDD 1276666395, 5 edges, 4 vertices, 3 tuples
11.96/4.98 c 01:26:16.247 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8060. 'extension(3, x[8][9]=[0‥3]) :: init: true :: relation: MDD 1276666395, 5 edges, 4 vertices, 3 tuples
11.96/4.98 c 01:26:16.250 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8089. 'extension(x[6][14]=[0‥3], 3) :: init: true :: relation: MDD 534643569, 5 edges, 4 vertices, 3 tuples
11.96/4.98 c 01:26:16.250 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8090. 'extension(3, x[8][14]=[0‥3]) :: init: true :: relation: MDD 534643569, 5 edges, 4 vertices, 3 tuples
11.96/4.99 c 01:26:16.253 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8121. 'extension(x[6][15]=[0‥3], 3) :: init: true :: relation: MDD 638204510, 5 edges, 4 vertices, 3 tuples
11.96/4.99 c 01:26:16.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8122. 'extension(3, x[8][15]=[0‥3]) :: init: true :: relation: MDD 638204510, 5 edges, 4 vertices, 3 tuples
11.96/4.99 c 01:26:16.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8150. 'extension(x[6][17]=[0‥3], 3) :: init: true :: relation: MDD 1331654213, 5 edges, 4 vertices, 3 tuples
11.96/4.99 c 01:26:16.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8151. 'extension(3, x[8][17]=[0‥3]) :: init: true :: relation: MDD 1331654213, 5 edges, 4 vertices, 3 tuples
11.96/4.99 c 01:26:16.258 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8179. 'extension(x[8][5]=[0‥3], 3) :: init: true :: relation: MDD 1693580552, 5 edges, 4 vertices, 3 tuples
11.96/4.99 c 01:26:16.260 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8209. 'extension(x[8][10]=[0‥3], 3) :: init: true :: relation: MDD 1764622989, 5 edges, 4 vertices, 3 tuples
11.96/4.99 c 01:26:16.260 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8210. 'extension(3, x[10][10]=[0‥3]) :: init: true :: relation: MDD 1764622989, 5 edges, 4 vertices, 3 tuples
11.96/5.00 c 01:26:16.263 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8241. 'extension(3, x[11][5]=[0‥3]) :: init: true :: relation: MDD 1693580552, 5 edges, 4 vertices, 3 tuples
11.96/5.00 c 01:26:16.264 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8244. 'extension(3, 3) :: init: true :: relation: MDD 1693580552, 5 edges, 4 vertices, 3 tuples
11.96/5.00 c 01:26:16.267 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8271. 'extension(x[10][1]=[0‥3], 3) :: init: true :: relation: MDD 1715602761, 5 edges, 4 vertices, 3 tuples
11.96/5.00 c 01:26:16.268 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8301. 'extension(x[10][8]=[0‥3], 3) :: init: true :: relation: MDD 606740638, 5 edges, 4 vertices, 3 tuples
11.96/5.00 c 01:26:16.269 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8331. 'extension(3, wk[1][1]=[0‥1]) :: init: true :: relation: MDD 693417450, 4 edges, 3 vertices, 3 tuples
11.96/5.00 c 01:26:16.270 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8332. 'extension(3, x[13][1]=[0‥3]) :: init: true :: relation: MDD 1715602761, 5 edges, 4 vertices, 3 tuples
11.96/5.00 c 01:26:16.271 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8335. 'extension(3, 3) :: init: true :: relation: MDD 1715602761, 5 edges, 4 vertices, 3 tuples
12.30/5.01 c 01:26:16.273 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8362. 'extension(3, wk[8][1]=[0‥1]) :: init: true :: relation: MDD 105194717, 4 edges, 3 vertices, 3 tuples
12.30/5.01 c 01:26:16.273 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8363. 'extension(3, x[13][8]=[0‥3]) :: init: true :: relation: MDD 606740638, 5 edges, 4 vertices, 3 tuples
12.30/5.01 c 01:26:16.274 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8366. 'extension(3, 3) :: init: true :: relation: MDD 606740638, 5 edges, 4 vertices, 3 tuples
12.30/5.01 c 01:26:16.276 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8393. 'extension(3, wk[18][1]=[0‥1]) :: init: true :: relation: MDD 443348849, 4 edges, 3 vertices, 3 tuples
12.30/5.01 c 01:26:16.277 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8394. 'extension(x[11][18]=[0‥3], 3) :: init: true :: relation: MDD 1619773688, 5 edges, 4 vertices, 3 tuples
12.30/5.01 c 01:26:16.277 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8395. 'extension(3, x[13][18]=[0‥3]) :: init: true :: relation: MDD 1619773688, 5 edges, 4 vertices, 3 tuples
12.30/5.01 c 01:26:16.280 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8423. 'extension(3, wk[4][1]=[0‥1]) :: init: true :: relation: MDD 1185502159, 4 edges, 3 vertices, 3 tuples
12.30/5.01 c 01:26:16.281 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8424. 'extension(x[12][4]=[0‥3], 3) :: init: true :: relation: MDD 1886381510, 5 edges, 4 vertices, 3 tuples
12.30/5.01 c 01:26:16.282 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8454. 'extension(3, x[15][4]=[0‥3]) :: init: true :: relation: MDD 1886381510, 5 edges, 4 vertices, 3 tuples
12.30/5.02 c 01:26:16.283 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8457. 'extension(3, 3) :: init: true :: relation: MDD 1886381510, 5 edges, 4 vertices, 3 tuples
12.30/5.02 c 01:26:16.285 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8484. 'extension(x[13][7]=[0‥3], 3) :: init: true :: relation: MDD 314966354, 5 edges, 4 vertices, 3 tuples
12.30/5.02 c 01:26:16.286 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8485. 'extension(3, x[15][7]=[0‥3]) :: init: true :: relation: MDD 314966354, 5 edges, 4 vertices, 3 tuples
12.30/5.02 c 01:26:16.288 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8514. 'extension(x[14][0]=[0‥3], 3) :: init: true :: relation: MDD 731870416, 5 edges, 4 vertices, 3 tuples
12.30/5.02 c 01:26:16.290 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8544. 'extension(x[14][9]=[0‥3], 3) :: init: true :: relation: MDD 1276666395, 5 edges, 4 vertices, 3 tuples
12.30/5.03 c 01:26:16.290 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8545. 'extension(3, x[16][9]=[0‥3]) :: init: true :: relation: MDD 1276666395, 5 edges, 4 vertices, 3 tuples
12.30/5.03 c 01:26:16.293 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8574. 'extension(3, x[17][0]=[0‥3]) :: init: true :: relation: MDD 731870416, 5 edges, 4 vertices, 3 tuples
12.30/5.03 c 01:26:16.294 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8577. 'extension(3, 3) :: init: true :: relation: MDD 731870416, 5 edges, 4 vertices, 3 tuples
12.30/5.03 c 01:26:16.296 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8604. 'extension(x[17][11]=[0‥3], 3) :: init: true :: relation: MDD 1048332309, 5 edges, 4 vertices, 3 tuples
12.30/5.03 c 01:26:16.297 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8636. 'extension(x[17][13]=[0‥3], 3) :: init: true :: relation: MDD 1713453581, 5 edges, 4 vertices, 3 tuples
12.30/5.03 c 01:26:16.298 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8668. 'extension(x[17][14]=[0‥3], 3) :: init: true :: relation: MDD 534643569, 5 edges, 4 vertices, 3 tuples
12.30/5.04 c 01:26:16.299 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8669. 'extension(3, x[19][14]=[0‥3]) :: init: true :: relation: MDD 534643569, 5 edges, 4 vertices, 3 tuples
12.30/5.04 c 01:26:16.302 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8700. 'extension(x[17][15]=[0‥3], 3) :: init: true :: relation: MDD 638204510, 5 edges, 4 vertices, 3 tuples
12.30/5.04 c 01:26:16.302 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8701. 'extension(3, x[19][15]=[0‥3]) :: init: true :: relation: MDD 638204510, 5 edges, 4 vertices, 3 tuples
12.30/5.04 c 01:26:16.304 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8729. 'extension(3, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 902654164, 4 edges, 3 vertices, 3 tuples
12.30/5.04 c 01:26:16.305 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8730. 'extension(3, x[20][11]=[0‥3]) :: init: true :: relation: MDD 1048332309, 5 edges, 4 vertices, 3 tuples
12.30/5.04 c 01:26:16.306 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8733. 'extension(3, 3) :: init: true :: relation: MDD 1048332309, 5 edges, 4 vertices, 3 tuples
12.30/5.04 c 01:26:16.308 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8762. 'extension(3, wk[13][2]=[0‥1]) :: init: true :: relation: MDD 1485179287, 4 edges, 3 vertices, 3 tuples
12.30/5.04 c 01:26:16.309 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8763. 'extension(3, x[20][13]=[0‥3]) :: init: true :: relation: MDD 1713453581, 5 edges, 4 vertices, 3 tuples
12.30/5.04 c 01:26:16.309 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8766. 'extension(3, 3) :: init: true :: relation: MDD 1713453581, 5 edges, 4 vertices, 3 tuples
12.30/5.04 c 01:26:16.312 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8795. 'extension(3, wk[16][2]=[0‥1]) :: init: true :: relation: MDD 1029148906, 4 edges, 3 vertices, 3 tuples
12.30/5.04 c 01:26:16.312 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8796. 'extension(x[18][16]=[0‥3], 3) :: init: true :: relation: MDD 320321288, 5 edges, 4 vertices, 3 tuples
12.30/5.05 c 01:26:16.313 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8825. 'extension(3, wk[16][2]=[0‥1]) :: init: true :: relation: MDD 1738784081, 4 edges, 3 vertices, 3 tuples
12.30/5.05 c 01:26:16.314 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8826. 'extension(3, x[21][16]=[0‥3]) :: init: true :: relation: MDD 320321288, 5 edges, 4 vertices, 3 tuples
12.30/5.05 c 01:26:16.314 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8829. 'extension(3, 3) :: init: true :: relation: MDD 320321288, 5 edges, 4 vertices, 3 tuples
12.30/5.05 c 01:26:16.316 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8855. 'extension(x[20][3]=[0‥3], 3) :: init: true :: relation: MDD 1905114489, 5 edges, 4 vertices, 3 tuples
12.30/5.05 c 01:26:16.318 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8885. 'extension(3, x[23][3]=[0‥3]) :: init: true :: relation: MDD 1905114489, 5 edges, 4 vertices, 3 tuples
12.30/5.05 c 01:26:16.318 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8888. 'extension(3, 3) :: init: true :: relation: MDD 1905114489, 5 edges, 4 vertices, 3 tuples
12.30/5.05 c 01:26:16.320 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8915. 'extension(x[22][7]=[0‥3], 3) :: init: true :: relation: MDD 314966354, 5 edges, 4 vertices, 3 tuples
12.30/5.05 c 01:26:16.321 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8916. 'extension(3, x[24][7]=[0‥3]) :: init: true :: relation: MDD 314966354, 5 edges, 4 vertices, 3 tuples
12.30/5.06 c 01:26:16.324 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8944. 'extension(x[23][17]=[0‥3], 3) :: init: true :: relation: MDD 1331654213, 5 edges, 4 vertices, 3 tuples
12.30/5.06 c 01:26:16.324 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8945. 'extension(3, x[25][17]=[0‥3]) :: init: true :: relation: MDD 1331654213, 5 edges, 4 vertices, 3 tuples
12.30/5.06 c 01:26:16.326 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8971. 'extension(x[24][10]=[0‥3], 3) :: init: true :: relation: MDD 1764622989, 5 edges, 4 vertices, 3 tuples
12.30/5.06 c 01:26:16.327 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8972. 'extension(3, x[26][10]=[0‥3]) :: init: true :: relation: MDD 1764622989, 5 edges, 4 vertices, 3 tuples
12.30/5.06 c 01:26:16.329 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8998. 'extension(x[24][19]=[0‥3], 3) :: init: true :: relation: MDD 1195615010, 5 edges, 4 vertices, 3 tuples
12.30/5.06 c 01:26:16.330 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9024. 'extension(3, wk[6][3]=[0‥1]) :: init: true :: relation: MDD 1163189762, 4 edges, 3 vertices, 3 tuples
12.30/5.06 c 01:26:16.331 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9025. 'extension(x[25][6]=[0‥3], 3) :: init: true :: relation: MDD 1041255755, 5 edges, 4 vertices, 3 tuples
12.30/5.06 c 01:26:16.331 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9050. 'extension(3, wk[19][3]=[0‥1]) :: init: true :: relation: MDD 1286868539, 4 edges, 3 vertices, 3 tuples
12.30/5.06 c 01:26:16.332 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9051. 'extension(3, x[27][19]=[0‥3]) :: init: true :: relation: MDD 1195615010, 5 edges, 4 vertices, 3 tuples
12.30/5.06 c 01:26:16.332 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9053. 'extension(3, 3) :: init: true :: relation: MDD 1195615010, 5 edges, 4 vertices, 3 tuples
12.30/5.07 c 01:26:16.334 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9075. 'extension(3, wk[6][3]=[0‥1]) :: init: true :: relation: MDD 262911569, 4 edges, 3 vertices, 3 tuples
12.30/5.07 c 01:26:16.334 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9076. 'extension(3, 3) :: init: true :: relation: MDD 1041255755, 5 edges, 4 vertices, 3 tuples
12.30/5.07 c 01:26:16.334 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9077. 'extension(3, 3) :: init: true :: relation: MDD 73878928, 4 edges, 3 vertices, 3 tuples
12.30/5.09 c 01:26:16.354 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9372. 'extension(x[0][2]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.09 c 01:26:16.354 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9374. 'extension(x[2][2]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.09 c 01:26:16.355 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9386. 'extension(x[2][12]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.09 c 01:26:16.355 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9392. 'extension(x[2][18]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.356 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9394. 'extension(x[4][18]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.356 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9406. 'extension(x[5][12]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.357 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9422. 'extension(wk[2][0]=[0‥1]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.357 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9424. 'extension(x[5][2]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.358 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9426. 'extension(x[7][2]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.359 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9440. 'extension(x[6][9]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.359 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9442. 'extension(x[8][9]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.360 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9456. 'extension(x[6][14]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.360 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9458. 'extension(x[8][14]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9474. 'extension(x[6][15]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9476. 'extension(x[8][15]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9488. 'extension(x[6][17]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9490. 'extension(x[8][17]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9502. 'extension(x[8][5]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9508. 'extension(x[8][10]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9510. 'extension(x[10][10]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9526. 'extension(x[11][5]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9540. 'extension(x[10][1]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9546. 'extension(x[10][8]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.366 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9552. 'extension(wk[1][1]=[0‥1]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.366 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9554. 'extension(x[13][1]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.367 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9568. 'extension(wk[8][1]=[0‥1]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.367 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9570. 'extension(x[13][8]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.368 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9584. 'extension(wk[18][1]=[0‥1]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.368 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9586. 'extension(x[11][18]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.368 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9588. 'extension(x[13][18]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9600. 'extension(wk[4][1]=[0‥1]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9602. 'extension(x[12][4]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9608. 'extension(x[15][4]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.370 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9622. 'extension(x[13][7]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.370 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9624. 'extension(x[15][7]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9638. 'extension(x[14][0]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9644. 'extension(x[14][9]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.372 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9646. 'extension(x[16][9]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.10 c 01:26:16.372 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9660. 'extension(x[17][0]=[0‥3]) :: init: true :: relation: Empty MDD
12.30/5.11 c 01:26:16.373 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9674. 'extension(x[17][11]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.11 c 01:26:16.374 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9680. 'extension(x[17][13]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.11 c 01:26:16.374 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9686. 'extension(x[17][14]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.11 c 01:26:16.374 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9688. 'extension(x[19][14]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.11 c 01:26:16.375 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9704. 'extension(x[17][15]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.11 c 01:26:16.375 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9706. 'extension(x[19][15]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.11 c 01:26:16.376 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9718. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
12.63/5.11 c 01:26:16.376 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9720. 'extension(x[20][11]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.11 c 01:26:16.377 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9736. 'extension(wk[13][2]=[0‥1]) :: init: true :: relation: Empty MDD
12.63/5.11 c 01:26:16.378 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9738. 'extension(x[20][13]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.11 c 01:26:16.379 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9754. 'extension(wk[16][2]=[0‥1]) :: init: true :: relation: Empty MDD
12.63/5.11 c 01:26:16.379 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9756. 'extension(x[18][16]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.12 c 01:26:16.384 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9762. 'extension(wk[16][2]=[0‥1]) :: init: true :: relation: Empty MDD
12.63/5.12 c 01:26:16.384 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9764. 'extension(x[21][16]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.12 c 01:26:16.385 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9774. 'extension(x[20][3]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.12 c 01:26:16.385 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9780. 'extension(x[23][3]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.12 c 01:26:16.386 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9794. 'extension(x[22][7]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.12 c 01:26:16.386 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9796. 'extension(x[24][7]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.12 c 01:26:16.387 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9810. 'extension(x[23][17]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.12 c 01:26:16.387 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9812. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.12 c 01:26:16.388 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9824. 'extension(x[24][10]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.12 c 01:26:16.388 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9826. 'extension(x[26][10]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.12 c 01:26:16.389 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9840. 'extension(x[24][19]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.12 c 01:26:16.390 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9846. 'extension(wk[6][3]=[0‥1]) :: init: true :: relation: Empty MDD
12.63/5.12 c 01:26:16.390 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9848. 'extension(x[25][6]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.12 c 01:26:16.390 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9854. 'extension(wk[19][3]=[0‥1]) :: init: true :: relation: Empty MDD
12.63/5.12 c 01:26:16.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9856. 'extension(x[27][19]=[0‥3]) :: init: true :: relation: Empty MDD
12.63/5.12 c 01:26:16.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 9864. 'extension(wk[6][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.83/10.53 o 6732
26.62/10.80 o 6730
133.18/113.49 o 6636
133.31/113.51 o 6635
133.31/113.53 o 6634
133.31/113.55 o 6633
134.21/114.09 o 6632
140.79/120.45 o 6431
140.79/120.46 o 6430
141.00/120.56 o 6429
141.23/120.77 o 6428
141.85/121.33 o 6329
142.88/122.38 o 6328
144.65/124.02 o 6228
151.29/130.53 o 6227
151.29/130.55 o 6127
685.50/650.07 o 6037
685.50/650.09 o 6036
685.80/650.30 o 6035
686.11/650.64 o 6034
686.63/651.19 o 6033
689.07/653.57 o 6032
689.99/654.44 o 6031
719.26/683.04 o 5935
719.26/683.05 o 5934
719.26/683.06 o 5933
719.26/683.07 o 5932
719.78/683.55 o 5931
720.49/684.22 o 5930
729.21/692.78 o 5832
729.21/692.78 o 5831
729.21/692.79 o 5830
756.57/719.45 o 5730
763.64/726.35 o 5729
791.12/753.16 o 5728
828.92/790.22 o 5630
828.92/790.24 o 5629
971.74/930.78 o 5533
971.74/930.79 o 5532
971.84/930.81 o 5531
977.85/936.77 o 5431
1681.28/1628.17 o 5335
1681.28/1628.18 o 5334
2520.08/2451.90 Exception in thread "main" java.util.concurrent.TimeoutException
2520.08/2451.90 at concrete.MAC.mac(MAC.scala:188)
2520.08/2451.90 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.08/2451.90 at scala.util.Try$.apply(Try.scala:209)
2520.08/2451.90 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.08/2451.90 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.08/2451.90 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.08/2451.90 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.08/2451.90 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.08/2451.90 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.08/2451.90 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.08/2451.90 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.08/2451.90 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.08/2451.90 at concrete.MAC.oneRun(MAC.scala:253)
2520.08/2451.90 at concrete.MAC.nextSolution(MAC.scala:272)
2520.08/2451.90 at concrete.MAC.nextSolution(MAC.scala:355)
2520.08/2451.90 at concrete.Solver.hasNext(Solver.scala:166)
2520.08/2451.90 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.08/2451.90 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.08/2451.90 at concrete.Solver.foreach(Solver.scala:68)
2520.08/2451.90 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.08/2451.90 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.08/2451.90 at scala.util.Success.map(Try.scala:209)
2520.08/2451.90 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.08/2451.90 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.08/2451.90 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.08/2451.90 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.08/2451.90 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.08/2451.90 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.08/2451.90 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.08/2451.90 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.08/2451.90 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.08/2451.90 at scala.collection.immutable.List.foreach(List.scala:389)
2520.08/2451.90 at scala.App.main(App.scala:76)
2520.08/2451.90 at scala.App.main$(App.scala:74)
2520.08/2451.90 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.08/2451.90 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.08/2451.92 v <instantiation cost="5334">
2520.08/2451.92 v <list>
2520.08/2451.92 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[27][0] ds[27][1] ds[27][2] ds[27][3] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[27][0] cc[27][1] cc[27][2] cc[27][3]
2520.08/2451.92 v </list>
2520.08/2451.92 v <values>
2520.08/2451.92 v 3 0 3 3 1 3 0 2 3 0 0 1 1 1 1 2 3 2 1 3 3 0 3 3 1 0 0 2 3 1 0 1 1 2 1 3 3 3 1 3 1 0 1 3 1 0 0 2 0 3 0 1 1 2 1 3 3 3 3 3 1 3 1 0 3 0 3 2 0 3 0 1 3 2 1 3 1 2 3 3 1 3 1 0 3 0 3 2 3 1 0 1 3 2 1 3 1 3 3 3 1 3 3 0 0 3 3 3 3 1 3 3 3 3 1 2 1 3 3 3 3 1 3 3 0 3 0 3 0 1 3 3 3 3 3 2 3 3 3 3 3 1 1 3 3 0 0 3 0 3 3 3 3 3 3 3 3 3 0 3 1 1 2 0 3 2 3 0 0 3 3 3 3 3 3 3 1 3 0 0 1 1 3 0 2 3 3 2 1 0 3 3 3 3 0 3 3 0 3 1 1 1 3 0 2 3 0 3 1 1 3 2 0 3 0 1 3 0 3 3 1 3 0 0 3 3 0 3 3 1 0 2 0 3 0 3 3 3 3 3 1 3 1 3 3 0 3 0 3 1 0 2 0 0 3 3 3 3 3 3 3 3 1 3 3 0 3 0 3 3 0 2 1 0 3 3 3 2 3 1 3 0 1 3 3 0 0 3 1 3 0 2 1 0 3 3 1 3 3 3 3 1 1 0 0 2 0 3 1 3 0 2 1 1 3 3 3 3 1 3 3 3 3 0 2 3 3 1 1 3 3 3 3 1 0 3 3 3 2 0 0 3 3 0 2 3 3 1 3 0 3 3 3 3 1 1 3 0 2 1 1 1 0 0 2 0 0 1 3 2 3 3 3 3 3 3 1 2 3 1 3 1 0 0 3 0 0 1 3 3 0 3 0 3 3 3 3 3 3 1 3 3 0 3 3 0 0 1 3 3 0 3 2 3 3 1 3 3 0 1 0 3 0 3 3 0 3 3 0 0 0 1 2 3 3 1 3 3 3 3 0 1 2 3 1 2 3 3 1 0 0 2 2 3 0 1 3 1 3 3 0 1 3 0 1 3 0 3 1 2 0 3 2 0 1 2 3 1 3 3 0 1 3 0 1 3 0 0 3 2 0 3 2 0 1 3 3 3 3 1 0 3 3 0 2 3 0 0 3 3 3 3 3 0 1 3 1 3 2 3 3 3 3 3 2 3 3 3 0 3 3 2 3 0 1 3 1 3 3 3 3 3 3 3 3 3 3 3 0 3 3 2 3 0 1 3 1 3 3 3 6 10 0 12 4 11 0 13 5 8 2 13 15 0 0 13 3 6 7 12 12 0 3 13 15 0 0 13 5 5 6 12 8 7 0 13 5 7 3 13 16 0 0 12 0 6 9 13 4 6 5 13 8 3 4 13 5 12 0 11 0 5 4 19 0 9 0 19 3 2 4 19 3 3 3 19 2 7 0 19 4 6 3 7 4 6 2 8 5 6 2 7 4 5 3 8 3 6 2 9 2 4 1 13 3 2 1 14 4 2 0 14 5 3 2 10 4 4 2 10 5 5 2 8 6 2 1 11 5 3 1 11 4 3 2 11 5 4 1 10 4 6 2 8 3 3 2 12 4 4 2 10 4 5 3 8 6 3 0 11 5 3 1 11 6 2 1 11 4 5 4 7 5 5 3 7 6 4 2 8 5 2 2 11 2 2 2 14 2 2 1 15 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 1 0 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 3 3 0 0 1 1 0 3 3 0 0 0 0 0 2 2 0 2 3 0 0 0 0 0 0 3 3 0 0 2 0 2 2 2 3 3 3 3 0 0 0 0 3 1 1 0 0 0 0 0 0 0 3 3 3 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 2 0 0 0 0 1 0 2 2 2 3 0 3 0 0 0 0 0 0 0 2 0 0 0 2 2 0 0 2 0 3 0 0 3 2 2 0 0 2 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 2 0 0 100 0 0 200 0 200 0 100 500 100 0 0 300 200 0 1 300 0 0 1 0 0 0 3 0 0 0 0 300 0 0 1 0 100 0 200 200 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 300 200 0 100 0 100 0 0 100 0 0 0 0 0 0 1 0 0 0 1 100 100 0 1 300 0 0 0 0 0 0 300 500 100 0
2520.08/2451.92 v </values>
2520.08/2451.92 v </instantiation>
2520.08/2451.92 s SATISFIABLE
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 (7519 MiB free)
memory of node 1: 16384 MiB (9184 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292977-1532301971/watcher-4292977-1532301971 -o /tmp/evaluation-result-4292977-1532301971/solver-4292977-1532301971 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532297047-7324 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1810121007 HOME/instance-4292977-1532301971.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8121, runsolver pid=8118
[startup+0.100919 s]*
/proc/loadavg: 1.68 1.70 1.64 2/206 8178
/proc/meminfo: memFree=17096736/32770624 swapFree=67108860/67108860
[pid=8121] ppid=8118 vsize=9972712 memory=16548 CPUtime=0.09 cores=0,2,4,6
/proc/8121/stat : 8121 (java) S 8118 8121 7293 0 -1 1077944320 4265 12862 0 0 1 0 5 3 20 0 6 0 47760241 10212057088 4137 33554432000 4194304 4196468 140722641257184 140722641239728 139921619594999 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
/proc/8121/statm: 2493178 4137 1932 1 0 2481616 0
[pid=8121/tid=8174] ppid=8118 vsize=9972712 memory=-8745273339715829695 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8174/stat : 8174 (java) R 8118 8121 7293 0 -1 4202560 2094 12862 0 0 0 0 5 3 20 0 6 0 47760250 10212057088 4137 33554432000 4194304 4196468 140722641257184 139921591431760 139921611832126 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8175] ppid=8118 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8175/stat : 8175 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 6 0 47760251 10212057088 4137 33554432000 4194304 4196468 140722641257184 139921623837712 139921619605205 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8176] ppid=8118 vsize=9972712 memory=140056912803456 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8176/stat : 8176 (java) S 8118 8121 7293 0 -1 1077944384 1 12862 0 0 0 0 5 3 20 0 6 0 47760251 10212057088 4137 33554432000 4194304 4196468 140722641257184 139921192905872 139921619605205 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8177] ppid=8118 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8177/stat : 8177 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 6 0 47760251 10212057088 4137 33554432000 4194304 4196468 140722641257184 139921191852816 139921619605205 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8178] ppid=8118 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8178/stat : 8178 (java) S 8118 8121 7293 0 -1 1077944384 1 12862 0 0 0 0 5 3 20 0 6 0 47760251 10212057088 4137 33554432000 4194304 4196468 140722641257184 139921190800272 139921619605205 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16548 KiB
[startup+0.209891 s]*
/proc/loadavg: 1.68 1.70 1.64 3/215 8187
/proc/meminfo: memFree=17075440/32770624 swapFree=67108860/67108860
[pid=8121] ppid=8118 vsize=10818904 memory=44304 CPUtime=0.25 cores=0,2,4,6
/proc/8121/stat : 8121 (java) S 8118 8121 7293 0 -1 1077944320 7197 12862 0 0 16 1 5 3 20 0 15 0 47760241 11078557696 11076 33554432000 4194304 4196468 140722641257184 140722641239728 139921619594999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
/proc/8121/statm: 2704726 11076 2987 1 0 2667149 0
[pid=8121/tid=8174] ppid=8118 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/8121/task/8174/stat : 8174 (java) R 8118 8121 7293 0 -1 4202560 3867 12862 0 0 10 0 5 3 20 0 15 0 47760250 11078557696 11142 33554432000 4194304 4196468 140722641257184 139921591416544 139921599870706 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8175] ppid=8118 vsize=10818904 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8175/stat : 8175 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 15 0 47760251 11078557696 11208 33554432000 4194304 4196468 140722641257184 139921623837712 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8176] ppid=8118 vsize=10818904 memory=140056912811831 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8176/stat : 8176 (java) S 8118 8121 7293 0 -1 1077944384 1 12862 0 0 0 0 5 3 20 0 15 0 47760251 11078557696 11208 33554432000 4194304 4196468 140722641257184 139921192905872 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8177] ppid=8118 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8177/stat : 8177 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 15 0 47760251 11078557696 11208 33554432000 4194304 4196468 140722641257184 139921191852816 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8178] ppid=8118 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8178/stat : 8178 (java) S 8118 8121 7293 0 -1 1077944384 1 12862 0 0 0 0 5 3 20 0 15 0 47760251 11078557696 11208 33554432000 4194304 4196468 140722641257184 139921190800272 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8179] ppid=8118 vsize=10818904 memory=140056912803456 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8179/stat : 8179 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 15 0 47760253 11078557696 11208 33554432000 4194304 4196468 140722641257184 139921079003376 139921619606146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8180] ppid=8118 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8180/stat : 8180 (java) S 8118 8121 7293 0 -1 1077944384 33 12862 0 0 0 0 5 3 20 0 15 0 47760253 11078557696 11208 33554432000 4194304 4196468 140722641257184 139921077949600 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8181] ppid=8118 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8181/stat : 8181 (java) S 8118 8121 7293 0 -1 1077944384 1 12862 0 0 0 0 5 3 20 0 15 0 47760253 11078557696 11208 33554432000 4194304 4196468 140722641257184 139920974799600 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8182] ppid=8118 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8182/stat : 8182 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 15 0 47760256 11078557696 11208 33554432000 4194304 4196468 140722641257184 139920370821072 139921619613595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8183] ppid=8118 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8121/task/8183/stat : 8183 (java) S 8118 8121 7293 0 -1 1077944384 549 12862 0 0 1 0 5 3 20 0 15 0 47760256 11078557696 11208 33554432000 4194304 4196468 140722641257184 139921044392688 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8184] ppid=8118 vsize=10818904 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/8121/task/8184/stat : 8184 (java) S 8118 8121 7293 0 -1 1077944384 68 12862 0 0 1 0 5 3 20 0 15 0 47760256 11078557696 11208 33554432000 4194304 4196468 140722641257184 139921043340144 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8185] ppid=8118 vsize=10818904 memory=140056912803456 CPUtime=0.11 cores=0,2,4,6
/proc/8121/task/8185/stat : 8185 (java) S 8118 8121 7293 0 -1 1077944384 605 12862 0 0 3 0 5 3 20 0 15 0 47760256 11078557696 11208 33554432000 4194304 4196468 140722641257184 139920941242864 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8186] ppid=8118 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8186/stat : 8186 (java) S 8118 8121 7293 0 -1 1077944384 3 12862 0 0 0 0 5 3 20 0 15 0 47760256 11078557696 11274 33554432000 4194304 4196468 140722641257184 139919901059936 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8187] ppid=8118 vsize=10818904 memory=140056912803456 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8187/stat : 8187 (java) S 8118 8121 7293 0 -1 1077944384 1 12862 0 0 0 0 5 3 20 0 15 0 47760257 11078557696 11274 33554432000 4194304 4196468 140722641257184 139920940190256 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 44304 KiB
[startup+0.310218 s]*
/proc/loadavg: 1.68 1.70 1.64 3/215 8187
/proc/meminfo: memFree=17061320/32770624 swapFree=67108860/67108860
[pid=8121] ppid=8118 vsize=10819352 memory=58016 CPUtime=0.38 cores=0,2,4,6
/proc/8121/stat : 8121 (java) S 8118 8121 7293 0 -1 1077944320 10521 12862 0 0 28 2 5 3 20 0 15 0 47760241 11079016448 14504 33554432000 4194304 4196468 140722641257184 140722641239728 139921619594999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
/proc/8121/statm: 2704838 14504 3106 1 0 2667149 0
[pid=8121/tid=8174] ppid=8118 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/8121/task/8174/stat : 8174 (java) R 8118 8121 7293 0 -1 4202560 7064 12862 0 0 19 1 5 3 20 0 15 0 47760250 11079016448 14546 33554432000 4194304 4196468 140722641257184 139921591407008 139921601158559 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8175] ppid=8118 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8175/stat : 8175 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 15 0 47760251 11079016448 14546 33554432000 4194304 4196468 140722641257184 139921623837712 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8176] ppid=8118 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8176/stat : 8176 (java) S 8118 8121 7293 0 -1 1077944384 1 12862 0 0 0 0 5 3 20 0 15 0 47760251 11079016448 14546 33554432000 4194304 4196468 140722641257184 139921192905872 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8177] ppid=8118 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8177/stat : 8177 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 15 0 47760251 11079016448 14546 33554432000 4194304 4196468 140722641257184 139921191852816 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8178] ppid=8118 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8178/stat : 8178 (java) S 8118 8121 7293 0 -1 1077944384 1 12862 0 0 0 0 5 3 20 0 15 0 47760251 11079016448 14546 33554432000 4194304 4196468 140722641257184 139921190800272 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8179] ppid=8118 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8179/stat : 8179 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 15 0 47760253 11079016448 14546 33554432000 4194304 4196468 140722641257184 139921079003376 139921619606146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8180] ppid=8118 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8180/stat : 8180 (java) S 8118 8121 7293 0 -1 1077944384 33 12862 0 0 0 0 5 3 20 0 15 0 47760253 11079016448 14546 33554432000 4194304 4196468 140722641257184 139921077949600 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8181] ppid=8118 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8181/stat : 8181 (java) S 8118 8121 7293 0 -1 1077944384 1 12862 0 0 0 0 5 3 20 0 15 0 47760253 11079016448 14546 33554432000 4194304 4196468 140722641257184 139920974799600 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8182] ppid=8118 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8182/stat : 8182 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 15 0 47760256 11079016448 14546 33554432000 4194304 4196468 140722641257184 139920370821072 139921619613595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8183] ppid=8118 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8121/task/8183/stat : 8183 (java) S 8118 8121 7293 0 -1 1077944384 549 12862 0 0 1 0 5 3 20 0 15 0 47760256 11079016448 14546 33554432000 4194304 4196468 140722641257184 139921044392688 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8184] ppid=8118 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/8121/task/8184/stat : 8184 (java) S 8118 8121 7293 0 -1 1077944384 69 12862 0 0 1 0 5 3 20 0 15 0 47760256 11079016448 14546 33554432000 4194304 4196468 140722641257184 139921043340144 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8185] ppid=8118 vsize=10819352 memory=140056912803456 CPUtime=0.13 cores=0,2,4,6
/proc/8121/task/8185/stat : 8185 (java) S 8118 8121 7293 0 -1 1077944384 616 12862 0 0 5 0 5 3 20 0 15 0 47760256 11079016448 14546 33554432000 4194304 4196468 140722641257184 139920941242864 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8186] ppid=8118 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8186/stat : 8186 (java) S 8118 8121 7293 0 -1 1077944384 3 12862 0 0 0 0 5 3 20 0 15 0 47760256 11079016448 14546 33554432000 4194304 4196468 140722641257184 139919901059936 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8187] ppid=8118 vsize=10819352 memory=140056912803456 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8187/stat : 8187 (java) S 8118 8121 7293 0 -1 1077944384 1 12862 0 0 0 0 5 3 20 0 15 0 47760257 11079016448 14546 33554432000 4194304 4196468 140722641257184 139920940190256 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 58016 KiB
[startup+0.700673 s]
/proc/loadavg: 1.68 1.70 1.64 3/215 8187
/proc/meminfo: memFree=17057576/32770624 swapFree=67108860/67108860
[pid=8121] ppid=8118 vsize=10819352 memory=90804 CPUtime=0.99 cores=0,2,4,6
/proc/8121/stat : 8121 (java) S 8118 8121 7293 0 -1 1077944320 16758 12862 0 0 87 4 5 3 20 0 15 0 47760241 11079016448 22701 33554432000 4194304 4196468 140722641257184 140722641239728 139921619594999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
/proc/8121/statm: 2704838 22701 3247 1 0 2667149 0
[pid=8121/tid=8174] ppid=8118 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/8121/task/8174/stat : 8174 (java) R 8118 8121 7293 0 -1 4202560 12149 12862 0 0 55 3 5 3 20 0 15 0 47760250 11079016448 22701 33554432000 4194304 4196468 140722641257184 139921591415824 139921603675486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8175] ppid=8118 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8175/stat : 8175 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 15 0 47760251 11079016448 22701 33554432000 4194304 4196468 140722641257184 139921623837712 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8176] ppid=8118 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8176/stat : 8176 (java) S 8118 8121 7293 0 -1 1077944384 1 12862 0 0 0 0 5 3 20 0 15 0 47760251 11079016448 22701 33554432000 4194304 4196468 140722641257184 139921192905872 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8177] ppid=8118 vsize=10819352 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8177/stat : 8177 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 15 0 47760251 11079016448 22701 33554432000 4194304 4196468 140722641257184 139921191852816 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8178] ppid=8118 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8178/stat : 8178 (java) S 8118 8121 7293 0 -1 1077944384 1 12862 0 0 0 0 5 3 20 0 15 0 47760251 11079016448 22701 33554432000 4194304 4196468 140722641257184 139921190800272 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8179] ppid=8118 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8179/stat : 8179 (java) S 8118 8121 7293 0 -1 1077944384 5 12862 0 0 0 0 5 3 20 0 15 0 47760253 11079016448 22701 33554432000 4194304 4196468 140722641257184 139921079003376 139921619606146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8180] ppid=8118 vsize=10819352 memory=140056803291856 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8180/stat : 8180 (java) S 8118 8121 7293 0 -1 1077944384 33 12862 0 0 0 0 5 3 20 0 15 0 47760253 11079016448 22701 33554432000 4194304 4196468 140722641257184 139921077949600 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8181] ppid=8118 vsize=10819352 memory=140058883523171 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8181/stat : 8181 (java) S 8118 8121 7293 0 -1 1077944384 1 12862 0 0 0 0 5 3 20 0 15 0 47760253 11079016448 22701 33554432000 4194304 4196468 140722641257184 139920974799600 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8182] ppid=8118 vsize=10819352 memory=10412 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8182/stat : 8182 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 15 0 47760256 11079016448 22701 33554432000 4194304 4196468 140722641257184 139920370821072 139921619613595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8183] ppid=8118 vsize=10819352 memory=7234564758908855872 CPUtime=0.18 cores=0,2,4,6
/proc/8121/task/8183/stat : 8183 (java) S 8118 8121 7293 0 -1 1077944384 1199 12862 0 0 10 0 5 3 20 0 15 0 47760256 11079016448 22701 33554432000 4194304 4196468 140722641257184 139921044392688 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8184] ppid=8118 vsize=10819352 memory=7597685182856913236 CPUtime=0.15 cores=0,2,4,6
/proc/8121/task/8184/stat : 8184 (java) S 8118 8121 7293 0 -1 1077944384 474 12862 0 0 7 0 5 3 20 0 15 0 47760256 11079016448 22701 33554432000 4194304 4196468 140722641257184 139921043340144 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8185] ppid=8118 vsize=10819352 memory=5787213835721533265 CPUtime=0.21 cores=0,2,4,6
/proc/8121/task/8185/stat : 8185 (java) R 8118 8121 7293 0 -1 4202560 699 12862 0 0 13 0 5 3 20 0 15 0 47760256 11079016448 22701 33554432000 4194304 4196468 140722641257184 139920941242864 139921611832126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8186] ppid=8118 vsize=10819352 memory=4128 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8186/stat : 8186 (java) S 8118 8121 7293 0 -1 1077944384 3 12862 0 0 0 0 5 3 20 0 15 0 47760256 11079016448 22701 33554432000 4194304 4196468 140722641257184 139919901059936 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8187] ppid=8118 vsize=10819352 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8187/stat : 8187 (java) S 8118 8121 7293 0 -1 1077944384 1 12862 0 0 0 0 5 3 20 0 15 0 47760257 11079016448 22701 33554432000 4194304 4196468 140722641257184 139920940190256 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90804 KiB
[startup+1.50149 s]
/proc/loadavg: 1.68 1.70 1.64 4/215 8187
/proc/meminfo: memFree=17011244/32770624 swapFree=67108860/67108860
[pid=8121] ppid=8118 vsize=10832204 memory=175224 CPUtime=2.91 cores=0,2,4,6
/proc/8121/stat : 8121 (java) S 8118 8121 7293 0 -1 1077944320 25372 12862 0 0 274 9 5 3 20 0 15 0 47760241 11092176896 43806 33554432000 4194304 4196468 140722641257184 140722641239728 139921619594999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
/proc/8121/statm: 2708051 43806 3451 1 0 2669709 0
[pid=8121/tid=8174] ppid=8118 vsize=10832204 memory=12813 CPUtime=1.46 cores=0,2,4,6
/proc/8121/task/8174/stat : 8174 (java) S 8118 8121 7293 0 -1 1077944384 17231 12862 0 0 132 6 5 3 20 0 15 0 47760250 11092176896 43806 33554432000 4194304 4196468 140722641257184 139921591388480 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8175] ppid=8118 vsize=10832204 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8175/stat : 8175 (java) S 8118 8121 7293 0 -1 1077944384 163 12862 0 0 0 0 5 3 20 0 15 0 47760251 11092176896 43806 33554432000 4194304 4196468 140722641257184 139921623837712 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8176] ppid=8118 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8176/stat : 8176 (java) S 8118 8121 7293 0 -1 1077944384 43 12862 0 0 0 0 5 3 20 0 15 0 47760251 11092176896 43806 33554432000 4194304 4196468 140722641257184 139921192905872 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8177] ppid=8118 vsize=10832204 memory=80 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8177/stat : 8177 (java) S 8118 8121 7293 0 -1 1077944384 16 12862 0 0 0 0 5 3 20 0 15 0 47760251 11092176896 43806 33554432000 4194304 4196468 140722641257184 139921191852816 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8178] ppid=8118 vsize=10832204 memory=90804 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8178/stat : 8178 (java) S 8118 8121 7293 0 -1 1077944384 8 12862 0 0 0 0 5 3 20 0 15 0 47760251 11092176896 43806 33554432000 4194304 4196468 140722641257184 139921190800272 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8179] ppid=8118 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8179/stat : 8179 (java) R 8118 8121 7293 0 -1 4202560 23 12862 0 0 0 0 5 3 20 0 15 0 47760253 11092176896 43806 33554432000 4194304 4196468 140722641257184 139921079001856 139921603954380 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8180] ppid=8118 vsize=10832204 memory=280113606525424 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8180/stat : 8180 (java) S 8118 8121 7293 0 -1 1077944384 33 12862 0 0 0 0 5 3 20 0 15 0 47760253 11092176896 43806 33554432000 4194304 4196468 140722641257184 139921077949600 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8181] ppid=8118 vsize=10832204 memory=280113606576224 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8181/stat : 8181 (java) S 8118 8121 7293 0 -1 1077944384 1 12862 0 0 0 0 5 3 20 0 15 0 47760253 11092176896 43806 33554432000 4194304 4196468 140722641257184 139920974799600 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8182] ppid=8118 vsize=10832204 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8182/stat : 8182 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 15 0 47760256 11092176896 43806 33554432000 4194304 4196468 140722641257184 139920370821072 139921619613595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8183] ppid=8118 vsize=10832204 memory=4638778398332698720 CPUtime=0.58 cores=0,2,4,6
/proc/8121/task/8183/stat : 8183 (java) S 8118 8121 7293 0 -1 1077944384 2080 12862 0 0 50 0 5 3 20 0 15 0 47760256 11092176896 43806 33554432000 4194304 4196468 140722641257184 139921044392688 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8184] ppid=8118 vsize=10832204 memory=280113606859648 CPUtime=0.52 cores=0,2,4,6
/proc/8121/task/8184/stat : 8184 (java) S 8118 8121 7293 0 -1 1077944384 1862 12862 0 0 44 0 5 3 20 0 15 0 47760256 11092176896 43806 33554432000 4194304 4196468 140722641257184 139921043340144 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8185] ppid=8118 vsize=10832204 memory=-7531822216213012384 CPUtime=0.54 cores=0,2,4,6
/proc/8121/task/8185/stat : 8185 (java) S 8118 8121 7293 0 -1 1077944384 1717 12862 0 0 45 1 5 3 20 0 15 0 47760256 11092176896 43806 33554432000 4194304 4196468 140722641257184 139920941242864 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8186] ppid=8118 vsize=10832204 memory=-7531822216213012384 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8186/stat : 8186 (java) S 8118 8121 7293 0 -1 1077944384 3 12862 0 0 0 0 5 3 20 0 15 0 47760256 11092176896 43806 33554432000 4194304 4196468 140722641257184 139919901059936 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8187] ppid=8118 vsize=10832204 memory=1399101730491701635 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8187/stat : 8187 (java) S 8118 8121 7293 0 -1 1077944384 3 12862 0 0 0 0 5 3 20 0 15 0 47760257 11092176896 43806 33554432000 4194304 4196468 140722641257184 139920940190256 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/8121/task/8174/stat : 8174 (java) S 8118 8121 7293 0 -1 1077944384 102589 12862 0 0 235628 51 5 3 20 0 15 0 47760250 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921591429616 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8175] ppid=8118 vsize=10918240 memory=280113607630400 CPUtime=13.72 cores=0,2,4,6
/proc/8121/task/8175/stat : 8175 (java) R 8118 8121 7293 0 -1 4202560 15883 12862 0 0 1310 54 5 3 20 0 15 0 47760251 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921623837712 139921599228414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8176] ppid=8118 vsize=10918240 memory=831744 CPUtime=13.75 cores=0,2,4,6
/proc/8121/task/8176/stat : 8176 (java) R 8118 8121 7293 0 -1 4202560 23710 12862 0 0 1316 51 5 3 20 0 15 0 47760251 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921192905872 139921612223207 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8177] ppid=8118 vsize=10918240 memory=280113606754688 CPUtime=13.76 cores=0,2,4,6
/proc/8121/task/8177/stat : 8177 (java) R 8118 8121 7293 0 -1 4202560 21166 12862 0 0 1317 51 5 3 20 0 15 0 47760251 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921191852816 139921612223207 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8178] ppid=8118 vsize=10918240 memory=831744 CPUtime=13.76 cores=0,2,4,6
/proc/8121/task/8178/stat : 8178 (java) R 8118 8121 7293 0 -1 4202560 21313 12862 0 0 1316 52 5 3 20 0 15 0 47760251 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921190800392 139921612223207 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8179] ppid=8118 vsize=10918240 memory=140056803904744 CPUtime=8.95 cores=0,2,4,6
/proc/8121/task/8179/stat : 8179 (java) S 8118 8121 7293 0 -1 1077944384 18176 12862 0 0 837 50 5 3 20 0 15 0 47760253 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921079001888 139921619605205 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8180] ppid=8118 vsize=10918240 memory=831744 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8180/stat : 8180 (java) S 8118 8121 7293 0 -1 1077944384 45 12862 0 0 0 0 5 3 20 0 15 0 47760253 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921077949728 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8181] ppid=8118 vsize=10918240 memory=831744 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8181/stat : 8181 (java) S 8118 8121 7293 0 -1 1077944384 18 12862 0 0 0 0 5 3 20 0 15 0 47760253 11180277760 207936 33554432000 4194304 4196468 140722641257184 139920974799616 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8182] ppid=8118 vsize=10918240 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8182/stat : 8182 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139920370821072 139921619613595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8183] ppid=8118 vsize=10918240 memory=9916 CPUtime=11.5 cores=0,2,4,6
/proc/8121/task/8183/stat : 8183 (java) S 8118 8121 7293 0 -1 1077944384 59613 12862 0 0 1134 8 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921044392688 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8184] ppid=8118 vsize=10918240 memory=831744 CPUtime=11.29 cores=0,2,4,6
/proc/8121/task/8184/stat : 8184 (java) S 8118 8121 7293 0 -1 1077944384 57331 12862 0 0 1113 8 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921043340144 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8185] ppid=8118 vsize=10918240 memory=1366 CPUtime=4.74 cores=0,2,4,6
/proc/8121/task/8185/stat : 8185 (java) S 8118 8121 7293 0 -1 1077944384 67526 12862 0 0 455 11 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139920941242864 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8186] ppid=8118 vsize=10918240 memory=831744 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8186/stat : 8186 (java) S 8118 8121 7293 0 -1 1077944384 3 12862 0 0 0 0 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139919901059936 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8187] ppid=8118 vsize=10918240 memory=831744 CPUtime=1.45 cores=0,2,4,6
/proc/8121/task/8187/stat : 8187 (java) S 8118 8121 7293 0 -1 1077944384 2673 12862 0 0 69 68 5 3 20 0 15 0 47760257 11180277760 207936 33554432000 4194304 4196468 140722641257184 139920940190256 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
Current children cumulated CPU time: 2449.2 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 831744 KiB
[startup+2442.3 s]
/proc/loadavg: 1.22 1.29 1.31 3/215 8442
/proc/meminfo: memFree=16443196/32770624 swapFree=67108860/67108860
[pid=8121] ppid=8118 vsize=10918240 memory=831744 CPUtime=2510.3 cores=0,2,4,6
/proc/8121/stat : 8121 (java) S 8118 8121 7293 0 -1 1077944320 393565 12862 0 0 250651 371 5 3 20 0 15 0 47760241 11180277760 207936 33554432000 4194304 4196468 140722641257184 140722641239728 139921619594999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
/proc/8121/statm: 2729560 207936 3533 1 0 2691213 0
[pid=8121/tid=8174] ppid=8118 vsize=10918240 memory=831744 CPUtime=2416.21 cores=0,2,4,6
/proc/8121/task/8174/stat : 8174 (java) R 8118 8121 7293 0 -1 4202560 103259 12862 0 0 241561 52 5 3 20 0 15 0 47760250 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921591430384 139921197807303 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8175] ppid=8118 vsize=10918240 memory=831744 CPUtime=14.08 cores=0,2,4,6
/proc/8121/task/8175/stat : 8175 (java) S 8118 8121 7293 0 -1 1077944384 15938 12862 0 0 1345 55 5 3 20 0 15 0 47760251 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921623837712 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8176] ppid=8118 vsize=10918240 memory=831744 CPUtime=14.13 cores=0,2,4,6
/proc/8121/task/8176/stat : 8176 (java) S 8118 8121 7293 0 -1 1077944384 23772 12862 0 0 1352 53 5 3 20 0 15 0 47760251 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921192905872 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8177] ppid=8118 vsize=10918240 memory=831744 CPUtime=14.14 cores=0,2,4,6
/proc/8121/task/8177/stat : 8177 (java) S 8118 8121 7293 0 -1 1077944384 21315 12862 0 0 1354 52 5 3 20 0 15 0 47760251 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921191852816 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8178] ppid=8118 vsize=10918240 memory=831744 CPUtime=14.14 cores=0,2,4,6
/proc/8121/task/8178/stat : 8178 (java) S 8118 8121 7293 0 -1 1077944384 21471 12862 0 0 1352 54 5 3 20 0 15 0 47760251 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921190800272 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8179] ppid=8118 vsize=10918240 memory=831744 CPUtime=9.18 cores=0,2,4,6
/proc/8121/task/8179/stat : 8179 (java) S 8118 8121 7293 0 -1 1077944384 18398 12862 0 0 859 51 5 3 20 0 15 0 47760253 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921079003376 139921619606146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8180] ppid=8118 vsize=10918240 memory=831744 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8180/stat : 8180 (java) S 8118 8121 7293 0 -1 1077944384 45 12862 0 0 0 0 5 3 20 0 15 0 47760253 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921077949728 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8181] ppid=8118 vsize=10918240 memory=831744 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8181/stat : 8181 (java) S 8118 8121 7293 0 -1 1077944384 18 12862 0 0 0 0 5 3 20 0 15 0 47760253 11180277760 207936 33554432000 4194304 4196468 140722641257184 139920974799616 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8182] ppid=8118 vsize=10918240 memory=831744 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8182/stat : 8182 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139920370821072 139921619613595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8183] ppid=8118 vsize=10918240 memory=831744 CPUtime=11.5 cores=0,2,4,6
/proc/8121/task/8183/stat : 8183 (java) S 8118 8121 7293 0 -1 1077944384 59615 12862 0 0 1134 8 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921044392688 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8184] ppid=8118 vsize=10918240 memory=831744 CPUtime=11.29 cores=0,2,4,6
/proc/8121/task/8184/stat : 8184 (java) S 8118 8121 7293 0 -1 1077944384 57333 12862 0 0 1113 8 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921043340144 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8185] ppid=8118 vsize=10918240 memory=831744 CPUtime=4.74 cores=0,2,4,6
/proc/8121/task/8185/stat : 8185 (java) S 8118 8121 7293 0 -1 1077944384 67528 12862 0 0 455 11 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139920941242864 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8186] ppid=8118 vsize=10918240 memory=831744 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8186/stat : 8186 (java) S 8118 8121 7293 0 -1 1077944384 3 12862 0 0 0 0 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139919901059936 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8187] ppid=8118 vsize=10918240 memory=831744 CPUtime=1.48 cores=0,2,4,6
/proc/8121/task/8187/stat : 8187 (java) S 8118 8121 7293 0 -1 1077944384 2681 12862 0 0 71 69 5 3 20 0 15 0 47760257 11180277760 207936 33554432000 4194304 4196468 140722641257184 139920940190256 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
Current children cumulated CPU time: 2510.3 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 831744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2451.9 s]
/proc/loadavg: 1.27 1.29 1.31 3/215 8442
/proc/meminfo: memFree=16381872/32770624 swapFree=67108860/67108860
[pid=8121] ppid=8118 vsize=10918240 memory=831744 CPUtime=2520.08 cores=0,2,4,6
/proc/8121/stat : 8121 (java) S 8118 8121 7293 0 -1 1077944320 393728 12862 0 0 251628 372 5 3 20 0 15 0 47760241 11180277760 207936 33554432000 4194304 4196468 140722641257184 140722641239728 139921619594999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
/proc/8121/statm: 2729560 207936 3533 1 0 2691213 0
[pid=8121/tid=8174] ppid=8118 vsize=10918240 memory=831744 CPUtime=2425.69 cores=0,2,4,6
/proc/8121/task/8174/stat : 8174 (java) R 8118 8121 7293 0 -1 4202560 103336 12862 0 0 242509 52 5 3 20 0 15 0 47760250 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921591429952 139921218394915 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8175] ppid=8118 vsize=10918240 memory=831744 CPUtime=14.16 cores=0,2,4,6
/proc/8121/task/8175/stat : 8175 (java) S 8118 8121 7293 0 -1 1077944384 15946 12862 0 0 1352 56 5 3 20 0 15 0 47760251 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921623837712 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8176] ppid=8118 vsize=10918240 memory=831744 CPUtime=14.19 cores=0,2,4,6
/proc/8121/task/8176/stat : 8176 (java) S 8118 8121 7293 0 -1 1077944384 23782 12862 0 0 1358 53 5 3 20 0 15 0 47760251 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921192905872 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8177] ppid=8118 vsize=10918240 memory=831744 CPUtime=14.2 cores=0,2,4,6
/proc/8121/task/8177/stat : 8177 (java) S 8118 8121 7293 0 -1 1077944384 21357 12862 0 0 1360 52 5 3 20 0 15 0 47760251 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921191852816 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8178] ppid=8118 vsize=10918240 memory=831744 CPUtime=14.2 cores=0,2,4,6
/proc/8121/task/8178/stat : 8178 (java) S 8118 8121 7293 0 -1 1077944384 21487 12862 0 0 1358 54 5 3 20 0 15 0 47760251 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921190800272 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8179] ppid=8118 vsize=10918240 memory=831744 CPUtime=9.22 cores=0,2,4,6
/proc/8121/task/8179/stat : 8179 (java) S 8118 8121 7293 0 -1 1077944384 18408 12862 0 0 863 51 5 3 20 0 15 0 47760253 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921079003376 139921619606146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8180] ppid=8118 vsize=10918240 memory=831744 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8180/stat : 8180 (java) S 8118 8121 7293 0 -1 1077944384 45 12862 0 0 0 0 5 3 20 0 15 0 47760253 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921077949728 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8181] ppid=8118 vsize=10918240 memory=831744 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8181/stat : 8181 (java) S 8118 8121 7293 0 -1 1077944384 18 12862 0 0 0 0 5 3 20 0 15 0 47760253 11180277760 207936 33554432000 4194304 4196468 140722641257184 139920974799616 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8182] ppid=8118 vsize=10918240 memory=831744 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8182/stat : 8182 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139920370821072 139921619613595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8183] ppid=8118 vsize=10918240 memory=831744 CPUtime=11.5 cores=0,2,4,6
/proc/8121/task/8183/stat : 8183 (java) S 8118 8121 7293 0 -1 1077944384 59615 12862 0 0 1134 8 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921044392688 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8184] ppid=8118 vsize=10918240 memory=831744 CPUtime=11.29 cores=0,2,4,6
/proc/8121/task/8184/stat : 8184 (java) S 8118 8121 7293 0 -1 1077944384 57333 12862 0 0 1113 8 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921043340144 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8185] ppid=8118 vsize=10918240 memory=831744 CPUtime=4.74 cores=0,2,4,6
/proc/8121/task/8185/stat : 8185 (java) S 8118 8121 7293 0 -1 1077944384 67528 12862 0 0 455 11 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139920941242864 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8186] ppid=8118 vsize=10918240 memory=831744 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8186/stat : 8186 (java) S 8118 8121 7293 0 -1 1077944384 3 12862 0 0 0 0 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139919901059936 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8187] ppid=8118 vsize=10918240 memory=831744 CPUtime=1.5 cores=0,2,4,6
/proc/8121/task/8187/stat : 8187 (java) S 8118 8121 7293 0 -1 1077944384 2681 12862 0 0 72 70 5 3 20 0 15 0 47760257 11180277760 207936 33554432000 4194304 4196468 140722641257184 139920940190256 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 831744 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2451.93 s]
# the end of solver process 8121 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.35 s, system=3.76508 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2451.9 s]
/proc/loadavg: 1.27 1.29 1.31 3/215 8442
/proc/meminfo: memFree=16381872/32770624 swapFree=67108860/67108860
[pid=8121] ppid=8118 vsize=10918240 memory=831744 CPUtime=2520.08 cores=0,2,4,6
/proc/8121/stat : 8121 (java) S 8118 8121 7293 0 -1 1077944320 393728 12862 0 0 251628 372 5 3 20 0 15 0 47760241 11180277760 207936 33554432000 4194304 4196468 140722641257184 140722641239728 139921619594999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
/proc/8121/statm: 2729560 207936 3533 1 0 2691213 0
[pid=8121/tid=8174] ppid=8118 vsize=10918240 memory=831744 CPUtime=2425.69 cores=0,2,4,6
/proc/8121/task/8174/stat : 8174 (java) R 8118 8121 7293 0 -1 4202560 103336 12862 0 0 242509 52 5 3 20 0 15 0 47760250 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921591429952 139921218394915 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8175] ppid=8118 vsize=10918240 memory=831744 CPUtime=14.16 cores=0,2,4,6
/proc/8121/task/8175/stat : 8175 (java) S 8118 8121 7293 0 -1 1077944384 15946 12862 0 0 1352 56 5 3 20 0 15 0 47760251 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921623837712 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8176] ppid=8118 vsize=10918240 memory=831744 CPUtime=14.19 cores=0,2,4,6
/proc/8121/task/8176/stat : 8176 (java) S 8118 8121 7293 0 -1 1077944384 23782 12862 0 0 1358 53 5 3 20 0 15 0 47760251 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921192905872 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8177] ppid=8118 vsize=10918240 memory=831744 CPUtime=14.2 cores=0,2,4,6
/proc/8121/task/8177/stat : 8177 (java) S 8118 8121 7293 0 -1 1077944384 21357 12862 0 0 1360 52 5 3 20 0 15 0 47760251 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921191852816 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8178] ppid=8118 vsize=10918240 memory=831744 CPUtime=14.2 cores=0,2,4,6
/proc/8121/task/8178/stat : 8178 (java) S 8118 8121 7293 0 -1 1077944384 21487 12862 0 0 1358 54 5 3 20 0 15 0 47760251 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921190800272 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8179] ppid=8118 vsize=10918240 memory=831744 CPUtime=9.22 cores=0,2,4,6
/proc/8121/task/8179/stat : 8179 (java) S 8118 8121 7293 0 -1 1077944384 18408 12862 0 0 863 51 5 3 20 0 15 0 47760253 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921079003376 139921619606146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8180] ppid=8118 vsize=10918240 memory=831744 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8180/stat : 8180 (java) S 8118 8121 7293 0 -1 1077944384 45 12862 0 0 0 0 5 3 20 0 15 0 47760253 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921077949728 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8181] ppid=8118 vsize=10918240 memory=831744 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8181/stat : 8181 (java) S 8118 8121 7293 0 -1 1077944384 18 12862 0 0 0 0 5 3 20 0 15 0 47760253 11180277760 207936 33554432000 4194304 4196468 140722641257184 139920974799616 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8182] ppid=8118 vsize=10918240 memory=831744 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8182/stat : 8182 (java) S 8118 8121 7293 0 -1 1077944384 2 12862 0 0 0 0 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139920370821072 139921619613595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8183] ppid=8118 vsize=10918240 memory=831744 CPUtime=11.5 cores=0,2,4,6
/proc/8121/task/8183/stat : 8183 (java) S 8118 8121 7293 0 -1 1077944384 59615 12862 0 0 1134 8 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921044392688 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8184] ppid=8118 vsize=10918240 memory=831744 CPUtime=11.29 cores=0,2,4,6
/proc/8121/task/8184/stat : 8184 (java) S 8118 8121 7293 0 -1 1077944384 57333 12862 0 0 1113 8 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139921043340144 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8185] ppid=8118 vsize=10918240 memory=831744 CPUtime=4.74 cores=0,2,4,6
/proc/8121/task/8185/stat : 8185 (java) S 8118 8121 7293 0 -1 1077944384 67528 12862 0 0 455 11 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139920941242864 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8186] ppid=8118 vsize=10918240 memory=831744 CPUtime=0.08 cores=0,2,4,6
/proc/8121/task/8186/stat : 8186 (java) S 8118 8121 7293 0 -1 1077944384 3 12862 0 0 0 0 5 3 20 0 15 0 47760256 11180277760 207936 33554432000 4194304 4196468 140722641257184 139919901059936 139921619605205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
[pid=8121/tid=8187] ppid=8118 vsize=10918240 memory=831744 CPUtime=1.5 cores=0,2,4,6
/proc/8121/task/8187/stat : 8187 (java) S 8118 8121 7293 0 -1 1077944384 2681 12862 0 0 72 70 5 3 20 0 15 0 47760257 11180277760 207936 33554432000 4194304 4196468 140722641257184 139920940190256 139921619606146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9842688 140722641263214 140722641266012 140722641266012 140722641268687 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 831744 KiB
Child status: 143
Real time (s): 2451.93
CPU time (s): 2520.12
CPU user time (s): 2516.35
CPU system time (s): 3.76508
CPU usage (%): 102.781
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 1502412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.35
system time used= 3.76508
maximum resident set size= 1504460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407943
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 249893
involuntary context switches= 8051
# summary of solver processes directly reported to runsolver:
# pid: 8121
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.35
# total CPU system time (s): 3.76508
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1062 second user time and 24.1276 second system time
The end