2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	24073	2520.1	2441.33

0.99/0.74	c Concrete v3.9.2.1532736233296 running
224.71/194.81	o 24725
225.22/195.27	o 24489
225.43/195.30	o 24467
225.43/195.33	o 24426
225.43/195.37	o 24392
225.72/195.45	o 24360
228.03/197.44	o 24337
228.03/197.46	o 24320
228.35/197.78	o 24257
228.47/197.81	o 24190
2203.83/2132.08	o 24073
2520.05/2441.30	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.05/2441.30		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.05/2441.30		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.05/2441.30		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.05/2441.30		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.05/2441.30		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.05/2441.30		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.05/2441.30		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.05/2441.30		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.05/2441.30		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2441.30		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.05/2441.30		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.05/2441.30		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2441.30		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.05/2441.30		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.05/2441.30		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2441.30		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.05/2441.30		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.05/2441.30		at scala.Option.map(Option.scala:146)
2520.05/2441.30		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.05/2441.30		at concrete.MAC.mac(MAC.scala:203)
2520.05/2441.30		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.05/2441.30		at scala.util.Try$.apply(Try.scala:209)
2520.05/2441.30		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.05/2441.30		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.05/2441.30		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.05/2441.30		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.05/2441.30		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.05/2441.30		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.05/2441.30		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.05/2441.30		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.05/2441.30		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.05/2441.30		at concrete.MAC.oneRun(MAC.scala:253)
2520.05/2441.30		at concrete.MAC.nextSolution(MAC.scala:272)
2520.05/2441.30		at concrete.MAC.nextSolution(MAC.scala:355)
2520.05/2441.30		at concrete.Solver.hasNext(Solver.scala:166)
2520.05/2441.30		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.05/2441.30		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.05/2441.30		at concrete.Solver.foreach(Solver.scala:68)
2520.05/2441.30		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.05/2441.31		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.05/2441.31		at scala.util.Success.map(Try.scala:209)
2520.05/2441.31		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.05/2441.31		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.05/2441.31		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.05/2441.31		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.05/2441.31		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.05/2441.31		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.05/2441.31		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.05/2441.31		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.05/2441.31		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.05/2441.31		at scala.collection.immutable.List.foreach(List.scala:389)
2520.05/2441.31		at scala.App.main(App.scala:76)
2520.05/2441.31		at scala.App.main$(App.scala:74)
2520.05/2441.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.05/2441.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2441.31	v <instantiation cost="24073">
2520.05/2441.31	v       <list>
2520.05/2441.31	v         o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[0][26] h[0][27] h[0][28] h[0][29] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[1][26] h[1][27] h[1][28] h[1][29] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[2][26] h[2][27] h[2][28] h[2][29] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[3][26] h[3][27] h[3][28] h[3][29] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[4][26] h[4][27] h[4][28] h[4][29] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[5][26] h[5][27] h[5][28] h[5][29] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[6][26] h[6][27] h[6][28] h[6][29] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[7][26] h[7][27] h[7][28] h[7][29] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[8][26] h[8][27] h[8][28] h[8][29] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[9][26] h[9][27] h[9][28] h[9][29] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[10][26] h[10][27] h[10][28] h[10][29] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[11][26] h[11][27] h[11][28] h[11][29] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[12][26] h[12][27] h[12][28] h[12][29] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] h[13][26] h[13][27] h[13][28] h[13][29] h[14][0] h[14][1] h[14][2] h[14][3] h[14][4] h[14][5] h[14][6] h[14][7] h[14][8] h[14][9] h[14][10] h[14][11] h[14][12] h[14][13] h[14][14] h[14][15] h[14][16] h[14][17] h[14][18] h[14][19] h[14][20] h[14][21] h[14][22] h[14][23] h[14][24] h[14][25] h[14][26] h[14][27] h[14][28] h[14][29] h[15][0] h[15][1] h[15][2] h[15][3] h[15][4] h[15][5] h[15][6] h[15][7] h[15][8] h[15][9] h[15][10] h[15][11] h[15][12] h[15][13] h[15][14] h[15][15] h[15][16] h[15][17] h[15][18] h[15][19] h[15][20] h[15][21] h[15][22] h[15][23] h[15][24] h[15][25] h[15][26] h[15][27] h[15][28] h[15][29] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[0][26] a[0][27] a[0][28] a[0][29] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[1][26] a[1][27] a[1][28] a[1][29] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[2][26] a[2][27] a[2][28] a[2][29] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[3][26] a[3][27] a[3][28] a[3][29] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[4][26] a[4][27] a[4][28] a[4][29] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[5][26] a[5][27] a[5][28] a[5][29] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[6][26] a[6][27] a[6][28] a[6][29] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[7][26] a[7][27] a[7][28] a[7][29] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[8][26] a[8][27] a[8][28] a[8][29] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[9][26] a[9][27] a[9][28] a[9][29] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[10][26] a[10][27] a[10][28] a[10][29] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[11][26] a[11][27] a[11][28] a[11][29] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[12][26] a[12][27] a[12][28] a[12][29] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] a[13][26] a[13][27] a[13][28] a[13][29] a[14][0] a[14][1] a[14][2] a[14][3] a[14][4] a[14][5] a[14][6] a[14][7] a[14][8] a[14][9] a[14][10] a[14][11] a[14][12] a[14][13] a[14][14] a[14][15] a[14][16] a[14][17] a[14][18] a[14][19] a[14][20] a[14][21] a[14][22] a[14][23] a[14][24] a[14][25] a[14][26] a[14][27] a[14][28] a[14][29] a[15][0] a[15][1] a[15][2] a[15][3] a[15][4] a[15][5] a[15][6] a[15][7] a[15][8] a[15][9] a[15][10] a[15][11] a[15][12] a[15][13] a[15][14] a[15][15] a[15][16] a[15][17] a[15][18] a[15][19] a[15][20] a[15][21] a[15][22] a[15][23] a[15][24] a[15][25] a[15][26] a[15][27] a[15][28] a[15][29] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[0][27] t[0][28] t[0][29] t[0][30] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[1][27] t[1][28] t[1][29] t[1][30] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[2][27] t[2][28] t[2][29] t[2][30] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[3][27] t[3][28] t[3][29] t[3][30] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[4][27] t[4][28] t[4][29] t[4][30] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[5][27] t[5][28] t[5][29] t[5][30] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[6][27] t[6][28] t[6][29] t[6][30] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[7][27] t[7][28] t[7][29] t[7][30] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[8][27] t[8][28] t[8][29] t[8][30] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[9][27] t[9][28] t[9][29] t[9][30] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[10][27] t[10][28] t[10][29] t[10][30] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[11][27] t[11][28] t[11][29] t[11][30] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[12][27] t[12][28] t[12][29] t[12][30] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26] t[13][27] t[13][28] t[13][29] t[13][30] t[14][0] t[14][1] t[14][2] t[14][3] t[14][4] t[14][5] t[14][6] t[14][7] t[14][8] t[14][9] t[14][10] t[14][11] t[14][12] t[14][13] t[14][14] t[14][15] t[14][16] t[14][17] t[14][18] t[14][19] t[14][20] t[14][21] t[14][22] t[14][23] t[14][24] t[14][25] t[14][26] t[14][27] t[14][28] t[14][29] t[14][30] t[15][0] t[15][1] t[15][2] t[15][3] t[15][4] t[15][5] t[15][6] t[15][7] t[15][8] t[15][9] t[15][10] t[15][11] t[15][12] t[15][13] t[15][14] t[15][15] t[15][16] t[15][17] t[15][18] t[15][19] t[15][20] t[15][21] t[15][22] t[15][23] t[15][24] t[15][25] t[15][26] t[15][27] t[15][28] t[15][29] t[15][30]
2520.05/2441.31	v       </list>
2520.05/2441.31	v       <values>
2520.05/2441.31	v         12 3 4 4 6 12 11 2 5 7 14 7 13 1 1 5 2 8 11 8 6 15 10 10 15 13 9 3 9 14 6 7 9 5 12 5 3 3 12 10 8 10 15 0 0 8 13 15 13 9 2 6 14 14 2 7 4 11 11 4 14 15 12 12 14 3 5 0 4 11 7 15 11 3 9 13 0 10 6 7 1 10 5 4 1 9 6 8 13 8 5 0 15 13 4 2 1 1 9 5 13 14 10 2 11 6 10 9 12 12 8 8 11 6 7 14 7 0 4 15 11 12 0 0 3 7 14 13 2 6 15 5 8 9 10 9 7 6 15 10 11 14 12 2 13 8 1 5 3 1 3 8 14 1 11 1 2 7 0 3 10 4 9 6 6 0 11 7 14 13 13 9 2 8 12 15 15 4 10 12 1 9 8 9 0 11 10 15 8 4 12 13 12 5 5 3 14 4 2 14 0 1 13 3 11 10 2 15 7 7 9 1 11 15 8 4 12 5 10 0 2 0 14 11 15 14 4 5 9 2 10 12 8 13 3 1 3 13 6 6 13 5 6 14 7 9 15 9 6 12 1 11 4 13 14 1 12 0 10 0 3 3 7 5 10 4 11 2 15 2 7 6 1 6 10 8 13 8 3 14 11 12 5 4 2 4 15 3 7 1 12 5 15 11 14 2 0 10 0 13 15 13 13 11 9 15 6 14 7 1 5 1 3 14 4 12 3 2 8 4 7 2 0 0 8 6 12 9 5 11 4 14 7 10 5 6 0 12 13 2 9 8 2 7 3 15 5 14 0 15 4 13 3 9 6 12 8 1 1 10 0 4 2 2 1 0 7 11 1 8 6 9 6 15 13 10 8 13 3 3 9 7 4 15 5 11 10 14 14 5 8 10 10 3 15 14 9 4 11 15 3 6 0 8 12 2 1 12 1 5 5 11 6 7 4 0 14 7 2 9 2 11 5 8 2 13 4 10 15 9 0 3 7 10 8 7 6 11 5 6 15 4 1 1 9 3 13 12 12 0 10 2 3 7 13 10 8 6 14 13 4 2 1 12 7 11 9 1 4 11 14 0 9 12 0 5 5 6 8 3 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 1 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 1 57 80 34 36 18 44 0 15 15 44 82 59 0 10 10 39 39 48 69 55 0 59 39 55 0 59 59 0 51 51 0 39 39 43 43 55 94 40 32 32 0 46 73 65 0 10 10 64 32 68 0 22 22 0 53 53 44 44 0 64 70 31 56 105 59 48 48 47 47 0 45 45 56 56 58 58 49 49 15 15 56 56 0 55 51 50 22 22 0 53 104 61 0 0 0 63 32 50 0 32 32 67 81 41 0 69 55 47 47 47 0 80 80 68 68 66 66 14 82 72 34 36 51 0 0 73 57 36 51 51 70 91 91 18 91 90 21 68 55 0 64 64 0 74 10 70 0 45 45 0 31 40 35 0 0 41 41 0 40 64 44 50 50 39 39 0 35 35 0 27 27 0 48 82 93 75 93 81 42 42 69 69 0 51 101 94 0 0 31 68 69 70 70 91 91 0 88 90 92 27 27 0 83 70 18 0 44 10 39 47 47 75 55 56 0 59 59 0 44 64 67 81 21 64 48 51 69 0 44 44 0 57 105 82 0 79 49 56 90 90 41 41 0 14 14 59 59 0 0 42 42 84 84 68 68 0 31 31 0 69 69 104 104 46 55 81 73 55 48 68 14 81 0 21 21 0 97 59 53 79 59 69 0 103 103 0 68 68 17 17 30 94 81 0 55 55 67 67 43 43 0 103 45 105 49 15 51 0 93 93 0 0 66 66 0 39 91 75 0 65 40 51 0 111 70 74 69 47 55 0 69 69 0 55 48 73 101 30 103 10 10 70 70 113 10 10 0 55 57 105 58 49 105 0 67 14 66 44 44 0 45 45 69 69 0 70 70 69 46 64 0 0 0 0 48 48 0 57 44 90 55 46 81 0 88 91 97 101 101 90 90 80 67 30 73 73 94 44 105 0 27 27 0 104 73 66 0 32 32 93 93 69 69 50 50 59 59 90 48 61 0 64 40 75 0 92 92 91 91 91 82 41 0 0 0 0 93 93 56 61 91 111 39 105 0 72 14 82 84 84 0 113 113 83 83 70 31 53 17 17 0 27 27 59 59 39 39 0 57 57 0 97 97 0 32 32 59 22 68 0 45 105 103 90 90 105 105 0 97 57 59 69 27 91 63 63
2520.05/2441.31	v       </values>
2520.05/2441.31	v     </instantiation>
2520.05/2441.32	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: 16374 MiB (11759 MiB free)
  memory of node 1: 16384 MiB (14399 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304711-1534127931/watcher-4304711-1534127931 -o /tmp/evaluation-result-4304711-1534127931/solver-4304711-1534127931 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534099504-1961 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1361266281 HOME/instance-4304711-1534127931.xml 

running on 4 cores: 1,3,5,7

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

solver pid=8050, runsolver pid=8047

[startup+0.100094 s]*
/proc/loadavg: 1.44 1.41 1.36 7/206 8107
/proc/meminfo: memFree=26781920/32770624 swapFree=67108804/67108860
[pid=8050] ppid=8047 vsize=10005480 memory=14908 CPUtime=0.08 cores=1,3,5,7
/proc/8050/stat : 8050 (java) S 8047 8050 1929 0 -1 1077944320 4410 12845 0 0 1 0 4 3 20 0 6 0 230356235 10245611520 3727 33554432000 4194304 4196468 140728918216336 140728918198880 140259841375991 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
/proc/8050/statm: 2501370 3727 1934 1 0 2489808 0
[pid=8050/tid=8103] ppid=8047 vsize=10005480 memory=-9032380014983954367 CPUtime=0.08 cores=1,3,5,7
/proc/8050/task/8103/stat : 8103 (java) R 8047 8050 1929 0 -1 4202560 2257 12845 0 0 1 0 4 3 20 0 6 0 230356244 10245611520 3793 33554432000 4194304 4196468 140728918216336 140259813212752 140259841397917 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8104] ppid=8047 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8104/stat : 8104 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 6 0 230356245 10245611520 3793 33554432000 4194304 4196468 140728918216336 140259845618576 140259841386197 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8105] ppid=8047 vsize=10005480 memory=140244483737216 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8105/stat : 8105 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 6 0 230356245 10245611520 3793 33554432000 4194304 4196468 140728918216336 140259741821712 140259841386197 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8106] ppid=8047 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8106/stat : 8106 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 6 0 230356245 10245611520 3793 33554432000 4194304 4196468 140728918216336 140259380096144 140259841386197 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8107] ppid=8047 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8107/stat : 8107 (java) S 8047 8050 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 6 0 230356245 10245611520 3793 33554432000 4194304 4196468 140728918216336 140259379043344 140259841386197 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14908 KiB

