0.99/0.73 c Concrete v3.8.1528841891564 running
15.19/5.90 c 01:12:30.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15670. 'extension(x[1][1]=[0‥3], 3) :: init: true :: relation: MDD 191351920, 5 edges, 4 vertices, 3 tuples
15.19/5.91 c 01:12:30.212 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15697. 'extension(x[1][17]=[0‥3], 3) :: init: true :: relation: MDD 1955251955, 5 edges, 4 vertices, 3 tuples
15.19/5.91 c 01:12:30.213 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15698. 'extension(3, x[3][17]=[0‥3]) :: init: true :: relation: MDD 1955251955, 5 edges, 4 vertices, 3 tuples
15.19/5.91 c 01:12:30.216 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15727. 'extension(3, 3) :: init: true :: relation: MDD 191351920, 5 edges, 4 vertices, 3 tuples
15.19/5.91 c 01:12:30.217 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15755. 'extension(3, 3) :: init: true :: relation: MDD 191351920, 5 edges, 4 vertices, 3 tuples
15.19/5.91 c 01:12:30.219 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15781. 'extension(3, wk[1][0]=[0‥1]) :: init: true :: relation: MDD 2036302615, 4 edges, 3 vertices, 3 tuples
15.19/5.91 c 01:12:30.220 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15785. 'extension(3, 3) :: init: true :: relation: MDD 191351920, 5 edges, 4 vertices, 3 tuples
15.19/5.91 c 01:12:30.221 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15812. 'extension(3, wk[1][0]=[0‥1]) :: init: true :: relation: MDD 895259838, 4 edges, 3 vertices, 3 tuples
15.19/5.91 c 01:12:30.221 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15813. 'extension(3, x[7][1]=[0‥3]) :: init: true :: relation: MDD 191351920, 5 edges, 4 vertices, 3 tuples
15.19/5.91 c 01:12:30.222 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15816. 'extension(3, 3) :: init: true :: relation: MDD 191351920, 5 edges, 4 vertices, 3 tuples
15.19/5.92 c 01:12:30.223 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15843. 'extension(3, wk[4][0]=[0‥1]) :: init: true :: relation: MDD 491825098, 4 edges, 3 vertices, 3 tuples
15.19/5.92 c 01:12:30.224 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15844. 'extension(x[5][4]=[0‥3], 3) :: init: true :: relation: MDD 661440732, 5 edges, 4 vertices, 3 tuples
15.19/5.92 c 01:12:30.225 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15877. 'extension(3, 3) :: init: true :: relation: MDD 661440732, 5 edges, 4 vertices, 3 tuples
15.19/5.92 c 01:12:30.226 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15907. 'extension(3, 3) :: init: true :: relation: MDD 661440732, 5 edges, 4 vertices, 3 tuples
15.19/5.92 c 01:12:30.227 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15937. 'extension(3, 3) :: init: true :: relation: MDD 661440732, 5 edges, 4 vertices, 3 tuples
15.19/5.92 c 01:12:30.228 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15967. 'extension(3, 3) :: init: true :: relation: MDD 661440732, 5 edges, 4 vertices, 3 tuples
15.19/5.92 c 01:12:30.228 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15994. 'extension(x[9][17]=[0‥3], 3) :: init: true :: relation: MDD 1955251955, 5 edges, 4 vertices, 3 tuples
15.19/5.92 c 01:12:30.230 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16024. 'extension(3, x[12][4]=[0‥3]) :: init: true :: relation: MDD 661440732, 5 edges, 4 vertices, 3 tuples
15.19/5.92 c 01:12:30.231 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16027. 'extension(3, 3) :: init: true :: relation: MDD 661440732, 5 edges, 4 vertices, 3 tuples
15.19/5.93 c 01:12:30.232 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16054. 'extension(3, x[12][17]=[0‥3]) :: init: true :: relation: MDD 1955251955, 5 edges, 4 vertices, 3 tuples
15.19/5.93 c 01:12:30.233 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16057. 'extension(3, 3) :: init: true :: relation: MDD 1955251955, 5 edges, 4 vertices, 3 tuples
15.19/5.93 c 01:12:30.235 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16084. 'extension(x[10][19]=[0‥3], 3) :: init: true :: relation: MDD 1895203464, 5 edges, 4 vertices, 3 tuples
15.19/5.93 c 01:12:30.235 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16085. 'extension(3, x[12][19]=[0‥3]) :: init: true :: relation: MDD 1895203464, 5 edges, 4 vertices, 3 tuples
15.19/5.93 c 01:12:30.238 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16114. 'extension(3, wk[14][1]=[0‥1]) :: init: true :: relation: MDD 1250558105, 4 edges, 3 vertices, 3 tuples
15.19/5.94 c 01:12:30.239 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16115. 'extension(x[12][14]=[0‥3], 3) :: init: true :: relation: MDD 505343709, 5 edges, 4 vertices, 3 tuples
15.19/5.94 c 01:12:30.239 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16116. 'extension(3, x[14][14]=[0‥3]) :: init: true :: relation: MDD 505343709, 5 edges, 4 vertices, 3 tuples
15.19/5.94 c 01:12:30.242 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16145. 'extension(x[14][3]=[0‥3], 3) :: init: true :: relation: MDD 1519611492, 5 edges, 4 vertices, 3 tuples
15.19/5.94 c 01:12:30.243 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16175. 'extension(x[14][7]=[0‥3], 3) :: init: true :: relation: MDD 561772958, 5 edges, 4 vertices, 3 tuples
15.19/5.94 c 01:12:30.244 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16205. 'extension(x[14][11]=[0‥3], 3) :: init: true :: relation: MDD 1931977799, 5 edges, 4 vertices, 3 tuples
15.19/5.94 c 01:12:30.245 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16238. 'extension(3, 3) :: init: true :: relation: MDD 1519611492, 5 edges, 4 vertices, 3 tuples
15.19/5.94 c 01:12:30.246 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16268. 'extension(3, 3) :: init: true :: relation: MDD 561772958, 5 edges, 4 vertices, 3 tuples
15.19/5.94 c 01:12:30.247 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16298. 'extension(3, 3) :: init: true :: relation: MDD 1931977799, 5 edges, 4 vertices, 3 tuples
15.19/5.94 c 01:12:30.248 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16325. 'extension(x[15][18]=[0‥3], 3) :: init: true :: relation: MDD 406183058, 5 edges, 4 vertices, 3 tuples
15.19/5.94 c 01:12:30.249 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16358. 'extension(3, 3) :: init: true :: relation: MDD 1519611492, 5 edges, 4 vertices, 3 tuples
15.19/5.94 c 01:12:30.249 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16385. 'extension(3, x[18][7]=[0‥3]) :: init: true :: relation: MDD 561772958, 5 edges, 4 vertices, 3 tuples
15.19/5.94 c 01:12:30.250 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16388. 'extension(3, 3) :: init: true :: relation: MDD 561772958, 5 edges, 4 vertices, 3 tuples
15.19/5.95 c 01:12:30.252 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16415. 'extension(x[16][8]=[0‥3], 3) :: init: true :: relation: MDD 1940844413, 5 edges, 4 vertices, 3 tuples
15.19/5.95 c 01:12:30.253 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16445. 'extension(3, x[18][11]=[0‥3]) :: init: true :: relation: MDD 1931977799, 5 edges, 4 vertices, 3 tuples
15.19/5.95 c 01:12:30.253 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16448. 'extension(3, 3) :: init: true :: relation: MDD 1931977799, 5 edges, 4 vertices, 3 tuples
15.19/5.95 c 01:12:30.255 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16478. 'extension(3, 3) :: init: true :: relation: MDD 406183058, 5 edges, 4 vertices, 3 tuples
15.19/5.95 c 01:12:30.255 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16505. 'extension(x[16][19]=[0‥3], 3) :: init: true :: relation: MDD 1895203464, 5 edges, 4 vertices, 3 tuples
15.19/5.95 c 01:12:30.257 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16538. 'extension(3, 3) :: init: true :: relation: MDD 1519611492, 5 edges, 4 vertices, 3 tuples
15.19/5.95 c 01:12:30.257 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16568. 'extension(3, 3) :: init: true :: relation: MDD 1940844413, 5 edges, 4 vertices, 3 tuples
15.19/5.95 c 01:12:30.258 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16595. 'extension(x[17][16]=[0‥3], 3) :: init: true :: relation: MDD 1116462450, 5 edges, 4 vertices, 3 tuples
15.19/5.95 c 01:12:30.259 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16625. 'extension(3, x[19][18]=[0‥3]) :: init: true :: relation: MDD 406183058, 5 edges, 4 vertices, 3 tuples
15.19/5.95 c 01:12:30.260 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16628. 'extension(3, 3) :: init: true :: relation: MDD 406183058, 5 edges, 4 vertices, 3 tuples
15.19/5.95 c 01:12:30.261 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16658. 'extension(3, 3) :: init: true :: relation: MDD 1895203464, 5 edges, 4 vertices, 3 tuples
15.19/5.95 c 01:12:30.262 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16685. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 1650105437, 4 edges, 3 vertices, 3 tuples
15.19/5.96 c 01:12:30.262 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16689. 'extension(3, 3) :: init: true :: relation: MDD 1519611492, 5 edges, 4 vertices, 3 tuples
15.19/5.96 c 01:12:30.263 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16716. 'extension(3, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 836449498, 4 edges, 3 vertices, 3 tuples
15.19/5.96 c 01:12:30.263 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16720. 'extension(3, 3) :: init: true :: relation: MDD 1940844413, 5 edges, 4 vertices, 3 tuples
15.19/5.96 c 01:12:30.264 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16747. 'extension(3, wk[16][2]=[0‥1]) :: init: true :: relation: MDD 132659602, 4 edges, 3 vertices, 3 tuples
15.19/5.96 c 01:12:30.264 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16751. 'extension(3, 3) :: init: true :: relation: MDD 1116462450, 5 edges, 4 vertices, 3 tuples
15.19/5.96 c 01:12:30.265 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16778. 'extension(3, wk[19][2]=[0‥1]) :: init: true :: relation: MDD 1174641185, 4 edges, 3 vertices, 3 tuples
15.19/5.96 c 01:12:30.265 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16779. 'extension(3, x[20][19]=[0‥3]) :: init: true :: relation: MDD 1895203464, 5 edges, 4 vertices, 3 tuples
15.19/5.96 c 01:12:30.266 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16782. 'extension(3, 3) :: init: true :: relation: MDD 1895203464, 5 edges, 4 vertices, 3 tuples
15.19/5.96 c 01:12:30.267 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16809. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 787298292, 4 edges, 3 vertices, 3 tuples
15.19/5.96 c 01:12:30.268 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16810. 'extension(3, x[21][3]=[0‥3]) :: init: true :: relation: MDD 1519611492, 5 edges, 4 vertices, 3 tuples
15.19/5.96 c 01:12:30.269 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16813. 'extension(3, 3) :: init: true :: relation: MDD 1519611492, 5 edges, 4 vertices, 3 tuples
15.19/5.96 c 01:12:30.270 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16840. 'extension(3, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 1591398176, 4 edges, 3 vertices, 3 tuples
15.19/5.96 c 01:12:30.270 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16844. 'extension(3, 3) :: init: true :: relation: MDD 1940844413, 5 edges, 4 vertices, 3 tuples
15.19/5.96 c 01:12:30.271 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16871. 'extension(3, wk[16][2]=[0‥1]) :: init: true :: relation: MDD 908435478, 4 edges, 3 vertices, 3 tuples
15.19/5.97 c 01:12:30.271 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16875. 'extension(3, 3) :: init: true :: relation: MDD 1116462450, 5 edges, 4 vertices, 3 tuples
15.19/5.97 c 01:12:30.272 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16905. 'extension(3, 3) :: init: true :: relation: MDD 1940844413, 5 edges, 4 vertices, 3 tuples
15.19/5.97 c 01:12:30.272 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16935. 'extension(3, 3) :: init: true :: relation: MDD 1116462450, 5 edges, 4 vertices, 3 tuples
15.19/5.97 c 01:12:30.273 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16962. 'extension(3, x[23][8]=[0‥3]) :: init: true :: relation: MDD 1940844413, 5 edges, 4 vertices, 3 tuples
15.19/5.97 c 01:12:30.274 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16965. 'extension(3, 3) :: init: true :: relation: MDD 1940844413, 5 edges, 4 vertices, 3 tuples
15.19/5.97 c 01:12:30.275 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16995. 'extension(3, 3) :: init: true :: relation: MDD 1116462450, 5 edges, 4 vertices, 3 tuples
15.19/5.97 c 01:12:30.276 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17022. 'extension(x[22][2]=[0‥3], 3) :: init: true :: relation: MDD 1719727892, 5 edges, 4 vertices, 3 tuples
15.19/5.97 c 01:12:30.277 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17052. 'extension(x[22][7]=[0‥3], 3) :: init: true :: relation: MDD 561772958, 5 edges, 4 vertices, 3 tuples
15.19/5.97 c 01:12:30.278 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17082. 'extension(x[22][10]=[0‥3], 3) :: init: true :: relation: MDD 1488298739, 5 edges, 4 vertices, 3 tuples
15.19/5.97 c 01:12:30.279 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17112. 'extension(x[22][11]=[0‥3], 3) :: init: true :: relation: MDD 1931977799, 5 edges, 4 vertices, 3 tuples
15.19/5.97 c 01:12:30.280 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17113. 'extension(3, x[24][11]=[0‥3]) :: init: true :: relation: MDD 1931977799, 5 edges, 4 vertices, 3 tuples
15.19/5.97 c 01:12:30.281 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17142. 'extension(3, x[24][16]=[0‥3]) :: init: true :: relation: MDD 1116462450, 5 edges, 4 vertices, 3 tuples
15.19/5.97 c 01:12:30.282 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17145. 'extension(3, 3) :: init: true :: relation: MDD 1116462450, 5 edges, 4 vertices, 3 tuples
15.19/5.98 c 01:12:30.283 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17175. 'extension(3, 3) :: init: true :: relation: MDD 1719727892, 5 edges, 4 vertices, 3 tuples
15.19/5.98 c 01:12:30.284 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17205. 'extension(3, 3) :: init: true :: relation: MDD 561772958, 5 edges, 4 vertices, 3 tuples
15.19/6.00 c 01:12:30.293 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17235. 'extension(3, 3) :: init: true :: relation: MDD 1488298739, 5 edges, 4 vertices, 3 tuples
15.19/6.00 c 01:12:30.295 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17265. 'extension(3, 3) :: init: true :: relation: MDD 1719727892, 5 edges, 4 vertices, 3 tuples
15.19/6.00 c 01:12:30.295 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17292. 'extension(3, x[26][7]=[0‥3]) :: init: true :: relation: MDD 561772958, 5 edges, 4 vertices, 3 tuples
15.19/6.00 c 01:12:30.296 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17295. 'extension(3, 3) :: init: true :: relation: MDD 561772958, 5 edges, 4 vertices, 3 tuples
15.19/6.00 c 01:12:30.297 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17325. 'extension(3, 3) :: init: true :: relation: MDD 1488298739, 5 edges, 4 vertices, 3 tuples
15.19/6.00 c 01:12:30.298 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17352. 'extension(3, wk[2][3]=[0‥1]) :: init: true :: relation: MDD 1801709229, 4 edges, 3 vertices, 3 tuples
15.19/6.00 c 01:12:30.298 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17356. 'extension(3, 3) :: init: true :: relation: MDD 1719727892, 5 edges, 4 vertices, 3 tuples
15.19/6.00 c 01:12:30.299 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17383. 'extension(3, wk[10][3]=[0‥1]) :: init: true :: relation: MDD 878242981, 4 edges, 3 vertices, 3 tuples
15.19/6.00 c 01:12:30.299 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17387. 'extension(3, 3) :: init: true :: relation: MDD 1488298739, 5 edges, 4 vertices, 3 tuples
15.19/6.00 c 01:12:30.300 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17414. 'extension(3, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 674667952, 4 edges, 3 vertices, 3 tuples
15.19/6.00 c 01:12:30.300 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17415. 'extension(x[25][11]=[0‥3], 3) :: init: true :: relation: MDD 1931977799, 5 edges, 4 vertices, 3 tuples
15.19/6.00 c 01:12:30.300 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17416. 'extension(3, x[27][11]=[0‥3]) :: init: true :: relation: MDD 1931977799, 5 edges, 4 vertices, 3 tuples
15.19/6.00 c 01:12:30.302 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17445. 'extension(3, wk[14][3]=[0‥1]) :: init: true :: relation: MDD 257749659, 4 edges, 3 vertices, 3 tuples
15.19/6.00 c 01:12:30.302 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17446. 'extension(x[25][14]=[0‥3], 3) :: init: true :: relation: MDD 505343709, 5 edges, 4 vertices, 3 tuples
15.19/6.00 c 01:12:30.303 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17476. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1062295206, 4 edges, 3 vertices, 3 tuples
15.19/6.00 c 01:12:30.303 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17477. 'extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 1955251955, 5 edges, 4 vertices, 3 tuples
15.19/6.01 c 01:12:30.304 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17507. 'extension(3, wk[2][3]=[0‥1]) :: init: true :: relation: MDD 1732902480, 4 edges, 3 vertices, 3 tuples
15.19/6.01 c 01:12:30.305 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17508. 'extension(3, x[28][2]=[0‥3]) :: init: true :: relation: MDD 1719727892, 5 edges, 4 vertices, 3 tuples
15.19/6.01 c 01:12:30.305 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17511. 'extension(3, 3) :: init: true :: relation: MDD 1719727892, 5 edges, 4 vertices, 3 tuples
15.19/6.01 c 01:12:30.306 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17538. 'extension(3, wk[10][3]=[0‥1]) :: init: true :: relation: MDD 1010306008, 4 edges, 3 vertices, 3 tuples
15.19/6.01 c 01:12:30.307 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17542. 'extension(3, 3) :: init: true :: relation: MDD 1488298739, 5 edges, 4 vertices, 3 tuples
15.19/6.01 c 01:12:30.307 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17569. 'extension(3, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 278166606, 4 edges, 3 vertices, 3 tuples
15.19/6.01 c 01:12:30.307 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17570. 'extension(x[26][13]=[0‥3], 3) :: init: true :: relation: MDD 532613259, 5 edges, 4 vertices, 3 tuples
15.19/6.01 c 01:12:30.308 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17600. 'extension(3, wk[14][3]=[0‥1]) :: init: true :: relation: MDD 937860163, 4 edges, 3 vertices, 3 tuples
15.19/6.01 c 01:12:30.308 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17604. 'extension(3, 3) :: init: true :: relation: MDD 505343709, 5 edges, 4 vertices, 3 tuples
15.19/6.01 c 01:12:30.309 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17631. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 2098720336, 4 edges, 3 vertices, 3 tuples
15.19/6.01 c 01:12:30.309 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17632. 'extension(3, x[28][17]=[0‥3]) :: init: true :: relation: MDD 1955251955, 5 edges, 4 vertices, 3 tuples
15.19/6.01 c 01:12:30.310 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17635. 'extension(3, 3) :: init: true :: relation: MDD 1955251955, 5 edges, 4 vertices, 3 tuples
15.19/6.01 c 01:12:30.311 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17662. 'extension(3, x[29][10]=[0‥3]) :: init: true :: relation: MDD 1488298739, 5 edges, 4 vertices, 3 tuples
15.19/6.01 c 01:12:30.312 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17665. 'extension(3, 3) :: init: true :: relation: MDD 1488298739, 5 edges, 4 vertices, 3 tuples
15.19/6.01 c 01:12:30.313 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17695. 'extension(3, 3) :: init: true :: relation: MDD 532613259, 5 edges, 4 vertices, 3 tuples
15.19/6.01 c 01:12:30.313 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17725. 'extension(3, 3) :: init: true :: relation: MDD 505343709, 5 edges, 4 vertices, 3 tuples
15.19/6.01 c 01:12:30.314 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17752. 'extension(x[27][19]=[0‥3], 3) :: init: true :: relation: MDD 1895203464, 5 edges, 4 vertices, 3 tuples
15.19/6.01 c 01:12:30.314 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17753. 'extension(3, x[29][19]=[0‥3]) :: init: true :: relation: MDD 1895203464, 5 edges, 4 vertices, 3 tuples
15.56/6.01 c 01:12:30.316 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17782. 'extension(3, x[30][13]=[0‥3]) :: init: true :: relation: MDD 532613259, 5 edges, 4 vertices, 3 tuples
15.56/6.01 c 01:12:30.317 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17785. 'extension(3, 3) :: init: true :: relation: MDD 532613259, 5 edges, 4 vertices, 3 tuples
15.56/6.01 c 01:12:30.318 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17815. 'extension(3, 3) :: init: true :: relation: MDD 505343709, 5 edges, 4 vertices, 3 tuples
15.56/6.01 c 01:12:30.319 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17842. 'extension(3, x[31][14]=[0‥3]) :: init: true :: relation: MDD 505343709, 5 edges, 4 vertices, 3 tuples
15.56/6.01 c 01:12:30.319 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17845. 'extension(3, 3) :: init: true :: relation: MDD 505343709, 5 edges, 4 vertices, 3 tuples
15.56/6.01 c 01:12:30.321 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17872. 'extension(x[30][15]=[0‥3], 3) :: init: true :: relation: MDD 1955226954, 5 edges, 4 vertices, 3 tuples
15.56/6.02 c 01:12:30.322 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17902. 'extension(x[31][0]=[0‥3], 3) :: init: true :: relation: MDD 1907228381, 5 edges, 4 vertices, 3 tuples
15.56/6.02 c 01:12:30.323 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17932. 'extension(x[31][6]=[0‥3], 3) :: init: true :: relation: MDD 99195804, 5 edges, 4 vertices, 3 tuples
15.56/6.02 c 01:12:30.323 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17962. 'extension(3, x[33][15]=[0‥3]) :: init: true :: relation: MDD 1955226954, 5 edges, 4 vertices, 3 tuples
15.56/6.02 c 01:12:30.324 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17965. 'extension(3, 3) :: init: true :: relation: MDD 1955226954, 5 edges, 4 vertices, 3 tuples
15.56/6.02 c 01:12:30.325 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17992. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 2141178045, 4 edges, 3 vertices, 3 tuples
15.56/6.02 c 01:12:30.325 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17996. 'extension(3, 3) :: init: true :: relation: MDD 1907228381, 5 edges, 4 vertices, 3 tuples
15.56/6.02 c 01:12:30.326 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18023. 'extension(3, wk[2][4]=[0‥1]) :: init: true :: relation: MDD 639482242, 4 edges, 3 vertices, 3 tuples
15.56/6.02 c 01:12:30.326 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18024. 'extension(x[32][2]=[0‥3], 3) :: init: true :: relation: MDD 1719727892, 5 edges, 4 vertices, 3 tuples
15.56/6.02 c 01:12:30.326 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18025. 'extension(3, x[34][2]=[0‥3]) :: init: true :: relation: MDD 1719727892, 5 edges, 4 vertices, 3 tuples
15.56/6.02 c 01:12:30.328 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18054. 'extension(3, wk[6][4]=[0‥1]) :: init: true :: relation: MDD 1892062598, 4 edges, 3 vertices, 3 tuples
15.56/6.02 c 01:12:30.329 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18058. 'extension(3, 3) :: init: true :: relation: MDD 99195804, 5 edges, 4 vertices, 3 tuples
15.56/6.02 c 01:12:30.330 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18085. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 1048274391, 4 edges, 3 vertices, 3 tuples
15.56/6.02 c 01:12:30.330 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18089. 'extension(3, 3) :: init: true :: relation: MDD 1907228381, 5 edges, 4 vertices, 3 tuples
15.56/6.02 c 01:12:30.330 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18116. 'extension(3, wk[6][4]=[0‥1]) :: init: true :: relation: MDD 2124360754, 4 edges, 3 vertices, 3 tuples
15.56/6.04 c 01:12:30.334 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18120. 'extension(3, 3) :: init: true :: relation: MDD 99195804, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.335 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18147. 'extension(3, wk[9][4]=[0‥1]) :: init: true :: relation: MDD 48390515, 4 edges, 3 vertices, 3 tuples
15.56/6.04 c 01:12:30.335 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18148. 'extension(x[33][9]=[0‥3], 3) :: init: true :: relation: MDD 1229365242, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.336 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18178. 'extension(3, x[36][0]=[0‥3]) :: init: true :: relation: MDD 1907228381, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.337 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18181. 'extension(3, 3) :: init: true :: relation: MDD 1907228381, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.338 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18208. 'extension(3, x[36][6]=[0‥3]) :: init: true :: relation: MDD 99195804, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.338 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18211. 'extension(3, 3) :: init: true :: relation: MDD 99195804, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.339 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18241. 'extension(3, 3) :: init: true :: relation: MDD 1229365242, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.340 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18268. 'extension(x[34][17]=[0‥3], 3) :: init: true :: relation: MDD 1955251955, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.340 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18269. 'extension(3, x[36][17]=[0‥3]) :: init: true :: relation: MDD 1955251955, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.342 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18301. 'extension(3, 3) :: init: true :: relation: MDD 1229365242, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.343 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18328. 'extension(x[35][18]=[0‥3], 3) :: init: true :: relation: MDD 406183058, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.344 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18358. 'extension(x[36][5]=[0‥3], 3) :: init: true :: relation: MDD 1051890381, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.344 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18391. 'extension(3, 3) :: init: true :: relation: MDD 1229365242, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.345 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18418. 'extension(x[36][11]=[0‥3], 3) :: init: true :: relation: MDD 1931977799, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.345 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18419. 'extension(3, x[38][11]=[0‥3]) :: init: true :: relation: MDD 1931977799, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.347 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18451. 'extension(3, 3) :: init: true :: relation: MDD 406183058, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.348 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18481. 'extension(3, 3) :: init: true :: relation: MDD 1051890381, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.348 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18511. 'extension(3, 3) :: init: true :: relation: MDD 1229365242, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.349 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18538. 'extension(3, x[39][18]=[0‥3]) :: init: true :: relation: MDD 406183058, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.349 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18541. 'extension(3, 3) :: init: true :: relation: MDD 406183058, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.351 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18571. 'extension(3, 3) :: init: true :: relation: MDD 1051890381, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.351 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18598. 'extension(3, x[40][9]=[0‥3]) :: init: true :: relation: MDD 1229365242, 5 edges, 4 vertices, 3 tuples
15.56/6.04 c 01:12:30.352 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18601. 'extension(3, 3) :: init: true :: relation: MDD 1229365242, 5 edges, 4 vertices, 3 tuples
15.56/6.05 c 01:12:30.353 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18628. 'extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 518159731, 4 edges, 3 vertices, 3 tuples
15.56/6.05 c 01:12:30.353 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18632. 'extension(3, 3) :: init: true :: relation: MDD 1051890381, 5 edges, 4 vertices, 3 tuples
15.56/6.05 c 01:12:30.354 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18659. 'extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 1412392963, 4 edges, 3 vertices, 3 tuples
15.56/6.05 c 01:12:30.354 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18663. 'extension(3, 3) :: init: true :: relation: MDD 1051890381, 5 edges, 4 vertices, 3 tuples
15.56/6.05 c 01:12:30.355 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18690. 'extension(3, wk[13][5]=[0‥1]) :: init: true :: relation: MDD 858846125, 4 edges, 3 vertices, 3 tuples
15.56/6.05 c 01:12:30.355 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18691. 'extension(x[40][13]=[0‥3], 3) :: init: true :: relation: MDD 532613259, 5 edges, 4 vertices, 3 tuples
15.56/6.05 c 01:12:30.356 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18721. 'extension(3, x[43][5]=[0‥3]) :: init: true :: relation: MDD 1051890381, 5 edges, 4 vertices, 3 tuples
15.56/6.05 c 01:12:30.357 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18724. 'extension(3, 3) :: init: true :: relation: MDD 1051890381, 5 edges, 4 vertices, 3 tuples
15.56/6.05 c 01:12:30.358 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18751. 'extension(3, x[43][13]=[0‥3]) :: init: true :: relation: MDD 532613259, 5 edges, 4 vertices, 3 tuples
15.56/6.05 c 01:12:30.358 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18754. 'extension(3, 3) :: init: true :: relation: MDD 532613259, 5 edges, 4 vertices, 3 tuples
15.56/6.05 c 01:12:30.360 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18781. 'extension(x[43][15]=[0‥3], 3) :: init: true :: relation: MDD 1955226954, 5 edges, 4 vertices, 3 tuples
15.56/6.05 c 01:12:30.360 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18782. 'extension(3, x[45][15]=[0‥3]) :: init: true :: relation: MDD 1955226954, 5 edges, 4 vertices, 3 tuples
15.56/6.05 c 01:12:30.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18811. 'extension(x[45][12]=[0‥3], 3) :: init: true :: relation: MDD 1492897838, 5 edges, 4 vertices, 3 tuples
15.56/6.06 c 01:12:30.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18841. 'extension(3, wk[12][6]=[0‥1]) :: init: true :: relation: MDD 122513206, 4 edges, 3 vertices, 3 tuples
15.56/6.06 c 01:12:30.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18845. 'extension(3, 3) :: init: true :: relation: MDD 1492897838, 5 edges, 4 vertices, 3 tuples
15.56/6.06 c 01:12:30.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18872. 'extension(3, wk[12][6]=[0‥1]) :: init: true :: relation: MDD 1720067573, 4 edges, 3 vertices, 3 tuples
15.56/6.06 c 01:12:30.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18876. 'extension(3, 3) :: init: true :: relation: MDD 1492897838, 5 edges, 4 vertices, 3 tuples
15.56/6.06 c 01:12:30.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18903. 'extension(3, wk[19][6]=[0‥1]) :: init: true :: relation: MDD 726374052, 4 edges, 3 vertices, 3 tuples
15.56/6.06 c 01:12:30.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18904. 'extension(x[47][19]=[0‥3], 3) :: init: true :: relation: MDD 1895203464, 5 edges, 4 vertices, 3 tuples
15.56/6.07 c 01:12:30.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18905. 'extension(3, x[49][19]=[0‥3]) :: init: true :: relation: MDD 1895203464, 5 edges, 4 vertices, 3 tuples
15.56/6.07 c 01:12:30.367 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18934. 'extension(x[48][1]=[0‥3], 3) :: init: true :: relation: MDD 191351920, 5 edges, 4 vertices, 3 tuples
15.56/6.07 c 01:12:30.367 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18935. 'extension(3, x[50][1]=[0‥3]) :: init: true :: relation: MDD 191351920, 5 edges, 4 vertices, 3 tuples
15.56/6.07 c 01:12:30.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18967. 'extension(3, 3) :: init: true :: relation: MDD 1492897838, 5 edges, 4 vertices, 3 tuples
15.56/6.07 c 01:12:30.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18994. 'extension(x[48][15]=[0‥3], 3) :: init: true :: relation: MDD 1955226954, 5 edges, 4 vertices, 3 tuples
15.56/6.07 c 01:12:30.370 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19027. 'extension(3, 3) :: init: true :: relation: MDD 1492897838, 5 edges, 4 vertices, 3 tuples
15.56/6.07 c 01:12:30.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19057. 'extension(3, 3) :: init: true :: relation: MDD 1955226954, 5 edges, 4 vertices, 3 tuples
15.56/6.07 c 01:12:30.372 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19084. 'extension(3, x[52][12]=[0‥3]) :: init: true :: relation: MDD 1492897838, 5 edges, 4 vertices, 3 tuples
15.56/6.07 c 01:12:30.372 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19087. 'extension(3, 3) :: init: true :: relation: MDD 1492897838, 5 edges, 4 vertices, 3 tuples
15.56/6.07 c 01:12:30.373 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19113. 'extension(3, x[52][15]=[0‥3]) :: init: true :: relation: MDD 1955226954, 5 edges, 4 vertices, 3 tuples
15.56/6.07 c 01:12:30.374 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19116. 'extension(3, 3) :: init: true :: relation: MDD 1955226954, 5 edges, 4 vertices, 3 tuples
15.56/6.08 c 01:12:30.375 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19142. 'extension(x[51][0]=[0‥3], 3) :: init: true :: relation: MDD 1907228381, 5 edges, 4 vertices, 3 tuples
15.56/6.08 c 01:12:30.376 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19170. 'extension(3, x[54][0]=[0‥3]) :: init: true :: relation: MDD 1907228381, 5 edges, 4 vertices, 3 tuples
15.56/6.08 c 01:12:30.377 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19173. 'extension(3, 3) :: init: true :: relation: MDD 1907228381, 5 edges, 4 vertices, 3 tuples
15.56/6.08 c 01:12:30.378 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19197. 'extension(3, wk[6][7]=[0‥1]) :: init: true :: relation: MDD 231900526, 4 edges, 3 vertices, 3 tuples
15.56/6.08 c 01:12:30.379 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19198. 'extension(x[53][6]=[0‥3], 3) :: init: true :: relation: MDD 99195804, 5 edges, 4 vertices, 3 tuples
15.56/6.08 c 01:12:30.380 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19223. 'extension(3, wk[6][7]=[0‥1]) :: init: true :: relation: MDD 991806841, 4 edges, 3 vertices, 3 tuples
15.56/6.08 c 01:12:30.380 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19224. 'extension(3, 3) :: init: true :: relation: MDD 99195804, 5 edges, 4 vertices, 3 tuples
15.56/6.08 c 01:12:30.380 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19225. 'extension(3, 3) :: init: true :: relation: MDD 1752220610, 4 edges, 3 vertices, 3 tuples
15.56/6.08 c 01:12:30.381 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19245. 'extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 223566397, 4 edges, 3 vertices, 3 tuples
15.56/6.08 c 01:12:30.381 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19246. 'extension(x[54][13]=[0‥3], 3) :: init: true :: relation: MDD 532613259, 5 edges, 4 vertices, 3 tuples
15.56/6.08 c 01:12:30.381 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19247. 'extension(3, x[54][13]=[0‥3]) :: init: true :: relation: MDD 1561005241, 4 edges, 3 vertices, 3 tuples
15.56/6.08 c 01:12:30.389 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19308. 'extension(x[1][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.08 c 01:12:30.389 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19314. 'extension(x[1][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.08 c 01:12:30.390 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19316. 'extension(x[3][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.08 c 01:12:30.390 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19334. 'extension(wk[1][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.56/6.08 c 01:12:30.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19336. 'extension(wk[1][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.56/6.08 c 01:12:30.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19338. 'extension(x[7][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.08 c 01:12:30.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19348. 'extension(wk[4][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19350. 'extension(x[5][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.392 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19360. 'extension(x[9][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.392 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19366. 'extension(x[12][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.393 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19376. 'extension(x[12][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.394 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19390. 'extension(x[10][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.394 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19392. 'extension(x[12][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.395 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19406. 'extension(wk[14][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.395 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19408. 'extension(x[12][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.395 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19410. 'extension(x[14][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.396 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19424. 'extension(x[14][3]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.396 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19430. 'extension(x[14][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.396 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19436. 'extension(x[14][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.397 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19454. 'extension(x[15][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.398 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19460. 'extension(x[18][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.398 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19470. 'extension(x[16][8]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.398 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19476. 'extension(x[18][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.399 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19490. 'extension(x[16][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.400 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19500. 'extension(x[17][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.400 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19506. 'extension(x[19][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19520. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19522. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19524. 'extension(wk[16][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19530. 'extension(wk[19][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19532. 'extension(x[20][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.402 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19542. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.56/6.09 c 01:12:30.402 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19544. 'extension(x[21][3]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.403 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19554. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.403 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19556. 'extension(wk[16][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.403 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19558. 'extension(x[23][8]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.403 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19568. 'extension(x[22][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.404 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19574. 'extension(x[22][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.404 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19580. 'extension(x[22][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.405 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19586. 'extension(x[22][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.405 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19588. 'extension(x[24][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.405 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19602. 'extension(x[24][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.406 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19624. 'extension(x[26][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19634. 'extension(wk[2][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19636. 'extension(wk[10][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19638. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19640. 'extension(x[25][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.408 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19642. 'extension(x[27][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.408 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19656. 'extension(wk[14][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19658. 'extension(x[25][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19664. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19666. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.56/6.10 c 01:12:30.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19672. 'extension(wk[2][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.410 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19674. 'extension(x[28][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.410 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19684. 'extension(wk[10][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.410 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19686. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19688. 'extension(x[26][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19694. 'extension(wk[14][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19700. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19702. 'extension(x[28][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.412 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19716. 'extension(x[29][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.413 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19730. 'extension(x[27][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.413 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19732. 'extension(x[29][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.414 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19746. 'extension(x[30][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.414 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19756. 'extension(x[31][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.415 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19766. 'extension(x[30][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.415 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19772. 'extension(x[31][0]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.416 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19778. 'extension(x[31][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.416 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19784. 'extension(x[33][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.416 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19798. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.417 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19804. 'extension(wk[2][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.417 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19806. 'extension(x[32][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.417 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19808. 'extension(x[34][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.418 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19822. 'extension(wk[6][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.418 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19828. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.418 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19830. 'extension(wk[6][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.418 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19832. 'extension(wk[9][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.419 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19834. 'extension(x[33][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.419 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19840. 'extension(x[36][0]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.419 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19850. 'extension(x[36][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.420 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19864. 'extension(x[34][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.420 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19866. 'extension(x[36][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.421 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19880. 'extension(x[35][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.421 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19886. 'extension(x[36][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19892. 'extension(x[36][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.11 c 01:12:30.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19894. 'extension(x[38][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.423 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19916. 'extension(x[39][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.423 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19926. 'extension(x[40][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19936. 'extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19938. 'extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19940. 'extension(wk[13][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19942. 'extension(x[40][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19948. 'extension(x[43][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19958. 'extension(x[43][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.426 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19972. 'extension(x[43][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.426 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19974. 'extension(x[45][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19988. 'extension(x[45][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19994. 'extension(wk[12][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20000. 'extension(wk[12][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20002. 'extension(wk[19][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20004. 'extension(x[47][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20006. 'extension(x[49][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20020. 'extension(x[48][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20022. 'extension(x[50][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20036. 'extension(x[48][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.430 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20046. 'extension(x[52][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.430 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20056. 'extension(x[52][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.431 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20066. 'extension(x[51][0]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.431 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20072. 'extension(x[54][0]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20086. 'extension(wk[6][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20088. 'extension(x[53][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.12 c 01:12:30.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20094. 'extension(wk[6][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.13 c 01:12:30.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20100. 'extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.91/6.13 c 01:12:30.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20102. 'extension(x[54][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.91/6.13 c 01:12:30.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20104. 'extension(x[54][13]=[0‥3]) :: init: true :: relation: Empty MDD
2520.04/2455.40 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.04/2455.40 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.04/2455.40 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.04/2455.40 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.04/2455.40 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.04/2455.40 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.04/2455.40 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.04/2455.40 at concrete.IntervalDomain.filter(IntervalDomain.scala:81)
2520.04/2455.40 at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
2520.04/2455.40 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.04/2455.40 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.04/2455.40 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.04/2455.40 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.04/2455.40 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.04/2455.40 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.04/2455.40 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.04/2455.40 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.04/2455.40 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108)
2520.04/2455.40 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.04/2455.40 at scala.Option.map(Option.scala:146)
2520.04/2455.40 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.04/2455.41 at concrete.MAC.mac(MAC.scala:203)
2520.04/2455.41 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.04/2455.41 at scala.util.Try$.apply(Try.scala:209)
2520.04/2455.41 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.04/2455.41 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.04/2455.41 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.04/2455.41 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.04/2455.41 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.04/2455.41 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.04/2455.41 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.04/2455.41 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.04/2455.41 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.04/2455.41 at concrete.MAC.oneRun(MAC.scala:253)
2520.04/2455.41 at concrete.MAC.nextSolution(MAC.scala:272)
2520.04/2455.41 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.04/2455.41 at concrete.ProblemState.map(ProblemState.scala:221)
2520.04/2455.41 at concrete.ProblemState.map(ProblemState.scala:204)
2520.04/2455.41 at concrete.MAC.nextSolution(MAC.scala:334)
2520.04/2455.41 at concrete.Solver.hasNext(Solver.scala:166)
2520.04/2455.41 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.04/2455.41 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.04/2455.41 at concrete.Solver.foreach(Solver.scala:68)
2520.04/2455.41 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.04/2455.41 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.04/2455.41 at scala.util.Success.map(Try.scala:209)
2520.04/2455.41 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.04/2455.41 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.04/2455.41 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.04/2455.41 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.04/2455.41 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.04/2455.41 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.04/2455.41 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.04/2455.41 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.04/2455.41 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.04/2455.41 at scala.collection.immutable.List.foreach(List.scala:389)
2520.04/2455.41 at scala.App.main(App.scala:76)
2520.04/2455.41 at scala.App.main$(App.scala:74)
2520.04/2455.41 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.04/2455.41 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.04/2455.42 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 (7654 MiB free)
memory of node 1: 16384 MiB (12716 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292953-1532301144/watcher-4292953-1532301144 -o /tmp/evaluation-result-4292953-1532301144/solver-4292953-1532301144 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532296223-4594 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2066964065 HOME/instance-4292953-1532301144.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5429, runsolver pid=5426
[startup+0.100112 s]*
/proc/loadavg: 1.42 1.36 1.35 3/207 5486
/proc/meminfo: memFree=20851640/32770624 swapFree=67108860/67108860
[pid=5429] ppid=5426 vsize=9972712 memory=19120 CPUtime=0.1 cores=1,3,5,7
/proc/5429/stat : 5429 (java) S 5426 5429 4562 0 -1 1077944320 4404 12970 0 0 1 1 5 3 20 0 6 0 47677546 10212057088 4780 33554432000 4194304 4196468 140726625873280 140726625855824 140696039448311 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
/proc/5429/statm: 2493178 4780 1935 1 0 2481616 0
[pid=5429/tid=5482] ppid=5426 vsize=9980040 memory=-8890511129163644871 CPUtime=0.09 cores=1,3,5,7
/proc/5429/task/5482/stat : 5482 (java) R 5426 5429 4562 0 -1 4202560 2240 12970 0 0 1 0 5 3 20 0 6 0 47677554 10219560960 4780 33554432000 4194304 4196468 140726625873280 140696011285072 140696031686110 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5483] ppid=5426 vsize=9988792 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5483/stat : 5483 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 6 0 47677555 10228523008 4780 33554432000 4194304 4196468 140726625873280 140696043690512 140696039458517 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5484] ppid=5426 vsize=9988792 memory=139713627338368 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5484/stat : 5484 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 6 0 47677555 10228523008 4780 33554432000 4194304 4196468 140726625873280 140695958510224 140696039458517 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5485] ppid=5426 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5485/stat : 5485 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 6 0 47677555 10228523008 4846 33554432000 4194304 4196468 140726625873280 140695957457168 140696039458517 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5486] ppid=5426 vsize=9988792 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5486/stat : 5486 (java) S 5426 5429 4562 0 -1 1077944384 2 12970 0 0 0 0 5 3 20 0 6 0 47677555 10228523008 4846 33554432000 4194304 4196468 140726625873280 140695956404624 140696039458517 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19120 KiB
[startup+0.210012 s]*
/proc/loadavg: 1.42 1.36 1.35 3/216 5495
/proc/meminfo: memFree=20827976/32770624 swapFree=67108860/67108860
[pid=5429] ppid=5426 vsize=10821524 memory=49428 CPUtime=0.26 cores=1,3,5,7
/proc/5429/stat : 5429 (java) S 5426 5429 4562 0 -1 1077944320 8484 12970 0 0 16 2 5 3 20 0 15 0 47677546 11081240576 12357 33554432000 4194304 4196468 140726625873280 140726625855824 140696039448311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
/proc/5429/statm: 2705381 12357 2984 1 0 2667804 0
[pid=5429/tid=5482] ppid=5426 vsize=10818936 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/5429/task/5482/stat : 5482 (java) R 5426 5429 4562 0 -1 4202560 5387 12970 0 0 10 1 5 3 20 0 15 0 47677554 11078590464 12020 33554432000 4194304 4196468 140726625873280 140696011273120 140696031759324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5483] ppid=5426 vsize=10818936 memory=331 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5483/stat : 5483 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677555 11078590464 12086 33554432000 4194304 4196468 140726625873280 140696043690512 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5484] ppid=5426 vsize=10818936 memory=139713627347142 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5484/stat : 5484 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677555 11078590464 12086 33554432000 4194304 4196468 140726625873280 140695958510224 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5485] ppid=5426 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5485/stat : 5485 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677555 11078590464 12086 33554432000 4194304 4196468 140726625873280 140695957457168 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5486] ppid=5426 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5486/stat : 5486 (java) S 5426 5429 4562 0 -1 1077944384 2 12970 0 0 0 0 5 3 20 0 15 0 47677555 11078590464 12152 33554432000 4194304 4196468 140726625873280 140695956404624 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5487] ppid=5426 vsize=10818936 memory=139713627338368 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5487/stat : 5487 (java) S 5426 5429 4562 0 -1 1077944384 2 12970 0 0 0 0 5 3 20 0 15 0 47677557 11078590464 12152 33554432000 4194304 4196468 140726625873280 140695566080752 140696039459458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5488] ppid=5426 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5488/stat : 5488 (java) S 5426 5429 4562 0 -1 1077944384 13 12970 0 0 0 0 5 3 20 0 15 0 47677557 11078590464 12152 33554432000 4194304 4196468 140726625873280 140695478199968 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5489] ppid=5426 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5489/stat : 5489 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677557 11078590464 12218 33554432000 4194304 4196468 140726625873280 140695343981808 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5490] ppid=5426 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5490/stat : 5490 (java) S 5426 5429 4562 0 -1 1077944384 2 12970 0 0 0 0 5 3 20 0 15 0 47677560 11078590464 12218 33554432000 4194304 4196468 140726625873280 140694740003280 140696039466907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5491] ppid=5426 vsize=10818936 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5429/task/5491/stat : 5491 (java) S 5426 5429 4562 0 -1 1077944384 489 12970 0 0 1 0 5 3 20 0 15 0 47677560 11078590464 12218 33554432000 4194304 4196468 140726625873280 140695565027568 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5492] ppid=5426 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5492/stat : 5492 (java) S 5426 5429 4562 0 -1 1077944384 133 12970 0 0 0 0 5 3 20 0 15 0 47677560 11078590464 12284 33554432000 4194304 4196468 140726625873280 140695563975024 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5493] ppid=5426 vsize=10818936 memory=139713627338368 CPUtime=0.11 cores=1,3,5,7
/proc/5429/task/5493/stat : 5493 (java) S 5426 5429 4562 0 -1 1077944384 600 12970 0 0 3 0 5 3 20 0 15 0 47677560 11078590464 12284 33554432000 4194304 4196468 140726625873280 140695562921968 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5494] ppid=5426 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5494/stat : 5494 (java) S 5426 5429 4562 0 -1 1077944384 3 12970 0 0 0 0 5 3 20 0 15 0 47677560 11078590464 12284 33554432000 4194304 4196468 140726625873280 140694270241120 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5495] ppid=5426 vsize=10818936 memory=139713627338368 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5495/stat : 5495 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677560 11078590464 12350 33554432000 4194304 4196468 140726625873280 140695561870384 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 49428 KiB
[startup+0.310393 s]*
/proc/loadavg: 1.42 1.36 1.35 5/216 5495
/proc/meminfo: memFree=20814528/32770624 swapFree=67108860/67108860
[pid=5429] ppid=5426 vsize=10819352 memory=57752 CPUtime=0.39 cores=1,3,5,7
/proc/5429/stat : 5429 (java) S 5426 5429 4562 0 -1 1077944320 10447 12970 0 0 28 3 5 3 20 0 15 0 47677546 11079016448 14438 33554432000 4194304 4196468 140726625873280 140726625855824 140696039448311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
/proc/5429/statm: 2704838 14438 3103 1 0 2667149 0
[pid=5429/tid=5482] ppid=5426 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/5429/task/5482/stat : 5482 (java) R 5426 5429 4562 0 -1 4202560 6998 12970 0 0 19 2 5 3 20 0 15 0 47677554 11079016448 14438 33554432000 4194304 4196468 140726625873280 140696011260320 140696031685438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5483] ppid=5426 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5483/stat : 5483 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677555 11079016448 14438 33554432000 4194304 4196468 140726625873280 140696043690512 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5484] ppid=5426 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5484/stat : 5484 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677555 11079016448 14438 33554432000 4194304 4196468 140726625873280 140695958510224 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5485] ppid=5426 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5485/stat : 5485 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677555 11079016448 14438 33554432000 4194304 4196468 140726625873280 140695957457168 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5486] ppid=5426 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5486/stat : 5486 (java) S 5426 5429 4562 0 -1 1077944384 2 12970 0 0 0 0 5 3 20 0 15 0 47677555 11079016448 14438 33554432000 4194304 4196468 140726625873280 140695956404624 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5487] ppid=5426 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5487/stat : 5487 (java) S 5426 5429 4562 0 -1 1077944384 2 12970 0 0 0 0 5 3 20 0 15 0 47677557 11079016448 14438 33554432000 4194304 4196468 140726625873280 140695566080752 140696039459458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5488] ppid=5426 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5488/stat : 5488 (java) S 5426 5429 4562 0 -1 1077944384 13 12970 0 0 0 0 5 3 20 0 15 0 47677557 11079016448 14438 33554432000 4194304 4196468 140726625873280 140695478199968 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5489] ppid=5426 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5489/stat : 5489 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677557 11079016448 14438 33554432000 4194304 4196468 140726625873280 140695343981808 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5490] ppid=5426 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5490/stat : 5490 (java) S 5426 5429 4562 0 -1 1077944384 2 12970 0 0 0 0 5 3 20 0 15 0 47677560 11079016448 14438 33554432000 4194304 4196468 140726625873280 140694740003280 140696039466907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5491] ppid=5426 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5429/task/5491/stat : 5491 (java) S 5426 5429 4562 0 -1 1077944384 489 12970 0 0 1 0 5 3 20 0 15 0 47677560 11079016448 14438 33554432000 4194304 4196468 140726625873280 140695565027568 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5492] ppid=5426 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/5429/task/5492/stat : 5492 (java) S 5426 5429 4562 0 -1 1077944384 136 12970 0 0 1 0 5 3 20 0 15 0 47677560 11079016448 14438 33554432000 4194304 4196468 140726625873280 140695563975024 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5493] ppid=5426 vsize=10819352 memory=139713627338368 CPUtime=0.13 cores=1,3,5,7
/proc/5429/task/5493/stat : 5493 (java) S 5426 5429 4562 0 -1 1077944384 608 12970 0 0 5 0 5 3 20 0 15 0 47677560 11079016448 14438 33554432000 4194304 4196468 140726625873280 140695562921968 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5494] ppid=5426 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5494/stat : 5494 (java) S 5426 5429 4562 0 -1 1077944384 3 12970 0 0 0 0 5 3 20 0 15 0 47677560 11079016448 14438 33554432000 4194304 4196468 140726625873280 140694270241120 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5495] ppid=5426 vsize=10819352 memory=139713627338368 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5495/stat : 5495 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677560 11079016448 14438 33554432000 4194304 4196468 140726625873280 140695561870384 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57752 KiB
[startup+0.700799 s]
/proc/loadavg: 1.42 1.36 1.35 4/216 5495
/proc/meminfo: memFree=20805100/32770624 swapFree=67108860/67108860
[pid=5429] ppid=5426 vsize=10819352 memory=90792 CPUtime=0.99 cores=1,3,5,7
/proc/5429/stat : 5429 (java) S 5426 5429 4562 0 -1 1077944320 16738 12970 0 0 86 5 5 3 20 0 15 0 47677546 11079016448 22698 33554432000 4194304 4196468 140726625873280 140726625855824 140696039448311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
/proc/5429/statm: 2704838 22698 3247 1 0 2667149 0
[pid=5429/tid=5482] ppid=5426 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/5429/task/5482/stat : 5482 (java) R 5426 5429 4562 0 -1 4202560 12214 12970 0 0 56 3 5 3 20 0 15 0 47677554 11079016448 22698 33554432000 4194304 4196468 140726625873280 140696011269136 140696021011844 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5483] ppid=5426 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5483/stat : 5483 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677555 11079016448 22698 33554432000 4194304 4196468 140726625873280 140696043690512 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5484] ppid=5426 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5484/stat : 5484 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677555 11079016448 22698 33554432000 4194304 4196468 140726625873280 140695958510224 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5485] ppid=5426 vsize=10819352 memory=139713474343696 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5485/stat : 5485 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677555 11079016448 22698 33554432000 4194304 4196468 140726625873280 140695957457168 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5486] ppid=5426 vsize=10819352 memory=139715286139476 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5486/stat : 5486 (java) S 5426 5429 4562 0 -1 1077944384 2 12970 0 0 0 0 5 3 20 0 15 0 47677555 11079016448 22698 33554432000 4194304 4196468 140726625873280 140695956404624 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5487] ppid=5426 vsize=10819352 memory=8364 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5487/stat : 5487 (java) S 5426 5429 4562 0 -1 1077944384 5 12970 0 0 0 0 5 3 20 0 15 0 47677557 11079016448 22698 33554432000 4194304 4196468 140726625873280 140695566080752 140696039459458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5488] ppid=5426 vsize=10819352 memory=7662705889289527641 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5488/stat : 5488 (java) S 5426 5429 4562 0 -1 1077944384 13 12970 0 0 0 0 5 3 20 0 15 0 47677557 11079016448 22698 33554432000 4194304 4196468 140726625873280 140695478199968 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5489] ppid=5426 vsize=10819352 memory=7885081012184048465 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5489/stat : 5489 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677557 11079016448 22698 33554432000 4194304 4196468 140726625873280 140695343981808 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5490] ppid=5426 vsize=10819352 memory=16436 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5490/stat : 5490 (java) S 5426 5429 4562 0 -1 1077944384 2 12970 0 0 0 0 5 3 20 0 15 0 47677560 11079016448 22698 33554432000 4194304 4196468 140726625873280 140694740003280 140696039466907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5491] ppid=5426 vsize=10819352 memory=9764 CPUtime=0.15 cores=1,3,5,7
/proc/5429/task/5491/stat : 5491 (java) S 5426 5429 4562 0 -1 1077944384 866 12970 0 0 7 0 5 3 20 0 15 0 47677560 11079016448 22698 33554432000 4194304 4196468 140726625873280 140695565027568 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5492] ppid=5426 vsize=10819352 memory=4008 CPUtime=0.17 cores=1,3,5,7
/proc/5429/task/5492/stat : 5492 (java) S 5426 5429 4562 0 -1 1077944384 754 12970 0 0 9 0 5 3 20 0 15 0 47677560 11079016448 22698 33554432000 4194304 4196468 140726625873280 140695563975024 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5493] ppid=5426 vsize=10819352 memory=1796 CPUtime=0.2 cores=1,3,5,7
/proc/5429/task/5493/stat : 5493 (java) S 5426 5429 4562 0 -1 1077944384 684 12970 0 0 12 0 5 3 20 0 15 0 47677560 11079016448 22698 33554432000 4194304 4196468 140726625873280 140695562921968 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5494] ppid=5426 vsize=10819352 memory=644 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5494/stat : 5494 (java) S 5426 5429 4562 0 -1 1077944384 3 12970 0 0 0 0 5 3 20 0 15 0 47677560 11079016448 22698 33554432000 4194304 4196468 140726625873280 140694270241120 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5495] ppid=5426 vsize=10819352 memory=956 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5495/stat : 5495 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677560 11079016448 22698 33554432000 4194304 4196468 140726625873280 140695561870384 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90792 KiB
[startup+1.50117 s]
/proc/loadavg: 1.42 1.36 1.35 3/216 5495
/proc/meminfo: memFree=20758768/32770624 swapFree=67108860/67108860
[pid=5429] ppid=5426 vsize=10832204 memory=177072 CPUtime=3 cores=1,3,5,7
/proc/5429/stat : 5429 (java) S 5426 5429 4562 0 -1 1077944320 23881 12970 0 0 282 10 5 3 20 0 15 0 47677546 11092176896 44268 33554432000 4194304 4196468 140726625873280 140726625855824 140696039448311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
/proc/5429/statm: 2708051 44268 3449 1 0 2669709 0
[pid=5429/tid=5482] ppid=5426 vsize=10832204 memory=67232 CPUtime=1.47 cores=1,3,5,7
/proc/5429/task/5482/stat : 5482 (java) R 5426 5429 4562 0 -1 4202560 16415 12970 0 0 132 7 5 3 20 0 15 0 47677554 11092176896 44268 33554432000 4194304 4196468 140726625873280 140696011278272 140696023528798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5483] ppid=5426 vsize=10832204 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5483/stat : 5483 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677555 11092176896 44268 33554432000 4194304 4196468 140726625873280 140696043690512 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5484] ppid=5426 vsize=10832204 memory=279426948718752 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5484/stat : 5484 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677555 11092176896 44268 33554432000 4194304 4196468 140726625873280 140695958510224 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5485] ppid=5426 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5485/stat : 5485 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677555 11092176896 44268 33554432000 4194304 4196468 140726625873280 140695957457168 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5486] ppid=5426 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5486/stat : 5486 (java) S 5426 5429 4562 0 -1 1077944384 2 12970 0 0 0 0 5 3 20 0 15 0 47677555 11092176896 44268 33554432000 4194304 4196468 140726625873280 140695956404624 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5487] ppid=5426 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5487/stat : 5487 (java) S 5426 5429 4562 0 -1 1077944384 12 12970 0 0 0 0 5 3 20 0 15 0 47677557 11092176896 44268 33554432000 4194304 4196468 140726625873280 140695566080752 140696039459458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5488] ppid=5426 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5488/stat : 5488 (java) S 5426 5429 4562 0 -1 1077944384 13 12970 0 0 0 0 5 3 20 0 15 0 47677557 11092176896 44268 33554432000 4194304 4196468 140726625873280 140695478199968 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5489] ppid=5426 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5489/stat : 5489 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677557 11092176896 44268 33554432000 4194304 4196468 140726625873280 140695343981808 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5490] ppid=5426 vsize=10832204 memory=-2746958450906831424 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5490/stat : 5490 (java) S 5426 5429 4562 0 -1 1077944384 2 12970 0 0 0 0 5 3 20 0 15 0 47677560 11092176896 44268 33554432000 4194304 4196468 140726625873280 140694740003280 140696039466907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5491] ppid=5426 vsize=10832204 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/5429/task/5491/stat : 5491 (java) R 5426 5429 4562 0 -1 4202560 1613 12970 0 0 49 0 5 3 20 0 15 0 47677560 11092176896 44268 33554432000 4194304 4196468 140726625873280 140695565027864 140696020992487 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5492] ppid=5426 vsize=10832204 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/5429/task/5492/stat : 5492 (java) S 5426 5429 4562 0 -1 1077944384 1998 12970 0 0 53 0 5 3 20 0 15 0 47677560 11092176896 44268 33554432000 4194304 4196468 140726625873280 140695563975024 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5493] ppid=5426 vsize=10832204 memory=8112282956445269571 CPUtime=0.56 cores=1,3,5,7
/proc/5429/task/5493/stat : 5493 (java) S 5426 5429 4562 0 -1 1077944384 1631 12970 0 0 47 1 5 3 20 0 15 0 47677560 11092176896 44268 33554432000 4194304 4196468 140726625873280 140695562921968 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5494] ppid=5426 vsize=10832204 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5494/stat : 5494 (java) S 5426 5429 4562 0 -1 1077944384 3 12970 0 0 0 0 5 3 20 0 15 0 47677560 11092176896 44268 33554432000 4194304 4196468 140726625873280 140694270241120 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5495] ppid=5426 vsize=10832204 memory=279426948963264 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5495/stat : 5495 (java) S 5426 5429 4562 0 -1 1077944384 1 12970 0 0 0 0 5 3 20 0 15 0 47677560 11092176896 44268 33554432000 4194304 4196468 140726625873280 140695561870384 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/5429/task/5482/stat : 5482 (java) R 5426 5429 4562 0 -1 4202560 91328 12970 0 0 230012 52 5 3 20 0 15 0 47677554 11180277760 290462 33554432000 4194304 4196468 140726625873280 140696011282512 140695654505996 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5483] ppid=5426 vsize=10918240 memory=1161848 CPUtime=11.12 cores=1,3,5,7
/proc/5429/task/5483/stat : 5483 (java) S 5426 5429 4562 0 -1 1077944384 12827 12970 0 0 1059 45 5 3 20 0 15 0 47677555 11180277760 290462 33554432000 4194304 4196468 140726625873280 140696043690512 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5484] ppid=5426 vsize=10918240 memory=1161848 CPUtime=11.04 cores=1,3,5,7
/proc/5429/task/5484/stat : 5484 (java) S 5426 5429 4562 0 -1 1077944384 12043 12970 0 0 1047 49 5 3 20 0 15 0 47677555 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695958510224 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5485] ppid=5426 vsize=10918240 memory=1161848 CPUtime=11.15 cores=1,3,5,7
/proc/5429/task/5485/stat : 5485 (java) S 5426 5429 4562 0 -1 1077944384 14907 12970 0 0 1058 49 5 3 20 0 15 0 47677555 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695957457168 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5486] ppid=5426 vsize=10918240 memory=1161848 CPUtime=11.13 cores=1,3,5,7
/proc/5429/task/5486/stat : 5486 (java) S 5426 5429 4562 0 -1 1077944384 14297 12970 0 0 1056 49 5 3 20 0 15 0 47677555 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695956404624 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5487] ppid=5426 vsize=10918240 memory=1161848 CPUtime=8.57 cores=1,3,5,7
/proc/5429/task/5487/stat : 5487 (java) S 5426 5429 4562 0 -1 1077944384 16524 12970 0 0 803 46 5 3 20 0 15 0 47677557 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695566080752 140696039459458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5488] ppid=5426 vsize=10918240 memory=1161848 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5488/stat : 5488 (java) S 5426 5429 4562 0 -1 1077944384 18 12970 0 0 0 0 5 3 20 0 15 0 47677557 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695478200032 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5489] ppid=5426 vsize=10918240 memory=1161848 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5489/stat : 5489 (java) S 5426 5429 4562 0 -1 1077944384 13 12970 0 0 0 0 5 3 20 0 15 0 47677557 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695343981824 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5490] ppid=5426 vsize=10918240 memory=1948 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5490/stat : 5490 (java) S 5426 5429 4562 0 -1 1077944384 2 12970 0 0 0 0 5 3 20 0 15 0 47677560 11180277760 290462 33554432000 4194304 4196468 140726625873280 140694740003280 140696039466907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5491] ppid=5426 vsize=10918240 memory=1161848 CPUtime=12.84 cores=1,3,5,7
/proc/5429/task/5491/stat : 5491 (java) S 5426 5429 4562 0 -1 1077944384 58701 12970 0 0 1269 7 5 3 20 0 15 0 47677560 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695565027568 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5492] ppid=5426 vsize=10918240 memory=4616 CPUtime=12.63 cores=1,3,5,7
/proc/5429/task/5492/stat : 5492 (java) S 5426 5429 4562 0 -1 1077944384 65008 12970 0 0 1249 6 5 3 20 0 15 0 47677560 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695563975024 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5493] ppid=5426 vsize=10918240 memory=7528 CPUtime=4.82 cores=1,3,5,7
/proc/5429/task/5493/stat : 5493 (java) S 5426 5429 4562 0 -1 1077944384 62355 12970 0 0 464 10 5 3 20 0 15 0 47677560 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695562921968 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5494] ppid=5426 vsize=10918240 memory=840 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5494/stat : 5494 (java) S 5426 5429 4562 0 -1 1077944384 3 12970 0 0 0 0 5 3 20 0 15 0 47677560 11180277760 290462 33554432000 4194304 4196468 140726625873280 140694270241120 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5495] ppid=5426 vsize=10918240 memory=2436 CPUtime=1.37 cores=1,3,5,7
/proc/5429/task/5495/stat : 5495 (java) S 5426 5429 4562 0 -1 1077944384 2356 12970 0 0 64 65 5 3 20 0 15 0 47677560 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695561870384 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
Current children cumulated CPU time: 2384.79 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1161848 KiB
[startup+2382.3 s]
/proc/loadavg: 1.08 1.26 1.32 3/217 5721
/proc/meminfo: memFree=19758956/32770624 swapFree=67108860/67108860
[pid=5429] ppid=5426 vsize=10918240 memory=1161848 CPUtime=2445.8 cores=1,3,5,7
/proc/5429/stat : 5429 (java) S 5426 5429 4562 0 -1 1077944320 353783 12970 0 0 244231 341 5 3 20 0 15 0 47677546 11180277760 290462 33554432000 4194304 4196468 140726625873280 140726625855824 140696039448311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
/proc/5429/statm: 2729560 290462 3529 1 0 2691213 0
[pid=5429/tid=5482] ppid=5426 vsize=10918240 memory=1161848 CPUtime=2360.04 cores=1,3,5,7
/proc/5429/task/5482/stat : 5482 (java) R 5426 5429 4562 0 -1 4202560 91955 12970 0 0 235943 53 5 3 20 0 15 0 47677554 11180277760 290462 33554432000 4194304 4196468 140726625873280 140696011282384 140695641225897 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5483] ppid=5426 vsize=10918240 memory=1161848 CPUtime=11.46 cores=1,3,5,7
/proc/5429/task/5483/stat : 5483 (java) S 5426 5429 4562 0 -1 1077944384 12858 12970 0 0 1092 46 5 3 20 0 15 0 47677555 11180277760 290462 33554432000 4194304 4196468 140726625873280 140696043690512 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5484] ppid=5426 vsize=10918240 memory=1161848 CPUtime=11.39 cores=1,3,5,7
/proc/5429/task/5484/stat : 5484 (java) S 5426 5429 4562 0 -1 1077944384 12165 12970 0 0 1081 50 5 3 20 0 15 0 47677555 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695958510224 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5485] ppid=5426 vsize=10918240 memory=1161848 CPUtime=11.51 cores=1,3,5,7
/proc/5429/task/5485/stat : 5485 (java) S 5426 5429 4562 0 -1 1077944384 15054 12970 0 0 1092 51 5 3 20 0 15 0 47677555 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695957457168 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5486] ppid=5426 vsize=10918240 memory=1161848 CPUtime=11.47 cores=1,3,5,7
/proc/5429/task/5486/stat : 5486 (java) S 5426 5429 4562 0 -1 1077944384 14322 12970 0 0 1089 50 5 3 20 0 15 0 47677555 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695956404624 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5487] ppid=5426 vsize=10918240 memory=1161848 CPUtime=8.83 cores=1,3,5,7
/proc/5429/task/5487/stat : 5487 (java) S 5426 5429 4562 0 -1 1077944384 16763 12970 0 0 828 47 5 3 20 0 15 0 47677557 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695566080752 140696039459458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5488] ppid=5426 vsize=10918240 memory=1161848 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5488/stat : 5488 (java) S 5426 5429 4562 0 -1 1077944384 18 12970 0 0 0 0 5 3 20 0 15 0 47677557 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695478200032 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5489] ppid=5426 vsize=10918240 memory=1161848 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5489/stat : 5489 (java) S 5426 5429 4562 0 -1 1077944384 13 12970 0 0 0 0 5 3 20 0 15 0 47677557 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695343981824 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5490] ppid=5426 vsize=10918240 memory=1161848 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5490/stat : 5490 (java) S 5426 5429 4562 0 -1 1077944384 2 12970 0 0 0 0 5 3 20 0 15 0 47677560 11180277760 290462 33554432000 4194304 4196468 140726625873280 140694740003280 140696039466907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5491] ppid=5426 vsize=10918240 memory=1161848 CPUtime=12.84 cores=1,3,5,7
/proc/5429/task/5491/stat : 5491 (java) S 5426 5429 4562 0 -1 1077944384 58705 12970 0 0 1269 7 5 3 20 0 15 0 47677560 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695565027568 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5492] ppid=5426 vsize=10918240 memory=1161848 CPUtime=12.63 cores=1,3,5,7
/proc/5429/task/5492/stat : 5492 (java) S 5426 5429 4562 0 -1 1077944384 65012 12970 0 0 1249 6 5 3 20 0 15 0 47677560 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695563975024 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5493] ppid=5426 vsize=10918240 memory=2200 CPUtime=4.82 cores=1,3,5,7
/proc/5429/task/5493/stat : 5493 (java) S 5426 5429 4562 0 -1 1077944384 62359 12970 0 0 464 10 5 3 20 0 15 0 47677560 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695562921968 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5494] ppid=5426 vsize=10918240 memory=7528 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5494/stat : 5494 (java) S 5426 5429 4562 0 -1 1077944384 3 12970 0 0 0 0 5 3 20 0 15 0 47677560 11180277760 290462 33554432000 4194304 4196468 140726625873280 140694270241120 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5495] ppid=5426 vsize=10918240 memory=1161848 CPUtime=1.4 cores=1,3,5,7
/proc/5429/task/5495/stat : 5495 (java) S 5426 5429 4562 0 -1 1077944384 2364 12970 0 0 65 67 5 3 20 0 15 0 47677560 11180277760 290462 33554432000 4194304 4196468 140726625873280 140695561870384 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
Current children cumulated CPU time: 2445.8 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1161848 KiB
[startup+2442.3 s]
/proc/loadavg: 0.94 1.19 1.29 3/217 5722
/proc/meminfo: memFree=19781716/32770624 swapFree=67108860/67108860
[pid=5429] ppid=5426 vsize=10918240 memory=1153120 CPUtime=2506.74 cores=1,3,5,7
/proc/5429/stat : 5429 (java) S 5426 5429 4562 0 -1 1077944320 355833 12970 0 0 250318 348 5 3 20 0 15 0 47677546 11180277760 288280 33554432000 4194304 4196468 140726625873280 140726625855824 140696039448311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
/proc/5429/statm: 2729560 288280 3529 1 0 2691213 0
[pid=5429/tid=5482] ppid=5426 vsize=10918240 memory=1153120 CPUtime=2419.43 cores=1,3,5,7
/proc/5429/task/5482/stat : 5482 (java) R 5426 5429 4562 0 -1 4202560 92777 12970 0 0 241881 54 5 3 20 0 15 0 47677554 11180277760 288280 33554432000 4194304 4196468 140726625873280 140696011282512 140695644054456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5483] ppid=5426 vsize=10918240 memory=1153120 CPUtime=11.78 cores=1,3,5,7
/proc/5429/task/5483/stat : 5483 (java) S 5426 5429 4562 0 -1 1077944384 12939 12970 0 0 1123 47 5 3 20 0 15 0 47677555 11180277760 288280 33554432000 4194304 4196468 140726625873280 140696043690512 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5484] ppid=5426 vsize=10918240 memory=1153120 CPUtime=11.71 cores=1,3,5,7
/proc/5429/task/5484/stat : 5484 (java) S 5426 5429 4562 0 -1 1077944384 12267 12970 0 0 1112 51 5 3 20 0 15 0 47677555 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695958510224 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5485] ppid=5426 vsize=10918240 memory=1161848 CPUtime=11.83 cores=1,3,5,7
/proc/5429/task/5485/stat : 5485 (java) S 5426 5429 4562 0 -1 1077944384 15217 12970 0 0 1123 52 5 3 20 0 15 0 47677555 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695957457168 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5486] ppid=5426 vsize=10918240 memory=1156204 CPUtime=11.8 cores=1,3,5,7
/proc/5429/task/5486/stat : 5486 (java) S 5426 5429 4562 0 -1 1077944384 14438 12970 0 0 1120 52 5 3 20 0 15 0 47677555 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695956404624 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5487] ppid=5426 vsize=10918240 memory=1153120 CPUtime=9.08 cores=1,3,5,7
/proc/5429/task/5487/stat : 5487 (java) S 5426 5429 4562 0 -1 1077944384 17143 12970 0 0 852 48 5 3 20 0 15 0 47677557 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695566080752 140696039459458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5488] ppid=5426 vsize=10918240 memory=1161848 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5488/stat : 5488 (java) S 5426 5429 4562 0 -1 1077944384 18 12970 0 0 0 0 5 3 20 0 15 0 47677557 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695478200032 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5489] ppid=5426 vsize=10918240 memory=279426949677728 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5489/stat : 5489 (java) S 5426 5429 4562 0 -1 1077944384 13 12970 0 0 0 0 5 3 20 0 15 0 47677557 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695343981824 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5490] ppid=5426 vsize=10918240 memory=1153120 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5490/stat : 5490 (java) S 5426 5429 4562 0 -1 1077944384 2 12970 0 0 0 0 5 3 20 0 15 0 47677560 11180277760 288280 33554432000 4194304 4196468 140726625873280 140694740003280 140696039466907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5491] ppid=5426 vsize=10918240 memory=1153120 CPUtime=12.84 cores=1,3,5,7
/proc/5429/task/5491/stat : 5491 (java) S 5426 5429 4562 0 -1 1077944384 58707 12970 0 0 1269 7 5 3 20 0 15 0 47677560 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695565027568 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5492] ppid=5426 vsize=10918240 memory=1153120 CPUtime=12.63 cores=1,3,5,7
/proc/5429/task/5492/stat : 5492 (java) S 5426 5429 4562 0 -1 1077944384 65367 12970 0 0 1249 6 5 3 20 0 15 0 47677560 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695563975024 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5493] ppid=5426 vsize=10918240 memory=1153120 CPUtime=4.82 cores=1,3,5,7
/proc/5429/task/5493/stat : 5493 (java) S 5426 5429 4562 0 -1 1077944384 62361 12970 0 0 464 10 5 3 20 0 15 0 47677560 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695562921968 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5494] ppid=5426 vsize=10918240 memory=1153120 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5494/stat : 5494 (java) S 5426 5429 4562 0 -1 1077944384 3 12970 0 0 0 0 5 3 20 0 15 0 47677560 11180277760 288280 33554432000 4194304 4196468 140726625873280 140694270241120 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5495] ppid=5426 vsize=10918240 memory=1153120 CPUtime=1.44 cores=1,3,5,7
/proc/5429/task/5495/stat : 5495 (java) S 5426 5429 4562 0 -1 1077944384 2391 12970 0 0 67 69 5 3 20 0 15 0 47677560 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695561870384 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
Current children cumulated CPU time: 2506.74 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1153120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2455.4 s]
/proc/loadavg: 1.03 1.20 1.30 3/217 5722
/proc/meminfo: memFree=19790156/32770624 swapFree=67108860/67108860
[pid=5429] ppid=5426 vsize=10918240 memory=1153120 CPUtime=2520.04 cores=1,3,5,7
/proc/5429/stat : 5429 (java) S 5426 5429 4562 0 -1 1077944320 355979 12970 0 0 251646 350 5 3 20 0 15 0 47677546 11180277760 288280 33554432000 4194304 4196468 140726625873280 140726625855824 140696039448311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
/proc/5429/statm: 2729560 288280 3529 1 0 2691213 0
[pid=5429/tid=5482] ppid=5426 vsize=10918240 memory=15900 CPUtime=2432.41 cores=1,3,5,7
/proc/5429/task/5482/stat : 5482 (java) R 5426 5429 4562 0 -1 4202560 92876 12970 0 0 243179 54 5 3 20 0 15 0 47677554 11180277760 288280 33554432000 4194304 4196468 140726625873280 140696011281936 140695644087111 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5483] ppid=5426 vsize=10918240 memory=2436 CPUtime=11.85 cores=1,3,5,7
/proc/5429/task/5483/stat : 5483 (java) S 5426 5429 4562 0 -1 1077944384 12941 12970 0 0 1129 48 5 3 20 0 15 0 47677555 11180277760 288280 33554432000 4194304 4196468 140726625873280 140696043690512 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5484] ppid=5426 vsize=10918240 memory=1296 CPUtime=11.77 cores=1,3,5,7
/proc/5429/task/5484/stat : 5484 (java) S 5426 5429 4562 0 -1 1077944384 12294 12970 0 0 1118 51 5 3 20 0 15 0 47677555 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695958510224 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5485] ppid=5426 vsize=10918240 memory=1728 CPUtime=11.89 cores=1,3,5,7
/proc/5429/task/5485/stat : 5485 (java) S 5426 5429 4562 0 -1 1077944384 15225 12970 0 0 1129 52 5 3 20 0 15 0 47677555 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695957457168 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5486] ppid=5426 vsize=10918240 memory=1008 CPUtime=11.86 cores=1,3,5,7
/proc/5429/task/5486/stat : 5486 (java) S 5426 5429 4562 0 -1 1077944384 14441 12970 0 0 1126 52 5 3 20 0 15 0 47677555 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695956404624 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5487] ppid=5426 vsize=10918240 memory=5520 CPUtime=9.12 cores=1,3,5,7
/proc/5429/task/5487/stat : 5487 (java) S 5426 5429 4562 0 -1 1077944384 17148 12970 0 0 856 48 5 3 20 0 15 0 47677557 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695566080752 140696039459458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5488] ppid=5426 vsize=10918240 memory=4616 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5488/stat : 5488 (java) S 5426 5429 4562 0 -1 1077944384 18 12970 0 0 0 0 5 3 20 0 15 0 47677557 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695478200032 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5489] ppid=5426 vsize=10918240 memory=1428 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5489/stat : 5489 (java) S 5426 5429 4562 0 -1 1077944384 13 12970 0 0 0 0 5 3 20 0 15 0 47677557 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695343981824 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5490] ppid=5426 vsize=10918240 memory=12976 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5490/stat : 5490 (java) S 5426 5429 4562 0 -1 1077944384 2 12970 0 0 0 0 5 3 20 0 15 0 47677560 11180277760 288280 33554432000 4194304 4196468 140726625873280 140694740003280 140696039466907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5491] ppid=5426 vsize=10918240 memory=1696 CPUtime=12.84 cores=1,3,5,7
/proc/5429/task/5491/stat : 5491 (java) S 5426 5429 4562 0 -1 1077944384 58707 12970 0 0 1269 7 5 3 20 0 15 0 47677560 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695565027568 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5492] ppid=5426 vsize=10918240 memory=1232 CPUtime=12.63 cores=1,3,5,7
/proc/5429/task/5492/stat : 5492 (java) S 5426 5429 4562 0 -1 1077944384 65367 12970 0 0 1249 6 5 3 20 0 15 0 47677560 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695563975024 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5493] ppid=5426 vsize=10918240 memory=1948 CPUtime=4.82 cores=1,3,5,7
/proc/5429/task/5493/stat : 5493 (java) S 5426 5429 4562 0 -1 1077944384 62361 12970 0 0 464 10 5 3 20 0 15 0 47677560 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695562921968 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5494] ppid=5426 vsize=10918240 memory=1200 CPUtime=0.08 cores=1,3,5,7
/proc/5429/task/5494/stat : 5494 (java) S 5426 5429 4562 0 -1 1077944384 3 12970 0 0 0 0 5 3 20 0 15 0 47677560 11180277760 288280 33554432000 4194304 4196468 140726625873280 140694270241120 140696039458517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
[pid=5429/tid=5495] ppid=5426 vsize=10918240 memory=8368 CPUtime=1.45 cores=1,3,5,7
/proc/5429/task/5495/stat : 5495 (java) S 5426 5429 4562 0 -1 1077944384 2393 12970 0 0 68 69 5 3 20 0 15 0 47677560 11180277760 288280 33554432000 4194304 4196468 140726625873280 140695561870384 140696039459458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140726625880686 140726625883484 140726625883484 140726625886159 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1153120 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2455.44 s]
# the end of solver process 5429 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.53 s, system=3.54162 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2455.44
CPU time (s): 2520.08
CPU user time (s): 2516.53
CPU system time (s): 3.54162
CPU usage (%): 102.632
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 1508640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.53
system time used= 3.54162
maximum resident set size= 1510688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370601
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 245771
involuntary context switches= 4873
# summary of solver processes directly reported to runsolver:
# pid: 5429
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.53
# total CPU system time (s): 3.54162
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1449 second user time and 23.2364 second system time
The end