0.95/0.77 c Concrete v3.9.2.1532736233296 running
19.47/7.31 c 21:56:02.660 [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.47/7.32 c 21:56:02.668 [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.47/7.32 c 21:56:02.669 [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.47/7.33 c 21:56:02.670 [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.47/7.33 c 21:56:02.672 [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.47/7.33 c 21:56:02.674 [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.47/7.33 c 21:56:02.675 [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.47/7.33 c 21:56:02.676 [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.47/7.33 c 21:56:02.676 [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.47/7.33 c 21:56:02.677 [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.47/7.33 c 21:56:02.679 [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.47/7.33 c 21:56:02.680 [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.47/7.33 c 21:56:02.681 [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.47/7.33 c 21:56:02.681 [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.47/7.33 c 21:56:02.682 [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.47/7.33 c 21:56:02.683 [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.47/7.34 c 21:56:02.685 [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.47/7.34 c 21:56:02.686 [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.47/7.34 c 21:56:02.687 [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.47/7.34 c 21:56:02.688 [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.47/7.34 c 21:56:02.689 [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.47/7.34 c 21:56:02.690 [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.47/7.34 c 21:56:02.690 [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.47/7.34 c 21:56:02.692 [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.47/7.34 c 21:56:02.693 [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.47/7.34 c 21:56:02.694 [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.47/7.35 c 21:56:02.695 [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.47/7.35 c 21:56:02.695 [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.47/7.35 c 21:56:02.696 [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.47/7.35 c 21:56:02.696 [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.47/7.35 c 21:56:02.697 [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.47/7.35 c 21:56:02.698 [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.47/7.35 c 21:56:02.698 [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.47/7.35 c 21:56:02.699 [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.47/7.35 c 21:56:02.700 [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.47/7.35 c 21:56:02.701 [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.47/7.35 c 21:56:02.703 [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.47/7.36 c 21:56:02.704 [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.47/7.36 c 21:56:02.705 [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.47/7.36 c 21:56:02.706 [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.47/7.36 c 21:56:02.706 [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.47/7.36 c 21:56:02.707 [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.47/7.36 c 21:56:02.709 [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.47/7.36 c 21:56:02.709 [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.47/7.36 c 21:56:02.710 [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.47/7.36 c 21:56:02.711 [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.47/7.36 c 21:56:02.711 [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.47/7.36 c 21:56:02.712 [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.47/7.36 c 21:56:02.713 [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.47/7.37 c 21:56:02.714 [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.47/7.37 c 21:56:02.716 [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.47/7.37 c 21:56:02.716 [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.47/7.37 c 21:56:02.716 [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.47/7.37 c 21:56:02.717 [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.47/7.37 c 21:56:02.718 [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.47/7.37 c 21:56:02.718 [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.47/7.37 c 21:56:02.719 [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.47/7.37 c 21:56:02.719 [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.47/7.37 c 21:56:02.720 [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.47/7.37 c 21:56:02.721 [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.47/7.37 c 21:56:02.721 [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.47/7.37 c 21:56:02.723 [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.47/7.37 c 21:56:02.723 [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.47/7.38 c 21:56:02.724 [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.47/7.38 c 21:56:02.725 [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.47/7.38 c 21:56:02.726 [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.47/7.38 c 21:56:02.727 [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.47/7.38 c 21:56:02.729 [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.47/7.38 c 21:56:02.729 [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.47/7.38 c 21:56:02.731 [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.47/7.38 c 21:56:02.732 [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.47/7.38 c 21:56:02.733 [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.47/7.38 c 21:56:02.733 [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.47/7.39 c 21:56:02.734 [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.47/7.39 c 21:56:02.736 [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.47/7.39 c 21:56:02.736 [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.47/7.39 c 21:56:02.737 [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.47/7.39 c 21:56:02.738 [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.47/7.39 c 21:56:02.738 [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.47/7.39 c 21:56:02.739 [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.47/7.39 c 21:56:02.740 [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.80/7.40 c 21:56:02.741 [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.80/7.40 c 21:56:02.741 [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.80/7.40 c 21:56:02.742 [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.80/7.40 c 21:56:02.742 [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.80/7.40 c 21:56:02.744 [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.80/7.40 c 21:56:02.745 [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.80/7.40 c 21:56:02.746 [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.80/7.40 c 21:56:02.747 [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.80/7.40 c 21:56:02.747 [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.80/7.40 c 21:56:02.749 [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.80/7.40 c 21:56:02.749 [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.80/7.40 c 21:56:02.750 [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.80/7.40 c 21:56:02.751 [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.80/7.40 c 21:56:02.752 [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.80/7.41 c 21:56:02.752 [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.80/7.41 c 21:56:02.752 [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.80/7.41 c 21:56:02.754 [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.80/7.41 c 21:56:02.754 [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.80/7.41 c 21:56:02.755 [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.80/7.41 c 21:56:02.755 [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.80/7.41 c 21:56:02.757 [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.80/7.41 c 21:56:02.757 [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.80/7.41 c 21:56:02.758 [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.80/7.41 c 21:56:02.758 [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.80/7.41 c 21:56:02.758 [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.80/7.41 c 21:56:02.760 [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.80/7.41 c 21:56:02.760 [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.80/7.41 c 21:56:02.760 [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.80/7.41 c 21:56:02.761 [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.80/7.41 c 21:56:02.761 [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.80/7.41 c 21:56:02.762 [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.80/7.41 c 21:56:02.763 [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.80/7.41 c 21:56:02.763 [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.80/7.41 c 21:56:02.764 [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.80/7.42 c 21:56:02.764 [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.80/7.42 c 21:56:02.764 [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.80/7.42 c 21:56:02.765 [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.80/7.42 c 21:56:02.765 [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.80/7.42 c 21:56:02.766 [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.80/7.42 c 21:56:02.766 [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.80/7.42 c 21:56:02.766 [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.80/7.42 c 21:56:02.767 [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.80/7.42 c 21:56:02.767 [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.80/7.42 c 21:56:02.768 [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.80/7.42 c 21:56:02.768 [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.80/7.42 c 21:56:02.769 [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.80/7.42 c 21:56:02.770 [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.80/7.42 c 21:56:02.770 [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.80/7.42 c 21:56:02.771 [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.80/7.42 c 21:56:02.772 [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.80/7.43 c 21:56:02.776 [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.80/7.43 c 21:56:02.777 [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.80/7.43 c 21:56:02.778 [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.80/7.43 c 21:56:02.779 [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.80/7.43 c 21:56:02.780 [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.80/7.43 c 21:56:02.780 [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.80/7.43 c 21:56:02.781 [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.80/7.43 c 21:56:02.781 [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.80/7.44 c 21:56:02.783 [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.80/7.44 c 21:56:02.783 [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.80/7.44 c 21:56:02.784 [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.80/7.44 c 21:56:02.784 [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.80/7.44 c 21:56:02.785 [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.80/7.44 c 21:56:02.786 [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.80/7.44 c 21:56:02.786 [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.80/7.44 c 21:56:02.786 [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.80/7.44 c 21:56:02.787 [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.80/7.44 c 21:56:02.787 [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.80/7.44 c 21:56:02.788 [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.80/7.44 c 21:56:02.788 [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.80/7.44 c 21:56:02.789 [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.80/7.44 c 21:56:02.789 [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.80/7.44 c 21:56:02.789 [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.80/7.44 c 21:56:02.790 [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.80/7.44 c 21:56:02.790 [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.80/7.44 c 21:56:02.791 [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.80/7.44 c 21:56:02.792 [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.80/7.44 c 21:56:02.792 [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.80/7.44 c 21:56:02.793 [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.80/7.44 c 21:56:02.793 [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.80/7.44 c 21:56:02.794 [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.80/7.45 c 21:56:02.794 [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.80/7.45 c 21:56:02.795 [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.80/7.45 c 21:56:02.795 [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.80/7.45 c 21:56:02.796 [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.80/7.45 c 21:56:02.797 [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.80/7.45 c 21:56:02.798 [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.80/7.45 c 21:56:02.799 [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.80/7.45 c 21:56:02.799 [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.80/7.45 c 21:56:02.800 [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.80/7.46 c 21:56:02.801 [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.80/7.46 c 21:56:02.802 [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.80/7.46 c 21:56:02.802 [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.80/7.46 c 21:56:02.803 [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.80/7.46 c 21:56:02.803 [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.80/7.46 c 21:56:02.804 [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.80/7.46 c 21:56:02.804 [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.80/7.46 c 21:56:02.805 [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.80/7.46 c 21:56:02.806 [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.80/7.46 c 21:56:02.806 [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.80/7.46 c 21:56:02.807 [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.80/7.46 c 21:56:02.807 [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.80/7.46 c 21:56:02.808 [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.80/7.46 c 21:56:02.809 [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.80/7.46 c 21:56:02.809 [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.80/7.46 c 21:56:02.810 [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.80/7.46 c 21:56:02.811 [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.80/7.46 c 21:56:02.811 [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.80/7.46 c 21:56:02.812 [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.80/7.46 c 21:56:02.813 [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.80/7.47 c 21:56:02.813 [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.80/7.47 c 21:56:02.814 [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.80/7.47 c 21:56:02.815 [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.80/7.47 c 21:56:02.815 [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.80/7.47 c 21:56:02.816 [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.80/7.47 c 21:56:02.816 [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.80/7.47 c 21:56:02.818 [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.80/7.47 c 21:56:02.818 [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.80/7.47 c 21:56:02.819 [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.80/7.47 c 21:56:02.819 [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.80/7.47 c 21:56:02.820 [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.80/7.47 c 21:56:02.821 [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.80/7.47 c 21:56:02.821 [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.80/7.47 c 21:56:02.821 [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.80/7.47 c 21:56:02.822 [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.80/7.47 c 21:56:02.823 [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.80/7.47 c 21:56:02.823 [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.80/7.47 c 21:56:02.823 [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.80/7.48 c 21:56:02.824 [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.80/7.48 c 21:56:02.825 [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.80/7.48 c 21:56:02.825 [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.80/7.48 c 21:56:02.826 [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.80/7.48 c 21:56:02.826 [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.80/7.48 c 21:56:02.827 [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.80/7.48 c 21:56:02.827 [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.80/7.48 c 21:56:02.828 [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.80/7.48 c 21:56:02.828 [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.80/7.48 c 21:56:02.828 [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.80/7.48 c 21:56:02.829 [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.80/7.48 c 21:56:02.829 [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.80/7.48 c 21:56:02.830 [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.80/7.48 c 21:56:02.830 [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.80/7.48 c 21:56:02.830 [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.80/7.48 c 21:56:02.832 [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.80/7.48 c 21:56:02.832 [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.80/7.48 c 21:56:02.833 [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.80/7.48 c 21:56:02.834 [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.80/7.49 c 21:56:02.834 [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.80/7.49 c 21:56:02.835 [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.80/7.49 c 21:56:02.835 [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.80/7.49 c 21:56:02.836 [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.80/7.49 c 21:56:02.837 [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.80/7.49 c 21:56:02.837 [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.80/7.49 c 21:56:02.838 [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.80/7.49 c 21:56:02.838 [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.80/7.49 c 21:56:02.839 [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.80/7.49 c 21:56:02.840 [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.80/7.49 c 21:56:02.840 [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.80/7.49 c 21:56:02.841 [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.80/7.49 c 21:56:02.842 [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.80/7.49 c 21:56:02.843 [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.80/7.49 c 21:56:02.843 [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.80/7.50 c 21:56:02.844 [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.80/7.50 c 21:56:02.845 [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
20.13/7.50 c 21:56:02.845 [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
20.13/7.50 c 21:56:02.846 [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
20.13/7.50 c 21:56:02.847 [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
20.13/7.50 c 21:56:02.848 [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
20.13/7.50 c 21:56:02.848 [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
20.13/7.50 c 21:56:02.850 [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
20.13/7.50 c 21:56:02.851 [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
20.13/7.50 c 21:56:02.852 [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
20.13/7.51 c 21:56:02.852 [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
20.13/7.51 c 21:56:02.853 [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
20.13/7.51 c 21:56:02.854 [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
20.13/7.51 c 21:56:02.854 [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
20.13/7.51 c 21:56:02.855 [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
20.13/7.51 c 21:56:02.856 [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
20.13/7.51 c 21:56:02.856 [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
20.13/7.51 c 21:56:02.857 [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
20.13/7.51 c 21:56:02.858 [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
20.13/7.51 c 21:56:02.859 [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
20.13/7.51 c 21:56:02.859 [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
20.13/7.51 c 21:56:02.861 [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
20.13/7.51 c 21:56:02.861 [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
20.13/7.51 c 21:56:02.862 [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
20.13/7.51 c 21:56:02.862 [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
20.13/7.51 c 21:56:02.862 [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
20.13/7.51 c 21:56:02.864 [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
20.13/7.51 c 21:56:02.864 [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
20.13/7.52 c 21:56:02.865 [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
20.13/7.52 c 21:56:02.865 [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
20.13/7.52 c 21:56:02.866 [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
20.13/7.52 c 21:56:02.867 [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
20.13/7.52 c 21:56:02.868 [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
20.13/7.52 c 21:56:02.869 [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
20.13/7.52 c 21:56:02.870 [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
20.13/7.52 c 21:56:02.871 [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
20.13/7.52 c 21:56:02.871 [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
20.13/7.53 c 21:56:02.879 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30672. 'extension(x[1][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.53 c 21:56:02.880 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30682. 'extension(x[5][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.53 c 21:56:02.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30692. 'extension(x[3][9]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.53 c 21:56:02.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30698. 'extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.53 c 21:56:02.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30704. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.53 c 21:56:02.882 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30706. 'extension(x[4][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.53 c 21:56:02.882 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30708. 'extension(x[6][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30722. 'extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30724. 'extension(x[7][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30726. 'extension(x[9][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.884 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30740. 'extension(x[8][20]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.884 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30746. 'extension(x[11][9]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.884 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30760. 'extension(x[10][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30762. 'extension(x[12][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30776. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30778. 'extension(x[11][6]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30784. 'extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30786. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30792. 'extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30794. 'extension(x[14][20]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30804. 'extension(x[13][9]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30806. 'extension(x[15][9]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30820. 'extension(x[14][3]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30830. 'extension(x[15][21]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30832. 'extension(x[17][21]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30846. 'extension(x[16][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30852. 'extension(x[19][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30866. 'extension(x[19][6]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30876. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30878. 'extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30880. 'extension(x[18][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30886. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30888. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30890. 'extension(x[19][11]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30896. 'extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30898. 'extension(x[21][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30916. 'extension(x[23][3]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30926. 'extension(x[23][11]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.54 c 21:56:02.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30936. 'extension(x[22][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30938. 'extension(x[24][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30952. 'extension(x[22][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30962. 'extension(x[24][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30964. 'extension(x[26][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30978. 'extension(wk[4][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30980. 'extension(x[27][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30990. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30992. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30998. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31004. 'extension(x[29][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31006. 'extension(x[31][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31020. 'extension(x[29][8]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31026. 'extension(x[30][0]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31032. 'extension(x[30][6]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31034. 'extension(x[32][6]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31052. 'extension(x[30][18]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31062. 'extension(x[31][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31064. 'extension(x[33][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31082. 'extension(x[31][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31084. 'extension(x[33][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31098. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31100. 'extension(wk[1][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31102. 'extension(x[32][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31104. 'extension(x[34][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31118. 'extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31120. 'extension(wk[17][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.55 c 21:56:02.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31122. 'extension(x[34][17]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31132. 'extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31134. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31136. 'extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31138. 'extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31140. 'extension(x[36][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31146. 'extension(x[38][8]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31156. 'extension(x[36][10]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31162. 'extension(x[39][0]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31172. 'extension(x[37][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31186. 'extension(x[37][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31192. 'extension(x[39][18]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31210. 'extension(x[38][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31216. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31218. 'extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31220. 'extension(x[41][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31230. 'extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31232. 'extension(wk[12][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31234. 'extension(x[41][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31244. 'extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31250. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31252. 'extension(x[42][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31262. 'extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31264. 'extension(x[42][10]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31274. 'extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31276. 'extension(x[42][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31286. 'extension(x[41][11]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31296. 'extension(x[47][11]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31306. 'extension(x[45][21]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31312. 'extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.56 c 21:56:02.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31318. 'extension(wk[20][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31320. 'extension(x[47][20]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31326. 'extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31328. 'extension(x[48][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31334. 'extension(x[48][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31352. 'extension(x[51][20]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31362. 'extension(x[52][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31372. 'extension(x[51][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31378. 'extension(x[51][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31384. 'extension(x[51][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31390. 'extension(x[53][21]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31408. 'extension(x[52][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31418. 'extension(wk[12][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31420. 'extension(x[55][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31430. 'extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31432. 'extension(wk[14][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31434. 'extension(x[55][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31444. 'extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31450. 'extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31452. 'extension(wk[2][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31454. 'extension(x[54][2]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31460. 'extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31462. 'extension(x[56][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31472. 'extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31474. 'extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31476. 'extension(x[56][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31486. 'extension(x[55][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31488. 'extension(x[57][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31506. 'extension(x[56][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31512. 'extension(x[58][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.57 c 21:56:02.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31526. 'extension(x[60][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31536. 'extension(x[59][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31538. 'extension(x[61][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31552. 'extension(wk[1][8]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31554. 'extension(x[60][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31556. 'extension(x[62][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31570. 'extension(wk[2][8]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31572. 'extension(x[62][2]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31582. 'extension(x[62][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31584. 'extension(x[64][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31598. 'extension(x[65][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31600. 'extension(x[67][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31614. 'extension(x[66][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31620. 'extension(wk[4][9]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31622. 'extension(x[69][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31636. 'extension(wk[13][9]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31638. 'extension(x[68][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31648. 'extension(x[69][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31654. 'extension(x[72][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31668. 'extension(x[74][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31678. 'extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31680. 'extension(x[74][10]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31686. 'extension(wk[2][10]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31688. 'extension(x[75][2]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31690. 'extension(x[77][2]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31704. 'extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31710. 'extension(x[78][10]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31720. 'extension(x[77][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.58 c 21:56:02.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31722. 'extension(x[79][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.59 c 21:56:02.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31736. 'extension(x[77][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.59 c 21:56:02.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31742. 'extension(x[80][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.59 c 21:56:02.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31756. 'extension(x[80][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.13/7.59 c 21:56:02.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31758. 'extension(x[82][5]=[0‥3]) :: init: true :: relation: Empty MDD
252.03/225.91 Exception in thread "main" java.util.concurrent.TimeoutException
252.03/225.91 at concrete.MAC.mac(MAC.scala:188)
252.03/225.91 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.03/225.91 at scala.util.Try$.apply(Try.scala:209)
252.03/225.91 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.03/225.91 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.03/225.91 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.03/225.91 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.03/225.91 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.03/225.91 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.03/225.91 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.03/225.91 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.03/225.91 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.03/225.91 at concrete.MAC.oneRun(MAC.scala:253)
252.03/225.91 at concrete.MAC.nextSolution(MAC.scala:272)
252.03/225.91 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.03/225.91 at concrete.ProblemState.map(ProblemState.scala:221)
252.03/225.91 at concrete.ProblemState.map(ProblemState.scala:204)
252.03/225.91 at concrete.MAC.nextSolution(MAC.scala:334)
252.03/225.91 at concrete.Solver.hasNext(Solver.scala:166)
252.03/225.91 at scala.collection.Iterator.foreach(Iterator.scala:944)
252.03/225.91 at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.03/225.91 at concrete.Solver.foreach(Solver.scala:68)
252.03/225.91 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.03/225.91 at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.03/225.91 at scala.util.Success.map(Try.scala:209)
252.03/225.91 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.03/225.91 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.03/225.91 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.03/225.91 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.03/225.91 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.03/225.91 at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.03/225.91 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.03/225.91 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.03/225.91 at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.03/225.91 at scala.collection.immutable.List.foreach(List.scala:389)
252.03/225.91 at scala.App.main(App.scala:76)
252.03/225.91 at scala.App.main$(App.scala:74)
252.03/225.91 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.03/225.91 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.03/225.92 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 (10280 MiB free)
memory of node 1: 16384 MiB (15744 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302437-1532894154/watcher-4302437-1532894154 -o /tmp/evaluation-result-4302437-1532894154/solver-4302437-1532894154 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16079 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1594838086 HOME/instance-4302437-1532894154.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16106, runsolver pid=16102
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 2.00 1.99 1.94 3/212 16184
/proc/meminfo: memFree=26621612/32770624 swapFree=67028824/67108860
[pid=16106] ppid=16102 vsize=113256 memory=1608 CPUtime=0.01 cores=1,3,5,7
/proc/16106/stat : 16106 (bash) S 16102 16106 10029 0 -1 4202496 888 5662 1 0 0 0 0 1 20 0 1 0 106978649 115974144 402 33554432000 4194304 5098028 140733133383520 140733133377528 140222176275456 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 2 0 0 7196144 7232144 13307904 140733133391024 140733133391149 140733133391149 140733133393902 0
/proc/16106/statm: 28314 402 318 221 0 119 0
[pid=16164] ppid=16106 vsize=113256 memory=716 CPUtime=0 cores=1,3,5,7
/proc/16164/stat : 16164 (bash) S 16106 16106 10029 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 106978653 115974144 179 33554432000 4194304 5098028 140733133383520 140733133376200 140222176100988 0 65536 4096 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13307904 140733133391024 140733133391149 140733133391149 140733133393902 0
/proc/16164/statm: 28314 179 95 221 0 119 0
[pid=16166] ppid=16164 vsize=10659708 memory=28244 CPUtime=0.05 cores=1,3,5,7
/proc/16166/stat : 16166 (java) S 16164 16106 10029 0 -1 1077944320 4876 0 0 0 4 1 0 0 20 0 13 0 106978653 10915540992 7056 33554432000 4194304 4196468 140733294459456 140733294442000 140393128947447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13520896 140733294462248 140733294462262 140733294462262 140733294464975 0
/proc/16166/statm: 2664927 7061 2613 1 0 2627468 0
[pid=16166/tid=16175] ppid=16164 vsize=10659708 memory=-6877121556232578236 CPUtime=0 cores=1,3,5,7
/proc/16166/task/16175/stat : 16175 (java) R 16164 16106 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 2 0 106978655 10915540992 7167 33554432000 4194304 4196468 140733294459456 140392732101136 140393128957653 256 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140733294462248 140733294462262 140733294462262 140733294464975 0
[pid=16167] ppid=16164 vsize=113492 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/16167/stat : 16167 (awk) S 16164 16106 10029 0 -1 4202496 446 0 0 0 0 0 0 0 20 0 1 0 106978653 116215808 308 33554432000 4194304 4609284 140733519223568 140733519222744 140569369193472 0 0 4096 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 20385792 140733519226200 140733519226230 140733519226230 140733519228911 0
/proc/16167/statm: 28373 308 256 102 0 89 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10999712 KiB
Current children cumulated memory: 31800 KiB
[startup+0.210448 s]*
/proc/loadavg: 2.00 1.99 1.94 8/217 16241
/proc/meminfo: memFree=26599804/32770624 swapFree=67028824/67108860
[pid=16106] ppid=16102 vsize=10982696 memory=35024 CPUtime=0.2 cores=1,3,5,7
/proc/16106/stat : 16106 (java) S 16102 16106 10029 0 -1 1077944320 6518 13219 1 0 12 1 4 3 20 0 15 0 106978649 11246280704 8756 33554432000 4194304 4196468 140736347654816 140736347637360 140242880802551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 2 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
/proc/16106/statm: 2745674 8756 2943 1 0 2708109 0
[pid=16106/tid=16215] ppid=16102 vsize=10982696 memory=7022364594140610616 CPUtime=0.15 cores=1,3,5,7
/proc/16106/task/16215/stat : 16215 (java) R 16102 16106 10029 0 -1 4202560 3076 13219 0 0 7 1 4 3 20 0 15 0 106978661 11246280704 8756 33554432000 4194304 4196468 140736347654816 140242852624728 140242880826429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16220] ppid=16102 vsize=10982724 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16220/stat : 16220 (java) S 16102 16106 10029 0 -1 1077944384 1 13219 0 0 0 0 4 3 20 0 15 0 106978662 11246309376 8821 33554432000 4194304 4196468 140736347654816 140242885045136 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16221] ppid=16102 vsize=10982724 memory=3474728365685298848 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16221/stat : 16221 (java) S 16102 16106 10029 0 -1 1077944384 1 13219 0 0 0 0 4 3 20 0 15 0 106978662 11246309376 8821 33554432000 4194304 4196468 140736347654816 140242766310160 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16222] ppid=16102 vsize=10982724 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16222/stat : 16222 (java) S 16102 16106 10029 0 -1 1077944384 1 13219 0 0 0 0 4 3 20 0 15 0 106978662 11246309376 8821 33554432000 4194304 4196468 140736347654816 140242765257872 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16223] ppid=16102 vsize=10982724 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16223/stat : 16223 (java) S 16102 16106 10029 0 -1 1077944384 2 13219 0 0 0 0 4 3 20 0 15 0 106978662 11246309376 8821 33554432000 4194304 4196468 140736347654816 140242764205072 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16226] ppid=16102 vsize=10982724 memory=140551573821056 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16226/stat : 16226 (java) S 16102 16106 10029 0 -1 1077944384 2 13219 0 0 0 0 4 3 20 0 15 0 106978663 11246309376 8821 33554432000 4194304 4196468 140736347654816 140242373908592 140242880813698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16228] ppid=16102 vsize=10982724 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16228/stat : 16228 (java) S 16102 16106 10029 0 -1 1077944384 13 13219 0 0 0 0 4 3 20 0 15 0 106978664 11246309376 8821 33554432000 4194304 4196468 140736347654816 140241688060704 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16229] ppid=16102 vsize=10982724 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16229/stat : 16229 (java) S 16102 16106 10029 0 -1 1077944384 21 13219 0 0 0 0 4 3 20 0 15 0 106978664 11246309376 8821 33554432000 4194304 4196468 140736347654816 140241620948080 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16236] ppid=16102 vsize=10982728 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16236/stat : 16236 (java) S 16102 16106 10029 0 -1 1077944384 3 13219 0 0 0 0 4 3 20 0 15 0 106978666 11246313472 8821 33554432000 4194304 4196468 140736347654816 140241313552464 140242880821147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16237] ppid=16102 vsize=10982728 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16106/task/16237/stat : 16237 (java) S 16102 16106 10029 0 -1 1077944384 416 13219 0 0 1 0 4 3 20 0 15 0 106978666 11246313472 8821 33554432000 4194304 4196468 140736347654816 140242372856432 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16238] ppid=16102 vsize=10982728 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16106/task/16238/stat : 16238 (java) S 16102 16106 10029 0 -1 1077944384 188 13219 0 0 1 0 4 3 20 0 15 0 106978666 11246313472 8821 33554432000 4194304 4196468 140736347654816 140242371803632 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16239] ppid=16102 vsize=10982728 memory=140551573821056 CPUtime=0.09 cores=1,3,5,7
/proc/16106/task/16239/stat : 16239 (java) S 16102 16106 10029 0 -1 1077944384 607 13219 0 0 2 0 4 3 20 0 15 0 106978666 11246313472 8821 33554432000 4194304 4196468 140736347654816 140242370751344 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16240] ppid=16102 vsize=10982728 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16240/stat : 16240 (java) S 16102 16106 10029 0 -1 1077944384 3 13219 0 0 0 0 4 3 20 0 15 0 106978667 11246313472 8821 33554432000 4194304 4196468 140736347654816 140240882756576 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16241] ppid=16102 vsize=10982728 memory=140551573821056 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16241/stat : 16241 (java) S 16102 16106 10029 0 -1 1077944384 1 13219 0 0 0 0 4 3 20 0 15 0 106978667 11246313472 8821 33554432000 4194304 4196468 140736347654816 140242369698224 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 35024 KiB
[startup+0.310603 s]*
/proc/loadavg: 2.00 1.99 1.94 4/217 16241
/proc/meminfo: memFree=26571584/32770624 swapFree=67028824/67108860
[pid=16106] ppid=16102 vsize=10983192 memory=48832 CPUtime=0.34 cores=1,3,5,7
/proc/16106/stat : 16106 (java) S 16102 16106 10029 0 -1 1077944320 9673 13219 1 0 25 2 4 3 20 0 15 0 106978649 11246788608 12208 33554432000 4194304 4196468 140736347654816 140736347637360 140242880802551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 2 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
/proc/16106/statm: 2745798 12208 3069 1 0 2708109 0
[pid=16106/tid=16215] ppid=16102 vsize=10983192 memory=6791534058613427641 CPUtime=0.24 cores=1,3,5,7
/proc/16106/task/16215/stat : 16215 (java) R 16102 16106 10029 0 -1 4202560 6200 13219 0 0 16 1 4 3 20 0 15 0 106978661 11246788608 12208 33554432000 4194304 4196468 140736347654816 140242852589696 140242880824477 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16220] ppid=16102 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16220/stat : 16220 (java) S 16102 16106 10029 0 -1 1077944384 1 13219 0 0 0 0 4 3 20 0 15 0 106978662 11246788608 12208 33554432000 4194304 4196468 140736347654816 140242885045136 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16221] ppid=16102 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16221/stat : 16221 (java) S 16102 16106 10029 0 -1 1077944384 1 13219 0 0 0 0 4 3 20 0 15 0 106978662 11246788608 12208 33554432000 4194304 4196468 140736347654816 140242766310160 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16222] ppid=16102 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16222/stat : 16222 (java) S 16102 16106 10029 0 -1 1077944384 1 13219 0 0 0 0 4 3 20 0 15 0 106978662 11246788608 12208 33554432000 4194304 4196468 140736347654816 140242765257872 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16223] ppid=16102 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16223/stat : 16223 (java) S 16102 16106 10029 0 -1 1077944384 2 13219 0 0 0 0 4 3 20 0 15 0 106978662 11246788608 12208 33554432000 4194304 4196468 140736347654816 140242764205072 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16226] ppid=16102 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16226/stat : 16226 (java) S 16102 16106 10029 0 -1 1077944384 2 13219 0 0 0 0 4 3 20 0 15 0 106978663 11246788608 12208 33554432000 4194304 4196468 140736347654816 140242373908592 140242880813698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16228] ppid=16102 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16228/stat : 16228 (java) S 16102 16106 10029 0 -1 1077944384 13 13219 0 0 0 0 4 3 20 0 15 0 106978664 11246788608 12208 33554432000 4194304 4196468 140736347654816 140241688060704 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16229] ppid=16102 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16229/stat : 16229 (java) S 16102 16106 10029 0 -1 1077944384 21 13219 0 0 0 0 4 3 20 0 15 0 106978664 11246788608 12208 33554432000 4194304 4196468 140736347654816 140241620948080 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16236] ppid=16102 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16236/stat : 16236 (java) S 16102 16106 10029 0 -1 1077944384 3 13219 0 0 0 0 4 3 20 0 15 0 106978666 11246788608 12208 33554432000 4194304 4196468 140736347654816 140241313552464 140242880821147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16237] ppid=16102 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16106/task/16237/stat : 16237 (java) S 16102 16106 10029 0 -1 1077944384 416 13219 0 0 1 0 4 3 20 0 15 0 106978666 11246788608 12208 33554432000 4194304 4196468 140736347654816 140242372856432 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16238] ppid=16102 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16106/task/16238/stat : 16238 (java) R 16102 16106 10029 0 -1 1077944384 189 13219 0 0 1 0 4 3 20 0 15 0 106978666 11246788608 12208 33554432000 4194304 4196468 140736347654816 140242371803632 140242880813698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16239] ppid=16102 vsize=10983192 memory=140551573821056 CPUtime=0.11 cores=1,3,5,7
/proc/16106/task/16239/stat : 16239 (java) R 16102 16106 10029 0 -1 4202560 631 13219 0 0 4 0 4 3 20 0 15 0 106978666 11246788608 12208 33554432000 4194304 4196468 140736347654816 140242370751344 140242862026864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16240] ppid=16102 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16240/stat : 16240 (java) S 16102 16106 10029 0 -1 1077944384 3 13219 0 0 0 0 4 3 20 0 15 0 106978667 11246788608 12208 33554432000 4194304 4196468 140736347654816 140240882756576 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16241] ppid=16102 vsize=10983192 memory=140551573821056 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16241/stat : 16241 (java) S 16102 16106 10029 0 -1 1077944384 1 13219 0 0 0 0 4 3 20 0 15 0 106978667 11246788608 12208 33554432000 4194304 4196468 140736347654816 140242369698224 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 48832 KiB
[startup+0.700729 s]
/proc/loadavg: 2.00 1.99 1.94 3/217 16241
/proc/meminfo: memFree=26544416/32770624 swapFree=67028824/67108860
[pid=16106] ppid=16102 vsize=10983192 memory=85972 CPUtime=0.95 cores=1,3,5,7
/proc/16106/stat : 16106 (java) S 16102 16106 10029 0 -1 1077944320 16700 13219 1 0 83 5 4 3 20 0 15 0 106978649 11246788608 21493 33554432000 4194304 4196468 140736347654816 140736347637360 140242880802551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 2 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
/proc/16106/statm: 2745798 21493 3237 1 0 2708109 0
[pid=16106/tid=16215] ppid=16102 vsize=10983192 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/16106/task/16215/stat : 16215 (java) R 16102 16106 10029 0 -1 4202560 12123 13219 0 0 52 3 4 3 20 0 15 0 106978661 11246788608 21493 33554432000 4194304 4196468 140736347654816 140242852630432 140242861077724 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16220] ppid=16102 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16220/stat : 16220 (java) S 16102 16106 10029 0 -1 1077944384 1 13219 0 0 0 0 4 3 20 0 15 0 106978662 11246788608 21493 33554432000 4194304 4196468 140736347654816 140242885045136 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16221] ppid=16102 vsize=10983192 memory=2485443888897 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16221/stat : 16221 (java) S 16102 16106 10029 0 -1 1077944384 1 13219 0 0 0 0 4 3 20 0 15 0 106978662 11246788608 21493 33554432000 4194304 4196468 140736347654816 140242766310160 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16222] ppid=16102 vsize=10983192 memory=206042846 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16222/stat : 16222 (java) S 16102 16106 10029 0 -1 1077944384 1 13219 0 0 0 0 4 3 20 0 15 0 106978662 11246788608 21493 33554432000 4194304 4196468 140736347654816 140242765257872 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16223] ppid=16102 vsize=10983192 memory=6811895185499135200 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16223/stat : 16223 (java) S 16102 16106 10029 0 -1 1077944384 2 13219 0 0 0 0 4 3 20 0 15 0 106978662 11246788608 21493 33554432000 4194304 4196468 140736347654816 140242764205072 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16226] ppid=16102 vsize=10983192 memory=8027200604305178734 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16226/stat : 16226 (java) S 16102 16106 10029 0 -1 1077944384 5 13219 0 0 0 0 4 3 20 0 15 0 106978663 11246788608 21493 33554432000 4194304 4196468 140736347654816 140242373908592 140242880813698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16228] ppid=16102 vsize=10983192 memory=6083073847998109799 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16228/stat : 16228 (java) S 16102 16106 10029 0 -1 1077944384 13 13219 0 0 0 0 4 3 20 0 15 0 106978664 11246788608 21493 33554432000 4194304 4196468 140736347654816 140241688060704 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16229] ppid=16102 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16229/stat : 16229 (java) S 16102 16106 10029 0 -1 1077944384 21 13219 0 0 0 0 4 3 20 0 15 0 106978664 11246788608 21493 33554432000 4194304 4196468 140736347654816 140241620948080 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16236] ppid=16102 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16236/stat : 16236 (java) S 16102 16106 10029 0 -1 1077944384 3 13219 0 0 0 0 4 3 20 0 15 0 106978666 11246788608 21493 33554432000 4194304 4196468 140736347654816 140241313552464 140242880821147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16237] ppid=16102 vsize=10983192 memory=13828 CPUtime=0.16 cores=1,3,5,7
/proc/16106/task/16237/stat : 16237 (java) S 16102 16106 10029 0 -1 1077944384 1034 13219 0 0 9 0 4 3 20 0 15 0 106978666 11246788608 21493 33554432000 4194304 4196468 140736347654816 140242372856432 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16238] ppid=16102 vsize=10983192 memory=15128 CPUtime=0.14 cores=1,3,5,7
/proc/16106/task/16238/stat : 16238 (java) S 16102 16106 10029 0 -1 1077944384 589 13219 0 0 7 0 4 3 20 0 15 0 106978666 11246788608 21493 33554432000 4194304 4196468 140736347654816 140242371803632 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16239] ppid=16102 vsize=10983192 memory=640 CPUtime=0.2 cores=1,3,5,7
/proc/16106/task/16239/stat : 16239 (java) S 16102 16106 10029 0 -1 1077944384 711 13219 0 0 13 0 4 3 20 0 15 0 106978666 11246788608 21493 33554432000 4194304 4196468 140736347654816 140242370751344 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16240] ppid=16102 vsize=10983192 memory=1760 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16240/stat : 16240 (java) S 16102 16106 10029 0 -1 1077944384 3 13219 0 0 0 0 4 3 20 0 15 0 106978667 11246788608 21493 33554432000 4194304 4196468 140736347654816 140240882756576 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16241] ppid=16102 vsize=10983192 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16241/stat : 16241 (java) S 16102 16106 10029 0 -1 1077944384 1 13219 0 0 0 0 4 3 20 0 15 0 106978667 11246788608 21493 33554432000 4194304 4196468 140736347654816 140242369698224 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 85972 KiB
[startup+1.50076 s]
/proc/loadavg: 2.00 1.99 1.94 1/217 16241
/proc/meminfo: memFree=26470332/32770624 swapFree=67028824/67108860
[pid=16106] ppid=16102 vsize=10991948 memory=155388 CPUtime=2.73 cores=1,3,5,7
/proc/16106/stat : 16106 (java) S 16102 16106 10029 0 -1 1077944320 23073 13219 1 0 257 9 4 3 20 0 15 0 106978649 11255754752 38847 33554432000 4194304 4196468 140736347654816 140736347637360 140242880802551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 2 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
/proc/16106/statm: 2747987 38847 3450 1 0 2709645 0
[pid=16106/tid=16215] ppid=16102 vsize=10991948 memory=6791534058613427641 CPUtime=1.31 cores=1,3,5,7
/proc/16106/task/16215/stat : 16215 (java) R 16102 16106 10029 0 -1 4202560 15176 13219 0 0 118 6 4 3 20 0 15 0 106978661 11255754752 38847 33554432000 4194304 4196468 140736347654816 140242852636000 140242445750423 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16220] ppid=16102 vsize=10991948 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16220/stat : 16220 (java) S 16102 16106 10029 0 -1 1077944384 1 13219 0 0 0 0 4 3 20 0 15 0 106978662 11255754752 38847 33554432000 4194304 4196468 140736347654816 140242885045136 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16221] ppid=16102 vsize=10991948 memory=-7395679465411340381 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16221/stat : 16221 (java) S 16102 16106 10029 0 -1 1077944384 1 13219 0 0 0 0 4 3 20 0 15 0 106978662 11255754752 38847 33554432000 4194304 4196468 140736347654816 140242766310160 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16222] ppid=16102 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16222/stat : 16222 (java) S 16102 16106 10029 0 -1 1077944384 1 13219 0 0 0 0 4 3 20 0 15 0 106978662 11255754752 38847 33554432000 4194304 4196468 140736347654816 140242765257872 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16223] ppid=16102 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16223/stat : 16223 (java) S 16102 16106 10029 0 -1 1077944384 2 13219 0 0 0 0 4 3 20 0 15 0 106978662 11255754752 38847 33554432000 4194304 4196468 140736347654816 140242764205072 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16226] ppid=16102 vsize=10991948 memory=1399717448514900851 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16226/stat : 16226 (java) S 16102 16106 10029 0 -1 1077944384 13 13219 0 0 0 0 4 3 20 0 15 0 106978663 11255754752 38847 33554432000 4194304 4196468 140736347654816 140242373908592 140242880813698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16228] ppid=16102 vsize=10991948 memory=6944656591801720226 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16228/stat : 16228 (java) S 16102 16106 10029 0 -1 1077944384 13 13219 0 0 0 0 4 3 20 0 15 0 106978664 11255754752 38847 33554432000 4194304 4196468 140736347654816 140241688060704 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16229] ppid=16102 vsize=10991948 memory=7680491646476186426 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16229/stat : 16229 (java) S 16102 16106 10029 0 -1 1077944384 21 13219 0 0 0 0 4 3 20 0 15 0 106978664 11255754752 38847 33554432000 4194304 4196468 140736347654816 140241620948080 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16236] ppid=16102 vsize=10991948 memory=1414298054980309879 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16236/stat : 16236 (java) S 16102 16106 10029 0 -1 1077944384 3 13219 0 0 0 0 4 3 20 0 15 0 106978666 11255754752 38847 33554432000 4194304 4196468 140736347654816 140241313552464 140242880821147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16237] ppid=16102 vsize=10991948 memory=-7606742951091920751 CPUtime=0.54 cores=1,3,5,7
/proc/16106/task/16237/stat : 16237 (java) R 16102 16106 10029 0 -1 4202560 1793 13219 0 0 47 0 4 3 20 0 15 0 106978666 11255754752 38847 33554432000 4194304 4196468 140736347654816 140242372843216 140242865091552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16238] ppid=16102 vsize=10991948 memory=-7595754389018307680 CPUtime=0.5 cores=1,3,5,7
/proc/16106/task/16238/stat : 16238 (java) R 16102 16106 10029 0 -1 4202560 1893 13219 0 0 43 0 4 3 20 0 15 0 106978666 11255754752 38847 33554432000 4194304 4196468 140736347654816 140242371790656 140242865709238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16239] ppid=16102 vsize=10991948 memory=1414355460705390947 CPUtime=0.55 cores=1,3,5,7
/proc/16106/task/16239/stat : 16239 (java) S 16102 16106 10029 0 -1 1077944384 1960 13219 0 0 47 1 4 3 20 0 15 0 106978666 11255754752 38847 33554432000 4194304 4196468 140736347654816 140242370751344 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16240] ppid=16102 vsize=10991948 memory=7812460459971859555 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16240/stat : 16240 (java) S 16102 16106 10029 0 -1 1077944384 3 13219 0 0 0 0 4 3 20 0 15 0 106978667 11255754752 38847 33554432000 4194304 4196468 140736347654816 140240882756576 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16241] ppid=16102 vsize=10991948 memory=7956005031678667109 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16241/stat : 16241 (java) S 16102 16106 10029 0 -1 1077944384 1 13219 0 0 0 0 4 3 20 0 15 0 106978667 11255754752 38847 33554432000 4194304 4196468 140736347654816 140242369698224 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
Current children cumulated CPU time: 2.73 s
################
# More data... #
################
/proc/16106/task/16215/stat : 16215 (java) R 16102 16106 10029 0 -1 4202560 56342 13219 0 0 16110 27 4 3 20 0 15 0 106978661 11348049920 321342 33554432000 4194304 4196468 140736347654816 140242852633216 140242443119835 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16220] ppid=16102 vsize=11082080 memory=1289472 CPUtime=0.44 cores=1,3,5,7
/proc/16106/task/16220/stat : 16220 (java) S 16102 16106 10029 0 -1 1077944384 2253 13219 0 0 33 4 4 3 20 0 15 0 106978662 11348049920 321342 33554432000 4194304 4196468 140736347654816 140242885045136 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16221] ppid=16102 vsize=11082080 memory=1285880 CPUtime=0.48 cores=1,3,5,7
/proc/16106/task/16221/stat : 16221 (java) S 16102 16106 10029 0 -1 1077944384 3313 13219 0 0 37 4 4 3 20 0 15 0 106978662 11348049920 321342 33554432000 4194304 4196468 140736347654816 140242766310160 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16222] ppid=16102 vsize=11082080 memory=1287420 CPUtime=0.43 cores=1,3,5,7
/proc/16106/task/16222/stat : 16222 (java) S 16102 16106 10029 0 -1 1077944384 1941 13219 0 0 33 3 4 3 20 0 15 0 106978662 11348049920 321342 33554432000 4194304 4196468 140736347654816 140242765257872 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16223] ppid=16102 vsize=11082080 memory=1285368 CPUtime=0.45 cores=1,3,5,7
/proc/16106/task/16223/stat : 16223 (java) S 16102 16106 10029 0 -1 1077944384 2036 13219 0 0 35 3 4 3 20 0 15 0 106978662 11348049920 321342 33554432000 4194304 4196468 140736347654816 140242764205072 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16226] ppid=16102 vsize=11082080 memory=1612 CPUtime=0.24 cores=1,3,5,7
/proc/16106/task/16226/stat : 16226 (java) S 16102 16106 10029 0 -1 1077944384 4778 13219 0 0 15 2 4 3 20 0 15 0 106978663 11348049920 321342 33554432000 4194304 4196468 140736347654816 140242373908592 140242880813698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16228] ppid=16102 vsize=11082080 memory=6768 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16228/stat : 16228 (java) S 16102 16106 10029 0 -1 1077944384 17 13219 0 0 0 0 4 3 20 0 15 0 106978664 11348049920 321342 33554432000 4194304 4196468 140736347654816 140241688060768 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16229] ppid=16102 vsize=11082080 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16229/stat : 16229 (java) S 16102 16106 10029 0 -1 1077944384 54 13219 0 0 0 0 4 3 20 0 15 0 106978664 11348049920 321342 33554432000 4194304 4196468 140736347654816 140241620948096 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16236] ppid=16102 vsize=11082080 memory=27160 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16236/stat : 16236 (java) S 16102 16106 10029 0 -1 1077944384 3 13219 0 0 0 0 4 3 20 0 15 0 106978666 11348049920 321342 33554432000 4194304 4196468 140736347654816 140241313552464 140242880821147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16237] ppid=16102 vsize=11082080 memory=776 CPUtime=10.08 cores=1,3,5,7
/proc/16106/task/16237/stat : 16237 (java) S 16102 16106 10029 0 -1 1077944384 23441 13219 0 0 998 3 4 3 20 0 15 0 106978666 11348049920 321342 33554432000 4194304 4196468 140736347654816 140242372856432 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16238] ppid=16102 vsize=11082080 memory=1286908 CPUtime=9.72 cores=1,3,5,7
/proc/16106/task/16238/stat : 16238 (java) S 16102 16106 10029 0 -1 1077944384 21667 13219 0 0 961 4 4 3 20 0 15 0 106978666 11348049920 321342 33554432000 4194304 4196468 140736347654816 140242371803632 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16239] ppid=16102 vsize=11082080 memory=15316 CPUtime=3.64 cores=1,3,5,7
/proc/16106/task/16239/stat : 16239 (java) S 16102 16106 10029 0 -1 1077944384 21324 13219 0 0 348 9 4 3 20 0 15 0 106978666 11348049920 321342 33554432000 4194304 4196468 140736347654816 140242370751344 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16240] ppid=16102 vsize=11082080 memory=1289472 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16240/stat : 16240 (java) S 16102 16106 10029 0 -1 1077944384 3 13219 0 0 0 0 4 3 20 0 15 0 106978667 11348049920 321342 33554432000 4194304 4196468 140736347654816 140240882756576 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16241] ppid=16102 vsize=11082080 memory=3544 CPUtime=0.14 cores=1,3,5,7
/proc/16106/task/16241/stat : 16241 (java) S 16102 16106 10029 0 -1 1077944384 200 13219 0 0 3 4 4 3 20 0 15 0 106978667 11348049920 321342 33554432000 4194304 4196468 140736347654816 140242369698224 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
Current children cumulated CPU time: 186.53 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1285368 KiB
[startup+222.301 s]
/proc/loadavg: 1.19 1.67 1.84 3/217 16245
/proc/meminfo: memFree=24215368/32770624 swapFree=67028824/67108860
[pid=16106] ppid=16102 vsize=11082080 memory=1281264 CPUtime=248.32 cores=1,3,5,7
/proc/16106/stat : 16106 (java) S 16102 16106 10029 0 -1 1077944320 155554 13219 1 0 24752 73 4 3 20 0 15 0 106978649 11348049920 320316 33554432000 4194304 4196468 140736347654816 140736347637360 140242880802551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 2 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
/proc/16106/statm: 2770520 320316 3535 1 0 2732173 0
[pid=16106/tid=16215] ppid=16102 vsize=11082080 memory=1282804 CPUtime=220.97 cores=1,3,5,7
/proc/16106/task/16215/stat : 16215 (java) R 16102 16106 10029 0 -1 4202560 57820 13219 0 0 22062 28 4 3 20 0 15 0 106978661 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242852636240 140242468605219 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16220] ppid=16102 vsize=11082080 memory=1281776 CPUtime=0.68 cores=1,3,5,7
/proc/16106/task/16220/stat : 16220 (java) S 16102 16106 10029 0 -1 1077944384 3422 13219 0 0 56 5 4 3 20 0 15 0 106978662 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242885045136 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16221] ppid=16102 vsize=11082080 memory=1281264 CPUtime=0.71 cores=1,3,5,7
/proc/16106/task/16221/stat : 16221 (java) S 16102 16106 10029 0 -1 1077944384 3555 13219 0 0 59 5 4 3 20 0 15 0 106978662 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242766310160 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16222] ppid=16102 vsize=11082080 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/16106/task/16222/stat : 16222 (java) S 16102 16106 10029 0 -1 1077944384 2082 13219 0 0 57 4 4 3 20 0 15 0 106978662 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242765257872 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16223] ppid=16102 vsize=11082080 memory=3544 CPUtime=0.69 cores=1,3,5,7
/proc/16106/task/16223/stat : 16223 (java) S 16102 16106 10029 0 -1 1077944384 3956 13219 0 0 58 4 4 3 20 0 15 0 106978662 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242764205072 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16226] ppid=16102 vsize=11082080 memory=3604 CPUtime=0.42 cores=1,3,5,7
/proc/16106/task/16226/stat : 16226 (java) S 16102 16106 10029 0 -1 1077944384 5140 13219 0 0 32 3 4 3 20 0 15 0 106978663 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242373908592 140242880813698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16228] ppid=16102 vsize=11082080 memory=1281264 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16228/stat : 16228 (java) S 16102 16106 10029 0 -1 1077944384 17 13219 0 0 0 0 4 3 20 0 15 0 106978664 11348049920 320316 33554432000 4194304 4196468 140736347654816 140241688060768 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16229] ppid=16102 vsize=11082080 memory=1281264 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16229/stat : 16229 (java) S 16102 16106 10029 0 -1 1077944384 54 13219 0 0 0 0 4 3 20 0 15 0 106978664 11348049920 320316 33554432000 4194304 4196468 140736347654816 140241620948096 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16236] ppid=16102 vsize=11082080 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16236/stat : 16236 (java) S 16102 16106 10029 0 -1 1077944384 3 13219 0 0 0 0 4 3 20 0 15 0 106978666 11348049920 320316 33554432000 4194304 4196468 140736347654816 140241313552464 140242880821147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16237] ppid=16102 vsize=11082080 memory=824 CPUtime=10.5 cores=1,3,5,7
/proc/16106/task/16237/stat : 16237 (java) S 16102 16106 10029 0 -1 1077944384 26425 13219 0 0 1040 3 4 3 20 0 15 0 106978666 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242372856432 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16238] ppid=16102 vsize=11082080 memory=3544 CPUtime=10.19 cores=1,3,5,7
/proc/16106/task/16238/stat : 16238 (java) S 16102 16106 10029 0 -1 1077944384 26180 13219 0 0 1007 5 4 3 20 0 15 0 106978666 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242371803632 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16239] ppid=16102 vsize=11082080 memory=27160 CPUtime=3.82 cores=1,3,5,7
/proc/16106/task/16239/stat : 16239 (java) S 16102 16106 10029 0 -1 1077944384 24467 13219 0 0 366 9 4 3 20 0 15 0 106978666 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242370751344 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16240] ppid=16102 vsize=11082080 memory=1281264 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16240/stat : 16240 (java) S 16102 16106 10029 0 -1 1077944384 3 13219 0 0 0 0 4 3 20 0 15 0 106978667 11348049920 320316 33554432000 4194304 4196468 140736347654816 140240882756576 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16241] ppid=16102 vsize=11082080 memory=1281264 CPUtime=0.18 cores=1,3,5,7
/proc/16106/task/16241/stat : 16241 (java) S 16102 16106 10029 0 -1 1077944384 238 13219 0 0 5 6 4 3 20 0 15 0 106978667 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242369698224 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
Current children cumulated CPU time: 248.32 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1281264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+225.901 s]
/proc/loadavg: 1.25 1.67 1.84 3/217 16245
/proc/meminfo: memFree=24215492/32770624 swapFree=67028824/67108860
[pid=16106] ppid=16102 vsize=11082080 memory=1281264 CPUtime=252.03 cores=1,3,5,7
/proc/16106/stat : 16106 (java) S 16102 16106 10029 0 -1 1077944320 155652 13219 1 0 25123 73 4 3 20 0 15 0 106978649 11348049920 320316 33554432000 4194304 4196468 140736347654816 140736347637360 140242880802551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 2 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
/proc/16106/statm: 2770520 320316 3535 1 0 2732173 0
[pid=16106/tid=16215] ppid=16102 vsize=11082080 memory=1281264 CPUtime=224.54 cores=1,3,5,7
/proc/16106/task/16215/stat : 16215 (java) R 16102 16106 10029 0 -1 4202560 57834 13219 0 0 22419 28 4 3 20 0 15 0 106978661 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242852636472 140242468592656 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16220] ppid=16102 vsize=11082080 memory=1281264 CPUtime=0.69 cores=1,3,5,7
/proc/16106/task/16220/stat : 16220 (java) S 16102 16106 10029 0 -1 1077944384 3424 13219 0 0 57 5 4 3 20 0 15 0 106978662 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242885045136 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16221] ppid=16102 vsize=11082080 memory=1281776 CPUtime=0.73 cores=1,3,5,7
/proc/16106/task/16221/stat : 16221 (java) S 16102 16106 10029 0 -1 1077944384 3559 13219 0 0 61 5 4 3 20 0 15 0 106978662 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242766310160 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16222] ppid=16102 vsize=11082080 memory=1281264 CPUtime=0.69 cores=1,3,5,7
/proc/16106/task/16222/stat : 16222 (java) S 16102 16106 10029 0 -1 1077944384 2088 13219 0 0 58 4 4 3 20 0 15 0 106978662 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242765257872 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16223] ppid=16102 vsize=11082080 memory=3544 CPUtime=0.71 cores=1,3,5,7
/proc/16106/task/16223/stat : 16223 (java) S 16102 16106 10029 0 -1 1077944384 3959 13219 0 0 60 4 4 3 20 0 15 0 106978662 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242764205072 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16226] ppid=16102 vsize=11082080 memory=1281264 CPUtime=0.43 cores=1,3,5,7
/proc/16106/task/16226/stat : 16226 (java) S 16102 16106 10029 0 -1 1077944384 5142 13219 0 0 33 3 4 3 20 0 15 0 106978663 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242373908592 140242880813698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16228] ppid=16102 vsize=11082080 memory=1281264 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16228/stat : 16228 (java) S 16102 16106 10029 0 -1 1077944384 17 13219 0 0 0 0 4 3 20 0 15 0 106978664 11348049920 320316 33554432000 4194304 4196468 140736347654816 140241688060768 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16229] ppid=16102 vsize=11082080 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16229/stat : 16229 (java) S 16102 16106 10029 0 -1 1077944384 54 13219 0 0 0 0 4 3 20 0 15 0 106978664 11348049920 320316 33554432000 4194304 4196468 140736347654816 140241620948096 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16236] ppid=16102 vsize=11082080 memory=3544 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16236/stat : 16236 (java) S 16102 16106 10029 0 -1 1077944384 3 13219 0 0 0 0 4 3 20 0 15 0 106978666 11348049920 320316 33554432000 4194304 4196468 140736347654816 140241313552464 140242880821147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16237] ppid=16102 vsize=11082080 memory=1281264 CPUtime=10.53 cores=1,3,5,7
/proc/16106/task/16237/stat : 16237 (java) S 16102 16106 10029 0 -1 1077944384 26465 13219 0 0 1043 3 4 3 20 0 15 0 106978666 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242372856432 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16238] ppid=16102 vsize=11082080 memory=1281264 CPUtime=10.22 cores=1,3,5,7
/proc/16106/task/16238/stat : 16238 (java) S 16102 16106 10029 0 -1 1077944384 26183 13219 0 0 1010 5 4 3 20 0 15 0 106978666 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242371803632 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16239] ppid=16102 vsize=11082080 memory=1281264 CPUtime=3.83 cores=1,3,5,7
/proc/16106/task/16239/stat : 16239 (java) S 16102 16106 10029 0 -1 1077944384 24491 13219 0 0 367 9 4 3 20 0 15 0 106978666 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242370751344 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16240] ppid=16102 vsize=11082080 memory=1281264 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16240/stat : 16240 (java) S 16102 16106 10029 0 -1 1077944384 3 13219 0 0 0 0 4 3 20 0 15 0 106978667 11348049920 320316 33554432000 4194304 4196468 140736347654816 140240882756576 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16241] ppid=16102 vsize=11082080 memory=3544 CPUtime=0.18 cores=1,3,5,7
/proc/16106/task/16241/stat : 16241 (java) S 16102 16106 10029 0 -1 1077944384 238 13219 0 0 5 6 4 3 20 0 15 0 106978667 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242369698224 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1281264 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+225.94 s]
# the end of solver process 16106 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.304 s, system=0.789947 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+225.901 s]
/proc/loadavg: 1.25 1.67 1.84 3/217 16245
/proc/meminfo: memFree=24215492/32770624 swapFree=67028824/67108860
[pid=16106] ppid=16102 vsize=11082080 memory=1281264 CPUtime=252.03 cores=1,3,5,7
/proc/16106/stat : 16106 (java) S 16102 16106 10029 0 -1 1077944320 155652 13219 1 0 25123 73 4 3 20 0 15 0 106978649 11348049920 320316 33554432000 4194304 4196468 140736347654816 140736347637360 140242880802551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 2 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
/proc/16106/statm: 2770520 320316 3535 1 0 2732173 0
[pid=16106/tid=16215] ppid=16102 vsize=11082080 memory=1281264 CPUtime=224.54 cores=1,3,5,7
/proc/16106/task/16215/stat : 16215 (java) R 16102 16106 10029 0 -1 4202560 57834 13219 0 0 22419 28 4 3 20 0 15 0 106978661 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242852636472 140242468592656 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16220] ppid=16102 vsize=11082080 memory=1281264 CPUtime=0.69 cores=1,3,5,7
/proc/16106/task/16220/stat : 16220 (java) S 16102 16106 10029 0 -1 1077944384 3424 13219 0 0 57 5 4 3 20 0 15 0 106978662 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242885045136 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16221] ppid=16102 vsize=11082080 memory=1281776 CPUtime=0.73 cores=1,3,5,7
/proc/16106/task/16221/stat : 16221 (java) S 16102 16106 10029 0 -1 1077944384 3559 13219 0 0 61 5 4 3 20 0 15 0 106978662 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242766310160 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16222] ppid=16102 vsize=11082080 memory=1281264 CPUtime=0.69 cores=1,3,5,7
/proc/16106/task/16222/stat : 16222 (java) S 16102 16106 10029 0 -1 1077944384 2088 13219 0 0 58 4 4 3 20 0 15 0 106978662 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242765257872 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16223] ppid=16102 vsize=11082080 memory=3544 CPUtime=0.71 cores=1,3,5,7
/proc/16106/task/16223/stat : 16223 (java) S 16102 16106 10029 0 -1 1077944384 3959 13219 0 0 60 4 4 3 20 0 15 0 106978662 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242764205072 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16226] ppid=16102 vsize=11082080 memory=1281264 CPUtime=0.43 cores=1,3,5,7
/proc/16106/task/16226/stat : 16226 (java) S 16102 16106 10029 0 -1 1077944384 5142 13219 0 0 33 3 4 3 20 0 15 0 106978663 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242373908592 140242880813698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16228] ppid=16102 vsize=11082080 memory=1281264 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16228/stat : 16228 (java) S 16102 16106 10029 0 -1 1077944384 17 13219 0 0 0 0 4 3 20 0 15 0 106978664 11348049920 320316 33554432000 4194304 4196468 140736347654816 140241688060768 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16229] ppid=16102 vsize=11082080 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16229/stat : 16229 (java) S 16102 16106 10029 0 -1 1077944384 54 13219 0 0 0 0 4 3 20 0 15 0 106978664 11348049920 320316 33554432000 4194304 4196468 140736347654816 140241620948096 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16236] ppid=16102 vsize=11082080 memory=3544 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16236/stat : 16236 (java) S 16102 16106 10029 0 -1 1077944384 3 13219 0 0 0 0 4 3 20 0 15 0 106978666 11348049920 320316 33554432000 4194304 4196468 140736347654816 140241313552464 140242880821147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16237] ppid=16102 vsize=11082080 memory=1281264 CPUtime=10.53 cores=1,3,5,7
/proc/16106/task/16237/stat : 16237 (java) S 16102 16106 10029 0 -1 1077944384 26465 13219 0 0 1043 3 4 3 20 0 15 0 106978666 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242372856432 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16238] ppid=16102 vsize=11082080 memory=1281264 CPUtime=10.22 cores=1,3,5,7
/proc/16106/task/16238/stat : 16238 (java) S 16102 16106 10029 0 -1 1077944384 26183 13219 0 0 1010 5 4 3 20 0 15 0 106978666 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242371803632 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16239] ppid=16102 vsize=11082080 memory=1281264 CPUtime=3.83 cores=1,3,5,7
/proc/16106/task/16239/stat : 16239 (java) S 16102 16106 10029 0 -1 1077944384 24491 13219 0 0 367 9 4 3 20 0 15 0 106978666 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242370751344 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16240] ppid=16102 vsize=11082080 memory=1281264 CPUtime=0.07 cores=1,3,5,7
/proc/16106/task/16240/stat : 16240 (java) S 16102 16106 10029 0 -1 1077944384 3 13219 0 0 0 0 4 3 20 0 15 0 106978667 11348049920 320316 33554432000 4194304 4196468 140736347654816 140240882756576 140242880812757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
[pid=16106/tid=16241] ppid=16102 vsize=11082080 memory=3544 CPUtime=0.18 cores=1,3,5,7
/proc/16106/task/16241/stat : 16241 (java) S 16102 16106 10029 0 -1 1077944384 238 13219 0 0 5 6 4 3 20 0 15 0 106978667 11348049920 320316 33554432000 4194304 4196468 140736347654816 140242369698224 140242880813698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140736347658865 140736347661665 140736347661665 140736347664335 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1281264 KiB
Child status: 143
Real time (s): 225.94
CPU time (s): 252.094
CPU user time (s): 251.304
CPU system time (s): 0.789947
CPU usage (%): 111.575
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1376208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.304
system time used= 0.789947
maximum resident set size= 1377216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169554
page faults= 1
swaps= 0
block input operations= 736
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22565
involuntary context switches= 474
# summary of solver processes directly reported to runsolver:
# pid: 16106
# total CPU time (s): 252.094
# total CPU user time (s): 251.304
# total CPU system time (s): 0.789947
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.34227 second user time and 2.23758 second system time
The end