2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.12.2	SAT (TO)	963	2520.17	2473.2

0.79/0.61	c Concrete v3.12.2.1568380929293 running
216.75/197.33	o 989
329.41/308.15	o 988
425.89/403.61	o 987
516.97/493.63	o 986
609.27/584.80	o 985
694.44/668.79	o 984
778.59/751.80	o 983
862.57/834.56	o 982
945.45/916.24	o 981
1026.33/995.91	o 980
1112.82/1081.28	o 979
1194.94/1162.18	o 978
1279.27/1245.16	o 977
1362.35/1326.95	o 976
1444.35/1407.65	o 975
1531.86/1493.74	o 974
1617.59/1577.96	o 973
1703.86/1663.46	o 972
1792.04/1750.85	o 971
1877.24/1835.32	o 970
1961.05/1918.45	o 969
2044.76/2001.48	o 968
2128.84/2084.83	o 967
2207.05/2162.42	o 966
2290.72/2245.48	o 965
2370.92/2325.09	o 964
2450.67/2404.21	o 963
2520.06/2473.16	Exception in thread "main" java.util.concurrent.TimeoutException
2520.06/2473.16		at concrete.MAC.mac(MAC.scala:192)
2520.06/2473.16		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.06/2473.16		at scala.util.Try$.apply(Try.scala:212)
2520.06/2473.16		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.06/2473.16		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.06/2473.16		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.06/2473.16		at concrete.MAC.oneRun(MAC.scala:265)
2520.06/2473.16		at concrete.MAC.nextSolution(MAC.scala:284)
2520.06/2473.16		at concrete.MAC.nextSolution(MAC.scala:369)
2520.06/2473.16		at concrete.Solver.hasNext(Solver.scala:160)
2520.06/2473.16		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.06/2473.16		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.06/2473.16		at concrete.Solver.foreach(Solver.scala:67)
2520.06/2473.16		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.06/2473.16		at scala.util.Success.map(Try.scala:264)
2520.06/2473.16		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.06/2473.16		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.06/2473.16		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.06/2473.16		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.06/2473.16		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.06/2473.16		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.06/2473.16		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.06/2473.16		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.06/2473.16		at scala.App.$anonfun$main$1(App.scala:75)
2520.06/2473.16		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.06/2473.16		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.06/2473.16		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.06/2473.16		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.06/2473.16		at scala.App.main(App.scala:75)
2520.06/2473.16		at scala.App.main$(App.scala:73)
2520.06/2473.16		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.06/2473.16		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.06/2473.17	v <instantiation
2520.06/2473.17	v         cost = '963'>
2520.06/2473.17	v       <list>
2520.06/2473.17	v         x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][41] x[40][42] x[40][43] x[40][44] x[41][42] x[41][43] x[41][44] x[42][43] x[42][44] x[43][44]
2520.06/2473.17	v       </list>
2520.06/2473.17	v       <values>
2520.06/2473.17	v         4 3 3 3 963 2 2 2 2 2 1 2 1 1 1 1 1 1 1 1 963 1 0 0 0 0 0 0 0 963 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 963 3 3 4 3 2 963 2 1 2 1 1 1 1 1 1 1 1 1 2 0 0 0 963 0 0 963 0 0 963 0 0 0 963 0 0 0 0 0 0 0 0 4 5 4 3 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 963 0 0 0 0 0 0 0 0 0 0 4 3 962 3 4 2 2 1 2 1 3 1 1 1 963 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 963 0 0 0 0 0 0 0 0 0 0 963 5 963 963 2 2 2 2 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 5 2 2 3 963 2 1 1 1 1 1 1 1 1 1 2 963 0 0 0 0 0 963 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 963 3 963 3 4 1 1 1 1 1 963 1 963 1 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 4 5 963 963 1 2 1 1 1 1 1 1 1 2 0 0 963 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 4 1 3 1 963 963 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 963 0 0 0 0 0 0 4 1 3 1 1 1 1 1 1 963 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 963 0 0 0 0 4 3 1 1 962 1 1 1 1 1 1 1 0 963 0 0 0 0 963 0 963 0 0 0 963 0 963 0 0 0 0 0 963 0 4 3 4 963 2 5 2 2 2 2 963 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 963 0 0 0 0 0 3 3 4 1 4 3 963 1 2 1 0 0 0 0 0 0 0 0 963 0 0 1 0 0 0 963 0 0 0 0 0 0 5 4 3 2 2 4 2 962 2 0 0 963 0 0 0 0 963 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 963 3 2 2 2 2 3 0 0 0 0 963 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 963 3 5 2 2 2 963 0 0 0 0 0 0 0 963 0 0 2 0 0 963 0 0 0 0 0 0 0 4 4 3 3 4 2 0 963 0 0 0 0 0 963 0 0 0 0 963 0 0 0 0 0 0 0 0 0 3 5 3 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 963 0 0 0 0 0 0 0 0 5 4 3 3 0 0 0 0 0 0 0 0 0 0 0 2 0 963 0 0 0 0 0 0 0 0 4 3 2 0 963 0 0 0 0 0 0 0 0 963 0 0 0 0 0 0 0 0 0 0 0 3 5 0 963 0 0 0 0 0 0 0 0 0 963 0 0 0 0 0 0 0 0 0 0 5 0 0 963 0 0 0 0 0 0 0 963 0 0 0 0 0 0 0 0 963 0 0 0 0 0 963 0 0 0 963 0 2 0 0 0 0 0 1 0 0 0 0 0 0 4 3 3 963 3 962 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 4 3 4 3 962 2 2 2 2 962 1 963 1 1 1 1 1 963 1 1 4 5 963 4 962 2 2 962 1 963 1 1 1 963 1 1 1 1 963 3 4 2 2 963 962 2 1 1 1 1 1 1 1 1 1 1 1 3 3 2 2 2 3 3 1 1 1 1 1 1 1 1 1 1 2 3 3 3 2 1 1 1 1 1 1 1 1 1 1 1 3 2 2 963 1 1 1 1 1 1 963 1 1 1 1 962 4 4 1 2 1 963 1 1 1 1 1 1 963 5 3 1 962 1 1 1 1 1 1 1 1 963 3 1 1 1 1 1 1 1 1 1 1 963 963 3 1 1 3 4 1 2 2 1 1 2 963 3 3 3 2 2 3 963 963 3 4 5 3 963 963 2 2 2 3 3 5 963 2 962 2 2 5 4 2 2 2 2 2 4 963 2 2 2 2 3 2 2 2 962 5 4 3 3 4 3 3 3 3 5
2520.06/2473.17	v       </values>
2520.06/2473.17	v     </instantiation>
2520.06/2473.17	s SATISFIABLE

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: 16375 MiB (13763 MiB free)
  memory of node 1: 16384 MiB (13404 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396298-1568405784/watcher-4396298-1568405784 -o /tmp/evaluation-result-4396298-1568405784/solver-4396298-1568405784 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323907941-3247 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=55796920 HOME/instance-4396298-1568405784.xml 

running on 4 cores: 0-3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6894, runsolver pid=6891
Current StackSize limit: 8192 KiB


[startup+0.100135 s]*
/proc/loadavg: 1.27 1.32 1.33 3/213 6946
/proc/meminfo: memFree=27815832/32770688 swapFree=66919992/67108860
[pid=6894] ppid=6891 vsize=9970504 memory=10796 CPUtime=0.09 cores=0-3
/proc/6894/stat : 6894 (java) S 6891 6894 804 0 -1 1077944320 3440 13119 0 0 1 0 6 2 20 0 6 0 416584706 10209796096 2699 33554432000 4194304 4196468 140720645143952 140720645126496 139706998365943 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
/proc/6894/statm: 2492626 2699 1233 1 0 2481537 0
[pid=6894/tid=6947] ppid=6891 vsize=9970504 memory=7022364594140610616 CPUtime=0.08 cores=0-3
/proc/6894/task/6947/stat : 6947 (java) R 6891 6894 804 0 -1 4202560 1281 13119 0 0 0 0 6 2 20 0 6 0 416584716 10209796096 2765 33554432000 4194304 4196468 140720645143952 139706970207544 139706984241024 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6948] ppid=6891 vsize=9970504 memory=364 CPUtime=0.08 cores=0-3
/proc/6894/task/6948/stat : 6948 (java) S 6891 6894 804 0 -1 1077944384 1 13119 0 0 0 0 6 2 20 0 6 0 416584717 10209796096 2765 33554432000 4194304 4196468 140720645143952 139707002608016 139706998376149 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6949] ppid=6891 vsize=9970504 memory=140300797748698 CPUtime=0.08 cores=0-3
/proc/6894/task/6949/stat : 6949 (java) S 6891 6894 804 0 -1 1077944384 1 13119 0 0 0 0 6 2 20 0 6 0 416584717 10209796096 2765 33554432000 4194304 4196468 140720645143952 139706901498128 139706998376149 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6950] ppid=6891 vsize=9970504 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6950/stat : 6950 (java) S 6891 6894 804 0 -1 1077944384 2 13119 0 0 0 0 6 2 20 0 6 0 416584717 10209796096 2765 33554432000 4194304 4196468 140720645143952 139706900445840 139706998376149 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6951] ppid=6891 vsize=9970504 memory=-1 CPUtime=0.08 cores=0-3
/proc/6894/task/6951/stat : 6951 (java) S 6891 6894 804 0 -1 1077944384 2 13119 0 0 0 0 6 2 20 0 6 0 416584717 10209796096 2765 33554432000 4194304 4196468 140720645143952 139706899393040 139706998376149 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9970504 KiB
Current children cumulated memory: 10796 KiB

