2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	SAT (TO)	25239	252.106	190.45

0.98/0.74	c Concrete v3.9.2.1532736233296 running
174.04/127.16	o 25283
174.73/127.67	o 25239
252.03/190.41	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
252.03/190.41		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
252.03/190.41		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
252.03/190.41		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
252.03/190.41		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
252.03/190.41		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
252.03/190.41		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
252.03/190.41		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
252.03/190.41		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
252.03/190.41		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.03/190.41		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.03/190.41		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.03/190.41		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.03/190.41		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.03/190.41		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.03/190.41		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.03/190.41		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
252.03/190.41		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
252.03/190.41		at scala.Option.map(Option.scala:146)
252.03/190.41		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
252.03/190.41		at concrete.MAC.mac(MAC.scala:203)
252.03/190.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.03/190.41		at scala.util.Try$.apply(Try.scala:209)
252.03/190.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.03/190.41		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.03/190.41		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.03/190.41		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.03/190.41		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.03/190.41		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.03/190.41		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.03/190.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.03/190.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.03/190.41		at concrete.MAC.oneRun(MAC.scala:253)
252.03/190.41		at concrete.MAC.nextSolution(MAC.scala:272)
252.03/190.41		at concrete.MAC.nextSolution(MAC.scala:355)
252.03/190.41		at concrete.Solver.hasNext(Solver.scala:166)
252.03/190.41		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.03/190.41		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.03/190.41		at concrete.Solver.foreach(Solver.scala:68)
252.03/190.41		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.03/190.41		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.03/190.41		at scala.util.Success.map(Try.scala:209)
252.03/190.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.03/190.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.03/190.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.03/190.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.03/190.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.03/190.41		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.03/190.41		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.03/190.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.03/190.41		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.03/190.41		at scala.collection.immutable.List.foreach(List.scala:389)
252.03/190.41		at scala.App.main(App.scala:76)
252.03/190.41		at scala.App.main$(App.scala:74)
252.03/190.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.03/190.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.03/190.42	v <instantiation cost="25239">
252.03/190.42	v       <list>
252.03/190.42	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]
252.03/190.42	v       </list>
252.03/190.42	v       <values>
252.03/190.42	v         4 11 9 5 3 6 15 4 10 10 13 7 3 8 7 11 14 9 2 12 14 2 13 8 15 12 1 1 6 5 11 7 2 15 14 9 6 10 13 4 10 15 5 13 8 12 5 4 8 11 3 12 3 2 9 14 0 0 7 6 5 15 1 6 5 15 9 3 7 11 7 13 12 4 6 10 3 14 0 10 8 0 9 1 4 11 13 8 14 12 6 6 14 14 0 13 12 2 4 12 11 5 0 7 9 8 2 5 10 4 1 10 1 7 11 15 15 9 13 8 0 9 11 10 7 7 14 0 3 1 12 6 11 2 15 14 8 1 9 3 13 15 5 5 2 10 8 6 12 13 2 14 15 0 2 14 10 11 12 6 8 3 1 11 12 15 1 3 7 8 10 13 4 4 6 7 9 13 9 0 3 3 13 2 11 0 1 14 8 5 9 4 10 14 2 9 15 15 12 7 11 8 7 12 5 13 10 4 0 1 13 1 12 12 4 4 11 8 2 8 2 0 9 3 0 13 9 10 5 6 15 14 6 3 10 5 11 15 1 14 9 12 10 11 10 11 13 7 6 7 5 12 15 0 1 3 4 13 1 5 2 6 14 0 14 9 4 2 15 3 8 4 0 13 15 1 2 12 14 14 6 10 7 10 3 6 7 0 4 13 12 11 2 15 1 8 5 3 5 11 14 13 8 4 8 12 5 1 0 0 1 9 6 9 13 2 12 7 3 2 5 3 15 14 7 4 6 11 11 15 1 0 4 8 6 8 7 5 15 2 3 14 4 5 14 0 13 12 15 1 6 9 12 13 3 2 7 10 10 9 15 8 7 7 13 10 3 9 5 3 4 8 2 15 5 1 10 11 6 0 9 1 11 6 13 0 14 14 4 2 7 10 6 9 12 3 8 15 1 15 0 2 14 1 10 7 11 8 14 9 4 5 0 11 12 6 2 5 3 4 10 5 3 3 1 5 4 6 9 9 15 11 13 6 11 4 0 2 13 15 0 7 8 10 8 1 12 12 2 7 12 2 5 1 9 2 0 13 11 13 14 1 8 12 4 5 6 6 11 14 7 4 10 9 0 3 3 7 8 10 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 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 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 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 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 51 51 34 34 59 90 36 55 55 44 44 48 48 55 55 0 15 15 59 59 59 59 0 57 55 10 44 27 39 64 67 44 68 105 53 39 39 64 64 65 65 40 40 0 55 55 31 21 46 32 32 0 22 49 43 0 10 10 0 0 0 0 22 22 50 69 59 0 56 56 0 61 90 48 56 56 47 72 56 55 55 15 51 49 45 70 58 53 53 0 0 0 47 83 72 0 50 50 47 47 80 105 66 34 44 14 68 68 41 41 51 51 69 65 32 0 63 63 67 67 0 0 36 36 70 70 64 64 70 70 51 32 31 18 18 45 45 0 21 21 55 55 91 32 90 35 35 74 74 0 73 73 0 50 56 93 39 39 0 51 51 94 94 0 41 41 44 44 69 68 40 48 81 42 0 35 35 27 27 81 93 75 0 0 47 47 0 56 56 44 44 0 31 42 27 0 75 111 83 69 103 91 88 88 70 70 59 59 0 92 92 18 18 39 39 41 41 90 90 0 64 70 67 0 81 53 56 79 79 44 44 0 69 69 59 59 82 82 14 14 48 48 57 68 44 0 68 30 81 0 73 10 69 81 81 0 42 42 97 97 46 46 0 104 104 0 53 56 31 48 59 84 21 21 0 68 68 0 55 55 93 93 43 22 49 0 17 83 69 0 103 69 67 79 44 51 0 30 30 0 103 103 68 68 0 81 44 105 0 0 73 21 74 101 101 65 10 55 0 103 103 0 66 61 55 0 69 69 51 51 0 111 82 69 75 75 10 45 39 0 55 55 69 31 70 0 44 44 58 58 0 70 70 113 113 69 69 45 68 64 105 30 105 66 66 67 69 10 0 0 97 97 0 90 90 0 80 67 30 0 73 21 81 0 94 94 101 10 105 57 57 55 55 88 92 90 0 27 27 48 48 0 66 75 92 90 90 104 104 0 32 59 59 0 64 64 41 41 0 91 17 93 75 75 69 69 0 61 61 50 51 91 111 111 0 72 72 93 93 83 69 17 0 113 69 91 0 70 36 59 0 105 105 0 84 84 0 53 55 27 56 56 82 0 59 50 69 103 103 0 32 69 45 105 53 68 97 73 90 0 91 91 0 57 57 39 39 59 59 63 63 97 97 0
252.03/190.42	v       </values>
252.03/190.42	v     </instantiation>
252.03/190.42	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 (6222 MiB free)
  memory of node 1: 16384 MiB (14137 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302678-1532898517/watcher-4302678-1532898517 -o /tmp/evaluation-result-4302678-1532898517/solver-4302678-1532898517 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532897795-31992 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=311331494 -superng HOME/instance-4302678-1532898517.xml 

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

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

solver pid=1255, runsolver pid=1252

[startup+0.101473 s]*
/proc/loadavg: 1.96 1.71 1.43 2/210 1312
/proc/meminfo: memFree=20839088/32770624 swapFree=67108860/67108860
[pid=1255] ppid=1252 vsize=10005480 memory=16552 CPUtime=0.08 cores=1,3,5,7
/proc/1255/stat : 1255 (java) S 1252 1255 29938 0 -1 1077944320 4277 13173 0 0 1 0 5 2 20 0 6 0 107414852 10245611520 4138 33554432000 4194304 4196468 140729968728960 140729968711504 140716870221559 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
/proc/1255/statm: 2501370 4138 1933 1 0 2489808 0
[pid=1255/tid=1308] ppid=1252 vsize=10005480 memory=8940607975817108597 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1308/stat : 1308 (java) R 1252 1255 29938 0 -1 4202560 2184 13173 0 0 0 0 5 2 20 0 6 0 107414861 10245611520 4716 33554432000 4194304 4196468 140729968728960 140716842058320 140716870243485 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1309] ppid=1252 vsize=10005480 memory=-7001736328920018669 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1309/stat : 1309 (java) S 1252 1255 29938 0 -1 1077944384 2 13173 0 0 0 0 5 2 20 0 6 0 107414862 10245611520 4716 33554432000 4194304 4196468 140729968728960 140716874463504 140716870231765 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1310] ppid=1252 vsize=10005480 memory=140682626102912 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1310/stat : 1310 (java) S 1252 1255 29938 0 -1 1077944384 1 13173 0 0 0 0 5 2 20 0 6 0 107414862 10245611520 4716 33554432000 4194304 4196468 140729968728960 140716755728784 140716870231765 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1311] ppid=1252 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1311/stat : 1311 (java) S 1252 1255 29938 0 -1 1077944384 1 13173 0 0 0 0 5 2 20 0 6 0 107414862 10245611520 4716 33554432000 4194304 4196468 140729968728960 140716754676240 140716870231765 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1312] ppid=1252 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1312/stat : 1312 (java) S 1252 1255 29938 0 -1 1077944384 2 13173 0 0 0 0 5 2 20 0 6 0 107414862 10245611520 4716 33554432000 4194304 4196468 140729968728960 140716753623696 140716870231765 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16552 KiB