[startup+0.209971 s]*
/proc/loadavg: 1.44 1.41 1.36 3/215 8116
/proc/meminfo: memFree=26757804/32770624 swapFree=67108804/67108860
[pid=8050] ppid=8047 vsize=10982744 memory=41868 CPUtime=0.25 cores=1,3,5,7
/proc/8050/stat : 8050 (java) S 8047 8050 1929 0 -1 1077944320 7709 12845 0 0 17 1 4 3 20 0 15 0 230356235 11246329856 10467 33554432000 4194304 4196468 140728918216336 140728918198880 140259841375991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
/proc/8050/statm: 2745686 10467 2956 1 0 2708109 0
[pid=8050/tid=8103] ppid=8047 vsize=10982744 memory=8514701219931451533 CPUtime=0.19 cores=1,3,5,7
/proc/8050/task/8103/stat : 8103 (java) R 8047 8050 1929 0 -1 4202560 4421 12845 0 0 11 1 4 3 20 0 15 0 230356244 11246329856 10731 33554432000 4194304 4196468 140728918216336 140259813199440 140259821651805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8104] ppid=8047 vsize=10982744 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8104/stat : 8104 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356245 11246329856 10731 33554432000 4194304 4196468 140728918216336 140259845618576 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8105] ppid=8047 vsize=10982744 memory=140244483737216 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8105/stat : 8105 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356245 11246329856 10731 33554432000 4194304 4196468 140728918216336 140259741821712 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8106] ppid=8047 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8106/stat : 8106 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356245 11246329856 10731 33554432000 4194304 4196468 140728918216336 140259380096144 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8107] ppid=8047 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8107/stat : 8107 (java) S 8047 8050 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 15 0 230356245 11246329856 10731 33554432000 4194304 4196468 140728918216336 140259379043344 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8108] ppid=8047 vsize=10982744 memory=140244483737216 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8108/stat : 8108 (java) S 8047 8050 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 15 0 230356246 11246329856 10731 33554432000 4194304 4196468 140728918216336 140259266373744 140259841387138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8109] ppid=8047 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8109/stat : 8109 (java) S 8047 8050 1929 0 -1 1077944384 13 12845 0 0 0 0 4 3 20 0 15 0 230356247 11246329856 10731 33554432000 4194304 4196468 140728918216336 140258666603296 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8110] ppid=8047 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8110/stat : 8110 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356247 11246329856 10731 33554432000 4194304 4196468 140728918216336 140258465277040 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8111] ppid=8047 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8111/stat : 8111 (java) S 8047 8050 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 230356249 11246329856 10731 33554432000 4194304 4196468 140728918216336 140258157877328 140259841394587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8112] ppid=8047 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8050/task/8112/stat : 8112 (java) S 8047 8050 1929 0 -1 1077944384 368 12845 0 0 1 0 4 3 20 0 15 0 230356249 11246329856 10731 33554432000 4194304 4196468 140728918216336 140259265321584 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8113] ppid=8047 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8113/stat : 8113 (java) S 8047 8050 1929 0 -1 1077944384 262 12845 0 0 0 0 4 3 20 0 15 0 230356249 11246329856 10731 33554432000 4194304 4196468 140728918216336 140259264268784 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8114] ppid=8047 vsize=10982744 memory=140244483737216 CPUtime=0.1 cores=1,3,5,7
/proc/8050/task/8114/stat : 8114 (java) S 8047 8050 1929 0 -1 1077944384 674 12845 0 0 3 0 4 3 20 0 15 0 230356250 11246329856 10797 33554432000 4194304 4196468 140728918216336 140259263216496 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8115] ppid=8047 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8115/stat : 8115 (java) S 8047 8050 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 230356250 11246329856 10797 33554432000 4194304 4196468 140728918216336 140257727081440 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8116] ppid=8047 vsize=10982744 memory=140244483737216 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8116/stat : 8116 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356250 11246329856 10797 33554432000 4194304 4196468 140728918216336 140259262163376 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41868 KiB

