0.98/0.75 c Concrete v3.8.1528841891564 running
19.87/7.55 c 01:23:29.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26570. 'extension(6, x[1][35]=[0‥6]) :: init: true :: relation: MDD 1589370464, 14 edges, 5 vertices, 15 tuples
19.87/7.55 c 01:23:29.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26571. 'extension(6, x[1][35]=[0‥6]) :: init: true :: relation: MDD 1871079355, 7 edges, 3 vertices, 6 tuples
19.87/7.55 c 01:23:29.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26603. 'extension(x[0][19]=[0‥6], 6) :: init: true :: relation: MDD 627677863, 14 edges, 5 vertices, 15 tuples
19.87/7.55 c 01:23:29.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26640. 'extension(x[0][32]=[0‥6], 6) :: init: true :: relation: MDD 940077890, 14 edges, 5 vertices, 15 tuples
19.87/7.55 c 01:23:29.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26641. 'extension(6, x[2][32]=[0‥6]) :: init: true :: relation: MDD 940077890, 14 edges, 5 vertices, 15 tuples
19.87/7.56 c 01:23:29.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26677. 'extension(x[0][34]=[0‥6], 6) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
19.87/7.56 c 01:23:29.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26678. 'extension(6, x[2][34]=[0‥6]) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
19.87/7.56 c 01:23:29.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26714. 'extension(x[0][43]=[0‥6], 6) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
19.87/7.56 c 01:23:29.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26715. 'extension(6, x[2][43]=[0‥6]) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
19.87/7.57 c 01:23:29.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26750. 'extension(x[1][1]=[0‥6], 6) :: init: true :: relation: MDD 121463477, 14 edges, 5 vertices, 15 tuples
19.87/7.57 c 01:23:29.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26789. 'extension(x[1][11]=[0‥6], 6) :: init: true :: relation: MDD 1903137985, 14 edges, 5 vertices, 15 tuples
19.87/7.57 c 01:23:29.737 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26828. 'extension(x[1][12]=[0‥6], 6) :: init: true :: relation: MDD 496627227, 14 edges, 5 vertices, 15 tuples
19.87/7.57 c 01:23:29.738 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26829. 'extension(6, x[3][12]=[0‥6]) :: init: true :: relation: MDD 496627227, 14 edges, 5 vertices, 15 tuples
19.87/7.57 c 01:23:29.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26870. 'extension(6, 6) :: init: true :: relation: MDD 627677863, 14 edges, 5 vertices, 15 tuples
19.87/7.57 c 01:23:29.741 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26909. 'extension(6, 6) :: init: true :: relation: MDD 121463477, 14 edges, 5 vertices, 15 tuples
19.87/7.57 c 01:23:29.742 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26946. 'extension(x[2][8]=[0‥6], 6) :: init: true :: relation: MDD 374145466, 14 edges, 5 vertices, 15 tuples
19.87/7.57 c 01:23:29.743 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26986. 'extension(6, x[4][11]=[0‥6]) :: init: true :: relation: MDD 1903137985, 14 edges, 5 vertices, 15 tuples
19.87/7.58 c 01:23:29.744 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26989. 'extension(6, 6) :: init: true :: relation: MDD 1903137985, 14 edges, 5 vertices, 15 tuples
19.87/7.58 c 01:23:29.746 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27026. 'extension(x[2][14]=[0‥6], 6) :: init: true :: relation: MDD 150135782, 14 edges, 5 vertices, 15 tuples
19.87/7.58 c 01:23:29.746 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27027. 'extension(6, x[4][14]=[0‥6]) :: init: true :: relation: MDD 150135782, 14 edges, 5 vertices, 15 tuples
19.87/7.58 c 01:23:29.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27069. 'extension(6, 6) :: init: true :: relation: MDD 627677863, 14 edges, 5 vertices, 15 tuples
19.87/7.58 c 01:23:29.749 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27106. 'extension(x[2][42]=[0‥6], 6) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
19.87/7.58 c 01:23:29.749 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27107. 'extension(6, x[4][42]=[0‥6]) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
19.87/7.58 c 01:23:29.752 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27146. 'extension(6, x[5][1]=[0‥6]) :: init: true :: relation: MDD 121463477, 14 edges, 5 vertices, 15 tuples
19.87/7.58 c 01:23:29.752 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27149. 'extension(6, 6) :: init: true :: relation: MDD 121463477, 14 edges, 5 vertices, 15 tuples
19.87/7.58 c 01:23:29.753 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27187. 'extension(6, x[5][8]=[0‥6]) :: init: true :: relation: MDD 374145466, 14 edges, 5 vertices, 15 tuples
19.87/7.58 c 01:23:29.754 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27190. 'extension(6, 6) :: init: true :: relation: MDD 374145466, 14 edges, 5 vertices, 15 tuples
19.87/7.58 c 01:23:29.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27228. 'extension(6, x[5][19]=[0‥6]) :: init: true :: relation: MDD 627677863, 14 edges, 5 vertices, 15 tuples
19.87/7.58 c 01:23:29.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27231. 'extension(6, 6) :: init: true :: relation: MDD 627677863, 14 edges, 5 vertices, 15 tuples
19.87/7.59 c 01:23:29.758 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27269. 'extension(6, wk[0][0]=[0‥1]) :: init: true :: relation: MDD 1014698874, 7 edges, 3 vertices, 6 tuples
19.87/7.59 c 01:23:29.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27270. 'extension(x[4][0]=[0‥6], 6) :: init: true :: relation: MDD 1342373353, 14 edges, 5 vertices, 15 tuples
19.87/7.59 c 01:23:29.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27271. 'extension(6, x[6][0]=[0‥6]) :: init: true :: relation: MDD 1342373353, 14 edges, 5 vertices, 15 tuples
19.87/7.59 c 01:23:29.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27312. 'extension(6, wk[3][0]=[0‥1]) :: init: true :: relation: MDD 1500020749, 7 edges, 3 vertices, 6 tuples
19.87/7.59 c 01:23:29.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27313. 'extension(x[4][3]=[0‥6], 6) :: init: true :: relation: MDD 744541767, 14 edges, 5 vertices, 15 tuples
19.87/7.59 c 01:23:29.762 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27355. 'extension(6, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 940905579, 7 edges, 3 vertices, 6 tuples
19.87/7.59 c 01:23:29.763 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27356. 'extension(x[4][7]=[0‥6], 6) :: init: true :: relation: MDD 2050328083, 14 edges, 5 vertices, 15 tuples
20.14/7.60 c 01:23:29.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27398. 'extension(6, wk[20][0]=[0‥1]) :: init: true :: relation: MDD 1428777808, 7 edges, 3 vertices, 6 tuples
20.14/7.60 c 01:23:29.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27399. 'extension(x[4][20]=[0‥6], 6) :: init: true :: relation: MDD 1746468168, 14 edges, 5 vertices, 15 tuples
20.14/7.60 c 01:23:29.765 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27441. 'extension(6, wk[30][0]=[0‥1]) :: init: true :: relation: MDD 383852959, 7 edges, 3 vertices, 6 tuples
20.14/7.60 c 01:23:29.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27442. 'extension(x[4][30]=[0‥6], 6) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
20.14/7.60 c 01:23:29.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27443. 'extension(6, x[6][30]=[0‥6]) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
20.14/7.60 c 01:23:29.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27485. 'extension(6, wk[3][0]=[0‥1]) :: init: true :: relation: MDD 11646065, 7 edges, 3 vertices, 6 tuples
20.14/7.60 c 01:23:29.769 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27489. 'extension(6, 6) :: init: true :: relation: MDD 744541767, 14 edges, 5 vertices, 15 tuples
20.14/7.60 c 01:23:29.769 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27528. 'extension(6, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 665448485, 7 edges, 3 vertices, 6 tuples
20.14/7.60 c 01:23:29.770 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27532. 'extension(6, 6) :: init: true :: relation: MDD 2050328083, 14 edges, 5 vertices, 15 tuples
20.14/7.60 c 01:23:29.770 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27571. 'extension(6, wk[16][0]=[0‥1]) :: init: true :: relation: MDD 560734926, 7 edges, 3 vertices, 6 tuples
20.14/7.60 c 01:23:29.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27572. 'extension(x[5][16]=[0‥6], 6) :: init: true :: relation: MDD 1263015120, 14 edges, 5 vertices, 15 tuples
20.14/7.60 c 01:23:29.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27573. 'extension(6, x[7][16]=[0‥6]) :: init: true :: relation: MDD 1263015120, 14 edges, 5 vertices, 15 tuples
20.14/7.60 c 01:23:29.773 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27614. 'extension(6, wk[20][0]=[0‥1]) :: init: true :: relation: MDD 700791887, 7 edges, 3 vertices, 6 tuples
20.14/7.60 c 01:23:29.774 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27618. 'extension(6, 6) :: init: true :: relation: MDD 1746468168, 14 edges, 5 vertices, 15 tuples
20.14/7.60 c 01:23:29.774 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27657. 'extension(6, wk[23][0]=[0‥1]) :: init: true :: relation: MDD 1753607449, 7 edges, 3 vertices, 6 tuples
20.14/7.60 c 01:23:29.775 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27658. 'extension(x[5][23]=[0‥6], 6) :: init: true :: relation: MDD 362463583, 14 edges, 5 vertices, 15 tuples
20.14/7.61 c 01:23:29.775 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27659. 'extension(6, x[7][23]=[0‥6]) :: init: true :: relation: MDD 362463583, 14 edges, 5 vertices, 15 tuples
20.14/7.61 c 01:23:29.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27700. 'extension(6, wk[32][0]=[0‥1]) :: init: true :: relation: MDD 1191544932, 7 edges, 3 vertices, 6 tuples
20.14/7.61 c 01:23:29.778 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27701. 'extension(x[5][32]=[0‥6], 6) :: init: true :: relation: MDD 940077890, 14 edges, 5 vertices, 15 tuples
20.14/7.61 c 01:23:29.778 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27745. 'extension(6, wk[36][0]=[0‥1]) :: init: true :: relation: MDD 1742273260, 7 edges, 3 vertices, 6 tuples
20.14/7.61 c 01:23:29.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27746. 'extension(x[5][36]=[0‥6], 6) :: init: true :: relation: MDD 633468398, 14 edges, 5 vertices, 15 tuples
20.14/7.61 c 01:23:29.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27747. 'extension(6, x[7][36]=[0‥6]) :: init: true :: relation: MDD 633468398, 14 edges, 5 vertices, 15 tuples
20.14/7.61 c 01:23:29.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27790. 'extension(x[6][2]=[0‥6], 6) :: init: true :: relation: MDD 1670479841, 14 edges, 5 vertices, 15 tuples
20.14/7.61 c 01:23:29.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27791. 'extension(6, x[8][2]=[0‥6]) :: init: true :: relation: MDD 1670479841, 14 edges, 5 vertices, 15 tuples
20.14/7.61 c 01:23:29.783 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27835. 'extension(6, 6) :: init: true :: relation: MDD 744541767, 14 edges, 5 vertices, 15 tuples
20.14/7.61 c 01:23:29.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27877. 'extension(6, 6) :: init: true :: relation: MDD 2050328083, 14 edges, 5 vertices, 15 tuples
20.14/7.61 c 01:23:29.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27916. 'extension(x[6][18]=[0‥6], 6) :: init: true :: relation: MDD 438793128, 14 edges, 5 vertices, 15 tuples
20.14/7.61 c 01:23:29.785 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27961. 'extension(6, 6) :: init: true :: relation: MDD 1746468168, 14 edges, 5 vertices, 15 tuples
20.14/7.61 c 01:23:29.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28000. 'extension(x[6][25]=[0‥6], 6) :: init: true :: relation: MDD 279513068, 14 edges, 5 vertices, 15 tuples
20.14/7.61 c 01:23:29.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28001. 'extension(6, x[8][25]=[0‥6]) :: init: true :: relation: MDD 279513068, 14 edges, 5 vertices, 15 tuples
20.14/7.62 c 01:23:29.788 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28042. 'extension(x[6][26]=[0‥6], 6) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.14/7.62 c 01:23:29.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28084. 'extension(6, x[8][32]=[0‥6]) :: init: true :: relation: MDD 940077890, 14 edges, 5 vertices, 15 tuples
20.14/7.62 c 01:23:29.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28087. 'extension(6, 6) :: init: true :: relation: MDD 940077890, 14 edges, 5 vertices, 15 tuples
20.14/7.62 c 01:23:29.791 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28128. 'extension(6, x[9][3]=[0‥6]) :: init: true :: relation: MDD 744541767, 14 edges, 5 vertices, 15 tuples
20.14/7.62 c 01:23:29.791 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28131. 'extension(6, 6) :: init: true :: relation: MDD 744541767, 14 edges, 5 vertices, 15 tuples
20.14/7.62 c 01:23:29.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28170. 'extension(x[7][5]=[0‥6], 6) :: init: true :: relation: MDD 476234749, 14 edges, 5 vertices, 15 tuples
20.14/7.62 c 01:23:29.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28212. 'extension(6, x[9][7]=[0‥6]) :: init: true :: relation: MDD 2050328083, 14 edges, 5 vertices, 15 tuples
20.14/7.62 c 01:23:29.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28215. 'extension(6, 6) :: init: true :: relation: MDD 2050328083, 14 edges, 5 vertices, 15 tuples
20.14/7.62 c 01:23:29.796 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28254. 'extension(x[7][9]=[0‥6], 6) :: init: true :: relation: MDD 340097685, 14 edges, 5 vertices, 15 tuples
20.14/7.63 c 01:23:29.796 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28255. 'extension(6, x[9][9]=[0‥6]) :: init: true :: relation: MDD 340097685, 14 edges, 5 vertices, 15 tuples
20.14/7.63 c 01:23:29.798 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28299. 'extension(6, 6) :: init: true :: relation: MDD 438793128, 14 edges, 5 vertices, 15 tuples
20.14/7.63 c 01:23:29.798 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28338. 'extension(6, x[9][20]=[0‥6]) :: init: true :: relation: MDD 1746468168, 14 edges, 5 vertices, 15 tuples
20.14/7.63 c 01:23:29.799 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28341. 'extension(6, 6) :: init: true :: relation: MDD 1746468168, 14 edges, 5 vertices, 15 tuples
20.14/7.63 c 01:23:29.800 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28383. 'extension(6, 6) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.14/7.63 c 01:23:29.801 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28425. 'extension(6, 6) :: init: true :: relation: MDD 476234749, 14 edges, 5 vertices, 15 tuples
20.14/7.63 c 01:23:29.801 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28467. 'extension(6, 6) :: init: true :: relation: MDD 438793128, 14 edges, 5 vertices, 15 tuples
20.14/7.63 c 01:23:29.802 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28506. 'extension(x[8][23]=[0‥6], 6) :: init: true :: relation: MDD 362463583, 14 edges, 5 vertices, 15 tuples
20.14/7.63 c 01:23:29.803 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28507. 'extension(6, x[10][23]=[0‥6]) :: init: true :: relation: MDD 362463583, 14 edges, 5 vertices, 15 tuples
20.14/7.63 c 01:23:29.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28548. 'extension(6, x[10][26]=[0‥6]) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.14/7.63 c 01:23:29.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28551. 'extension(6, 6) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.14/7.63 c 01:23:29.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28590. 'extension(x[8][40]=[0‥6], 6) :: init: true :: relation: MDD 1157276914, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28632. 'extension(x[9][0]=[0‥6], 6) :: init: true :: relation: MDD 1342373353, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28633. 'extension(6, x[11][0]=[0‥6]) :: init: true :: relation: MDD 1342373353, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28677. 'extension(6, 6) :: init: true :: relation: MDD 476234749, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28716. 'extension(x[9][12]=[0‥6], 6) :: init: true :: relation: MDD 496627227, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.810 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28758. 'extension(6, x[11][18]=[0‥6]) :: init: true :: relation: MDD 438793128, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28761. 'extension(6, 6) :: init: true :: relation: MDD 438793128, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28800. 'extension(x[9][25]=[0‥6], 6) :: init: true :: relation: MDD 279513068, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28845. 'extension(6, 6) :: init: true :: relation: MDD 1157276914, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.814 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28884. 'extension(6, x[12][5]=[0‥6]) :: init: true :: relation: MDD 476234749, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28887. 'extension(6, 6) :: init: true :: relation: MDD 476234749, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28929. 'extension(6, 6) :: init: true :: relation: MDD 496627227, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28971. 'extension(6, 6) :: init: true :: relation: MDD 279513068, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29010. 'extension(x[10][32]=[0‥6], 6) :: init: true :: relation: MDD 940077890, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29011. 'extension(6, x[12][32]=[0‥6]) :: init: true :: relation: MDD 940077890, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29054. 'extension(6, x[12][40]=[0‥6]) :: init: true :: relation: MDD 1157276914, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29057. 'extension(6, 6) :: init: true :: relation: MDD 1157276914, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29096. 'extension(6, wk[12][1]=[0‥1]) :: init: true :: relation: MDD 736888459, 7 edges, 3 vertices, 6 tuples
20.14/7.65 c 01:23:29.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29097. 'extension(6, x[13][12]=[0‥6]) :: init: true :: relation: MDD 496627227, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29100. 'extension(6, 6) :: init: true :: relation: MDD 496627227, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29139. 'extension(6, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 599592065, 7 edges, 3 vertices, 6 tuples
20.14/7.65 c 01:23:29.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29140. 'extension(x[11][13]=[0‥6], 6) :: init: true :: relation: MDD 775300103, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29182. 'extension(6, wk[17][1]=[0‥1]) :: init: true :: relation: MDD 1178953630, 7 edges, 3 vertices, 6 tuples
20.14/7.65 c 01:23:29.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29183. 'extension(x[11][17]=[0‥6], 6) :: init: true :: relation: MDD 725884502, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29225. 'extension(6, wk[21][1]=[0‥1]) :: init: true :: relation: MDD 2032479363, 7 edges, 3 vertices, 6 tuples
20.14/7.65 c 01:23:29.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29226. 'extension(x[11][21]=[0‥6], 6) :: init: true :: relation: MDD 1765745171, 14 edges, 5 vertices, 15 tuples
20.14/7.65 c 01:23:29.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29227. 'extension(6, x[13][21]=[0‥6]) :: init: true :: relation: MDD 1765745171, 14 edges, 5 vertices, 15 tuples
20.14/7.66 c 01:23:29.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29268. 'extension(6, wk[25][1]=[0‥1]) :: init: true :: relation: MDD 473655651, 7 edges, 3 vertices, 6 tuples
20.14/7.66 c 01:23:29.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29269. 'extension(6, x[13][25]=[0‥6]) :: init: true :: relation: MDD 279513068, 14 edges, 5 vertices, 15 tuples
20.14/7.66 c 01:23:29.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29272. 'extension(6, 6) :: init: true :: relation: MDD 279513068, 14 edges, 5 vertices, 15 tuples
20.14/7.66 c 01:23:29.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29311. 'extension(6, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 1414411897, 7 edges, 3 vertices, 6 tuples
20.14/7.66 c 01:23:29.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29315. 'extension(6, 6) :: init: true :: relation: MDD 775300103, 14 edges, 5 vertices, 15 tuples
20.14/7.66 c 01:23:29.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29354. 'extension(6, wk[17][1]=[0‥1]) :: init: true :: relation: MDD 1402751024, 7 edges, 3 vertices, 6 tuples
20.14/7.66 c 01:23:29.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29358. 'extension(6, 6) :: init: true :: relation: MDD 725884502, 14 edges, 5 vertices, 15 tuples
20.14/7.66 c 01:23:29.832 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29397. 'extension(6, wk[23][1]=[0‥1]) :: init: true :: relation: MDD 227030447, 7 edges, 3 vertices, 6 tuples
20.14/7.66 c 01:23:29.832 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29398. 'extension(x[12][23]=[0‥6], 6) :: init: true :: relation: MDD 362463583, 14 edges, 5 vertices, 15 tuples
20.14/7.66 c 01:23:29.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29440. 'extension(6, wk[43][1]=[0‥1]) :: init: true :: relation: MDD 784882213, 7 edges, 3 vertices, 6 tuples
20.14/7.66 c 01:23:29.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29441. 'extension(x[12][43]=[0‥6], 6) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
20.14/7.66 c 01:23:29.834 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29482. 'extension(x[13][10]=[0‥6], 6) :: init: true :: relation: MDD 448581721, 14 edges, 5 vertices, 15 tuples
20.14/7.66 c 01:23:29.835 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29527. 'extension(6, 6) :: init: true :: relation: MDD 775300103, 14 edges, 5 vertices, 15 tuples
20.14/7.66 c 01:23:29.836 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29566. 'extension(6, x[15][17]=[0‥6]) :: init: true :: relation: MDD 725884502, 14 edges, 5 vertices, 15 tuples
20.14/7.66 c 01:23:29.836 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29569. 'extension(6, 6) :: init: true :: relation: MDD 725884502, 14 edges, 5 vertices, 15 tuples
20.14/7.67 c 01:23:29.838 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29608. 'extension(6, x[15][23]=[0‥6]) :: init: true :: relation: MDD 362463583, 14 edges, 5 vertices, 15 tuples
20.14/7.67 c 01:23:29.838 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29611. 'extension(6, 6) :: init: true :: relation: MDD 362463583, 14 edges, 5 vertices, 15 tuples
20.14/7.67 c 01:23:29.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29650. 'extension(6, x[15][43]=[0‥6]) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
20.14/7.67 c 01:23:29.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29653. 'extension(6, 6) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
20.14/7.67 c 01:23:29.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29694. 'extension(6, 6) :: init: true :: relation: MDD 448581721, 14 edges, 5 vertices, 15 tuples
20.14/7.67 c 01:23:29.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29733. 'extension(6, x[16][13]=[0‥6]) :: init: true :: relation: MDD 775300103, 14 edges, 5 vertices, 15 tuples
20.14/7.67 c 01:23:29.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29736. 'extension(6, 6) :: init: true :: relation: MDD 775300103, 14 edges, 5 vertices, 15 tuples
20.14/7.67 c 01:23:29.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29775. 'extension(x[14][21]=[0‥6], 6) :: init: true :: relation: MDD 1765745171, 14 edges, 5 vertices, 15 tuples
20.14/7.68 c 01:23:29.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29817. 'extension(x[14][33]=[0‥6], 6) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.14/7.68 c 01:23:29.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29861. 'extension(x[14][41]=[0‥6], 6) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
20.14/7.68 c 01:23:29.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29903. 'extension(6, x[17][10]=[0‥6]) :: init: true :: relation: MDD 448581721, 14 edges, 5 vertices, 15 tuples
20.14/7.68 c 01:23:29.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29906. 'extension(6, 6) :: init: true :: relation: MDD 448581721, 14 edges, 5 vertices, 15 tuples
20.14/7.68 c 01:23:29.851 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29945. 'extension(6, x[17][21]=[0‥6]) :: init: true :: relation: MDD 1765745171, 14 edges, 5 vertices, 15 tuples
20.14/7.68 c 01:23:29.851 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29948. 'extension(6, 6) :: init: true :: relation: MDD 1765745171, 14 edges, 5 vertices, 15 tuples
20.14/7.68 c 01:23:29.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29987. 'extension(6, x[17][33]=[0‥6]) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.14/7.68 c 01:23:29.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29990. 'extension(6, 6) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.14/7.68 c 01:23:29.853 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30031. 'extension(6, x[17][41]=[0‥6]) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
20.14/7.68 c 01:23:29.854 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30034. 'extension(6, 6) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
20.14/7.68 c 01:23:29.855 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30073. 'extension(x[15][43]=[0‥6], 6) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
20.14/7.68 c 01:23:29.856 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30074. 'extension(6, x[17][43]=[0‥6]) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
20.14/7.68 c 01:23:29.857 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30114. 'extension(x[15][44]=[0‥6], 6) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.14/7.68 c 01:23:29.857 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30115. 'extension(6, x[17][44]=[0‥6]) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.14/7.69 c 01:23:29.859 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30155. 'extension(x[17][6]=[0‥6], 6) :: init: true :: relation: MDD 1397088232, 14 edges, 5 vertices, 15 tuples
20.14/7.69 c 01:23:29.859 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30197. 'extension(6, wk[6][2]=[0‥1]) :: init: true :: relation: MDD 1778993228, 7 edges, 3 vertices, 6 tuples
20.14/7.69 c 01:23:29.860 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30198. 'extension(6, x[20][6]=[0‥6]) :: init: true :: relation: MDD 1397088232, 14 edges, 5 vertices, 15 tuples
20.14/7.69 c 01:23:29.860 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30201. 'extension(6, 6) :: init: true :: relation: MDD 1397088232, 14 edges, 5 vertices, 15 tuples
20.14/7.69 c 01:23:29.861 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30240. 'extension(6, wk[27][2]=[0‥1]) :: init: true :: relation: MDD 1407858699, 7 edges, 3 vertices, 6 tuples
20.14/7.69 c 01:23:29.861 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30241. 'extension(x[18][27]=[0‥6], 6) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
20.14/7.69 c 01:23:29.862 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30283. 'extension(6, wk[37][2]=[0‥1]) :: init: true :: relation: MDD 1863709994, 7 edges, 3 vertices, 6 tuples
20.14/7.69 c 01:23:29.862 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30284. 'extension(x[18][37]=[0‥6], 6) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
20.14/7.69 c 01:23:29.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30328. 'extension(6, wk[27][2]=[0‥1]) :: init: true :: relation: MDD 610056415, 7 edges, 3 vertices, 6 tuples
20.14/7.69 c 01:23:29.864 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30329. 'extension(6, x[21][27]=[0‥6]) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
20.14/7.69 c 01:23:29.864 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30332. 'extension(6, 6) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
20.14/7.69 c 01:23:29.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30371. 'extension(6, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 681514473, 7 edges, 3 vertices, 6 tuples
20.14/7.69 c 01:23:29.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30372. 'extension(x[19][29]=[0‥6], 6) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
20.14/7.69 c 01:23:29.866 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30414. 'extension(6, wk[31][2]=[0‥1]) :: init: true :: relation: MDD 514404587, 7 edges, 3 vertices, 6 tuples
20.14/7.69 c 01:23:29.866 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30415. 'extension(x[19][31]=[0‥6], 6) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
20.14/7.69 c 01:23:29.866 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30459. 'extension(6, wk[37][2]=[0‥1]) :: init: true :: relation: MDD 874277570, 7 edges, 3 vertices, 6 tuples
20.14/7.69 c 01:23:29.867 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30463. 'extension(6, 6) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
20.14/7.70 c 01:23:29.867 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30504. 'extension(x[20][9]=[0‥6], 6) :: init: true :: relation: MDD 340097685, 14 edges, 5 vertices, 15 tuples
20.14/7.70 c 01:23:29.868 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30546. 'extension(6, x[22][29]=[0‥6]) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
20.14/7.70 c 01:23:29.868 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30549. 'extension(6, 6) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
20.46/7.70 c 01:23:29.869 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30591. 'extension(6, 6) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
20.46/7.70 c 01:23:29.870 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30632. 'extension(x[20][33]=[0‥6], 6) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.46/7.70 c 01:23:29.870 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30633. 'extension(6, x[22][33]=[0‥6]) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.46/7.70 c 01:23:29.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30676. 'extension(6, x[22][37]=[0‥6]) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
20.46/7.70 c 01:23:29.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30679. 'extension(6, 6) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
20.46/7.70 c 01:23:29.873 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30723. 'extension(6, 6) :: init: true :: relation: MDD 340097685, 14 edges, 5 vertices, 15 tuples
20.46/7.70 c 01:23:29.874 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30765. 'extension(6, 6) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
20.46/7.70 c 01:23:29.874 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30806. 'extension(x[21][44]=[0‥6], 6) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.46/7.70 c 01:23:29.875 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30847. 'extension(6, x[24][9]=[0‥6]) :: init: true :: relation: MDD 340097685, 14 edges, 5 vertices, 15 tuples
20.46/7.70 c 01:23:29.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30850. 'extension(6, 6) :: init: true :: relation: MDD 340097685, 14 edges, 5 vertices, 15 tuples
20.46/7.70 c 01:23:29.877 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30889. 'extension(x[22][11]=[0‥6], 6) :: init: true :: relation: MDD 1903137985, 14 edges, 5 vertices, 15 tuples
20.46/7.71 c 01:23:29.877 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30931. 'extension(6, x[24][31]=[0‥6]) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
20.46/7.71 c 01:23:29.878 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30934. 'extension(6, 6) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
20.46/7.71 c 01:23:29.879 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30975. 'extension(x[22][42]=[0‥6], 6) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
20.46/7.71 c 01:23:29.879 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30976. 'extension(6, x[24][42]=[0‥6]) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
20.46/7.71 c 01:23:29.880 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31017. 'extension(6, x[24][44]=[0‥6]) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.46/7.71 c 01:23:29.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31020. 'extension(6, 6) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.46/7.71 c 01:23:29.882 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31058. 'extension(6, x[25][11]=[0‥6]) :: init: true :: relation: MDD 1903137985, 14 edges, 5 vertices, 15 tuples
20.46/7.71 c 01:23:29.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31061. 'extension(6, 6) :: init: true :: relation: MDD 1903137985, 14 edges, 5 vertices, 15 tuples
20.46/7.71 c 01:23:29.884 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31100. 'extension(x[23][34]=[0‥6], 6) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
20.46/7.71 c 01:23:29.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31147. 'extension(6, 6) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
20.46/7.71 c 01:23:29.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31188. 'extension(x[24][38]=[0‥6], 6) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
20.46/7.71 c 01:23:29.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31189. 'extension(6, x[26][38]=[0‥6]) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
20.46/7.71 c 01:23:29.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31232. 'extension(6, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 1795568752, 7 edges, 3 vertices, 6 tuples
20.46/7.71 c 01:23:29.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31233. 'extension(x[25][26]=[0‥6], 6) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.46/7.72 c 01:23:29.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31234. 'extension(6, x[27][26]=[0‥6]) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.46/7.72 c 01:23:29.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31275. 'extension(6, wk[34][3]=[0‥1]) :: init: true :: relation: MDD 1207664329, 7 edges, 3 vertices, 6 tuples
20.46/7.72 c 01:23:29.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31276. 'extension(6, x[27][34]=[0‥6]) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
20.46/7.72 c 01:23:29.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31279. 'extension(6, 6) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
20.46/7.72 c 01:23:29.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31320. 'extension(6, wk[37][3]=[0‥1]) :: init: true :: relation: MDD 2021466012, 7 edges, 3 vertices, 6 tuples
20.46/7.72 c 01:23:29.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31321. 'extension(x[25][37]=[0‥6], 6) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
20.46/7.72 c 01:23:29.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31322. 'extension(6, x[27][37]=[0‥6]) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
20.46/7.72 c 01:23:29.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31365. 'extension(6, wk[41][3]=[0‥1]) :: init: true :: relation: MDD 925976643, 7 edges, 3 vertices, 6 tuples
20.46/7.72 c 01:23:29.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31366. 'extension(x[25][41]=[0‥6], 6) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
20.46/7.72 c 01:23:29.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31408. 'extension(6, wk[44][3]=[0‥1]) :: init: true :: relation: MDD 636536295, 7 edges, 3 vertices, 6 tuples
20.46/7.72 c 01:23:29.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31409. 'extension(x[25][44]=[0‥6], 6) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.46/7.72 c 01:23:29.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31410. 'extension(6, x[27][44]=[0‥6]) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.46/7.72 c 01:23:29.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31450. 'extension(6, wk[16][3]=[0‥1]) :: init: true :: relation: MDD 542475071, 7 edges, 3 vertices, 6 tuples
20.46/7.72 c 01:23:29.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31451. 'extension(x[26][16]=[0‥6], 6) :: init: true :: relation: MDD 1263015120, 14 edges, 5 vertices, 15 tuples
20.46/7.72 c 01:23:29.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31493. 'extension(6, wk[28][3]=[0‥1]) :: init: true :: relation: MDD 1459462244, 7 edges, 3 vertices, 6 tuples
20.46/7.73 c 01:23:29.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31494. 'extension(x[26][28]=[0‥6], 6) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
20.46/7.73 c 01:23:29.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31536. 'extension(6, wk[29][3]=[0‥1]) :: init: true :: relation: MDD 1925489578, 7 edges, 3 vertices, 6 tuples
20.46/7.73 c 01:23:29.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31537. 'extension(x[26][29]=[0‥6], 6) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
20.46/7.73 c 01:23:29.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31579. 'extension(6, wk[41][3]=[0‥1]) :: init: true :: relation: MDD 1452493025, 7 edges, 3 vertices, 6 tuples
20.46/7.73 c 01:23:29.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31580. 'extension(6, x[28][41]=[0‥6]) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
20.46/7.73 c 01:23:29.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31583. 'extension(6, 6) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
20.46/7.73 c 01:23:29.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31622. 'extension(x[27][14]=[0‥6], 6) :: init: true :: relation: MDD 150135782, 14 edges, 5 vertices, 15 tuples
20.46/7.73 c 01:23:29.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31667. 'extension(6, 6) :: init: true :: relation: MDD 1263015120, 14 edges, 5 vertices, 15 tuples
20.46/7.73 c 01:23:29.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31706. 'extension(6, x[29][28]=[0‥6]) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
20.46/7.73 c 01:23:29.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31709. 'extension(6, 6) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
20.46/7.73 c 01:23:29.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31748. 'extension(6, x[29][29]=[0‥6]) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
20.46/7.73 c 01:23:29.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31751. 'extension(6, 6) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
20.46/7.73 c 01:23:29.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31790. 'extension(x[27][38]=[0‥6], 6) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
20.46/7.73 c 01:23:29.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31834. 'extension(x[28][4]=[0‥6], 6) :: init: true :: relation: MDD 29838617, 14 edges, 5 vertices, 15 tuples
20.46/7.73 c 01:23:29.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31879. 'extension(6, 6) :: init: true :: relation: MDD 150135782, 14 edges, 5 vertices, 15 tuples
20.46/7.73 c 01:23:29.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31918. 'extension(6, x[30][16]=[0‥6]) :: init: true :: relation: MDD 1263015120, 14 edges, 5 vertices, 15 tuples
20.46/7.73 c 01:23:29.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31921. 'extension(6, 6) :: init: true :: relation: MDD 1263015120, 14 edges, 5 vertices, 15 tuples
20.46/7.74 c 01:23:29.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31960. 'extension(x[28][22]=[0‥6], 6) :: init: true :: relation: MDD 1810873106, 14 edges, 5 vertices, 15 tuples
20.46/7.74 c 01:23:29.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32005. 'extension(6, 6) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
20.46/7.74 c 01:23:29.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32046. 'extension(x[28][40]=[0‥6], 6) :: init: true :: relation: MDD 1157276914, 14 edges, 5 vertices, 15 tuples
20.46/7.74 c 01:23:29.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32047. 'extension(6, x[30][40]=[0‥6]) :: init: true :: relation: MDD 1157276914, 14 edges, 5 vertices, 15 tuples
20.46/7.74 c 01:23:29.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32091. 'extension(6, 6) :: init: true :: relation: MDD 29838617, 14 edges, 5 vertices, 15 tuples
20.46/7.74 c 01:23:29.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32130. 'extension(6, x[31][14]=[0‥6]) :: init: true :: relation: MDD 150135782, 14 edges, 5 vertices, 15 tuples
20.46/7.74 c 01:23:29.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32133. 'extension(6, 6) :: init: true :: relation: MDD 150135782, 14 edges, 5 vertices, 15 tuples
20.46/7.74 c 01:23:29.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32175. 'extension(6, 6) :: init: true :: relation: MDD 1810873106, 14 edges, 5 vertices, 15 tuples
20.46/7.74 c 01:23:29.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32214. 'extension(x[29][27]=[0‥6], 6) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
20.46/7.74 c 01:23:29.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32256. 'extension(x[29][36]=[0‥6], 6) :: init: true :: relation: MDD 633468398, 14 edges, 5 vertices, 15 tuples
20.46/7.74 c 01:23:29.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32300. 'extension(6, x[31][38]=[0‥6]) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
20.46/7.74 c 01:23:29.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32303. 'extension(6, 6) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
20.46/7.74 c 01:23:29.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32347. 'extension(6, 6) :: init: true :: relation: MDD 29838617, 14 edges, 5 vertices, 15 tuples
20.46/7.74 c 01:23:29.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32386. 'extension(x[30][8]=[0‥6], 6) :: init: true :: relation: MDD 374145466, 14 edges, 5 vertices, 15 tuples
20.46/7.75 c 01:23:29.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32431. 'extension(6, 6) :: init: true :: relation: MDD 1810873106, 14 edges, 5 vertices, 15 tuples
20.46/7.75 c 01:23:29.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32470. 'extension(6, x[32][27]=[0‥6]) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
20.46/7.75 c 01:23:29.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32473. 'extension(6, 6) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
20.46/7.75 c 01:23:29.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32512. 'extension(x[30][28]=[0‥6], 6) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
20.46/7.75 c 01:23:29.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32557. 'extension(6, 6) :: init: true :: relation: MDD 633468398, 14 edges, 5 vertices, 15 tuples
20.46/7.75 c 01:23:29.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32598. 'extension(x[30][42]=[0‥6], 6) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
20.46/7.75 c 01:23:29.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32640. 'extension(6, x[33][4]=[0‥6]) :: init: true :: relation: MDD 29838617, 14 edges, 5 vertices, 15 tuples
20.46/7.75 c 01:23:29.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32643. 'extension(6, 6) :: init: true :: relation: MDD 29838617, 14 edges, 5 vertices, 15 tuples
20.46/7.75 c 01:23:29.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32682. 'extension(6, x[33][8]=[0‥6]) :: init: true :: relation: MDD 374145466, 14 edges, 5 vertices, 15 tuples
20.46/7.75 c 01:23:29.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32685. 'extension(6, 6) :: init: true :: relation: MDD 374145466, 14 edges, 5 vertices, 15 tuples
20.46/7.75 c 01:23:29.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32724. 'extension(x[31][15]=[0‥6], 6) :: init: true :: relation: MDD 991363637, 14 edges, 5 vertices, 15 tuples
20.46/7.75 c 01:23:29.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32766. 'extension(x[31][17]=[0‥6], 6) :: init: true :: relation: MDD 725884502, 14 edges, 5 vertices, 15 tuples
20.46/7.75 c 01:23:29.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32767. 'extension(6, x[33][17]=[0‥6]) :: init: true :: relation: MDD 725884502, 14 edges, 5 vertices, 15 tuples
20.46/7.76 c 01:23:29.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32808. 'extension(6, x[33][22]=[0‥6]) :: init: true :: relation: MDD 1810873106, 14 edges, 5 vertices, 15 tuples
20.46/7.76 c 01:23:29.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32811. 'extension(6, 6) :: init: true :: relation: MDD 1810873106, 14 edges, 5 vertices, 15 tuples
20.46/7.76 c 01:23:29.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32850. 'extension(6, x[33][28]=[0‥6]) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
20.46/7.76 c 01:23:29.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32853. 'extension(6, 6) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
20.46/7.76 c 01:23:29.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32892. 'extension(6, x[33][36]=[0‥6]) :: init: true :: relation: MDD 633468398, 14 edges, 5 vertices, 15 tuples
20.46/7.76 c 01:23:29.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32895. 'extension(6, 6) :: init: true :: relation: MDD 633468398, 14 edges, 5 vertices, 15 tuples
20.46/7.76 c 01:23:29.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32936. 'extension(x[31][39]=[0‥6], 6) :: init: true :: relation: MDD 718781734, 14 edges, 5 vertices, 15 tuples
20.46/7.76 c 01:23:29.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32980. 'extension(6, x[33][42]=[0‥6]) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
20.46/7.76 c 01:23:29.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32983. 'extension(6, 6) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
20.46/7.76 c 01:23:29.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33022. 'extension(6, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 1925835770, 7 edges, 3 vertices, 6 tuples
20.46/7.76 c 01:23:29.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33026. 'extension(6, 6) :: init: true :: relation: MDD 991363637, 14 edges, 5 vertices, 15 tuples
20.46/7.76 c 01:23:29.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33065. 'extension(6, wk[24][4]=[0‥1]) :: init: true :: relation: MDD 885481831, 7 edges, 3 vertices, 6 tuples
20.46/7.76 c 01:23:29.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33066. 'extension(x[32][24]=[0‥6], 6) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.46/7.76 c 01:23:29.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33108. 'extension(6, wk[30][4]=[0‥1]) :: init: true :: relation: MDD 1501382858, 7 edges, 3 vertices, 6 tuples
20.46/7.76 c 01:23:29.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33109. 'extension(x[32][30]=[0‥6], 6) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
20.46/7.76 c 01:23:29.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33153. 'extension(6, wk[39][4]=[0‥1]) :: init: true :: relation: MDD 17203574, 7 edges, 3 vertices, 6 tuples
20.46/7.76 c 01:23:29.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33157. 'extension(6, 6) :: init: true :: relation: MDD 718781734, 14 edges, 5 vertices, 15 tuples
20.46/7.77 c 01:23:29.938 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33198. 'extension(6, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 1954507866, 7 edges, 3 vertices, 6 tuples
20.46/7.77 c 01:23:29.938 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33202. 'extension(6, 6) :: init: true :: relation: MDD 991363637, 14 edges, 5 vertices, 15 tuples
20.46/7.77 c 01:23:29.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33241. 'extension(6, wk[24][4]=[0‥1]) :: init: true :: relation: MDD 2027499247, 7 edges, 3 vertices, 6 tuples
20.46/7.77 c 01:23:29.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33245. 'extension(6, 6) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.46/7.77 c 01:23:29.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33284. 'extension(6, wk[30][4]=[0‥1]) :: init: true :: relation: MDD 746327606, 7 edges, 3 vertices, 6 tuples
20.46/7.77 c 01:23:29.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33285. 'extension(6, x[35][30]=[0‥6]) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
20.46/7.77 c 01:23:29.940 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33288. 'extension(6, 6) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
20.46/7.77 c 01:23:29.941 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33329. 'extension(6, wk[33][4]=[0‥1]) :: init: true :: relation: MDD 1002146838, 7 edges, 3 vertices, 6 tuples
20.46/7.77 c 01:23:29.941 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33330. 'extension(x[33][33]=[0‥6], 6) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.46/7.77 c 01:23:29.941 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33331. 'extension(6, x[35][33]=[0‥6]) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.46/7.77 c 01:23:29.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33374. 'extension(6, wk[35][4]=[0‥1]) :: init: true :: relation: MDD 2050951350, 7 edges, 3 vertices, 6 tuples
20.46/7.77 c 01:23:29.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33375. 'extension(x[33][35]=[0‥6], 6) :: init: true :: relation: MDD 1589370464, 14 edges, 5 vertices, 15 tuples
20.46/7.77 c 01:23:29.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33419. 'extension(6, wk[39][4]=[0‥1]) :: init: true :: relation: MDD 1903728000, 7 edges, 3 vertices, 6 tuples
20.46/7.77 c 01:23:29.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33423. 'extension(6, 6) :: init: true :: relation: MDD 718781734, 14 edges, 5 vertices, 15 tuples
20.46/7.77 c 01:23:29.945 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33464. 'extension(x[34][1]=[0‥6], 6) :: init: true :: relation: MDD 121463477, 14 edges, 5 vertices, 15 tuples
20.46/7.77 c 01:23:29.945 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33465. 'extension(6, x[36][1]=[0‥6]) :: init: true :: relation: MDD 121463477, 14 edges, 5 vertices, 15 tuples
20.46/7.79 c 01:23:29.960 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33506. 'extension(6, x[36][15]=[0‥6]) :: init: true :: relation: MDD 991363637, 14 edges, 5 vertices, 15 tuples
20.46/7.79 c 01:23:29.961 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33509. 'extension(6, 6) :: init: true :: relation: MDD 991363637, 14 edges, 5 vertices, 15 tuples
20.46/7.79 c 01:23:29.962 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33551. 'extension(6, 6) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.46/7.79 c 01:23:29.962 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33593. 'extension(6, 6) :: init: true :: relation: MDD 1589370464, 14 edges, 5 vertices, 15 tuples
20.46/7.79 c 01:23:29.962 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33634. 'extension(6, x[36][39]=[0‥6]) :: init: true :: relation: MDD 718781734, 14 edges, 5 vertices, 15 tuples
20.46/7.79 c 01:23:29.963 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33637. 'extension(6, 6) :: init: true :: relation: MDD 718781734, 14 edges, 5 vertices, 15 tuples
20.46/7.79 c 01:23:29.964 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33678. 'extension(x[35][6]=[0‥6], 6) :: init: true :: relation: MDD 1397088232, 14 edges, 5 vertices, 15 tuples
20.46/7.79 c 01:23:29.965 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33720. 'extension(6, x[37][24]=[0‥6]) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.46/7.79 c 01:23:29.965 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33723. 'extension(6, 6) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.46/7.79 c 01:23:29.966 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33762. 'extension(6, x[37][35]=[0‥6]) :: init: true :: relation: MDD 1589370464, 14 edges, 5 vertices, 15 tuples
20.46/7.79 c 01:23:29.967 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33765. 'extension(6, 6) :: init: true :: relation: MDD 1589370464, 14 edges, 5 vertices, 15 tuples
20.46/7.80 c 01:23:29.968 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33805. 'extension(x[36][0]=[0‥6], 6) :: init: true :: relation: MDD 1342373353, 14 edges, 5 vertices, 15 tuples
20.46/7.80 c 01:23:29.969 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33846. 'extension(6, x[38][6]=[0‥6]) :: init: true :: relation: MDD 1397088232, 14 edges, 5 vertices, 15 tuples
20.74/7.80 c 01:23:29.969 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33849. 'extension(6, 6) :: init: true :: relation: MDD 1397088232, 14 edges, 5 vertices, 15 tuples
20.74/7.80 c 01:23:29.970 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33887. 'extension(6, x[39][0]=[0‥6]) :: init: true :: relation: MDD 1342373353, 14 edges, 5 vertices, 15 tuples
20.74/7.80 c 01:23:29.971 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33890. 'extension(6, 6) :: init: true :: relation: MDD 1342373353, 14 edges, 5 vertices, 15 tuples
20.74/7.80 c 01:23:29.971 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33927. 'extension(x[37][10]=[0‥6], 6) :: init: true :: relation: MDD 448581721, 14 edges, 5 vertices, 15 tuples
20.74/7.80 c 01:23:29.972 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33928. 'extension(6, x[39][10]=[0‥6]) :: init: true :: relation: MDD 448581721, 14 edges, 5 vertices, 15 tuples
20.74/7.80 c 01:23:29.973 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33967. 'extension(x[37][30]=[0‥6], 6) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
20.74/7.80 c 01:23:29.973 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33968. 'extension(6, x[39][30]=[0‥6]) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
20.74/7.80 c 01:23:29.975 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34008. 'extension(x[38][2]=[0‥6], 6) :: init: true :: relation: MDD 1670479841, 14 edges, 5 vertices, 15 tuples
20.74/7.80 c 01:23:29.976 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34047. 'extension(6, wk[2][5]=[0‥1]) :: init: true :: relation: MDD 382698552, 7 edges, 3 vertices, 6 tuples
20.74/7.80 c 01:23:29.976 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34050. 'extension(6, 6) :: init: true :: relation: MDD 1670479841, 14 edges, 5 vertices, 15 tuples
20.74/7.80 c 01:23:29.976 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34085. 'extension(6, wk[21][5]=[0‥1]) :: init: true :: relation: MDD 2004952636, 7 edges, 3 vertices, 6 tuples
20.74/7.80 c 01:23:29.976 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34086. 'extension(x[39][21]=[0‥6], 6) :: init: true :: relation: MDD 1765745171, 14 edges, 5 vertices, 15 tuples
20.74/7.80 c 01:23:29.977 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34087. 'extension(6, x[41][21]=[0‥6]) :: init: true :: relation: MDD 1765745171, 14 edges, 5 vertices, 15 tuples
20.74/7.81 c 01:23:29.978 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34123. 'extension(6, wk[2][5]=[0‥1]) :: init: true :: relation: MDD 2086177500, 7 edges, 3 vertices, 6 tuples
20.74/7.81 c 01:23:29.978 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34124. 'extension(6, 6) :: init: true :: relation: MDD 1670479841, 14 edges, 5 vertices, 15 tuples
20.74/7.81 c 01:23:29.978 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34125. 'extension(6, 6) :: init: true :: relation: MDD 2129927330, 7 edges, 3 vertices, 6 tuples
20.74/7.82 c 01:23:29.991 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34384. 'extension(x[1][35]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.992 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34386. 'extension(x[1][35]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.992 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34392. 'extension(x[0][19]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.992 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34396. 'extension(x[0][32]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.992 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34398. 'extension(x[2][32]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.993 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34410. 'extension(x[0][34]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.993 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34412. 'extension(x[2][34]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.993 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34424. 'extension(x[0][43]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.994 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34426. 'extension(x[2][43]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.994 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34436. 'extension(x[1][1]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.994 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34442. 'extension(x[1][11]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.995 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34448. 'extension(x[1][12]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.995 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34450. 'extension(x[3][12]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.995 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34472. 'extension(x[2][8]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.996 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34478. 'extension(x[4][11]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.996 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34492. 'extension(x[2][14]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.996 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34494. 'extension(x[4][14]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.997 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34508. 'extension(x[2][42]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.997 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34510. 'extension(x[4][42]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.82 c 01:23:29.997 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34524. 'extension(x[5][1]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:29.998 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34534. 'extension(x[5][8]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:29.998 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34548. 'extension(x[5][19]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:29.998 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34558. 'extension(wk[0][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:29.999 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34560. 'extension(x[4][0]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:29.999 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34562. 'extension(x[6][0]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:29.999 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34576. 'extension(wk[3][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:29.999 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34578. 'extension(x[4][3]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.000 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34584. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.000 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34586. 'extension(x[4][7]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.000 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34592. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.000 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34594. 'extension(x[4][20]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.001 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34600. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.001 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34602. 'extension(x[4][30]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.001 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34604. 'extension(x[6][30]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.001 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34620. 'extension(wk[3][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.002 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34626. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.002 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34632. 'extension(wk[16][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.002 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34634. 'extension(x[5][16]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.002 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34636. 'extension(x[7][16]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.003 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34650. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.003 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34656. 'extension(wk[23][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.003 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34658. 'extension(x[5][23]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.003 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34660. 'extension(x[7][23]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.004 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34674. 'extension(wk[32][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.004 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34676. 'extension(x[5][32]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.004 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34682. 'extension(wk[36][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.005 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34684. 'extension(x[5][36]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.005 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34686. 'extension(x[7][36]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.005 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34702. 'extension(x[6][2]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.005 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34704. 'extension(x[8][2]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.006 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34718. 'extension(x[6][18]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.006 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34724. 'extension(x[6][25]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.006 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34726. 'extension(x[8][25]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.007 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34740. 'extension(x[6][26]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.83 c 01:23:30.007 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34746. 'extension(x[8][32]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.008 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34762. 'extension(x[9][3]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.008 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34772. 'extension(x[7][5]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.008 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34778. 'extension(x[9][7]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.009 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34788. 'extension(x[7][9]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.009 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34790. 'extension(x[9][9]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.009 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34808. 'extension(x[9][20]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.010 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34826. 'extension(x[8][23]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.010 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34828. 'extension(x[10][23]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.010 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34842. 'extension(x[10][26]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.011 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34852. 'extension(x[8][40]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.011 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34858. 'extension(x[9][0]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.011 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34860. 'extension(x[11][0]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34874. 'extension(x[9][12]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34880. 'extension(x[11][18]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34890. 'extension(x[9][25]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.013 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34900. 'extension(x[12][5]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.013 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34918. 'extension(x[10][32]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.014 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34920. 'extension(x[12][32]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.014 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34936. 'extension(x[12][40]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.014 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34946. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.015 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34948. 'extension(x[13][12]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.015 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34958. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.015 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34960. 'extension(x[11][13]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.015 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34966. 'extension(wk[17][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.015 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34968. 'extension(x[11][17]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34974. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34976. 'extension(x[11][21]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34978. 'extension(x[13][21]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34992. 'extension(wk[25][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.017 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34994. 'extension(x[13][25]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.017 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35004. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.84 c 01:23:30.017 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35010. 'extension(wk[17][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.017 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35016. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35018. 'extension(x[12][23]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35024. 'extension(wk[43][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35026. 'extension(x[12][43]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35032. 'extension(x[13][10]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35038. 'extension(x[15][17]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.019 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35048. 'extension(x[15][23]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.019 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35062. 'extension(x[15][43]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.020 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35074. 'extension(x[16][13]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.020 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35084. 'extension(x[14][21]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.020 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35090. 'extension(x[14][33]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.020 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35096. 'extension(x[14][41]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35102. 'extension(x[17][10]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35112. 'extension(x[17][21]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35126. 'extension(x[17][33]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.022 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35142. 'extension(x[17][41]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.022 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35156. 'extension(x[15][43]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.023 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35158. 'extension(x[17][43]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.023 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35170. 'extension(x[15][44]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.023 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35172. 'extension(x[17][44]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.023 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35184. 'extension(x[17][6]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.024 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35190. 'extension(wk[6][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.024 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35192. 'extension(x[20][6]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.024 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35206. 'extension(wk[27][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.024 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35208. 'extension(x[18][27]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35214. 'extension(wk[37][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35216. 'extension(x[18][37]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35222. 'extension(wk[27][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35224. 'extension(x[21][27]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.026 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35238. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.026 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35240. 'extension(x[19][29]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.026 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35246. 'extension(wk[31][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.026 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35248. 'extension(x[19][31]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.027 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35254. 'extension(wk[37][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.027 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35260. 'extension(x[20][9]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.85 c 01:23:30.027 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35266. 'extension(x[22][29]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35284. 'extension(x[20][33]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35286. 'extension(x[22][33]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35302. 'extension(x[22][37]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.029 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35322. 'extension(x[21][44]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.029 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35328. 'extension(x[24][9]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35338. 'extension(x[22][11]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35344. 'extension(x[24][31]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35356. 'extension(x[22][42]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35358. 'extension(x[24][42]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35372. 'extension(x[24][44]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35382. 'extension(x[25][11]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35396. 'extension(x[23][34]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35406. 'extension(x[24][38]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35408. 'extension(x[26][38]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35422. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35424. 'extension(x[25][26]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35426. 'extension(x[27][26]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35440. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35442. 'extension(x[27][34]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35456. 'extension(wk[37][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35458. 'extension(x[25][37]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35460. 'extension(x[27][37]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35476. 'extension(wk[41][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35478. 'extension(x[25][41]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35484. 'extension(wk[44][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35486. 'extension(x[25][44]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35488. 'extension(x[27][44]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35500. 'extension(wk[16][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35502. 'extension(x[26][16]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35508. 'extension(wk[28][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35510. 'extension(x[26][28]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35516. 'extension(wk[29][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35518. 'extension(x[26][29]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35524. 'extension(wk[41][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35526. 'extension(x[28][41]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.86 c 01:23:30.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35540. 'extension(x[27][14]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35550. 'extension(x[29][28]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.038 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35564. 'extension(x[29][29]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.038 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35578. 'extension(x[27][38]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35584. 'extension(x[28][4]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35594. 'extension(x[30][16]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35604. 'extension(x[28][22]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.040 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35614. 'extension(x[28][40]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.040 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35616. 'extension(x[30][40]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.040 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35634. 'extension(x[31][14]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.041 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35648. 'extension(x[29][27]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.041 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35654. 'extension(x[29][36]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.041 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35660. 'extension(x[31][38]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35674. 'extension(x[30][8]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35680. 'extension(x[32][27]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35694. 'extension(x[30][28]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35704. 'extension(x[30][42]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35710. 'extension(x[33][4]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35720. 'extension(x[33][8]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.044 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35734. 'extension(x[31][15]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.044 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35740. 'extension(x[31][17]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.044 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35742. 'extension(x[33][17]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35756. 'extension(x[33][22]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35766. 'extension(x[33][28]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35780. 'extension(x[33][36]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.046 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35794. 'extension(x[31][39]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.046 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35800. 'extension(x[33][42]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.047 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35814. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.047 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35820. 'extension(wk[24][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.047 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35822. 'extension(x[32][24]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.047 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35828. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.87 c 01:23:30.047 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35830. 'extension(x[32][30]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35836. 'extension(wk[39][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35842. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35844. 'extension(wk[24][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35850. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35852. 'extension(x[35][30]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.049 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35868. 'extension(wk[33][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.049 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35870. 'extension(x[33][33]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.049 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35872. 'extension(x[35][33]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.050 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35888. 'extension(wk[35][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.050 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35890. 'extension(x[33][35]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.050 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35896. 'extension(wk[39][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.050 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35900. 'extension(x[34][1]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.051 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35902. 'extension(x[36][1]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.051 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35916. 'extension(x[36][15]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.051 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35930. 'extension(x[36][39]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.052 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35942. 'extension(x[35][6]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.052 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35948. 'extension(x[37][24]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.053 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35958. 'extension(x[37][35]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.053 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35972. 'extension(x[36][0]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.053 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35978. 'extension(x[38][6]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.054 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35992. 'extension(x[39][0]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.054 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36006. 'extension(x[37][10]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.054 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36008. 'extension(x[39][10]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.055 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36022. 'extension(x[37][30]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.055 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36024. 'extension(x[39][30]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.055 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36040. 'extension(x[38][2]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36046. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36052. 'extension(wk[21][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36054. 'extension(x[39][21]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36056. 'extension(x[41][21]=[0‥6]) :: init: true :: relation: Empty MDD
20.74/7.88 c 01:23:30.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36068. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
2520.02/2451.71 Exception in thread "main" java.util.concurrent.TimeoutException
2520.02/2451.71 at concrete.MAC.mac(MAC.scala:188)
2520.02/2451.71 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.02/2451.71 at scala.util.Try$.apply(Try.scala:209)
2520.02/2451.71 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.02/2451.71 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.02/2451.71 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.02/2451.71 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.02/2451.71 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.02/2451.71 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.02/2451.71 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.02/2451.71 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.02/2451.71 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.02/2451.71 at concrete.MAC.oneRun(MAC.scala:253)
2520.02/2451.71 at concrete.MAC.nextSolution(MAC.scala:272)
2520.02/2451.71 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.02/2451.71 at concrete.ProblemState.map(ProblemState.scala:221)
2520.02/2451.71 at concrete.ProblemState.map(ProblemState.scala:204)
2520.02/2451.71 at concrete.MAC.nextSolution(MAC.scala:334)
2520.02/2451.71 at concrete.Solver.hasNext(Solver.scala:166)
2520.02/2451.71 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.02/2451.71 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.02/2451.71 at concrete.Solver.foreach(Solver.scala:68)
2520.02/2451.71 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.02/2451.71 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.02/2451.71 at scala.util.Success.map(Try.scala:209)
2520.02/2451.71 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.02/2451.71 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.02/2451.71 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.02/2451.71 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.02/2451.71 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.02/2451.71 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.02/2451.71 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.02/2451.71 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.02/2451.71 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.02/2451.71 at scala.collection.immutable.List.foreach(List.scala:389)
2520.02/2451.71 at scala.App.main(App.scala:76)
2520.02/2451.71 at scala.App.main$(App.scala:74)
2520.02/2451.71 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.02/2451.71 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2451.71 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 (10044 MiB free)
memory of node 1: 16384 MiB (11803 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292969-1532301801/watcher-4292969-1532301801 -o /tmp/evaluation-result-4292969-1532301801/solver-4292969-1532301801 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532293810-5214 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2019244133 HOME/instance-4292969-1532301801.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6652, runsolver pid=6649
[startup+0.100015 s]*
/proc/loadavg: 1.41 1.40 1.40 3/207 6709
/proc/meminfo: memFree=22369484/32770624 swapFree=67108860/67108860
[pid=6652] ppid=6649 vsize=9972712 memory=14908 CPUtime=0.09 cores=1,3,5,7
/proc/6652/stat : 6652 (java) S 6649 6652 5182 0 -1 1077944320 4397 13223 0 0 1 1 5 2 20 0 6 0 47743349 10212057088 3727 33554432000 4194304 4196468 140735640724400 140735640706944 140172829646583 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
/proc/6652/statm: 2493178 3727 1934 1 0 2481616 0
[pid=6652/tid=6705] ppid=6649 vsize=9972712 memory=4718545630382498451 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6705/stat : 6705 (java) R 6649 6652 5182 0 -1 4202560 2234 13223 0 0 0 0 5 2 20 0 6 0 47743358 10212057088 3793 33554432000 4194304 4196468 140735640724400 140172801483344 140172815329109 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6706] ppid=6649 vsize=9972712 memory=5793855035315800505 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6706/stat : 6706 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 6 0 47743359 10212057088 3793 33554432000 4194304 4196468 140735640724400 140172833888912 140172829656789 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6707] ppid=6649 vsize=9972712 memory=139784305907328 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6707/stat : 6707 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 6 0 47743359 10212057088 3793 33554432000 4194304 4196468 140735640724400 140172402723344 140172829656789 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6708] ppid=6649 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6708/stat : 6708 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 6 0 47743359 10212057088 3793 33554432000 4194304 4196468 140735640724400 140172401670544 140172829656789 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6709] ppid=6649 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6709/stat : 6709 (java) S 6649 6652 5182 0 -1 1077944384 2 13223 0 0 0 0 5 2 20 0 6 0 47743359 10212057088 3793 33554432000 4194304 4196468 140735640724400 140172400617744 140172829656789 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14908 KiB
[startup+0.209949 s]*
/proc/loadavg: 1.41 1.40 1.40 3/216 6718
/proc/meminfo: memFree=22344412/32770624 swapFree=67108860/67108860
[pid=6652] ppid=6649 vsize=10818904 memory=43804 CPUtime=0.25 cores=1,3,5,7
/proc/6652/stat : 6652 (java) S 6649 6652 5182 0 -1 1077944320 8109 13223 0 0 16 2 5 2 20 0 15 0 47743349 11078557696 10951 33554432000 4194304 4196468 140735640724400 140735640706944 140172829646583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
/proc/6652/statm: 2704726 10951 2985 1 0 2667149 0
[pid=6652/tid=6705] ppid=6649 vsize=10818904 memory=-2899909650764262549 CPUtime=0.18 cores=1,3,5,7
/proc/6652/task/6705/stat : 6705 (java) R 6649 6652 5182 0 -1 4202560 4733 13223 0 0 10 1 5 2 20 0 15 0 47743358 11078557696 11083 33554432000 4194304 4196468 140735640724400 140172801436576 140172809922332 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6706] ppid=6649 vsize=10818904 memory=4211973510510697866 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6706/stat : 6706 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743359 11078557696 11083 33554432000 4194304 4196468 140735640724400 140172833888912 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6707] ppid=6649 vsize=10818904 memory=139784305907328 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6707/stat : 6707 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743359 11078557696 11083 33554432000 4194304 4196468 140735640724400 140172402723344 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6708] ppid=6649 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6708/stat : 6708 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743359 11078557696 11083 33554432000 4194304 4196468 140735640724400 140172401670544 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6709] ppid=6649 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6709/stat : 6709 (java) S 6649 6652 5182 0 -1 1077944384 2 13223 0 0 0 0 5 2 20 0 15 0 47743359 11078557696 11083 33554432000 4194304 4196468 140735640724400 140172400617744 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6710] ppid=6649 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6710/stat : 6710 (java) S 6649 6652 5182 0 -1 1077944384 2 13223 0 0 0 0 5 2 20 0 15 0 47743360 11078557696 11083 33554432000 4194304 4196468 140735640724400 140172289076080 140172829657730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6711] ppid=6649 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6711/stat : 6711 (java) S 6649 6652 5182 0 -1 1077944384 33 13223 0 0 0 0 5 2 20 0 15 0 47743361 11078557696 11149 33554432000 4194304 4196468 140735640724400 140172288022048 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6712] ppid=6649 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6712/stat : 6712 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743361 11078557696 11149 33554432000 4194304 4196468 140735640724400 140172163278192 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6713] ppid=6649 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6713/stat : 6713 (java) S 6649 6652 5182 0 -1 1077944384 2 13223 0 0 0 0 5 2 20 0 15 0 47743364 11078557696 11149 33554432000 4194304 4196468 140735640724400 140171559299408 140172829665179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6714] ppid=6649 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6652/task/6714/stat : 6714 (java) S 6649 6652 5182 0 -1 1077944384 497 13223 0 0 1 0 5 2 20 0 15 0 47743364 11078557696 11149 33554432000 4194304 4196468 140735640724400 140172254464368 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6715] ppid=6649 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6715/stat : 6715 (java) S 6649 6652 5182 0 -1 1077944384 133 13223 0 0 0 0 5 2 20 0 15 0 47743364 11078557696 11149 33554432000 4194304 4196468 140735640724400 140172253411568 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6716] ppid=6649 vsize=10818904 memory=139784305907328 CPUtime=0.1 cores=1,3,5,7
/proc/6652/task/6716/stat : 6716 (java) S 6649 6652 5182 0 -1 1077944384 662 13223 0 0 3 0 5 2 20 0 15 0 47743364 11078557696 11149 33554432000 4194304 4196468 140735640724400 140172252358768 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6717] ppid=6649 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6717/stat : 6717 (java) S 6649 6652 5182 0 -1 1077944384 3 13223 0 0 0 0 5 2 20 0 15 0 47743364 11078557696 11149 33554432000 4194304 4196468 140735640724400 140171089537248 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6718] ppid=6649 vsize=10818904 memory=139784305907328 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6718/stat : 6718 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743364 11078557696 11149 33554432000 4194304 4196468 140735640724400 140172251307184 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43804 KiB
[startup+0.311006 s]*
/proc/loadavg: 1.41 1.40 1.40 3/216 6718
/proc/meminfo: memFree=22332380/32770624 swapFree=67108860/67108860
[pid=6652] ppid=6649 vsize=10819352 memory=55572 CPUtime=0.38 cores=1,3,5,7
/proc/6652/stat : 6652 (java) S 6649 6652 5182 0 -1 1077944320 10939 13223 0 0 28 3 5 2 20 0 15 0 47743349 11079016448 13893 33554432000 4194304 4196468 140735640724400 140735640706944 140172829646583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
/proc/6652/statm: 2704838 13893 3104 1 0 2667149 0
[pid=6652/tid=6705] ppid=6649 vsize=10819352 memory=8112282956445269571 CPUtime=0.27 cores=1,3,5,7
/proc/6652/task/6705/stat : 6705 (java) R 6649 6652 5182 0 -1 4202560 7375 13223 0 0 19 1 5 2 20 0 15 0 47743358 11079016448 13893 33554432000 4194304 4196468 140735640724400 140172801436112 140172813727070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6706] ppid=6649 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6706/stat : 6706 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743359 11079016448 13893 33554432000 4194304 4196468 140735640724400 140172833888912 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6707] ppid=6649 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6707/stat : 6707 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743359 11079016448 13893 33554432000 4194304 4196468 140735640724400 140172402723344 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6708] ppid=6649 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6708/stat : 6708 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743359 11079016448 13893 33554432000 4194304 4196468 140735640724400 140172401670544 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6709] ppid=6649 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6709/stat : 6709 (java) S 6649 6652 5182 0 -1 1077944384 2 13223 0 0 0 0 5 2 20 0 15 0 47743359 11079016448 13893 33554432000 4194304 4196468 140735640724400 140172400617744 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6710] ppid=6649 vsize=10819352 memory=139784305907327 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6710/stat : 6710 (java) S 6649 6652 5182 0 -1 1077944384 2 13223 0 0 0 0 5 2 20 0 15 0 47743360 11079016448 13893 33554432000 4194304 4196468 140735640724400 140172289076080 140172829657730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6711] ppid=6649 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6711/stat : 6711 (java) S 6649 6652 5182 0 -1 1077944384 33 13223 0 0 0 0 5 2 20 0 15 0 47743361 11079016448 13893 33554432000 4194304 4196468 140735640724400 140172288022048 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6712] ppid=6649 vsize=10819352 memory=139784305907328 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6712/stat : 6712 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743361 11079016448 13893 33554432000 4194304 4196468 140735640724400 140172163278192 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6713] ppid=6649 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6713/stat : 6713 (java) S 6649 6652 5182 0 -1 1077944384 2 13223 0 0 0 0 5 2 20 0 15 0 47743364 11079016448 13893 33554432000 4194304 4196468 140735640724400 140171559299408 140172829665179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6714] ppid=6649 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6652/task/6714/stat : 6714 (java) S 6649 6652 5182 0 -1 1077944384 501 13223 0 0 2 0 5 2 20 0 15 0 47743364 11079016448 13893 33554432000 4194304 4196468 140735640724400 140172254464368 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6715] ppid=6649 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6652/task/6715/stat : 6715 (java) S 6649 6652 5182 0 -1 1077944384 139 13223 0 0 1 0 5 2 20 0 15 0 47743364 11079016448 13893 33554432000 4194304 4196468 140735640724400 140172253411568 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6716] ppid=6649 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6652/task/6716/stat : 6716 (java) S 6649 6652 5182 0 -1 1077944384 695 13223 0 0 5 0 5 2 20 0 15 0 47743364 11079016448 13893 33554432000 4194304 4196468 140735640724400 140172252358768 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6717] ppid=6649 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6717/stat : 6717 (java) S 6649 6652 5182 0 -1 1077944384 3 13223 0 0 0 0 5 2 20 0 15 0 47743364 11079016448 13893 33554432000 4194304 4196468 140735640724400 140171089537248 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6718] ppid=6649 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6718/stat : 6718 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743364 11079016448 13893 33554432000 4194304 4196468 140735640724400 140172251307184 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55572 KiB
[startup+0.700762 s]
/proc/loadavg: 1.41 1.40 1.40 3/216 6718
/proc/meminfo: memFree=22321340/32770624 swapFree=67108860/67108860
[pid=6652] ppid=6649 vsize=10819352 memory=88088 CPUtime=0.98 cores=1,3,5,7
/proc/6652/stat : 6652 (java) S 6649 6652 5182 0 -1 1077944320 17165 13223 0 0 87 4 5 2 20 0 15 0 47743349 11079016448 22022 33554432000 4194304 4196468 140735640724400 140735640706944 140172829646583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
/proc/6652/statm: 2704838 22022 3238 1 0 2667149 0
[pid=6652/tid=6705] ppid=6649 vsize=10819352 memory=15812 CPUtime=0.65 cores=1,3,5,7
/proc/6652/task/6705/stat : 6705 (java) R 6649 6652 5182 0 -1 4202560 12386 13223 0 0 56 2 5 2 20 0 15 0 47743358 11079016448 22022 33554432000 4194304 4196468 140735640724400 140172801474464 140172811210135 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6706] ppid=6649 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6706/stat : 6706 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743359 11079016448 22022 33554432000 4194304 4196468 140735640724400 140172833888912 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6707] ppid=6649 vsize=10819352 memory=288230583132500317 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6707/stat : 6707 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743359 11079016448 22022 33554432000 4194304 4196468 140735640724400 140172402723344 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6708] ppid=6649 vsize=10819352 memory=14408211646139281 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6708/stat : 6708 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743359 11079016448 22022 33554432000 4194304 4196468 140735640724400 140172401670544 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6709] ppid=6649 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6709/stat : 6709 (java) S 6649 6652 5182 0 -1 1077944384 2 13223 0 0 0 0 5 2 20 0 15 0 47743359 11079016448 22022 33554432000 4194304 4196468 140735640724400 140172400617744 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6710] ppid=6649 vsize=10819352 memory=139784207245824 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6710/stat : 6710 (java) S 6649 6652 5182 0 -1 1077944384 5 13223 0 0 0 0 5 2 20 0 15 0 47743360 11079016448 22022 33554432000 4194304 4196468 140735640724400 140172289076080 140172829657730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6711] ppid=6649 vsize=10819352 memory=139788300583916 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6711/stat : 6711 (java) S 6649 6652 5182 0 -1 1077944384 33 13223 0 0 0 0 5 2 20 0 15 0 47743361 11079016448 22022 33554432000 4194304 4196468 140735640724400 140172288022048 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6712] ppid=6649 vsize=10819352 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6712/stat : 6712 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743361 11079016448 22022 33554432000 4194304 4196468 140735640724400 140172163278192 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6713] ppid=6649 vsize=10819352 memory=7305218370954224980 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6713/stat : 6713 (java) S 6649 6652 5182 0 -1 1077944384 2 13223 0 0 0 0 5 2 20 0 15 0 47743364 11079016448 22022 33554432000 4194304 4196468 140735640724400 140171559299408 140172829665179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6714] ppid=6649 vsize=10819352 memory=6441954429982824551 CPUtime=0.14 cores=1,3,5,7
/proc/6652/task/6714/stat : 6714 (java) S 6649 6652 5182 0 -1 1077944384 891 13223 0 0 7 0 5 2 20 0 15 0 47743364 11079016448 22022 33554432000 4194304 4196468 140735640724400 140172254464368 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6715] ppid=6649 vsize=10819352 memory=6935650355406524496 CPUtime=0.16 cores=1,3,5,7
/proc/6652/task/6715/stat : 6715 (java) S 6649 6652 5182 0 -1 1077944384 782 13223 0 0 9 0 5 2 20 0 15 0 47743364 11079016448 22022 33554432000 4194304 4196468 140735640724400 140172253411568 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6716] ppid=6649 vsize=10819352 memory=5450909908396308010 CPUtime=0.2 cores=1,3,5,7
/proc/6652/task/6716/stat : 6716 (java) S 6649 6652 5182 0 -1 1077944384 868 13223 0 0 13 0 5 2 20 0 15 0 47743364 11079016448 22022 33554432000 4194304 4196468 140735640724400 140172252358768 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6717] ppid=6649 vsize=10819352 memory=1404238533841559158 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6717/stat : 6717 (java) S 6649 6652 5182 0 -1 1077944384 3 13223 0 0 0 0 5 2 20 0 15 0 47743364 11079016448 22022 33554432000 4194304 4196468 140735640724400 140171089537248 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6718] ppid=6649 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6718/stat : 6718 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743364 11079016448 22022 33554432000 4194304 4196468 140735640724400 140172251307184 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88088 KiB
[startup+1.50101 s]
/proc/loadavg: 1.41 1.40 1.40 3/216 6718
/proc/meminfo: memFree=22276000/32770624 swapFree=67108860/67108860
[pid=6652] ppid=6649 vsize=10828108 memory=174980 CPUtime=3.07 cores=1,3,5,7
/proc/6652/stat : 6652 (java) S 6649 6652 5182 0 -1 1077944320 24223 13223 0 0 293 7 5 2 20 0 15 0 47743349 11087982592 43745 33554432000 4194304 4196468 140735640724400 140735640706944 140172829646583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
/proc/6652/statm: 2707027 43745 3455 1 0 2668685 0
[pid=6652/tid=6705] ppid=6649 vsize=10828108 memory=138596 CPUtime=1.44 cores=1,3,5,7
/proc/6652/task/6705/stat : 6705 (java) R 6649 6652 5182 0 -1 4202560 15138 13223 0 0 133 4 5 2 20 0 15 0 47743358 11087982592 43745 33554432000 4194304 4196468 140735640724400 140172801473712 140172437152007 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6706] ppid=6649 vsize=10828108 memory=-3117775541953848935 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6706/stat : 6706 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743359 11087982592 43745 33554432000 4194304 4196468 140735640724400 140172833888912 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6707] ppid=6649 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6707/stat : 6707 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743359 11087982592 43745 33554432000 4194304 4196468 140735640724400 140172402723344 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6708] ppid=6649 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6708/stat : 6708 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743359 11087982592 43745 33554432000 4194304 4196468 140735640724400 140172401670544 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6709] ppid=6649 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6709/stat : 6709 (java) S 6649 6652 5182 0 -1 1077944384 2 13223 0 0 0 0 5 2 20 0 15 0 47743359 11087982592 43745 33554432000 4194304 4196468 140735640724400 140172400617744 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6710] ppid=6649 vsize=10828108 memory=168603437551701 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6710/stat : 6710 (java) S 6649 6652 5182 0 -1 1077944384 12 13223 0 0 0 0 5 2 20 0 15 0 47743360 11087982592 43745 33554432000 4194304 4196468 140735640724400 140172289076080 140172829657730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6711] ppid=6649 vsize=10828108 memory=262771 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6711/stat : 6711 (java) S 6649 6652 5182 0 -1 1077944384 33 13223 0 0 0 0 5 2 20 0 15 0 47743361 11087982592 43745 33554432000 4194304 4196468 140735640724400 140172288022048 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6712] ppid=6649 vsize=10828108 memory=4638778398332768848 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6712/stat : 6712 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743361 11087982592 43745 33554432000 4194304 4196468 140735640724400 140172163278192 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6713] ppid=6649 vsize=10828108 memory=6935649255759568960 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6713/stat : 6713 (java) S 6649 6652 5182 0 -1 1077944384 2 13223 0 0 0 0 5 2 20 0 15 0 47743364 11087982592 43745 33554432000 4194304 4196468 140735640724400 140171559299408 140172829665179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6714] ppid=6649 vsize=10828108 memory=279568413884656 CPUtime=0.61 cores=1,3,5,7
/proc/6652/task/6714/stat : 6714 (java) R 6649 6652 5182 0 -1 4202560 1884 13223 0 0 54 0 5 2 20 0 15 0 47743364 11087982592 43745 33554432000 4194304 4196468 140735640724400 140172254454288 140172810347429 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6715] ppid=6649 vsize=10828108 memory=4638778398332698727 CPUtime=0.62 cores=1,3,5,7
/proc/6652/task/6715/stat : 6715 (java) R 6649 6652 5182 0 -1 4202560 2914 13223 0 0 55 0 5 2 20 0 15 0 47743364 11087982592 43745 33554432000 4194304 4196468 140735640724400 140172253389296 140172813031183 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6716] ppid=6649 vsize=10828108 memory=9051568520317010093 CPUtime=0.56 cores=1,3,5,7
/proc/6652/task/6716/stat : 6716 (java) S 6649 6652 5182 0 -1 1077944384 2042 13223 0 0 49 0 5 2 20 0 15 0 47743364 11087982592 43745 33554432000 4194304 4196468 140735640724400 140172252358768 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6717] ppid=6649 vsize=10828108 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6717/stat : 6717 (java) S 6649 6652 5182 0 -1 1077944384 3 13223 0 0 0 0 5 2 20 0 15 0 47743364 11087982592 43745 33554432000 4194304 4196468 140735640724400 140171089537248 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6718] ppid=6649 vsize=10828108 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6718/stat : 6718 (java) S 6649 6652 5182 0 -1 1077944384 1 13223 0 0 0 0 5 2 20 0 15 0 47743364 11087982592 43745 33554432000 4194304 4196468 140735640724400 140172251307184 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
/proc/6652/task/6705/stat : 6705 (java) R 6649 6652 5182 0 -1 4202560 113403 13223 0 0 235963 55 5 2 20 0 15 0 47743358 11180277760 364873 33554432000 4194304 4196468 140735640724400 140172801481760 140172453622009 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6706] ppid=6649 vsize=10918240 memory=1457444 CPUtime=12.05 cores=1,3,5,7
/proc/6652/task/6706/stat : 6706 (java) S 6649 6652 5182 0 -1 1077944384 27023 13223 0 0 1141 57 5 2 20 0 15 0 47743359 11180277760 364873 33554432000 4194304 4196468 140735640724400 140172833888912 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6707] ppid=6649 vsize=10918240 memory=1459492 CPUtime=12.01 cores=1,3,5,7
/proc/6652/task/6707/stat : 6707 (java) S 6649 6652 5182 0 -1 1077944384 25902 13223 0 0 1137 57 5 2 20 0 15 0 47743359 11180277760 364873 33554432000 4194304 4196468 140735640724400 140172402723344 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6708] ppid=6649 vsize=10918240 memory=1459492 CPUtime=12.04 cores=1,3,5,7
/proc/6652/task/6708/stat : 6708 (java) S 6649 6652 5182 0 -1 1077944384 27989 13223 0 0 1139 58 5 2 20 0 15 0 47743359 11180277760 364873 33554432000 4194304 4196468 140735640724400 140172401670544 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6709] ppid=6649 vsize=10918240 memory=1459492 CPUtime=12.12 cores=1,3,5,7
/proc/6652/task/6709/stat : 6709 (java) S 6649 6652 5182 0 -1 1077944384 28678 13223 0 0 1148 57 5 2 20 0 15 0 47743359 11180277760 364873 33554432000 4194304 4196468 140735640724400 140172400617744 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6710] ppid=6649 vsize=10918240 memory=1459492 CPUtime=8.36 cores=1,3,5,7
/proc/6652/task/6710/stat : 6710 (java) S 6649 6652 5182 0 -1 1077944384 23620 13223 0 0 785 44 5 2 20 0 15 0 47743360 11180277760 364873 33554432000 4194304 4196468 140735640724400 140172289076080 140172829657730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6711] ppid=6649 vsize=10918240 memory=1459492 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6711/stat : 6711 (java) S 6649 6652 5182 0 -1 1077944384 46 13223 0 0 0 0 5 2 20 0 15 0 47743361 11180277760 364873 33554432000 4194304 4196468 140735640724400 140172288022112 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6712] ppid=6649 vsize=10918240 memory=15864 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6712/stat : 6712 (java) S 6649 6652 5182 0 -1 1077944384 7 13223 0 0 0 0 5 2 20 0 15 0 47743361 11180277760 364873 33554432000 4194304 4196468 140735640724400 140172163278208 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6713] ppid=6649 vsize=10918240 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6713/stat : 6713 (java) S 6649 6652 5182 0 -1 1077944384 2 13223 0 0 0 0 5 2 20 0 15 0 47743364 11180277760 364873 33554432000 4194304 4196468 140735640724400 140171559299408 140172829665179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6714] ppid=6649 vsize=10918240 memory=1459492 CPUtime=13.42 cores=1,3,5,7
/proc/6652/task/6714/stat : 6714 (java) S 6649 6652 5182 0 -1 1077944384 101923 13223 0 0 1327 8 5 2 20 0 15 0 47743364 11180277760 364873 33554432000 4194304 4196468 140735640724400 140172254464368 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6715] ppid=6649 vsize=10918240 memory=2340 CPUtime=13.2 cores=1,3,5,7
/proc/6652/task/6715/stat : 6715 (java) S 6649 6652 5182 0 -1 1077944384 97913 13223 0 0 1303 10 5 2 20 0 15 0 47743364 11180277760 364873 33554432000 4194304 4196468 140735640724400 140172253411568 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6716] ppid=6649 vsize=10918240 memory=1459492 CPUtime=5.29 cores=1,3,5,7
/proc/6652/task/6716/stat : 6716 (java) S 6649 6652 5182 0 -1 1077944384 105767 13223 0 0 510 12 5 2 20 0 15 0 47743364 11180277760 364873 33554432000 4194304 4196468 140735640724400 140172252358768 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6717] ppid=6649 vsize=10918240 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6717/stat : 6717 (java) S 6649 6652 5182 0 -1 1077944384 3 13223 0 0 0 0 5 2 20 0 15 0 47743364 11180277760 364873 33554432000 4194304 4196468 140735640724400 140171089537248 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6718] ppid=6649 vsize=10918240 memory=1296 CPUtime=1.32 cores=1,3,5,7
/proc/6652/task/6718/stat : 6718 (java) S 6649 6652 5182 0 -1 1077944384 2950 13223 0 0 55 70 5 2 20 0 15 0 47743364 11180277760 364873 33554432000 4194304 4196468 140735640724400 140172251307184 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
Current children cumulated CPU time: 2449.55 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1459492 KiB
[startup+2442.3 s]
/proc/loadavg: 1.35 1.51 1.48 3/217 6952
/proc/meminfo: memFree=19452264/32770624 swapFree=67108860/67108860
[pid=6652] ppid=6649 vsize=10918240 memory=1455384 CPUtime=2510.48 cores=1,3,5,7
/proc/6652/stat : 6652 (java) S 6649 6652 5182 0 -1 1077944320 559373 13223 0 0 250647 394 5 2 20 0 15 0 47743349 11180277760 363846 33554432000 4194304 4196468 140735640724400 140735640706944 140172829646583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
/proc/6652/statm: 2729560 363846 3538 1 0 2691213 0
[pid=6652/tid=6705] ppid=6649 vsize=10918240 memory=1455384 CPUtime=2419.7 cores=1,3,5,7
/proc/6652/task/6705/stat : 6705 (java) R 6649 6652 5182 0 -1 4202560 114334 13223 0 0 241908 55 5 2 20 0 15 0 47743358 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172801480944 140172457654269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6706] ppid=6649 vsize=10918240 memory=1459492 CPUtime=12.36 cores=1,3,5,7
/proc/6652/task/6706/stat : 6706 (java) S 6649 6652 5182 0 -1 1077944384 27202 13223 0 0 1171 58 5 2 20 0 15 0 47743359 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172833888912 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6707] ppid=6649 vsize=10918240 memory=1455384 CPUtime=12.32 cores=1,3,5,7
/proc/6652/task/6707/stat : 6707 (java) S 6649 6652 5182 0 -1 1077944384 25964 13223 0 0 1167 58 5 2 20 0 15 0 47743359 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172402723344 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6708] ppid=6649 vsize=10918240 memory=1455384 CPUtime=12.35 cores=1,3,5,7
/proc/6652/task/6708/stat : 6708 (java) S 6649 6652 5182 0 -1 1077944384 28189 13223 0 0 1168 60 5 2 20 0 15 0 47743359 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172401670544 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6709] ppid=6649 vsize=10918240 memory=1455384 CPUtime=12.44 cores=1,3,5,7
/proc/6652/task/6709/stat : 6709 (java) S 6649 6652 5182 0 -1 1077944384 28938 13223 0 0 1178 59 5 2 20 0 15 0 47743359 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172400617744 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6710] ppid=6649 vsize=10918240 memory=1455384 CPUtime=8.57 cores=1,3,5,7
/proc/6652/task/6710/stat : 6710 (java) S 6649 6652 5182 0 -1 1077944384 23922 13223 0 0 805 45 5 2 20 0 15 0 47743360 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172289076080 140172829657730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6711] ppid=6649 vsize=10918240 memory=1455384 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6711/stat : 6711 (java) S 6649 6652 5182 0 -1 1077944384 46 13223 0 0 0 0 5 2 20 0 15 0 47743361 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172288022112 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6712] ppid=6649 vsize=10918240 memory=1455384 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6712/stat : 6712 (java) S 6649 6652 5182 0 -1 1077944384 7 13223 0 0 0 0 5 2 20 0 15 0 47743361 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172163278208 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6713] ppid=6649 vsize=10918240 memory=1455384 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6713/stat : 6713 (java) S 6649 6652 5182 0 -1 1077944384 2 13223 0 0 0 0 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140171559299408 140172829665179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6714] ppid=6649 vsize=10918240 memory=1455384 CPUtime=13.42 cores=1,3,5,7
/proc/6652/task/6714/stat : 6714 (java) S 6649 6652 5182 0 -1 1077944384 101925 13223 0 0 1327 8 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172254464368 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6715] ppid=6649 vsize=10918240 memory=8112282956445269571 CPUtime=13.2 cores=1,3,5,7
/proc/6652/task/6715/stat : 6715 (java) S 6649 6652 5182 0 -1 1077944384 97915 13223 0 0 1303 10 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172253411568 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6716] ppid=6649 vsize=10918240 memory=1455384 CPUtime=5.29 cores=1,3,5,7
/proc/6652/task/6716/stat : 6716 (java) S 6649 6652 5182 0 -1 1077944384 105769 13223 0 0 510 12 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172252358768 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6717] ppid=6649 vsize=10918240 memory=1455384 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6717/stat : 6717 (java) S 6649 6652 5182 0 -1 1077944384 3 13223 0 0 0 0 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140171089537248 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6718] ppid=6649 vsize=10918240 memory=1455384 CPUtime=1.35 cores=1,3,5,7
/proc/6652/task/6718/stat : 6718 (java) S 6649 6652 5182 0 -1 1077944384 2969 13223 0 0 56 72 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172251307184 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
Current children cumulated CPU time: 2510.48 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1455384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2451.7 s]
/proc/loadavg: 1.38 1.51 1.48 3/217 6952
/proc/meminfo: memFree=19478688/32770624 swapFree=67108860/67108860
[pid=6652] ppid=6649 vsize=10918240 memory=1455384 CPUtime=2520.02 cores=1,3,5,7
/proc/6652/stat : 6652 (java) S 6649 6652 5182 0 -1 1077944320 559568 13223 0 0 251601 394 5 2 20 0 15 0 47743349 11180277760 363846 33554432000 4194304 4196468 140735640724400 140735640706944 140172829646583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
/proc/6652/statm: 2729560 363846 3538 1 0 2691213 0
[pid=6652/tid=6705] ppid=6649 vsize=10918240 memory=1455384 CPUtime=2429.01 cores=1,3,5,7
/proc/6652/task/6705/stat : 6705 (java) R 6649 6652 5182 0 -1 4202560 114449 13223 0 0 242839 55 5 2 20 0 15 0 47743358 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172801481760 140172434322516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6706] ppid=6649 vsize=10918240 memory=1455384 CPUtime=12.41 cores=1,3,5,7
/proc/6652/task/6706/stat : 6706 (java) S 6649 6652 5182 0 -1 1077944384 27209 13223 0 0 1176 58 5 2 20 0 15 0 47743359 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172833888912 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6707] ppid=6649 vsize=10918240 memory=1455384 CPUtime=12.37 cores=1,3,5,7
/proc/6652/task/6707/stat : 6707 (java) S 6649 6652 5182 0 -1 1077944384 25983 13223 0 0 1172 58 5 2 20 0 15 0 47743359 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172402723344 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6708] ppid=6649 vsize=10918240 memory=1455384 CPUtime=12.4 cores=1,3,5,7
/proc/6652/task/6708/stat : 6708 (java) S 6649 6652 5182 0 -1 1077944384 28189 13223 0 0 1173 60 5 2 20 0 15 0 47743359 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172401670544 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6709] ppid=6649 vsize=10918240 memory=1455384 CPUtime=12.49 cores=1,3,5,7
/proc/6652/task/6709/stat : 6709 (java) S 6649 6652 5182 0 -1 1077944384 28940 13223 0 0 1183 59 5 2 20 0 15 0 47743359 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172400617744 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6710] ppid=6649 vsize=10918240 memory=1455384 CPUtime=8.6 cores=1,3,5,7
/proc/6652/task/6710/stat : 6710 (java) S 6649 6652 5182 0 -1 1077944384 23966 13223 0 0 808 45 5 2 20 0 15 0 47743360 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172289076080 140172829657730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6711] ppid=6649 vsize=10918240 memory=1459492 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6711/stat : 6711 (java) S 6649 6652 5182 0 -1 1077944384 46 13223 0 0 0 0 5 2 20 0 15 0 47743361 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172288022112 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6712] ppid=6649 vsize=10918240 memory=1455384 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6712/stat : 6712 (java) S 6649 6652 5182 0 -1 1077944384 7 13223 0 0 0 0 5 2 20 0 15 0 47743361 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172163278208 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6713] ppid=6649 vsize=10918240 memory=1455384 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6713/stat : 6713 (java) S 6649 6652 5182 0 -1 1077944384 2 13223 0 0 0 0 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140171559299408 140172829665179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6714] ppid=6649 vsize=10918240 memory=1455384 CPUtime=13.42 cores=1,3,5,7
/proc/6652/task/6714/stat : 6714 (java) S 6649 6652 5182 0 -1 1077944384 101927 13223 0 0 1327 8 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172254464368 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6715] ppid=6649 vsize=10918240 memory=1455384 CPUtime=13.2 cores=1,3,5,7
/proc/6652/task/6715/stat : 6715 (java) S 6649 6652 5182 0 -1 1077944384 97917 13223 0 0 1303 10 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172253411568 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6716] ppid=6649 vsize=10918240 memory=4140 CPUtime=5.29 cores=1,3,5,7
/proc/6652/task/6716/stat : 6716 (java) S 6649 6652 5182 0 -1 1077944384 105771 13223 0 0 510 12 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172252358768 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6717] ppid=6649 vsize=10918240 memory=15864 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6717/stat : 6717 (java) S 6649 6652 5182 0 -1 1077944384 3 13223 0 0 0 0 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140171089537248 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6718] ppid=6649 vsize=10918240 memory=1296 CPUtime=1.36 cores=1,3,5,7
/proc/6652/task/6718/stat : 6718 (java) S 6649 6652 5182 0 -1 1077944384 2971 13223 0 0 57 72 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172251307184 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1455384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2451.73 s]
# the end of solver process 6652 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.09 s, system=3.98665 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2451.7 s]
/proc/loadavg: 1.38 1.51 1.48 3/217 6952
/proc/meminfo: memFree=19478688/32770624 swapFree=67108860/67108860
[pid=6652] ppid=6649 vsize=10918240 memory=1455384 CPUtime=2520.02 cores=1,3,5,7
/proc/6652/stat : 6652 (java) S 6649 6652 5182 0 -1 1077944320 559568 13223 0 0 251601 394 5 2 20 0 15 0 47743349 11180277760 363846 33554432000 4194304 4196468 140735640724400 140735640706944 140172829646583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
/proc/6652/statm: 2729560 363846 3538 1 0 2691213 0
[pid=6652/tid=6705] ppid=6649 vsize=10918240 memory=1455384 CPUtime=2429.01 cores=1,3,5,7
/proc/6652/task/6705/stat : 6705 (java) R 6649 6652 5182 0 -1 4202560 114449 13223 0 0 242839 55 5 2 20 0 15 0 47743358 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172801481760 140172434322516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6706] ppid=6649 vsize=10918240 memory=1455384 CPUtime=12.41 cores=1,3,5,7
/proc/6652/task/6706/stat : 6706 (java) S 6649 6652 5182 0 -1 1077944384 27209 13223 0 0 1176 58 5 2 20 0 15 0 47743359 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172833888912 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6707] ppid=6649 vsize=10918240 memory=1455384 CPUtime=12.37 cores=1,3,5,7
/proc/6652/task/6707/stat : 6707 (java) S 6649 6652 5182 0 -1 1077944384 25983 13223 0 0 1172 58 5 2 20 0 15 0 47743359 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172402723344 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6708] ppid=6649 vsize=10918240 memory=1455384 CPUtime=12.4 cores=1,3,5,7
/proc/6652/task/6708/stat : 6708 (java) S 6649 6652 5182 0 -1 1077944384 28189 13223 0 0 1173 60 5 2 20 0 15 0 47743359 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172401670544 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6709] ppid=6649 vsize=10918240 memory=1455384 CPUtime=12.49 cores=1,3,5,7
/proc/6652/task/6709/stat : 6709 (java) S 6649 6652 5182 0 -1 1077944384 28940 13223 0 0 1183 59 5 2 20 0 15 0 47743359 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172400617744 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6710] ppid=6649 vsize=10918240 memory=1455384 CPUtime=8.6 cores=1,3,5,7
/proc/6652/task/6710/stat : 6710 (java) S 6649 6652 5182 0 -1 1077944384 23966 13223 0 0 808 45 5 2 20 0 15 0 47743360 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172289076080 140172829657730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6711] ppid=6649 vsize=10918240 memory=1459492 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6711/stat : 6711 (java) S 6649 6652 5182 0 -1 1077944384 46 13223 0 0 0 0 5 2 20 0 15 0 47743361 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172288022112 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6712] ppid=6649 vsize=10918240 memory=1455384 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6712/stat : 6712 (java) S 6649 6652 5182 0 -1 1077944384 7 13223 0 0 0 0 5 2 20 0 15 0 47743361 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172163278208 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6713] ppid=6649 vsize=10918240 memory=1455384 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6713/stat : 6713 (java) S 6649 6652 5182 0 -1 1077944384 2 13223 0 0 0 0 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140171559299408 140172829665179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6714] ppid=6649 vsize=10918240 memory=1455384 CPUtime=13.42 cores=1,3,5,7
/proc/6652/task/6714/stat : 6714 (java) S 6649 6652 5182 0 -1 1077944384 101927 13223 0 0 1327 8 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172254464368 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6715] ppid=6649 vsize=10918240 memory=1455384 CPUtime=13.2 cores=1,3,5,7
/proc/6652/task/6715/stat : 6715 (java) S 6649 6652 5182 0 -1 1077944384 97917 13223 0 0 1303 10 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172253411568 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6716] ppid=6649 vsize=10918240 memory=4140 CPUtime=5.29 cores=1,3,5,7
/proc/6652/task/6716/stat : 6716 (java) S 6649 6652 5182 0 -1 1077944384 105771 13223 0 0 510 12 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172252358768 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6717] ppid=6649 vsize=10918240 memory=15864 CPUtime=0.07 cores=1,3,5,7
/proc/6652/task/6717/stat : 6717 (java) S 6649 6652 5182 0 -1 1077944384 3 13223 0 0 0 0 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140171089537248 140172829656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
[pid=6652/tid=6718] ppid=6649 vsize=10918240 memory=1296 CPUtime=1.36 cores=1,3,5,7
/proc/6652/task/6718/stat : 6718 (java) S 6649 6652 5182 0 -1 1077944384 2971 13223 0 0 57 72 5 2 20 0 15 0 47743364 11180277760 363846 33554432000 4194304 4196468 140735640724400 140172251307184 140172829657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29892608 140735640726126 140735640728924 140735640728924 140735640731599 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1455384 KiB
Child status: 143
Real time (s): 2451.73
CPU time (s): 2520.08
CPU user time (s): 2516.09
CPU system time (s): 3.98665
CPU usage (%): 102.788
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 1941848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.09
system time used= 3.98665
maximum resident set size= 1947992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 574203
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 236141
involuntary context switches= 4481
# summary of solver processes directly reported to runsolver:
# pid: 6652
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.09
# total CPU system time (s): 3.98665
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7341 second user time and 22.3622 second system time
The end