[startup+0.210844 s]*
/proc/loadavg: 1.96 1.71 1.43 3/219 1321
/proc/meminfo: memFree=20805332/32770624 swapFree=67108860/67108860
[pid=1255] ppid=1252 vsize=10982744 memory=41556 CPUtime=0.25 cores=1,3,5,7
/proc/1255/stat : 1255 (java) S 1252 1255 29938 0 -1 1077944320 7085 13173 0 0 16 2 5 2 20 0 15 0 107414852 11246329856 10389 33554432000 4194304 4196468 140729968728960 140729968711504 140716870221559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
/proc/1255/statm: 2745686 10389 2956 1 0 2708109 0
[pid=1255/tid=1308] ppid=1252 vsize=10982744 memory=8940607975817108597 CPUtime=0.18 cores=1,3,5,7
/proc/1255/task/1308/stat : 1308 (java) R 1252 1255 29938 0 -1 4202560 3637 13173 0 0 10 1 5 2 20 0 15 0 107414861 11246329856 10389 33554432000 4194304 4196468 140729968728960 140716842043464 140716851785097 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1309] ppid=1252 vsize=10982744 memory=-7001736328920018669 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1309/stat : 1309 (java) S 1252 1255 29938 0 -1 1077944384 2 13173 0 0 0 0 5 2 20 0 15 0 107414862 11246329856 10389 33554432000 4194304 4196468 140729968728960 140716874463504 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1310] ppid=1252 vsize=10982744 memory=140682626102912 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1310/stat : 1310 (java) S 1252 1255 29938 0 -1 1077944384 1 13173 0 0 0 0 5 2 20 0 15 0 107414862 11246329856 10389 33554432000 4194304 4196468 140729968728960 140716755728784 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1311] ppid=1252 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1311/stat : 1311 (java) S 1252 1255 29938 0 -1 1077944384 1 13173 0 0 0 0 5 2 20 0 15 0 107414862 11246329856 10389 33554432000 4194304 4196468 140729968728960 140716754676240 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1312] ppid=1252 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1312/stat : 1312 (java) S 1252 1255 29938 0 -1 1077944384 2 13173 0 0 0 0 5 2 20 0 15 0 107414862 11246329856 10389 33554432000 4194304 4196468 140729968728960 140716753623696 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1313] ppid=1252 vsize=10982744 memory=140682626102912 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1313/stat : 1313 (java) S 1252 1255 29938 0 -1 1077944384 2 13173 0 0 0 0 5 2 20 0 15 0 107414863 11246329856 10389 33554432000 4194304 4196468 140729968728960 140716363356656 140716870232706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1314] ppid=1252 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1314/stat : 1314 (java) S 1252 1255 29938 0 -1 1077944384 13 13173 0 0 0 0 5 2 20 0 15 0 107414864 11246329856 10389 33554432000 4194304 4196468 140729968728960 140715677967776 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1315] ppid=1252 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1315/stat : 1315 (java) S 1252 1255 29938 0 -1 1077944384 1 13173 0 0 0 0 5 2 20 0 15 0 107414864 11246329856 10389 33554432000 4194304 4196468 140729968728960 140715476641264 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1316] ppid=1252 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1316/stat : 1316 (java) S 1252 1255 29938 0 -1 1077944384 3 13173 0 0 0 0 5 2 20 0 15 0 107414866 11246329856 10389 33554432000 4194304 4196468 140729968728960 140715169241808 140716870240155 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1317] ppid=1252 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1255/task/1317/stat : 1317 (java) S 1252 1255 29938 0 -1 1077944384 423 13173 0 0 1 0 5 2 20 0 15 0 107414867 11246329856 10389 33554432000 4194304 4196468 140729968728960 140716362303472 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1318] ppid=1252 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1255/task/1318/stat : 1318 (java) S 1252 1255 29938 0 -1 1077944384 184 13173 0 0 1 0 5 2 20 0 15 0 107414867 11246329856 10389 33554432000 4194304 4196468 140729968728960 140716361250928 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1319] ppid=1252 vsize=10982744 memory=140682626102912 CPUtime=0.1 cores=1,3,5,7
/proc/1255/task/1319/stat : 1319 (java) S 1252 1255 29938 0 -1 1077944384 615 13173 0 0 3 0 5 2 20 0 15 0 107414867 11246329856 10389 33554432000 4194304 4196468 140729968728960 140716360198384 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1320] ppid=1252 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1320/stat : 1320 (java) S 1252 1255 29938 0 -1 1077944384 3 13173 0 0 0 0 5 2 20 0 15 0 107414867 11246329856 10389 33554432000 4194304 4196468 140729968728960 140714738444896 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1321] ppid=1252 vsize=10982744 memory=140682626102912 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1321/stat : 1321 (java) S 1252 1255 29938 0 -1 1077944384 2 13173 0 0 0 0 5 2 20 0 15 0 107414867 11246329856 10389 33554432000 4194304 4196468 140729968728960 140716359146288 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41556 KiB