[startup+0.211271 s]*
/proc/loadavg: 1.27 1.32 1.33 4/227 6960
/proc/meminfo: memFree=27793512/32770688 swapFree=66919992/67108860
[pid=6894] ppid=6891 vsize=10819664 memory=38640 CPUtime=0.24 cores=0-3
/proc/6894/stat : 6894 (java) S 6891 6894 804 0 -1 1077944320 6993 13119 0 0 15 1 6 2 20 0 15 0 416584706 11079335936 9660 33554432000 4194304 4196468 140720645143952 140720645126496 139706998365943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
/proc/6894/statm: 2704916 9660 3154 1 0 2667149 0
[pid=6894/tid=6947] ppid=6891 vsize=10819664 memory=7022364594140610616 CPUtime=0.18 cores=0-3
/proc/6894/task/6947/stat : 6947 (java) R 6891 6894 804 0 -1 4202560 3530 13119 0 0 10 0 6 2 20 0 15 0 416584716 11079335936 9660 33554432000 4194304 4196468 140720645143952 139706970198136 139706578881459 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6948] ppid=6891 vsize=10819664 memory=364 CPUtime=0.08 cores=0-3
/proc/6894/task/6948/stat : 6948 (java) S 6891 6894 804 0 -1 1077944384 1 13119 0 0 0 0 6 2 20 0 15 0 416584717 11079335936 9660 33554432000 4194304 4196468 140720645143952 139707002608016 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6949] ppid=6891 vsize=10819664 memory=140300797748698 CPUtime=0.08 cores=0-3
/proc/6894/task/6949/stat : 6949 (java) S 6891 6894 804 0 -1 1077944384 1 13119 0 0 0 0 6 2 20 0 15 0 416584717 11079335936 9660 33554432000 4194304 4196468 140720645143952 139706901498128 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6950] ppid=6891 vsize=10819664 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6950/stat : 6950 (java) S 6891 6894 804 0 -1 1077944384 2 13119 0 0 0 0 6 2 20 0 15 0 416584717 11079335936 9660 33554432000 4194304 4196468 140720645143952 139706900445840 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6951] ppid=6891 vsize=10819664 memory=-1 CPUtime=0.08 cores=0-3
/proc/6894/task/6951/stat : 6951 (java) S 6891 6894 804 0 -1 1077944384 2 13119 0 0 0 0 6 2 20 0 15 0 416584717 11079335936 9660 33554432000 4194304 4196468 140720645143952 139706899393040 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6952] ppid=6891 vsize=10819664 memory=140300797740672 CPUtime=0.08 cores=0-3
/proc/6894/task/6952/stat : 6952 (java) S 6891 6894 804 0 -1 1077944384 2 13119 0 0 0 0 6 2 20 0 15 0 416584718 11079335936 9660 33554432000 4194304 4196468 140720645143952 139706457791088 139706998377090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6953] ppid=6891 vsize=10819664 memory=-1 CPUtime=0.08 cores=0-3
/proc/6894/task/6953/stat : 6953 (java) S 6891 6894 804 0 -1 1077944384 13 13119 0 0 0 0 6 2 20 0 15 0 416584719 11079335936 9660 33554432000 4194304 4196468 140720645143952 139705890891040 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6954] ppid=6891 vsize=10819664 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6954/stat : 6954 (java) S 6891 6894 804 0 -1 1077944384 1 13119 0 0 0 0 6 2 20 0 15 0 416584719 11079335936 9660 33554432000 4194304 4196468 140720645143952 139705756673648 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6955] ppid=6891 vsize=10819664 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6955/stat : 6955 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584722 11079335936 9660 33554432000 4194304 4196468 140720645143952 139705516382800 139706998384539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6956] ppid=6891 vsize=10819664 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6956/stat : 6956 (java) R 6891 6894 804 0 -1 1077944384 310 13119 0 0 0 0 6 2 20 0 15 0 416584722 11079335936 9660 33554432000 4194304 4196468 140720645143952 139706456737904 139706998377090 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6957] ppid=6891 vsize=10819664 memory=-1 CPUtime=0.09 cores=0-3
/proc/6894/task/6957/stat : 6957 (java) R 6891 6894 804 0 -1 4202560 315 13119 0 0 1 0 6 2 20 0 15 0 416584722 11079335936 9660 33554432000 4194304 4196468 140720645143952 139706455685104 139706979716016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6958] ppid=6891 vsize=10819664 memory=140300797740672 CPUtime=0.1 cores=0-3
/proc/6894/task/6958/stat : 6958 (java) R 6891 6894 804 0 -1 4202560 603 13119 0 0 2 0 6 2 20 0 15 0 416584722 11079335936 9660 33554432000 4194304 4196468 140720645143952 139706454627856 139706998377878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6959] ppid=6891 vsize=10819664 memory=-1 CPUtime=0.08 cores=0-3
/proc/6894/task/6959/stat : 6959 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584722 11079335936 9660 33554432000 4194304 4196468 140720645143952 139705482824160 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6960] ppid=6891 vsize=10819664 memory=140300797740672 CPUtime=0.08 cores=0-3
/proc/6894/task/6960/stat : 6960 (java) S 6891 6894 804 0 -1 1077944384 1 13119 0 0 0 0 6 2 20 0 15 0 416584723 11079335936 9660 33554432000 4194304 4196468 140720645143952 139706453580720 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 38640 KiB

