1.00/1.03 c Concrete v3.9.2.1532736233296 running
17.17/6.99 c 21:56:41.286 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19796. 'extension(x[0][10]=[0‥6], 6) :: init: true :: relation: MDD 1087279177, 10 edges, 4 vertices, 12 tuples
17.17/6.99 c 21:56:41.290 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19797. 'extension(6, x[2][10]=[0‥6]) :: init: true :: relation: MDD 1087279177, 10 edges, 4 vertices, 12 tuples
17.17/7.01 c 21:56:41.296 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19833. 'extension(x[0][20]=[0‥6], 6) :: init: true :: relation: MDD 327170708, 10 edges, 4 vertices, 12 tuples
17.17/7.01 c 21:56:41.297 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19834. 'extension(6, x[2][20]=[0‥6]) :: init: true :: relation: MDD 327170708, 10 edges, 4 vertices, 12 tuples
17.17/7.01 c 21:56:41.298 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19870. 'extension(x[0][21]=[0‥6], 6) :: init: true :: relation: MDD 981231499, 10 edges, 4 vertices, 12 tuples
17.17/7.01 c 21:56:41.299 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19871. 'extension(6, x[2][21]=[0‥6]) :: init: true :: relation: MDD 981231499, 10 edges, 4 vertices, 12 tuples
17.17/7.01 c 21:56:41.301 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19907. 'extension(x[0][28]=[0‥6], 6) :: init: true :: relation: MDD 91273747, 10 edges, 4 vertices, 12 tuples
17.17/7.01 c 21:56:41.302 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19908. 'extension(6, x[2][28]=[0‥6]) :: init: true :: relation: MDD 91273747, 10 edges, 4 vertices, 12 tuples
17.52/7.01 c 21:56:41.304 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19944. 'extension(x[0][38]=[0‥6], 6) :: init: true :: relation: MDD 151190974, 10 edges, 4 vertices, 12 tuples
17.52/7.01 c 21:56:41.305 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19981. 'extension(x[1][19]=[0‥6], 6) :: init: true :: relation: MDD 430976509, 10 edges, 4 vertices, 12 tuples
17.52/7.01 c 21:56:41.306 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19982. 'extension(6, x[3][19]=[0‥6]) :: init: true :: relation: MDD 430976509, 10 edges, 4 vertices, 12 tuples
17.52/7.01 c 21:56:41.308 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20020. 'extension(6, x[3][38]=[0‥6]) :: init: true :: relation: MDD 151190974, 10 edges, 4 vertices, 12 tuples
17.52/7.01 c 21:56:41.309 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20023. 'extension(6, 6) :: init: true :: relation: MDD 151190974, 10 edges, 4 vertices, 12 tuples
17.52/7.02 c 21:56:41.311 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20059. 'extension(x[1][45]=[0‥6], 6) :: init: true :: relation: MDD 1772102816, 10 edges, 4 vertices, 12 tuples
17.52/7.02 c 21:56:41.312 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20060. 'extension(6, x[3][45]=[0‥6]) :: init: true :: relation: MDD 1772102816, 10 edges, 4 vertices, 12 tuples
17.52/7.02 c 21:56:41.315 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20098. 'extension(x[2][22]=[0‥6], 6) :: init: true :: relation: MDD 378196591, 10 edges, 4 vertices, 12 tuples
17.52/7.02 c 21:56:41.316 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20138. 'extension(x[2][23]=[0‥6], 6) :: init: true :: relation: MDD 1701461355, 10 edges, 4 vertices, 12 tuples
17.52/7.02 c 21:56:41.317 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20178. 'extension(x[3][1]=[0‥6], 6) :: init: true :: relation: MDD 901751227, 10 edges, 4 vertices, 12 tuples
17.52/7.02 c 21:56:41.318 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20179. 'extension(6, x[5][1]=[0‥6]) :: init: true :: relation: MDD 901751227, 10 edges, 4 vertices, 12 tuples
17.52/7.02 c 21:56:41.320 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20219. 'extension(6, x[5][22]=[0‥6]) :: init: true :: relation: MDD 378196591, 10 edges, 4 vertices, 12 tuples
17.52/7.02 c 21:56:41.321 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20222. 'extension(6, 6) :: init: true :: relation: MDD 378196591, 10 edges, 4 vertices, 12 tuples
17.52/7.03 c 21:56:41.323 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20260. 'extension(6, x[5][23]=[0‥6]) :: init: true :: relation: MDD 1701461355, 10 edges, 4 vertices, 12 tuples
17.52/7.03 c 21:56:41.324 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20263. 'extension(6, 6) :: init: true :: relation: MDD 1701461355, 10 edges, 4 vertices, 12 tuples
17.52/7.03 c 21:56:41.327 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20301. 'extension(6, wk[4][0]=[0‥1]) :: init: true :: relation: MDD 291284958, 7 edges, 3 vertices, 6 tuples
17.52/7.03 c 21:56:41.327 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20302. 'extension(x[4][4]=[0‥6], 6) :: init: true :: relation: MDD 1970518510, 10 edges, 4 vertices, 12 tuples
17.52/7.03 c 21:56:41.328 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20303. 'extension(6, x[6][4]=[0‥6]) :: init: true :: relation: MDD 1970518510, 10 edges, 4 vertices, 12 tuples
17.52/7.03 c 21:56:41.330 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20344. 'extension(6, wk[37][0]=[0‥1]) :: init: true :: relation: MDD 1567025476, 7 edges, 3 vertices, 6 tuples
17.52/7.04 c 21:56:41.330 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20345. 'extension(x[4][37]=[0‥6], 6) :: init: true :: relation: MDD 132048949, 10 edges, 4 vertices, 12 tuples
17.52/7.04 c 21:56:41.331 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20346. 'extension(6, x[6][37]=[0‥6]) :: init: true :: relation: MDD 132048949, 10 edges, 4 vertices, 12 tuples
17.52/7.04 c 21:56:41.333 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20387. 'extension(6, wk[48][0]=[0‥1]) :: init: true :: relation: MDD 1343293809, 7 edges, 3 vertices, 6 tuples
17.52/7.04 c 21:56:41.333 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20388. 'extension(x[4][48]=[0‥6], 6) :: init: true :: relation: MDD 1049628186, 10 edges, 4 vertices, 12 tuples
17.52/7.04 c 21:56:41.335 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20431. 'extension(6, wk[42][0]=[0‥1]) :: init: true :: relation: MDD 1477048870, 7 edges, 3 vertices, 6 tuples
17.52/7.04 c 21:56:41.335 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20432. 'extension(x[5][42]=[0‥6], 6) :: init: true :: relation: MDD 1794486854, 10 edges, 4 vertices, 12 tuples
17.52/7.04 c 21:56:41.336 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20433. 'extension(6, x[7][42]=[0‥6]) :: init: true :: relation: MDD 1794486854, 10 edges, 4 vertices, 12 tuples
17.52/7.04 c 21:56:41.338 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20476. 'extension(6, wk[48][0]=[0‥1]) :: init: true :: relation: MDD 1717688512, 7 edges, 3 vertices, 6 tuples
17.52/7.04 c 21:56:41.339 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20477. 'extension(6, x[7][48]=[0‥6]) :: init: true :: relation: MDD 1049628186, 10 edges, 4 vertices, 12 tuples
17.52/7.04 c 21:56:41.339 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20480. 'extension(6, 6) :: init: true :: relation: MDD 1049628186, 10 edges, 4 vertices, 12 tuples
17.52/7.05 c 21:56:41.342 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20521. 'extension(x[6][31]=[0‥6], 6) :: init: true :: relation: MDD 898655932, 10 edges, 4 vertices, 12 tuples
17.52/7.05 c 21:56:41.344 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20563. 'extension(x[7][24]=[0‥6], 6) :: init: true :: relation: MDD 1437396121, 10 edges, 4 vertices, 12 tuples
17.52/7.05 c 21:56:41.344 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20564. 'extension(6, x[9][24]=[0‥6]) :: init: true :: relation: MDD 1437396121, 10 edges, 4 vertices, 12 tuples
17.52/7.05 c 21:56:41.346 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20605. 'extension(x[7][27]=[0‥6], 6) :: init: true :: relation: MDD 445976541, 10 edges, 4 vertices, 12 tuples
17.52/7.05 c 21:56:41.347 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20606. 'extension(6, x[9][27]=[0‥6]) :: init: true :: relation: MDD 445976541, 10 edges, 4 vertices, 12 tuples
17.52/7.05 c 21:56:41.349 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20647. 'extension(6, x[9][31]=[0‥6]) :: init: true :: relation: MDD 898655932, 10 edges, 4 vertices, 12 tuples
17.52/7.05 c 21:56:41.349 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20650. 'extension(6, 6) :: init: true :: relation: MDD 898655932, 10 edges, 4 vertices, 12 tuples
17.52/7.06 c 21:56:41.351 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20689. 'extension(x[7][32]=[0‥6], 6) :: init: true :: relation: MDD 609375192, 10 edges, 4 vertices, 12 tuples
17.52/7.06 c 21:56:41.352 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20731. 'extension(x[7][37]=[0‥6], 6) :: init: true :: relation: MDD 132048949, 10 edges, 4 vertices, 12 tuples
17.52/7.06 c 21:56:41.353 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20732. 'extension(6, x[9][37]=[0‥6]) :: init: true :: relation: MDD 132048949, 10 edges, 4 vertices, 12 tuples
17.52/7.06 c 21:56:41.355 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20773. 'extension(x[7][45]=[0‥6], 6) :: init: true :: relation: MDD 1772102816, 10 edges, 4 vertices, 12 tuples
17.52/7.06 c 21:56:41.355 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20774. 'extension(6, x[9][45]=[0‥6]) :: init: true :: relation: MDD 1772102816, 10 edges, 4 vertices, 12 tuples
17.52/7.06 c 21:56:41.358 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20817. 'extension(x[7][47]=[0‥6], 6) :: init: true :: relation: MDD 779166731, 10 edges, 4 vertices, 12 tuples
17.52/7.06 c 21:56:41.358 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20818. 'extension(6, x[9][47]=[0‥6]) :: init: true :: relation: MDD 779166731, 10 edges, 4 vertices, 12 tuples
17.52/7.07 c 21:56:41.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20861. 'extension(x[8][5]=[0‥6], 6) :: init: true :: relation: MDD 1146626470, 10 edges, 4 vertices, 12 tuples
17.52/7.07 c 21:56:41.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20862. 'extension(6, x[10][5]=[0‥6]) :: init: true :: relation: MDD 1146626470, 10 edges, 4 vertices, 12 tuples
17.52/7.07 c 21:56:41.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20903. 'extension(x[8][17]=[0‥6], 6) :: init: true :: relation: MDD 405700314, 10 edges, 4 vertices, 12 tuples
17.52/7.07 c 21:56:41.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20904. 'extension(6, x[10][17]=[0‥6]) :: init: true :: relation: MDD 405700314, 10 edges, 4 vertices, 12 tuples
17.52/7.07 c 21:56:41.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20945. 'extension(x[8][30]=[0‥6], 6) :: init: true :: relation: MDD 1713204150, 10 edges, 4 vertices, 12 tuples
17.52/7.07 c 21:56:41.366 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20946. 'extension(6, x[10][30]=[0‥6]) :: init: true :: relation: MDD 1713204150, 10 edges, 4 vertices, 12 tuples
17.52/7.07 c 21:56:41.367 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20987. 'extension(6, x[10][32]=[0‥6]) :: init: true :: relation: MDD 609375192, 10 edges, 4 vertices, 12 tuples
17.52/7.07 c 21:56:41.368 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20990. 'extension(6, 6) :: init: true :: relation: MDD 609375192, 10 edges, 4 vertices, 12 tuples
17.52/7.07 c 21:56:41.370 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21029. 'extension(x[8][35]=[0‥6], 6) :: init: true :: relation: MDD 1070319462, 10 edges, 4 vertices, 12 tuples
17.52/7.07 c 21:56:41.370 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21071. 'extension(x[8][40]=[0‥6], 6) :: init: true :: relation: MDD 1608509647, 10 edges, 4 vertices, 12 tuples
17.52/7.07 c 21:56:41.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21072. 'extension(6, x[10][40]=[0‥6]) :: init: true :: relation: MDD 1608509647, 10 edges, 4 vertices, 12 tuples
17.52/7.08 c 21:56:41.373 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21115. 'extension(x[9][0]=[0‥6], 6) :: init: true :: relation: MDD 2127407451, 10 edges, 4 vertices, 12 tuples
17.52/7.08 c 21:56:41.374 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21157. 'extension(x[9][4]=[0‥6], 6) :: init: true :: relation: MDD 1970518510, 10 edges, 4 vertices, 12 tuples
17.52/7.08 c 21:56:41.375 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21158. 'extension(6, x[11][4]=[0‥6]) :: init: true :: relation: MDD 1970518510, 10 edges, 4 vertices, 12 tuples
17.52/7.08 c 21:56:41.377 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21199. 'extension(x[9][10]=[0‥6], 6) :: init: true :: relation: MDD 1087279177, 10 edges, 4 vertices, 12 tuples
17.52/7.08 c 21:56:41.377 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21200. 'extension(6, x[11][10]=[0‥6]) :: init: true :: relation: MDD 1087279177, 10 edges, 4 vertices, 12 tuples
17.52/7.08 c 21:56:41.379 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21241. 'extension(x[9][20]=[0‥6], 6) :: init: true :: relation: MDD 327170708, 10 edges, 4 vertices, 12 tuples
17.52/7.09 c 21:56:41.380 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21242. 'extension(6, x[11][20]=[0‥6]) :: init: true :: relation: MDD 327170708, 10 edges, 4 vertices, 12 tuples
17.52/7.09 c 21:56:41.382 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21283. 'extension(x[9][29]=[0‥6], 6) :: init: true :: relation: MDD 382762227, 10 edges, 4 vertices, 12 tuples
17.52/7.09 c 21:56:41.382 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21325. 'extension(6, x[11][35]=[0‥6]) :: init: true :: relation: MDD 1070319462, 10 edges, 4 vertices, 12 tuples
17.52/7.09 c 21:56:41.383 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21328. 'extension(6, 6) :: init: true :: relation: MDD 1070319462, 10 edges, 4 vertices, 12 tuples
17.52/7.09 c 21:56:41.385 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21367. 'extension(6, x[12][0]=[0‥6]) :: init: true :: relation: MDD 2127407451, 10 edges, 4 vertices, 12 tuples
17.52/7.09 c 21:56:41.386 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21370. 'extension(6, 6) :: init: true :: relation: MDD 2127407451, 10 edges, 4 vertices, 12 tuples
17.52/7.09 c 21:56:41.387 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21409. 'extension(6, x[12][29]=[0‥6]) :: init: true :: relation: MDD 382762227, 10 edges, 4 vertices, 12 tuples
17.52/7.10 c 21:56:41.388 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21412. 'extension(6, 6) :: init: true :: relation: MDD 382762227, 10 edges, 4 vertices, 12 tuples
17.52/7.10 c 21:56:41.390 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21451. 'extension(x[10][36]=[0‥6], 6) :: init: true :: relation: MDD 413177525, 10 edges, 4 vertices, 12 tuples
17.52/7.10 c 21:56:41.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21493. 'extension(6, wk[21][1]=[0‥1]) :: init: true :: relation: MDD 2012528704, 7 edges, 3 vertices, 6 tuples
17.52/7.10 c 21:56:41.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21494. 'extension(x[11][21]=[0‥6], 6) :: init: true :: relation: MDD 981231499, 10 edges, 4 vertices, 12 tuples
17.52/7.10 c 21:56:41.392 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21495. 'extension(6, x[13][21]=[0‥6]) :: init: true :: relation: MDD 981231499, 10 edges, 4 vertices, 12 tuples
17.52/7.10 c 21:56:41.394 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21536. 'extension(6, wk[27][1]=[0‥1]) :: init: true :: relation: MDD 298259383, 7 edges, 3 vertices, 6 tuples
17.52/7.10 c 21:56:41.394 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21537. 'extension(x[11][27]=[0‥6], 6) :: init: true :: relation: MDD 445976541, 10 edges, 4 vertices, 12 tuples
17.52/7.10 c 21:56:41.394 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21538. 'extension(6, x[13][27]=[0‥6]) :: init: true :: relation: MDD 445976541, 10 edges, 4 vertices, 12 tuples
17.52/7.10 c 21:56:41.396 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21579. 'extension(6, wk[36][1]=[0‥1]) :: init: true :: relation: MDD 1485129132, 7 edges, 3 vertices, 6 tuples
17.52/7.10 c 21:56:41.397 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21580. 'extension(6, x[13][36]=[0‥6]) :: init: true :: relation: MDD 413177525, 10 edges, 4 vertices, 12 tuples
17.52/7.10 c 21:56:41.397 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21583. 'extension(6, 6) :: init: true :: relation: MDD 413177525, 10 edges, 4 vertices, 12 tuples
17.52/7.10 c 21:56:41.399 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21622. 'extension(6, wk[46][1]=[0‥1]) :: init: true :: relation: MDD 1865539378, 7 edges, 3 vertices, 6 tuples
17.52/7.10 c 21:56:41.399 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21623. 'extension(x[11][46]=[0‥6], 6) :: init: true :: relation: MDD 1364958538, 10 edges, 4 vertices, 12 tuples
17.52/7.11 c 21:56:41.400 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21667. 'extension(6, wk[1][1]=[0‥1]) :: init: true :: relation: MDD 1217347025, 7 edges, 3 vertices, 6 tuples
17.52/7.11 c 21:56:41.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21668. 'extension(x[12][1]=[0‥6], 6) :: init: true :: relation: MDD 901751227, 10 edges, 4 vertices, 12 tuples
17.52/7.11 c 21:56:41.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21669. 'extension(6, x[14][1]=[0‥6]) :: init: true :: relation: MDD 901751227, 10 edges, 4 vertices, 12 tuples
17.86/7.11 c 21:56:41.403 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21710. 'extension(6, wk[2][1]=[0‥1]) :: init: true :: relation: MDD 209667159, 7 edges, 3 vertices, 6 tuples
17.86/7.11 c 21:56:41.403 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21711. 'extension(x[12][2]=[0‥6], 6) :: init: true :: relation: MDD 2097217770, 10 edges, 4 vertices, 12 tuples
17.86/7.11 c 21:56:41.404 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21753. 'extension(6, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 1193577032, 7 edges, 3 vertices, 6 tuples
17.86/7.11 c 21:56:41.404 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21754. 'extension(x[12][5]=[0‥6], 6) :: init: true :: relation: MDD 1146626470, 10 edges, 4 vertices, 12 tuples
17.86/7.11 c 21:56:41.405 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21755. 'extension(6, x[14][5]=[0‥6]) :: init: true :: relation: MDD 1146626470, 10 edges, 4 vertices, 12 tuples
17.86/7.11 c 21:56:41.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21796. 'extension(6, wk[12][1]=[0‥1]) :: init: true :: relation: MDD 1229754153, 7 edges, 3 vertices, 6 tuples
17.86/7.11 c 21:56:41.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21797. 'extension(x[12][12]=[0‥6], 6) :: init: true :: relation: MDD 369838089, 10 edges, 4 vertices, 12 tuples
17.86/7.11 c 21:56:41.408 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21839. 'extension(6, wk[43][1]=[0‥1]) :: init: true :: relation: MDD 304193386, 7 edges, 3 vertices, 6 tuples
17.86/7.11 c 21:56:41.408 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21840. 'extension(x[12][43]=[0‥6], 6) :: init: true :: relation: MDD 1836017760, 10 edges, 4 vertices, 12 tuples
17.86/7.11 c 21:56:41.408 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21841. 'extension(6, x[14][43]=[0‥6]) :: init: true :: relation: MDD 1836017760, 10 edges, 4 vertices, 12 tuples
17.86/7.11 c 21:56:41.410 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21884. 'extension(6, wk[46][1]=[0‥1]) :: init: true :: relation: MDD 1568215509, 7 edges, 3 vertices, 6 tuples
17.86/7.11 c 21:56:41.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21885. 'extension(6, x[14][46]=[0‥6]) :: init: true :: relation: MDD 1364958538, 10 edges, 4 vertices, 12 tuples
17.86/7.12 c 21:56:41.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21888. 'extension(6, 6) :: init: true :: relation: MDD 1364958538, 10 edges, 4 vertices, 12 tuples
17.86/7.12 c 21:56:41.414 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21929. 'extension(6, x[15][2]=[0‥6]) :: init: true :: relation: MDD 2097217770, 10 edges, 4 vertices, 12 tuples
17.86/7.12 c 21:56:41.414 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21932. 'extension(6, 6) :: init: true :: relation: MDD 2097217770, 10 edges, 4 vertices, 12 tuples
17.86/7.12 c 21:56:41.416 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21971. 'extension(x[13][3]=[0‥6], 6) :: init: true :: relation: MDD 786058987, 10 edges, 4 vertices, 12 tuples
17.86/7.12 c 21:56:41.416 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22013. 'extension(x[13][6]=[0‥6], 6) :: init: true :: relation: MDD 196237139, 10 edges, 4 vertices, 12 tuples
17.86/7.12 c 21:56:41.417 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22055. 'extension(6, x[15][12]=[0‥6]) :: init: true :: relation: MDD 369838089, 10 edges, 4 vertices, 12 tuples
17.86/7.12 c 21:56:41.418 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22058. 'extension(6, 6) :: init: true :: relation: MDD 369838089, 10 edges, 4 vertices, 12 tuples
17.86/7.12 c 21:56:41.419 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22097. 'extension(x[13][34]=[0‥6], 6) :: init: true :: relation: MDD 1744523301, 10 edges, 4 vertices, 12 tuples
17.86/7.12 c 21:56:41.420 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22098. 'extension(6, x[15][34]=[0‥6]) :: init: true :: relation: MDD 1744523301, 10 edges, 4 vertices, 12 tuples
17.86/7.12 c 21:56:41.421 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22139. 'extension(x[13][41]=[0‥6], 6) :: init: true :: relation: MDD 773765215, 10 edges, 4 vertices, 12 tuples
17.86/7.13 c 21:56:41.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22183. 'extension(6, x[16][3]=[0‥6]) :: init: true :: relation: MDD 786058987, 10 edges, 4 vertices, 12 tuples
17.86/7.13 c 21:56:41.423 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22186. 'extension(6, 6) :: init: true :: relation: MDD 786058987, 10 edges, 4 vertices, 12 tuples
17.86/7.13 c 21:56:41.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22225. 'extension(6, x[16][6]=[0‥6]) :: init: true :: relation: MDD 196237139, 10 edges, 4 vertices, 12 tuples
17.86/7.13 c 21:56:41.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22228. 'extension(6, 6) :: init: true :: relation: MDD 196237139, 10 edges, 4 vertices, 12 tuples
17.86/7.13 c 21:56:41.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22267. 'extension(x[14][18]=[0‥6], 6) :: init: true :: relation: MDD 848484634, 10 edges, 4 vertices, 12 tuples
17.86/7.13 c 21:56:41.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22309. 'extension(6, x[16][41]=[0‥6]) :: init: true :: relation: MDD 773765215, 10 edges, 4 vertices, 12 tuples
17.86/7.13 c 21:56:41.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22312. 'extension(6, 6) :: init: true :: relation: MDD 773765215, 10 edges, 4 vertices, 12 tuples
17.86/7.13 c 21:56:41.430 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22353. 'extension(x[14][42]=[0‥6], 6) :: init: true :: relation: MDD 1794486854, 10 edges, 4 vertices, 12 tuples
17.86/7.13 c 21:56:41.430 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22354. 'extension(6, x[16][42]=[0‥6]) :: init: true :: relation: MDD 1794486854, 10 edges, 4 vertices, 12 tuples
17.86/7.14 c 21:56:41.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22397. 'extension(x[15][14]=[0‥6], 6) :: init: true :: relation: MDD 1565560098, 10 edges, 4 vertices, 12 tuples
17.86/7.14 c 21:56:41.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22398. 'extension(6, x[17][14]=[0‥6]) :: init: true :: relation: MDD 1565560098, 10 edges, 4 vertices, 12 tuples
17.86/7.14 c 21:56:41.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22439. 'extension(x[15][15]=[0‥6], 6) :: init: true :: relation: MDD 616990183, 10 edges, 4 vertices, 12 tuples
17.86/7.14 c 21:56:41.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22481. 'extension(x[15][17]=[0‥6], 6) :: init: true :: relation: MDD 405700314, 10 edges, 4 vertices, 12 tuples
17.86/7.15 c 21:56:41.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22482. 'extension(6, x[17][17]=[0‥6]) :: init: true :: relation: MDD 405700314, 10 edges, 4 vertices, 12 tuples
17.86/7.15 c 21:56:41.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22523. 'extension(6, x[17][18]=[0‥6]) :: init: true :: relation: MDD 848484634, 10 edges, 4 vertices, 12 tuples
17.86/7.15 c 21:56:41.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22526. 'extension(6, 6) :: init: true :: relation: MDD 848484634, 10 edges, 4 vertices, 12 tuples
17.86/7.15 c 21:56:41.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22565. 'extension(x[15][47]=[0‥6], 6) :: init: true :: relation: MDD 779166731, 10 edges, 4 vertices, 12 tuples
17.86/7.15 c 21:56:41.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22566. 'extension(6, x[17][47]=[0‥6]) :: init: true :: relation: MDD 779166731, 10 edges, 4 vertices, 12 tuples
17.86/7.15 c 21:56:41.447 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22609. 'extension(x[16][9]=[0‥6], 6) :: init: true :: relation: MDD 231995562, 10 edges, 4 vertices, 12 tuples
17.86/7.15 c 21:56:41.448 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22651. 'extension(6, x[18][15]=[0‥6]) :: init: true :: relation: MDD 616990183, 10 edges, 4 vertices, 12 tuples
17.86/7.15 c 21:56:41.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22654. 'extension(6, 6) :: init: true :: relation: MDD 616990183, 10 edges, 4 vertices, 12 tuples
17.86/7.15 c 21:56:41.451 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22693. 'extension(x[16][16]=[0‥6], 6) :: init: true :: relation: MDD 622609024, 10 edges, 4 vertices, 12 tuples
17.86/7.16 c 21:56:41.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22735. 'extension(6, x[19][9]=[0‥6]) :: init: true :: relation: MDD 231995562, 10 edges, 4 vertices, 12 tuples
17.86/7.16 c 21:56:41.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22738. 'extension(6, 6) :: init: true :: relation: MDD 231995562, 10 edges, 4 vertices, 12 tuples
17.86/7.16 c 21:56:41.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22777. 'extension(6, x[19][16]=[0‥6]) :: init: true :: relation: MDD 622609024, 10 edges, 4 vertices, 12 tuples
17.86/7.16 c 21:56:41.455 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22780. 'extension(6, 6) :: init: true :: relation: MDD 622609024, 10 edges, 4 vertices, 12 tuples
17.86/7.16 c 21:56:41.456 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22819. 'extension(x[17][25]=[0‥6], 6) :: init: true :: relation: MDD 2134681162, 10 edges, 4 vertices, 12 tuples
17.86/7.16 c 21:56:41.457 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22861. 'extension(x[17][40]=[0‥6], 6) :: init: true :: relation: MDD 1608509647, 10 edges, 4 vertices, 12 tuples
17.86/7.16 c 21:56:41.457 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22862. 'extension(6, x[19][40]=[0‥6]) :: init: true :: relation: MDD 1608509647, 10 edges, 4 vertices, 12 tuples
17.86/7.16 c 21:56:41.460 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22905. 'extension(6, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 847372226, 7 edges, 3 vertices, 6 tuples
17.86/7.16 c 21:56:41.460 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22906. 'extension(x[18][11]=[0‥6], 6) :: init: true :: relation: MDD 1769827821, 10 edges, 4 vertices, 12 tuples
17.86/7.17 c 21:56:41.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22948. 'extension(6, wk[25][2]=[0‥1]) :: init: true :: relation: MDD 1479691423, 7 edges, 3 vertices, 6 tuples
17.86/7.17 c 21:56:41.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22949. 'extension(6, x[20][25]=[0‥6]) :: init: true :: relation: MDD 2134681162, 10 edges, 4 vertices, 12 tuples
17.86/7.17 c 21:56:41.462 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22952. 'extension(6, 6) :: init: true :: relation: MDD 2134681162, 10 edges, 4 vertices, 12 tuples
17.86/7.17 c 21:56:41.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22991. 'extension(6, wk[43][2]=[0‥1]) :: init: true :: relation: MDD 2131465140, 7 edges, 3 vertices, 6 tuples
17.86/7.17 c 21:56:41.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22992. 'extension(x[18][43]=[0‥6], 6) :: init: true :: relation: MDD 1836017760, 10 edges, 4 vertices, 12 tuples
17.86/7.17 c 21:56:41.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22993. 'extension(6, x[20][43]=[0‥6]) :: init: true :: relation: MDD 1836017760, 10 edges, 4 vertices, 12 tuples
17.86/7.17 c 21:56:41.467 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23036. 'extension(6, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 339881373, 7 edges, 3 vertices, 6 tuples
17.86/7.17 c 21:56:41.467 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23037. 'extension(6, x[21][11]=[0‥6]) :: init: true :: relation: MDD 1769827821, 10 edges, 4 vertices, 12 tuples
17.86/7.17 c 21:56:41.468 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23040. 'extension(6, 6) :: init: true :: relation: MDD 1769827821, 10 edges, 4 vertices, 12 tuples
17.86/7.17 c 21:56:41.469 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23079. 'extension(6, wk[44][2]=[0‥1]) :: init: true :: relation: MDD 740735495, 7 edges, 3 vertices, 6 tuples
17.86/7.17 c 21:56:41.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23080. 'extension(x[19][44]=[0‥6], 6) :: init: true :: relation: MDD 134565858, 10 edges, 4 vertices, 12 tuples
17.86/7.17 c 21:56:41.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23081. 'extension(6, x[21][44]=[0‥6]) :: init: true :: relation: MDD 134565858, 10 edges, 4 vertices, 12 tuples
17.86/7.18 c 21:56:41.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23124. 'extension(x[20][13]=[0‥6], 6) :: init: true :: relation: MDD 1301542747, 10 edges, 4 vertices, 12 tuples
17.86/7.18 c 21:56:41.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23166. 'extension(x[21][8]=[0‥6], 6) :: init: true :: relation: MDD 578961422, 10 edges, 4 vertices, 12 tuples
17.86/7.18 c 21:56:41.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23208. 'extension(6, x[23][13]=[0‥6]) :: init: true :: relation: MDD 1301542747, 10 edges, 4 vertices, 12 tuples
17.86/7.18 c 21:56:41.475 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23211. 'extension(6, 6) :: init: true :: relation: MDD 1301542747, 10 edges, 4 vertices, 12 tuples
17.86/7.18 c 21:56:41.476 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23250. 'extension(x[21][49]=[0‥6], 6) :: init: true :: relation: MDD 1576526619, 10 edges, 4 vertices, 12 tuples
17.86/7.18 c 21:56:41.477 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23293. 'extension(6, x[24][8]=[0‥6]) :: init: true :: relation: MDD 578961422, 10 edges, 4 vertices, 12 tuples
17.86/7.18 c 21:56:41.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23296. 'extension(6, 6) :: init: true :: relation: MDD 578961422, 10 edges, 4 vertices, 12 tuples
17.86/7.18 c 21:56:41.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23334. 'extension(x[22][19]=[0‥6], 6) :: init: true :: relation: MDD 430976509, 10 edges, 4 vertices, 12 tuples
17.86/7.18 c 21:56:41.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23335. 'extension(6, x[24][19]=[0‥6]) :: init: true :: relation: MDD 430976509, 10 edges, 4 vertices, 12 tuples
17.86/7.19 c 21:56:41.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23375. 'extension(6, x[24][49]=[0‥6]) :: init: true :: relation: MDD 1576526619, 10 edges, 4 vertices, 12 tuples
17.86/7.19 c 21:56:41.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23378. 'extension(6, 6) :: init: true :: relation: MDD 1576526619, 10 edges, 4 vertices, 12 tuples
17.86/7.19 c 21:56:41.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23417. 'extension(x[23][14]=[0‥6], 6) :: init: true :: relation: MDD 1565560098, 10 edges, 4 vertices, 12 tuples
17.86/7.19 c 21:56:41.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23418. 'extension(6, x[25][14]=[0‥6]) :: init: true :: relation: MDD 1565560098, 10 edges, 4 vertices, 12 tuples
17.86/7.19 c 21:56:41.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23457. 'extension(x[23][28]=[0‥6], 6) :: init: true :: relation: MDD 91273747, 10 edges, 4 vertices, 12 tuples
17.86/7.19 c 21:56:41.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23458. 'extension(6, x[25][28]=[0‥6]) :: init: true :: relation: MDD 91273747, 10 edges, 4 vertices, 12 tuples
17.86/7.19 c 21:56:41.489 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23497. 'extension(x[23][34]=[0‥6], 6) :: init: true :: relation: MDD 1744523301, 10 edges, 4 vertices, 12 tuples
17.86/7.19 c 21:56:41.489 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23498. 'extension(6, x[25][34]=[0‥6]) :: init: true :: relation: MDD 1744523301, 10 edges, 4 vertices, 12 tuples
17.86/7.20 c 21:56:41.492 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23537. 'extension(x[24][24]=[0‥6], 6) :: init: true :: relation: MDD 1437396121, 10 edges, 4 vertices, 12 tuples
17.86/7.20 c 21:56:41.492 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23538. 'extension(6, x[26][24]=[0‥6]) :: init: true :: relation: MDD 1437396121, 10 edges, 4 vertices, 12 tuples
18.15/7.20 c 21:56:41.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23576. 'extension(x[24][26]=[0‥6], 6) :: init: true :: relation: MDD 622396011, 10 edges, 4 vertices, 12 tuples
18.15/7.20 c 21:56:41.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23615. 'extension(x[24][33]=[0‥6], 6) :: init: true :: relation: MDD 221402392, 10 edges, 4 vertices, 12 tuples
18.15/7.20 c 21:56:41.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23654. 'extension(x[24][39]=[0‥6], 6) :: init: true :: relation: MDD 569022831, 10 edges, 4 vertices, 12 tuples
18.15/7.20 c 21:56:41.497 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23693. 'extension(6, wk[7][3]=[0‥1]) :: init: true :: relation: MDD 2034546868, 7 edges, 3 vertices, 6 tuples
18.15/7.20 c 21:56:41.497 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23694. 'extension(x[25][7]=[0‥6], 6) :: init: true :: relation: MDD 1726092648, 10 edges, 4 vertices, 12 tuples
18.15/7.20 c 21:56:41.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23731. 'extension(6, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 565077371, 7 edges, 3 vertices, 6 tuples
18.15/7.20 c 21:56:41.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23732. 'extension(6, x[27][26]=[0‥6]) :: init: true :: relation: MDD 622396011, 10 edges, 4 vertices, 12 tuples
18.15/7.20 c 21:56:41.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23734. 'extension(6, 6) :: init: true :: relation: MDD 622396011, 10 edges, 4 vertices, 12 tuples
18.15/7.20 c 21:56:41.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23769. 'extension(6, wk[33][3]=[0‥1]) :: init: true :: relation: MDD 982313508, 7 edges, 3 vertices, 6 tuples
18.15/7.20 c 21:56:41.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23770. 'extension(6, x[27][33]=[0‥6]) :: init: true :: relation: MDD 221402392, 10 edges, 4 vertices, 12 tuples
18.15/7.20 c 21:56:41.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23772. 'extension(6, 6) :: init: true :: relation: MDD 221402392, 10 edges, 4 vertices, 12 tuples
18.15/7.21 c 21:56:41.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23807. 'extension(6, wk[39][3]=[0‥1]) :: init: true :: relation: MDD 1373254373, 7 edges, 3 vertices, 6 tuples
18.15/7.21 c 21:56:41.502 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23808. 'extension(6, x[27][39]=[0‥6]) :: init: true :: relation: MDD 569022831, 10 edges, 4 vertices, 12 tuples
18.15/7.21 c 21:56:41.502 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23810. 'extension(6, 6) :: init: true :: relation: MDD 569022831, 10 edges, 4 vertices, 12 tuples
18.15/7.21 c 21:56:41.503 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23845. 'extension(6, wk[44][3]=[0‥1]) :: init: true :: relation: MDD 1122661733, 7 edges, 3 vertices, 6 tuples
18.15/7.21 c 21:56:41.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23846. 'extension(x[25][44]=[0‥6], 6) :: init: true :: relation: MDD 134565858, 10 edges, 4 vertices, 12 tuples
18.15/7.21 c 21:56:41.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23847. 'extension(6, x[27][44]=[0‥6]) :: init: true :: relation: MDD 134565858, 10 edges, 4 vertices, 12 tuples
18.15/7.21 c 21:56:41.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23883. 'extension(6, wk[7][3]=[0‥1]) :: init: true :: relation: MDD 340792090, 7 edges, 3 vertices, 6 tuples
18.15/7.21 c 21:56:41.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23884. 'extension(6, 6) :: init: true :: relation: MDD 1726092648, 10 edges, 4 vertices, 12 tuples
18.15/7.21 c 21:56:41.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23885. 'extension(6, 6) :: init: true :: relation: MDD 67573741, 7 edges, 3 vertices, 6 tuples
18.15/7.21 c 21:56:41.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23917. 'extension(6, wk[30][3]=[0‥1]) :: init: true :: relation: MDD 1139817507, 7 edges, 3 vertices, 6 tuples
18.15/7.21 c 21:56:41.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23918. 'extension(x[26][30]=[0‥6], 6) :: init: true :: relation: MDD 1713204150, 10 edges, 4 vertices, 12 tuples
18.15/7.21 c 21:56:41.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23919. 'extension(6, x[26][30]=[0‥6]) :: init: true :: relation: MDD 997770883, 7 edges, 3 vertices, 6 tuples
18.15/7.23 c 21:56:41.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24052. 'extension(x[0][10]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.23 c 21:56:41.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24054. 'extension(x[2][10]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.23 c 21:56:41.524 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24066. 'extension(x[0][20]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.23 c 21:56:41.524 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24068. 'extension(x[2][20]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.23 c 21:56:41.524 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24080. 'extension(x[0][21]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.23 c 21:56:41.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24082. 'extension(x[2][21]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.23 c 21:56:41.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24094. 'extension(x[0][28]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.23 c 21:56:41.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24096. 'extension(x[2][28]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.23 c 21:56:41.526 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24108. 'extension(x[0][38]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.23 c 21:56:41.526 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24112. 'extension(x[1][19]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.23 c 21:56:41.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24114. 'extension(x[3][19]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.23 c 21:56:41.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24128. 'extension(x[3][38]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.23 c 21:56:41.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24142. 'extension(x[1][45]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.23 c 21:56:41.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24144. 'extension(x[3][45]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24158. 'extension(x[2][22]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24164. 'extension(x[2][23]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24170. 'extension(x[3][1]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24172. 'extension(x[5][1]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24186. 'extension(x[5][22]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24200. 'extension(x[5][23]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24214. 'extension(wk[4][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24216. 'extension(x[4][4]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.533 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24218. 'extension(x[6][4]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.533 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24232. 'extension(wk[37][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24234. 'extension(x[4][37]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24236. 'extension(x[6][37]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24250. 'extension(wk[48][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24252. 'extension(x[4][48]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24258. 'extension(wk[42][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24260. 'extension(x[5][42]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24262. 'extension(x[7][42]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24278. 'extension(wk[48][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24280. 'extension(x[7][48]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24296. 'extension(x[6][31]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.538 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24302. 'extension(x[7][24]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.538 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24304. 'extension(x[9][24]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24318. 'extension(x[7][27]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24320. 'extension(x[9][27]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.540 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24334. 'extension(x[9][31]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.540 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24348. 'extension(x[7][32]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.541 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24354. 'extension(x[7][37]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.24 c 21:56:41.541 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24356. 'extension(x[9][37]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.25 c 21:56:41.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24370. 'extension(x[7][45]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.25 c 21:56:41.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24372. 'extension(x[9][45]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.25 c 21:56:41.543 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24388. 'extension(x[7][47]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.25 c 21:56:41.543 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24390. 'extension(x[9][47]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.25 c 21:56:41.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24406. 'extension(x[8][5]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.25 c 21:56:41.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24408. 'extension(x[10][5]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.25 c 21:56:41.545 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24422. 'extension(x[8][17]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.25 c 21:56:41.545 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24424. 'extension(x[10][17]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.25 c 21:56:41.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24438. 'extension(x[8][30]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24440. 'extension(x[10][30]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.547 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24454. 'extension(x[10][32]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.548 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24468. 'extension(x[8][35]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.548 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24474. 'extension(x[8][40]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24476. 'extension(x[10][40]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24492. 'extension(x[9][0]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.550 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24498. 'extension(x[9][4]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.550 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24500. 'extension(x[11][4]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.551 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24514. 'extension(x[9][10]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.551 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24516. 'extension(x[11][10]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.552 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24530. 'extension(x[9][20]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.552 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24532. 'extension(x[11][20]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.553 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24546. 'extension(x[9][29]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.553 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24552. 'extension(x[11][35]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24566. 'extension(x[12][0]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.555 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24580. 'extension(x[12][29]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.555 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24594. 'extension(x[10][36]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.556 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24600. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.556 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24602. 'extension(x[11][21]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.556 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24604. 'extension(x[13][21]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.557 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24618. 'extension(wk[27][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.557 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24620. 'extension(x[11][27]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.557 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24622. 'extension(x[13][27]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.558 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24636. 'extension(wk[36][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.558 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24638. 'extension(x[13][36]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24652. 'extension(wk[46][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24654. 'extension(x[11][46]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24660. 'extension(wk[1][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24662. 'extension(x[12][1]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24664. 'extension(x[14][1]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.560 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24678. 'extension(wk[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.560 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24680. 'extension(x[12][2]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.26 c 21:56:41.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24686. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24688. 'extension(x[12][5]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24690. 'extension(x[14][5]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24704. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24706. 'extension(x[12][12]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24712. 'extension(wk[43][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.563 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24714. 'extension(x[12][43]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.563 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24716. 'extension(x[14][43]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.564 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24732. 'extension(wk[46][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.564 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24734. 'extension(x[14][46]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24750. 'extension(x[15][2]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24764. 'extension(x[13][3]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.566 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24770. 'extension(x[13][6]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.566 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24776. 'extension(x[15][12]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24790. 'extension(x[13][34]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24792. 'extension(x[15][34]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.568 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24806. 'extension(x[13][41]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.568 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24812. 'extension(x[16][3]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.569 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24826. 'extension(x[16][6]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.569 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24840. 'extension(x[14][18]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.569 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24846. 'extension(x[16][41]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24862. 'extension(x[14][42]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.27 c 21:56:41.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24864. 'extension(x[16][42]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24880. 'extension(x[15][14]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24882. 'extension(x[17][14]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.572 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24896. 'extension(x[15][15]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.573 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24902. 'extension(x[15][17]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.573 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24904. 'extension(x[17][17]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.573 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24918. 'extension(x[17][18]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.574 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24932. 'extension(x[15][47]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.574 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24934. 'extension(x[17][47]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.575 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24950. 'extension(x[16][9]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.575 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24956. 'extension(x[18][15]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.576 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24970. 'extension(x[16][16]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.576 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24976. 'extension(x[19][9]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.577 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24990. 'extension(x[19][16]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.578 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25004. 'extension(x[17][25]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.578 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25010. 'extension(x[17][40]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.578 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25012. 'extension(x[19][40]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.579 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25028. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.579 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25030. 'extension(x[18][11]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.579 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25036. 'extension(wk[25][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.580 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25038. 'extension(x[20][25]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.580 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25052. 'extension(wk[43][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.580 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25054. 'extension(x[18][43]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.28 c 21:56:41.581 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25056. 'extension(x[20][43]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.581 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25072. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.581 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25074. 'extension(x[21][11]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.582 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25088. 'extension(wk[44][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.582 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25090. 'extension(x[19][44]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.582 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25092. 'extension(x[21][44]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.583 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25108. 'extension(x[20][13]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.584 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25114. 'extension(x[21][8]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.584 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25120. 'extension(x[23][13]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.584 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25134. 'extension(x[21][49]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.585 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25140. 'extension(x[24][8]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.585 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25154. 'extension(x[22][19]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.586 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25156. 'extension(x[24][19]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.586 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25170. 'extension(x[24][49]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.587 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25186. 'extension(x[23][14]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.587 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25188. 'extension(x[25][14]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.588 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25202. 'extension(x[23][28]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.588 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25204. 'extension(x[25][28]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.589 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25218. 'extension(x[23][34]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.589 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25220. 'extension(x[25][34]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.589 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25234. 'extension(x[24][24]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.590 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25236. 'extension(x[26][24]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.590 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25250. 'extension(x[24][26]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.591 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25256. 'extension(x[24][33]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.29 c 21:56:41.591 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25262. 'extension(x[24][39]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.30 c 21:56:41.591 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25268. 'extension(wk[7][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.30 c 21:56:41.591 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25270. 'extension(x[25][7]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.30 c 21:56:41.592 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25276. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.15/7.30 c 21:56:41.592 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25278. 'extension(x[27][26]=[0‥6]) :: init: true :: relation: Empty MDD
18.15/7.30 c 21:56:41.592 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25290. 'extension(wk[33][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.47/7.30 c 21:56:41.593 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25292. 'extension(x[27][33]=[0‥6]) :: init: true :: relation: Empty MDD
18.47/7.30 c 21:56:41.593 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25304. 'extension(wk[39][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.47/7.30 c 21:56:41.593 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25306. 'extension(x[27][39]=[0‥6]) :: init: true :: relation: Empty MDD
18.47/7.30 c 21:56:41.594 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25318. 'extension(wk[44][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.47/7.30 c 21:56:41.594 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25320. 'extension(x[25][44]=[0‥6]) :: init: true :: relation: Empty MDD
18.47/7.30 c 21:56:41.594 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25322. 'extension(x[27][44]=[0‥6]) :: init: true :: relation: Empty MDD
18.47/7.30 c 21:56:41.595 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25334. 'extension(wk[7][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.47/7.30 c 21:56:41.595 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25340. 'extension(wk[30][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.47/7.30 c 21:56:41.595 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25342. 'extension(x[26][30]=[0‥6]) :: init: true :: relation: Empty MDD
18.47/7.30 c 21:56:41.595 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25344. 'extension(x[26][30]=[0‥6]) :: init: true :: relation: Empty MDD
252.03/224.81 Exception in thread "main" java.util.concurrent.TimeoutException
252.03/224.81 at concrete.MAC.mac(MAC.scala:188)
252.03/224.81 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.03/224.81 at scala.util.Try$.apply(Try.scala:209)
252.03/224.81 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.03/224.81 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.03/224.81 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.03/224.81 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.03/224.81 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.03/224.81 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.03/224.81 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.03/224.81 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.03/224.81 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.03/224.81 at concrete.MAC.oneRun(MAC.scala:253)
252.03/224.81 at concrete.MAC.nextSolution(MAC.scala:272)
252.03/224.81 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.03/224.81 at concrete.ProblemState.map(ProblemState.scala:221)
252.03/224.81 at concrete.ProblemState.map(ProblemState.scala:204)
252.03/224.81 at concrete.MAC.nextSolution(MAC.scala:334)
252.03/224.81 at concrete.Solver.hasNext(Solver.scala:166)
252.03/224.81 at scala.collection.Iterator.foreach(Iterator.scala:944)
252.03/224.81 at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.03/224.81 at concrete.Solver.foreach(Solver.scala:68)
252.03/224.81 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.03/224.81 at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.03/224.81 at scala.util.Success.map(Try.scala:209)
252.03/224.81 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.03/224.81 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.03/224.81 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.03/224.81 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.03/224.81 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.03/224.81 at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.03/224.81 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.03/224.81 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.03/224.81 at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.03/224.81 at scala.collection.immutable.List.foreach(List.scala:389)
252.03/224.81 at scala.App.main(App.scala:76)
252.03/224.81 at scala.App.main$(App.scala:74)
252.03/224.81 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.03/224.81 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.03/224.81 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 (13381 MiB free)
memory of node 1: 16384 MiB (12244 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302780-1532894194/watcher-4302780-1532894194 -o /tmp/evaluation-result-4302780-1532894194/solver-4302780-1532894194 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28700 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1907809164 -superng HOME/instance-4302780-1532894194.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29860, runsolver pid=29857
[startup+0.100201 s]*
/proc/loadavg: 1.89 1.88 1.49 3/210 29917
/proc/meminfo: memFree=26231536/32770624 swapFree=67108744/67108860
[pid=29860] ppid=29857 vsize=10005480 memory=18592 CPUtime=0.1 cores=0,2,4,6
/proc/29860/stat : 29860 (java) S 29857 29860 19273 0 -1 1077944320 4283 13016 0 0 1 1 5 3 20 0 6 0 106982583 10245611520 4648 33554432000 4194304 4196468 140728035779696 140728035762240 139821733060343 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
/proc/29860/statm: 2501370 4648 1935 1 0 2489808 0
[pid=29860/tid=29913] ppid=29857 vsize=10005480 memory=4279135703946986127 CPUtime=0.09 cores=0,2,4,6
/proc/29860/task/29913/stat : 29913 (java) R 29857 29860 19273 0 -1 4202560 2081 13016 0 0 1 0 5 3 20 0 6 0 106982592 10245611520 4648 33554432000 4194304 4196468 140728035779696 139821704897104 139821718183280 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29914] ppid=29857 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29914/stat : 29914 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 6 0 106982592 10245611520 4648 33554432000 4194304 4196468 140728035779696 139821737302672 139821733070549 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29915] ppid=29857 vsize=10005480 memory=140614345422464 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29915/stat : 29915 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 6 0 106982592 10245611520 4648 33554432000 4194304 4196468 140728035779696 139821592021520 139821733070549 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29916] ppid=29857 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29916/stat : 29916 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 6 0 106982592 10245611520 4648 33554432000 4194304 4196468 140728035779696 139821590968720 139821733070549 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29917] ppid=29857 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29917/stat : 29917 (java) S 29857 29860 19273 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 6 0 106982592 10245611520 4648 33554432000 4194304 4196468 140728035779696 139821589915920 139821733070549 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18592 KiB
[startup+0.210164 s]*
/proc/loadavg: 1.89 1.88 1.49 3/219 29926
/proc/meminfo: memFree=26209088/32770624 swapFree=67108744/67108860
[pid=29860] ppid=29857 vsize=10985364 memory=47740 CPUtime=0.27 cores=0,2,4,6
/proc/29860/stat : 29860 (java) S 29857 29860 19273 0 -1 1077944320 8457 13016 0 0 17 2 5 3 20 0 15 0 106982583 11249012736 11935 33554432000 4194304 4196468 140728035779696 140728035762240 139821733060343 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
/proc/29860/statm: 2746341 11935 2977 1 0 2708764 0
[pid=29860/tid=29913] ppid=29857 vsize=10982744 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/29860/task/29913/stat : 29913 (java) D 29857 29860 19273 0 -1 1077944384 5005 13016 0 0 11 1 5 3 20 0 15 0 106982592 11246329856 11687 33554432000 4194304 4196468 140728035779696 139821704885152 139821725739565 0 4 0 16800975 18446744072101809700 0 0 -1 2 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29914] ppid=29857 vsize=10982776 memory=364 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29914/stat : 29914 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982592 11246362624 11687 33554432000 4194304 4196468 140728035779696 139821737302672 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29915] ppid=29857 vsize=10982776 memory=140614345449855 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29915/stat : 29915 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982592 11246362624 11687 33554432000 4194304 4196468 140728035779696 139821592021520 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29916] ppid=29857 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29916/stat : 29916 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982592 11246362624 11687 33554432000 4194304 4196468 140728035779696 139821590968720 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29917] ppid=29857 vsize=10982776 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29917/stat : 29917 (java) S 29857 29860 19273 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 106982592 11246362624 11687 33554432000 4194304 4196468 140728035779696 139821589915920 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29918] ppid=29857 vsize=10982776 memory=140614345422464 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29918/stat : 29918 (java) S 29857 29860 19273 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 106982594 11246362624 11752 33554432000 4194304 4196468 140728035779696 139821158857584 139821733071490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29919] ppid=29857 vsize=10982776 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29919/stat : 29919 (java) S 29857 29860 19273 0 -1 1077944384 13 13016 0 0 0 0 5 3 20 0 15 0 106982594 11246362624 11752 33554432000 4194304 4196468 140728035779696 139820526462496 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29920] ppid=29857 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29920/stat : 29920 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982595 11246362624 11818 33554432000 4194304 4196468 140728035779696 139820378613104 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29921] ppid=29857 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29921/stat : 29921 (java) S 29857 29860 19273 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 106982597 11246362624 11818 33554432000 4194304 4196468 140728035779696 139820071213392 139821733078939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29922] ppid=29857 vsize=10982776 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29860/task/29922/stat : 29922 (java) S 29857 29860 19273 0 -1 1077944384 89 13016 0 0 1 0 5 3 20 0 15 0 106982597 11246362624 11818 33554432000 4194304 4196468 140728035779696 139821157804400 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29923] ppid=29857 vsize=10982776 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/29860/task/29923/stat : 29923 (java) S 29857 29860 19273 0 -1 1077944384 532 13016 0 0 1 0 5 3 20 0 15 0 106982597 11246362624 11818 33554432000 4194304 4196468 140728035779696 139821156751600 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29924] ppid=29857 vsize=10982776 memory=140614345422464 CPUtime=0.11 cores=0,2,4,6
/proc/29860/task/29924/stat : 29924 (java) S 29857 29860 19273 0 -1 1077944384 606 13016 0 0 3 0 5 3 20 0 15 0 106982597 11246362624 11884 33554432000 4194304 4196468 140728035779696 139821155698800 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29925] ppid=29857 vsize=10982776 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29925/stat : 29925 (java) S 29857 29860 19273 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 106982597 11246362624 11884 33554432000 4194304 4196468 140728035779696 139819640416480 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29926] ppid=29857 vsize=10982776 memory=140614345422464 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29926/stat : 29926 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982598 11246362624 11884 33554432000 4194304 4196468 140728035779696 139821154647216 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 47740 KiB
[startup+0.310591 s]*
/proc/loadavg: 1.89 1.88 1.49 3/219 29926
/proc/meminfo: memFree=26195692/32770624 swapFree=67108744/67108860
[pid=29860] ppid=29857 vsize=10983192 memory=57208 CPUtime=0.39 cores=0,2,4,6
/proc/29860/stat : 29860 (java) S 29857 29860 19273 0 -1 1077944320 10326 13016 0 0 29 2 5 3 20 0 15 0 106982583 11246788608 14302 33554432000 4194304 4196468 140728035779696 140728035762240 139821733060343 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
/proc/29860/statm: 2745798 14302 3096 1 0 2708109 0
[pid=29860/tid=29913] ppid=29857 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/29860/task/29913/stat : 29913 (java) R 29857 29860 19273 0 -1 4202560 6862 13016 0 0 20 1 5 3 20 0 15 0 106982592 11246788608 14302 33554432000 4194304 4196468 140728035779696 139821704872352 139821713333304 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29914] ppid=29857 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29914/stat : 29914 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982592 11246788608 14302 33554432000 4194304 4196468 140728035779696 139821737302672 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29915] ppid=29857 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29915/stat : 29915 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982592 11246788608 14302 33554432000 4194304 4196468 140728035779696 139821592021520 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29916] ppid=29857 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29916/stat : 29916 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982592 11246788608 14302 33554432000 4194304 4196468 140728035779696 139821590968720 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29917] ppid=29857 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29917/stat : 29917 (java) S 29857 29860 19273 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 106982592 11246788608 14302 33554432000 4194304 4196468 140728035779696 139821589915920 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29918] ppid=29857 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29918/stat : 29918 (java) S 29857 29860 19273 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 106982594 11246788608 14302 33554432000 4194304 4196468 140728035779696 139821158857584 139821733071490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29919] ppid=29857 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29919/stat : 29919 (java) S 29857 29860 19273 0 -1 1077944384 13 13016 0 0 0 0 5 3 20 0 15 0 106982594 11246788608 14302 33554432000 4194304 4196468 140728035779696 139820526462496 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29920] ppid=29857 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29920/stat : 29920 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982595 11246788608 14302 33554432000 4194304 4196468 140728035779696 139820378613104 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29921] ppid=29857 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29921/stat : 29921 (java) S 29857 29860 19273 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 106982597 11246788608 14302 33554432000 4194304 4196468 140728035779696 139820071213392 139821733078939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29922] ppid=29857 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29860/task/29922/stat : 29922 (java) S 29857 29860 19273 0 -1 1077944384 94 13016 0 0 1 0 5 3 20 0 15 0 106982597 11246788608 14302 33554432000 4194304 4196468 140728035779696 139821157804400 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29923] ppid=29857 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/29860/task/29923/stat : 29923 (java) S 29857 29860 19273 0 -1 1077944384 532 13016 0 0 1 0 5 3 20 0 15 0 106982597 11246788608 14302 33554432000 4194304 4196468 140728035779696 139821156751600 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29924] ppid=29857 vsize=10983192 memory=140614345422464 CPUtime=0.13 cores=0,2,4,6
/proc/29860/task/29924/stat : 29924 (java) R 29857 29860 19273 0 -1 4202560 613 13016 0 0 5 0 5 3 20 0 15 0 106982597 11246788608 14302 33554432000 4194304 4196468 140728035779696 139821155698800 139821712493435 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29925] ppid=29857 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29925/stat : 29925 (java) S 29857 29860 19273 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 106982597 11246788608 14302 33554432000 4194304 4196468 140728035779696 139819640416480 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29926] ppid=29857 vsize=10983192 memory=140614345422464 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29926/stat : 29926 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982598 11246788608 14302 33554432000 4194304 4196468 140728035779696 139821154647216 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57208 KiB
[startup+0.700774 s]
/proc/loadavg: 1.89 1.88 1.49 3/219 29926
/proc/meminfo: memFree=26186760/32770624 swapFree=67108744/67108860
[pid=29860] ppid=29857 vsize=10983192 memory=89564 CPUtime=0.99 cores=0,2,4,6
/proc/29860/stat : 29860 (java) S 29857 29860 19273 0 -1 1077944320 16412 13016 0 0 88 3 5 3 20 0 15 0 106982583 11246788608 22391 33554432000 4194304 4196468 140728035779696 140728035762240 139821733060343 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
/proc/29860/statm: 2745798 22391 3241 1 0 2708109 0
[pid=29860/tid=29913] ppid=29857 vsize=10983192 memory=281228419031488 CPUtime=0.67 cores=0,2,4,6
/proc/29860/task/29913/stat : 29913 (java) R 29857 29860 19273 0 -1 4202560 11844 13016 0 0 57 2 5 3 20 0 15 0 106982592 11246788608 22391 33554432000 4194304 4196468 140728035779696 139821704881168 139821713335478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29914] ppid=29857 vsize=10983192 memory=281228419031680 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29914/stat : 29914 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982592 11246788608 22391 33554432000 4194304 4196468 140728035779696 139821737302672 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29915] ppid=29857 vsize=10983192 memory=281228418828304 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29915/stat : 29915 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982592 11246788608 22391 33554432000 4194304 4196468 140728035779696 139821592021520 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29916] ppid=29857 vsize=10983192 memory=33 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29916/stat : 29916 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982592 11246788608 22391 33554432000 4194304 4196468 140728035779696 139821590968720 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29917] ppid=29857 vsize=10983192 memory=140614209516016 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29917/stat : 29917 (java) S 29857 29860 19273 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 106982592 11246788608 22391 33554432000 4194304 4196468 140728035779696 139821589915920 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29918] ppid=29857 vsize=10983192 memory=140617229271638 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29918/stat : 29918 (java) S 29857 29860 19273 0 -1 1077944384 5 13016 0 0 0 0 5 3 20 0 15 0 106982594 11246788608 22391 33554432000 4194304 4196468 140728035779696 139821158857584 139821733071490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29919] ppid=29857 vsize=10983192 memory=1200 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29919/stat : 29919 (java) S 29857 29860 19273 0 -1 1077944384 13 13016 0 0 0 0 5 3 20 0 15 0 106982594 11246788608 22391 33554432000 4194304 4196468 140728035779696 139820526462496 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29920] ppid=29857 vsize=10983192 memory=7014751519616751185 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29920/stat : 29920 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982595 11246788608 22391 33554432000 4194304 4196468 140728035779696 139820378613104 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29921] ppid=29857 vsize=10983192 memory=7811891939479414610 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29921/stat : 29921 (java) S 29857 29860 19273 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 106982597 11246788608 22391 33554432000 4194304 4196468 140728035779696 139820071213392 139821733078939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29922] ppid=29857 vsize=10983192 memory=6148935659200796009 CPUtime=0.16 cores=0,2,4,6
/proc/29860/task/29922/stat : 29922 (java) S 29857 29860 19273 0 -1 1077944384 486 13016 0 0 8 0 5 3 20 0 15 0 106982597 11246788608 22391 33554432000 4194304 4196468 140728035779696 139821157804400 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29923] ppid=29857 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/29860/task/29923/stat : 29923 (java) S 29857 29860 19273 0 -1 1077944384 1191 13016 0 0 9 0 5 3 20 0 15 0 106982597 11246788608 22391 33554432000 4194304 4196468 140728035779696 139821156751600 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29924] ppid=29857 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/29860/task/29924/stat : 29924 (java) S 29857 29860 19273 0 -1 1077944384 663 13016 0 0 13 0 5 3 20 0 15 0 106982597 11246788608 22391 33554432000 4194304 4196468 140728035779696 139821155698800 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29925] ppid=29857 vsize=10983192 memory=4096 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29925/stat : 29925 (java) S 29857 29860 19273 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 106982597 11246788608 22391 33554432000 4194304 4196468 140728035779696 139819640416480 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29926] ppid=29857 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29926/stat : 29926 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982598 11246788608 22391 33554432000 4194304 4196468 140728035779696 139821154647216 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89564 KiB
[startup+1.50114 s]
/proc/loadavg: 1.89 1.88 1.49 2/219 29926
/proc/meminfo: memFree=26155672/32770624 swapFree=67108744/67108860
[pid=29860] ppid=29857 vsize=10991948 memory=133892 CPUtime=2.21 cores=0,2,4,6
/proc/29860/stat : 29860 (java) S 29857 29860 19273 0 -1 1077944320 21843 13016 0 0 207 6 5 3 20 0 15 0 106982583 11255754752 33473 33554432000 4194304 4196468 140728035779696 140728035762240 139821733060343 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
/proc/29860/statm: 2747987 33473 3443 1 0 2709645 0
[pid=29860/tid=29913] ppid=29857 vsize=10991948 memory=13884 CPUtime=1.17 cores=0,2,4,6
/proc/29860/task/29913/stat : 29913 (java) R 29857 29860 19273 0 -1 4202560 14405 13016 0 0 105 4 5 3 20 0 15 0 106982592 11255754752 33473 33554432000 4194304 4196468 140728035779696 139821704892672 139821267947554 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29914] ppid=29857 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29914/stat : 29914 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982592 11255754752 33473 33554432000 4194304 4196468 140728035779696 139821737302672 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29915] ppid=29857 vsize=10991948 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29915/stat : 29915 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982592 11255754752 33473 33554432000 4194304 4196468 140728035779696 139821592021520 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29916] ppid=29857 vsize=10991948 memory=3136 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29916/stat : 29916 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982592 11255754752 33473 33554432000 4194304 4196468 140728035779696 139821590968720 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29917] ppid=29857 vsize=10991948 memory=89564 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29917/stat : 29917 (java) S 29857 29860 19273 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 106982592 11255754752 33473 33554432000 4194304 4196468 140728035779696 139821589915920 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29918] ppid=29857 vsize=10991948 memory=281228419031488 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29918/stat : 29918 (java) S 29857 29860 19273 0 -1 1077944384 13 13016 0 0 0 0 5 3 20 0 15 0 106982594 11255754752 33473 33554432000 4194304 4196468 140728035779696 139821158857584 139821733071490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29919] ppid=29857 vsize=10991948 memory=281228419031680 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29919/stat : 29919 (java) S 29857 29860 19273 0 -1 1077944384 13 13016 0 0 0 0 5 3 20 0 15 0 106982594 11255754752 33473 33554432000 4194304 4196468 140728035779696 139820526462496 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29920] ppid=29857 vsize=10991948 memory=281228418827936 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29920/stat : 29920 (java) S 29857 29860 19273 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 106982595 11255754752 33473 33554432000 4194304 4196468 140728035779696 139820378613104 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29921] ppid=29857 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29921/stat : 29921 (java) S 29857 29860 19273 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 106982597 11255754752 33473 33554432000 4194304 4196468 140728035779696 139820071213392 139821733078939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29922] ppid=29857 vsize=10991948 memory=4638778398332698720 CPUtime=0.39 cores=0,2,4,6
/proc/29860/task/29922/stat : 29922 (java) R 29857 29860 19273 0 -1 4202560 1518 13016 0 0 31 0 5 3 20 0 15 0 106982597 11255754752 33473 33554432000 4194304 4196468 140728035779696 139821157790560 139821714580403 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29923] ppid=29857 vsize=10991948 memory=281228419308416 CPUtime=0.39 cores=0,2,4,6
/proc/29860/task/29923/stat : 29923 (java) R 29857 29860 19273 0 -1 4202560 2261 13016 0 0 31 0 5 3 20 0 15 0 106982597 11255754752 33473 33554432000 4194304 4196468 140728035779696 139821156734272 139821714581210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29924] ppid=29857 vsize=10991948 memory=-7522837583129502606 CPUtime=0.46 cores=0,2,4,6
/proc/29860/task/29924/stat : 29924 (java) R 29857 29860 19273 0 -1 4202560 1422 13016 0 0 38 0 5 3 20 0 15 0 106982597 11255754752 33473 33554432000 4194304 4196468 140728035779696 139821155698800 139821711550129 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29925] ppid=29857 vsize=10991948 memory=6944656592452807323 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29925/stat : 29925 (java) S 29857 29860 19273 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 106982597 11255754752 33473 33554432000 4194304 4196468 140728035779696 139819640416480 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29926] ppid=29857 vsize=10991948 memory=6944656591801719708 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29926/stat : 29926 (java) S 29857 29860 19273 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 106982598 11255754752 33473 33554432000 4194304 4196468 140728035779696 139821154647216 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
Current children cumulated CPU time: 2.21 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/29860/task/29913/stat : 29913 (java) R 29857 29860 19273 0 -1 4202560 50669 13016 0 0 10093 35 5 3 20 0 15 0 106982592 11280941056 556904 33554432000 4194304 4196468 140728035779696 139821704891512 139821273233153 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29914] ppid=29857 vsize=11016544 memory=2227616 CPUtime=0.47 cores=0,2,4,6
/proc/29860/task/29914/stat : 29914 (java) S 29857 29860 19273 0 -1 1077944384 1691 13016 0 0 30 9 5 3 20 0 15 0 106982592 11280941056 556904 33554432000 4194304 4196468 140728035779696 139821737302672 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29915] ppid=29857 vsize=11016544 memory=2 CPUtime=0.52 cores=0,2,4,6
/proc/29860/task/29915/stat : 29915 (java) S 29857 29860 19273 0 -1 1077944384 3352 13016 0 0 36 8 5 3 20 0 15 0 106982592 11280941056 556904 33554432000 4194304 4196468 140728035779696 139821592021520 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29916] ppid=29857 vsize=11016544 memory=1388368 CPUtime=0.51 cores=0,2,4,6
/proc/29860/task/29916/stat : 29916 (java) S 29857 29860 19273 0 -1 1077944384 519 13016 0 0 34 9 5 3 20 0 15 0 106982592 11280941056 556904 33554432000 4194304 4196468 140728035779696 139821590968720 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29917] ppid=29857 vsize=11016544 memory=7451894300419318880 CPUtime=0.5 cores=0,2,4,6
/proc/29860/task/29917/stat : 29917 (java) S 29857 29860 19273 0 -1 1077944384 1477 13016 0 0 33 9 5 3 20 0 15 0 106982592 11280941056 556904 33554432000 4194304 4196468 140728035779696 139821589915920 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29918] ppid=29857 vsize=11016544 memory=281228420207840 CPUtime=0.17 cores=0,2,4,6
/proc/29860/task/29918/stat : 29918 (java) S 29857 29860 19273 0 -1 1077944384 4795 13016 0 0 9 0 5 3 20 0 15 0 106982594 11280941056 556904 33554432000 4194304 4196468 140728035779696 139821158857584 139821733071490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29919] ppid=29857 vsize=11016544 memory=13918 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29919/stat : 29919 (java) S 29857 29860 19273 0 -1 1077944384 15 13016 0 0 0 0 5 3 20 0 15 0 106982594 11280941056 556904 33554432000 4194304 4196468 140728035779696 139820526462560 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29920] ppid=29857 vsize=11016544 memory=30628 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29920/stat : 29920 (java) S 29857 29860 19273 0 -1 1077944384 4 13016 0 0 0 0 5 3 20 0 15 0 106982595 11280941056 556904 33554432000 4194304 4196468 140728035779696 139820378613120 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29921] ppid=29857 vsize=11016544 memory=140614209374649 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29921/stat : 29921 (java) S 29857 29860 19273 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 106982597 11280941056 556904 33554432000 4194304 4196468 140728035779696 139820071213392 139821733078939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29922] ppid=29857 vsize=11016544 memory=2221004 CPUtime=10.65 cores=0,2,4,6
/proc/29860/task/29922/stat : 29922 (java) S 29857 29860 19273 0 -1 1077944384 23148 13016 0 0 1053 4 5 3 20 0 15 0 106982597 11280941056 556904 33554432000 4194304 4196468 140728035779696 139821157804400 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29923] ppid=29857 vsize=11016544 memory=7451578783568521815 CPUtime=10.69 cores=0,2,4,6
/proc/29860/task/29923/stat : 29923 (java) S 29857 29860 19273 0 -1 1077944384 29546 13016 0 0 1056 5 5 3 20 0 15 0 106982597 11280941056 556904 33554432000 4194304 4196468 140728035779696 139821156751600 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29924] ppid=29857 vsize=11016544 memory=7307202980802881623 CPUtime=3.68 cores=0,2,4,6
/proc/29860/task/29924/stat : 29924 (java) S 29857 29860 19273 0 -1 1077944384 16473 13016 0 0 354 6 5 3 20 0 15 0 106982597 11280941056 556904 33554432000 4194304 4196468 140728035779696 139821155698800 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29925] ppid=29857 vsize=11016544 memory=956 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29925/stat : 29925 (java) S 29857 29860 19273 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 106982597 11280941056 556904 33554432000 4194304 4196468 140728035779696 139819640416480 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29926] ppid=29857 vsize=11016544 memory=2340 CPUtime=0.12 cores=0,2,4,6
/proc/29860/task/29926/stat : 29926 (java) S 29857 29860 19273 0 -1 1077944384 673 13016 0 0 2 2 5 3 20 0 15 0 106982598 11280941056 556904 33554432000 4194304 4196468 140728035779696 139821154647216 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
Current children cumulated CPU time: 128.07 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2227616 KiB
[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.60 3/220 30058
/proc/meminfo: memFree=22851760/32770624 swapFree=67108744/67108860
[pid=29860] ppid=29857 vsize=11016544 memory=2130052 CPUtime=188.65 cores=0,2,4,6
/proc/29860/stat : 29860 (java) S 29857 29860 19273 0 -1 1077944320 150229 13016 0 0 18761 96 5 3 20 0 15 0 106982583 11280941056 532513 33554432000 4194304 4196468 140728035779696 140728035762240 139821733060343 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
/proc/29860/statm: 2754136 532513 3539 1 0 2715789 0
[pid=29860/tid=29913] ppid=29857 vsize=11016544 memory=2130052 CPUtime=161.28 cores=0,2,4,6
/proc/29860/task/29913/stat : 29913 (java) R 29857 29860 19273 0 -1 4202560 53298 13016 0 0 16085 35 5 3 20 0 15 0 106982592 11280941056 532513 33554432000 4194304 4196468 140728035779696 139821704891512 139821287483232 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29914] ppid=29857 vsize=11016544 memory=2142364 CPUtime=0.53 cores=0,2,4,6
/proc/29860/task/29914/stat : 29914 (java) S 29857 29860 19273 0 -1 1077944384 2376 13016 0 0 35 10 5 3 20 0 15 0 106982592 11280941056 532513 33554432000 4194304 4196468 140728035779696 139821737302672 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29915] ppid=29857 vsize=11016544 memory=2142364 CPUtime=0.57 cores=0,2,4,6
/proc/29860/task/29915/stat : 29915 (java) S 29857 29860 19273 0 -1 1077944384 3482 13016 0 0 40 9 5 3 20 0 15 0 106982592 11280941056 532513 33554432000 4194304 4196468 140728035779696 139821592021520 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29916] ppid=29857 vsize=11016544 memory=2130052 CPUtime=0.56 cores=0,2,4,6
/proc/29860/task/29916/stat : 29916 (java) S 29857 29860 19273 0 -1 1077944384 720 13016 0 0 38 10 5 3 20 0 15 0 106982592 11280941056 532513 33554432000 4194304 4196468 140728035779696 139821590968720 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29917] ppid=29857 vsize=11016544 memory=2140824 CPUtime=0.54 cores=0,2,4,6
/proc/29860/task/29917/stat : 29917 (java) S 29857 29860 19273 0 -1 1077944384 2555 13016 0 0 37 9 5 3 20 0 15 0 106982592 11280941056 532513 33554432000 4194304 4196468 140728035779696 139821589915920 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29918] ppid=29857 vsize=11016544 memory=4096 CPUtime=0.19 cores=0,2,4,6
/proc/29860/task/29918/stat : 29918 (java) S 29857 29860 19273 0 -1 1077944384 5070 13016 0 0 10 1 5 3 20 0 15 0 106982594 11280941056 532513 33554432000 4194304 4196468 140728035779696 139821158857584 139821733071490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29919] ppid=29857 vsize=11016544 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29919/stat : 29919 (java) S 29857 29860 19273 0 -1 1077944384 15 13016 0 0 0 0 5 3 20 0 15 0 106982594 11280941056 532513 33554432000 4194304 4196468 140728035779696 139820526462560 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29920] ppid=29857 vsize=11016544 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29920/stat : 29920 (java) S 29857 29860 19273 0 -1 1077944384 4 13016 0 0 0 0 5 3 20 0 15 0 106982595 11280941056 532513 33554432000 4194304 4196468 140728035779696 139820378613120 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29921] ppid=29857 vsize=11016544 memory=2140932 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29921/stat : 29921 (java) S 29857 29860 19273 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 106982597 11280941056 532513 33554432000 4194304 4196468 140728035779696 139820071213392 139821733078939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29922] ppid=29857 vsize=11016544 memory=4616 CPUtime=10.84 cores=0,2,4,6
/proc/29860/task/29922/stat : 29922 (java) S 29857 29860 19273 0 -1 1077944384 27455 13016 0 0 1071 5 5 3 20 0 15 0 106982597 11280941056 532513 33554432000 4194304 4196468 140728035779696 139821157804400 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29923] ppid=29857 vsize=11016544 memory=1424 CPUtime=10.84 cores=0,2,4,6
/proc/29860/task/29923/stat : 29923 (java) S 29857 29860 19273 0 -1 1077944384 31617 13016 0 0 1071 5 5 3 20 0 15 0 106982597 11280941056 532513 33554432000 4194304 4196468 140728035779696 139821156751600 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29924] ppid=29857 vsize=11016544 memory=2140824 CPUtime=3.75 cores=0,2,4,6
/proc/29860/task/29924/stat : 29924 (java) S 29857 29860 19273 0 -1 1077944384 20730 13016 0 0 361 6 5 3 20 0 15 0 106982597 11280941056 532513 33554432000 4194304 4196468 140728035779696 139821155698800 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29925] ppid=29857 vsize=11016544 memory=2167500 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29925/stat : 29925 (java) S 29857 29860 19273 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 106982597 11280941056 532513 33554432000 4194304 4196468 140728035779696 139819640416480 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29926] ppid=29857 vsize=11016544 memory=2130052 CPUtime=0.16 cores=0,2,4,6
/proc/29860/task/29926/stat : 29926 (java) S 29857 29860 19273 0 -1 1077944384 704 13016 0 0 4 4 5 3 20 0 15 0 106982598 11280941056 532513 33554432000 4194304 4196468 140728035779696 139821154647216 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
Current children cumulated CPU time: 188.65 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2130052 KiB
[startup+222.301 s]
/proc/loadavg: 1.64 1.89 1.59 3/220 30067
/proc/meminfo: memFree=22619988/32770624 swapFree=67108744/67108860
[pid=29860] ppid=29857 vsize=11016544 memory=2040792 CPUtime=249.49 cores=0,2,4,6
/proc/29860/stat : 29860 (java) S 29857 29860 19273 0 -1 1077944320 171060 13016 0 0 24840 101 5 3 20 0 15 0 106982583 11280941056 510198 33554432000 4194304 4196468 140728035779696 140728035762240 139821733060343 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
/proc/29860/statm: 2754136 510198 3539 1 0 2715789 0
[pid=29860/tid=29913] ppid=29857 vsize=11016544 memory=2045920 CPUtime=221.17 cores=0,2,4,6
/proc/29860/task/29913/stat : 29913 (java) R 29857 29860 19273 0 -1 4202560 55635 13016 0 0 22074 35 5 3 20 0 15 0 106982592 11280941056 510198 33554432000 4194304 4196468 140728035779696 139821704895664 139821287483216 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29914] ppid=29857 vsize=11016544 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/29860/task/29914/stat : 29914 (java) S 29857 29860 19273 0 -1 1077944384 2504 13016 0 0 40 10 5 3 20 0 15 0 106982592 11280941056 510198 33554432000 4194304 4196468 140728035779696 139821737302672 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29915] ppid=29857 vsize=11016544 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/29860/task/29915/stat : 29915 (java) S 29857 29860 19273 0 -1 1077944384 4212 13016 0 0 45 9 5 3 20 0 15 0 106982592 11280941056 510198 33554432000 4194304 4196468 140728035779696 139821592021520 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29916] ppid=29857 vsize=11016544 memory=2070540 CPUtime=0.61 cores=0,2,4,6
/proc/29860/task/29916/stat : 29916 (java) S 29857 29860 19273 0 -1 1077944384 1996 13016 0 0 43 10 5 3 20 0 15 0 106982592 11280941056 510198 33554432000 4194304 4196468 140728035779696 139821590968720 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29917] ppid=29857 vsize=11016544 memory=2045920 CPUtime=0.6 cores=0,2,4,6
/proc/29860/task/29917/stat : 29917 (java) S 29857 29860 19273 0 -1 1077944384 2615 13016 0 0 42 10 5 3 20 0 15 0 106982592 11280941056 510198 33554432000 4194304 4196468 140728035779696 139821589915920 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29918] ppid=29857 vsize=11016544 memory=2041816 CPUtime=0.22 cores=0,2,4,6
/proc/29860/task/29918/stat : 29918 (java) S 29857 29860 19273 0 -1 1077944384 5420 13016 0 0 13 1 5 3 20 0 15 0 106982594 11280941056 510198 33554432000 4194304 4196468 140728035779696 139821158857584 139821733071490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29919] ppid=29857 vsize=11016544 memory=2040792 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29919/stat : 29919 (java) S 29857 29860 19273 0 -1 1077944384 15 13016 0 0 0 0 5 3 20 0 15 0 106982594 11280941056 510198 33554432000 4194304 4196468 140728035779696 139820526462560 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29920] ppid=29857 vsize=11016544 memory=2042328 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29920/stat : 29920 (java) S 29857 29860 19273 0 -1 1077944384 4 13016 0 0 0 0 5 3 20 0 15 0 106982595 11280941056 510198 33554432000 4194304 4196468 140728035779696 139820378613120 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29921] ppid=29857 vsize=11016544 memory=2042328 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29921/stat : 29921 (java) S 29857 29860 19273 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 106982597 11280941056 510198 33554432000 4194304 4196468 140728035779696 139820071213392 139821733078939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29922] ppid=29857 vsize=11016544 memory=1008 CPUtime=11.03 cores=0,2,4,6
/proc/29860/task/29922/stat : 29922 (java) S 29857 29860 19273 0 -1 1077944384 32368 13016 0 0 1090 5 5 3 20 0 15 0 106982597 11280941056 510198 33554432000 4194304 4196468 140728035779696 139821157804400 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29923] ppid=29857 vsize=11016544 memory=2396 CPUtime=11.25 cores=0,2,4,6
/proc/29860/task/29923/stat : 29923 (java) S 29857 29860 19273 0 -1 1077944384 38589 13016 0 0 1111 6 5 3 20 0 15 0 106982597 11280941056 510198 33554432000 4194304 4196468 140728035779696 139821156751600 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29924] ppid=29857 vsize=11016544 memory=1292 CPUtime=3.83 cores=0,2,4,6
/proc/29860/task/29924/stat : 29924 (java) S 29857 29860 19273 0 -1 1077944384 24677 13016 0 0 368 7 5 3 20 0 15 0 106982597 11280941056 510198 33554432000 4194304 4196468 140728035779696 139821155698800 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29925] ppid=29857 vsize=11016544 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29925/stat : 29925 (java) S 29857 29860 19273 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 106982597 11280941056 510198 33554432000 4194304 4196468 140728035779696 139819640416480 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29926] ppid=29857 vsize=11016544 memory=2042328 CPUtime=0.19 cores=0,2,4,6
/proc/29860/task/29926/stat : 29926 (java) S 29857 29860 19273 0 -1 1077944384 822 13016 0 0 5 6 5 3 20 0 15 0 106982598 11280941056 510198 33554432000 4194304 4196468 140728035779696 139821154647216 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
Current children cumulated CPU time: 249.49 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2040792 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+224.801 s]
/proc/loadavg: 1.59 1.87 1.58 3/220 30067
/proc/meminfo: memFree=22620260/32770624 swapFree=67108744/67108860
[pid=29860] ppid=29857 vsize=11016544 memory=2039248 CPUtime=252.03 cores=0,2,4,6
/proc/29860/stat : 29860 (java) S 29857 29860 19273 0 -1 1077944320 171827 13016 0 0 25093 102 5 3 20 0 15 0 106982583 11280941056 509812 33554432000 4194304 4196468 140728035779696 140728035762240 139821733060343 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
/proc/29860/statm: 2754136 509812 3539 1 0 2715789 0
[pid=29860/tid=29913] ppid=29857 vsize=11016544 memory=1800 CPUtime=223.66 cores=0,2,4,6
/proc/29860/task/29913/stat : 29913 (java) R 29857 29860 19273 0 -1 4202560 55641 13016 0 0 22323 35 5 3 20 0 15 0 106982592 11280941056 509812 33554432000 4194304 4196468 140728035779696 139821704895696 139821297290630 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29914] ppid=29857 vsize=11016544 memory=956 CPUtime=0.58 cores=0,2,4,6
/proc/29860/task/29914/stat : 29914 (java) S 29857 29860 19273 0 -1 1077944384 2510 13016 0 0 40 10 5 3 20 0 15 0 106982592 11280941056 509812 33554432000 4194304 4196468 140728035779696 139821737302672 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29915] ppid=29857 vsize=11016544 memory=6791534058613427641 CPUtime=0.62 cores=0,2,4,6
/proc/29860/task/29915/stat : 29915 (java) S 29857 29860 19273 0 -1 1077944384 4216 13016 0 0 45 9 5 3 20 0 15 0 106982592 11280941056 509812 33554432000 4194304 4196468 140728035779696 139821592021520 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29916] ppid=29857 vsize=11016544 memory=1200 CPUtime=0.62 cores=0,2,4,6
/proc/29860/task/29916/stat : 29916 (java) S 29857 29860 19273 0 -1 1077944384 1999 13016 0 0 44 10 5 3 20 0 15 0 106982592 11280941056 509812 33554432000 4194304 4196468 140728035779696 139821590968720 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29917] ppid=29857 vsize=11016544 memory=1228 CPUtime=0.61 cores=0,2,4,6
/proc/29860/task/29917/stat : 29917 (java) S 29857 29860 19273 0 -1 1077944384 2617 13016 0 0 43 10 5 3 20 0 15 0 106982592 11280941056 509812 33554432000 4194304 4196468 140728035779696 139821589915920 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29918] ppid=29857 vsize=11016544 memory=1712 CPUtime=0.22 cores=0,2,4,6
/proc/29860/task/29918/stat : 29918 (java) S 29857 29860 19273 0 -1 1077944384 5421 13016 0 0 13 1 5 3 20 0 15 0 106982594 11280941056 509812 33554432000 4194304 4196468 140728035779696 139821158857584 139821733071490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29919] ppid=29857 vsize=11016544 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29919/stat : 29919 (java) S 29857 29860 19273 0 -1 1077944384 15 13016 0 0 0 0 5 3 20 0 15 0 106982594 11280941056 509812 33554432000 4194304 4196468 140728035779696 139820526462560 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29920] ppid=29857 vsize=11016544 memory=2396 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29920/stat : 29920 (java) S 29857 29860 19273 0 -1 1077944384 4 13016 0 0 0 0 5 3 20 0 15 0 106982595 11280941056 509812 33554432000 4194304 4196468 140728035779696 139820378613120 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29921] ppid=29857 vsize=11016544 memory=1292 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29921/stat : 29921 (java) S 29857 29860 19273 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 106982597 11280941056 509812 33554432000 4194304 4196468 140728035779696 139820071213392 139821733078939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29922] ppid=29857 vsize=11016544 memory=1844 CPUtime=11.04 cores=0,2,4,6
/proc/29860/task/29922/stat : 29922 (java) S 29857 29860 19273 0 -1 1077944384 32815 13016 0 0 1091 5 5 3 20 0 15 0 106982597 11280941056 509812 33554432000 4194304 4196468 140728035779696 139821157804400 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29923] ppid=29857 vsize=11016544 memory=1008 CPUtime=11.25 cores=0,2,4,6
/proc/29860/task/29923/stat : 29923 (java) S 29857 29860 19273 0 -1 1077944384 38589 13016 0 0 1111 6 5 3 20 0 15 0 106982597 11280941056 509812 33554432000 4194304 4196468 140728035779696 139821156751600 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29924] ppid=29857 vsize=11016544 memory=5404 CPUtime=3.83 cores=0,2,4,6
/proc/29860/task/29924/stat : 29924 (java) S 29857 29860 19273 0 -1 1077944384 24975 13016 0 0 368 7 5 3 20 0 15 0 106982597 11280941056 509812 33554432000 4194304 4196468 140728035779696 139821155698800 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29925] ppid=29857 vsize=11016544 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/29860/task/29925/stat : 29925 (java) S 29857 29860 19273 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 106982597 11280941056 509812 33554432000 4194304 4196468 140728035779696 139819640416480 139821733070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
[pid=29860/tid=29926] ppid=29857 vsize=11016544 memory=3060 CPUtime=0.19 cores=0,2,4,6
/proc/29860/task/29926/stat : 29926 (java) S 29857 29860 19273 0 -1 1077944384 822 13016 0 0 5 6 5 3 20 0 15 0 106982598 11280941056 509812 33554432000 4194304 4196468 140728035779696 139821154647216 139821733071490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 38453248 140728035781224 140728035784033 140728035784033 140728035786703 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2039248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+224.841 s]
# the end of solver process 29860 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.002 s, system=1.07878 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 224.841
CPU time (s): 252.081
CPU user time (s): 251.002
CPU system time (s): 1.07878
CPU usage (%): 112.115
Max. virtual memory (cumulated for all children) (KiB): 11017208
Max. memory (cumulated for all children) (KiB): 2228596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.002
system time used= 1.07878
maximum resident set size= 2234752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187128
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18835
involuntary context switches= 517
# summary of solver processes directly reported to runsolver:
# pid: 29860
# total CPU time (s): 252.081
# total CPU user time (s): 251.002
# total CPU system time (s): 1.07878
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.34333 second user time and 2.17759 second system time
The end