[startup+0.310171 s]*
/proc/loadavg: 1.44 1.41 1.36 3/215 8116
/proc/meminfo: memFree=26745896/32770624 swapFree=67108804/67108860
[pid=8050] ppid=8047 vsize=10983192 memory=54404 CPUtime=0.38 cores=1,3,5,7
/proc/8050/stat : 8050 (java) S 8047 8050 1929 0 -1 1077944320 10655 12845 0 0 29 2 4 3 20 0 15 0 230356235 11246788608 13601 33554432000 4194304 4196468 140728918216336 140728918198880 140259841375991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
/proc/8050/statm: 2745798 13601 3101 1 0 2708109 0
[pid=8050/tid=8103] ppid=8047 vsize=10983192 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/8050/task/8103/stat : 8103 (java) R 8047 8050 1929 0 -1 4202560 7084 12845 0 0 20 1 4 3 20 0 15 0 230356244 11246788608 13601 33554432000 4194304 4196468 140728918216336 140259813188000 140259822939551 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8104] ppid=8047 vsize=10983192 memory=7373342926183747664 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8104/stat : 8104 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356245 11246788608 13601 33554432000 4194304 4196468 140728918216336 140259845618576 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8105] ppid=8047 vsize=10983192 memory=2072 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8105/stat : 8105 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356245 11246788608 13601 33554432000 4194304 4196468 140728918216336 140259741821712 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8106] ppid=8047 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8106/stat : 8106 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356245 11246788608 13601 33554432000 4194304 4196468 140728918216336 140259380096144 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8107] ppid=8047 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8107/stat : 8107 (java) S 8047 8050 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 15 0 230356245 11246788608 13601 33554432000 4194304 4196468 140728918216336 140259379043344 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8108] ppid=8047 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8108/stat : 8108 (java) S 8047 8050 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 15 0 230356246 11246788608 13601 33554432000 4194304 4196468 140728918216336 140259266373744 140259841387138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8109] ppid=8047 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8109/stat : 8109 (java) S 8047 8050 1929 0 -1 1077944384 13 12845 0 0 0 0 4 3 20 0 15 0 230356247 11246788608 13601 33554432000 4194304 4196468 140728918216336 140258666603296 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8110] ppid=8047 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8110/stat : 8110 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356247 11246788608 13601 33554432000 4194304 4196468 140728918216336 140258465277040 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8111] ppid=8047 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8111/stat : 8111 (java) S 8047 8050 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 230356249 11246788608 13601 33554432000 4194304 4196468 140728918216336 140258157877328 140259841394587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8112] ppid=8047 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8050/task/8112/stat : 8112 (java) S 8047 8050 1929 0 -1 1077944384 368 12845 0 0 1 0 4 3 20 0 15 0 230356249 11246788608 13601 33554432000 4194304 4196468 140728918216336 140259265321584 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8113] ppid=8047 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8050/task/8113/stat : 8113 (java) S 8047 8050 1929 0 -1 1077944384 272 12845 0 0 1 0 4 3 20 0 15 0 230356249 11246788608 13601 33554432000 4194304 4196468 140728918216336 140259264268784 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8114] ppid=8047 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8050/task/8114/stat : 8114 (java) S 8047 8050 1929 0 -1 1077944384 710 12845 0 0 5 0 4 3 20 0 15 0 230356250 11246788608 13601 33554432000 4194304 4196468 140728918216336 140259263216496 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8115] ppid=8047 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8115/stat : 8115 (java) S 8047 8050 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 230356250 11246788608 13601 33554432000 4194304 4196468 140728918216336 140257727081440 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8116] ppid=8047 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8116/stat : 8116 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356250 11246788608 13601 33554432000 4194304 4196468 140728918216336 140259262163376 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54404 KiB

