0.99/0.74 c Concrete v3.9.2.1532736233296 running
11.64/4.82 c 21:59:27.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7190. 'extension(3, x[2][14]=[0‥3]) :: init: true :: relation: MDD 1434506799, 5 edges, 4 vertices, 3 tuples
11.64/4.82 c 21:59:27.419 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7193. 'extension(3, 3) :: init: true :: relation: MDD 1434506799, 5 edges, 4 vertices, 3 tuples
11.64/4.82 c 21:59:27.420 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7194. 'extension(3, 3) :: init: true :: relation: MDD 1818440653, 4 edges, 3 vertices, 3 tuples
11.64/4.83 c 21:59:27.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7215. 'extension(x[1][12]=[0‥3], 3) :: init: true :: relation: MDD 1545563479, 5 edges, 4 vertices, 3 tuples
11.64/4.83 c 21:59:27.423 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7216. 'extension(3, x[3][12]=[0‥3]) :: init: true :: relation: MDD 1545563479, 5 edges, 4 vertices, 3 tuples
11.64/4.83 c 21:59:27.426 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7242. 'extension(x[3][3]=[0‥3], 3) :: init: true :: relation: MDD 1680147911, 5 edges, 4 vertices, 3 tuples
11.64/4.83 c 21:59:27.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7271. 'extension(x[3][15]=[0‥3], 3) :: init: true :: relation: MDD 1185502159, 5 edges, 4 vertices, 3 tuples
11.64/4.83 c 21:59:27.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7272. 'extension(3, x[5][15]=[0‥3]) :: init: true :: relation: MDD 1185502159, 5 edges, 4 vertices, 3 tuples
11.64/4.83 c 21:59:27.431 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7299. 'extension(3, wk[3][0]=[0‥1]) :: init: true :: relation: MDD 938279178, 4 edges, 3 vertices, 3 tuples
11.64/4.84 c 21:59:27.431 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7300. 'extension(3, x[6][3]=[0‥3]) :: init: true :: relation: MDD 1680147911, 5 edges, 4 vertices, 3 tuples
11.64/4.84 c 21:59:27.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7303. 'extension(3, 3) :: init: true :: relation: MDD 1680147911, 5 edges, 4 vertices, 3 tuples
11.64/4.84 c 21:59:27.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7330. 'extension(x[8][7]=[0‥3], 3) :: init: true :: relation: MDD 711483066, 5 edges, 4 vertices, 3 tuples
11.64/4.84 c 21:59:27.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7331. 'extension(3, x[10][7]=[0‥3]) :: init: true :: relation: MDD 711483066, 5 edges, 4 vertices, 3 tuples
11.64/4.84 c 21:59:27.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7360. 'extension(x[10][5]=[0‥3], 3) :: init: true :: relation: MDD 1389808948, 5 edges, 4 vertices, 3 tuples
11.64/4.84 c 21:59:27.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7390. 'extension(x[10][11]=[0‥3], 3) :: init: true :: relation: MDD 1150480094, 5 edges, 4 vertices, 3 tuples
11.64/4.85 c 21:59:27.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7422. 'extension(x[10][16]=[0‥3], 3) :: init: true :: relation: MDD 551797833, 5 edges, 4 vertices, 3 tuples
11.64/4.85 c 21:59:27.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7423. 'extension(3, x[12][16]=[0‥3]) :: init: true :: relation: MDD 551797833, 5 edges, 4 vertices, 3 tuples
11.64/4.86 c 21:59:27.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7451. 'extension(3, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 1318313145, 4 edges, 3 vertices, 3 tuples
11.64/4.86 c 21:59:27.455 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7452. 'extension(3, x[13][5]=[0‥3]) :: init: true :: relation: MDD 1389808948, 5 edges, 4 vertices, 3 tuples
11.64/4.86 c 21:59:27.456 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7455. 'extension(3, 3) :: init: true :: relation: MDD 1389808948, 5 edges, 4 vertices, 3 tuples
11.64/4.86 c 21:59:27.458 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7482. 'extension(3, wk[11][1]=[0‥1]) :: init: true :: relation: MDD 2083215552, 4 edges, 3 vertices, 3 tuples
11.64/4.86 c 21:59:27.459 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7483. 'extension(3, x[13][11]=[0‥3]) :: init: true :: relation: MDD 1150480094, 5 edges, 4 vertices, 3 tuples
11.64/4.86 c 21:59:27.459 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7486. 'extension(3, 3) :: init: true :: relation: MDD 1150480094, 5 edges, 4 vertices, 3 tuples
11.64/4.87 c 21:59:27.462 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7515. 'extension(3, wk[7][1]=[0‥1]) :: init: true :: relation: MDD 1258103238, 4 edges, 3 vertices, 3 tuples
11.64/4.87 c 21:59:27.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7516. 'extension(x[12][7]=[0‥3], 3) :: init: true :: relation: MDD 711483066, 5 edges, 4 vertices, 3 tuples
11.64/4.87 c 21:59:27.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7517. 'extension(3, x[14][7]=[0‥3]) :: init: true :: relation: MDD 711483066, 5 edges, 4 vertices, 3 tuples
11.64/4.87 c 21:59:27.466 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7546. 'extension(x[13][9]=[0‥3], 3) :: init: true :: relation: MDD 181260145, 5 edges, 4 vertices, 3 tuples
11.64/4.87 c 21:59:27.468 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7576. 'extension(3, x[16][9]=[0‥3]) :: init: true :: relation: MDD 181260145, 5 edges, 4 vertices, 3 tuples
11.64/4.87 c 21:59:27.469 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7579. 'extension(3, 3) :: init: true :: relation: MDD 181260145, 5 edges, 4 vertices, 3 tuples
11.64/4.87 c 21:59:27.471 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7606. 'extension(x[14][10]=[0‥3], 3) :: init: true :: relation: MDD 252247502, 5 edges, 4 vertices, 3 tuples
11.64/4.88 c 21:59:27.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7638. 'extension(x[15][6]=[0‥3], 3) :: init: true :: relation: MDD 1680365850, 5 edges, 4 vertices, 3 tuples
11.64/4.88 c 21:59:27.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7639. 'extension(3, x[17][6]=[0‥3]) :: init: true :: relation: MDD 1680365850, 5 edges, 4 vertices, 3 tuples
11.64/4.88 c 21:59:27.475 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7668. 'extension(3, x[17][10]=[0‥3]) :: init: true :: relation: MDD 252247502, 5 edges, 4 vertices, 3 tuples
11.64/4.88 c 21:59:27.476 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7671. 'extension(3, 3) :: init: true :: relation: MDD 252247502, 5 edges, 4 vertices, 3 tuples
11.64/4.88 c 21:59:27.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7700. 'extension(x[15][13]=[0‥3], 3) :: init: true :: relation: MDD 2078741622, 5 edges, 4 vertices, 3 tuples
11.64/4.88 c 21:59:27.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7732. 'extension(x[15][16]=[0‥3], 3) :: init: true :: relation: MDD 551797833, 5 edges, 4 vertices, 3 tuples
11.64/4.89 c 21:59:27.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7733. 'extension(3, x[17][16]=[0‥3]) :: init: true :: relation: MDD 551797833, 5 edges, 4 vertices, 3 tuples
11.64/4.89 c 21:59:27.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7761. 'extension(x[16][8]=[0‥3], 3) :: init: true :: relation: MDD 1973491942, 5 edges, 4 vertices, 3 tuples
11.64/4.89 c 21:59:27.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7762. 'extension(3, x[18][8]=[0‥3]) :: init: true :: relation: MDD 1973491942, 5 edges, 4 vertices, 3 tuples
11.64/4.89 c 21:59:27.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7791. 'extension(3, x[18][13]=[0‥3]) :: init: true :: relation: MDD 2078741622, 5 edges, 4 vertices, 3 tuples
11.64/4.89 c 21:59:27.486 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7794. 'extension(3, 3) :: init: true :: relation: MDD 2078741622, 5 edges, 4 vertices, 3 tuples
11.64/4.89 c 21:59:27.489 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7823. 'extension(x[17][0]=[0‥3], 3) :: init: true :: relation: MDD 1861329337, 5 edges, 4 vertices, 3 tuples
11.64/4.89 c 21:59:27.490 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7853. 'extension(3, wk[0][2]=[0‥1]) :: init: true :: relation: MDD 52354732, 4 edges, 3 vertices, 3 tuples
11.64/4.90 c 21:59:27.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7854. 'extension(3, x[20][0]=[0‥3]) :: init: true :: relation: MDD 1861329337, 5 edges, 4 vertices, 3 tuples
11.64/4.90 c 21:59:27.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7857. 'extension(3, 3) :: init: true :: relation: MDD 1861329337, 5 edges, 4 vertices, 3 tuples
11.96/4.90 c 21:59:27.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7884. 'extension(3, wk[6][2]=[0‥1]) :: init: true :: relation: MDD 1790598448, 4 edges, 3 vertices, 3 tuples
11.96/4.90 c 21:59:27.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7885. 'extension(x[19][6]=[0‥3], 3) :: init: true :: relation: MDD 1680365850, 5 edges, 4 vertices, 3 tuples
11.96/4.90 c 21:59:27.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7886. 'extension(3, x[21][6]=[0‥3]) :: init: true :: relation: MDD 1680365850, 5 edges, 4 vertices, 3 tuples
11.96/4.90 c 21:59:27.497 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7915. 'extension(x[21][2]=[0‥3], 3) :: init: true :: relation: MDD 1324165839, 5 edges, 4 vertices, 3 tuples
11.96/4.90 c 21:59:27.499 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7945. 'extension(3, x[24][2]=[0‥3]) :: init: true :: relation: MDD 1324165839, 5 edges, 4 vertices, 3 tuples
11.96/4.90 c 21:59:27.499 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7948. 'extension(3, 3) :: init: true :: relation: MDD 1324165839, 5 edges, 4 vertices, 3 tuples
11.96/4.91 c 21:59:27.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7974. 'extension(x[22][4]=[0‥3], 3) :: init: true :: relation: MDD 1641565704, 5 edges, 4 vertices, 3 tuples
11.96/4.91 c 21:59:27.502 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7975. 'extension(3, x[24][4]=[0‥3]) :: init: true :: relation: MDD 1641565704, 5 edges, 4 vertices, 3 tuples
11.96/4.91 c 21:59:27.503 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8003. 'extension(x[22][12]=[0‥3], 3) :: init: true :: relation: MDD 1545563479, 5 edges, 4 vertices, 3 tuples
11.96/4.91 c 21:59:27.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8004. 'extension(3, x[24][12]=[0‥3]) :: init: true :: relation: MDD 1545563479, 5 edges, 4 vertices, 3 tuples
11.96/4.91 c 21:59:27.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8033. 'extension(x[23][1]=[0‥3], 3) :: init: true :: relation: MDD 2056277810, 5 edges, 4 vertices, 3 tuples
11.96/4.91 c 21:59:27.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8061. 'extension(x[23][15]=[0‥3], 3) :: init: true :: relation: MDD 1185502159, 5 edges, 4 vertices, 3 tuples
11.96/4.91 c 21:59:27.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8062. 'extension(3, x[25][15]=[0‥3]) :: init: true :: relation: MDD 1185502159, 5 edges, 4 vertices, 3 tuples
11.96/4.91 c 21:59:27.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8088. 'extension(3, x[26][1]=[0‥3]) :: init: true :: relation: MDD 2056277810, 5 edges, 4 vertices, 3 tuples
11.96/4.92 c 21:59:27.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8091. 'extension(3, 3) :: init: true :: relation: MDD 2056277810, 5 edges, 4 vertices, 3 tuples
11.96/4.92 c 21:59:27.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8115. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 185583672, 4 edges, 3 vertices, 3 tuples
11.96/4.92 c 21:59:27.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8116. 'extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 1458905542, 5 edges, 4 vertices, 3 tuples
11.96/4.92 c 21:59:27.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8140. 'extension(3, wk[4][3]=[0‥1]) :: init: true :: relation: MDD 1906128360, 4 edges, 3 vertices, 3 tuples
11.96/4.92 c 21:59:27.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8141. 'extension(x[26][4]=[0‥3], 3) :: init: true :: relation: MDD 1641565704, 5 edges, 4 vertices, 3 tuples
11.96/4.92 c 21:59:27.516 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8142. 'extension(3, x[26][4]=[0‥3]) :: init: true :: relation: MDD 1291485735, 4 edges, 3 vertices, 3 tuples
11.96/4.92 c 21:59:27.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8162. 'extension(3, wk[8][3]=[0‥1]) :: init: true :: relation: MDD 99295602, 4 edges, 3 vertices, 3 tuples
11.96/4.92 c 21:59:27.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8163. 'extension(x[26][8]=[0‥3], 3) :: init: true :: relation: MDD 1973491942, 5 edges, 4 vertices, 3 tuples
11.96/4.92 c 21:59:27.518 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8164. 'extension(3, x[26][8]=[0‥3]) :: init: true :: relation: MDD 991875403, 4 edges, 3 vertices, 3 tuples
11.96/4.92 c 21:59:27.519 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8184. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1658520865, 4 edges, 3 vertices, 3 tuples
11.96/4.92 c 21:59:27.519 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8185. 'extension(3, 3) :: init: true :: relation: MDD 1458905542, 5 edges, 4 vertices, 3 tuples
11.96/4.94 c 21:59:27.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8384. 'extension(x[2][14]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.94 c 21:59:27.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8394. 'extension(x[1][12]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.94 c 21:59:27.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8396. 'extension(x[3][12]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.94 c 21:59:27.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8410. 'extension(x[3][3]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.94 c 21:59:27.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8416. 'extension(x[3][15]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.94 c 21:59:27.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8418. 'extension(x[5][15]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.94 c 21:59:27.538 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8430. 'extension(wk[3][0]=[0‥1]) :: init: true :: relation: Empty MDD
11.96/4.94 c 21:59:27.538 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8432. 'extension(x[6][3]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8446. 'extension(x[8][7]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8448. 'extension(x[10][7]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.540 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8462. 'extension(x[10][5]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.540 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8468. 'extension(x[10][11]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.541 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8474. 'extension(x[10][16]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.541 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8476. 'extension(x[12][16]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8488. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8490. 'extension(x[13][5]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.543 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8504. 'extension(wk[11][1]=[0‥1]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.543 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8506. 'extension(x[13][11]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8522. 'extension(wk[7][1]=[0‥1]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8524. 'extension(x[12][7]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8526. 'extension(x[14][7]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.545 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8540. 'extension(x[13][9]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8546. 'extension(x[16][9]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8560. 'extension(x[14][10]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.547 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8566. 'extension(x[15][6]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.547 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8568. 'extension(x[17][6]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.548 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8582. 'extension(x[17][10]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8598. 'extension(x[15][13]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8604. 'extension(x[15][16]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8606. 'extension(x[17][16]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.550 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8618. 'extension(x[16][8]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.95 c 21:59:27.550 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8620. 'extension(x[18][8]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.551 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8634. 'extension(x[18][13]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.552 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8650. 'extension(x[17][0]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.552 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8656. 'extension(wk[0][2]=[0‥1]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.553 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8658. 'extension(x[20][0]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.553 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8672. 'extension(wk[6][2]=[0‥1]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8674. 'extension(x[19][6]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8676. 'extension(x[21][6]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.555 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8690. 'extension(x[21][2]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.555 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8696. 'extension(x[24][2]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.556 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8710. 'extension(x[22][4]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.556 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8712. 'extension(x[24][4]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.557 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8726. 'extension(x[22][12]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.557 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8728. 'extension(x[24][12]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.558 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8744. 'extension(x[23][1]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.558 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8750. 'extension(x[23][15]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.558 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8752. 'extension(x[25][15]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8764. 'extension(x[26][1]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.560 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8778. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.560 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8780. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.560 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8786. 'extension(wk[4][3]=[0‥1]) :: init: true :: relation: Empty MDD
11.96/4.96 c 21:59:27.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8788. 'extension(x[26][4]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.97 c 21:59:27.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8790. 'extension(x[26][4]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.97 c 21:59:27.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8796. 'extension(wk[8][3]=[0‥1]) :: init: true :: relation: Empty MDD
11.96/4.97 c 21:59:27.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8798. 'extension(x[26][8]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.97 c 21:59:27.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8800. 'extension(x[26][8]=[0‥3]) :: init: true :: relation: Empty MDD
11.96/4.97 c 21:59:27.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8806. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
252.08/230.12 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
252.08/230.12 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
252.08/230.12 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
252.08/230.12 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
252.08/230.12 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
252.08/230.12 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
252.08/230.12 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
252.08/230.12 at concrete.IntervalDomain.filter(IntervalDomain.scala:81)
252.08/230.12 at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
252.08/230.12 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
252.08/230.12 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.08/230.12 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.08/230.12 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.08/230.12 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.08/230.12 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.08/230.12 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.08/230.12 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.08/230.12 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
252.08/230.12 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
252.08/230.12 at scala.Option.map(Option.scala:146)
252.08/230.12 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
252.08/230.12 at concrete.MAC.mac(MAC.scala:203)
252.08/230.12 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.08/230.12 at scala.util.Try$.apply(Try.scala:209)
252.08/230.12 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.08/230.12 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.08/230.12 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.08/230.12 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.08/230.12 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.08/230.12 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.08/230.12 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.08/230.12 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.08/230.12 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.08/230.12 at concrete.MAC.oneRun(MAC.scala:253)
252.08/230.12 at concrete.MAC.nextSolution(MAC.scala:272)
252.08/230.12 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.08/230.12 at concrete.ProblemState.map(ProblemState.scala:221)
252.08/230.12 at concrete.ProblemState.map(ProblemState.scala:204)
252.08/230.12 at concrete.MAC.nextSolution(MAC.scala:334)
252.08/230.12 at concrete.Solver.hasNext(Solver.scala:166)
252.08/230.12 at scala.collection.Iterator.foreach(Iterator.scala:944)
252.08/230.12 at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.08/230.12 at concrete.Solver.foreach(Solver.scala:68)
252.08/230.12 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.08/230.12 at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.08/230.12 at scala.util.Success.map(Try.scala:209)
252.08/230.12 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.08/230.12 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.08/230.12 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.08/230.12 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.08/230.12 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.08/230.12 at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.08/230.12 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.08/230.12 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.08/230.12 at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.08/230.12 at scala.collection.immutable.List.foreach(List.scala:389)
252.08/230.12 at scala.App.main(App.scala:76)
252.08/230.12 at scala.App.main$(App.scala:74)
252.08/230.12 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.08/230.12 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.08/230.13 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14340 MiB free)
memory of node 1: 16384 MiB (12930 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302425-1532894362/watcher-4302425-1532894362 -o /tmp/evaluation-result-4302425-1532894362/solver-4302425-1532894362 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1620 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1275593736 HOME/instance-4302425-1532894362.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1980, runsolver pid=1977
[startup+0.100058 s]*
/proc/loadavg: 1.34 1.51 1.47 3/208 2037
/proc/meminfo: memFree=27912920/32770624 swapFree=67108860/67108860
[pid=1980] ppid=1977 vsize=10005480 memory=16820 CPUtime=0.09 cores=0,2,4,6
/proc/1980/stat : 1980 (java) S 1977 1980 22004 0 -1 1077944320 4363 13233 0 0 1 0 5 3 20 0 6 0 106999398 10245611520 4205 33554432000 4194304 4196468 140726775712944 140726775695488 140559473618679 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
/proc/1980/statm: 2501370 4205 1935 1 0 2489808 0
[pid=1980/tid=2033] ppid=1977 vsize=10005480 memory=8326441112148417179 CPUtime=0.09 cores=0,2,4,6
/proc/1980/task/2033/stat : 2033 (java) R 1977 1980 22004 0 -1 4202560 2268 13233 0 0 1 0 5 3 20 0 6 0 106999406 10245611520 4337 33554432000 4194304 4196468 140726775712944 140559445455440 140559457699166 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2034] ppid=1977 vsize=10005480 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2034/stat : 2034 (java) S 1977 1980 22004 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 6 0 106999407 10245611520 4337 33554432000 4194304 4196468 140726775712944 140559477861008 140559473628885 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2035] ppid=1977 vsize=10005480 memory=140218393552512 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2035/stat : 2035 (java) S 1977 1980 22004 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 6 0 106999407 10245611520 4337 33554432000 4194304 4196468 140726775712944 140559332579856 140559473628885 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2036] ppid=1977 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2036/stat : 2036 (java) S 1977 1980 22004 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 6 0 106999407 10245611520 4337 33554432000 4194304 4196468 140726775712944 140559331527056 140559473628885 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2037] ppid=1977 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2037/stat : 2037 (java) S 1977 1980 22004 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 6 0 106999407 10245611520 4337 33554432000 4194304 4196468 140726775712944 140559330474256 140559473628885 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16820 KiB
[startup+0.209865 s]*
/proc/loadavg: 1.34 1.51 1.47 3/217 2046
/proc/meminfo: memFree=27889188/32770624 swapFree=67108860/67108860
[pid=1980] ppid=1977 vsize=10982744 memory=45580 CPUtime=0.26 cores=0,2,4,6
/proc/1980/stat : 1980 (java) S 1977 1980 22004 0 -1 1077944320 8030 13233 0 0 17 1 5 3 20 0 15 0 106999398 11246329856 11395 33554432000 4194304 4196468 140726775712944 140726775695488 140559473618679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
/proc/1980/statm: 2745686 11395 2976 1 0 2708109 0
[pid=1980/tid=2033] ppid=1977 vsize=10985364 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/1980/task/2033/stat : 2033 (java) R 1977 1980 22004 0 -1 4202560 5058 13233 0 0 11 0 5 3 20 0 15 0 106999406 11249012736 11857 33554432000 4194304 4196468 140726775712944 140559445443488 140559466298397 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2034] ppid=1977 vsize=10985364 memory=365 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2034/stat : 2034 (java) S 1977 1980 22004 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 106999407 11249012736 11857 33554432000 4194304 4196468 140726775712944 140559477861008 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2035] ppid=1977 vsize=10985364 memory=140218394172387 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2035/stat : 2035 (java) S 1977 1980 22004 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 106999407 11249012736 11857 33554432000 4194304 4196468 140726775712944 140559332579856 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2036] ppid=1977 vsize=10985364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2036/stat : 2036 (java) S 1977 1980 22004 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 106999407 11249012736 11923 33554432000 4194304 4196468 140726775712944 140559331527056 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2037] ppid=1977 vsize=10985364 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2037/stat : 2037 (java) S 1977 1980 22004 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 106999407 11249012736 11923 33554432000 4194304 4196468 140726775712944 140559330474256 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2038] ppid=1977 vsize=10985364 memory=140218393552512 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2038/stat : 2038 (java) S 1977 1980 22004 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 106999409 11249012736 11923 33554432000 4194304 4196468 140726775712944 140558899030896 140559473629826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2039] ppid=1977 vsize=10985364 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2039/stat : 2039 (java) S 1977 1980 22004 0 -1 1077944384 13 13233 0 0 0 0 5 3 20 0 15 0 106999409 11249012736 11923 33554432000 4194304 4196468 140726775712944 140558254204448 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2040] ppid=1977 vsize=10985364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2040/stat : 2040 (java) S 1977 1980 22004 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 106999409 11249012736 11989 33554432000 4194304 4196468 140726775712944 140558106355056 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2041] ppid=1977 vsize=10985364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2041/stat : 2041 (java) S 1977 1980 22004 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 106999412 11249012736 11989 33554432000 4194304 4196468 140726775712944 140557798955344 140559473637275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2042] ppid=1977 vsize=10985364 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1980/task/2042/stat : 2042 (java) S 1977 1980 22004 0 -1 1077944384 479 13233 0 0 1 0 5 3 20 0 15 0 106999412 11249012736 11989 33554432000 4194304 4196468 140726775712944 140558897977712 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2043] ppid=1977 vsize=10985364 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2043/stat : 2043 (java) S 1977 1980 22004 0 -1 1077944384 135 13233 0 0 0 0 5 3 20 0 15 0 106999412 11249012736 11989 33554432000 4194304 4196468 140726775712944 140558896924912 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2044] ppid=1977 vsize=10985364 memory=140218393552512 CPUtime=0.11 cores=0,2,4,6
/proc/1980/task/2044/stat : 2044 (java) S 1977 1980 22004 0 -1 1077944384 605 13233 0 0 3 0 5 3 20 0 15 0 106999412 11249012736 12055 33554432000 4194304 4196468 140726775712944 140558895872112 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2045] ppid=1977 vsize=10985364 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2045/stat : 2045 (java) S 1977 1980 22004 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 106999412 11249012736 12055 33554432000 4194304 4196468 140726775712944 140557368158432 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2046] ppid=1977 vsize=10985364 memory=140218393552512 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2046/stat : 2046 (java) S 1977 1980 22004 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 106999413 11249012736 12055 33554432000 4194304 4196468 140726775712944 140558894820528 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45580 KiB
[startup+0.310283 s]*
/proc/loadavg: 1.34 1.51 1.47 4/217 2046
/proc/meminfo: memFree=27875916/32770624 swapFree=67108860/67108860
[pid=1980] ppid=1977 vsize=10983192 memory=56824 CPUtime=0.38 cores=0,2,4,6
/proc/1980/stat : 1980 (java) S 1977 1980 22004 0 -1 1077944320 10694 13233 0 0 28 2 5 3 20 0 15 0 106999398 11246788608 14206 33554432000 4194304 4196468 140726775712944 140726775695488 140559473618679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
/proc/1980/statm: 2745798 14206 3095 1 0 2708109 0
[pid=1980/tid=2033] ppid=1977 vsize=10983192 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/1980/task/2033/stat : 2033 (java) R 1977 1980 22004 0 -1 4202560 7255 13233 0 0 20 1 5 3 20 0 15 0 106999406 11246788608 14206 33554432000 4194304 4196468 140726775712944 140559445430688 140559457699166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2034] ppid=1977 vsize=10983192 memory=3691042058319900680 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2034/stat : 2034 (java) S 1977 1980 22004 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 106999407 11246788608 14206 33554432000 4194304 4196468 140726775712944 140559477861008 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2035] ppid=1977 vsize=10983192 memory=140222688519807 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2035/stat : 2035 (java) S 1977 1980 22004 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 106999407 11246788608 14206 33554432000 4194304 4196468 140726775712944 140559332579856 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2036] ppid=1977 vsize=10983192 memory=2209 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2036/stat : 2036 (java) S 1977 1980 22004 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 106999407 11246788608 14206 33554432000 4194304 4196468 140726775712944 140559331527056 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2037] ppid=1977 vsize=10983192 memory=2240 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2037/stat : 2037 (java) S 1977 1980 22004 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 106999407 11246788608 14206 33554432000 4194304 4196468 140726775712944 140559330474256 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2038] ppid=1977 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2038/stat : 2038 (java) S 1977 1980 22004 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 106999409 11246788608 14206 33554432000 4194304 4196468 140726775712944 140558899030896 140559473629826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2039] ppid=1977 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2039/stat : 2039 (java) S 1977 1980 22004 0 -1 1077944384 13 13233 0 0 0 0 5 3 20 0 15 0 106999409 11246788608 14206 33554432000 4194304 4196468 140726775712944 140558254204448 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2040] ppid=1977 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2040/stat : 2040 (java) S 1977 1980 22004 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 106999409 11246788608 14206 33554432000 4194304 4196468 140726775712944 140558106355056 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2041] ppid=1977 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2041/stat : 2041 (java) S 1977 1980 22004 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 106999412 11246788608 14206 33554432000 4194304 4196468 140726775712944 140557798955344 140559473637275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2042] ppid=1977 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1980/task/2042/stat : 2042 (java) S 1977 1980 22004 0 -1 1077944384 482 13233 0 0 1 0 5 3 20 0 15 0 106999412 11246788608 14206 33554432000 4194304 4196468 140726775712944 140558897977712 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2043] ppid=1977 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/1980/task/2043/stat : 2043 (java) S 1977 1980 22004 0 -1 1077944384 138 13233 0 0 1 0 5 3 20 0 15 0 106999412 11246788608 14206 33554432000 4194304 4196468 140726775712944 140558896924912 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2044] ppid=1977 vsize=10983192 memory=140218393552512 CPUtime=0.12 cores=0,2,4,6
/proc/1980/task/2044/stat : 2044 (java) R 1977 1980 22004 0 -1 4202560 611 13233 0 0 4 0 5 3 20 0 15 0 106999412 11246788608 14206 33554432000 4194304 4196468 140726775712944 140558895872112 140559473640026 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2045] ppid=1977 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2045/stat : 2045 (java) S 1977 1980 22004 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 106999412 11246788608 14206 33554432000 4194304 4196468 140726775712944 140557368158432 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2046] ppid=1977 vsize=10983192 memory=140218393552512 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2046/stat : 2046 (java) S 1977 1980 22004 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 106999413 11246788608 14206 33554432000 4194304 4196468 140726775712944 140558894820528 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56824 KiB
[startup+0.700717 s]
/proc/loadavg: 1.34 1.51 1.47 5/217 2046
/proc/meminfo: memFree=27862124/32770624 swapFree=67108860/67108860
[pid=1980] ppid=1977 vsize=10983192 memory=88840 CPUtime=0.99 cores=0,2,4,6
/proc/1980/stat : 1980 (java) S 1977 1980 22004 0 -1 1077944320 16795 13233 0 0 87 4 5 3 20 0 15 0 106999398 11246788608 22210 33554432000 4194304 4196468 140726775712944 140726775695488 140559473618679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
/proc/1980/statm: 2745798 22210 3240 1 0 2708109 0
[pid=1980/tid=2033] ppid=1977 vsize=10983192 memory=280436534233472 CPUtime=0.67 cores=0,2,4,6
/proc/1980/task/2033/stat : 2033 (java) R 1977 1980 22004 0 -1 4202560 12287 13233 0 0 57 2 5 3 20 0 15 0 106999406 11246788608 22210 33554432000 4194304 4196468 140726775712944 140559445439504 140559473640605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2034] ppid=1977 vsize=10983192 memory=280436534233664 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2034/stat : 2034 (java) S 1977 1980 22004 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 106999407 11246788608 22210 33554432000 4194304 4196468 140726775712944 140559477861008 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2035] ppid=1977 vsize=10983192 memory=280436534233856 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2035/stat : 2035 (java) S 1977 1980 22004 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 106999407 11246788608 22210 33554432000 4194304 4196468 140726775712944 140559332579856 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2036] ppid=1977 vsize=10983192 memory=3954 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2036/stat : 2036 (java) S 1977 1980 22004 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 106999407 11246788608 22210 33554432000 4194304 4196468 140726775712944 140559331527056 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2037] ppid=1977 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2037/stat : 2037 (java) S 1977 1980 22004 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 106999407 11246788608 22210 33554432000 4194304 4196468 140726775712944 140559330474256 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2038] ppid=1977 vsize=10983192 memory=6291618179380887648 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2038/stat : 2038 (java) S 1977 1980 22004 0 -1 1077944384 5 13233 0 0 0 0 5 3 20 0 15 0 106999409 11246788608 22210 33554432000 4194304 4196468 140726775712944 140558899030896 140559473629826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2039] ppid=1977 vsize=10983192 memory=5795117241467496816 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2039/stat : 2039 (java) S 1977 1980 22004 0 -1 1077944384 13 13233 0 0 0 0 5 3 20 0 15 0 106999409 11246788608 22210 33554432000 4194304 4196468 140726775712944 140558254204448 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2040] ppid=1977 vsize=10983192 memory=7516877558933115733 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2040/stat : 2040 (java) S 1977 1980 22004 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 106999409 11246788608 22210 33554432000 4194304 4196468 140726775712944 140558106355056 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2041] ppid=1977 vsize=10983192 memory=4028 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2041/stat : 2041 (java) S 1977 1980 22004 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 106999412 11246788608 22274 33554432000 4194304 4196468 140726775712944 140557798955344 140559473637275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2042] ppid=1977 vsize=10983192 memory=30452 CPUtime=0.17 cores=0,2,4,6
/proc/1980/task/2042/stat : 2042 (java) S 1977 1980 22004 0 -1 1077944384 1062 13233 0 0 9 0 5 3 20 0 15 0 106999412 11246788608 22274 33554432000 4194304 4196468 140726775712944 140558897977712 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2043] ppid=1977 vsize=10983192 memory=4548 CPUtime=0.15 cores=0,2,4,6
/proc/1980/task/2043/stat : 2043 (java) S 1977 1980 22004 0 -1 1077944384 558 13233 0 0 7 0 5 3 20 0 15 0 106999412 11246788608 22274 33554432000 4194304 4196468 140726775712944 140558896924912 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2044] ppid=1977 vsize=10983192 memory=288230621787193645 CPUtime=0.21 cores=0,2,4,6
/proc/1980/task/2044/stat : 2044 (java) R 1977 1980 22004 0 -1 4202560 663 13233 0 0 13 0 5 3 20 0 15 0 106999412 11246788608 22274 33554432000 4194304 4196468 140726775712944 140558895872112 140559473630614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2045] ppid=1977 vsize=10983192 memory=14418120135673599 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2045/stat : 2045 (java) S 1977 1980 22004 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 106999412 11246788608 22274 33554432000 4194304 4196468 140726775712944 140557368158432 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2046] ppid=1977 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2046/stat : 2046 (java) S 1977 1980 22004 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 106999413 11246788608 22274 33554432000 4194304 4196468 140726775712944 140558894820528 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88840 KiB
[startup+1.50196 s]
/proc/loadavg: 1.34 1.51 1.47 8/217 2046
/proc/meminfo: memFree=27801076/32770624 swapFree=67108860/67108860
[pid=1980] ppid=1977 vsize=10996044 memory=167556 CPUtime=3.06 cores=0,2,4,6
/proc/1980/stat : 1980 (java) S 1977 1980 22004 0 -1 1077944320 25641 13233 0 0 290 8 5 3 20 0 15 0 106999398 11259949056 41889 33554432000 4194304 4196468 140726775712944 140726775695488 140559473618679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
/proc/1980/statm: 2749011 41889 3448 1 0 2710669 0
[pid=1980/tid=2033] ppid=1977 vsize=10996044 memory=280436534152784 CPUtime=1.46 cores=0,2,4,6
/proc/1980/task/2033/stat : 2033 (java) R 1977 1980 22004 0 -1 4202560 16884 13233 0 0 133 5 5 3 20 0 15 0 106999406 11259949056 41889 33554432000 4194304 4196468 140726775712944 140559445397584 140559473640605 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2034] ppid=1977 vsize=10996044 memory=10677758462698 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2034/stat : 2034 (java) S 1977 1980 22004 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 106999407 11259949056 41889 33554432000 4194304 4196468 140726775712944 140559477861008 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2035] ppid=1977 vsize=10996044 memory=11362754159 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2035/stat : 2035 (java) S 1977 1980 22004 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 106999407 11259949056 41889 33554432000 4194304 4196468 140726775712944 140559332579856 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2036] ppid=1977 vsize=10996044 memory=6440526301798963373 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2036/stat : 2036 (java) S 1977 1980 22004 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 106999407 11259949056 41889 33554432000 4194304 4196468 140726775712944 140559331527056 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2037] ppid=1977 vsize=10996044 memory=6440526301798963373 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2037/stat : 2037 (java) S 1977 1980 22004 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 106999407 11259949056 41889 33554432000 4194304 4196468 140726775712944 140559330474256 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2038] ppid=1977 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2038/stat : 2038 (java) S 1977 1980 22004 0 -1 1077944384 13 13233 0 0 0 0 5 3 20 0 15 0 106999409 11259949056 41889 33554432000 4194304 4196468 140726775712944 140558899030896 140559473629826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2039] ppid=1977 vsize=10996044 memory=6442213880617788255 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2039/stat : 2039 (java) S 1977 1980 22004 0 -1 1077944384 13 13233 0 0 0 0 5 3 20 0 15 0 106999409 11259949056 41889 33554432000 4194304 4196468 140726775712944 140558254204448 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2040] ppid=1977 vsize=10996044 memory=6442213880617788255 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2040/stat : 2040 (java) S 1977 1980 22004 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 106999409 11259949056 41889 33554432000 4194304 4196468 140726775712944 140558106355056 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2041] ppid=1977 vsize=10996044 memory=6442213880617788255 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2041/stat : 2041 (java) S 1977 1980 22004 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 106999412 11259949056 41889 33554432000 4194304 4196468 140726775712944 140557798955344 140559473637275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2042] ppid=1977 vsize=10996044 memory=6152568441641395039 CPUtime=0.61 cores=0,2,4,6
/proc/1980/task/2042/stat : 2042 (java) S 1977 1980 22004 0 -1 1077944384 2185 13233 0 0 53 0 5 3 20 0 15 0 106999412 11259949056 41889 33554432000 4194304 4196468 140726775712944 140558897977712 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2043] ppid=1977 vsize=10996044 memory=6152568441641395039 CPUtime=0.63 cores=0,2,4,6
/proc/1980/task/2043/stat : 2043 (java) R 1977 1980 22004 0 -1 4202560 2373 13233 0 0 55 0 5 3 20 0 15 0 106999412 11259949056 41889 33554432000 4194304 4196468 140726775712944 140558896924912 140559454263590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2044] ppid=1977 vsize=10996044 memory=6152568441641395039 CPUtime=0.56 cores=0,2,4,6
/proc/1980/task/2044/stat : 2044 (java) S 1977 1980 22004 0 -1 1077944384 1967 13233 0 0 48 0 5 3 20 0 15 0 106999412 11259949056 41889 33554432000 4194304 4196468 140726775712944 140558895872112 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2045] ppid=1977 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2045/stat : 2045 (java) S 1977 1980 22004 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 106999412 11259949056 41889 33554432000 4194304 4196468 140726775712944 140557368158432 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2046] ppid=1977 vsize=10996044 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2046/stat : 2046 (java) S 1977 1980 22004 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 106999413 11259949056 41889 33554432000 4194304 4196468 140726775712944 140558894820528 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/1980/task/2033/stat : 2033 (java) R 1977 1980 22004 0 -1 4202560 55033 13233 0 0 16104 23 5 3 20 0 15 0 106999406 11348049920 295848 33554432000 4194304 4196468 140726775712944 140559445453424 140559000580715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2034] ppid=1977 vsize=11082080 memory=1183392 CPUtime=0.54 cores=0,2,4,6
/proc/1980/task/2034/stat : 2034 (java) S 1977 1980 22004 0 -1 1077944384 2947 13233 0 0 40 6 5 3 20 0 15 0 106999407 11348049920 295848 33554432000 4194304 4196468 140726775712944 140559477861008 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2035] ppid=1977 vsize=11082080 memory=1183392 CPUtime=0.51 cores=0,2,4,6
/proc/1980/task/2035/stat : 2035 (java) S 1977 1980 22004 0 -1 1077944384 1774 13233 0 0 38 5 5 3 20 0 15 0 106999407 11348049920 295848 33554432000 4194304 4196468 140726775712944 140559332579856 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2036] ppid=1977 vsize=11082080 memory=1183392 CPUtime=0.54 cores=0,2,4,6
/proc/1980/task/2036/stat : 2036 (java) S 1977 1980 22004 0 -1 1077944384 1928 13233 0 0 40 6 5 3 20 0 15 0 106999407 11348049920 295848 33554432000 4194304 4196468 140726775712944 140559331527056 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2037] ppid=1977 vsize=11082080 memory=1200 CPUtime=0.53 cores=0,2,4,6
/proc/1980/task/2037/stat : 2037 (java) S 1977 1980 22004 0 -1 1077944384 3377 13233 0 0 39 6 5 3 20 0 15 0 106999407 11348049920 295848 33554432000 4194304 4196468 140726775712944 140559330474256 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2038] ppid=1977 vsize=11082080 memory=15872 CPUtime=0.39 cores=0,2,4,6
/proc/1980/task/2038/stat : 2038 (java) S 1977 1980 22004 0 -1 1077944384 5340 13233 0 0 29 2 5 3 20 0 15 0 106999409 11348049920 295848 33554432000 4194304 4196468 140726775712944 140558899030896 140559473629826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2039] ppid=1977 vsize=11082080 memory=1181344 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2039/stat : 2039 (java) S 1977 1980 22004 0 -1 1077944384 15 13233 0 0 0 0 5 3 20 0 15 0 106999409 11348049920 295848 33554432000 4194304 4196468 140726775712944 140558254204512 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2040] ppid=1977 vsize=11082080 memory=4028 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2040/stat : 2040 (java) S 1977 1980 22004 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 106999409 11348049920 295848 33554432000 4194304 4196468 140726775712944 140558106355072 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2041] ppid=1977 vsize=11082080 memory=1181344 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2041/stat : 2041 (java) S 1977 1980 22004 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 106999412 11348049920 295848 33554432000 4194304 4196468 140726775712944 140557798955344 140559473637275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2042] ppid=1977 vsize=11082080 memory=1181344 CPUtime=7.88 cores=0,2,4,6
/proc/1980/task/2042/stat : 2042 (java) S 1977 1980 22004 0 -1 1077944384 20146 13233 0 0 777 3 5 3 20 0 15 0 106999412 11348049920 295848 33554432000 4194304 4196468 140726775712944 140558897977712 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2043] ppid=1977 vsize=11082080 memory=1183392 CPUtime=7.96 cores=0,2,4,6
/proc/1980/task/2043/stat : 2043 (java) S 1977 1980 22004 0 -1 1077944384 24930 13233 0 0 782 6 5 3 20 0 15 0 106999412 11348049920 295848 33554432000 4194304 4196468 140726775712944 140558896924912 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2044] ppid=1977 vsize=11082080 memory=1181344 CPUtime=3.32 cores=0,2,4,6
/proc/1980/task/2044/stat : 2044 (java) S 1977 1980 22004 0 -1 1077944384 23952 13233 0 0 318 6 5 3 20 0 15 0 106999412 11348049920 295848 33554432000 4194304 4196468 140726775712944 140558895872112 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2045] ppid=1977 vsize=11082080 memory=1183392 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2045/stat : 2045 (java) S 1977 1980 22004 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 106999412 11348049920 295848 33554432000 4194304 4196468 140726775712944 140557368158432 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2046] ppid=1977 vsize=11082080 memory=30480 CPUtime=0.15 cores=0,2,4,6
/proc/1980/task/2046/stat : 2046 (java) S 1977 1980 22004 0 -1 1077944384 1127 13233 0 0 4 3 5 3 20 0 15 0 106999413 11348049920 295848 33554432000 4194304 4196468 140726775712944 140558894820528 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
Current children cumulated CPU time: 182.55 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1183392 KiB
[startup+222.301 s]
/proc/loadavg: 2.03 1.78 1.59 3/216 2211
/proc/meminfo: memFree=26336320/32770624 swapFree=67108860/67108860
[pid=1980] ppid=1977 vsize=11082080 memory=1177244 CPUtime=244.05 cores=0,2,4,6
/proc/1980/stat : 1980 (java) S 1977 1980 22004 0 -1 1077944320 157762 13233 0 0 24322 75 5 3 20 0 15 0 106999398 11348049920 294311 33554432000 4194304 4196468 140726775712944 140726775695488 140559473618679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
/proc/1980/statm: 2770520 294311 3535 1 0 2732173 0
[pid=1980/tid=2033] ppid=1977 vsize=11082080 memory=1177244 CPUtime=220.78 cores=0,2,4,6
/proc/1980/task/2033/stat : 2033 (java) R 1977 1980 22004 0 -1 4202560 56525 13233 0 0 22046 24 5 3 20 0 15 0 106999406 11348049920 294311 33554432000 4194304 4196468 140726775712944 140559445452736 140559006738997 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2034] ppid=1977 vsize=11082080 memory=1177244 CPUtime=0.79 cores=0,2,4,6
/proc/1980/task/2034/stat : 2034 (java) S 1977 1980 22004 0 -1 1077944384 3712 13233 0 0 64 7 5 3 20 0 15 0 106999407 11348049920 294311 33554432000 4194304 4196468 140726775712944 140559477861008 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2035] ppid=1977 vsize=11082080 memory=1177244 CPUtime=0.76 cores=0,2,4,6
/proc/1980/task/2035/stat : 2035 (java) S 1977 1980 22004 0 -1 1077944384 2962 13233 0 0 63 5 5 3 20 0 15 0 106999407 11348049920 294311 33554432000 4194304 4196468 140726775712944 140559332579856 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2036] ppid=1977 vsize=11082080 memory=30480 CPUtime=0.79 cores=0,2,4,6
/proc/1980/task/2036/stat : 2036 (java) S 1977 1980 22004 0 -1 1077944384 3154 13233 0 0 64 7 5 3 20 0 15 0 106999407 11348049920 294311 33554432000 4194304 4196468 140726775712944 140559331527056 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2037] ppid=1977 vsize=11082080 memory=149005770164341 CPUtime=0.78 cores=0,2,4,6
/proc/1980/task/2037/stat : 2037 (java) S 1977 1980 22004 0 -1 1077944384 3623 13233 0 0 63 7 5 3 20 0 15 0 106999407 11348049920 294311 33554432000 4194304 4196468 140726775712944 140559330474256 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2038] ppid=1977 vsize=11082080 memory=8744553416691 CPUtime=0.62 cores=0,2,4,6
/proc/1980/task/2038/stat : 2038 (java) S 1977 1980 22004 0 -1 1077944384 5752 13233 0 0 51 3 5 3 20 0 15 0 106999409 11348049920 294311 33554432000 4194304 4196468 140726775712944 140558899030896 140559473629826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2039] ppid=1977 vsize=11082080 memory=1296 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2039/stat : 2039 (java) S 1977 1980 22004 0 -1 1077944384 15 13233 0 0 0 0 5 3 20 0 15 0 106999409 11348049920 294311 33554432000 4194304 4196468 140726775712944 140558254204512 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2040] ppid=1977 vsize=11082080 memory=2424 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2040/stat : 2040 (java) S 1977 1980 22004 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 106999409 11348049920 294311 33554432000 4194304 4196468 140726775712944 140558106355072 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2041] ppid=1977 vsize=11082080 memory=1177244 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2041/stat : 2041 (java) S 1977 1980 22004 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 106999412 11348049920 294311 33554432000 4194304 4196468 140726775712944 140557798955344 140559473637275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2042] ppid=1977 vsize=11082080 memory=1624 CPUtime=8.19 cores=0,2,4,6
/proc/1980/task/2042/stat : 2042 (java) S 1977 1980 22004 0 -1 1077944384 23297 13233 0 0 808 3 5 3 20 0 15 0 106999412 11348049920 294311 33554432000 4194304 4196468 140726775712944 140558897977712 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2043] ppid=1977 vsize=11082080 memory=1177244 CPUtime=8.29 cores=0,2,4,6
/proc/1980/task/2043/stat : 2043 (java) S 1977 1980 22004 0 -1 1077944384 28370 13233 0 0 814 7 5 3 20 0 15 0 106999412 11348049920 294311 33554432000 4194304 4196468 140726775712944 140558896924912 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2044] ppid=1977 vsize=11082080 memory=18128 CPUtime=3.46 cores=0,2,4,6
/proc/1980/task/2044/stat : 2044 (java) S 1977 1980 22004 0 -1 1077944384 26978 13233 0 0 332 6 5 3 20 0 15 0 106999412 11348049920 294311 33554432000 4194304 4196468 140726775712944 140558895872112 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2045] ppid=1977 vsize=11082080 memory=4028 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2045/stat : 2045 (java) S 1977 1980 22004 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 106999412 11348049920 294311 33554432000 4194304 4196468 140726775712944 140557368158432 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2046] ppid=1977 vsize=11082080 memory=30480 CPUtime=0.19 cores=0,2,4,6
/proc/1980/task/2046/stat : 2046 (java) S 1977 1980 22004 0 -1 1077944384 1175 13233 0 0 6 5 5 3 20 0 15 0 106999413 11348049920 294311 33554432000 4194304 4196468 140726775712944 140558894820528 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
Current children cumulated CPU time: 244.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1177244 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+230.111 s]
/proc/loadavg: 2.03 1.78 1.59 3/216 2211
/proc/meminfo: memFree=26095456/32770624 swapFree=67108860/67108860
[pid=1980] ppid=1977 vsize=11082080 memory=1177260 CPUtime=252.08 cores=0,2,4,6
/proc/1980/stat : 1980 (java) S 1977 1980 22004 0 -1 1077944320 165223 13233 0 0 25123 77 5 3 20 0 15 0 106999398 11348049920 294315 33554432000 4194304 4196468 140726775712944 140726775695488 140559473618679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
/proc/1980/statm: 2770520 294315 3535 1 0 2732173 0
[pid=1980/tid=2033] ppid=1977 vsize=11082080 memory=1177260 CPUtime=228.51 cores=0,2,4,6
/proc/1980/task/2033/stat : 2033 (java) R 1977 1980 22004 0 -1 4202560 57231 13233 0 0 22819 24 5 3 20 0 15 0 106999406 11348049920 294315 33554432000 4194304 4196468 140726775712944 140559445452976 140559005627816 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2034] ppid=1977 vsize=11082080 memory=1177260 CPUtime=0.83 cores=0,2,4,6
/proc/1980/task/2034/stat : 2034 (java) S 1977 1980 22004 0 -1 1077944384 3857 13233 0 0 67 8 5 3 20 0 15 0 106999407 11348049920 294315 33554432000 4194304 4196468 140726775712944 140559477861008 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2035] ppid=1977 vsize=11082080 memory=1177260 CPUtime=0.8 cores=0,2,4,6
/proc/1980/task/2035/stat : 2035 (java) S 1977 1980 22004 0 -1 1077944384 2977 13233 0 0 67 5 5 3 20 0 15 0 106999407 11348049920 294315 33554432000 4194304 4196468 140726775712944 140559332579856 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2036] ppid=1977 vsize=11082080 memory=1177260 CPUtime=0.83 cores=0,2,4,6
/proc/1980/task/2036/stat : 2036 (java) S 1977 1980 22004 0 -1 1077944384 3769 13233 0 0 68 7 5 3 20 0 15 0 106999407 11348049920 294315 33554432000 4194304 4196468 140726775712944 140559331527056 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2037] ppid=1977 vsize=11082080 memory=1177244 CPUtime=0.82 cores=0,2,4,6
/proc/1980/task/2037/stat : 2037 (java) S 1977 1980 22004 0 -1 1077944384 3656 13233 0 0 66 8 5 3 20 0 15 0 106999407 11348049920 294315 33554432000 4194304 4196468 140726775712944 140559330474256 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2038] ppid=1977 vsize=11082080 memory=1177244 CPUtime=0.65 cores=0,2,4,6
/proc/1980/task/2038/stat : 2038 (java) S 1977 1980 22004 0 -1 1077944384 6048 13233 0 0 54 3 5 3 20 0 15 0 106999409 11348049920 294315 33554432000 4194304 4196468 140726775712944 140558899030896 140559473629826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2039] ppid=1977 vsize=11082080 memory=1177260 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2039/stat : 2039 (java) S 1977 1980 22004 0 -1 1077944384 15 13233 0 0 0 0 5 3 20 0 15 0 106999409 11348049920 294315 33554432000 4194304 4196468 140726775712944 140558254204512 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2040] ppid=1977 vsize=11082080 memory=1177260 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2040/stat : 2040 (java) S 1977 1980 22004 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 106999409 11348049920 294315 33554432000 4194304 4196468 140726775712944 140558106355072 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2041] ppid=1977 vsize=11082080 memory=1004 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2041/stat : 2041 (java) S 1977 1980 22004 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 106999412 11348049920 294315 33554432000 4194304 4196468 140726775712944 140557798955344 140559473637275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2042] ppid=1977 vsize=11082080 memory=1177260 CPUtime=8.25 cores=0,2,4,6
/proc/1980/task/2042/stat : 2042 (java) S 1977 1980 22004 0 -1 1077944384 26058 13233 0 0 813 4 5 3 20 0 15 0 106999412 11348049920 294315 33554432000 4194304 4196468 140726775712944 140558897977712 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2043] ppid=1977 vsize=11082080 memory=30480 CPUtime=8.33 cores=0,2,4,6
/proc/1980/task/2043/stat : 2043 (java) S 1977 1980 22004 0 -1 1077944384 29272 13233 0 0 818 7 5 3 20 0 15 0 106999412 11348049920 294315 33554432000 4194304 4196468 140726775712944 140558896924912 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2044] ppid=1977 vsize=11082080 memory=149005770164341 CPUtime=3.48 cores=0,2,4,6
/proc/1980/task/2044/stat : 2044 (java) S 1977 1980 22004 0 -1 1077944384 28945 13233 0 0 334 6 5 3 20 0 15 0 106999412 11348049920 294315 33554432000 4194304 4196468 140726775712944 140558895872112 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2045] ppid=1977 vsize=11082080 memory=1177260 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2045/stat : 2045 (java) S 1977 1980 22004 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 106999412 11348049920 294315 33554432000 4194304 4196468 140726775712944 140557368158432 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2046] ppid=1977 vsize=11082080 memory=1177260 CPUtime=0.19 cores=0,2,4,6
/proc/1980/task/2046/stat : 2046 (java) S 1977 1980 22004 0 -1 1077944384 1196 13233 0 0 6 5 5 3 20 0 15 0 106999413 11348049920 294315 33554432000 4194304 4196468 140726775712944 140558894820528 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1177260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+230.153 s]
# the end of solver process 1980 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.305 s, system=0.823306 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.111 s]
/proc/loadavg: 2.03 1.78 1.59 3/216 2211
/proc/meminfo: memFree=26095456/32770624 swapFree=67108860/67108860
[pid=1980] ppid=1977 vsize=11082080 memory=1177260 CPUtime=252.08 cores=0,2,4,6
/proc/1980/stat : 1980 (java) S 1977 1980 22004 0 -1 1077944320 165223 13233 0 0 25123 77 5 3 20 0 15 0 106999398 11348049920 294315 33554432000 4194304 4196468 140726775712944 140726775695488 140559473618679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
/proc/1980/statm: 2770520 294315 3535 1 0 2732173 0
[pid=1980/tid=2033] ppid=1977 vsize=11082080 memory=1177260 CPUtime=228.51 cores=0,2,4,6
/proc/1980/task/2033/stat : 2033 (java) R 1977 1980 22004 0 -1 4202560 57231 13233 0 0 22819 24 5 3 20 0 15 0 106999406 11348049920 294315 33554432000 4194304 4196468 140726775712944 140559445452976 140559005627816 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2034] ppid=1977 vsize=11082080 memory=1177260 CPUtime=0.83 cores=0,2,4,6
/proc/1980/task/2034/stat : 2034 (java) S 1977 1980 22004 0 -1 1077944384 3857 13233 0 0 67 8 5 3 20 0 15 0 106999407 11348049920 294315 33554432000 4194304 4196468 140726775712944 140559477861008 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2035] ppid=1977 vsize=11082080 memory=1177260 CPUtime=0.8 cores=0,2,4,6
/proc/1980/task/2035/stat : 2035 (java) S 1977 1980 22004 0 -1 1077944384 2977 13233 0 0 67 5 5 3 20 0 15 0 106999407 11348049920 294315 33554432000 4194304 4196468 140726775712944 140559332579856 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2036] ppid=1977 vsize=11082080 memory=1177260 CPUtime=0.83 cores=0,2,4,6
/proc/1980/task/2036/stat : 2036 (java) S 1977 1980 22004 0 -1 1077944384 3769 13233 0 0 68 7 5 3 20 0 15 0 106999407 11348049920 294315 33554432000 4194304 4196468 140726775712944 140559331527056 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2037] ppid=1977 vsize=11082080 memory=1177244 CPUtime=0.82 cores=0,2,4,6
/proc/1980/task/2037/stat : 2037 (java) S 1977 1980 22004 0 -1 1077944384 3656 13233 0 0 66 8 5 3 20 0 15 0 106999407 11348049920 294315 33554432000 4194304 4196468 140726775712944 140559330474256 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2038] ppid=1977 vsize=11082080 memory=1177244 CPUtime=0.65 cores=0,2,4,6
/proc/1980/task/2038/stat : 2038 (java) S 1977 1980 22004 0 -1 1077944384 6048 13233 0 0 54 3 5 3 20 0 15 0 106999409 11348049920 294315 33554432000 4194304 4196468 140726775712944 140558899030896 140559473629826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2039] ppid=1977 vsize=11082080 memory=1177260 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2039/stat : 2039 (java) S 1977 1980 22004 0 -1 1077944384 15 13233 0 0 0 0 5 3 20 0 15 0 106999409 11348049920 294315 33554432000 4194304 4196468 140726775712944 140558254204512 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2040] ppid=1977 vsize=11082080 memory=1177260 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2040/stat : 2040 (java) S 1977 1980 22004 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 106999409 11348049920 294315 33554432000 4194304 4196468 140726775712944 140558106355072 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2041] ppid=1977 vsize=11082080 memory=1004 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2041/stat : 2041 (java) S 1977 1980 22004 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 106999412 11348049920 294315 33554432000 4194304 4196468 140726775712944 140557798955344 140559473637275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2042] ppid=1977 vsize=11082080 memory=1177260 CPUtime=8.25 cores=0,2,4,6
/proc/1980/task/2042/stat : 2042 (java) S 1977 1980 22004 0 -1 1077944384 26058 13233 0 0 813 4 5 3 20 0 15 0 106999412 11348049920 294315 33554432000 4194304 4196468 140726775712944 140558897977712 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2043] ppid=1977 vsize=11082080 memory=30480 CPUtime=8.33 cores=0,2,4,6
/proc/1980/task/2043/stat : 2043 (java) S 1977 1980 22004 0 -1 1077944384 29272 13233 0 0 818 7 5 3 20 0 15 0 106999412 11348049920 294315 33554432000 4194304 4196468 140726775712944 140558896924912 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2044] ppid=1977 vsize=11082080 memory=149005770164341 CPUtime=3.48 cores=0,2,4,6
/proc/1980/task/2044/stat : 2044 (java) S 1977 1980 22004 0 -1 1077944384 28945 13233 0 0 334 6 5 3 20 0 15 0 106999412 11348049920 294315 33554432000 4194304 4196468 140726775712944 140558895872112 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2045] ppid=1977 vsize=11082080 memory=1177260 CPUtime=0.08 cores=0,2,4,6
/proc/1980/task/2045/stat : 2045 (java) S 1977 1980 22004 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 106999412 11348049920 294315 33554432000 4194304 4196468 140726775712944 140557368158432 140559473628885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
[pid=1980/tid=2046] ppid=1977 vsize=11082080 memory=1177260 CPUtime=0.19 cores=0,2,4,6
/proc/1980/task/2046/stat : 2046 (java) S 1977 1980 22004 0 -1 1077944384 1196 13233 0 0 6 5 5 3 20 0 15 0 106999413 11348049920 294315 33554432000 4194304 4196468 140726775712944 140558894820528 140559473629826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140726775720561 140726775723361 140726775723361 140726775726031 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1177260 KiB
Child status: 143
Real time (s): 230.153
CPU time (s): 252.129
CPU user time (s): 251.305
CPU system time (s): 0.823306
CPU usage (%): 109.548
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1244476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.305
system time used= 0.823306
maximum resident set size= 1246524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180951
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26906
involuntary context switches= 626
# summary of solver processes directly reported to runsolver:
# pid: 1980
# total CPU time (s): 252.129
# total CPU user time (s): 251.305
# total CPU system time (s): 0.823306
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36206 second user time and 2.23296 second system time
The end