0.99/0.74 c Concrete v3.8.1528841891564 running
18.89/7.19 c 01:26:13.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25340. 'extension(x[1][7]=[0‥3], 3) :: init: true :: relation: MDD 1185465012, 5 edges, 4 vertices, 3 tuples
19.10/7.20 c 01:26:13.492 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25370. 'extension(3, 3) :: init: true :: relation: MDD 1185465012, 5 edges, 4 vertices, 3 tuples
19.10/7.20 c 01:26:13.493 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25395. 'extension(3, x[5][7]=[0‥3]) :: init: true :: relation: MDD 1185465012, 5 edges, 4 vertices, 3 tuples
19.10/7.20 c 01:26:13.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25398. 'extension(3, 3) :: init: true :: relation: MDD 1185465012, 5 edges, 4 vertices, 3 tuples
19.10/7.20 c 01:26:13.496 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25424. 'extension(x[3][9]=[0‥3], 3) :: init: true :: relation: MDD 1978141335, 5 edges, 4 vertices, 3 tuples
19.10/7.21 c 01:26:13.499 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25453. 'extension(3, wk[9][0]=[0‥1]) :: init: true :: relation: MDD 547305607, 4 edges, 3 vertices, 3 tuples
19.10/7.21 c 01:26:13.499 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25457. 'extension(3, 3) :: init: true :: relation: MDD 1978141335, 5 edges, 4 vertices, 3 tuples
19.10/7.21 c 01:26:13.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25484. 'extension(3, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 69115782, 4 edges, 3 vertices, 3 tuples
19.10/7.21 c 01:26:13.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25485. 'extension(x[4][14]=[0‥3], 3) :: init: true :: relation: MDD 1925835770, 5 edges, 4 vertices, 3 tuples
19.10/7.21 c 01:26:13.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25486. 'extension(3, x[6][14]=[0‥3]) :: init: true :: relation: MDD 1925835770, 5 edges, 4 vertices, 3 tuples
19.10/7.21 c 01:26:13.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25515. 'extension(3, wk[9][0]=[0‥1]) :: init: true :: relation: MDD 62085016, 4 edges, 3 vertices, 3 tuples
19.10/7.21 c 01:26:13.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25519. 'extension(3, 3) :: init: true :: relation: MDD 1978141335, 5 edges, 4 vertices, 3 tuples
19.10/7.21 c 01:26:13.505 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25549. 'extension(3, 3) :: init: true :: relation: MDD 1978141335, 5 edges, 4 vertices, 3 tuples
19.10/7.22 c 01:26:13.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25579. 'extension(3, 3) :: init: true :: relation: MDD 1978141335, 5 edges, 4 vertices, 3 tuples
19.10/7.22 c 01:26:13.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25606. 'extension(x[7][13]=[0‥3], 3) :: init: true :: relation: MDD 1747862060, 5 edges, 4 vertices, 3 tuples
19.10/7.22 c 01:26:13.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25607. 'extension(3, x[9][13]=[0‥3]) :: init: true :: relation: MDD 1747862060, 5 edges, 4 vertices, 3 tuples
19.10/7.22 c 01:26:13.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25639. 'extension(3, 3) :: init: true :: relation: MDD 1978141335, 5 edges, 4 vertices, 3 tuples
19.10/7.22 c 01:26:13.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25666. 'extension(x[8][20]=[0‥3], 3) :: init: true :: relation: MDD 2053136992, 5 edges, 4 vertices, 3 tuples
19.10/7.22 c 01:26:13.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25695. 'extension(3, x[11][9]=[0‥3]) :: init: true :: relation: MDD 1978141335, 5 edges, 4 vertices, 3 tuples
19.10/7.22 c 01:26:13.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25698. 'extension(3, 3) :: init: true :: relation: MDD 1978141335, 5 edges, 4 vertices, 3 tuples
19.10/7.22 c 01:26:13.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25728. 'extension(3, 3) :: init: true :: relation: MDD 2053136992, 5 edges, 4 vertices, 3 tuples
19.10/7.22 c 01:26:13.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25754. 'extension(x[10][7]=[0‥3], 3) :: init: true :: relation: MDD 1185465012, 5 edges, 4 vertices, 3 tuples
19.10/7.22 c 01:26:13.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25755. 'extension(3, x[12][7]=[0‥3]) :: init: true :: relation: MDD 1185465012, 5 edges, 4 vertices, 3 tuples
19.10/7.23 c 01:26:13.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25787. 'extension(3, 3) :: init: true :: relation: MDD 2053136992, 5 edges, 4 vertices, 3 tuples
19.10/7.23 c 01:26:13.518 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25813. 'extension(3, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 934225099, 4 edges, 3 vertices, 3 tuples
19.10/7.23 c 01:26:13.519 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25814. 'extension(x[11][6]=[0‥3], 3) :: init: true :: relation: MDD 565517913, 5 edges, 4 vertices, 3 tuples
19.10/7.23 c 01:26:13.520 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25844. 'extension(3, wk[20][1]=[0‥1]) :: init: true :: relation: MDD 771359425, 4 edges, 3 vertices, 3 tuples
19.10/7.23 c 01:26:13.520 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25848. 'extension(3, 3) :: init: true :: relation: MDD 2053136992, 5 edges, 4 vertices, 3 tuples
19.10/7.23 c 01:26:13.521 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25874. 'extension(3, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 1539718688, 4 edges, 3 vertices, 3 tuples
19.10/7.23 c 01:26:13.521 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25878. 'extension(3, 3) :: init: true :: relation: MDD 565517913, 5 edges, 4 vertices, 3 tuples
19.10/7.23 c 01:26:13.522 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25905. 'extension(3, wk[20][1]=[0‥1]) :: init: true :: relation: MDD 1468393491, 4 edges, 3 vertices, 3 tuples
19.10/7.23 c 01:26:13.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25906. 'extension(3, x[14][20]=[0‥3]) :: init: true :: relation: MDD 2053136992, 5 edges, 4 vertices, 3 tuples
19.10/7.23 c 01:26:13.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25909. 'extension(3, 3) :: init: true :: relation: MDD 2053136992, 5 edges, 4 vertices, 3 tuples
19.10/7.23 c 01:26:13.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25938. 'extension(3, 3) :: init: true :: relation: MDD 565517913, 5 edges, 4 vertices, 3 tuples
19.10/7.23 c 01:26:13.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25965. 'extension(x[13][9]=[0‥3], 3) :: init: true :: relation: MDD 1978141335, 5 edges, 4 vertices, 3 tuples
19.10/7.23 c 01:26:13.526 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25966. 'extension(3, x[15][9]=[0‥3]) :: init: true :: relation: MDD 1978141335, 5 edges, 4 vertices, 3 tuples
19.10/7.24 c 01:26:13.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25995. 'extension(x[14][3]=[0‥3], 3) :: init: true :: relation: MDD 731487976, 5 edges, 4 vertices, 3 tuples
19.10/7.24 c 01:26:13.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26028. 'extension(3, 3) :: init: true :: relation: MDD 565517913, 5 edges, 4 vertices, 3 tuples
19.10/7.24 c 01:26:13.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26058. 'extension(3, 3) :: init: true :: relation: MDD 731487976, 5 edges, 4 vertices, 3 tuples
19.10/7.24 c 01:26:13.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26088. 'extension(3, 3) :: init: true :: relation: MDD 565517913, 5 edges, 4 vertices, 3 tuples
19.10/7.24 c 01:26:13.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26115. 'extension(x[15][21]=[0‥3], 3) :: init: true :: relation: MDD 1499437334, 5 edges, 4 vertices, 3 tuples
19.10/7.24 c 01:26:13.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26116. 'extension(3, x[17][21]=[0‥3]) :: init: true :: relation: MDD 1499437334, 5 edges, 4 vertices, 3 tuples
19.10/7.24 c 01:26:13.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26147. 'extension(3, 3) :: init: true :: relation: MDD 731487976, 5 edges, 4 vertices, 3 tuples
19.10/7.24 c 01:26:13.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26174. 'extension(x[16][5]=[0‥3], 3) :: init: true :: relation: MDD 1307540790, 5 edges, 4 vertices, 3 tuples
19.10/7.25 c 01:26:13.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26207. 'extension(3, 3) :: init: true :: relation: MDD 565517913, 5 edges, 4 vertices, 3 tuples
19.10/7.25 c 01:26:13.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26237. 'extension(3, 3) :: init: true :: relation: MDD 731487976, 5 edges, 4 vertices, 3 tuples
19.10/7.25 c 01:26:13.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26264. 'extension(3, x[19][5]=[0‥3]) :: init: true :: relation: MDD 1307540790, 5 edges, 4 vertices, 3 tuples
19.10/7.25 c 01:26:13.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26267. 'extension(3, 3) :: init: true :: relation: MDD 1307540790, 5 edges, 4 vertices, 3 tuples
19.10/7.25 c 01:26:13.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26294. 'extension(3, x[19][6]=[0‥3]) :: init: true :: relation: MDD 565517913, 5 edges, 4 vertices, 3 tuples
19.10/7.25 c 01:26:13.540 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26297. 'extension(3, 3) :: init: true :: relation: MDD 565517913, 5 edges, 4 vertices, 3 tuples
19.10/7.25 c 01:26:13.541 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26324. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 1422262786, 4 edges, 3 vertices, 3 tuples
19.10/7.25 c 01:26:13.541 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26328. 'extension(3, 3) :: init: true :: relation: MDD 731487976, 5 edges, 4 vertices, 3 tuples
19.10/7.25 c 01:26:13.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26355. 'extension(3, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 72187428, 4 edges, 3 vertices, 3 tuples
19.10/7.25 c 01:26:13.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26356. 'extension(x[18][12]=[0‥3], 3) :: init: true :: relation: MDD 227005513, 5 edges, 4 vertices, 3 tuples
19.10/7.25 c 01:26:13.543 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26386. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 508844065, 4 edges, 3 vertices, 3 tuples
19.10/7.25 c 01:26:13.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26390. 'extension(3, 3) :: init: true :: relation: MDD 731487976, 5 edges, 4 vertices, 3 tuples
19.10/7.25 c 01:26:13.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26417. 'extension(3, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 1014135205, 4 edges, 3 vertices, 3 tuples
19.10/7.25 c 01:26:13.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26418. 'extension(x[19][11]=[0‥3], 3) :: init: true :: relation: MDD 2053555034, 5 edges, 4 vertices, 3 tuples
19.10/7.25 c 01:26:13.545 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26448. 'extension(3, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 489200959, 4 edges, 3 vertices, 3 tuples
19.10/7.25 c 01:26:13.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26449. 'extension(3, x[21][12]=[0‥3]) :: init: true :: relation: MDD 227005513, 5 edges, 4 vertices, 3 tuples
19.10/7.25 c 01:26:13.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26452. 'extension(3, 3) :: init: true :: relation: MDD 227005513, 5 edges, 4 vertices, 3 tuples
19.10/7.26 c 01:26:13.548 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26482. 'extension(3, 3) :: init: true :: relation: MDD 731487976, 5 edges, 4 vertices, 3 tuples
19.10/7.26 c 01:26:13.548 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26512. 'extension(3, 3) :: init: true :: relation: MDD 2053555034, 5 edges, 4 vertices, 3 tuples
19.10/7.26 c 01:26:13.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26539. 'extension(3, x[23][3]=[0‥3]) :: init: true :: relation: MDD 731487976, 5 edges, 4 vertices, 3 tuples
19.10/7.26 c 01:26:13.550 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26542. 'extension(3, 3) :: init: true :: relation: MDD 731487976, 5 edges, 4 vertices, 3 tuples
19.10/7.26 c 01:26:13.551 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26569. 'extension(3, x[23][11]=[0‥3]) :: init: true :: relation: MDD 2053555034, 5 edges, 4 vertices, 3 tuples
19.10/7.26 c 01:26:13.552 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26572. 'extension(3, 3) :: init: true :: relation: MDD 2053555034, 5 edges, 4 vertices, 3 tuples
19.10/7.26 c 01:26:13.553 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26599. 'extension(x[22][1]=[0‥3], 3) :: init: true :: relation: MDD 918584437, 5 edges, 4 vertices, 3 tuples
19.10/7.26 c 01:26:13.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26600. 'extension(3, x[24][1]=[0‥3]) :: init: true :: relation: MDD 918584437, 5 edges, 4 vertices, 3 tuples
19.10/7.26 c 01:26:13.556 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26629. 'extension(x[22][4]=[0‥3], 3) :: init: true :: relation: MDD 881280045, 5 edges, 4 vertices, 3 tuples
19.10/7.26 c 01:26:13.557 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26662. 'extension(3, 3) :: init: true :: relation: MDD 881280045, 5 edges, 4 vertices, 3 tuples
19.10/7.27 c 01:26:13.558 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26692. 'extension(3, 3) :: init: true :: relation: MDD 881280045, 5 edges, 4 vertices, 3 tuples
19.10/7.27 c 01:26:13.558 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26719. 'extension(x[24][14]=[0‥3], 3) :: init: true :: relation: MDD 1925835770, 5 edges, 4 vertices, 3 tuples
19.10/7.27 c 01:26:13.558 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26720. 'extension(3, x[26][14]=[0‥3]) :: init: true :: relation: MDD 1925835770, 5 edges, 4 vertices, 3 tuples
19.10/7.27 c 01:26:13.560 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26749. 'extension(3, wk[4][3]=[0‥1]) :: init: true :: relation: MDD 1714153975, 4 edges, 3 vertices, 3 tuples
19.10/7.27 c 01:26:13.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26750. 'extension(3, x[27][4]=[0‥3]) :: init: true :: relation: MDD 881280045, 5 edges, 4 vertices, 3 tuples
19.10/7.27 c 01:26:13.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26753. 'extension(3, 3) :: init: true :: relation: MDD 881280045, 5 edges, 4 vertices, 3 tuples
19.10/7.27 c 01:26:13.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26780. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1561936660, 4 edges, 3 vertices, 3 tuples
19.10/7.27 c 01:26:13.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26781. 'extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 426123784, 5 edges, 4 vertices, 3 tuples
19.10/7.27 c 01:26:13.564 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26811. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1669104653, 4 edges, 3 vertices, 3 tuples
19.10/7.27 c 01:26:13.564 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26815. 'extension(3, 3) :: init: true :: relation: MDD 426123784, 5 edges, 4 vertices, 3 tuples
19.10/7.27 c 01:26:13.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26845. 'extension(3, 3) :: init: true :: relation: MDD 426123784, 5 edges, 4 vertices, 3 tuples
19.10/7.27 c 01:26:13.566 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26875. 'extension(3, 3) :: init: true :: relation: MDD 426123784, 5 edges, 4 vertices, 3 tuples
19.10/7.27 c 01:26:13.566 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26902. 'extension(x[29][7]=[0‥3], 3) :: init: true :: relation: MDD 1185465012, 5 edges, 4 vertices, 3 tuples
19.10/7.27 c 01:26:13.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26903. 'extension(3, x[31][7]=[0‥3]) :: init: true :: relation: MDD 1185465012, 5 edges, 4 vertices, 3 tuples
19.10/7.28 c 01:26:13.568 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26932. 'extension(x[29][8]=[0‥3], 3) :: init: true :: relation: MDD 1339507235, 5 edges, 4 vertices, 3 tuples
19.10/7.28 c 01:26:13.569 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26965. 'extension(3, 3) :: init: true :: relation: MDD 426123784, 5 edges, 4 vertices, 3 tuples
19.10/7.28 c 01:26:13.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26992. 'extension(x[30][0]=[0‥3], 3) :: init: true :: relation: MDD 995030431, 5 edges, 4 vertices, 3 tuples
19.10/7.28 c 01:26:13.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27022. 'extension(x[30][6]=[0‥3], 3) :: init: true :: relation: MDD 565517913, 5 edges, 4 vertices, 3 tuples
19.10/7.28 c 01:26:13.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27023. 'extension(3, x[32][6]=[0‥3]) :: init: true :: relation: MDD 565517913, 5 edges, 4 vertices, 3 tuples
19.10/7.28 c 01:26:13.573 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27055. 'extension(3, 3) :: init: true :: relation: MDD 1339507235, 5 edges, 4 vertices, 3 tuples
19.10/7.28 c 01:26:13.573 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27085. 'extension(3, 3) :: init: true :: relation: MDD 426123784, 5 edges, 4 vertices, 3 tuples
19.10/7.28 c 01:26:13.574 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27112. 'extension(x[30][18]=[0‥3], 3) :: init: true :: relation: MDD 568717494, 5 edges, 4 vertices, 3 tuples
19.10/7.28 c 01:26:13.575 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27144. 'extension(3, 3) :: init: true :: relation: MDD 995030431, 5 edges, 4 vertices, 3 tuples
19.10/7.28 c 01:26:13.575 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27174. 'extension(3, 3) :: init: true :: relation: MDD 1339507235, 5 edges, 4 vertices, 3 tuples
19.10/7.28 c 01:26:13.576 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27201. 'extension(x[31][15]=[0‥3], 3) :: init: true :: relation: MDD 1726169577, 5 edges, 4 vertices, 3 tuples
19.10/7.28 c 01:26:13.576 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27202. 'extension(3, x[33][15]=[0‥3]) :: init: true :: relation: MDD 1726169577, 5 edges, 4 vertices, 3 tuples
19.10/7.29 c 01:26:13.577 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27234. 'extension(3, 3) :: init: true :: relation: MDD 426123784, 5 edges, 4 vertices, 3 tuples
19.10/7.29 c 01:26:13.578 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27264. 'extension(3, 3) :: init: true :: relation: MDD 568717494, 5 edges, 4 vertices, 3 tuples
19.10/7.29 c 01:26:13.578 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27290. 'extension(x[31][19]=[0‥3], 3) :: init: true :: relation: MDD 1701331644, 5 edges, 4 vertices, 3 tuples
19.10/7.29 c 01:26:13.579 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27291. 'extension(3, x[33][19]=[0‥3]) :: init: true :: relation: MDD 1701331644, 5 edges, 4 vertices, 3 tuples
19.10/7.29 c 01:26:13.580 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27319. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 1071439482, 4 edges, 3 vertices, 3 tuples
19.10/7.29 c 01:26:13.581 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27323. 'extension(3, 3) :: init: true :: relation: MDD 995030431, 5 edges, 4 vertices, 3 tuples
19.10/7.29 c 01:26:13.581 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27350. 'extension(3, wk[1][4]=[0‥1]) :: init: true :: relation: MDD 269132593, 4 edges, 3 vertices, 3 tuples
19.10/7.29 c 01:26:13.581 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27351. 'extension(x[32][1]=[0‥3], 3) :: init: true :: relation: MDD 918584437, 5 edges, 4 vertices, 3 tuples
19.10/7.30 c 01:26:13.582 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27352. 'extension(3, x[34][1]=[0‥3]) :: init: true :: relation: MDD 918584437, 5 edges, 4 vertices, 3 tuples
19.10/7.30 c 01:26:13.583 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27381. 'extension(3, wk[8][4]=[0‥1]) :: init: true :: relation: MDD 1946815838, 4 edges, 3 vertices, 3 tuples
19.10/7.30 c 01:26:13.583 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27385. 'extension(3, 3) :: init: true :: relation: MDD 1339507235, 5 edges, 4 vertices, 3 tuples
19.10/7.30 c 01:26:13.584 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27412. 'extension(3, wk[17][4]=[0‥1]) :: init: true :: relation: MDD 1178270318, 4 edges, 3 vertices, 3 tuples
19.10/7.30 c 01:26:13.584 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27413. 'extension(3, x[34][17]=[0‥3]) :: init: true :: relation: MDD 426123784, 5 edges, 4 vertices, 3 tuples
19.10/7.30 c 01:26:13.584 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27416. 'extension(3, 3) :: init: true :: relation: MDD 426123784, 5 edges, 4 vertices, 3 tuples
19.10/7.30 c 01:26:13.585 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27443. 'extension(3, wk[18][4]=[0‥1]) :: init: true :: relation: MDD 1669392873, 4 edges, 3 vertices, 3 tuples
19.10/7.30 c 01:26:13.586 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27447. 'extension(3, 3) :: init: true :: relation: MDD 568717494, 5 edges, 4 vertices, 3 tuples
19.10/7.30 c 01:26:13.586 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27473. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 1929576211, 4 edges, 3 vertices, 3 tuples
19.10/7.30 c 01:26:13.587 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27477. 'extension(3, 3) :: init: true :: relation: MDD 995030431, 5 edges, 4 vertices, 3 tuples
19.10/7.30 c 01:26:13.587 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27504. 'extension(3, wk[8][4]=[0‥1]) :: init: true :: relation: MDD 643570300, 4 edges, 3 vertices, 3 tuples
19.10/7.30 c 01:26:13.587 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27508. 'extension(3, 3) :: init: true :: relation: MDD 1339507235, 5 edges, 4 vertices, 3 tuples
19.10/7.30 c 01:26:13.588 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27535. 'extension(3, wk[18][4]=[0‥1]) :: init: true :: relation: MDD 1778993228, 4 edges, 3 vertices, 3 tuples
19.10/7.30 c 01:26:13.588 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27539. 'extension(3, 3) :: init: true :: relation: MDD 568717494, 5 edges, 4 vertices, 3 tuples
19.10/7.30 c 01:26:13.588 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27568. 'extension(3, 3) :: init: true :: relation: MDD 995030431, 5 edges, 4 vertices, 3 tuples
19.10/7.30 c 01:26:13.589 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27598. 'extension(3, 3) :: init: true :: relation: MDD 1339507235, 5 edges, 4 vertices, 3 tuples
19.10/7.30 c 01:26:13.589 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27628. 'extension(3, 3) :: init: true :: relation: MDD 568717494, 5 edges, 4 vertices, 3 tuples
19.44/7.30 c 01:26:13.590 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27657. 'extension(3, 3) :: init: true :: relation: MDD 995030431, 5 edges, 4 vertices, 3 tuples
19.44/7.30 c 01:26:13.590 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27687. 'extension(3, 3) :: init: true :: relation: MDD 1339507235, 5 edges, 4 vertices, 3 tuples
19.44/7.30 c 01:26:13.590 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27717. 'extension(3, 3) :: init: true :: relation: MDD 568717494, 5 edges, 4 vertices, 3 tuples
19.44/7.30 c 01:26:13.591 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27746. 'extension(3, 3) :: init: true :: relation: MDD 995030431, 5 edges, 4 vertices, 3 tuples
19.44/7.30 c 01:26:13.592 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27773. 'extension(x[36][5]=[0‥3], 3) :: init: true :: relation: MDD 1307540790, 5 edges, 4 vertices, 3 tuples
19.44/7.30 c 01:26:13.592 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27803. 'extension(3, x[38][8]=[0‥3]) :: init: true :: relation: MDD 1339507235, 5 edges, 4 vertices, 3 tuples
19.44/7.30 c 01:26:13.593 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27806. 'extension(3, 3) :: init: true :: relation: MDD 1339507235, 5 edges, 4 vertices, 3 tuples
19.44/7.30 c 01:26:13.594 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27833. 'extension(x[36][10]=[0‥3], 3) :: init: true :: relation: MDD 1562107210, 5 edges, 4 vertices, 3 tuples
19.44/7.30 c 01:26:13.595 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27866. 'extension(3, 3) :: init: true :: relation: MDD 568717494, 5 edges, 4 vertices, 3 tuples
19.44/7.31 c 01:26:13.599 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27892. 'extension(3, x[39][0]=[0‥3]) :: init: true :: relation: MDD 995030431, 5 edges, 4 vertices, 3 tuples
19.44/7.31 c 01:26:13.600 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27895. 'extension(3, 3) :: init: true :: relation: MDD 995030431, 5 edges, 4 vertices, 3 tuples
19.44/7.31 c 01:26:13.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27922. 'extension(x[37][1]=[0‥3], 3) :: init: true :: relation: MDD 918584437, 5 edges, 4 vertices, 3 tuples
19.44/7.31 c 01:26:13.602 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27955. 'extension(3, 3) :: init: true :: relation: MDD 1307540790, 5 edges, 4 vertices, 3 tuples
19.44/7.31 c 01:26:13.603 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27985. 'extension(3, 3) :: init: true :: relation: MDD 1562107210, 5 edges, 4 vertices, 3 tuples
19.44/7.31 c 01:26:13.603 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28012. 'extension(x[37][12]=[0‥3], 3) :: init: true :: relation: MDD 227005513, 5 edges, 4 vertices, 3 tuples
19.44/7.31 c 01:26:13.604 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28042. 'extension(3, x[39][18]=[0‥3]) :: init: true :: relation: MDD 568717494, 5 edges, 4 vertices, 3 tuples
19.44/7.31 c 01:26:13.604 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28045. 'extension(3, 3) :: init: true :: relation: MDD 568717494, 5 edges, 4 vertices, 3 tuples
19.44/7.31 c 01:26:13.606 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28074. 'extension(3, 3) :: init: true :: relation: MDD 918584437, 5 edges, 4 vertices, 3 tuples
19.44/7.31 c 01:26:13.606 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28104. 'extension(3, 3) :: init: true :: relation: MDD 1307540790, 5 edges, 4 vertices, 3 tuples
19.44/7.31 c 01:26:13.607 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28134. 'extension(3, 3) :: init: true :: relation: MDD 1562107210, 5 edges, 4 vertices, 3 tuples
19.44/7.31 c 01:26:13.607 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28164. 'extension(3, 3) :: init: true :: relation: MDD 227005513, 5 edges, 4 vertices, 3 tuples
19.44/7.32 c 01:26:13.607 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28191. 'extension(x[38][19]=[0‥3], 3) :: init: true :: relation: MDD 1701331644, 5 edges, 4 vertices, 3 tuples
19.44/7.32 c 01:26:13.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28220. 'extension(3, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 1869400026, 4 edges, 3 vertices, 3 tuples
19.44/7.33 c 01:26:13.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28224. 'extension(3, 3) :: init: true :: relation: MDD 918584437, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28251. 'extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 122461713, 4 edges, 3 vertices, 3 tuples
19.44/7.33 c 01:26:13.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28252. 'extension(3, x[41][5]=[0‥3]) :: init: true :: relation: MDD 1307540790, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.610 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28255. 'extension(3, 3) :: init: true :: relation: MDD 1307540790, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.611 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28282. 'extension(3, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 1796615884, 4 edges, 3 vertices, 3 tuples
19.44/7.33 c 01:26:13.611 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28286. 'extension(3, 3) :: init: true :: relation: MDD 1562107210, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.611 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28313. 'extension(3, wk[12][5]=[0‥1]) :: init: true :: relation: MDD 873249151, 4 edges, 3 vertices, 3 tuples
19.44/7.33 c 01:26:13.611 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28314. 'extension(3, x[41][12]=[0‥3]) :: init: true :: relation: MDD 227005513, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28317. 'extension(3, 3) :: init: true :: relation: MDD 227005513, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28344. 'extension(3, wk[19][5]=[0‥1]) :: init: true :: relation: MDD 1962049725, 4 edges, 3 vertices, 3 tuples
19.44/7.33 c 01:26:13.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28348. 'extension(3, 3) :: init: true :: relation: MDD 1701331644, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28374. 'extension(3, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 703841336, 4 edges, 3 vertices, 3 tuples
19.44/7.33 c 01:26:13.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28375. 'extension(3, x[42][1]=[0‥3]) :: init: true :: relation: MDD 918584437, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28378. 'extension(3, 3) :: init: true :: relation: MDD 918584437, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28405. 'extension(3, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 1487543666, 4 edges, 3 vertices, 3 tuples
19.44/7.33 c 01:26:13.616 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28406. 'extension(3, x[42][10]=[0‥3]) :: init: true :: relation: MDD 1562107210, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.616 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28409. 'extension(3, 3) :: init: true :: relation: MDD 1562107210, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.617 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28436. 'extension(3, wk[19][5]=[0‥1]) :: init: true :: relation: MDD 875010954, 4 edges, 3 vertices, 3 tuples
19.44/7.33 c 01:26:13.617 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28437. 'extension(3, x[42][19]=[0‥3]) :: init: true :: relation: MDD 1701331644, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.618 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28440. 'extension(3, 3) :: init: true :: relation: MDD 1701331644, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.619 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28466. 'extension(x[41][11]=[0‥3], 3) :: init: true :: relation: MDD 2053555034, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28499. 'extension(3, 3) :: init: true :: relation: MDD 2053555034, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28529. 'extension(3, 3) :: init: true :: relation: MDD 2053555034, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28559. 'extension(3, 3) :: init: true :: relation: MDD 2053555034, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28586. 'extension(3, x[47][11]=[0‥3]) :: init: true :: relation: MDD 2053555034, 5 edges, 4 vertices, 3 tuples
19.44/7.33 c 01:26:13.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28589. 'extension(3, 3) :: init: true :: relation: MDD 2053555034, 5 edges, 4 vertices, 3 tuples
19.44/7.34 c 01:26:13.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28616. 'extension(x[45][21]=[0‥3], 3) :: init: true :: relation: MDD 1499437334, 5 edges, 4 vertices, 3 tuples
19.44/7.34 c 01:26:13.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28645. 'extension(3, wk[21][6]=[0‥1]) :: init: true :: relation: MDD 685193713, 4 edges, 3 vertices, 3 tuples
19.44/7.34 c 01:26:13.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28649. 'extension(3, 3) :: init: true :: relation: MDD 1499437334, 5 edges, 4 vertices, 3 tuples
19.44/7.34 c 01:26:13.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28675. 'extension(3, wk[20][6]=[0‥1]) :: init: true :: relation: MDD 656787973, 4 edges, 3 vertices, 3 tuples
19.44/7.34 c 01:26:13.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28676. 'extension(x[47][20]=[0‥3], 3) :: init: true :: relation: MDD 2053136992, 5 edges, 4 vertices, 3 tuples
19.44/7.34 c 01:26:13.627 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28705. 'extension(3, wk[21][6]=[0‥1]) :: init: true :: relation: MDD 2117938877, 4 edges, 3 vertices, 3 tuples
19.44/7.34 c 01:26:13.627 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28709. 'extension(3, 3) :: init: true :: relation: MDD 1499437334, 5 edges, 4 vertices, 3 tuples
19.44/7.34 c 01:26:13.628 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28735. 'extension(x[48][7]=[0‥3], 3) :: init: true :: relation: MDD 1185465012, 5 edges, 4 vertices, 3 tuples
19.44/7.34 c 01:26:13.628 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28765. 'extension(x[48][14]=[0‥3], 3) :: init: true :: relation: MDD 1925835770, 5 edges, 4 vertices, 3 tuples
19.44/7.34 c 01:26:13.629 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28798. 'extension(3, 3) :: init: true :: relation: MDD 2053136992, 5 edges, 4 vertices, 3 tuples
19.44/7.34 c 01:26:13.630 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28827. 'extension(3, 3) :: init: true :: relation: MDD 1499437334, 5 edges, 4 vertices, 3 tuples
19.44/7.34 c 01:26:13.631 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28856. 'extension(3, 3) :: init: true :: relation: MDD 1185465012, 5 edges, 4 vertices, 3 tuples
19.44/7.34 c 01:26:13.631 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28886. 'extension(3, 3) :: init: true :: relation: MDD 1925835770, 5 edges, 4 vertices, 3 tuples
19.44/7.34 c 01:26:13.632 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28913. 'extension(3, x[51][20]=[0‥3]) :: init: true :: relation: MDD 2053136992, 5 edges, 4 vertices, 3 tuples
19.44/7.34 c 01:26:13.632 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28916. 'extension(3, 3) :: init: true :: relation: MDD 2053136992, 5 edges, 4 vertices, 3 tuples
19.44/7.34 c 01:26:13.633 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28945. 'extension(3, 3) :: init: true :: relation: MDD 1499437334, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.634 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28971. 'extension(3, x[52][7]=[0‥3]) :: init: true :: relation: MDD 1185465012, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.634 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28974. 'extension(3, 3) :: init: true :: relation: MDD 1185465012, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.635 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29004. 'extension(3, 3) :: init: true :: relation: MDD 1925835770, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.636 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29034. 'extension(3, 3) :: init: true :: relation: MDD 1499437334, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.637 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29060. 'extension(x[51][12]=[0‥3], 3) :: init: true :: relation: MDD 227005513, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.637 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29090. 'extension(x[51][13]=[0‥3], 3) :: init: true :: relation: MDD 1747862060, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.638 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29123. 'extension(3, 3) :: init: true :: relation: MDD 1925835770, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.638 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29150. 'extension(x[51][19]=[0‥3], 3) :: init: true :: relation: MDD 1701331644, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.639 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29179. 'extension(3, x[53][21]=[0‥3]) :: init: true :: relation: MDD 1499437334, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.639 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29182. 'extension(3, 3) :: init: true :: relation: MDD 1499437334, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.641 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29211. 'extension(3, 3) :: init: true :: relation: MDD 227005513, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.641 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29241. 'extension(3, 3) :: init: true :: relation: MDD 1747862060, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.641 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29271. 'extension(3, 3) :: init: true :: relation: MDD 1925835770, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.642 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29298. 'extension(x[52][16]=[0‥3], 3) :: init: true :: relation: MDD 1543272907, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.642 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29331. 'extension(3, 3) :: init: true :: relation: MDD 1701331644, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.643 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29357. 'extension(3, wk[12][7]=[0‥1]) :: init: true :: relation: MDD 990994954, 4 edges, 3 vertices, 3 tuples
19.44/7.35 c 01:26:13.643 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29358. 'extension(3, x[55][12]=[0‥3]) :: init: true :: relation: MDD 227005513, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.644 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29361. 'extension(3, 3) :: init: true :: relation: MDD 227005513, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.645 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29388. 'extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 1488130490, 4 edges, 3 vertices, 3 tuples
19.44/7.35 c 01:26:13.645 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29392. 'extension(3, 3) :: init: true :: relation: MDD 1747862060, 5 edges, 4 vertices, 3 tuples
19.44/7.35 c 01:26:13.645 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29419. 'extension(3, wk[14][7]=[0‥1]) :: init: true :: relation: MDD 241316255, 4 edges, 3 vertices, 3 tuples
19.44/7.36 c 01:26:13.646 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29420. 'extension(3, x[55][14]=[0‥3]) :: init: true :: relation: MDD 1925835770, 5 edges, 4 vertices, 3 tuples
19.44/7.36 c 01:26:13.646 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29423. 'extension(3, 3) :: init: true :: relation: MDD 1925835770, 5 edges, 4 vertices, 3 tuples
19.44/7.36 c 01:26:13.647 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29450. 'extension(3, wk[16][7]=[0‥1]) :: init: true :: relation: MDD 1324451332, 4 edges, 3 vertices, 3 tuples
19.44/7.36 c 01:26:13.647 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29454. 'extension(3, 3) :: init: true :: relation: MDD 1543272907, 5 edges, 4 vertices, 3 tuples
19.44/7.36 c 01:26:13.648 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29481. 'extension(3, wk[19][7]=[0‥1]) :: init: true :: relation: MDD 1667859935, 4 edges, 3 vertices, 3 tuples
19.44/7.36 c 01:26:13.648 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29485. 'extension(3, 3) :: init: true :: relation: MDD 1701331644, 5 edges, 4 vertices, 3 tuples
19.44/7.36 c 01:26:13.649 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29511. 'extension(3, wk[2][7]=[0‥1]) :: init: true :: relation: MDD 416579056, 4 edges, 3 vertices, 3 tuples
19.44/7.36 c 01:26:13.649 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29512. 'extension(x[54][2]=[0‥3], 3) :: init: true :: relation: MDD 184690001, 5 edges, 4 vertices, 3 tuples
19.44/7.36 c 01:26:13.650 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29542. 'extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 1978317461, 4 edges, 3 vertices, 3 tuples
19.44/7.36 c 01:26:13.650 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29543. 'extension(3, x[56][13]=[0‥3]) :: init: true :: relation: MDD 1747862060, 5 edges, 4 vertices, 3 tuples
19.44/7.36 c 01:26:13.650 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29546. 'extension(3, 3) :: init: true :: relation: MDD 1747862060, 5 edges, 4 vertices, 3 tuples
19.44/7.36 c 01:26:13.651 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29573. 'extension(3, wk[16][7]=[0‥1]) :: init: true :: relation: MDD 382698552, 4 edges, 3 vertices, 3 tuples
19.44/7.36 c 01:26:13.651 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29577. 'extension(3, 3) :: init: true :: relation: MDD 1543272907, 5 edges, 4 vertices, 3 tuples
19.44/7.36 c 01:26:13.651 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29604. 'extension(3, wk[19][7]=[0‥1]) :: init: true :: relation: MDD 1916681239, 4 edges, 3 vertices, 3 tuples
19.44/7.36 c 01:26:13.652 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29605. 'extension(3, x[56][19]=[0‥3]) :: init: true :: relation: MDD 1701331644, 5 edges, 4 vertices, 3 tuples
19.44/7.36 c 01:26:13.652 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29608. 'extension(3, 3) :: init: true :: relation: MDD 1701331644, 5 edges, 4 vertices, 3 tuples
19.44/7.36 c 01:26:13.653 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29634. 'extension(x[55][1]=[0‥3], 3) :: init: true :: relation: MDD 918584437, 5 edges, 4 vertices, 3 tuples
19.44/7.36 c 01:26:13.653 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29635. 'extension(3, x[57][1]=[0‥3]) :: init: true :: relation: MDD 918584437, 5 edges, 4 vertices, 3 tuples
19.44/7.36 c 01:26:13.654 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29667. 'extension(3, 3) :: init: true :: relation: MDD 184690001, 5 edges, 4 vertices, 3 tuples
19.44/7.36 c 01:26:13.655 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29697. 'extension(3, 3) :: init: true :: relation: MDD 1543272907, 5 edges, 4 vertices, 3 tuples
19.44/7.36 c 01:26:13.656 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29727. 'extension(3, 3) :: init: true :: relation: MDD 184690001, 5 edges, 4 vertices, 3 tuples
19.44/7.36 c 01:26:13.656 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29754. 'extension(x[56][15]=[0‥3], 3) :: init: true :: relation: MDD 1726169577, 5 edges, 4 vertices, 3 tuples
19.44/7.36 c 01:26:13.657 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29784. 'extension(3, x[58][16]=[0‥3]) :: init: true :: relation: MDD 1543272907, 5 edges, 4 vertices, 3 tuples
19.44/7.36 c 01:26:13.657 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29787. 'extension(3, 3) :: init: true :: relation: MDD 1543272907, 5 edges, 4 vertices, 3 tuples
19.44/7.37 c 01:26:13.658 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29817. 'extension(3, 3) :: init: true :: relation: MDD 184690001, 5 edges, 4 vertices, 3 tuples
19.44/7.37 c 01:26:13.658 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29847. 'extension(3, 3) :: init: true :: relation: MDD 1726169577, 5 edges, 4 vertices, 3 tuples
19.44/7.37 c 01:26:13.659 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29877. 'extension(3, 3) :: init: true :: relation: MDD 184690001, 5 edges, 4 vertices, 3 tuples
19.44/7.37 c 01:26:13.659 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29904. 'extension(3, x[60][15]=[0‥3]) :: init: true :: relation: MDD 1726169577, 5 edges, 4 vertices, 3 tuples
19.44/7.37 c 01:26:13.660 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29907. 'extension(3, 3) :: init: true :: relation: MDD 1726169577, 5 edges, 4 vertices, 3 tuples
19.44/7.37 c 01:26:13.661 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29937. 'extension(3, 3) :: init: true :: relation: MDD 184690001, 5 edges, 4 vertices, 3 tuples
19.44/7.37 c 01:26:13.661 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29964. 'extension(x[59][5]=[0‥3], 3) :: init: true :: relation: MDD 1307540790, 5 edges, 4 vertices, 3 tuples
19.44/7.37 c 01:26:13.662 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29965. 'extension(3, x[61][5]=[0‥3]) :: init: true :: relation: MDD 1307540790, 5 edges, 4 vertices, 3 tuples
19.44/7.37 c 01:26:13.663 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29994. 'extension(3, wk[1][8]=[0‥1]) :: init: true :: relation: MDD 1681629677, 4 edges, 3 vertices, 3 tuples
19.44/7.37 c 01:26:13.664 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29995. 'extension(x[60][1]=[0‥3], 3) :: init: true :: relation: MDD 918584437, 5 edges, 4 vertices, 3 tuples
19.44/7.37 c 01:26:13.664 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29996. 'extension(3, x[62][1]=[0‥3]) :: init: true :: relation: MDD 918584437, 5 edges, 4 vertices, 3 tuples
19.44/7.37 c 01:26:13.666 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30025. 'extension(3, wk[2][8]=[0‥1]) :: init: true :: relation: MDD 1769605448, 4 edges, 3 vertices, 3 tuples
19.44/7.37 c 01:26:13.666 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30026. 'extension(3, x[62][2]=[0‥3]) :: init: true :: relation: MDD 184690001, 5 edges, 4 vertices, 3 tuples
19.44/7.37 c 01:26:13.666 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30029. 'extension(3, 3) :: init: true :: relation: MDD 184690001, 5 edges, 4 vertices, 3 tuples
19.44/7.37 c 01:26:13.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30056. 'extension(x[62][4]=[0‥3], 3) :: init: true :: relation: MDD 881280045, 5 edges, 4 vertices, 3 tuples
19.44/7.38 c 01:26:13.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30057. 'extension(3, x[64][4]=[0‥3]) :: init: true :: relation: MDD 881280045, 5 edges, 4 vertices, 3 tuples
19.44/7.38 c 01:26:13.669 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30086. 'extension(x[65][16]=[0‥3], 3) :: init: true :: relation: MDD 1543272907, 5 edges, 4 vertices, 3 tuples
19.44/7.38 c 01:26:13.669 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30087. 'extension(3, x[67][16]=[0‥3]) :: init: true :: relation: MDD 1543272907, 5 edges, 4 vertices, 3 tuples
19.44/7.38 c 01:26:13.670 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30116. 'extension(x[66][4]=[0‥3], 3) :: init: true :: relation: MDD 881280045, 5 edges, 4 vertices, 3 tuples
19.44/7.38 c 01:26:13.671 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30146. 'extension(3, wk[4][9]=[0‥1]) :: init: true :: relation: MDD 388115473, 4 edges, 3 vertices, 3 tuples
19.44/7.38 c 01:26:13.672 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30147. 'extension(3, x[69][4]=[0‥3]) :: init: true :: relation: MDD 881280045, 5 edges, 4 vertices, 3 tuples
19.44/7.38 c 01:26:13.672 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30150. 'extension(3, 3) :: init: true :: relation: MDD 881280045, 5 edges, 4 vertices, 3 tuples
19.44/7.38 c 01:26:13.673 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30177. 'extension(3, wk[13][9]=[0‥1]) :: init: true :: relation: MDD 740120508, 4 edges, 3 vertices, 3 tuples
19.44/7.38 c 01:26:13.674 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30178. 'extension(x[68][13]=[0‥3], 3) :: init: true :: relation: MDD 1747862060, 5 edges, 4 vertices, 3 tuples
19.44/7.38 c 01:26:13.674 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30211. 'extension(3, 3) :: init: true :: relation: MDD 1747862060, 5 edges, 4 vertices, 3 tuples
19.44/7.38 c 01:26:13.675 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30238. 'extension(x[69][15]=[0‥3], 3) :: init: true :: relation: MDD 1726169577, 5 edges, 4 vertices, 3 tuples
19.44/7.38 c 01:26:13.676 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30268. 'extension(3, x[72][13]=[0‥3]) :: init: true :: relation: MDD 1747862060, 5 edges, 4 vertices, 3 tuples
19.44/7.38 c 01:26:13.676 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30271. 'extension(3, 3) :: init: true :: relation: MDD 1747862060, 5 edges, 4 vertices, 3 tuples
19.44/7.38 c 01:26:13.677 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30301. 'extension(3, 3) :: init: true :: relation: MDD 1726169577, 5 edges, 4 vertices, 3 tuples
19.44/7.39 c 01:26:13.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30331. 'extension(3, 3) :: init: true :: relation: MDD 1726169577, 5 edges, 4 vertices, 3 tuples
19.44/7.39 c 01:26:13.679 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30358. 'extension(3, x[74][15]=[0‥3]) :: init: true :: relation: MDD 1726169577, 5 edges, 4 vertices, 3 tuples
19.44/7.39 c 01:26:13.679 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30361. 'extension(3, 3) :: init: true :: relation: MDD 1726169577, 5 edges, 4 vertices, 3 tuples
19.44/7.39 c 01:26:13.680 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30388. 'extension(3, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 1684854630, 4 edges, 3 vertices, 3 tuples
19.44/7.39 c 01:26:13.681 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30389. 'extension(x[74][10]=[0‥3], 3) :: init: true :: relation: MDD 1562107210, 5 edges, 4 vertices, 3 tuples
19.44/7.39 c 01:26:13.681 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30419. 'extension(3, wk[2][10]=[0‥1]) :: init: true :: relation: MDD 382788897, 4 edges, 3 vertices, 3 tuples
19.44/7.39 c 01:26:13.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30420. 'extension(x[75][2]=[0‥3], 3) :: init: true :: relation: MDD 184690001, 5 edges, 4 vertices, 3 tuples
19.44/7.39 c 01:26:13.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30421. 'extension(3, x[77][2]=[0‥3]) :: init: true :: relation: MDD 184690001, 5 edges, 4 vertices, 3 tuples
19.44/7.39 c 01:26:13.683 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30450. 'extension(3, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 642087302, 4 edges, 3 vertices, 3 tuples
19.44/7.39 c 01:26:13.683 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30454. 'extension(3, 3) :: init: true :: relation: MDD 1562107210, 5 edges, 4 vertices, 3 tuples
19.44/7.39 c 01:26:13.684 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30481. 'extension(3, x[78][10]=[0‥3]) :: init: true :: relation: MDD 1562107210, 5 edges, 4 vertices, 3 tuples
19.44/7.39 c 01:26:13.685 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30484. 'extension(3, 3) :: init: true :: relation: MDD 1562107210, 5 edges, 4 vertices, 3 tuples
19.44/7.39 c 01:26:13.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30511. 'extension(x[77][4]=[0‥3], 3) :: init: true :: relation: MDD 881280045, 5 edges, 4 vertices, 3 tuples
19.44/7.39 c 01:26:13.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30512. 'extension(3, x[79][4]=[0‥3]) :: init: true :: relation: MDD 881280045, 5 edges, 4 vertices, 3 tuples
19.44/7.40 c 01:26:13.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30541. 'extension(x[77][16]=[0‥3], 3) :: init: true :: relation: MDD 1543272907, 5 edges, 4 vertices, 3 tuples
19.44/7.40 c 01:26:13.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30571. 'extension(3, x[80][16]=[0‥3]) :: init: true :: relation: MDD 1543272907, 5 edges, 4 vertices, 3 tuples
19.44/7.40 c 01:26:13.689 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30574. 'extension(3, 3) :: init: true :: relation: MDD 1543272907, 5 edges, 4 vertices, 3 tuples
19.44/7.40 c 01:26:13.690 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30600. 'extension(x[80][5]=[0‥3], 3) :: init: true :: relation: MDD 1307540790, 5 edges, 4 vertices, 3 tuples
19.44/7.40 c 01:26:13.690 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30601. 'extension(3, x[82][5]=[0‥3]) :: init: true :: relation: MDD 1307540790, 5 edges, 4 vertices, 3 tuples
19.76/7.41 c 01:26:13.698 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30672. 'extension(x[1][7]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30682. 'extension(x[5][7]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30692. 'extension(x[3][9]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30698. 'extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30704. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30706. 'extension(x[4][14]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.701 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30708. 'extension(x[6][14]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.701 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30722. 'extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.701 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30724. 'extension(x[7][13]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30726. 'extension(x[9][13]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30740. 'extension(x[8][20]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.703 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30746. 'extension(x[11][9]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.703 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30760. 'extension(x[10][7]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.703 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30762. 'extension(x[12][7]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.704 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30776. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.704 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30778. 'extension(x[11][6]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30784. 'extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30786. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30792. 'extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30794. 'extension(x[14][20]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30804. 'extension(x[13][9]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30806. 'extension(x[15][9]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.41 c 01:26:13.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30820. 'extension(x[14][3]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30830. 'extension(x[15][21]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30832. 'extension(x[17][21]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30846. 'extension(x[16][5]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30852. 'extension(x[19][5]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30866. 'extension(x[19][6]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30876. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.710 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30878. 'extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.710 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30880. 'extension(x[18][12]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.710 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30886. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.710 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30888. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.710 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30890. 'extension(x[19][11]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30896. 'extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30898. 'extension(x[21][12]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30916. 'extension(x[23][3]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.712 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30926. 'extension(x[23][11]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.712 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30936. 'extension(x[22][1]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30938. 'extension(x[24][1]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30952. 'extension(x[22][4]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30962. 'extension(x[24][14]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30964. 'extension(x[26][14]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30978. 'extension(wk[4][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30980. 'extension(x[27][4]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30990. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30992. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30998. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31004. 'extension(x[29][7]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31006. 'extension(x[31][7]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31020. 'extension(x[29][8]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31026. 'extension(x[30][0]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.42 c 01:26:13.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31032. 'extension(x[30][6]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31034. 'extension(x[32][6]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.718 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31052. 'extension(x[30][18]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.719 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31062. 'extension(x[31][15]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.719 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31064. 'extension(x[33][15]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31082. 'extension(x[31][19]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31084. 'extension(x[33][19]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31098. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31100. 'extension(wk[1][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31102. 'extension(x[32][1]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31104. 'extension(x[34][1]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31118. 'extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.722 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31120. 'extension(wk[17][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.722 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31122. 'extension(x[34][17]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.722 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31132. 'extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.722 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31134. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.722 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31136. 'extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31138. 'extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31140. 'extension(x[36][5]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31146. 'extension(x[38][8]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31156. 'extension(x[36][10]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31162. 'extension(x[39][0]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31172. 'extension(x[37][1]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31186. 'extension(x[37][12]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31192. 'extension(x[39][18]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31210. 'extension(x[38][19]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31216. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31218. 'extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31220. 'extension(x[41][5]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.43 c 01:26:13.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31230. 'extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.44 c 01:26:13.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31232. 'extension(wk[12][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.44 c 01:26:13.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31234. 'extension(x[41][12]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.44 c 01:26:13.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31244. 'extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.44 c 01:26:13.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31250. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.44 c 01:26:13.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31252. 'extension(x[42][1]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.44 c 01:26:13.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31262. 'extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.44 c 01:26:13.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31264. 'extension(x[42][10]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.44 c 01:26:13.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31274. 'extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.44 c 01:26:13.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31276. 'extension(x[42][19]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.44 c 01:26:13.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31286. 'extension(x[41][11]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.44 c 01:26:13.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31296. 'extension(x[47][11]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.44 c 01:26:13.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31306. 'extension(x[45][21]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.44 c 01:26:13.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31312. 'extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.44 c 01:26:13.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31318. 'extension(wk[20][6]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.44 c 01:26:13.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31320. 'extension(x[47][20]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.44 c 01:26:13.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31326. 'extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.44 c 01:26:13.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31328. 'extension(x[48][7]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31334. 'extension(x[48][14]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.734 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31352. 'extension(x[51][20]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.734 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31362. 'extension(x[52][7]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.734 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31372. 'extension(x[51][12]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31378. 'extension(x[51][13]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31384. 'extension(x[51][19]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31390. 'extension(x[53][21]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31408. 'extension(x[52][16]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.737 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31418. 'extension(wk[12][7]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.737 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31420. 'extension(x[55][12]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.737 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31430. 'extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.738 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31432. 'extension(wk[14][7]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.738 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31434. 'extension(x[55][14]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.738 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31444. 'extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31450. 'extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31452. 'extension(wk[2][7]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31454. 'extension(x[54][2]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31460. 'extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31462. 'extension(x[56][13]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31472. 'extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31474. 'extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31476. 'extension(x[56][19]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.741 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31486. 'extension(x[55][1]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.741 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31488. 'extension(x[57][1]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.741 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31506. 'extension(x[56][15]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.742 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31512. 'extension(x[58][16]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.742 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31526. 'extension(x[60][15]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.743 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31536. 'extension(x[59][5]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.743 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31538. 'extension(x[61][5]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.744 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31552. 'extension(wk[1][8]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.744 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31554. 'extension(x[60][1]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.744 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31556. 'extension(x[62][1]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31570. 'extension(wk[2][8]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31572. 'extension(x[62][2]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31582. 'extension(x[62][4]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31584. 'extension(x[64][4]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.746 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31598. 'extension(x[65][16]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.746 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31600. 'extension(x[67][16]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.747 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31614. 'extension(x[66][4]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.747 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31620. 'extension(wk[4][9]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.45 c 01:26:13.747 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31622. 'extension(x[69][4]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31636. 'extension(wk[13][9]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31638. 'extension(x[68][13]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31648. 'extension(x[69][15]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.749 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31654. 'extension(x[72][13]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.749 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31668. 'extension(x[74][15]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.750 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31678. 'extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.750 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31680. 'extension(x[74][10]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.750 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31686. 'extension(wk[2][10]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.750 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31688. 'extension(x[75][2]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.750 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31690. 'extension(x[77][2]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.751 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31704. 'extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.751 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31710. 'extension(x[78][10]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.752 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31720. 'extension(x[77][4]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.752 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31722. 'extension(x[79][4]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.753 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31736. 'extension(x[77][16]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.753 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31742. 'extension(x[80][16]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.753 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31756. 'extension(x[80][5]=[0‥3]) :: init: true :: relation: Empty MDD
19.76/7.46 c 01:26:13.754 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31758. 'extension(x[82][5]=[0‥3]) :: init: true :: relation: Empty MDD
2520.02/2452.50 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.02/2452.50 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.02/2452.50 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.02/2452.50 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.02/2452.50 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.02/2452.50 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.02/2452.50 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.02/2452.50 at concrete.IntervalDomain.filter(IntervalDomain.scala:81)
2520.02/2452.50 at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
2520.02/2452.50 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.02/2452.51 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.02/2452.51 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.02/2452.51 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.02/2452.51 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.02/2452.51 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.02/2452.51 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.02/2452.51 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.02/2452.51 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108)
2520.02/2452.51 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.02/2452.51 at scala.Option.map(Option.scala:146)
2520.02/2452.51 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.02/2452.51 at concrete.MAC.mac(MAC.scala:203)
2520.02/2452.51 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.02/2452.51 at scala.util.Try$.apply(Try.scala:209)
2520.02/2452.51 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.02/2452.51 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.02/2452.51 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.02/2452.51 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.02/2452.51 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.02/2452.51 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.02/2452.51 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.02/2452.51 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.02/2452.51 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.02/2452.51 at concrete.MAC.oneRun(MAC.scala:253)
2520.02/2452.51 at concrete.MAC.nextSolution(MAC.scala:272)
2520.02/2452.51 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.02/2452.51 at concrete.ProblemState.map(ProblemState.scala:221)
2520.02/2452.51 at concrete.ProblemState.map(ProblemState.scala:204)
2520.02/2452.51 at concrete.MAC.nextSolution(MAC.scala:334)
2520.02/2452.51 at concrete.Solver.hasNext(Solver.scala:166)
2520.02/2452.51 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.02/2452.51 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.02/2452.51 at concrete.Solver.foreach(Solver.scala:68)
2520.02/2452.51 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.02/2452.51 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.02/2452.51 at scala.util.Success.map(Try.scala:209)
2520.02/2452.51 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.02/2452.51 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.02/2452.51 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.02/2452.51 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.02/2452.51 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.02/2452.51 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.02/2452.51 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.02/2452.51 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.02/2452.51 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.02/2452.51 at scala.collection.immutable.List.foreach(List.scala:389)
2520.02/2452.51 at scala.App.main(App.scala:76)
2520.02/2452.51 at scala.App.main$(App.scala:74)
2520.02/2452.51 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.02/2452.51 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2452.52 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8304 MiB free)
memory of node 1: 16384 MiB (10231 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292982-1532301966/watcher-4292982-1532301966 -o /tmp/evaluation-result-4292982-1532301966/solver-4292982-1532301966 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532297041-4849 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1136755693 -superng HOME/instance-4292982-1532301966.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
solver pid=5905, runsolver pid=5902
Current StackSize limit: 8192 KiB
[startup+0.10179 s]*
/proc/loadavg: 1.61 1.61 1.52 2/206 5962
/proc/meminfo: memFree=18971392/32770624 swapFree=67108860/67108860
[pid=5905] ppid=5902 vsize=9972712 memory=17076 CPUtime=0.09 cores=0,2,4,6
/proc/5905/stat : 5905 (java) S 5902 5905 4818 0 -1 1077944320 4400 12940 0 0 1 0 5 3 20 0 6 0 47759843 10212057088 4269 33554432000 4194304 4196468 140726854512688 140726854495232 140704780594935 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
/proc/5905/statm: 2493178 4269 1934 1 0 2481616 0
[pid=5905/tid=5958] ppid=5902 vsize=9972712 memory=-8530506832973971393 CPUtime=0.09 cores=0,2,4,6
/proc/5905/task/5958/stat : 5958 (java) R 5902 5905 4818 0 -1 4202560 2251 12940 0 0 1 0 5 3 20 0 6 0 47759852 10212057088 4269 33554432000 4194304 4196468 140726854512688 140704752431696 140704765717872 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5959] ppid=5902 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5959/stat : 5959 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 6 0 47759853 10212057088 4269 33554432000 4194304 4196468 140726854512688 140704784837648 140704780605141 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5960] ppid=5902 vsize=9972712 memory=139664984368768 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5960/stat : 5960 (java) S 5902 5905 4818 0 -1 1077944384 2 12940 0 0 0 0 5 3 20 0 6 0 47759853 10212057088 4269 33554432000 4194304 4196468 140726854512688 140704353348752 140704780605141 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5961] ppid=5902 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5961/stat : 5961 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 6 0 47759853 10212057088 4269 33554432000 4194304 4196468 140726854512688 140704352295696 140704780605141 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5962] ppid=5902 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5962/stat : 5962 (java) S 5902 5905 4818 0 -1 1077944384 2 12940 0 0 0 0 5 3 20 0 6 0 47759853 10212057088 4269 33554432000 4194304 4196468 140726854512688 140704351243152 140704780605141 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.210117 s]*
/proc/loadavg: 1.61 1.61 1.52 3/215 5971
/proc/meminfo: memFree=18951876/32770624 swapFree=67108860/67108860
[pid=5905] ppid=5902 vsize=10819896 memory=43616 CPUtime=0.26 cores=0,2,4,6
/proc/5905/stat : 5905 (java) S 5902 5905 4818 0 -1 1077944320 8155 12940 0 0 16 2 5 3 20 0 15 0 47759843 11079573504 10904 33554432000 4194304 4196468 140726854512688 140726854495232 140704780594935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
/proc/5905/statm: 2704974 10904 2935 1 0 2667397 0
[pid=5905/tid=5958] ppid=5902 vsize=10821524 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/5905/task/5958/stat : 5958 (java) R 5902 5905 4818 0 -1 4202560 5287 12940 0 0 10 1 5 3 20 0 15 0 47759852 11081240576 11366 33554432000 4194304 4196468 140726854512688 140704752419744 140704773274653 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5959] ppid=5902 vsize=10821524 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5959/stat : 5959 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 47759853 11081240576 11366 33554432000 4194304 4196468 140726854512688 140704784837648 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5960] ppid=5902 vsize=10821524 memory=139664984378077 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5960/stat : 5960 (java) S 5902 5905 4818 0 -1 1077944384 2 12940 0 0 0 0 5 3 20 0 15 0 47759853 11081240576 11432 33554432000 4194304 4196468 140726854512688 140704353348752 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5961] ppid=5902 vsize=10821524 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5961/stat : 5961 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 47759853 11081240576 11432 33554432000 4194304 4196468 140726854512688 140704352295696 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5962] ppid=5902 vsize=10821524 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5962/stat : 5962 (java) S 5902 5905 4818 0 -1 1077944384 2 12940 0 0 0 0 5 3 20 0 15 0 47759853 11081240576 11432 33554432000 4194304 4196468 140726854512688 140704351243152 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5963] ppid=5902 vsize=10821524 memory=139664984368768 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5963/stat : 5963 (java) S 5902 5905 4818 0 -1 1077944384 2 12940 0 0 0 0 5 3 20 0 15 0 47759855 11081240576 11432 33554432000 4194304 4196468 140726854512688 140704239851760 140704780606082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5964] ppid=5902 vsize=10821524 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5964/stat : 5964 (java) S 5902 5905 4818 0 -1 1077944384 33 12940 0 0 0 0 5 3 20 0 15 0 47759855 11081240576 11432 33554432000 4194304 4196468 140726854512688 140704238797984 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5965] ppid=5902 vsize=10821524 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5965/stat : 5965 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 47759855 11081240576 11071 33554432000 4194304 4196468 140726854512688 140703665480432 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5966] ppid=5902 vsize=10821524 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5966/stat : 5966 (java) S 5902 5905 4818 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 47759858 11081240576 11071 33554432000 4194304 4196468 140726854512688 140703358080976 140704780613531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5967] ppid=5902 vsize=10819896 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5905/task/5967/stat : 5967 (java) S 5902 5905 4818 0 -1 1077944384 515 12940 0 0 1 0 5 3 20 0 15 0 47759858 11079573504 10831 33554432000 4194304 4196468 140726854512688 140704205241072 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5968] ppid=5902 vsize=10819896 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5968/stat : 5968 (java) S 5902 5905 4818 0 -1 1077944384 52 12940 0 0 0 0 5 3 20 0 15 0 47759858 11079573504 10831 33554432000 4194304 4196468 140726854512688 140704204188528 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5969] ppid=5902 vsize=10818904 memory=139664984368768 CPUtime=0.11 cores=0,2,4,6
/proc/5905/task/5969/stat : 5969 (java) S 5902 5905 4818 0 -1 1077944384 565 12940 0 0 3 0 5 3 20 0 15 0 47759858 11078557696 10823 33554432000 4194304 4196468 140726854512688 140703746222576 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5970] ppid=5902 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5970/stat : 5970 (java) S 5902 5905 4818 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 47759858 11078557696 10823 33554432000 4194304 4196468 140726854512688 140703324523360 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5971] ppid=5902 vsize=10818904 memory=139664984368768 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5971/stat : 5971 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 47759859 11078557696 10823 33554432000 4194304 4196468 140726854512688 140703745169968 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819896 KiB
Current children cumulated memory: 43616 KiB
[startup+0.310173 s]*
/proc/loadavg: 1.61 1.61 1.52 3/215 5971
/proc/meminfo: memFree=18940140/32770624 swapFree=67108860/67108860
[pid=5905] ppid=5902 vsize=10819352 memory=53752 CPUtime=0.38 cores=0,2,4,6
/proc/5905/stat : 5905 (java) S 5902 5905 4818 0 -1 1077944320 10560 12940 0 0 27 3 5 3 20 0 15 0 47759843 11079016448 13438 33554432000 4194304 4196468 140726854512688 140726854495232 140704780594935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
/proc/5905/statm: 2704838 13438 3054 1 0 2667149 0
[pid=5905/tid=5958] ppid=5902 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/5905/task/5958/stat : 5958 (java) R 5902 5905 4818 0 -1 4202560 7191 12940 0 0 19 2 5 3 20 0 15 0 47759852 11079016448 13438 33554432000 4194304 4196468 140726854512688 140704752406944 140704780616861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5959] ppid=5902 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5959/stat : 5959 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 47759853 11079016448 13438 33554432000 4194304 4196468 140726854512688 140704784837648 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5960] ppid=5902 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5960/stat : 5960 (java) S 5902 5905 4818 0 -1 1077944384 2 12940 0 0 0 0 5 3 20 0 15 0 47759853 11079016448 13438 33554432000 4194304 4196468 140726854512688 140704353348752 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5961] ppid=5902 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5961/stat : 5961 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 47759853 11079016448 13438 33554432000 4194304 4196468 140726854512688 140704352295696 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5962] ppid=5902 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5962/stat : 5962 (java) S 5902 5905 4818 0 -1 1077944384 2 12940 0 0 0 0 5 3 20 0 15 0 47759853 11079016448 13438 33554432000 4194304 4196468 140726854512688 140704351243152 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5963] ppid=5902 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5963/stat : 5963 (java) S 5902 5905 4818 0 -1 1077944384 2 12940 0 0 0 0 5 3 20 0 15 0 47759855 11079016448 13438 33554432000 4194304 4196468 140726854512688 140704239851760 140704780606082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5964] ppid=5902 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5964/stat : 5964 (java) S 5902 5905 4818 0 -1 1077944384 33 12940 0 0 0 0 5 3 20 0 15 0 47759855 11079016448 13438 33554432000 4194304 4196468 140726854512688 140704238797984 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5965] ppid=5902 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5965/stat : 5965 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 47759855 11079016448 13438 33554432000 4194304 4196468 140726854512688 140703665480432 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5966] ppid=5902 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5966/stat : 5966 (java) S 5902 5905 4818 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 47759858 11079016448 13438 33554432000 4194304 4196468 140726854512688 140703358080976 140704780613531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5967] ppid=5902 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5905/task/5967/stat : 5967 (java) S 5902 5905 4818 0 -1 1077944384 516 12940 0 0 1 0 5 3 20 0 15 0 47759858 11079016448 13438 33554432000 4194304 4196468 140726854512688 140704205241072 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5968] ppid=5902 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/5905/task/5968/stat : 5968 (java) R 5902 5905 4818 0 -1 4202560 52 12940 0 0 1 0 5 3 20 0 15 0 47759858 11079016448 13438 33554432000 4194304 4196468 140726854512688 140704204188528 140704761229432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5969] ppid=5902 vsize=10819352 memory=139664984368768 CPUtime=0.12 cores=0,2,4,6
/proc/5905/task/5969/stat : 5969 (java) S 5902 5905 4818 0 -1 1077944384 571 12940 0 0 4 0 5 3 20 0 15 0 47759858 11079016448 13438 33554432000 4194304 4196468 140726854512688 140703746222576 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5970] ppid=5902 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5970/stat : 5970 (java) S 5902 5905 4818 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 47759858 11079016448 13438 33554432000 4194304 4196468 140726854512688 140703324523360 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5971] ppid=5902 vsize=10819352 memory=139664984368768 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5971/stat : 5971 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 47759859 11079016448 13438 33554432000 4194304 4196468 140726854512688 140703745169968 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53752 KiB
[startup+0.700716 s]
/proc/loadavg: 1.61 1.61 1.52 3/215 5971
/proc/meminfo: memFree=18929720/32770624 swapFree=67108860/67108860
[pid=5905] ppid=5902 vsize=10819352 memory=86096 CPUtime=0.99 cores=0,2,4,6
/proc/5905/stat : 5905 (java) S 5902 5905 4818 0 -1 1077944320 16736 12940 0 0 87 4 5 3 20 0 15 0 47759843 11079016448 21524 33554432000 4194304 4196468 140726854512688 140726854495232 140704780594935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
/proc/5905/statm: 2704838 21524 3237 1 0 2667149 0
[pid=5905/tid=5958] ppid=5902 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/5905/task/5958/stat : 5958 (java) R 5902 5905 4818 0 -1 4202560 12310 12940 0 0 56 3 5 3 20 0 15 0 47759852 11079016448 21524 33554432000 4194304 4196468 140726854512688 140704752417872 140704780616861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5959] ppid=5902 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5959/stat : 5959 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 47759853 11079016448 21524 33554432000 4194304 4196468 140726854512688 140704784837648 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5960] ppid=5902 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5960/stat : 5960 (java) S 5902 5905 4818 0 -1 1077944384 2 12940 0 0 0 0 5 3 20 0 15 0 47759853 11079016448 21524 33554432000 4194304 4196468 140726854512688 140704353348752 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5961] ppid=5902 vsize=10819352 memory=139664887526160 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5961/stat : 5961 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 47759853 11079016448 21524 33554432000 4194304 4196468 140726854512688 140704352295696 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5962] ppid=5902 vsize=10819352 memory=139668041499232 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5962/stat : 5962 (java) S 5902 5905 4818 0 -1 1077944384 2 12940 0 0 0 0 5 3 20 0 15 0 47759853 11079016448 21524 33554432000 4194304 4196468 140726854512688 140704351243152 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5963] ppid=5902 vsize=10819352 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5963/stat : 5963 (java) R 5902 5905 4818 0 -1 4202560 5 12940 0 0 0 0 5 3 20 0 15 0 47759855 11079016448 21524 33554432000 4194304 4196468 140726854512688 140704239851760 140704773312087 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5964] ppid=5902 vsize=10819352 memory=4639098309541126758 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5964/stat : 5964 (java) S 5902 5905 4818 0 -1 1077944384 33 12940 0 0 0 0 5 3 20 0 15 0 47759855 11079016448 21524 33554432000 4194304 4196468 140726854512688 140704238797984 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5965] ppid=5902 vsize=10819352 memory=7885081012184048465 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5965/stat : 5965 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 47759855 11079016448 21524 33554432000 4194304 4196468 140726854512688 140703665480432 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5966] ppid=5902 vsize=10819352 memory=18464 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5966/stat : 5966 (java) S 5902 5905 4818 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 47759858 11079016448 21524 33554432000 4194304 4196468 140726854512688 140703358080976 140704780613531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5967] ppid=5902 vsize=10819352 memory=10424 CPUtime=0.18 cores=0,2,4,6
/proc/5905/task/5967/stat : 5967 (java) S 5902 5905 4818 0 -1 1077944384 1151 12940 0 0 10 0 5 3 20 0 15 0 47759858 11079016448 21524 33554432000 4194304 4196468 140726854512688 140704205241072 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5968] ppid=5902 vsize=10819352 memory=4052 CPUtime=0.15 cores=0,2,4,6
/proc/5905/task/5968/stat : 5968 (java) S 5902 5905 4818 0 -1 1077944384 395 12940 0 0 7 0 5 3 20 0 15 0 47759858 11079016448 21524 33554432000 4194304 4196468 140726854512688 140704204188528 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5969] ppid=5902 vsize=10819352 memory=644 CPUtime=0.2 cores=0,2,4,6
/proc/5905/task/5969/stat : 5969 (java) S 5902 5905 4818 0 -1 1077944384 639 12940 0 0 12 0 5 3 20 0 15 0 47759858 11079016448 21524 33554432000 4194304 4196468 140726854512688 140703746222576 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5970] ppid=5902 vsize=10819352 memory=1792 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5970/stat : 5970 (java) S 5902 5905 4818 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 47759858 11079016448 21524 33554432000 4194304 4196468 140726854512688 140703324523360 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5971] ppid=5902 vsize=10819352 memory=1232 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5971/stat : 5971 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 47759859 11079016448 21524 33554432000 4194304 4196468 140726854512688 140703745169968 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86096 KiB
[startup+1.50162 s]
/proc/loadavg: 1.61 1.61 1.52 3/215 5971
/proc/meminfo: memFree=18884380/32770624 swapFree=67108860/67108860
[pid=5905] ppid=5902 vsize=10828108 memory=173184 CPUtime=3.06 cores=0,2,4,6
/proc/5905/stat : 5905 (java) S 5902 5905 4818 0 -1 1077944320 22419 12940 0 0 291 7 5 3 20 0 15 0 47759843 11087982592 43296 33554432000 4194304 4196468 140726854512688 140726854495232 140704780594935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
/proc/5905/statm: 2707027 43296 3450 1 0 2668685 0
[pid=5905/tid=5958] ppid=5902 vsize=10828108 memory=62832 CPUtime=1.46 cores=0,2,4,6
/proc/5905/task/5958/stat : 5958 (java) R 5902 5905 4818 0 -1 4202560 15204 12940 0 0 133 5 5 3 20 0 15 0 47759852 11087982592 43296 33554432000 4194304 4196468 140726854512688 140704752426152 140704763084955 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5959] ppid=5902 vsize=10828108 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5959/stat : 5959 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 47759853 11087982592 43296 33554432000 4194304 4196468 140726854512688 140704784837648 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5960] ppid=5902 vsize=10828108 memory=279329775083680 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5960/stat : 5960 (java) S 5902 5905 4818 0 -1 1077944384 2 12940 0 0 0 0 5 3 20 0 15 0 47759853 11087982592 43296 33554432000 4194304 4196468 140726854512688 140704353348752 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5961] ppid=5902 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5961/stat : 5961 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 47759853 11087982592 43296 33554432000 4194304 4196468 140726854512688 140704352295696 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5962] ppid=5902 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5962/stat : 5962 (java) S 5902 5905 4818 0 -1 1077944384 2 12940 0 0 0 0 5 3 20 0 15 0 47759853 11087982592 43296 33554432000 4194304 4196468 140726854512688 140704351243152 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5963] ppid=5902 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5963/stat : 5963 (java) S 5902 5905 4818 0 -1 1077944384 12 12940 0 0 0 0 5 3 20 0 15 0 47759855 11087982592 43296 33554432000 4194304 4196468 140726854512688 140704239851760 140704780606082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5964] ppid=5902 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5964/stat : 5964 (java) S 5902 5905 4818 0 -1 1077944384 33 12940 0 0 0 0 5 3 20 0 15 0 47759855 11087982592 43296 33554432000 4194304 4196468 140726854512688 140704238797984 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5965] ppid=5902 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5965/stat : 5965 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 47759855 11087982592 43296 33554432000 4194304 4196468 140726854512688 140703665480432 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5966] ppid=5902 vsize=10828108 memory=-2746958450906831424 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5966/stat : 5966 (java) S 5902 5905 4818 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 47759858 11087982592 43296 33554432000 4194304 4196468 140726854512688 140703358080976 140704780613531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5967] ppid=5902 vsize=10828108 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/5905/task/5967/stat : 5967 (java) R 5902 5905 4818 0 -1 4202560 2316 12940 0 0 57 0 5 3 20 0 15 0 47759858 11087982592 43296 33554432000 4194304 4196468 140726854512688 140704205222608 140704765718544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5968] ppid=5902 vsize=10828108 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/5905/task/5968/stat : 5968 (java) R 5902 5905 4818 0 -1 4202560 1080 12940 0 0 50 0 5 3 20 0 15 0 47759858 11087982592 43296 33554432000 4194304 4196468 140726854512688 140704204175376 140704759840854 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5969] ppid=5902 vsize=10828108 memory=8112282956445269571 CPUtime=0.57 cores=0,2,4,6
/proc/5905/task/5969/stat : 5969 (java) S 5902 5905 4818 0 -1 1077944384 1571 12940 0 0 49 0 5 3 20 0 15 0 47759858 11087982592 43296 33554432000 4194304 4196468 140726854512688 140703746222576 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5970] ppid=5902 vsize=10828108 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5970/stat : 5970 (java) S 5902 5905 4818 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 47759858 11087982592 43296 33554432000 4194304 4196468 140726854512688 140703324523360 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5971] ppid=5902 vsize=10828108 memory=279329775328128 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5971/stat : 5971 (java) S 5902 5905 4818 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 47759859 11087982592 43296 33554432000 4194304 4196468 140726854512688 140703745169968 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
/proc/5905/task/5958/stat : 5958 (java) R 5902 5905 4818 0 -1 4202560 117215 12940 0 0 236298 48 5 3 20 0 15 0 47759852 11113168896 337893 33554432000 4194304 4196468 140726854512688 140704752428592 140704373315623 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5959] ppid=5902 vsize=10852704 memory=1351556 CPUtime=10.87 cores=0,2,4,6
/proc/5905/task/5959/stat : 5959 (java) S 5902 5905 4818 0 -1 1077944384 32756 12940 0 0 1020 59 5 3 20 0 15 0 47759853 11113168896 337893 33554432000 4194304 4196468 140726854512688 140704784837648 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5960] ppid=5902 vsize=10852704 memory=1351556 CPUtime=10.85 cores=0,2,4,6
/proc/5905/task/5960/stat : 5960 (java) S 5902 5905 4818 0 -1 1077944384 31420 12940 0 0 1020 57 5 3 20 0 15 0 47759853 11113168896 337893 33554432000 4194304 4196468 140726854512688 140704353348752 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5961] ppid=5902 vsize=10852704 memory=1351572 CPUtime=10.85 cores=0,2,4,6
/proc/5905/task/5961/stat : 5961 (java) S 5902 5905 4818 0 -1 1077944384 28966 12940 0 0 1020 57 5 3 20 0 15 0 47759853 11113168896 337893 33554432000 4194304 4196468 140726854512688 140704352295696 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5962] ppid=5902 vsize=10852704 memory=1351572 CPUtime=10.9 cores=0,2,4,6
/proc/5905/task/5962/stat : 5962 (java) S 5902 5905 4818 0 -1 1077944384 24584 12940 0 0 1025 57 5 3 20 0 15 0 47759853 11113168896 337893 33554432000 4194304 4196468 140726854512688 140704351243152 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5963] ppid=5902 vsize=10852704 memory=1351556 CPUtime=5.8 cores=0,2,4,6
/proc/5905/task/5963/stat : 5963 (java) S 5902 5905 4818 0 -1 1077944384 25358 12940 0 0 537 35 5 3 20 0 15 0 47759855 11113168896 337893 33554432000 4194304 4196468 140726854512688 140704239851760 140704780606082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5964] ppid=5902 vsize=10852704 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5964/stat : 5964 (java) S 5902 5905 4818 0 -1 1077944384 47 12940 0 0 0 0 5 3 20 0 15 0 47759855 11113168896 337893 33554432000 4194304 4196468 140726854512688 140704238798048 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5965] ppid=5902 vsize=10852704 memory=1351572 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5965/stat : 5965 (java) S 5902 5905 4818 0 -1 1077944384 12 12940 0 0 0 0 5 3 20 0 15 0 47759855 11113168896 337893 33554432000 4194304 4196468 140726854512688 140703665480448 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5966] ppid=5902 vsize=10852704 memory=1351572 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5966/stat : 5966 (java) S 5902 5905 4818 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 47759858 11113168896 337893 33554432000 4194304 4196468 140726854512688 140703358080976 140704780613531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5967] ppid=5902 vsize=10852704 memory=1351572 CPUtime=14.77 cores=0,2,4,6
/proc/5905/task/5967/stat : 5967 (java) S 5902 5905 4818 0 -1 1077944384 94044 12940 0 0 1459 10 5 3 20 0 15 0 47759858 11113168896 337893 33554432000 4194304 4196468 140726854512688 140704205241072 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5968] ppid=5902 vsize=10852704 memory=1351572 CPUtime=15.23 cores=0,2,4,6
/proc/5905/task/5968/stat : 5968 (java) S 5902 5905 4818 0 -1 1077944384 104421 12940 0 0 1505 10 5 3 20 0 15 0 47759858 11113168896 337893 33554432000 4194304 4196468 140726854512688 140704204188528 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5969] ppid=5902 vsize=10852704 memory=1351572 CPUtime=5.41 cores=0,2,4,6
/proc/5905/task/5969/stat : 5969 (java) S 5902 5905 4818 0 -1 1077944384 110494 12940 0 0 520 13 5 3 20 0 15 0 47759858 11113168896 337893 33554432000 4194304 4196468 140726854512688 140703746222576 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5970] ppid=5902 vsize=10852704 memory=956 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5970/stat : 5970 (java) S 5902 5905 4818 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 47759858 11113168896 337893 33554432000 4194304 4196468 140726854512688 140703324523360 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5971] ppid=5902 vsize=10852704 memory=1351572 CPUtime=1.2 cores=0,2,4,6
/proc/5905/task/5971/stat : 5971 (java) S 5902 5905 4818 0 -1 1077944384 1779 12940 0 0 57 55 5 3 20 0 15 0 47759859 11113168896 337893 33554432000 4194304 4196468 140726854512688 140703745169968 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
Current children cumulated CPU time: 2448.79 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1351572 KiB
[startup+2442.3 s]
/proc/loadavg: 1.77 1.68 1.63 3/215 6328
/proc/meminfo: memFree=16465980/32770624 swapFree=67108860/67108860
[pid=5905] ppid=5902 vsize=10852704 memory=1342940 CPUtime=2509.67 cores=0,2,4,6
/proc/5905/stat : 5905 (java) S 5902 5905 4818 0 -1 1077944320 581651 12940 0 0 250585 374 5 3 20 0 15 0 47759843 11113168896 335735 33554432000 4194304 4196468 140726854512688 140726854495232 140704780594935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
/proc/5905/statm: 2713176 335735 3537 1 0 2674829 0
[pid=5905/tid=5958] ppid=5902 vsize=10852704 memory=1342940 CPUtime=2423.03 cores=0,2,4,6
/proc/5905/task/5958/stat : 5958 (java) R 5902 5905 4818 0 -1 4202560 119514 12940 0 0 242246 49 5 3 20 0 15 0 47759852 11113168896 335735 33554432000 4194304 4196468 140726854512688 140704752428944 140704378889111 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5959] ppid=5902 vsize=10852704 memory=1342940 CPUtime=11.17 cores=0,2,4,6
/proc/5905/task/5959/stat : 5959 (java) S 5902 5905 4818 0 -1 1077944384 33685 12940 0 0 1049 60 5 3 20 0 15 0 47759853 11113168896 335735 33554432000 4194304 4196468 140726854512688 140704784837648 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5960] ppid=5902 vsize=10852704 memory=1342940 CPUtime=11.14 cores=0,2,4,6
/proc/5905/task/5960/stat : 5960 (java) S 5902 5905 4818 0 -1 1077944384 33418 12940 0 0 1049 57 5 3 20 0 15 0 47759853 11113168896 335735 33554432000 4194304 4196468 140726854512688 140704353348752 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5961] ppid=5902 vsize=10852704 memory=1342920 CPUtime=11.15 cores=0,2,4,6
/proc/5905/task/5961/stat : 5961 (java) S 5902 5905 4818 0 -1 1077944384 29358 12940 0 0 1049 58 5 3 20 0 15 0 47759853 11113168896 335735 33554432000 4194304 4196468 140726854512688 140704352295696 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5962] ppid=5902 vsize=10852704 memory=1342920 CPUtime=11.19 cores=0,2,4,6
/proc/5905/task/5962/stat : 5962 (java) S 5902 5905 4818 0 -1 1077944384 24893 12940 0 0 1054 57 5 3 20 0 15 0 47759853 11113168896 335735 33554432000 4194304 4196468 140726854512688 140704351243152 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5963] ppid=5902 vsize=10852704 memory=1342892 CPUtime=5.97 cores=0,2,4,6
/proc/5905/task/5963/stat : 5963 (java) S 5902 5905 4818 0 -1 1077944384 26086 12940 0 0 553 36 5 3 20 0 15 0 47759855 11113168896 335735 33554432000 4194304 4196468 140726854512688 140704239851760 140704780606082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5964] ppid=5902 vsize=10852704 memory=1351100 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5964/stat : 5964 (java) S 5902 5905 4818 0 -1 1077944384 47 12940 0 0 0 0 5 3 20 0 15 0 47759855 11113168896 335735 33554432000 4194304 4196468 140726854512688 140704238798048 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5965] ppid=5902 vsize=10852704 memory=1351556 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5965/stat : 5965 (java) S 5902 5905 4818 0 -1 1077944384 12 12940 0 0 0 0 5 3 20 0 15 0 47759855 11113168896 335735 33554432000 4194304 4196468 140726854512688 140703665480448 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5966] ppid=5902 vsize=10852704 memory=1351556 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5966/stat : 5966 (java) S 5902 5905 4818 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 47759858 11113168896 335735 33554432000 4194304 4196468 140726854512688 140703358080976 140704780613531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5967] ppid=5902 vsize=10852704 memory=1342920 CPUtime=14.77 cores=0,2,4,6
/proc/5905/task/5967/stat : 5967 (java) S 5902 5905 4818 0 -1 1077944384 94048 12940 0 0 1459 10 5 3 20 0 15 0 47759858 11113168896 335735 33554432000 4194304 4196468 140726854512688 140704205241072 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5968] ppid=5902 vsize=10852704 memory=1342920 CPUtime=15.23 cores=0,2,4,6
/proc/5905/task/5968/stat : 5968 (java) S 5902 5905 4818 0 -1 1077944384 104425 12940 0 0 1505 10 5 3 20 0 15 0 47759858 11113168896 335735 33554432000 4194304 4196468 140726854512688 140704204188528 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5969] ppid=5902 vsize=10852704 memory=1342920 CPUtime=5.41 cores=0,2,4,6
/proc/5905/task/5969/stat : 5969 (java) S 5902 5905 4818 0 -1 1077944384 112149 12940 0 0 520 13 5 3 20 0 15 0 47759858 11113168896 335735 33554432000 4194304 4196468 140726854512688 140703746222576 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5970] ppid=5902 vsize=10852704 memory=1346996 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5970/stat : 5970 (java) S 5902 5905 4818 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 47759858 11113168896 335735 33554432000 4194304 4196468 140726854512688 140703324523360 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5971] ppid=5902 vsize=10852704 memory=1342940 CPUtime=1.23 cores=0,2,4,6
/proc/5905/task/5971/stat : 5971 (java) S 5902 5905 4818 0 -1 1077944384 1821 12940 0 0 58 57 5 3 20 0 15 0 47759859 11113168896 335735 33554432000 4194304 4196468 140726854512688 140703745169968 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
Current children cumulated CPU time: 2509.67 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1342940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2452.5 s]
/proc/loadavg: 1.81 1.69 1.64 3/215 6328
/proc/meminfo: memFree=16465980/32770624 swapFree=67108860/67108860
[pid=5905] ppid=5902 vsize=10852704 memory=1342944 CPUtime=2520.02 cores=0,2,4,6
/proc/5905/stat : 5905 (java) S 5902 5905 4818 0 -1 1077944320 581808 12940 0 0 251619 375 5 3 20 0 15 0 47759843 11113168896 335736 33554432000 4194304 4196468 140726854512688 140726854495232 140704780594935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
/proc/5905/statm: 2713176 335736 3537 1 0 2674829 0
[pid=5905/tid=5958] ppid=5902 vsize=10852704 memory=1342944 CPUtime=2433.13 cores=0,2,4,6
/proc/5905/task/5958/stat : 5958 (java) R 5902 5905 4818 0 -1 4202560 119621 12940 0 0 243256 49 5 3 20 0 15 0 47759852 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704752430160 140704379781672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5959] ppid=5902 vsize=10852704 memory=1342944 CPUtime=11.22 cores=0,2,4,6
/proc/5905/task/5959/stat : 5959 (java) S 5902 5905 4818 0 -1 1077944384 33689 12940 0 0 1054 60 5 3 20 0 15 0 47759853 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704784837648 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5960] ppid=5902 vsize=10852704 memory=1342944 CPUtime=11.19 cores=0,2,4,6
/proc/5905/task/5960/stat : 5960 (java) S 5902 5905 4818 0 -1 1077944384 33419 12940 0 0 1054 57 5 3 20 0 15 0 47759853 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704353348752 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5961] ppid=5902 vsize=10852704 memory=1342940 CPUtime=11.2 cores=0,2,4,6
/proc/5905/task/5961/stat : 5961 (java) S 5902 5905 4818 0 -1 1077944384 29381 12940 0 0 1054 58 5 3 20 0 15 0 47759853 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704352295696 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5962] ppid=5902 vsize=10852704 memory=1342944 CPUtime=11.24 cores=0,2,4,6
/proc/5905/task/5962/stat : 5962 (java) S 5902 5905 4818 0 -1 1077944384 24899 12940 0 0 1059 57 5 3 20 0 15 0 47759853 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704351243152 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5963] ppid=5902 vsize=10852704 memory=1342920 CPUtime=5.99 cores=0,2,4,6
/proc/5905/task/5963/stat : 5963 (java) S 5902 5905 4818 0 -1 1077944384 26101 12940 0 0 555 36 5 3 20 0 15 0 47759855 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704239851760 140704780606082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5964] ppid=5902 vsize=10852704 memory=1351556 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5964/stat : 5964 (java) S 5902 5905 4818 0 -1 1077944384 47 12940 0 0 0 0 5 3 20 0 15 0 47759855 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704238798048 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5965] ppid=5902 vsize=10852704 memory=1351556 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5965/stat : 5965 (java) S 5902 5905 4818 0 -1 1077944384 12 12940 0 0 0 0 5 3 20 0 15 0 47759855 11113168896 335736 33554432000 4194304 4196468 140726854512688 140703665480448 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5966] ppid=5902 vsize=10852704 memory=1351100 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5966/stat : 5966 (java) S 5902 5905 4818 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 47759858 11113168896 335736 33554432000 4194304 4196468 140726854512688 140703358080976 140704780613531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5967] ppid=5902 vsize=10852704 memory=1342892 CPUtime=14.77 cores=0,2,4,6
/proc/5905/task/5967/stat : 5967 (java) S 5902 5905 4818 0 -1 1077944384 94048 12940 0 0 1459 10 5 3 20 0 15 0 47759858 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704205241072 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5968] ppid=5902 vsize=10852704 memory=1342920 CPUtime=15.23 cores=0,2,4,6
/proc/5905/task/5968/stat : 5968 (java) S 5902 5905 4818 0 -1 1077944384 104425 12940 0 0 1505 10 5 3 20 0 15 0 47759858 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704204188528 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5969] ppid=5902 vsize=10852704 memory=1342920 CPUtime=5.41 cores=0,2,4,6
/proc/5905/task/5969/stat : 5969 (java) S 5902 5905 4818 0 -1 1077944384 112149 12940 0 0 520 13 5 3 20 0 15 0 47759858 11113168896 335736 33554432000 4194304 4196468 140726854512688 140703746222576 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5970] ppid=5902 vsize=10852704 memory=1342944 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5970/stat : 5970 (java) S 5902 5905 4818 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 47759858 11113168896 335736 33554432000 4194304 4196468 140726854512688 140703324523360 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5971] ppid=5902 vsize=10852704 memory=1342944 CPUtime=1.23 cores=0,2,4,6
/proc/5905/task/5971/stat : 5971 (java) S 5902 5905 4818 0 -1 1077944384 1822 12940 0 0 58 57 5 3 20 0 15 0 47759859 11113168896 335736 33554432000 4194304 4196468 140726854512688 140703745169968 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1342944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2452.54 s]
# the end of solver process 5905 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.27 s, system=3.80686 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2452.5 s]
/proc/loadavg: 1.81 1.69 1.64 3/215 6328
/proc/meminfo: memFree=16465980/32770624 swapFree=67108860/67108860
[pid=5905] ppid=5902 vsize=10852704 memory=1342944 CPUtime=2520.02 cores=0,2,4,6
/proc/5905/stat : 5905 (java) S 5902 5905 4818 0 -1 1077944320 581808 12940 0 0 251619 375 5 3 20 0 15 0 47759843 11113168896 335736 33554432000 4194304 4196468 140726854512688 140726854495232 140704780594935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
/proc/5905/statm: 2713176 335736 3537 1 0 2674829 0
[pid=5905/tid=5958] ppid=5902 vsize=10852704 memory=1342944 CPUtime=2433.13 cores=0,2,4,6
/proc/5905/task/5958/stat : 5958 (java) R 5902 5905 4818 0 -1 4202560 119621 12940 0 0 243256 49 5 3 20 0 15 0 47759852 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704752430160 140704379781672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5959] ppid=5902 vsize=10852704 memory=1342944 CPUtime=11.22 cores=0,2,4,6
/proc/5905/task/5959/stat : 5959 (java) S 5902 5905 4818 0 -1 1077944384 33689 12940 0 0 1054 60 5 3 20 0 15 0 47759853 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704784837648 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5960] ppid=5902 vsize=10852704 memory=1342944 CPUtime=11.19 cores=0,2,4,6
/proc/5905/task/5960/stat : 5960 (java) S 5902 5905 4818 0 -1 1077944384 33419 12940 0 0 1054 57 5 3 20 0 15 0 47759853 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704353348752 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5961] ppid=5902 vsize=10852704 memory=1342940 CPUtime=11.2 cores=0,2,4,6
/proc/5905/task/5961/stat : 5961 (java) S 5902 5905 4818 0 -1 1077944384 29381 12940 0 0 1054 58 5 3 20 0 15 0 47759853 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704352295696 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5962] ppid=5902 vsize=10852704 memory=1342944 CPUtime=11.24 cores=0,2,4,6
/proc/5905/task/5962/stat : 5962 (java) S 5902 5905 4818 0 -1 1077944384 24899 12940 0 0 1059 57 5 3 20 0 15 0 47759853 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704351243152 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5963] ppid=5902 vsize=10852704 memory=1342920 CPUtime=5.99 cores=0,2,4,6
/proc/5905/task/5963/stat : 5963 (java) S 5902 5905 4818 0 -1 1077944384 26101 12940 0 0 555 36 5 3 20 0 15 0 47759855 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704239851760 140704780606082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5964] ppid=5902 vsize=10852704 memory=1351556 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5964/stat : 5964 (java) S 5902 5905 4818 0 -1 1077944384 47 12940 0 0 0 0 5 3 20 0 15 0 47759855 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704238798048 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5965] ppid=5902 vsize=10852704 memory=1351556 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5965/stat : 5965 (java) S 5902 5905 4818 0 -1 1077944384 12 12940 0 0 0 0 5 3 20 0 15 0 47759855 11113168896 335736 33554432000 4194304 4196468 140726854512688 140703665480448 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5966] ppid=5902 vsize=10852704 memory=1351100 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5966/stat : 5966 (java) S 5902 5905 4818 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 47759858 11113168896 335736 33554432000 4194304 4196468 140726854512688 140703358080976 140704780613531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5967] ppid=5902 vsize=10852704 memory=1342892 CPUtime=14.77 cores=0,2,4,6
/proc/5905/task/5967/stat : 5967 (java) S 5902 5905 4818 0 -1 1077944384 94048 12940 0 0 1459 10 5 3 20 0 15 0 47759858 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704205241072 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5968] ppid=5902 vsize=10852704 memory=1342920 CPUtime=15.23 cores=0,2,4,6
/proc/5905/task/5968/stat : 5968 (java) S 5902 5905 4818 0 -1 1077944384 104425 12940 0 0 1505 10 5 3 20 0 15 0 47759858 11113168896 335736 33554432000 4194304 4196468 140726854512688 140704204188528 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5969] ppid=5902 vsize=10852704 memory=1342920 CPUtime=5.41 cores=0,2,4,6
/proc/5905/task/5969/stat : 5969 (java) S 5902 5905 4818 0 -1 1077944384 112149 12940 0 0 520 13 5 3 20 0 15 0 47759858 11113168896 335736 33554432000 4194304 4196468 140726854512688 140703746222576 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5970] ppid=5902 vsize=10852704 memory=1342944 CPUtime=0.08 cores=0,2,4,6
/proc/5905/task/5970/stat : 5970 (java) S 5902 5905 4818 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 47759858 11113168896 335736 33554432000 4194304 4196468 140726854512688 140703324523360 140704780605141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
[pid=5905/tid=5971] ppid=5902 vsize=10852704 memory=1342944 CPUtime=1.23 cores=0,2,4,6
/proc/5905/task/5971/stat : 5971 (java) S 5902 5905 4818 0 -1 1077944384 1822 12940 0 0 58 57 5 3 20 0 15 0 47759859 11113168896 335736 33554432000 4194304 4196468 140726854512688 140703745169968 140704780606082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140726854518955 140726854522204 140726854522204 140726854524879 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1342944 KiB
Child status: 143
Real time (s): 2452.54
CPU time (s): 2520.07
CPU user time (s): 2516.27
CPU system time (s): 3.80686
CPU usage (%): 102.754
Max. virtual memory (cumulated for all children) (KiB): 10853368
Max. memory (cumulated for all children) (KiB): 2333736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.27
system time used= 3.80687
maximum resident set size= 2348072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 599627
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 182241
involuntary context switches= 8275
# summary of solver processes directly reported to runsolver:
# pid: 5905
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.27
# total CPU system time (s): 3.80686
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7678 second user time and 24.1792 second system time
The end