[startup+0.700783 s]
/proc/loadavg: 1.44 1.41 1.36 4/215 8116
/proc/meminfo: memFree=26734152/32770624 swapFree=67108804/67108860
[pid=8050] ppid=8047 vsize=10983192 memory=87420 CPUtime=0.99 cores=1,3,5,7
/proc/8050/stat : 8050 (java) S 8047 8050 1929 0 -1 1077944320 17091 12845 0 0 88 4 4 3 20 0 15 0 230356235 11246788608 21855 33554432000 4194304 4196468 140728918216336 140728918198880 140259841375991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
/proc/8050/statm: 2745798 21855 3238 1 0 2708109 0
[pid=8050/tid=8103] ppid=8047 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/8050/task/8103/stat : 8103 (java) R 8047 8050 1929 0 -1 4202560 12342 12845 0 0 56 3 4 3 20 0 15 0 230356244 11246788608 21855 33554432000 4194304 4196468 140728918216336 140259813198992 140259825456478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8104] ppid=8047 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8104/stat : 8104 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356245 11246788608 21855 33554432000 4194304 4196468 140728918216336 140259845618576 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8105] ppid=8047 vsize=10983192 memory=3708 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8105/stat : 8105 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356245 11246788608 21855 33554432000 4194304 4196468 140728918216336 140259741821712 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8106] ppid=8047 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8106/stat : 8106 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356245 11246788608 21855 33554432000 4194304 4196468 140728918216336 140259380096144 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8107] ppid=8047 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8107/stat : 8107 (java) S 8047 8050 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 15 0 230356245 11246788608 21855 33554432000 4194304 4196468 140728918216336 140259379043344 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8108] ppid=8047 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8108/stat : 8108 (java) S 8047 8050 1929 0 -1 1077944384 5 12845 0 0 0 0 4 3 20 0 15 0 230356246 11246788608 21855 33554432000 4194304 4196468 140728918216336 140259266373744 140259841387138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8109] ppid=8047 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8109/stat : 8109 (java) S 8047 8050 1929 0 -1 1077944384 13 12845 0 0 0 0 4 3 20 0 15 0 230356247 11246788608 21855 33554432000 4194304 4196468 140728918216336 140258666603296 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8110] ppid=8047 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8110/stat : 8110 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356247 11246788608 21855 33554432000 4194304 4196468 140728918216336 140258465277040 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8111] ppid=8047 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8111/stat : 8111 (java) S 8047 8050 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 230356249 11246788608 21855 33554432000 4194304 4196468 140728918216336 140258157877328 140259841394587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8112] ppid=8047 vsize=10983192 memory=13252 CPUtime=0.17 cores=1,3,5,7
/proc/8050/task/8112/stat : 8112 (java) S 8047 8050 1929 0 -1 1077944384 966 12845 0 0 10 0 4 3 20 0 15 0 230356249 11246788608 21855 33554432000 4194304 4196468 140728918216336 140259265321584 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8113] ppid=8047 vsize=10983192 memory=15460 CPUtime=0.14 cores=1,3,5,7
/proc/8050/task/8113/stat : 8113 (java) S 8047 8050 1929 0 -1 1077944384 640 12845 0 0 7 0 4 3 20 0 15 0 230356249 11246788608 21855 33554432000 4194304 4196468 140728918216336 140259264268784 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8114] ppid=8047 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/8050/task/8114/stat : 8114 (java) S 8047 8050 1929 0 -1 1077944384 919 12845 0 0 13 0 4 3 20 0 15 0 230356250 11246788608 21855 33554432000 4194304 4196468 140728918216336 140259263216496 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8115] ppid=8047 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8115/stat : 8115 (java) S 8047 8050 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 230356250 11246788608 21855 33554432000 4194304 4196468 140728918216336 140257727081440 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8116] ppid=8047 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8116/stat : 8116 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356250 11246788608 21855 33554432000 4194304 4196468 140728918216336 140259262163376 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87420 KiB