[startup+0.310305 s]*
/proc/loadavg: 1.96 1.71 1.43 4/219 1321
/proc/meminfo: memFree=20795212/32770624 swapFree=67108860/67108860
[pid=1255] ppid=1252 vsize=10983192 memory=53164 CPUtime=0.37 cores=1,3,5,7
/proc/1255/stat : 1255 (java) S 1252 1255 29938 0 -1 1077944320 9858 13173 0 0 27 3 5 2 20 0 15 0 107414852 11246788608 13291 33554432000 4194304 4196468 140729968728960 140729968711504 140716870221559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
/proc/1255/statm: 2745798 13291 3075 1 0 2708109 0
[pid=1255/tid=1308] ppid=1252 vsize=10983192 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/1255/task/1308/stat : 1308 (java) R 1252 1255 29938 0 -1 4202560 6800 13173 0 0 19 2 5 2 20 0 15 0 107414861 11246788608 13685 33554432000 4194304 4196468 140729968728960 140716842011088 140716850497387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1309] ppid=1252 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1309/stat : 1309 (java) S 1252 1255 29938 0 -1 1077944384 2 13173 0 0 0 0 5 2 20 0 15 0 107414862 11246788608 13685 33554432000 4194304 4196468 140729968728960 140716874463504 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1310] ppid=1252 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1310/stat : 1310 (java) S 1252 1255 29938 0 -1 1077944384 1 13173 0 0 0 0 5 2 20 0 15 0 107414862 11246788608 13685 33554432000 4194304 4196468 140729968728960 140716755728784 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1311] ppid=1252 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1311/stat : 1311 (java) S 1252 1255 29938 0 -1 1077944384 1 13173 0 0 0 0 5 2 20 0 15 0 107414862 11246788608 13685 33554432000 4194304 4196468 140729968728960 140716754676240 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1312] ppid=1252 vsize=10983192 memory=-7003737579269690708 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1312/stat : 1312 (java) S 1252 1255 29938 0 -1 1077944384 2 13173 0 0 0 0 5 2 20 0 15 0 107414862 11246788608 13685 33554432000 4194304 4196468 140729968728960 140716753623696 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1313] ppid=1252 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1313/stat : 1313 (java) S 1252 1255 29938 0 -1 1077944384 2 13173 0 0 0 0 5 2 20 0 15 0 107414863 11246788608 13685 33554432000 4194304 4196468 140729968728960 140716363356656 140716870232706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1314] ppid=1252 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1314/stat : 1314 (java) S 1252 1255 29938 0 -1 1077944384 13 13173 0 0 0 0 5 2 20 0 15 0 107414864 11246788608 13685 33554432000 4194304 4196468 140729968728960 140715677967776 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1315] ppid=1252 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1315/stat : 1315 (java) S 1252 1255 29938 0 -1 1077944384 1 13173 0 0 0 0 5 2 20 0 15 0 107414864 11246788608 13685 33554432000 4194304 4196468 140729968728960 140715476641264 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1316] ppid=1252 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1316/stat : 1316 (java) S 1252 1255 29938 0 -1 1077944384 3 13173 0 0 0 0 5 2 20 0 15 0 107414866 11246788608 13685 33554432000 4194304 4196468 140729968728960 140715169241808 140716870240155 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1317] ppid=1252 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1255/task/1317/stat : 1317 (java) S 1252 1255 29938 0 -1 1077944384 425 13173 0 0 1 0 5 2 20 0 15 0 107414867 11246788608 13751 33554432000 4194304 4196468 140729968728960 140716362303472 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1318] ppid=1252 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1255/task/1318/stat : 1318 (java) S 1252 1255 29938 0 -1 1077944384 184 13173 0 0 1 0 5 2 20 0 15 0 107414867 11246788608 13751 33554432000 4194304 4196468 140729968728960 140716361250928 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1319] ppid=1252 vsize=10983192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/1255/task/1319/stat : 1319 (java) S 1252 1255 29938 0 -1 1077944384 625 13173 0 0 4 0 5 2 20 0 15 0 107414867 11246788608 13751 33554432000 4194304 4196468 140729968728960 140716360198384 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1320] ppid=1252 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1320/stat : 1320 (java) S 1252 1255 29938 0 -1 1077944384 3 13173 0 0 0 0 5 2 20 0 15 0 107414867 11246788608 13751 33554432000 4194304 4196468 140729968728960 140714738444896 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1321] ppid=1252 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1321/stat : 1321 (java) S 1252 1255 29938 0 -1 1077944384 2 13173 0 0 0 0 5 2 20 0 15 0 107414867 11246788608 13751 33554432000 4194304 4196468 140729968728960 140716359146288 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53164 KiB