[startup+0.311453 s]*
/proc/loadavg: 1.27 1.32 1.33 3/227 6960
/proc/meminfo: memFree=27780984/32770688 swapFree=66919992/67108860
[pid=6894] ppid=6891 vsize=10820148 memory=50352 CPUtime=0.39 cores=0-3
/proc/6894/stat : 6894 (java) S 6891 6894 804 0 -1 1077944320 10266 13119 0 0 28 3 6 2 20 0 15 0 416584706 11079831552 12588 33554432000 4194304 4196468 140720645143952 140720645126496 139706998365943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
/proc/6894/statm: 2705293 12588 3300 1 0 2667405 0
[pid=6894/tid=6947] ppid=6891 vsize=10821172 memory=1398722017469774279 CPUtime=0.28 cores=0-3
/proc/6894/task/6947/stat : 6947 (java) R 6891 6894 804 0 -1 4202560 6955 13119 0 0 18 2 6 2 20 0 15 0 416584716 11080880128 12589 33554432000 4194304 4196468 140720645143952 139706970169328 139706991045661 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6948] ppid=6891 vsize=10821172 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6948/stat : 6948 (java) S 6891 6894 804 0 -1 1077944384 1 13119 0 0 0 0 6 2 20 0 15 0 416584717 11080880128 12589 33554432000 4194304 4196468 140720645143952 139707002608016 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6949] ppid=6891 vsize=10821172 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6949/stat : 6949 (java) S 6891 6894 804 0 -1 1077944384 1 13119 0 0 0 0 6 2 20 0 15 0 416584717 11080880128 12589 33554432000 4194304 4196468 140720645143952 139706901498128 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6950] ppid=6891 vsize=10821172 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6950/stat : 6950 (java) S 6891 6894 804 0 -1 1077944384 2 13119 0 0 0 0 6 2 20 0 15 0 416584717 11080880128 12589 33554432000 4194304 4196468 140720645143952 139706900445840 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6951] ppid=6891 vsize=10820148 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6951/stat : 6951 (java) S 6891 6894 804 0 -1 1077944384 2 13119 0 0 0 0 6 2 20 0 15 0 416584717 11079831552 12589 33554432000 4194304 4196468 140720645143952 139706899393040 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6952] ppid=6891 vsize=10820148 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6952/stat : 6952 (java) S 6891 6894 804 0 -1 1077944384 2 13119 0 0 0 0 6 2 20 0 15 0 416584718 11079831552 12589 33554432000 4194304 4196468 140720645143952 139706457791088 139706998377090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6953] ppid=6891 vsize=10821172 memory=-1 CPUtime=0.08 cores=0-3
/proc/6894/task/6953/stat : 6953 (java) S 6891 6894 804 0 -1 1077944384 13 13119 0 0 0 0 6 2 20 0 15 0 416584719 11080880128 12589 33554432000 4194304 4196468 140720645143952 139705890891040 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6954] ppid=6891 vsize=10821172 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6954/stat : 6954 (java) S 6891 6894 804 0 -1 1077944384 1 13119 0 0 0 0 6 2 20 0 15 0 416584719 11080880128 12589 33554432000 4194304 4196468 140720645143952 139705756673648 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6955] ppid=6891 vsize=10820148 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6955/stat : 6955 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584722 11079831552 12589 33554432000 4194304 4196468 140720645143952 139705516382800 139706998384539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6956] ppid=6891 vsize=10820148 memory=0 CPUtime=0.1 cores=0-3
/proc/6894/task/6956/stat : 6956 (java) S 6891 6894 804 0 -1 1077944384 331 13119 0 0 2 0 6 2 20 0 15 0 416584722 11079831552 12589 33554432000 4194304 4196468 140720645143952 139706456737904 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6957] ppid=6891 vsize=10820148 memory=-1 CPUtime=0.1 cores=0-3
/proc/6894/task/6957/stat : 6957 (java) S 6891 6894 804 0 -1 1077944384 321 13119 0 0 2 0 6 2 20 0 15 0 416584722 11079831552 12589 33554432000 4194304 4196468 140720645143952 139706455685104 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6958] ppid=6891 vsize=10820148 memory=140300797740672 CPUtime=0.13 cores=0-3
/proc/6894/task/6958/stat : 6958 (java) S 6891 6894 804 0 -1 1077944384 615 13119 0 0 5 0 6 2 20 0 15 0 416584722 11079831552 12589 33554432000 4194304 4196468 140720645143952 139706454632816 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6959] ppid=6891 vsize=10820148 memory=-1 CPUtime=0.08 cores=0-3
/proc/6894/task/6959/stat : 6959 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584722 11079831552 12589 33554432000 4194304 4196468 140720645143952 139705482824160 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6960] ppid=6891 vsize=10821172 memory=140300797740672 CPUtime=0.08 cores=0-3
/proc/6894/task/6960/stat : 6960 (java) S 6891 6894 804 0 -1 1077944384 1 13119 0 0 0 0 6 2 20 0 15 0 416584723 11080880128 12589 33554432000 4194304 4196468 140720645143952 139706453580720 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50352 KiB