[startup+1.50127 s]
/proc/loadavg: 1.44 1.41 1.36 3/215 8116
/proc/meminfo: memFree=26692696/32770624 swapFree=67108804/67108860
[pid=8050] ppid=8047 vsize=10991948 memory=209096 CPUtime=3.11 cores=1,3,5,7
/proc/8050/stat : 8050 (java) S 8047 8050 1929 0 -1 1077944320 23981 12845 0 0 297 7 4 3 20 0 15 0 230356235 11255754752 52274 33554432000 4194304 4196468 140728918216336 140728918198880 140259841375991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
/proc/8050/statm: 2747987 52274 3451 1 0 2709645 0
[pid=8050/tid=8103] ppid=8047 vsize=10991948 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/8050/task/8103/stat : 8103 (java) R 8047 8050 1929 0 -1 4202560 15254 12845 0 0 133 5 4 3 20 0 15 0 230356244 11255754752 52274 33554432000 4194304 4196468 140728918216336 140259813208888 140259410911493 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8104] ppid=8047 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8104/stat : 8104 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356245 11255754752 52274 33554432000 4194304 4196468 140728918216336 140259845618576 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8105] ppid=8047 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8105/stat : 8105 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356245 11255754752 52274 33554432000 4194304 4196468 140728918216336 140259741821712 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8106] ppid=8047 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8106/stat : 8106 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356245 11255754752 52274 33554432000 4194304 4196468 140728918216336 140259380096144 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8107] ppid=8047 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8107/stat : 8107 (java) S 8047 8050 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 15 0 230356245 11255754752 52274 33554432000 4194304 4196468 140728918216336 140259379043344 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8108] ppid=8047 vsize=10991948 memory=1399103955520229747 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8108/stat : 8108 (java) S 8047 8050 1929 0 -1 1077944384 13 12845 0 0 0 0 4 3 20 0 15 0 230356246 11255754752 52274 33554432000 4194304 4196468 140728918216336 140259266373744 140259841387138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8109] ppid=8047 vsize=10991948 memory=280488744921344 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8109/stat : 8109 (java) S 8047 8050 1929 0 -1 1077944384 13 12845 0 0 0 0 4 3 20 0 15 0 230356247 11255754752 52274 33554432000 4194304 4196468 140728918216336 140258666603296 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8110] ppid=8047 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8110/stat : 8110 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356247 11255754752 52274 33554432000 4194304 4196468 140728918216336 140258465277040 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8111] ppid=8047 vsize=10991948 memory=1084 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8111/stat : 8111 (java) S 8047 8050 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 230356249 11255754752 52274 33554432000 4194304 4196468 140728918216336 140258157877328 140259841394587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8112] ppid=8047 vsize=10991948 memory=1600 CPUtime=0.67 cores=1,3,5,7
/proc/8050/task/8112/stat : 8112 (java) R 8047 8050 1929 0 -1 4202560 1891 12845 0 0 60 0 4 3 20 0 15 0 230356249 11255754752 52274 33554432000 4194304 4196468 140728918216336 140259265302448 140259820594632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8113] ppid=8047 vsize=10991948 memory=7952 CPUtime=0.63 cores=1,3,5,7
/proc/8050/task/8113/stat : 8113 (java) R 8047 8050 1929 0 -1 4202560 2767 12845 0 0 56 0 4 3 20 0 15 0 230356249 11255754752 52274 33554432000 4194304 4196468 140728918216336 140259264252608 140259824861933 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8114] ppid=8047 vsize=10991948 memory=4088 CPUtime=0.52 cores=1,3,5,7
/proc/8050/task/8114/stat : 8114 (java) S 8047 8050 1929 0 -1 1077944384 1837 12845 0 0 45 0 4 3 20 0 15 0 230356250 11255754752 52274 33554432000 4194304 4196468 140728918216336 140259263216496 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8115] ppid=8047 vsize=10991948 memory=1784 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8115/stat : 8115 (java) S 8047 8050 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 230356250 11255754752 52274 33554432000 4194304 4196468 140728918216336 140257727081440 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8116] ppid=8047 vsize=10991948 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8116/stat : 8116 (java) S 8047 8050 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 230356250 11255754752 52274 33554432000 4194304 4196468 140728918216336 140259262163376 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
Current children cumulated CPU time: 3.11 s
Current children cumulated vsize: 10991948 KiB

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

/proc/8050/task/8103/stat : 8103 (java) R 8047 8050 1929 0 -1 4202560 141228 12845 0 0 223869 62 4 3 20 0 15 0 230356244 11348049920 232948 33554432000 4194304 4196468 140728918216336 140259813210624 140259433958608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8104] ppid=8047 vsize=11082080 memory=13851893122205948 CPUtime=14.85 cores=1,3,5,7
/proc/8050/task/8104/stat : 8104 (java) S 8047 8050 1929 0 -1 1077944384 32290 12845 0 0 1429 49 4 3 20 0 15 0 230356245 11348049920 232948 33554432000 4194304 4196468 140728918216336 140259845618576 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8105] ppid=8047 vsize=11082080 memory=2080 CPUtime=14.93 cores=1,3,5,7
/proc/8050/task/8105/stat : 8105 (java) S 8047 8050 1929 0 -1 1077944384 26084 12845 0 0 1436 50 4 3 20 0 15 0 230356245 11348049920 232948 33554432000 4194304 4196468 140728918216336 140259741821712 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8106] ppid=8047 vsize=11082080 memory=1036 CPUtime=14.87 cores=1,3,5,7
/proc/8050/task/8106/stat : 8106 (java) S 8047 8050 1929 0 -1 1077944384 32955 12845 0 0 1429 51 4 3 20 0 15 0 230356245 11348049920 232948 33554432000 4194304 4196468 140728918216336 140259380096144 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8107] ppid=8047 vsize=11082080 memory=1736 CPUtime=14.93 cores=1,3,5,7
/proc/8050/task/8107/stat : 8107 (java) S 8047 8050 1929 0 -1 1077944384 28555 12845 0 0 1436 50 4 3 20 0 15 0 230356245 11348049920 232948 33554432000 4194304 4196468 140728918216336 140259379043344 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8108] ppid=8047 vsize=11082080 memory=752 CPUtime=5.78 cores=1,3,5,7
/proc/8050/task/8108/stat : 8108 (java) S 8047 8050 1929 0 -1 1077944384 22242 12845 0 0 526 45 4 3 20 0 15 0 230356246 11348049920 232948 33554432000 4194304 4196468 140728918216336 140259266373744 140259841387138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8109] ppid=8047 vsize=11082080 memory=836 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8109/stat : 8109 (java) S 8047 8050 1929 0 -1 1077944384 20 12845 0 0 0 0 4 3 20 0 15 0 230356247 11348049920 232948 33554432000 4194304 4196468 140728918216336 140258666603360 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8110] ppid=8047 vsize=11082080 memory=1084 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8110/stat : 8110 (java) S 8047 8050 1929 0 -1 1077944384 5 12845 0 0 0 0 4 3 20 0 15 0 230356247 11348049920 232948 33554432000 4194304 4196468 140728918216336 140258465277056 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8111] ppid=8047 vsize=11082080 memory=1600 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8111/stat : 8111 (java) S 8047 8050 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 230356249 11348049920 232948 33554432000 4194304 4196468 140728918216336 140258157877328 140259841394587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8112] ppid=8047 vsize=11082080 memory=7952 CPUtime=13.75 cores=1,3,5,7
/proc/8050/task/8112/stat : 8112 (java) S 8047 8050 1929 0 -1 1077944384 136452 12845 0 0 1357 11 4 3 20 0 15 0 230356249 11348049920 232948 33554432000 4194304 4196468 140728918216336 140259265321584 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8113] ppid=8047 vsize=11082080 memory=4088 CPUtime=13.55 cores=1,3,5,7
/proc/8050/task/8113/stat : 8113 (java) S 8047 8050 1929 0 -1 1077944384 126047 12845 0 0 1338 10 4 3 20 0 15 0 230356249 11348049920 232948 33554432000 4194304 4196468 140728918216336 140259264268784 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8114] ppid=8047 vsize=11082080 memory=1784 CPUtime=4.19 cores=1,3,5,7
/proc/8050/task/8114/stat : 8114 (java) S 8047 8050 1929 0 -1 1077944384 124889 12845 0 0 401 11 4 3 20 0 15 0 230356250 11348049920 232948 33554432000 4194304 4196468 140728918216336 140259263216496 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8115] ppid=8047 vsize=11082080 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8115/stat : 8115 (java) S 8047 8050 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 230356250 11348049920 232948 33554432000 4194304 4196468 140728918216336 140257727081440 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8116] ppid=8047 vsize=11082080 memory=1408 CPUtime=1.39 cores=1,3,5,7
/proc/8050/task/8116/stat : 8116 (java) S 8047 8050 1929 0 -1 1077944384 2758 12845 0 0 61 71 4 3 20 0 15 0 230356250 11348049920 232948 33554432000 4194304 4196468 140728918216336 140259262163376 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
Current children cumulated CPU time: 2337.12 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 931792 KiB