[startup+0.700762 s]
/proc/loadavg: 1.96 1.71 1.43 3/219 1321
/proc/meminfo: memFree=20788720/32770624 swapFree=67108860/67108860
[pid=1255] ppid=1252 vsize=10983192 memory=88524 CPUtime=0.98 cores=1,3,5,7
/proc/1255/stat : 1255 (java) S 1252 1255 29938 0 -1 1077944320 16757 13173 0 0 86 5 5 2 20 0 15 0 107414852 11246788608 22131 33554432000 4194304 4196468 140729968728960 140729968711504 140716870221559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
/proc/1255/statm: 2745798 22131 3247 1 0 2708109 0
[pid=1255/tid=1308] ppid=1252 vsize=10983192 memory=1292 CPUtime=0.66 cores=1,3,5,7
/proc/1255/task/1308/stat : 1308 (java) R 1252 1255 29938 0 -1 4202560 12211 13173 0 0 55 4 5 2 20 0 15 0 107414861 11246788608 22131 33554432000 4194304 4196468 140729968728960 140716842049440 140716856396703 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1309] ppid=1252 vsize=10983192 memory=2444 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1309/stat : 1309 (java) S 1252 1255 29938 0 -1 1077944384 2 13173 0 0 0 0 5 2 20 0 15 0 107414862 11246788608 22131 33554432000 4194304 4196468 140729968728960 140716874463504 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1310] ppid=1252 vsize=10983192 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1310/stat : 1310 (java) S 1252 1255 29938 0 -1 1077944384 1 13173 0 0 0 0 5 2 20 0 15 0 107414862 11246788608 22131 33554432000 4194304 4196468 140729968728960 140716755728784 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1311] ppid=1252 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1311/stat : 1311 (java) S 1252 1255 29938 0 -1 1077944384 1 13173 0 0 0 0 5 2 20 0 15 0 107414862 11246788608 22131 33554432000 4194304 4196468 140729968728960 140716754676240 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1312] ppid=1252 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1312/stat : 1312 (java) S 1252 1255 29938 0 -1 1077944384 2 13173 0 0 0 0 5 2 20 0 15 0 107414862 11246788608 22131 33554432000 4194304 4196468 140729968728960 140716753623696 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1313] ppid=1252 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1313/stat : 1313 (java) S 1252 1255 29938 0 -1 1077944384 5 13173 0 0 0 0 5 2 20 0 15 0 107414863 11246788608 22131 33554432000 4194304 4196468 140729968728960 140716363356656 140716870232706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1314] ppid=1252 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1314/stat : 1314 (java) S 1252 1255 29938 0 -1 1077944384 13 13173 0 0 0 0 5 2 20 0 15 0 107414864 11246788608 22131 33554432000 4194304 4196468 140729968728960 140715677967776 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1315] ppid=1252 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1315/stat : 1315 (java) S 1252 1255 29938 0 -1 1077944384 1 13173 0 0 0 0 5 2 20 0 15 0 107414864 11246788608 22131 33554432000 4194304 4196468 140729968728960 140715476641264 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1316] ppid=1252 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1316/stat : 1316 (java) S 1252 1255 29938 0 -1 1077944384 3 13173 0 0 0 0 5 2 20 0 15 0 107414866 11246788608 22131 33554432000 4194304 4196468 140729968728960 140715169241808 140716870240155 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1317] ppid=1252 vsize=10983192 memory=7959534115637885677 CPUtime=0.16 cores=1,3,5,7
/proc/1255/task/1317/stat : 1317 (java) S 1252 1255 29938 0 -1 1077944384 1066 13173 0 0 9 0 5 2 20 0 15 0 107414867 11246788608 22131 33554432000 4194304 4196468 140729968728960 140716362303472 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1318] ppid=1252 vsize=10983192 memory=6299219081738469477 CPUtime=0.14 cores=1,3,5,7
/proc/1255/task/1318/stat : 1318 (java) S 1252 1255 29938 0 -1 1077944384 533 13173 0 0 7 0 5 2 20 0 15 0 107414867 11246788608 22131 33554432000 4194304 4196468 140729968728960 140716361250928 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1319] ppid=1252 vsize=10983192 memory=7805107935085226320 CPUtime=0.2 cores=1,3,5,7
/proc/1255/task/1319/stat : 1319 (java) S 1252 1255 29938 0 -1 1077944384 717 13173 0 0 13 0 5 2 20 0 15 0 107414867 11246788608 22131 33554432000 4194304 4196468 140729968728960 140716360198384 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1320] ppid=1252 vsize=10983192 memory=2317728019387814244 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1320/stat : 1320 (java) S 1252 1255 29938 0 -1 1077944384 3 13173 0 0 0 0 5 2 20 0 15 0 107414867 11246788608 22131 33554432000 4194304 4196468 140729968728960 140714738444896 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1321] ppid=1252 vsize=10983192 memory=-7666414585839465563 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1321/stat : 1321 (java) S 1252 1255 29938 0 -1 1077944384 2 13173 0 0 0 0 5 2 20 0 15 0 107414867 11246788608 22131 33554432000 4194304 4196468 140729968728960 140716359146288 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88524 KiB