[startup+0.700742 s]
/proc/loadavg: 1.27 1.32 1.33 4/227 6960
/proc/meminfo: memFree=27766732/32770688 swapFree=66919992/67108860
[pid=6894] ppid=6891 vsize=10822312 memory=77328 CPUtime=1.08 cores=0-3
/proc/6894/stat : 6894 (java) S 6891 6894 804 0 -1 1077944320 14652 13119 0 0 95 5 6 2 20 0 15 0 416584706 11082047488 19332 33554432000 4194304 4196468 140720645143952 140720645126496 139706998365943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
/proc/6894/statm: 2705578 19332 3493 1 0 2667661 0
[pid=6894/tid=6947] ppid=6891 vsize=10822312 memory=5795117241467496816 CPUtime=0.66 cores=0-3
/proc/6894/task/6947/stat : 6947 (java) R 6891 6894 804 0 -1 4202560 9910 13119 0 0 54 4 6 2 20 0 15 0 416584716 11082047488 19332 33554432000 4194304 4196468 140720645143952 139706970181152 139706998387869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6948] ppid=6891 vsize=10822312 memory=47180 CPUtime=0.08 cores=0-3
/proc/6894/task/6948/stat : 6948 (java) S 6891 6894 804 0 -1 1077944384 1 13119 0 0 0 0 6 2 20 0 15 0 416584717 11082047488 19332 33554432000 4194304 4196468 140720645143952 139707002608016 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6949] ppid=6891 vsize=10822312 memory=280601353532896 CPUtime=0.08 cores=0-3
/proc/6894/task/6949/stat : 6949 (java) S 6891 6894 804 0 -1 1077944384 1 13119 0 0 0 0 6 2 20 0 15 0 416584717 11082047488 19332 33554432000 4194304 4196468 140720645143952 139706901498128 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6950] ppid=6891 vsize=10822312 memory=280601353548096 CPUtime=0.08 cores=0-3
/proc/6894/task/6950/stat : 6950 (java) S 6891 6894 804 0 -1 1077944384 2 13119 0 0 0 0 6 2 20 0 15 0 416584717 11082047488 19332 33554432000 4194304 4196468 140720645143952 139706900445840 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6951] ppid=6891 vsize=10822312 memory=140300797739553 CPUtime=0.08 cores=0-3
/proc/6894/task/6951/stat : 6951 (java) S 6891 6894 804 0 -1 1077944384 2 13119 0 0 0 0 6 2 20 0 15 0 416584717 11082047488 19332 33554432000 4194304 4196468 140720645143952 139706899393040 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6952] ppid=6891 vsize=10822312 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6952/stat : 6952 (java) S 6891 6894 804 0 -1 1077944384 5 13119 0 0 0 0 6 2 20 0 15 0 416584718 11082047488 19332 33554432000 4194304 4196468 140720645143952 139706457791088 139706998377090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6953] ppid=6891 vsize=10822312 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6953/stat : 6953 (java) S 6891 6894 804 0 -1 1077944384 13 13119 0 0 0 0 6 2 20 0 15 0 416584719 11082047488 19332 33554432000 4194304 4196468 140720645143952 139705890891040 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6954] ppid=6891 vsize=10822312 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6954/stat : 6954 (java) S 6891 6894 804 0 -1 1077944384 1 13119 0 0 0 0 6 2 20 0 15 0 416584719 11082047488 19332 33554432000 4194304 4196468 140720645143952 139705756673648 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6955] ppid=6891 vsize=10822312 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6955/stat : 6955 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584722 11082047488 19332 33554432000 4194304 4196468 140720645143952 139705516382800 139706998384539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6956] ppid=6891 vsize=10822312 memory=0 CPUtime=0.16 cores=0-3
/proc/6894/task/6956/stat : 6956 (java) R 6891 6894 804 0 -1 4202560 791 13119 0 0 8 0 6 2 20 0 15 0 416584722 11082047488 19332 33554432000 4194304 4196468 140720645143952 139706456725776 139706998387290 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6957] ppid=6891 vsize=10822312 memory=0 CPUtime=0.21 cores=0-3
/proc/6894/task/6957/stat : 6957 (java) R 6891 6894 804 0 -1 4202560 877 13119 0 0 13 0 6 2 20 0 15 0 416584722 11082047488 19332 33554432000 4194304 4196468 140720645143952 139706455664208 139706977555488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6958] ppid=6891 vsize=10822312 memory=0 CPUtime=0.25 cores=0-3
/proc/6894/task/6958/stat : 6958 (java) S 6891 6894 804 0 -1 1077944384 834 13119 0 0 17 0 6 2 20 0 15 0 416584722 11082047488 19332 33554432000 4194304 4196468 140720645143952 139706454632816 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6959] ppid=6891 vsize=10822312 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6959/stat : 6959 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584722 11082047488 19332 33554432000 4194304 4196468 140720645143952 139705482824160 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6960] ppid=6891 vsize=10822312 memory=3624 CPUtime=0.08 cores=0-3
/proc/6894/task/6960/stat : 6960 (java) S 6891 6894 804 0 -1 1077944384 1 13119 0 0 0 0 6 2 20 0 15 0 416584723 11082047488 19332 33554432000 4194304 4196468 140720645143952 139706453580720 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10822312 KiB
Current children cumulated memory: 77328 KiB