[startup+2322.3 s]
/proc/loadavg: 1.52 1.45 1.39 3/215 8343
/proc/meminfo: memFree=25853504/32770624 swapFree=67108804/67108860
[pid=8050] ppid=8047 vsize=11082080 memory=913836 CPUtime=2398.43 cores=1,3,5,7
/proc/8050/stat : 8050 (java) S 8047 8050 1929 0 -1 1077944320 677682 12845 0 0 239449 387 4 3 20 0 15 0 230356235 11348049920 228459 33554432000 4194304 4196468 140728918216336 140728918198880 140259841375991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
/proc/8050/statm: 2770520 228459 3535 1 0 2732173 0
[pid=8050/tid=8103] ppid=8047 vsize=11082080 memory=288230583166042425 CPUtime=2298.73 cores=1,3,5,7
/proc/8050/task/8103/stat : 8103 (java) R 8047 8050 1929 0 -1 4202560 141651 12845 0 0 229804 62 4 3 20 0 15 0 230356244 11348049920 228459 33554432000 4194304 4196468 140728918216336 140259813211568 140259437125364 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8104] ppid=8047 vsize=11082080 memory=13851893122205948 CPUtime=15.27 cores=1,3,5,7
/proc/8050/task/8104/stat : 8104 (java) S 8047 8050 1929 0 -1 1077944384 32312 12845 0 0 1470 50 4 3 20 0 15 0 230356245 11348049920 228459 33554432000 4194304 4196468 140728918216336 140259845618576 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8105] ppid=8047 vsize=11082080 memory=496 CPUtime=15.37 cores=1,3,5,7
/proc/8050/task/8105/stat : 8105 (java) S 8047 8050 1929 0 -1 1077944384 26210 12845 0 0 1479 51 4 3 20 0 15 0 230356245 11348049920 228459 33554432000 4194304 4196468 140728918216336 140259741821712 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8106] ppid=8047 vsize=11082080 memory=1616 CPUtime=15.31 cores=1,3,5,7
/proc/8050/task/8106/stat : 8106 (java) S 8047 8050 1929 0 -1 1077944384 32983 12845 0 0 1471 53 4 3 20 0 15 0 230356245 11348049920 228459 33554432000 4194304 4196468 140728918216336 140259380096144 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8107] ppid=8047 vsize=11082080 memory=932 CPUtime=15.36 cores=1,3,5,7
/proc/8050/task/8107/stat : 8107 (java) S 8047 8050 1929 0 -1 1077944384 28622 12845 0 0 1479 50 4 3 20 0 15 0 230356245 11348049920 228459 33554432000 4194304 4196468 140728918216336 140259379043344 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8108] ppid=8047 vsize=11082080 memory=1168 CPUtime=5.95 cores=1,3,5,7
/proc/8050/task/8108/stat : 8108 (java) S 8047 8050 1929 0 -1 1077944384 22296 12845 0 0 542 46 4 3 20 0 15 0 230356246 11348049920 228459 33554432000 4194304 4196468 140728918216336 140259266373744 140259841387138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8109] ppid=8047 vsize=11082080 memory=1984 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8109/stat : 8109 (java) S 8047 8050 1929 0 -1 1077944384 20 12845 0 0 0 0 4 3 20 0 15 0 230356247 11348049920 228459 33554432000 4194304 4196468 140728918216336 140258666603360 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8110] ppid=8047 vsize=11082080 memory=301741373374332954 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8110/stat : 8110 (java) S 8047 8050 1929 0 -1 1077944384 5 12845 0 0 0 0 4 3 20 0 15 0 230356247 11348049920 228459 33554432000 4194304 4196468 140728918216336 140258465277056 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8111] ppid=8047 vsize=11082080 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8111/stat : 8111 (java) S 8047 8050 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 230356249 11348049920 228459 33554432000 4194304 4196468 140728918216336 140258157877328 140259841394587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8112] ppid=8047 vsize=11082080 memory=301741382048153913 CPUtime=13.76 cores=1,3,5,7
/proc/8050/task/8112/stat : 8112 (java) S 8047 8050 1929 0 -1 1077944384 136566 12845 0 0 1358 11 4 3 20 0 15 0 230356249 11348049920 228459 33554432000 4194304 4196468 140728918216336 140259265321584 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8113] ppid=8047 vsize=11082080 memory=13851893122205948 CPUtime=13.57 cores=1,3,5,7
/proc/8050/task/8113/stat : 8113 (java) S 8047 8050 1929 0 -1 1077944384 126600 12845 0 0 1340 10 4 3 20 0 15 0 230356249 11348049920 228459 33554432000 4194304 4196468 140728918216336 140259264268784 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8114] ppid=8047 vsize=11082080 memory=1168 CPUtime=4.2 cores=1,3,5,7
/proc/8050/task/8114/stat : 8114 (java) S 8047 8050 1929 0 -1 1077944384 125445 12845 0 0 402 11 4 3 20 0 15 0 230356250 11348049920 228459 33554432000 4194304 4196468 140728918216336 140259263216496 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8115] ppid=8047 vsize=11082080 memory=1984 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8115/stat : 8115 (java) S 8047 8050 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 230356250 11348049920 228459 33554432000 4194304 4196468 140728918216336 140257727081440 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8116] ppid=8047 vsize=11082080 memory=913836 CPUtime=1.43 cores=1,3,5,7
/proc/8050/task/8116/stat : 8116 (java) S 8047 8050 1929 0 -1 1077944384 2773 12845 0 0 63 73 4 3 20 0 15 0 230356250 11348049920 228459 33554432000 4194304 4196468 140728918216336 140259262163376 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
Current children cumulated CPU time: 2398.43 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 913836 KiB