[startup+1.50978 s]
/proc/loadavg: 1.96 1.71 1.43 3/219 1321
/proc/meminfo: memFree=20750812/32770624 swapFree=67108860/67108860
[pid=1255] ppid=1252 vsize=10991948 memory=215324 CPUtime=3.16 cores=1,3,5,7
/proc/1255/stat : 1255 (java) S 1252 1255 29938 0 -1 1077944320 22964 13173 0 0 300 9 5 2 20 0 15 0 107414852 11255754752 53831 33554432000 4194304 4196468 140729968728960 140729968711504 140716870221559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
/proc/1255/statm: 2747987 53831 3459 1 0 2709645 0
[pid=1255/tid=1308] ppid=1252 vsize=10991948 memory=7 CPUtime=1.46 cores=1,3,5,7
/proc/1255/task/1308/stat : 1308 (java) S 1252 1255 29938 0 -1 1077944384 15220 13173 0 0 132 7 5 2 20 0 15 0 107414861 11255754752 53831 33554432000 4194304 4196468 140729968728960 140716842056512 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1309] ppid=1252 vsize=10991948 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1309/stat : 1309 (java) S 1252 1255 29938 0 -1 1077944384 2 13173 0 0 0 0 5 2 20 0 15 0 107414862 11255754752 53831 33554432000 4194304 4196468 140729968728960 140716874463504 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1310] ppid=1252 vsize=10991948 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1310/stat : 1310 (java) S 1252 1255 29938 0 -1 1077944384 1 13173 0 0 0 0 5 2 20 0 15 0 107414862 11255754752 53831 33554432000 4194304 4196468 140729968728960 140716755728784 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1311] ppid=1252 vsize=10991948 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1311/stat : 1311 (java) S 1252 1255 29938 0 -1 1077944384 1 13173 0 0 0 0 5 2 20 0 15 0 107414862 11255754752 53831 33554432000 4194304 4196468 140729968728960 140716754676240 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1312] ppid=1252 vsize=10991948 memory=281365052697632 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1312/stat : 1312 (java) S 1252 1255 29938 0 -1 1077944384 2 13173 0 0 0 0 5 2 20 0 15 0 107414862 11255754752 53831 33554432000 4194304 4196468 140729968728960 140716753623696 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1313] ppid=1252 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1313/stat : 1313 (java) R 1252 1255 29938 0 -1 1077944384 13 13173 0 0 0 0 5 2 20 0 15 0 107414863 11255754752 53831 33554432000 4194304 4196468 140729968728960 140716363356656 140716870232706 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1314] ppid=1252 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1314/stat : 1314 (java) S 1252 1255 29938 0 -1 1077944384 13 13173 0 0 0 0 5 2 20 0 15 0 107414864 11255754752 53831 33554432000 4194304 4196468 140729968728960 140715677967776 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1315] ppid=1252 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1315/stat : 1315 (java) S 1252 1255 29938 0 -1 1077944384 1 13173 0 0 0 0 5 2 20 0 15 0 107414864 11255754752 53831 33554432000 4194304 4196468 140729968728960 140715476641264 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1316] ppid=1252 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1316/stat : 1316 (java) S 1252 1255 29938 0 -1 1077944384 3 13173 0 0 0 0 5 2 20 0 15 0 107414866 11255754752 53831 33554432000 4194304 4196468 140729968728960 140715169241808 140716870240155 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1317] ppid=1252 vsize=10991948 memory=6077700548283236993 CPUtime=0.68 cores=1,3,5,7
/proc/1255/task/1317/stat : 1317 (java) R 1252 1255 29938 0 -1 4202560 2193 13173 0 0 61 0 5 2 20 0 15 0 107414867 11255754752 53831 33554432000 4194304 4196468 140729968728960 140716362296496 140716855347960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1318] ppid=1252 vsize=10991948 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/1255/task/1318/stat : 1318 (java) R 1252 1255 29938 0 -1 4202560 1682 13173 0 0 58 0 5 2 20 0 15 0 107414867 11255754752 53831 33554432000 4194304 4196468 140729968728960 140716361236808 140716851746751 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1319] ppid=1252 vsize=10991948 memory=281365052692720 CPUtime=0.54 cores=1,3,5,7
/proc/1255/task/1319/stat : 1319 (java) R 1252 1255 29938 0 -1 4202560 1632 13173 0 0 47 0 5 2 20 0 15 0 107414867 11255754752 53831 33554432000 4194304 4196468 140729968728960 140716360198512 140716848888266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1320] ppid=1252 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1320/stat : 1320 (java) S 1252 1255 29938 0 -1 1077944384 3 13173 0 0 0 0 5 2 20 0 15 0 107414867 11255754752 53831 33554432000 4194304 4196468 140729968728960 140714738444896 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1321] ppid=1252 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1321/stat : 1321 (java) S 1252 1255 29938 0 -1 1077944384 2 13173 0 0 0 0 5 2 20 0 15 0 107414867 11255754752 53831 33554432000 4194304 4196468 140729968728960 140716359146288 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
Current children cumulated CPU time: 3.16 s
Current children cumulated vsize: 10991948 KiB

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

/proc/1255/task/1308/stat : 1308 (java) R 1252 1255 29938 0 -1 4202560 55578 13173 0 0 4575 37 5 2 20 0 15 0 107414861 11280941056 865114 33554432000 4194304 4196468 140729968728960 140716842047328 140716458040000 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1309] ppid=1252 vsize=11016544 memory=3460456 CPUtime=4.6 cores=1,3,5,7
/proc/1255/task/1309/stat : 1309 (java) S 1252 1255 29938 0 -1 1077944384 2316 13173 0 0 413 40 5 2 20 0 15 0 107414862 11280941056 865114 33554432000 4194304 4196468 140729968728960 140716874463504 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1310] ppid=1252 vsize=11016544 memory=281365052527760 CPUtime=4.62 cores=1,3,5,7
/proc/1255/task/1310/stat : 1310 (java) S 1252 1255 29938 0 -1 1077944384 3523 13173 0 0 413 42 5 2 20 0 15 0 107414862 11280941056 865114 33554432000 4194304 4196468 140729968728960 140716755728784 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1311] ppid=1252 vsize=11016544 memory=281365053340768 CPUtime=4.64 cores=1,3,5,7
/proc/1255/task/1311/stat : 1311 (java) S 1252 1255 29938 0 -1 1077944384 2485 13173 0 0 415 42 5 2 20 0 15 0 107414862 11280941056 865114 33554432000 4194304 4196468 140729968728960 140716754676240 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1312] ppid=1252 vsize=11016544 memory=346 CPUtime=4.59 cores=1,3,5,7
/proc/1255/task/1312/stat : 1312 (java) S 1252 1255 29938 0 -1 1077944384 3027 13173 0 0 410 42 5 2 20 0 15 0 107414862 11280941056 865114 33554432000 4194304 4196468 140729968728960 140716753623696 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1313] ppid=1252 vsize=11016544 memory=1792 CPUtime=0.26 cores=1,3,5,7
/proc/1255/task/1313/stat : 1313 (java) S 1252 1255 29938 0 -1 1077944384 8741 13173 0 0 18 1 5 2 20 0 15 0 107414863 11280941056 865114 33554432000 4194304 4196468 140729968728960 140716363356656 140716870232706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1314] ppid=1252 vsize=11016544 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1314/stat : 1314 (java) S 1252 1255 29938 0 -1 1077944384 19 13173 0 0 0 0 5 2 20 0 15 0 107414864 11280941056 865114 33554432000 4194304 4196468 140729968728960 140715677967840 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1315] ppid=1252 vsize=11016544 memory=3460456 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1315/stat : 1315 (java) S 1252 1255 29938 0 -1 1077944384 5 13173 0 0 0 0 5 2 20 0 15 0 107414864 11280941056 865114 33554432000 4194304 4196468 140729968728960 140715476641280 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1316] ppid=1252 vsize=11016544 memory=-2748367524519556131 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1316/stat : 1316 (java) S 1252 1255 29938 0 -1 1077944384 3 13173 0 0 0 0 5 2 20 0 15 0 107414866 11280941056 865114 33554432000 4194304 4196468 140729968728960 140715169241808 140716870240155 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1317] ppid=1252 vsize=11016544 memory=33 CPUtime=11.62 cores=1,3,5,7
/proc/1255/task/1317/stat : 1317 (java) S 1252 1255 29938 0 -1 1077944384 20477 13173 0 0 1151 4 5 2 20 0 15 0 107414867 11280941056 865114 33554432000 4194304 4196468 140729968728960 140716362303472 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1318] ppid=1252 vsize=11016544 memory=281365052942544 CPUtime=11.71 cores=1,3,5,7
/proc/1255/task/1318/stat : 1318 (java) S 1252 1255 29938 0 -1 1077944384 20991 13173 0 0 1161 3 5 2 20 0 15 0 107414867 11280941056 865114 33554432000 4194304 4196468 140729968728960 140716361250928 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1319] ppid=1252 vsize=11016544 memory=7234030490512353113 CPUtime=3.61 cores=1,3,5,7
/proc/1255/task/1319/stat : 1319 (java) S 1252 1255 29938 0 -1 1077944384 14402 13173 0 0 348 6 5 2 20 0 15 0 107414867 11280941056 865114 33554432000 4194304 4196468 140729968728960 140716360198384 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1320] ppid=1252 vsize=11016544 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1320/stat : 1320 (java) S 1252 1255 29938 0 -1 1077944384 3 13173 0 0 0 0 5 2 20 0 15 0 107414867 11280941056 865114 33554432000 4194304 4196468 140729968728960 140714738444896 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1321] ppid=1252 vsize=11016544 memory=4620 CPUtime=0.09 cores=1,3,5,7
/proc/1255/task/1321/stat : 1321 (java) S 1252 1255 29938 0 -1 1077944384 62 13173 0 0 1 1 5 2 20 0 15 0 107414867 11280941056 865114 33554432000 4194304 4196468 140729968728960 140716359146288 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
Current children cumulated CPU time: 91.4 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3460456 KiB

