0.98/0.79 c Concrete v3.9.2.1532736233296 running
20.60/7.65 c 22:00:22.221 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25512. 'extension(10, x[1][8]=[0‥10]) :: init: true :: relation: MDD 1087989112, 25 edges, 5 vertices, 36 tuples
20.60/7.65 c 22:00:22.226 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25513. 'extension(10, x[1][8]=[0‥10]) :: init: true :: relation: MDD 1678516587, 11 edges, 3 vertices, 10 tuples
20.60/7.65 c 22:00:22.231 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25561. 'extension(10, x[1][10]=[0‥10]) :: init: true :: relation: MDD 903297131, 25 edges, 5 vertices, 36 tuples
20.60/7.65 c 22:00:22.232 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25562. 'extension(10, x[1][10]=[0‥10]) :: init: true :: relation: MDD 349270906, 11 edges, 3 vertices, 10 tuples
20.60/7.66 c 22:00:22.233 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25610. 'extension(10, x[1][37]=[0‥10]) :: init: true :: relation: MDD 29838617, 25 edges, 5 vertices, 36 tuples
20.60/7.66 c 22:00:22.234 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25611. 'extension(10, x[1][37]=[0‥10]) :: init: true :: relation: MDD 1605872540, 11 edges, 3 vertices, 10 tuples
20.60/7.66 c 22:00:22.235 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25659. 'extension(10, x[1][40]=[0‥10]) :: init: true :: relation: MDD 2050328083, 25 edges, 5 vertices, 36 tuples
20.60/7.66 c 22:00:22.236 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25660. 'extension(10, x[1][40]=[0‥10]) :: init: true :: relation: MDD 2143753518, 11 edges, 3 vertices, 10 tuples
20.60/7.66 c 22:00:22.238 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25708. 'extension(10, x[1][58]=[0‥10]) :: init: true :: relation: MDD 279513068, 25 edges, 5 vertices, 36 tuples
20.60/7.66 c 22:00:22.238 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25709. 'extension(10, x[1][58]=[0‥10]) :: init: true :: relation: MDD 1238292935, 11 edges, 3 vertices, 10 tuples
20.60/7.66 c 22:00:22.241 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25806. 'extension(x[0][4]=[0‥10], 10) :: init: true :: relation: MDD 202696101, 25 edges, 5 vertices, 36 tuples
20.60/7.66 c 22:00:22.241 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25807. 'extension(10, x[2][4]=[0‥10]) :: init: true :: relation: MDD 202696101, 25 edges, 5 vertices, 36 tuples
20.60/7.67 c 22:00:22.244 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25859. 'extension(x[0][54]=[0‥10], 10) :: init: true :: relation: MDD 1765745171, 25 edges, 5 vertices, 36 tuples
20.60/7.67 c 22:00:22.245 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25912. 'extension(10, x[2][59]=[0‥10]) :: init: true :: relation: MDD 293757848, 25 edges, 5 vertices, 36 tuples
20.60/7.67 c 22:00:22.246 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25915. 'extension(10, 10) :: init: true :: relation: MDD 293757848, 25 edges, 5 vertices, 36 tuples
20.60/7.67 c 22:00:22.246 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25916. 'extension(10, 10) :: init: true :: relation: MDD 1518712038, 11 edges, 3 vertices, 10 tuples
20.60/7.67 c 22:00:22.249 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25965. 'extension(x[1][19]=[0‥10], 10) :: init: true :: relation: MDD 2090593105, 25 edges, 5 vertices, 36 tuples
20.60/7.67 c 22:00:22.250 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25966. 'extension(10, x[3][19]=[0‥10]) :: init: true :: relation: MDD 2090593105, 25 edges, 5 vertices, 36 tuples
20.60/7.67 c 22:00:22.252 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26020. 'extension(x[1][47]=[0‥10], 10) :: init: true :: relation: MDD 150135782, 25 edges, 5 vertices, 36 tuples
20.60/7.69 c 22:00:22.253 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26075. 'extension(10, x[3][54]=[0‥10]) :: init: true :: relation: MDD 1765745171, 25 edges, 5 vertices, 36 tuples
20.60/7.69 c 22:00:22.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26078. 'extension(10, 10) :: init: true :: relation: MDD 1765745171, 25 edges, 5 vertices, 36 tuples
20.60/7.69 c 22:00:22.257 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26130. 'extension(x[2][2]=[0‥10], 10) :: init: true :: relation: MDD 374740213, 25 edges, 5 vertices, 36 tuples
20.60/7.69 c 22:00:22.258 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26131. 'extension(10, x[4][2]=[0‥10]) :: init: true :: relation: MDD 374740213, 25 edges, 5 vertices, 36 tuples
20.60/7.69 c 22:00:22.260 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26186. 'extension(x[2][14]=[0‥10], 10) :: init: true :: relation: MDD 22515625, 25 edges, 5 vertices, 36 tuples
20.60/7.69 c 22:00:22.261 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26187. 'extension(10, x[4][14]=[0‥10]) :: init: true :: relation: MDD 22515625, 25 edges, 5 vertices, 36 tuples
20.60/7.69 c 22:00:22.263 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26242. 'extension(x[2][41]=[0‥10], 10) :: init: true :: relation: MDD 374145466, 25 edges, 5 vertices, 36 tuples
20.60/7.69 c 22:00:22.263 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26243. 'extension(10, x[4][41]=[0‥10]) :: init: true :: relation: MDD 374145466, 25 edges, 5 vertices, 36 tuples
20.60/7.69 c 22:00:22.266 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26299. 'extension(x[2][42]=[0‥10], 10) :: init: true :: relation: MDD 340097685, 25 edges, 5 vertices, 36 tuples
20.60/7.69 c 22:00:22.266 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26300. 'extension(10, x[4][42]=[0‥10]) :: init: true :: relation: MDD 340097685, 25 edges, 5 vertices, 36 tuples
20.60/7.69 c 22:00:22.269 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26356. 'extension(x[2][44]=[0‥10], 10) :: init: true :: relation: MDD 1903137985, 25 edges, 5 vertices, 36 tuples
20.60/7.69 c 22:00:22.270 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26413. 'extension(10, x[4][47]=[0‥10]) :: init: true :: relation: MDD 150135782, 25 edges, 5 vertices, 36 tuples
20.92/7.70 c 22:00:22.270 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26416. 'extension(10, 10) :: init: true :: relation: MDD 150135782, 25 edges, 5 vertices, 36 tuples
20.92/7.70 c 22:00:22.273 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26470. 'extension(x[2][56]=[0‥10], 10) :: init: true :: relation: MDD 362463583, 25 edges, 5 vertices, 36 tuples
20.92/7.70 c 22:00:22.275 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26526. 'extension(x[3][43]=[0‥10], 10) :: init: true :: relation: MDD 448581721, 25 edges, 5 vertices, 36 tuples
20.92/7.70 c 22:00:22.276 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26584. 'extension(10, x[5][44]=[0‥10]) :: init: true :: relation: MDD 1903137985, 25 edges, 5 vertices, 36 tuples
20.92/7.70 c 22:00:22.277 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26587. 'extension(10, 10) :: init: true :: relation: MDD 1903137985, 25 edges, 5 vertices, 36 tuples
20.92/7.70 c 22:00:22.280 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26642. 'extension(x[3][52]=[0‥10], 10) :: init: true :: relation: MDD 627677863, 25 edges, 5 vertices, 36 tuples
20.92/7.70 c 22:00:22.281 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26699. 'extension(10, x[5][56]=[0‥10]) :: init: true :: relation: MDD 362463583, 25 edges, 5 vertices, 36 tuples
20.92/7.70 c 22:00:22.281 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26702. 'extension(10, 10) :: init: true :: relation: MDD 362463583, 25 edges, 5 vertices, 36 tuples
20.92/7.71 c 22:00:22.284 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26756. 'extension(10, wk[4][0]=[0‥1]) :: init: true :: relation: MDD 529621529, 11 edges, 3 vertices, 10 tuples
20.92/7.71 c 22:00:22.285 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26757. 'extension(x[4][4]=[0‥10], 10) :: init: true :: relation: MDD 202696101, 25 edges, 5 vertices, 36 tuples
20.92/7.71 c 22:00:22.285 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26758. 'extension(10, x[6][4]=[0‥10]) :: init: true :: relation: MDD 202696101, 25 edges, 5 vertices, 36 tuples
20.92/7.71 c 22:00:22.288 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26815. 'extension(10, wk[18][0]=[0‥1]) :: init: true :: relation: MDD 589094312, 11 edges, 3 vertices, 10 tuples
20.92/7.71 c 22:00:22.288 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26816. 'extension(x[4][18]=[0‥10], 10) :: init: true :: relation: MDD 71871969, 25 edges, 5 vertices, 36 tuples
20.92/7.71 c 22:00:22.289 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26817. 'extension(10, x[6][18]=[0‥10]) :: init: true :: relation: MDD 71871969, 25 edges, 5 vertices, 36 tuples
20.92/7.71 c 22:00:22.291 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26874. 'extension(10, wk[28][0]=[0‥1]) :: init: true :: relation: MDD 99253188, 11 edges, 3 vertices, 10 tuples
20.92/7.71 c 22:00:22.291 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26875. 'extension(x[4][28]=[0‥10], 10) :: init: true :: relation: MDD 1715802200, 25 edges, 5 vertices, 36 tuples
20.92/7.71 c 22:00:22.292 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26876. 'extension(10, x[6][28]=[0‥10]) :: init: true :: relation: MDD 1715802200, 25 edges, 5 vertices, 36 tuples
20.92/7.72 c 22:00:22.295 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26933. 'extension(10, wk[29][0]=[0‥1]) :: init: true :: relation: MDD 969440066, 11 edges, 3 vertices, 10 tuples
20.92/7.72 c 22:00:22.295 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26934. 'extension(x[4][29]=[0‥10], 10) :: init: true :: relation: MDD 545116599, 25 edges, 5 vertices, 36 tuples
20.92/7.72 c 22:00:22.296 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26935. 'extension(10, x[6][29]=[0‥10]) :: init: true :: relation: MDD 545116599, 25 edges, 5 vertices, 36 tuples
20.92/7.72 c 22:00:22.297 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26992. 'extension(10, wk[43][0]=[0‥1]) :: init: true :: relation: MDD 885403615, 11 edges, 3 vertices, 10 tuples
20.92/7.72 c 22:00:22.298 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26993. 'extension(10, x[6][43]=[0‥10]) :: init: true :: relation: MDD 448581721, 25 edges, 5 vertices, 36 tuples
20.92/7.72 c 22:00:22.299 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26996. 'extension(10, 10) :: init: true :: relation: MDD 448581721, 25 edges, 5 vertices, 36 tuples
20.92/7.72 c 22:00:22.301 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27052. 'extension(10, wk[52][0]=[0‥1]) :: init: true :: relation: MDD 757257137, 11 edges, 3 vertices, 10 tuples
20.92/7.72 c 22:00:22.301 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27053. 'extension(10, x[6][52]=[0‥10]) :: init: true :: relation: MDD 627677863, 25 edges, 5 vertices, 36 tuples
20.92/7.72 c 22:00:22.302 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27056. 'extension(10, 10) :: init: true :: relation: MDD 627677863, 25 edges, 5 vertices, 36 tuples
20.92/7.73 c 22:00:22.305 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27111. 'extension(10, wk[25][0]=[0‥1]) :: init: true :: relation: MDD 1233246555, 11 edges, 3 vertices, 10 tuples
20.92/7.73 c 22:00:22.305 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27112. 'extension(x[5][25]=[0‥10], 10) :: init: true :: relation: MDD 235740612, 25 edges, 5 vertices, 36 tuples
20.92/7.73 c 22:00:22.306 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27170. 'extension(10, wk[36][0]=[0‥1]) :: init: true :: relation: MDD 813285994, 11 edges, 3 vertices, 10 tuples
20.92/7.73 c 22:00:22.307 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27171. 'extension(x[5][36]=[0‥10], 10) :: init: true :: relation: MDD 744541767, 25 edges, 5 vertices, 36 tuples
20.92/7.73 c 22:00:22.308 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27229. 'extension(x[6][0]=[0‥10], 10) :: init: true :: relation: MDD 1128198660, 25 edges, 5 vertices, 36 tuples
20.92/7.73 c 22:00:22.309 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27230. 'extension(10, x[8][0]=[0‥10]) :: init: true :: relation: MDD 1128198660, 25 edges, 5 vertices, 36 tuples
20.92/7.73 c 22:00:22.310 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27287. 'extension(x[6][15]=[0‥10], 10) :: init: true :: relation: MDD 640113478, 25 edges, 5 vertices, 36 tuples
20.92/7.74 c 22:00:22.312 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27345. 'extension(x[6][24]=[0‥10], 10) :: init: true :: relation: MDD 323653293, 25 edges, 5 vertices, 36 tuples
20.92/7.74 c 22:00:22.312 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27346. 'extension(10, x[8][24]=[0‥10]) :: init: true :: relation: MDD 323653293, 25 edges, 5 vertices, 36 tuples
20.92/7.74 c 22:00:22.314 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27403. 'extension(10, x[8][25]=[0‥10]) :: init: true :: relation: MDD 235740612, 25 edges, 5 vertices, 36 tuples
20.92/7.74 c 22:00:22.314 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27406. 'extension(10, 10) :: init: true :: relation: MDD 235740612, 25 edges, 5 vertices, 36 tuples
20.92/7.74 c 22:00:22.317 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27461. 'extension(10, x[8][36]=[0‥10]) :: init: true :: relation: MDD 744541767, 25 edges, 5 vertices, 36 tuples
20.92/7.74 c 22:00:22.317 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27464. 'extension(10, 10) :: init: true :: relation: MDD 744541767, 25 edges, 5 vertices, 36 tuples
20.92/7.74 c 22:00:22.320 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27519. 'extension(x[7][7]=[0‥10], 10) :: init: true :: relation: MDD 1747327205, 25 edges, 5 vertices, 36 tuples
20.92/7.74 c 22:00:22.321 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27520. 'extension(10, x[9][7]=[0‥10]) :: init: true :: relation: MDD 1747327205, 25 edges, 5 vertices, 36 tuples
20.92/7.74 c 22:00:22.322 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27577. 'extension(10, x[9][15]=[0‥10]) :: init: true :: relation: MDD 640113478, 25 edges, 5 vertices, 36 tuples
20.92/7.74 c 22:00:22.323 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27580. 'extension(10, 10) :: init: true :: relation: MDD 640113478, 25 edges, 5 vertices, 36 tuples
20.92/7.75 c 22:00:22.325 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27635. 'extension(x[7][50]=[0‥10], 10) :: init: true :: relation: MDD 725884502, 25 edges, 5 vertices, 36 tuples
20.92/7.75 c 22:00:22.325 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27636. 'extension(10, x[9][50]=[0‥10]) :: init: true :: relation: MDD 725884502, 25 edges, 5 vertices, 36 tuples
20.92/7.75 c 22:00:22.328 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27693. 'extension(x[8][16]=[0‥10], 10) :: init: true :: relation: MDD 762376978, 25 edges, 5 vertices, 36 tuples
20.92/7.75 c 22:00:22.329 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27751. 'extension(x[8][32]=[0‥10], 10) :: init: true :: relation: MDD 1525320084, 25 edges, 5 vertices, 36 tuples
20.92/7.75 c 22:00:22.329 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27752. 'extension(10, x[10][32]=[0‥10]) :: init: true :: relation: MDD 1525320084, 25 edges, 5 vertices, 36 tuples
20.92/7.75 c 22:00:22.331 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27809. 'extension(x[8][38]=[0‥10], 10) :: init: true :: relation: MDD 476234749, 25 edges, 5 vertices, 36 tuples
20.92/7.75 c 22:00:22.331 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27810. 'extension(10, x[10][38]=[0‥10]) :: init: true :: relation: MDD 476234749, 25 edges, 5 vertices, 36 tuples
20.92/7.75 c 22:00:22.333 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27867. 'extension(x[8][40]=[0‥10], 10) :: init: true :: relation: MDD 2050328083, 25 edges, 5 vertices, 36 tuples
20.92/7.75 c 22:00:22.333 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27868. 'extension(10, x[10][40]=[0‥10]) :: init: true :: relation: MDD 2050328083, 25 edges, 5 vertices, 36 tuples
20.92/7.76 c 22:00:22.337 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27927. 'extension(x[9][5]=[0‥10], 10) :: init: true :: relation: MDD 1545308588, 25 edges, 5 vertices, 36 tuples
20.92/7.76 c 22:00:22.337 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27928. 'extension(10, x[11][5]=[0‥10]) :: init: true :: relation: MDD 1545308588, 25 edges, 5 vertices, 36 tuples
20.92/7.76 c 22:00:22.339 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27985. 'extension(x[9][9]=[0‥10], 10) :: init: true :: relation: MDD 1040385133, 25 edges, 5 vertices, 36 tuples
20.92/7.76 c 22:00:22.339 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27986. 'extension(10, x[11][9]=[0‥10]) :: init: true :: relation: MDD 1040385133, 25 edges, 5 vertices, 36 tuples
20.92/7.77 c 22:00:22.341 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28043. 'extension(10, x[11][16]=[0‥10]) :: init: true :: relation: MDD 762376978, 25 edges, 5 vertices, 36 tuples
20.92/7.77 c 22:00:22.341 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28046. 'extension(10, 10) :: init: true :: relation: MDD 762376978, 25 edges, 5 vertices, 36 tuples
20.92/7.77 c 22:00:22.343 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28101. 'extension(x[9][23]=[0‥10], 10) :: init: true :: relation: MDD 667237426, 25 edges, 5 vertices, 36 tuples
20.92/7.77 c 22:00:22.343 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28102. 'extension(10, x[11][23]=[0‥10]) :: init: true :: relation: MDD 667237426, 25 edges, 5 vertices, 36 tuples
20.92/7.77 c 22:00:22.345 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28159. 'extension(x[9][27]=[0‥10], 10) :: init: true :: relation: MDD 319450809, 25 edges, 5 vertices, 36 tuples
20.92/7.77 c 22:00:22.345 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28160. 'extension(10, x[11][27]=[0‥10]) :: init: true :: relation: MDD 319450809, 25 edges, 5 vertices, 36 tuples
20.92/7.77 c 22:00:22.347 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28217. 'extension(x[9][45]=[0‥10], 10) :: init: true :: relation: MDD 496627227, 25 edges, 5 vertices, 36 tuples
20.92/7.77 c 22:00:22.348 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28218. 'extension(10, x[11][45]=[0‥10]) :: init: true :: relation: MDD 496627227, 25 edges, 5 vertices, 36 tuples
20.92/7.77 c 22:00:22.350 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28277. 'extension(x[10][3]=[0‥10], 10) :: init: true :: relation: MDD 788830525, 25 edges, 5 vertices, 36 tuples
20.92/7.77 c 22:00:22.351 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28335. 'extension(x[10][35]=[0‥10], 10) :: init: true :: relation: MDD 1670479841, 25 edges, 5 vertices, 36 tuples
20.92/7.77 c 22:00:22.352 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28393. 'extension(10, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 767060604, 11 edges, 3 vertices, 10 tuples
20.92/7.77 c 22:00:22.353 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28394. 'extension(10, x[13][3]=[0‥10]) :: init: true :: relation: MDD 788830525, 25 edges, 5 vertices, 36 tuples
20.92/7.78 c 22:00:22.353 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28397. 'extension(10, 10) :: init: true :: relation: MDD 788830525, 25 edges, 5 vertices, 36 tuples
20.92/7.78 c 22:00:22.355 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28452. 'extension(10, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 623820846, 11 edges, 3 vertices, 10 tuples
20.92/7.78 c 22:00:22.355 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28453. 'extension(x[11][13]=[0‥10], 10) :: init: true :: relation: MDD 1081836597, 25 edges, 5 vertices, 36 tuples
20.92/7.78 c 22:00:22.355 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28454. 'extension(10, x[13][13]=[0‥10]) :: init: true :: relation: MDD 1081836597, 25 edges, 5 vertices, 36 tuples
20.92/7.78 c 22:00:22.357 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28511. 'extension(10, wk[33][1]=[0‥1]) :: init: true :: relation: MDD 1227041903, 11 edges, 3 vertices, 10 tuples
20.92/7.78 c 22:00:22.357 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28512. 'extension(x[11][33]=[0‥10], 10) :: init: true :: relation: MDD 1342373353, 25 edges, 5 vertices, 36 tuples
20.92/7.78 c 22:00:22.357 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28513. 'extension(10, x[13][33]=[0‥10]) :: init: true :: relation: MDD 1342373353, 25 edges, 5 vertices, 36 tuples
20.92/7.78 c 22:00:22.359 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28570. 'extension(10, wk[35][1]=[0‥1]) :: init: true :: relation: MDD 1415390560, 11 edges, 3 vertices, 10 tuples
20.92/7.78 c 22:00:22.359 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28571. 'extension(10, x[13][35]=[0‥10]) :: init: true :: relation: MDD 1670479841, 25 edges, 5 vertices, 36 tuples
20.92/7.78 c 22:00:22.360 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28574. 'extension(10, 10) :: init: true :: relation: MDD 1670479841, 25 edges, 5 vertices, 36 tuples
20.92/7.78 c 22:00:22.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28629. 'extension(10, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 1708786164, 11 edges, 3 vertices, 10 tuples
20.92/7.78 c 22:00:22.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28630. 'extension(x[12][6]=[0‥10], 10) :: init: true :: relation: MDD 732918485, 25 edges, 5 vertices, 36 tuples
20.92/7.78 c 22:00:22.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28631. 'extension(10, x[14][6]=[0‥10]) :: init: true :: relation: MDD 732918485, 25 edges, 5 vertices, 36 tuples
20.92/7.79 c 22:00:22.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28688. 'extension(10, wk[9][1]=[0‥1]) :: init: true :: relation: MDD 301084728, 11 edges, 3 vertices, 10 tuples
20.92/7.79 c 22:00:22.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28689. 'extension(x[12][9]=[0‥10], 10) :: init: true :: relation: MDD 1040385133, 25 edges, 5 vertices, 36 tuples
20.92/7.79 c 22:00:22.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28690. 'extension(10, x[14][9]=[0‥10]) :: init: true :: relation: MDD 1040385133, 25 edges, 5 vertices, 36 tuples
20.92/7.79 c 22:00:22.367 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28747. 'extension(10, wk[10][1]=[0‥1]) :: init: true :: relation: MDD 1357663228, 11 edges, 3 vertices, 10 tuples
20.92/7.79 c 22:00:22.367 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28748. 'extension(x[12][10]=[0‥10], 10) :: init: true :: relation: MDD 903297131, 25 edges, 5 vertices, 36 tuples
20.92/7.79 c 22:00:22.367 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28749. 'extension(10, x[14][10]=[0‥10]) :: init: true :: relation: MDD 903297131, 25 edges, 5 vertices, 36 tuples
20.92/7.79 c 22:00:22.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28806. 'extension(10, wk[39][1]=[0‥1]) :: init: true :: relation: MDD 291279979, 11 edges, 3 vertices, 10 tuples
20.92/7.79 c 22:00:22.370 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28807. 'extension(x[12][39]=[0‥10], 10) :: init: true :: relation: MDD 1397088232, 25 edges, 5 vertices, 36 tuples
20.92/7.79 c 22:00:22.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28865. 'extension(x[13][24]=[0‥10], 10) :: init: true :: relation: MDD 323653293, 25 edges, 5 vertices, 36 tuples
20.92/7.79 c 22:00:22.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28866. 'extension(10, x[15][24]=[0‥10]) :: init: true :: relation: MDD 323653293, 25 edges, 5 vertices, 36 tuples
20.92/7.80 c 22:00:22.374 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28923. 'extension(x[13][34]=[0‥10], 10) :: init: true :: relation: MDD 121463477, 25 edges, 5 vertices, 36 tuples
20.92/7.80 c 22:00:22.374 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28924. 'extension(10, x[15][34]=[0‥10]) :: init: true :: relation: MDD 121463477, 25 edges, 5 vertices, 36 tuples
21.26/7.80 c 22:00:22.376 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28981. 'extension(10, x[15][39]=[0‥10]) :: init: true :: relation: MDD 1397088232, 25 edges, 5 vertices, 36 tuples
21.26/7.80 c 22:00:22.376 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28984. 'extension(10, 10) :: init: true :: relation: MDD 1397088232, 25 edges, 5 vertices, 36 tuples
21.26/7.80 c 22:00:22.378 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29039. 'extension(x[13][45]=[0‥10], 10) :: init: true :: relation: MDD 496627227, 25 edges, 5 vertices, 36 tuples
21.26/7.80 c 22:00:22.378 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29040. 'extension(10, x[15][45]=[0‥10]) :: init: true :: relation: MDD 496627227, 25 edges, 5 vertices, 36 tuples
21.26/7.80 c 22:00:22.381 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29099. 'extension(x[13][55]=[0‥10], 10) :: init: true :: relation: MDD 1810873106, 25 edges, 5 vertices, 36 tuples
21.26/7.80 c 22:00:22.381 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29100. 'extension(10, x[15][55]=[0‥10]) :: init: true :: relation: MDD 1810873106, 25 edges, 5 vertices, 36 tuples
21.26/7.81 c 22:00:22.383 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29157. 'extension(x[14][18]=[0‥10], 10) :: init: true :: relation: MDD 71871969, 25 edges, 5 vertices, 36 tuples
21.26/7.81 c 22:00:22.386 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29158. 'extension(10, x[16][18]=[0‥10]) :: init: true :: relation: MDD 71871969, 25 edges, 5 vertices, 36 tuples
21.26/7.81 c 22:00:22.389 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29215. 'extension(x[14][27]=[0‥10], 10) :: init: true :: relation: MDD 319450809, 25 edges, 5 vertices, 36 tuples
21.26/7.81 c 22:00:22.389 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29216. 'extension(10, x[16][27]=[0‥10]) :: init: true :: relation: MDD 319450809, 25 edges, 5 vertices, 36 tuples
21.26/7.81 c 22:00:22.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29273. 'extension(x[14][48]=[0‥10], 10) :: init: true :: relation: MDD 991363637, 25 edges, 5 vertices, 36 tuples
21.26/7.81 c 22:00:22.393 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29333. 'extension(x[15][2]=[0‥10], 10) :: init: true :: relation: MDD 374740213, 25 edges, 5 vertices, 36 tuples
21.26/7.81 c 22:00:22.393 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29334. 'extension(10, x[17][2]=[0‥10]) :: init: true :: relation: MDD 374740213, 25 edges, 5 vertices, 36 tuples
21.26/7.82 c 22:00:22.395 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29391. 'extension(x[15][17]=[0‥10], 10) :: init: true :: relation: MDD 1590736099, 25 edges, 5 vertices, 36 tuples
21.26/7.82 c 22:00:22.396 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29449. 'extension(x[15][38]=[0‥10], 10) :: init: true :: relation: MDD 476234749, 25 edges, 5 vertices, 36 tuples
21.26/7.82 c 22:00:22.396 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29450. 'extension(10, x[17][38]=[0‥10]) :: init: true :: relation: MDD 476234749, 25 edges, 5 vertices, 36 tuples
21.26/7.82 c 22:00:22.398 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29507. 'extension(10, x[17][48]=[0‥10]) :: init: true :: relation: MDD 991363637, 25 edges, 5 vertices, 36 tuples
21.26/7.82 c 22:00:22.399 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29510. 'extension(10, 10) :: init: true :: relation: MDD 991363637, 25 edges, 5 vertices, 36 tuples
21.26/7.82 c 22:00:22.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29567. 'extension(x[15][50]=[0‥10], 10) :: init: true :: relation: MDD 725884502, 25 edges, 5 vertices, 36 tuples
21.26/7.83 c 22:00:22.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29568. 'extension(10, x[17][50]=[0‥10]) :: init: true :: relation: MDD 725884502, 25 edges, 5 vertices, 36 tuples
21.26/7.83 c 22:00:22.404 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29625. 'extension(x[16][5]=[0‥10], 10) :: init: true :: relation: MDD 1545308588, 25 edges, 5 vertices, 36 tuples
21.26/7.83 c 22:00:22.405 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29626. 'extension(10, x[18][5]=[0‥10]) :: init: true :: relation: MDD 1545308588, 25 edges, 5 vertices, 36 tuples
21.26/7.83 c 22:00:22.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29683. 'extension(10, x[18][17]=[0‥10]) :: init: true :: relation: MDD 1590736099, 25 edges, 5 vertices, 36 tuples
21.26/7.83 c 22:00:22.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29686. 'extension(10, 10) :: init: true :: relation: MDD 1590736099, 25 edges, 5 vertices, 36 tuples
21.26/7.83 c 22:00:22.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29741. 'extension(x[16][19]=[0‥10], 10) :: init: true :: relation: MDD 2090593105, 25 edges, 5 vertices, 36 tuples
21.26/7.83 c 22:00:22.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29742. 'extension(10, x[18][19]=[0‥10]) :: init: true :: relation: MDD 2090593105, 25 edges, 5 vertices, 36 tuples
21.26/7.83 c 22:00:22.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29799. 'extension(x[16][28]=[0‥10], 10) :: init: true :: relation: MDD 1715802200, 25 edges, 5 vertices, 36 tuples
21.26/7.83 c 22:00:22.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29800. 'extension(10, x[18][28]=[0‥10]) :: init: true :: relation: MDD 1715802200, 25 edges, 5 vertices, 36 tuples
21.26/7.84 c 22:00:22.414 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29857. 'extension(x[16][33]=[0‥10], 10) :: init: true :: relation: MDD 1342373353, 25 edges, 5 vertices, 36 tuples
21.26/7.84 c 22:00:22.414 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29858. 'extension(10, x[18][33]=[0‥10]) :: init: true :: relation: MDD 1342373353, 25 edges, 5 vertices, 36 tuples
21.26/7.84 c 22:00:22.416 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29915. 'extension(x[16][55]=[0‥10], 10) :: init: true :: relation: MDD 1810873106, 25 edges, 5 vertices, 36 tuples
21.26/7.84 c 22:00:22.416 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29916. 'extension(10, x[18][55]=[0‥10]) :: init: true :: relation: MDD 1810873106, 25 edges, 5 vertices, 36 tuples
21.26/7.84 c 22:00:22.419 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29973. 'extension(x[17][42]=[0‥10], 10) :: init: true :: relation: MDD 340097685, 25 edges, 5 vertices, 36 tuples
21.26/7.84 c 22:00:22.419 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29974. 'extension(10, x[19][42]=[0‥10]) :: init: true :: relation: MDD 340097685, 25 edges, 5 vertices, 36 tuples
21.26/7.84 c 22:00:22.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30033. 'extension(x[17][46]=[0‥10], 10) :: init: true :: relation: MDD 775300103, 25 edges, 5 vertices, 36 tuples
21.26/7.84 c 22:00:22.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30093. 'extension(x[17][53]=[0‥10], 10) :: init: true :: relation: MDD 1746468168, 25 edges, 5 vertices, 36 tuples
21.26/7.85 c 22:00:22.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30151. 'extension(10, wk[26][2]=[0‥1]) :: init: true :: relation: MDD 1178953630, 11 edges, 3 vertices, 10 tuples
21.26/7.85 c 22:00:22.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30152. 'extension(x[18][26]=[0‥10], 10) :: init: true :: relation: MDD 586722754, 25 edges, 5 vertices, 36 tuples
21.26/7.85 c 22:00:22.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30210. 'extension(10, wk[46][2]=[0‥1]) :: init: true :: relation: MDD 1141492454, 11 edges, 3 vertices, 10 tuples
21.26/7.85 c 22:00:22.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30211. 'extension(10, x[20][46]=[0‥10]) :: init: true :: relation: MDD 775300103, 25 edges, 5 vertices, 36 tuples
21.26/7.85 c 22:00:22.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30214. 'extension(10, 10) :: init: true :: relation: MDD 775300103, 25 edges, 5 vertices, 36 tuples
21.26/7.85 c 22:00:22.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30271. 'extension(10, wk[49][2]=[0‥1]) :: init: true :: relation: MDD 1223820621, 11 edges, 3 vertices, 10 tuples
21.26/7.85 c 22:00:22.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30272. 'extension(x[18][49]=[0‥10], 10) :: init: true :: relation: MDD 1263015120, 25 edges, 5 vertices, 36 tuples
21.26/7.85 c 22:00:22.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30332. 'extension(10, wk[51][2]=[0‥1]) :: init: true :: relation: MDD 300859499, 11 edges, 3 vertices, 10 tuples
21.26/7.85 c 22:00:22.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30333. 'extension(x[18][51]=[0‥10], 10) :: init: true :: relation: MDD 438793128, 25 edges, 5 vertices, 36 tuples
21.26/7.85 c 22:00:22.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30391. 'extension(10, wk[53][2]=[0‥1]) :: init: true :: relation: MDD 1111867240, 11 edges, 3 vertices, 10 tuples
21.26/7.85 c 22:00:22.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30392. 'extension(10, x[20][53]=[0‥10]) :: init: true :: relation: MDD 1746468168, 25 edges, 5 vertices, 36 tuples
21.26/7.85 c 22:00:22.430 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30395. 'extension(10, 10) :: init: true :: relation: MDD 1746468168, 25 edges, 5 vertices, 36 tuples
21.26/7.85 c 22:00:22.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30450. 'extension(10, wk[26][2]=[0‥1]) :: init: true :: relation: MDD 1402751024, 11 edges, 3 vertices, 10 tuples
21.26/7.85 c 22:00:22.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30451. 'extension(10, x[21][26]=[0‥10]) :: init: true :: relation: MDD 586722754, 25 edges, 5 vertices, 36 tuples
21.26/7.86 c 22:00:22.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30454. 'extension(10, 10) :: init: true :: relation: MDD 586722754, 25 edges, 5 vertices, 36 tuples
21.26/7.86 c 22:00:22.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30509. 'extension(10, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 980979680, 11 edges, 3 vertices, 10 tuples
21.26/7.86 c 22:00:22.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30510. 'extension(x[19][29]=[0‥10], 10) :: init: true :: relation: MDD 545116599, 25 edges, 5 vertices, 36 tuples
21.26/7.86 c 22:00:22.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30511. 'extension(10, x[21][29]=[0‥10]) :: init: true :: relation: MDD 545116599, 25 edges, 5 vertices, 36 tuples
21.26/7.86 c 22:00:22.437 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30568. 'extension(10, wk[49][2]=[0‥1]) :: init: true :: relation: MDD 435930516, 11 edges, 3 vertices, 10 tuples
21.26/7.86 c 22:00:22.437 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30569. 'extension(10, x[21][49]=[0‥10]) :: init: true :: relation: MDD 1263015120, 25 edges, 5 vertices, 36 tuples
21.26/7.86 c 22:00:22.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30572. 'extension(10, 10) :: init: true :: relation: MDD 1263015120, 25 edges, 5 vertices, 36 tuples
21.26/7.86 c 22:00:22.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30629. 'extension(10, wk[51][2]=[0‥1]) :: init: true :: relation: MDD 39642165, 11 edges, 3 vertices, 10 tuples
21.26/7.86 c 22:00:22.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30630. 'extension(10, x[21][51]=[0‥10]) :: init: true :: relation: MDD 438793128, 25 edges, 5 vertices, 36 tuples
21.26/7.86 c 22:00:22.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30633. 'extension(10, 10) :: init: true :: relation: MDD 438793128, 25 edges, 5 vertices, 36 tuples
21.26/7.86 c 22:00:22.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30688. 'extension(x[20][22]=[0‥10], 10) :: init: true :: relation: MDD 1277490082, 25 edges, 5 vertices, 36 tuples
21.26/7.86 c 22:00:22.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30689. 'extension(10, x[22][22]=[0‥10]) :: init: true :: relation: MDD 1277490082, 25 edges, 5 vertices, 36 tuples
21.26/7.87 c 22:00:22.444 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30746. 'extension(x[20][32]=[0‥10], 10) :: init: true :: relation: MDD 1525320084, 25 edges, 5 vertices, 36 tuples
21.26/7.87 c 22:00:22.444 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30747. 'extension(10, x[22][32]=[0‥10]) :: init: true :: relation: MDD 1525320084, 25 edges, 5 vertices, 36 tuples
21.26/7.87 c 22:00:22.447 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30804. 'extension(x[21][7]=[0‥10], 10) :: init: true :: relation: MDD 1747327205, 25 edges, 5 vertices, 36 tuples
21.26/7.87 c 22:00:22.447 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30805. 'extension(10, x[23][7]=[0‥10]) :: init: true :: relation: MDD 1747327205, 25 edges, 5 vertices, 36 tuples
21.26/7.87 c 22:00:22.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30862. 'extension(x[21][20]=[0‥10], 10) :: init: true :: relation: MDD 1595487029, 25 edges, 5 vertices, 36 tuples
21.26/7.87 c 22:00:22.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30920. 'extension(x[21][23]=[0‥10], 10) :: init: true :: relation: MDD 667237426, 25 edges, 5 vertices, 36 tuples
21.26/7.87 c 22:00:22.450 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30921. 'extension(10, x[23][23]=[0‥10]) :: init: true :: relation: MDD 667237426, 25 edges, 5 vertices, 36 tuples
21.26/7.87 c 22:00:22.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30978. 'extension(x[22][8]=[0‥10], 10) :: init: true :: relation: MDD 1087989112, 25 edges, 5 vertices, 36 tuples
21.26/7.87 c 22:00:22.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30979. 'extension(10, x[24][8]=[0‥10]) :: init: true :: relation: MDD 1087989112, 25 edges, 5 vertices, 36 tuples
21.26/7.88 c 22:00:22.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31035. 'extension(10, x[24][20]=[0‥10]) :: init: true :: relation: MDD 1595487029, 25 edges, 5 vertices, 36 tuples
21.26/7.88 c 22:00:22.455 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31038. 'extension(10, 10) :: init: true :: relation: MDD 1595487029, 25 edges, 5 vertices, 36 tuples
21.26/7.88 c 22:00:22.456 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31092. 'extension(x[22][21]=[0‥10], 10) :: init: true :: relation: MDD 686904524, 25 edges, 5 vertices, 36 tuples
21.26/7.88 c 22:00:22.457 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31149. 'extension(x[22][31]=[0‥10], 10) :: init: true :: relation: MDD 673992096, 25 edges, 5 vertices, 36 tuples
21.26/7.88 c 22:00:22.457 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31206. 'extension(x[22][41]=[0‥10], 10) :: init: true :: relation: MDD 374145466, 25 edges, 5 vertices, 36 tuples
21.26/7.88 c 22:00:22.457 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31207. 'extension(10, x[24][41]=[0‥10]) :: init: true :: relation: MDD 374145466, 25 edges, 5 vertices, 36 tuples
21.26/7.88 c 22:00:22.460 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31264. 'extension(x[23][0]=[0‥10], 10) :: init: true :: relation: MDD 1128198660, 25 edges, 5 vertices, 36 tuples
21.26/7.88 c 22:00:22.460 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31265. 'extension(10, x[25][0]=[0‥10]) :: init: true :: relation: MDD 1128198660, 25 edges, 5 vertices, 36 tuples
21.26/7.88 c 22:00:22.462 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31320. 'extension(x[23][11]=[0‥10], 10) :: init: true :: relation: MDD 1701378456, 25 edges, 5 vertices, 36 tuples
21.26/7.88 c 22:00:22.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31376. 'extension(10, x[25][21]=[0‥10]) :: init: true :: relation: MDD 686904524, 25 edges, 5 vertices, 36 tuples
21.26/7.88 c 22:00:22.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31379. 'extension(10, 10) :: init: true :: relation: MDD 686904524, 25 edges, 5 vertices, 36 tuples
21.26/7.89 c 22:00:22.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31432. 'extension(x[23][30]=[0‥10], 10) :: init: true :: relation: MDD 636536295, 25 edges, 5 vertices, 36 tuples
21.26/7.89 c 22:00:22.465 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31488. 'extension(10, x[25][31]=[0‥10]) :: init: true :: relation: MDD 673992096, 25 edges, 5 vertices, 36 tuples
21.26/7.89 c 22:00:22.465 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31491. 'extension(10, 10) :: init: true :: relation: MDD 673992096, 25 edges, 5 vertices, 36 tuples
21.26/7.89 c 22:00:22.467 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31544. 'extension(x[23][37]=[0‥10], 10) :: init: true :: relation: MDD 29838617, 25 edges, 5 vertices, 36 tuples
21.26/7.89 c 22:00:22.467 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31545. 'extension(10, x[25][37]=[0‥10]) :: init: true :: relation: MDD 29838617, 25 edges, 5 vertices, 36 tuples
21.26/7.89 c 22:00:22.469 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31600. 'extension(x[23][57]=[0‥10], 10) :: init: true :: relation: MDD 1680630881, 25 edges, 5 vertices, 36 tuples
21.26/7.89 c 22:00:22.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31656. 'extension(x[24][1]=[0‥10], 10) :: init: true :: relation: MDD 17203574, 25 edges, 5 vertices, 36 tuples
21.26/7.89 c 22:00:22.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31711. 'extension(10, x[26][11]=[0‥10]) :: init: true :: relation: MDD 1701378456, 25 edges, 5 vertices, 36 tuples
21.26/7.89 c 22:00:22.471 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31714. 'extension(10, 10) :: init: true :: relation: MDD 1701378456, 25 edges, 5 vertices, 36 tuples
21.26/7.89 c 22:00:22.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31766. 'extension(x[24][12]=[0‥10], 10) :: init: true :: relation: MDD 925976643, 25 edges, 5 vertices, 36 tuples
21.26/7.89 c 22:00:22.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31821. 'extension(x[24][14]=[0‥10], 10) :: init: true :: relation: MDD 22515625, 25 edges, 5 vertices, 36 tuples
21.26/7.89 c 22:00:22.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31822. 'extension(10, x[26][14]=[0‥10]) :: init: true :: relation: MDD 22515625, 25 edges, 5 vertices, 36 tuples
21.52/7.90 c 22:00:22.475 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31876. 'extension(10, x[26][30]=[0‥10]) :: init: true :: relation: MDD 636536295, 25 edges, 5 vertices, 36 tuples
21.52/7.90 c 22:00:22.476 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31879. 'extension(10, 10) :: init: true :: relation: MDD 636536295, 25 edges, 5 vertices, 36 tuples
21.52/7.90 c 22:00:22.477 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31931. 'extension(x[24][34]=[0‥10], 10) :: init: true :: relation: MDD 121463477, 25 edges, 5 vertices, 36 tuples
21.52/7.90 c 22:00:22.477 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31932. 'extension(10, x[26][34]=[0‥10]) :: init: true :: relation: MDD 121463477, 25 edges, 5 vertices, 36 tuples
21.52/7.90 c 22:00:22.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31986. 'extension(10, x[26][57]=[0‥10]) :: init: true :: relation: MDD 1680630881, 25 edges, 5 vertices, 36 tuples
21.52/7.90 c 22:00:22.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31989. 'extension(10, 10) :: init: true :: relation: MDD 1680630881, 25 edges, 5 vertices, 36 tuples
21.52/7.90 c 22:00:22.481 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32041. 'extension(10, wk[1][3]=[0‥1]) :: init: true :: relation: MDD 1460298405, 11 edges, 3 vertices, 10 tuples
21.52/7.90 c 22:00:22.481 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32042. 'extension(10, x[27][1]=[0‥10]) :: init: true :: relation: MDD 17203574, 25 edges, 5 vertices, 36 tuples
21.52/7.90 c 22:00:22.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32044. 'extension(10, 10) :: init: true :: relation: MDD 17203574, 25 edges, 5 vertices, 36 tuples
21.52/7.91 c 22:00:22.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32095. 'extension(10, wk[12][3]=[0‥1]) :: init: true :: relation: MDD 1374115999, 11 edges, 3 vertices, 10 tuples
21.52/7.91 c 22:00:22.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32096. 'extension(10, x[27][12]=[0‥10]) :: init: true :: relation: MDD 925976643, 25 edges, 5 vertices, 36 tuples
21.52/7.91 c 22:00:22.484 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32098. 'extension(10, 10) :: init: true :: relation: MDD 925976643, 25 edges, 5 vertices, 36 tuples
21.52/7.91 c 22:00:22.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32149. 'extension(10, wk[22][3]=[0‥1]) :: init: true :: relation: MDD 565517913, 11 edges, 3 vertices, 10 tuples
21.52/7.91 c 22:00:22.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32150. 'extension(x[25][22]=[0‥10], 10) :: init: true :: relation: MDD 1277490082, 25 edges, 5 vertices, 36 tuples
21.52/7.91 c 22:00:22.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32151. 'extension(10, x[27][22]=[0‥10]) :: init: true :: relation: MDD 1277490082, 25 edges, 5 vertices, 36 tuples
21.52/7.91 c 22:00:22.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32203. 'extension(10, wk[58][3]=[0‥1]) :: init: true :: relation: MDD 1260955583, 11 edges, 3 vertices, 10 tuples
21.52/7.91 c 22:00:22.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32204. 'extension(x[25][58]=[0‥10], 10) :: init: true :: relation: MDD 279513068, 25 edges, 5 vertices, 36 tuples
21.52/7.91 c 22:00:22.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32205. 'extension(10, x[27][58]=[0‥10]) :: init: true :: relation: MDD 279513068, 25 edges, 5 vertices, 36 tuples
21.52/7.91 c 22:00:22.490 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32257. 'extension(10, wk[6][3]=[0‥1]) :: init: true :: relation: MDD 1561936660, 11 edges, 3 vertices, 10 tuples
21.52/7.91 c 22:00:22.490 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32258. 'extension(x[26][6]=[0‥10], 10) :: init: true :: relation: MDD 732918485, 25 edges, 5 vertices, 36 tuples
21.52/7.91 c 22:00:22.490 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32259. 'extension(10, x[26][6]=[0‥10]) :: init: true :: relation: MDD 80035947, 11 edges, 3 vertices, 10 tuples
21.52/7.91 c 22:00:22.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32307. 'extension(10, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 1667859935, 11 edges, 3 vertices, 10 tuples
21.52/7.91 c 22:00:22.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32308. 'extension(x[26][13]=[0‥10], 10) :: init: true :: relation: MDD 1081836597, 25 edges, 5 vertices, 36 tuples
21.52/7.91 c 22:00:22.492 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32309. 'extension(10, x[26][13]=[0‥10]) :: init: true :: relation: MDD 2017959723, 11 edges, 3 vertices, 10 tuples
21.52/7.93 c 22:00:22.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32478. 'extension(x[1][8]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.93 c 22:00:22.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32480. 'extension(x[1][8]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.93 c 22:00:22.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32486. 'extension(x[1][10]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.93 c 22:00:22.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32488. 'extension(x[1][10]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.93 c 22:00:22.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32494. 'extension(x[1][37]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.93 c 22:00:22.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32496. 'extension(x[1][37]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.93 c 22:00:22.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32502. 'extension(x[1][40]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.93 c 22:00:22.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32504. 'extension(x[1][40]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.93 c 22:00:22.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32510. 'extension(x[1][58]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32512. 'extension(x[1][58]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32518. 'extension(x[0][4]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32520. 'extension(x[2][4]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32532. 'extension(x[0][54]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32536. 'extension(x[2][59]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32546. 'extension(x[1][19]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32548. 'extension(x[3][19]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32562. 'extension(x[1][47]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32566. 'extension(x[3][54]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32580. 'extension(x[2][2]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32582. 'extension(x[4][2]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.516 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32596. 'extension(x[2][14]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.516 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32598. 'extension(x[4][14]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32612. 'extension(x[2][41]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32614. 'extension(x[4][41]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.518 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32630. 'extension(x[2][42]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.518 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32632. 'extension(x[4][42]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.519 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32648. 'extension(x[2][44]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.519 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32654. 'extension(x[4][47]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.520 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32670. 'extension(x[2][56]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.520 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32676. 'extension(x[3][43]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.521 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32682. 'extension(x[5][44]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.521 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32698. 'extension(x[3][52]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.522 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32704. 'extension(x[5][56]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.522 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32718. 'extension(wk[4][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.522 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32720. 'extension(x[4][4]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.94 c 22:00:22.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32722. 'extension(x[6][4]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32736. 'extension(wk[18][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32738. 'extension(x[4][18]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.524 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32740. 'extension(x[6][18]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.524 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32754. 'extension(wk[28][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.524 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32756. 'extension(x[4][28]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32758. 'extension(x[6][28]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32772. 'extension(wk[29][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32774. 'extension(x[4][29]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.526 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32776. 'extension(x[6][29]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.526 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32790. 'extension(wk[43][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.526 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32792. 'extension(x[6][43]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32808. 'extension(wk[52][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32810. 'extension(x[6][52]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32824. 'extension(wk[25][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32826. 'extension(x[5][25]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32832. 'extension(wk[36][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32834. 'extension(x[5][36]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32840. 'extension(x[6][0]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32842. 'extension(x[8][0]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32856. 'extension(x[6][15]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32862. 'extension(x[6][24]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32864. 'extension(x[8][24]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32878. 'extension(x[8][25]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32892. 'extension(x[8][36]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32906. 'extension(x[7][7]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32908. 'extension(x[9][7]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.95 c 22:00:22.533 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32922. 'extension(x[9][15]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.96 c 22:00:22.533 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32936. 'extension(x[7][50]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.96 c 22:00:22.533 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32938. 'extension(x[9][50]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.96 c 22:00:22.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32952. 'extension(x[8][16]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.96 c 22:00:22.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32958. 'extension(x[8][32]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.96 c 22:00:22.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32960. 'extension(x[10][32]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.96 c 22:00:22.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32974. 'extension(x[8][38]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.96 c 22:00:22.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32976. 'extension(x[10][38]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.96 c 22:00:22.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32990. 'extension(x[8][40]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.96 c 22:00:22.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32992. 'extension(x[10][40]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.96 c 22:00:22.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33008. 'extension(x[9][5]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33010. 'extension(x[11][5]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33024. 'extension(x[9][9]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.538 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33026. 'extension(x[11][9]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.538 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33040. 'extension(x[11][16]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33054. 'extension(x[9][23]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33056. 'extension(x[11][23]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.540 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33070. 'extension(x[9][27]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.540 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33072. 'extension(x[11][27]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.540 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33086. 'extension(x[9][45]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.541 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33088. 'extension(x[11][45]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.541 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33104. 'extension(x[10][3]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33110. 'extension(x[10][35]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33116. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33118. 'extension(x[13][3]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33132. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.543 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33134. 'extension(x[11][13]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.543 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33136. 'extension(x[13][13]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.543 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33150. 'extension(wk[33][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33152. 'extension(x[11][33]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33154. 'extension(x[13][33]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33168. 'extension(wk[35][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33170. 'extension(x[13][35]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.545 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33184. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.545 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33186. 'extension(x[12][6]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.545 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33188. 'extension(x[14][6]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33202. 'extension(wk[9][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33204. 'extension(x[12][9]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33206. 'extension(x[14][9]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.547 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33220. 'extension(wk[10][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.547 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33222. 'extension(x[12][10]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.547 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33224. 'extension(x[14][10]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.548 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33238. 'extension(wk[39][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.548 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33240. 'extension(x[12][39]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.548 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33246. 'extension(x[13][24]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.548 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33248. 'extension(x[15][24]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33262. 'extension(x[13][34]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33264. 'extension(x[15][34]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.550 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33278. 'extension(x[15][39]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.550 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33292. 'extension(x[13][45]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.550 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33294. 'extension(x[15][45]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.551 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33310. 'extension(x[13][55]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.551 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33312. 'extension(x[15][55]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.552 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33326. 'extension(x[14][18]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.552 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33328. 'extension(x[16][18]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.553 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33342. 'extension(x[14][27]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.97 c 22:00:22.553 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33344. 'extension(x[16][27]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.553 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33358. 'extension(x[14][48]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33364. 'extension(x[15][2]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33366. 'extension(x[17][2]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33380. 'extension(x[15][17]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.555 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33386. 'extension(x[15][38]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.555 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33388. 'extension(x[17][38]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.555 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33402. 'extension(x[17][48]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.556 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33418. 'extension(x[15][50]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.556 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33420. 'extension(x[17][50]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.557 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33434. 'extension(x[16][5]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.557 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33436. 'extension(x[18][5]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.558 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33450. 'extension(x[18][17]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.558 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33464. 'extension(x[16][19]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.558 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33466. 'extension(x[18][19]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33480. 'extension(x[16][28]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33482. 'extension(x[18][28]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33496. 'extension(x[16][33]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.560 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33498. 'extension(x[18][33]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.560 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33512. 'extension(x[16][55]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.98 c 22:00:22.560 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33514. 'extension(x[18][55]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33528. 'extension(x[17][42]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33530. 'extension(x[19][42]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33546. 'extension(x[17][46]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33552. 'extension(x[17][53]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33558. 'extension(wk[26][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.563 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33560. 'extension(x[18][26]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.563 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33566. 'extension(wk[46][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.563 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33568. 'extension(x[20][46]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.564 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33584. 'extension(wk[49][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.564 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33586. 'extension(x[18][49]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.564 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33592. 'extension(wk[51][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.564 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33594. 'extension(x[18][51]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33600. 'extension(wk[53][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33602. 'extension(x[20][53]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33616. 'extension(wk[26][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33618. 'extension(x[21][26]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.566 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33632. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.566 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33634. 'extension(x[19][29]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.566 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33636. 'extension(x[21][29]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33650. 'extension(wk[49][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33652. 'extension(x[21][49]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.568 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33668. 'extension(wk[51][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.568 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33670. 'extension(x[21][51]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.568 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33684. 'extension(x[20][22]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.568 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33686. 'extension(x[22][22]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.569 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33700. 'extension(x[20][32]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.569 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33702. 'extension(x[22][32]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33716. 'extension(x[21][7]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33718. 'extension(x[23][7]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33732. 'extension(x[21][20]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33738. 'extension(x[21][23]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33740. 'extension(x[23][23]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.572 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33754. 'extension(x[22][8]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.572 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33756. 'extension(x[24][8]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.572 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33770. 'extension(x[24][20]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.573 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33784. 'extension(x[22][21]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/7.99 c 22:00:22.573 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33790. 'extension(x[22][31]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.573 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33796. 'extension(x[22][41]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.574 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33798. 'extension(x[24][41]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.574 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33814. 'extension(x[23][0]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.574 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33816. 'extension(x[25][0]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.575 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33830. 'extension(x[23][11]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.575 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33836. 'extension(x[25][21]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.576 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33850. 'extension(x[23][30]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.576 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33856. 'extension(x[25][31]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.577 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33870. 'extension(x[23][37]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.577 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33872. 'extension(x[25][37]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.577 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33886. 'extension(x[23][57]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.578 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33892. 'extension(x[24][1]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.578 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33898. 'extension(x[26][11]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.579 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33912. 'extension(x[24][12]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.579 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33918. 'extension(x[24][14]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.579 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33920. 'extension(x[26][14]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.580 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33934. 'extension(x[26][30]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.580 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33948. 'extension(x[24][34]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.580 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33950. 'extension(x[26][34]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.581 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33964. 'extension(x[26][57]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.581 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33978. 'extension(wk[1][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.581 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33980. 'extension(x[27][1]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.582 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33992. 'extension(wk[12][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.582 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33994. 'extension(x[27][12]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.582 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34006. 'extension(wk[22][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.583 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34008. 'extension(x[25][22]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.583 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34010. 'extension(x[27][22]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.00 c 22:00:22.583 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34022. 'extension(wk[58][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/8.01 c 22:00:22.583 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34024. 'extension(x[25][58]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.01 c 22:00:22.583 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34026. 'extension(x[27][58]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.01 c 22:00:22.584 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34038. 'extension(wk[6][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/8.01 c 22:00:22.584 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34040. 'extension(x[26][6]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.01 c 22:00:22.584 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34042. 'extension(x[26][6]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.01 c 22:00:22.584 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34048. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.52/8.01 c 22:00:22.585 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34050. 'extension(x[26][13]=[0‥10]) :: init: true :: relation: Empty MDD
21.52/8.01 c 22:00:22.585 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34052. 'extension(x[26][13]=[0‥10]) :: init: true :: relation: Empty MDD
252.02/218.31 Exception in thread "main" java.util.concurrent.TimeoutException
252.02/218.31 at concrete.MAC.mac(MAC.scala:188)
252.02/218.31 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.02/218.31 at scala.util.Try$.apply(Try.scala:209)
252.02/218.31 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.02/218.31 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.02/218.31 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.02/218.31 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.02/218.31 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.02/218.31 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.02/218.31 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.02/218.31 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.02/218.31 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.02/218.31 at concrete.MAC.oneRun(MAC.scala:253)
252.02/218.31 at concrete.MAC.nextSolution(MAC.scala:272)
252.02/218.31 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.02/218.31 at concrete.ProblemState.map(ProblemState.scala:221)
252.02/218.31 at concrete.ProblemState.map(ProblemState.scala:204)
252.02/218.31 at concrete.MAC.nextSolution(MAC.scala:334)
252.02/218.31 at concrete.Solver.hasNext(Solver.scala:166)
252.02/218.31 at scala.collection.Iterator.foreach(Iterator.scala:944)
252.02/218.31 at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.02/218.31 at concrete.Solver.foreach(Solver.scala:68)
252.02/218.31 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.02/218.31 at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.02/218.31 at scala.util.Success.map(Try.scala:209)
252.02/218.31 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.02/218.31 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.02/218.31 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.02/218.31 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.02/218.31 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.02/218.31 at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.02/218.31 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.02/218.31 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.02/218.31 at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.02/218.31 at scala.collection.immutable.List.foreach(List.scala:389)
252.02/218.31 at scala.App.main(App.scala:76)
252.02/218.31 at scala.App.main$(App.scala:74)
252.02/218.31 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.02/218.31 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.02/218.31 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (6087 MiB free)
memory of node 1: 16384 MiB (15018 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302781-1532894414/watcher-4302781-1532894414 -o /tmp/evaluation-result-4302781-1532894414/solver-4302781-1532894414 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13581 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=192425338 -superng HOME/instance-4302781-1532894414.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15410, runsolver pid=15407
Current StackSize limit: 8192 KiB
[startup+0.110324 s]*
/proc/loadavg: 1.58 1.73 1.84 3/207 15467
/proc/meminfo: memFree=21601964/32770624 swapFree=67108404/67108860
[pid=15410] ppid=15407 vsize=10453864 memory=22824 CPUtime=0.09 cores=1,3,5,7
/proc/15410/stat : 15410 (java) S 15407 15410 12222 0 -1 1077944320 4852 13029 0 0 2 0 4 3 20 0 9 0 107004553 10704756736 5706 33554432000 4194304 4196468 140737022615488 140737022598032 139762771746551 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
/proc/15410/statm: 2613466 5706 2103 1 0 2576007 0
[pid=15410/tid=15463] ppid=15407 vsize=10453864 memory=4351193298018010505 CPUtime=0.09 cores=1,3,5,7
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12222 0 -1 4202560 2649 13029 0 0 2 0 4 3 20 0 9 0 107004562 10704756736 5706 33554432000 4194304 4196468 140737022615488 139762743582576 139762763983678 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15464] ppid=15407 vsize=10453864 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12222 0 -1 1077944384 2 13029 0 0 0 0 4 3 20 0 9 0 107004563 10704756736 5706 33554432000 4194304 4196468 140737022615488 139762775989136 139762771756757 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15465] ppid=15407 vsize=10453864 memory=140374345574016 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 9 0 107004563 10704756736 5706 33554432000 4194304 4196468 140737022615488 139762311338768 139762771756757 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15466] ppid=15407 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 9 0 107004563 10704756736 5706 33554432000 4194304 4196468 140737022615488 139762310286480 139762771756757 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15467] ppid=15407 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 9 0 107004563 10704756736 5706 33554432000 4194304 4196468 140737022615488 139762309233680 139762771756757 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15468] ppid=15407 vsize=10453864 memory=140374345574016 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15468/stat : 15468 (java) S 15407 15410 12222 0 -1 1077944384 2 13029 0 0 0 0 4 3 20 0 9 0 107004564 10704756736 5706 33554432000 4194304 4196468 140737022615488 139762264791152 139762771757698 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15469] ppid=15407 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15469/stat : 15469 (java) S 15407 15410 12222 0 -1 1077944384 13 13029 0 0 0 0 4 3 20 0 9 0 107004565 10704756736 5706 33554432000 4194304 4196468 140737022615488 139761658356512 139762771756757 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15470] ppid=15407 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15470/stat : 15470 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 9 0 107004565 10704756736 5706 33554432000 4194304 4196468 140737022615488 139761457030320 139762771756757 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10453864 KiB
Current children cumulated memory: 22824 KiB
[startup+0.210096 s]*
/proc/loadavg: 1.58 1.73 1.84 5/216 15476
/proc/meminfo: memFree=21578808/32770624 swapFree=67108404/67108860
[pid=15410] ppid=15407 vsize=10982744 memory=47620 CPUtime=0.25 cores=1,3,5,7
/proc/15410/stat : 15410 (java) S 15407 15410 12222 0 -1 1077944320 8103 13029 0 0 17 1 4 3 20 0 15 0 107004553 11246329856 11905 33554432000 4194304 4196468 140737022615488 140737022598032 139762771746551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
/proc/15410/statm: 2745686 11905 2957 1 0 2708109 0
[pid=15410/tid=15463] ppid=15407 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12222 0 -1 4202560 4747 13029 0 0 11 1 4 3 20 0 15 0 107004562 11246329856 11971 33554432000 4194304 4196468 140737022615488 139762743543472 139762771758486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15464] ppid=15407 vsize=10982744 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12222 0 -1 1077944384 2 13029 0 0 0 0 4 3 20 0 15 0 107004563 11246329856 11971 33554432000 4194304 4196468 140737022615488 139762775989136 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15465] ppid=15407 vsize=10982744 memory=3546783574881789600 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004563 11246329856 11971 33554432000 4194304 4196468 140737022615488 139762311338768 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15466] ppid=15407 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004563 11246329856 11971 33554432000 4194304 4196468 140737022615488 139762310286480 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15467] ppid=15407 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004563 11246329856 11971 33554432000 4194304 4196468 140737022615488 139762309233680 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15468] ppid=15407 vsize=10982744 memory=140374345574016 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15468/stat : 15468 (java) S 15407 15410 12222 0 -1 1077944384 2 13029 0 0 0 0 4 3 20 0 15 0 107004564 11246329856 11971 33554432000 4194304 4196468 140737022615488 139762264791152 139762771757698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15469] ppid=15407 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15469/stat : 15469 (java) S 15407 15410 12222 0 -1 1077944384 13 13029 0 0 0 0 4 3 20 0 15 0 107004565 11246329856 11971 33554432000 4194304 4196468 140737022615488 139761658356512 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15470] ppid=15407 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15470/stat : 15470 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004565 11246329856 11971 33554432000 4194304 4196468 140737022615488 139761457030256 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15471] ppid=15407 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15471/stat : 15471 (java) S 15407 15410 12222 0 -1 1077944384 3 13029 0 0 0 0 4 3 20 0 15 0 107004568 11246329856 11971 33554432000 4194304 4196468 140737022615488 139761149630544 139762771765147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15472] ppid=15407 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15410/task/15472/stat : 15472 (java) S 15407 15410 12222 0 -1 1077944384 426 13029 0 0 1 0 4 3 20 0 15 0 107004568 11246329856 11971 33554432000 4194304 4196468 140737022615488 139762263738992 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15473] ppid=15407 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15410/task/15473/stat : 15473 (java) R 15407 15410 12222 0 -1 1077944384 182 13029 0 0 1 0 4 3 20 0 15 0 107004568 11246329856 11971 33554432000 4194304 4196468 140737022615488 139761739098608 139762771757698 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15474] ppid=15407 vsize=10982744 memory=140374345574016 CPUtime=0.1 cores=1,3,5,7
/proc/15410/task/15474/stat : 15474 (java) R 15407 15410 12222 0 -1 4202560 617 13029 0 0 3 0 4 3 20 0 15 0 107004568 11246329856 11971 33554432000 4194304 4196468 140737022615488 139761738046320 139762771767898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15475] ppid=15407 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15475/stat : 15475 (java) S 15407 15410 12222 0 -1 1077944384 3 13029 0 0 0 0 4 3 20 0 15 0 107004568 11246329856 11971 33554432000 4194304 4196468 140737022615488 139760718834656 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15476] ppid=15407 vsize=10982744 memory=140374345574016 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15476/stat : 15476 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004568 11246329856 11971 33554432000 4194304 4196468 140737022615488 139761736993200 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 47620 KiB
[startup+0.310268 s]*
/proc/loadavg: 1.58 1.73 1.84 3/216 15476
/proc/meminfo: memFree=21567304/32770624 swapFree=67108404/67108860
[pid=15410] ppid=15407 vsize=10983192 memory=58400 CPUtime=0.37 cores=1,3,5,7
/proc/15410/stat : 15410 (java) S 15407 15410 12222 0 -1 1077944320 10689 13029 0 0 28 2 4 3 20 0 15 0 107004553 11246788608 14600 33554432000 4194304 4196468 140737022615488 140737022598032 139762771746551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
/proc/15410/statm: 2745798 14600 3076 1 0 2708109 0
[pid=15410/tid=15463] ppid=15407 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12222 0 -1 4202560 7233 13029 0 0 19 2 4 3 20 0 15 0 107004562 11246788608 14600 33554432000 4194304 4196468 140737022615488 139762743558560 139762753299856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15464] ppid=15407 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12222 0 -1 1077944384 2 13029 0 0 0 0 4 3 20 0 15 0 107004563 11246788608 14600 33554432000 4194304 4196468 140737022615488 139762775989136 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15465] ppid=15407 vsize=10983192 memory=140374345584609 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004563 11246788608 14600 33554432000 4194304 4196468 140737022615488 139762311338768 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15466] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004563 11246788608 14600 33554432000 4194304 4196468 140737022615488 139762310286480 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15467] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004563 11246788608 14600 33554432000 4194304 4196468 140737022615488 139762309233680 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15468] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15468/stat : 15468 (java) S 15407 15410 12222 0 -1 1077944384 2 13029 0 0 0 0 4 3 20 0 15 0 107004564 11246788608 14600 33554432000 4194304 4196468 140737022615488 139762264791152 139762771757698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15469] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15469/stat : 15469 (java) S 15407 15410 12222 0 -1 1077944384 13 13029 0 0 0 0 4 3 20 0 15 0 107004565 11246788608 14600 33554432000 4194304 4196468 140737022615488 139761658356512 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15470] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15470/stat : 15470 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004565 11246788608 14600 33554432000 4194304 4196468 140737022615488 139761457030256 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15471] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15471/stat : 15471 (java) S 15407 15410 12222 0 -1 1077944384 3 13029 0 0 0 0 4 3 20 0 15 0 107004568 11246788608 14600 33554432000 4194304 4196468 140737022615488 139761149630544 139762771765147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15472] ppid=15407 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15410/task/15472/stat : 15472 (java) S 15407 15410 12222 0 -1 1077944384 429 13029 0 0 1 0 4 3 20 0 15 0 107004568 11246788608 14600 33554432000 4194304 4196468 140737022615488 139762263738992 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15473] ppid=15407 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15410/task/15473/stat : 15473 (java) S 15407 15410 12222 0 -1 1077944384 185 13029 0 0 1 0 4 3 20 0 15 0 107004568 11246788608 14600 33554432000 4194304 4196468 140737022615488 139761739098608 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15474] ppid=15407 vsize=10983192 memory=140374345574016 CPUtime=0.11 cores=1,3,5,7
/proc/15410/task/15474/stat : 15474 (java) S 15407 15410 12222 0 -1 1077944384 623 13029 0 0 4 0 4 3 20 0 15 0 107004568 11246788608 14600 33554432000 4194304 4196468 140737022615488 139761738046320 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15475] ppid=15407 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15475/stat : 15475 (java) S 15407 15410 12222 0 -1 1077944384 3 13029 0 0 0 0 4 3 20 0 15 0 107004568 11246788608 14600 33554432000 4194304 4196468 140737022615488 139760718834656 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15476] ppid=15407 vsize=10983192 memory=140374345574016 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15476/stat : 15476 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004568 11246788608 14600 33554432000 4194304 4196468 140737022615488 139761736993200 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 58400 KiB
[startup+0.700768 s]
/proc/loadavg: 1.58 1.73 1.84 3/216 15476
/proc/meminfo: memFree=21576084/32770624 swapFree=67108404/67108860
[pid=15410] ppid=15407 vsize=10983192 memory=90656 CPUtime=0.98 cores=1,3,5,7
/proc/15410/stat : 15410 (java) S 15407 15410 12222 0 -1 1077944320 16750 13029 0 0 87 4 4 3 20 0 15 0 107004553 11246788608 22664 33554432000 4194304 4196468 140737022615488 140737022598032 139762771746551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
/proc/15410/statm: 2745798 22664 3243 1 0 2708109 0
[pid=15410/tid=15463] ppid=15407 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12222 0 -1 4202560 12283 13029 0 0 56 3 4 3 20 0 15 0 107004562 11246788608 22664 33554432000 4194304 4196468 140737022615488 139762743567376 139762752022432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15464] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12222 0 -1 1077944384 2 13029 0 0 0 0 4 3 20 0 15 0 107004563 11246788608 22664 33554432000 4194304 4196468 140737022615488 139762775989136 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15465] ppid=15407 vsize=10983192 memory=2441353364993 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004563 11246788608 22664 33554432000 4194304 4196468 140737022615488 139762311338768 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15466] ppid=15407 vsize=10983192 memory=546657966 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004563 11246788608 22664 33554432000 4194304 4196468 140737022615488 139762310286480 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15467] ppid=15407 vsize=10983192 memory=4639366808851880611 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004563 11246788608 22664 33554432000 4194304 4196468 140737022615488 139762309233680 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15468] ppid=15407 vsize=10983192 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15468/stat : 15468 (java) S 15407 15410 12222 0 -1 1077944384 5 13029 0 0 0 0 4 3 20 0 15 0 107004564 11246788608 22664 33554432000 4194304 4196468 140737022615488 139762264791152 139762771757698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15469] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15469/stat : 15469 (java) S 15407 15410 12222 0 -1 1077944384 13 13029 0 0 0 0 4 3 20 0 15 0 107004565 11246788608 22664 33554432000 4194304 4196468 140737022615488 139761658356512 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15470] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15470/stat : 15470 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004565 11246788608 22664 33554432000 4194304 4196468 140737022615488 139761457030256 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15471] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15471/stat : 15471 (java) S 15407 15410 12222 0 -1 1077944384 3 13029 0 0 0 0 4 3 20 0 15 0 107004568 11246788608 22664 33554432000 4194304 4196468 140737022615488 139761149630544 139762771765147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15472] ppid=15407 vsize=10983192 memory=8551153264083965315 CPUtime=0.15 cores=1,3,5,7
/proc/15410/task/15472/stat : 15472 (java) S 15407 15410 12222 0 -1 1077944384 977 13029 0 0 8 0 4 3 20 0 15 0 107004568 11246788608 22664 33554432000 4194304 4196468 140737022615488 139762263738992 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15473] ppid=15407 vsize=10983192 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/15410/task/15473/stat : 15473 (java) S 15407 15410 12222 0 -1 1077944384 602 13029 0 0 8 0 4 3 20 0 15 0 107004568 11246788608 22664 33554432000 4194304 4196468 140737022615488 139761739098608 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15474] ppid=15407 vsize=10983192 memory=140374345576529 CPUtime=0.2 cores=1,3,5,7
/proc/15410/task/15474/stat : 15474 (java) S 15407 15410 12222 0 -1 1077944384 666 13029 0 0 13 0 4 3 20 0 15 0 107004568 11246788608 22664 33554432000 4194304 4196468 140737022615488 139761738046320 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15475] ppid=15407 vsize=10983192 memory=4012 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15475/stat : 15475 (java) S 15407 15410 12222 0 -1 1077944384 3 13029 0 0 0 0 4 3 20 0 15 0 107004568 11246788608 22664 33554432000 4194304 4196468 140737022615488 139760718834656 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15476] ppid=15407 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15476/stat : 15476 (java) R 15407 15410 12222 0 -1 4202560 1 13029 0 0 0 0 4 3 20 0 15 0 107004568 11246788608 22664 33554432000 4194304 4196468 140737022615488 139761736993200 139762771757698 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90656 KiB
[startup+1.50133 s]
/proc/loadavg: 1.58 1.73 1.84 3/216 15476
/proc/meminfo: memFree=21525788/32770624 swapFree=67108404/67108860
[pid=15410] ppid=15407 vsize=10991948 memory=172280 CPUtime=3.04 cores=1,3,5,7
/proc/15410/stat : 15410 (java) S 15407 15410 12222 0 -1 1077944320 23009 13029 0 0 290 7 4 3 20 0 15 0 107004553 11255754752 43070 33554432000 4194304 4196468 140737022615488 140737022598032 139762771746551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
/proc/15410/statm: 2747987 43070 3452 1 0 2709645 0
[pid=15410/tid=15463] ppid=15407 vsize=10991948 memory=9258 CPUtime=1.4 cores=1,3,5,7
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12222 0 -1 4202560 15252 13029 0 0 128 5 4 3 20 0 15 0 107004562 11255754752 43070 33554432000 4194304 4196468 140737022615488 139762743573760 139762771758486 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15464] ppid=15407 vsize=10991948 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12222 0 -1 1077944384 2 13029 0 0 0 0 4 3 20 0 15 0 107004563 11255754752 43070 33554432000 4194304 4196468 140737022615488 139762775989136 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15465] ppid=15407 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004563 11255754752 43070 33554432000 4194304 4196468 140737022615488 139762311338768 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15466] ppid=15407 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004563 11255754752 43070 33554432000 4194304 4196468 140737022615488 139762310286480 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15467] ppid=15407 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004563 11255754752 43070 33554432000 4194304 4196468 140737022615488 139762309233680 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15468] ppid=15407 vsize=10991948 memory=8551153264083965315 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15468/stat : 15468 (java) S 15407 15410 12222 0 -1 1077944384 13 13029 0 0 0 0 4 3 20 0 15 0 107004564 11255754752 43070 33554432000 4194304 4196468 140737022615488 139762264791152 139762771757698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15469] ppid=15407 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15469/stat : 15469 (java) S 15407 15410 12222 0 -1 1077944384 13 13029 0 0 0 0 4 3 20 0 15 0 107004565 11255754752 43070 33554432000 4194304 4196468 140737022615488 139761658356512 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15470] ppid=15407 vsize=10991948 memory=140374345576529 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15470/stat : 15470 (java) S 15407 15410 12222 0 -1 1077944384 1 13029 0 0 0 0 4 3 20 0 15 0 107004565 11255754752 43070 33554432000 4194304 4196468 140737022615488 139761457030256 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15471] ppid=15407 vsize=10991948 memory=11008 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15471/stat : 15471 (java) S 15407 15410 12222 0 -1 1077944384 3 13029 0 0 0 0 4 3 20 0 15 0 107004568 11255754752 43070 33554432000 4194304 4196468 140737022615488 139761149630544 139762771765147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15472] ppid=15407 vsize=10991948 memory=1008 CPUtime=0.6 cores=1,3,5,7
/proc/15410/task/15472/stat : 15472 (java) R 15407 15410 12222 0 -1 4202560 1822 13029 0 0 53 0 4 3 20 0 15 0 107004568 11255754752 43070 33554432000 4194304 4196468 140737022615488 139762263724832 139762756668508 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15473] ppid=15407 vsize=10991948 memory=1952 CPUtime=0.61 cores=1,3,5,7
/proc/15410/task/15473/stat : 15473 (java) R 15407 15410 12222 0 -1 4202560 1906 13029 0 0 54 0 4 3 20 0 15 0 107004568 11255754752 43070 33554432000 4194304 4196468 140737022615488 139761739088400 139762749638528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15474] ppid=15407 vsize=10991948 memory=8572 CPUtime=0.59 cores=1,3,5,7
/proc/15410/task/15474/stat : 15474 (java) S 15407 15410 12222 0 -1 1077944384 1798 13029 0 0 52 0 4 3 20 0 15 0 107004568 11255754752 43070 33554432000 4194304 4196468 140737022615488 139761738046320 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
################
# More data... #
################
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12222 0 -1 4202560 46230 13029 0 0 10054 37 4 3 20 0 15 0 107004562 11280941056 742722 33554432000 4194304 4196468 140737022615488 139762743578704 139762368420669 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15464] ppid=15407 vsize=11016544 memory=280748456828064 CPUtime=1.09 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12222 0 -1 1077944384 921 13029 0 0 76 26 4 3 20 0 15 0 107004563 11280941056 742722 33554432000 4194304 4196468 140737022615488 139762775989136 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15465] ppid=15407 vsize=11016544 memory=56 CPUtime=1.05 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12222 0 -1 1077944384 3075 13029 0 0 73 25 4 3 20 0 15 0 107004563 11280941056 742722 33554432000 4194304 4196468 140737022615488 139762311338768 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15466] ppid=15407 vsize=11016544 memory=4012 CPUtime=1.1 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12222 0 -1 1077944384 979 13029 0 0 78 25 4 3 20 0 15 0 107004563 11280941056 742722 33554432000 4194304 4196468 140737022615488 139762310286480 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15467] ppid=15407 vsize=11016544 memory=4465 CPUtime=1.07 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12222 0 -1 1077944384 2528 13029 0 0 74 26 4 3 20 0 15 0 107004563 11280941056 742722 33554432000 4194304 4196468 140737022615488 139762309233680 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15468] ppid=15407 vsize=11016544 memory=4420 CPUtime=0.16 cores=1,3,5,7
/proc/15410/task/15468/stat : 15468 (java) S 15407 15410 12222 0 -1 1077944384 4344 13029 0 0 8 1 4 3 20 0 15 0 107004564 11280941056 742722 33554432000 4194304 4196468 140737022615488 139762264791152 139762771757698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15469] ppid=15407 vsize=11016544 memory=2952400 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15469/stat : 15469 (java) S 15407 15410 12222 0 -1 1077944384 19 13029 0 0 0 0 4 3 20 0 15 0 107004565 11280941056 742722 33554432000 4194304 4196468 140737022615488 139761658356640 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15470] ppid=15407 vsize=11016544 memory=1200 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15470/stat : 15470 (java) S 15407 15410 12222 0 -1 1077944384 13 13029 0 0 0 0 4 3 20 0 15 0 107004565 11280941056 742722 33554432000 4194304 4196468 140737022615488 139761457030272 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15471] ppid=15407 vsize=11016544 memory=1688548 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15471/stat : 15471 (java) S 15407 15410 12222 0 -1 1077944384 3 13029 0 0 0 0 4 3 20 0 15 0 107004568 11280941056 742722 33554432000 4194304 4196468 140737022615488 139761149630544 139762771765147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15472] ppid=15407 vsize=11016544 memory=0 CPUtime=12.28 cores=1,3,5,7
/proc/15410/task/15472/stat : 15472 (java) S 15407 15410 12222 0 -1 1077944384 24405 13029 0 0 1218 3 4 3 20 0 15 0 107004568 11280941056 742722 33554432000 4194304 4196468 140737022615488 139762263738992 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15473] ppid=15407 vsize=11016544 memory=0 CPUtime=12.95 cores=1,3,5,7
/proc/15410/task/15473/stat : 15473 (java) S 15407 15410 12222 0 -1 1077944384 31136 13029 0 0 1283 5 4 3 20 0 15 0 107004568 11280941056 742722 33554432000 4194304 4196468 140737022615488 139761739098608 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15474] ppid=15407 vsize=11016544 memory=0 CPUtime=3.85 cores=1,3,5,7
/proc/15410/task/15474/stat : 15474 (java) S 15407 15410 12222 0 -1 1077944384 18165 13029 0 0 372 6 4 3 20 0 15 0 107004568 11280941056 742722 33554432000 4194304 4196468 140737022615488 139761738046320 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15475] ppid=15407 vsize=11016544 memory=30540 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15475/stat : 15475 (java) S 15407 15410 12222 0 -1 1077944384 3 13029 0 0 0 0 4 3 20 0 15 0 107004568 11280941056 742722 33554432000 4194304 4196468 140737022615488 139760718834656 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15476] ppid=15407 vsize=11016544 memory=2396 CPUtime=0.11 cores=1,3,5,7
/proc/15410/task/15476/stat : 15476 (java) S 15407 15410 12222 0 -1 1077944384 1135 13029 0 0 2 2 4 3 20 0 15 0 107004568 11280941056 742722 33554432000 4194304 4196468 140737022615488 139761736993200 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
Current children cumulated CPU time: 134.15 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2970888 KiB
[startup+162.301 s]
/proc/loadavg: 1.96 1.79 1.84 3/216 15758
/proc/meminfo: memFree=19817580/32770624 swapFree=67108404/67108860
[pid=15410] ppid=15407 vsize=11016544 memory=2960588 CPUtime=195.22 cores=1,3,5,7
/proc/15410/stat : 15410 (java) S 15407 15410 12222 0 -1 1077944320 144446 13029 0 0 19346 169 4 3 20 0 15 0 107004553 11280941056 740147 33554432000 4194304 4196468 140737022615488 140737022598032 139762771746551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
/proc/15410/statm: 2754136 740147 3542 1 0 2715789 0
[pid=15410/tid=15463] ppid=15407 vsize=11016544 memory=2960588 CPUtime=160.7 cores=1,3,5,7
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12222 0 -1 4202560 50435 13029 0 0 16025 38 4 3 20 0 15 0 107004562 11280941056 740147 33554432000 4194304 4196468 140737022615488 139762743580544 139762367911846 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15464] ppid=15407 vsize=11016544 memory=2992464 CPUtime=1.36 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12222 0 -1 1077944384 2800 13029 0 0 102 27 4 3 20 0 15 0 107004563 11280941056 740147 33554432000 4194304 4196468 140737022615488 139762775989136 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15465] ppid=15407 vsize=11016544 memory=2992464 CPUtime=1.33 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12222 0 -1 1077944384 3353 13029 0 0 99 27 4 3 20 0 15 0 107004563 11280941056 740147 33554432000 4194304 4196468 140737022615488 139762311338768 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15466] ppid=15407 vsize=11016544 memory=3023192 CPUtime=1.38 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12222 0 -1 1077944384 1049 13029 0 0 104 27 4 3 20 0 15 0 107004563 11280941056 740147 33554432000 4194304 4196468 140737022615488 139762310286480 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15467] ppid=15407 vsize=11016544 memory=2960588 CPUtime=1.34 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12222 0 -1 1077944384 2635 13029 0 0 100 27 4 3 20 0 15 0 107004563 11280941056 740147 33554432000 4194304 4196468 140737022615488 139762309233680 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15468] ppid=15407 vsize=11016544 memory=68 CPUtime=0.17 cores=1,3,5,7
/proc/15410/task/15468/stat : 15468 (java) S 15407 15410 12222 0 -1 1077944384 4671 13029 0 0 9 1 4 3 20 0 15 0 107004564 11280941056 740147 33554432000 4194304 4196468 140737022615488 139762264791152 139762771757698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15469] ppid=15407 vsize=11016544 memory=3023192 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15469/stat : 15469 (java) S 15407 15410 12222 0 -1 1077944384 19 13029 0 0 0 0 4 3 20 0 15 0 107004565 11280941056 740147 33554432000 4194304 4196468 140737022615488 139761658356640 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15470] ppid=15407 vsize=11016544 memory=1840 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15470/stat : 15470 (java) S 15407 15410 12222 0 -1 1077944384 13 13029 0 0 0 0 4 3 20 0 15 0 107004565 11280941056 740147 33554432000 4194304 4196468 140737022615488 139761457030272 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15471] ppid=15407 vsize=11016544 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15471/stat : 15471 (java) S 15407 15410 12222 0 -1 1077944384 3 13029 0 0 0 0 4 3 20 0 15 0 107004568 11280941056 740147 33554432000 4194304 4196468 140737022615488 139761149630544 139762771765147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15472] ppid=15407 vsize=11016544 memory=6926606940586076736 CPUtime=12.37 cores=1,3,5,7
/proc/15410/task/15472/stat : 15472 (java) S 15407 15410 12222 0 -1 1077944384 24696 13029 0 0 1227 3 4 3 20 0 15 0 107004568 11280941056 740147 33554432000 4194304 4196468 140737022615488 139762263738992 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15473] ppid=15407 vsize=11016544 memory=3023192 CPUtime=13.05 cores=1,3,5,7
/proc/15410/task/15473/stat : 15473 (java) S 15407 15410 12222 0 -1 1077944384 33071 13029 0 0 1293 5 4 3 20 0 15 0 107004568 11280941056 740147 33554432000 4194304 4196468 140737022615488 139761739098608 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15474] ppid=15407 vsize=11016544 memory=3023192 CPUtime=3.88 cores=1,3,5,7
/proc/15410/task/15474/stat : 15474 (java) S 15407 15410 12222 0 -1 1077944384 18342 13029 0 0 375 6 4 3 20 0 15 0 107004568 11280941056 740147 33554432000 4194304 4196468 140737022615488 139761738046320 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15475] ppid=15407 vsize=11016544 memory=3023192 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15475/stat : 15475 (java) S 15407 15410 12222 0 -1 1077944384 3 13029 0 0 0 0 4 3 20 0 15 0 107004568 11280941056 740147 33554432000 4194304 4196468 140737022615488 139760718834656 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15476] ppid=15407 vsize=11016544 memory=17460 CPUtime=0.14 cores=1,3,5,7
/proc/15410/task/15476/stat : 15476 (java) S 15407 15410 12222 0 -1 1077944384 1165 13029 0 0 3 4 4 3 20 0 15 0 107004568 11280941056 740147 33554432000 4194304 4196468 140737022615488 139761736993200 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
Current children cumulated CPU time: 195.22 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2960588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+218.301 s]
/proc/loadavg: 1.64 1.73 1.82 3/216 15759
/proc/meminfo: memFree=20235684/32770624 swapFree=67108404/67108860
[pid=15410] ppid=15407 vsize=11016544 memory=2433172 CPUtime=252.02 cores=1,3,5,7
/proc/15410/stat : 15410 (java) S 15407 15410 12222 0 -1 1077944320 165388 13029 0 0 25020 175 4 3 20 0 15 0 107004553 11280941056 608293 33554432000 4194304 4196468 140737022615488 140737022598032 139762771746551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
/proc/15410/statm: 2754136 608293 3542 1 0 2715789 0
[pid=15410/tid=15463] ppid=15407 vsize=11016544 memory=2733792 CPUtime=216.52 cores=1,3,5,7
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12222 0 -1 4202560 54557 13029 0 0 21607 38 4 3 20 0 15 0 107004562 11280941056 608293 33554432000 4194304 4196468 140737022615488 139762743582016 139762359879994 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15464] ppid=15407 vsize=11016544 memory=2534220 CPUtime=1.52 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12222 0 -1 1077944384 3526 13029 0 0 117 28 4 3 20 0 15 0 107004563 11280941056 608293 33554432000 4194304 4196468 140737022615488 139762775989136 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15465] ppid=15407 vsize=11016544 memory=2443416 CPUtime=1.49 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12222 0 -1 1077944384 4679 13029 0 0 114 28 4 3 20 0 15 0 107004563 11280941056 608293 33554432000 4194304 4196468 140737022615488 139762311338768 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15466] ppid=15407 vsize=11016544 memory=2443416 CPUtime=1.52 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12222 0 -1 1077944384 2150 13029 0 0 117 28 4 3 20 0 15 0 107004563 11280941056 608293 33554432000 4194304 4196468 140737022615488 139762310286480 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15467] ppid=15407 vsize=11016544 memory=2433172 CPUtime=1.5 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12222 0 -1 1077944384 2916 13029 0 0 115 28 4 3 20 0 15 0 107004563 11280941056 608293 33554432000 4194304 4196468 140737022615488 139762309233680 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15468] ppid=15407 vsize=11016544 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/15410/task/15468/stat : 15468 (java) S 15407 15410 12222 0 -1 1077944384 4962 13029 0 0 10 2 4 3 20 0 15 0 107004564 11280941056 608293 33554432000 4194304 4196468 140737022615488 139762264791152 139762771757698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15469] ppid=15407 vsize=11016544 memory=280748456684288 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15469/stat : 15469 (java) S 15407 15410 12222 0 -1 1077944384 19 13029 0 0 0 0 4 3 20 0 15 0 107004565 11280941056 608293 33554432000 4194304 4196468 140737022615488 139761658356640 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15470] ppid=15407 vsize=11016544 memory=1440 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15470/stat : 15470 (java) S 15407 15410 12222 0 -1 1077944384 13 13029 0 0 0 0 4 3 20 0 15 0 107004565 11280941056 608293 33554432000 4194304 4196468 140737022615488 139761457030272 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15471] ppid=15407 vsize=11016544 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15471/stat : 15471 (java) S 15407 15410 12222 0 -1 1077944384 3 13029 0 0 0 0 4 3 20 0 15 0 107004568 11280941056 608293 33554432000 4194304 4196468 140737022615488 139761149630544 139762771765147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15472] ppid=15407 vsize=11016544 memory=6791534058613427641 CPUtime=12.52 cores=1,3,5,7
/proc/15410/task/15472/stat : 15472 (java) S 15407 15410 12222 0 -1 1077944384 29579 13029 0 0 1242 3 4 3 20 0 15 0 107004568 11280941056 608293 33554432000 4194304 4196468 140737022615488 139762263738992 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15473] ppid=15407 vsize=11016544 memory=4100 CPUtime=13.18 cores=1,3,5,7
/proc/15410/task/15473/stat : 15473 (java) S 15407 15410 12222 0 -1 1077944384 37441 13029 0 0 1305 6 4 3 20 0 15 0 107004568 11280941056 608293 33554432000 4194304 4196468 140737022615488 139761739098608 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15474] ppid=15407 vsize=11016544 memory=4124 CPUtime=3.93 cores=1,3,5,7
/proc/15410/task/15474/stat : 15474 (java) S 15407 15410 12222 0 -1 1077944384 22121 13029 0 0 380 6 4 3 20 0 15 0 107004568 11280941056 608293 33554432000 4194304 4196468 140737022615488 139761738046320 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15475] ppid=15407 vsize=11016544 memory=2200 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15475/stat : 15475 (java) S 15407 15410 12222 0 -1 1077944384 3 13029 0 0 0 0 4 3 20 0 15 0 107004568 11280941056 608293 33554432000 4194304 4196468 140737022615488 139760718834656 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15476] ppid=15407 vsize=11016544 memory=1311 CPUtime=0.17 cores=1,3,5,7
/proc/15410/task/15476/stat : 15476 (java) S 15407 15410 12222 0 -1 1077944384 1228 13029 0 0 5 5 4 3 20 0 15 0 107004568 11280941056 608293 33554432000 4194304 4196468 140737022615488 139761736993200 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2433172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+218.342 s]
# the end of solver process 15410 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.282 s, system=1.81994 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+218.301 s]
/proc/loadavg: 1.64 1.73 1.82 3/216 15759
/proc/meminfo: memFree=20235684/32770624 swapFree=67108404/67108860
[pid=15410] ppid=15407 vsize=11016544 memory=2433172 CPUtime=252.02 cores=1,3,5,7
/proc/15410/stat : 15410 (java) S 15407 15410 12222 0 -1 1077944320 165388 13029 0 0 25020 175 4 3 20 0 15 0 107004553 11280941056 608293 33554432000 4194304 4196468 140737022615488 140737022598032 139762771746551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
/proc/15410/statm: 2754136 608293 3542 1 0 2715789 0
[pid=15410/tid=15463] ppid=15407 vsize=11016544 memory=2733792 CPUtime=216.52 cores=1,3,5,7
/proc/15410/task/15463/stat : 15463 (java) R 15407 15410 12222 0 -1 4202560 54557 13029 0 0 21607 38 4 3 20 0 15 0 107004562 11280941056 608293 33554432000 4194304 4196468 140737022615488 139762743582016 139762359879994 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15464] ppid=15407 vsize=11016544 memory=2534220 CPUtime=1.52 cores=1,3,5,7
/proc/15410/task/15464/stat : 15464 (java) S 15407 15410 12222 0 -1 1077944384 3526 13029 0 0 117 28 4 3 20 0 15 0 107004563 11280941056 608293 33554432000 4194304 4196468 140737022615488 139762775989136 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15465] ppid=15407 vsize=11016544 memory=2443416 CPUtime=1.49 cores=1,3,5,7
/proc/15410/task/15465/stat : 15465 (java) S 15407 15410 12222 0 -1 1077944384 4679 13029 0 0 114 28 4 3 20 0 15 0 107004563 11280941056 608293 33554432000 4194304 4196468 140737022615488 139762311338768 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15466] ppid=15407 vsize=11016544 memory=2443416 CPUtime=1.52 cores=1,3,5,7
/proc/15410/task/15466/stat : 15466 (java) S 15407 15410 12222 0 -1 1077944384 2150 13029 0 0 117 28 4 3 20 0 15 0 107004563 11280941056 608293 33554432000 4194304 4196468 140737022615488 139762310286480 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15467] ppid=15407 vsize=11016544 memory=2433172 CPUtime=1.5 cores=1,3,5,7
/proc/15410/task/15467/stat : 15467 (java) S 15407 15410 12222 0 -1 1077944384 2916 13029 0 0 115 28 4 3 20 0 15 0 107004563 11280941056 608293 33554432000 4194304 4196468 140737022615488 139762309233680 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15468] ppid=15407 vsize=11016544 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/15410/task/15468/stat : 15468 (java) S 15407 15410 12222 0 -1 1077944384 4962 13029 0 0 10 2 4 3 20 0 15 0 107004564 11280941056 608293 33554432000 4194304 4196468 140737022615488 139762264791152 139762771757698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15469] ppid=15407 vsize=11016544 memory=280748456684288 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15469/stat : 15469 (java) S 15407 15410 12222 0 -1 1077944384 19 13029 0 0 0 0 4 3 20 0 15 0 107004565 11280941056 608293 33554432000 4194304 4196468 140737022615488 139761658356640 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15470] ppid=15407 vsize=11016544 memory=1440 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15470/stat : 15470 (java) S 15407 15410 12222 0 -1 1077944384 13 13029 0 0 0 0 4 3 20 0 15 0 107004565 11280941056 608293 33554432000 4194304 4196468 140737022615488 139761457030272 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15471] ppid=15407 vsize=11016544 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15471/stat : 15471 (java) S 15407 15410 12222 0 -1 1077944384 3 13029 0 0 0 0 4 3 20 0 15 0 107004568 11280941056 608293 33554432000 4194304 4196468 140737022615488 139761149630544 139762771765147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15472] ppid=15407 vsize=11016544 memory=6791534058613427641 CPUtime=12.52 cores=1,3,5,7
/proc/15410/task/15472/stat : 15472 (java) S 15407 15410 12222 0 -1 1077944384 29579 13029 0 0 1242 3 4 3 20 0 15 0 107004568 11280941056 608293 33554432000 4194304 4196468 140737022615488 139762263738992 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15473] ppid=15407 vsize=11016544 memory=4100 CPUtime=13.18 cores=1,3,5,7
/proc/15410/task/15473/stat : 15473 (java) S 15407 15410 12222 0 -1 1077944384 37441 13029 0 0 1305 6 4 3 20 0 15 0 107004568 11280941056 608293 33554432000 4194304 4196468 140737022615488 139761739098608 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15474] ppid=15407 vsize=11016544 memory=4124 CPUtime=3.93 cores=1,3,5,7
/proc/15410/task/15474/stat : 15474 (java) S 15407 15410 12222 0 -1 1077944384 22121 13029 0 0 380 6 4 3 20 0 15 0 107004568 11280941056 608293 33554432000 4194304 4196468 140737022615488 139761738046320 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15475] ppid=15407 vsize=11016544 memory=2200 CPUtime=0.07 cores=1,3,5,7
/proc/15410/task/15475/stat : 15475 (java) S 15407 15410 12222 0 -1 1077944384 3 13029 0 0 0 0 4 3 20 0 15 0 107004568 11280941056 608293 33554432000 4194304 4196468 140737022615488 139760718834656 139762771756757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
[pid=15410/tid=15476] ppid=15407 vsize=11016544 memory=1311 CPUtime=0.17 cores=1,3,5,7
/proc/15410/task/15476/stat : 15476 (java) S 15407 15410 12222 0 -1 1077944384 1228 13029 0 0 5 5 4 3 20 0 15 0 107004568 11280941056 608293 33554432000 4194304 4196468 140737022615488 139761736993200 139762771757698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 6537216 140737022622313 140737022625121 140737022625121 140737022627791 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2433172 KiB
Child status: 143
Real time (s): 218.342
CPU time (s): 252.102
CPU user time (s): 250.282
CPU system time (s): 1.81994
CPU usage (%): 115.462
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 3023192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.282
system time used= 1.81994
maximum resident set size= 3027288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180274
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18486
involuntary context switches= 355
# summary of solver processes directly reported to runsolver:
# pid: 15410
# total CPU time (s): 252.102
# total CPU user time (s): 250.282
# total CPU system time (s): 1.81994
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.54201 second user time and 1.86187 second system time
The end