[startup+1.50118 s]
/proc/loadavg: 1.41 1.35 1.34 5/227 6960
/proc/meminfo: memFree=27726260/32770688 swapFree=66919992/67108860
[pid=6894] ppid=6891 vsize=10826484 memory=215892 CPUtime=3.55 cores=0-3
/proc/6894/stat : 6894 (java) S 6891 6894 804 0 -1 1077944320 22813 13119 0 0 336 11 6 2 20 0 15 0 416584706 11086319616 53973 33554432000 4194304 4196468 140720645143952 140720645126496 139706998365943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
/proc/6894/statm: 2706621 53973 3584 1 0 2668685 0
[pid=6894/tid=6947] ppid=6891 vsize=10826484 memory=29892972387121 CPUtime=1.45 cores=0-3
/proc/6894/task/6947/stat : 6947 (java) R 6891 6894 804 0 -1 4202560 11733 13119 0 0 130 7 6 2 20 0 15 0 416584716 11086319616 53973 33554432000 4194304 4196468 140720645143952 139706970183264 139706983531615 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6948] ppid=6891 vsize=10826484 memory=8112282956445269571 CPUtime=0.08 cores=0-3
/proc/6894/task/6948/stat : 6948 (java) S 6891 6894 804 0 -1 1077944384 66 13119 0 0 0 0 6 2 20 0 15 0 416584717 11086319616 53973 33554432000 4194304 4196468 140720645143952 139707002608016 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6949] ppid=6891 vsize=10826484 memory=105600 CPUtime=0.08 cores=0-3
/proc/6894/task/6949/stat : 6949 (java) S 6891 6894 804 0 -1 1077944384 51 13119 0 0 0 0 6 2 20 0 15 0 416584717 11086319616 53973 33554432000 4194304 4196468 140720645143952 139706901498128 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6950] ppid=6891 vsize=10826484 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6950/stat : 6950 (java) S 6891 6894 804 0 -1 1077944384 329 13119 0 0 0 0 6 2 20 0 15 0 416584717 11086319616 53973 33554432000 4194304 4196468 140720645143952 139706900445840 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6951] ppid=6891 vsize=10826484 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6951/stat : 6951 (java) S 6891 6894 804 0 -1 1077944384 20 13119 0 0 0 0 6 2 20 0 15 0 416584717 11086319616 53973 33554432000 4194304 4196468 140720645143952 139706899393040 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6952] ppid=6891 vsize=10826484 memory=280601353540480 CPUtime=0.08 cores=0-3
/proc/6894/task/6952/stat : 6952 (java) S 6891 6894 804 0 -1 1077944384 102 13119 0 0 0 0 6 2 20 0 15 0 416584718 11086319616 53973 33554432000 4194304 4196468 140720645143952 139706457791088 139706998377090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6953] ppid=6891 vsize=10826484 memory=280601353967648 CPUtime=0.08 cores=0-3
/proc/6894/task/6953/stat : 6953 (java) S 6891 6894 804 0 -1 1077944384 13 13119 0 0 0 0 6 2 20 0 15 0 416584719 11086319616 53973 33554432000 4194304 4196468 140720645143952 139705890891040 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6954] ppid=6891 vsize=10826484 memory=8112282956445269571 CPUtime=0.08 cores=0-3
/proc/6894/task/6954/stat : 6954 (java) S 6891 6894 804 0 -1 1077944384 1 13119 0 0 0 0 6 2 20 0 15 0 416584719 11086319616 53973 33554432000 4194304 4196468 140720645143952 139705756673648 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6955] ppid=6891 vsize=10826484 memory=7012474400667619408 CPUtime=0.08 cores=0-3
/proc/6894/task/6955/stat : 6955 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584722 11086319616 53973 33554432000 4194304 4196468 140720645143952 139705516382800 139706998384539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6956] ppid=6891 vsize=10826484 memory=140300676873912 CPUtime=0.84 cores=0-3
/proc/6894/task/6956/stat : 6956 (java) R 6891 6894 804 0 -1 4202560 3305 13119 0 0 76 0 6 2 20 0 15 0 416584722 11086319616 53973 33554432000 4194304 4196468 140720645143952 139706456723408 139706982271666 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6957] ppid=6891 vsize=10826484 memory=-7233780906022716832 CPUtime=0.89 cores=0-3
/proc/6894/task/6957/stat : 6957 (java) R 6891 6894 804 0 -1 4202560 2983 13119 0 0 81 0 6 2 20 0 15 0 416584722 11086319616 53973 33554432000 4194304 4196468 140720645143952 139706455673840 139706984381677 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6958] ppid=6891 vsize=10826484 memory=4137290303932963203 CPUtime=0.52 cores=0-3
/proc/6894/task/6958/stat : 6958 (java) S 6891 6894 804 0 -1 1077944384 1991 13119 0 0 44 0 6 2 20 0 15 0 416584722 11086319616 53973 33554432000 4194304 4196468 140720645143952 139706454632816 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6959] ppid=6891 vsize=10826484 memory=6944656425123290226 CPUtime=0.08 cores=0-3
/proc/6894/task/6959/stat : 6959 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584722 11086319616 53973 33554432000 4194304 4196468 140720645143952 139705482824160 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6960] ppid=6891 vsize=10826484 memory=-7531822216213012384 CPUtime=0.08 cores=0-3
/proc/6894/task/6960/stat : 6960 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584723 11086319616 53973 33554432000 4194304 4196468 140720645143952 139706453580720 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
Current children cumulated CPU time: 3.55 s
Current children cumulated vsize: 10826484 KiB

################
# More data... #
################