[startup+2382.3 s]
/proc/loadavg: 1.44 1.45 1.39 3/215 8344
/proc/meminfo: memFree=25981756/32770624 swapFree=67108804/67108860
[pid=8050] ppid=8047 vsize=11082080 memory=884596 CPUtime=2459.75 cores=1,3,5,7
/proc/8050/stat : 8050 (java) S 8047 8050 1929 0 -1 1077944320 680458 12845 0 0 245576 392 4 3 20 0 15 0 230356235 11348049920 221149 33554432000 4194304 4196468 140728918216336 140728918198880 140259841375991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
/proc/8050/statm: 2770520 221149 3535 1 0 2732173 0
[pid=8050/tid=8103] ppid=8047 vsize=11082080 memory=886648 CPUtime=2358.1 cores=1,3,5,7
/proc/8050/task/8103/stat : 8103 (java) R 8047 8050 1929 0 -1 4202560 142311 12845 0 0 235740 63 4 3 20 0 15 0 230356244 11348049920 221149 33554432000 4194304 4196468 140728918216336 140259813211024 140259410679840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8104] ppid=8047 vsize=11082080 memory=8112282956445269571 CPUtime=15.7 cores=1,3,5,7
/proc/8050/task/8104/stat : 8104 (java) S 8047 8050 1929 0 -1 1077944384 32465 12845 0 0 1512 51 4 3 20 0 15 0 230356245 11348049920 221149 33554432000 4194304 4196468 140728918216336 140259845618576 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8105] ppid=8047 vsize=11082080 memory=288230583166042425 CPUtime=15.79 cores=1,3,5,7
/proc/8050/task/8105/stat : 8105 (java) S 8047 8050 1929 0 -1 1077944384 26347 12845 0 0 1521 51 4 3 20 0 15 0 230356245 11348049920 221149 33554432000 4194304 4196468 140728918216336 140259741821712 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8106] ppid=8047 vsize=11082080 memory=13851893122205948 CPUtime=15.72 cores=1,3,5,7
/proc/8050/task/8106/stat : 8106 (java) S 8047 8050 1929 0 -1 1077944384 33186 12845 0 0 1512 53 4 3 20 0 15 0 230356245 11348049920 221149 33554432000 4194304 4196468 140728918216336 140259380096144 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8107] ppid=8047 vsize=11082080 memory=892804 CPUtime=15.79 cores=1,3,5,7
/proc/8050/task/8107/stat : 8107 (java) S 8047 8050 1929 0 -1 1077944384 28738 12845 0 0 1521 51 4 3 20 0 15 0 230356245 11348049920 221149 33554432000 4194304 4196468 140728918216336 140259379043344 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8108] ppid=8047 vsize=11082080 memory=8112282956445269571 CPUtime=6.13 cores=1,3,5,7
/proc/8050/task/8108/stat : 8108 (java) S 8047 8050 1929 0 -1 1077944384 22513 12845 0 0 559 47 4 3 20 0 15 0 230356246 11348049920 221149 33554432000 4194304 4196468 140728918216336 140259266373744 140259841387138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8109] ppid=8047 vsize=11082080 memory=62592 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8109/stat : 8109 (java) S 8047 8050 1929 0 -1 1077944384 20 12845 0 0 0 0 4 3 20 0 15 0 230356247 11348049920 221149 33554432000 4194304 4196468 140728918216336 140258666603360 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8110] ppid=8047 vsize=11082080 memory=2080 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8110/stat : 8110 (java) S 8047 8050 1929 0 -1 1077944384 5 12845 0 0 0 0 4 3 20 0 15 0 230356247 11348049920 221149 33554432000 4194304 4196468 140728918216336 140258465277056 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8111] ppid=8047 vsize=11082080 memory=1036 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8111/stat : 8111 (java) S 8047 8050 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 230356249 11348049920 221149 33554432000 4194304 4196468 140728918216336 140258157877328 140259841394587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8112] ppid=8047 vsize=11082080 memory=1736 CPUtime=13.78 cores=1,3,5,7
/proc/8050/task/8112/stat : 8112 (java) S 8047 8050 1929 0 -1 1077944384 137195 12845 0 0 1359 12 4 3 20 0 15 0 230356249 11348049920 221149 33554432000 4194304 4196468 140728918216336 140259265321584 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8113] ppid=8047 vsize=11082080 memory=752 CPUtime=13.59 cores=1,3,5,7
/proc/8050/task/8113/stat : 8113 (java) S 8047 8050 1929 0 -1 1077944384 126871 12845 0 0 1342 10 4 3 20 0 15 0 230356249 11348049920 221149 33554432000 4194304 4196468 140728918216336 140259264268784 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8114] ppid=8047 vsize=11082080 memory=836 CPUtime=4.2 cores=1,3,5,7
/proc/8050/task/8114/stat : 8114 (java) R 8047 8050 1929 0 -1 4202560 125818 12845 0 0 402 11 4 3 20 0 15 0 230356250 11348049920 221149 33554432000 4194304 4196468 140728918216336 140259263216496 140259820322295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8115] ppid=8047 vsize=11082080 memory=1084 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8115/stat : 8115 (java) S 8047 8050 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 230356250 11348049920 221149 33554432000 4194304 4196468 140728918216336 140257727081440 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8116] ppid=8047 vsize=11082080 memory=1600 CPUtime=1.46 cores=1,3,5,7
/proc/8050/task/8116/stat : 8116 (java) S 8047 8050 1929 0 -1 1077944384 2790 12845 0 0 65 74 4 3 20 0 15 0 230356250 11348049920 221149 33554432000 4194304 4196468 140728918216336 140259262163376 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
Current children cumulated CPU time: 2459.75 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 884596 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2441.3 s]
/proc/loadavg: 1.45 1.44 1.40 3/215 8345
/proc/meminfo: memFree=26038400/32770624 swapFree=67108804/67108860
[pid=8050] ppid=8047 vsize=11082080 memory=866636 CPUtime=2520.05 cores=1,3,5,7
/proc/8050/stat : 8050 (java) S 8047 8050 1929 0 -1 1077944320 683326 12845 0 0 251600 398 4 3 20 0 15 0 230356235 11348049920 216659 33554432000 4194304 4196468 140728918216336 140728918198880 140259841375991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
/proc/8050/statm: 2770520 216659 3535 1 0 2732173 0
[pid=8050/tid=8103] ppid=8047 vsize=11082080 memory=8112282956445269571 CPUtime=2416.45 cores=1,3,5,7
/proc/8050/task/8103/stat : 8103 (java) R 8047 8050 1929 0 -1 4202560 142969 12845 0 0 241574 64 4 3 20 0 15 0 230356244 11348049920 216659 33554432000 4194304 4196468 140728918216336 140259813210912 140259411695560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8104] ppid=8047 vsize=11082080 memory=301741382048153913 CPUtime=16.13 cores=1,3,5,7
/proc/8050/task/8104/stat : 8104 (java) S 8047 8050 1929 0 -1 1077944384 32757 12845 0 0 1555 51 4 3 20 0 15 0 230356245 11348049920 216659 33554432000 4194304 4196468 140728918216336 140259845618576 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8105] ppid=8047 vsize=11082080 memory=13851893122205948 CPUtime=16.23 cores=1,3,5,7
/proc/8050/task/8105/stat : 8105 (java) S 8047 8050 1929 0 -1 1077944384 26513 12845 0 0 1563 53 4 3 20 0 15 0 230356245 11348049920 216659 33554432000 4194304 4196468 140728918216336 140259741821712 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8106] ppid=8047 vsize=11082080 memory=288230583166042425 CPUtime=16.16 cores=1,3,5,7
/proc/8050/task/8106/stat : 8106 (java) S 8047 8050 1929 0 -1 1077944384 33249 12845 0 0 1555 54 4 3 20 0 15 0 230356245 11348049920 216659 33554432000 4194304 4196468 140728918216336 140259380096144 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8107] ppid=8047 vsize=11082080 memory=13851893122205948 CPUtime=16.22 cores=1,3,5,7
/proc/8050/task/8107/stat : 8107 (java) S 8047 8050 1929 0 -1 1077944384 28810 12845 0 0 1564 51 4 3 20 0 15 0 230356245 11348049920 216659 33554432000 4194304 4196468 140728918216336 140259379043344 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8108] ppid=8047 vsize=11082080 memory=1916 CPUtime=6.29 cores=1,3,5,7
/proc/8050/task/8108/stat : 8108 (java) S 8047 8050 1929 0 -1 1077944384 22725 12845 0 0 574 48 4 3 20 0 15 0 230356246 11348049920 216659 33554432000 4194304 4196468 140728918216336 140259266373744 140259841387138 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8109] ppid=8047 vsize=11082080 memory=7528 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8109/stat : 8109 (java) S 8047 8050 1929 0 -1 1077944384 20 12845 0 0 0 0 4 3 20 0 15 0 230356247 11348049920 216659 33554432000 4194304 4196468 140728918216336 140258666603360 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8110] ppid=8047 vsize=11082080 memory=808 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8110/stat : 8110 (java) S 8047 8050 1929 0 -1 1077944384 5 12845 0 0 0 0 4 3 20 0 15 0 230356247 11348049920 216659 33554432000 4194304 4196468 140728918216336 140258465277056 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8111] ppid=8047 vsize=11082080 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8111/stat : 8111 (java) S 8047 8050 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 230356249 11348049920 216659 33554432000 4194304 4196468 140728918216336 140258157877328 140259841394587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8112] ppid=8047 vsize=11082080 memory=3220 CPUtime=13.8 cores=1,3,5,7
/proc/8050/task/8112/stat : 8112 (java) S 8047 8050 1929 0 -1 1077944384 137791 12845 0 0 1361 12 4 3 20 0 15 0 230356249 11348049920 216659 33554432000 4194304 4196468 140728918216336 140259265321584 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8113] ppid=8047 vsize=11082080 memory=867148 CPUtime=13.59 cores=1,3,5,7
/proc/8050/task/8113/stat : 8113 (java) S 8047 8050 1929 0 -1 1077944384 127088 12845 0 0 1342 10 4 3 20 0 15 0 230356249 11348049920 216659 33554432000 4194304 4196468 140728918216336 140259264268784 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8114] ppid=8047 vsize=11082080 memory=1408 CPUtime=4.21 cores=1,3,5,7
/proc/8050/task/8114/stat : 8114 (java) S 8047 8050 1929 0 -1 1077944384 126395 12845 0 0 403 11 4 3 20 0 15 0 230356250 11348049920 216659 33554432000 4194304 4196468 140728918216336 140259263216496 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8115] ppid=8047 vsize=11082080 memory=3128 CPUtime=0.07 cores=1,3,5,7
/proc/8050/task/8115/stat : 8115 (java) S 8047 8050 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 230356250 11348049920 216659 33554432000 4194304 4196468 140728918216336 140257727081440 140259841386197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
[pid=8050/tid=8116] ppid=8047 vsize=11082080 memory=1565216 CPUtime=1.5 cores=1,3,5,7
/proc/8050/task/8116/stat : 8116 (java) S 8047 8050 1929 0 -1 1077944384 2805 12845 0 0 67 76 4 3 20 0 15 0 230356250 11348049920 216659 33554432000 4194304 4196468 140728918216336 140259262163376 140259841387138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19611648 140728918219372 140728918222172 140728918222172 140728918224847 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 866636 KiB

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

