0.98/0.74 c Concrete v3.9.2.1532736233296 running
17.43/7.01 c 05:31:13.199 [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.77/7.01 c 05:31:13.203 [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.77/7.02 c 05:31:13.209 [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.77/7.02 c 05:31:13.209 [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.77/7.02 c 05:31:13.211 [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.77/7.02 c 05:31:13.212 [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.77/7.03 c 05:31:13.214 [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.77/7.03 c 05:31:13.215 [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.77/7.03 c 05:31:13.217 [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.77/7.03 c 05:31:13.218 [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.77/7.03 c 05:31:13.218 [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.77/7.03 c 05:31:13.221 [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.77/7.03 c 05:31:13.222 [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.77/7.03 c 05:31:13.224 [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.77/7.03 c 05:31:13.225 [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.77/7.03 c 05:31:13.227 [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.77/7.04 c 05:31:13.228 [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.77/7.04 c 05:31:13.230 [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.77/7.04 c 05:31:13.231 [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.77/7.04 c 05:31:13.233 [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.77/7.04 c 05:31:13.233 [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.77/7.04 c 05:31:13.235 [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.77/7.04 c 05:31:13.236 [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.77/7.05 c 05:31:13.239 [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.77/7.05 c 05:31:13.240 [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.77/7.05 c 05:31:13.241 [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.77/7.05 c 05:31:13.243 [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.77/7.05 c 05:31:13.243 [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.77/7.05 c 05:31:13.244 [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.77/7.05 c 05:31:13.246 [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.77/7.05 c 05:31:13.246 [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.77/7.06 c 05:31:13.248 [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.77/7.06 c 05:31:13.248 [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.77/7.06 c 05:31:13.249 [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.77/7.06 c 05:31:13.251 [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.77/7.06 c 05:31:13.252 [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.77/7.06 c 05:31:13.252 [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.77/7.06 c 05:31:13.255 [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.77/7.06 c 05:31:13.257 [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.77/7.06 c 05:31:13.257 [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.77/7.07 c 05:31:13.259 [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.77/7.07 c 05:31:13.260 [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.77/7.07 c 05:31:13.262 [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.77/7.07 c 05:31:13.262 [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.77/7.07 c 05:31:13.264 [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.77/7.07 c 05:31:13.265 [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.77/7.07 c 05:31:13.266 [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.77/7.08 c 05:31:13.268 [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.77/7.08 c 05:31:13.268 [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.77/7.08 c 05:31:13.271 [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.77/7.08 c 05:31:13.271 [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.77/7.08 c 05:31:13.274 [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.77/7.08 c 05:31:13.275 [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.77/7.08 c 05:31:13.276 [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.77/7.08 c 05:31:13.277 [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.77/7.09 c 05:31:13.278 [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.77/7.09 c 05:31:13.279 [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.77/7.09 c 05:31:13.281 [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.77/7.09 c 05:31:13.281 [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.77/7.09 c 05:31:13.283 [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.77/7.09 c 05:31:13.284 [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.77/7.09 c 05:31:13.284 [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.77/7.09 c 05:31:13.287 [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.77/7.10 c 05:31:13.288 [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.77/7.10 c 05:31:13.288 [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.77/7.10 c 05:31:13.290 [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.77/7.10 c 05:31:13.291 [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.77/7.10 c 05:31:13.293 [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.77/7.10 c 05:31:13.293 [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.77/7.10 c 05:31:13.295 [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.77/7.10 c 05:31:13.296 [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.77/7.10 c 05:31:13.297 [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
18.10/7.11 c 05:31:13.299 [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
18.10/7.11 c 05:31:13.300 [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
18.10/7.11 c 05:31:13.301 [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
18.10/7.11 c 05:31:13.302 [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
18.10/7.11 c 05:31:13.303 [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
18.10/7.11 c 05:31:13.305 [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
18.10/7.11 c 05:31:13.305 [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
18.10/7.11 c 05:31:13.305 [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
18.10/7.12 c 05:31:13.308 [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
18.10/7.12 c 05:31:13.308 [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
18.10/7.12 c 05:31:13.308 [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
18.10/7.12 c 05:31:13.310 [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
18.10/7.12 c 05:31:13.311 [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
18.10/7.12 c 05:31:13.311 [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
18.10/7.12 c 05:31:13.313 [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
18.10/7.12 c 05:31:13.313 [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
18.10/7.12 c 05:31:13.315 [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
18.10/7.12 c 05:31:13.315 [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
18.10/7.12 c 05:31:13.315 [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
18.10/7.12 c 05:31:13.317 [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
18.10/7.13 c 05:31:13.318 [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
18.10/7.13 c 05:31:13.319 [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
18.10/7.13 c 05:31:13.319 [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
18.10/7.13 c 05:31:13.319 [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
18.10/7.13 c 05:31:13.321 [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
18.10/7.13 c 05:31:13.322 [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
18.10/7.13 c 05:31:13.322 [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
18.10/7.13 c 05:31:13.323 [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
18.10/7.13 c 05:31:13.323 [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
18.10/7.13 c 05:31:13.325 [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
18.10/7.13 c 05:31:13.325 [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
18.10/7.13 c 05:31:13.326 [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
18.10/7.14 c 05:31:13.328 [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
18.10/7.14 c 05:31:13.329 [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
18.10/7.14 c 05:31:13.330 [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
18.10/7.14 c 05:31:13.331 [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
18.10/7.14 c 05:31:13.332 [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
18.10/7.14 c 05:31:13.332 [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
18.10/7.14 c 05:31:13.334 [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
18.10/7.14 c 05:31:13.334 [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
18.10/7.14 c 05:31:13.336 [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
18.10/7.14 c 05:31:13.337 [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
18.10/7.14 c 05:31:13.338 [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
18.10/7.15 c 05:31:13.339 [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
18.10/7.15 c 05:31:13.340 [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
18.10/7.15 c 05:31:13.342 [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
18.10/7.15 c 05:31:13.342 [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
18.10/7.15 c 05:31:13.343 [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
18.10/7.15 c 05:31:13.345 [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
18.10/7.15 c 05:31:13.345 [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
18.10/7.16 c 05:31:13.348 [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
18.10/7.16 c 05:31:13.348 [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
18.10/7.16 c 05:31:13.350 [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
18.10/7.16 c 05:31:13.351 [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
18.10/7.16 c 05:31:13.351 [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
18.10/7.16 c 05:31:13.353 [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
18.10/7.16 c 05:31:13.354 [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
18.10/7.17 c 05:31:13.356 [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
18.10/7.17 c 05:31:13.356 [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
18.10/7.17 c 05:31:13.359 [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
18.10/7.17 c 05:31:13.360 [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
18.10/7.17 c 05:31:13.360 [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
18.10/7.17 c 05:31:13.362 [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
18.10/7.17 c 05:31:13.363 [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
18.10/7.18 c 05:31:13.364 [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
18.10/7.18 c 05:31:13.366 [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
18.10/7.18 c 05:31:13.366 [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
18.10/7.18 c 05:31:13.368 [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
18.10/7.18 c 05:31:13.369 [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
18.10/7.18 c 05:31:13.369 [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
18.10/7.18 c 05:31:13.372 [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
18.10/7.18 c 05:31:13.372 [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
18.10/7.18 c 05:31:13.373 [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
18.10/7.18 c 05:31:13.373 [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
18.10/7.18 c 05:31:13.374 [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
18.10/7.18 c 05:31:13.375 [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
18.10/7.18 c 05:31:13.376 [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
18.10/7.19 c 05:31:13.376 [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
18.10/7.19 c 05:31:13.379 [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
18.10/7.19 c 05:31:13.379 [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
18.10/7.19 c 05:31:13.380 [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
18.10/7.19 c 05:31:13.381 [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
18.10/7.19 c 05:31:13.382 [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
18.10/7.19 c 05:31:13.382 [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
18.10/7.19 c 05:31:13.384 [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
18.10/7.19 c 05:31:13.386 [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
18.10/7.19 c 05:31:13.386 [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
18.10/7.19 c 05:31:13.387 [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
18.10/7.20 c 05:31:13.388 [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
18.39/7.20 c 05:31:13.390 [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
18.39/7.20 c 05:31:13.390 [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
18.39/7.20 c 05:31:13.392 [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
18.39/7.20 c 05:31:13.392 [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
18.39/7.20 c 05:31:13.394 [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
18.39/7.20 c 05:31:13.395 [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
18.39/7.20 c 05:31:13.397 [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
18.39/7.20 c 05:31:13.398 [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
18.39/7.21 c 05:31:13.400 [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
18.39/7.21 c 05:31:13.400 [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
18.39/7.21 c 05:31:13.402 [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
18.39/7.21 c 05:31:13.403 [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
18.39/7.21 c 05:31:13.405 [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
18.39/7.22 c 05:31:13.406 [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.39/7.22 c 05:31:13.408 [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.39/7.22 c 05:31:13.408 [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.39/7.22 c 05:31:13.409 [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.39/7.22 c 05:31:13.410 [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.39/7.22 c 05:31:13.411 [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.39/7.22 c 05:31:13.411 [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.39/7.22 c 05:31:13.412 [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.39/7.22 c 05:31:13.412 [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.39/7.22 c 05:31:13.413 [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.39/7.22 c 05:31:13.414 [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.39/7.22 c 05:31:13.414 [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.39/7.22 c 05:31:13.415 [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.39/7.22 c 05:31:13.416 [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.39/7.22 c 05:31:13.416 [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.39/7.22 c 05:31:13.417 [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.39/7.22 c 05:31:13.418 [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.39/7.23 c 05:31:13.418 [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.39/7.23 c 05:31:13.420 [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.39/7.23 c 05:31:13.420 [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.39/7.23 c 05:31:13.421 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23885. 'extension(6, 6) :: init: true :: relation: MDD 716896919, 7 edges, 3 vertices, 6 tuples
18.39/7.23 c 05:31:13.422 [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.39/7.23 c 05:31:13.422 [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.39/7.23 c 05:31:13.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23919. 'extension(6, x[26][30]=[0‥6]) :: init: true :: relation: MDD 1148088421, 7 edges, 3 vertices, 6 tuples
18.39/7.24 c 05:31:13.437 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24052. 'extension(x[0][10]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.24 c 05:31:13.437 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24054. 'extension(x[2][10]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.24 c 05:31:13.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24066. 'extension(x[0][20]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.24 c 05:31:13.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24068. 'extension(x[2][20]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24080. 'extension(x[0][21]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24082. 'extension(x[2][21]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24094. 'extension(x[0][28]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24096. 'extension(x[2][28]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24108. 'extension(x[0][38]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24112. 'extension(x[1][19]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24114. 'extension(x[3][19]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24128. 'extension(x[3][38]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24142. 'extension(x[1][45]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24144. 'extension(x[3][45]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24158. 'extension(x[2][22]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24164. 'extension(x[2][23]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.444 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24170. 'extension(x[3][1]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.444 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24172. 'extension(x[5][1]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.445 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24186. 'extension(x[5][22]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.445 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24200. 'extension(x[5][23]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.446 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24214. 'extension(wk[4][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.446 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24216. 'extension(x[4][4]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.446 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24218. 'extension(x[6][4]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.447 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24232. 'extension(wk[37][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.447 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24234. 'extension(x[4][37]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.25 c 05:31:13.447 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24236. 'extension(x[6][37]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.448 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24250. 'extension(wk[48][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.448 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24252. 'extension(x[4][48]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24258. 'extension(wk[42][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24260. 'extension(x[5][42]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24262. 'extension(x[7][42]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.450 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24278. 'extension(wk[48][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.450 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24280. 'extension(x[7][48]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.451 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24296. 'extension(x[6][31]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.451 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24302. 'extension(x[7][24]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24304. 'extension(x[9][24]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24318. 'extension(x[7][27]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.453 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24320. 'extension(x[9][27]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.453 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24334. 'extension(x[9][31]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24348. 'extension(x[7][32]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24354. 'extension(x[7][37]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.455 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24356. 'extension(x[9][37]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.455 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24370. 'extension(x[7][45]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.455 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24372. 'extension(x[9][45]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.456 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24388. 'extension(x[7][47]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.457 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24390. 'extension(x[9][47]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.457 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24406. 'extension(x[8][5]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.26 c 05:31:13.458 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24408. 'extension(x[10][5]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.27 c 05:31:13.458 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24422. 'extension(x[8][17]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.27 c 05:31:13.459 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24424. 'extension(x[10][17]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.27 c 05:31:13.459 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24438. 'extension(x[8][30]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.27 c 05:31:13.459 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24440. 'extension(x[10][30]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.27 c 05:31:13.460 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24454. 'extension(x[10][32]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.27 c 05:31:13.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24468. 'extension(x[8][35]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.27 c 05:31:13.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24474. 'extension(x[8][40]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.27 c 05:31:13.462 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24476. 'extension(x[10][40]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.27 c 05:31:13.462 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24492. 'extension(x[9][0]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.27 c 05:31:13.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24498. 'extension(x[9][4]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.27 c 05:31:13.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24500. 'extension(x[11][4]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.27 c 05:31:13.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24514. 'extension(x[9][10]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.27 c 05:31:13.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24516. 'extension(x[11][10]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.469 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24530. 'extension(x[9][20]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.469 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24532. 'extension(x[11][20]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24546. 'extension(x[9][29]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24552. 'extension(x[11][35]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.471 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24566. 'extension(x[12][0]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24580. 'extension(x[12][29]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24594. 'extension(x[10][36]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24600. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24602. 'extension(x[11][21]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24604. 'extension(x[13][21]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24618. 'extension(wk[27][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24620. 'extension(x[11][27]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24622. 'extension(x[13][27]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.475 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24636. 'extension(wk[36][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.475 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24638. 'extension(x[13][36]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.476 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24652. 'extension(wk[46][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.476 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24654. 'extension(x[11][46]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.477 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24660. 'extension(wk[1][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.477 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24662. 'extension(x[12][1]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.477 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24664. 'extension(x[14][1]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24678. 'extension(wk[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.39/7.28 c 05:31:13.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24680. 'extension(x[12][2]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24686. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24688. 'extension(x[12][5]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24690. 'extension(x[14][5]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24704. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24706. 'extension(x[12][12]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24712. 'extension(wk[43][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24714. 'extension(x[12][43]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24716. 'extension(x[14][43]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.481 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24732. 'extension(wk[46][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24734. 'extension(x[14][46]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24750. 'extension(x[15][2]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24764. 'extension(x[13][3]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.484 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24770. 'extension(x[13][6]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.484 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24776. 'extension(x[15][12]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24790. 'extension(x[13][34]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24792. 'extension(x[15][34]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.486 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24806. 'extension(x[13][41]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.486 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24812. 'extension(x[16][3]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24826. 'extension(x[16][6]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24840. 'extension(x[14][18]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.29 c 05:31:13.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24846. 'extension(x[16][41]=[0‥6]) :: init: true :: relation: Empty MDD
18.39/7.30 c 05:31:13.489 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24862. 'extension(x[14][42]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.30 c 05:31:13.489 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24864. 'extension(x[16][42]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.30 c 05:31:13.490 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24880. 'extension(x[15][14]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.30 c 05:31:13.490 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24882. 'extension(x[17][14]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.30 c 05:31:13.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24896. 'extension(x[15][15]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.30 c 05:31:13.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24902. 'extension(x[15][17]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.30 c 05:31:13.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24904. 'extension(x[17][17]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.30 c 05:31:13.492 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24918. 'extension(x[17][18]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.30 c 05:31:13.493 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24932. 'extension(x[15][47]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.30 c 05:31:13.493 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24934. 'extension(x[17][47]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.30 c 05:31:13.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24950. 'extension(x[16][9]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.30 c 05:31:13.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24956. 'extension(x[18][15]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.30 c 05:31:13.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24970. 'extension(x[16][16]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.30 c 05:31:13.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24976. 'extension(x[19][9]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.30 c 05:31:13.496 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24990. 'extension(x[19][16]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.30 c 05:31:13.496 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25004. 'extension(x[17][25]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.30 c 05:31:13.497 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25010. 'extension(x[17][40]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.497 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25012. 'extension(x[19][40]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25028. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25030. 'extension(x[18][11]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25036. 'extension(wk[25][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.499 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25038. 'extension(x[20][25]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.499 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25052. 'extension(wk[43][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.499 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25054. 'extension(x[18][43]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25056. 'extension(x[20][43]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25072. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25074. 'extension(x[21][11]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25088. 'extension(wk[44][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25090. 'extension(x[19][44]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.502 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25092. 'extension(x[21][44]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.503 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25108. 'extension(x[20][13]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.503 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25114. 'extension(x[21][8]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.503 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25120. 'extension(x[23][13]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25134. 'extension(x[21][49]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25140. 'extension(x[24][8]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.505 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25154. 'extension(x[22][19]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.505 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25156. 'extension(x[24][19]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25170. 'extension(x[24][49]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25186. 'extension(x[23][14]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25188. 'extension(x[25][14]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25202. 'extension(x[23][28]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 05:31:13.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25204. 'extension(x[25][28]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25218. 'extension(x[23][34]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25220. 'extension(x[25][34]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25234. 'extension(x[24][24]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25236. 'extension(x[26][24]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25250. 'extension(x[24][26]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25256. 'extension(x[24][33]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25262. 'extension(x[24][39]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25268. 'extension(wk[7][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25270. 'extension(x[25][7]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25276. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25278. 'extension(x[27][26]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25290. 'extension(wk[33][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25292. 'extension(x[27][33]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25304. 'extension(wk[39][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25306. 'extension(x[27][39]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25318. 'extension(wk[44][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25320. 'extension(x[25][44]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25322. 'extension(x[27][44]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25334. 'extension(wk[7][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25340. 'extension(wk[30][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25342. 'extension(x[26][30]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 05:31:13.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25344. 'extension(x[26][30]=[0‥6]) :: init: true :: relation: Empty MDD
2520.00/2444.80 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.00/2444.80 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.00/2444.80 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.00/2444.80 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.00/2444.80 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.00/2444.80 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.00/2444.80 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.00/2444.80 at concrete.IntervalDomain.filter(IntervalDomain.scala:81)
2520.00/2444.80 at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
2520.00/2444.80 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.00/2444.80 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.00/2444.80 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.00/2444.80 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.00/2444.80 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.00/2444.80 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.00/2444.80 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.00/2444.80 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.00/2444.80 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.00/2444.80 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.00/2444.80 at scala.Option.map(Option.scala:146)
2520.00/2444.80 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.00/2444.80 at concrete.MAC.mac(MAC.scala:203)
2520.00/2444.80 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.00/2444.80 at scala.util.Try$.apply(Try.scala:209)
2520.00/2444.80 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.00/2444.80 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.00/2444.80 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.00/2444.80 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.00/2444.80 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.00/2444.80 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.00/2444.80 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.00/2444.80 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.00/2444.80 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.00/2444.80 at concrete.MAC.oneRun(MAC.scala:253)
2520.00/2444.80 at concrete.MAC.nextSolution(MAC.scala:272)
2520.00/2444.80 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.00/2444.80 at concrete.ProblemState.map(ProblemState.scala:221)
2520.00/2444.80 at concrete.ProblemState.map(ProblemState.scala:204)
2520.00/2444.80 at concrete.MAC.nextSolution(MAC.scala:334)
2520.00/2444.81 at concrete.Solver.hasNext(Solver.scala:166)
2520.00/2444.81 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.00/2444.81 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.00/2444.81 at concrete.Solver.foreach(Solver.scala:68)
2520.00/2444.81 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.00/2444.81 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.00/2444.81 at scala.util.Success.map(Try.scala:209)
2520.00/2444.81 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.00/2444.81 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.00/2444.81 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.00/2444.81 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.00/2444.81 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.00/2444.81 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.00/2444.81 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.00/2444.81 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.00/2444.81 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.00/2444.81 at scala.collection.immutable.List.foreach(List.scala:389)
2520.00/2444.81 at scala.App.main(App.scala:76)
2520.00/2444.81 at scala.App.main$(App.scala:74)
2520.00/2444.81 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.00/2444.81 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.00/2444.82 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 (2356 MiB free)
memory of node 1: 16384 MiB (2809 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304182-1534044666/watcher-4304182-1534044666 -o /tmp/evaluation-result-4304182-1534044666/solver-4304182-1534044666 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534040364-20983 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1338555126 -superng HOME/instance-4304182-1534044666.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21629, runsolver pid=21626
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 1.63 1.48 1.43 3/207 21686
/proc/meminfo: memFree=5284916/32770624 swapFree=67108380/67108860
[pid=21629] ppid=21626 vsize=10005480 memory=16548 CPUtime=0.08 cores=1,3,5,7
/proc/21629/stat : 21629 (java) S 21626 21629 18934 0 -1 1077944320 4310 13196 0 0 1 0 4 3 20 0 6 0 222029733 10245611520 4137 33554432000 4194304 4196468 140730293774992 140730293757536 139964051042039 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
/proc/21629/statm: 2501370 4137 1932 1 0 2489808 0
[pid=21629/tid=21682] ppid=21626 vsize=10005480 memory=4279135704047321741 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 18934 0 -1 4202560 2133 13196 0 0 0 0 4 3 20 0 6 0 222029743 10245611520 4203 33554432000 4194304 4196468 140730293774992 139964022878800 139964035122526 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21683] ppid=21626 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 18934 0 -1 1077944384 2 13196 0 0 0 0 4 3 20 0 6 0 222029743 10245611520 4203 33554432000 4194304 4196468 140730293774992 139964055284240 139964051052245 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21684] ppid=21626 vsize=10005480 memory=140097259247232 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 6 0 222029743 10245611520 4203 33554432000 4194304 4196468 140730293774992 139963925932688 139964051052245 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21685] ppid=21626 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 6 0 222029743 10245611520 4203 33554432000 4194304 4196468 140730293774992 139963589777680 139964051052245 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21686] ppid=21626 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 6 0 222029743 10245611520 4203 33554432000 4194304 4196468 140730293774992 139963588725136 139964051052245 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16548 KiB
[startup+0.21018 s]*
/proc/loadavg: 1.63 1.48 1.43 3/216 21695
/proc/meminfo: memFree=5262300/32770624 swapFree=67108380/67108860
[pid=21629] ppid=21626 vsize=10982744 memory=42576 CPUtime=0.24 cores=1,3,5,7
/proc/21629/stat : 21629 (java) S 21626 21629 18934 0 -1 1077944320 7920 13196 0 0 16 1 4 3 20 0 15 0 222029733 11246329856 10644 33554432000 4194304 4196468 140730293774992 140730293757536 139964051042039 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
/proc/21629/statm: 2745686 10644 2955 1 0 2708109 0
[pid=21629/tid=21682] ppid=21626 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 18934 0 -1 4202560 4450 13196 0 0 10 1 4 3 20 0 15 0 222029743 11246329856 10644 33554432000 4194304 4196468 140730293774992 139964022834464 139964051053974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21683] ppid=21626 vsize=10982744 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 18934 0 -1 1077944384 2 13196 0 0 0 0 4 3 20 0 15 0 222029743 11246329856 10644 33554432000 4194304 4196468 140730293774992 139964055284240 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21684] ppid=21626 vsize=10982744 memory=288370473410958976 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 15 0 222029743 11246329856 10644 33554432000 4194304 4196468 140730293774992 139963925932688 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21685] ppid=21626 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 15 0 222029743 11246329856 10644 33554432000 4194304 4196468 140730293774992 139963589777680 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21686] ppid=21626 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 15 0 222029743 11246329856 10644 33554432000 4194304 4196468 140730293774992 139963588725136 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21687] ppid=21626 vsize=10982744 memory=140097259247232 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21687/stat : 21687 (java) S 21626 21629 18934 0 -1 1077944384 2 13196 0 0 0 0 4 3 20 0 15 0 222029745 11246329856 10644 33554432000 4194304 4196468 140730293774992 139963544148720 139964051053186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21688] ppid=21626 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21688/stat : 21688 (java) S 21626 21629 18934 0 -1 1077944384 13 13196 0 0 0 0 4 3 20 0 15 0 222029745 11246329856 10644 33554432000 4194304 4196468 140730293774992 139962850731680 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21689] ppid=21626 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21689/stat : 21689 (java) S 21626 21629 18934 0 -1 1077944384 21 13196 0 0 0 0 4 3 20 0 15 0 222029745 11246329856 10644 33554432000 4194304 4196468 140730293774992 139962783618288 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21690] ppid=21626 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21690/stat : 21690 (java) S 21626 21629 18934 0 -1 1077944384 3 13196 0 0 0 0 4 3 20 0 15 0 222029748 11246329856 10644 33554432000 4194304 4196468 140730293774992 139962476222928 139964051060635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21691] ppid=21626 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21691/stat : 21691 (java) S 21626 21629 18934 0 -1 1077944384 418 13196 0 0 1 0 4 3 20 0 15 0 222029748 11246329856 10644 33554432000 4194304 4196468 140730293774992 139963543095536 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21692] ppid=21626 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21692/stat : 21692 (java) S 21626 21629 18934 0 -1 1077944384 191 13196 0 0 1 0 4 3 20 0 15 0 222029748 11246329856 10644 33554432000 4194304 4196468 140730293774992 139963542042992 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21693] ppid=21626 vsize=10982744 memory=140097259247232 CPUtime=0.1 cores=1,3,5,7
/proc/21629/task/21693/stat : 21693 (java) S 21626 21629 18934 0 -1 1077944384 626 13196 0 0 3 0 4 3 20 0 15 0 222029748 11246329856 10644 33554432000 4194304 4196468 140730293774992 139963540989936 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21694] ppid=21626 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21694/stat : 21694 (java) S 21626 21629 18934 0 -1 1077944384 3 13196 0 0 0 0 4 3 20 0 15 0 222029748 11246329856 10644 33554432000 4194304 4196468 140730293774992 139962045426016 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21695] ppid=21626 vsize=10982744 memory=140097259247232 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21695/stat : 21695 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 15 0 222029749 11246329856 10644 33554432000 4194304 4196468 140730293774992 139963539938352 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42576 KiB
[startup+0.310767 s]*
/proc/loadavg: 1.63 1.48 1.43 3/216 21695
/proc/meminfo: memFree=5250888/32770624 swapFree=67108380/67108860
[pid=21629] ppid=21626 vsize=10983192 memory=53288 CPUtime=0.37 cores=1,3,5,7
/proc/21629/stat : 21629 (java) S 21626 21629 18934 0 -1 1077944320 10431 13196 0 0 28 2 4 3 20 0 15 0 222029733 11246788608 13322 33554432000 4194304 4196468 140730293774992 140730293757536 139964051042039 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
/proc/21629/statm: 2745798 13322 3074 1 0 2708109 0
[pid=21629/tid=21682] ppid=21626 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 18934 0 -1 4202560 6944 13196 0 0 19 2 4 3 20 0 15 0 222029743 11246788608 13322 33554432000 4194304 4196468 140730293774992 139964022854048 139964051063965 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21683] ppid=21626 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 18934 0 -1 1077944384 2 13196 0 0 0 0 4 3 20 0 15 0 222029743 11246788608 13322 33554432000 4194304 4196468 140730293774992 139964055284240 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21684] ppid=21626 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 15 0 222029743 11246788608 13322 33554432000 4194304 4196468 140730293774992 139963925932688 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21685] ppid=21626 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 15 0 222029743 11246788608 13322 33554432000 4194304 4196468 140730293774992 139963589777680 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21686] ppid=21626 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 15 0 222029743 11246788608 13322 33554432000 4194304 4196468 140730293774992 139963588725136 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21687] ppid=21626 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21687/stat : 21687 (java) S 21626 21629 18934 0 -1 1077944384 2 13196 0 0 0 0 4 3 20 0 15 0 222029745 11246788608 13322 33554432000 4194304 4196468 140730293774992 139963544148720 139964051053186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21688] ppid=21626 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21688/stat : 21688 (java) S 21626 21629 18934 0 -1 1077944384 13 13196 0 0 0 0 4 3 20 0 15 0 222029745 11246788608 13322 33554432000 4194304 4196468 140730293774992 139962850731680 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21689] ppid=21626 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21689/stat : 21689 (java) S 21626 21629 18934 0 -1 1077944384 21 13196 0 0 0 0 4 3 20 0 15 0 222029745 11246788608 13322 33554432000 4194304 4196468 140730293774992 139962783618288 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21690] ppid=21626 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21690/stat : 21690 (java) S 21626 21629 18934 0 -1 1077944384 3 13196 0 0 0 0 4 3 20 0 15 0 222029748 11246788608 13322 33554432000 4194304 4196468 140730293774992 139962476222928 139964051060635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21691] ppid=21626 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21691/stat : 21691 (java) S 21626 21629 18934 0 -1 1077944384 420 13196 0 0 1 0 4 3 20 0 15 0 222029748 11246788608 13322 33554432000 4194304 4196468 140730293774992 139963543095536 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21692] ppid=21626 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21692/stat : 21692 (java) S 21626 21629 18934 0 -1 1077944384 191 13196 0 0 1 0 4 3 20 0 15 0 222029748 11246788608 13322 33554432000 4194304 4196468 140730293774992 139963542042992 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21693] ppid=21626 vsize=10983192 memory=140097259247232 CPUtime=0.11 cores=1,3,5,7
/proc/21629/task/21693/stat : 21693 (java) S 21626 21629 18934 0 -1 1077944384 641 13196 0 0 4 0 4 3 20 0 15 0 222029748 11246788608 13322 33554432000 4194304 4196468 140730293774992 139963540989936 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21694] ppid=21626 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21694/stat : 21694 (java) S 21626 21629 18934 0 -1 1077944384 3 13196 0 0 0 0 4 3 20 0 15 0 222029748 11246788608 13322 33554432000 4194304 4196468 140730293774992 139962045426016 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21695] ppid=21626 vsize=10983192 memory=140097259247232 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21695/stat : 21695 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 15 0 222029749 11246788608 13322 33554432000 4194304 4196468 140730293774992 139963539938352 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53288 KiB
[startup+0.700768 s]
/proc/loadavg: 1.63 1.48 1.43 3/216 21695
/proc/meminfo: memFree=5239948/32770624 swapFree=67108380/67108860
[pid=21629] ppid=21626 vsize=10983192 memory=86712 CPUtime=0.98 cores=1,3,5,7
/proc/21629/stat : 21629 (java) S 21626 21629 18934 0 -1 1077944320 16805 13196 0 0 87 4 4 3 20 0 15 0 222029733 11246788608 21678 33554432000 4194304 4196468 140730293774992 140730293757536 139964051042039 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
/proc/21629/statm: 2745798 21678 3247 1 0 2708109 0
[pid=21629/tid=21682] ppid=21626 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 18934 0 -1 4202560 12252 13196 0 0 56 3 4 3 20 0 15 0 222029743 11246788608 21678 33554432000 4194304 4196468 140730293774992 139964022862864 139964032605526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21683] ppid=21626 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 18934 0 -1 1077944384 2 13196 0 0 0 0 4 3 20 0 15 0 222029743 11246788608 21678 33554432000 4194304 4196468 140730293774992 139964055284240 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21684] ppid=21626 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 15 0 222029743 11246788608 21678 33554432000 4194304 4196468 140730293774992 139963925932688 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21685] ppid=21626 vsize=10983192 memory=140097135719216 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 15 0 222029743 11246788608 21678 33554432000 4194304 4196468 140730293774992 139963589777680 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21686] ppid=21626 vsize=10983192 memory=140097538228825 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 15 0 222029743 11246788608 21678 33554432000 4194304 4196468 140730293774992 139963588725136 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21687] ppid=21626 vsize=10983192 memory=1388 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21687/stat : 21687 (java) S 21626 21629 18934 0 -1 1077944384 5 13196 0 0 0 0 4 3 20 0 15 0 222029745 11246788608 21678 33554432000 4194304 4196468 140730293774992 139963544148720 139964051053186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21688] ppid=21626 vsize=10983192 memory=4639098309541127525 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21688/stat : 21688 (java) S 21626 21629 18934 0 -1 1077944384 13 13196 0 0 0 0 4 3 20 0 15 0 222029745 11246788608 21678 33554432000 4194304 4196468 140730293774992 139962850731680 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21689] ppid=21626 vsize=10983192 memory=6082220498109361512 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21689/stat : 21689 (java) S 21626 21629 18934 0 -1 1077944384 21 13196 0 0 0 0 4 3 20 0 15 0 222029745 11246788608 21678 33554432000 4194304 4196468 140730293774992 139962783618288 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21690] ppid=21626 vsize=10983192 memory=33636 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21690/stat : 21690 (java) S 21626 21629 18934 0 -1 1077944384 3 13196 0 0 0 0 4 3 20 0 15 0 222029748 11246788608 21678 33554432000 4194304 4196468 140730293774992 139962476222928 139964051060635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21691] ppid=21626 vsize=10983192 memory=14392 CPUtime=0.17 cores=1,3,5,7
/proc/21629/task/21691/stat : 21691 (java) S 21626 21629 18934 0 -1 1077944384 1044 13196 0 0 10 0 4 3 20 0 15 0 222029748 11246788608 21678 33554432000 4194304 4196468 140730293774992 139963543095536 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21692] ppid=21626 vsize=10983192 memory=4004 CPUtime=0.13 cores=1,3,5,7
/proc/21629/task/21692/stat : 21692 (java) S 21626 21629 18934 0 -1 1077944384 532 13196 0 0 6 0 4 3 20 0 15 0 222029748 11246788608 21678 33554432000 4194304 4196468 140730293774992 139963542042992 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21693] ppid=21626 vsize=10983192 memory=500 CPUtime=0.2 cores=1,3,5,7
/proc/21629/task/21693/stat : 21693 (java) S 21626 21629 18934 0 -1 1077944384 734 13196 0 0 13 0 4 3 20 0 15 0 222029748 11246788608 21678 33554432000 4194304 4196468 140730293774992 139963540989936 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21694] ppid=21626 vsize=10983192 memory=1720 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21694/stat : 21694 (java) S 21626 21629 18934 0 -1 1077944384 3 13196 0 0 0 0 4 3 20 0 15 0 222029748 11246788608 21678 33554432000 4194304 4196468 140730293774992 139962045426016 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21695] ppid=21626 vsize=10983192 memory=1176 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21695/stat : 21695 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 15 0 222029749 11246788608 21678 33554432000 4194304 4196468 140730293774992 139963539938352 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86712 KiB
[startup+1.50171 s]
/proc/loadavg: 1.63 1.48 1.43 3/216 21695
/proc/meminfo: memFree=5193864/32770624 swapFree=67108380/67108860
[pid=21629] ppid=21626 vsize=10993996 memory=168428 CPUtime=3.22 cores=1,3,5,7
/proc/21629/stat : 21629 (java) S 21626 21629 18934 0 -1 1077944320 24853 13196 0 0 308 7 4 3 20 0 15 0 222029733 11257851904 42107 33554432000 4194304 4196468 140730293774992 140730293757536 139964051042039 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
/proc/21629/statm: 2748499 42107 3449 1 0 2710157 0
[pid=21629/tid=21682] ppid=21626 vsize=10993996 memory=63032 CPUtime=1.45 cores=1,3,5,7
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 18934 0 -1 4202560 15249 13196 0 0 133 5 4 3 20 0 15 0 222029743 11257851904 42107 33554432000 4194304 4196468 140730293774992 139964022876688 139963611432327 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21683] ppid=21626 vsize=10993996 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 18934 0 -1 1077944384 2 13196 0 0 0 0 4 3 20 0 15 0 222029743 11257851904 42107 33554432000 4194304 4196468 140730293774992 139964055284240 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21684] ppid=21626 vsize=10993996 memory=280194271469728 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 15 0 222029743 11257851904 42107 33554432000 4194304 4196468 140730293774992 139963925932688 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21685] ppid=21626 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 15 0 222029743 11257851904 42107 33554432000 4194304 4196468 140730293774992 139963589777680 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21686] ppid=21626 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 15 0 222029743 11257851904 42107 33554432000 4194304 4196468 140730293774992 139963588725136 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21687] ppid=21626 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21687/stat : 21687 (java) S 21626 21629 18934 0 -1 1077944384 13 13196 0 0 0 0 4 3 20 0 15 0 222029745 11257851904 42107 33554432000 4194304 4196468 140730293774992 139963544148720 139964051053186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21688] ppid=21626 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21688/stat : 21688 (java) S 21626 21629 18934 0 -1 1077944384 13 13196 0 0 0 0 4 3 20 0 15 0 222029745 11257851904 42107 33554432000 4194304 4196468 140730293774992 139962850731680 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21689] ppid=21626 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21689/stat : 21689 (java) S 21626 21629 18934 0 -1 1077944384 21 13196 0 0 0 0 4 3 20 0 15 0 222029745 11257851904 42107 33554432000 4194304 4196468 140730293774992 139962783618288 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21690] ppid=21626 vsize=10993996 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21690/stat : 21690 (java) S 21626 21629 18934 0 -1 1077944384 3 13196 0 0 0 0 4 3 20 0 15 0 222029748 11257851904 42107 33554432000 4194304 4196468 140730293774992 139962476222928 139964051060635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21691] ppid=21626 vsize=10993996 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/21629/task/21691/stat : 21691 (java) R 21626 21629 18934 0 -1 4202560 2522 13196 0 0 62 0 4 3 20 0 15 0 222029748 11257851904 42107 33554432000 4194304 4196468 140730293774992 139963543076736 139964034538819 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21692] ppid=21626 vsize=10993996 memory=10 CPUtime=0.66 cores=1,3,5,7
/proc/21629/task/21692/stat : 21692 (java) R 21626 21629 18934 0 -1 4202560 2890 13196 0 0 59 0 4 3 20 0 15 0 222029748 11257851904 42107 33554432000 4194304 4196468 140730293774992 139963542032608 139964051063386 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21693] ppid=21626 vsize=10993996 memory=6791534058613427641 CPUtime=0.59 cores=1,3,5,7
/proc/21629/task/21693/stat : 21693 (java) R 21626 21629 18934 0 -1 4202560 1941 13196 0 0 52 0 4 3 20 0 15 0 222029748 11257851904 42107 33554432000 4194304 4196468 140730293774992 139963540989936 139964051053974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21694] ppid=21626 vsize=10993996 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21694/stat : 21694 (java) S 21626 21629 18934 0 -1 1077944384 3 13196 0 0 0 0 4 3 20 0 15 0 222029748 11257851904 42107 33554432000 4194304 4196468 140730293774992 139962045426016 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21695] ppid=21626 vsize=10993996 memory=280194271714176 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21695/stat : 21695 (java) S 21626 21629 18934 0 -1 1077944384 1 13196 0 0 0 0 4 3 20 0 15 0 222029749 11257851904 42107 33554432000 4194304 4196468 140730293774992 139963539938352 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
Current children cumulated CPU time: 3.22 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 18934 0 -1 4202560 150557 13196 0 0 229998 70 4 3 20 0 15 0 222029743 11280941056 370857 33554432000 4194304 4196468 140730293774992 139964022876928 139963625514702 0 4 0 16800975 0 0 0 -1 3 0 0 30 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21683] ppid=21626 vsize=11016544 memory=1483428 CPUtime=12.89 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 18934 0 -1 1077944384 39994 13196 0 0 1225 57 4 3 20 0 15 0 222029743 11280941056 370857 33554432000 4194304 4196468 140730293774992 139964055284240 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21684] ppid=21626 vsize=11016544 memory=1483428 CPUtime=12.87 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 18934 0 -1 1077944384 43409 13196 0 0 1222 58 4 3 20 0 15 0 222029743 11280941056 370857 33554432000 4194304 4196468 140730293774992 139963925932688 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21685] ppid=21626 vsize=11016544 memory=1483428 CPUtime=12.85 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 18934 0 -1 1077944384 47027 13196 0 0 1220 58 4 3 20 0 15 0 222029743 11280941056 370857 33554432000 4194304 4196468 140730293774992 139963589777680 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21686] ppid=21626 vsize=11016544 memory=1483428 CPUtime=12.9 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 18934 0 -1 1077944384 39776 13196 0 0 1226 57 4 3 20 0 15 0 222029743 11280941056 370857 33554432000 4194304 4196468 140730293774992 139963588725136 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21687] ppid=21626 vsize=11016544 memory=1483428 CPUtime=7.1 cores=1,3,5,7
/proc/21629/task/21687/stat : 21687 (java) S 21626 21629 18934 0 -1 1077944384 25508 13196 0 0 661 42 4 3 20 0 15 0 222029745 11280941056 370857 33554432000 4194304 4196468 140730293774992 139963544148720 139964051053186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21688] ppid=21626 vsize=11016544 memory=1483428 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21688/stat : 21688 (java) S 21626 21629 18934 0 -1 1077944384 18 13196 0 0 0 0 4 3 20 0 15 0 222029745 11280941056 370857 33554432000 4194304 4196468 140730293774992 139962850731744 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21689] ppid=21626 vsize=11016544 memory=1624 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21689/stat : 21689 (java) S 21626 21629 18934 0 -1 1077944384 55 13196 0 0 0 0 4 3 20 0 15 0 222029745 11280941056 370857 33554432000 4194304 4196468 140730293774992 139962783618304 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21690] ppid=21626 vsize=11016544 memory=1483428 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21690/stat : 21690 (java) S 21626 21629 18934 0 -1 1077944384 3 13196 0 0 0 0 4 3 20 0 15 0 222029748 11280941056 370857 33554432000 4194304 4196468 140730293774992 139962476222928 139964051060635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21691] ppid=21626 vsize=11016544 memory=1483428 CPUtime=14.69 cores=1,3,5,7
/proc/21629/task/21691/stat : 21691 (java) S 21626 21629 18934 0 -1 1077944384 149144 13196 0 0 1451 11 4 3 20 0 15 0 222029748 11280941056 370857 33554432000 4194304 4196468 140730293774992 139963543095536 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21692] ppid=21626 vsize=11016544 memory=1483428 CPUtime=14.75 cores=1,3,5,7
/proc/21629/task/21692/stat : 21692 (java) S 21626 21629 18934 0 -1 1077944384 150587 13196 0 0 1457 11 4 3 20 0 15 0 222029748 11280941056 370857 33554432000 4194304 4196468 140730293774992 139963542042992 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21693] ppid=21626 vsize=11016544 memory=1483428 CPUtime=5.44 cores=1,3,5,7
/proc/21629/task/21693/stat : 21693 (java) S 21626 21629 18934 0 -1 1077944384 155162 13196 0 0 518 19 4 3 20 0 15 0 222029748 11280941056 370857 33554432000 4194304 4196468 140730293774992 139963540989936 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 33 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21694] ppid=21626 vsize=11016544 memory=1483428 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21694/stat : 21694 (java) S 21626 21629 18934 0 -1 1077944384 3 13196 0 0 0 0 4 3 20 0 15 0 222029748 11280941056 370857 33554432000 4194304 4196468 140730293774992 139962045426016 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21695] ppid=21626 vsize=11016544 memory=3872 CPUtime=1.31 cores=1,3,5,7
/proc/21629/task/21695/stat : 21695 (java) S 21626 21629 18934 0 -1 1077944384 2485 13196 0 0 58 66 4 3 20 0 15 0 222029749 11280941056 370857 33554432000 4194304 4196468 140730293774992 139963539938352 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
Current children cumulated CPU time: 2395.02 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1483428 KiB
[startup+2382.3 s]
/proc/loadavg: 1.47 1.70 1.70 4/216 21923
/proc/meminfo: memFree=1070312/32770624 swapFree=67108380/67108860
[pid=21629] ppid=21626 vsize=11016544 memory=1483428 CPUtime=2456.22 cores=1,3,5,7
/proc/21629/stat : 21629 (java) S 21626 21629 18934 0 -1 1077944320 809361 13196 0 0 245197 418 4 3 20 0 15 0 222029733 11280941056 370857 33554432000 4194304 4196468 140730293774992 140730293757536 139964051042039 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
/proc/21629/statm: 2754136 370857 3539 1 0 2715789 0
[pid=21629/tid=21682] ppid=21626 vsize=11016544 memory=1483428 CPUtime=2360.14 cores=1,3,5,7
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 18934 0 -1 4202560 151258 13196 0 0 235936 71 4 3 20 0 15 0 222029743 11280941056 370857 33554432000 4194304 4196468 140730293774992 139964022876752 139963620979838 0 4 0 16800975 0 0 0 -1 3 0 0 30 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21683] ppid=21626 vsize=11016544 memory=1483428 CPUtime=13.28 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 18934 0 -1 1077944384 40518 13196 0 0 1263 58 4 3 20 0 15 0 222029743 11280941056 370857 33554432000 4194304 4196468 140730293774992 139964055284240 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21684] ppid=21626 vsize=11016544 memory=1483428 CPUtime=13.26 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 18934 0 -1 1077944384 44128 13196 0 0 1260 59 4 3 20 0 15 0 222029743 11280941056 370857 33554432000 4194304 4196468 140730293774992 139963925932688 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21685] ppid=21626 vsize=11016544 memory=1483428 CPUtime=13.25 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 18934 0 -1 1077944384 47830 13196 0 0 1259 59 4 3 20 0 15 0 222029743 11280941056 370857 33554432000 4194304 4196468 140730293774992 139963589777680 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21686] ppid=21626 vsize=11016544 memory=3292 CPUtime=13.29 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 18934 0 -1 1077944384 40213 13196 0 0 1264 58 4 3 20 0 15 0 222029743 11280941056 370857 33554432000 4194304 4196468 140730293774992 139963588725136 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21687] ppid=21626 vsize=11016544 memory=1483428 CPUtime=7.3 cores=1,3,5,7
/proc/21629/task/21687/stat : 21687 (java) S 21626 21629 18934 0 -1 1077944384 25742 13196 0 0 680 43 4 3 20 0 15 0 222029745 11280941056 370857 33554432000 4194304 4196468 140730293774992 139963544148720 139964051053186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21688] ppid=21626 vsize=11016544 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21688/stat : 21688 (java) S 21626 21629 18934 0 -1 1077944384 18 13196 0 0 0 0 4 3 20 0 15 0 222029745 11280941056 370857 33554432000 4194304 4196468 140730293774992 139962850731744 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21689] ppid=21626 vsize=11016544 memory=1483428 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21689/stat : 21689 (java) S 21626 21629 18934 0 -1 1077944384 55 13196 0 0 0 0 4 3 20 0 15 0 222029745 11280941056 370857 33554432000 4194304 4196468 140730293774992 139962783618304 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21690] ppid=21626 vsize=11016544 memory=1483428 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21690/stat : 21690 (java) S 21626 21629 18934 0 -1 1077944384 3 13196 0 0 0 0 4 3 20 0 15 0 222029748 11280941056 370857 33554432000 4194304 4196468 140730293774992 139962476222928 139964051060635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21691] ppid=21626 vsize=11016544 memory=6791534058613427641 CPUtime=14.69 cores=1,3,5,7
/proc/21629/task/21691/stat : 21691 (java) S 21626 21629 18934 0 -1 1077944384 149146 13196 0 0 1451 11 4 3 20 0 15 0 222029748 11280941056 370857 33554432000 4194304 4196468 140730293774992 139963543095536 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21692] ppid=21626 vsize=11016544 memory=0 CPUtime=14.75 cores=1,3,5,7
/proc/21629/task/21692/stat : 21692 (java) S 21626 21629 18934 0 -1 1077944384 150589 13196 0 0 1457 11 4 3 20 0 15 0 222029748 11280941056 370857 33554432000 4194304 4196468 140730293774992 139963542042992 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21693] ppid=21626 vsize=11016544 memory=1483428 CPUtime=5.44 cores=1,3,5,7
/proc/21629/task/21693/stat : 21693 (java) S 21626 21629 18934 0 -1 1077944384 155164 13196 0 0 518 19 4 3 20 0 15 0 222029748 11280941056 370857 33554432000 4194304 4196468 140730293774992 139963540989936 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21694] ppid=21626 vsize=11016544 memory=1624 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21694/stat : 21694 (java) S 21626 21629 18934 0 -1 1077944384 3 13196 0 0 0 0 4 3 20 0 15 0 222029748 11280941056 370857 33554432000 4194304 4196468 140730293774992 139962045426016 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21695] ppid=21626 vsize=11016544 memory=1224 CPUtime=1.34 cores=1,3,5,7
/proc/21629/task/21695/stat : 21695 (java) S 21626 21629 18934 0 -1 1077944384 2502 13196 0 0 59 68 4 3 20 0 15 0 222029749 11280941056 370857 33554432000 4194304 4196468 140730293774992 139963539938352 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
Current children cumulated CPU time: 2456.22 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1483428 KiB
[startup+2442.3 s]
/proc/loadavg: 1.60 1.70 1.70 4/216 21924
/proc/meminfo: memFree=1095876/32770624 swapFree=67108380/67108860
[pid=21629] ppid=21626 vsize=11016544 memory=1443400 CPUtime=2517.45 cores=1,3,5,7
/proc/21629/stat : 21629 (java) S 21626 21629 18934 0 -1 1077944320 822438 13196 0 0 251312 426 4 3 20 0 15 0 222029733 11280941056 360850 33554432000 4194304 4196468 140730293774992 140730293757536 139964051042039 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
/proc/21629/statm: 2754136 360850 3539 1 0 2715789 0
[pid=21629/tid=21682] ppid=21626 vsize=11016544 memory=1443400 CPUtime=2419.51 cores=1,3,5,7
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 18934 0 -1 4202560 159528 13196 0 0 241872 72 4 3 20 0 15 0 222029743 11280941056 360850 33554432000 4194304 4196468 140730293774992 139964022877152 139963606827816 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21683] ppid=21626 vsize=11016544 memory=1443400 CPUtime=13.68 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 18934 0 -1 1077944384 41127 13196 0 0 1302 59 4 3 20 0 15 0 222029743 11280941056 360850 33554432000 4194304 4196468 140730293774992 139964055284240 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21684] ppid=21626 vsize=11016544 memory=1443400 CPUtime=13.67 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 18934 0 -1 1077944384 45318 13196 0 0 1300 60 4 3 20 0 15 0 222029743 11280941056 360850 33554432000 4194304 4196468 140730293774992 139963925932688 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21685] ppid=21626 vsize=11016544 memory=1443400 CPUtime=13.66 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 18934 0 -1 1077944384 48509 13196 0 0 1299 60 4 3 20 0 15 0 222029743 11280941056 360850 33554432000 4194304 4196468 140730293774992 139963589777680 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21686] ppid=21626 vsize=11016544 memory=0 CPUtime=13.7 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 18934 0 -1 1077944384 40770 13196 0 0 1304 59 4 3 20 0 15 0 222029743 11280941056 360850 33554432000 4194304 4196468 140730293774992 139963588725136 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21687] ppid=21626 vsize=11016544 memory=1443400 CPUtime=7.48 cores=1,3,5,7
/proc/21629/task/21687/stat : 21687 (java) S 21626 21629 18934 0 -1 1077944384 26136 13196 0 0 697 44 4 3 20 0 15 0 222029745 11280941056 360850 33554432000 4194304 4196468 140730293774992 139963544148720 139964051053186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21688] ppid=21626 vsize=11016544 memory=1776 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21688/stat : 21688 (java) S 21626 21629 18934 0 -1 1077944384 18 13196 0 0 0 0 4 3 20 0 15 0 222029745 11280941056 360850 33554432000 4194304 4196468 140730293774992 139962850731744 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21689] ppid=21626 vsize=11016544 memory=1454688 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21689/stat : 21689 (java) S 21626 21629 18934 0 -1 1077944384 55 13196 0 0 0 0 4 3 20 0 15 0 222029745 11280941056 360850 33554432000 4194304 4196468 140730293774992 139962783618304 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21690] ppid=21626 vsize=11016544 memory=3872 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21690/stat : 21690 (java) S 21626 21629 18934 0 -1 1077944384 3 13196 0 0 0 0 4 3 20 0 15 0 222029748 11280941056 360850 33554432000 4194304 4196468 140730293774992 139962476222928 139964051060635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21691] ppid=21626 vsize=11016544 memory=1443400 CPUtime=14.7 cores=1,3,5,7
/proc/21629/task/21691/stat : 21691 (java) S 21626 21629 18934 0 -1 1077944384 149353 13196 0 0 1451 12 4 3 20 0 15 0 222029748 11280941056 360850 33554432000 4194304 4196468 140730293774992 139963543095536 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21692] ppid=21626 vsize=11016544 memory=14392 CPUtime=14.76 cores=1,3,5,7
/proc/21629/task/21692/stat : 21692 (java) S 21626 21629 18934 0 -1 1077944384 151147 13196 0 0 1458 11 4 3 20 0 15 0 222029748 11280941056 360850 33554432000 4194304 4196468 140730293774992 139963542042992 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21693] ppid=21626 vsize=11016544 memory=1443400 CPUtime=5.44 cores=1,3,5,7
/proc/21629/task/21693/stat : 21693 (java) S 21626 21629 18934 0 -1 1077944384 155748 13196 0 0 518 19 4 3 20 0 15 0 222029748 11280941056 360850 33554432000 4194304 4196468 140730293774992 139963540989936 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21694] ppid=21626 vsize=11016544 memory=1443400 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21694/stat : 21694 (java) S 21626 21629 18934 0 -1 1077944384 3 13196 0 0 0 0 4 3 20 0 15 0 222029748 11280941056 360850 33554432000 4194304 4196468 140730293774992 139962045426016 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21695] ppid=21626 vsize=11016544 memory=7400 CPUtime=1.38 cores=1,3,5,7
/proc/21629/task/21695/stat : 21695 (java) S 21626 21629 18934 0 -1 1077944384 2531 13196 0 0 60 71 4 3 20 0 15 0 222029749 11280941056 360850 33554432000 4194304 4196468 140730293774992 139963539938352 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
Current children cumulated CPU time: 2517.45 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1443400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2444.8 s]
/proc/loadavg: 1.55 1.68 1.70 4/216 21924
/proc/meminfo: memFree=1095868/32770624 swapFree=67108380/67108860
[pid=21629] ppid=21626 vsize=11016544 memory=1443400 CPUtime=2520 cores=1,3,5,7
/proc/21629/stat : 21629 (java) S 21626 21629 18934 0 -1 1077944320 822465 13196 0 0 251567 426 4 3 20 0 15 0 222029733 11280941056 360850 33554432000 4194304 4196468 140730293774992 140730293757536 139964051042039 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
/proc/21629/statm: 2754136 360850 3539 1 0 2715789 0
[pid=21629/tid=21682] ppid=21626 vsize=11016544 memory=3872 CPUtime=2421.98 cores=1,3,5,7
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 18934 0 -1 4202560 159540 13196 0 0 242119 72 4 3 20 0 15 0 222029743 11280941056 360850 33554432000 4194304 4196468 140730293774992 139964022876752 139963634538656 0 4 0 16800975 0 0 0 -1 3 0 0 30 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21683] ppid=21626 vsize=11016544 memory=3872 CPUtime=13.7 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 18934 0 -1 1077944384 41127 13196 0 0 1304 59 4 3 20 0 15 0 222029743 11280941056 360850 33554432000 4194304 4196468 140730293774992 139964055284240 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21684] ppid=21626 vsize=11016544 memory=60488 CPUtime=13.69 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 18934 0 -1 1077944384 45319 13196 0 0 1302 60 4 3 20 0 15 0 222029743 11280941056 360850 33554432000 4194304 4196468 140730293774992 139963925932688 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21685] ppid=21626 vsize=11016544 memory=1228 CPUtime=13.67 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 18934 0 -1 1077944384 48510 13196 0 0 1300 60 4 3 20 0 15 0 222029743 11280941056 360850 33554432000 4194304 4196468 140730293774992 139963589777680 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21686] ppid=21626 vsize=11016544 memory=2340 CPUtime=13.72 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 18934 0 -1 1077944384 40770 13196 0 0 1306 59 4 3 20 0 15 0 222029743 11280941056 360850 33554432000 4194304 4196468 140730293774992 139963588725136 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21687] ppid=21626 vsize=11016544 memory=1776 CPUtime=7.49 cores=1,3,5,7
/proc/21629/task/21687/stat : 21687 (java) S 21626 21629 18934 0 -1 1077944384 26143 13196 0 0 698 44 4 3 20 0 15 0 222029745 11280941056 360850 33554432000 4194304 4196468 140730293774992 139963544148720 139964051053186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21688] ppid=21626 vsize=11016544 memory=5752 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21688/stat : 21688 (java) S 21626 21629 18934 0 -1 1077944384 18 13196 0 0 0 0 4 3 20 0 15 0 222029745 11280941056 360850 33554432000 4194304 4196468 140730293774992 139962850731744 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21689] ppid=21626 vsize=11016544 memory=4584 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21689/stat : 21689 (java) S 21626 21629 18934 0 -1 1077944384 55 13196 0 0 0 0 4 3 20 0 15 0 222029745 11280941056 360850 33554432000 4194304 4196468 140730293774992 139962783618304 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21690] ppid=21626 vsize=11016544 memory=2632 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21690/stat : 21690 (java) S 21626 21629 18934 0 -1 1077944384 3 13196 0 0 0 0 4 3 20 0 15 0 222029748 11280941056 360850 33554432000 4194304 4196468 140730293774992 139962476222928 139964051060635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21691] ppid=21626 vsize=11016544 memory=2876 CPUtime=14.7 cores=1,3,5,7
/proc/21629/task/21691/stat : 21691 (java) S 21626 21629 18934 0 -1 1077944384 149355 13196 0 0 1451 12 4 3 20 0 15 0 222029748 11280941056 360850 33554432000 4194304 4196468 140730293774992 139963543095536 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21692] ppid=21626 vsize=11016544 memory=1408 CPUtime=14.76 cores=1,3,5,7
/proc/21629/task/21692/stat : 21692 (java) S 21626 21629 18934 0 -1 1077944384 151149 13196 0 0 1458 11 4 3 20 0 15 0 222029748 11280941056 360850 33554432000 4194304 4196468 140730293774992 139963542042992 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21693] ppid=21626 vsize=11016544 memory=1624 CPUtime=5.44 cores=1,3,5,7
/proc/21629/task/21693/stat : 21693 (java) S 21626 21629 18934 0 -1 1077944384 155750 13196 0 0 518 19 4 3 20 0 15 0 222029748 11280941056 360850 33554432000 4194304 4196468 140730293774992 139963540989936 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21694] ppid=21626 vsize=11016544 memory=1224 CPUtime=0.07 cores=1,3,5,7
/proc/21629/task/21694/stat : 21694 (java) S 21626 21629 18934 0 -1 1077944384 3 13196 0 0 0 0 4 3 20 0 15 0 222029748 11280941056 360850 33554432000 4194304 4196468 140730293774992 139962045426016 139964051052245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
[pid=21629/tid=21695] ppid=21626 vsize=11016544 memory=1824 CPUtime=1.38 cores=1,3,5,7
/proc/21629/task/21695/stat : 21695 (java) S 21626 21629 18934 0 -1 1077944384 2531 13196 0 0 60 71 4 3 20 0 15 0 222029749 11280941056 360850 33554432000 4194304 4196468 140730293774992 139963539938352 139964051053186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 17653760 140730293779043 140730293781852 140730293781852 140730293784527 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1443400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2444.83 s]
# the end of solver process 21629 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.74 s, system=4.31522 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2444.83
CPU time (s): 2520.06
CPU user time (s): 2515.74
CPU system time (s): 4.31522
CPU usage (%): 103.077
Max. virtual memory (cumulated for all children) (KiB): 11017372
Max. memory (cumulated for all children) (KiB): 2618480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.74
system time used= 4.31522
maximum resident set size= 2628720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 836744
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 212419
involuntary context switches= 3729
# summary of solver processes directly reported to runsolver:
# pid: 21629
# total CPU time (s): 2520.06
# total CPU user time (s): 2515.74
# total CPU system time (s): 4.31522
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5833 second user time and 20.9558 second system time
The end