/proc/6894/task/6947/stat : 6947 (java) R 6891 6894 804 0 -1 4202560 424749 13119 0 0 236742 74 6 2 20 0 15 0 416584716 11107311616 649861 33554432000 4194304 4196468 140720645143952 139706970200896 139706592830775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6948] ppid=6891 vsize=10846984 memory=2599444 CPUtime=9.08 cores=0-3
/proc/6894/task/6948/stat : 6948 (java) S 6891 6894 804 0 -1 1077944384 28268 13119 0 0 816 84 6 2 20 0 15 0 416584717 11107311616 649861 33554432000 4194304 4196468 140720645143952 139707002608016 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6949] ppid=6891 vsize=10846984 memory=280601354486960 CPUtime=9.08 cores=0-3
/proc/6894/task/6949/stat : 6949 (java) S 6891 6894 804 0 -1 1077944384 25648 13119 0 0 814 86 6 2 20 0 15 0 416584717 11107311616 649861 33554432000 4194304 4196468 140720645143952 139706901498128 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6950] ppid=6891 vsize=10846984 memory=2554308 CPUtime=9.08 cores=0-3
/proc/6894/task/6950/stat : 6950 (java) S 6891 6894 804 0 -1 1077944384 28555 13119 0 0 816 84 6 2 20 0 15 0 416584717 11107311616 649861 33554432000 4194304 4196468 140720645143952 139706900445840 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6951] ppid=6891 vsize=10846984 memory=2581008 CPUtime=9.07 cores=0-3
/proc/6894/task/6951/stat : 6951 (java) S 6891 6894 804 0 -1 1077944384 25731 13119 0 0 815 84 6 2 20 0 15 0 416584717 11107311616 649861 33554432000 4194304 4196468 140720645143952 139706899393040 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6952] ppid=6891 vsize=10846984 memory=2599444 CPUtime=3.36 cores=0-3
/proc/6894/task/6952/stat : 6952 (java) S 6891 6894 804 0 -1 1077944384 23906 13119 0 0 294 34 6 2 20 0 15 0 416584718 11107311616 649861 33554432000 4194304 4196468 140720645143952 139706457791088 139706998377090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6953] ppid=6891 vsize=10846984 memory=2599444 CPUtime=0.08 cores=0-3
/proc/6894/task/6953/stat : 6953 (java) S 6891 6894 804 0 -1 1077944384 33 13119 0 0 0 0 6 2 20 0 15 0 416584719 11107311616 649861 33554432000 4194304 4196468 140720645143952 139705890891104 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6954] ppid=6891 vsize=10846984 memory=0 CPUtime=0.08 cores=0-3
/proc/6894/task/6954/stat : 6954 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584719 11107311616 649861 33554432000 4194304 4196468 140720645143952 139705756673664 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6955] ppid=6891 vsize=10846984 memory=2599444 CPUtime=0.08 cores=0-3
/proc/6894/task/6955/stat : 6955 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584722 11107311616 649861 33554432000 4194304 4196468 140720645143952 139705516382800 139706998384539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6956] ppid=6891 vsize=10846984 memory=3624 CPUtime=8.51 cores=0-3
/proc/6894/task/6956/stat : 6956 (java) S 6891 6894 804 0 -1 1077944384 54015 13119 0 0 837 6 6 2 20 0 15 0 416584722 11107311616 649861 33554432000 4194304 4196468 140720645143952 139706456737904 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6957] ppid=6891 vsize=10846984 memory=2599444 CPUtime=8.67 cores=0-3
/proc/6894/task/6957/stat : 6957 (java) S 6891 6894 804 0 -1 1077944384 55775 13119 0 0 852 7 6 2 20 0 15 0 416584722 11107311616 649861 33554432000 4194304 4196468 140720645143952 139706455685104 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6958] ppid=6891 vsize=10846984 memory=2599444 CPUtime=2.71 cores=0-3
/proc/6894/task/6958/stat : 6958 (java) S 6891 6894 804 0 -1 1077944384 40038 13119 0 0 256 7 6 2 20 0 15 0 416584722 11107311616 649861 33554432000 4194304 4196468 140720645143952 139706454632816 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6959] ppid=6891 vsize=10846984 memory=3624 CPUtime=0.08 cores=0-3
/proc/6894/task/6959/stat : 6959 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584722 11107311616 649861 33554432000 4194304 4196468 140720645143952 139705482824160 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6960] ppid=6891 vsize=10846984 memory=2599444 CPUtime=1.41 cores=0-3
/proc/6894/task/6960/stat : 6960 (java) S 6891 6894 804 0 -1 1077944384 1435 13119 0 0 68 65 6 2 20 0 15 0 416584723 11107311616 649861 33554432000 4194304 4196468 140720645143952 139706453580720 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
Current children cumulated CPU time: 2428.59 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2599444 KiB