[startup+2441.33 s]
# the end of solver process 8050 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.07 s, system=4.03098 s

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

Child status: 143
Real time (s): 2441.33
CPU time (s): 2520.1
CPU user time (s): 2516.07
CPU system time (s): 4.03098
CPU usage (%): 103.227
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 2846304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.07
system time used= 4.03098
maximum resident set size= 2849576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 697007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 180583
involuntary context switches= 5508


# summary of solver processes directly reported to runsolver:
#   pid: 8050
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2516.07
#   total CPU system time (s): 4.03098

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6384 second user time and 21.5155 second system time

The end

Name	TravelingTournament/ TravelingTournament-a2-galaxy16_c18.xml
MD5SUM	8cfce4baee5c579b6f10529c309e3c1c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	23338
Best CPU time to get the best result obtained on this benchmark	2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables	1936
Number of constraints	8495
Number of domains	3
Minimum domain size	2
Maximum domain size	66
Distribution of domain sizes	[{"size":2,"count":960},{"size":16,"count":480},{"size":66,"count":496}]
Minimum variable degree	2
Maximum variable degree	50
Distribution of variable degrees	[{"degree":2,"count":976},{"degree":47,"count":448},{"degree":48,"count":480},{"degree":49,"count":30},{"degree":50,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	30
Distribution of constraint arities	[{"arity":2,"count":481},{"arity":3,"count":32},{"arity":4,"count":6496},{"arity":5,"count":464},{"arity":16,"count":510},{"arity":18,"count":480},{"arity":30,"count":32}]
Number of extensional constraints	496
Number of intensional constraints	6977
Distribution of constraint types	[{"type":"extension","count":496},{"type":"intension","count":6977},{"type":"regular","count":16},{"type":"allDifferent","count":30},{"type":"cardinality","count":16},{"type":"element","count":960}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4304711

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