[startup+102.301 s]
/proc/loadavg: 1.88 1.83 1.51 3/220 1330
/proc/meminfo: memFree=16985000/32770624 swapFree=67108860/67108860
[pid=1255] ppid=1252 vsize=11016544 memory=3796464 CPUtime=147.01 cores=1,3,5,7
/proc/1255/stat : 1255 (java) S 1252 1255 29938 0 -1 1077944320 140979 13173 0 0 14429 265 5 2 20 0 15 0 107414852 11280941056 949116 33554432000 4194304 4196468 140729968728960 140729968711504 140716870221559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
/proc/1255/statm: 2754136 949116 3539 1 0 2715789 0
[pid=1255/tid=1308] ppid=1252 vsize=11016544 memory=4132 CPUtime=96.13 cores=1,3,5,7
/proc/1255/task/1308/stat : 1308 (java) R 1252 1255 29938 0 -1 4202560 59115 13173 0 0 9568 38 5 2 20 0 15 0 107414861 11280941056 949116 33554432000 4194304 4196468 140729968728960 140716842055504 140716442508807 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1309] ppid=1252 vsize=11016544 memory=3796464 CPUtime=5.83 cores=1,3,5,7
/proc/1255/task/1309/stat : 1309 (java) S 1252 1255 29938 0 -1 1077944384 2647 13173 0 0 526 50 5 2 20 0 15 0 107414862 11280941056 949116 33554432000 4194304 4196468 140729968728960 140716874463504 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1310] ppid=1252 vsize=11016544 memory=3796464 CPUtime=5.86 cores=1,3,5,7
/proc/1255/task/1310/stat : 1310 (java) S 1252 1255 29938 0 -1 1077944384 3901 13173 0 0 528 51 5 2 20 0 15 0 107414862 11280941056 949116 33554432000 4194304 4196468 140729968728960 140716755728784 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1311] ppid=1252 vsize=11016544 memory=5673651801673 CPUtime=5.88 cores=1,3,5,7
/proc/1255/task/1311/stat : 1311 (java) S 1252 1255 29938 0 -1 1077944384 2775 13173 0 0 529 52 5 2 20 0 15 0 107414862 11280941056 949116 33554432000 4194304 4196468 140729968728960 140716754676240 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1312] ppid=1252 vsize=11016544 memory=281365053862176 CPUtime=5.83 cores=1,3,5,7
/proc/1255/task/1312/stat : 1312 (java) S 1252 1255 29938 0 -1 1077944384 3307 13173 0 0 524 52 5 2 20 0 15 0 107414862 11280941056 949116 33554432000 4194304 4196468 140729968728960 140716753623696 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1313] ppid=1252 vsize=11016544 memory=3796464 CPUtime=0.28 cores=1,3,5,7
/proc/1255/task/1313/stat : 1313 (java) S 1252 1255 29938 0 -1 1077944384 8762 13173 0 0 19 2 5 2 20 0 15 0 107414863 11280941056 949116 33554432000 4194304 4196468 140729968728960 140716363356656 140716870232706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1314] ppid=1252 vsize=11016544 memory=3796464 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1314/stat : 1314 (java) S 1252 1255 29938 0 -1 1077944384 19 13173 0 0 0 0 5 2 20 0 15 0 107414864 11280941056 949116 33554432000 4194304 4196468 140729968728960 140715677967840 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1315] ppid=1252 vsize=11016544 memory=3796412 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1315/stat : 1315 (java) S 1252 1255 29938 0 -1 1077944384 5 13173 0 0 0 0 5 2 20 0 15 0 107414864 11280941056 949116 33554432000 4194304 4196468 140729968728960 140715476641280 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1316] ppid=1252 vsize=11016544 memory=151 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1316/stat : 1316 (java) S 1252 1255 29938 0 -1 1077944384 3 13173 0 0 0 0 5 2 20 0 15 0 107414866 11280941056 949116 33554432000 4194304 4196468 140729968728960 140715169241808 140716870240155 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1317] ppid=1252 vsize=11016544 memory=1061 CPUtime=11.99 cores=1,3,5,7
/proc/1255/task/1317/stat : 1317 (java) S 1252 1255 29938 0 -1 1077944384 21659 13173 0 0 1188 4 5 2 20 0 15 0 107414867 11280941056 949116 33554432000 4194304 4196468 140729968728960 140716362303472 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1318] ppid=1252 vsize=11016544 memory=8112282956445269571 CPUtime=11.97 cores=1,3,5,7
/proc/1255/task/1318/stat : 1318 (java) S 1252 1255 29938 0 -1 1077944384 22032 13173 0 0 1187 3 5 2 20 0 15 0 107414867 11280941056 949116 33554432000 4194304 4196468 140729968728960 140716361250928 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1319] ppid=1252 vsize=11016544 memory=30700 CPUtime=3.64 cores=1,3,5,7
/proc/1255/task/1319/stat : 1319 (java) S 1252 1255 29938 0 -1 1077944384 14488 13173 0 0 351 6 5 2 20 0 15 0 107414867 11280941056 949116 33554432000 4194304 4196468 140729968728960 140716360198384 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1320] ppid=1252 vsize=11016544 memory=1292 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1320/stat : 1320 (java) S 1252 1255 29938 0 -1 1077944384 3 13173 0 0 0 0 5 2 20 0 15 0 107414867 11280941056 949116 33554432000 4194304 4196468 140729968728960 140714738444896 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1321] ppid=1252 vsize=11016544 memory=2444 CPUtime=0.12 cores=1,3,5,7
/proc/1255/task/1321/stat : 1321 (java) S 1252 1255 29938 0 -1 1077944384 66 13173 0 0 2 3 5 2 20 0 15 0 107414867 11280941056 949116 33554432000 4194304 4196468 140729968728960 140716359146288 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
Current children cumulated CPU time: 147.01 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3796464 KiB

