0.79/0.55 c Concrete v3.12.3.1568965526260 running
15.22/5.61 c 15:20:48.004 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16340. extension(x[1][7]=[0‥3], 3) :: init: true :: relation: MDD 1487543666, 5 edges, 4 vertices, 3 tuples
15.22/5.61 c 15:20:48.008 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16379. extension(3, x[5][7]=[0‥3]) :: init: true :: relation: MDD 1487543666, 5 edges, 4 vertices, 3 tuples
15.22/5.61 c 15:20:48.009 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16400. extension(x[3][9]=[0‥3], 3) :: init: true :: relation: MDD 1427892726, 5 edges, 4 vertices, 3 tuples
15.22/5.61 c 15:20:48.010 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16421. extension(3, wk[9][0]=[0‥1]) :: init: true :: relation: MDD 584643821, 4 edges, 3 vertices, 3 tuples
15.22/5.61 c 15:20:48.011 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16444. extension(3, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 1263927050, 4 edges, 3 vertices, 3 tuples
15.22/5.61 c 15:20:48.011 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16445. extension(x[4][14]=[0‥3], 3) :: init: true :: relation: MDD 771715205, 5 edges, 4 vertices, 3 tuples
15.22/5.61 c 15:20:48.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16446. extension(3, x[6][14]=[0‥3]) :: init: true :: relation: MDD 771715205, 5 edges, 4 vertices, 3 tuples
15.22/5.61 c 15:20:48.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16467. extension(3, wk[9][0]=[0‥1]) :: init: true :: relation: MDD 2041553769, 4 edges, 3 vertices, 3 tuples
15.22/5.61 c 15:20:48.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16534. extension(x[7][13]=[0‥3], 3) :: init: true :: relation: MDD 1684854630, 5 edges, 4 vertices, 3 tuples
15.22/5.62 c 15:20:48.013 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16535. extension(3, x[9][13]=[0‥3]) :: init: true :: relation: MDD 1684854630, 5 edges, 4 vertices, 3 tuples
15.22/5.62 c 15:20:48.013 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16578. extension(x[8][20]=[0‥3], 3) :: init: true :: relation: MDD 927744186, 5 edges, 4 vertices, 3 tuples
15.22/5.62 c 15:20:48.014 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16599. extension(3, x[11][9]=[0‥3]) :: init: true :: relation: MDD 1427892726, 5 edges, 4 vertices, 3 tuples
15.22/5.62 c 15:20:48.014 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16642. extension(x[10][7]=[0‥3], 3) :: init: true :: relation: MDD 1487543666, 5 edges, 4 vertices, 3 tuples
15.22/5.62 c 15:20:48.014 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16643. extension(3, x[12][7]=[0‥3]) :: init: true :: relation: MDD 1487543666, 5 edges, 4 vertices, 3 tuples
15.22/5.62 c 15:20:48.015 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16685. extension(3, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 1952031262, 4 edges, 3 vertices, 3 tuples
15.22/5.62 c 15:20:48.015 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16686. extension(x[11][6]=[0‥3], 3) :: init: true :: relation: MDD 1248079435, 5 edges, 4 vertices, 3 tuples
15.22/5.62 c 15:20:48.015 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16708. extension(3, wk[20][1]=[0‥1]) :: init: true :: relation: MDD 2009900903, 4 edges, 3 vertices, 3 tuples
15.22/5.62 c 15:20:48.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16730. extension(3, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 223662325, 4 edges, 3 vertices, 3 tuples
15.22/5.62 c 15:20:48.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16753. extension(3, wk[20][1]=[0‥1]) :: init: true :: relation: MDD 682025329, 4 edges, 3 vertices, 3 tuples
15.22/5.62 c 15:20:48.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16754. extension(3, x[14][20]=[0‥3]) :: init: true :: relation: MDD 927744186, 5 edges, 4 vertices, 3 tuples
15.22/5.62 c 15:20:48.017 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16797. extension(x[13][9]=[0‥3], 3) :: init: true :: relation: MDD 1427892726, 5 edges, 4 vertices, 3 tuples
15.22/5.62 c 15:20:48.017 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16798. extension(3, x[15][9]=[0‥3]) :: init: true :: relation: MDD 1427892726, 5 edges, 4 vertices, 3 tuples
15.22/5.62 c 15:20:48.017 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16819. extension(x[14][3]=[0‥3], 3) :: init: true :: relation: MDD 1738345448, 5 edges, 4 vertices, 3 tuples
15.22/5.62 c 15:20:48.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16907. extension(x[15][21]=[0‥3], 3) :: init: true :: relation: MDD 1511319053, 5 edges, 4 vertices, 3 tuples
15.22/5.62 c 15:20:48.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16908. extension(3, x[17][21]=[0‥3]) :: init: true :: relation: MDD 1511319053, 5 edges, 4 vertices, 3 tuples
15.22/5.62 c 15:20:48.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16950. extension(x[16][5]=[0‥3], 3) :: init: true :: relation: MDD 994267665, 5 edges, 4 vertices, 3 tuples
15.22/5.62 c 15:20:48.019 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17016. extension(3, x[19][5]=[0‥3]) :: init: true :: relation: MDD 994267665, 5 edges, 4 vertices, 3 tuples
15.22/5.62 c 15:20:48.019 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17038. extension(3, x[19][6]=[0‥3]) :: init: true :: relation: MDD 1248079435, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.020 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17060. extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 600661314, 4 edges, 3 vertices, 3 tuples
15.22/5.63 c 15:20:48.020 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17083. extension(3, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 942523415, 4 edges, 3 vertices, 3 tuples
15.22/5.63 c 15:20:48.020 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17084. extension(x[18][12]=[0‥3], 3) :: init: true :: relation: MDD 1968751179, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17106. extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 1049628186, 4 edges, 3 vertices, 3 tuples
15.22/5.63 c 15:20:48.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17129. extension(3, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 666056635, 4 edges, 3 vertices, 3 tuples
15.22/5.63 c 15:20:48.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17130. extension(x[19][11]=[0‥3], 3) :: init: true :: relation: MDD 1184965604, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17152. extension(3, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 1359382959, 4 edges, 3 vertices, 3 tuples
15.22/5.63 c 15:20:48.022 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17153. extension(3, x[21][12]=[0‥3]) :: init: true :: relation: MDD 1968751179, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.022 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17219. extension(3, x[23][3]=[0‥3]) :: init: true :: relation: MDD 1738345448, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.023 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17241. extension(3, x[23][11]=[0‥3]) :: init: true :: relation: MDD 1184965604, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.023 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17263. extension(x[22][1]=[0‥3], 3) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.023 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17264. extension(3, x[24][1]=[0‥3]) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.024 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17285. extension(x[22][4]=[0‥3], 3) :: init: true :: relation: MDD 129059937, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.024 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17351. extension(x[24][14]=[0‥3], 3) :: init: true :: relation: MDD 771715205, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.024 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17352. extension(3, x[26][14]=[0‥3]) :: init: true :: relation: MDD 771715205, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17373. extension(3, wk[4][3]=[0‥1]) :: init: true :: relation: MDD 1902069190, 4 edges, 3 vertices, 3 tuples
15.22/5.63 c 15:20:48.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17374. extension(3, x[27][4]=[0‥3]) :: init: true :: relation: MDD 129059937, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17396. extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1411054469, 4 edges, 3 vertices, 3 tuples
15.22/5.63 c 15:20:48.026 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17397. extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 1958375413, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.026 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17419. extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 2108952533, 4 edges, 3 vertices, 3 tuples
15.22/5.63 c 15:20:48.026 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17486. extension(x[29][7]=[0‥3], 3) :: init: true :: relation: MDD 1487543666, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.027 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17487. extension(3, x[31][7]=[0‥3]) :: init: true :: relation: MDD 1487543666, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.027 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17508. extension(x[29][8]=[0‥3], 3) :: init: true :: relation: MDD 1453632464, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.027 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17552. extension(x[30][0]=[0‥3], 3) :: init: true :: relation: MDD 1651205022, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17574. extension(x[30][6]=[0‥3], 3) :: init: true :: relation: MDD 1248079435, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17575. extension(3, x[32][6]=[0‥3]) :: init: true :: relation: MDD 1248079435, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17640. extension(x[30][18]=[0‥3], 3) :: init: true :: relation: MDD 16957838, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.029 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17705. extension(x[31][15]=[0‥3], 3) :: init: true :: relation: MDD 1562221939, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.029 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17706. extension(3, x[33][15]=[0‥3]) :: init: true :: relation: MDD 1562221939, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.029 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17770. extension(x[31][19]=[0‥3], 3) :: init: true :: relation: MDD 1014135205, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17771. extension(3, x[33][19]=[0‥3]) :: init: true :: relation: MDD 1014135205, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17791. extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 2097217770, 4 edges, 3 vertices, 3 tuples
15.22/5.63 c 15:20:48.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17814. extension(3, wk[1][4]=[0‥1]) :: init: true :: relation: MDD 848484634, 4 edges, 3 vertices, 3 tuples
15.22/5.63 c 15:20:48.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17815. extension(x[32][1]=[0‥3], 3) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17816. extension(3, x[34][1]=[0‥3]) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17837. extension(3, wk[8][4]=[0‥1]) :: init: true :: relation: MDD 1774531247, 4 edges, 3 vertices, 3 tuples
15.22/5.63 c 15:20:48.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17860. extension(3, wk[17][4]=[0‥1]) :: init: true :: relation: MDD 52104962, 4 edges, 3 vertices, 3 tuples
15.22/5.63 c 15:20:48.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17861. extension(3, x[34][17]=[0‥3]) :: init: true :: relation: MDD 1958375413, 5 edges, 4 vertices, 3 tuples
15.22/5.63 c 15:20:48.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17883. extension(3, wk[18][4]=[0‥1]) :: init: true :: relation: MDD 483832253, 4 edges, 3 vertices, 3 tuples
15.22/5.63 c 15:20:48.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17905. extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 1319203143, 4 edges, 3 vertices, 3 tuples
15.22/5.63 c 15:20:48.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17928. extension(3, wk[8][4]=[0‥1]) :: init: true :: relation: MDD 1369533151, 4 edges, 3 vertices, 3 tuples
15.22/5.63 c 15:20:48.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17951. extension(3, wk[18][4]=[0‥1]) :: init: true :: relation: MDD 994173375, 4 edges, 3 vertices, 3 tuples
15.22/5.64 c 15:20:48.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18125. extension(x[36][5]=[0‥3], 3) :: init: true :: relation: MDD 994267665, 5 edges, 4 vertices, 3 tuples
15.22/5.64 c 15:20:48.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18147. extension(3, x[38][8]=[0‥3]) :: init: true :: relation: MDD 1453632464, 5 edges, 4 vertices, 3 tuples
15.22/5.64 c 15:20:48.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18169. extension(x[36][10]=[0‥3], 3) :: init: true :: relation: MDD 1087916281, 5 edges, 4 vertices, 3 tuples
15.22/5.64 c 15:20:48.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18212. extension(3, x[39][0]=[0‥3]) :: init: true :: relation: MDD 1651205022, 5 edges, 4 vertices, 3 tuples
15.22/5.64 c 15:20:48.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18234. extension(x[37][1]=[0‥3], 3) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.64 c 15:20:48.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18300. extension(x[37][12]=[0‥3], 3) :: init: true :: relation: MDD 1968751179, 5 edges, 4 vertices, 3 tuples
15.22/5.64 c 15:20:48.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18322. extension(3, x[39][18]=[0‥3]) :: init: true :: relation: MDD 16957838, 5 edges, 4 vertices, 3 tuples
15.22/5.64 c 15:20:48.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18431. extension(x[38][19]=[0‥3], 3) :: init: true :: relation: MDD 1014135205, 5 edges, 4 vertices, 3 tuples
15.22/5.64 c 15:20:48.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18452. extension(3, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 1036938712, 4 edges, 3 vertices, 3 tuples
15.22/5.64 c 15:20:48.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18475. extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 770109884, 4 edges, 3 vertices, 3 tuples
15.22/5.64 c 15:20:48.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18476. extension(3, x[41][5]=[0‥3]) :: init: true :: relation: MDD 994267665, 5 edges, 4 vertices, 3 tuples
15.22/5.64 c 15:20:48.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18498. extension(3, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 733357076, 4 edges, 3 vertices, 3 tuples
15.22/5.64 c 15:20:48.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18521. extension(3, wk[12][5]=[0‥1]) :: init: true :: relation: MDD 1075314220, 4 edges, 3 vertices, 3 tuples
15.22/5.64 c 15:20:48.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18522. extension(3, x[41][12]=[0‥3]) :: init: true :: relation: MDD 1968751179, 5 edges, 4 vertices, 3 tuples
15.22/5.64 c 15:20:48.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18544. extension(3, wk[19][5]=[0‥1]) :: init: true :: relation: MDD 705602706, 4 edges, 3 vertices, 3 tuples
15.22/5.64 c 15:20:48.038 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18566. extension(3, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 327170708, 4 edges, 3 vertices, 3 tuples
15.22/5.64 c 15:20:48.038 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18567. extension(3, x[42][1]=[0‥3]) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.64 c 15:20:48.038 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18589. extension(3, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 1682774881, 4 edges, 3 vertices, 3 tuples
15.22/5.64 c 15:20:48.038 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18590. extension(3, x[42][10]=[0‥3]) :: init: true :: relation: MDD 1087916281, 5 edges, 4 vertices, 3 tuples
15.22/5.64 c 15:20:48.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18612. extension(3, wk[19][5]=[0‥1]) :: init: true :: relation: MDD 48589645, 4 edges, 3 vertices, 3 tuples
15.22/5.64 c 15:20:48.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18613. extension(3, x[42][19]=[0‥3]) :: init: true :: relation: MDD 1014135205, 5 edges, 4 vertices, 3 tuples
15.22/5.64 c 15:20:48.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18634. extension(x[41][11]=[0‥3], 3) :: init: true :: relation: MDD 1184965604, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.040 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18722. extension(3, x[47][11]=[0‥3]) :: init: true :: relation: MDD 1184965604, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.040 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18744. extension(x[45][21]=[0‥3], 3) :: init: true :: relation: MDD 1511319053, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.040 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18765. extension(3, wk[21][6]=[0‥1]) :: init: true :: relation: MDD 547507935, 4 edges, 3 vertices, 3 tuples
15.22/5.65 c 15:20:48.040 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18787. extension(3, wk[20][6]=[0‥1]) :: init: true :: relation: MDD 214560653, 4 edges, 3 vertices, 3 tuples
15.22/5.65 c 15:20:48.041 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18788. extension(x[47][20]=[0‥3], 3) :: init: true :: relation: MDD 927744186, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.041 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18809. extension(3, wk[21][6]=[0‥1]) :: init: true :: relation: MDD 1226803249, 4 edges, 3 vertices, 3 tuples
15.22/5.65 c 15:20:48.041 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18831. extension(x[48][7]=[0‥3], 3) :: init: true :: relation: MDD 1487543666, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18853. extension(x[48][14]=[0‥3], 3) :: init: true :: relation: MDD 771715205, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18961. extension(3, x[51][20]=[0‥3]) :: init: true :: relation: MDD 927744186, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19003. extension(3, x[52][7]=[0‥3]) :: init: true :: relation: MDD 1487543666, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19068. extension(x[51][12]=[0‥3], 3) :: init: true :: relation: MDD 1968751179, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19090. extension(x[51][13]=[0‥3], 3) :: init: true :: relation: MDD 1684854630, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19134. extension(x[51][19]=[0‥3], 3) :: init: true :: relation: MDD 1014135205, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19155. extension(3, x[53][21]=[0‥3]) :: init: true :: relation: MDD 1511319053, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.044 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19242. extension(x[52][16]=[0‥3], 3) :: init: true :: relation: MDD 1819552644, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.044 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19285. extension(3, wk[12][7]=[0‥1]) :: init: true :: relation: MDD 1594424832, 4 edges, 3 vertices, 3 tuples
15.22/5.65 c 15:20:48.044 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19286. extension(3, x[55][12]=[0‥3]) :: init: true :: relation: MDD 1968751179, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.044 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19308. extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 92784065, 4 edges, 3 vertices, 3 tuples
15.22/5.65 c 15:20:48.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19331. extension(3, wk[14][7]=[0‥1]) :: init: true :: relation: MDD 561133045, 4 edges, 3 vertices, 3 tuples
15.22/5.65 c 15:20:48.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19332. extension(3, x[55][14]=[0‥3]) :: init: true :: relation: MDD 771715205, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19354. extension(3, wk[16][7]=[0‥1]) :: init: true :: relation: MDD 1197430386, 4 edges, 3 vertices, 3 tuples
15.22/5.65 c 15:20:48.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19377. extension(3, wk[19][7]=[0‥1]) :: init: true :: relation: MDD 1434741143, 4 edges, 3 vertices, 3 tuples
15.22/5.65 c 15:20:48.046 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19399. extension(3, wk[2][7]=[0‥1]) :: init: true :: relation: MDD 1543871080, 4 edges, 3 vertices, 3 tuples
15.22/5.65 c 15:20:48.046 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19400. extension(x[54][2]=[0‥3], 3) :: init: true :: relation: MDD 374585422, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.046 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19422. extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 528012309, 4 edges, 3 vertices, 3 tuples
15.22/5.65 c 15:20:48.046 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19423. extension(3, x[56][13]=[0‥3]) :: init: true :: relation: MDD 1684854630, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.047 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19445. extension(3, wk[16][7]=[0‥1]) :: init: true :: relation: MDD 1110014943, 4 edges, 3 vertices, 3 tuples
15.22/5.65 c 15:20:48.047 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19468. extension(3, wk[19][7]=[0‥1]) :: init: true :: relation: MDD 1231493271, 4 edges, 3 vertices, 3 tuples
15.22/5.65 c 15:20:48.047 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19469. extension(3, x[56][19]=[0‥3]) :: init: true :: relation: MDD 1014135205, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.047 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19490. extension(x[55][1]=[0‥3], 3) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19491. extension(3, x[57][1]=[0‥3]) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19578. extension(x[56][15]=[0‥3], 3) :: init: true :: relation: MDD 1562221939, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19600. extension(3, x[58][16]=[0‥3]) :: init: true :: relation: MDD 1819552644, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19688. extension(3, x[60][15]=[0‥3]) :: init: true :: relation: MDD 1562221939, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.049 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19732. extension(x[59][5]=[0‥3], 3) :: init: true :: relation: MDD 994267665, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.049 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19733. extension(3, x[61][5]=[0‥3]) :: init: true :: relation: MDD 994267665, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.049 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19754. extension(3, wk[1][8]=[0‥1]) :: init: true :: relation: MDD 632521219, 4 edges, 3 vertices, 3 tuples
15.22/5.65 c 15:20:48.049 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19755. extension(x[60][1]=[0‥3], 3) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.65 c 15:20:48.050 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19756. extension(3, x[62][1]=[0‥3]) :: init: true :: relation: MDD 1590099678, 5 edges, 4 vertices, 3 tuples
15.22/5.66 c 15:20:48.050 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19777. extension(3, wk[2][8]=[0‥1]) :: init: true :: relation: MDD 1067155425, 4 edges, 3 vertices, 3 tuples
15.22/5.66 c 15:20:48.050 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19778. extension(3, x[62][2]=[0‥3]) :: init: true :: relation: MDD 374585422, 5 edges, 4 vertices, 3 tuples
15.22/5.66 c 15:20:48.051 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19800. extension(x[62][4]=[0‥3], 3) :: init: true :: relation: MDD 129059937, 5 edges, 4 vertices, 3 tuples
15.22/5.66 c 15:20:48.051 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19801. extension(3, x[64][4]=[0‥3]) :: init: true :: relation: MDD 129059937, 5 edges, 4 vertices, 3 tuples
15.22/5.66 c 15:20:48.051 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19822. extension(x[65][16]=[0‥3], 3) :: init: true :: relation: MDD 1819552644, 5 edges, 4 vertices, 3 tuples
15.22/5.66 c 15:20:48.051 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19823. extension(3, x[67][16]=[0‥3]) :: init: true :: relation: MDD 1819552644, 5 edges, 4 vertices, 3 tuples
15.22/5.66 c 15:20:48.052 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19844. extension(x[66][4]=[0‥3], 3) :: init: true :: relation: MDD 129059937, 5 edges, 4 vertices, 3 tuples
15.22/5.66 c 15:20:48.052 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19866. extension(3, wk[4][9]=[0‥1]) :: init: true :: relation: MDD 1933471223, 4 edges, 3 vertices, 3 tuples
15.22/5.66 c 15:20:48.052 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19867. extension(3, x[69][4]=[0‥3]) :: init: true :: relation: MDD 129059937, 5 edges, 4 vertices, 3 tuples
15.22/5.66 c 15:20:48.052 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19889. extension(3, wk[13][9]=[0‥1]) :: init: true :: relation: MDD 1093582436, 4 edges, 3 vertices, 3 tuples
15.22/5.66 c 15:20:48.052 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19890. extension(x[68][13]=[0‥3], 3) :: init: true :: relation: MDD 1684854630, 5 edges, 4 vertices, 3 tuples
15.22/5.66 c 15:20:48.053 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19934. extension(x[69][15]=[0‥3], 3) :: init: true :: relation: MDD 1562221939, 5 edges, 4 vertices, 3 tuples
15.22/5.66 c 15:20:48.053 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19956. extension(3, x[72][13]=[0‥3]) :: init: true :: relation: MDD 1684854630, 5 edges, 4 vertices, 3 tuples
15.22/5.66 c 15:20:48.053 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20022. extension(3, x[74][15]=[0‥3]) :: init: true :: relation: MDD 1562221939, 5 edges, 4 vertices, 3 tuples
15.22/5.66 c 15:20:48.053 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20044. extension(3, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 1683063408, 4 edges, 3 vertices, 3 tuples
15.22/5.66 c 15:20:48.054 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20045. extension(x[74][10]=[0‥3], 3) :: init: true :: relation: MDD 1087916281, 5 edges, 4 vertices, 3 tuples
15.22/5.67 c 15:20:48.065 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20067. extension(3, wk[2][10]=[0‥1]) :: init: true :: relation: MDD 37754966, 4 edges, 3 vertices, 3 tuples
15.22/5.67 c 15:20:48.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20068. extension(x[75][2]=[0‥3], 3) :: init: true :: relation: MDD 374585422, 5 edges, 4 vertices, 3 tuples
15.22/5.67 c 15:20:48.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20069. extension(3, x[77][2]=[0‥3]) :: init: true :: relation: MDD 374585422, 5 edges, 4 vertices, 3 tuples
15.22/5.67 c 15:20:48.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20090. extension(3, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 2036497703, 4 edges, 3 vertices, 3 tuples
15.22/5.67 c 15:20:48.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20113. extension(3, x[78][10]=[0‥3]) :: init: true :: relation: MDD 1087916281, 5 edges, 4 vertices, 3 tuples
15.22/5.67 c 15:20:48.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20135. extension(x[77][4]=[0‥3], 3) :: init: true :: relation: MDD 129059937, 5 edges, 4 vertices, 3 tuples
15.22/5.67 c 15:20:48.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20136. extension(3, x[79][4]=[0‥3]) :: init: true :: relation: MDD 129059937, 5 edges, 4 vertices, 3 tuples
15.22/5.67 c 15:20:48.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20157. extension(x[77][16]=[0‥3], 3) :: init: true :: relation: MDD 1819552644, 5 edges, 4 vertices, 3 tuples
15.22/5.67 c 15:20:48.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20179. extension(3, x[80][16]=[0‥3]) :: init: true :: relation: MDD 1819552644, 5 edges, 4 vertices, 3 tuples
15.22/5.67 c 15:20:48.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20200. extension(x[80][5]=[0‥3], 3) :: init: true :: relation: MDD 994267665, 5 edges, 4 vertices, 3 tuples
15.22/5.67 c 15:20:48.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20201. extension(3, x[82][5]=[0‥3]) :: init: true :: relation: MDD 994267665, 5 edges, 4 vertices, 3 tuples
15.54/5.79 c 15:20:48.188 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29508. extension(x[1][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.188 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29510. extension(x[5][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.188 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29512. extension(x[3][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.188 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29514. extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.188 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29516. extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29518. extension(x[4][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29520. extension(x[6][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29522. extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29524. extension(x[7][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29526. extension(x[9][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29528. extension(x[8][20]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29530. extension(x[11][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29532. extension(x[10][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.190 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29534. extension(x[12][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.190 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29536. extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.190 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29538. extension(x[11][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.190 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29540. extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.190 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29542. extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.190 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29544. extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.190 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29546. extension(x[14][20]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.190 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29548. extension(x[13][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.191 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29550. extension(x[15][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.191 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29552. extension(x[14][3]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.191 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29554. extension(x[15][21]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.191 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29556. extension(x[17][21]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.191 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29558. extension(x[16][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.191 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29560. extension(x[19][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.191 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29562. extension(x[19][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.191 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29564. extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.192 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29566. extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.192 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29568. extension(x[18][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.192 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29570. extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.192 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29572. extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.192 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29574. extension(x[19][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.192 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29576. extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.192 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29578. extension(x[21][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.192 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29580. extension(x[23][3]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.193 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29582. extension(x[23][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.79 c 15:20:48.193 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29584. extension(x[22][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80 c 15:20:48.193 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29586. extension(x[24][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80 c 15:20:48.193 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29588. extension(x[22][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80 c 15:20:48.193 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29590. extension(x[24][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80 c 15:20:48.193 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29592. extension(x[26][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80 c 15:20:48.193 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29594. extension(wk[4][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.80 c 15:20:48.193 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29596. extension(x[27][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80 c 15:20:48.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29598. extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.80 c 15:20:48.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29600. extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80 c 15:20:48.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29602. extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.54/5.80 c 15:20:48.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29604. extension(x[29][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80 c 15:20:48.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29606. extension(x[31][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80 c 15:20:48.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29608. extension(x[29][8]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80 c 15:20:48.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29610. extension(x[30][0]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80 c 15:20:48.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29612. extension(x[30][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80 c 15:20:48.195 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29614. extension(x[32][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80 c 15:20:48.195 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29616. extension(x[30][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.54/5.80 c 15:20:48.195 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29618. extension(x[31][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29620. extension(x[33][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29622. extension(x[31][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29624. extension(x[33][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29626. extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29628. extension(wk[1][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29630. extension(x[32][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29632. extension(x[34][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29634. extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29636. extension(wk[17][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29638. extension(x[34][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29640. extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29642. extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29644. extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29646. extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29648. extension(x[36][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29650. extension(x[38][8]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29652. extension(x[36][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.198 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29654. extension(x[39][0]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.198 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29656. extension(x[37][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.198 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29658. extension(x[37][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.198 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29660. extension(x[39][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.198 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29662. extension(x[38][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.198 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29664. extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.198 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29666. extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.198 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29668. extension(x[41][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.199 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29670. extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.199 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29672. extension(wk[12][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.199 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29674. extension(x[41][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.199 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29676. extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.199 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29678. extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.199 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29680. extension(x[42][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.199 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29682. extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.199 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29684. extension(x[42][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29686. extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29688. extension(x[42][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29690. extension(x[41][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29692. extension(x[47][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29694. extension(x[45][21]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29696. extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29698. extension(wk[20][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29700. extension(x[47][20]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.201 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29702. extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.201 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29704. extension(x[48][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.201 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29706. extension(x[48][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.201 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29708. extension(x[51][20]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.201 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29710. extension(x[52][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.201 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29712. extension(x[51][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.201 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29714. extension(x[51][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.201 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29716. extension(x[51][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.202 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29718. extension(x[53][21]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.202 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29720. extension(x[52][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.202 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29722. extension(wk[12][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.202 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29724. extension(x[55][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.80 c 15:20:48.202 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29726. extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.202 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29728. extension(wk[14][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.202 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29730. extension(x[55][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.202 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29732. extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.202 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29734. extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29736. extension(wk[2][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29738. extension(x[54][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29740. extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29742. extension(x[56][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29744. extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29746. extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29748. extension(x[56][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29750. extension(x[55][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29752. extension(x[57][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29754. extension(x[56][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29756. extension(x[58][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29758. extension(x[60][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29760. extension(x[59][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29762. extension(x[61][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29764. extension(wk[1][8]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29766. extension(x[60][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29768. extension(x[62][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.205 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29770. extension(wk[2][8]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.205 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29772. extension(x[62][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.205 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29774. extension(x[62][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.205 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29776. extension(x[64][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.205 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29778. extension(x[65][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.205 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29780. extension(x[67][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.205 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29782. extension(x[66][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.205 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29784. extension(wk[4][9]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29786. extension(x[69][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29788. extension(wk[13][9]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29790. extension(x[68][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29792. extension(x[69][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29794. extension(x[72][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29796. extension(x[74][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29798. extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29800. extension(x[74][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29802. extension(wk[2][10]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29804. extension(x[75][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29806. extension(x[77][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29808. extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29810. extension(x[78][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29812. extension(x[77][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29814. extension(x[79][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29816. extension(x[77][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29818. extension(x[80][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29820. extension(x[80][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.86/5.81 c 15:20:48.208 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29822. extension(x[82][5]=[0‥3]) :: init: true :: relation: Empty MDD
2400.06/2363.41 Exception in thread "main" java.util.concurrent.TimeoutException
2400.06/2363.41 at concrete.MAC.mac(MAC.scala:192)
2400.06/2363.41 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.06/2363.41 at scala.util.Try$.apply(Try.scala:210)
2400.06/2363.41 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.06/2363.41 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.06/2363.41 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.06/2363.41 at concrete.MAC.oneRun(MAC.scala:265)
2400.06/2363.41 at concrete.MAC.nextSolution(MAC.scala:284)
2400.06/2363.41 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:350)
2400.06/2363.41 at concrete.ProblemState.map(ProblemState.scala:238)
2400.06/2363.41 at concrete.ProblemState.map(ProblemState.scala:212)
2400.06/2363.41 at concrete.MAC.nextSolution(MAC.scala:348)
2400.06/2363.41 at concrete.Solver.hasNext(Solver.scala:160)
2400.06/2363.41 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.06/2363.41 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.06/2363.41 at concrete.Solver.foreach(Solver.scala:67)
2400.06/2363.41 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.06/2363.41 at scala.util.Success.map(Try.scala:262)
2400.06/2363.41 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.06/2363.41 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.06/2363.41 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.06/2363.41 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.06/2363.41 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.06/2363.41 at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.06/2363.41 at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.06/2363.41 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.06/2363.41 at scala.App.$anonfun$main$1(App.scala:73)
2400.06/2363.41 at scala.App.$anonfun$main$1$adapted(App.scala:73)
2400.06/2363.41 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.06/2363.41 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.06/2363.41 at scala.collection.AbstractIterable.foreach(Iterable.scala:921)
2400.06/2363.41 at scala.App.main(App.scala:73)
2400.06/2363.41 at scala.App.main$(App.scala:71)
2400.06/2363.41 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.06/2363.41 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.06/2363.41 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 (1526 MiB free)
memory of node 1: 16384 MiB (2622 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403304-1568985520/watcher-4403304-1568985520 -o /tmp/evaluation-result-4403304-1568985520/solver-4403304-1568985520 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568967758-23433 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=599160865 HOME/instance-4403304-1568985520.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30436, runsolver pid=30433
[startup+0.10011 s]*
/proc/loadavg: 1.34 1.34 1.39 3/216 30493
/proc/meminfo: memFree=4240436/32770624 swapFree=66938816/67108860
[pid=30436] ppid=30433 vsize=9981332 memory=17344 CPUtime=0.09 cores=1,3,5,7
/proc/30436/stat : 30436 (java) S 30433 30436 23401 0 -1 1077944320 4578 13016 0 0 1 0 5 3 20 0 6 0 474821654 10220883968 4336 33554432000 4194304 4196468 140730748241856 140730748224400 140423301545719 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
/proc/30436/statm: 2496941 4336 1958 1 0 2485379 0
[pid=30436/tid=30489] ppid=30433 vsize=9988792 memory=4279135703980212366 CPUtime=0.09 cores=1,3,5,7
/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 2391 13016 0 0 1 0 5 3 20 0 6 0 474821663 10228523008 4336 33554432000 4194304 4196468 140730748241856 140423273382480 140423287043648 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 6 0 474821664 10228523008 4336 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=9988792 memory=140146419992192 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 6 0 474821664 10228523008 4336 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 6 0 474821664 10228523008 4336 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=9988792 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 6 0 474821664 10228523008 4336 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9981332 KiB
Current children cumulated memory: 17344 KiB
[startup+0.209944 s]*
/proc/loadavg: 1.34 1.34 1.39 3/225 30502
/proc/meminfo: memFree=4218192/32770624 swapFree=66938816/67108860
[pid=30436] ppid=30433 vsize=10820196 memory=46788 CPUtime=0.27 cores=1,3,5,7
/proc/30436/stat : 30436 (java) S 30433 30436 23401 0 -1 1077944320 7595 13016 0 0 17 2 5 3 20 0 15 0 474821654 11079880704 11697 33554432000 4194304 4196468 140730748241856 140730748224400 140423301545719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
/proc/30436/statm: 2705049 11697 3286 1 0 2667149 0
[pid=30436/tid=30489] ppid=30433 vsize=10820196 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 4110 13016 0 0 10 1 5 3 20 0 15 0 474821663 11079880704 11697 33554432000 4194304 4196468 140730748241856 140423273356752 140423301567066 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11079880704 11697 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=10820196 memory=140146419992192 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11079880704 11697 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11079880704 11697 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821664 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30494] ppid=30433 vsize=10820196 memory=140146419992192 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30494/stat : 30494 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821665 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422828133232 140423301556866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30495] ppid=30433 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30495/stat : 30495 (java) S 30433 30436 23401 0 -1 1077944384 13 13016 0 0 0 0 5 3 20 0 15 0 474821666 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422747776544 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30496] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30496/stat : 30496 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821666 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422613558640 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30497] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30497/stat : 30497 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821669 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422009579856 140423301564315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30498] ppid=30433 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30436/task/30498/stat : 30498 (java) R 30433 30436 23401 0 -1 4202560 573 13016 0 0 1 0 5 3 20 0 15 0 474821669 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422827080048 140423279419904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30499] ppid=30433 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/30436/task/30499/stat : 30499 (java) S 30433 30436 23401 0 -1 1077944384 73 13016 0 0 1 0 5 3 20 0 15 0 474821669 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422826027248 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30500] ppid=30433 vsize=10820196 memory=140146419992192 CPUtime=0.11 cores=1,3,5,7
/proc/30436/task/30500/stat : 30500 (java) S 30433 30436 23401 0 -1 1077944384 615 13016 0 0 3 0 5 3 20 0 15 0 474821669 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422824974448 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30501] ppid=30433 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30501/stat : 30501 (java) S 30433 30436 23401 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 474821669 11079880704 11697 33554432000 4194304 4196468 140730748241856 140421539817696 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30502] ppid=30433 vsize=10820196 memory=140146419992192 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30502/stat : 30502 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821669 11079880704 11697 33554432000 4194304 4196468 140730748241856 140422823922864 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 46788 KiB
[startup+0.310545 s]*
/proc/loadavg: 1.34 1.34 1.39 4/225 30502
/proc/meminfo: memFree=4205408/32770624 swapFree=66938816/67108860
[pid=30436] ppid=30433 vsize=10820196 memory=54980 CPUtime=0.41 cores=1,3,5,7
/proc/30436/stat : 30436 (java) S 30433 30436 23401 0 -1 1077944320 10958 13016 0 0 29 4 5 3 20 0 15 0 474821654 11079880704 13745 33554432000 4194304 4196468 140730748241856 140730748224400 140423301545719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
/proc/30436/statm: 2705049 13745 3311 1 0 2667149 0
[pid=30436/tid=30489] ppid=30433 vsize=10820196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 7454 13016 0 0 19 3 5 3 20 0 15 0 474821663 11079880704 13745 33554432000 4194304 4196468 140730748241856 140423273357264 140423285626206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=10820196 memory=7665518448924059747 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11079880704 13745 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=10820196 memory=5787233549803348032 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11079880704 13745 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=10820196 memory=7649539530507566531 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11079880704 13745 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821664 11079880704 13745 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30494] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30494/stat : 30494 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821665 11079880704 13745 33554432000 4194304 4196468 140730748241856 140422828133232 140423301556866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30495] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30495/stat : 30495 (java) S 30433 30436 23401 0 -1 1077944384 13 13016 0 0 0 0 5 3 20 0 15 0 474821666 11079880704 13745 33554432000 4194304 4196468 140730748241856 140422747776544 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30496] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30496/stat : 30496 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821666 11079880704 13745 33554432000 4194304 4196468 140730748241856 140422613558640 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30497] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30497/stat : 30497 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821669 11079880704 13745 33554432000 4194304 4196468 140730748241856 140422009579856 140423301564315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30498] ppid=30433 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/30436/task/30498/stat : 30498 (java) S 30433 30436 23401 0 -1 1077944384 576 13016 0 0 2 0 5 3 20 0 15 0 474821669 11079880704 13745 33554432000 4194304 4196468 140730748241856 140422827080048 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30499] ppid=30433 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30436/task/30499/stat : 30499 (java) S 30433 30436 23401 0 -1 1077944384 73 13016 0 0 1 0 5 3 20 0 15 0 474821669 11079880704 13745 33554432000 4194304 4196468 140730748241856 140422826027248 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30500] ppid=30433 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/30436/task/30500/stat : 30500 (java) S 30433 30436 23401 0 -1 1077944384 624 13016 0 0 5 0 5 3 20 0 15 0 474821669 11079880704 13810 33554432000 4194304 4196468 140730748241856 140422824974448 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30501] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30501/stat : 30501 (java) S 30433 30436 23401 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 474821669 11079880704 13810 33554432000 4194304 4196468 140730748241856 140421539817696 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30502] ppid=30433 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30502/stat : 30502 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821669 11079880704 13810 33554432000 4194304 4196468 140730748241856 140422823922864 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54980 KiB
[startup+0.700687 s]
/proc/loadavg: 1.34 1.34 1.39 4/225 30502
/proc/meminfo: memFree=4191456/32770624 swapFree=66938816/67108860
[pid=30436] ppid=30433 vsize=10824364 memory=87832 CPUtime=1.16 cores=1,3,5,7
/proc/30436/stat : 30436 (java) S 30433 30436 23401 0 -1 1077944320 15130 13016 0 0 102 6 5 3 20 0 15 0 474821654 11084148736 21958 33554432000 4194304 4196468 140730748241856 140730748224400 140423301545719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
/proc/30436/statm: 2706091 21958 3513 1 0 2668173 0
[pid=30436/tid=30489] ppid=30433 vsize=10824364 memory=2241 CPUtime=0.67 cores=1,3,5,7
/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 10555 13016 0 0 55 4 5 3 20 0 15 0 474821663 11084148736 21958 33554432000 4194304 4196468 140730748241856 140423273372880 140423301557654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=10824364 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11084148736 21958 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11084148736 21958 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11084148736 21958 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821664 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30494] ppid=30433 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30494/stat : 30494 (java) S 30433 30436 23401 0 -1 1077944384 5 13016 0 0 0 0 5 3 20 0 15 0 474821665 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422828133232 140423301556866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30495] ppid=30433 vsize=10824364 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30495/stat : 30495 (java) S 30433 30436 23401 0 -1 1077944384 13 13016 0 0 0 0 5 3 20 0 15 0 474821666 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422747776544 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30496] ppid=30433 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30496/stat : 30496 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821666 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422613558640 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30497] ppid=30433 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30497/stat : 30497 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821669 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422009579856 140423301564315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30498] ppid=30433 vsize=10824364 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/30436/task/30498/stat : 30498 (java) S 30433 30436 23401 0 -1 1077944384 1062 13016 0 0 15 0 5 3 20 0 15 0 474821669 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422827080048 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30499] ppid=30433 vsize=10824364 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/30436/task/30499/stat : 30499 (java) R 30433 30436 23401 0 -1 4202560 497 13016 0 0 13 0 5 3 20 0 15 0 474821669 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422826027248 140423286475189 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30500] ppid=30433 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/30436/task/30500/stat : 30500 (java) R 30433 30436 23401 0 -1 1077944384 781 13016 0 0 17 0 5 3 20 0 15 0 474821669 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422824974448 140423301556866 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30501] ppid=30433 vsize=10824364 memory=280292518527216 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30501/stat : 30501 (java) S 30433 30436 23401 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 474821669 11084148736 21958 33554432000 4194304 4196468 140730748241856 140421539817696 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30502] ppid=30433 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30502/stat : 30502 (java) R 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821669 11084148736 21958 33554432000 4194304 4196468 140730748241856 140422823922864 140423301556866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87832 KiB
[startup+1.50078 s]
/proc/loadavg: 1.34 1.34 1.39 6/225 30502
/proc/meminfo: memFree=4136120/32770624 swapFree=66938816/67108860
[pid=30436] ppid=30433 vsize=10830584 memory=207016 CPUtime=3.55 cores=1,3,5,7
/proc/30436/stat : 30436 (java) S 30433 30436 23401 0 -1 1077944320 29080 13016 0 0 337 10 5 3 20 0 15 0 474821654 11090518016 51754 33554432000 4194304 4196468 140730748241856 140730748224400 140423301545719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
/proc/30436/statm: 2707646 51754 3554 1 0 2669709 0
[pid=30436/tid=30489] ppid=30433 vsize=10830584 memory=28 CPUtime=1.46 cores=1,3,5,7
/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 13408 13016 0 0 132 6 5 3 20 0 15 0 474821663 11090518016 51754 33554432000 4194304 4196468 140730748241856 140423273377840 140423301567066 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=10830584 memory=31 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11090518016 51754 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=10830584 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11090518016 51754 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=10830584 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821664 11090518016 51754 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=10830584 memory=112476 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821664 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30494] ppid=30433 vsize=10830584 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30494/stat : 30494 (java) S 30433 30436 23401 0 -1 1077944384 5 13016 0 0 0 0 5 3 20 0 15 0 474821665 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422828133232 140423301556866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30495] ppid=30433 vsize=10830584 memory=7016982484491462227 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30495/stat : 30495 (java) S 30433 30436 23401 0 -1 1077944384 13 13016 0 0 0 0 5 3 20 0 15 0 474821666 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422747776544 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30496] ppid=30433 vsize=10830584 memory=7451041036348057683 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30496/stat : 30496 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821666 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422613558640 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30497] ppid=30433 vsize=10830584 memory=7660735560510433129 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30497/stat : 30497 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821669 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422009579856 140423301564315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30498] ppid=30433 vsize=10830584 memory=7454130749351154278 CPUtime=0.87 cores=1,3,5,7
/proc/30436/task/30498/stat : 30498 (java) R 30433 30436 23401 0 -1 4202560 5794 13016 0 0 78 1 5 3 20 0 15 0 474821669 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422827080048 140423283067346 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30499] ppid=30433 vsize=10830584 memory=7234585662734230896 CPUtime=0.83 cores=1,3,5,7
/proc/30436/task/30499/stat : 30499 (java) R 30433 30436 23401 0 -1 4202560 5296 13016 0 0 75 0 5 3 20 0 15 0 474821669 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422826027248 140423301567066 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30500] ppid=30433 vsize=10830584 memory=7016982484491462227 CPUtime=0.58 cores=1,3,5,7
/proc/30436/task/30500/stat : 30500 (java) S 30433 30436 23401 0 -1 1077944384 2347 13016 0 0 50 0 5 3 20 0 15 0 474821669 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422824974448 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30501] ppid=30433 vsize=10830584 memory=7016982484491462227 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30501/stat : 30501 (java) S 30433 30436 23401 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 474821669 11090518016 51754 33554432000 4194304 4196468 140730748241856 140421539817696 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30502] ppid=30433 vsize=10830584 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30502/stat : 30502 (java) S 30433 30436 23401 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 474821669 11090518016 51754 33554432000 4194304 4196468 140730748241856 140422823922864 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 3.55 s
Current children cumulated vsize: 10830584 KiB
################
# More data... #
################
/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 69352 13016 0 0 219224 33 5 3 20 0 15 0 474821663 11111510016 270988 33554432000 4194304 4196468 140730748241856 140423273381552 140422915247496 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=10851084 memory=1083928 CPUtime=5.16 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 18463 13016 0 0 485 23 5 3 20 0 15 0 474821664 11111510016 270988 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=10851084 memory=1083952 CPUtime=5.15 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 17233 13016 0 0 485 22 5 3 20 0 15 0 474821664 11111510016 270988 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=10851084 memory=1083952 CPUtime=5.12 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 19445 13016 0 0 478 26 5 3 20 0 15 0 474821664 11111510016 270988 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=10851084 memory=1083952 CPUtime=5.16 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 10338 13016 0 0 487 21 5 3 20 0 15 0 474821664 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30494] ppid=30433 vsize=10851084 memory=1083952 CPUtime=3.97 cores=1,3,5,7
/proc/30436/task/30494/stat : 30494 (java) S 30433 30436 23401 0 -1 1077944384 16451 13016 0 0 366 23 5 3 20 0 15 0 474821665 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422828133232 140423301556866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30495] ppid=30433 vsize=10851084 memory=1083952 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30495/stat : 30495 (java) S 30433 30436 23401 0 -1 1077944384 19 13016 0 0 0 0 5 3 20 0 15 0 474821666 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422747776608 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30496] ppid=30433 vsize=10851084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30496/stat : 30496 (java) S 30433 30436 23401 0 -1 1077944384 11 13016 0 0 0 0 5 3 20 0 15 0 474821666 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422613558656 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30497] ppid=30433 vsize=10851084 memory=1083952 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30497/stat : 30497 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821669 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422009579856 140423301564315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30498] ppid=30433 vsize=10851084 memory=1083916 CPUtime=8.57 cores=1,3,5,7
/proc/30436/task/30498/stat : 30498 (java) S 30433 30436 23401 0 -1 1077944384 31078 13016 0 0 845 4 5 3 20 0 15 0 474821669 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422827080048 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30499] ppid=30433 vsize=10851084 memory=3620 CPUtime=8.52 cores=1,3,5,7
/proc/30436/task/30499/stat : 30499 (java) S 30433 30436 23401 0 -1 1077944384 28540 13016 0 0 841 3 5 3 20 0 15 0 474821669 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422826027248 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30500] ppid=30433 vsize=10851084 memory=1083952 CPUtime=2.93 cores=1,3,5,7
/proc/30436/task/30500/stat : 30500 (java) S 30433 30436 23401 0 -1 1077944384 25390 13016 0 0 280 5 5 3 20 0 15 0 474821669 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422824974448 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30501] ppid=30433 vsize=10851084 memory=1083824 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30501/stat : 30501 (java) S 30433 30436 23401 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 474821669 11111510016 270988 33554432000 4194304 4196468 140730748241856 140421539817696 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30502] ppid=30433 vsize=10851084 memory=1083824 CPUtime=1.13 cores=1,3,5,7
/proc/30436/task/30502/stat : 30502 (java) S 30433 30436 23401 0 -1 1077944384 1173 13016 0 0 52 53 5 3 20 0 15 0 474821669 11111510016 270988 33554432000 4194304 4196468 140730748241856 140422823922864 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 2237.75 s
Current children cumulated vsize: 10851084 KiB
Current children cumulated memory: 1083952 KiB
[startup+2262.3 s]
/proc/loadavg: 0.61 0.63 0.83 2/204 30776
/proc/meminfo: memFree=5032492/32770624 swapFree=66938860/67108860
[pid=30436] ppid=30433 vsize=10851084 memory=1084028 CPUtime=2298.23 cores=1,3,5,7
/proc/30436/stat : 30436 (java) S 30433 30436 23401 0 -1 1077944320 241434 13016 0 0 229623 192 5 3 20 0 15 0 474821654 11111510016 271007 33554432000 4194304 4196468 140730748241856 140730748224400 140423301545719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
/proc/30436/statm: 2712771 271007 3641 1 0 2674829 0
[pid=30436/tid=30489] ppid=30433 vsize=10851084 memory=1084028 CPUtime=2252.36 cores=1,3,5,7
/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 69909 13016 0 0 225194 34 5 3 20 0 15 0 474821663 11111510016 271007 33554432000 4194304 4196468 140730748241856 140423273380528 140422919846042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=10851084 memory=1084028 CPUtime=5.31 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 18798 13016 0 0 500 23 5 3 20 0 15 0 474821664 11111510016 271007 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=10851084 memory=0 CPUtime=5.31 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 17278 13016 0 0 500 23 5 3 20 0 15 0 474821664 11111510016 271007 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=10851084 memory=1084028 CPUtime=5.28 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 19662 13016 0 0 493 27 5 3 20 0 15 0 474821664 11111510016 271007 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=10851084 memory=1084028 CPUtime=5.31 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 10477 13016 0 0 502 21 5 3 20 0 15 0 474821664 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30494] ppid=30433 vsize=10851084 memory=2305 CPUtime=4.1 cores=1,3,5,7
/proc/30436/task/30494/stat : 30494 (java) S 30433 30436 23401 0 -1 1077944384 16864 13016 0 0 378 24 5 3 20 0 15 0 474821665 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422828133232 140423301556866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30495] ppid=30433 vsize=10851084 memory=1084028 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30495/stat : 30495 (java) S 30433 30436 23401 0 -1 1077944384 19 13016 0 0 0 0 5 3 20 0 15 0 474821666 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422747776608 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30496] ppid=30433 vsize=10851084 memory=1084028 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30496/stat : 30496 (java) S 30433 30436 23401 0 -1 1077944384 11 13016 0 0 0 0 5 3 20 0 15 0 474821666 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422613558656 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30497] ppid=30433 vsize=10851084 memory=1084028 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30497/stat : 30497 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821669 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422009579856 140423301564315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30498] ppid=30433 vsize=10851084 memory=1084028 CPUtime=8.57 cores=1,3,5,7
/proc/30436/task/30498/stat : 30498 (java) S 30433 30436 23401 0 -1 1077944384 31080 13016 0 0 845 4 5 3 20 0 15 0 474821669 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422827080048 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30499] ppid=30433 vsize=10851084 memory=1084028 CPUtime=8.52 cores=1,3,5,7
/proc/30436/task/30499/stat : 30499 (java) S 30433 30436 23401 0 -1 1077944384 28542 13016 0 0 841 3 5 3 20 0 15 0 474821669 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422826027248 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30500] ppid=30433 vsize=10851084 memory=3620 CPUtime=2.93 cores=1,3,5,7
/proc/30436/task/30500/stat : 30500 (java) S 30433 30436 23401 0 -1 1077944384 25392 13016 0 0 280 5 5 3 20 0 15 0 474821669 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422824974448 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30501] ppid=30433 vsize=10851084 memory=1084028 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30501/stat : 30501 (java) S 30433 30436 23401 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 474821669 11111510016 271007 33554432000 4194304 4196468 140730748241856 140421539817696 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30502] ppid=30433 vsize=10851084 memory=1084028 CPUtime=1.17 cores=1,3,5,7
/proc/30436/task/30502/stat : 30502 (java) S 30433 30436 23401 0 -1 1077944384 1192 13016 0 0 54 55 5 3 20 0 15 0 474821669 11111510016 271007 33554432000 4194304 4196468 140730748241856 140422823922864 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 2298.23 s
Current children cumulated vsize: 10851084 KiB
Current children cumulated memory: 1084028 KiB
[startup+2322.3 s]
/proc/loadavg: 0.64 0.63 0.82 2/205 30782
/proc/meminfo: memFree=5039096/32770624 swapFree=66938860/67108860
[pid=30436] ppid=30433 vsize=10851084 memory=1077944 CPUtime=2358.67 cores=1,3,5,7
/proc/30436/stat : 30436 (java) S 30433 30436 23401 0 -1 1077944320 243028 13016 0 0 235663 196 5 3 20 0 15 0 474821654 11111510016 269486 33554432000 4194304 4196468 140730748241856 140730748224400 140423301545719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
/proc/30436/statm: 2712771 269486 3641 1 0 2674829 0
[pid=30436/tid=30489] ppid=30433 vsize=10851084 memory=1077944 CPUtime=2312.09 cores=1,3,5,7
/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 70459 13016 0 0 231167 34 5 3 20 0 15 0 474821663 11111510016 269486 33554432000 4194304 4196468 140730748241856 140423273381376 140422919845668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=10851084 memory=1077944 CPUtime=5.45 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 18870 13016 0 0 514 23 5 3 20 0 15 0 474821664 11111510016 269486 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=10851084 memory=0 CPUtime=5.44 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 17376 13016 0 0 513 23 5 3 20 0 15 0 474821664 11111510016 269486 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=10851084 memory=1077944 CPUtime=5.41 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 19929 13016 0 0 506 27 5 3 20 0 15 0 474821664 11111510016 269486 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=10851084 memory=1077944 CPUtime=5.46 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 10840 13016 0 0 516 22 5 3 20 0 15 0 474821664 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30494] ppid=30433 vsize=10851084 memory=1077944 CPUtime=4.21 cores=1,3,5,7
/proc/30436/task/30494/stat : 30494 (java) S 30433 30436 23401 0 -1 1077944384 17084 13016 0 0 389 24 5 3 20 0 15 0 474821665 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422828133232 140423301556866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30495] ppid=30433 vsize=10851084 memory=1077944 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30495/stat : 30495 (java) S 30433 30436 23401 0 -1 1077944384 19 13016 0 0 0 0 5 3 20 0 15 0 474821666 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422747776608 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30496] ppid=30433 vsize=10851084 memory=1077944 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30496/stat : 30496 (java) S 30433 30436 23401 0 -1 1077944384 11 13016 0 0 0 0 5 3 20 0 15 0 474821666 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422613558656 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30497] ppid=30433 vsize=10851084 memory=1077944 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30497/stat : 30497 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821669 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422009579856 140423301564315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30498] ppid=30433 vsize=10851084 memory=1077944 CPUtime=8.57 cores=1,3,5,7
/proc/30436/task/30498/stat : 30498 (java) S 30433 30436 23401 0 -1 1077944384 31082 13016 0 0 845 4 5 3 20 0 15 0 474821669 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422827080048 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30499] ppid=30433 vsize=10851084 memory=1077944 CPUtime=8.52 cores=1,3,5,7
/proc/30436/task/30499/stat : 30499 (java) S 30433 30436 23401 0 -1 1077944384 28544 13016 0 0 841 3 5 3 20 0 15 0 474821669 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422826027248 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30500] ppid=30433 vsize=10851084 memory=1077944 CPUtime=2.93 cores=1,3,5,7
/proc/30436/task/30500/stat : 30500 (java) S 30433 30436 23401 0 -1 1077944384 25394 13016 0 0 280 5 5 3 20 0 15 0 474821669 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422824974448 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30501] ppid=30433 vsize=10851084 memory=1077944 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30501/stat : 30501 (java) S 30433 30436 23401 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 474821669 11111510016 269486 33554432000 4194304 4196468 140730748241856 140421539817696 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30502] ppid=30433 vsize=10851084 memory=1096 CPUtime=1.19 cores=1,3,5,7
/proc/30436/task/30502/stat : 30502 (java) S 30433 30436 23401 0 -1 1077944384 1210 13016 0 0 55 56 5 3 20 0 15 0 474821669 11111510016 269486 33554432000 4194304 4196468 140730748241856 140422823922864 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 2358.67 s
Current children cumulated vsize: 10851084 KiB
Current children cumulated memory: 1077944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2363.4 s]
/proc/loadavg: 0.74 0.66 0.82 2/206 30793
/proc/meminfo: memFree=5038276/32770624 swapFree=66938868/67108860
[pid=30436] ppid=30433 vsize=10851084 memory=1077980 CPUtime=2400.06 cores=1,3,5,7
/proc/30436/stat : 30436 (java) S 30433 30436 23401 0 -1 1077944320 244309 13016 0 0 239800 198 5 3 20 0 15 0 474821654 11111510016 269495 33554432000 4194304 4196468 140730748241856 140730748224400 140423301545719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
/proc/30436/statm: 2712771 269495 3641 1 0 2674829 0
[pid=30436/tid=30489] ppid=30433 vsize=10851084 memory=7373352817559363648 CPUtime=2353.02 cores=1,3,5,7
/proc/30436/task/30489/stat : 30489 (java) R 30433 30436 23401 0 -1 4202560 70890 13016 0 0 235260 34 5 3 20 0 15 0 474821663 11111510016 269495 33554432000 4194304 4196468 140730748241856 140423273381328 140422919845644 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30490] ppid=30433 vsize=10851084 memory=6791534058613427641 CPUtime=5.55 cores=1,3,5,7
/proc/30436/task/30490/stat : 30490 (java) S 30433 30436 23401 0 -1 1077944384 18912 13016 0 0 523 24 5 3 20 0 15 0 474821664 11111510016 269495 33554432000 4194304 4196468 140730748241856 140423305788048 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30491] ppid=30433 vsize=10851084 memory=2016 CPUtime=5.54 cores=1,3,5,7
/proc/30436/task/30491/stat : 30491 (java) S 30433 30436 23401 0 -1 1077944384 17544 13016 0 0 522 24 5 3 20 0 15 0 474821664 11111510016 269495 33554432000 4194304 4196468 140730748241856 140423220607504 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30492] ppid=30433 vsize=10851084 memory=1416 CPUtime=5.52 cores=1,3,5,7
/proc/30436/task/30492/stat : 30492 (java) S 30433 30436 23401 0 -1 1077944384 20050 13016 0 0 516 28 5 3 20 0 15 0 474821664 11111510016 269495 33554432000 4194304 4196468 140730748241856 140423219554704 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30493] ppid=30433 vsize=10851084 memory=10728 CPUtime=5.55 cores=1,3,5,7
/proc/30436/task/30493/stat : 30493 (java) S 30433 30436 23401 0 -1 1077944384 11124 13016 0 0 525 22 5 3 20 0 15 0 474821664 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422872226064 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30494] ppid=30433 vsize=10851084 memory=3620 CPUtime=4.27 cores=1,3,5,7
/proc/30436/task/30494/stat : 30494 (java) S 30433 30436 23401 0 -1 1077944384 17305 13016 0 0 395 24 5 3 20 0 15 0 474821665 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422828133232 140423301556866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30495] ppid=30433 vsize=10851084 memory=53456 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30495/stat : 30495 (java) S 30433 30436 23401 0 -1 1077944384 19 13016 0 0 0 0 5 3 20 0 15 0 474821666 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422747776608 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30496] ppid=30433 vsize=10851084 memory=1744 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30496/stat : 30496 (java) S 30433 30436 23401 0 -1 1077944384 11 13016 0 0 0 0 5 3 20 0 15 0 474821666 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422613558656 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30497] ppid=30433 vsize=10851084 memory=924 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30497/stat : 30497 (java) S 30433 30436 23401 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 474821669 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422009579856 140423301564315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30498] ppid=30433 vsize=10851084 memory=1448 CPUtime=8.57 cores=1,3,5,7
/proc/30436/task/30498/stat : 30498 (java) S 30433 30436 23401 0 -1 1077944384 31084 13016 0 0 845 4 5 3 20 0 15 0 474821669 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422827080048 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30499] ppid=30433 vsize=10851084 memory=1748 CPUtime=8.52 cores=1,3,5,7
/proc/30436/task/30499/stat : 30499 (java) S 30433 30436 23401 0 -1 1077944384 28546 13016 0 0 841 3 5 3 20 0 15 0 474821669 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422826027248 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30500] ppid=30433 vsize=10851084 memory=111632 CPUtime=2.93 cores=1,3,5,7
/proc/30436/task/30500/stat : 30500 (java) S 30433 30436 23401 0 -1 1077944384 25396 13016 0 0 280 5 5 3 20 0 15 0 474821669 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422824974448 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30501] ppid=30433 vsize=10851084 memory=808 CPUtime=0.08 cores=1,3,5,7
/proc/30436/task/30501/stat : 30501 (java) S 30433 30436 23401 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 474821669 11111510016 269495 33554432000 4194304 4196468 140730748241856 140421539817696 140423301555925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
[pid=30436/tid=30502] ppid=30433 vsize=10851084 memory=3620 CPUtime=1.22 cores=1,3,5,7
/proc/30436/task/30502/stat : 30502 (java) S 30433 30436 23401 0 -1 1077944384 1218 13016 0 0 56 58 5 3 20 0 15 0 474821669 11111510016 269495 33554432000 4194304 4196468 140730748241856 140422823922864 140423301556866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140730748246768 140730748249285 140730748249285 140730748252111 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10851084 KiB
Current children cumulated memory: 1077980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2363.44 s]
# the end of solver process 30436 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.08 s, system=2.02557 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2363.44
CPU time (s): 2400.1
CPU user time (s): 2398.08
CPU system time (s): 2.02557
CPU usage (%): 101.551
Max. virtual memory (cumulated for all children) (KiB): 10851792
Max. memory (cumulated for all children) (KiB): 1297816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.08
system time used= 2.02557
maximum resident set size= 1299864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258814
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143240
involuntary context switches= 2751
# summary of solver processes directly reported to runsolver:
# pid: 30436
# total CPU time (s): 2400.1
# total CPU user time (s): 2398.08
# total CPU system time (s): 2.02557
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7649 second user time and 21.9743 second system time
The end