0.98/0.75 c Concrete v3.9.2.1532736233296 running
19.54/7.10 c 05:25:03.304 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25340. 'extension(x[1][7]=[0‥3], 3) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.54/7.10 c 05:25:03.313 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25370. 'extension(3, 3) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.85/7.11 c 05:25:03.314 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25395. 'extension(3, x[5][7]=[0‥3]) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.85/7.11 c 05:25:03.315 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25398. 'extension(3, 3) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.85/7.11 c 05:25:03.317 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25424. 'extension(x[3][9]=[0‥3], 3) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.85/7.11 c 05:25:03.319 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25453. 'extension(3, wk[9][0]=[0‥1]) :: init: true :: relation: MDD 1191372709, 4 edges, 3 vertices, 3 tuples
19.85/7.11 c 05:25:03.320 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25457. 'extension(3, 3) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.85/7.12 c 05:25:03.321 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25484. 'extension(3, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 436126678, 4 edges, 3 vertices, 3 tuples
19.85/7.12 c 05:25:03.321 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25485. 'extension(x[4][14]=[0‥3], 3) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
19.85/7.12 c 05:25:03.322 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25486. 'extension(3, x[6][14]=[0‥3]) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
19.85/7.12 c 05:25:03.324 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25515. 'extension(3, wk[9][0]=[0‥1]) :: init: true :: relation: MDD 1941639991, 4 edges, 3 vertices, 3 tuples
19.85/7.12 c 05:25:03.325 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25519. 'extension(3, 3) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.85/7.12 c 05:25:03.325 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25549. 'extension(3, 3) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.85/7.12 c 05:25:03.326 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25579. 'extension(3, 3) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.85/7.12 c 05:25:03.327 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25606. 'extension(x[7][13]=[0‥3], 3) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
19.85/7.12 c 05:25:03.327 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25607. 'extension(3, x[9][13]=[0‥3]) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
19.85/7.12 c 05:25:03.330 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25639. 'extension(3, 3) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.85/7.12 c 05:25:03.330 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25666. 'extension(x[8][20]=[0‥3], 3) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
19.85/7.13 c 05:25:03.332 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25695. 'extension(3, x[11][9]=[0‥3]) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.85/7.13 c 05:25:03.333 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25698. 'extension(3, 3) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.85/7.13 c 05:25:03.334 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25728. 'extension(3, 3) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
19.85/7.13 c 05:25:03.335 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25754. 'extension(x[10][7]=[0‥3], 3) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.85/7.13 c 05:25:03.335 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25755. 'extension(3, x[12][7]=[0‥3]) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.85/7.13 c 05:25:03.337 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25787. 'extension(3, 3) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
19.85/7.13 c 05:25:03.338 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25813. 'extension(3, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 801412408, 4 edges, 3 vertices, 3 tuples
19.85/7.13 c 05:25:03.339 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25814. 'extension(x[11][6]=[0‥3], 3) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.85/7.13 c 05:25:03.340 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25844. 'extension(3, wk[20][1]=[0‥1]) :: init: true :: relation: MDD 1831423452, 4 edges, 3 vertices, 3 tuples
19.85/7.13 c 05:25:03.340 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25848. 'extension(3, 3) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
19.85/7.13 c 05:25:03.341 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25874. 'extension(3, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 224286556, 4 edges, 3 vertices, 3 tuples
19.85/7.13 c 05:25:03.342 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25878. 'extension(3, 3) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.85/7.13 c 05:25:03.343 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25905. 'extension(3, wk[20][1]=[0‥1]) :: init: true :: relation: MDD 1354510873, 4 edges, 3 vertices, 3 tuples
19.85/7.13 c 05:25:03.343 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25906. 'extension(3, x[14][20]=[0‥3]) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
19.85/7.14 c 05:25:03.344 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25909. 'extension(3, 3) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
19.85/7.14 c 05:25:03.345 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25938. 'extension(3, 3) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.85/7.14 c 05:25:03.346 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25965. 'extension(x[13][9]=[0‥3], 3) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.85/7.14 c 05:25:03.346 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25966. 'extension(3, x[15][9]=[0‥3]) :: init: true :: relation: MDD 1746061516, 5 edges, 4 vertices, 3 tuples
19.85/7.14 c 05:25:03.348 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25995. 'extension(x[14][3]=[0‥3], 3) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.85/7.14 c 05:25:03.349 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26028. 'extension(3, 3) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.85/7.14 c 05:25:03.350 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26058. 'extension(3, 3) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.85/7.14 c 05:25:03.351 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26088. 'extension(3, 3) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.85/7.14 c 05:25:03.351 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26115. 'extension(x[15][21]=[0‥3], 3) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
19.85/7.14 c 05:25:03.352 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26116. 'extension(3, x[17][21]=[0‥3]) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
19.85/7.15 c 05:25:03.354 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26147. 'extension(3, 3) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.85/7.15 c 05:25:03.354 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26174. 'extension(x[16][5]=[0‥3], 3) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
19.85/7.15 c 05:25:03.355 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26207. 'extension(3, 3) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.85/7.15 c 05:25:03.356 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26237. 'extension(3, 3) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.85/7.15 c 05:25:03.357 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26264. 'extension(3, x[19][5]=[0‥3]) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
19.85/7.15 c 05:25:03.357 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26267. 'extension(3, 3) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
19.85/7.15 c 05:25:03.359 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26294. 'extension(3, x[19][6]=[0‥3]) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.85/7.15 c 05:25:03.359 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26297. 'extension(3, 3) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.85/7.15 c 05:25:03.360 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26324. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 1990720701, 4 edges, 3 vertices, 3 tuples
19.85/7.15 c 05:25:03.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26328. 'extension(3, 3) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.85/7.15 c 05:25:03.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26355. 'extension(3, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 2133325211, 4 edges, 3 vertices, 3 tuples
19.85/7.16 c 05:25:03.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26356. 'extension(x[18][12]=[0‥3], 3) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
19.85/7.16 c 05:25:03.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26386. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 2140635066, 4 edges, 3 vertices, 3 tuples
19.85/7.16 c 05:25:03.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26390. 'extension(3, 3) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.85/7.16 c 05:25:03.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26417. 'extension(3, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 417118375, 4 edges, 3 vertices, 3 tuples
19.85/7.16 c 05:25:03.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26418. 'extension(x[19][11]=[0‥3], 3) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
19.85/7.16 c 05:25:03.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26448. 'extension(3, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 1166021410, 4 edges, 3 vertices, 3 tuples
19.85/7.16 c 05:25:03.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26449. 'extension(3, x[21][12]=[0‥3]) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
19.85/7.16 c 05:25:03.366 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26452. 'extension(3, 3) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
19.85/7.16 c 05:25:03.368 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26482. 'extension(3, 3) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.85/7.16 c 05:25:03.368 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26512. 'extension(3, 3) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
19.85/7.16 c 05:25:03.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26539. 'extension(3, x[23][3]=[0‥3]) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.85/7.16 c 05:25:03.370 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26542. 'extension(3, 3) :: init: true :: relation: MDD 1393484427, 5 edges, 4 vertices, 3 tuples
19.85/7.16 c 05:25:03.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26569. 'extension(3, x[23][11]=[0‥3]) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
19.85/7.16 c 05:25:03.372 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26572. 'extension(3, 3) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
19.85/7.17 c 05:25:03.373 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26599. 'extension(x[22][1]=[0‥3], 3) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
19.85/7.17 c 05:25:03.373 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26600. 'extension(3, x[24][1]=[0‥3]) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
19.85/7.17 c 05:25:03.375 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26629. 'extension(x[22][4]=[0‥3], 3) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
19.85/7.17 c 05:25:03.376 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26662. 'extension(3, 3) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
19.85/7.17 c 05:25:03.377 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26692. 'extension(3, 3) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
19.85/7.17 c 05:25:03.378 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26719. 'extension(x[24][14]=[0‥3], 3) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
19.85/7.17 c 05:25:03.378 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26720. 'extension(3, x[26][14]=[0‥3]) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
19.85/7.17 c 05:25:03.380 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26749. 'extension(3, wk[4][3]=[0‥1]) :: init: true :: relation: MDD 1532989443, 4 edges, 3 vertices, 3 tuples
19.85/7.17 c 05:25:03.380 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26750. 'extension(3, x[27][4]=[0‥3]) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
19.85/7.17 c 05:25:03.381 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26753. 'extension(3, 3) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
19.85/7.17 c 05:25:03.382 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26780. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1178270318, 4 edges, 3 vertices, 3 tuples
19.85/7.17 c 05:25:03.382 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26781. 'extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
19.85/7.18 c 05:25:03.384 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26811. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 2093834526, 4 edges, 3 vertices, 3 tuples
19.85/7.18 c 05:25:03.384 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26815. 'extension(3, 3) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
19.85/7.18 c 05:25:03.385 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26845. 'extension(3, 3) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
19.85/7.18 c 05:25:03.385 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26875. 'extension(3, 3) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
19.85/7.18 c 05:25:03.386 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26902. 'extension(x[29][7]=[0‥3], 3) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.85/7.18 c 05:25:03.387 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26903. 'extension(3, x[31][7]=[0‥3]) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.388 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26932. 'extension(x[29][8]=[0‥3], 3) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.389 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26965. 'extension(3, 3) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.390 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26992. 'extension(x[30][0]=[0‥3], 3) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27022. 'extension(x[30][6]=[0‥3], 3) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27023. 'extension(3, x[32][6]=[0‥3]) :: init: true :: relation: MDD 1332104174, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.393 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27055. 'extension(3, 3) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.393 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27085. 'extension(3, 3) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.394 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27112. 'extension(x[30][18]=[0‥3], 3) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.395 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27144. 'extension(3, 3) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.395 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27174. 'extension(3, 3) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.396 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27201. 'extension(x[31][15]=[0‥3], 3) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.396 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27202. 'extension(3, x[33][15]=[0‥3]) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.398 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27234. 'extension(3, 3) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.398 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27264. 'extension(3, 3) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.399 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27290. 'extension(x[31][19]=[0‥3], 3) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.399 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27291. 'extension(3, x[33][19]=[0‥3]) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27319. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 425842522, 4 edges, 3 vertices, 3 tuples
19.85/7.19 c 05:25:03.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27323. 'extension(3, 3) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
19.85/7.19 c 05:25:03.402 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27350. 'extension(3, wk[1][4]=[0‥1]) :: init: true :: relation: MDD 1869400026, 4 edges, 3 vertices, 3 tuples
19.85/7.19 c 05:25:03.402 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27351. 'extension(x[32][1]=[0‥3], 3) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
20.16/7.20 c 05:25:03.402 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27352. 'extension(3, x[34][1]=[0‥3]) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
20.16/7.20 c 05:25:03.404 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27381. 'extension(3, wk[8][4]=[0‥1]) :: init: true :: relation: MDD 2146372416, 4 edges, 3 vertices, 3 tuples
20.16/7.20 c 05:25:03.404 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27385. 'extension(3, 3) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
20.16/7.20 c 05:25:03.404 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27412. 'extension(3, wk[17][4]=[0‥1]) :: init: true :: relation: MDD 1547521797, 4 edges, 3 vertices, 3 tuples
20.16/7.20 c 05:25:03.405 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27413. 'extension(3, x[34][17]=[0‥3]) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
20.16/7.20 c 05:25:03.405 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27416. 'extension(3, 3) :: init: true :: relation: MDD 154923232, 5 edges, 4 vertices, 3 tuples
20.16/7.20 c 05:25:03.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27443. 'extension(3, wk[18][4]=[0‥1]) :: init: true :: relation: MDD 1357663228, 4 edges, 3 vertices, 3 tuples
20.16/7.20 c 05:25:03.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27447. 'extension(3, 3) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
20.16/7.20 c 05:25:03.408 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27473. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 65168514, 4 edges, 3 vertices, 3 tuples
20.16/7.20 c 05:25:03.408 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27477. 'extension(3, 3) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
20.16/7.20 c 05:25:03.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27504. 'extension(3, wk[8][4]=[0‥1]) :: init: true :: relation: MDD 435167872, 4 edges, 3 vertices, 3 tuples
20.16/7.20 c 05:25:03.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27508. 'extension(3, 3) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
20.16/7.20 c 05:25:03.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27535. 'extension(3, wk[18][4]=[0‥1]) :: init: true :: relation: MDD 677007331, 4 edges, 3 vertices, 3 tuples
20.16/7.20 c 05:25:03.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27539. 'extension(3, 3) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
20.16/7.20 c 05:25:03.410 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27568. 'extension(3, 3) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
20.16/7.20 c 05:25:03.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27598. 'extension(3, 3) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
20.16/7.20 c 05:25:03.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27628. 'extension(3, 3) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
20.16/7.20 c 05:25:03.412 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27657. 'extension(3, 3) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
20.16/7.21 c 05:25:03.412 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27687. 'extension(3, 3) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
20.16/7.21 c 05:25:03.412 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27717. 'extension(3, 3) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
20.16/7.21 c 05:25:03.413 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27746. 'extension(3, 3) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
20.16/7.21 c 05:25:03.414 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27773. 'extension(x[36][5]=[0‥3], 3) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
20.16/7.21 c 05:25:03.415 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27803. 'extension(3, x[38][8]=[0‥3]) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
20.16/7.21 c 05:25:03.415 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27806. 'extension(3, 3) :: init: true :: relation: MDD 5998675, 5 edges, 4 vertices, 3 tuples
20.16/7.21 c 05:25:03.416 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27833. 'extension(x[36][10]=[0‥3], 3) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
20.16/7.21 c 05:25:03.417 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27866. 'extension(3, 3) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
20.16/7.21 c 05:25:03.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27892. 'extension(3, x[39][0]=[0‥3]) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
20.16/7.21 c 05:25:03.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27895. 'extension(3, 3) :: init: true :: relation: MDD 282166934, 5 edges, 4 vertices, 3 tuples
20.16/7.22 c 05:25:03.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27922. 'extension(x[37][1]=[0‥3], 3) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
20.16/7.22 c 05:25:03.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27955. 'extension(3, 3) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
20.16/7.22 c 05:25:03.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27985. 'extension(3, 3) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
20.16/7.22 c 05:25:03.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28012. 'extension(x[37][12]=[0‥3], 3) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
20.16/7.22 c 05:25:03.426 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28042. 'extension(3, x[39][18]=[0‥3]) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
20.16/7.22 c 05:25:03.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28045. 'extension(3, 3) :: init: true :: relation: MDD 1803976423, 5 edges, 4 vertices, 3 tuples
20.16/7.22 c 05:25:03.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28074. 'extension(3, 3) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
20.16/7.22 c 05:25:03.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28104. 'extension(3, 3) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
20.16/7.22 c 05:25:03.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28134. 'extension(3, 3) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
20.16/7.22 c 05:25:03.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28164. 'extension(3, 3) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
20.16/7.22 c 05:25:03.430 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28191. 'extension(x[38][19]=[0‥3], 3) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
20.16/7.22 c 05:25:03.431 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28220. 'extension(3, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 1572582034, 4 edges, 3 vertices, 3 tuples
20.16/7.23 c 05:25:03.431 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28224. 'extension(3, 3) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
20.16/7.23 c 05:25:03.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28251. 'extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 1918203718, 4 edges, 3 vertices, 3 tuples
20.16/7.23 c 05:25:03.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28252. 'extension(3, x[41][5]=[0‥3]) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
20.16/7.23 c 05:25:03.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28255. 'extension(3, 3) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
20.16/7.23 c 05:25:03.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28282. 'extension(3, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 1777163938, 4 edges, 3 vertices, 3 tuples
20.16/7.23 c 05:25:03.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28286. 'extension(3, 3) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
20.16/7.23 c 05:25:03.434 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28313. 'extension(3, wk[12][5]=[0‥1]) :: init: true :: relation: MDD 1243705012, 4 edges, 3 vertices, 3 tuples
20.16/7.23 c 05:25:03.434 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28314. 'extension(3, x[41][12]=[0‥3]) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
20.16/7.23 c 05:25:03.434 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28317. 'extension(3, 3) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
20.16/7.23 c 05:25:03.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28344. 'extension(3, wk[19][5]=[0‥1]) :: init: true :: relation: MDD 140778365, 4 edges, 3 vertices, 3 tuples
20.16/7.23 c 05:25:03.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28348. 'extension(3, 3) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
20.16/7.23 c 05:25:03.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28374. 'extension(3, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 1448780972, 4 edges, 3 vertices, 3 tuples
20.16/7.23 c 05:25:03.437 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28375. 'extension(3, x[42][1]=[0‥3]) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
20.16/7.23 c 05:25:03.437 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28378. 'extension(3, 3) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
20.16/7.23 c 05:25:03.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28405. 'extension(3, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 1592618491, 4 edges, 3 vertices, 3 tuples
20.16/7.23 c 05:25:03.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28406. 'extension(3, x[42][10]=[0‥3]) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
20.16/7.23 c 05:25:03.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28409. 'extension(3, 3) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
20.16/7.23 c 05:25:03.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28436. 'extension(3, wk[19][5]=[0‥1]) :: init: true :: relation: MDD 1068781783, 4 edges, 3 vertices, 3 tuples
20.16/7.23 c 05:25:03.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28437. 'extension(3, x[42][19]=[0‥3]) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
20.16/7.23 c 05:25:03.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28440. 'extension(3, 3) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
20.16/7.23 c 05:25:03.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28466. 'extension(x[41][11]=[0‥3], 3) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
20.16/7.23 c 05:25:03.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28499. 'extension(3, 3) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
20.16/7.23 c 05:25:03.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28529. 'extension(3, 3) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
20.16/7.24 c 05:25:03.444 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28559. 'extension(3, 3) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
20.16/7.24 c 05:25:03.445 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28586. 'extension(3, x[47][11]=[0‥3]) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
20.16/7.24 c 05:25:03.445 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28589. 'extension(3, 3) :: init: true :: relation: MDD 1094167216, 5 edges, 4 vertices, 3 tuples
20.16/7.24 c 05:25:03.446 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28616. 'extension(x[45][21]=[0‥3], 3) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.447 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28645. 'extension(3, wk[21][6]=[0‥1]) :: init: true :: relation: MDD 977952572, 4 edges, 3 vertices, 3 tuples
20.16/7.25 c 05:25:03.447 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28649. 'extension(3, 3) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.448 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28675. 'extension(3, wk[20][6]=[0‥1]) :: init: true :: relation: MDD 1244394767, 4 edges, 3 vertices, 3 tuples
20.16/7.25 c 05:25:03.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28676. 'extension(x[47][20]=[0‥3], 3) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28705. 'extension(3, wk[21][6]=[0‥1]) :: init: true :: relation: MDD 1483522397, 4 edges, 3 vertices, 3 tuples
20.16/7.25 c 05:25:03.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28709. 'extension(3, 3) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.450 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28735. 'extension(x[48][7]=[0‥3], 3) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.451 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28765. 'extension(x[48][14]=[0‥3], 3) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.451 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28798. 'extension(3, 3) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28827. 'extension(3, 3) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28856. 'extension(3, 3) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.453 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28886. 'extension(3, 3) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28913. 'extension(3, x[51][20]=[0‥3]) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28916. 'extension(3, 3) :: init: true :: relation: MDD 542475071, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.455 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28945. 'extension(3, 3) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.456 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28971. 'extension(3, x[52][7]=[0‥3]) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.456 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28974. 'extension(3, 3) :: init: true :: relation: MDD 1340769295, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.458 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29004. 'extension(3, 3) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.458 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29034. 'extension(3, 3) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.459 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29060. 'extension(x[51][12]=[0‥3], 3) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.459 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29090. 'extension(x[51][13]=[0‥3], 3) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.460 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29123. 'extension(3, 3) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29150. 'extension(x[51][19]=[0‥3], 3) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29179. 'extension(3, x[53][21]=[0‥3]) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
20.16/7.25 c 05:25:03.462 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29182. 'extension(3, 3) :: init: true :: relation: MDD 339734447, 5 edges, 4 vertices, 3 tuples
20.16/7.26 c 05:25:03.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29211. 'extension(3, 3) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
20.16/7.26 c 05:25:03.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29241. 'extension(3, 3) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
20.16/7.26 c 05:25:03.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29271. 'extension(3, 3) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
20.16/7.26 c 05:25:03.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29298. 'extension(x[52][16]=[0‥3], 3) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
20.16/7.26 c 05:25:03.465 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29331. 'extension(3, 3) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
20.16/7.26 c 05:25:03.466 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29357. 'extension(3, wk[12][7]=[0‥1]) :: init: true :: relation: MDD 1479446866, 4 edges, 3 vertices, 3 tuples
20.16/7.26 c 05:25:03.466 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29358. 'extension(3, x[55][12]=[0‥3]) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
20.16/7.26 c 05:25:03.466 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29361. 'extension(3, 3) :: init: true :: relation: MDD 1538844412, 5 edges, 4 vertices, 3 tuples
20.16/7.26 c 05:25:03.468 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29388. 'extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 1130250604, 4 edges, 3 vertices, 3 tuples
20.16/7.26 c 05:25:03.468 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29392. 'extension(3, 3) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
20.16/7.26 c 05:25:03.468 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29419. 'extension(3, wk[14][7]=[0‥1]) :: init: true :: relation: MDD 2134639513, 4 edges, 3 vertices, 3 tuples
20.16/7.26 c 05:25:03.468 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29420. 'extension(3, x[55][14]=[0‥3]) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
20.16/7.26 c 05:25:03.469 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29423. 'extension(3, 3) :: init: true :: relation: MDD 1531506932, 5 edges, 4 vertices, 3 tuples
20.16/7.26 c 05:25:03.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29450. 'extension(3, wk[16][7]=[0‥1]) :: init: true :: relation: MDD 2086177500, 4 edges, 3 vertices, 3 tuples
20.16/7.26 c 05:25:03.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29454. 'extension(3, 3) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
20.16/7.26 c 05:25:03.471 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29481. 'extension(3, wk[19][7]=[0‥1]) :: init: true :: relation: MDD 1620368915, 4 edges, 3 vertices, 3 tuples
20.16/7.26 c 05:25:03.471 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29485. 'extension(3, 3) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
20.16/7.26 c 05:25:03.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29511. 'extension(3, wk[2][7]=[0‥1]) :: init: true :: relation: MDD 1198973449, 4 edges, 3 vertices, 3 tuples
20.16/7.26 c 05:25:03.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29512. 'extension(x[54][2]=[0‥3], 3) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
20.16/7.26 c 05:25:03.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29542. 'extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 1257058590, 4 edges, 3 vertices, 3 tuples
20.16/7.26 c 05:25:03.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29543. 'extension(3, x[56][13]=[0‥3]) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
20.16/7.26 c 05:25:03.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29546. 'extension(3, 3) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
20.16/7.27 c 05:25:03.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29573. 'extension(3, wk[16][7]=[0‥1]) :: init: true :: relation: MDD 1500020749, 4 edges, 3 vertices, 3 tuples
20.16/7.27 c 05:25:03.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29577. 'extension(3, 3) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
20.16/7.27 c 05:25:03.475 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29604. 'extension(3, wk[19][7]=[0‥1]) :: init: true :: relation: MDD 65465460, 4 edges, 3 vertices, 3 tuples
20.16/7.27 c 05:25:03.475 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29605. 'extension(3, x[56][19]=[0‥3]) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
20.16/7.27 c 05:25:03.475 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29608. 'extension(3, 3) :: init: true :: relation: MDD 1572516402, 5 edges, 4 vertices, 3 tuples
20.16/7.27 c 05:25:03.476 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29634. 'extension(x[55][1]=[0‥3], 3) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
20.16/7.27 c 05:25:03.477 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29635. 'extension(3, x[57][1]=[0‥3]) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
20.16/7.27 c 05:25:03.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29667. 'extension(3, 3) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
20.16/7.27 c 05:25:03.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29697. 'extension(3, 3) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
20.16/7.27 c 05:25:03.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29727. 'extension(3, 3) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
20.16/7.27 c 05:25:03.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29754. 'extension(x[56][15]=[0‥3], 3) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
20.16/7.27 c 05:25:03.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29784. 'extension(3, x[58][16]=[0‥3]) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
20.16/7.27 c 05:25:03.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29787. 'extension(3, 3) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
20.16/7.27 c 05:25:03.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29817. 'extension(3, 3) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
20.16/7.27 c 05:25:03.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29847. 'extension(3, 3) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
20.16/7.27 c 05:25:03.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29877. 'extension(3, 3) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
20.16/7.27 c 05:25:03.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29904. 'extension(3, x[60][15]=[0‥3]) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
20.16/7.28 c 05:25:03.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29907. 'extension(3, 3) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
20.16/7.28 c 05:25:03.484 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29937. 'extension(3, 3) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
20.16/7.28 c 05:25:03.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29964. 'extension(x[59][5]=[0‥3], 3) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
20.16/7.28 c 05:25:03.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29965. 'extension(3, x[61][5]=[0‥3]) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
20.16/7.28 c 05:25:03.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29994. 'extension(3, wk[1][8]=[0‥1]) :: init: true :: relation: MDD 741431520, 4 edges, 3 vertices, 3 tuples
20.16/7.28 c 05:25:03.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29995. 'extension(x[60][1]=[0‥3], 3) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
20.16/7.28 c 05:25:03.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29996. 'extension(3, x[62][1]=[0‥3]) :: init: true :: relation: MDD 1041552272, 5 edges, 4 vertices, 3 tuples
20.16/7.28 c 05:25:03.489 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30025. 'extension(3, wk[2][8]=[0‥1]) :: init: true :: relation: MDD 525558913, 4 edges, 3 vertices, 3 tuples
20.16/7.28 c 05:25:03.489 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30026. 'extension(3, x[62][2]=[0‥3]) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
20.16/7.28 c 05:25:03.490 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30029. 'extension(3, 3) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
20.16/7.28 c 05:25:03.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30056. 'extension(x[62][4]=[0‥3], 3) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
20.16/7.28 c 05:25:03.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30057. 'extension(3, x[64][4]=[0‥3]) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
20.16/7.28 c 05:25:03.493 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30086. 'extension(x[65][16]=[0‥3], 3) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
20.16/7.29 c 05:25:03.493 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30087. 'extension(3, x[67][16]=[0‥3]) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
20.16/7.29 c 05:25:03.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30116. 'extension(x[66][4]=[0‥3], 3) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
20.16/7.29 c 05:25:03.496 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30146. 'extension(3, wk[4][9]=[0‥1]) :: init: true :: relation: MDD 424743902, 4 edges, 3 vertices, 3 tuples
20.16/7.29 c 05:25:03.496 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30147. 'extension(3, x[69][4]=[0‥3]) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
20.16/7.29 c 05:25:03.496 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30150. 'extension(3, 3) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
20.16/7.29 c 05:25:03.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30177. 'extension(3, wk[13][9]=[0‥1]) :: init: true :: relation: MDD 687608114, 4 edges, 3 vertices, 3 tuples
20.16/7.29 c 05:25:03.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30178. 'extension(x[68][13]=[0‥3], 3) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
20.16/7.29 c 05:25:03.499 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30211. 'extension(3, 3) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
20.16/7.29 c 05:25:03.499 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30238. 'extension(x[69][15]=[0‥3], 3) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
20.16/7.29 c 05:25:03.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30268. 'extension(3, x[72][13]=[0‥3]) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
20.16/7.29 c 05:25:03.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30271. 'extension(3, 3) :: init: true :: relation: MDD 1751972013, 5 edges, 4 vertices, 3 tuples
20.16/7.29 c 05:25:03.502 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30301. 'extension(3, 3) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
20.16/7.29 c 05:25:03.503 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30331. 'extension(3, 3) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
20.16/7.30 c 05:25:03.503 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30358. 'extension(3, x[74][15]=[0‥3]) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
20.16/7.30 c 05:25:03.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30361. 'extension(3, 3) :: init: true :: relation: MDD 669812564, 5 edges, 4 vertices, 3 tuples
20.16/7.30 c 05:25:03.505 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30388. 'extension(3, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 799692219, 4 edges, 3 vertices, 3 tuples
20.51/7.30 c 05:25:03.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30389. 'extension(x[74][10]=[0‥3], 3) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
20.51/7.30 c 05:25:03.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30419. 'extension(3, wk[2][10]=[0‥1]) :: init: true :: relation: MDD 444380068, 4 edges, 3 vertices, 3 tuples
20.51/7.30 c 05:25:03.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30420. 'extension(x[75][2]=[0‥3], 3) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
20.51/7.30 c 05:25:03.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30421. 'extension(3, x[77][2]=[0‥3]) :: init: true :: relation: MDD 833298023, 5 edges, 4 vertices, 3 tuples
20.51/7.30 c 05:25:03.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30450. 'extension(3, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 1562221939, 4 edges, 3 vertices, 3 tuples
20.51/7.30 c 05:25:03.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30454. 'extension(3, 3) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
20.51/7.30 c 05:25:03.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30481. 'extension(3, x[78][10]=[0‥3]) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
20.51/7.30 c 05:25:03.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30484. 'extension(3, 3) :: init: true :: relation: MDD 2039783633, 5 edges, 4 vertices, 3 tuples
20.51/7.30 c 05:25:03.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30511. 'extension(x[77][4]=[0‥3], 3) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
20.51/7.30 c 05:25:03.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30512. 'extension(3, x[79][4]=[0‥3]) :: init: true :: relation: MDD 1137180298, 5 edges, 4 vertices, 3 tuples
20.51/7.31 c 05:25:03.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30541. 'extension(x[77][16]=[0‥3], 3) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
20.51/7.31 c 05:25:03.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30571. 'extension(3, x[80][16]=[0‥3]) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
20.51/7.31 c 05:25:03.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30574. 'extension(3, 3) :: init: true :: relation: MDD 560734926, 5 edges, 4 vertices, 3 tuples
20.51/7.31 c 05:25:03.516 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30600. 'extension(x[80][5]=[0‥3], 3) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
20.51/7.31 c 05:25:03.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30601. 'extension(3, x[82][5]=[0‥3]) :: init: true :: relation: MDD 394645908, 5 edges, 4 vertices, 3 tuples
20.51/7.32 c 05:25:03.524 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30672. 'extension(x[1][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30682. 'extension(x[5][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.526 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30692. 'extension(x[3][9]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.526 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30698. 'extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.526 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30704. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.526 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30706. 'extension(x[4][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30708. 'extension(x[6][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30722. 'extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30724. 'extension(x[7][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30726. 'extension(x[9][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30740. 'extension(x[8][20]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30746. 'extension(x[11][9]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30760. 'extension(x[10][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30762. 'extension(x[12][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30776. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30778. 'extension(x[11][6]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30784. 'extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30786. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30792. 'extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30794. 'extension(x[14][20]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30804. 'extension(x[13][9]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30806. 'extension(x[15][9]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.32 c 05:25:03.533 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30820. 'extension(x[14][3]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30830. 'extension(x[15][21]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30832. 'extension(x[17][21]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30846. 'extension(x[16][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30852. 'extension(x[19][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30866. 'extension(x[19][6]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30876. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30878. 'extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30880. 'extension(x[18][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30886. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30888. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30890. 'extension(x[19][11]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30896. 'extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30898. 'extension(x[21][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.538 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30916. 'extension(x[23][3]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30926. 'extension(x[23][11]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30936. 'extension(x[22][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30938. 'extension(x[24][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.33 c 05:25:03.540 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30952. 'extension(x[22][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.34 c 05:25:03.540 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30962. 'extension(x[24][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.34 c 05:25:03.541 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30964. 'extension(x[26][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.34 c 05:25:03.541 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30978. 'extension(wk[4][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.34 c 05:25:03.541 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30980. 'extension(x[27][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.34 c 05:25:03.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30990. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.34 c 05:25:03.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30992. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.34 c 05:25:03.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30998. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.34 c 05:25:03.543 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31004. 'extension(x[29][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.34 c 05:25:03.543 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31006. 'extension(x[31][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.34 c 05:25:03.543 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31020. 'extension(x[29][8]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.34 c 05:25:03.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31026. 'extension(x[30][0]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31032. 'extension(x[30][6]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31034. 'extension(x[32][6]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.545 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31052. 'extension(x[30][18]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31062. 'extension(x[31][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31064. 'extension(x[33][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.547 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31082. 'extension(x[31][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.547 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31084. 'extension(x[33][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.547 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31098. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.548 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31100. 'extension(wk[1][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.548 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31102. 'extension(x[32][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.548 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31104. 'extension(x[34][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.548 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31118. 'extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31120. 'extension(wk[17][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31122. 'extension(x[34][17]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31132. 'extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31134. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.550 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31136. 'extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.550 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31138. 'extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.550 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31140. 'extension(x[36][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.550 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31146. 'extension(x[38][8]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.551 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31156. 'extension(x[36][10]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.551 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31162. 'extension(x[39][0]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.551 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31172. 'extension(x[37][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.552 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31186. 'extension(x[37][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.552 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31192. 'extension(x[39][18]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.553 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31210. 'extension(x[38][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.553 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31216. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31218. 'extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31220. 'extension(x[41][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31230. 'extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31232. 'extension(wk[12][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31234. 'extension(x[41][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.555 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31244. 'extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.555 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31250. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.556 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31252. 'extension(x[42][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.556 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31262. 'extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.556 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31264. 'extension(x[42][10]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.557 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31274. 'extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.557 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31276. 'extension(x[42][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.557 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31286. 'extension(x[41][11]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.558 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31296. 'extension(x[47][11]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.558 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31306. 'extension(x[45][21]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.558 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31312. 'extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31318. 'extension(wk[20][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31320. 'extension(x[47][20]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31326. 'extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31328. 'extension(x[48][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.560 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31334. 'extension(x[48][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.35 c 05:25:03.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31352. 'extension(x[51][20]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31362. 'extension(x[52][7]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31372. 'extension(x[51][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31378. 'extension(x[51][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31384. 'extension(x[51][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.563 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31390. 'extension(x[53][21]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.563 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31408. 'extension(x[52][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.564 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31418. 'extension(wk[12][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.564 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31420. 'extension(x[55][12]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.564 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31430. 'extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.564 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31432. 'extension(wk[14][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31434. 'extension(x[55][14]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31444. 'extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31450. 'extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31452. 'extension(wk[2][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.566 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31454. 'extension(x[54][2]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.566 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31460. 'extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.566 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31462. 'extension(x[56][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31472. 'extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31474. 'extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31476. 'extension(x[56][19]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31486. 'extension(x[55][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.568 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31488. 'extension(x[57][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.568 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31506. 'extension(x[56][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.569 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31512. 'extension(x[58][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.569 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31526. 'extension(x[60][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.36 c 05:25:03.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31536. 'extension(x[59][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31538. 'extension(x[61][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31552. 'extension(wk[1][8]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31554. 'extension(x[60][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31556. 'extension(x[62][1]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31570. 'extension(wk[2][8]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.572 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31572. 'extension(x[62][2]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.572 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31582. 'extension(x[62][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.572 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31584. 'extension(x[64][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.573 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31598. 'extension(x[65][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.573 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31600. 'extension(x[67][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.574 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31614. 'extension(x[66][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.574 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31620. 'extension(wk[4][9]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.574 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31622. 'extension(x[69][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.575 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31636. 'extension(wk[13][9]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.575 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31638. 'extension(x[68][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.575 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31648. 'extension(x[69][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.576 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31654. 'extension(x[72][13]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.576 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31668. 'extension(x[74][15]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.577 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31678. 'extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.577 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31680. 'extension(x[74][10]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.577 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31686. 'extension(wk[2][10]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.578 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31688. 'extension(x[75][2]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.578 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31690. 'extension(x[77][2]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.578 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31704. 'extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.579 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31710. 'extension(x[78][10]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.579 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31720. 'extension(x[77][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.579 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31722. 'extension(x[79][4]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.580 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31736. 'extension(x[77][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.580 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31742. 'extension(x[80][16]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.581 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31756. 'extension(x[80][5]=[0‥3]) :: init: true :: relation: Empty MDD
20.51/7.37 c 05:25:03.581 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31758. 'extension(x[82][5]=[0‥3]) :: init: true :: relation: Empty MDD
2520.08/2447.61 Exception in thread "main" java.util.concurrent.TimeoutException
2520.08/2447.61 at concrete.MAC.mac(MAC.scala:188)
2520.08/2447.61 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.08/2447.61 at scala.util.Try$.apply(Try.scala:209)
2520.08/2447.61 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.08/2447.61 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.08/2447.61 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.08/2447.61 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.08/2447.61 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.08/2447.61 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.08/2447.61 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.08/2447.61 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.08/2447.61 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.08/2447.61 at concrete.MAC.oneRun(MAC.scala:253)
2520.08/2447.61 at concrete.MAC.nextSolution(MAC.scala:272)
2520.08/2447.61 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.08/2447.61 at concrete.ProblemState.map(ProblemState.scala:221)
2520.08/2447.61 at concrete.ProblemState.map(ProblemState.scala:204)
2520.08/2447.61 at concrete.MAC.nextSolution(MAC.scala:334)
2520.08/2447.61 at concrete.Solver.hasNext(Solver.scala:166)
2520.08/2447.61 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.08/2447.61 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.08/2447.61 at concrete.Solver.foreach(Solver.scala:68)
2520.08/2447.61 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.08/2447.61 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.08/2447.61 at scala.util.Success.map(Try.scala:209)
2520.08/2447.61 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.08/2447.61 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.08/2447.61 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.08/2447.61 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.08/2447.61 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.08/2447.61 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.08/2447.61 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.08/2447.61 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.08/2447.61 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.08/2447.61 at scala.collection.immutable.List.foreach(List.scala:389)
2520.08/2447.61 at scala.App.main(App.scala:76)
2520.08/2447.61 at scala.App.main$(App.scala:74)
2520.08/2447.61 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.08/2447.61 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.08/2447.61 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 (12875 MiB free)
memory of node 1: 16384 MiB (9947 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304180-1534044296/watcher-4304180-1534044296 -o /tmp/evaluation-result-4304180-1534044296/solver-4304180-1534044296 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534039308-11488 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=55375157 -superng HOME/instance-4304180-1534044296.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12530, runsolver pid=12527
Current StackSize limit: 8192 KiB
[startup+0.100167 s]*
/proc/loadavg: 1.81 1.37 1.40 3/203 12579
/proc/meminfo: memFree=23368680/32770624 swapFree=67108860/67108860
[pid=12530] ppid=12527 vsize=173956 memory=5408 CPUtime=0.08 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12527 12530 10336 0 -1 1077944320 2515 13029 0 0 0 0 5 3 20 0 2 0 221992754 178130944 1352 33554432000 4194304 4196468 140729434547264 140729434529808 140426630561527 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
/proc/12530/statm: 43497 1352 1021 1 0 32947 0
[pid=12530/tid=12583] ppid=12527 vsize=173956 memory=3054156605402284428 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12583/stat : 12583 (java) R 12527 12530 10336 0 -1 1077944384 336 13029 0 0 0 0 5 3 20 0 2 0 221992765 178130944 1393 33554432000 4194304 4196468 140729434547264 140426602396904 140426632836807 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 173956 KiB
Current children cumulated memory: 5408 KiB
[startup+0.209992 s]*
/proc/loadavg: 1.81 1.37 1.40 4/215 12596
/proc/meminfo: memFree=23343324/32770624 swapFree=67108860/67108860
[pid=12530] ppid=12527 vsize=10982744 memory=39292 CPUtime=0.24 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12527 12530 10336 0 -1 1077944320 6642 13029 0 0 15 1 5 3 20 0 15 0 221992754 11246329856 9823 33554432000 4194304 4196468 140729434547264 140729434529808 140426630561527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
/proc/12530/statm: 2745686 9823 2944 1 0 2708109 0
[pid=12530/tid=12583] ppid=12527 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/12530/task/12583/stat : 12583 (java) R 12527 12530 10336 0 -1 4202560 3187 13029 0 0 9 1 5 3 20 0 15 0 221992765 11246329856 9823 33554432000 4194304 4196468 140729434547264 140426602361440 140426610837402 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12584] ppid=12527 vsize=10982744 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12584/stat : 12584 (java) S 12527 12530 10336 0 -1 1077944384 1 13029 0 0 0 0 5 3 20 0 15 0 221992765 11246329856 9823 33554432000 4194304 4196468 140729434547264 140426634804112 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12585] ppid=12527 vsize=10982744 memory=140165284574305 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12585/stat : 12585 (java) S 12527 12530 10336 0 -1 1077944384 1 13029 0 0 0 0 5 3 20 0 15 0 221992765 11246329856 9823 33554432000 4194304 4196468 140729434547264 140426516069136 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12586] ppid=12527 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12586/stat : 12586 (java) S 12527 12530 10336 0 -1 1077944384 1 13029 0 0 0 0 5 3 20 0 15 0 221992765 11246329856 9823 33554432000 4194304 4196468 140729434547264 140426515016848 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12587] ppid=12527 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12587/stat : 12587 (java) S 12527 12530 10336 0 -1 1077944384 2 13029 0 0 0 0 5 3 20 0 15 0 221992765 11246329856 9823 33554432000 4194304 4196468 140729434547264 140426513964048 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12588] ppid=12527 vsize=10982744 memory=140165284562560 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12588/stat : 12588 (java) S 12527 12530 10336 0 -1 1077944384 2 13029 0 0 0 0 5 3 20 0 15 0 221992767 11246329856 9823 33554432000 4194304 4196468 140729434547264 140426123614320 140426630572674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12589] ppid=12527 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12589/stat : 12589 (java) S 12527 12530 10336 0 -1 1077944384 13 13029 0 0 0 0 5 3 20 0 15 0 221992767 11246329856 9823 33554432000 4194304 4196468 140729434547264 140425432130336 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12590] ppid=12527 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12590/stat : 12590 (java) S 12527 12530 10336 0 -1 1077944384 21 13029 0 0 0 0 5 3 20 0 15 0 221992768 11246329856 9823 33554432000 4194304 4196468 140729434547264 140425365017712 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12591] ppid=12527 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12591/stat : 12591 (java) S 12527 12530 10336 0 -1 1077944384 3 13029 0 0 0 0 5 3 20 0 15 0 221992770 11246329856 9823 33554432000 4194304 4196468 140729434547264 140425057622096 140426630580123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12592] ppid=12527 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12530/task/12592/stat : 12592 (java) S 12527 12530 10336 0 -1 1077944384 377 13029 0 0 1 0 5 3 20 0 15 0 221992770 11246329856 9823 33554432000 4194304 4196468 140729434547264 140426122562160 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12593] ppid=12527 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12593/stat : 12593 (java) S 12527 12530 10336 0 -1 1077944384 251 13029 0 0 0 0 5 3 20 0 15 0 221992770 11246329856 9823 33554432000 4194304 4196468 140729434547264 140426121509360 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12594] ppid=12527 vsize=10982744 memory=140165284562560 CPUtime=0.11 cores=0,2,4,6
/proc/12530/task/12594/stat : 12594 (java) R 12527 12530 10336 0 -1 4202560 589 13029 0 0 3 0 5 3 20 0 15 0 221992770 11246329856 9823 33554432000 4194304 4196468 140729434547264 140426120457072 140426609242903 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12595] ppid=12527 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12595/stat : 12595 (java) S 12527 12530 10336 0 -1 1077944384 3 13029 0 0 0 0 5 3 20 0 15 0 221992770 11246329856 9823 33554432000 4194304 4196468 140729434547264 140424626826208 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12596] ppid=12527 vsize=10982744 memory=140165284562560 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12596/stat : 12596 (java) S 12527 12530 10336 0 -1 1077944384 1 13029 0 0 0 0 5 3 20 0 15 0 221992771 11246329856 9823 33554432000 4194304 4196468 140729434547264 140426119403952 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 39292 KiB
[startup+0.310363 s]*
/proc/loadavg: 1.81 1.37 1.40 3/215 12596
/proc/meminfo: memFree=23332596/32770624 swapFree=67108860/67108860
[pid=12530] ppid=12527 vsize=10983192 memory=53088 CPUtime=0.37 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12527 12530 10336 0 -1 1077944320 9841 13029 0 0 27 2 5 3 20 0 15 0 221992754 11246788608 13272 33554432000 4194304 4196468 140729434547264 140729434529808 140426630561527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
/proc/12530/statm: 2745798 13272 3077 1 0 2708109 0
[pid=12530/tid=12583] ppid=12527 vsize=10983192 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/12530/task/12583/stat : 12583 (java) R 12527 12530 10336 0 -1 4202560 6373 13029 0 0 18 2 5 3 20 0 15 0 221992765 11246788608 13272 33554432000 4194304 4196468 140729434547264 140426602373536 140426610836755 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12584] ppid=12527 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12584/stat : 12584 (java) S 12527 12530 10336 0 -1 1077944384 1 13029 0 0 0 0 5 3 20 0 15 0 221992765 11246788608 13272 33554432000 4194304 4196468 140729434547264 140426634804112 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12585] ppid=12527 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12585/stat : 12585 (java) S 12527 12530 10336 0 -1 1077944384 1 13029 0 0 0 0 5 3 20 0 15 0 221992765 11246788608 13272 33554432000 4194304 4196468 140729434547264 140426516069136 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12586] ppid=12527 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12586/stat : 12586 (java) S 12527 12530 10336 0 -1 1077944384 1 13029 0 0 0 0 5 3 20 0 15 0 221992765 11246788608 13272 33554432000 4194304 4196468 140729434547264 140426515016848 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12587] ppid=12527 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12587/stat : 12587 (java) S 12527 12530 10336 0 -1 1077944384 2 13029 0 0 0 0 5 3 20 0 15 0 221992765 11246788608 13272 33554432000 4194304 4196468 140729434547264 140426513964048 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12588] ppid=12527 vsize=10983192 memory=140165284562560 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12588/stat : 12588 (java) S 12527 12530 10336 0 -1 1077944384 2 13029 0 0 0 0 5 3 20 0 15 0 221992767 11246788608 13272 33554432000 4194304 4196468 140729434547264 140426123614320 140426630572674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12589] ppid=12527 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12589/stat : 12589 (java) S 12527 12530 10336 0 -1 1077944384 13 13029 0 0 0 0 5 3 20 0 15 0 221992767 11246788608 13272 33554432000 4194304 4196468 140729434547264 140425432130336 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12590] ppid=12527 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12590/stat : 12590 (java) S 12527 12530 10336 0 -1 1077944384 21 13029 0 0 0 0 5 3 20 0 15 0 221992768 11246788608 13272 33554432000 4194304 4196468 140729434547264 140425365017712 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12591] ppid=12527 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12591/stat : 12591 (java) S 12527 12530 10336 0 -1 1077944384 3 13029 0 0 0 0 5 3 20 0 15 0 221992770 11246788608 13272 33554432000 4194304 4196468 140729434547264 140425057622096 140426630580123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12592] ppid=12527 vsize=10983192 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/12530/task/12592/stat : 12592 (java) S 12527 12530 10336 0 -1 1077944384 378 13029 0 0 2 0 5 3 20 0 15 0 221992770 11246788608 13272 33554432000 4194304 4196468 140729434547264 140426122562160 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12593] ppid=12527 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/12530/task/12593/stat : 12593 (java) S 12527 12530 10336 0 -1 1077944384 251 13029 0 0 1 0 5 3 20 0 15 0 221992770 11246788608 13272 33554432000 4194304 4196468 140729434547264 140426121509360 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12594] ppid=12527 vsize=10983192 memory=140165284562560 CPUtime=0.13 cores=0,2,4,6
/proc/12530/task/12594/stat : 12594 (java) S 12527 12530 10336 0 -1 1077944384 600 13029 0 0 5 0 5 3 20 0 15 0 221992770 11246788608 13272 33554432000 4194304 4196468 140729434547264 140426120457072 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12595] ppid=12527 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12595/stat : 12595 (java) S 12527 12530 10336 0 -1 1077944384 3 13029 0 0 0 0 5 3 20 0 15 0 221992770 11246788608 13272 33554432000 4194304 4196468 140729434547264 140424626826208 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12596] ppid=12527 vsize=10983192 memory=140165284562560 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12596/stat : 12596 (java) S 12527 12530 10336 0 -1 1077944384 1 13029 0 0 0 0 5 3 20 0 15 0 221992771 11246788608 13272 33554432000 4194304 4196468 140729434547264 140426119403952 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53088 KiB
[startup+0.7008 s]
/proc/loadavg: 1.81 1.37 1.40 3/215 12596
/proc/meminfo: memFree=23318516/32770624 swapFree=67108860/67108860
[pid=12530] ppid=12527 vsize=10983192 memory=88396 CPUtime=0.98 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12527 12530 10336 0 -1 1077944320 16723 13029 0 0 86 4 5 3 20 0 15 0 221992754 11246788608 22099 33554432000 4194304 4196468 140729434547264 140729434529808 140426630561527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
/proc/12530/statm: 2745798 22099 3247 1 0 2708109 0
[pid=12530/tid=12583] ppid=12527 vsize=10983192 memory=916 CPUtime=0.66 cores=0,2,4,6
/proc/12530/task/12583/stat : 12583 (java) R 12527 12530 10336 0 -1 4202560 12087 13029 0 0 55 3 5 3 20 0 15 0 221992765 11246788608 22099 33554432000 4194304 4196468 140729434547264 140426602384528 140426610837273 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12584] ppid=12527 vsize=10983192 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12584/stat : 12584 (java) S 12527 12530 10336 0 -1 1077944384 1 13029 0 0 0 0 5 3 20 0 15 0 221992765 11246788608 22099 33554432000 4194304 4196468 140729434547264 140426634804112 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12585] ppid=12527 vsize=10983192 memory=2608 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12585/stat : 12585 (java) S 12527 12530 10336 0 -1 1077944384 1 13029 0 0 0 0 5 3 20 0 15 0 221992765 11246788608 22099 33554432000 4194304 4196468 140729434547264 140426516069136 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12586] ppid=12527 vsize=10983192 memory=2616 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12586/stat : 12586 (java) S 12527 12530 10336 0 -1 1077944384 1 13029 0 0 0 0 5 3 20 0 15 0 221992765 11246788608 22099 33554432000 4194304 4196468 140729434547264 140426515016848 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12587] ppid=12527 vsize=10983192 memory=4096 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12587/stat : 12587 (java) S 12527 12530 10336 0 -1 1077944384 2 13029 0 0 0 0 5 3 20 0 15 0 221992765 11246788608 22099 33554432000 4194304 4196468 140729434547264 140426513964048 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12588] ppid=12527 vsize=10983192 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12588/stat : 12588 (java) S 12527 12530 10336 0 -1 1077944384 5 13029 0 0 0 0 5 3 20 0 15 0 221992767 11246788608 22099 33554432000 4194304 4196468 140729434547264 140426123614320 140426630572674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12589] ppid=12527 vsize=10983192 memory=2748 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12589/stat : 12589 (java) S 12527 12530 10336 0 -1 1077944384 13 13029 0 0 0 0 5 3 20 0 15 0 221992767 11246788608 22099 33554432000 4194304 4196468 140729434547264 140425432130336 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12590] ppid=12527 vsize=10983192 memory=1433364 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12590/stat : 12590 (java) S 12527 12530 10336 0 -1 1077944384 21 13029 0 0 0 0 5 3 20 0 15 0 221992768 11246788608 22099 33554432000 4194304 4196468 140729434547264 140425365017712 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12591] ppid=12527 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12591/stat : 12591 (java) S 12527 12530 10336 0 -1 1077944384 3 13029 0 0 0 0 5 3 20 0 15 0 221992770 11246788608 22099 33554432000 4194304 4196468 140729434547264 140425057622096 140426630580123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12592] ppid=12527 vsize=10983192 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/12530/task/12592/stat : 12592 (java) S 12527 12530 10336 0 -1 1077944384 1050 13029 0 0 10 0 5 3 20 0 15 0 221992770 11246788608 22099 33554432000 4194304 4196468 140729434547264 140426122562160 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12593] ppid=12527 vsize=10983192 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/12530/task/12593/stat : 12593 (java) S 12527 12530 10336 0 -1 1077944384 662 13029 0 0 7 0 5 3 20 0 15 0 221992770 11246788608 22099 33554432000 4194304 4196468 140729434547264 140426121509360 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12594] ppid=12527 vsize=10983192 memory=3312 CPUtime=0.21 cores=0,2,4,6
/proc/12530/task/12594/stat : 12594 (java) S 12527 12530 10336 0 -1 1077944384 682 13029 0 0 13 0 5 3 20 0 15 0 221992770 11246788608 22099 33554432000 4194304 4196468 140729434547264 140426120457072 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12595] ppid=12527 vsize=10983192 memory=15712 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12595/stat : 12595 (java) S 12527 12530 10336 0 -1 1077944384 3 13029 0 0 0 0 5 3 20 0 15 0 221992770 11246788608 22099 33554432000 4194304 4196468 140729434547264 140424626826208 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12596] ppid=12527 vsize=10983192 memory=1620 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12596/stat : 12596 (java) S 12527 12530 10336 0 -1 1077944384 1 13029 0 0 0 0 5 3 20 0 15 0 221992771 11246788608 22099 33554432000 4194304 4196468 140729434547264 140426119403952 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88396 KiB
[startup+1.50649 s]
/proc/loadavg: 1.81 1.37 1.40 3/215 12596
/proc/meminfo: memFree=23275100/32770624 swapFree=67108860/67108860
[pid=12530] ppid=12527 vsize=10991948 memory=179208 CPUtime=3.15 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12527 12530 10336 0 -1 1077944320 23343 13029 0 0 300 7 5 3 20 0 15 0 221992754 11255754752 44802 33554432000 4194304 4196468 140729434547264 140729434529808 140426630561527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
/proc/12530/statm: 2747987 44802 3460 1 0 2709645 0
[pid=12530/tid=12583] ppid=12527 vsize=10991948 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/12530/task/12583/stat : 12583 (java) R 12527 12530 10336 0 -1 4202560 15140 13029 0 0 132 5 5 3 20 0 15 0 221992765 11255754752 44802 33554432000 4194304 4196468 140729434547264 140426602394528 140426191207772 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12584] ppid=12527 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12584/stat : 12584 (java) S 12527 12530 10336 0 -1 1077944384 1 13029 0 0 0 0 5 3 20 0 15 0 221992765 11255754752 44802 33554432000 4194304 4196468 140729434547264 140426634804112 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12585] ppid=12527 vsize=10991948 memory=7378113767197925459 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12585/stat : 12585 (java) S 12527 12530 10336 0 -1 1077944384 1 13029 0 0 0 0 5 3 20 0 15 0 221992765 11255754752 44802 33554432000 4194304 4196468 140729434547264 140426516069136 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12586] ppid=12527 vsize=10991948 memory=7811587443377329261 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12586/stat : 12586 (java) S 12527 12530 10336 0 -1 1077944384 1 13029 0 0 0 0 5 3 20 0 15 0 221992765 11255754752 44802 33554432000 4194304 4196468 140729434547264 140426515016848 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12587] ppid=12527 vsize=10991948 memory=7518027777248223850 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12587/stat : 12587 (java) S 12527 12530 10336 0 -1 1077944384 2 13029 0 0 0 0 5 3 20 0 15 0 221992765 11255754752 44802 33554432000 4194304 4196468 140729434547264 140426513964048 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12588] ppid=12527 vsize=10991948 memory=7454130749351154278 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12588/stat : 12588 (java) S 12527 12530 10336 0 -1 1077944384 13 13029 0 0 0 0 5 3 20 0 15 0 221992767 11255754752 44802 33554432000 4194304 4196468 140729434547264 140426123614320 140426630572674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12589] ppid=12527 vsize=10991948 memory=7307483279226923372 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12589/stat : 12589 (java) S 12527 12530 10336 0 -1 1077944384 13 13029 0 0 0 0 5 3 20 0 15 0 221992767 11255754752 44802 33554432000 4194304 4196468 140729434547264 140425432130336 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12590] ppid=12527 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12590/stat : 12590 (java) S 12527 12530 10336 0 -1 1077944384 21 13029 0 0 0 0 5 3 20 0 15 0 221992768 11255754752 44802 33554432000 4194304 4196468 140729434547264 140425365017712 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12591] ppid=12527 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12591/stat : 12591 (java) S 12527 12530 10336 0 -1 1077944384 3 13029 0 0 0 0 5 3 20 0 15 0 221992770 11255754752 44802 33554432000 4194304 4196468 140729434547264 140425057622096 140426630580123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12592] ppid=12527 vsize=10991948 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/12530/task/12592/stat : 12592 (java) R 12527 12530 10336 0 -1 4202560 2265 13029 0 0 58 0 5 3 20 0 15 0 221992770 11255754752 44802 33554432000 4194304 4196468 140729434547264 140426122547440 140426610987904 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12593] ppid=12527 vsize=10991948 memory=14431090117230 CPUtime=0.65 cores=0,2,4,6
/proc/12530/task/12593/stat : 12593 (java) R 12527 12530 10336 0 -1 4202560 1889 13029 0 0 57 0 5 3 20 0 15 0 221992770 11255754752 44802 33554432000 4194304 4196468 140729434547264 140426121498064 140426614058311 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12594] ppid=12527 vsize=10991948 memory=280327146700920 CPUtime=0.59 cores=0,2,4,6
/proc/12530/task/12594/stat : 12594 (java) S 12527 12530 10336 0 -1 1077944384 1799 13029 0 0 51 0 5 3 20 0 15 0 221992770 11255754752 44802 33554432000 4194304 4196468 140729434547264 140426120457072 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12595] ppid=12527 vsize=10991948 memory=302585819879975321 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12595/stat : 12595 (java) S 12527 12530 10336 0 -1 1077944384 3 13029 0 0 0 0 5 3 20 0 15 0 221992770 11255754752 44802 33554432000 4194304 4196468 140729434547264 140424626826208 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12596] ppid=12527 vsize=10991948 memory=15262549412229920 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12596/stat : 12596 (java) S 12527 12530 10336 0 -1 1077944384 1 13029 0 0 0 0 5 3 20 0 15 0 221992771 11255754752 44802 33554432000 4194304 4196468 140729434547264 140426119403952 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
Current children cumulated CPU time: 3.15 s
Current children cumulated vsize: 10991948 KiB
Current children cumulated memory: 179208 KiB
[startup+3.11499 s]
/proc/loadavg: 1.83 1.38 1.40 5/215 12596
/proc/meminfo: memFree=23106920/32770624 swapFree=67108860/67108860
[pid=12530] ppid=12527 vsize=11006304 memory=278368 CPUtime=7.43 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12527 12530 10336 0 -1 1077944320 44559 13029 0 0 720 15 5 3 20 0 15 0 221992754 11270455296 69592 33554432000 4194304 4196468 140729434547264 140729434529808 140426630561527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
/proc/12530/statm: 2751576 69592 3509 1 0 2713229 0
################
# More data... #
################
/proc/12530/task/12583/stat : 12583 (java) R 12527 12530 10336 0 -1 4202560 103751 13029 0 0 230006 55 5 3 20 0 15 0 221992765 11280941056 324885 33554432000 4194304 4196468 140729434547264 140426602395840 140426187449490 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12584] ppid=12527 vsize=11016544 memory=1299524 CPUtime=11.62 cores=0,2,4,6
/proc/12530/task/12584/stat : 12584 (java) S 12527 12530 10336 0 -1 1077944384 26956 13029 0 0 1102 52 5 3 20 0 15 0 221992765 11280941056 324885 33554432000 4194304 4196468 140729434547264 140426634804112 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12585] ppid=12527 vsize=11016544 memory=1299524 CPUtime=11.61 cores=0,2,4,6
/proc/12530/task/12585/stat : 12585 (java) S 12527 12530 10336 0 -1 1077944384 28004 13029 0 0 1100 53 5 3 20 0 15 0 221992765 11280941056 324885 33554432000 4194304 4196468 140729434547264 140426516069136 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12586] ppid=12527 vsize=11016544 memory=1299464 CPUtime=11.6 cores=0,2,4,6
/proc/12530/task/12586/stat : 12586 (java) S 12527 12530 10336 0 -1 1077944384 26018 13029 0 0 1101 51 5 3 20 0 15 0 221992765 11280941056 324885 33554432000 4194304 4196468 140729434547264 140426515016848 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12587] ppid=12527 vsize=11016544 memory=1299524 CPUtime=11.64 cores=0,2,4,6
/proc/12530/task/12587/stat : 12587 (java) S 12527 12530 10336 0 -1 1077944384 26244 13029 0 0 1103 53 5 3 20 0 15 0 221992765 11280941056 324885 33554432000 4194304 4196468 140729434547264 140426513964048 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12588] ppid=12527 vsize=11016544 memory=1299524 CPUtime=7.77 cores=0,2,4,6
/proc/12530/task/12588/stat : 12588 (java) S 12527 12530 10336 0 -1 1077944384 21088 13029 0 0 727 42 5 3 20 0 15 0 221992767 11280941056 324885 33554432000 4194304 4196468 140729434547264 140426123614320 140426630572674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12589] ppid=12527 vsize=11016544 memory=1299524 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12589/stat : 12589 (java) S 12527 12530 10336 0 -1 1077944384 17 13029 0 0 0 0 5 3 20 0 15 0 221992767 11280941056 324885 33554432000 4194304 4196468 140729434547264 140425432130400 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12590] ppid=12527 vsize=11016544 memory=1299540 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12590/stat : 12590 (java) S 12527 12530 10336 0 -1 1077944384 51 13029 0 0 0 0 5 3 20 0 15 0 221992768 11280941056 324885 33554432000 4194304 4196468 140729434547264 140425365017728 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12591] ppid=12527 vsize=11016544 memory=1299524 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12591/stat : 12591 (java) S 12527 12530 10336 0 -1 1077944384 3 13029 0 0 0 0 5 3 20 0 15 0 221992770 11280941056 324885 33554432000 4194304 4196468 140729434547264 140425057622096 140426630580123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12592] ppid=12527 vsize=11016544 memory=1299524 CPUtime=15.13 cores=0,2,4,6
/proc/12530/task/12592/stat : 12592 (java) S 12527 12530 10336 0 -1 1077944384 98551 13029 0 0 1494 11 5 3 20 0 15 0 221992770 11280941056 324885 33554432000 4194304 4196468 140729434547264 140426122562160 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12593] ppid=12527 vsize=11016544 memory=1299464 CPUtime=16.34 cores=0,2,4,6
/proc/12530/task/12593/stat : 12593 (java) S 12527 12530 10336 0 -1 1077944384 97525 13029 0 0 1615 11 5 3 20 0 15 0 221992770 11280941056 324885 33554432000 4194304 4196468 140729434547264 140426121509360 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12594] ppid=12527 vsize=11016544 memory=280330368318560 CPUtime=5.48 cores=0,2,4,6
/proc/12530/task/12594/stat : 12594 (java) S 12527 12530 10336 0 -1 1077944384 88656 13029 0 0 529 11 5 3 20 0 15 0 221992770 11280941056 324885 33554432000 4194304 4196468 140729434547264 140426120457072 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12595] ppid=12527 vsize=11016544 memory=1299524 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12595/stat : 12595 (java) S 12527 12530 10336 0 -1 1077944384 3 13029 0 0 0 0 5 3 20 0 15 0 221992770 11280941056 324885 33554432000 4194304 4196468 140729434547264 140424626826208 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12596] ppid=12527 vsize=11016544 memory=3712 CPUtime=1.4 cores=0,2,4,6
/proc/12530/task/12596/stat : 12596 (java) S 12527 12530 10336 0 -1 1077944384 2744 13029 0 0 64 68 5 3 20 0 15 0 221992771 11280941056 324885 33554432000 4194304 4196468 140729434547264 140426119403952 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
Current children cumulated CPU time: 2392.64 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1299540 KiB
[startup+2382.3 s]
/proc/loadavg: 1.70 1.61 1.54 3/215 12691
/proc/meminfo: memFree=20142404/32770624 swapFree=67108860/67108860
[pid=12530] ppid=12527 vsize=11016544 memory=1301660 CPUtime=2453.69 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12527 12530 10336 0 -1 1077944320 527543 13029 0 0 244990 371 5 3 20 0 15 0 221992754 11280941056 325415 33554432000 4194304 4196468 140729434547264 140729434529808 140426630561527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
/proc/12530/statm: 2754136 325415 3538 1 0 2715789 0
[pid=12530/tid=12583] ppid=12527 vsize=11016544 memory=1301660 CPUtime=2359.98 cores=0,2,4,6
/proc/12530/task/12583/stat : 12583 (java) R 12527 12530 10336 0 -1 4202560 104995 13029 0 0 235934 56 5 3 20 0 15 0 221992765 11280941056 325415 33554432000 4194304 4196468 140729434547264 140426602395744 140426207179852 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12584] ppid=12527 vsize=11016544 memory=1301660 CPUtime=11.98 cores=0,2,4,6
/proc/12530/task/12584/stat : 12584 (java) S 12527 12530 10336 0 -1 1077944384 27104 13029 0 0 1137 53 5 3 20 0 15 0 221992765 11280941056 325415 33554432000 4194304 4196468 140729434547264 140426634804112 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12585] ppid=12527 vsize=11016544 memory=1301660 CPUtime=11.97 cores=0,2,4,6
/proc/12530/task/12585/stat : 12585 (java) S 12527 12530 10336 0 -1 1077944384 29237 13029 0 0 1135 54 5 3 20 0 15 0 221992765 11280941056 325415 33554432000 4194304 4196468 140729434547264 140426516069136 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12586] ppid=12527 vsize=11016544 memory=1301660 CPUtime=11.96 cores=0,2,4,6
/proc/12530/task/12586/stat : 12586 (java) S 12527 12530 10336 0 -1 1077944384 26851 13029 0 0 1136 52 5 3 20 0 15 0 221992765 11280941056 325415 33554432000 4194304 4196468 140729434547264 140426515016848 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12587] ppid=12527 vsize=11016544 memory=1301660 CPUtime=12.01 cores=0,2,4,6
/proc/12530/task/12587/stat : 12587 (java) S 12527 12530 10336 0 -1 1077944384 26305 13029 0 0 1139 54 5 3 20 0 15 0 221992765 11280941056 325415 33554432000 4194304 4196468 140729434547264 140426513964048 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12588] ppid=12527 vsize=11016544 memory=1301648 CPUtime=8.02 cores=0,2,4,6
/proc/12530/task/12588/stat : 12588 (java) S 12527 12530 10336 0 -1 1077944384 21556 13029 0 0 751 43 5 3 20 0 15 0 221992767 11280941056 325415 33554432000 4194304 4196468 140729434547264 140426123614320 140426630572674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12589] ppid=12527 vsize=11016544 memory=1301648 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12589/stat : 12589 (java) S 12527 12530 10336 0 -1 1077944384 17 13029 0 0 0 0 5 3 20 0 15 0 221992767 11280941056 325415 33554432000 4194304 4196468 140729434547264 140425432130400 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12590] ppid=12527 vsize=11016544 memory=1301660 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12590/stat : 12590 (java) S 12527 12530 10336 0 -1 1077944384 51 13029 0 0 0 0 5 3 20 0 15 0 221992768 11280941056 325415 33554432000 4194304 4196468 140729434547264 140425365017728 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12591] ppid=12527 vsize=11016544 memory=1301660 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12591/stat : 12591 (java) S 12527 12530 10336 0 -1 1077944384 3 13029 0 0 0 0 5 3 20 0 15 0 221992770 11280941056 325415 33554432000 4194304 4196468 140729434547264 140425057622096 140426630580123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12592] ppid=12527 vsize=11016544 memory=4872558044660077418 CPUtime=15.13 cores=0,2,4,6
/proc/12530/task/12592/stat : 12592 (java) S 12527 12530 10336 0 -1 1077944384 98556 13029 0 0 1494 11 5 3 20 0 15 0 221992770 11280941056 325415 33554432000 4194304 4196468 140729434547264 140426122562160 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12593] ppid=12527 vsize=11016544 memory=288230596050944315 CPUtime=16.34 cores=0,2,4,6
/proc/12530/task/12593/stat : 12593 (java) S 12527 12530 10336 0 -1 1077944384 97530 13029 0 0 1615 11 5 3 20 0 15 0 221992770 11280941056 325415 33554432000 4194304 4196468 140729434547264 140426121509360 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12594] ppid=12527 vsize=11016544 memory=1301648 CPUtime=5.48 cores=0,2,4,6
/proc/12530/task/12594/stat : 12594 (java) S 12527 12530 10336 0 -1 1077944384 90377 13029 0 0 529 11 5 3 20 0 15 0 221992770 11280941056 325415 33554432000 4194304 4196468 140729434547264 140426120457072 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12595] ppid=12527 vsize=11016544 memory=1301588 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12595/stat : 12595 (java) S 12527 12530 10336 0 -1 1077944384 3 13029 0 0 0 0 5 3 20 0 15 0 221992770 11280941056 325415 33554432000 4194304 4196468 140729434547264 140424626826208 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12596] ppid=12527 vsize=11016544 memory=280330369273360 CPUtime=1.44 cores=0,2,4,6
/proc/12530/task/12596/stat : 12596 (java) S 12527 12530 10336 0 -1 1077944384 2767 13029 0 0 66 70 5 3 20 0 15 0 221992771 11280941056 325415 33554432000 4194304 4196468 140729434547264 140426119403952 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
Current children cumulated CPU time: 2453.69 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1301660 KiB
[startup+2442.3 s]
/proc/loadavg: 1.60 1.59 1.53 3/215 12692
/proc/meminfo: memFree=20142284/32770624 swapFree=67108860/67108860
[pid=12530] ppid=12527 vsize=11016544 memory=1301744 CPUtime=2514.69 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12527 12530 10336 0 -1 1077944320 531463 13029 0 0 251082 379 5 3 20 0 15 0 221992754 11280941056 325436 33554432000 4194304 4196468 140729434547264 140729434529808 140426630561527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
/proc/12530/statm: 2754136 325436 3538 1 0 2715789 0
[pid=12530/tid=12583] ppid=12527 vsize=11016544 memory=1301744 CPUtime=2419.31 cores=0,2,4,6
/proc/12530/task/12583/stat : 12583 (java) R 12527 12530 10336 0 -1 4202560 106193 13029 0 0 241866 57 5 3 20 0 15 0 221992765 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426602396720 140426193864608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12584] ppid=12527 vsize=11016544 memory=1301736 CPUtime=12.32 cores=0,2,4,6
/proc/12530/task/12584/stat : 12584 (java) S 12527 12530 10336 0 -1 1077944384 27920 13029 0 0 1170 54 5 3 20 0 15 0 221992765 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426634804112 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12585] ppid=12527 vsize=11016544 memory=1301736 CPUtime=12.31 cores=0,2,4,6
/proc/12530/task/12585/stat : 12585 (java) S 12527 12530 10336 0 -1 1077944384 29474 13029 0 0 1168 55 5 3 20 0 15 0 221992765 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426516069136 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12586] ppid=12527 vsize=11016544 memory=1301736 CPUtime=12.31 cores=0,2,4,6
/proc/12530/task/12586/stat : 12586 (java) S 12527 12530 10336 0 -1 1077944384 28010 13029 0 0 1169 54 5 3 20 0 15 0 221992765 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426515016848 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12587] ppid=12527 vsize=11016544 memory=1301736 CPUtime=12.35 cores=0,2,4,6
/proc/12530/task/12587/stat : 12587 (java) S 12527 12530 10336 0 -1 1077944384 26342 13029 0 0 1172 55 5 3 20 0 15 0 221992765 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426513964048 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12588] ppid=12527 vsize=11016544 memory=1301736 CPUtime=8.27 cores=0,2,4,6
/proc/12530/task/12588/stat : 12588 (java) S 12527 12530 10336 0 -1 1077944384 22000 13029 0 0 774 45 5 3 20 0 15 0 221992767 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426123614320 140426630572674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12589] ppid=12527 vsize=11016544 memory=1301736 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12589/stat : 12589 (java) S 12527 12530 10336 0 -1 1077944384 17 13029 0 0 0 0 5 3 20 0 15 0 221992767 11280941056 325436 33554432000 4194304 4196468 140729434547264 140425432130400 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12590] ppid=12527 vsize=11016544 memory=1301744 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12590/stat : 12590 (java) S 12527 12530 10336 0 -1 1077944384 51 13029 0 0 0 0 5 3 20 0 15 0 221992768 11280941056 325436 33554432000 4194304 4196468 140729434547264 140425365017728 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12591] ppid=12527 vsize=11016544 memory=1301744 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12591/stat : 12591 (java) S 12527 12530 10336 0 -1 1077944384 3 13029 0 0 0 0 5 3 20 0 15 0 221992770 11280941056 325436 33554432000 4194304 4196468 140729434547264 140425057622096 140426630580123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12592] ppid=12527 vsize=11016544 memory=6116 CPUtime=15.13 cores=0,2,4,6
/proc/12530/task/12592/stat : 12592 (java) S 12527 12530 10336 0 -1 1077944384 98558 13029 0 0 1494 11 5 3 20 0 15 0 221992770 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426122562160 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12593] ppid=12527 vsize=11016544 memory=1301744 CPUtime=16.34 cores=0,2,4,6
/proc/12530/task/12593/stat : 12593 (java) S 12527 12530 10336 0 -1 1077944384 97533 13029 0 0 1615 11 5 3 20 0 15 0 221992770 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426121509360 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12594] ppid=12527 vsize=11016544 memory=1301744 CPUtime=5.48 cores=0,2,4,6
/proc/12530/task/12594/stat : 12594 (java) S 12527 12530 10336 0 -1 1077944384 90380 13029 0 0 529 11 5 3 20 0 15 0 221992770 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426120457072 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12595] ppid=12527 vsize=11016544 memory=1301744 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12595/stat : 12595 (java) S 12527 12530 10336 0 -1 1077944384 3 13029 0 0 0 0 5 3 20 0 15 0 221992770 11280941056 325436 33554432000 4194304 4196468 140729434547264 140424626826208 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12596] ppid=12527 vsize=11016544 memory=1301744 CPUtime=1.48 cores=0,2,4,6
/proc/12530/task/12596/stat : 12596 (java) S 12527 12530 10336 0 -1 1077944384 2788 13029 0 0 69 71 5 3 20 0 15 0 221992771 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426119403952 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
Current children cumulated CPU time: 2514.69 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1301744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2447.6 s]
/proc/loadavg: 1.55 1.58 1.53 3/215 12692
/proc/meminfo: memFree=20142284/32770624 swapFree=67108860/67108860
[pid=12530] ppid=12527 vsize=11016544 memory=1301744 CPUtime=2520.08 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12527 12530 10336 0 -1 1077944320 531529 13029 0 0 251621 379 5 3 20 0 15 0 221992754 11280941056 325436 33554432000 4194304 4196468 140729434547264 140729434529808 140426630561527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
/proc/12530/statm: 2754136 325436 3538 1 0 2715789 0
[pid=12530/tid=12583] ppid=12527 vsize=11016544 memory=3164 CPUtime=2424.54 cores=0,2,4,6
/proc/12530/task/12583/stat : 12583 (java) R 12527 12530 10336 0 -1 4202560 106254 13029 0 0 242389 57 5 3 20 0 15 0 221992765 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426602396848 140426212680097 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12584] ppid=12527 vsize=11016544 memory=1301744 CPUtime=12.35 cores=0,2,4,6
/proc/12530/task/12584/stat : 12584 (java) S 12527 12530 10336 0 -1 1077944384 27921 13029 0 0 1173 54 5 3 20 0 15 0 221992765 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426634804112 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12585] ppid=12527 vsize=11016544 memory=4100 CPUtime=12.34 cores=0,2,4,6
/proc/12530/task/12585/stat : 12585 (java) S 12527 12530 10336 0 -1 1077944384 29475 13029 0 0 1171 55 5 3 20 0 15 0 221992765 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426516069136 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12586] ppid=12527 vsize=11016544 memory=1398720917958146503 CPUtime=12.34 cores=0,2,4,6
/proc/12530/task/12586/stat : 12586 (java) S 12527 12530 10336 0 -1 1077944384 28011 13029 0 0 1172 54 5 3 20 0 15 0 221992765 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426515016848 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12587] ppid=12527 vsize=11016544 memory=4872558044660077418 CPUtime=12.38 cores=0,2,4,6
/proc/12530/task/12587/stat : 12587 (java) S 12527 12530 10336 0 -1 1077944384 26342 13029 0 0 1175 55 5 3 20 0 15 0 221992765 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426513964048 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12588] ppid=12527 vsize=11016544 memory=6116 CPUtime=8.29 cores=0,2,4,6
/proc/12530/task/12588/stat : 12588 (java) S 12527 12530 10336 0 -1 1077944384 22002 13029 0 0 776 45 5 3 20 0 15 0 221992767 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426123614320 140426630572674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12589] ppid=12527 vsize=11016544 memory=1724 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12589/stat : 12589 (java) S 12527 12530 10336 0 -1 1077944384 17 13029 0 0 0 0 5 3 20 0 15 0 221992767 11280941056 325436 33554432000 4194304 4196468 140729434547264 140425432130400 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12590] ppid=12527 vsize=11016544 memory=4004 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12590/stat : 12590 (java) S 12527 12530 10336 0 -1 1077944384 51 13029 0 0 0 0 5 3 20 0 15 0 221992768 11280941056 325436 33554432000 4194304 4196468 140729434547264 140425365017728 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12591] ppid=12527 vsize=11016544 memory=3516 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12591/stat : 12591 (java) S 12527 12530 10336 0 -1 1077944384 3 13029 0 0 0 0 5 3 20 0 15 0 221992770 11280941056 325436 33554432000 4194304 4196468 140729434547264 140425057622096 140426630580123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12592] ppid=12527 vsize=11016544 memory=872 CPUtime=15.13 cores=0,2,4,6
/proc/12530/task/12592/stat : 12592 (java) S 12527 12530 10336 0 -1 1077944384 98558 13029 0 0 1494 11 5 3 20 0 15 0 221992770 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426122562160 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12593] ppid=12527 vsize=11016544 memory=1288 CPUtime=16.34 cores=0,2,4,6
/proc/12530/task/12593/stat : 12593 (java) S 12527 12530 10336 0 -1 1077944384 97533 13029 0 0 1615 11 5 3 20 0 15 0 221992770 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426121509360 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12594] ppid=12527 vsize=11016544 memory=2140 CPUtime=5.48 cores=0,2,4,6
/proc/12530/task/12594/stat : 12594 (java) S 12527 12530 10336 0 -1 1077944384 90380 13029 0 0 529 11 5 3 20 0 15 0 221992770 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426120457072 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12595] ppid=12527 vsize=11016544 memory=2180 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12595/stat : 12595 (java) S 12527 12530 10336 0 -1 1077944384 3 13029 0 0 0 0 5 3 20 0 15 0 221992770 11280941056 325436 33554432000 4194304 4196468 140729434547264 140424626826208 140426630571733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
[pid=12530/tid=12596] ppid=12527 vsize=11016544 memory=924 CPUtime=1.48 cores=0,2,4,6
/proc/12530/task/12596/stat : 12596 (java) S 12527 12530 10336 0 -1 1077944384 2788 13029 0 0 69 71 5 3 20 0 15 0 221992771 11280941056 325436 33554432000 4194304 4196468 140729434547264 140426119403952 140426630572674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34590720 140729434552933 140729434555740 140729434555740 140729434558415 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1301744 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2447.64 s]
# the end of solver process 12530 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.29 s, system=3.85015 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2447.64
CPU time (s): 2520.14
CPU user time (s): 2516.29
CPU system time (s): 3.85015
CPU usage (%): 102.962
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 1786512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.29
system time used= 3.85015
maximum resident set size= 1790608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 549926
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 226106
involuntary context switches= 7940
# summary of solver processes directly reported to runsolver:
# pid: 12530
# total CPU time (s): 2520.14
# total CPU user time (s): 2516.29
# total CPU system time (s): 3.85015
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7421 second user time and 23.2152 second system time
The end