[startup+2442.3 s]
/proc/loadavg: 1.00 0.93 1.04 2/206 7252
/proc/meminfo: memFree=25676068/32770688 swapFree=66919992/67108860
[pid=6894] ppid=6891 vsize=10846984 memory=2691840 CPUtime=2488.98 cores=0-3
/proc/6894/stat : 6894 (java) S 6891 6894 804 0 -1 1077944320 721316 13119 0 0 248381 509 6 2 20 0 15 0 416584706 11107311616 672960 33554432000 4194304 4196468 140720645143952 140720645126496 139706998365943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
/proc/6894/statm: 2711746 672960 3644 1 0 2673805 0
[pid=6894/tid=6947] ppid=6891 vsize=10846984 memory=2691840 CPUtime=2428.11 cores=0-3
/proc/6894/task/6947/stat : 6947 (java) R 6891 6894 804 0 -1 4202560 433798 13119 0 0 242728 75 6 2 20 0 15 0 416584716 11107311616 672960 33554432000 4194304 4196468 140720645143952 139706970200704 139706582724469 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6948] ppid=6891 vsize=10846984 memory=2644588 CPUtime=9.2 cores=0-3
/proc/6894/task/6948/stat : 6948 (java) S 6891 6894 804 0 -1 1077944384 28423 13119 0 0 825 87 6 2 20 0 15 0 416584717 11107311616 672960 33554432000 4194304 4196468 140720645143952 139707002608016 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6949] ppid=6891 vsize=10846984 memory=2667192 CPUtime=9.19 cores=0-3
/proc/6894/task/6949/stat : 6949 (java) S 6891 6894 804 0 -1 1077944384 25745 13119 0 0 824 87 6 2 20 0 15 0 416584717 11107311616 672960 33554432000 4194304 4196468 140720645143952 139706901498128 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6950] ppid=6891 vsize=10846984 memory=2628196 CPUtime=9.2 cores=0-3
/proc/6894/task/6950/stat : 6950 (java) S 6891 6894 804 0 -1 1077944384 28836 13119 0 0 825 87 6 2 20 0 15 0 416584717 11107311616 672960 33554432000 4194304 4196468 140720645143952 139706900445840 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6951] ppid=6891 vsize=10846984 memory=2628196 CPUtime=9.19 cores=0-3
/proc/6894/task/6951/stat : 6951 (java) S 6891 6894 804 0 -1 1077944384 25784 13119 0 0 825 86 6 2 20 0 15 0 416584717 11107311616 672960 33554432000 4194304 4196468 140720645143952 139706899393040 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6952] ppid=6891 vsize=10846984 memory=2663096 CPUtime=3.36 cores=0-3
/proc/6894/task/6952/stat : 6952 (java) S 6891 6894 804 0 -1 1077944384 24087 13119 0 0 294 34 6 2 20 0 15 0 416584718 11107311616 672960 33554432000 4194304 4196468 140720645143952 139706457791088 139706998377090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6953] ppid=6891 vsize=10846984 memory=1432 CPUtime=0.08 cores=0-3
/proc/6894/task/6953/stat : 6953 (java) S 6891 6894 804 0 -1 1077944384 33 13119 0 0 0 0 6 2 20 0 15 0 416584719 11107311616 672960 33554432000 4194304 4196468 140720645143952 139705890891104 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6954] ppid=6891 vsize=10846984 memory=2667192 CPUtime=0.08 cores=0-3
/proc/6894/task/6954/stat : 6954 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584719 11107311616 672960 33554432000 4194304 4196468 140720645143952 139705756673664 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6955] ppid=6891 vsize=10846984 memory=2663096 CPUtime=0.08 cores=0-3
/proc/6894/task/6955/stat : 6955 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584722 11107311616 672960 33554432000 4194304 4196468 140720645143952 139705516382800 139706998384539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6956] ppid=6891 vsize=10846984 memory=2691840 CPUtime=8.52 cores=0-3
/proc/6894/task/6956/stat : 6956 (java) S 6891 6894 804 0 -1 1077944384 54390 13119 0 0 838 6 6 2 20 0 15 0 416584722 11107311616 672960 33554432000 4194304 4196468 140720645143952 139706456737904 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6957] ppid=6891 vsize=10846984 memory=2691840 CPUtime=8.67 cores=0-3
/proc/6894/task/6957/stat : 6957 (java) S 6891 6894 804 0 -1 1077944384 55862 13119 0 0 852 7 6 2 20 0 15 0 416584722 11107311616 672960 33554432000 4194304 4196468 140720645143952 139706455685104 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6958] ppid=6891 vsize=10846984 memory=1556 CPUtime=2.72 cores=0-3
/proc/6894/task/6958/stat : 6958 (java) S 6891 6894 804 0 -1 1077944384 40675 13119 0 0 257 7 6 2 20 0 15 0 416584722 11107311616 672960 33554432000 4194304 4196468 140720645143952 139706454632816 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6959] ppid=6891 vsize=10846984 memory=3624 CPUtime=0.08 cores=0-3
/proc/6894/task/6959/stat : 6959 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584722 11107311616 672960 33554432000 4194304 4196468 140720645143952 139705482824160 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6960] ppid=6891 vsize=10846984 memory=0 CPUtime=1.44 cores=0-3
/proc/6894/task/6960/stat : 6960 (java) S 6891 6894 804 0 -1 1077944384 1464 13119 0 0 70 66 6 2 20 0 15 0 416584723 11107311616 672960 33554432000 4194304 4196468 140720645143952 139706453580720 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
Current children cumulated CPU time: 2488.98 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2691840 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2473.11 s]
/proc/loadavg: 0.93 0.92 1.04 2/206 7254
/proc/meminfo: memFree=25604316/32770688 swapFree=66919992/67108860
[pid=6894] ppid=6891 vsize=10846984 memory=2763608 CPUtime=2520.06 cores=0-3
/proc/6894/stat : 6894 (java) S 6891 6894 804 0 -1 1077944320 723705 13119 0 0 251482 516 6 2 20 0 15 0 416584706 11107311616 690902 33554432000 4194304 4196468 140720645143952 140720645126496 139706998365943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
/proc/6894/statm: 2711746 690902 3644 1 0 2673805 0
[pid=6894/tid=6947] ppid=6891 vsize=10846984 memory=1556 CPUtime=2458.83 cores=0-3
/proc/6894/task/6947/stat : 6947 (java) R 6891 6894 804 0 -1 4202560 434989 13119 0 0 245800 75 6 2 20 0 15 0 416584716 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706970201648 139706586704007 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6948] ppid=6891 vsize=10846984 memory=2691840 CPUtime=9.28 cores=0-3
/proc/6894/task/6948/stat : 6948 (java) S 6891 6894 804 0 -1 1077944384 28524 13119 0 0 832 88 6 2 20 0 15 0 416584717 11107311616 690902 33554432000 4194304 4196468 140720645143952 139707002608016 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6949] ppid=6891 vsize=10846984 memory=2745168 CPUtime=9.27 cores=0-3
/proc/6894/task/6949/stat : 6949 (java) S 6891 6894 804 0 -1 1077944384 25917 13119 0 0 830 89 6 2 20 0 15 0 416584717 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706901498128 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6950] ppid=6891 vsize=10846984 memory=2745168 CPUtime=9.27 cores=0-3
/proc/6894/task/6950/stat : 6950 (java) S 6891 6894 804 0 -1 1077944384 28871 13119 0 0 831 88 6 2 20 0 15 0 416584717 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706900445840 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6951] ppid=6891 vsize=10846984 memory=2763608 CPUtime=9.27 cores=0-3
/proc/6894/task/6951/stat : 6951 (java) S 6891 6894 804 0 -1 1077944384 25901 13119 0 0 831 88 6 2 20 0 15 0 416584717 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706899393040 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6952] ppid=6891 vsize=10846984 memory=2745168 CPUtime=3.37 cores=0-3
/proc/6894/task/6952/stat : 6952 (java) S 6891 6894 804 0 -1 1077944384 24159 13119 0 0 294 35 6 2 20 0 15 0 416584718 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706457791088 139706998377090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6953] ppid=6891 vsize=10846984 memory=2763608 CPUtime=0.08 cores=0-3
/proc/6894/task/6953/stat : 6953 (java) S 6891 6894 804 0 -1 1077944384 33 13119 0 0 0 0 6 2 20 0 15 0 416584719 11107311616 690902 33554432000 4194304 4196468 140720645143952 139705890891104 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6954] ppid=6891 vsize=10846984 memory=2763608 CPUtime=0.08 cores=0-3
/proc/6894/task/6954/stat : 6954 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584719 11107311616 690902 33554432000 4194304 4196468 140720645143952 139705756673664 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6955] ppid=6891 vsize=10846984 memory=2763608 CPUtime=0.08 cores=0-3
/proc/6894/task/6955/stat : 6955 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584722 11107311616 690902 33554432000 4194304 4196468 140720645143952 139705516382800 139706998384539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6956] ppid=6891 vsize=10846984 memory=2763608 CPUtime=8.53 cores=0-3
/proc/6894/task/6956/stat : 6956 (java) S 6891 6894 804 0 -1 1077944384 54620 13119 0 0 839 6 6 2 20 0 15 0 416584722 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706456737904 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6957] ppid=6891 vsize=10846984 memory=2763608 CPUtime=8.69 cores=0-3
/proc/6894/task/6957/stat : 6957 (java) S 6891 6894 804 0 -1 1077944384 56328 13119 0 0 854 7 6 2 20 0 15 0 416584722 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706455685104 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6958] ppid=6891 vsize=10846984 memory=16192026709247 CPUtime=2.72 cores=0-3
/proc/6894/task/6958/stat : 6958 (java) S 6891 6894 804 0 -1 1077944384 40675 13119 0 0 257 7 6 2 20 0 15 0 416584722 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706454632816 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6959] ppid=6891 vsize=10846984 memory=2763608 CPUtime=0.08 cores=0-3
/proc/6894/task/6959/stat : 6959 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584722 11107311616 690902 33554432000 4194304 4196468 140720645143952 139705482824160 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6960] ppid=6891 vsize=10846984 memory=800 CPUtime=1.46 cores=0-3
/proc/6894/task/6960/stat : 6960 (java) S 6891 6894 804 0 -1 1077944384 1469 13119 0 0 71 67 6 2 20 0 15 0 416584723 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706453580720 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2763608 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2473.2 s]
# the end of solver process 6894 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.97 s, system=5.2032 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2473.11 s]
/proc/loadavg: 0.93 0.92 1.04 2/206 7254
/proc/meminfo: memFree=25604316/32770688 swapFree=66919992/67108860
[pid=6894] ppid=6891 vsize=10846984 memory=2763608 CPUtime=2520.06 cores=0-3
/proc/6894/stat : 6894 (java) S 6891 6894 804 0 -1 1077944320 723705 13119 0 0 251482 516 6 2 20 0 15 0 416584706 11107311616 690902 33554432000 4194304 4196468 140720645143952 140720645126496 139706998365943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
/proc/6894/statm: 2711746 690902 3644 1 0 2673805 0
[pid=6894/tid=6947] ppid=6891 vsize=10846984 memory=1556 CPUtime=2458.83 cores=0-3
/proc/6894/task/6947/stat : 6947 (java) R 6891 6894 804 0 -1 4202560 434989 13119 0 0 245800 75 6 2 20 0 15 0 416584716 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706970201648 139706586704007 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6948] ppid=6891 vsize=10846984 memory=2691840 CPUtime=9.28 cores=0-3
/proc/6894/task/6948/stat : 6948 (java) S 6891 6894 804 0 -1 1077944384 28524 13119 0 0 832 88 6 2 20 0 15 0 416584717 11107311616 690902 33554432000 4194304 4196468 140720645143952 139707002608016 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6949] ppid=6891 vsize=10846984 memory=2745168 CPUtime=9.27 cores=0-3
/proc/6894/task/6949/stat : 6949 (java) S 6891 6894 804 0 -1 1077944384 25917 13119 0 0 830 89 6 2 20 0 15 0 416584717 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706901498128 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6950] ppid=6891 vsize=10846984 memory=2745168 CPUtime=9.27 cores=0-3
/proc/6894/task/6950/stat : 6950 (java) S 6891 6894 804 0 -1 1077944384 28871 13119 0 0 831 88 6 2 20 0 15 0 416584717 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706900445840 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6951] ppid=6891 vsize=10846984 memory=2763608 CPUtime=9.27 cores=0-3
/proc/6894/task/6951/stat : 6951 (java) S 6891 6894 804 0 -1 1077944384 25901 13119 0 0 831 88 6 2 20 0 15 0 416584717 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706899393040 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6952] ppid=6891 vsize=10846984 memory=2745168 CPUtime=3.37 cores=0-3
/proc/6894/task/6952/stat : 6952 (java) S 6891 6894 804 0 -1 1077944384 24159 13119 0 0 294 35 6 2 20 0 15 0 416584718 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706457791088 139706998377090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6953] ppid=6891 vsize=10846984 memory=2763608 CPUtime=0.08 cores=0-3
/proc/6894/task/6953/stat : 6953 (java) S 6891 6894 804 0 -1 1077944384 33 13119 0 0 0 0 6 2 20 0 15 0 416584719 11107311616 690902 33554432000 4194304 4196468 140720645143952 139705890891104 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6954] ppid=6891 vsize=10846984 memory=2763608 CPUtime=0.08 cores=0-3
/proc/6894/task/6954/stat : 6954 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584719 11107311616 690902 33554432000 4194304 4196468 140720645143952 139705756673664 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6955] ppid=6891 vsize=10846984 memory=2763608 CPUtime=0.08 cores=0-3
/proc/6894/task/6955/stat : 6955 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584722 11107311616 690902 33554432000 4194304 4196468 140720645143952 139705516382800 139706998384539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6956] ppid=6891 vsize=10846984 memory=2763608 CPUtime=8.53 cores=0-3
/proc/6894/task/6956/stat : 6956 (java) S 6891 6894 804 0 -1 1077944384 54620 13119 0 0 839 6 6 2 20 0 15 0 416584722 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706456737904 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6957] ppid=6891 vsize=10846984 memory=2763608 CPUtime=8.69 cores=0-3
/proc/6894/task/6957/stat : 6957 (java) S 6891 6894 804 0 -1 1077944384 56328 13119 0 0 854 7 6 2 20 0 15 0 416584722 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706455685104 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6958] ppid=6891 vsize=10846984 memory=16192026709247 CPUtime=2.72 cores=0-3
/proc/6894/task/6958/stat : 6958 (java) S 6891 6894 804 0 -1 1077944384 40675 13119 0 0 257 7 6 2 20 0 15 0 416584722 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706454632816 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6959] ppid=6891 vsize=10846984 memory=2763608 CPUtime=0.08 cores=0-3
/proc/6894/task/6959/stat : 6959 (java) S 6891 6894 804 0 -1 1077944384 3 13119 0 0 0 0 6 2 20 0 15 0 416584722 11107311616 690902 33554432000 4194304 4196468 140720645143952 139705482824160 139706998376149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
[pid=6894/tid=6960] ppid=6891 vsize=10846984 memory=800 CPUtime=1.46 cores=0-3
/proc/6894/task/6960/stat : 6960 (java) S 6891 6894 804 0 -1 1077944384 1469 13119 0 0 71 67 6 2 20 0 15 0 416584723 11107311616 690902 33554432000 4194304 4196468 140720645143952 139706453580720 139706998377090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7966720 140720645151473 140720645153989 140720645153989 140720645156815 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2763608 KiB

Child status: 143
Real time (s): 2473.2
CPU time (s): 2520.17
CPU user time (s): 2514.97
CPU system time (s): 5.2032
CPU usage (%): 101.899
Max. virtual memory (cumulated for all children) (KiB): 10849608
Max. memory (cumulated for all children) (KiB): 2763608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.97
system time used= 5.2032
maximum resident set size= 2767732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 737465
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116385
involuntary context switches= 7897


# summary of solver processes directly reported to runsolver:
#   pid: 6894
#   total CPU time (s): 2520.17
#   total CPU user time (s): 2514.97
#   total CPU system time (s): 5.2032

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6241 second user time and 26.1997 second system time

The end

Name	Ramsey/Ramsey-m1-s1/ Ramsey-45.xml
MD5SUM	1426235d943c6b8ba94de7087c35e664
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2520
Satisfiable
(Un)Satisfiability was proved
Number of variables	2025
Number of constraints	14190
Number of domains	1
Minimum domain size	990
Maximum domain size	990
Distribution of domain sizes	[{"size":990,"count":990}]
Minimum variable degree	0
Maximum variable degree	44
Distribution of variable degrees	[{"degree":0,"count":1035},{"degree":44,"count":990}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":14190}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"nValues","count":14190}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4396298

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data