[startup+162.301 s]
/proc/loadavg: 1.67 1.79 1.51 3/219 1475
/proc/meminfo: memFree=19424304/32770624 swapFree=67108860/67108860
[pid=1255] ppid=1252 vsize=11016544 memory=3954528 CPUtime=215.05 cores=1,3,5,7
/proc/1255/stat : 1255 (java) S 1252 1255 29938 0 -1 1077944320 166120 13173 0 0 21220 278 5 2 20 0 15 0 107414852 11280941056 988632 33554432000 4194304 4196468 140729968728960 140729968711504 140716870221559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
/proc/1255/statm: 2754136 988632 3539 1 0 2715789 0
[pid=1255/tid=1308] ppid=1252 vsize=11016544 memory=3954528 CPUtime=153.8 cores=1,3,5,7
/proc/1255/task/1308/stat : 1308 (java) R 1252 1255 29938 0 -1 4202560 67831 13173 0 0 15334 39 5 2 20 0 15 0 107414861 11280941056 988632 33554432000 4194304 4196468 140729968728960 140716842055480 140716434063830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1309] ppid=1252 vsize=11016544 memory=3954528 CPUtime=8.14 cores=1,3,5,7
/proc/1255/task/1309/stat : 1309 (java) S 1252 1255 29938 0 -1 1077944384 3574 13173 0 0 754 53 5 2 20 0 15 0 107414862 11280941056 988632 33554432000 4194304 4196468 140729968728960 140716874463504 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1310] ppid=1252 vsize=11016544 memory=3954528 CPUtime=8.15 cores=1,3,5,7
/proc/1255/task/1310/stat : 1310 (java) S 1252 1255 29938 0 -1 1077944384 5502 13173 0 0 754 54 5 2 20 0 15 0 107414862 11280941056 988632 33554432000 4194304 4196468 140729968728960 140716755728784 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1311] ppid=1252 vsize=11016544 memory=3954528 CPUtime=8.18 cores=1,3,5,7
/proc/1255/task/1311/stat : 1311 (java) S 1252 1255 29938 0 -1 1077944384 4351 13173 0 0 757 54 5 2 20 0 15 0 107414862 11280941056 988632 33554432000 4194304 4196468 140729968728960 140716754676240 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1312] ppid=1252 vsize=11016544 memory=3909420 CPUtime=8.13 cores=1,3,5,7
/proc/1255/task/1312/stat : 1312 (java) S 1252 1255 29938 0 -1 1077944384 3736 13173 0 0 752 54 5 2 20 0 15 0 107414862 11280941056 988632 33554432000 4194304 4196468 140729968728960 140716753623696 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1313] ppid=1252 vsize=11016544 memory=3954528 CPUtime=0.29 cores=1,3,5,7
/proc/1255/task/1313/stat : 1313 (java) S 1252 1255 29938 0 -1 1077944384 11110 13173 0 0 20 2 5 2 20 0 15 0 107414863 11280941056 988632 33554432000 4194304 4196468 140729968728960 140716363356656 140716870232706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1314] ppid=1252 vsize=11016544 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1314/stat : 1314 (java) S 1252 1255 29938 0 -1 1077944384 22 13173 0 0 0 0 5 2 20 0 15 0 107414864 11280941056 988632 33554432000 4194304 4196468 140729968728960 140715677967840 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1315] ppid=1252 vsize=11016544 memory=30700 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1315/stat : 1315 (java) S 1252 1255 29938 0 -1 1077944384 7 13173 0 0 0 0 5 2 20 0 15 0 107414864 11280941056 988632 33554432000 4194304 4196468 140729968728960 140715476641280 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1316] ppid=1252 vsize=11016544 memory=3954528 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1316/stat : 1316 (java) S 1252 1255 29938 0 -1 1077944384 3 13173 0 0 0 0 5 2 20 0 15 0 107414866 11280941056 988632 33554432000 4194304 4196468 140729968728960 140715169241808 140716870240155 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1317] ppid=1252 vsize=11016544 memory=3954528 CPUtime=12.5 cores=1,3,5,7
/proc/1255/task/1317/stat : 1317 (java) S 1252 1255 29938 0 -1 1077944384 25656 13173 0 0 1239 4 5 2 20 0 15 0 107414867 11280941056 988632 33554432000 4194304 4196468 140729968728960 140716362303472 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1318] ppid=1252 vsize=11016544 memory=8112282956445269571 CPUtime=12.49 cores=1,3,5,7
/proc/1255/task/1318/stat : 1318 (java) S 1252 1255 29938 0 -1 1077944384 24969 13173 0 0 1238 4 5 2 20 0 15 0 107414867 11280941056 988632 33554432000 4194304 4196468 140729968728960 140716361250928 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1319] ppid=1252 vsize=11016544 memory=8112282956445269571 CPUtime=3.74 cores=1,3,5,7
/proc/1255/task/1319/stat : 1319 (java) S 1252 1255 29938 0 -1 1077944384 17030 13173 0 0 360 7 5 2 20 0 15 0 107414867 11280941056 988632 33554432000 4194304 4196468 140729968728960 140716360198384 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1320] ppid=1252 vsize=11016544 memory=1008 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1320/stat : 1320 (java) S 1252 1255 29938 0 -1 1077944384 3 13173 0 0 0 0 5 2 20 0 15 0 107414867 11280941056 988632 33554432000 4194304 4196468 140729968728960 140714738444896 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1321] ppid=1252 vsize=11016544 memory=3954528 CPUtime=0.16 cores=1,3,5,7
/proc/1255/task/1321/stat : 1321 (java) S 1252 1255 29938 0 -1 1077944384 129 13173 0 0 4 5 5 2 20 0 15 0 107414867 11280941056 988632 33554432000 4194304 4196468 140729968728960 140716359146288 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
Current children cumulated CPU time: 215.05 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3954528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+190.401 s]
/proc/loadavg: 1.59 1.75 1.51 3/219 1476
/proc/meminfo: memFree=19191476/32770624 swapFree=67108860/67108860
[pid=1255] ppid=1252 vsize=11016544 memory=4117980 CPUtime=252.03 cores=1,3,5,7
/proc/1255/stat : 1255 (java) S 1252 1255 29938 0 -1 1077944320 187779 13173 0 0 24908 288 5 2 20 0 15 0 107414852 11280941056 1029495 33554432000 4194304 4196468 140729968728960 140729968711504 140716870221559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
/proc/1255/statm: 2754136 1029495 3539 1 0 2715789 0
[pid=1255/tid=1308] ppid=1252 vsize=11016544 memory=4117980 CPUtime=178.85 cores=1,3,5,7
/proc/1255/task/1308/stat : 1308 (java) R 1252 1255 29938 0 -1 4202560 71415 13173 0 0 17839 39 5 2 20 0 15 0 107414861 11280941056 1029495 33554432000 4194304 4196468 140729968728960 140716842055952 140716448248320 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1309] ppid=1252 vsize=11016544 memory=8112282956445269571 CPUtime=11.1 cores=1,3,5,7
/proc/1255/task/1309/stat : 1309 (java) S 1252 1255 29938 0 -1 1077944384 4312 13173 0 0 1048 55 5 2 20 0 15 0 107414862 11280941056 1029495 33554432000 4194304 4196468 140729968728960 140716874463504 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1310] ppid=1252 vsize=11016544 memory=1948 CPUtime=11.1 cores=1,3,5,7
/proc/1255/task/1310/stat : 1310 (java) S 1252 1255 29938 0 -1 1077944384 6203 13173 0 0 1048 55 5 2 20 0 15 0 107414862 11280941056 1029495 33554432000 4194304 4196468 140729968728960 140716755728784 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1311] ppid=1252 vsize=11016544 memory=1224 CPUtime=11.14 cores=1,3,5,7
/proc/1255/task/1311/stat : 1311 (java) S 1252 1255 29938 0 -1 1077944384 5835 13173 0 0 1051 56 5 2 20 0 15 0 107414862 11280941056 1029495 33554432000 4194304 4196468 140729968728960 140716754676240 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1312] ppid=1252 vsize=11016544 memory=1716 CPUtime=11.05 cores=1,3,5,7
/proc/1255/task/1312/stat : 1312 (java) S 1252 1255 29938 0 -1 1077944384 6829 13173 0 0 1040 58 5 2 20 0 15 0 107414862 11280941056 1029495 33554432000 4194304 4196468 140729968728960 140716753623696 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1313] ppid=1252 vsize=11016544 memory=3004 CPUtime=0.38 cores=1,3,5,7
/proc/1255/task/1313/stat : 1313 (java) S 1252 1255 29938 0 -1 1077944384 18511 13173 0 0 29 2 5 2 20 0 15 0 107414863 11280941056 1029495 33554432000 4194304 4196468 140729968728960 140716363356656 140716870232706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1314] ppid=1252 vsize=11016544 memory=4117980 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1314/stat : 1314 (java) S 1252 1255 29938 0 -1 1077944384 22 13173 0 0 0 0 5 2 20 0 15 0 107414864 11280941056 1029495 33554432000 4194304 4196468 140729968728960 140715677967840 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1315] ppid=1252 vsize=11016544 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1315/stat : 1315 (java) S 1252 1255 29938 0 -1 1077944384 7 13173 0 0 0 0 5 2 20 0 15 0 107414864 11280941056 1029495 33554432000 4194304 4196468 140729968728960 140715476641280 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1316] ppid=1252 vsize=11016544 memory=2880 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1316/stat : 1316 (java) S 1252 1255 29938 0 -1 1077944384 3 13173 0 0 0 0 5 2 20 0 15 0 107414866 11280941056 1029495 33554432000 4194304 4196468 140729968728960 140715169241808 140716870240155 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1317] ppid=1252 vsize=11016544 memory=946956 CPUtime=12.51 cores=1,3,5,7
/proc/1255/task/1317/stat : 1317 (java) S 1252 1255 29938 0 -1 1077944384 26339 13173 0 0 1240 4 5 2 20 0 15 0 107414867 11280941056 1029495 33554432000 4194304 4196468 140729968728960 140716362303472 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1318] ppid=1252 vsize=11016544 memory=2424 CPUtime=12.52 cores=1,3,5,7
/proc/1255/task/1318/stat : 1318 (java) S 1252 1255 29938 0 -1 1077944384 27901 13173 0 0 1241 4 5 2 20 0 15 0 107414867 11280941056 1029495 33554432000 4194304 4196468 140729968728960 140716361250928 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1319] ppid=1252 vsize=11016544 memory=1584 CPUtime=3.74 cores=1,3,5,7
/proc/1255/task/1319/stat : 1319 (java) S 1252 1255 29938 0 -1 1077944384 18022 13173 0 0 360 7 5 2 20 0 15 0 107414867 11280941056 1029495 33554432000 4194304 4196468 140729968728960 140716360198384 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1320] ppid=1252 vsize=11016544 memory=4117980 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1320/stat : 1320 (java) S 1252 1255 29938 0 -1 1077944384 3 13173 0 0 0 0 5 2 20 0 15 0 107414867 11280941056 1029495 33554432000 4194304 4196468 140729968728960 140714738444896 140716870231765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
[pid=1255/tid=1321] ppid=1252 vsize=11016544 memory=4117980 CPUtime=0.17 cores=1,3,5,7
/proc/1255/task/1321/stat : 1321 (java) S 1252 1255 29938 0 -1 1077944384 180 13173 0 0 5 5 5 2 20 0 15 0 107414867 11280941056 1029495 33554432000 4194304 4196468 140729968728960 140716359146288 140716870232706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140729968736873 140729968739681 140729968739681 140729968742351 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4117980 KiB

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

[startup+190.45 s]
# the end of solver process 1255 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.154 s, system=2.95128 s

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

Child status: 143
Real time (s): 190.45
CPU time (s): 252.106
CPU user time (s): 249.154
CPU system time (s): 2.95128
CPU usage (%): 132.374
Max. virtual memory (cumulated for all children) (KiB): 11017128
Max. memory (cumulated for all children) (KiB): 4117980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.154
system time used= 2.95128
maximum resident set size= 4122200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202874
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17632
involuntary context switches= 1055


# summary of solver processes directly reported to runsolver:
#   pid: 1255
#   total CPU time (s): 252.106
#   total CPU user time (s): 249.154
#   total CPU system time (s): 2.95128

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.34936 second user time and 1.68604 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	23746
Best CPU time to get the best result obtained on this benchmark	252.047
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 4302678

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