0.98/0.74 c Concrete v3.9.2.1532736233296 running
19.59/7.20 c 21:56:38.677 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25340. 'extension(x[1][7]=[0‥3], 3) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.59/7.21 c 21:56:38.685 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25370. 'extension(3, 3) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.59/7.21 c 21:56:38.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25395. 'extension(3, x[5][7]=[0‥3]) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.59/7.21 c 21:56:38.687 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25398. 'extension(3, 3) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.59/7.21 c 21:56:38.689 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25424. 'extension(x[3][9]=[0‥3], 3) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.59/7.22 c 21:56:38.691 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25453. 'extension(3, wk[9][0]=[0‥1]) :: init: true :: relation: MDD 1191372709, 4 edges, 3 vertices, 3 tuples
19.59/7.22 c 21:56:38.692 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25457. 'extension(3, 3) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.59/7.22 c 21:56:38.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25484. 'extension(3, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 436126678, 4 edges, 3 vertices, 3 tuples
19.59/7.22 c 21:56:38.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25485. 'extension(x[4][14]=[0‥3], 3) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
19.59/7.22 c 21:56:38.694 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25486. 'extension(3, x[6][14]=[0‥3]) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
19.59/7.22 c 21:56:38.696 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25515. 'extension(3, wk[9][0]=[0‥1]) :: init: true :: relation: MDD 1941639991, 4 edges, 3 vertices, 3 tuples
19.59/7.22 c 21:56:38.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25519. 'extension(3, 3) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.59/7.22 c 21:56:38.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25549. 'extension(3, 3) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.59/7.22 c 21:56:38.698 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25579. 'extension(3, 3) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.59/7.22 c 21:56:38.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25606. 'extension(x[7][13]=[0‥3], 3) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
19.59/7.22 c 21:56:38.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25607. 'extension(3, x[9][13]=[0‥3]) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
19.59/7.23 c 21:56:38.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25639. 'extension(3, 3) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.59/7.23 c 21:56:38.703 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25666. 'extension(x[8][20]=[0‥3], 3) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
19.59/7.23 c 21:56:38.704 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25695. 'extension(3, x[11][9]=[0‥3]) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.59/7.23 c 21:56:38.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25698. 'extension(3, 3) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.59/7.23 c 21:56:38.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25728. 'extension(3, 3) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
19.59/7.23 c 21:56:38.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25754. 'extension(x[10][7]=[0‥3], 3) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.59/7.23 c 21:56:38.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25755. 'extension(3, x[12][7]=[0‥3]) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.59/7.24 c 21:56:38.710 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25787. 'extension(3, 3) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
19.59/7.24 c 21:56:38.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25813. 'extension(3, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 801412408, 4 edges, 3 vertices, 3 tuples
19.59/7.24 c 21:56:38.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25814. 'extension(x[11][6]=[0‥3], 3) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.59/7.24 c 21:56:38.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25844. 'extension(3, wk[20][1]=[0‥1]) :: init: true :: relation: MDD 1831423452, 4 edges, 3 vertices, 3 tuples
19.59/7.24 c 21:56:38.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25848. 'extension(3, 3) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
19.59/7.24 c 21:56:38.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25874. 'extension(3, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 224286556, 4 edges, 3 vertices, 3 tuples
19.59/7.24 c 21:56:38.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25878. 'extension(3, 3) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.59/7.24 c 21:56:38.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25905. 'extension(3, wk[20][1]=[0‥1]) :: init: true :: relation: MDD 1354510873, 4 edges, 3 vertices, 3 tuples
19.59/7.24 c 21:56:38.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25906. 'extension(3, x[14][20]=[0‥3]) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
19.59/7.24 c 21:56:38.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25909. 'extension(3, 3) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
19.59/7.24 c 21:56:38.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25938. 'extension(3, 3) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.59/7.24 c 21:56:38.718 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25965. 'extension(x[13][9]=[0‥3], 3) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.59/7.24 c 21:56:38.719 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25966. 'extension(3, x[15][9]=[0‥3]) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.59/7.25 c 21:56:38.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25995. 'extension(x[14][3]=[0‥3], 3) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.59/7.25 c 21:56:38.722 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26028. 'extension(3, 3) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.59/7.25 c 21:56:38.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26058. 'extension(3, 3) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.59/7.25 c 21:56:38.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26088. 'extension(3, 3) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.59/7.25 c 21:56:38.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26115. 'extension(x[15][21]=[0‥3], 3) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
19.59/7.25 c 21:56:38.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26116. 'extension(3, x[17][21]=[0‥3]) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
19.59/7.25 c 21:56:38.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26147. 'extension(3, 3) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.59/7.25 c 21:56:38.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26174. 'extension(x[16][5]=[0‥3], 3) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
19.59/7.25 c 21:56:38.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26207. 'extension(3, 3) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.59/7.25 c 21:56:38.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26237. 'extension(3, 3) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.59/7.26 c 21:56:38.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26264. 'extension(3, x[19][5]=[0‥3]) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
19.59/7.26 c 21:56:38.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26267. 'extension(3, 3) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
19.59/7.26 c 21:56:38.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26294. 'extension(3, x[19][6]=[0‥3]) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.59/7.26 c 21:56:38.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26297. 'extension(3, 3) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.59/7.26 c 21:56:38.734 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26324. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 1990720701, 4 edges, 3 vertices, 3 tuples
19.59/7.26 c 21:56:38.734 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26328. 'extension(3, 3) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.59/7.26 c 21:56:38.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26355. 'extension(3, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 2133325211, 4 edges, 3 vertices, 3 tuples
19.59/7.26 c 21:56:38.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26356. 'extension(x[18][12]=[0‥3], 3) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
19.59/7.26 c 21:56:38.737 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26386. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 2140635066, 4 edges, 3 vertices, 3 tuples
19.59/7.26 c 21:56:38.737 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26390. 'extension(3, 3) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.59/7.26 c 21:56:38.738 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26417. 'extension(3, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 417118375, 4 edges, 3 vertices, 3 tuples
19.59/7.26 c 21:56:38.738 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26418. 'extension(x[19][11]=[0‥3], 3) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
19.59/7.26 c 21:56:38.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26448. 'extension(3, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 1166021410, 4 edges, 3 vertices, 3 tuples
19.59/7.26 c 21:56:38.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26449. 'extension(3, x[21][12]=[0‥3]) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
19.59/7.26 c 21:56:38.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26452. 'extension(3, 3) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
19.59/7.27 c 21:56:38.741 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26482. 'extension(3, 3) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.59/7.27 c 21:56:38.742 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26512. 'extension(3, 3) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
19.59/7.27 c 21:56:38.743 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26539. 'extension(3, x[23][3]=[0‥3]) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.59/7.27 c 21:56:38.744 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26542. 'extension(3, 3) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.59/7.27 c 21:56:38.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26569. 'extension(3, x[23][11]=[0‥3]) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
19.59/7.27 c 21:56:38.746 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26572. 'extension(3, 3) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
19.59/7.27 c 21:56:38.747 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26599. 'extension(x[22][1]=[0‥3], 3) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
19.59/7.27 c 21:56:38.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26600. 'extension(3, x[24][1]=[0‥3]) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
19.59/7.27 c 21:56:38.750 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26629. 'extension(x[22][4]=[0‥3], 3) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
19.59/7.28 c 21:56:38.751 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26662. 'extension(3, 3) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
19.59/7.28 c 21:56:38.752 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26692. 'extension(3, 3) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
19.59/7.28 c 21:56:38.752 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26719. 'extension(x[24][14]=[0‥3], 3) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
19.59/7.28 c 21:56:38.753 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26720. 'extension(3, x[26][14]=[0‥3]) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
19.59/7.28 c 21:56:38.755 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26749. 'extension(3, wk[4][3]=[0‥1]) :: init: true :: relation: MDD 1532989443, 4 edges, 3 vertices, 3 tuples
19.59/7.28 c 21:56:38.755 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26750. 'extension(3, x[27][4]=[0‥3]) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
19.59/7.28 c 21:56:38.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26753. 'extension(3, 3) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
19.59/7.28 c 21:56:38.757 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26780. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1178270318, 4 edges, 3 vertices, 3 tuples
19.59/7.28 c 21:56:38.757 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26781. 'extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
19.59/7.28 c 21:56:38.758 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26811. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 2093834526, 4 edges, 3 vertices, 3 tuples
19.59/7.28 c 21:56:38.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26815. 'extension(3, 3) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
19.59/7.28 c 21:56:38.760 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26845. 'extension(3, 3) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
19.59/7.29 c 21:56:38.760 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26875. 'extension(3, 3) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
19.59/7.29 c 21:56:38.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26902. 'extension(x[29][7]=[0‥3], 3) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.59/7.29 c 21:56:38.762 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26903. 'extension(3, x[31][7]=[0‥3]) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.59/7.29 c 21:56:38.763 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26932. 'extension(x[29][8]=[0‥3], 3) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
19.59/7.29 c 21:56:38.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26965. 'extension(3, 3) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
19.59/7.29 c 21:56:38.765 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26992. 'extension(x[30][0]=[0‥3], 3) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
19.59/7.29 c 21:56:38.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27022. 'extension(x[30][6]=[0‥3], 3) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.59/7.29 c 21:56:38.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27023. 'extension(3, x[32][6]=[0‥3]) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.59/7.29 c 21:56:38.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27055. 'extension(3, 3) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
19.59/7.29 c 21:56:38.769 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27085. 'extension(3, 3) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
19.92/7.30 c 21:56:38.769 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27112. 'extension(x[30][18]=[0‥3], 3) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
19.92/7.30 c 21:56:38.770 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27144. 'extension(3, 3) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
19.92/7.30 c 21:56:38.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27174. 'extension(3, 3) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
19.92/7.30 c 21:56:38.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27201. 'extension(x[31][15]=[0‥3], 3) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
19.92/7.30 c 21:56:38.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27202. 'extension(3, x[33][15]=[0‥3]) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
19.92/7.30 c 21:56:38.773 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27234. 'extension(3, 3) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
19.92/7.30 c 21:56:38.774 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27264. 'extension(3, 3) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
19.92/7.30 c 21:56:38.774 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27290. 'extension(x[31][19]=[0‥3], 3) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
19.92/7.30 c 21:56:38.775 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27291. 'extension(3, x[33][19]=[0‥3]) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
19.92/7.30 c 21:56:38.776 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27319. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 425842522, 4 edges, 3 vertices, 3 tuples
19.92/7.30 c 21:56:38.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27323. 'extension(3, 3) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
19.92/7.30 c 21:56:38.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27350. 'extension(3, wk[1][4]=[0‥1]) :: init: true :: relation: MDD 1869400026, 4 edges, 3 vertices, 3 tuples
19.92/7.30 c 21:56:38.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27351. 'extension(x[32][1]=[0‥3], 3) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
19.92/7.30 c 21:56:38.778 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27352. 'extension(3, x[34][1]=[0‥3]) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
19.92/7.30 c 21:56:38.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27381. 'extension(3, wk[8][4]=[0‥1]) :: init: true :: relation: MDD 2146372416, 4 edges, 3 vertices, 3 tuples
19.92/7.30 c 21:56:38.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27385. 'extension(3, 3) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
19.92/7.30 c 21:56:38.780 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27412. 'extension(3, wk[17][4]=[0‥1]) :: init: true :: relation: MDD 1547521797, 4 edges, 3 vertices, 3 tuples
19.92/7.31 c 21:56:38.780 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27413. 'extension(3, x[34][17]=[0‥3]) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
19.92/7.31 c 21:56:38.781 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27416. 'extension(3, 3) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
19.92/7.31 c 21:56:38.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27443. 'extension(3, wk[18][4]=[0‥1]) :: init: true :: relation: MDD 1357663228, 4 edges, 3 vertices, 3 tuples
19.92/7.31 c 21:56:38.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27447. 'extension(3, 3) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
19.92/7.31 c 21:56:38.783 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27473. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 65168514, 4 edges, 3 vertices, 3 tuples
19.92/7.31 c 21:56:38.783 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27477. 'extension(3, 3) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
19.92/7.31 c 21:56:38.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27504. 'extension(3, wk[8][4]=[0‥1]) :: init: true :: relation: MDD 435167872, 4 edges, 3 vertices, 3 tuples
19.92/7.31 c 21:56:38.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27508. 'extension(3, 3) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
19.92/7.31 c 21:56:38.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27535. 'extension(3, wk[18][4]=[0‥1]) :: init: true :: relation: MDD 677007331, 4 edges, 3 vertices, 3 tuples
19.92/7.31 c 21:56:38.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27539. 'extension(3, 3) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
19.92/7.31 c 21:56:38.785 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27568. 'extension(3, 3) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
19.92/7.31 c 21:56:38.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27598. 'extension(3, 3) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
19.92/7.31 c 21:56:38.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27628. 'extension(3, 3) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
19.92/7.31 c 21:56:38.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27657. 'extension(3, 3) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
19.92/7.31 c 21:56:38.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27687. 'extension(3, 3) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
19.92/7.31 c 21:56:38.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27717. 'extension(3, 3) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
19.92/7.31 c 21:56:38.788 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27746. 'extension(3, 3) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
19.92/7.31 c 21:56:38.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27773. 'extension(x[36][5]=[0‥3], 3) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
19.92/7.32 c 21:56:38.790 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27803. 'extension(3, x[38][8]=[0‥3]) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
19.92/7.32 c 21:56:38.790 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27806. 'extension(3, 3) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
19.92/7.32 c 21:56:38.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27833. 'extension(x[36][10]=[0‥3], 3) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
19.92/7.32 c 21:56:38.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27866. 'extension(3, 3) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
19.92/7.32 c 21:56:38.797 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27892. 'extension(3, x[39][0]=[0‥3]) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
19.92/7.32 c 21:56:38.798 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27895. 'extension(3, 3) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
19.92/7.33 c 21:56:38.799 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27922. 'extension(x[37][1]=[0‥3], 3) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
19.92/7.33 c 21:56:38.800 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27955. 'extension(3, 3) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
19.92/7.33 c 21:56:38.800 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27985. 'extension(3, 3) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
19.92/7.33 c 21:56:38.801 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28012. 'extension(x[37][12]=[0‥3], 3) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
19.92/7.33 c 21:56:38.802 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28042. 'extension(3, x[39][18]=[0‥3]) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
19.92/7.33 c 21:56:38.802 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28045. 'extension(3, 3) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
19.92/7.33 c 21:56:38.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28074. 'extension(3, 3) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
19.92/7.33 c 21:56:38.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28104. 'extension(3, 3) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
19.92/7.33 c 21:56:38.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28134. 'extension(3, 3) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
19.92/7.33 c 21:56:38.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28164. 'extension(3, 3) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
19.92/7.33 c 21:56:38.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28191. 'extension(x[38][19]=[0‥3], 3) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
19.92/7.33 c 21:56:38.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28220. 'extension(3, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 1572582034, 4 edges, 3 vertices, 3 tuples
19.92/7.33 c 21:56:38.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28224. 'extension(3, 3) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
19.92/7.33 c 21:56:38.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28251. 'extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 1918203718, 4 edges, 3 vertices, 3 tuples
19.92/7.34 c 21:56:38.808 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28252. 'extension(3, x[41][5]=[0‥3]) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
19.92/7.34 c 21:56:38.808 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28255. 'extension(3, 3) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
19.92/7.34 c 21:56:38.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28282. 'extension(3, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 1777163938, 4 edges, 3 vertices, 3 tuples
19.92/7.34 c 21:56:38.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28286. 'extension(3, 3) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
19.92/7.34 c 21:56:38.810 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28313. 'extension(3, wk[12][5]=[0‥1]) :: init: true :: relation: MDD 1243705012, 4 edges, 3 vertices, 3 tuples
19.92/7.34 c 21:56:38.810 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28314. 'extension(3, x[41][12]=[0‥3]) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
19.92/7.34 c 21:56:38.810 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28317. 'extension(3, 3) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
19.92/7.34 c 21:56:38.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28344. 'extension(3, wk[19][5]=[0‥1]) :: init: true :: relation: MDD 140778365, 4 edges, 3 vertices, 3 tuples
19.92/7.34 c 21:56:38.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28348. 'extension(3, 3) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
19.92/7.34 c 21:56:38.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28374. 'extension(3, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 1448780972, 4 edges, 3 vertices, 3 tuples
19.92/7.34 c 21:56:38.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28375. 'extension(3, x[42][1]=[0‥3]) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
19.92/7.34 c 21:56:38.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28378. 'extension(3, 3) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
19.92/7.34 c 21:56:38.814 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28405. 'extension(3, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 1592618491, 4 edges, 3 vertices, 3 tuples
19.92/7.34 c 21:56:38.814 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28406. 'extension(3, x[42][10]=[0‥3]) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
19.92/7.34 c 21:56:38.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28409. 'extension(3, 3) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
19.92/7.34 c 21:56:38.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28436. 'extension(3, wk[19][5]=[0‥1]) :: init: true :: relation: MDD 1068781783, 4 edges, 3 vertices, 3 tuples
19.92/7.34 c 21:56:38.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28437. 'extension(3, x[42][19]=[0‥3]) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
19.92/7.34 c 21:56:38.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28440. 'extension(3, 3) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
19.92/7.34 c 21:56:38.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28466. 'extension(x[41][11]=[0‥3], 3) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
19.92/7.34 c 21:56:38.819 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28499. 'extension(3, 3) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
19.92/7.34 c 21:56:38.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28529. 'extension(3, 3) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
19.92/7.35 c 21:56:38.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28559. 'extension(3, 3) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
19.92/7.35 c 21:56:38.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28586. 'extension(3, x[47][11]=[0‥3]) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
19.92/7.35 c 21:56:38.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28589. 'extension(3, 3) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
19.92/7.35 c 21:56:38.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28616. 'extension(x[45][21]=[0‥3], 3) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
19.92/7.35 c 21:56:38.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28645. 'extension(3, wk[21][6]=[0‥1]) :: init: true :: relation: MDD 977952572, 4 edges, 3 vertices, 3 tuples
19.92/7.35 c 21:56:38.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28649. 'extension(3, 3) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
19.92/7.35 c 21:56:38.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28675. 'extension(3, wk[20][6]=[0‥1]) :: init: true :: relation: MDD 1244394767, 4 edges, 3 vertices, 3 tuples
19.92/7.35 c 21:56:38.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28676. 'extension(x[47][20]=[0‥3], 3) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
19.92/7.35 c 21:56:38.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28705. 'extension(3, wk[21][6]=[0‥1]) :: init: true :: relation: MDD 1483522397, 4 edges, 3 vertices, 3 tuples
19.92/7.35 c 21:56:38.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28709. 'extension(3, 3) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
19.92/7.35 c 21:56:38.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28735. 'extension(x[48][7]=[0‥3], 3) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.92/7.35 c 21:56:38.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28765. 'extension(x[48][14]=[0‥3], 3) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
19.92/7.35 c 21:56:38.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28798. 'extension(3, 3) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
19.92/7.35 c 21:56:38.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28827. 'extension(3, 3) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
19.92/7.35 c 21:56:38.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28856. 'extension(3, 3) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.92/7.36 c 21:56:38.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28886. 'extension(3, 3) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
19.92/7.36 c 21:56:38.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28913. 'extension(3, x[51][20]=[0‥3]) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
19.92/7.36 c 21:56:38.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28916. 'extension(3, 3) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
19.92/7.36 c 21:56:38.832 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28945. 'extension(3, 3) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
19.92/7.36 c 21:56:38.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28971. 'extension(3, x[52][7]=[0‥3]) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.92/7.36 c 21:56:38.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28974. 'extension(3, 3) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.92/7.36 c 21:56:38.834 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29004. 'extension(3, 3) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
19.92/7.36 c 21:56:38.835 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29034. 'extension(3, 3) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
19.92/7.36 c 21:56:38.835 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29060. 'extension(x[51][12]=[0‥3], 3) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
19.92/7.36 c 21:56:38.836 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29090. 'extension(x[51][13]=[0‥3], 3) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
19.92/7.36 c 21:56:38.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29123. 'extension(3, 3) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
19.92/7.36 c 21:56:38.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29150. 'extension(x[51][19]=[0‥3], 3) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
19.92/7.36 c 21:56:38.838 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29179. 'extension(3, x[53][21]=[0‥3]) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
19.92/7.36 c 21:56:38.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29182. 'extension(3, 3) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
19.92/7.36 c 21:56:38.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29211. 'extension(3, 3) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
19.92/7.37 c 21:56:38.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29241. 'extension(3, 3) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
19.92/7.37 c 21:56:38.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29271. 'extension(3, 3) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
19.92/7.37 c 21:56:38.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29298. 'extension(x[52][16]=[0‥3], 3) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
19.92/7.37 c 21:56:38.842 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29331. 'extension(3, 3) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
19.92/7.37 c 21:56:38.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29357. 'extension(3, wk[12][7]=[0‥1]) :: init: true :: relation: MDD 1479446866, 4 edges, 3 vertices, 3 tuples
19.92/7.37 c 21:56:38.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29358. 'extension(3, x[55][12]=[0‥3]) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
19.92/7.37 c 21:56:38.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29361. 'extension(3, 3) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
19.92/7.37 c 21:56:38.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29388. 'extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 1130250604, 4 edges, 3 vertices, 3 tuples
19.92/7.37 c 21:56:38.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29392. 'extension(3, 3) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
19.92/7.37 c 21:56:38.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29419. 'extension(3, wk[14][7]=[0‥1]) :: init: true :: relation: MDD 2134639513, 4 edges, 3 vertices, 3 tuples
19.92/7.37 c 21:56:38.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29420. 'extension(3, x[55][14]=[0‥3]) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
19.92/7.37 c 21:56:38.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29423. 'extension(3, 3) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
19.92/7.37 c 21:56:38.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29450. 'extension(3, wk[16][7]=[0‥1]) :: init: true :: relation: MDD 2086177500, 4 edges, 3 vertices, 3 tuples
19.92/7.37 c 21:56:38.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29454. 'extension(3, 3) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
19.92/7.37 c 21:56:38.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29481. 'extension(3, wk[19][7]=[0‥1]) :: init: true :: relation: MDD 1620368915, 4 edges, 3 vertices, 3 tuples
19.92/7.37 c 21:56:38.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29485. 'extension(3, 3) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
19.92/7.37 c 21:56:38.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29511. 'extension(3, wk[2][7]=[0‥1]) :: init: true :: relation: MDD 1198973449, 4 edges, 3 vertices, 3 tuples
19.92/7.37 c 21:56:38.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29512. 'extension(x[54][2]=[0‥3], 3) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
19.92/7.37 c 21:56:38.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29542. 'extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 1257058590, 4 edges, 3 vertices, 3 tuples
19.92/7.37 c 21:56:38.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29543. 'extension(3, x[56][13]=[0‥3]) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
19.92/7.38 c 21:56:38.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29546. 'extension(3, 3) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
19.92/7.38 c 21:56:38.851 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29573. 'extension(3, wk[16][7]=[0‥1]) :: init: true :: relation: MDD 1500020749, 4 edges, 3 vertices, 3 tuples
19.92/7.38 c 21:56:38.851 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29577. 'extension(3, 3) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
19.92/7.38 c 21:56:38.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29604. 'extension(3, wk[19][7]=[0‥1]) :: init: true :: relation: MDD 65465460, 4 edges, 3 vertices, 3 tuples
19.92/7.38 c 21:56:38.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29605. 'extension(3, x[56][19]=[0‥3]) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
19.92/7.38 c 21:56:38.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29608. 'extension(3, 3) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
19.92/7.38 c 21:56:38.853 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29634. 'extension(x[55][1]=[0‥3], 3) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
19.92/7.38 c 21:56:38.854 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29635. 'extension(3, x[57][1]=[0‥3]) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
19.92/7.38 c 21:56:38.855 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29667. 'extension(3, 3) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
19.92/7.38 c 21:56:38.856 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29697. 'extension(3, 3) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
19.92/7.38 c 21:56:38.856 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29727. 'extension(3, 3) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
19.92/7.38 c 21:56:38.857 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29754. 'extension(x[56][15]=[0‥3], 3) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
19.92/7.38 c 21:56:38.858 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29784. 'extension(3, x[58][16]=[0‥3]) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
19.92/7.38 c 21:56:38.858 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29787. 'extension(3, 3) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
19.92/7.38 c 21:56:38.859 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29817. 'extension(3, 3) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
19.92/7.38 c 21:56:38.860 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29847. 'extension(3, 3) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
19.92/7.39 c 21:56:38.860 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29877. 'extension(3, 3) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
19.92/7.39 c 21:56:38.861 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29904. 'extension(3, x[60][15]=[0‥3]) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
19.92/7.39 c 21:56:38.861 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29907. 'extension(3, 3) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
19.92/7.39 c 21:56:38.862 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29937. 'extension(3, 3) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
19.92/7.39 c 21:56:38.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29964. 'extension(x[59][5]=[0‥3], 3) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
19.92/7.39 c 21:56:38.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29965. 'extension(3, x[61][5]=[0‥3]) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
19.92/7.39 c 21:56:38.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29994. 'extension(3, wk[1][8]=[0‥1]) :: init: true :: relation: MDD 741431520, 4 edges, 3 vertices, 3 tuples
19.92/7.39 c 21:56:38.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29995. 'extension(x[60][1]=[0‥3], 3) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
19.92/7.39 c 21:56:38.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29996. 'extension(3, x[62][1]=[0‥3]) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
19.92/7.39 c 21:56:38.867 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30025. 'extension(3, wk[2][8]=[0‥1]) :: init: true :: relation: MDD 525558913, 4 edges, 3 vertices, 3 tuples
19.92/7.39 c 21:56:38.867 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30026. 'extension(3, x[62][2]=[0‥3]) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
19.92/7.39 c 21:56:38.868 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30029. 'extension(3, 3) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
19.92/7.39 c 21:56:38.869 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30056. 'extension(x[62][4]=[0‥3], 3) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
19.92/7.39 c 21:56:38.869 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30057. 'extension(3, x[64][4]=[0‥3]) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
19.92/7.40 c 21:56:38.871 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30086. 'extension(x[65][16]=[0‥3], 3) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
20.25/7.40 c 21:56:38.871 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30087. 'extension(3, x[67][16]=[0‥3]) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
20.25/7.40 c 21:56:38.873 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30116. 'extension(x[66][4]=[0‥3], 3) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
20.25/7.40 c 21:56:38.874 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30146. 'extension(3, wk[4][9]=[0‥1]) :: init: true :: relation: MDD 424743902, 4 edges, 3 vertices, 3 tuples
20.25/7.40 c 21:56:38.874 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30147. 'extension(3, x[69][4]=[0‥3]) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
20.25/7.40 c 21:56:38.874 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30150. 'extension(3, 3) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
20.25/7.41 c 21:56:38.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30177. 'extension(3, wk[13][9]=[0‥1]) :: init: true :: relation: MDD 687608114, 4 edges, 3 vertices, 3 tuples
20.25/7.41 c 21:56:38.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30178. 'extension(x[68][13]=[0‥3], 3) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
20.25/7.41 c 21:56:38.877 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30211. 'extension(3, 3) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
20.25/7.41 c 21:56:38.877 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30238. 'extension(x[69][15]=[0‥3], 3) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
20.25/7.41 c 21:56:38.878 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30268. 'extension(3, x[72][13]=[0‥3]) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
20.25/7.41 c 21:56:38.879 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30271. 'extension(3, 3) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
20.25/7.41 c 21:56:38.880 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30301. 'extension(3, 3) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
20.25/7.41 c 21:56:38.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30331. 'extension(3, 3) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
20.25/7.41 c 21:56:38.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30358. 'extension(3, x[74][15]=[0‥3]) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
20.25/7.41 c 21:56:38.882 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30361. 'extension(3, 3) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
20.25/7.41 c 21:56:38.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30388. 'extension(3, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 799692219, 4 edges, 3 vertices, 3 tuples
20.25/7.41 c 21:56:38.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30389. 'extension(x[74][10]=[0‥3], 3) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
20.25/7.41 c 21:56:38.884 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30419. 'extension(3, wk[2][10]=[0‥1]) :: init: true :: relation: MDD 444380068, 4 edges, 3 vertices, 3 tuples
20.25/7.41 c 21:56:38.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30420. 'extension(x[75][2]=[0‥3], 3) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
20.25/7.41 c 21:56:38.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30421. 'extension(3, x[77][2]=[0‥3]) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
20.25/7.41 c 21:56:38.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30450. 'extension(3, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 1562221939, 4 edges, 3 vertices, 3 tuples
20.25/7.41 c 21:56:38.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30454. 'extension(3, 3) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
20.25/7.41 c 21:56:38.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30481. 'extension(3, x[78][10]=[0‥3]) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
20.25/7.41 c 21:56:38.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30484. 'extension(3, 3) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
20.25/7.41 c 21:56:38.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30511. 'extension(x[77][4]=[0‥3], 3) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
20.25/7.41 c 21:56:38.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30512. 'extension(3, x[79][4]=[0‥3]) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
20.25/7.42 c 21:56:38.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30541. 'extension(x[77][16]=[0‥3], 3) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
20.25/7.42 c 21:56:38.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30571. 'extension(3, x[80][16]=[0‥3]) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
20.25/7.42 c 21:56:38.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30574. 'extension(3, 3) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
20.25/7.42 c 21:56:38.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30600. 'extension(x[80][5]=[0‥3], 3) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
20.25/7.42 c 21:56:38.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30601. 'extension(3, x[82][5]=[0‥3]) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
20.25/7.43 c 21:56:38.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30672. 'extension(x[1][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30682. 'extension(x[5][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30692. 'extension(x[3][9]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30698. 'extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30704. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30706. 'extension(x[4][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30708. 'extension(x[6][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30722. 'extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30724. 'extension(x[7][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30726. 'extension(x[9][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30740. 'extension(x[8][20]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30746. 'extension(x[11][9]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30760. 'extension(x[10][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30762. 'extension(x[12][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30776. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30778. 'extension(x[11][6]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30784. 'extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30786. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.43 c 21:56:38.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30792. 'extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30794. 'extension(x[14][20]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30804. 'extension(x[13][9]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30806. 'extension(x[15][9]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30820. 'extension(x[14][3]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30830. 'extension(x[15][21]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30832. 'extension(x[17][21]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30846. 'extension(x[16][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30852. 'extension(x[19][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30866. 'extension(x[19][6]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30876. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30878. 'extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30880. 'extension(x[18][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30886. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30888. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30890. 'extension(x[19][11]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30896. 'extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30898. 'extension(x[21][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30916. 'extension(x[23][3]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30926. 'extension(x[23][11]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30936. 'extension(x[22][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30938. 'extension(x[24][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30952. 'extension(x[22][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30962. 'extension(x[24][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30964. 'extension(x[26][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30978. 'extension(wk[4][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.44 c 21:56:38.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30980. 'extension(x[27][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30990. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30992. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30998. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31004. 'extension(x[29][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31006. 'extension(x[31][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31020. 'extension(x[29][8]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31026. 'extension(x[30][0]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31032. 'extension(x[30][6]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31034. 'extension(x[32][6]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31052. 'extension(x[30][18]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31062. 'extension(x[31][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31064. 'extension(x[33][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31082. 'extension(x[31][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31084. 'extension(x[33][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31098. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31100. 'extension(wk[1][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31102. 'extension(x[32][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31104. 'extension(x[34][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31118. 'extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31120. 'extension(wk[17][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31122. 'extension(x[34][17]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31132. 'extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31134. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31136. 'extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31138. 'extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31140. 'extension(x[36][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.45 c 21:56:38.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31146. 'extension(x[38][8]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31156. 'extension(x[36][10]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31162. 'extension(x[39][0]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31172. 'extension(x[37][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31186. 'extension(x[37][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31192. 'extension(x[39][18]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31210. 'extension(x[38][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31216. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31218. 'extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31220. 'extension(x[41][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31230. 'extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31232. 'extension(wk[12][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31234. 'extension(x[41][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31244. 'extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31250. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31252. 'extension(x[42][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31262. 'extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31264. 'extension(x[42][10]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31274. 'extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31276. 'extension(x[42][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31286. 'extension(x[41][11]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31296. 'extension(x[47][11]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.938 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31306. 'extension(x[45][21]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.938 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31312. 'extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.46 c 21:56:38.938 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31318. 'extension(wk[20][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31320. 'extension(x[47][20]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31326. 'extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.940 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31328. 'extension(x[48][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.940 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31334. 'extension(x[48][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.941 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31352. 'extension(x[51][20]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.941 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31362. 'extension(x[52][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.942 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31372. 'extension(x[51][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.942 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31378. 'extension(x[51][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31384. 'extension(x[51][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31390. 'extension(x[53][21]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31408. 'extension(x[52][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31418. 'extension(wk[12][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31420. 'extension(x[55][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.945 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31430. 'extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.945 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31432. 'extension(wk[14][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.945 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31434. 'extension(x[55][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31444. 'extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31450. 'extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31452. 'extension(wk[2][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31454. 'extension(x[54][2]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.947 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31460. 'extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.947 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31462. 'extension(x[56][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.947 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31472. 'extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.947 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31474. 'extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.948 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31476. 'extension(x[56][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.948 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31486. 'extension(x[55][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.948 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31488. 'extension(x[57][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.949 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31506. 'extension(x[56][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.47 c 21:56:38.950 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31512. 'extension(x[58][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.950 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31526. 'extension(x[60][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.951 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31536. 'extension(x[59][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.951 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31538. 'extension(x[61][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.952 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31552. 'extension(wk[1][8]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.952 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31554. 'extension(x[60][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.952 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31556. 'extension(x[62][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.953 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31570. 'extension(wk[2][8]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.953 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31572. 'extension(x[62][2]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.953 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31582. 'extension(x[62][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.954 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31584. 'extension(x[64][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.954 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31598. 'extension(x[65][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.954 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31600. 'extension(x[67][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.955 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31614. 'extension(x[66][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.955 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31620. 'extension(wk[4][9]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.956 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31622. 'extension(x[69][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.956 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31636. 'extension(wk[13][9]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.956 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31638. 'extension(x[68][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.957 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31648. 'extension(x[69][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.957 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31654. 'extension(x[72][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.958 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31668. 'extension(x[74][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.959 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31678. 'extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.959 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31680. 'extension(x[74][10]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.959 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31686. 'extension(wk[2][10]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.959 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31688. 'extension(x[75][2]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.48 c 21:56:38.959 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31690. 'extension(x[77][2]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.49 c 21:56:38.960 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31704. 'extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
20.25/7.49 c 21:56:38.960 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31710. 'extension(x[78][10]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.49 c 21:56:38.961 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31720. 'extension(x[77][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.49 c 21:56:38.961 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31722. 'extension(x[79][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.49 c 21:56:38.962 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31736. 'extension(x[77][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.49 c 21:56:38.962 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31742. 'extension(x[80][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.49 c 21:56:38.963 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31756. 'extension(x[80][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.25/7.49 c 21:56:38.963 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31758. 'extension(x[82][5]=[0‥3]) :: init: true :: relation: Empty MDD
252.08/222.30 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
252.08/222.30 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
252.08/222.30 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
252.08/222.30 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
252.08/222.30 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
252.08/222.30 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
252.08/222.30 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
252.08/222.30 at concrete.IntervalDomain.filter(IntervalDomain.scala:81)
252.08/222.30 at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
252.08/222.30 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
252.08/222.30 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.08/222.30 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.08/222.30 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.08/222.30 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.08/222.30 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.08/222.30 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.08/222.30 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.08/222.30 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
252.08/222.30 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
252.08/222.30 at scala.Option.map(Option.scala:146)
252.08/222.30 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
252.08/222.30 at concrete.MAC.mac(MAC.scala:203)
252.08/222.30 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.08/222.30 at scala.util.Try$.apply(Try.scala:209)
252.08/222.30 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.08/222.30 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.08/222.30 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.08/222.30 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.08/222.30 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.08/222.30 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.08/222.30 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.08/222.30 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.08/222.30 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.08/222.30 at concrete.MAC.oneRun(MAC.scala:253)
252.08/222.30 at concrete.MAC.nextSolution(MAC.scala:272)
252.08/222.30 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.08/222.30 at concrete.ProblemState.map(ProblemState.scala:221)
252.08/222.30 at concrete.ProblemState.map(ProblemState.scala:204)
252.08/222.30 at concrete.MAC.nextSolution(MAC.scala:334)
252.08/222.30 at concrete.Solver.hasNext(Solver.scala:166)
252.08/222.30 at scala.collection.Iterator.foreach(Iterator.scala:944)
252.08/222.30 at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.08/222.30 at concrete.Solver.foreach(Solver.scala:68)
252.08/222.30 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.08/222.30 at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.08/222.30 at scala.util.Success.map(Try.scala:209)
252.08/222.30 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.08/222.30 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.08/222.30 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.08/222.30 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.08/222.30 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.08/222.30 at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.08/222.31 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.08/222.31 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.08/222.31 at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.08/222.31 at scala.collection.immutable.List.foreach(List.scala:389)
252.08/222.31 at scala.App.main(App.scala:76)
252.08/222.31 at scala.App.main$(App.scala:74)
252.08/222.31 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.08/222.31 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.08/222.31 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 (6542 MiB free)
memory of node 1: 16384 MiB (15019 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302787-1532894191/watcher-4302787-1532894191 -o /tmp/evaluation-result-4302787-1532894191/solver-4302787-1532894191 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13581 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1548682509 -superng HOME/instance-4302787-1532894191.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=15143, runsolver pid=15140
Current StackSize limit: 8192 KiB
[startup+0.100118 s]*
/proc/loadavg: 1.50 1.69 1.84 3/206 15200
/proc/meminfo: memFree=22072852/32770624 swapFree=67108404/67108860
[pid=15143] ppid=15140 vsize=10005480 memory=18596 CPUtime=0.09 cores=1,3,5,7
/proc/15143/stat : 15143 (java) S 15140 15143 12222 0 -1 1077944320 4303 13163 0 0 1 0 5 3 20 0 6 0 106982243 10245611520 4649 33554432000 4194304 4196468 140724389023280 140724389005824 140341205888759 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
/proc/15143/statm: 2501370 4649 1933 1 0 2489808 0
[pid=15143/tid=15196] ppid=15140 vsize=10005480 memory=4279135704014094991 CPUtime=0.09 cores=1,3,5,7
/proc/15143/task/15196/stat : 15196 (java) R 15140 15143 12222 0 -1 4202560 2113 13163 0 0 1 0 5 3 20 0 6 0 106982252 10245611520 4649 33554432000 4194304 4196468 140724389023280 140341177725520 140341191571285 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15197] ppid=15140 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15197/stat : 15197 (java) S 15140 15143 12222 0 -1 1077944384 1 13163 0 0 0 0 5 3 20 0 6 0 106982253 10245611520 4649 33554432000 4194304 4196468 140724389023280 140341210130704 140341205898965 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15198] ppid=15140 vsize=10005480 memory=139701904750208 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15198/stat : 15198 (java) S 15140 15143 12222 0 -1 1077944384 2 13163 0 0 0 0 5 3 20 0 6 0 106982253 10245611520 4649 33554432000 4194304 4196468 140724389023280 140341080779152 140341205898965 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15199] ppid=15140 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15199/stat : 15199 (java) S 15140 15143 12222 0 -1 1077944384 2 13163 0 0 0 0 5 3 20 0 6 0 106982253 10245611520 4649 33554432000 4194304 4196468 140724389023280 140341079726608 140341205898965 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15200] ppid=15140 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15200/stat : 15200 (java) S 15140 15143 12222 0 -1 1077944384 2 13163 0 0 0 0 5 3 20 0 6 0 106982253 10245611520 4649 33554432000 4194304 4196468 140724389023280 140341078674064 140341205898965 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18596 KiB
[startup+0.209924 s]*
/proc/loadavg: 1.50 1.69 1.84 3/215 15209
/proc/meminfo: memFree=22049108/32770624 swapFree=67108404/67108860
[pid=15143] ppid=15140 vsize=10983736 memory=45380 CPUtime=0.27 cores=1,3,5,7
/proc/15143/stat : 15143 (java) S 15140 15143 12222 0 -1 1077944320 8029 13163 0 0 17 2 5 3 20 0 15 0 106982243 11247345664 11279 33554432000 4194304 4196468 140724389023280 140724389005824 140341205888759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
/proc/15143/statm: 2745934 11279 2945 1 0 2708357 0
[pid=15143/tid=15196] ppid=15140 vsize=10985364 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/15143/task/15196/stat : 15196 (java) R 15140 15143 12222 0 -1 4202560 4954 13163 0 0 10 1 5 3 20 0 15 0 106982252 11249012736 11675 33554432000 4194304 4196468 140724389023280 140341177713568 140341198568477 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15197] ppid=15140 vsize=10985364 memory=345 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15197/stat : 15197 (java) S 15140 15143 12222 0 -1 1077944384 1 13163 0 0 0 0 5 3 20 0 15 0 106982253 11249012736 11675 33554432000 4194304 4196468 140724389023280 140341210130704 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15198] ppid=15140 vsize=10985364 memory=3546782902440965792 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15198/stat : 15198 (java) S 15140 15143 12222 0 -1 1077944384 2 13163 0 0 0 0 5 3 20 0 15 0 106982253 11249012736 11741 33554432000 4194304 4196468 140724389023280 140341080779152 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15199] ppid=15140 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15199/stat : 15199 (java) S 15140 15143 12222 0 -1 1077944384 2 13163 0 0 0 0 5 3 20 0 15 0 106982253 11249012736 11741 33554432000 4194304 4196468 140724389023280 140341079726608 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15200] ppid=15140 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15200/stat : 15200 (java) S 15140 15143 12222 0 -1 1077944384 2 13163 0 0 0 0 5 3 20 0 15 0 106982253 11249012736 11741 33554432000 4194304 4196468 140724389023280 140341078674064 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15201] ppid=15140 vsize=10985364 memory=139701904750208 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15201/stat : 15201 (java) S 15140 15143 12222 0 -1 1077944384 2 13163 0 0 0 0 5 3 20 0 15 0 106982254 11249012736 11741 33554432000 4194304 4196468 140724389023280 140340258351600 140341205899906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15202] ppid=15140 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15202/stat : 15202 (java) S 15140 15143 12222 0 -1 1077944384 13 13163 0 0 0 0 5 3 20 0 15 0 106982255 11249012736 11807 33554432000 4194304 4196468 140724389023280 140340002547104 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15203] ppid=15140 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15203/stat : 15203 (java) S 15140 15143 12222 0 -1 1077944384 1 13163 0 0 0 0 5 3 20 0 15 0 106982255 11249012736 11807 33554432000 4194304 4196468 140724389023280 140339801220592 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15204] ppid=15140 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15204/stat : 15204 (java) S 15140 15143 12222 0 -1 1077944384 3 13163 0 0 0 0 5 3 20 0 15 0 106982257 11249012736 11807 33554432000 4194304 4196468 140724389023280 140339493821136 140341205907355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15205] ppid=15140 vsize=10985364 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15143/task/15205/stat : 15205 (java) S 15140 15143 12222 0 -1 1077944384 428 13163 0 0 1 0 5 3 20 0 15 0 106982257 11249012736 11807 33554432000 4194304 4196468 140724389023280 140340257298416 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15206] ppid=15140 vsize=10985364 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15143/task/15206/stat : 15206 (java) S 15140 15143 12222 0 -1 1077944384 189 13163 0 0 1 0 5 3 20 0 15 0 106982257 11249012736 11807 33554432000 4194304 4196468 140724389023280 140340256245872 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15207] ppid=15140 vsize=10985364 memory=139701904750208 CPUtime=0.11 cores=1,3,5,7
/proc/15143/task/15207/stat : 15207 (java) S 15140 15143 12222 0 -1 1077944384 622 13163 0 0 3 0 5 3 20 0 15 0 106982258 11249012736 11807 33554432000 4194304 4196468 140724389023280 140340255193328 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15208] ppid=15140 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15208/stat : 15208 (java) S 15140 15143 12222 0 -1 1077944384 3 13163 0 0 0 0 5 3 20 0 15 0 106982258 11249012736 11456 33554432000 4194304 4196468 140724389023280 140339063024224 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15209] ppid=15140 vsize=10985364 memory=139701904750208 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15209/stat : 15209 (java) S 15140 15143 12222 0 -1 1077944384 1 13163 0 0 0 0 5 3 20 0 15 0 106982258 11249012736 11456 33554432000 4194304 4196468 140724389023280 140340254141232 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10983736 KiB
Current children cumulated memory: 45380 KiB
[startup+0.310449 s]*
/proc/loadavg: 1.50 1.69 1.84 3/215 15209
/proc/meminfo: memFree=22037216/32770624 swapFree=67108404/67108860
[pid=15143] ppid=15140 vsize=10983192 memory=55292 CPUtime=0.38 cores=1,3,5,7
/proc/15143/stat : 15143 (java) S 15140 15143 12222 0 -1 1077944320 10417 13163 0 0 28 2 5 3 20 0 15 0 106982243 11246788608 13823 33554432000 4194304 4196468 140724389023280 140724389005824 140341205888759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
/proc/15143/statm: 2745798 13823 3064 1 0 2708109 0
[pid=15143/tid=15196] ppid=15140 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/15143/task/15196/stat : 15196 (java) R 15140 15143 12222 0 -1 4202560 6940 13163 0 0 19 2 5 3 20 0 15 0 106982252 11246788608 13823 33554432000 4194304 4196468 140724389023280 140341177700768 140341189969246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15197] ppid=15140 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15197/stat : 15197 (java) S 15140 15143 12222 0 -1 1077944384 1 13163 0 0 0 0 5 3 20 0 15 0 106982253 11246788608 13823 33554432000 4194304 4196468 140724389023280 140341210130704 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15198] ppid=15140 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15198/stat : 15198 (java) S 15140 15143 12222 0 -1 1077944384 2 13163 0 0 0 0 5 3 20 0 15 0 106982253 11246788608 13823 33554432000 4194304 4196468 140724389023280 140341080779152 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15199] ppid=15140 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15199/stat : 15199 (java) S 15140 15143 12222 0 -1 1077944384 2 13163 0 0 0 0 5 3 20 0 15 0 106982253 11246788608 13823 33554432000 4194304 4196468 140724389023280 140341079726608 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15200] ppid=15140 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15200/stat : 15200 (java) S 15140 15143 12222 0 -1 1077944384 2 13163 0 0 0 0 5 3 20 0 15 0 106982253 11246788608 13823 33554432000 4194304 4196468 140724389023280 140341078674064 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15201] ppid=15140 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15201/stat : 15201 (java) S 15140 15143 12222 0 -1 1077944384 2 13163 0 0 0 0 5 3 20 0 15 0 106982254 11246788608 13823 33554432000 4194304 4196468 140724389023280 140340258351600 140341205899906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15202] ppid=15140 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15202/stat : 15202 (java) S 15140 15143 12222 0 -1 1077944384 13 13163 0 0 0 0 5 3 20 0 15 0 106982255 11246788608 13823 33554432000 4194304 4196468 140724389023280 140340002547104 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15203] ppid=15140 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15203/stat : 15203 (java) S 15140 15143 12222 0 -1 1077944384 1 13163 0 0 0 0 5 3 20 0 15 0 106982255 11246788608 13823 33554432000 4194304 4196468 140724389023280 140339801220592 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15204] ppid=15140 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15204/stat : 15204 (java) S 15140 15143 12222 0 -1 1077944384 3 13163 0 0 0 0 5 3 20 0 15 0 106982257 11246788608 13823 33554432000 4194304 4196468 140724389023280 140339493821136 140341205907355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15205] ppid=15140 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15143/task/15205/stat : 15205 (java) R 15140 15143 12222 0 -1 4202560 431 13163 0 0 1 0 5 3 20 0 15 0 106982257 11246788608 13823 33554432000 4194304 4196468 140724389023280 140340257298416 140341205900694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15206] ppid=15140 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15143/task/15206/stat : 15206 (java) R 15140 15143 12222 0 -1 1077944384 192 13163 0 0 1 0 5 3 20 0 15 0 106982257 11246788608 13823 33554432000 4194304 4196468 140724389023280 140340256245872 140341205899906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15207] ppid=15140 vsize=10983192 memory=139701904750208 CPUtime=0.13 cores=1,3,5,7
/proc/15143/task/15207/stat : 15207 (java) S 15140 15143 12222 0 -1 1077944384 638 13163 0 0 5 0 5 3 20 0 15 0 106982258 11246788608 13823 33554432000 4194304 4196468 140724389023280 140340255193328 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15208] ppid=15140 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15208/stat : 15208 (java) S 15140 15143 12222 0 -1 1077944384 3 13163 0 0 0 0 5 3 20 0 15 0 106982258 11246788608 13823 33554432000 4194304 4196468 140724389023280 140339063024224 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15209] ppid=15140 vsize=10983192 memory=139701904750208 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15209/stat : 15209 (java) S 15140 15143 12222 0 -1 1077944384 1 13163 0 0 0 0 5 3 20 0 15 0 106982258 11246788608 13823 33554432000 4194304 4196468 140724389023280 140340254141232 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55292 KiB
[startup+0.700843 s]
/proc/loadavg: 1.50 1.69 1.84 4/215 15209
/proc/meminfo: memFree=22025928/32770624 swapFree=67108404/67108860
[pid=15143] ppid=15140 vsize=10983192 memory=88268 CPUtime=0.98 cores=1,3,5,7
/proc/15143/stat : 15143 (java) S 15140 15143 12222 0 -1 1077944320 16776 13163 0 0 86 4 5 3 20 0 15 0 106982243 11246788608 22067 33554432000 4194304 4196468 140724389023280 140724389005824 140341205888759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
/proc/15143/statm: 2745798 22067 3238 1 0 2708109 0
[pid=15143/tid=15196] ppid=15140 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/15143/task/15196/stat : 15196 (java) R 15140 15143 12222 0 -1 4202560 12244 13163 0 0 55 3 5 3 20 0 15 0 106982252 11246788608 22067 33554432000 4194304 4196468 140724389023280 140341177709584 140341189969246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15197] ppid=15140 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15197/stat : 15197 (java) S 15140 15143 12222 0 -1 1077944384 1 13163 0 0 0 0 5 3 20 0 15 0 106982253 11246788608 22067 33554432000 4194304 4196468 140724389023280 140341210130704 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15198] ppid=15140 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15198/stat : 15198 (java) S 15140 15143 12222 0 -1 1077944384 2 13163 0 0 0 0 5 3 20 0 15 0 106982253 11246788608 22067 33554432000 4194304 4196468 140724389023280 140341080779152 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15199] ppid=15140 vsize=10983192 memory=487 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15199/stat : 15199 (java) S 15140 15143 12222 0 -1 1077944384 2 13163 0 0 0 0 5 3 20 0 15 0 106982253 11246788608 22067 33554432000 4194304 4196468 140724389023280 140341079726608 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15200] ppid=15140 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15200/stat : 15200 (java) S 15140 15143 12222 0 -1 1077944384 2 13163 0 0 0 0 5 3 20 0 15 0 106982253 11246788608 22067 33554432000 4194304 4196468 140724389023280 140341078674064 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15201] ppid=15140 vsize=10983192 memory=7229512537422845014 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15201/stat : 15201 (java) S 15140 15143 12222 0 -1 1077944384 5 13163 0 0 0 0 5 3 20 0 15 0 106982254 11246788608 22067 33554432000 4194304 4196468 140724389023280 140340258351600 140341205899906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15202] ppid=15140 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15202/stat : 15202 (java) S 15140 15143 12222 0 -1 1077944384 13 13163 0 0 0 0 5 3 20 0 15 0 106982255 11246788608 22067 33554432000 4194304 4196468 140724389023280 140340002547104 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15203] ppid=15140 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15203/stat : 15203 (java) S 15140 15143 12222 0 -1 1077944384 1 13163 0 0 0 0 5 3 20 0 15 0 106982255 11246788608 22067 33554432000 4194304 4196468 140724389023280 140339801220592 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15204] ppid=15140 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15204/stat : 15204 (java) S 15140 15143 12222 0 -1 1077944384 3 13163 0 0 0 0 5 3 20 0 15 0 106982257 11246788608 22067 33554432000 4194304 4196468 140724389023280 140339493821136 140341205907355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15205] ppid=15140 vsize=10983192 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/15143/task/15205/stat : 15205 (java) S 15140 15143 12222 0 -1 1077944384 1044 13163 0 0 10 0 5 3 20 0 15 0 106982257 11246788608 22067 33554432000 4194304 4196468 140724389023280 140340257298416 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15206] ppid=15140 vsize=10983192 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/15143/task/15206/stat : 15206 (java) R 15140 15143 12222 0 -1 1077944384 525 13163 0 0 7 0 5 3 20 0 15 0 106982257 11246788608 22067 33554432000 4194304 4196468 140724389023280 140340256245872 140341205899906 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15207] ppid=15140 vsize=10983192 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/15143/task/15207/stat : 15207 (java) R 15140 15143 12222 0 -1 4202560 740 13163 0 0 13 0 5 3 20 0 15 0 106982258 11246788608 22067 33554432000 4194304 4196468 140724389023280 140340255193328 140341205900694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15208] ppid=15140 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15208/stat : 15208 (java) S 15140 15143 12222 0 -1 1077944384 3 13163 0 0 0 0 5 3 20 0 15 0 106982258 11246788608 22067 33554432000 4194304 4196468 140724389023280 140339063024224 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15209] ppid=15140 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15209/stat : 15209 (java) S 15140 15143 12222 0 -1 1077944384 1 13163 0 0 0 0 5 3 20 0 15 0 106982258 11246788608 22067 33554432000 4194304 4196468 140724389023280 140340254141232 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88268 KiB
[startup+1.5014 s]
/proc/loadavg: 1.50 1.69 1.84 4/215 15209
/proc/meminfo: memFree=21979844/32770624 swapFree=67108404/67108860
[pid=15143] ppid=15140 vsize=10991948 memory=173628 CPUtime=3.16 cores=1,3,5,7
/proc/15143/stat : 15143 (java) S 15140 15143 12222 0 -1 1077944320 24897 13163 0 0 300 8 5 3 20 0 15 0 106982243 11255754752 43407 33554432000 4194304 4196468 140724389023280 140724389005824 140341205888759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
/proc/15143/statm: 2747987 43407 3447 1 0 2709645 0
[pid=15143/tid=15196] ppid=15140 vsize=10991948 memory=4951091520830867572 CPUtime=1.46 cores=1,3,5,7
/proc/15143/task/15196/stat : 15196 (java) R 15140 15143 12222 0 -1 4202560 15182 13163 0 0 132 6 5 3 20 0 15 0 106982252 11255754752 43407 33554432000 4194304 4196468 140724389023280 140341177720992 140341185613818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15197] ppid=15140 vsize=10991948 memory=4134606225630022328 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15197/stat : 15197 (java) S 15140 15143 12222 0 -1 1077944384 1 13163 0 0 0 0 5 3 20 0 15 0 106982253 11255754752 43407 33554432000 4194304 4196468 140724389023280 140341210130704 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15198] ppid=15140 vsize=10991948 memory=-5153075247754915999 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15198/stat : 15198 (java) S 15140 15143 12222 0 -1 1077944384 2 13163 0 0 0 0 5 3 20 0 15 0 106982253 11255754752 43407 33554432000 4194304 4196468 140724389023280 140341080779152 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15199] ppid=15140 vsize=10991948 memory=-7594416713620822679 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15199/stat : 15199 (java) S 15140 15143 12222 0 -1 1077944384 2 13163 0 0 0 0 5 3 20 0 15 0 106982253 11255754752 43407 33554432000 4194304 4196468 140724389023280 140341079726608 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15200] ppid=15140 vsize=10991948 memory=122068 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15200/stat : 15200 (java) S 15140 15143 12222 0 -1 1077944384 2 13163 0 0 0 0 5 3 20 0 15 0 106982253 11255754752 43407 33554432000 4194304 4196468 140724389023280 140341078674064 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15201] ppid=15140 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15201/stat : 15201 (java) S 15140 15143 12222 0 -1 1077944384 13 13163 0 0 0 0 5 3 20 0 15 0 106982254 11255754752 43407 33554432000 4194304 4196468 140724389023280 140340258351600 140341205899906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15202] ppid=15140 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15202/stat : 15202 (java) S 15140 15143 12222 0 -1 1077944384 13 13163 0 0 0 0 5 3 20 0 15 0 106982255 11255754752 43407 33554432000 4194304 4196468 140724389023280 140340002547104 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15203] ppid=15140 vsize=10991948 memory=279403594580256 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15203/stat : 15203 (java) S 15140 15143 12222 0 -1 1077944384 1 13163 0 0 0 0 5 3 20 0 15 0 106982255 11255754752 43407 33554432000 4194304 4196468 140724389023280 140339801220592 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15204] ppid=15140 vsize=10991948 memory=279403594995200 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15204/stat : 15204 (java) S 15140 15143 12222 0 -1 1077944384 3 13163 0 0 0 0 5 3 20 0 15 0 106982257 11255754752 43407 33554432000 4194304 4196468 140724389023280 140339493821136 140341205907355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15205] ppid=15140 vsize=10991948 memory=139701797299840 CPUtime=0.7 cores=1,3,5,7
/proc/15143/task/15205/stat : 15205 (java) R 15140 15143 12222 0 -1 4202560 2297 13163 0 0 62 0 5 3 20 0 15 0 106982257 11255754752 43407 33554432000 4194304 4196468 140724389023280 140340257285840 140341187411498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15206] ppid=15140 vsize=10991948 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/15143/task/15206/stat : 15206 (java) R 15140 15143 12222 0 -1 4202560 3311 13163 0 0 58 0 5 3 20 0 15 0 106982257 11255754752 43407 33554432000 4194304 4196468 140724389023280 140340256232688 140341184303078 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15207] ppid=15140 vsize=10991948 memory=1200 CPUtime=0.55 cores=1,3,5,7
/proc/15143/task/15207/stat : 15207 (java) S 15140 15143 12222 0 -1 1077944384 1875 13163 0 0 46 1 5 3 20 0 15 0 106982258 11255754752 43407 33554432000 4194304 4196468 140724389023280 140340255193328 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15208] ppid=15140 vsize=10991948 memory=15876 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15208/stat : 15208 (java) S 15140 15143 12222 0 -1 1077944384 3 13163 0 0 0 0 5 3 20 0 15 0 106982258 11255754752 43407 33554432000 4194304 4196468 140724389023280 140339063024224 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15209] ppid=15140 vsize=10991948 memory=4044 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15209/stat : 15209 (java) S 15140 15143 12222 0 -1 1077944384 1 13163 0 0 0 0 5 3 20 0 15 0 106982258 11255754752 43407 33554432000 4194304 4196468 140724389023280 140340254141232 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
Current children cumulated CPU time: 3.16 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/15143/task/15196/stat : 15196 (java) R 15140 15143 12222 0 -1 4202560 52903 13163 0 0 16093 28 5 3 20 0 15 0 106982252 11348049920 401369 33554432000 4194304 4196468 140724389023280 140341177723856 140340758643304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15197] ppid=15140 vsize=11082080 memory=1669600 CPUtime=0.78 cores=1,3,5,7
/proc/15143/task/15197/stat : 15197 (java) S 15140 15143 12222 0 -1 1077944384 1528 13163 0 0 56 14 5 3 20 0 15 0 106982253 11348049920 401369 33554432000 4194304 4196468 140724389023280 140341210130704 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15198] ppid=15140 vsize=11082080 memory=1669600 CPUtime=0.79 cores=1,3,5,7
/proc/15143/task/15198/stat : 15198 (java) S 15140 15143 12222 0 -1 1077944384 4372 13163 0 0 57 14 5 3 20 0 15 0 106982253 11348049920 401369 33554432000 4194304 4196468 140724389023280 140341080779152 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15199] ppid=15140 vsize=11082080 memory=1697304 CPUtime=0.78 cores=1,3,5,7
/proc/15143/task/15199/stat : 15199 (java) S 15140 15143 12222 0 -1 1077944384 1494 13163 0 0 55 15 5 3 20 0 15 0 106982253 11348049920 401369 33554432000 4194304 4196468 140724389023280 140341079726608 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15200] ppid=15140 vsize=11082080 memory=1655236 CPUtime=0.77 cores=1,3,5,7
/proc/15143/task/15200/stat : 15200 (java) S 15140 15143 12222 0 -1 1077944384 2556 13163 0 0 55 14 5 3 20 0 15 0 106982253 11348049920 401369 33554432000 4194304 4196468 140724389023280 140341078674064 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15201] ppid=15140 vsize=11082080 memory=1619840 CPUtime=0.22 cores=1,3,5,7
/proc/15143/task/15201/stat : 15201 (java) S 15140 15143 12222 0 -1 1077944384 4609 13163 0 0 13 1 5 3 20 0 15 0 106982254 11348049920 401369 33554432000 4194304 4196468 140724389023280 140340258351600 140341205899906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15202] ppid=15140 vsize=11082080 memory=1619840 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15202/stat : 15202 (java) S 15140 15143 12222 0 -1 1077944384 18 13163 0 0 0 0 5 3 20 0 15 0 106982255 11348049920 401369 33554432000 4194304 4196468 140724389023280 140340002547168 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15203] ppid=15140 vsize=11082080 memory=1619840 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15203/stat : 15203 (java) S 15140 15143 12222 0 -1 1077944384 9 13163 0 0 0 0 5 3 20 0 15 0 106982255 11348049920 401369 33554432000 4194304 4196468 140724389023280 140339801220608 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15204] ppid=15140 vsize=11082080 memory=1619840 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15204/stat : 15204 (java) S 15140 15143 12222 0 -1 1077944384 3 13163 0 0 0 0 5 3 20 0 15 0 106982257 11348049920 401369 33554432000 4194304 4196468 140724389023280 140339493821136 140341205907355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15205] ppid=15140 vsize=11082080 memory=1832516 CPUtime=11.95 cores=1,3,5,7
/proc/15143/task/15205/stat : 15205 (java) S 15140 15143 12222 0 -1 1077944384 29735 13163 0 0 1183 4 5 3 20 0 15 0 106982257 11348049920 401369 33554432000 4194304 4196468 140724389023280 140340257298416 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15206] ppid=15140 vsize=11082080 memory=1300 CPUtime=11.25 cores=1,3,5,7
/proc/15143/task/15206/stat : 15206 (java) S 15140 15143 12222 0 -1 1077944384 28356 13163 0 0 1112 5 5 3 20 0 15 0 106982257 11348049920 401369 33554432000 4194304 4196468 140724389023280 140340256245872 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15207] ppid=15140 vsize=11082080 memory=1840 CPUtime=3.71 cores=1,3,5,7
/proc/15143/task/15207/stat : 15207 (java) S 15140 15143 12222 0 -1 1077944384 26723 13163 0 0 356 7 5 3 20 0 15 0 106982258 11348049920 401369 33554432000 4194304 4196468 140724389023280 140340255193328 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15208] ppid=15140 vsize=11082080 memory=1629588 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15208/stat : 15208 (java) S 15140 15143 12222 0 -1 1077944384 3 13163 0 0 0 0 5 3 20 0 15 0 106982258 11348049920 401369 33554432000 4194304 4196468 140724389023280 140339063024224 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15209] ppid=15140 vsize=11082080 memory=1629588 CPUtime=0.15 cores=1,3,5,7
/proc/15143/task/15209/stat : 15209 (java) S 15140 15143 12222 0 -1 1077944384 325 13163 0 0 3 4 5 3 20 0 15 0 106982258 11348049920 401369 33554432000 4194304 4196468 140724389023280 140340254141232 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
Current children cumulated CPU time: 191.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1605476 KiB
[startup+222.301 s]
/proc/loadavg: 1.58 1.73 1.84 3/216 15348
/proc/meminfo: memFree=20317448/32770624 swapFree=67108404/67108860
[pid=15143] ppid=15140 vsize=11082080 memory=1302772 CPUtime=252.08 cores=1,3,5,7
/proc/15143/stat : 15143 (java) S 15140 15143 12222 0 -1 1077944320 168681 13163 0 0 25085 115 5 3 20 0 15 0 106982243 11348049920 325693 33554432000 4194304 4196468 140724389023280 140724389005824 140341205888759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
/proc/15143/statm: 2770520 325693 3537 1 0 2732173 0
[pid=15143/tid=15196] ppid=15140 vsize=11082080 memory=1319188 CPUtime=221.09 cores=1,3,5,7
/proc/15143/task/15196/stat : 15196 (java) R 15140 15143 12222 0 -1 4202560 54577 13163 0 0 22072 29 5 3 20 0 15 0 106982252 11348049920 325693 33554432000 4194304 4196468 140724389023280 140341177719584 140340765849150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15197] ppid=15140 vsize=11082080 memory=1305340 CPUtime=0.89 cores=1,3,5,7
/proc/15143/task/15197/stat : 15197 (java) S 15140 15143 12222 0 -1 1077944384 1703 13163 0 0 66 15 5 3 20 0 15 0 106982253 11348049920 325693 33554432000 4194304 4196468 140724389023280 140341210130704 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15198] ppid=15140 vsize=11082080 memory=1303800 CPUtime=0.9 cores=1,3,5,7
/proc/15143/task/15198/stat : 15198 (java) S 15140 15143 12222 0 -1 1077944384 4549 13163 0 0 67 15 5 3 20 0 15 0 106982253 11348049920 325693 33554432000 4194304 4196468 140724389023280 140341080779152 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15199] ppid=15140 vsize=11082080 memory=1303288 CPUtime=0.9 cores=1,3,5,7
/proc/15143/task/15199/stat : 15199 (java) S 15140 15143 12222 0 -1 1077944384 1562 13163 0 0 66 16 5 3 20 0 15 0 106982253 11348049920 325693 33554432000 4194304 4196468 140724389023280 140341079726608 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15200] ppid=15140 vsize=11082080 memory=2600 CPUtime=0.89 cores=1,3,5,7
/proc/15143/task/15200/stat : 15200 (java) S 15140 15143 12222 0 -1 1077944384 4350 13163 0 0 66 15 5 3 20 0 15 0 106982253 11348049920 325693 33554432000 4194304 4196468 140724389023280 140341078674064 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15201] ppid=15140 vsize=11082080 memory=1345352 CPUtime=0.29 cores=1,3,5,7
/proc/15143/task/15201/stat : 15201 (java) S 15140 15143 12222 0 -1 1077944384 4918 13163 0 0 19 2 5 3 20 0 15 0 106982254 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340258351600 140341205899906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15202] ppid=15140 vsize=11082080 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15202/stat : 15202 (java) S 15140 15143 12222 0 -1 1077944384 18 13163 0 0 0 0 5 3 20 0 15 0 106982255 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340002547168 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15203] ppid=15140 vsize=11082080 memory=1303800 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15203/stat : 15203 (java) S 15140 15143 12222 0 -1 1077944384 9 13163 0 0 0 0 5 3 20 0 15 0 106982255 11348049920 325693 33554432000 4194304 4196468 140724389023280 140339801220608 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15204] ppid=15140 vsize=11082080 memory=1308416 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15204/stat : 15204 (java) S 15140 15143 12222 0 -1 1077944384 3 13163 0 0 0 0 5 3 20 0 15 0 106982257 11348049920 325693 33554432000 4194304 4196468 140724389023280 140339493821136 140341205907355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15205] ppid=15140 vsize=11082080 memory=1439744 CPUtime=12.23 cores=1,3,5,7
/proc/15143/task/15205/stat : 15205 (java) S 15140 15143 12222 0 -1 1077944384 33744 13163 0 0 1211 4 5 3 20 0 15 0 106982257 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340257298416 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15206] ppid=15140 vsize=11082080 memory=17448 CPUtime=11.51 cores=1,3,5,7
/proc/15143/task/15206/stat : 15206 (java) S 15140 15143 12222 0 -1 1077944384 30510 13163 0 0 1138 5 5 3 20 0 15 0 106982257 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340256245872 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15207] ppid=15140 vsize=11082080 memory=6791534058613427641 CPUtime=3.82 cores=1,3,5,7
/proc/15143/task/15207/stat : 15207 (java) S 15140 15143 12222 0 -1 1077944384 30117 13163 0 0 367 7 5 3 20 0 15 0 106982258 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340255193328 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15208] ppid=15140 vsize=11082080 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15208/stat : 15208 (java) S 15140 15143 12222 0 -1 1077944384 3 13163 0 0 0 0 5 3 20 0 15 0 106982258 11348049920 325693 33554432000 4194304 4196468 140724389023280 140339063024224 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15209] ppid=15140 vsize=11082080 memory=1792 CPUtime=0.19 cores=1,3,5,7
/proc/15143/task/15209/stat : 15209 (java) S 15140 15143 12222 0 -1 1077944384 427 13163 0 0 5 6 5 3 20 0 15 0 106982258 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340254141232 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1302772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+222.301 s]
/proc/loadavg: 1.58 1.73 1.84 3/216 15348
/proc/meminfo: memFree=20317448/32770624 swapFree=67108404/67108860
[pid=15143] ppid=15140 vsize=11082080 memory=1302772 CPUtime=252.08 cores=1,3,5,7
/proc/15143/stat : 15143 (java) S 15140 15143 12222 0 -1 1077944320 168681 13163 0 0 25085 115 5 3 20 0 15 0 106982243 11348049920 325693 33554432000 4194304 4196468 140724389023280 140724389005824 140341205888759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
/proc/15143/statm: 2770520 325693 3537 1 0 2732173 0
[pid=15143/tid=15196] ppid=15140 vsize=11082080 memory=1319188 CPUtime=221.09 cores=1,3,5,7
/proc/15143/task/15196/stat : 15196 (java) R 15140 15143 12222 0 -1 4202560 54577 13163 0 0 22072 29 5 3 20 0 15 0 106982252 11348049920 325693 33554432000 4194304 4196468 140724389023280 140341177719584 140340765849150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15197] ppid=15140 vsize=11082080 memory=1305340 CPUtime=0.89 cores=1,3,5,7
/proc/15143/task/15197/stat : 15197 (java) S 15140 15143 12222 0 -1 1077944384 1703 13163 0 0 66 15 5 3 20 0 15 0 106982253 11348049920 325693 33554432000 4194304 4196468 140724389023280 140341210130704 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15198] ppid=15140 vsize=11082080 memory=1303800 CPUtime=0.9 cores=1,3,5,7
/proc/15143/task/15198/stat : 15198 (java) S 15140 15143 12222 0 -1 1077944384 4549 13163 0 0 67 15 5 3 20 0 15 0 106982253 11348049920 325693 33554432000 4194304 4196468 140724389023280 140341080779152 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15199] ppid=15140 vsize=11082080 memory=1303288 CPUtime=0.9 cores=1,3,5,7
/proc/15143/task/15199/stat : 15199 (java) S 15140 15143 12222 0 -1 1077944384 1562 13163 0 0 66 16 5 3 20 0 15 0 106982253 11348049920 325693 33554432000 4194304 4196468 140724389023280 140341079726608 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15200] ppid=15140 vsize=11082080 memory=2600 CPUtime=0.89 cores=1,3,5,7
/proc/15143/task/15200/stat : 15200 (java) S 15140 15143 12222 0 -1 1077944384 4350 13163 0 0 66 15 5 3 20 0 15 0 106982253 11348049920 325693 33554432000 4194304 4196468 140724389023280 140341078674064 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15201] ppid=15140 vsize=11082080 memory=1345352 CPUtime=0.29 cores=1,3,5,7
/proc/15143/task/15201/stat : 15201 (java) S 15140 15143 12222 0 -1 1077944384 4918 13163 0 0 19 2 5 3 20 0 15 0 106982254 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340258351600 140341205899906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15202] ppid=15140 vsize=11082080 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15202/stat : 15202 (java) S 15140 15143 12222 0 -1 1077944384 18 13163 0 0 0 0 5 3 20 0 15 0 106982255 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340002547168 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15203] ppid=15140 vsize=11082080 memory=1303800 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15203/stat : 15203 (java) S 15140 15143 12222 0 -1 1077944384 9 13163 0 0 0 0 5 3 20 0 15 0 106982255 11348049920 325693 33554432000 4194304 4196468 140724389023280 140339801220608 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15204] ppid=15140 vsize=11082080 memory=1308416 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15204/stat : 15204 (java) S 15140 15143 12222 0 -1 1077944384 3 13163 0 0 0 0 5 3 20 0 15 0 106982257 11348049920 325693 33554432000 4194304 4196468 140724389023280 140339493821136 140341205907355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15205] ppid=15140 vsize=11082080 memory=1439744 CPUtime=12.23 cores=1,3,5,7
/proc/15143/task/15205/stat : 15205 (java) S 15140 15143 12222 0 -1 1077944384 33744 13163 0 0 1211 4 5 3 20 0 15 0 106982257 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340257298416 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15206] ppid=15140 vsize=11082080 memory=17448 CPUtime=11.51 cores=1,3,5,7
/proc/15143/task/15206/stat : 15206 (java) S 15140 15143 12222 0 -1 1077944384 30510 13163 0 0 1138 5 5 3 20 0 15 0 106982257 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340256245872 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15207] ppid=15140 vsize=11082080 memory=6791534058613427641 CPUtime=3.82 cores=1,3,5,7
/proc/15143/task/15207/stat : 15207 (java) S 15140 15143 12222 0 -1 1077944384 30117 13163 0 0 367 7 5 3 20 0 15 0 106982258 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340255193328 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15208] ppid=15140 vsize=11082080 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15208/stat : 15208 (java) S 15140 15143 12222 0 -1 1077944384 3 13163 0 0 0 0 5 3 20 0 15 0 106982258 11348049920 325693 33554432000 4194304 4196468 140724389023280 140339063024224 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15209] ppid=15140 vsize=11082080 memory=1792 CPUtime=0.19 cores=1,3,5,7
/proc/15143/task/15209/stat : 15209 (java) S 15140 15143 12222 0 -1 1077944384 427 13163 0 0 5 6 5 3 20 0 15 0 106982258 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340254141232 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1302772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+222.337 s]
# the end of solver process 15143 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.926 s, system=1.20359 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+222.301 s]
/proc/loadavg: 1.58 1.73 1.84 3/216 15348
/proc/meminfo: memFree=20317448/32770624 swapFree=67108404/67108860
[pid=15143] ppid=15140 vsize=11082080 memory=1302772 CPUtime=252.08 cores=1,3,5,7
/proc/15143/stat : 15143 (java) S 15140 15143 12222 0 -1 1077944320 168681 13163 0 0 25085 115 5 3 20 0 15 0 106982243 11348049920 325693 33554432000 4194304 4196468 140724389023280 140724389005824 140341205888759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
/proc/15143/statm: 2770520 325693 3537 1 0 2732173 0
[pid=15143/tid=15196] ppid=15140 vsize=11082080 memory=1319188 CPUtime=221.09 cores=1,3,5,7
/proc/15143/task/15196/stat : 15196 (java) R 15140 15143 12222 0 -1 4202560 54577 13163 0 0 22072 29 5 3 20 0 15 0 106982252 11348049920 325693 33554432000 4194304 4196468 140724389023280 140341177719584 140340765849150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15197] ppid=15140 vsize=11082080 memory=1305340 CPUtime=0.89 cores=1,3,5,7
/proc/15143/task/15197/stat : 15197 (java) S 15140 15143 12222 0 -1 1077944384 1703 13163 0 0 66 15 5 3 20 0 15 0 106982253 11348049920 325693 33554432000 4194304 4196468 140724389023280 140341210130704 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15198] ppid=15140 vsize=11082080 memory=1303800 CPUtime=0.9 cores=1,3,5,7
/proc/15143/task/15198/stat : 15198 (java) S 15140 15143 12222 0 -1 1077944384 4549 13163 0 0 67 15 5 3 20 0 15 0 106982253 11348049920 325693 33554432000 4194304 4196468 140724389023280 140341080779152 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15199] ppid=15140 vsize=11082080 memory=1303288 CPUtime=0.9 cores=1,3,5,7
/proc/15143/task/15199/stat : 15199 (java) S 15140 15143 12222 0 -1 1077944384 1562 13163 0 0 66 16 5 3 20 0 15 0 106982253 11348049920 325693 33554432000 4194304 4196468 140724389023280 140341079726608 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15200] ppid=15140 vsize=11082080 memory=2600 CPUtime=0.89 cores=1,3,5,7
/proc/15143/task/15200/stat : 15200 (java) S 15140 15143 12222 0 -1 1077944384 4350 13163 0 0 66 15 5 3 20 0 15 0 106982253 11348049920 325693 33554432000 4194304 4196468 140724389023280 140341078674064 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15201] ppid=15140 vsize=11082080 memory=1345352 CPUtime=0.29 cores=1,3,5,7
/proc/15143/task/15201/stat : 15201 (java) S 15140 15143 12222 0 -1 1077944384 4918 13163 0 0 19 2 5 3 20 0 15 0 106982254 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340258351600 140341205899906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15202] ppid=15140 vsize=11082080 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15202/stat : 15202 (java) S 15140 15143 12222 0 -1 1077944384 18 13163 0 0 0 0 5 3 20 0 15 0 106982255 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340002547168 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15203] ppid=15140 vsize=11082080 memory=1303800 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15203/stat : 15203 (java) S 15140 15143 12222 0 -1 1077944384 9 13163 0 0 0 0 5 3 20 0 15 0 106982255 11348049920 325693 33554432000 4194304 4196468 140724389023280 140339801220608 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15204] ppid=15140 vsize=11082080 memory=1308416 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15204/stat : 15204 (java) S 15140 15143 12222 0 -1 1077944384 3 13163 0 0 0 0 5 3 20 0 15 0 106982257 11348049920 325693 33554432000 4194304 4196468 140724389023280 140339493821136 140341205907355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15205] ppid=15140 vsize=11082080 memory=1439744 CPUtime=12.23 cores=1,3,5,7
/proc/15143/task/15205/stat : 15205 (java) S 15140 15143 12222 0 -1 1077944384 33744 13163 0 0 1211 4 5 3 20 0 15 0 106982257 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340257298416 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15206] ppid=15140 vsize=11082080 memory=17448 CPUtime=11.51 cores=1,3,5,7
/proc/15143/task/15206/stat : 15206 (java) S 15140 15143 12222 0 -1 1077944384 30510 13163 0 0 1138 5 5 3 20 0 15 0 106982257 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340256245872 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15207] ppid=15140 vsize=11082080 memory=6791534058613427641 CPUtime=3.82 cores=1,3,5,7
/proc/15143/task/15207/stat : 15207 (java) S 15140 15143 12222 0 -1 1077944384 30117 13163 0 0 367 7 5 3 20 0 15 0 106982258 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340255193328 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15208] ppid=15140 vsize=11082080 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/15143/task/15208/stat : 15208 (java) S 15140 15143 12222 0 -1 1077944384 3 13163 0 0 0 0 5 3 20 0 15 0 106982258 11348049920 325693 33554432000 4194304 4196468 140724389023280 140339063024224 140341205898965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
[pid=15143/tid=15209] ppid=15140 vsize=11082080 memory=1792 CPUtime=0.19 cores=1,3,5,7
/proc/15143/task/15209/stat : 15209 (java) S 15140 15143 12222 0 -1 1077944384 427 13163 0 0 5 6 5 3 20 0 15 0 106982258 11348049920 325693 33554432000 4194304 4196468 140724389023280 140340254141232 140341205899906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34496512 140724389030504 140724389033313 140724389033313 140724389035983 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1302772 KiB
Child status: 143
Real time (s): 222.337
CPU time (s): 252.13
CPU user time (s): 250.926
CPU system time (s): 1.20359
CPU usage (%): 113.4
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1839236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.926
system time used= 1.20359
maximum resident set size= 1840184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18875
involuntary context switches= 395
# summary of solver processes directly reported to runsolver:
# pid: 15143
# total CPU time (s): 252.13
# total CPU user time (s): 250.926
# total CPU system time (s): 1.20359
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32439 second user time and 2.14521 second system time
The end