Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.8-SuperNG 2018-06-13 | SAT (TO) | 13343 | 2520.13 | 2420.35 |
| Name | NurseRostering/ NurseRostering-10_c18.xml |
| MD5SUM | 8e8c57bbf90dbce08cf7a3cf301ec8dd |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 10181 |
| Best CPU time to get the best result obtained on this benchmark | 2520.06 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2140 |
| Number of constraints | 5421 |
| Number of domains | 18 |
| Minimum domain size | 1 |
| Maximum domain size | 41 |
| Distribution of domain sizes | [{"size":1,"count":94},{"size":2,"count":444},{"size":6,"count":1141},{"size":9,"count":7},{"size":10,"count":18},{"size":29,"count":128},{"size":41,"count":308}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 27 |
| Distribution of variable degrees | [{"degree":2,"count":860},{"degree":3,"count":160},{"degree":17,"count":33},{"degree":18,"count":41},{"degree":19,"count":6},{"degree":20,"count":31},{"degree":21,"count":40},{"degree":22,"count":67},{"degree":23,"count":71},{"degree":24,"count":80},{"degree":25,"count":360},{"degree":26,"count":293},{"degree":27,"count":98}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 80 |
| Distribution of constraint arities | [{"arity":2,"count":1932},{"arity":3,"count":2080},{"arity":4,"count":40},{"arity":6,"count":960},{"arity":29,"count":240},{"arity":41,"count":168},{"arity":80,"count":1}] |
| Number of extensional constraints | 1248 |
| Number of intensional constraints | 684 |
| Distribution of constraint types | [{"type":"extension","count":1248},{"type":"intension","count":684},{"type":"regular","count":2080},{"type":"sum","count":80},{"type":"count","count":1328},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.98/0.75 c Concrete v3.8.1528841891564 running 15.85/6.33 c 01:14:55.646 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15786. 'extension(5, x[1][29]=[0‥5]) :: init: true :: relation: MDD 270313690, 12 edges, 5 vertices, 9 tuples 15.85/6.33 c 01:14:55.651 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15787. 'extension(5, x[1][29]=[0‥5]) :: init: true :: relation: MDD 1573349881, 6 edges, 3 vertices, 5 tuples 15.85/6.34 c 01:14:55.656 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15815. 'extension(5, x[1][38]=[0‥5]) :: init: true :: relation: MDD 851116146, 12 edges, 5 vertices, 9 tuples 15.85/6.34 c 01:14:55.656 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15816. 'extension(5, x[1][38]=[0‥5]) :: init: true :: relation: MDD 800990938, 6 edges, 3 vertices, 5 tuples 15.85/6.34 c 01:14:55.658 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15844. 'extension(x[0][6]=[0‥5], 5) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples 15.85/6.34 c 01:14:55.659 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15845. 'extension(5, x[2][6]=[0‥5]) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples 15.85/6.34 c 01:14:55.661 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15877. 'extension(x[0][15]=[0‥5], 5) :: init: true :: relation: MDD 1780306540, 12 edges, 5 vertices, 9 tuples 15.85/6.34 c 01:14:55.662 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15910. 'extension(x[0][25]=[0‥5], 5) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples 15.85/6.34 c 01:14:55.663 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15911. 'extension(5, x[2][25]=[0‥5]) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples 15.85/6.35 c 01:14:55.666 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15943. 'extension(x[1][5]=[0‥5], 5) :: init: true :: relation: MDD 879924346, 12 edges, 5 vertices, 9 tuples 15.85/6.35 c 01:14:55.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15978. 'extension(5, x[3][15]=[0‥5]) :: init: true :: relation: MDD 1780306540, 12 edges, 5 vertices, 9 tuples 15.85/6.35 c 01:14:55.668 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15981. 'extension(5, 5) :: init: true :: relation: MDD 1780306540, 12 edges, 5 vertices, 9 tuples 15.85/6.35 c 01:14:55.671 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16013. 'extension(x[1][20]=[0‥5], 5) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples 15.85/6.35 c 01:14:55.671 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16014. 'extension(5, x[3][20]=[0‥5]) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples 15.85/6.36 c 01:14:55.674 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16048. 'extension(x[1][36]=[0‥5], 5) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples 15.85/6.36 c 01:14:55.675 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16049. 'extension(5, x[3][36]=[0‥5]) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples 15.85/6.36 c 01:14:55.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16083. 'extension(x[2][0]=[0‥5], 5) :: init: true :: relation: MDD 242762528, 12 edges, 5 vertices, 9 tuples 15.85/6.36 c 01:14:55.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16084. 'extension(5, x[4][0]=[0‥5]) :: init: true :: relation: MDD 242762528, 12 edges, 5 vertices, 9 tuples 15.85/6.36 c 01:14:55.681 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16119. 'extension(5, x[4][5]=[0‥5]) :: init: true :: relation: MDD 879924346, 12 edges, 5 vertices, 9 tuples 15.85/6.36 c 01:14:55.681 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16122. 'extension(5, 5) :: init: true :: relation: MDD 879924346, 12 edges, 5 vertices, 9 tuples 15.85/6.37 c 01:14:55.684 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16155. 'extension(x[2][10]=[0‥5], 5) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples 15.85/6.37 c 01:14:55.684 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16156. 'extension(5, x[4][10]=[0‥5]) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples 15.85/6.37 c 01:14:55.687 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16191. 'extension(x[2][12]=[0‥5], 5) :: init: true :: relation: MDD 1259065345, 12 edges, 5 vertices, 9 tuples 15.85/6.37 c 01:14:55.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16227. 'extension(x[2][18]=[0‥5], 5) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples 15.85/6.37 c 01:14:55.689 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16228. 'extension(5, x[4][18]=[0‥5]) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples 15.85/6.37 c 01:14:55.691 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16263. 'extension(x[2][37]=[0‥5], 5) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples 15.85/6.37 c 01:14:55.691 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16264. 'extension(5, x[4][37]=[0‥5]) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples 15.85/6.38 c 01:14:55.694 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16299. 'extension(5, x[5][12]=[0‥5]) :: init: true :: relation: MDD 1259065345, 12 edges, 5 vertices, 9 tuples 15.85/6.38 c 01:14:55.695 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16302. 'extension(5, 5) :: init: true :: relation: MDD 1259065345, 12 edges, 5 vertices, 9 tuples 15.85/6.38 c 01:14:55.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16336. 'extension(x[3][17]=[0‥5], 5) :: init: true :: relation: MDD 1784551034, 12 edges, 5 vertices, 9 tuples 15.85/6.38 c 01:14:55.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16373. 'extension(5, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 155829656, 6 edges, 3 vertices, 5 tuples 15.85/6.38 c 01:14:55.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16374. 'extension(x[4][14]=[0‥5], 5) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples 15.85/6.38 c 01:14:55.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16375. 'extension(5, x[6][14]=[0‥5]) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples 15.85/6.39 c 01:14:55.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16412. 'extension(5, wk[17][0]=[0‥1]) :: init: true :: relation: MDD 722378544, 6 edges, 3 vertices, 5 tuples 15.85/6.39 c 01:14:55.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16413. 'extension(5, x[6][17]=[0‥5]) :: init: true :: relation: MDD 1784551034, 12 edges, 5 vertices, 9 tuples 15.85/6.39 c 01:14:55.703 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16416. 'extension(5, 5) :: init: true :: relation: MDD 1784551034, 12 edges, 5 vertices, 9 tuples 15.85/6.39 c 01:14:55.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16451. 'extension(5, wk[32][0]=[0‥1]) :: init: true :: relation: MDD 1301763240, 6 edges, 3 vertices, 5 tuples 15.85/6.39 c 01:14:55.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16452. 'extension(x[4][32]=[0‥5], 5) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples 15.85/6.39 c 01:14:55.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16453. 'extension(5, x[6][32]=[0‥5]) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples 15.85/6.39 c 01:14:55.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16490. 'extension(5, wk[31][0]=[0‥1]) :: init: true :: relation: MDD 222250245, 6 edges, 3 vertices, 5 tuples 15.85/6.39 c 01:14:55.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16491. 'extension(x[5][31]=[0‥5], 5) :: init: true :: relation: MDD 1628252344, 12 edges, 5 vertices, 9 tuples 15.85/6.39 c 01:14:55.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16529. 'extension(x[6][0]=[0‥5], 5) :: init: true :: relation: MDD 242762528, 12 edges, 5 vertices, 9 tuples 15.85/6.39 c 01:14:55.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16530. 'extension(5, x[8][0]=[0‥5]) :: init: true :: relation: MDD 242762528, 12 edges, 5 vertices, 9 tuples 15.85/6.40 c 01:14:55.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16567. 'extension(x[6][8]=[0‥5], 5) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples 16.18/6.40 c 01:14:55.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16568. 'extension(5, x[8][8]=[0‥5]) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples 16.18/6.40 c 01:14:55.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16605. 'extension(x[6][11]=[0‥5], 5) :: init: true :: relation: MDD 134943275, 12 edges, 5 vertices, 9 tuples 16.18/6.40 c 01:14:55.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16643. 'extension(5, x[8][31]=[0‥5]) :: init: true :: relation: MDD 1628252344, 12 edges, 5 vertices, 9 tuples 16.18/6.40 c 01:14:55.718 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16646. 'extension(5, 5) :: init: true :: relation: MDD 1628252344, 12 edges, 5 vertices, 9 tuples 16.18/6.40 c 01:14:55.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16681. 'extension(x[6][39]=[0‥5], 5) :: init: true :: relation: MDD 184017782, 12 edges, 5 vertices, 9 tuples 16.18/6.40 c 01:14:55.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16682. 'extension(5, x[8][39]=[0‥5]) :: init: true :: relation: MDD 184017782, 12 edges, 5 vertices, 9 tuples 16.18/6.41 c 01:14:55.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16719. 'extension(5, x[9][11]=[0‥5]) :: init: true :: relation: MDD 134943275, 12 edges, 5 vertices, 9 tuples 16.18/6.41 c 01:14:55.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16722. 'extension(5, 5) :: init: true :: relation: MDD 134943275, 12 edges, 5 vertices, 9 tuples 16.18/6.41 c 01:14:55.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16757. 'extension(x[7][14]=[0‥5], 5) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples 16.18/6.41 c 01:14:55.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16758. 'extension(5, x[9][14]=[0‥5]) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples 16.18/6.41 c 01:14:55.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16795. 'extension(x[7][19]=[0‥5], 5) :: init: true :: relation: MDD 2037343019, 12 edges, 5 vertices, 9 tuples 16.18/6.41 c 01:14:55.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16833. 'extension(x[7][32]=[0‥5], 5) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples 16.18/6.41 c 01:14:55.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16834. 'extension(5, x[9][32]=[0‥5]) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples 16.18/6.41 c 01:14:55.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16871. 'extension(x[7][33]=[0‥5], 5) :: init: true :: relation: MDD 233300371, 12 edges, 5 vertices, 9 tuples 16.18/6.42 c 01:14:55.734 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16909. 'extension(5, x[10][19]=[0‥5]) :: init: true :: relation: MDD 2037343019, 12 edges, 5 vertices, 9 tuples 16.18/6.42 c 01:14:55.734 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16912. 'extension(5, 5) :: init: true :: relation: MDD 2037343019, 12 edges, 5 vertices, 9 tuples 16.18/6.42 c 01:14:55.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16947. 'extension(5, x[10][33]=[0‥5]) :: init: true :: relation: MDD 233300371, 12 edges, 5 vertices, 9 tuples 16.18/6.42 c 01:14:55.737 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16950. 'extension(5, 5) :: init: true :: relation: MDD 233300371, 12 edges, 5 vertices, 9 tuples 16.18/6.42 c 01:14:55.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16985. 'extension(x[8][38]=[0‥5], 5) :: init: true :: relation: MDD 851116146, 12 edges, 5 vertices, 9 tuples 16.18/6.42 c 01:14:55.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16986. 'extension(5, x[10][38]=[0‥5]) :: init: true :: relation: MDD 851116146, 12 edges, 5 vertices, 9 tuples 16.18/6.42 c 01:14:55.742 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17023. 'extension(x[9][7]=[0‥5], 5) :: init: true :: relation: MDD 783117220, 12 edges, 5 vertices, 9 tuples 16.18/6.43 c 01:14:55.744 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17061. 'extension(x[10][3]=[0‥5], 5) :: init: true :: relation: MDD 2096808863, 12 edges, 5 vertices, 9 tuples 16.18/6.43 c 01:14:55.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17099. 'extension(x[10][6]=[0‥5], 5) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples 16.18/6.43 c 01:14:55.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17100. 'extension(5, x[12][6]=[0‥5]) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples 16.18/6.43 c 01:14:55.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17137. 'extension(5, x[12][7]=[0‥5]) :: init: true :: relation: MDD 783117220, 12 edges, 5 vertices, 9 tuples 16.18/6.43 c 01:14:55.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17140. 'extension(5, 5) :: init: true :: relation: MDD 783117220, 12 edges, 5 vertices, 9 tuples 16.18/6.43 c 01:14:55.750 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17175. 'extension(x[10][18]=[0‥5], 5) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples 16.18/6.43 c 01:14:55.750 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17176. 'extension(5, x[12][18]=[0‥5]) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples 16.18/6.43 c 01:14:55.753 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17213. 'extension(x[10][22]=[0‥5], 5) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples 16.18/6.43 c 01:14:55.753 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17214. 'extension(5, x[12][22]=[0‥5]) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples 16.18/6.44 c 01:14:55.755 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17251. 'extension(5, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 185209393, 6 edges, 3 vertices, 5 tuples 16.18/6.44 c 01:14:55.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17252. 'extension(5, x[13][3]=[0‥5]) :: init: true :: relation: MDD 2096808863, 12 edges, 5 vertices, 9 tuples 16.18/6.44 c 01:14:55.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17255. 'extension(5, 5) :: init: true :: relation: MDD 2096808863, 12 edges, 5 vertices, 9 tuples 16.18/6.44 c 01:14:55.758 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17290. 'extension(5, wk[4][1]=[0‥1]) :: init: true :: relation: MDD 823405912, 6 edges, 3 vertices, 5 tuples 16.18/6.44 c 01:14:55.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17291. 'extension(x[11][4]=[0‥5], 5) :: init: true :: relation: MDD 812229472, 12 edges, 5 vertices, 9 tuples 16.18/6.44 c 01:14:55.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17329. 'extension(5, wk[21][1]=[0‥1]) :: init: true :: relation: MDD 129958347, 6 edges, 3 vertices, 5 tuples 16.18/6.44 c 01:14:55.760 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17330. 'extension(x[11][21]=[0‥5], 5) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples 16.18/6.44 c 01:14:55.760 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17331. 'extension(5, x[13][21]=[0‥5]) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples 16.18/6.44 c 01:14:55.762 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17368. 'extension(5, wk[25][1]=[0‥1]) :: init: true :: relation: MDD 431097582, 6 edges, 3 vertices, 5 tuples 16.18/6.44 c 01:14:55.762 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17369. 'extension(x[11][25]=[0‥5], 5) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples 16.18/6.44 c 01:14:55.762 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17370. 'extension(5, x[13][25]=[0‥5]) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples 16.18/6.45 c 01:14:55.765 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17407. 'extension(5, wk[4][1]=[0‥1]) :: init: true :: relation: MDD 294827406, 6 edges, 3 vertices, 5 tuples 16.18/6.45 c 01:14:55.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17408. 'extension(5, x[14][4]=[0‥5]) :: init: true :: relation: MDD 812229472, 12 edges, 5 vertices, 9 tuples 16.18/6.45 c 01:14:55.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17411. 'extension(5, 5) :: init: true :: relation: MDD 812229472, 12 edges, 5 vertices, 9 tuples 16.18/6.45 c 01:14:55.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17446. 'extension(5, wk[28][1]=[0‥1]) :: init: true :: relation: MDD 902096996, 6 edges, 3 vertices, 5 tuples 16.18/6.45 c 01:14:55.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17447. 'extension(x[12][28]=[0‥5], 5) :: init: true :: relation: MDD 1037793103, 12 edges, 5 vertices, 9 tuples 16.18/6.45 c 01:14:55.769 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17448. 'extension(5, x[14][28]=[0‥5]) :: init: true :: relation: MDD 1037793103, 12 edges, 5 vertices, 9 tuples 16.18/6.45 c 01:14:55.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17485. 'extension(x[13][1]=[0‥5], 5) :: init: true :: relation: MDD 1286437308, 12 edges, 5 vertices, 9 tuples 16.18/6.45 c 01:14:55.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17523. 'extension(x[13][20]=[0‥5], 5) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples 16.18/6.45 c 01:14:55.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17524. 'extension(5, x[15][20]=[0‥5]) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples 16.18/6.46 c 01:14:55.775 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17561. 'extension(x[13][30]=[0‥5], 5) :: init: true :: relation: MDD 495289088, 12 edges, 5 vertices, 9 tuples 16.18/6.46 c 01:14:55.775 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17599. 'extension(x[13][35]=[0‥5], 5) :: init: true :: relation: MDD 2009196049, 12 edges, 5 vertices, 9 tuples 16.18/6.46 c 01:14:55.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17637. 'extension(5, x[16][1]=[0‥5]) :: init: true :: relation: MDD 1286437308, 12 edges, 5 vertices, 9 tuples 16.18/6.46 c 01:14:55.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17640. 'extension(5, 5) :: init: true :: relation: MDD 1286437308, 12 edges, 5 vertices, 9 tuples 16.18/6.46 c 01:14:55.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17675. 'extension(5, x[16][30]=[0‥5]) :: init: true :: relation: MDD 495289088, 12 edges, 5 vertices, 9 tuples 16.18/6.46 c 01:14:55.780 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17678. 'extension(5, 5) :: init: true :: relation: MDD 495289088, 12 edges, 5 vertices, 9 tuples 16.18/6.46 c 01:14:55.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17713. 'extension(5, x[16][35]=[0‥5]) :: init: true :: relation: MDD 2009196049, 12 edges, 5 vertices, 9 tuples 16.18/6.46 c 01:14:55.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17716. 'extension(5, 5) :: init: true :: relation: MDD 2009196049, 12 edges, 5 vertices, 9 tuples 16.18/6.47 c 01:14:55.785 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17751. 'extension(x[15][24]=[0‥5], 5) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples 16.18/6.47 c 01:14:55.785 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17752. 'extension(5, x[17][24]=[0‥5]) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples 16.18/6.47 c 01:14:55.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17789. 'extension(x[17][36]=[0‥5], 5) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples 16.18/6.47 c 01:14:55.788 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17790. 'extension(5, x[19][36]=[0‥5]) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples 16.18/6.47 c 01:14:55.790 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17827. 'extension(5, wk[21][2]=[0‥1]) :: init: true :: relation: MDD 752148842, 6 edges, 3 vertices, 5 tuples 16.18/6.47 c 01:14:55.791 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17828. 'extension(x[18][21]=[0‥5], 5) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples 16.18/6.47 c 01:14:55.791 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17829. 'extension(5, x[20][21]=[0‥5]) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples 16.18/6.47 c 01:14:55.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17866. 'extension(5, wk[39][2]=[0‥1]) :: init: true :: relation: MDD 1768473046, 6 edges, 3 vertices, 5 tuples 16.18/6.47 c 01:14:55.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17867. 'extension(x[18][39]=[0‥5], 5) :: init: true :: relation: MDD 184017782, 12 edges, 5 vertices, 9 tuples 16.18/6.48 c 01:14:55.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17868. 'extension(5, x[20][39]=[0‥5]) :: init: true :: relation: MDD 184017782, 12 edges, 5 vertices, 9 tuples 16.18/6.48 c 01:14:55.797 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17905. 'extension(5, wk[26][2]=[0‥1]) :: init: true :: relation: MDD 658135690, 6 edges, 3 vertices, 5 tuples 16.18/6.48 c 01:14:55.797 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17906. 'extension(x[19][26]=[0‥5], 5) :: init: true :: relation: MDD 994584048, 12 edges, 5 vertices, 9 tuples 16.18/6.48 c 01:14:55.798 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17944. 'extension(x[20][10]=[0‥5], 5) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples 16.18/6.48 c 01:14:55.799 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17945. 'extension(5, x[22][10]=[0‥5]) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples 16.18/6.48 c 01:14:55.801 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17982. 'extension(x[20][16]=[0‥5], 5) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples 16.18/6.48 c 01:14:55.801 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17983. 'extension(5, x[22][16]=[0‥5]) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples 16.18/6.48 c 01:14:55.803 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18020. 'extension(5, x[22][26]=[0‥5]) :: init: true :: relation: MDD 994584048, 12 edges, 5 vertices, 9 tuples 16.18/6.48 c 01:14:55.803 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18023. 'extension(5, 5) :: init: true :: relation: MDD 994584048, 12 edges, 5 vertices, 9 tuples 16.18/6.49 c 01:14:55.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18058. 'extension(x[21][8]=[0‥5], 5) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples 16.18/6.49 c 01:14:55.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18059. 'extension(5, x[23][8]=[0‥5]) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples 16.18/6.49 c 01:14:55.808 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18096. 'extension(x[21][9]=[0‥5], 5) :: init: true :: relation: MDD 1589745212, 12 edges, 5 vertices, 9 tuples 16.18/6.49 c 01:14:55.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18097. 'extension(5, x[23][9]=[0‥5]) :: init: true :: relation: MDD 1589745212, 12 edges, 5 vertices, 9 tuples 16.18/6.49 c 01:14:55.810 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18134. 'extension(x[21][13]=[0‥5], 5) :: init: true :: relation: MDD 376660032, 12 edges, 5 vertices, 9 tuples 16.18/6.49 c 01:14:55.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18172. 'extension(x[21][24]=[0‥5], 5) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples 16.18/6.49 c 01:14:55.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18173. 'extension(5, x[23][24]=[0‥5]) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples 16.50/6.50 c 01:14:55.814 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18210. 'extension(x[22][2]=[0‥5], 5) :: init: true :: relation: MDD 1594214614, 12 edges, 5 vertices, 9 tuples 16.50/6.50 c 01:14:55.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18247. 'extension(5, x[24][13]=[0‥5]) :: init: true :: relation: MDD 376660032, 12 edges, 5 vertices, 9 tuples 16.50/6.50 c 01:14:55.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18250. 'extension(5, 5) :: init: true :: relation: MDD 376660032, 12 edges, 5 vertices, 9 tuples 16.50/6.50 c 01:14:55.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18284. 'extension(x[22][23]=[0‥5], 5) :: init: true :: relation: MDD 1561005241, 12 edges, 5 vertices, 9 tuples 16.50/6.50 c 01:14:55.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18285. 'extension(5, x[24][23]=[0‥5]) :: init: true :: relation: MDD 1561005241, 12 edges, 5 vertices, 9 tuples 16.50/6.50 c 01:14:55.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18321. 'extension(x[22][29]=[0‥5], 5) :: init: true :: relation: MDD 270313690, 12 edges, 5 vertices, 9 tuples 16.50/6.51 c 01:14:55.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18322. 'extension(5, x[24][29]=[0‥5]) :: init: true :: relation: MDD 270313690, 12 edges, 5 vertices, 9 tuples 16.50/6.51 c 01:14:55.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18358. 'extension(x[22][37]=[0‥5], 5) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples 16.50/6.51 c 01:14:55.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18359. 'extension(5, x[24][37]=[0‥5]) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples 16.50/6.51 c 01:14:55.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18395. 'extension(5, x[25][2]=[0‥5]) :: init: true :: relation: MDD 1594214614, 12 edges, 5 vertices, 9 tuples 16.50/6.51 c 01:14:55.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18398. 'extension(5, 5) :: init: true :: relation: MDD 1594214614, 12 edges, 5 vertices, 9 tuples 16.50/6.51 c 01:14:55.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18431. 'extension(x[23][16]=[0‥5], 5) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples 16.50/6.51 c 01:14:55.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18432. 'extension(5, x[25][16]=[0‥5]) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples 16.50/6.51 c 01:14:55.834 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18467. 'extension(x[24][27]=[0‥5], 5) :: init: true :: relation: MDD 1973281540, 12 edges, 5 vertices, 9 tuples 16.50/6.52 c 01:14:55.835 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18502. 'extension(5, wk[22][3]=[0‥1]) :: init: true :: relation: MDD 521985523, 6 edges, 3 vertices, 5 tuples 16.50/6.52 c 01:14:55.835 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18503. 'extension(x[25][22]=[0‥5], 5) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples 16.50/6.52 c 01:14:55.836 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18504. 'extension(5, x[27][22]=[0‥5]) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples 16.50/6.52 c 01:14:55.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18536. 'extension(5, wk[27][3]=[0‥1]) :: init: true :: relation: MDD 1829313709, 6 edges, 3 vertices, 5 tuples 16.50/6.52 c 01:14:55.838 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18537. 'extension(5, x[27][27]=[0‥5]) :: init: true :: relation: MDD 1973281540, 12 edges, 5 vertices, 9 tuples 16.50/6.52 c 01:14:55.838 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18539. 'extension(5, 5) :: init: true :: relation: MDD 1973281540, 12 edges, 5 vertices, 9 tuples 16.50/6.52 c 01:14:55.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18570. 'extension(5, wk[34][3]=[0‥1]) :: init: true :: relation: MDD 556151572, 6 edges, 3 vertices, 5 tuples 16.50/6.52 c 01:14:55.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18571. 'extension(x[25][34]=[0‥5], 5) :: init: true :: relation: MDD 2077150966, 12 edges, 5 vertices, 9 tuples 16.50/6.52 c 01:14:55.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18604. 'extension(5, wk[9][3]=[0‥1]) :: init: true :: relation: MDD 540876179, 6 edges, 3 vertices, 5 tuples 16.50/6.52 c 01:14:55.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18605. 'extension(x[26][9]=[0‥5], 5) :: init: true :: relation: MDD 1589745212, 12 edges, 5 vertices, 9 tuples 16.50/6.52 c 01:14:55.842 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18606. 'extension(5, x[26][9]=[0‥5]) :: init: true :: relation: MDD 1406763631, 6 edges, 3 vertices, 5 tuples 16.50/6.52 c 01:14:55.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18634. 'extension(5, wk[23][3]=[0‥1]) :: init: true :: relation: MDD 1246238504, 6 edges, 3 vertices, 5 tuples 16.50/6.52 c 01:14:55.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18635. 'extension(x[26][23]=[0‥5], 5) :: init: true :: relation: MDD 1561005241, 12 edges, 5 vertices, 9 tuples 16.50/6.52 c 01:14:55.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18636. 'extension(5, x[26][23]=[0‥5]) :: init: true :: relation: MDD 1437977899, 6 edges, 3 vertices, 5 tuples 16.50/6.53 c 01:14:55.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18664. 'extension(5, wk[28][3]=[0‥1]) :: init: true :: relation: MDD 1829496747, 6 edges, 3 vertices, 5 tuples 16.50/6.53 c 01:14:55.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18665. 'extension(x[26][28]=[0‥5], 5) :: init: true :: relation: MDD 1037793103, 12 edges, 5 vertices, 9 tuples 16.50/6.53 c 01:14:55.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18666. 'extension(5, x[26][28]=[0‥5]) :: init: true :: relation: MDD 1730062079, 6 edges, 3 vertices, 5 tuples 16.50/6.53 c 01:14:55.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18694. 'extension(5, wk[34][3]=[0‥1]) :: init: true :: relation: MDD 1251133097, 6 edges, 3 vertices, 5 tuples 16.50/6.53 c 01:14:55.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18695. 'extension(5, 5) :: init: true :: relation: MDD 2077150966, 12 edges, 5 vertices, 9 tuples 16.50/6.53 c 01:14:55.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18696. 'extension(5, 5) :: init: true :: relation: MDD 2010426450, 6 edges, 3 vertices, 5 tuples 16.50/6.54 c 01:14:55.861 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18805. 'extension(x[1][29]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.54 c 01:14:55.862 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18807. 'extension(x[1][29]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.54 c 01:14:55.862 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18813. 'extension(x[1][38]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.54 c 01:14:55.862 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18815. 'extension(x[1][38]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.54 c 01:14:55.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18821. 'extension(x[0][6]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.54 c 01:14:55.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18823. 'extension(x[2][6]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.864 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18835. 'extension(x[0][15]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.864 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18839. 'extension(x[0][25]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.864 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18841. 'extension(x[2][25]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18853. 'extension(x[1][5]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18859. 'extension(x[3][15]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.866 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18873. 'extension(x[1][20]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.867 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18875. 'extension(x[3][20]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.867 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18889. 'extension(x[1][36]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.868 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18891. 'extension(x[3][36]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.869 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18905. 'extension(x[2][0]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.869 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18907. 'extension(x[4][0]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.870 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18921. 'extension(x[4][5]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.871 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18935. 'extension(x[2][10]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.871 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18937. 'extension(x[4][10]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18951. 'extension(x[2][12]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18957. 'extension(x[2][18]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18959. 'extension(x[4][18]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.873 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18973. 'extension(x[2][37]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.55 c 01:14:55.873 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18975. 'extension(x[4][37]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.874 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18989. 'extension(x[5][12]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.875 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19003. 'extension(x[3][17]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19009. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19011. 'extension(x[4][14]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19013. 'extension(x[6][14]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.877 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19027. 'extension(wk[17][0]=[0‥1]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.877 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19029. 'extension(x[6][17]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.878 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19043. 'extension(wk[32][0]=[0‥1]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.878 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19045. 'extension(x[4][32]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.878 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19047. 'extension(x[6][32]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.879 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19061. 'extension(wk[31][0]=[0‥1]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.880 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19063. 'extension(x[5][31]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.880 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19069. 'extension(x[6][0]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.880 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19071. 'extension(x[8][0]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19085. 'extension(x[6][8]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19087. 'extension(x[8][8]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.882 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19101. 'extension(x[6][11]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19107. 'extension(x[8][31]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19121. 'extension(x[6][39]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.56 c 01:14:55.884 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19123. 'extension(x[8][39]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.57 c 01:14:55.884 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19137. 'extension(x[9][11]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.57 c 01:14:55.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19151. 'extension(x[7][14]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.57 c 01:14:55.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19153. 'extension(x[9][14]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.57 c 01:14:55.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19167. 'extension(x[7][19]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.57 c 01:14:55.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19173. 'extension(x[7][32]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.57 c 01:14:55.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19175. 'extension(x[9][32]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.57 c 01:14:55.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19189. 'extension(x[7][33]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.57 c 01:14:55.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19195. 'extension(x[10][19]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.57 c 01:14:55.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19209. 'extension(x[10][33]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.57 c 01:14:55.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19223. 'extension(x[8][38]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.57 c 01:14:55.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19225. 'extension(x[10][38]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.57 c 01:14:55.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19239. 'extension(x[9][7]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.57 c 01:14:55.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19245. 'extension(x[10][3]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.57 c 01:14:55.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19251. 'extension(x[10][6]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.57 c 01:14:55.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19253. 'extension(x[12][6]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.57 c 01:14:55.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19267. 'extension(x[12][7]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19281. 'extension(x[10][18]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19283. 'extension(x[12][18]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19297. 'extension(x[10][22]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19299. 'extension(x[12][22]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19313. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19315. 'extension(x[13][3]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19329. 'extension(wk[4][1]=[0‥1]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19331. 'extension(x[11][4]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19337. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19339. 'extension(x[11][21]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19341. 'extension(x[13][21]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19355. 'extension(wk[25][1]=[0‥1]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19357. 'extension(x[11][25]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19359. 'extension(x[13][25]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19373. 'extension(wk[4][1]=[0‥1]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19375. 'extension(x[14][4]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19389. 'extension(wk[28][1]=[0‥1]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19391. 'extension(x[12][28]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19393. 'extension(x[14][28]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19407. 'extension(x[13][1]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19413. 'extension(x[13][20]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.58 c 01:14:55.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19415. 'extension(x[15][20]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.59 c 01:14:55.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19429. 'extension(x[13][30]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.59 c 01:14:55.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19435. 'extension(x[13][35]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.59 c 01:14:55.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19441. 'extension(x[16][1]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.59 c 01:14:55.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19455. 'extension(x[16][30]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.59 c 01:14:55.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19469. 'extension(x[16][35]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.59 c 01:14:55.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19483. 'extension(x[15][24]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.59 c 01:14:55.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19485. 'extension(x[17][24]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.59 c 01:14:55.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19499. 'extension(x[17][36]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.59 c 01:14:55.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19501. 'extension(x[19][36]=[0‥5]) :: init: true :: relation: Empty MDD 16.50/6.59 c 01:14:55.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19515. 'extension(wk[21][2]=[0‥1]) :: init: true :: relation: Empty MDD 16.50/6.59 c 01:14:55.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19517. 'extension(x[18][21]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19519. 'extension(x[20][21]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19533. 'extension(wk[39][2]=[0‥1]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19535. 'extension(x[18][39]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19537. 'extension(x[20][39]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19551. 'extension(wk[26][2]=[0‥1]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19553. 'extension(x[19][26]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19559. 'extension(x[20][10]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19561. 'extension(x[22][10]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19575. 'extension(x[20][16]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19577. 'extension(x[22][16]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19591. 'extension(x[22][26]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19605. 'extension(x[21][8]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19607. 'extension(x[23][8]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19621. 'extension(x[21][9]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19623. 'extension(x[23][9]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19637. 'extension(x[21][13]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19643. 'extension(x[21][24]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19645. 'extension(x[23][24]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.60 c 01:14:55.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19659. 'extension(x[22][2]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19665. 'extension(x[24][13]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19679. 'extension(x[22][23]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19681. 'extension(x[24][23]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19695. 'extension(x[22][29]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19697. 'extension(x[24][29]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19711. 'extension(x[22][37]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19713. 'extension(x[24][37]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19727. 'extension(x[25][2]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19741. 'extension(x[23][16]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19743. 'extension(x[25][16]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19757. 'extension(x[24][27]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19763. 'extension(wk[22][3]=[0‥1]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19765. 'extension(x[25][22]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19767. 'extension(x[27][22]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19779. 'extension(wk[27][3]=[0‥1]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19781. 'extension(x[27][27]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19793. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19795. 'extension(x[25][34]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19801. 'extension(wk[9][3]=[0‥1]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19803. 'extension(x[26][9]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19805. 'extension(x[26][9]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19811. 'extension(wk[23][3]=[0‥1]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19813. 'extension(x[26][23]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19815. 'extension(x[26][23]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19821. 'extension(wk[28][3]=[0‥1]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19823. 'extension(x[26][28]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19825. 'extension(x[26][28]=[0‥5]) :: init: true :: relation: Empty MDD 16.82/6.61 c 01:14:55.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19831. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD 686.08/631.62 o 14150 686.64/632.06 o 14049 686.64/632.09 o 13949 687.16/632.29 o 13848 687.39/632.33 o 13847 687.39/632.35 o 13746 687.39/632.37 o 13646 687.39/632.39 o 13645 687.71/632.41 o 13545 689.02/633.38 o 13544 689.02/633.39 o 13444 690.12/634.15 o 13443 690.23/634.26 o 13345 690.23/634.28 o 13344 690.23/634.29 o 13343 2520.05/2420.30 Exception in thread "main" java.util.concurrent.TimeoutException 2520.05/2420.31 at concrete.MAC.mac(MAC.scala:188) 2520.05/2420.31 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.05/2420.31 at scala.util.Try$.apply(Try.scala:209) 2520.05/2420.31 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.05/2420.31 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.05/2420.31 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.05/2420.31 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.05/2420.31 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.05/2420.31 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.05/2420.31 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.05/2420.31 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.05/2420.31 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.05/2420.31 at concrete.MAC.oneRun(MAC.scala:253) 2520.05/2420.31 at concrete.MAC.nextSolution(MAC.scala:272) 2520.05/2420.31 at concrete.MAC.nextSolution(MAC.scala:355) 2520.05/2420.31 at concrete.Solver.hasNext(Solver.scala:166) 2520.05/2420.31 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.05/2420.31 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.05/2420.31 at concrete.Solver.foreach(Solver.scala:68) 2520.05/2420.31 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.05/2420.31 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.05/2420.31 at scala.util.Success.map(Try.scala:209) 2520.05/2420.31 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.05/2420.31 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.05/2420.31 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.05/2420.31 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.05/2420.31 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.05/2420.31 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.05/2420.31 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.05/2420.31 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.05/2420.31 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.05/2420.31 at scala.collection.immutable.List.foreach(List.scala:389) 2520.05/2420.31 at scala.App.main(App.scala:76) 2520.05/2420.31 at scala.App.main$(App.scala:74) 2520.05/2420.31 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.05/2420.31 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.05/2420.32 v <instantiation cost="13343"> 2520.05/2420.32 v <list> 2520.05/2420.32 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[0][5] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[1][5] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[2][5] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[3][5] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[4][5] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[5][5] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[6][5] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[7][5] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[8][5] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[9][5] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[10][5] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[11][5] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[12][5] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[13][5] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[14][5] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[15][5] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[16][5] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[17][5] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[18][5] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[19][5] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[20][5] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[21][5] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[22][5] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[23][5] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[24][5] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[25][5] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[26][5] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[27][5] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[28][5] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[29][5] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[30][5] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[31][5] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[32][5] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[33][5] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[34][5] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ps[35][5] ps[36][0] ps[36][1] ps[36][2] ps[36][3] ps[36][4] ps[36][5] ps[37][0] ps[37][1] ps[37][2] ps[37][3] ps[37][4] ps[37][5] ps[38][0] ps[38][1] ps[38][2] ps[38][3] ps[38][4] ps[38][5] ps[39][0] ps[39][1] ps[39][2] ps[39][3] ps[39][4] ps[39][5] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[0][5] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[1][5] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[2][5] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[3][5] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[4][5] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[5][5] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[6][5] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[7][5] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[8][5] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[9][5] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[10][5] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[11][5] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[12][5] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[13][5] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[14][5] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[15][5] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[16][5] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[17][5] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[18][5] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[19][5] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[20][5] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[21][5] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[22][5] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[23][5] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[24][5] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[25][5] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[26][5] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] ds[27][5] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] wk[20][0] wk[20][1] wk[20][2] wk[20][3] wk[21][0] wk[21][1] wk[21][2] wk[21][3] wk[22][0] wk[22][1] wk[22][2] wk[22][3] wk[23][0] wk[23][1] wk[23][2] wk[23][3] wk[24][0] wk[24][1] wk[24][2] wk[24][3] wk[25][0] wk[25][1] wk[25][2] wk[25][3] wk[26][0] wk[26][1] wk[26][2] wk[26][3] wk[27][0] wk[27][1] wk[27][2] wk[27][3] wk[28][0] wk[28][1] wk[28][2] wk[28][3] wk[29][0] wk[29][1] wk[29][2] wk[29][3] wk[30][0] wk[30][1] wk[30][2] wk[30][3] wk[31][0] wk[31][1] wk[31][2] wk[31][3] wk[32][0] wk[32][1] wk[32][2] wk[32][3] wk[33][0] wk[33][1] wk[33][2] wk[33][3] wk[34][0] wk[34][1] wk[34][2] wk[34][3] wk[35][0] wk[35][1] wk[35][2] wk[35][3] wk[36][0] wk[36][1] wk[36][2] wk[36][3] wk[37][0] wk[37][1] wk[37][2] wk[37][3] wk[38][0] wk[38][1] wk[38][2] wk[38][3] wk[39][0] wk[39][1] wk[39][2] wk[39][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] cn[104] cn[105] cn[106] cn[107] cn[108] cn[109] cn[110] cn[111] cn[112] cn[113] cn[114] cn[115] cn[116] cn[117] cn[118] cn[119] cn[120] cn[121] cn[122] cn[123] cn[124] cn[125] cn[126] cn[127] cn[128] cn[129] cn[130] cn[131] cn[132] cn[133] cn[134] cn[135] cn[136] cn[137] cn[138] cn[139] cn[140] cn[141] cn[142] cn[143] cn[144] cn[145] cn[146] cn[147] cn[148] cn[149] cn[150] cn[151] cn[152] cn[153] cn[154] cn[155] cn[156] cn[157] cn[158] cn[159] cn[160] cn[161] cn[162] cn[163] cn[164] cn[165] cn[166] cn[167] cn[168] cn[169] cn[170] cn[171] cn[172] cn[173] cn[174] cn[175] cn[176] cn[177] cn[178] cn[179] cn[180] cn[181] cn[182] cn[183] cn[184] cn[185] cn[186] cn[187] cn[188] cn[189] cn[190] cn[191] cn[192] cn[193] cn[194] cn[195] cn[196] cn[197] cn[198] cn[199] cn[200] cn[201] cn[202] cn[203] cn[204] cn[205] cn[206] cn[207] cn[208] cn[209] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] cf[64] cf[65] cf[66] cf[67] cf[68] cf[69] cf[70] cf[71] cf[72] cf[73] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[0][5] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[1][5] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[2][5] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[3][5] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[4][5] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[5][5] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[6][5] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[7][5] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[8][5] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[9][5] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[10][5] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[11][5] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[12][5] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[13][5] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[14][5] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[15][5] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[16][5] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[17][5] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[18][5] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[19][5] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[20][5] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[21][5] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[22][5] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[23][5] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[24][5] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[25][5] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[26][5] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] cc[27][5] 2520.05/2420.32 v </list> 2520.05/2420.32 v <values> 2520.05/2420.32 v 1 0 5 2 5 4 5 1 5 3 1 3 0 5 2 5 0 1 4 5 5 5 5 0 0 5 5 0 1 5 2 5 0 0 3 2 5 2 5 2 1 0 5 2 4 4 5 1 5 3 1 3 0 5 3 5 0 2 4 5 5 5 5 1 0 5 5 2 1 5 1 5 0 0 3 2 5 3 5 2 5 5 0 2 4 5 0 5 1 5 4 3 5 3 3 5 0 4 4 2 5 0 5 5 3 0 1 1 1 5 1 0 0 0 3 2 5 3 0 2 5 5 0 5 4 5 2 5 1 5 5 3 5 3 3 3 0 4 5 2 2 0 0 5 5 1 1 2 3 5 5 0 0 0 3 3 0 5 0 1 1 0 5 5 5 5 2 1 1 1 5 3 5 3 3 3 0 5 5 2 2 3 4 0 5 4 1 2 4 0 5 3 0 0 4 5 0 5 0 5 1 0 5 1 5 5 2 1 1 4 5 5 0 3 5 5 5 5 2 2 5 3 4 0 0 5 1 5 5 0 1 5 5 5 5 5 0 5 0 5 1 0 3 2 3 5 2 1 1 4 5 5 0 3 5 5 5 5 2 2 5 3 4 0 0 5 1 5 5 0 1 5 5 5 5 5 0 5 4 5 5 0 3 5 3 5 5 1 5 4 5 5 0 5 5 1 5 2 2 5 0 5 4 0 0 0 5 1 1 5 1 5 5 5 5 5 0 5 5 5 5 0 3 5 3 5 5 1 5 4 5 5 0 5 5 1 5 2 3 5 0 5 5 5 0 0 5 1 1 5 1 5 5 5 0 5 5 2 5 0 1 5 3 1 3 1 4 5 0 5 1 5 0 3 2 1 0 1 5 5 0 0 5 5 0 0 1 1 5 2 1 2 0 5 3 5 5 1 5 0 3 5 5 1 3 1 4 5 0 5 1 5 5 3 2 2 0 2 5 3 0 0 5 0 5 0 1 5 5 3 5 2 0 5 3 2 0 1 0 5 3 0 5 5 5 1 5 5 1 5 1 0 5 3 5 2 0 2 5 3 3 4 5 0 5 5 1 5 5 3 5 2 0 5 5 2 0 1 0 5 5 0 5 5 5 3 5 5 5 5 5 1 0 5 5 5 0 5 5 3 5 5 5 5 5 5 1 5 5 5 5 5 5 0 5 1 0 5 5 2 5 0 5 5 5 5 0 1 5 5 5 2 3 5 0 5 3 5 5 3 5 5 0 5 5 0 1 0 5 5 5 5 5 0 4 3 5 5 5 3 1 5 0 2 3 5 0 1 0 1 5 1 3 3 0 1 5 0 1 3 5 5 0 0 0 0 5 1 0 2 5 5 5 0 4 5 5 1 5 3 1 5 0 1 3 1 2 1 0 3 1 3 3 3 0 1 5 2 1 5 0 0 0 0 0 5 5 5 1 2 5 5 5 0 5 5 5 2 0 3 1 0 0 2 4 1 2 1 0 3 1 5 3 3 0 1 3 5 1 5 0 0 0 0 5 5 5 5 5 2 3 5 5 0 5 2 0 2 0 3 5 0 0 3 5 1 2 1 1 3 1 5 5 3 5 5 3 5 1 2 5 0 0 0 5 0 1 2 5 2 3 2 5 5 3 4 0 1 0 5 5 0 0 3 5 4 5 5 1 5 1 1 5 3 5 5 3 0 2 2 5 0 5 0 0 0 1 2 0 2 3 2 0 5 3 5 5 1 4 5 5 5 5 5 5 5 5 5 5 5 4 1 5 5 0 1 5 1 5 5 0 5 5 5 0 0 5 5 0 5 5 2 0 0 3 5 5 5 4 5 1 5 5 5 5 5 5 5 5 5 5 4 5 5 0 1 5 2 5 5 0 5 5 5 0 0 5 5 0 5 5 2 0 0 3 2 5 5 5 5 1 0 0 3 5 3 5 2 5 5 5 5 0 5 2 1 5 4 5 5 2 1 0 5 5 2 5 2 1 0 1 2 0 0 3 3 0 2 5 0 1 0 1 3 3 3 5 1 5 5 5 5 0 5 2 5 0 5 5 2 2 1 0 5 5 5 1 1 5 2 1 5 5 0 5 3 0 2 4 0 1 0 5 5 3 3 2 1 5 3 5 2 0 5 2 5 0 5 5 2 2 1 0 5 1 5 3 1 5 5 2 5 5 3 5 3 0 5 4 0 1 0 5 5 3 3 2 2 5 3 1 1 0 3 5 0 5 5 5 3 5 1 0 0 1 0 3 4 0 5 2 3 0 5 5 3 0 5 5 0 5 5 0 1 3 3 4 1 1 3 4 2 0 3 5 0 5 5 2 3 5 1 4 0 1 0 3 5 0 2 2 3 0 5 5 5 0 2 5 5 5 5 0 1 3 5 5 5 1 4 4 5 5 3 5 0 0 5 1 5 0 5 5 0 5 5 5 5 0 2 5 3 0 5 5 5 5 1 5 5 5 5 0 3 5 5 5 5 1 5 4 5 5 3 5 0 0 5 1 5 0 5 5 5 5 5 5 5 5 3 5 3 0 5 5 5 5 3 5 5 0 14 0 2 0 12 17 0 0 0 0 11 11 1 0 4 0 12 0 6 6 5 0 11 0 0 0 12 4 12 0 6 0 6 3 13 3 0 9 0 3 13 0 15 2 0 0 11 5 11 0 0 0 12 0 2 0 8 5 13 0 10 0 0 5 13 1 5 3 6 1 12 13 0 0 4 0 11 0 0 0 17 0 11 6 0 6 4 0 12 4 9 2 2 0 11 13 0 0 4 0 11 2 3 7 0 3 13 0 6 5 1 3 13 0 0 9 7 0 12 10 0 5 1 0 12 8 5 0 3 1 11 10 0 0 0 5 13 15 1 0 0 0 12 12 3 0 1 0 12 13 1 1 0 1 12 0 13 0 3 0 12 2 7 6 0 1 12 7 7 0 1 1 12 4 0 9 3 0 12 0 9 4 3 0 12 2 0 8 5 0 13 16 0 0 0 0 12 14 0 0 1 0 13 1 0 0 11 3 13 0 1 7 6 1 13 15 0 0 0 0 13 0 7 7 3 0 11 9 0 0 0 5 14 6 1 4 4 0 13 8 5 6 3 2 16 6 6 5 5 3 15 9 5 4 6 4 12 9 4 4 7 2 14 8 5 4 6 4 13 7 6 3 2 2 20 6 5 4 4 3 18 7 5 2 2 2 22 7 5 2 3 1 22 9 10 3 4 1 13 9 5 5 6 1 14 7 5 4 5 1 18 5 3 1 2 0 29 7 2 1 5 1 24 11 8 2 5 1 13 10 8 4 6 0 12 11 6 5 6 1 11 8 7 5 6 1 13 9 5 5 5 2 14 7 3 1 1 2 26 7 2 3 1 1 26 9 5 7 4 1 14 7 7 5 4 1 16 6 5 6 6 1 16 10 5 3 8 1 13 8 5 5 7 3 12 7 4 1 3 2 23 5 2 0 5 1 27 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 2 0 0 0 0 0 2 2 2 0 0 1 1 0 0 2 2 2 2 3 0 0 0 0 0 1 2 2 2 3 3 3 0 0 0 0 0 1 0 1 1 1 0 0 2 2 2 2 1 0 3 3 3 0 3 0 1 3 3 3 3 0 1 1 0 0 2 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 2 0 3 3 2 0 3 3 1 1 1 1 0 1 0 0 0 0 0 0 3 3 3 0 3 3 0 0 0 3 3 0 0 0 2 0 0 2 2 0 0 0 0 0 0 2 2 0 1 0 0 0 0 1 0 0 1 2 2 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 3 0 0 2 0 0 0 0 3 0 0 2 2 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 400 1 0 1 1 100 100 1 0 3 0 100 0 2 0 3 0 1 0 0 0 2 0 0 0 3 0 0 1 100 400 100 0 0 100 300 100 0 0 1 0 300 400 0 0 100 0 300 200 300 0 3 5 0 100 0 0 4 0 0 0 0 0 0 0 100 100 0 0 0 200 400 500 300 0 0 300 600 300 0 0 3 2 300 200 100 0 3 3 100 0 100 0 2 2 0 100 200 0 2 2 0 0 0 0 2 100 0 200 0 0 1 200 400 400 100 0 0 300 300 600 100 0 3 0 1 300 0 0 1 1 100 200 200 0 2 0 100 0 100 0 2 2 0 1 0 0 1 0 0 0 1 0 0 200 300 400 0 0 200 400 400 100 0 0 2520.05/2420.32 v </values> 2520.05/2420.32 v </instantiation> 2520.05/2420.32 s SATISFIABLE
OK 13343
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 (7097 MiB free)
memory of node 1: 16384 MiB (8824 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292966-1532301289/watcher-4292966-1532301289 -o /tmp/evaluation-result-4292966-1532301289/solver-4292966-1532301289 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532296193-16111 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1557027285 -superng HOME/instance-4292966-1532301289.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17241, runsolver pid=17238
[startup+0.100058 s]*
/proc/loadavg: 1.89 1.61 1.49 3/210 17298
/proc/meminfo: memFree=16301032/32770624 swapFree=67108860/67108860
[pid=17241] ppid=17238 vsize=9972712 memory=16428 CPUtime=0.08 cores=0,2,4,6
/proc/17241/stat : 17241 (java) S 17238 17241 16080 0 -1 1077944320 4271 12996 0 0 1 0 4 3 20 0 6 0 47692046 10212057088 4107 33554432000 4194304 4196468 140736172156480 140736172139024 140123371994871 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
/proc/17241/statm: 2493178 4107 1930 1 0 2481616 0
[pid=17241/tid=17294] ppid=17238 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=0,2,4,6
/proc/17241/task/17294/stat : 17294 (java) R 17238 17241 16080 0 -1 4202560 2091 12996 0 0 1 0 4 3 20 0 6 0 47692055 10212057088 4107 33554432000 4194304 4196468 140736172156480 140123343831632 140123353388605 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17295] ppid=17238 vsize=9972712 memory=5793855427543464377 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17295/stat : 17295 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 6 0 47692056 10212057088 4107 33554432000 4194304 4196468 140736172156480 140123376237584 140123372005077 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17296] ppid=17238 vsize=9972712 memory=140176533571200 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17296/stat : 17296 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 6 0 47692056 10212057088 4107 33554432000 4194304 4196468 140736172156480 140122945621136 140123372005077 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17297] ppid=17238 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17297/stat : 17297 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 6 0 47692056 10212057088 4107 33554432000 4194304 4196468 140736172156480 140122944568080 140123372005077 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17298] ppid=17238 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17298/stat : 17298 (java) S 17238 17241 16080 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 6 0 47692056 10212057088 4107 33554432000 4194304 4196468 140736172156480 140122943515536 140123372005077 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16428 KiB
[startup+0.210598 s]*
/proc/loadavg: 1.89 1.61 1.49 2/219 17307
/proc/meminfo: memFree=16275192/32770624 swapFree=67108860/67108860
[pid=17241] ppid=17238 vsize=10818856 memory=41820 CPUtime=0.25 cores=0,2,4,6
/proc/17241/stat : 17241 (java) S 17238 17241 16080 0 -1 1077944320 8349 12996 0 0 16 2 4 3 20 0 15 0 47692046 11078508544 10455 33554432000 4194304 4196468 140736172156480 140736172139024 140123371994871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
/proc/17241/statm: 2704714 10455 2956 1 0 2667149 0
[pid=17241/tid=17294] ppid=17238 vsize=10818856 memory=-8540663193526752614 CPUtime=0.18 cores=0,2,4,6
/proc/17241/task/17294/stat : 17294 (java) R 17238 17241 16080 0 -1 4202560 4893 12996 0 0 10 1 4 3 20 0 15 0 47692055 11078508544 10455 33554432000 4194304 4196468 140736172156480 140123343792528 140123357160510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17295] ppid=17238 vsize=10818856 memory=4211973902738361738 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17295/stat : 17295 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692056 11078508544 10455 33554432000 4194304 4196468 140736172156480 140123376237584 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17296] ppid=17238 vsize=10818856 memory=140176533571200 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17296/stat : 17296 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692056 11078508544 10455 33554432000 4194304 4196468 140736172156480 140122945621136 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17297] ppid=17238 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17297/stat : 17297 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692056 11078508544 10455 33554432000 4194304 4196468 140736172156480 140122944568080 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17298] ppid=17238 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17298/stat : 17298 (java) S 17238 17241 16080 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 47692056 11078508544 10455 33554432000 4194304 4196468 140736172156480 140122943515536 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17299] ppid=17238 vsize=10818856 memory=140176533571200 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17299/stat : 17299 (java) S 17238 17241 16080 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 47692057 11078508544 10455 33554432000 4194304 4196468 140736172156480 140122696677616 140123372006018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17300] ppid=17238 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17300/stat : 17300 (java) S 17238 17241 16080 0 -1 1077944384 33 12996 0 0 0 0 4 3 20 0 15 0 47692058 11078508544 10455 33554432000 4194304 4196468 140736172156480 140122695623840 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17301] ppid=17238 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17301/stat : 17301 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692058 11078508544 10455 33554432000 4194304 4196468 140736172156480 140122234282736 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17302] ppid=17238 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17302/stat : 17302 (java) S 17238 17241 16080 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 47692061 11078508544 10455 33554432000 4194304 4196468 140736172156480 140121926883280 140123372013467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17303] ppid=17238 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17241/task/17303/stat : 17303 (java) S 17238 17241 16080 0 -1 1077944384 530 12996 0 0 1 0 4 3 20 0 15 0 47692061 11078508544 10455 33554432000 4194304 4196468 140736172156480 140122662066928 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17304] ppid=17238 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17304/stat : 17304 (java) S 17238 17241 16080 0 -1 1077944384 59 12996 0 0 0 0 4 3 20 0 15 0 47692061 11078508544 10455 33554432000 4194304 4196468 140736172156480 140122661014384 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17305] ppid=17238 vsize=10818856 memory=140176533571200 CPUtime=0.1 cores=0,2,4,6
/proc/17241/task/17305/stat : 17305 (java) S 17238 17241 16080 0 -1 1077944384 632 12996 0 0 3 0 4 3 20 0 15 0 47692061 11078508544 10455 33554432000 4194304 4196468 140736172156480 140122659961328 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17306] ppid=17238 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17306/stat : 17306 (java) S 17238 17241 16080 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 47692061 11078508544 10455 33554432000 4194304 4196468 140736172156480 140121893325664 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17307] ppid=17238 vsize=10818856 memory=140176533571200 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17307/stat : 17307 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692061 11078508544 10455 33554432000 4194304 4196468 140736172156480 140122658908720 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 41820 KiB
[startup+0.310812 s]*
/proc/loadavg: 1.89 1.61 1.49 3/219 17307
/proc/meminfo: memFree=16266200/32770624 swapFree=67108860/67108860
[pid=17241] ppid=17238 vsize=10819352 memory=53176 CPUtime=0.38 cores=0,2,4,6
/proc/17241/stat : 17241 (java) S 17238 17241 16080 0 -1 1077944320 10398 12996 0 0 28 3 4 3 20 0 15 0 47692046 11079016448 13294 33554432000 4194304 4196468 140736172156480 140736172139024 140123371994871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
/proc/17241/statm: 2704838 13294 3087 1 0 2667149 0
[pid=17241/tid=17294] ppid=17238 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/17241/task/17294/stat : 17294 (java) R 17238 17241 16080 0 -1 4202560 6911 12996 0 0 19 2 4 3 20 0 15 0 47692055 11079016448 13294 33554432000 4194304 4196468 140736172156480 140123343806880 140123357160544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17295] ppid=17238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17295/stat : 17295 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692056 11079016448 13294 33554432000 4194304 4196468 140736172156480 140123376237584 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17296] ppid=17238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17296/stat : 17296 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692056 11079016448 13294 33554432000 4194304 4196468 140736172156480 140122945621136 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17297] ppid=17238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17297/stat : 17297 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692056 11079016448 13294 33554432000 4194304 4196468 140736172156480 140122944568080 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17298] ppid=17238 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17298/stat : 17298 (java) S 17238 17241 16080 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 47692056 11079016448 13294 33554432000 4194304 4196468 140736172156480 140122943515536 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17299] ppid=17238 vsize=10819352 memory=140176533571199 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17299/stat : 17299 (java) S 17238 17241 16080 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 47692057 11079016448 13294 33554432000 4194304 4196468 140736172156480 140122696677616 140123372006018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17300] ppid=17238 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17300/stat : 17300 (java) S 17238 17241 16080 0 -1 1077944384 33 12996 0 0 0 0 4 3 20 0 15 0 47692058 11079016448 13294 33554432000 4194304 4196468 140736172156480 140122695623840 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17301] ppid=17238 vsize=10819352 memory=140176533571200 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17301/stat : 17301 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692058 11079016448 13294 33554432000 4194304 4196468 140736172156480 140122234282736 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17302] ppid=17238 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17302/stat : 17302 (java) S 17238 17241 16080 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 47692061 11079016448 13294 33554432000 4194304 4196468 140736172156480 140121926883280 140123372013467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17303] ppid=17238 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17241/task/17303/stat : 17303 (java) S 17238 17241 16080 0 -1 1077944384 534 12996 0 0 1 0 4 3 20 0 15 0 47692061 11079016448 13294 33554432000 4194304 4196468 140736172156480 140122662066928 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17304] ppid=17238 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17241/task/17304/stat : 17304 (java) S 17238 17241 16080 0 -1 1077944384 63 12996 0 0 1 0 4 3 20 0 15 0 47692061 11079016448 13294 33554432000 4194304 4196468 140736172156480 140122661014384 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17305] ppid=17238 vsize=10819352 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/17241/task/17305/stat : 17305 (java) S 17238 17241 16080 0 -1 1077944384 655 12996 0 0 4 0 4 3 20 0 15 0 47692061 11079016448 13294 33554432000 4194304 4196468 140736172156480 140122659961328 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17306] ppid=17238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17306/stat : 17306 (java) S 17238 17241 16080 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 47692061 11079016448 13294 33554432000 4194304 4196468 140736172156480 140121893325664 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17307] ppid=17238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17307/stat : 17307 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692061 11079016448 13294 33554432000 4194304 4196468 140736172156480 140122658908720 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53176 KiB
[startup+0.700751 s]
/proc/loadavg: 1.89 1.61 1.49 3/219 17307
/proc/meminfo: memFree=16255036/32770624 swapFree=67108860/67108860
[pid=17241] ppid=17238 vsize=10819352 memory=86100 CPUtime=0.98 cores=0,2,4,6
/proc/17241/stat : 17241 (java) S 17238 17241 16080 0 -1 1077944320 16755 12996 0 0 85 6 4 3 20 0 15 0 47692046 11079016448 21525 33554432000 4194304 4196468 140736172156480 140736172139024 140123371994871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
/proc/17241/statm: 2704838 21525 3237 1 0 2667149 0
[pid=17241/tid=17294] ppid=17238 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/17241/task/17294/stat : 17294 (java) R 17238 17241 16080 0 -1 4202560 12227 12996 0 0 55 3 4 3 20 0 15 0 47692055 11079016448 21525 33554432000 4194304 4196468 140736172156480 140123343815160 140123352270167 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17295] ppid=17238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17295/stat : 17295 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692056 11079016448 21525 33554432000 4194304 4196468 140736172156480 140123376237584 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17296] ppid=17238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17296/stat : 17296 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692056 11079016448 21525 33554432000 4194304 4196468 140736172156480 140122945621136 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17297] ppid=17238 vsize=10819352 memory=4132 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17297/stat : 17297 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692056 11079016448 21525 33554432000 4194304 4196468 140736172156480 140122944568080 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17298] ppid=17238 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17298/stat : 17298 (java) S 17238 17241 16080 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 47692056 11079016448 21525 33554432000 4194304 4196468 140736172156480 140122943515536 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17299] ppid=17238 vsize=10819352 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17299/stat : 17299 (java) S 17238 17241 16080 0 -1 1077944384 5 12996 0 0 0 0 4 3 20 0 15 0 47692057 11079016448 21525 33554432000 4194304 4196468 140736172156480 140122696677616 140123372006018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17300] ppid=17238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17300/stat : 17300 (java) S 17238 17241 16080 0 -1 1077944384 33 12996 0 0 0 0 4 3 20 0 15 0 47692058 11079016448 21525 33554432000 4194304 4196468 140736172156480 140122695623840 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17301] ppid=17238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17301/stat : 17301 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692058 11079016448 21525 33554432000 4194304 4196468 140736172156480 140122234282736 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17302] ppid=17238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17302/stat : 17302 (java) S 17238 17241 16080 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 47692061 11079016448 21525 33554432000 4194304 4196468 140736172156480 140121926883280 140123372013467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17303] ppid=17238 vsize=10819352 memory=6655300316396806240 CPUtime=0.16 cores=0,2,4,6
/proc/17241/task/17303/stat : 17303 (java) S 17238 17241 16080 0 -1 1077944384 1158 12996 0 0 9 0 4 3 20 0 15 0 47692061 11079016448 21525 33554432000 4194304 4196468 140736172156480 140122662066928 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17304] ppid=17238 vsize=10819352 memory=3557678080365911397 CPUtime=0.14 cores=0,2,4,6
/proc/17241/task/17304/stat : 17304 (java) S 17238 17241 16080 0 -1 1077944384 313 12996 0 0 7 0 4 3 20 0 15 0 47692061 11079016448 21525 33554432000 4194304 4196468 140736172156480 140122661014384 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17305] ppid=17238 vsize=10819352 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/17241/task/17305/stat : 17305 (java) S 17238 17241 16080 0 -1 1077944384 819 12996 0 0 12 0 4 3 20 0 15 0 47692061 11079016448 21525 33554432000 4194304 4196468 140736172156480 140122659961328 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17306] ppid=17238 vsize=10819352 memory=280352782287088 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17306/stat : 17306 (java) S 17238 17241 16080 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 47692061 11079016448 21525 33554432000 4194304 4196468 140736172156480 140121893325664 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17307] ppid=17238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17307/stat : 17307 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692061 11079016448 21525 33554432000 4194304 4196468 140736172156480 140122658908720 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86100 KiB
[startup+1.50074 s]
/proc/loadavg: 1.89 1.61 1.49 3/219 17307
/proc/meminfo: memFree=16209324/32770624 swapFree=67108860/67108860
[pid=17241] ppid=17238 vsize=10830156 memory=164368 CPUtime=3.02 cores=0,2,4,6
/proc/17241/stat : 17241 (java) S 17238 17241 16080 0 -1 1077944320 22937 12996 0 0 286 9 4 3 20 0 15 0 47692046 11090079744 41092 33554432000 4194304 4196468 140736172156480 140736172139024 140123371994871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
/proc/17241/statm: 2707539 41092 3450 1 0 2669197 0
[pid=17241/tid=17294] ppid=17238 vsize=10830156 memory=4132 CPUtime=1.45 cores=0,2,4,6
/proc/17241/task/17294/stat : 17294 (java) R 17238 17241 16080 0 -1 4202560 15297 12996 0 0 133 5 4 3 20 0 15 0 47692055 11090079744 41092 33554432000 4194304 4196468 140736172156480 140123343812400 140122976441166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17295] ppid=17238 vsize=10830156 memory=238 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17295/stat : 17295 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692056 11090079744 41092 33554432000 4194304 4196468 140736172156480 140123376237584 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17296] ppid=17238 vsize=10830156 memory=118 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17296/stat : 17296 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692056 11090079744 41604 33554432000 4194304 4196468 140736172156480 140122945621136 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17297] ppid=17238 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17297/stat : 17297 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692056 11090079744 41604 33554432000 4194304 4196468 140736172156480 140122944568080 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17298] ppid=17238 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17298/stat : 17298 (java) S 17238 17241 16080 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 47692056 11090079744 41604 33554432000 4194304 4196468 140736172156480 140122943515536 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17299] ppid=17238 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17299/stat : 17299 (java) S 17238 17241 16080 0 -1 1077944384 12 12996 0 0 0 0 4 3 20 0 15 0 47692057 11090079744 41604 33554432000 4194304 4196468 140736172156480 140122696677616 140123372006018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17300] ppid=17238 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17300/stat : 17300 (java) S 17238 17241 16080 0 -1 1077944384 33 12996 0 0 0 0 4 3 20 0 15 0 47692058 11090079744 41604 33554432000 4194304 4196468 140736172156480 140122695623840 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17301] ppid=17238 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17301/stat : 17301 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692058 11090079744 41604 33554432000 4194304 4196468 140736172156480 140122234282736 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17302] ppid=17238 vsize=10830156 memory=280352782323488 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17302/stat : 17302 (java) S 17238 17241 16080 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 47692061 11090079744 41604 33554432000 4194304 4196468 140736172156480 140121926883280 140123372013467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17303] ppid=17238 vsize=10830156 memory=7649399379902805809 CPUtime=0.61 cores=0,2,4,6
/proc/17241/task/17303/stat : 17303 (java) R 17238 17241 16080 0 -1 1077944384 1946 12996 0 0 54 0 4 3 20 0 15 0 47692061 11090079744 41604 33554432000 4194304 4196468 140736172156480 140122662066928 140123372006018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17304] ppid=17238 vsize=10830156 memory=7 CPUtime=0.55 cores=0,2,4,6
/proc/17241/task/17304/stat : 17304 (java) S 17238 17241 16080 0 -1 1077944384 1546 12996 0 0 48 0 4 3 20 0 15 0 47692061 11090079744 41604 33554432000 4194304 4196468 140736172156480 140122661014384 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17305] ppid=17238 vsize=10830156 memory=2209 CPUtime=0.57 cores=0,2,4,6
/proc/17241/task/17305/stat : 17305 (java) R 17238 17241 16080 0 -1 4202560 1903 12996 0 0 49 1 4 3 20 0 15 0 47692061 11090079744 41604 33554432000 4194304 4196468 140736172156480 140122659961328 140123350672576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17306] ppid=17238 vsize=10830156 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17306/stat : 17306 (java) S 17238 17241 16080 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 47692061 11090079744 41604 33554432000 4194304 4196468 140736172156480 140121893325664 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17307] ppid=17238 vsize=10830156 memory=3303 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17307/stat : 17307 (java) S 17238 17241 16080 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 47692061 11090079744 41604 33554432000 4194304 4196468 140736172156480 140122658908720 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 10830156 KiB
################
# More data... #
################
/proc/17241/task/17294/stat : 17294 (java) R 17238 17241 16080 0 -1 4202560 252129 12996 0 0 229990 59 4 3 20 0 15 0 47692055 11182374912 1213531 33554432000 4194304 4196468 140736172156480 140123343830336 140122985482080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17295] ppid=17238 vsize=10920288 memory=4854124 CPUtime=20.55 cores=0,2,4,6
/proc/17241/task/17295/stat : 17295 (java) S 17238 17241 16080 0 -1 1077944384 37037 12996 0 0 1965 83 4 3 20 0 15 0 47692056 11182374912 1213531 33554432000 4194304 4196468 140736172156480 140123376237584 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17296] ppid=17238 vsize=10920288 memory=4854124 CPUtime=20.64 cores=0,2,4,6
/proc/17241/task/17296/stat : 17296 (java) S 17238 17241 16080 0 -1 1077944384 47730 12996 0 0 1974 83 4 3 20 0 15 0 47692056 11182374912 1213531 33554432000 4194304 4196468 140736172156480 140122945621136 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17297] ppid=17238 vsize=10920288 memory=4854124 CPUtime=20.65 cores=0,2,4,6
/proc/17241/task/17297/stat : 17297 (java) S 17238 17241 16080 0 -1 1077944384 47439 12996 0 0 1976 82 4 3 20 0 15 0 47692056 11182374912 1213531 33554432000 4194304 4196468 140736172156480 140122944568080 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17298] ppid=17238 vsize=10920288 memory=4854124 CPUtime=20.7 cores=0,2,4,6
/proc/17241/task/17298/stat : 17298 (java) S 17238 17241 16080 0 -1 1077944384 39154 12996 0 0 1980 83 4 3 20 0 15 0 47692056 11182374912 1213531 33554432000 4194304 4196468 140736172156480 140122943515536 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17299] ppid=17238 vsize=10920288 memory=4854124 CPUtime=0.64 cores=0,2,4,6
/proc/17241/task/17299/stat : 17299 (java) S 17238 17241 16080 0 -1 1077944384 47782 12996 0 0 49 8 4 3 20 0 15 0 47692057 11182374912 1213531 33554432000 4194304 4196468 140736172156480 140122696677616 140123372006018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17300] ppid=17238 vsize=10920288 memory=4854124 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17300/stat : 17300 (java) S 17238 17241 16080 0 -1 1077944384 43 12996 0 0 0 0 4 3 20 0 15 0 47692058 11182374912 1213531 33554432000 4194304 4196468 140736172156480 140122695623904 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17301] ppid=17238 vsize=10920288 memory=4854124 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17301/stat : 17301 (java) S 17238 17241 16080 0 -1 1077944384 7 12996 0 0 0 0 4 3 20 0 15 0 47692058 11182374912 1213531 33554432000 4194304 4196468 140736172156480 140122234282752 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17302] ppid=17238 vsize=10920288 memory=11140 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17302/stat : 17302 (java) S 17238 17241 16080 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 47692061 11182374912 1213531 33554432000 4194304 4196468 140736172156480 140121926883280 140123372013467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17303] ppid=17238 vsize=10920288 memory=4854124 CPUtime=15.98 cores=0,2,4,6
/proc/17241/task/17303/stat : 17303 (java) S 17238 17241 16080 0 -1 1077944384 94302 12996 0 0 1582 9 4 3 20 0 15 0 47692061 11182374912 1213531 33554432000 4194304 4196468 140736172156480 140122662066928 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17304] ppid=17238 vsize=10920288 memory=4854124 CPUtime=15.99 cores=0,2,4,6
/proc/17241/task/17304/stat : 17304 (java) S 17238 17241 16080 0 -1 1077944384 68752 12996 0 0 1585 7 4 3 20 0 15 0 47692061 11182374912 1213531 33554432000 4194304 4196468 140736172156480 140122661014384 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17305] ppid=17238 vsize=10920288 memory=4854124 CPUtime=5.15 cores=0,2,4,6
/proc/17241/task/17305/stat : 17305 (java) S 17238 17241 16080 0 -1 1077944384 78024 12996 0 0 498 10 4 3 20 0 15 0 47692061 11182374912 1213531 33554432000 4194304 4196468 140736172156480 140122659961328 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 21 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17306] ppid=17238 vsize=10920288 memory=4854124 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17306/stat : 17306 (java) S 17238 17241 16080 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 47692061 11182374912 1213531 33554432000 4194304 4196468 140736172156480 140121893325664 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17307] ppid=17238 vsize=10920288 memory=4854124 CPUtime=1.35 cores=0,2,4,6
/proc/17241/task/17307/stat : 17307 (java) S 17238 17241 16080 0 -1 1077944384 2565 12996 0 0 61 67 4 3 20 0 15 0 47692061 11182374912 1213531 33554432000 4194304 4196468 140736172156480 140122658908720 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
Current children cumulated CPU time: 2421.69 s
Current children cumulated vsize: 10920288 KiB
Current children cumulated memory: 4854124 KiB
[startup+2382.3 s]
/proc/loadavg: 1.87 1.83 1.78 3/220 17514
/proc/meminfo: memFree=13162868/32770624 swapFree=67108860/67108860
[pid=17241] ppid=17238 vsize=10920288 memory=4864504 CPUtime=2481.94 cores=0,2,4,6
/proc/17241/stat : 17241 (java) S 17238 17241 16080 0 -1 1077944320 729229 12996 0 0 247705 482 4 3 20 0 15 0 47692046 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140736172139024 140123371994871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
/proc/17241/statm: 2730072 1216126 3537 1 0 2691725 0
[pid=17241/tid=17294] ppid=17238 vsize=10920288 memory=280352783773712 CPUtime=2360.48 cores=0,2,4,6
/proc/17241/task/17294/stat : 17294 (java) R 17238 17241 16080 0 -1 4202560 257554 12996 0 0 235981 60 4 3 20 0 15 0 47692055 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140123343830400 140122991060793 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17295] ppid=17238 vsize=10920288 memory=244182 CPUtime=20.62 cores=0,2,4,6
/proc/17241/task/17295/stat : 17295 (java) S 17238 17241 16080 0 -1 1077944384 38397 12996 0 0 1972 83 4 3 20 0 15 0 47692056 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140123376237584 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17296] ppid=17238 vsize=10920288 memory=4864504 CPUtime=20.72 cores=0,2,4,6
/proc/17241/task/17296/stat : 17296 (java) S 17238 17241 16080 0 -1 1077944384 50862 12996 0 0 1981 84 4 3 20 0 15 0 47692056 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122945621136 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17297] ppid=17238 vsize=10920288 memory=4864504 CPUtime=20.73 cores=0,2,4,6
/proc/17241/task/17297/stat : 17297 (java) S 17238 17241 16080 0 -1 1077944384 48262 12996 0 0 1983 83 4 3 20 0 15 0 47692056 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122944568080 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17298] ppid=17238 vsize=10920288 memory=4864440 CPUtime=20.77 cores=0,2,4,6
/proc/17241/task/17298/stat : 17298 (java) S 17238 17241 16080 0 -1 1077944384 40100 12996 0 0 1987 83 4 3 20 0 15 0 47692056 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122943515536 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17299] ppid=17238 vsize=10920288 memory=4132 CPUtime=0.65 cores=0,2,4,6
/proc/17241/task/17299/stat : 17299 (java) S 17238 17241 16080 0 -1 1077944384 48126 12996 0 0 50 8 4 3 20 0 15 0 47692057 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122696677616 140123372006018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17300] ppid=17238 vsize=10920288 memory=4864504 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17300/stat : 17300 (java) S 17238 17241 16080 0 -1 1077944384 43 12996 0 0 0 0 4 3 20 0 15 0 47692058 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122695623904 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17301] ppid=17238 vsize=10920288 memory=912 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17301/stat : 17301 (java) S 17238 17241 16080 0 -1 1077944384 7 12996 0 0 0 0 4 3 20 0 15 0 47692058 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122234282752 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17302] ppid=17238 vsize=10920288 memory=3852 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17302/stat : 17302 (java) S 17238 17241 16080 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140121926883280 140123372013467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17303] ppid=17238 vsize=10920288 memory=4864504 CPUtime=15.98 cores=0,2,4,6
/proc/17241/task/17303/stat : 17303 (java) S 17238 17241 16080 0 -1 1077944384 94306 12996 0 0 1582 9 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122662066928 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17304] ppid=17238 vsize=10920288 memory=4132 CPUtime=15.99 cores=0,2,4,6
/proc/17241/task/17304/stat : 17304 (java) S 17238 17241 16080 0 -1 1077944384 68757 12996 0 0 1585 7 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122661014384 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17305] ppid=17238 vsize=10920288 memory=4864504 CPUtime=5.15 cores=0,2,4,6
/proc/17241/task/17305/stat : 17305 (java) S 17238 17241 16080 0 -1 1077944384 78031 12996 0 0 498 10 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122659961328 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17306] ppid=17238 vsize=10920288 memory=4864504 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17306/stat : 17306 (java) S 17238 17241 16080 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140121893325664 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17307] ppid=17238 vsize=10920288 memory=16036 CPUtime=1.38 cores=0,2,4,6
/proc/17241/task/17307/stat : 17307 (java) S 17238 17241 16080 0 -1 1077944384 2591 12996 0 0 63 68 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122658908720 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
Current children cumulated CPU time: 2481.94 s
Current children cumulated vsize: 10920288 KiB
Current children cumulated memory: 4864504 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2420.3 s]
/proc/loadavg: 1.72 1.80 1.77 3/218 17515
/proc/meminfo: memFree=13261268/32770624 swapFree=67108860/67108860
[pid=17241] ppid=17238 vsize=10920288 memory=4864504 CPUtime=2520.05 cores=0,2,4,6
/proc/17241/stat : 17241 (java) S 17238 17241 16080 0 -1 1077944320 738708 12996 0 0 251514 484 4 3 20 0 15 0 47692046 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140736172139024 140123371994871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
/proc/17241/statm: 2730072 1216126 3537 1 0 2691725 0
[pid=17241/tid=17294] ppid=17238 vsize=10920288 memory=4864504 CPUtime=2398.44 cores=0,2,4,6
/proc/17241/task/17294/stat : 17294 (java) R 17238 17241 16080 0 -1 4202560 262047 12996 0 0 239777 60 4 3 20 0 15 0 47692055 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140123343830544 140123002472104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17295] ppid=17238 vsize=10920288 memory=4864504 CPUtime=20.65 cores=0,2,4,6
/proc/17241/task/17295/stat : 17295 (java) S 17238 17241 16080 0 -1 1077944384 39446 12996 0 0 1974 84 4 3 20 0 15 0 47692056 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140123376237584 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17296] ppid=17238 vsize=10920288 memory=4864504 CPUtime=20.75 cores=0,2,4,6
/proc/17241/task/17296/stat : 17296 (java) S 17238 17241 16080 0 -1 1077944384 51388 12996 0 0 1984 84 4 3 20 0 15 0 47692056 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122945621136 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17297] ppid=17238 vsize=10920288 memory=4864504 CPUtime=20.76 cores=0,2,4,6
/proc/17241/task/17297/stat : 17297 (java) S 17238 17241 16080 0 -1 1077944384 50136 12996 0 0 1986 83 4 3 20 0 15 0 47692056 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122944568080 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17298] ppid=17238 vsize=10920288 memory=280352782287088 CPUtime=20.8 cores=0,2,4,6
/proc/17241/task/17298/stat : 17298 (java) S 17238 17241 16080 0 -1 1077944384 41369 12996 0 0 1990 83 4 3 20 0 15 0 47692056 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122943515536 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17299] ppid=17238 vsize=10920288 memory=4864504 CPUtime=0.65 cores=0,2,4,6
/proc/17241/task/17299/stat : 17299 (java) S 17238 17241 16080 0 -1 1077944384 48363 12996 0 0 50 8 4 3 20 0 15 0 47692057 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122696677616 140123372006018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17300] ppid=17238 vsize=10920288 memory=18472 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17300/stat : 17300 (java) S 17238 17241 16080 0 -1 1077944384 43 12996 0 0 0 0 4 3 20 0 15 0 47692058 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122695623904 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17301] ppid=17238 vsize=10920288 memory=4864504 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17301/stat : 17301 (java) S 17238 17241 16080 0 -1 1077944384 7 12996 0 0 0 0 4 3 20 0 15 0 47692058 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122234282752 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17302] ppid=17238 vsize=10920288 memory=4864504 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17302/stat : 17302 (java) S 17238 17241 16080 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140121926883280 140123372013467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17303] ppid=17238 vsize=10920288 memory=4864504 CPUtime=15.98 cores=0,2,4,6
/proc/17241/task/17303/stat : 17303 (java) S 17238 17241 16080 0 -1 1077944384 94308 12996 0 0 1582 9 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122662066928 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17304] ppid=17238 vsize=10920288 memory=4864504 CPUtime=15.99 cores=0,2,4,6
/proc/17241/task/17304/stat : 17304 (java) S 17238 17241 16080 0 -1 1077944384 68760 12996 0 0 1585 7 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122661014384 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17305] ppid=17238 vsize=10920288 memory=4864504 CPUtime=5.15 cores=0,2,4,6
/proc/17241/task/17305/stat : 17305 (java) S 17238 17241 16080 0 -1 1077944384 78033 12996 0 0 498 10 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122659961328 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17306] ppid=17238 vsize=10920288 memory=4864504 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17306/stat : 17306 (java) S 17238 17241 16080 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140121893325664 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17307] ppid=17238 vsize=10920288 memory=16036 CPUtime=1.41 cores=0,2,4,6
/proc/17241/task/17307/stat : 17307 (java) S 17238 17241 16080 0 -1 1077944384 2615 12996 0 0 64 70 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122658908720 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10920288 KiB
Current children cumulated memory: 4864504 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2420.35 s]
# the end of solver process 17241 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.21 s, system=4.91712 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2420.3 s]
/proc/loadavg: 1.72 1.80 1.77 3/218 17515
/proc/meminfo: memFree=13261268/32770624 swapFree=67108860/67108860
[pid=17241] ppid=17238 vsize=10920288 memory=4864504 CPUtime=2520.05 cores=0,2,4,6
/proc/17241/stat : 17241 (java) S 17238 17241 16080 0 -1 1077944320 738708 12996 0 0 251514 484 4 3 20 0 15 0 47692046 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140736172139024 140123371994871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
/proc/17241/statm: 2730072 1216126 3537 1 0 2691725 0
[pid=17241/tid=17294] ppid=17238 vsize=10920288 memory=4864504 CPUtime=2398.44 cores=0,2,4,6
/proc/17241/task/17294/stat : 17294 (java) R 17238 17241 16080 0 -1 4202560 262047 12996 0 0 239777 60 4 3 20 0 15 0 47692055 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140123343830544 140123002472104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17295] ppid=17238 vsize=10920288 memory=4864504 CPUtime=20.65 cores=0,2,4,6
/proc/17241/task/17295/stat : 17295 (java) S 17238 17241 16080 0 -1 1077944384 39446 12996 0 0 1974 84 4 3 20 0 15 0 47692056 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140123376237584 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17296] ppid=17238 vsize=10920288 memory=4864504 CPUtime=20.75 cores=0,2,4,6
/proc/17241/task/17296/stat : 17296 (java) S 17238 17241 16080 0 -1 1077944384 51388 12996 0 0 1984 84 4 3 20 0 15 0 47692056 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122945621136 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17297] ppid=17238 vsize=10920288 memory=4864504 CPUtime=20.76 cores=0,2,4,6
/proc/17241/task/17297/stat : 17297 (java) S 17238 17241 16080 0 -1 1077944384 50136 12996 0 0 1986 83 4 3 20 0 15 0 47692056 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122944568080 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17298] ppid=17238 vsize=10920288 memory=280352782287088 CPUtime=20.8 cores=0,2,4,6
/proc/17241/task/17298/stat : 17298 (java) S 17238 17241 16080 0 -1 1077944384 41369 12996 0 0 1990 83 4 3 20 0 15 0 47692056 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122943515536 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17299] ppid=17238 vsize=10920288 memory=4864504 CPUtime=0.65 cores=0,2,4,6
/proc/17241/task/17299/stat : 17299 (java) S 17238 17241 16080 0 -1 1077944384 48363 12996 0 0 50 8 4 3 20 0 15 0 47692057 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122696677616 140123372006018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17300] ppid=17238 vsize=10920288 memory=18472 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17300/stat : 17300 (java) S 17238 17241 16080 0 -1 1077944384 43 12996 0 0 0 0 4 3 20 0 15 0 47692058 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122695623904 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17301] ppid=17238 vsize=10920288 memory=4864504 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17301/stat : 17301 (java) S 17238 17241 16080 0 -1 1077944384 7 12996 0 0 0 0 4 3 20 0 15 0 47692058 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122234282752 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17302] ppid=17238 vsize=10920288 memory=4864504 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17302/stat : 17302 (java) S 17238 17241 16080 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140121926883280 140123372013467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17303] ppid=17238 vsize=10920288 memory=4864504 CPUtime=15.98 cores=0,2,4,6
/proc/17241/task/17303/stat : 17303 (java) S 17238 17241 16080 0 -1 1077944384 94308 12996 0 0 1582 9 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122662066928 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17304] ppid=17238 vsize=10920288 memory=4864504 CPUtime=15.99 cores=0,2,4,6
/proc/17241/task/17304/stat : 17304 (java) S 17238 17241 16080 0 -1 1077944384 68760 12996 0 0 1585 7 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122661014384 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17305] ppid=17238 vsize=10920288 memory=4864504 CPUtime=5.15 cores=0,2,4,6
/proc/17241/task/17305/stat : 17305 (java) S 17238 17241 16080 0 -1 1077944384 78033 12996 0 0 498 10 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122659961328 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17306] ppid=17238 vsize=10920288 memory=4864504 CPUtime=0.07 cores=0,2,4,6
/proc/17241/task/17306/stat : 17306 (java) S 17238 17241 16080 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140121893325664 140123372005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
[pid=17241/tid=17307] ppid=17238 vsize=10920288 memory=16036 CPUtime=1.41 cores=0,2,4,6
/proc/17241/task/17307/stat : 17307 (java) S 17238 17241 16080 0 -1 1077944384 2615 12996 0 0 64 70 4 3 20 0 15 0 47692061 11182374912 1216126 33554432000 4194304 4196468 140736172156480 140122658908720 140123372006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28778496 140736172165291 140736172168540 140736172168540 140736172171215 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10920288 KiB
Current children cumulated memory: 4864504 KiB
Child status: 143
Real time (s): 2420.35
CPU time (s): 2520.13
CPU user time (s): 2515.21
CPU system time (s): 4.91712
CPU usage (%): 104.122
Max. virtual memory (cumulated for all children) (KiB): 10920920
Max. memory (cumulated for all children) (KiB): 4864504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.21
system time used= 4.91712
maximum resident set size= 4868784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 755526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73989
involuntary context switches= 3567
# summary of solver processes directly reported to runsolver:
# pid: 17241
# total CPU time (s): 2520.13
# total CPU user time (s): 2515.21
# total CPU system time (s): 4.91712
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.223 second user time and 23.7119 second system time
The end
Begin job on node132 at 2018-07-23 01:14:49 IDJOB=4292966 IDBENCH=141049 IDSOLVER=2751 FILE ID=node132/4292966-1532301289 RUNJOBID= node132-1532296193-16111 PBS_JOBID= 21018987 Free space on /tmp= 55032 MiB SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13 BENCH NAME= XCSP18/NurseRostering/NurseRostering-10_c18.xml COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292966-1532301289/watcher-4292966-1532301289 -o /tmp/evaluation-result-4292966-1532301289/solver-4292966-1532301289 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532296193-16111 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1557027285 -superng HOME/instance-4292966-1532301289.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e8c57bbf90dbce08cf7a3cf301ec8dd RANDOM SEED=1557027285 node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 16304012 kB MemAvailable: 27447372 kB Buffers: 255664 kB Cached: 11034500 kB SwapCached: 0 kB Active: 6648120 kB Inactive: 9178868 kB Active(anon): 4540092 kB Inactive(anon): 17028 kB Active(file): 2108028 kB Inactive(file): 9161840 kB Unevictable: 6988 kB Mlocked: 6988 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26780 kB Writeback: 0 kB AnonPages: 4552328 kB Mapped: 49656 kB Shmem: 17056 kB Slab: 329528 kB SReclaimable: 301952 kB SUnreclaim: 27576 kB KernelStack: 3856 kB PageTables: 14368 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 5800128 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4296704 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55004 MiB End job on node132 at 2018-07-23 01:55:09