0.98/0.73 c Concrete v3.9.2.1532736233296 running
17.39/6.59 c 05:36:20.159 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19796. 'extension(x[0][10]=[0‥6], 6) :: init: true :: relation: MDD 903794242, 10 edges, 4 vertices, 12 tuples
17.39/6.59 c 05:36:20.164 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19797. 'extension(6, x[2][10]=[0‥6]) :: init: true :: relation: MDD 903794242, 10 edges, 4 vertices, 12 tuples
17.39/6.60 c 05:36:20.169 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19833. 'extension(x[0][20]=[0‥6], 6) :: init: true :: relation: MDD 263103706, 10 edges, 4 vertices, 12 tuples
17.39/6.60 c 05:36:20.170 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19834. 'extension(6, x[2][20]=[0‥6]) :: init: true :: relation: MDD 263103706, 10 edges, 4 vertices, 12 tuples
17.39/6.60 c 05:36:20.172 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19870. 'extension(x[0][21]=[0‥6], 6) :: init: true :: relation: MDD 1777519364, 10 edges, 4 vertices, 12 tuples
17.39/6.60 c 05:36:20.173 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19871. 'extension(6, x[2][21]=[0‥6]) :: init: true :: relation: MDD 1777519364, 10 edges, 4 vertices, 12 tuples
17.39/6.60 c 05:36:20.174 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19907. 'extension(x[0][28]=[0‥6], 6) :: init: true :: relation: MDD 1075593808, 10 edges, 4 vertices, 12 tuples
17.39/6.60 c 05:36:20.175 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19908. 'extension(6, x[2][28]=[0‥6]) :: init: true :: relation: MDD 1075593808, 10 edges, 4 vertices, 12 tuples
17.70/6.60 c 05:36:20.178 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19944. 'extension(x[0][38]=[0‥6], 6) :: init: true :: relation: MDD 491738374, 10 edges, 4 vertices, 12 tuples
17.70/6.61 c 05:36:20.179 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19981. 'extension(x[1][19]=[0‥6], 6) :: init: true :: relation: MDD 1107984450, 10 edges, 4 vertices, 12 tuples
17.70/6.61 c 05:36:20.180 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19982. 'extension(6, x[3][19]=[0‥6]) :: init: true :: relation: MDD 1107984450, 10 edges, 4 vertices, 12 tuples
17.70/6.61 c 05:36:20.182 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20020. 'extension(6, x[3][38]=[0‥6]) :: init: true :: relation: MDD 491738374, 10 edges, 4 vertices, 12 tuples
17.70/6.61 c 05:36:20.183 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20023. 'extension(6, 6) :: init: true :: relation: MDD 491738374, 10 edges, 4 vertices, 12 tuples
17.70/6.61 c 05:36:20.185 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20059. 'extension(x[1][45]=[0‥6], 6) :: init: true :: relation: MDD 176514124, 10 edges, 4 vertices, 12 tuples
17.70/6.61 c 05:36:20.185 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20060. 'extension(6, x[3][45]=[0‥6]) :: init: true :: relation: MDD 176514124, 10 edges, 4 vertices, 12 tuples
17.70/6.62 c 05:36:20.188 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20098. 'extension(x[2][22]=[0‥6], 6) :: init: true :: relation: MDD 1160326849, 10 edges, 4 vertices, 12 tuples
17.70/6.62 c 05:36:20.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20138. 'extension(x[2][23]=[0‥6], 6) :: init: true :: relation: MDD 450476243, 10 edges, 4 vertices, 12 tuples
17.70/6.62 c 05:36:20.191 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20178. 'extension(x[3][1]=[0‥6], 6) :: init: true :: relation: MDD 2008249643, 10 edges, 4 vertices, 12 tuples
17.70/6.62 c 05:36:20.191 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20179. 'extension(6, x[5][1]=[0‥6]) :: init: true :: relation: MDD 2008249643, 10 edges, 4 vertices, 12 tuples
17.70/6.62 c 05:36:20.193 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20219. 'extension(6, x[5][22]=[0‥6]) :: init: true :: relation: MDD 1160326849, 10 edges, 4 vertices, 12 tuples
17.70/6.62 c 05:36:20.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20222. 'extension(6, 6) :: init: true :: relation: MDD 1160326849, 10 edges, 4 vertices, 12 tuples
17.70/6.62 c 05:36:20.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20260. 'extension(6, x[5][23]=[0‥6]) :: init: true :: relation: MDD 450476243, 10 edges, 4 vertices, 12 tuples
17.70/6.62 c 05:36:20.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20263. 'extension(6, 6) :: init: true :: relation: MDD 450476243, 10 edges, 4 vertices, 12 tuples
17.70/6.63 c 05:36:20.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20301. 'extension(6, wk[4][0]=[0‥1]) :: init: true :: relation: MDD 431939256, 7 edges, 3 vertices, 6 tuples
17.70/6.63 c 05:36:20.201 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20302. 'extension(x[4][4]=[0‥6], 6) :: init: true :: relation: MDD 1319203143, 10 edges, 4 vertices, 12 tuples
17.70/6.63 c 05:36:20.201 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20303. 'extension(6, x[6][4]=[0‥6]) :: init: true :: relation: MDD 1319203143, 10 edges, 4 vertices, 12 tuples
17.70/6.63 c 05:36:20.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20344. 'extension(6, wk[37][0]=[0‥1]) :: init: true :: relation: MDD 253988431, 7 edges, 3 vertices, 6 tuples
17.70/6.63 c 05:36:20.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20345. 'extension(x[4][37]=[0‥6], 6) :: init: true :: relation: MDD 149052735, 10 edges, 4 vertices, 12 tuples
17.70/6.63 c 05:36:20.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20346. 'extension(6, x[6][37]=[0‥6]) :: init: true :: relation: MDD 149052735, 10 edges, 4 vertices, 12 tuples
17.70/6.63 c 05:36:20.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20387. 'extension(6, wk[48][0]=[0‥1]) :: init: true :: relation: MDD 1792113076, 7 edges, 3 vertices, 6 tuples
17.70/6.63 c 05:36:20.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20388. 'extension(x[4][48]=[0‥6], 6) :: init: true :: relation: MDD 849669310, 10 edges, 4 vertices, 12 tuples
17.70/6.64 c 05:36:20.208 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20431. 'extension(6, wk[42][0]=[0‥1]) :: init: true :: relation: MDD 1478171656, 7 edges, 3 vertices, 6 tuples
17.70/6.64 c 05:36:20.208 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20432. 'extension(x[5][42]=[0‥6], 6) :: init: true :: relation: MDD 1317746045, 10 edges, 4 vertices, 12 tuples
17.70/6.64 c 05:36:20.209 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20433. 'extension(6, x[7][42]=[0‥6]) :: init: true :: relation: MDD 1317746045, 10 edges, 4 vertices, 12 tuples
17.70/6.64 c 05:36:20.211 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20476. 'extension(6, wk[48][0]=[0‥1]) :: init: true :: relation: MDD 1506083063, 7 edges, 3 vertices, 6 tuples
17.70/6.64 c 05:36:20.211 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20477. 'extension(6, x[7][48]=[0‥6]) :: init: true :: relation: MDD 849669310, 10 edges, 4 vertices, 12 tuples
17.70/6.64 c 05:36:20.212 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20480. 'extension(6, 6) :: init: true :: relation: MDD 849669310, 10 edges, 4 vertices, 12 tuples
17.70/6.64 c 05:36:20.215 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20521. 'extension(x[6][31]=[0‥6], 6) :: init: true :: relation: MDD 1821867471, 10 edges, 4 vertices, 12 tuples
17.70/6.65 c 05:36:20.216 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20563. 'extension(x[7][24]=[0‥6], 6) :: init: true :: relation: MDD 841090268, 10 edges, 4 vertices, 12 tuples
17.70/6.65 c 05:36:20.217 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20564. 'extension(6, x[9][24]=[0‥6]) :: init: true :: relation: MDD 841090268, 10 edges, 4 vertices, 12 tuples
17.70/6.65 c 05:36:20.219 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20605. 'extension(x[7][27]=[0‥6], 6) :: init: true :: relation: MDD 1692915352, 10 edges, 4 vertices, 12 tuples
17.70/6.65 c 05:36:20.219 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20606. 'extension(6, x[9][27]=[0‥6]) :: init: true :: relation: MDD 1692915352, 10 edges, 4 vertices, 12 tuples
17.70/6.65 c 05:36:20.221 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20647. 'extension(6, x[9][31]=[0‥6]) :: init: true :: relation: MDD 1821867471, 10 edges, 4 vertices, 12 tuples
17.70/6.65 c 05:36:20.222 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20650. 'extension(6, 6) :: init: true :: relation: MDD 1821867471, 10 edges, 4 vertices, 12 tuples
17.70/6.65 c 05:36:20.223 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20689. 'extension(x[7][32]=[0‥6], 6) :: init: true :: relation: MDD 1648231985, 10 edges, 4 vertices, 12 tuples
17.70/6.65 c 05:36:20.224 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20731. 'extension(x[7][37]=[0‥6], 6) :: init: true :: relation: MDD 149052735, 10 edges, 4 vertices, 12 tuples
17.70/6.65 c 05:36:20.225 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20732. 'extension(6, x[9][37]=[0‥6]) :: init: true :: relation: MDD 149052735, 10 edges, 4 vertices, 12 tuples
17.70/6.65 c 05:36:20.227 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20773. 'extension(x[7][45]=[0‥6], 6) :: init: true :: relation: MDD 176514124, 10 edges, 4 vertices, 12 tuples
17.70/6.65 c 05:36:20.228 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20774. 'extension(6, x[9][45]=[0‥6]) :: init: true :: relation: MDD 176514124, 10 edges, 4 vertices, 12 tuples
17.70/6.66 c 05:36:20.230 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20817. 'extension(x[7][47]=[0‥6], 6) :: init: true :: relation: MDD 762722278, 10 edges, 4 vertices, 12 tuples
17.70/6.66 c 05:36:20.231 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20818. 'extension(6, x[9][47]=[0‥6]) :: init: true :: relation: MDD 762722278, 10 edges, 4 vertices, 12 tuples
17.70/6.66 c 05:36:20.233 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20861. 'extension(x[8][5]=[0‥6], 6) :: init: true :: relation: MDD 815648243, 10 edges, 4 vertices, 12 tuples
17.70/6.66 c 05:36:20.234 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20862. 'extension(6, x[10][5]=[0‥6]) :: init: true :: relation: MDD 815648243, 10 edges, 4 vertices, 12 tuples
17.70/6.66 c 05:36:20.235 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20903. 'extension(x[8][17]=[0‥6], 6) :: init: true :: relation: MDD 786036472, 10 edges, 4 vertices, 12 tuples
17.70/6.66 c 05:36:20.235 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20904. 'extension(6, x[10][17]=[0‥6]) :: init: true :: relation: MDD 786036472, 10 edges, 4 vertices, 12 tuples
17.70/6.66 c 05:36:20.237 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20945. 'extension(x[8][30]=[0‥6], 6) :: init: true :: relation: MDD 1381702512, 10 edges, 4 vertices, 12 tuples
17.70/6.67 c 05:36:20.237 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20946. 'extension(6, x[10][30]=[0‥6]) :: init: true :: relation: MDD 1381702512, 10 edges, 4 vertices, 12 tuples
17.70/6.67 c 05:36:20.239 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20987. 'extension(6, x[10][32]=[0‥6]) :: init: true :: relation: MDD 1648231985, 10 edges, 4 vertices, 12 tuples
17.70/6.67 c 05:36:20.240 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20990. 'extension(6, 6) :: init: true :: relation: MDD 1648231985, 10 edges, 4 vertices, 12 tuples
17.70/6.67 c 05:36:20.241 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21029. 'extension(x[8][35]=[0‥6], 6) :: init: true :: relation: MDD 573819584, 10 edges, 4 vertices, 12 tuples
17.70/6.67 c 05:36:20.242 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21071. 'extension(x[8][40]=[0‥6], 6) :: init: true :: relation: MDD 1543871080, 10 edges, 4 vertices, 12 tuples
17.70/6.67 c 05:36:20.242 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21072. 'extension(6, x[10][40]=[0‥6]) :: init: true :: relation: MDD 1543871080, 10 edges, 4 vertices, 12 tuples
17.70/6.67 c 05:36:20.245 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21115. 'extension(x[9][0]=[0‥6], 6) :: init: true :: relation: MDD 1126888535, 10 edges, 4 vertices, 12 tuples
17.70/6.67 c 05:36:20.246 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21157. 'extension(x[9][4]=[0‥6], 6) :: init: true :: relation: MDD 1319203143, 10 edges, 4 vertices, 12 tuples
17.70/6.67 c 05:36:20.246 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21158. 'extension(6, x[11][4]=[0‥6]) :: init: true :: relation: MDD 1319203143, 10 edges, 4 vertices, 12 tuples
17.70/6.68 c 05:36:20.248 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21199. 'extension(x[9][10]=[0‥6], 6) :: init: true :: relation: MDD 903794242, 10 edges, 4 vertices, 12 tuples
17.70/6.68 c 05:36:20.249 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21200. 'extension(6, x[11][10]=[0‥6]) :: init: true :: relation: MDD 903794242, 10 edges, 4 vertices, 12 tuples
17.70/6.68 c 05:36:20.251 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21241. 'extension(x[9][20]=[0‥6], 6) :: init: true :: relation: MDD 263103706, 10 edges, 4 vertices, 12 tuples
17.70/6.68 c 05:36:20.251 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21242. 'extension(6, x[11][20]=[0‥6]) :: init: true :: relation: MDD 263103706, 10 edges, 4 vertices, 12 tuples
17.70/6.68 c 05:36:20.253 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21283. 'extension(x[9][29]=[0‥6], 6) :: init: true :: relation: MDD 668754554, 10 edges, 4 vertices, 12 tuples
17.70/6.68 c 05:36:20.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21325. 'extension(6, x[11][35]=[0‥6]) :: init: true :: relation: MDD 573819584, 10 edges, 4 vertices, 12 tuples
17.70/6.68 c 05:36:20.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21328. 'extension(6, 6) :: init: true :: relation: MDD 573819584, 10 edges, 4 vertices, 12 tuples
17.70/6.68 c 05:36:20.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21367. 'extension(6, x[12][0]=[0‥6]) :: init: true :: relation: MDD 1126888535, 10 edges, 4 vertices, 12 tuples
17.70/6.68 c 05:36:20.257 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21370. 'extension(6, 6) :: init: true :: relation: MDD 1126888535, 10 edges, 4 vertices, 12 tuples
17.70/6.69 c 05:36:20.259 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21409. 'extension(6, x[12][29]=[0‥6]) :: init: true :: relation: MDD 668754554, 10 edges, 4 vertices, 12 tuples
17.70/6.69 c 05:36:20.259 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21412. 'extension(6, 6) :: init: true :: relation: MDD 668754554, 10 edges, 4 vertices, 12 tuples
17.70/6.69 c 05:36:20.261 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21451. 'extension(x[10][36]=[0‥6], 6) :: init: true :: relation: MDD 59930654, 10 edges, 4 vertices, 12 tuples
17.70/6.70 c 05:36:20.262 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21493. 'extension(6, wk[21][1]=[0‥1]) :: init: true :: relation: MDD 561227586, 7 edges, 3 vertices, 6 tuples
17.70/6.70 c 05:36:20.262 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21494. 'extension(x[11][21]=[0‥6], 6) :: init: true :: relation: MDD 1777519364, 10 edges, 4 vertices, 12 tuples
17.70/6.70 c 05:36:20.263 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21495. 'extension(6, x[13][21]=[0‥6]) :: init: true :: relation: MDD 1777519364, 10 edges, 4 vertices, 12 tuples
17.70/6.70 c 05:36:20.265 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21536. 'extension(6, wk[27][1]=[0‥1]) :: init: true :: relation: MDD 1938377818, 7 edges, 3 vertices, 6 tuples
17.70/6.70 c 05:36:20.265 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21537. 'extension(x[11][27]=[0‥6], 6) :: init: true :: relation: MDD 1692915352, 10 edges, 4 vertices, 12 tuples
17.70/6.70 c 05:36:20.265 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21538. 'extension(6, x[13][27]=[0‥6]) :: init: true :: relation: MDD 1692915352, 10 edges, 4 vertices, 12 tuples
17.70/6.70 c 05:36:20.267 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21579. 'extension(6, wk[36][1]=[0‥1]) :: init: true :: relation: MDD 956315623, 7 edges, 3 vertices, 6 tuples
17.70/6.70 c 05:36:20.268 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21580. 'extension(6, x[13][36]=[0‥6]) :: init: true :: relation: MDD 59930654, 10 edges, 4 vertices, 12 tuples
17.70/6.70 c 05:36:20.268 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21583. 'extension(6, 6) :: init: true :: relation: MDD 59930654, 10 edges, 4 vertices, 12 tuples
17.70/6.70 c 05:36:20.270 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21622. 'extension(6, wk[46][1]=[0‥1]) :: init: true :: relation: MDD 1379066865, 7 edges, 3 vertices, 6 tuples
17.70/6.70 c 05:36:20.270 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21623. 'extension(x[11][46]=[0‥6], 6) :: init: true :: relation: MDD 1210486508, 10 edges, 4 vertices, 12 tuples
18.03/6.70 c 05:36:20.272 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21667. 'extension(6, wk[1][1]=[0‥1]) :: init: true :: relation: MDD 1556841942, 7 edges, 3 vertices, 6 tuples
18.03/6.70 c 05:36:20.272 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21668. 'extension(x[12][1]=[0‥6], 6) :: init: true :: relation: MDD 2008249643, 10 edges, 4 vertices, 12 tuples
18.03/6.70 c 05:36:20.273 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21669. 'extension(6, x[14][1]=[0‥6]) :: init: true :: relation: MDD 2008249643, 10 edges, 4 vertices, 12 tuples
18.03/6.70 c 05:36:20.275 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21710. 'extension(6, wk[2][1]=[0‥1]) :: init: true :: relation: MDD 716996660, 7 edges, 3 vertices, 6 tuples
18.03/6.70 c 05:36:20.275 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21711. 'extension(x[12][2]=[0‥6], 6) :: init: true :: relation: MDD 1497992596, 10 edges, 4 vertices, 12 tuples
18.03/6.70 c 05:36:20.276 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21753. 'extension(6, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 1183745381, 7 edges, 3 vertices, 6 tuples
18.03/6.70 c 05:36:20.276 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21754. 'extension(x[12][5]=[0‥6], 6) :: init: true :: relation: MDD 815648243, 10 edges, 4 vertices, 12 tuples
18.03/6.70 c 05:36:20.277 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21755. 'extension(6, x[14][5]=[0‥6]) :: init: true :: relation: MDD 815648243, 10 edges, 4 vertices, 12 tuples
18.03/6.71 c 05:36:20.279 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21796. 'extension(6, wk[12][1]=[0‥1]) :: init: true :: relation: MDD 536994956, 7 edges, 3 vertices, 6 tuples
18.03/6.71 c 05:36:20.279 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21797. 'extension(x[12][12]=[0‥6], 6) :: init: true :: relation: MDD 1707458318, 10 edges, 4 vertices, 12 tuples
18.03/6.71 c 05:36:20.280 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21839. 'extension(6, wk[43][1]=[0‥1]) :: init: true :: relation: MDD 1501790806, 7 edges, 3 vertices, 6 tuples
18.03/6.71 c 05:36:20.280 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21840. 'extension(x[12][43]=[0‥6], 6) :: init: true :: relation: MDD 2101493838, 10 edges, 4 vertices, 12 tuples
18.03/6.71 c 05:36:20.281 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21841. 'extension(6, x[14][43]=[0‥6]) :: init: true :: relation: MDD 2101493838, 10 edges, 4 vertices, 12 tuples
18.03/6.71 c 05:36:20.282 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21884. 'extension(6, wk[46][1]=[0‥1]) :: init: true :: relation: MDD 33847681, 7 edges, 3 vertices, 6 tuples
18.03/6.71 c 05:36:20.282 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21885. 'extension(6, x[14][46]=[0‥6]) :: init: true :: relation: MDD 1210486508, 10 edges, 4 vertices, 12 tuples
18.03/6.71 c 05:36:20.283 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21888. 'extension(6, 6) :: init: true :: relation: MDD 1210486508, 10 edges, 4 vertices, 12 tuples
18.03/6.71 c 05:36:20.285 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21929. 'extension(6, x[15][2]=[0‥6]) :: init: true :: relation: MDD 1497992596, 10 edges, 4 vertices, 12 tuples
18.03/6.71 c 05:36:20.286 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21932. 'extension(6, 6) :: init: true :: relation: MDD 1497992596, 10 edges, 4 vertices, 12 tuples
18.03/6.71 c 05:36:20.287 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21971. 'extension(x[13][3]=[0‥6], 6) :: init: true :: relation: MDD 1756435781, 10 edges, 4 vertices, 12 tuples
18.03/6.71 c 05:36:20.288 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22013. 'extension(x[13][6]=[0‥6], 6) :: init: true :: relation: MDD 452236638, 10 edges, 4 vertices, 12 tuples
18.03/6.72 c 05:36:20.288 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22055. 'extension(6, x[15][12]=[0‥6]) :: init: true :: relation: MDD 1707458318, 10 edges, 4 vertices, 12 tuples
18.03/6.72 c 05:36:20.289 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22058. 'extension(6, 6) :: init: true :: relation: MDD 1707458318, 10 edges, 4 vertices, 12 tuples
18.03/6.72 c 05:36:20.290 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22097. 'extension(x[13][34]=[0‥6], 6) :: init: true :: relation: MDD 1167066016, 10 edges, 4 vertices, 12 tuples
18.03/6.72 c 05:36:20.290 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22098. 'extension(6, x[15][34]=[0‥6]) :: init: true :: relation: MDD 1167066016, 10 edges, 4 vertices, 12 tuples
18.03/6.72 c 05:36:20.292 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22139. 'extension(x[13][41]=[0‥6], 6) :: init: true :: relation: MDD 796520850, 10 edges, 4 vertices, 12 tuples
18.03/6.72 c 05:36:20.293 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22183. 'extension(6, x[16][3]=[0‥6]) :: init: true :: relation: MDD 1756435781, 10 edges, 4 vertices, 12 tuples
18.03/6.72 c 05:36:20.293 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22186. 'extension(6, 6) :: init: true :: relation: MDD 1756435781, 10 edges, 4 vertices, 12 tuples
18.03/6.72 c 05:36:20.295 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22225. 'extension(6, x[16][6]=[0‥6]) :: init: true :: relation: MDD 452236638, 10 edges, 4 vertices, 12 tuples
18.03/6.72 c 05:36:20.295 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22228. 'extension(6, 6) :: init: true :: relation: MDD 452236638, 10 edges, 4 vertices, 12 tuples
18.03/6.72 c 05:36:20.297 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22267. 'extension(x[14][18]=[0‥6], 6) :: init: true :: relation: MDD 2040609056, 10 edges, 4 vertices, 12 tuples
18.03/6.72 c 05:36:20.297 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22309. 'extension(6, x[16][41]=[0‥6]) :: init: true :: relation: MDD 796520850, 10 edges, 4 vertices, 12 tuples
18.03/6.73 c 05:36:20.298 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22312. 'extension(6, 6) :: init: true :: relation: MDD 796520850, 10 edges, 4 vertices, 12 tuples
18.03/6.73 c 05:36:20.299 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22353. 'extension(x[14][42]=[0‥6], 6) :: init: true :: relation: MDD 1317746045, 10 edges, 4 vertices, 12 tuples
18.03/6.73 c 05:36:20.300 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22354. 'extension(6, x[16][42]=[0‥6]) :: init: true :: relation: MDD 1317746045, 10 edges, 4 vertices, 12 tuples
18.03/6.73 c 05:36:20.302 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22397. 'extension(x[15][14]=[0‥6], 6) :: init: true :: relation: MDD 1716421772, 10 edges, 4 vertices, 12 tuples
18.03/6.73 c 05:36:20.302 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22398. 'extension(6, x[17][14]=[0‥6]) :: init: true :: relation: MDD 1716421772, 10 edges, 4 vertices, 12 tuples
18.03/6.73 c 05:36:20.304 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22439. 'extension(x[15][15]=[0‥6], 6) :: init: true :: relation: MDD 1328028335, 10 edges, 4 vertices, 12 tuples
18.03/6.73 c 05:36:20.304 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22481. 'extension(x[15][17]=[0‥6], 6) :: init: true :: relation: MDD 786036472, 10 edges, 4 vertices, 12 tuples
18.03/6.73 c 05:36:20.305 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22482. 'extension(6, x[17][17]=[0‥6]) :: init: true :: relation: MDD 786036472, 10 edges, 4 vertices, 12 tuples
18.03/6.74 c 05:36:20.307 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22523. 'extension(6, x[17][18]=[0‥6]) :: init: true :: relation: MDD 2040609056, 10 edges, 4 vertices, 12 tuples
18.03/6.74 c 05:36:20.307 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22526. 'extension(6, 6) :: init: true :: relation: MDD 2040609056, 10 edges, 4 vertices, 12 tuples
18.03/6.74 c 05:36:20.309 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22565. 'extension(x[15][47]=[0‥6], 6) :: init: true :: relation: MDD 762722278, 10 edges, 4 vertices, 12 tuples
18.03/6.74 c 05:36:20.309 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22566. 'extension(6, x[17][47]=[0‥6]) :: init: true :: relation: MDD 762722278, 10 edges, 4 vertices, 12 tuples
18.03/6.74 c 05:36:20.315 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22609. 'extension(x[16][9]=[0‥6], 6) :: init: true :: relation: MDD 1629173206, 10 edges, 4 vertices, 12 tuples
18.03/6.74 c 05:36:20.316 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22651. 'extension(6, x[18][15]=[0‥6]) :: init: true :: relation: MDD 1328028335, 10 edges, 4 vertices, 12 tuples
18.03/6.74 c 05:36:20.316 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22654. 'extension(6, 6) :: init: true :: relation: MDD 1328028335, 10 edges, 4 vertices, 12 tuples
18.03/6.75 c 05:36:20.318 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22693. 'extension(x[16][16]=[0‥6], 6) :: init: true :: relation: MDD 733224796, 10 edges, 4 vertices, 12 tuples
18.03/6.75 c 05:36:20.319 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22735. 'extension(6, x[19][9]=[0‥6]) :: init: true :: relation: MDD 1629173206, 10 edges, 4 vertices, 12 tuples
18.03/6.75 c 05:36:20.319 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22738. 'extension(6, 6) :: init: true :: relation: MDD 1629173206, 10 edges, 4 vertices, 12 tuples
18.03/6.75 c 05:36:20.321 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22777. 'extension(6, x[19][16]=[0‥6]) :: init: true :: relation: MDD 733224796, 10 edges, 4 vertices, 12 tuples
18.03/6.75 c 05:36:20.321 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22780. 'extension(6, 6) :: init: true :: relation: MDD 733224796, 10 edges, 4 vertices, 12 tuples
18.03/6.75 c 05:36:20.322 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22819. 'extension(x[17][25]=[0‥6], 6) :: init: true :: relation: MDD 2005537360, 10 edges, 4 vertices, 12 tuples
18.03/6.75 c 05:36:20.323 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22861. 'extension(x[17][40]=[0‥6], 6) :: init: true :: relation: MDD 1543871080, 10 edges, 4 vertices, 12 tuples
18.03/6.75 c 05:36:20.323 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22862. 'extension(6, x[19][40]=[0‥6]) :: init: true :: relation: MDD 1543871080, 10 edges, 4 vertices, 12 tuples
18.03/6.75 c 05:36:20.326 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22905. 'extension(6, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 1302459274, 7 edges, 3 vertices, 6 tuples
18.03/6.75 c 05:36:20.326 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22906. 'extension(x[18][11]=[0‥6], 6) :: init: true :: relation: MDD 60945057, 10 edges, 4 vertices, 12 tuples
18.03/6.75 c 05:36:20.327 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22948. 'extension(6, wk[25][2]=[0‥1]) :: init: true :: relation: MDD 2040008077, 7 edges, 3 vertices, 6 tuples
18.03/6.75 c 05:36:20.327 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22949. 'extension(6, x[20][25]=[0‥6]) :: init: true :: relation: MDD 2005537360, 10 edges, 4 vertices, 12 tuples
18.03/6.75 c 05:36:20.327 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22952. 'extension(6, 6) :: init: true :: relation: MDD 2005537360, 10 edges, 4 vertices, 12 tuples
18.03/6.76 c 05:36:20.329 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22991. 'extension(6, wk[43][2]=[0‥1]) :: init: true :: relation: MDD 372245, 7 edges, 3 vertices, 6 tuples
18.03/6.76 c 05:36:20.329 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22992. 'extension(x[18][43]=[0‥6], 6) :: init: true :: relation: MDD 2101493838, 10 edges, 4 vertices, 12 tuples
18.03/6.76 c 05:36:20.329 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22993. 'extension(6, x[20][43]=[0‥6]) :: init: true :: relation: MDD 2101493838, 10 edges, 4 vertices, 12 tuples
18.03/6.76 c 05:36:20.332 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23036. 'extension(6, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 1303238288, 7 edges, 3 vertices, 6 tuples
18.03/6.76 c 05:36:20.332 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23037. 'extension(6, x[21][11]=[0‥6]) :: init: true :: relation: MDD 60945057, 10 edges, 4 vertices, 12 tuples
18.03/6.76 c 05:36:20.332 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23040. 'extension(6, 6) :: init: true :: relation: MDD 60945057, 10 edges, 4 vertices, 12 tuples
18.03/6.76 c 05:36:20.334 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23079. 'extension(6, wk[44][2]=[0‥1]) :: init: true :: relation: MDD 1594500664, 7 edges, 3 vertices, 6 tuples
18.03/6.76 c 05:36:20.334 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23080. 'extension(x[19][44]=[0‥6], 6) :: init: true :: relation: MDD 37754966, 10 edges, 4 vertices, 12 tuples
18.03/6.76 c 05:36:20.334 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23081. 'extension(6, x[21][44]=[0‥6]) :: init: true :: relation: MDD 37754966, 10 edges, 4 vertices, 12 tuples
18.03/6.76 c 05:36:20.336 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23124. 'extension(x[20][13]=[0‥6], 6) :: init: true :: relation: MDD 1593749783, 10 edges, 4 vertices, 12 tuples
18.03/6.76 c 05:36:20.337 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23166. 'extension(x[21][8]=[0‥6], 6) :: init: true :: relation: MDD 1086350168, 10 edges, 4 vertices, 12 tuples
18.03/6.76 c 05:36:20.338 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23208. 'extension(6, x[23][13]=[0‥6]) :: init: true :: relation: MDD 1593749783, 10 edges, 4 vertices, 12 tuples
18.03/6.77 c 05:36:20.338 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23211. 'extension(6, 6) :: init: true :: relation: MDD 1593749783, 10 edges, 4 vertices, 12 tuples
18.03/6.77 c 05:36:20.339 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23250. 'extension(x[21][49]=[0‥6], 6) :: init: true :: relation: MDD 725931728, 10 edges, 4 vertices, 12 tuples
18.03/6.77 c 05:36:20.340 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23293. 'extension(6, x[24][8]=[0‥6]) :: init: true :: relation: MDD 1086350168, 10 edges, 4 vertices, 12 tuples
18.03/6.77 c 05:36:20.341 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23296. 'extension(6, 6) :: init: true :: relation: MDD 1086350168, 10 edges, 4 vertices, 12 tuples
18.03/6.77 c 05:36:20.342 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23334. 'extension(x[22][19]=[0‥6], 6) :: init: true :: relation: MDD 1107984450, 10 edges, 4 vertices, 12 tuples
18.03/6.77 c 05:36:20.343 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23335. 'extension(6, x[24][19]=[0‥6]) :: init: true :: relation: MDD 1107984450, 10 edges, 4 vertices, 12 tuples
18.03/6.77 c 05:36:20.344 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23375. 'extension(6, x[24][49]=[0‥6]) :: init: true :: relation: MDD 725931728, 10 edges, 4 vertices, 12 tuples
18.03/6.77 c 05:36:20.345 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23378. 'extension(6, 6) :: init: true :: relation: MDD 725931728, 10 edges, 4 vertices, 12 tuples
18.03/6.77 c 05:36:20.347 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23417. 'extension(x[23][14]=[0‥6], 6) :: init: true :: relation: MDD 1716421772, 10 edges, 4 vertices, 12 tuples
18.03/6.77 c 05:36:20.347 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23418. 'extension(6, x[25][14]=[0‥6]) :: init: true :: relation: MDD 1716421772, 10 edges, 4 vertices, 12 tuples
18.03/6.78 c 05:36:20.348 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23457. 'extension(x[23][28]=[0‥6], 6) :: init: true :: relation: MDD 1075593808, 10 edges, 4 vertices, 12 tuples
18.03/6.78 c 05:36:20.349 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23458. 'extension(6, x[25][28]=[0‥6]) :: init: true :: relation: MDD 1075593808, 10 edges, 4 vertices, 12 tuples
18.03/6.78 c 05:36:20.350 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23497. 'extension(x[23][34]=[0‥6], 6) :: init: true :: relation: MDD 1167066016, 10 edges, 4 vertices, 12 tuples
18.03/6.78 c 05:36:20.350 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23498. 'extension(6, x[25][34]=[0‥6]) :: init: true :: relation: MDD 1167066016, 10 edges, 4 vertices, 12 tuples
18.03/6.78 c 05:36:20.352 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23537. 'extension(x[24][24]=[0‥6], 6) :: init: true :: relation: MDD 841090268, 10 edges, 4 vertices, 12 tuples
18.03/6.78 c 05:36:20.353 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23538. 'extension(6, x[26][24]=[0‥6]) :: init: true :: relation: MDD 841090268, 10 edges, 4 vertices, 12 tuples
18.03/6.78 c 05:36:20.354 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23576. 'extension(x[24][26]=[0‥6], 6) :: init: true :: relation: MDD 1484994456, 10 edges, 4 vertices, 12 tuples
18.03/6.78 c 05:36:20.355 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23615. 'extension(x[24][33]=[0‥6], 6) :: init: true :: relation: MDD 911201454, 10 edges, 4 vertices, 12 tuples
18.03/6.78 c 05:36:20.355 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23654. 'extension(x[24][39]=[0‥6], 6) :: init: true :: relation: MDD 1845654045, 10 edges, 4 vertices, 12 tuples
18.03/6.78 c 05:36:20.356 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23693. 'extension(6, wk[7][3]=[0‥1]) :: init: true :: relation: MDD 2138849804, 7 edges, 3 vertices, 6 tuples
18.03/6.78 c 05:36:20.357 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23694. 'extension(x[25][7]=[0‥6], 6) :: init: true :: relation: MDD 902982354, 10 edges, 4 vertices, 12 tuples
18.03/6.78 c 05:36:20.357 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23731. 'extension(6, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 1607278346, 7 edges, 3 vertices, 6 tuples
18.03/6.79 c 05:36:20.357 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23732. 'extension(6, x[27][26]=[0‥6]) :: init: true :: relation: MDD 1484994456, 10 edges, 4 vertices, 12 tuples
18.03/6.79 c 05:36:20.358 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23734. 'extension(6, 6) :: init: true :: relation: MDD 1484994456, 10 edges, 4 vertices, 12 tuples
18.03/6.79 c 05:36:20.359 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23769. 'extension(6, wk[33][3]=[0‥1]) :: init: true :: relation: MDD 1742798650, 7 edges, 3 vertices, 6 tuples
18.03/6.79 c 05:36:20.359 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23770. 'extension(6, x[27][33]=[0‥6]) :: init: true :: relation: MDD 911201454, 10 edges, 4 vertices, 12 tuples
18.03/6.79 c 05:36:20.359 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23772. 'extension(6, 6) :: init: true :: relation: MDD 911201454, 10 edges, 4 vertices, 12 tuples
18.03/6.79 c 05:36:20.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23807. 'extension(6, wk[39][3]=[0‥1]) :: init: true :: relation: MDD 1810273055, 7 edges, 3 vertices, 6 tuples
18.03/6.79 c 05:36:20.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23808. 'extension(6, x[27][39]=[0‥6]) :: init: true :: relation: MDD 1845654045, 10 edges, 4 vertices, 12 tuples
18.03/6.79 c 05:36:20.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23810. 'extension(6, 6) :: init: true :: relation: MDD 1845654045, 10 edges, 4 vertices, 12 tuples
18.03/6.79 c 05:36:20.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23845. 'extension(6, wk[44][3]=[0‥1]) :: init: true :: relation: MDD 2009810220, 7 edges, 3 vertices, 6 tuples
18.03/6.79 c 05:36:20.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23846. 'extension(x[25][44]=[0‥6], 6) :: init: true :: relation: MDD 37754966, 10 edges, 4 vertices, 12 tuples
18.03/6.79 c 05:36:20.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23847. 'extension(6, x[27][44]=[0‥6]) :: init: true :: relation: MDD 37754966, 10 edges, 4 vertices, 12 tuples
18.03/6.79 c 05:36:20.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23883. 'extension(6, wk[7][3]=[0‥1]) :: init: true :: relation: MDD 1137401656, 7 edges, 3 vertices, 6 tuples
18.03/6.79 c 05:36:20.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23884. 'extension(6, 6) :: init: true :: relation: MDD 902982354, 10 edges, 4 vertices, 12 tuples
18.03/6.79 c 05:36:20.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23885. 'extension(6, 6) :: init: true :: relation: MDD 1582358318, 7 edges, 3 vertices, 6 tuples
18.03/6.79 c 05:36:20.366 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23917. 'extension(6, wk[30][3]=[0‥1]) :: init: true :: relation: MDD 1006297128, 7 edges, 3 vertices, 6 tuples
18.03/6.79 c 05:36:20.366 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23918. 'extension(x[26][30]=[0‥6], 6) :: init: true :: relation: MDD 1381702512, 10 edges, 4 vertices, 12 tuples
18.03/6.79 c 05:36:20.366 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23919. 'extension(6, x[26][30]=[0‥6]) :: init: true :: relation: MDD 311765759, 7 edges, 3 vertices, 6 tuples
18.35/6.81 c 05:36:20.380 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24052. 'extension(x[0][10]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.381 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24054. 'extension(x[2][10]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.381 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24066. 'extension(x[0][20]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.381 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24068. 'extension(x[2][20]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.382 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24080. 'extension(x[0][21]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.382 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24082. 'extension(x[2][21]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.383 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24094. 'extension(x[0][28]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.383 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24096. 'extension(x[2][28]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.383 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24108. 'extension(x[0][38]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.384 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24112. 'extension(x[1][19]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.384 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24114. 'extension(x[3][19]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.384 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24128. 'extension(x[3][38]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.385 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24142. 'extension(x[1][45]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.385 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24144. 'extension(x[3][45]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.386 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24158. 'extension(x[2][22]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.386 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24164. 'extension(x[2][23]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.387 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24170. 'extension(x[3][1]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.387 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24172. 'extension(x[5][1]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.81 c 05:36:20.387 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24186. 'extension(x[5][22]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.388 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24200. 'extension(x[5][23]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.389 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24214. 'extension(wk[4][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.389 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24216. 'extension(x[4][4]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.389 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24218. 'extension(x[6][4]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.390 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24232. 'extension(wk[37][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.390 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24234. 'extension(x[4][37]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.390 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24236. 'extension(x[6][37]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24250. 'extension(wk[48][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24252. 'extension(x[4][48]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24258. 'extension(wk[42][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24260. 'extension(x[5][42]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24262. 'extension(x[7][42]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.392 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24278. 'extension(wk[48][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.392 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24280. 'extension(x[7][48]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.393 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24296. 'extension(x[6][31]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.393 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24302. 'extension(x[7][24]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.394 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24304. 'extension(x[9][24]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.394 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24318. 'extension(x[7][27]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.394 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24320. 'extension(x[9][27]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.395 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24334. 'extension(x[9][31]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.396 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24348. 'extension(x[7][32]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.396 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24354. 'extension(x[7][37]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.396 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24356. 'extension(x[9][37]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.397 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24370. 'extension(x[7][45]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.397 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24372. 'extension(x[9][45]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.82 c 05:36:20.398 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24388. 'extension(x[7][47]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.398 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24390. 'extension(x[9][47]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.399 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24406. 'extension(x[8][5]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.399 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24408. 'extension(x[10][5]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.399 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24422. 'extension(x[8][17]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.399 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24424. 'extension(x[10][17]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.400 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24438. 'extension(x[8][30]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.400 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24440. 'extension(x[10][30]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24454. 'extension(x[10][32]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24468. 'extension(x[8][35]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.402 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24474. 'extension(x[8][40]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.402 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24476. 'extension(x[10][40]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.403 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24492. 'extension(x[9][0]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.403 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24498. 'extension(x[9][4]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.403 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24500. 'extension(x[11][4]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.404 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24514. 'extension(x[9][10]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.404 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24516. 'extension(x[11][10]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.405 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24530. 'extension(x[9][20]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.405 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24532. 'extension(x[11][20]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.405 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24546. 'extension(x[9][29]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.406 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24552. 'extension(x[11][35]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.406 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24566. 'extension(x[12][0]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24580. 'extension(x[12][29]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24594. 'extension(x[10][36]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.83 c 05:36:20.408 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24600. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.408 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24602. 'extension(x[11][21]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.408 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24604. 'extension(x[13][21]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24618. 'extension(wk[27][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24620. 'extension(x[11][27]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24622. 'extension(x[13][27]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.410 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24636. 'extension(wk[36][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.410 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24638. 'extension(x[13][36]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.410 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24652. 'extension(wk[46][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.410 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24654. 'extension(x[11][46]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24660. 'extension(wk[1][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24662. 'extension(x[12][1]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24664. 'extension(x[14][1]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.412 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24678. 'extension(wk[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.412 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24680. 'extension(x[12][2]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.412 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24686. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.412 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24688. 'extension(x[12][5]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.412 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24690. 'extension(x[14][5]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.413 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24704. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.413 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24706. 'extension(x[12][12]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.414 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24712. 'extension(wk[43][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.414 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24714. 'extension(x[12][43]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.414 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24716. 'extension(x[14][43]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.415 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24732. 'extension(wk[46][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.415 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24734. 'extension(x[14][46]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.415 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24750. 'extension(x[15][2]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.416 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24764. 'extension(x[13][3]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.416 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24770. 'extension(x[13][6]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.417 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24776. 'extension(x[15][12]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.417 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24790. 'extension(x[13][34]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.84 c 05:36:20.417 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24792. 'extension(x[15][34]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.418 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24806. 'extension(x[13][41]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.418 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24812. 'extension(x[16][3]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.419 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24826. 'extension(x[16][6]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.419 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24840. 'extension(x[14][18]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.420 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24846. 'extension(x[16][41]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.420 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24862. 'extension(x[14][42]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.420 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24864. 'extension(x[16][42]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.421 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24880. 'extension(x[15][14]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.421 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24882. 'extension(x[17][14]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24896. 'extension(x[15][15]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24902. 'extension(x[15][17]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24904. 'extension(x[17][17]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.423 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24918. 'extension(x[17][18]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24932. 'extension(x[15][47]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24934. 'extension(x[17][47]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24950. 'extension(x[16][9]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24956. 'extension(x[18][15]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24970. 'extension(x[16][16]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.426 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24976. 'extension(x[19][9]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.426 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24990. 'extension(x[19][16]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25004. 'extension(x[17][25]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25010. 'extension(x[17][40]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.85 c 05:36:20.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25012. 'extension(x[19][40]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25028. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25030. 'extension(x[18][11]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25036. 'extension(wk[25][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25038. 'extension(x[20][25]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25052. 'extension(wk[43][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25054. 'extension(x[18][43]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.430 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25056. 'extension(x[20][43]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.430 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25072. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.430 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25074. 'extension(x[21][11]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.431 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25088. 'extension(wk[44][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.431 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25090. 'extension(x[19][44]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.431 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25092. 'extension(x[21][44]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25108. 'extension(x[20][13]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25114. 'extension(x[21][8]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25120. 'extension(x[23][13]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25134. 'extension(x[21][49]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25140. 'extension(x[24][8]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.434 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25154. 'extension(x[22][19]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.434 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25156. 'extension(x[24][19]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25170. 'extension(x[24][49]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25186. 'extension(x[23][14]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25188. 'extension(x[25][14]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25202. 'extension(x[23][28]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25204. 'extension(x[25][28]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.437 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25218. 'extension(x[23][34]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.437 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25220. 'extension(x[25][34]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25234. 'extension(x[24][24]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.86 c 05:36:20.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25236. 'extension(x[26][24]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25250. 'extension(x[24][26]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25256. 'extension(x[24][33]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25262. 'extension(x[24][39]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25268. 'extension(wk[7][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25270. 'extension(x[25][7]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25276. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25278. 'extension(x[27][26]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25290. 'extension(wk[33][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25292. 'extension(x[27][33]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25304. 'extension(wk[39][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25306. 'extension(x[27][39]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25318. 'extension(wk[44][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25320. 'extension(x[25][44]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25322. 'extension(x[27][44]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25334. 'extension(wk[7][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25340. 'extension(wk[30][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25342. 'extension(x[26][30]=[0‥6]) :: init: true :: relation: Empty MDD
18.35/6.87 c 05:36:20.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25344. 'extension(x[26][30]=[0‥6]) :: init: true :: relation: Empty MDD
2520.07/2450.02 Exception in thread "main" java.util.concurrent.TimeoutException
2520.07/2450.02 at concrete.MAC.mac(MAC.scala:188)
2520.07/2450.02 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.07/2450.02 at scala.util.Try$.apply(Try.scala:209)
2520.07/2450.02 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2450.02 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2450.02 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2450.02 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2450.02 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.07/2450.02 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2450.02 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2450.02 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2450.02 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2450.02 at concrete.MAC.oneRun(MAC.scala:253)
2520.07/2450.02 at concrete.MAC.nextSolution(MAC.scala:272)
2520.07/2450.02 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.07/2450.02 at concrete.ProblemState.map(ProblemState.scala:221)
2520.07/2450.02 at concrete.ProblemState.map(ProblemState.scala:204)
2520.07/2450.02 at concrete.MAC.nextSolution(MAC.scala:334)
2520.07/2450.02 at concrete.Solver.hasNext(Solver.scala:166)
2520.07/2450.02 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.07/2450.02 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.07/2450.02 at concrete.Solver.foreach(Solver.scala:68)
2520.07/2450.02 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.07/2450.02 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2450.02 at scala.util.Success.map(Try.scala:209)
2520.07/2450.02 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2450.02 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.07/2450.02 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.07/2450.02 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2450.02 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.07/2450.02 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2450.02 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2450.02 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2450.02 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2450.02 at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2450.02 at scala.App.main(App.scala:76)
2520.07/2450.02 at scala.App.main$(App.scala:74)
2520.07/2450.02 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.07/2450.02 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2450.09 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 (4322 MiB free)
memory of node 1: 16384 MiB (3060 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304181-1534044973/watcher-4304181-1534044973 -o /tmp/evaluation-result-4304181-1534044973/solver-4304181-1534044973 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534037558-11010 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=914997077 HOME/instance-4304181-1534044973.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12471, runsolver pid=12468
[startup+0.100059 s]*
/proc/loadavg: 2.13 1.73 1.63 7/211 12528
/proc/meminfo: memFree=7525524/32770624 swapFree=67108856/67108860
[pid=12471] ppid=12468 vsize=10005480 memory=18860 CPUtime=0.09 cores=1,3,5,7
/proc/12471/stat : 12471 (java) S 12468 12471 9992 0 -1 1077944320 4376 12990 0 0 1 1 5 2 20 0 6 0 222060458 10245611520 4715 33554432000 4194304 4196468 140725346854544 140725346837088 140530248744695 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
/proc/12471/statm: 2501370 4715 1934 1 0 2489808 0
[pid=12471/tid=12524] ppid=12468 vsize=10005480 memory=4279135703913235855 CPUtime=0.08 cores=1,3,5,7
/proc/12471/task/12524/stat : 12524 (java) R 12468 12471 9992 0 -1 4202560 2195 12990 0 0 1 0 5 2 20 0 6 0 222060467 10245611520 4780 33554432000 4194304 4196468 140725346854544 140530220581456 140530234056697 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12525] ppid=12468 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12525/stat : 12525 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 6 0 222060468 10245611520 4780 33554432000 4194304 4196468 140725346854544 140530252986640 140530248754901 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12526] ppid=12468 vsize=10005480 memory=140084727621248 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12526/stat : 12526 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 6 0 222060468 10245611520 4780 33554432000 4194304 4196468 140725346854544 140530123635088 140530248754901 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12527] ppid=12468 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12527/stat : 12527 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 6 0 222060468 10245611520 4780 33554432000 4194304 4196468 140725346854544 140529787263504 140530248754901 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12528] ppid=12468 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12528/stat : 12528 (java) S 12468 12471 9992 0 -1 1077944384 2 12990 0 0 0 0 5 2 20 0 6 0 222060468 10245611520 4780 33554432000 4194304 4196468 140725346854544 140529786210960 140530248754901 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18860 KiB
[startup+0.210119 s]*
/proc/loadavg: 2.13 1.73 1.63 7/220 12537
/proc/meminfo: memFree=7494084/32770624 swapFree=67108856/67108860
[pid=12471] ppid=12468 vsize=10985364 memory=48048 CPUtime=0.26 cores=1,3,5,7
/proc/12471/stat : 12471 (java) S 12468 12471 9992 0 -1 1077944320 8540 12990 0 0 17 2 5 2 20 0 15 0 222060458 11249012736 12012 33554432000 4194304 4196468 140725346854544 140725346837088 140530248744695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
/proc/12471/statm: 2745934 12012 2978 1 0 2708357 0
[pid=12471/tid=12524] ppid=12468 vsize=10982776 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/12471/task/12524/stat : 12524 (java) R 12468 12471 9992 0 -1 4202560 5097 12990 0 0 11 0 5 2 20 0 15 0 222060467 11246362624 11764 33554432000 4194304 4196468 140725346854544 140530220569504 140530241424413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12525] ppid=12468 vsize=10982776 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12525/stat : 12525 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060468 11246362624 11764 33554432000 4194304 4196468 140725346854544 140530252986640 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12526] ppid=12468 vsize=10982776 memory=140084727621248 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12526/stat : 12526 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060468 11246362624 11764 33554432000 4194304 4196468 140725346854544 140530123635088 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12527] ppid=12468 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12527/stat : 12527 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060468 11246362624 11829 33554432000 4194304 4196468 140725346854544 140529787263504 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12528] ppid=12468 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12528/stat : 12528 (java) S 12468 12471 9992 0 -1 1077944384 2 12990 0 0 0 0 5 2 20 0 15 0 222060468 11246362624 11829 33554432000 4194304 4196468 140725346854544 140529786210960 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12529] ppid=12468 vsize=10982776 memory=140084727621248 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12529/stat : 12529 (java) S 12468 12471 9992 0 -1 1077944384 2 12990 0 0 0 0 5 2 20 0 15 0 222060469 11246362624 11829 33554432000 4194304 4196468 140725346854544 140529741769200 140530248755842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12530] ppid=12468 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12530/stat : 12530 (java) S 12468 12471 9992 0 -1 1077944384 13 12990 0 0 0 0 5 2 20 0 15 0 222060470 11246362624 11895 33554432000 4194304 4196468 140725346854544 140529048216992 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12531] ppid=12468 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12531/stat : 12531 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060470 11246362624 11895 33554432000 4194304 4196468 140725346854544 140528846890480 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12532] ppid=12468 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12532/stat : 12532 (java) S 12468 12471 9992 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 222060473 11246362624 11895 33554432000 4194304 4196468 140725346854544 140528539491024 140530248763291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12533] ppid=12468 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12471/task/12533/stat : 12533 (java) S 12468 12471 9992 0 -1 1077944384 541 12990 0 0 1 0 5 2 20 0 15 0 222060473 11246362624 11961 33554432000 4194304 4196468 140725346854544 140529740716016 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12534] ppid=12468 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12534/stat : 12534 (java) S 12468 12471 9992 0 -1 1077944384 73 12990 0 0 0 0 5 2 20 0 15 0 222060473 11246362624 11961 33554432000 4194304 4196468 140725346854544 140529739663472 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12535] ppid=12468 vsize=10982776 memory=140084727621248 CPUtime=0.1 cores=1,3,5,7
/proc/12471/task/12535/stat : 12535 (java) S 12468 12471 9992 0 -1 1077944384 623 12990 0 0 3 0 5 2 20 0 15 0 222060473 11246362624 11961 33554432000 4194304 4196468 140725346854544 140529738610928 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12536] ppid=12468 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12536/stat : 12536 (java) S 12468 12471 9992 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 222060473 11246362624 12027 33554432000 4194304 4196468 140725346854544 140528108694112 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12537] ppid=12468 vsize=10982776 memory=140084727621248 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12537/stat : 12537 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060473 11246362624 12027 33554432000 4194304 4196468 140725346854544 140529737558832 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 48048 KiB
[startup+0.310554 s]*
/proc/loadavg: 2.13 1.73 1.63 5/220 12537
/proc/meminfo: memFree=7477836/32770624 swapFree=67108856/67108860
[pid=12471] ppid=12468 vsize=10983192 memory=57520 CPUtime=0.38 cores=1,3,5,7
/proc/12471/stat : 12471 (java) S 12468 12471 9992 0 -1 1077944320 10420 12990 0 0 29 2 5 2 20 0 15 0 222060458 11246788608 14380 33554432000 4194304 4196468 140725346854544 140725346837088 140530248744695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
/proc/12471/statm: 2745798 14380 3097 1 0 2708109 0
[pid=12471/tid=12524] ppid=12468 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/12471/task/12524/stat : 12524 (java) R 12468 12471 9992 0 -1 4202560 6941 12990 0 0 20 1 5 2 20 0 15 0 222060467 11246788608 14380 33554432000 4194304 4196468 140725346854544 140530220556704 140530229020017 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12525] ppid=12468 vsize=10983192 memory=7084833269481492816 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12525/stat : 12525 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060468 11246788608 14380 33554432000 4194304 4196468 140725346854544 140530252986640 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12526] ppid=12468 vsize=10983192 memory=2080 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12526/stat : 12526 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060468 11246788608 14380 33554432000 4194304 4196468 140725346854544 140530123635088 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12527] ppid=12468 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12527/stat : 12527 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060468 11246788608 14380 33554432000 4194304 4196468 140725346854544 140529787263504 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12528] ppid=12468 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12528/stat : 12528 (java) S 12468 12471 9992 0 -1 1077944384 2 12990 0 0 0 0 5 2 20 0 15 0 222060468 11246788608 14380 33554432000 4194304 4196468 140725346854544 140529786210960 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12529] ppid=12468 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12529/stat : 12529 (java) S 12468 12471 9992 0 -1 1077944384 2 12990 0 0 0 0 5 2 20 0 15 0 222060469 11246788608 14380 33554432000 4194304 4196468 140725346854544 140529741769200 140530248755842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12530] ppid=12468 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12530/stat : 12530 (java) S 12468 12471 9992 0 -1 1077944384 13 12990 0 0 0 0 5 2 20 0 15 0 222060470 11246788608 14380 33554432000 4194304 4196468 140725346854544 140529048216992 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12531] ppid=12468 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12531/stat : 12531 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060470 11246788608 14380 33554432000 4194304 4196468 140725346854544 140528846890480 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12532] ppid=12468 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12532/stat : 12532 (java) S 12468 12471 9992 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 222060473 11246788608 14380 33554432000 4194304 4196468 140725346854544 140528539491024 140530248763291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12533] ppid=12468 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12471/task/12533/stat : 12533 (java) S 12468 12471 9992 0 -1 1077944384 544 12990 0 0 1 0 5 2 20 0 15 0 222060473 11246788608 14380 33554432000 4194304 4196468 140725346854544 140529740716016 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12534] ppid=12468 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12471/task/12534/stat : 12534 (java) S 12468 12471 9992 0 -1 1077944384 75 12990 0 0 1 0 5 2 20 0 15 0 222060473 11246788608 14380 33554432000 4194304 4196468 140725346854544 140529739663472 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12535] ppid=12468 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12471/task/12535/stat : 12535 (java) R 12468 12471 9992 0 -1 4202560 640 12990 0 0 5 0 5 2 20 0 15 0 222060473 11246788608 14380 33554432000 4194304 4196468 140725346854544 140529738610928 140530227340034 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12536] ppid=12468 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12536/stat : 12536 (java) S 12468 12471 9992 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 222060473 11246788608 14380 33554432000 4194304 4196468 140725346854544 140528108694112 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12537] ppid=12468 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12537/stat : 12537 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060473 11246788608 14380 33554432000 4194304 4196468 140725346854544 140529737558832 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57520 KiB
[startup+0.700737 s]
/proc/loadavg: 2.13 1.73 1.63 6/220 12537
/proc/meminfo: memFree=7466052/32770624 swapFree=67108856/67108860
[pid=12471] ppid=12468 vsize=10983192 memory=90812 CPUtime=0.98 cores=1,3,5,7
/proc/12471/stat : 12471 (java) S 12468 12471 9992 0 -1 1077944320 16741 12990 0 0 87 4 5 2 20 0 15 0 222060458 11246788608 22703 33554432000 4194304 4196468 140725346854544 140725346837088 140530248744695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
/proc/12471/statm: 2745798 22703 3247 1 0 2708109 0
[pid=12471/tid=12524] ppid=12468 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/12471/task/12524/stat : 12524 (java) R 12468 12471 9992 0 -1 4202560 12158 12990 0 0 57 2 5 2 20 0 15 0 222060467 11246788608 22703 33554432000 4194304 4196468 140725346854544 140530220565520 140530230308209 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12525] ppid=12468 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12525/stat : 12525 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060468 11246788608 22703 33554432000 4194304 4196468 140725346854544 140530252986640 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12526] ppid=12468 vsize=10983192 memory=3768 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12526/stat : 12526 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060468 11246788608 22703 33554432000 4194304 4196468 140725346854544 140530123635088 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12527] ppid=12468 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12527/stat : 12527 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060468 11246788608 22703 33554432000 4194304 4196468 140725346854544 140529787263504 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12528] ppid=12468 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12528/stat : 12528 (java) S 12468 12471 9992 0 -1 1077944384 2 12990 0 0 0 0 5 2 20 0 15 0 222060468 11246788608 22703 33554432000 4194304 4196468 140725346854544 140529786210960 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12529] ppid=12468 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12529/stat : 12529 (java) S 12468 12471 9992 0 -1 1077944384 5 12990 0 0 0 0 5 2 20 0 15 0 222060469 11246788608 22703 33554432000 4194304 4196468 140725346854544 140529741769200 140530248755842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12530] ppid=12468 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12530/stat : 12530 (java) S 12468 12471 9992 0 -1 1077944384 13 12990 0 0 0 0 5 2 20 0 15 0 222060470 11246788608 22703 33554432000 4194304 4196468 140725346854544 140529048216992 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12531] ppid=12468 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12531/stat : 12531 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060470 11246788608 22703 33554432000 4194304 4196468 140725346854544 140528846890480 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12532] ppid=12468 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12532/stat : 12532 (java) S 12468 12471 9992 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 222060473 11246788608 22703 33554432000 4194304 4196468 140725346854544 140528539491024 140530248763291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12533] ppid=12468 vsize=10983192 memory=13252 CPUtime=0.14 cores=1,3,5,7
/proc/12471/task/12533/stat : 12533 (java) S 12468 12471 9992 0 -1 1077944384 936 12990 0 0 7 0 5 2 20 0 15 0 222060473 11246788608 22703 33554432000 4194304 4196468 140725346854544 140529740716016 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12534] ppid=12468 vsize=10983192 memory=15460 CPUtime=0.16 cores=1,3,5,7
/proc/12471/task/12534/stat : 12534 (java) S 12468 12471 9992 0 -1 1077944384 692 12990 0 0 9 0 5 2 20 0 15 0 222060473 11246788608 22703 33554432000 4194304 4196468 140725346854544 140529739663472 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12535] ppid=12468 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/12471/task/12535/stat : 12535 (java) S 12468 12471 9992 0 -1 1077944384 732 12990 0 0 13 0 5 2 20 0 15 0 222060473 11246788608 22703 33554432000 4194304 4196468 140725346854544 140529738610928 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12536] ppid=12468 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12536/stat : 12536 (java) S 12468 12471 9992 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 222060473 11246788608 22703 33554432000 4194304 4196468 140725346854544 140528108694112 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12537] ppid=12468 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12537/stat : 12537 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060473 11246788608 22703 33554432000 4194304 4196468 140725346854544 140529737558832 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90812 KiB
[startup+1.50118 s]
/proc/loadavg: 2.13 1.73 1.63 5/220 12537
/proc/meminfo: memFree=7415628/32770624 swapFree=67108856/67108860
[pid=12471] ppid=12468 vsize=10993996 memory=179820 CPUtime=3.23 cores=1,3,5,7
/proc/12471/stat : 12471 (java) S 12468 12471 9992 0 -1 1077944320 25314 12990 0 0 307 9 5 2 20 0 15 0 222060458 11257851904 44955 33554432000 4194304 4196468 140725346854544 140725346837088 140530248744695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
/proc/12471/statm: 2748499 44955 3450 1 0 2710157 0
[pid=12471/tid=12524] ppid=12468 vsize=10993996 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/12471/task/12524/stat : 12524 (java) R 12468 12471 9992 0 -1 4202560 15184 12990 0 0 133 5 5 2 20 0 15 0 222060467 11257851904 44955 33554432000 4194304 4196468 140725346854544 140530220579632 140530248756630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12525] ppid=12468 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12525/stat : 12525 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060468 11257851904 44955 33554432000 4194304 4196468 140725346854544 140530252986640 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12526] ppid=12468 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12526/stat : 12526 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060468 11257851904 44955 33554432000 4194304 4196468 140725346854544 140530123635088 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12527] ppid=12468 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12527/stat : 12527 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060468 11257851904 44955 33554432000 4194304 4196468 140725346854544 140529787263504 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12528] ppid=12468 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12528/stat : 12528 (java) S 12468 12471 9992 0 -1 1077944384 2 12990 0 0 0 0 5 2 20 0 15 0 222060468 11257851904 44955 33554432000 4194304 4196468 140725346854544 140529786210960 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12529] ppid=12468 vsize=10993996 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12529/stat : 12529 (java) S 12468 12471 9992 0 -1 1077944384 13 12990 0 0 0 0 5 2 20 0 15 0 222060469 11257851904 44955 33554432000 4194304 4196468 140725346854544 140529741769200 140530248755842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12530] ppid=12468 vsize=10993996 memory=280169172510976 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12530/stat : 12530 (java) S 12468 12471 9992 0 -1 1077944384 13 12990 0 0 0 0 5 2 20 0 15 0 222060470 11257851904 44955 33554432000 4194304 4196468 140725346854544 140529048216992 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12531] ppid=12468 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12531/stat : 12531 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060470 11257851904 44955 33554432000 4194304 4196468 140725346854544 140528846890480 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12532] ppid=12468 vsize=10993996 memory=11796 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12532/stat : 12532 (java) S 12468 12471 9992 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 222060473 11257851904 44955 33554432000 4194304 4196468 140725346854544 140528539491024 140530248763291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12533] ppid=12468 vsize=10993996 memory=5772 CPUtime=0.66 cores=1,3,5,7
/proc/12471/task/12533/stat : 12533 (java) R 12468 12471 9992 0 -1 4202560 3320 12990 0 0 59 0 5 2 20 0 15 0 222060473 11257851904 44955 33554432000 4194304 4196468 140725346854544 140529740705808 140530234767446 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12534] ppid=12468 vsize=10993996 memory=4616 CPUtime=0.71 cores=1,3,5,7
/proc/12471/task/12534/stat : 12534 (java) R 12468 12471 9992 0 -1 4202560 2557 12990 0 0 63 1 5 2 20 0 15 0 222060473 11257851904 44955 33554432000 4194304 4196468 140725346854544 140529739649496 140530227991295 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12535] ppid=12468 vsize=10993996 memory=1388 CPUtime=0.57 cores=1,3,5,7
/proc/12471/task/12535/stat : 12535 (java) S 12468 12471 9992 0 -1 1077944384 2022 12990 0 0 50 0 5 2 20 0 15 0 222060473 11257851904 44955 33554432000 4194304 4196468 140725346854544 140529738610928 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12536] ppid=12468 vsize=10993996 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12536/stat : 12536 (java) S 12468 12471 9992 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 222060473 11257851904 44955 33554432000 4194304 4196468 140725346854544 140528108694112 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12537] ppid=12468 vsize=10993996 memory=880 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12537/stat : 12537 (java) S 12468 12471 9992 0 -1 1077944384 1 12990 0 0 0 0 5 2 20 0 15 0 222060473 11257851904 44955 33554432000 4194304 4196468 140725346854544 140529737558832 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
Current children cumulated CPU time: 3.23 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
/proc/12471/task/12524/stat : 12524 (java) R 12468 12471 9992 0 -1 4202560 119170 12990 0 0 229854 59 5 2 20 0 15 0 222060467 11348049920 393800 33554432000 4194304 4196468 140725346854544 140530220579088 140529824221460 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12525] ppid=12468 vsize=11082080 memory=1575200 CPUtime=12.31 cores=1,3,5,7
/proc/12471/task/12525/stat : 12525 (java) S 12468 12471 9992 0 -1 1077944384 26169 12990 0 0 1173 51 5 2 20 0 15 0 222060468 11348049920 393800 33554432000 4194304 4196468 140725346854544 140530252986640 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12526] ppid=12468 vsize=11082080 memory=1575200 CPUtime=12.28 cores=1,3,5,7
/proc/12471/task/12526/stat : 12526 (java) S 12468 12471 9992 0 -1 1077944384 27069 12990 0 0 1170 51 5 2 20 0 15 0 222060468 11348049920 393800 33554432000 4194304 4196468 140725346854544 140530123635088 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12527] ppid=12468 vsize=11082080 memory=280169174346896 CPUtime=12.25 cores=1,3,5,7
/proc/12471/task/12527/stat : 12527 (java) S 12468 12471 9992 0 -1 1077944384 33036 12990 0 0 1171 47 5 2 20 0 15 0 222060468 11348049920 393800 33554432000 4194304 4196468 140725346854544 140529787263504 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12528] ppid=12468 vsize=11082080 memory=1575200 CPUtime=12.22 cores=1,3,5,7
/proc/12471/task/12528/stat : 12528 (java) S 12468 12471 9992 0 -1 1077944384 28277 12990 0 0 1168 47 5 2 20 0 15 0 222060468 11348049920 393800 33554432000 4194304 4196468 140725346854544 140529786210960 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12529] ppid=12468 vsize=11082080 memory=1575200 CPUtime=9.39 cores=1,3,5,7
/proc/12471/task/12529/stat : 12529 (java) S 12468 12471 9992 0 -1 1077944384 22877 12990 0 0 880 52 5 2 20 0 15 0 222060469 11348049920 393800 33554432000 4194304 4196468 140725346854544 140529741769200 140530248755842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12530] ppid=12468 vsize=11082080 memory=1575200 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12530/stat : 12530 (java) S 12468 12471 9992 0 -1 1077944384 24 12990 0 0 0 0 5 2 20 0 15 0 222060470 11348049920 393800 33554432000 4194304 4196468 140725346854544 140529048217056 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12531] ppid=12468 vsize=11082080 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12531/stat : 12531 (java) S 12468 12471 9992 0 -1 1077944384 15 12990 0 0 0 0 5 2 20 0 15 0 222060470 11348049920 393800 33554432000 4194304 4196468 140725346854544 140528846890496 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12532] ppid=12468 vsize=11082080 memory=1575200 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12532/stat : 12532 (java) S 12468 12471 9992 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 222060473 11348049920 393800 33554432000 4194304 4196468 140725346854544 140528539491024 140530248763291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12533] ppid=12468 vsize=11082080 memory=1575200 CPUtime=13.16 cores=1,3,5,7
/proc/12471/task/12533/stat : 12533 (java) S 12468 12471 9992 0 -1 1077944384 82791 12990 0 0 1300 9 5 2 20 0 15 0 222060473 11348049920 393800 33554432000 4194304 4196468 140725346854544 140529740716016 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12534] ppid=12468 vsize=11082080 memory=1575200 CPUtime=13.33 cores=1,3,5,7
/proc/12471/task/12534/stat : 12534 (java) S 12468 12471 9992 0 -1 1077944384 83150 12990 0 0 1316 10 5 2 20 0 15 0 222060473 11348049920 393800 33554432000 4194304 4196468 140725346854544 140529739663472 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12535] ppid=12468 vsize=11082080 memory=1575200 CPUtime=5.21 cores=1,3,5,7
/proc/12471/task/12535/stat : 12535 (java) S 12468 12471 9992 0 -1 1077944384 89107 12990 0 0 502 12 5 2 20 0 15 0 222060473 11348049920 393800 33554432000 4194304 4196468 140725346854544 140529738610928 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12536] ppid=12468 vsize=11082080 memory=3768 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12536/stat : 12536 (java) S 12468 12471 9992 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 222060473 11348049920 393800 33554432000 4194304 4196468 140725346854544 140528108694112 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12537] ppid=12468 vsize=11082080 memory=1575200 CPUtime=1.32 cores=1,3,5,7
/proc/12471/task/12537/stat : 12537 (java) S 12468 12471 9992 0 -1 1077944384 1400 12990 0 0 54 71 5 2 20 0 15 0 222060473 11348049920 393800 33554432000 4194304 4196468 140725346854544 140529737558832 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
Current children cumulated CPU time: 2390.14 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1575200 KiB
[startup+2382.3 s]
/proc/loadavg: 1.66 1.50 1.45 3/220 12639
/proc/meminfo: memFree=5011780/32770624 swapFree=67108856/67108860
[pid=12471] ppid=12468 vsize=11082080 memory=1569040 CPUtime=2451.19 cores=1,3,5,7
/proc/12471/stat : 12471 (java) S 12468 12471 9992 0 -1 1077944320 518395 12990 0 0 244743 369 5 2 20 0 15 0 222060458 11348049920 392260 33554432000 4194304 4196468 140725346854544 140725346837088 140530248744695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
/proc/12471/statm: 2770520 392260 3534 1 0 2732173 0
[pid=12471/tid=12524] ppid=12468 vsize=11082080 memory=1569040 CPUtime=2358.56 cores=1,3,5,7
/proc/12471/task/12524/stat : 12524 (java) R 12468 12471 9992 0 -1 4202560 120268 12990 0 0 235789 60 5 2 20 0 15 0 222060467 11348049920 392260 33554432000 4194304 4196468 140725346854544 140530220580032 140529817757728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12525] ppid=12468 vsize=11082080 memory=1569040 CPUtime=12.65 cores=1,3,5,7
/proc/12471/task/12525/stat : 12525 (java) S 12468 12471 9992 0 -1 1077944384 26645 12990 0 0 1206 52 5 2 20 0 15 0 222060468 11348049920 392260 33554432000 4194304 4196468 140725346854544 140530252986640 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12526] ppid=12468 vsize=11082080 memory=1569040 CPUtime=12.63 cores=1,3,5,7
/proc/12471/task/12526/stat : 12526 (java) S 12468 12471 9992 0 -1 1077944384 27263 12990 0 0 1204 52 5 2 20 0 15 0 222060468 11348049920 392260 33554432000 4194304 4196468 140725346854544 140530123635088 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12527] ppid=12468 vsize=11082080 memory=0 CPUtime=12.59 cores=1,3,5,7
/proc/12471/task/12527/stat : 12527 (java) S 12468 12471 9992 0 -1 1077944384 33130 12990 0 0 1204 48 5 2 20 0 15 0 222060468 11348049920 392260 33554432000 4194304 4196468 140725346854544 140529787263504 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12528] ppid=12468 vsize=11082080 memory=1569040 CPUtime=12.57 cores=1,3,5,7
/proc/12471/task/12528/stat : 12528 (java) S 12468 12471 9992 0 -1 1077944384 29051 12990 0 0 1202 48 5 2 20 0 15 0 222060468 11348049920 392260 33554432000 4194304 4196468 140725346854544 140529786210960 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12529] ppid=12468 vsize=11082080 memory=3768 CPUtime=9.65 cores=1,3,5,7
/proc/12471/task/12529/stat : 12529 (java) S 12468 12471 9992 0 -1 1077944384 23312 12990 0 0 904 54 5 2 20 0 15 0 222060469 11348049920 392260 33554432000 4194304 4196468 140725346854544 140529741769200 140530248755842 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12530] ppid=12468 vsize=11082080 memory=60640 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12530/stat : 12530 (java) S 12468 12471 9992 0 -1 1077944384 24 12990 0 0 0 0 5 2 20 0 15 0 222060470 11348049920 392260 33554432000 4194304 4196468 140725346854544 140529048217056 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12531] ppid=12468 vsize=11082080 memory=1569040 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12531/stat : 12531 (java) S 12468 12471 9992 0 -1 1077944384 15 12990 0 0 0 0 5 2 20 0 15 0 222060470 11348049920 392260 33554432000 4194304 4196468 140725346854544 140528846890496 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12532] ppid=12468 vsize=11082080 memory=1569040 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12532/stat : 12532 (java) S 12468 12471 9992 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 222060473 11348049920 392260 33554432000 4194304 4196468 140725346854544 140528539491024 140530248763291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12533] ppid=12468 vsize=11082080 memory=6791534058613427641 CPUtime=13.16 cores=1,3,5,7
/proc/12471/task/12533/stat : 12533 (java) S 12468 12471 9992 0 -1 1077944384 82793 12990 0 0 1300 9 5 2 20 0 15 0 222060473 11348049920 392260 33554432000 4194304 4196468 140725346854544 140529740716016 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12534] ppid=12468 vsize=11082080 memory=1571096 CPUtime=13.33 cores=1,3,5,7
/proc/12471/task/12534/stat : 12534 (java) S 12468 12471 9992 0 -1 1077944384 83153 12990 0 0 1316 10 5 2 20 0 15 0 222060473 11348049920 392260 33554432000 4194304 4196468 140725346854544 140529739663472 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12535] ppid=12468 vsize=11082080 memory=1569040 CPUtime=5.21 cores=1,3,5,7
/proc/12471/task/12535/stat : 12535 (java) S 12468 12471 9992 0 -1 1077944384 89110 12990 0 0 502 12 5 2 20 0 15 0 222060473 11348049920 392260 33554432000 4194304 4196468 140725346854544 140529738610928 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12536] ppid=12468 vsize=11082080 memory=1569040 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12536/stat : 12536 (java) S 12468 12471 9992 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 222060473 11348049920 392260 33554432000 4194304 4196468 140725346854544 140528108694112 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12537] ppid=12468 vsize=11082080 memory=3768 CPUtime=1.36 cores=1,3,5,7
/proc/12471/task/12537/stat : 12537 (java) S 12468 12471 9992 0 -1 1077944384 1433 12990 0 0 56 73 5 2 20 0 15 0 222060473 11348049920 392260 33554432000 4194304 4196468 140725346854544 140529737558832 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
Current children cumulated CPU time: 2451.19 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1569040 KiB
[startup+2442.3 s]
/proc/loadavg: 1.12 1.38 1.41 3/220 12640
/proc/meminfo: memFree=5038140/32770624 swapFree=67108856/67108860
[pid=12471] ppid=12468 vsize=11082080 memory=1546464 CPUtime=2512.22 cores=1,3,5,7
/proc/12471/stat : 12471 (java) S 12468 12471 9992 0 -1 1077944320 522792 12990 0 0 250839 376 5 2 20 0 15 0 222060458 11348049920 386616 33554432000 4194304 4196468 140725346854544 140725346837088 140530248744695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
/proc/12471/statm: 2770520 386616 3534 1 0 2732173 0
[pid=12471/tid=12524] ppid=12468 vsize=11082080 memory=1546464 CPUtime=2417.87 cores=1,3,5,7
/proc/12471/task/12524/stat : 12524 (java) R 12468 12471 9992 0 -1 4202560 121658 12990 0 0 241720 60 5 2 20 0 15 0 222060467 11348049920 386616 33554432000 4194304 4196468 140725346854544 140530220579424 140529828494437 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12525] ppid=12468 vsize=11082080 memory=1569040 CPUtime=13.01 cores=1,3,5,7
/proc/12471/task/12525/stat : 12525 (java) S 12468 12471 9992 0 -1 1077944384 26883 12990 0 0 1240 54 5 2 20 0 15 0 222060468 11348049920 386616 33554432000 4194304 4196468 140725346854544 140530252986640 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12526] ppid=12468 vsize=11082080 memory=1550056 CPUtime=12.98 cores=1,3,5,7
/proc/12471/task/12526/stat : 12526 (java) S 12468 12471 9992 0 -1 1077944384 28006 12990 0 0 1239 52 5 2 20 0 15 0 222060468 11348049920 386616 33554432000 4194304 4196468 140725346854544 140530123635088 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12527] ppid=12468 vsize=11082080 memory=1546464 CPUtime=12.94 cores=1,3,5,7
/proc/12471/task/12527/stat : 12527 (java) S 12468 12471 9992 0 -1 1077944384 33281 12990 0 0 1237 50 5 2 20 0 15 0 222060468 11348049920 386616 33554432000 4194304 4196468 140725346854544 140529787263504 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12528] ppid=12468 vsize=11082080 memory=1546464 CPUtime=12.93 cores=1,3,5,7
/proc/12471/task/12528/stat : 12528 (java) S 12468 12471 9992 0 -1 1077944384 29287 12990 0 0 1237 49 5 2 20 0 15 0 222060468 11348049920 386616 33554432000 4194304 4196468 140725346854544 140529786210960 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12529] ppid=12468 vsize=11082080 memory=1546464 CPUtime=9.92 cores=1,3,5,7
/proc/12471/task/12529/stat : 12529 (java) S 12468 12471 9992 0 -1 1077944384 23673 12990 0 0 930 55 5 2 20 0 15 0 222060469 11348049920 386616 33554432000 4194304 4196468 140725346854544 140529741769200 140530248755842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12530] ppid=12468 vsize=11082080 memory=1546464 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12530/stat : 12530 (java) S 12468 12471 9992 0 -1 1077944384 24 12990 0 0 0 0 5 2 20 0 15 0 222060470 11348049920 386616 33554432000 4194304 4196468 140725346854544 140529048217056 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12531] ppid=12468 vsize=11082080 memory=1546464 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12531/stat : 12531 (java) S 12468 12471 9992 0 -1 1077944384 15 12990 0 0 0 0 5 2 20 0 15 0 222060470 11348049920 386616 33554432000 4194304 4196468 140725346854544 140528846890496 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12532] ppid=12468 vsize=11082080 memory=1546464 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12532/stat : 12532 (java) S 12468 12471 9992 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 222060473 11348049920 386616 33554432000 4194304 4196468 140725346854544 140528539491024 140530248763291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12533] ppid=12468 vsize=11082080 memory=1546464 CPUtime=13.17 cores=1,3,5,7
/proc/12471/task/12533/stat : 12533 (java) S 12468 12471 9992 0 -1 1077944384 82795 12990 0 0 1301 9 5 2 20 0 15 0 222060473 11348049920 386616 33554432000 4194304 4196468 140725346854544 140529740716016 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12534] ppid=12468 vsize=11082080 memory=3768 CPUtime=13.33 cores=1,3,5,7
/proc/12471/task/12534/stat : 12534 (java) S 12468 12471 9992 0 -1 1077944384 83156 12990 0 0 1316 10 5 2 20 0 15 0 222060473 11348049920 386616 33554432000 4194304 4196468 140725346854544 140529739663472 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12535] ppid=12468 vsize=11082080 memory=1546464 CPUtime=5.21 cores=1,3,5,7
/proc/12471/task/12535/stat : 12535 (java) S 12468 12471 9992 0 -1 1077944384 90370 12990 0 0 502 12 5 2 20 0 15 0 222060473 11348049920 386616 33554432000 4194304 4196468 140725346854544 140529738610928 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12536] ppid=12468 vsize=11082080 memory=3768 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12536/stat : 12536 (java) S 12468 12471 9992 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 222060473 11348049920 386616 33554432000 4194304 4196468 140725346854544 140528108694112 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12537] ppid=12468 vsize=11082080 memory=1546464 CPUtime=1.38 cores=1,3,5,7
/proc/12471/task/12537/stat : 12537 (java) S 12468 12471 9992 0 -1 1077944384 1446 12990 0 0 57 74 5 2 20 0 15 0 222060473 11348049920 386616 33554432000 4194304 4196468 140725346854544 140529737558832 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
Current children cumulated CPU time: 2512.22 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1546464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2450 s]*
/proc/loadavg: 1.10 1.37 1.40 6/220 12768
/proc/meminfo: memFree=5966376/32770624 swapFree=67108856/67108860
[pid=12471] ppid=12468 vsize=11082080 memory=1546464 CPUtime=2520.07 cores=1,3,5,7
/proc/12471/stat : 12471 (java) S 12468 12471 9992 0 -1 1077944320 522844 12990 0 0 251623 377 5 2 20 0 15 0 222060458 11348049920 386616 33554432000 4194304 4196468 140725346854544 140725346837088 140530248744695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
/proc/12471/statm: 2770520 386616 3534 1 0 2732173 0
[pid=12471/tid=12524] ppid=12468 vsize=11082080 memory=6791534058613427641 CPUtime=2425.5 cores=1,3,5,7
/proc/12471/task/12524/stat : 12524 (java) R 12468 12471 9992 0 -1 4202560 121702 12990 0 0 242482 61 5 2 20 0 15 0 222060467 11348049920 386616 33554432000 4194304 4196468 140725346854544 140530220579200 140529824853754 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12525] ppid=12468 vsize=11082080 memory=4126316290023845779 CPUtime=13.05 cores=1,3,5,7
/proc/12471/task/12525/stat : 12525 (java) S 12468 12471 9992 0 -1 1077944384 26884 12990 0 0 1244 54 5 2 20 0 15 0 222060468 11348049920 386616 33554432000 4194304 4196468 140725346854544 140530252986640 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12526] ppid=12468 vsize=11082080 memory=2088 CPUtime=13.04 cores=1,3,5,7
/proc/12471/task/12526/stat : 12526 (java) S 12468 12471 9992 0 -1 1077944384 28009 12990 0 0 1244 53 5 2 20 0 15 0 222060468 11348049920 386616 33554432000 4194304 4196468 140725346854544 140530123635088 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12527] ppid=12468 vsize=11082080 memory=7380 CPUtime=13 cores=1,3,5,7
/proc/12471/task/12527/stat : 12527 (java) S 12468 12471 9992 0 -1 1077944384 33283 12990 0 0 1242 51 5 2 20 0 15 0 222060468 11348049920 386616 33554432000 4194304 4196468 140725346854544 140529787263504 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12528] ppid=12468 vsize=11082080 memory=6791534058613427641 CPUtime=12.97 cores=1,3,5,7
/proc/12471/task/12528/stat : 12528 (java) S 12468 12471 9992 0 -1 1077944384 29289 12990 0 0 1241 49 5 2 20 0 15 0 222060468 11348049920 386616 33554432000 4194304 4196468 140725346854544 140529786210960 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12529] ppid=12468 vsize=11082080 memory=1692 CPUtime=9.95 cores=1,3,5,7
/proc/12471/task/12529/stat : 12529 (java) S 12468 12471 9992 0 -1 1077944384 23673 12990 0 0 933 55 5 2 20 0 15 0 222060469 11348049920 386616 33554432000 4194304 4196468 140725346854544 140529741769200 140530248755842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12530] ppid=12468 vsize=11082080 memory=916 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12530/stat : 12530 (java) S 12468 12471 9992 0 -1 1077944384 24 12990 0 0 0 0 5 2 20 0 15 0 222060470 11348049920 386616 33554432000 4194304 4196468 140725346854544 140529048217056 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12531] ppid=12468 vsize=11082080 memory=3848 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12531/stat : 12531 (java) S 12468 12471 9992 0 -1 1077944384 15 12990 0 0 0 0 5 2 20 0 15 0 222060470 11348049920 386616 33554432000 4194304 4196468 140725346854544 140528846890496 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12532] ppid=12468 vsize=11082080 memory=2672 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12532/stat : 12532 (java) S 12468 12471 9992 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 222060473 11348049920 386616 33554432000 4194304 4196468 140725346854544 140528539491024 140530248763291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12533] ppid=12468 vsize=11082080 memory=2872 CPUtime=13.17 cores=1,3,5,7
/proc/12471/task/12533/stat : 12533 (java) S 12468 12471 9992 0 -1 1077944384 82795 12990 0 0 1301 9 5 2 20 0 15 0 222060473 11348049920 386616 33554432000 4194304 4196468 140725346854544 140529740716016 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12534] ppid=12468 vsize=11082080 memory=1408 CPUtime=13.33 cores=1,3,5,7
/proc/12471/task/12534/stat : 12534 (java) S 12468 12471 9992 0 -1 1077944384 83156 12990 0 0 1316 10 5 2 20 0 15 0 222060473 11348049920 386616 33554432000 4194304 4196468 140725346854544 140529739663472 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12535] ppid=12468 vsize=11082080 memory=3152 CPUtime=5.21 cores=1,3,5,7
/proc/12471/task/12535/stat : 12535 (java) S 12468 12471 9992 0 -1 1077944384 90370 12990 0 0 502 12 5 2 20 0 15 0 222060473 11348049920 386616 33554432000 4194304 4196468 140725346854544 140529738610928 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12536] ppid=12468 vsize=11082080 memory=1546464 CPUtime=0.07 cores=1,3,5,7
/proc/12471/task/12536/stat : 12536 (java) S 12468 12471 9992 0 -1 1077944384 3 12990 0 0 0 0 5 2 20 0 15 0 222060473 11348049920 386616 33554432000 4194304 4196468 140725346854544 140528108694112 140530248754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
[pid=12471/tid=12537] ppid=12468 vsize=11082080 memory=107631880462818 CPUtime=1.38 cores=1,3,5,7
/proc/12471/task/12537/stat : 12537 (java) S 12468 12471 9992 0 -1 1077944384 1446 12990 0 0 57 74 5 2 20 0 15 0 222060473 11348049920 386616 33554432000 4194304 4196468 140725346854544 140529737558832 140530248755842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140725346859629 140725346862428 140725346862428 140725346865103 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1546464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2450.11 s]
# the end of solver process 12471 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.31 s, system=3.82615 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2450.11
CPU time (s): 2520.14
CPU user time (s): 2516.31
CPU system time (s): 3.82615
CPU usage (%): 102.858
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1755020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.31
system time used= 3.82615
maximum resident set size= 1757068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 537797
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 260033
involuntary context switches= 4627
# summary of solver processes directly reported to runsolver:
# pid: 12471
# total CPU time (s): 2520.14
# total CPU user time (s): 2516.31
# total CPU system time (s): 3.82615
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7734 second user time and 22.3846 second system time
The end