0.99/0.74 c Concrete v3.9.2.1532736233296 running
17.77/7.07 c 21:56:09.655 [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.77/7.07 c 21:56:09.660 [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.77/7.08 c 21:56:09.665 [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.77/7.08 c 21:56:09.666 [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.77/7.08 c 21:56:09.668 [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.77/7.08 c 21:56:09.668 [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.77/7.08 c 21:56:09.670 [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.77/7.08 c 21:56:09.671 [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.77/7.09 c 21:56:09.673 [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.77/7.09 c 21:56:09.674 [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.77/7.09 c 21:56:09.674 [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.77/7.09 c 21:56:09.677 [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.77/7.09 c 21:56:09.678 [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.77/7.09 c 21:56:09.680 [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.77/7.09 c 21:56:09.680 [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.77/7.10 c 21:56:09.683 [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.77/7.10 c 21:56:09.684 [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.77/7.10 c 21:56:09.686 [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.77/7.10 c 21:56:09.686 [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.77/7.10 c 21:56:09.689 [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.77/7.10 c 21:56:09.689 [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.77/7.10 c 21:56:09.691 [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.77/7.10 c 21:56:09.692 [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
18.08/7.11 c 21:56:09.695 [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
18.08/7.11 c 21:56:09.696 [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
18.08/7.11 c 21:56:09.696 [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
18.08/7.11 c 21:56:09.698 [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
18.08/7.11 c 21:56:09.699 [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
18.08/7.11 c 21:56:09.699 [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
18.08/7.11 c 21:56:09.701 [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
18.08/7.11 c 21:56:09.702 [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
18.08/7.12 c 21:56:09.703 [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
18.08/7.12 c 21:56:09.704 [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
18.08/7.12 c 21:56:09.704 [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
18.08/7.12 c 21:56:09.707 [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
18.08/7.12 c 21:56:09.707 [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
18.08/7.12 c 21:56:09.708 [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
18.08/7.12 c 21:56:09.711 [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
18.08/7.13 c 21:56:09.712 [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
18.08/7.13 c 21:56:09.713 [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
18.08/7.13 c 21:56:09.715 [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
18.08/7.13 c 21:56:09.715 [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
18.08/7.13 c 21:56:09.717 [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
18.08/7.13 c 21:56:09.718 [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
18.08/7.13 c 21:56:09.719 [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
18.08/7.14 c 21:56:09.720 [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
18.08/7.14 c 21:56:09.721 [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
18.08/7.14 c 21:56:09.723 [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
18.08/7.14 c 21:56:09.724 [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
18.08/7.14 c 21:56:09.726 [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
18.08/7.14 c 21:56:09.727 [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
18.08/7.15 c 21:56:09.729 [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
18.08/7.15 c 21:56:09.730 [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
18.08/7.15 c 21:56:09.731 [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
18.08/7.15 c 21:56:09.732 [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
18.08/7.15 c 21:56:09.733 [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
18.08/7.15 c 21:56:09.734 [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
18.08/7.15 c 21:56:09.736 [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
18.08/7.15 c 21:56:09.736 [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
18.08/7.15 c 21:56:09.738 [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
18.08/7.15 c 21:56:09.739 [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
18.08/7.15 c 21:56:09.739 [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
18.08/7.16 c 21:56:09.742 [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
18.08/7.16 c 21:56:09.743 [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
18.08/7.16 c 21:56:09.743 [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
18.08/7.16 c 21:56:09.745 [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
18.08/7.16 c 21:56:09.745 [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
18.08/7.16 c 21:56:09.748 [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
18.08/7.16 c 21:56:09.748 [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
18.08/7.16 c 21:56:09.750 [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
18.08/7.16 c 21:56:09.751 [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
18.08/7.16 c 21:56:09.751 [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
18.08/7.17 c 21:56:09.754 [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
18.08/7.17 c 21:56:09.754 [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
18.08/7.17 c 21:56:09.756 [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
18.08/7.17 c 21:56:09.756 [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
18.08/7.17 c 21:56:09.758 [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
18.08/7.17 c 21:56:09.759 [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
18.08/7.17 c 21:56:09.760 [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
18.08/7.17 c 21:56:09.760 [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
18.08/7.18 c 21:56:09.762 [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
18.08/7.18 c 21:56:09.762 [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
18.08/7.18 c 21:56:09.763 [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
18.08/7.18 c 21:56:09.765 [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
18.08/7.18 c 21:56:09.765 [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
18.08/7.18 c 21:56:09.766 [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
18.08/7.18 c 21:56:09.767 [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
18.08/7.18 c 21:56:09.768 [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.08/7.18 c 21:56:09.769 [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.08/7.18 c 21:56:09.769 [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.08/7.18 c 21:56:09.770 [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.08/7.18 c 21:56:09.772 [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.08/7.19 c 21:56:09.772 [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.08/7.19 c 21:56:09.773 [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.08/7.19 c 21:56:09.773 [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.08/7.19 c 21:56:09.773 [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.08/7.19 c 21:56:09.775 [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.08/7.19 c 21:56:09.776 [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.08/7.19 c 21:56:09.776 [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.08/7.19 c 21:56:09.777 [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.08/7.19 c 21:56:09.777 [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.08/7.19 c 21:56:09.779 [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.08/7.19 c 21:56:09.779 [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.08/7.19 c 21:56:09.780 [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.08/7.19 c 21:56:09.782 [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.08/7.20 c 21:56:09.783 [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.38/7.20 c 21:56:09.784 [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.38/7.20 c 21:56:09.785 [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.38/7.20 c 21:56:09.786 [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.38/7.20 c 21:56:09.786 [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.38/7.20 c 21:56:09.788 [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.38/7.20 c 21:56:09.788 [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.38/7.20 c 21:56:09.789 [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.38/7.20 c 21:56:09.791 [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.38/7.20 c 21:56:09.791 [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.38/7.21 c 21:56:09.793 [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.38/7.21 c 21:56:09.793 [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.38/7.21 c 21:56:09.795 [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.38/7.21 c 21:56:09.796 [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.38/7.21 c 21:56:09.796 [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.38/7.21 c 21:56:09.798 [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.38/7.21 c 21:56:09.798 [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.38/7.21 c 21:56:09.801 [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.38/7.22 c 21:56:09.801 [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.38/7.22 c 21:56:09.803 [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.38/7.22 c 21:56:09.804 [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.38/7.22 c 21:56:09.804 [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.38/7.22 c 21:56:09.806 [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.38/7.22 c 21:56:09.807 [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.38/7.22 c 21:56:09.808 [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.38/7.22 c 21:56:09.809 [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.38/7.24 c 21:56:09.815 [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.38/7.24 c 21:56:09.816 [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.38/7.24 c 21:56:09.817 [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.38/7.24 c 21:56:09.819 [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.38/7.24 c 21:56:09.820 [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.38/7.24 c 21:56:09.821 [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.38/7.24 c 21:56:09.822 [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.38/7.24 c 21:56:09.823 [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.38/7.24 c 21:56:09.824 [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.38/7.24 c 21:56:09.825 [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.38/7.24 c 21:56:09.826 [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.38/7.24 c 21:56:09.828 [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.38/7.24 c 21:56:09.829 [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.38/7.24 c 21:56:09.829 [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.38/7.24 c 21:56:09.830 [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.38/7.24 c 21:56:09.830 [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.38/7.24 c 21:56:09.832 [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.38/7.25 c 21:56:09.832 [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.38/7.25 c 21:56:09.833 [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.38/7.25 c 21:56:09.835 [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.38/7.25 c 21:56:09.836 [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.38/7.25 c 21:56:09.836 [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.38/7.25 c 21:56:09.838 [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.38/7.25 c 21:56:09.838 [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.38/7.25 c 21:56:09.838 [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.38/7.25 c 21:56:09.841 [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.38/7.25 c 21:56:09.842 [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.38/7.26 c 21:56:09.843 [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.38/7.26 c 21:56:09.843 [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.38/7.26 c 21:56:09.845 [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.38/7.26 c 21:56:09.846 [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.38/7.26 c 21:56:09.846 [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.38/7.26 c 21:56:09.848 [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.38/7.26 c 21:56:09.848 [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.38/7.26 c 21:56:09.850 [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.38/7.26 c 21:56:09.851 [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.38/7.27 c 21:56:09.853 [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.38/7.27 c 21:56:09.854 [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.38/7.27 c 21:56:09.856 [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.38/7.27 c 21:56:09.856 [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.38/7.27 c 21:56:09.858 [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.38/7.27 c 21:56:09.858 [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.38/7.27 c 21:56:09.861 [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.38/7.27 c 21:56:09.861 [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.38/7.28 c 21:56:09.863 [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.38/7.28 c 21:56:09.864 [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.38/7.28 c 21:56:09.864 [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.38/7.28 c 21:56:09.866 [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.38/7.28 c 21:56:09.866 [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.38/7.28 c 21:56:09.867 [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.38/7.28 c 21:56:09.867 [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.38/7.28 c 21:56:09.867 [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.38/7.28 c 21:56:09.869 [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.38/7.28 c 21:56:09.869 [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.38/7.28 c 21:56:09.869 [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.38/7.28 c 21:56:09.871 [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.38/7.28 c 21:56:09.871 [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.38/7.28 c 21:56:09.871 [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.38/7.29 c 21:56:09.873 [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.38/7.29 c 21:56:09.873 [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.38/7.29 c 21:56:09.873 [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.38/7.29 c 21:56:09.876 [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.38/7.29 c 21:56:09.876 [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.38/7.29 c 21:56:09.876 [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.38/7.29 c 21:56:09.877 [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.38/7.29 c 21:56:09.877 [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.38/7.29 c 21:56:09.877 [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.70/7.31 c 21:56:09.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24052. 'extension(x[0][10]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24054. 'extension(x[2][10]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24066. 'extension(x[0][20]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24068. 'extension(x[2][20]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24080. 'extension(x[0][21]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24082. 'extension(x[2][21]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24094. 'extension(x[0][28]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24096. 'extension(x[2][28]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24108. 'extension(x[0][38]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24112. 'extension(x[1][19]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24114. 'extension(x[3][19]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24128. 'extension(x[3][38]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24142. 'extension(x[1][45]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24144. 'extension(x[3][45]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24158. 'extension(x[2][22]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24164. 'extension(x[2][23]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24170. 'extension(x[3][1]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24172. 'extension(x[5][1]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24186. 'extension(x[5][22]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24200. 'extension(x[5][23]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24214. 'extension(wk[4][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24216. 'extension(x[4][4]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.31 c 21:56:09.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24218. 'extension(x[6][4]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24232. 'extension(wk[37][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24234. 'extension(x[4][37]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24236. 'extension(x[6][37]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24250. 'extension(wk[48][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24252. 'extension(x[4][48]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24258. 'extension(wk[42][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24260. 'extension(x[5][42]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24262. 'extension(x[7][42]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24278. 'extension(wk[48][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24280. 'extension(x[7][48]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24296. 'extension(x[6][31]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24302. 'extension(x[7][24]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24304. 'extension(x[9][24]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24318. 'extension(x[7][27]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24320. 'extension(x[9][27]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24334. 'extension(x[9][31]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24348. 'extension(x[7][32]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24354. 'extension(x[7][37]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24356. 'extension(x[9][37]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24370. 'extension(x[7][45]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24372. 'extension(x[9][45]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24388. 'extension(x[7][47]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.32 c 21:56:09.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24390. 'extension(x[9][47]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24406. 'extension(x[8][5]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24408. 'extension(x[10][5]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24422. 'extension(x[8][17]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24424. 'extension(x[10][17]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24438. 'extension(x[8][30]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24440. 'extension(x[10][30]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24454. 'extension(x[10][32]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24468. 'extension(x[8][35]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24474. 'extension(x[8][40]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24476. 'extension(x[10][40]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24492. 'extension(x[9][0]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24498. 'extension(x[9][4]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24500. 'extension(x[11][4]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24514. 'extension(x[9][10]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24516. 'extension(x[11][10]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24530. 'extension(x[9][20]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24532. 'extension(x[11][20]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24546. 'extension(x[9][29]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.33 c 21:56:09.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24552. 'extension(x[11][35]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24566. 'extension(x[12][0]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24580. 'extension(x[12][29]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24594. 'extension(x[10][36]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24600. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24602. 'extension(x[11][21]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24604. 'extension(x[13][21]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24618. 'extension(wk[27][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24620. 'extension(x[11][27]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24622. 'extension(x[13][27]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24636. 'extension(wk[36][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24638. 'extension(x[13][36]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24652. 'extension(wk[46][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24654. 'extension(x[11][46]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24660. 'extension(wk[1][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24662. 'extension(x[12][1]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24664. 'extension(x[14][1]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24678. 'extension(wk[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24680. 'extension(x[12][2]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24686. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24688. 'extension(x[12][5]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24690. 'extension(x[14][5]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24704. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24706. 'extension(x[12][12]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24712. 'extension(wk[43][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24714. 'extension(x[12][43]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.34 c 21:56:09.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24716. 'extension(x[14][43]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24732. 'extension(wk[46][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24734. 'extension(x[14][46]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24750. 'extension(x[15][2]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24764. 'extension(x[13][3]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24770. 'extension(x[13][6]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24776. 'extension(x[15][12]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24790. 'extension(x[13][34]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24792. 'extension(x[15][34]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24806. 'extension(x[13][41]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24812. 'extension(x[16][3]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24826. 'extension(x[16][6]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.938 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24840. 'extension(x[14][18]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.938 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24846. 'extension(x[16][41]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24862. 'extension(x[14][42]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24864. 'extension(x[16][42]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.940 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24880. 'extension(x[15][14]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.940 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24882. 'extension(x[17][14]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.941 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24896. 'extension(x[15][15]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.942 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24902. 'extension(x[15][17]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.35 c 21:56:09.942 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24904. 'extension(x[17][17]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.942 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24918. 'extension(x[17][18]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24932. 'extension(x[15][47]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24934. 'extension(x[17][47]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24950. 'extension(x[16][9]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.945 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24956. 'extension(x[18][15]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.945 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24970. 'extension(x[16][16]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24976. 'extension(x[19][9]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24990. 'extension(x[19][16]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.947 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25004. 'extension(x[17][25]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.947 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25010. 'extension(x[17][40]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.947 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25012. 'extension(x[19][40]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.948 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25028. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.948 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25030. 'extension(x[18][11]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.949 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25036. 'extension(wk[25][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.949 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25038. 'extension(x[20][25]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.950 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25052. 'extension(wk[43][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.950 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25054. 'extension(x[18][43]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.950 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25056. 'extension(x[20][43]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.951 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25072. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.951 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25074. 'extension(x[21][11]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.952 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25088. 'extension(wk[44][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.952 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25090. 'extension(x[19][44]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.36 c 21:56:09.952 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25092. 'extension(x[21][44]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.953 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25108. 'extension(x[20][13]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.953 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25114. 'extension(x[21][8]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.954 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25120. 'extension(x[23][13]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.954 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25134. 'extension(x[21][49]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.955 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25140. 'extension(x[24][8]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.955 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25154. 'extension(x[22][19]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.955 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25156. 'extension(x[24][19]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.956 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25170. 'extension(x[24][49]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.957 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25186. 'extension(x[23][14]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.957 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25188. 'extension(x[25][14]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.958 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25202. 'extension(x[23][28]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.958 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25204. 'extension(x[25][28]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.959 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25218. 'extension(x[23][34]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.959 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25220. 'extension(x[25][34]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.959 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25234. 'extension(x[24][24]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.960 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25236. 'extension(x[26][24]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.960 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25250. 'extension(x[24][26]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.961 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25256. 'extension(x[24][33]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.961 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25262. 'extension(x[24][39]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.961 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25268. 'extension(wk[7][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.962 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25270. 'extension(x[25][7]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.962 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25276. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.37 c 21:56:09.962 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25278. 'extension(x[27][26]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.38 c 21:56:09.963 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25290. 'extension(wk[33][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.38 c 21:56:09.963 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25292. 'extension(x[27][33]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.38 c 21:56:09.963 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25304. 'extension(wk[39][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.38 c 21:56:09.963 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25306. 'extension(x[27][39]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.38 c 21:56:09.964 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25318. 'extension(wk[44][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.38 c 21:56:09.964 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25320. 'extension(x[25][44]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.38 c 21:56:09.964 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25322. 'extension(x[27][44]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.38 c 21:56:09.965 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25334. 'extension(wk[7][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.38 c 21:56:09.965 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25340. 'extension(wk[30][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.70/7.38 c 21:56:09.966 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25342. 'extension(x[26][30]=[0‥6]) :: init: true :: relation: Empty MDD
18.70/7.38 c 21:56:09.966 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25344. 'extension(x[26][30]=[0‥6]) :: init: true :: relation: Empty MDD
252.06/227.40 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
252.06/227.40 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
252.06/227.40 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
252.06/227.40 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
252.06/227.40 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
252.06/227.40 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
252.06/227.40 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
252.06/227.40 at concrete.IntervalDomain.filter(IntervalDomain.scala:81)
252.06/227.40 at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
252.06/227.40 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
252.06/227.40 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.06/227.40 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.06/227.40 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.06/227.40 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.06/227.40 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.06/227.40 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.06/227.40 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.06/227.40 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
252.06/227.40 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
252.06/227.40 at scala.Option.map(Option.scala:146)
252.06/227.40 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
252.06/227.40 at concrete.MAC.mac(MAC.scala:203)
252.06/227.40 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.06/227.40 at scala.util.Try$.apply(Try.scala:209)
252.06/227.40 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.06/227.40 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.06/227.40 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.06/227.40 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.06/227.40 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.06/227.40 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.06/227.40 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.06/227.40 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.06/227.40 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.06/227.40 at concrete.MAC.oneRun(MAC.scala:253)
252.06/227.40 at concrete.MAC.nextSolution(MAC.scala:272)
252.06/227.40 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.06/227.40 at concrete.ProblemState.map(ProblemState.scala:221)
252.06/227.40 at concrete.ProblemState.map(ProblemState.scala:204)
252.06/227.40 at concrete.MAC.nextSolution(MAC.scala:334)
252.06/227.40 at concrete.Solver.hasNext(Solver.scala:166)
252.06/227.40 at scala.collection.Iterator.foreach(Iterator.scala:944)
252.06/227.41 at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.06/227.41 at concrete.Solver.foreach(Solver.scala:68)
252.06/227.41 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.06/227.41 at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.06/227.41 at scala.util.Success.map(Try.scala:209)
252.06/227.41 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.06/227.41 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.06/227.41 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.06/227.41 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.06/227.41 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.06/227.41 at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.06/227.41 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.06/227.41 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.06/227.41 at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.06/227.41 at scala.collection.immutable.List.foreach(List.scala:389)
252.06/227.41 at scala.App.main(App.scala:76)
252.06/227.41 at scala.App.main$(App.scala:74)
252.06/227.41 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.06/227.41 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.06/227.42 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12604 MiB free)
memory of node 1: 16384 MiB (14050 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302430-1532894162/watcher-4302430-1532894162 -o /tmp/evaluation-result-4302430-1532894162/solver-4302430-1532894162 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14550 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=343685689 HOME/instance-4302430-1532894162.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15706, runsolver pid=15703
[startup+0.100157 s]*
/proc/loadavg: 1.83 1.84 1.50 3/206 15763
/proc/meminfo: memFree=27287216/32770624 swapFree=67108436/67108860
[pid=15706] ppid=15703 vsize=10005480 memory=18332 CPUtime=0.08 cores=1,3,5,7
/proc/15706/stat : 15706 (java) S 15703 15706 9814 0 -1 1077944320 4252 13207 0 0 1 0 5 2 20 0 6 0 106979373 10245611520 4583 33554432000 4194304 4196468 140725836187728 140725836170272 140520338820855 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
/proc/15706/statm: 2501370 4583 1931 1 0 2489808 0
[pid=15706/tid=15759] ppid=15703 vsize=10005480 memory=4279135703946592399 CPUtime=0.08 cores=1,3,5,7
/proc/15706/task/15759/stat : 15759 (java) R 15703 15706 9814 0 -1 4202560 2061 13207 0 0 1 0 5 2 20 0 6 0 106979382 10245611520 4583 33554432000 4194304 4196468 140725836187728 140520310657616 140520338842781 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15760] ppid=15703 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15760/stat : 15760 (java) S 15703 15706 9814 0 -1 1077944384 2 13207 0 0 0 0 5 2 20 0 6 0 106979383 10245611520 4649 33554432000 4194304 4196468 140725836187728 140520343063440 140520338831061 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15761] ppid=15703 vsize=10005480 memory=140626891933312 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15761/stat : 15761 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 6 0 106979383 10245611520 4649 33554432000 4194304 4196468 140725836187728 140520197782288 140520338831061 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15762] ppid=15703 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15762/stat : 15762 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 6 0 106979383 10245611520 4649 33554432000 4194304 4196468 140725836187728 140520196730000 140520338831061 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15763] ppid=15703 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15763/stat : 15763 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 6 0 106979383 10245611520 4649 33554432000 4194304 4196468 140725836187728 140520195677200 140520338831061 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18332 KiB
[startup+0.210252 s]*
/proc/loadavg: 1.85 1.84 1.51 3/215 15772
/proc/meminfo: memFree=27231056/32770624 swapFree=67108436/67108860
[pid=15706] ppid=15703 vsize=10982744 memory=46268 CPUtime=0.25 cores=1,3,5,7
/proc/15706/stat : 15706 (java) S 15703 15706 9814 0 -1 1077944320 7803 13207 0 0 16 2 5 2 20 0 15 0 106979373 11246329856 11567 33554432000 4194304 4196468 140725836187728 140725836170272 140520338820855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
/proc/15706/statm: 2745686 11567 2958 1 0 2708109 0
[pid=15706/tid=15759] ppid=15703 vsize=10983736 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/15706/task/15759/stat : 15759 (java) R 15703 15706 9814 0 -1 4202560 4604 13207 0 0 10 1 5 2 20 0 15 0 106979382 11247345664 11831 33554432000 4194304 4196468 140725836187728 140520310645664 140520331537818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15760] ppid=15703 vsize=10985364 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15760/stat : 15760 (java) S 15703 15706 9814 0 -1 1077944384 2 13207 0 0 0 0 5 2 20 0 15 0 106979383 11249012736 11831 33554432000 4194304 4196468 140725836187728 140520343063440 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15761] ppid=15703 vsize=10985364 memory=140626891949144 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15761/stat : 15761 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979383 11249012736 11897 33554432000 4194304 4196468 140725836187728 140520197782288 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15762] ppid=15703 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15762/stat : 15762 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979383 11249012736 11897 33554432000 4194304 4196468 140725836187728 140520196730000 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15763] ppid=15703 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15763/stat : 15763 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979383 11249012736 11897 33554432000 4194304 4196468 140725836187728 140520195677200 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15764] ppid=15703 vsize=10985364 memory=140626891933312 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15764/stat : 15764 (java) S 15703 15706 9814 0 -1 1077944384 2 13207 0 0 0 0 5 2 20 0 15 0 106979384 11249012736 11897 33554432000 4194304 4196468 140725836187728 140519764068464 140520338832002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15765] ppid=15703 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15765/stat : 15765 (java) S 15703 15706 9814 0 -1 1077944384 13 13207 0 0 0 0 5 2 20 0 15 0 106979385 11249012736 11897 33554432000 4194304 4196468 140725836187728 140519183213344 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15766] ppid=15703 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15766/stat : 15766 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979385 11249012736 11963 33554432000 4194304 4196468 140725836187728 140518981887088 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15767] ppid=15703 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15767/stat : 15767 (java) S 15703 15706 9814 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 106979387 11249012736 11963 33554432000 4194304 4196468 140725836187728 140518674487376 140520338839451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15768] ppid=15703 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15706/task/15768/stat : 15768 (java) S 15703 15706 9814 0 -1 1077944384 451 13207 0 0 1 0 5 2 20 0 15 0 106979387 11249012736 11963 33554432000 4194304 4196468 140725836187728 140519763016304 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15769] ppid=15703 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15706/task/15769/stat : 15769 (java) S 15703 15706 9814 0 -1 1077944384 176 13207 0 0 1 0 5 2 20 0 15 0 106979387 11249012736 11963 33554432000 4194304 4196468 140725836187728 140519761963504 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15770] ppid=15703 vsize=10985364 memory=140626891933312 CPUtime=0.1 cores=1,3,5,7
/proc/15706/task/15770/stat : 15770 (java) S 15703 15706 9814 0 -1 1077944384 600 13207 0 0 3 0 5 2 20 0 15 0 106979387 11249012736 12029 33554432000 4194304 4196468 140725836187728 140519760911216 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15771] ppid=15703 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15771/stat : 15771 (java) S 15703 15706 9814 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 106979388 11249012736 12029 33554432000 4194304 4196468 140725836187728 140518243691488 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15772] ppid=15703 vsize=10985364 memory=140626891933312 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15772/stat : 15772 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979388 11249012736 12029 33554432000 4194304 4196468 140725836187728 140519759858096 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46268 KiB
[startup+0.310338 s]*
/proc/loadavg: 1.85 1.84 1.51 3/215 15772
/proc/meminfo: memFree=27176016/32770624 swapFree=67108436/67108860
[pid=15706] ppid=15703 vsize=10983192 memory=56976 CPUtime=0.38 cores=1,3,5,7
/proc/15706/stat : 15706 (java) S 15703 15706 9814 0 -1 1077944320 10300 13207 0 0 28 3 5 2 20 0 15 0 106979373 11246788608 14244 33554432000 4194304 4196468 140725836187728 140725836170272 140520338820855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
/proc/15706/statm: 2745798 14244 3077 1 0 2708109 0
[pid=15706/tid=15759] ppid=15703 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/15706/task/15759/stat : 15759 (java) R 15703 15706 9814 0 -1 4202560 6853 13207 0 0 19 2 5 2 20 0 15 0 106979382 11246788608 14244 33554432000 4194304 4196468 140725836187728 140520310632864 140520338832790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15760] ppid=15703 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15760/stat : 15760 (java) S 15703 15706 9814 0 -1 1077944384 2 13207 0 0 0 0 5 2 20 0 15 0 106979383 11246788608 14244 33554432000 4194304 4196468 140725836187728 140520343063440 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15761] ppid=15703 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15761/stat : 15761 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979383 11246788608 14244 33554432000 4194304 4196468 140725836187728 140520197782288 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15762] ppid=15703 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15762/stat : 15762 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979383 11246788608 14244 33554432000 4194304 4196468 140725836187728 140520196730000 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15763] ppid=15703 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15763/stat : 15763 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979383 11246788608 14244 33554432000 4194304 4196468 140725836187728 140520195677200 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15764] ppid=15703 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15764/stat : 15764 (java) S 15703 15706 9814 0 -1 1077944384 2 13207 0 0 0 0 5 2 20 0 15 0 106979384 11246788608 14244 33554432000 4194304 4196468 140725836187728 140519764068464 140520338832002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15765] ppid=15703 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15765/stat : 15765 (java) S 15703 15706 9814 0 -1 1077944384 13 13207 0 0 0 0 5 2 20 0 15 0 106979385 11246788608 14244 33554432000 4194304 4196468 140725836187728 140519183213344 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15766] ppid=15703 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15766/stat : 15766 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979385 11246788608 14244 33554432000 4194304 4196468 140725836187728 140518981887088 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15767] ppid=15703 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15767/stat : 15767 (java) S 15703 15706 9814 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 106979387 11246788608 14244 33554432000 4194304 4196468 140725836187728 140518674487376 140520338839451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15768] ppid=15703 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15706/task/15768/stat : 15768 (java) S 15703 15706 9814 0 -1 1077944384 451 13207 0 0 1 0 5 2 20 0 15 0 106979387 11246788608 14244 33554432000 4194304 4196468 140725836187728 140519763016304 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15769] ppid=15703 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15706/task/15769/stat : 15769 (java) S 15703 15706 9814 0 -1 1077944384 177 13207 0 0 1 0 5 2 20 0 15 0 106979387 11246788608 14244 33554432000 4194304 4196468 140725836187728 140519761963504 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15770] ppid=15703 vsize=10983192 memory=140626891933312 CPUtime=0.11 cores=1,3,5,7
/proc/15706/task/15770/stat : 15770 (java) R 15703 15706 9814 0 -1 4202560 606 13207 0 0 4 0 5 2 20 0 15 0 106979387 11246788608 14244 33554432000 4194304 4196468 140725836187728 140519760911216 140520338842202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15771] ppid=15703 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15771/stat : 15771 (java) S 15703 15706 9814 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 106979388 11246788608 14244 33554432000 4194304 4196468 140725836187728 140518243691488 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15772] ppid=15703 vsize=10983192 memory=140626891933312 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15772/stat : 15772 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979388 11246788608 14244 33554432000 4194304 4196468 140725836187728 140519759858096 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56976 KiB
[startup+0.700789 s]
/proc/loadavg: 1.85 1.84 1.51 3/215 15772
/proc/meminfo: memFree=27134580/32770624 swapFree=67108436/67108860
[pid=15706] ppid=15703 vsize=10983192 memory=89192 CPUtime=0.99 cores=1,3,5,7
/proc/15706/stat : 15706 (java) S 15703 15706 9814 0 -1 1077944320 16396 13207 0 0 87 5 5 2 20 0 15 0 106979373 11246788608 22298 33554432000 4194304 4196468 140725836187728 140725836170272 140520338820855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
/proc/15706/statm: 2745798 22298 3235 1 0 2708109 0
[pid=15706/tid=15759] ppid=15703 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/15706/task/15759/stat : 15759 (java) R 15703 15706 9814 0 -1 4202560 11883 13207 0 0 56 3 5 2 20 0 15 0 106979382 11246788608 22298 33554432000 4194304 4196468 140725836187728 140520310641680 140520323986441 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15760] ppid=15703 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15760/stat : 15760 (java) S 15703 15706 9814 0 -1 1077944384 2 13207 0 0 0 0 5 2 20 0 15 0 106979383 11246788608 22298 33554432000 4194304 4196468 140725836187728 140520343063440 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15761] ppid=15703 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15761/stat : 15761 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979383 11246788608 22298 33554432000 4194304 4196468 140725836187728 140520197782288 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15762] ppid=15703 vsize=10983192 memory=140626758873904 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15762/stat : 15762 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979383 11246788608 22298 33554432000 4194304 4196468 140725836187728 140520196730000 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15763] ppid=15703 vsize=10983192 memory=140630114173529 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15763/stat : 15763 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979383 11246788608 22298 33554432000 4194304 4196468 140725836187728 140520195677200 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15764] ppid=15703 vsize=10983192 memory=1388 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15764/stat : 15764 (java) S 15703 15706 9814 0 -1 1077944384 5 13207 0 0 0 0 5 2 20 0 15 0 106979384 11246788608 22298 33554432000 4194304 4196468 140725836187728 140519764068464 140520338832002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15765] ppid=15703 vsize=10983192 memory=4639098309541127525 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15765/stat : 15765 (java) S 15703 15706 9814 0 -1 1077944384 13 13207 0 0 0 0 5 2 20 0 15 0 106979385 11246788608 22298 33554432000 4194304 4196468 140725836187728 140519183213344 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15766] ppid=15703 vsize=10983192 memory=8027477668130812270 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15766/stat : 15766 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979385 11246788608 22298 33554432000 4194304 4196468 140725836187728 140518981887088 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15767] ppid=15703 vsize=10983192 memory=17432 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15767/stat : 15767 (java) S 15703 15706 9814 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 106979387 11246788608 22298 33554432000 4194304 4196468 140725836187728 140518674487376 140520338839451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15768] ppid=15703 vsize=10983192 memory=16148 CPUtime=0.13 cores=1,3,5,7
/proc/15706/task/15768/stat : 15768 (java) S 15703 15706 9814 0 -1 1077944384 822 13207 0 0 6 0 5 2 20 0 15 0 106979387 11246788608 22298 33554432000 4194304 4196468 140725836187728 140519763016304 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15769] ppid=15703 vsize=10983192 memory=4004 CPUtime=0.17 cores=1,3,5,7
/proc/15706/task/15769/stat : 15769 (java) S 15703 15706 9814 0 -1 1077944384 811 13207 0 0 10 0 5 2 20 0 15 0 106979387 11246788608 22298 33554432000 4194304 4196468 140725836187728 140519761963504 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15770] ppid=15703 vsize=10983192 memory=636 CPUtime=0.19 cores=1,3,5,7
/proc/15706/task/15770/stat : 15770 (java) S 15703 15706 9814 0 -1 1077944384 655 13207 0 0 12 0 5 2 20 0 15 0 106979387 11246788608 22298 33554432000 4194304 4196468 140725836187728 140519760911216 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15771] ppid=15703 vsize=10983192 memory=1780 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15771/stat : 15771 (java) S 15703 15706 9814 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 106979388 11246788608 22298 33554432000 4194304 4196468 140725836187728 140518243691488 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15772] ppid=15703 vsize=10983192 memory=1236 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15772/stat : 15772 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979388 11246788608 22298 33554432000 4194304 4196468 140725836187728 140519759858096 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89192 KiB
[startup+1.50829 s]
/proc/loadavg: 1.85 1.84 1.51 3/215 15772
/proc/meminfo: memFree=27088124/32770624 swapFree=67108436/67108860
[pid=15706] ppid=15703 vsize=10993996 memory=172728 CPUtime=3.25 cores=1,3,5,7
/proc/15706/stat : 15706 (java) S 15703 15706 9814 0 -1 1077944320 24725 13207 0 0 309 9 5 2 20 0 15 0 106979373 11257851904 43182 33554432000 4194304 4196468 140725836187728 140725836170272 140520338820855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
/proc/15706/statm: 2748499 43182 3448 1 0 2710157 0
[pid=15706/tid=15759] ppid=15703 vsize=10993996 memory=65764 CPUtime=1.46 cores=1,3,5,7
/proc/15706/task/15759/stat : 15759 (java) R 15703 15706 9814 0 -1 4202560 14814 13207 0 0 133 6 5 2 20 0 15 0 106979382 11257851904 43182 33554432000 4194304 4196468 140725836187728 140520310655888 140520321808688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15760] ppid=15703 vsize=10993996 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15760/stat : 15760 (java) S 15703 15706 9814 0 -1 1077944384 2 13207 0 0 0 0 5 2 20 0 15 0 106979383 11257851904 43182 33554432000 4194304 4196468 140725836187728 140520343063440 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15761] ppid=15703 vsize=10993996 memory=281253517779104 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15761/stat : 15761 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979383 11257851904 43182 33554432000 4194304 4196468 140725836187728 140520197782288 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15762] ppid=15703 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15762/stat : 15762 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979383 11257851904 43182 33554432000 4194304 4196468 140725836187728 140520196730000 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15763] ppid=15703 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15763/stat : 15763 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979383 11257851904 43182 33554432000 4194304 4196468 140725836187728 140520195677200 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15764] ppid=15703 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15764/stat : 15764 (java) S 15703 15706 9814 0 -1 1077944384 13 13207 0 0 0 0 5 2 20 0 15 0 106979384 11257851904 43182 33554432000 4194304 4196468 140725836187728 140519764068464 140520338832002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15765] ppid=15703 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15765/stat : 15765 (java) S 15703 15706 9814 0 -1 1077944384 13 13207 0 0 0 0 5 2 20 0 15 0 106979385 11257851904 43182 33554432000 4194304 4196468 140725836187728 140519183213344 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15766] ppid=15703 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15766/stat : 15766 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979385 11257851904 43182 33554432000 4194304 4196468 140725836187728 140518981887088 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15767] ppid=15703 vsize=10993996 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15767/stat : 15767 (java) S 15703 15706 9814 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 106979387 11257851904 43182 33554432000 4194304 4196468 140725836187728 140518674487376 140520338839451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15768] ppid=15703 vsize=10993996 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/15706/task/15768/stat : 15768 (java) R 15703 15706 9814 0 -1 4202560 3671 13207 0 0 60 0 5 2 20 0 15 0 106979387 11257851904 43182 33554432000 4194304 4196468 140725836187728 140519763002384 140520322317730 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15769] ppid=15703 vsize=10993996 memory=0 CPUtime=0.7 cores=1,3,5,7
/proc/15706/task/15769/stat : 15769 (java) R 15703 15706 9814 0 -1 4202560 2035 13207 0 0 62 1 5 2 20 0 15 0 106979387 11257851904 43182 33554432000 4194304 4196468 140725836187728 140519761956464 140520318038202 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15770] ppid=15703 vsize=10993996 memory=6791534058613427641 CPUtime=0.59 cores=1,3,5,7
/proc/15706/task/15770/stat : 15770 (java) S 15703 15706 9814 0 -1 1077944384 1972 13207 0 0 52 0 5 2 20 0 15 0 106979387 11257851904 43182 33554432000 4194304 4196468 140725836187728 140519760911216 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15771] ppid=15703 vsize=10993996 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15771/stat : 15771 (java) S 15703 15706 9814 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 106979388 11257851904 43182 33554432000 4194304 4196468 140725836187728 140518243691488 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15772] ppid=15703 vsize=10993996 memory=281253518023552 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15772/stat : 15772 (java) S 15703 15706 9814 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 106979388 11257851904 43182 33554432000 4194304 4196468 140725836187728 140519759858096 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
Current children cumulated CPU time: 3.25 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
/proc/15706/task/15759/stat : 15759 (java) R 15703 15706 9814 0 -1 4202560 58637 13207 0 0 10108 30 5 2 20 0 15 0 106979382 11280941056 437690 33554432000 4194304 4196468 140725836187728 140520310654712 140519890146886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15760] ppid=15703 vsize=11016544 memory=1750744 CPUtime=0.34 cores=1,3,5,7
/proc/15706/task/15760/stat : 15760 (java) S 15703 15706 9814 0 -1 1077944384 1135 13207 0 0 22 5 5 2 20 0 15 0 106979383 11280941056 437690 33554432000 4194304 4196468 140725836187728 140520343063440 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15761] ppid=15703 vsize=11016544 memory=1750744 CPUtime=0.36 cores=1,3,5,7
/proc/15706/task/15761/stat : 15761 (java) S 15703 15706 9814 0 -1 1077944384 1866 13207 0 0 24 5 5 2 20 0 15 0 106979383 11280941056 437690 33554432000 4194304 4196468 140725836187728 140520197782288 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15762] ppid=15703 vsize=11016544 memory=4140 CPUtime=0.35 cores=1,3,5,7
/proc/15706/task/15762/stat : 15762 (java) S 15703 15706 9814 0 -1 1077944384 1514 13207 0 0 23 5 5 2 20 0 15 0 106979383 11280941056 437690 33554432000 4194304 4196468 140725836187728 140520196730000 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15763] ppid=15703 vsize=11016544 memory=10118 CPUtime=0.35 cores=1,3,5,7
/proc/15706/task/15763/stat : 15763 (java) S 15703 15706 9814 0 -1 1077944384 1710 13207 0 0 24 4 5 2 20 0 15 0 106979383 11280941056 437690 33554432000 4194304 4196468 140725836187728 140520195677200 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15764] ppid=15703 vsize=11016544 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/15706/task/15764/stat : 15764 (java) S 15703 15706 9814 0 -1 1077944384 5585 13207 0 0 9 1 5 2 20 0 15 0 106979384 11280941056 437690 33554432000 4194304 4196468 140725836187728 140519764068464 140520338832002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15765] ppid=15703 vsize=11016544 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15765/stat : 15765 (java) S 15703 15706 9814 0 -1 1077944384 18 13207 0 0 0 0 5 2 20 0 15 0 106979385 11280941056 437690 33554432000 4194304 4196468 140725836187728 140519183213408 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15766] ppid=15703 vsize=11016544 memory=30512 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15766/stat : 15766 (java) S 15703 15706 9814 0 -1 1077944384 8 13207 0 0 0 0 5 2 20 0 15 0 106979385 11280941056 437690 33554432000 4194304 4196468 140725836187728 140518981887104 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15767] ppid=15703 vsize=11016544 memory=140626758844290 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15767/stat : 15767 (java) S 15703 15706 9814 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 106979387 11280941056 437690 33554432000 4194304 4196468 140725836187728 140518674487376 140520338839451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15768] ppid=15703 vsize=11016544 memory=576587674381544995 CPUtime=9.25 cores=1,3,5,7
/proc/15706/task/15768/stat : 15768 (java) S 15703 15706 9814 0 -1 1077944384 23597 13207 0 0 915 3 5 2 20 0 15 0 106979387 11280941056 437690 33554432000 4194304 4196468 140725836187728 140519763016304 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15769] ppid=15703 vsize=11016544 memory=0 CPUtime=9.46 cores=1,3,5,7
/proc/15706/task/15769/stat : 15769 (java) S 15703 15706 9814 0 -1 1077944384 22651 13207 0 0 935 4 5 2 20 0 15 0 106979387 11280941056 437690 33554432000 4194304 4196468 140725836187728 140519761963504 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15770] ppid=15703 vsize=11016544 memory=7518060564930735510 CPUtime=3.52 cores=1,3,5,7
/proc/15706/task/15770/stat : 15770 (java) S 15703 15706 9814 0 -1 1077944384 22141 13207 0 0 337 8 5 2 20 0 15 0 106979387 11280941056 437690 33554432000 4194304 4196468 140725836187728 140519760911216 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15771] ppid=15703 vsize=11016544 memory=1784 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15771/stat : 15771 (java) S 15703 15706 9814 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 106979388 11280941056 437690 33554432000 4194304 4196468 140725836187728 140518243691488 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15772] ppid=15703 vsize=11016544 memory=5752 CPUtime=0.12 cores=1,3,5,7
/proc/15706/task/15772/stat : 15772 (java) S 15703 15706 9814 0 -1 1077944384 92 13207 0 0 2 3 5 2 20 0 15 0 106979388 11280941056 437690 33554432000 4194304 4196468 140725836187728 140519759858096 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
Current children cumulated CPU time: 124.84 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1750760 KiB
[startup+162.301 s]
/proc/loadavg: 1.50 1.76 1.53 4/215 15775
/proc/meminfo: memFree=25253040/32770624 swapFree=67108436/67108860
[pid=15706] ppid=15703 vsize=11016544 memory=1689488 CPUtime=185.53 cores=1,3,5,7
/proc/15706/stat : 15706 (java) S 15703 15706 9814 0 -1 1077944320 155229 13207 0 0 18469 77 5 2 20 0 15 0 106979373 11280941056 422372 33554432000 4194304 4196468 140725836187728 140725836170272 140520338820855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
/proc/15706/statm: 2754136 422372 3533 1 0 2715789 0
[pid=15706/tid=15759] ppid=15703 vsize=11016544 memory=1690512 CPUtime=161.33 cores=1,3,5,7
/proc/15706/task/15759/stat : 15759 (java) R 15703 15706 9814 0 -1 4202560 60696 13207 0 0 16095 31 5 2 20 0 15 0 106979382 11280941056 422372 33554432000 4194304 4196468 140725836187728 140520310655984 140519896745508 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15760] ppid=15703 vsize=11016544 memory=1692564 CPUtime=0.39 cores=1,3,5,7
/proc/15706/task/15760/stat : 15760 (java) S 15703 15706 9814 0 -1 1077944384 1157 13207 0 0 27 5 5 2 20 0 15 0 106979383 11280941056 422372 33554432000 4194304 4196468 140725836187728 140520343063440 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15761] ppid=15703 vsize=11016544 memory=8881 CPUtime=0.41 cores=1,3,5,7
/proc/15706/task/15761/stat : 15761 (java) S 15703 15706 9814 0 -1 1077944384 2107 13207 0 0 29 5 5 2 20 0 15 0 106979383 11280941056 422372 33554432000 4194304 4196468 140725836187728 140520197782288 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15762] ppid=15703 vsize=11016544 memory=1692564 CPUtime=0.4 cores=1,3,5,7
/proc/15706/task/15762/stat : 15762 (java) S 15703 15706 9814 0 -1 1077944384 2191 13207 0 0 28 5 5 2 20 0 15 0 106979383 11280941056 422372 33554432000 4194304 4196468 140725836187728 140520196730000 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15763] ppid=15703 vsize=11016544 memory=1690000 CPUtime=0.41 cores=1,3,5,7
/proc/15706/task/15763/stat : 15763 (java) S 15703 15706 9814 0 -1 1077944384 2808 13207 0 0 29 5 5 2 20 0 15 0 106979383 11280941056 422372 33554432000 4194304 4196468 140725836187728 140520195677200 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15764] ppid=15703 vsize=11016544 memory=1689488 CPUtime=0.22 cores=1,3,5,7
/proc/15706/task/15764/stat : 15764 (java) S 15703 15706 9814 0 -1 1077944384 5914 13207 0 0 13 2 5 2 20 0 15 0 106979384 11280941056 422372 33554432000 4194304 4196468 140725836187728 140519764068464 140520338832002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15765] ppid=15703 vsize=11016544 memory=1689488 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15765/stat : 15765 (java) S 15703 15706 9814 0 -1 1077944384 18 13207 0 0 0 0 5 2 20 0 15 0 106979385 11280941056 422372 33554432000 4194304 4196468 140725836187728 140519183213408 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15766] ppid=15703 vsize=11016544 memory=1691028 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15766/stat : 15766 (java) S 15703 15706 9814 0 -1 1077944384 8 13207 0 0 0 0 5 2 20 0 15 0 106979385 11280941056 422372 33554432000 4194304 4196468 140725836187728 140518981887104 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15767] ppid=15703 vsize=11016544 memory=1689488 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15767/stat : 15767 (java) S 15703 15706 9814 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 106979387 11280941056 422372 33554432000 4194304 4196468 140725836187728 140518674487376 140520338839451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15768] ppid=15703 vsize=11016544 memory=1690512 CPUtime=9.48 cores=1,3,5,7
/proc/15706/task/15768/stat : 15768 (java) S 15703 15706 9814 0 -1 1077944384 27754 13207 0 0 937 4 5 2 20 0 15 0 106979387 11280941056 422372 33554432000 4194304 4196468 140725836187728 140519763016304 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15769] ppid=15703 vsize=11016544 memory=1690512 CPUtime=9.67 cores=1,3,5,7
/proc/15706/task/15769/stat : 15769 (java) S 15703 15706 9814 0 -1 1077944384 25095 13207 0 0 955 5 5 2 20 0 15 0 106979387 11280941056 422372 33554432000 4194304 4196468 140725836187728 140519761963504 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15770] ppid=15703 vsize=11016544 memory=1690000 CPUtime=3.6 cores=1,3,5,7
/proc/15706/task/15770/stat : 15770 (java) S 15703 15706 9814 0 -1 1077944384 25158 13207 0 0 345 8 5 2 20 0 15 0 106979387 11280941056 422372 33554432000 4194304 4196468 140725836187728 140519760911216 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15771] ppid=15703 vsize=11016544 memory=1690000 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15771/stat : 15771 (java) S 15703 15706 9814 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 106979388 11280941056 422372 33554432000 4194304 4196468 140725836187728 140518243691488 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15772] ppid=15703 vsize=11016544 memory=1689488 CPUtime=0.15 cores=1,3,5,7
/proc/15706/task/15772/stat : 15772 (java) S 15703 15706 9814 0 -1 1077944384 123 13207 0 0 3 5 5 2 20 0 15 0 106979388 11280941056 422372 33554432000 4194304 4196468 140725836187728 140519759858096 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
Current children cumulated CPU time: 185.53 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1689488 KiB
[startup+222.307 s]
/proc/loadavg: 1.81 1.79 1.56 5/215 15907
/proc/meminfo: memFree=26090312/32770624 swapFree=67108436/67108860
[pid=15706] ppid=15703 vsize=11016544 memory=1673068 CPUtime=246.85 cores=1,3,5,7
/proc/15706/stat : 15706 (java) S 15703 15706 9814 0 -1 1077944320 173704 13207 0 0 24594 84 5 2 20 0 15 0 106979373 11280941056 418267 33554432000 4194304 4196468 140725836187728 140725836170272 140520338820855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
/proc/15706/statm: 2754136 418267 3533 1 0 2715789 0
[pid=15706/tid=15759] ppid=15703 vsize=11016544 memory=1676144 CPUtime=220.86 cores=1,3,5,7
/proc/15706/task/15759/stat : 15759 (java) R 15703 15706 9814 0 -1 4202560 62405 13207 0 0 22048 31 5 2 20 0 15 0 106979382 11280941056 418267 33554432000 4194304 4196468 140725836187728 140520310656096 140520319112202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15760] ppid=15703 vsize=11016544 memory=1674092 CPUtime=0.63 cores=1,3,5,7
/proc/15706/task/15760/stat : 15760 (java) S 15703 15706 9814 0 -1 1077944384 1954 13207 0 0 50 6 5 2 20 0 15 0 106979383 11280941056 418267 33554432000 4194304 4196468 140725836187728 140520343063440 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15761] ppid=15703 vsize=11016544 memory=1678192 CPUtime=0.65 cores=1,3,5,7
/proc/15706/task/15761/stat : 15761 (java) S 15703 15706 9814 0 -1 1077944384 3525 13207 0 0 52 6 5 2 20 0 15 0 106979383 11280941056 418267 33554432000 4194304 4196468 140725836187728 140520197782288 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15762] ppid=15703 vsize=11016544 memory=1677684 CPUtime=0.64 cores=1,3,5,7
/proc/15706/task/15762/stat : 15762 (java) S 15703 15706 9814 0 -1 1077944384 3384 13207 0 0 50 7 5 2 20 0 15 0 106979383 11280941056 418267 33554432000 4194304 4196468 140725836187728 140520196730000 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15763] ppid=15703 vsize=11016544 memory=1677684 CPUtime=0.65 cores=1,3,5,7
/proc/15706/task/15763/stat : 15763 (java) S 15703 15706 9814 0 -1 1077944384 2997 13207 0 0 52 6 5 2 20 0 15 0 106979383 11280941056 418267 33554432000 4194304 4196468 140725836187728 140520195677200 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15764] ppid=15703 vsize=11016544 memory=1676144 CPUtime=0.4 cores=1,3,5,7
/proc/15706/task/15764/stat : 15764 (java) S 15703 15706 9814 0 -1 1077944384 6331 13207 0 0 30 3 5 2 20 0 15 0 106979384 11280941056 418267 33554432000 4194304 4196468 140725836187728 140519764068464 140520338832002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15765] ppid=15703 vsize=11016544 memory=1673580 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15765/stat : 15765 (java) S 15703 15706 9814 0 -1 1077944384 18 13207 0 0 0 0 5 2 20 0 15 0 106979385 11280941056 418267 33554432000 4194304 4196468 140725836187728 140519183213408 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15766] ppid=15703 vsize=11016544 memory=1678192 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15766/stat : 15766 (java) S 15703 15706 9814 0 -1 1077944384 8 13207 0 0 0 0 5 2 20 0 15 0 106979385 11280941056 418267 33554432000 4194304 4196468 140725836187728 140518981887104 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15767] ppid=15703 vsize=11016544 memory=1678192 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15767/stat : 15767 (java) S 15703 15706 9814 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 106979387 11280941056 418267 33554432000 4194304 4196468 140725836187728 140518674487376 140520338839451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15768] ppid=15703 vsize=11016544 memory=15872 CPUtime=9.74 cores=1,3,5,7
/proc/15706/task/15768/stat : 15768 (java) S 15703 15706 9814 0 -1 1077944384 34232 13207 0 0 963 4 5 2 20 0 15 0 106979387 11280941056 418267 33554432000 4194304 4196468 140725836187728 140519763016304 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15769] ppid=15703 vsize=11016544 memory=1678196 CPUtime=9.93 cores=1,3,5,7
/proc/15706/task/15769/stat : 15769 (java) S 15703 15706 9814 0 -1 1077944384 27469 13207 0 0 981 5 5 2 20 0 15 0 106979387 11280941056 418267 33554432000 4194304 4196468 140725836187728 140519761963504 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15770] ppid=15703 vsize=11016544 memory=4140 CPUtime=3.7 cores=1,3,5,7
/proc/15706/task/15770/stat : 15770 (java) S 15703 15706 9814 0 -1 1077944384 28948 13207 0 0 355 8 5 2 20 0 15 0 106979387 11280941056 418267 33554432000 4194304 4196468 140725836187728 140519760911216 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15771] ppid=15703 vsize=11016544 memory=1673580 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15771/stat : 15771 (java) S 15703 15706 9814 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 106979388 11280941056 418267 33554432000 4194304 4196468 140725836187728 140518243691488 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15772] ppid=15703 vsize=11016544 memory=1673580 CPUtime=0.18 cores=1,3,5,7
/proc/15706/task/15772/stat : 15772 (java) S 15703 15706 9814 0 -1 1077944384 233 13207 0 0 4 7 5 2 20 0 15 0 106979388 11280941056 418267 33554432000 4194304 4196468 140725836187728 140519759858096 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
Current children cumulated CPU time: 246.85 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1673068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+227.401 s]
/proc/loadavg: 1.74 1.77 1.55 3/215 15907
/proc/meminfo: memFree=25886388/32770624 swapFree=67108436/67108860
[pid=15706] ppid=15703 vsize=11016544 memory=1671528 CPUtime=252.06 cores=1,3,5,7
/proc/15706/stat : 15706 (java) S 15703 15706 9814 0 -1 1077944320 179737 13207 0 0 25113 86 5 2 20 0 15 0 106979373 11280941056 417882 33554432000 4194304 4196468 140725836187728 140725836170272 140520338820855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
/proc/15706/statm: 2754136 417882 3533 1 0 2715789 0
[pid=15706/tid=15759] ppid=15703 vsize=11016544 memory=4588 CPUtime=225.91 cores=1,3,5,7
/proc/15706/task/15759/stat : 15759 (java) R 15703 15706 9814 0 -1 4202560 63023 13207 0 0 22553 31 5 2 20 0 15 0 106979382 11280941056 417882 33554432000 4194304 4196468 140725836187728 140520310655936 140519884998914 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15760] ppid=15703 vsize=11016544 memory=1612 CPUtime=0.65 cores=1,3,5,7
/proc/15706/task/15760/stat : 15760 (java) S 15703 15706 9814 0 -1 1077944384 2577 13207 0 0 52 6 5 2 20 0 15 0 106979383 11280941056 417882 33554432000 4194304 4196468 140725836187728 140520343063440 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15761] ppid=15703 vsize=11016544 memory=6791534058613427641 CPUtime=0.67 cores=1,3,5,7
/proc/15706/task/15761/stat : 15761 (java) S 15703 15706 9814 0 -1 1077944384 3605 13207 0 0 54 6 5 2 20 0 15 0 106979383 11280941056 417882 33554432000 4194304 4196468 140725836187728 140520197782288 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15762] ppid=15703 vsize=11016544 memory=6791534058613427641 CPUtime=0.66 cores=1,3,5,7
/proc/15706/task/15762/stat : 15762 (java) S 15703 15706 9814 0 -1 1077944384 3391 13207 0 0 52 7 5 2 20 0 15 0 106979383 11280941056 417882 33554432000 4194304 4196468 140725836187728 140520196730000 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15763] ppid=15703 vsize=11016544 memory=1852 CPUtime=0.67 cores=1,3,5,7
/proc/15706/task/15763/stat : 15763 (java) S 15703 15706 9814 0 -1 1077944384 3079 13207 0 0 54 6 5 2 20 0 15 0 106979383 11280941056 417882 33554432000 4194304 4196468 140725836187728 140520195677200 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15764] ppid=15703 vsize=11016544 memory=872 CPUtime=0.41 cores=1,3,5,7
/proc/15706/task/15764/stat : 15764 (java) S 15703 15706 9814 0 -1 1077944384 6632 13207 0 0 31 3 5 2 20 0 15 0 106979384 11280941056 417882 33554432000 4194304 4196468 140725836187728 140519764068464 140520338832002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15765] ppid=15703 vsize=11016544 memory=8076 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15765/stat : 15765 (java) S 15703 15706 9814 0 -1 1077944384 18 13207 0 0 0 0 5 2 20 0 15 0 106979385 11280941056 417882 33554432000 4194304 4196468 140725836187728 140519183213408 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15766] ppid=15703 vsize=11016544 memory=11648 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15766/stat : 15766 (java) S 15703 15706 9814 0 -1 1077944384 8 13207 0 0 0 0 5 2 20 0 15 0 106979385 11280941056 417882 33554432000 4194304 4196468 140725836187728 140518981887104 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15767] ppid=15703 vsize=11016544 memory=281253518212544 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15767/stat : 15767 (java) S 15703 15706 9814 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 106979387 11280941056 417882 33554432000 4194304 4196468 140725836187728 140518674487376 140520338839451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15768] ppid=15703 vsize=11016544 memory=6944656592387989600 CPUtime=9.75 cores=1,3,5,7
/proc/15706/task/15768/stat : 15768 (java) S 15703 15706 9814 0 -1 1077944384 35024 13207 0 0 964 4 5 2 20 0 15 0 106979387 11280941056 417882 33554432000 4194304 4196468 140725836187728 140519763016304 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15769] ppid=15703 vsize=11016544 memory=6944656592455360604 CPUtime=9.94 cores=1,3,5,7
/proc/15706/task/15769/stat : 15769 (java) S 15703 15706 9814 0 -1 1077944384 29416 13207 0 0 982 5 5 2 20 0 15 0 106979387 11280941056 417882 33554432000 4194304 4196468 140725836187728 140519761963504 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15770] ppid=15703 vsize=11016544 memory=6944656575208382560 CPUtime=3.7 cores=1,3,5,7
/proc/15706/task/15770/stat : 15770 (java) S 15703 15706 9814 0 -1 1077944384 30512 13207 0 0 355 8 5 2 20 0 15 0 106979387 11280941056 417882 33554432000 4194304 4196468 140725836187728 140519760911216 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15771] ppid=15703 vsize=11016544 memory=7445382923858570090 CPUtime=0.07 cores=1,3,5,7
/proc/15706/task/15771/stat : 15771 (java) S 15703 15706 9814 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 106979388 11280941056 417882 33554432000 4194304 4196468 140725836187728 140518243691488 140520338831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
[pid=15706/tid=15772] ppid=15703 vsize=11016544 memory=7230923193710568297 CPUtime=0.18 cores=1,3,5,7
/proc/15706/task/15772/stat : 15772 (java) S 15703 15706 9814 0 -1 1077944384 252 13207 0 0 4 7 5 2 20 0 15 0 106979388 11280941056 417882 33554432000 4194304 4196468 140725836187728 140519759858096 140520338832002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 36 0 0 6293624 6294260 23887872 140725836196466 140725836199265 140725836199265 140725836201935 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1671528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+227.442 s]
# the end of solver process 15706 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.21 s, system=0.910167 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 227.442
CPU time (s): 252.121
CPU user time (s): 251.21
CPU system time (s): 0.910167
CPU usage (%): 110.851
Max. virtual memory (cumulated for all children) (KiB): 11017356
Max. memory (cumulated for all children) (KiB): 1773852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.21
system time used= 0.910167
maximum resident set size= 1776952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194457
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21807
involuntary context switches= 375
# summary of solver processes directly reported to runsolver:
# pid: 15706
# total CPU time (s): 252.121
# total CPU user time (s): 251.21
# total CPU system time (s): 0.910167
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.58999 second user time and 2.01239 second system time
The end