1.00/0.74 c Concrete v3.8.1528841891564 running
14.99/5.91 c 01:05:39.285 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15670. 'extension(x[1][1]=[0‥3], 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
14.99/5.92 c 01:05:39.293 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15697. 'extension(x[1][17]=[0‥3], 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
14.99/5.92 c 01:05:39.294 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15698. 'extension(3, x[3][17]=[0‥3]) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
14.99/5.92 c 01:05:39.297 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15727. 'extension(3, 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
14.99/5.92 c 01:05:39.298 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15755. 'extension(3, 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
14.99/5.93 c 01:05:39.301 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15781. 'extension(3, wk[1][0]=[0‥1]) :: init: true :: relation: MDD 205023576, 4 edges, 3 vertices, 3 tuples
14.99/5.93 c 01:05:39.301 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15785. 'extension(3, 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
14.99/5.93 c 01:05:39.302 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15812. 'extension(3, wk[1][0]=[0‥1]) :: init: true :: relation: MDD 1154895182, 4 edges, 3 vertices, 3 tuples
14.99/5.93 c 01:05:39.303 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15813. 'extension(3, x[7][1]=[0‥3]) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
14.99/5.93 c 01:05:39.304 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15816. 'extension(3, 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
14.99/5.93 c 01:05:39.305 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15843. 'extension(3, wk[4][0]=[0‥1]) :: init: true :: relation: MDD 678787773, 4 edges, 3 vertices, 3 tuples
14.99/5.93 c 01:05:39.305 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15844. 'extension(x[5][4]=[0‥3], 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
14.99/5.93 c 01:05:39.307 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15877. 'extension(3, 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
14.99/5.93 c 01:05:39.308 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15907. 'extension(3, 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
14.99/5.93 c 01:05:39.309 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15937. 'extension(3, 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
14.99/5.93 c 01:05:39.310 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15967. 'extension(3, 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
14.99/5.93 c 01:05:39.310 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15994. 'extension(x[9][17]=[0‥3], 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
14.99/5.94 c 01:05:39.312 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16024. 'extension(3, x[12][4]=[0‥3]) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
14.99/5.94 c 01:05:39.313 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16027. 'extension(3, 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
14.99/5.94 c 01:05:39.314 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16054. 'extension(3, x[12][17]=[0‥3]) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
14.99/5.94 c 01:05:39.315 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16057. 'extension(3, 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
14.99/5.94 c 01:05:39.316 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16084. 'extension(x[10][19]=[0‥3], 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
14.99/5.94 c 01:05:39.317 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16085. 'extension(3, x[12][19]=[0‥3]) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
14.99/5.94 c 01:05:39.319 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16114. 'extension(3, wk[14][1]=[0‥1]) :: init: true :: relation: MDD 1043773344, 4 edges, 3 vertices, 3 tuples
14.99/5.95 c 01:05:39.320 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16115. 'extension(x[12][14]=[0‥3], 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
14.99/5.95 c 01:05:39.320 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16116. 'extension(3, x[14][14]=[0‥3]) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
14.99/5.95 c 01:05:39.323 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16145. 'extension(x[14][3]=[0‥3], 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
14.99/5.95 c 01:05:39.324 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16175. 'extension(x[14][7]=[0‥3], 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
14.99/5.95 c 01:05:39.325 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16205. 'extension(x[14][11]=[0‥3], 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
14.99/5.95 c 01:05:39.326 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16238. 'extension(3, 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
14.99/5.95 c 01:05:39.327 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16268. 'extension(3, 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
14.99/5.95 c 01:05:39.327 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16298. 'extension(3, 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
14.99/5.95 c 01:05:39.328 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16325. 'extension(x[15][18]=[0‥3], 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
14.99/5.95 c 01:05:39.329 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16358. 'extension(3, 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
14.99/5.95 c 01:05:39.330 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16385. 'extension(3, x[18][7]=[0‥3]) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
14.99/5.96 c 01:05:39.331 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16388. 'extension(3, 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
14.99/5.96 c 01:05:39.332 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16415. 'extension(x[16][8]=[0‥3], 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
14.99/5.96 c 01:05:39.333 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16445. 'extension(3, x[18][11]=[0‥3]) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
14.99/5.96 c 01:05:39.334 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16448. 'extension(3, 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
14.99/5.96 c 01:05:39.335 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16478. 'extension(3, 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
14.99/5.96 c 01:05:39.336 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16505. 'extension(x[16][19]=[0‥3], 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
14.99/5.96 c 01:05:39.337 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16538. 'extension(3, 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
14.99/5.97 c 01:05:39.338 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16568. 'extension(3, 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
14.99/5.97 c 01:05:39.339 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16595. 'extension(x[17][16]=[0‥3], 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
14.99/5.97 c 01:05:39.340 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16625. 'extension(3, x[19][18]=[0‥3]) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
14.99/5.97 c 01:05:39.340 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16628. 'extension(3, 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
14.99/5.97 c 01:05:39.341 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16658. 'extension(3, 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
14.99/5.97 c 01:05:39.342 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16685. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 1069131391, 4 edges, 3 vertices, 3 tuples
14.99/5.97 c 01:05:39.343 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16689. 'extension(3, 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
14.99/5.97 c 01:05:39.343 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16716. 'extension(3, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 2117103751, 4 edges, 3 vertices, 3 tuples
14.99/5.97 c 01:05:39.343 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16720. 'extension(3, 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
14.99/5.97 c 01:05:39.344 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16747. 'extension(3, wk[16][2]=[0‥1]) :: init: true :: relation: MDD 1620989914, 4 edges, 3 vertices, 3 tuples
14.99/5.98 c 01:05:39.344 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16751. 'extension(3, 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
14.99/5.98 c 01:05:39.345 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16778. 'extension(3, wk[19][2]=[0‥1]) :: init: true :: relation: MDD 1747644505, 4 edges, 3 vertices, 3 tuples
14.99/5.98 c 01:05:39.346 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16779. 'extension(3, x[20][19]=[0‥3]) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
14.99/5.98 c 01:05:39.346 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16782. 'extension(3, 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
14.99/5.98 c 01:05:39.348 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16809. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 1432535753, 4 edges, 3 vertices, 3 tuples
14.99/5.98 c 01:05:39.348 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16810. 'extension(3, x[21][3]=[0‥3]) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
14.99/5.98 c 01:05:39.349 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16813. 'extension(3, 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
14.99/5.98 c 01:05:39.350 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16840. 'extension(3, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 445350376, 4 edges, 3 vertices, 3 tuples
14.99/5.98 c 01:05:39.350 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16844. 'extension(3, 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
14.99/5.98 c 01:05:39.351 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16871. 'extension(3, wk[16][2]=[0‥1]) :: init: true :: relation: MDD 1298350375, 4 edges, 3 vertices, 3 tuples
14.99/5.98 c 01:05:39.351 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16875. 'extension(3, 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
14.99/5.98 c 01:05:39.352 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16905. 'extension(3, 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
14.99/5.98 c 01:05:39.352 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16935. 'extension(3, 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
14.99/5.98 c 01:05:39.353 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16962. 'extension(3, x[23][8]=[0‥3]) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
14.99/5.98 c 01:05:39.354 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16965. 'extension(3, 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
14.99/5.98 c 01:05:39.355 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16995. 'extension(3, 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
14.99/5.98 c 01:05:39.356 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17022. 'extension(x[22][2]=[0‥3], 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
14.99/5.98 c 01:05:39.357 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17052. 'extension(x[22][7]=[0‥3], 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
14.99/5.99 c 01:05:39.358 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17082. 'extension(x[22][10]=[0‥3], 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
14.99/5.99 c 01:05:39.359 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17112. 'extension(x[22][11]=[0‥3], 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
14.99/5.99 c 01:05:39.359 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17113. 'extension(3, x[24][11]=[0‥3]) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
14.99/5.99 c 01:05:39.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17142. 'extension(3, x[24][16]=[0‥3]) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
14.99/5.99 c 01:05:39.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17145. 'extension(3, 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
14.99/5.99 c 01:05:39.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17175. 'extension(3, 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
14.99/5.99 c 01:05:39.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17205. 'extension(3, 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
14.99/5.99 c 01:05:39.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17235. 'extension(3, 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
14.99/5.99 c 01:05:39.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17265. 'extension(3, 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
14.99/5.99 c 01:05:39.366 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17292. 'extension(3, x[26][7]=[0‥3]) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
14.99/5.99 c 01:05:39.366 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17295. 'extension(3, 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
14.99/5.99 c 01:05:39.368 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17325. 'extension(3, 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
14.99/5.99 c 01:05:39.368 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17352. 'extension(3, wk[2][3]=[0‥1]) :: init: true :: relation: MDD 639482242, 4 edges, 3 vertices, 3 tuples
14.99/6.00 c 01:05:39.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17356. 'extension(3, 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
14.99/6.00 c 01:05:39.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17383. 'extension(3, wk[10][3]=[0‥1]) :: init: true :: relation: MDD 1198952052, 4 edges, 3 vertices, 3 tuples
14.99/6.00 c 01:05:39.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17387. 'extension(3, 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
14.99/6.00 c 01:05:39.370 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17414. 'extension(3, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 1494158416, 4 edges, 3 vertices, 3 tuples
14.99/6.00 c 01:05:39.370 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17415. 'extension(x[25][11]=[0‥3], 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
14.99/6.00 c 01:05:39.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17416. 'extension(3, x[27][11]=[0‥3]) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
14.99/6.00 c 01:05:39.372 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17445. 'extension(3, wk[14][3]=[0‥1]) :: init: true :: relation: MDD 878511419, 4 edges, 3 vertices, 3 tuples
14.99/6.00 c 01:05:39.373 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17446. 'extension(x[25][14]=[0‥3], 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
14.99/6.00 c 01:05:39.373 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17476. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1898730595, 4 edges, 3 vertices, 3 tuples
14.99/6.00 c 01:05:39.374 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17477. 'extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
14.99/6.00 c 01:05:39.375 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17507. 'extension(3, wk[2][3]=[0‥1]) :: init: true :: relation: MDD 586479858, 4 edges, 3 vertices, 3 tuples
14.99/6.00 c 01:05:39.375 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17508. 'extension(3, x[28][2]=[0‥3]) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
14.99/6.00 c 01:05:39.376 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17511. 'extension(3, 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
14.99/6.00 c 01:05:39.377 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17538. 'extension(3, wk[10][3]=[0‥1]) :: init: true :: relation: MDD 1532644077, 4 edges, 3 vertices, 3 tuples
14.99/6.00 c 01:05:39.377 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17542. 'extension(3, 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
14.99/6.00 c 01:05:39.377 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17569. 'extension(3, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 41810270, 4 edges, 3 vertices, 3 tuples
15.36/6.01 c 01:05:39.378 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17570. 'extension(x[26][13]=[0‥3], 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
15.36/6.01 c 01:05:39.389 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17600. 'extension(3, wk[14][3]=[0‥1]) :: init: true :: relation: MDD 1049312121, 4 edges, 3 vertices, 3 tuples
15.36/6.01 c 01:05:39.389 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17604. 'extension(3, 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
15.36/6.01 c 01:05:39.390 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17631. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 789885174, 4 edges, 3 vertices, 3 tuples
15.36/6.01 c 01:05:39.390 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17632. 'extension(3, x[28][17]=[0‥3]) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
15.36/6.02 c 01:05:39.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17635. 'extension(3, 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
15.36/6.02 c 01:05:39.392 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17662. 'extension(3, x[29][10]=[0‥3]) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
15.36/6.02 c 01:05:39.393 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17665. 'extension(3, 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
15.36/6.02 c 01:05:39.394 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17695. 'extension(3, 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
15.36/6.02 c 01:05:39.395 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17725. 'extension(3, 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
15.36/6.02 c 01:05:39.395 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17752. 'extension(x[27][19]=[0‥3], 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
15.36/6.02 c 01:05:39.395 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17753. 'extension(3, x[29][19]=[0‥3]) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
15.36/6.02 c 01:05:39.397 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17782. 'extension(3, x[30][13]=[0‥3]) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
15.36/6.02 c 01:05:39.398 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17785. 'extension(3, 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
15.36/6.02 c 01:05:39.399 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17815. 'extension(3, 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
15.36/6.02 c 01:05:39.399 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17842. 'extension(3, x[31][14]=[0‥3]) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
15.36/6.02 c 01:05:39.400 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17845. 'extension(3, 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
15.36/6.03 c 01:05:39.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17872. 'extension(x[30][15]=[0‥3], 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.36/6.03 c 01:05:39.403 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17902. 'extension(x[31][0]=[0‥3], 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
15.36/6.03 c 01:05:39.403 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17932. 'extension(x[31][6]=[0‥3], 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
15.36/6.03 c 01:05:39.404 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17962. 'extension(3, x[33][15]=[0‥3]) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.36/6.03 c 01:05:39.405 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17965. 'extension(3, 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.36/6.03 c 01:05:39.406 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17992. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 1038002783, 4 edges, 3 vertices, 3 tuples
15.36/6.03 c 01:05:39.406 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17996. 'extension(3, 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
15.36/6.03 c 01:05:39.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18023. 'extension(3, wk[2][4]=[0‥1]) :: init: true :: relation: MDD 1084698317, 4 edges, 3 vertices, 3 tuples
15.36/6.03 c 01:05:39.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18024. 'extension(x[32][2]=[0‥3], 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
15.36/6.03 c 01:05:39.408 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18025. 'extension(3, x[34][2]=[0‥3]) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
15.36/6.03 c 01:05:39.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18054. 'extension(3, wk[6][4]=[0‥1]) :: init: true :: relation: MDD 1565397985, 4 edges, 3 vertices, 3 tuples
15.36/6.04 c 01:05:39.410 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18058. 'extension(3, 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
15.36/6.04 c 01:05:39.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18085. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 2137034273, 4 edges, 3 vertices, 3 tuples
15.36/6.04 c 01:05:39.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18089. 'extension(3, 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
15.36/6.04 c 01:05:39.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18116. 'extension(3, wk[6][4]=[0‥1]) :: init: true :: relation: MDD 964094970, 4 edges, 3 vertices, 3 tuples
15.36/6.05 c 01:05:39.415 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18120. 'extension(3, 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.416 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18147. 'extension(3, wk[9][4]=[0‥1]) :: init: true :: relation: MDD 1826195973, 4 edges, 3 vertices, 3 tuples
15.36/6.05 c 01:05:39.416 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18148. 'extension(x[33][9]=[0‥3], 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.417 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18178. 'extension(3, x[36][0]=[0‥3]) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.418 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18181. 'extension(3, 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.419 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18208. 'extension(3, x[36][6]=[0‥3]) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.419 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18211. 'extension(3, 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.420 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18241. 'extension(3, 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.421 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18268. 'extension(x[34][17]=[0‥3], 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.421 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18269. 'extension(3, x[36][17]=[0‥3]) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.423 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18301. 'extension(3, 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18328. 'extension(x[35][18]=[0‥3], 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18358. 'extension(x[36][5]=[0‥3], 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18391. 'extension(3, 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.426 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18418. 'extension(x[36][11]=[0‥3], 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.426 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18419. 'extension(3, x[38][11]=[0‥3]) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18451. 'extension(3, 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18481. 'extension(3, 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18511. 'extension(3, 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.430 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18538. 'extension(3, x[39][18]=[0‥3]) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
15.36/6.05 c 01:05:39.430 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18541. 'extension(3, 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
15.36/6.06 c 01:05:39.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18571. 'extension(3, 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
15.36/6.06 c 01:05:39.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18598. 'extension(3, x[40][9]=[0‥3]) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
15.36/6.06 c 01:05:39.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18601. 'extension(3, 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
15.36/6.06 c 01:05:39.434 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18628. 'extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 1476915117, 4 edges, 3 vertices, 3 tuples
15.36/6.06 c 01:05:39.434 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18632. 'extension(3, 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
15.36/6.06 c 01:05:39.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18659. 'extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 2095602418, 4 edges, 3 vertices, 3 tuples
15.36/6.06 c 01:05:39.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18663. 'extension(3, 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
15.36/6.06 c 01:05:39.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18690. 'extension(3, wk[13][5]=[0‥1]) :: init: true :: relation: MDD 1747237139, 4 edges, 3 vertices, 3 tuples
15.36/6.06 c 01:05:39.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18691. 'extension(x[40][13]=[0‥3], 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
15.36/6.06 c 01:05:39.437 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18721. 'extension(3, x[43][5]=[0‥3]) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
15.36/6.06 c 01:05:39.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18724. 'extension(3, 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
15.36/6.06 c 01:05:39.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18751. 'extension(3, x[43][13]=[0‥3]) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
15.36/6.06 c 01:05:39.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18754. 'extension(3, 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
15.36/6.07 c 01:05:39.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18781. 'extension(x[43][15]=[0‥3], 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.36/6.07 c 01:05:39.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18782. 'extension(3, x[45][15]=[0‥3]) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.36/6.07 c 01:05:39.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18811. 'extension(x[45][12]=[0‥3], 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
15.36/6.07 c 01:05:39.444 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18841. 'extension(3, wk[12][6]=[0‥1]) :: init: true :: relation: MDD 1975171943, 4 edges, 3 vertices, 3 tuples
15.36/6.07 c 01:05:39.444 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18845. 'extension(3, 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
15.36/6.07 c 01:05:39.446 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18872. 'extension(3, wk[12][6]=[0‥1]) :: init: true :: relation: MDD 1775046789, 4 edges, 3 vertices, 3 tuples
15.36/6.07 c 01:05:39.446 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18876. 'extension(3, 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
15.36/6.07 c 01:05:39.446 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18903. 'extension(3, wk[19][6]=[0‥1]) :: init: true :: relation: MDD 1093703004, 4 edges, 3 vertices, 3 tuples
15.36/6.07 c 01:05:39.447 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18904. 'extension(x[47][19]=[0‥3], 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
15.36/6.07 c 01:05:39.447 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18905. 'extension(3, x[49][19]=[0‥3]) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
15.36/6.07 c 01:05:39.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18934. 'extension(x[48][1]=[0‥3], 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
15.36/6.07 c 01:05:39.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18935. 'extension(3, x[50][1]=[0‥3]) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
15.36/6.08 c 01:05:39.451 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18967. 'extension(3, 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
15.36/6.08 c 01:05:39.451 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18994. 'extension(x[48][15]=[0‥3], 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.36/6.08 c 01:05:39.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19027. 'extension(3, 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
15.36/6.08 c 01:05:39.453 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19057. 'extension(3, 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.36/6.08 c 01:05:39.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19084. 'extension(3, x[52][12]=[0‥3]) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
15.36/6.08 c 01:05:39.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19087. 'extension(3, 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
15.36/6.08 c 01:05:39.455 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19113. 'extension(3, x[52][15]=[0‥3]) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.36/6.08 c 01:05:39.456 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19116. 'extension(3, 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.36/6.09 c 01:05:39.458 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19142. 'extension(x[51][0]=[0‥3], 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
15.36/6.09 c 01:05:39.459 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19170. 'extension(3, x[54][0]=[0‥3]) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
15.36/6.09 c 01:05:39.459 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19173. 'extension(3, 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
15.36/6.09 c 01:05:39.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19197. 'extension(3, wk[6][7]=[0‥1]) :: init: true :: relation: MDD 1625097607, 4 edges, 3 vertices, 3 tuples
15.36/6.09 c 01:05:39.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19198. 'extension(x[53][6]=[0‥3], 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
15.36/6.09 c 01:05:39.462 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19223. 'extension(3, wk[6][7]=[0‥1]) :: init: true :: relation: MDD 572137576, 4 edges, 3 vertices, 3 tuples
15.36/6.09 c 01:05:39.462 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19224. 'extension(3, 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
15.36/6.09 c 01:05:39.462 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19225. 'extension(3, 3) :: init: true :: relation: MDD 1784551034, 4 edges, 3 vertices, 3 tuples
15.36/6.09 c 01:05:39.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19245. 'extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 1244560331, 4 edges, 3 vertices, 3 tuples
15.36/6.09 c 01:05:39.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19246. 'extension(x[54][13]=[0‥3], 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
15.36/6.09 c 01:05:39.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19247. 'extension(3, x[54][13]=[0‥3]) :: init: true :: relation: MDD 1007550632, 4 edges, 3 vertices, 3 tuples
15.36/6.10 c 01:05:39.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19308. 'extension(x[1][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.36/6.10 c 01:05:39.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19314. 'extension(x[1][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.36/6.10 c 01:05:39.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19316. 'extension(x[3][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.36/6.10 c 01:05:39.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19334. 'extension(wk[1][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.36/6.10 c 01:05:39.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19336. 'extension(wk[1][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.36/6.10 c 01:05:39.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19338. 'extension(x[7][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.36/6.10 c 01:05:39.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19348. 'extension(wk[4][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.36/6.10 c 01:05:39.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19350. 'extension(x[5][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.36/6.10 c 01:05:39.475 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19360. 'extension(x[9][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.36/6.10 c 01:05:39.475 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19366. 'extension(x[12][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.36/6.10 c 01:05:39.476 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19376. 'extension(x[12][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.36/6.10 c 01:05:39.476 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19390. 'extension(x[10][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.477 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19392. 'extension(x[12][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.477 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19406. 'extension(wk[14][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19408. 'extension(x[12][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19410. 'extension(x[14][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19424. 'extension(x[14][3]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19430. 'extension(x[14][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19436. 'extension(x[14][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19454. 'extension(x[15][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.481 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19460. 'extension(x[18][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19470. 'extension(x[16][8]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19476. 'extension(x[18][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19490. 'extension(x[16][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.484 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19500. 'extension(x[17][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.484 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19506. 'extension(x[19][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19520. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19522. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19524. 'extension(wk[16][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.486 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19530. 'extension(wk[19][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.486 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19532. 'extension(x[20][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.486 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19542. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19544. 'extension(x[21][3]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19554. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19556. 'extension(wk[16][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19558. 'extension(x[23][8]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.11 c 01:05:39.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19568. 'extension(x[22][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.13 c 01:05:39.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19574. 'extension(x[22][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.13 c 01:05:39.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19580. 'extension(x[22][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19586. 'extension(x[22][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19588. 'extension(x[24][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19602. 'extension(x[24][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19624. 'extension(x[26][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19634. 'extension(wk[2][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19636. 'extension(wk[10][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19638. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19640. 'extension(x[25][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19642. 'extension(x[27][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19656. 'extension(wk[14][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19658. 'extension(x[25][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19664. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19666. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19672. 'extension(wk[2][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19674. 'extension(x[28][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19684. 'extension(wk[10][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19686. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19688. 'extension(x[26][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19694. 'extension(wk[14][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19700. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19702. 'extension(x[28][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19716. 'extension(x[29][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.516 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19730. 'extension(x[27][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.516 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19732. 'extension(x[29][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19746. 'extension(x[30][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19756. 'extension(x[31][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.518 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19766. 'extension(x[30][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.518 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19772. 'extension(x[31][0]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.518 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19778. 'extension(x[31][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.519 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19784. 'extension(x[33][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.519 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19798. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.520 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19804. 'extension(wk[2][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.520 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19806. 'extension(x[32][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.14 c 01:05:39.520 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19808. 'extension(x[34][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.521 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19822. 'extension(wk[6][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.521 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19828. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.521 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19830. 'extension(wk[6][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.522 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19832. 'extension(wk[9][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.522 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19834. 'extension(x[33][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.522 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19840. 'extension(x[36][0]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19850. 'extension(x[36][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19864. 'extension(x[34][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19866. 'extension(x[36][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.524 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19880. 'extension(x[35][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.524 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19886. 'extension(x[36][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19892. 'extension(x[36][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19894. 'extension(x[38][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.526 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19916. 'extension(x[39][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19926. 'extension(x[40][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19936. 'extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19938. 'extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19940. 'extension(wk[13][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19942. 'extension(x[40][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19948. 'extension(x[43][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19958. 'extension(x[43][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19972. 'extension(x[43][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19974. 'extension(x[45][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19988. 'extension(x[45][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.15 c 01:05:39.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19994. 'extension(wk[12][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.16 c 01:05:39.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20000. 'extension(wk[12][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.16 c 01:05:39.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20002. 'extension(wk[19][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.16 c 01:05:39.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20004. 'extension(x[47][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.16 c 01:05:39.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20006. 'extension(x[49][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.16 c 01:05:39.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20020. 'extension(x[48][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.16 c 01:05:39.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20022. 'extension(x[50][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.16 c 01:05:39.533 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20036. 'extension(x[48][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.16 c 01:05:39.533 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20046. 'extension(x[52][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.16 c 01:05:39.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20056. 'extension(x[52][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.16 c 01:05:39.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20066. 'extension(x[51][0]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.16 c 01:05:39.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20072. 'extension(x[54][0]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.16 c 01:05:39.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20086. 'extension(wk[6][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.16 c 01:05:39.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20088. 'extension(x[53][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.16 c 01:05:39.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20094. 'extension(wk[6][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.16 c 01:05:39.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20100. 'extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.67/6.16 c 01:05:39.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20102. 'extension(x[54][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.67/6.16 c 01:05:39.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20104. 'extension(x[54][13]=[0‥3]) :: init: true :: relation: Empty MDD
2520.10/2451.32 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.10/2451.32 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.10/2451.32 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.10/2451.32 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.10/2451.32 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.10/2451.32 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.10/2451.32 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.10/2451.32 at concrete.IntervalDomain.filter(IntervalDomain.scala:81)
2520.10/2451.32 at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
2520.10/2451.32 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.10/2451.32 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.10/2451.32 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.10/2451.32 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.10/2451.32 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.10/2451.32 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.10/2451.32 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.10/2451.32 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.10/2451.32 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108)
2520.10/2451.32 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.10/2451.32 at scala.Option.map(Option.scala:146)
2520.10/2451.32 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.10/2451.32 at concrete.MAC.mac(MAC.scala:203)
2520.10/2451.32 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.10/2451.32 at scala.util.Try$.apply(Try.scala:209)
2520.10/2451.32 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.10/2451.32 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.10/2451.32 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.10/2451.32 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.10/2451.32 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.10/2451.32 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.10/2451.32 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.10/2451.32 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.10/2451.32 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.10/2451.32 at concrete.MAC.oneRun(MAC.scala:253)
2520.10/2451.32 at concrete.MAC.nextSolution(MAC.scala:272)
2520.10/2451.32 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.10/2451.32 at concrete.ProblemState.map(ProblemState.scala:221)
2520.10/2451.32 at concrete.ProblemState.map(ProblemState.scala:204)
2520.10/2451.32 at concrete.MAC.nextSolution(MAC.scala:334)
2520.10/2451.32 at concrete.Solver.hasNext(Solver.scala:166)
2520.10/2451.32 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.10/2451.32 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.10/2451.32 at concrete.Solver.foreach(Solver.scala:68)
2520.10/2451.32 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.10/2451.32 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.10/2451.32 at scala.util.Success.map(Try.scala:209)
2520.10/2451.32 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.10/2451.32 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.10/2451.32 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.10/2451.32 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.10/2451.32 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.10/2451.32 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.10/2451.32 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.10/2451.32 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.10/2451.32 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.10/2451.32 at scala.collection.immutable.List.foreach(List.scala:389)
2520.10/2451.32 at scala.App.main(App.scala:76)
2520.10/2451.32 at scala.App.main$(App.scala:74)
2520.10/2451.32 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.10/2451.32 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.10/2451.33 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 (7013 MiB free)
memory of node 1: 16384 MiB (10444 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292954-1532300733/watcher-4292954-1532300733 -o /tmp/evaluation-result-4292954-1532300733/solver-4292954-1532300733 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532295772-9832 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2075947571 -superng HOME/instance-4292954-1532300733.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10660, runsolver pid=10657
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 1.36 1.39 1.46 2/206 10717
/proc/meminfo: memFree=17868220/32770624 swapFree=67108860/67108860
[pid=10660] ppid=10657 vsize=9972712 memory=17072 CPUtime=0.1 cores=1,3,5,7
/proc/10660/stat : 10660 (java) S 10657 10660 9800 0 -1 1077944320 4412 12924 0 0 1 1 5 3 20 0 6 0 47636152 10212057088 4268 33554432000 4194304 4196468 140726446833456 140726446816000 139851220893431 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
/proc/10660/statm: 2493178 4268 1934 1 0 2481616 0
[pid=10660/tid=10713] ppid=10657 vsize=9972712 memory=4279135703946853774 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10713/stat : 10713 (java) R 10657 10660 9800 0 -1 4202560 2251 12924 0 0 0 0 5 3 20 0 6 0 47636160 10212057088 4268 33554432000 4194304 4196468 140726446833456 139851192730192 139851206016368 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10714] ppid=10657 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10714/stat : 10714 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 6 0 47636161 10212057088 4268 33554432000 4194304 4196468 140726446833456 139851225127568 139851220903637 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10715] ppid=10657 vsize=9972712 memory=139949200971392 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10715/stat : 10715 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 6 0 47636161 10212057088 4268 33554432000 4194304 4196468 140726446833456 139851124025872 139851220903637 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10716] ppid=10657 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10716/stat : 10716 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 6 0 47636161 10212057088 4268 33554432000 4194304 4196468 140726446833456 139851122973072 139851220903637 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10717] ppid=10657 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10717/stat : 10717 (java) S 10657 10660 9800 0 -1 1077944384 2 12924 0 0 0 0 5 3 20 0 6 0 47636161 10212057088 4268 33554432000 4194304 4196468 140726446833456 139851121920272 139851220903637 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17072 KiB
[startup+0.210671 s]*
/proc/loadavg: 1.36 1.39 1.46 4/215 10726
/proc/meminfo: memFree=17845476/32770624 swapFree=67108860/67108860
[pid=10660] ppid=10657 vsize=10818904 memory=43532 CPUtime=0.26 cores=1,3,5,7
/proc/10660/stat : 10660 (java) S 10657 10660 9800 0 -1 1077944320 8102 12924 0 0 16 2 5 3 20 0 15 0 47636152 11078557696 10883 33554432000 4194304 4196468 140726446833456 140726446816000 139851220893431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
/proc/10660/statm: 2704726 10883 2970 1 0 2667149 0
[pid=10660/tid=10713] ppid=10657 vsize=10818904 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/10660/task/10713/stat : 10713 (java) R 10657 10660 9800 0 -1 4202560 4741 12924 0 0 10 1 5 3 20 0 15 0 47636160 11078557696 10883 33554432000 4194304 4196468 140726446833456 139851192724376 139851204973918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10714] ppid=10657 vsize=10818904 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10714/stat : 10714 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636161 11078557696 10883 33554432000 4194304 4196468 140726446833456 139851225127568 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10715] ppid=10657 vsize=10818904 memory=139949200982178 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10715/stat : 10715 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636161 11078557696 10883 33554432000 4194304 4196468 140726446833456 139851124025872 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10716] ppid=10657 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10716/stat : 10716 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636161 11078557696 10883 33554432000 4194304 4196468 140726446833456 139851122973072 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10717] ppid=10657 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10717/stat : 10717 (java) S 10657 10660 9800 0 -1 1077944384 2 12924 0 0 0 0 5 3 20 0 15 0 47636161 11078557696 10883 33554432000 4194304 4196468 140726446833456 139851121920272 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10718] ppid=10657 vsize=10818904 memory=139949200971392 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10718/stat : 10718 (java) S 10657 10660 9800 0 -1 1077944384 2 12924 0 0 0 0 5 3 20 0 15 0 47636163 11078557696 10883 33554432000 4194304 4196468 140726446833456 139850680138608 139851220904578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10719] ppid=10657 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10719/stat : 10719 (java) S 10657 10660 9800 0 -1 1077944384 33 12924 0 0 0 0 5 3 20 0 15 0 47636163 11078557696 10883 33554432000 4194304 4196468 140726446833456 139850679084576 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10720] ppid=10657 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10720/stat : 10720 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636163 11078557696 10883 33554432000 4194304 4196468 140726446833456 139850107839856 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10721] ppid=10657 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10721/stat : 10721 (java) S 10657 10660 9800 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 47636166 11078557696 10883 33554432000 4194304 4196468 140726446833456 139849800440144 139851220912027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10722] ppid=10657 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10660/task/10722/stat : 10722 (java) S 10657 10660 9800 0 -1 1077944384 496 12924 0 0 1 0 5 3 20 0 15 0 47636166 11078557696 10883 33554432000 4194304 4196468 140726446833456 139850322798960 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10723] ppid=10657 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10723/stat : 10723 (java) S 10657 10660 9800 0 -1 1077944384 88 12924 0 0 0 0 5 3 20 0 15 0 47636166 11078557696 10883 33554432000 4194304 4196468 140726446833456 139850321746160 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10724] ppid=10657 vsize=10818904 memory=139949200971392 CPUtime=0.11 cores=1,3,5,7
/proc/10660/task/10724/stat : 10724 (java) S 10657 10660 9800 0 -1 1077944384 545 12924 0 0 3 0 5 3 20 0 15 0 47636166 11078557696 10883 33554432000 4194304 4196468 140726446833456 139850320693360 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10725] ppid=10657 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10725/stat : 10725 (java) S 10657 10660 9800 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 47636166 11078557696 10883 33554432000 4194304 4196468 140726446833456 139849766881504 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10726] ppid=10657 vsize=10818904 memory=139949200971392 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10726/stat : 10726 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636166 11078557696 10883 33554432000 4194304 4196468 140726446833456 139850319641776 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43532 KiB
[startup+0.310229 s]*
/proc/loadavg: 1.36 1.39 1.46 5/215 10726
/proc/meminfo: memFree=17833072/32770624 swapFree=67108860/67108860
[pid=10660] ppid=10657 vsize=10819352 memory=54164 CPUtime=0.38 cores=1,3,5,7
/proc/10660/stat : 10660 (java) S 10657 10660 9800 0 -1 1077944320 10598 12924 0 0 27 3 5 3 20 0 15 0 47636152 11079016448 13541 33554432000 4194304 4196468 140726446833456 140726446816000 139851220893431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
/proc/10660/statm: 2704838 13541 3089 1 0 2667149 0
[pid=10660/tid=10713] ppid=10657 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10660/task/10713/stat : 10713 (java) R 10657 10660 9800 0 -1 4202560 7223 12924 0 0 19 2 5 3 20 0 15 0 47636160 11079016448 13541 33554432000 4194304 4196468 140726446833456 139851192705440 139850797131126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10714] ppid=10657 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10714/stat : 10714 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636161 11079016448 13541 33554432000 4194304 4196468 140726446833456 139851225127568 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10715] ppid=10657 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10715/stat : 10715 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636161 11079016448 13541 33554432000 4194304 4196468 140726446833456 139851124025872 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10716] ppid=10657 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10716/stat : 10716 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636161 11079016448 13541 33554432000 4194304 4196468 140726446833456 139851122973072 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10717] ppid=10657 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10717/stat : 10717 (java) S 10657 10660 9800 0 -1 1077944384 2 12924 0 0 0 0 5 3 20 0 15 0 47636161 11079016448 13541 33554432000 4194304 4196468 140726446833456 139851121920272 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10718] ppid=10657 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10718/stat : 10718 (java) S 10657 10660 9800 0 -1 1077944384 2 12924 0 0 0 0 5 3 20 0 15 0 47636163 11079016448 13541 33554432000 4194304 4196468 140726446833456 139850680138608 139851220904578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10719] ppid=10657 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10719/stat : 10719 (java) S 10657 10660 9800 0 -1 1077944384 33 12924 0 0 0 0 5 3 20 0 15 0 47636163 11079016448 13541 33554432000 4194304 4196468 140726446833456 139850679084576 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10720] ppid=10657 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10720/stat : 10720 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636163 11079016448 13541 33554432000 4194304 4196468 140726446833456 139850107839856 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10721] ppid=10657 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10721/stat : 10721 (java) S 10657 10660 9800 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 47636166 11079016448 13541 33554432000 4194304 4196468 140726446833456 139849800440144 139851220912027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10722] ppid=10657 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10660/task/10722/stat : 10722 (java) S 10657 10660 9800 0 -1 1077944384 497 12924 0 0 1 0 5 3 20 0 15 0 47636166 11079016448 13541 33554432000 4194304 4196468 140726446833456 139850322798960 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10723] ppid=10657 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/10660/task/10723/stat : 10723 (java) S 10657 10660 9800 0 -1 1077944384 88 12924 0 0 1 0 5 3 20 0 15 0 47636166 11079016448 13541 33554432000 4194304 4196468 140726446833456 139850321746160 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10724] ppid=10657 vsize=10819352 memory=139949200971392 CPUtime=0.13 cores=1,3,5,7
/proc/10660/task/10724/stat : 10724 (java) S 10657 10660 9800 0 -1 1077944384 555 12924 0 0 5 0 5 3 20 0 15 0 47636166 11079016448 13541 33554432000 4194304 4196468 140726446833456 139850320693360 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10725] ppid=10657 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10725/stat : 10725 (java) S 10657 10660 9800 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 47636166 11079016448 13541 33554432000 4194304 4196468 140726446833456 139849766881504 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10726] ppid=10657 vsize=10819352 memory=139949200971392 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10726/stat : 10726 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636166 11079016448 13541 33554432000 4194304 4196468 140726446833456 139850319641776 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54164 KiB
[startup+0.70076 s]
/proc/loadavg: 1.36 1.39 1.46 4/215 10726
/proc/meminfo: memFree=17818932/32770624 swapFree=67108860/67108860
[pid=10660] ppid=10657 vsize=10819352 memory=86588 CPUtime=1 cores=1,3,5,7
/proc/10660/stat : 10660 (java) S 10657 10660 9800 0 -1 1077944320 16764 12924 0 0 87 5 5 3 20 0 15 0 47636152 11079016448 21647 33554432000 4194304 4196468 140726446833456 140726446816000 139851220893431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
/proc/10660/statm: 2704838 21647 3237 1 0 2667149 0
[pid=10660/tid=10713] ppid=10657 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/10660/task/10713/stat : 10713 (java) R 10657 10660 9800 0 -1 4202560 12320 12924 0 0 55 3 5 3 20 0 15 0 47636160 11079016448 21647 33554432000 4194304 4196468 140726446833456 139851192714256 139851202456960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10714] ppid=10657 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10714/stat : 10714 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636161 11079016448 21647 33554432000 4194304 4196468 140726446833456 139851225127568 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10715] ppid=10657 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10715/stat : 10715 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636161 11079016448 21647 33554432000 4194304 4196468 140726446833456 139851124025872 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10716] ppid=10657 vsize=10819352 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10716/stat : 10716 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636161 11079016448 21647 33554432000 4194304 4196468 140726446833456 139851122973072 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10717] ppid=10657 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10717/stat : 10717 (java) S 10657 10660 9800 0 -1 1077944384 2 12924 0 0 0 0 5 3 20 0 15 0 47636161 11079016448 21647 33554432000 4194304 4196468 140726446833456 139851121920272 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10718] ppid=10657 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10718/stat : 10718 (java) S 10657 10660 9800 0 -1 1077944384 5 12924 0 0 0 0 5 3 20 0 15 0 47636163 11079016448 21647 33554432000 4194304 4196468 140726446833456 139850680138608 139851220904578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10719] ppid=10657 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10719/stat : 10719 (java) S 10657 10660 9800 0 -1 1077944384 33 12924 0 0 0 0 5 3 20 0 15 0 47636163 11079016448 21647 33554432000 4194304 4196468 140726446833456 139850679084576 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10720] ppid=10657 vsize=10819352 memory=139949093565200 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10720/stat : 10720 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636163 11079016448 21647 33554432000 4194304 4196468 140726446833456 139850107839856 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10721] ppid=10657 vsize=10819352 memory=139951509340753 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10721/stat : 10721 (java) S 10657 10660 9800 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 47636166 11079016448 21647 33554432000 4194304 4196468 140726446833456 139849800440144 139851220912027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10722] ppid=10657 vsize=10819352 memory=14004 CPUtime=0.16 cores=1,3,5,7
/proc/10660/task/10722/stat : 10722 (java) S 10657 10660 9800 0 -1 1077944384 903 12924 0 0 8 0 5 3 20 0 15 0 47636166 11079016448 21647 33554432000 4194304 4196468 140726446833456 139850322798960 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10723] ppid=10657 vsize=10819352 memory=4639098309541127269 CPUtime=0.17 cores=1,3,5,7
/proc/10660/task/10723/stat : 10723 (java) S 10657 10660 9800 0 -1 1077944384 681 12924 0 0 9 0 5 3 20 0 15 0 47636166 11079016448 21647 33554432000 4194304 4196468 140726446833456 139850321746160 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10724] ppid=10657 vsize=10819352 memory=7813023418146120529 CPUtime=0.21 cores=1,3,5,7
/proc/10660/task/10724/stat : 10724 (java) S 10657 10660 9800 0 -1 1077944384 622 12924 0 0 13 0 5 3 20 0 15 0 47636166 11079016448 21647 33554432000 4194304 4196468 140726446833456 139850320693360 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10725] ppid=10657 vsize=10819352 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10725/stat : 10725 (java) S 10657 10660 9800 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 47636166 11079016448 21647 33554432000 4194304 4196468 140726446833456 139849766881504 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10726] ppid=10657 vsize=10819352 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10726/stat : 10726 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636166 11079016448 21647 33554432000 4194304 4196468 140726446833456 139850319641776 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86588 KiB
[startup+1.50167 s]
/proc/loadavg: 1.36 1.39 1.46 6/215 10726
/proc/meminfo: memFree=17761688/32770624 swapFree=67108860/67108860
[pid=10660] ppid=10657 vsize=10830156 memory=169808 CPUtime=3.04 cores=1,3,5,7
/proc/10660/stat : 10660 (java) S 10657 10660 9800 0 -1 1077944320 23791 12924 0 0 288 8 5 3 20 0 15 0 47636152 11090079744 42452 33554432000 4194304 4196468 140726446833456 140726446816000 139851220893431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
/proc/10660/statm: 2707539 42452 3451 1 0 2669197 0
[pid=10660/tid=10713] ppid=10657 vsize=10830156 memory=12848 CPUtime=1.46 cores=1,3,5,7
/proc/10660/task/10713/stat : 10713 (java) R 10657 10660 9800 0 -1 4202560 16194 12924 0 0 132 6 5 3 20 0 15 0 47636160 11090079744 42452 33554432000 4194304 4196468 140726446833456 139851192726048 139851220915357 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10714] ppid=10657 vsize=10830156 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10714/stat : 10714 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636161 11090079744 42452 33554432000 4194304 4196468 140726446833456 139851225127568 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10715] ppid=10657 vsize=10830156 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10715/stat : 10715 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636161 11090079744 42452 33554432000 4194304 4196468 140726446833456 139851124025872 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10716] ppid=10657 vsize=10830156 memory=2424 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10716/stat : 10716 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636161 11090079744 42452 33554432000 4194304 4196468 140726446833456 139851122973072 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10717] ppid=10657 vsize=10830156 memory=86588 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10717/stat : 10717 (java) S 10657 10660 9800 0 -1 1077944384 2 12924 0 0 0 0 5 3 20 0 15 0 47636161 11090079744 42452 33554432000 4194304 4196468 140726446833456 139851121920272 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10718] ppid=10657 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10718/stat : 10718 (java) S 10657 10660 9800 0 -1 1077944384 12 12924 0 0 0 0 5 3 20 0 15 0 47636163 11090079744 42452 33554432000 4194304 4196468 140726446833456 139850680138608 139851220904578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10719] ppid=10657 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10719/stat : 10719 (java) S 10657 10660 9800 0 -1 1077944384 33 12924 0 0 0 0 5 3 20 0 15 0 47636163 11090079744 42452 33554432000 4194304 4196468 140726446833456 139850679084576 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10720] ppid=10657 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10720/stat : 10720 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636163 11090079744 42452 33554432000 4194304 4196468 140726446833456 139850107839856 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10721] ppid=10657 vsize=10830156 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10721/stat : 10721 (java) S 10657 10660 9800 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 47636166 11090079744 42452 33554432000 4194304 4196468 140726446833456 139849800440144 139851220912027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10722] ppid=10657 vsize=10830156 memory=6935649255759568960 CPUtime=0.6 cores=1,3,5,7
/proc/10660/task/10722/stat : 10722 (java) S 10657 10660 9800 0 -1 1077944384 1831 12924 0 0 52 0 5 3 20 0 15 0 47636166 11090079744 42452 33554432000 4194304 4196468 140726446833456 139850322798960 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10723] ppid=10657 vsize=10830156 memory=279898187406208 CPUtime=0.6 cores=1,3,5,7
/proc/10660/task/10723/stat : 10723 (java) R 10657 10660 9800 0 -1 4202560 1967 12924 0 0 52 0 5 3 20 0 15 0 47636166 11090079744 42452 33554432000 4194304 4196468 140726446833456 139850321746456 139851204376867 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10724] ppid=10657 vsize=10830156 memory=6944656592452938395 CPUtime=0.56 cores=1,3,5,7
/proc/10660/task/10724/stat : 10724 (java) S 10657 10660 9800 0 -1 1077944384 1554 12924 0 0 48 0 5 3 20 0 15 0 47636166 11090079744 42452 33554432000 4194304 4196468 140726446833456 139850320693360 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10725] ppid=10657 vsize=10830156 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10725/stat : 10725 (java) S 10657 10660 9800 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 47636166 11090079744 42452 33554432000 4194304 4196468 140726446833456 139849766881504 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10726] ppid=10657 vsize=10830156 memory=4206468019014099040 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10726/stat : 10726 (java) S 10657 10660 9800 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 47636166 11090079744 42452 33554432000 4194304 4196468 140726446833456 139850319641776 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 10830156 KiB
################
# More data... #
################
/proc/10660/task/10713/stat : 10713 (java) R 10657 10660 9800 0 -1 4202560 104290 12924 0 0 235794 50 5 3 20 0 15 0 47636160 11180277760 257697 33554432000 4194304 4196468 140726446833456 139851192727584 139850821509418 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10714] ppid=10657 vsize=10918240 memory=1030784 CPUtime=13.74 cores=1,3,5,7
/proc/10660/task/10714/stat : 10714 (java) S 10657 10660 9800 0 -1 1077944384 19811 12924 0 0 1297 69 5 3 20 0 15 0 47636161 11180277760 257697 33554432000 4194304 4196468 140726446833456 139851225127568 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10715] ppid=10657 vsize=10918240 memory=1030784 CPUtime=13.71 cores=1,3,5,7
/proc/10660/task/10715/stat : 10715 (java) S 10657 10660 9800 0 -1 1077944384 18185 12924 0 0 1296 67 5 3 20 0 15 0 47636161 11180277760 257697 33554432000 4194304 4196468 140726446833456 139851124025872 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10716] ppid=10657 vsize=10918240 memory=1030788 CPUtime=13.75 cores=1,3,5,7
/proc/10660/task/10716/stat : 10716 (java) S 10657 10660 9800 0 -1 1077944384 26772 12924 0 0 1299 68 5 3 20 0 15 0 47636161 11180277760 257697 33554432000 4194304 4196468 140726446833456 139851122973072 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10717] ppid=10657 vsize=10918240 memory=1030788 CPUtime=13.71 cores=1,3,5,7
/proc/10660/task/10717/stat : 10717 (java) S 10657 10660 9800 0 -1 1077944384 23752 12924 0 0 1294 69 5 3 20 0 15 0 47636161 11180277760 257697 33554432000 4194304 4196468 140726446833456 139851121920272 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10718] ppid=10657 vsize=10918240 memory=1030784 CPUtime=6.95 cores=1,3,5,7
/proc/10660/task/10718/stat : 10718 (java) S 10657 10660 9800 0 -1 1077944384 18527 12924 0 0 643 44 5 3 20 0 15 0 47636163 11180277760 257697 33554432000 4194304 4196468 140726446833456 139850680138608 139851220904578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10719] ppid=10657 vsize=10918240 memory=1030788 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10719/stat : 10719 (java) S 10657 10660 9800 0 -1 1077944384 39 12924 0 0 0 0 5 3 20 0 15 0 47636163 11180277760 257697 33554432000 4194304 4196468 140726446833456 139850679084704 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10720] ppid=10657 vsize=10918240 memory=1030788 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10720/stat : 10720 (java) S 10657 10660 9800 0 -1 1077944384 5 12924 0 0 0 0 5 3 20 0 15 0 47636163 11180277760 257697 33554432000 4194304 4196468 140726446833456 139850107839872 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10721] ppid=10657 vsize=10918240 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10721/stat : 10721 (java) S 10657 10660 9800 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 47636166 11180277760 257697 33554432000 4194304 4196468 140726446833456 139849800440144 139851220912027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10722] ppid=10657 vsize=10918240 memory=0 CPUtime=11.72 cores=1,3,5,7
/proc/10660/task/10722/stat : 10722 (java) S 10657 10660 9800 0 -1 1077944384 85381 12924 0 0 1155 9 5 3 20 0 15 0 47636166 11180277760 257697 33554432000 4194304 4196468 140726446833456 139850322798960 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10723] ppid=10657 vsize=10918240 memory=1028680 CPUtime=11.92 cores=1,3,5,7
/proc/10660/task/10723/stat : 10723 (java) S 10657 10660 9800 0 -1 1077944384 76321 12924 0 0 1176 8 5 3 20 0 15 0 47636166 11180277760 257697 33554432000 4194304 4196468 140726446833456 139850321746160 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10724] ppid=10657 vsize=10918240 memory=4140 CPUtime=5.07 cores=1,3,5,7
/proc/10660/task/10724/stat : 10724 (java) S 10657 10660 9800 0 -1 1077944384 83041 12924 0 0 489 10 5 3 20 0 15 0 47636166 11180277760 257697 33554432000 4194304 4196468 140726446833456 139850320693360 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10725] ppid=10657 vsize=10918240 memory=1171952 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10725/stat : 10725 (java) S 10657 10660 9800 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 47636166 11180277760 257697 33554432000 4194304 4196468 140726446833456 139849766881504 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10726] ppid=10657 vsize=10918240 memory=1404 CPUtime=1.37 cores=1,3,5,7
/proc/10660/task/10726/stat : 10726 (java) S 10657 10660 9800 0 -1 1077944384 1311 12924 0 0 62 67 5 3 20 0 15 0 47636166 11180277760 257697 33554432000 4194304 4196468 140726446833456 139850319641776 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
Current children cumulated CPU time: 2449.86 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1030788 KiB
[startup+2442.3 s]
/proc/loadavg: 1.30 1.47 1.47 3/215 10799
/proc/meminfo: memFree=15910276/32770624 swapFree=67108860/67108860
[pid=10660] ppid=10657 vsize=10918240 memory=1030852 CPUtime=2510.92 cores=1,3,5,7
/proc/10660/stat : 10660 (java) S 10657 10660 9800 0 -1 1077944320 461025 12924 0 0 250665 419 5 3 20 0 15 0 47636152 11180277760 257713 33554432000 4194304 4196468 140726446833456 140726446816000 139851220893431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
/proc/10660/statm: 2729560 257713 3536 1 0 2691213 0
[pid=10660/tid=10713] ppid=10657 vsize=10918240 memory=1030844 CPUtime=2417.85 cores=1,3,5,7
/proc/10660/task/10713/stat : 10713 (java) R 10657 10660 9800 0 -1 4202560 104889 12924 0 0 241726 51 5 3 20 0 15 0 47636160 11180277760 257713 33554432000 4194304 4196468 140726446833456 139851192728512 139850812828032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10714] ppid=10657 vsize=10918240 memory=1030852 CPUtime=14.12 cores=1,3,5,7
/proc/10660/task/10714/stat : 10714 (java) S 10657 10660 9800 0 -1 1077944384 19945 12924 0 0 1334 70 5 3 20 0 15 0 47636161 11180277760 257713 33554432000 4194304 4196468 140726446833456 139851225127568 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10715] ppid=10657 vsize=10918240 memory=1030844 CPUtime=14.08 cores=1,3,5,7
/proc/10660/task/10715/stat : 10715 (java) S 10657 10660 9800 0 -1 1077944384 18355 12924 0 0 1332 68 5 3 20 0 15 0 47636161 11180277760 257713 33554432000 4194304 4196468 140726446833456 139851124025872 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10716] ppid=10657 vsize=10918240 memory=1030788 CPUtime=14.13 cores=1,3,5,7
/proc/10660/task/10716/stat : 10716 (java) S 10657 10660 9800 0 -1 1077944384 26859 12924 0 0 1336 69 5 3 20 0 15 0 47636161 11180277760 257713 33554432000 4194304 4196468 140726446833456 139851122973072 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10717] ppid=10657 vsize=10918240 memory=1030788 CPUtime=14.08 cores=1,3,5,7
/proc/10660/task/10717/stat : 10717 (java) S 10657 10660 9800 0 -1 1077944384 23913 12924 0 0 1331 69 5 3 20 0 15 0 47636161 11180277760 257713 33554432000 4194304 4196468 140726446833456 139851121920272 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10718] ppid=10657 vsize=10918240 memory=1030824 CPUtime=7.15 cores=1,3,5,7
/proc/10660/task/10718/stat : 10718 (java) S 10657 10660 9800 0 -1 1077944384 18751 12924 0 0 662 45 5 3 20 0 15 0 47636163 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850680138608 139851220904578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10719] ppid=10657 vsize=10918240 memory=1030844 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10719/stat : 10719 (java) S 10657 10660 9800 0 -1 1077944384 39 12924 0 0 0 0 5 3 20 0 15 0 47636163 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850679084704 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10720] ppid=10657 vsize=10918240 memory=1030844 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10720/stat : 10720 (java) S 10657 10660 9800 0 -1 1077944384 5 12924 0 0 0 0 5 3 20 0 15 0 47636163 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850107839872 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10721] ppid=10657 vsize=10918240 memory=1030844 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10721/stat : 10721 (java) S 10657 10660 9800 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139849800440144 139851220912027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10722] ppid=10657 vsize=10918240 memory=1030844 CPUtime=11.72 cores=1,3,5,7
/proc/10660/task/10722/stat : 10722 (java) S 10657 10660 9800 0 -1 1077944384 85383 12924 0 0 1155 9 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850322798960 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10723] ppid=10657 vsize=10918240 memory=1030852 CPUtime=11.92 cores=1,3,5,7
/proc/10660/task/10723/stat : 10723 (java) S 10657 10660 9800 0 -1 1077944384 76323 12924 0 0 1176 8 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850321746160 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10724] ppid=10657 vsize=10918240 memory=1030852 CPUtime=5.08 cores=1,3,5,7
/proc/10660/task/10724/stat : 10724 (java) S 10657 10660 9800 0 -1 1077944384 83043 12924 0 0 490 10 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850320693360 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10725] ppid=10657 vsize=10918240 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10725/stat : 10725 (java) S 10657 10660 9800 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139849766881504 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10726] ppid=10657 vsize=10918240 memory=15904 CPUtime=1.41 cores=1,3,5,7
/proc/10660/task/10726/stat : 10726 (java) S 10657 10660 9800 0 -1 1077944384 1327 12924 0 0 64 69 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850319641776 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
Current children cumulated CPU time: 2510.92 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1030852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2451.31 s]
/proc/loadavg: 1.10 1.42 1.46 3/215 10799
/proc/meminfo: memFree=15910276/32770624 swapFree=67108860/67108860
[pid=10660] ppid=10657 vsize=10918240 memory=1030852 CPUtime=2520.1 cores=1,3,5,7
/proc/10660/stat : 10660 (java) S 10657 10660 9800 0 -1 1077944320 461070 12924 0 0 251581 421 5 3 20 0 15 0 47636152 11180277760 257713 33554432000 4194304 4196468 140726446833456 140726446816000 139851220893431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
/proc/10660/statm: 2729560 257713 3536 1 0 2691213 0
[pid=10660/tid=10713] ppid=10657 vsize=10918240 memory=1030852 CPUtime=2426.75 cores=1,3,5,7
/proc/10660/task/10713/stat : 10713 (java) R 10657 10660 9800 0 -1 4202560 104927 12924 0 0 242616 51 5 3 20 0 15 0 47636160 11180277760 257713 33554432000 4194304 4196468 140726446833456 139851192727392 139850796858936 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10714] ppid=10657 vsize=10918240 memory=1030852 CPUtime=14.18 cores=1,3,5,7
/proc/10660/task/10714/stat : 10714 (java) S 10657 10660 9800 0 -1 1077944384 19946 12924 0 0 1340 70 5 3 20 0 15 0 47636161 11180277760 257713 33554432000 4194304 4196468 140726446833456 139851225127568 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10715] ppid=10657 vsize=10918240 memory=1030844 CPUtime=14.14 cores=1,3,5,7
/proc/10660/task/10715/stat : 10715 (java) S 10657 10660 9800 0 -1 1077944384 18356 12924 0 0 1338 68 5 3 20 0 15 0 47636161 11180277760 257713 33554432000 4194304 4196468 140726446833456 139851124025872 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10716] ppid=10657 vsize=10918240 memory=1030844 CPUtime=14.19 cores=1,3,5,7
/proc/10660/task/10716/stat : 10716 (java) S 10657 10660 9800 0 -1 1077944384 26860 12924 0 0 1342 69 5 3 20 0 15 0 47636161 11180277760 257713 33554432000 4194304 4196468 140726446833456 139851122973072 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10717] ppid=10657 vsize=10918240 memory=1030824 CPUtime=14.14 cores=1,3,5,7
/proc/10660/task/10717/stat : 10717 (java) S 10657 10660 9800 0 -1 1077944384 23913 12924 0 0 1337 69 5 3 20 0 15 0 47636161 11180277760 257713 33554432000 4194304 4196468 140726446833456 139851121920272 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10718] ppid=10657 vsize=10918240 memory=1030788 CPUtime=7.18 cores=1,3,5,7
/proc/10660/task/10718/stat : 10718 (java) S 10657 10660 9800 0 -1 1077944384 18753 12924 0 0 665 45 5 3 20 0 15 0 47636163 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850680138608 139851220904578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10719] ppid=10657 vsize=10918240 memory=1030788 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10719/stat : 10719 (java) S 10657 10660 9800 0 -1 1077944384 39 12924 0 0 0 0 5 3 20 0 15 0 47636163 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850679084704 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10720] ppid=10657 vsize=10918240 memory=1030852 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10720/stat : 10720 (java) S 10657 10660 9800 0 -1 1077944384 5 12924 0 0 0 0 5 3 20 0 15 0 47636163 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850107839872 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10721] ppid=10657 vsize=10918240 memory=1030852 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10721/stat : 10721 (java) S 10657 10660 9800 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139849800440144 139851220912027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10722] ppid=10657 vsize=10918240 memory=6791534058613427641 CPUtime=11.72 cores=1,3,5,7
/proc/10660/task/10722/stat : 10722 (java) S 10657 10660 9800 0 -1 1077944384 85383 12924 0 0 1155 9 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850322798960 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10723] ppid=10657 vsize=10918240 memory=1030852 CPUtime=11.92 cores=1,3,5,7
/proc/10660/task/10723/stat : 10723 (java) S 10657 10660 9800 0 -1 1077944384 76323 12924 0 0 1176 8 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850321746160 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10724] ppid=10657 vsize=10918240 memory=8 CPUtime=5.08 cores=1,3,5,7
/proc/10660/task/10724/stat : 10724 (java) S 10657 10660 9800 0 -1 1077944384 83043 12924 0 0 490 10 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850320693360 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10725] ppid=10657 vsize=10918240 memory=1030852 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10725/stat : 10725 (java) S 10657 10660 9800 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139849766881504 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10726] ppid=10657 vsize=10918240 memory=15904 CPUtime=1.41 cores=1,3,5,7
/proc/10660/task/10726/stat : 10726 (java) S 10657 10660 9800 0 -1 1077944384 1329 12924 0 0 64 69 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850319641776 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1030852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2451.34 s]
# the end of solver process 10660 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.89 s, system=4.25376 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2451.31 s]
/proc/loadavg: 1.10 1.42 1.46 3/215 10799
/proc/meminfo: memFree=15910276/32770624 swapFree=67108860/67108860
[pid=10660] ppid=10657 vsize=10918240 memory=1030852 CPUtime=2520.1 cores=1,3,5,7
/proc/10660/stat : 10660 (java) S 10657 10660 9800 0 -1 1077944320 461070 12924 0 0 251581 421 5 3 20 0 15 0 47636152 11180277760 257713 33554432000 4194304 4196468 140726446833456 140726446816000 139851220893431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
/proc/10660/statm: 2729560 257713 3536 1 0 2691213 0
[pid=10660/tid=10713] ppid=10657 vsize=10918240 memory=1030852 CPUtime=2426.75 cores=1,3,5,7
/proc/10660/task/10713/stat : 10713 (java) R 10657 10660 9800 0 -1 4202560 104927 12924 0 0 242616 51 5 3 20 0 15 0 47636160 11180277760 257713 33554432000 4194304 4196468 140726446833456 139851192727392 139850796858936 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10714] ppid=10657 vsize=10918240 memory=1030852 CPUtime=14.18 cores=1,3,5,7
/proc/10660/task/10714/stat : 10714 (java) S 10657 10660 9800 0 -1 1077944384 19946 12924 0 0 1340 70 5 3 20 0 15 0 47636161 11180277760 257713 33554432000 4194304 4196468 140726446833456 139851225127568 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10715] ppid=10657 vsize=10918240 memory=1030844 CPUtime=14.14 cores=1,3,5,7
/proc/10660/task/10715/stat : 10715 (java) S 10657 10660 9800 0 -1 1077944384 18356 12924 0 0 1338 68 5 3 20 0 15 0 47636161 11180277760 257713 33554432000 4194304 4196468 140726446833456 139851124025872 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10716] ppid=10657 vsize=10918240 memory=1030844 CPUtime=14.19 cores=1,3,5,7
/proc/10660/task/10716/stat : 10716 (java) S 10657 10660 9800 0 -1 1077944384 26860 12924 0 0 1342 69 5 3 20 0 15 0 47636161 11180277760 257713 33554432000 4194304 4196468 140726446833456 139851122973072 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10717] ppid=10657 vsize=10918240 memory=1030824 CPUtime=14.14 cores=1,3,5,7
/proc/10660/task/10717/stat : 10717 (java) S 10657 10660 9800 0 -1 1077944384 23913 12924 0 0 1337 69 5 3 20 0 15 0 47636161 11180277760 257713 33554432000 4194304 4196468 140726446833456 139851121920272 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10718] ppid=10657 vsize=10918240 memory=1030788 CPUtime=7.18 cores=1,3,5,7
/proc/10660/task/10718/stat : 10718 (java) S 10657 10660 9800 0 -1 1077944384 18753 12924 0 0 665 45 5 3 20 0 15 0 47636163 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850680138608 139851220904578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10719] ppid=10657 vsize=10918240 memory=1030788 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10719/stat : 10719 (java) S 10657 10660 9800 0 -1 1077944384 39 12924 0 0 0 0 5 3 20 0 15 0 47636163 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850679084704 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10720] ppid=10657 vsize=10918240 memory=1030852 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10720/stat : 10720 (java) S 10657 10660 9800 0 -1 1077944384 5 12924 0 0 0 0 5 3 20 0 15 0 47636163 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850107839872 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10721] ppid=10657 vsize=10918240 memory=1030852 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10721/stat : 10721 (java) S 10657 10660 9800 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139849800440144 139851220912027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10722] ppid=10657 vsize=10918240 memory=6791534058613427641 CPUtime=11.72 cores=1,3,5,7
/proc/10660/task/10722/stat : 10722 (java) S 10657 10660 9800 0 -1 1077944384 85383 12924 0 0 1155 9 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850322798960 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10723] ppid=10657 vsize=10918240 memory=1030852 CPUtime=11.92 cores=1,3,5,7
/proc/10660/task/10723/stat : 10723 (java) S 10657 10660 9800 0 -1 1077944384 76323 12924 0 0 1176 8 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850321746160 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10724] ppid=10657 vsize=10918240 memory=8 CPUtime=5.08 cores=1,3,5,7
/proc/10660/task/10724/stat : 10724 (java) S 10657 10660 9800 0 -1 1077944384 83043 12924 0 0 490 10 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850320693360 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10725] ppid=10657 vsize=10918240 memory=1030852 CPUtime=0.08 cores=1,3,5,7
/proc/10660/task/10725/stat : 10725 (java) S 10657 10660 9800 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139849766881504 139851220903637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
[pid=10660/tid=10726] ppid=10657 vsize=10918240 memory=15904 CPUtime=1.41 cores=1,3,5,7
/proc/10660/task/10726/stat : 10726 (java) S 10657 10660 9800 0 -1 1077944384 1329 12924 0 0 64 69 5 3 20 0 15 0 47636166 11180277760 257713 33554432000 4194304 4196468 140726446833456 139850319641776 139851220904578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33247232 140726446835883 140726446839132 140726446839132 140726446841807 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1030852 KiB
Child status: 143
Real time (s): 2451.34
CPU time (s): 2520.14
CPU user time (s): 2515.89
CPU system time (s): 4.25376
CPU usage (%): 102.807
Max. virtual memory (cumulated for all children) (KiB): 10920972
Max. memory (cumulated for all children) (KiB): 2265624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.89
system time used= 4.25376
maximum resident set size= 2273816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475236
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 202328
involuntary context switches= 6884
# summary of solver processes directly reported to runsolver:
# pid: 10660
# total CPU time (s): 2520.14
# total CPU user time (s): 2515.89
# total CPU system time (s): 4.25376
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9181 second user time and 24.706 second system time
The end