2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	22160	252.114	219.646

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302335-1532898178/watcher-4302335-1532898178 -o /tmp/evaluation-result-4302335-1532898178/solver-4302335-1532898178 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532895551-13368 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1175739948 HOME/instance-4302335-1532898178.xml 

running on 4 cores: 0,2,4,6

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=17793, runsolver pid=17790

[startup+0.100132 s]*
/proc/loadavg: 1.88 1.78 1.70 3/206 17850
/proc/meminfo: memFree=24444840/32770624 swapFree=67108688/67108860
[pid=17793] ppid=17790 vsize=10005480 memory=16812 CPUtime=0.1 cores=0,2,4,6
/proc/17793/stat : 17793 (java) S 17790 17793 6529 0 -1 1077944320 4361 13169 0 0 1 1 5 3 20 0 6 0 107380637 10245611520 4203 33554432000 4194304 4196468 140722043977168 140722043959712 139688018013943 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
/proc/17793/statm: 2501370 4203 1935 1 0 2489808 0
[pid=17793/tid=17846] ppid=17790 vsize=10005480 memory=4279135703946462605 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17846/stat : 17846 (java) R 17790 17793 6529 0 -1 4202560 2194 13169 0 0 0 0 5 3 20 0 6 0 107380646 10245611520 4269 33554432000 4194304 4196468 140722043977168 139687989850704 139688002094430 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17847] ppid=17790 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17847/stat : 17847 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 6 0 107380646 10245611520 4269 33554432000 4194304 4196468 140722043977168 139688022256656 139688018024149 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17848] ppid=17790 vsize=10005480 memory=140502975235712 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17848/stat : 17848 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 6 0 107380646 10245611520 4269 33554432000 4194304 4196468 140722043977168 139687907454096 139688018024149 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17849] ppid=17790 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17849/stat : 17849 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 6 0 107380646 10245611520 4269 33554432000 4194304 4196468 140722043977168 139687556471568 139688018024149 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17850] ppid=17790 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17850/stat : 17850 (java) S 17790 17793 6529 0 -1 1077944384 2 13169 0 0 0 0 5 3 20 0 6 0 107380646 10245611520 4269 33554432000 4194304 4196468 140722043977168 139687555419024 139688018024149 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB

[startup+0.209828 s]*
/proc/loadavg: 1.88 1.78 1.70 3/215 17859
/proc/meminfo: memFree=24423576/32770624 swapFree=67108688/67108860
[pid=17793] ppid=17790 vsize=10982744 memory=42952 CPUtime=0.26 cores=0,2,4,6
/proc/17793/stat : 17793 (java) S 17790 17793 6529 0 -1 1077944320 7950 13169 0 0 16 2 5 3 20 0 15 0 107380637 11246329856 10672 33554432000 4194304 4196468 140722043977168 140722043959712 139688018013943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
/proc/17793/statm: 2745686 10738 2958 1 0 2708109 0
[pid=17793/tid=17846] ppid=17790 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/17793/task/17846/stat : 17846 (java) R 17790 17793 6529 0 -1 4202560 4636 13169 0 0 10 1 5 3 20 0 15 0 107380646 11246329856 10870 33554432000 4194304 4196468 140722043977168 139687989835040 139688010731095 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17847] ppid=17790 vsize=10982744 memory=343 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17847/stat : 17847 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 15 0 107380646 11246329856 10870 33554432000 4194304 4196468 140722043977168 139688022256656 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17848] ppid=17790 vsize=10982744 memory=140502975878927 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17848/stat : 17848 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 15 0 107380646 11246329856 10870 33554432000 4194304 4196468 140722043977168 139687907454096 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17849] ppid=17790 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17849/stat : 17849 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 15 0 107380646 11246329856 10870 33554432000 4194304 4196468 140722043977168 139687556471568 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17850] ppid=17790 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17850/stat : 17850 (java) S 17790 17793 6529 0 -1 1077944384 2 13169 0 0 0 0 5 3 20 0 15 0 107380646 11246329856 10870 33554432000 4194304 4196468 140722043977168 139687555419024 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17851] ppid=17790 vsize=10982744 memory=140502975235712 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17851/stat : 17851 (java) S 17790 17793 6529 0 -1 1077944384 2 13169 0 0 0 0 5 3 20 0 15 0 107380648 11246329856 10870 33554432000 4194304 4196468 140722043977168 139687256307952 139688018025090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17852] ppid=17790 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17852/stat : 17852 (java) S 17790 17793 6529 0 -1 1077944384 13 13169 0 0 0 0 5 3 20 0 15 0 107380648 11246329856 10870 33554432000 4194304 4196468 140722043977168 139686831973536 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17853] ppid=17790 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17853/stat : 17853 (java) S 17790 17793 6529 0 -1 1077944384 21 13169 0 0 0 0 5 3 20 0 15 0 107380648 11246329856 10870 33554432000 4194304 4196468 140722043977168 139686764860144 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17854] ppid=17790 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17854/stat : 17854 (java) S 17790 17793 6529 0 -1 1077944384 3 13169 0 0 0 0 5 3 20 0 15 0 107380651 11246329856 10870 33554432000 4194304 4196468 140722043977168 139686457464784 139688018032539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17855] ppid=17790 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17793/task/17855/stat : 17855 (java) S 17790 17793 6529 0 -1 1077944384 551 13169 0 0 1 0 5 3 20 0 15 0 107380651 11246329856 10870 33554432000 4194304 4196468 140722043977168 139687255255792 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17856] ppid=17790 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/17793/task/17856/stat : 17856 (java) S 17790 17793 6529 0 -1 1077944384 64 13169 0 0 1 0 5 3 20 0 15 0 107380651 11246329856 10870 33554432000 4194304 4196468 140722043977168 139687254203248 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17857] ppid=17790 vsize=10982744 memory=140502975235712 CPUtime=0.11 cores=0,2,4,6
/proc/17793/task/17857/stat : 17857 (java) S 17790 17793 6529 0 -1 1077944384 611 13169 0 0 3 0 5 3 20 0 15 0 107380651 11246329856 10870 33554432000 4194304 4196468 140722043977168 139687253150192 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17858] ppid=17790 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17858/stat : 17858 (java) S 17790 17793 6529 0 -1 1077944384 3 13169 0 0 0 0 5 3 20 0 15 0 107380651 11246329856 10870 33554432000 4194304 4196468 140722043977168 139686026668896 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17859] ppid=17790 vsize=10982744 memory=140502975235712 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17859/stat : 17859 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 15 0 107380652 11246329856 10870 33554432000 4194304 4196468 140722043977168 139687252097584 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42952 KiB

[startup+0.310205 s]*
/proc/loadavg: 1.88 1.78 1.70 3/215 17859
/proc/meminfo: memFree=24412536/32770624 swapFree=67108688/67108860
[pid=17793] ppid=17790 vsize=10983192 memory=54416 CPUtime=0.38 cores=0,2,4,6
/proc/17793/stat : 17793 (java) S 17790 17793 6529 0 -1 1077944320 10629 13169 0 0 27 3 5 3 20 0 15 0 107380637 11246788608 13604 33554432000 4194304 4196468 140722043977168 140722043959712 139688018013943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
/proc/17793/statm: 2745798 13604 3106 1 0 2708109 0
[pid=17793/tid=17846] ppid=17790 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/17793/task/17846/stat : 17846 (java) R 17790 17793 6529 0 -1 4202560 7151 13169 0 0 19 2 5 3 20 0 15 0 107380646 11246788608 13604 33554432000 4194304 4196468 140722043977168 139687989825952 139688018035869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17847] ppid=17790 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17847/stat : 17847 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 15 0 107380646 11246788608 13604 33554432000 4194304 4196468 140722043977168 139688022256656 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17848] ppid=17790 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17848/stat : 17848 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 15 0 107380646 11246788608 13604 33554432000 4194304 4196468 140722043977168 139687907454096 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17849] ppid=17790 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17849/stat : 17849 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 15 0 107380646 11246788608 13604 33554432000 4194304 4196468 140722043977168 139687556471568 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17850] ppid=17790 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17850/stat : 17850 (java) S 17790 17793 6529 0 -1 1077944384 2 13169 0 0 0 0 5 3 20 0 15 0 107380646 11246788608 13604 33554432000 4194304 4196468 140722043977168 139687555419024 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17851] ppid=17790 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17851/stat : 17851 (java) S 17790 17793 6529 0 -1 1077944384 2 13169 0 0 0 0 5 3 20 0 15 0 107380648 11246788608 13604 33554432000 4194304 4196468 140722043977168 139687256307952 139688018025090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17852] ppid=17790 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17852/stat : 17852 (java) S 17790 17793 6529 0 -1 1077944384 13 13169 0 0 0 0 5 3 20 0 15 0 107380648 11246788608 13604 33554432000 4194304 4196468 140722043977168 139686831973536 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17853] ppid=17790 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17853/stat : 17853 (java) S 17790 17793 6529 0 -1 1077944384 21 13169 0 0 0 0 5 3 20 0 15 0 107380648 11246788608 13604 33554432000 4194304 4196468 140722043977168 139686764860144 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17854] ppid=17790 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17854/stat : 17854 (java) S 17790 17793 6529 0 -1 1077944384 3 13169 0 0 0 0 5 3 20 0 15 0 107380651 11246788608 13604 33554432000 4194304 4196468 140722043977168 139686457464784 139688018032539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17855] ppid=17790 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17793/task/17855/stat : 17855 (java) S 17790 17793 6529 0 -1 1077944384 554 13169 0 0 1 0 5 3 20 0 15 0 107380651 11246788608 13604 33554432000 4194304 4196468 140722043977168 139687255255792 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17856] ppid=17790 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/17793/task/17856/stat : 17856 (java) S 17790 17793 6529 0 -1 1077944384 67 13169 0 0 1 0 5 3 20 0 15 0 107380651 11246788608 13604 33554432000 4194304 4196468 140722043977168 139687254203248 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17857] ppid=17790 vsize=10983192 memory=140502975235712 CPUtime=0.12 cores=0,2,4,6
/proc/17793/task/17857/stat : 17857 (java) S 17790 17793 6529 0 -1 1077944384 617 13169 0 0 4 0 5 3 20 0 15 0 107380651 11246788608 13604 33554432000 4194304 4196468 140722043977168 139687253150192 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17858] ppid=17790 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17858/stat : 17858 (java) S 17790 17793 6529 0 -1 1077944384 3 13169 0 0 0 0 5 3 20 0 15 0 107380651 11246788608 13604 33554432000 4194304 4196468 140722043977168 139686026668896 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17859] ppid=17790 vsize=10983192 memory=140502975235712 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17859/stat : 17859 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 15 0 107380652 11246788608 13604 33554432000 4194304 4196468 140722043977168 139687252097584 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54416 KiB

[startup+0.700754 s]
/proc/loadavg: 1.88 1.78 1.70 5/215 17859
/proc/meminfo: memFree=24401476/32770624 swapFree=67108688/67108860
[pid=17793] ppid=17790 vsize=10983192 memory=86696 CPUtime=0.98 cores=0,2,4,6
/proc/17793/stat : 17793 (java) S 17790 17793 6529 0 -1 1077944320 16810 13169 0 0 85 5 5 3 20 0 15 0 107380637 11246788608 21674 33554432000 4194304 4196468 140722043977168 140722043959712 139688018013943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
/proc/17793/statm: 2745798 21674 3243 1 0 2708109 0
[pid=17793/tid=17846] ppid=17790 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/17793/task/17846/stat : 17846 (java) R 17790 17793 6529 0 -1 4202560 12312 13169 0 0 55 4 5 3 20 0 15 0 107380646 11246788608 21674 33554432000 4194304 4196468 140722043977168 139687989834768 139688018027847 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17847] ppid=17790 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17847/stat : 17847 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 15 0 107380646 11246788608 21674 33554432000 4194304 4196468 140722043977168 139688022256656 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17848] ppid=17790 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17848/stat : 17848 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 15 0 107380646 11246788608 21674 33554432000 4194304 4196468 140722043977168 139687907454096 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17849] ppid=17790 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17849/stat : 17849 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 15 0 107380646 11246788608 21674 33554432000 4194304 4196468 140722043977168 139687556471568 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17850] ppid=17790 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17850/stat : 17850 (java) S 17790 17793 6529 0 -1 1077944384 2 13169 0 0 0 0 5 3 20 0 15 0 107380646 11246788608 21674 33554432000 4194304 4196468 140722043977168 139687555419024 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17851] ppid=17790 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17851/stat : 17851 (java) S 17790 17793 6529 0 -1 1077944384 5 13169 0 0 0 0 5 3 20 0 15 0 107380648 11246788608 21674 33554432000 4194304 4196468 140722043977168 139687256307952 139688018025090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17852] ppid=17790 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17852/stat : 17852 (java) S 17790 17793 6529 0 -1 1077944384 13 13169 0 0 0 0 5 3 20 0 15 0 107380648 11246788608 21674 33554432000 4194304 4196468 140722043977168 139686831973536 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17853] ppid=17790 vsize=10983192 memory=140502875910928 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17853/stat : 17853 (java) S 17790 17793 6529 0 -1 1077944384 21 13169 0 0 0 0 5 3 20 0 15 0 107380648 11246788608 21674 33554432000 4194304 4196468 140722043977168 139686764860144 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17854] ppid=17790 vsize=10983192 memory=140505560121937 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17854/stat : 17854 (java) S 17790 17793 6529 0 -1 1077944384 3 13169 0 0 0 0 5 3 20 0 15 0 107380651 11246788608 21674 33554432000 4194304 4196468 140722043977168 139686457464784 139688018032539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17855] ppid=17790 vsize=10983192 memory=14076 CPUtime=0.18 cores=0,2,4,6
/proc/17793/task/17855/stat : 17855 (java) S 17790 17793 6529 0 -1 1077944384 1158 13169 0 0 10 0 5 3 20 0 15 0 107380651 11246788608 21674 33554432000 4194304 4196468 140722043977168 139687255255792 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17856] ppid=17790 vsize=10983192 memory=4639098309541127269 CPUtime=0.14 cores=0,2,4,6
/proc/17793/task/17856/stat : 17856 (java) S 17790 17793 6529 0 -1 1077944384 414 13169 0 0 6 0 5 3 20 0 15 0 107380651 11246788608 21674 33554432000 4194304 4196468 140722043977168 139687254203248 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17857] ppid=17790 vsize=10983192 memory=7885635084775281009 CPUtime=0.21 cores=0,2,4,6
/proc/17793/task/17857/stat : 17857 (java) S 17790 17793 6529 0 -1 1077944384 683 13169 0 0 13 0 5 3 20 0 15 0 107380651 11246788608 21674 33554432000 4194304 4196468 140722043977168 139687253150192 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17858] ppid=17790 vsize=10983192 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17858/stat : 17858 (java) S 17790 17793 6529 0 -1 1077944384 3 13169 0 0 0 0 5 3 20 0 15 0 107380651 11246788608 21674 33554432000 4194304 4196468 140722043977168 139686026668896 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17859] ppid=17790 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17859/stat : 17859 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 15 0 107380652 11246788608 21674 33554432000 4194304 4196468 140722043977168 139687252097584 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86696 KiB

[startup+1.51022 s]
/proc/loadavg: 1.88 1.78 1.70 3/215 17859
/proc/meminfo: memFree=24338388/32770624 swapFree=67108688/67108860
[pid=17793] ppid=17790 vsize=10991948 memory=206588 CPUtime=3.17 cores=0,2,4,6
/proc/17793/stat : 17793 (java) S 17790 17793 6529 0 -1 1077944320 23616 13169 0 0 301 8 5 3 20 0 15 0 107380637 11255754752 51647 33554432000 4194304 4196468 140722043977168 140722043959712 139688018013943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
/proc/17793/statm: 2747987 51647 3446 1 0 2709645 0
[pid=17793/tid=17846] ppid=17790 vsize=10991948 memory=12848 CPUtime=1.47 cores=0,2,4,6
/proc/17793/task/17846/stat : 17846 (java) R 17790 17793 6529 0 -1 4202560 15237 13169 0 0 133 6 5 3 20 0 15 0 107380646 11255754752 51647 33554432000 4194304 4196468 140722043977168 139687989845344 139687591923028 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17847] ppid=17790 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17847/stat : 17847 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 15 0 107380646 11255754752 51647 33554432000 4194304 4196468 140722043977168 139688022256656 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17848] ppid=17790 vsize=10991948 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17848/stat : 17848 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 15 0 107380646 11255754752 51647 33554432000 4194304 4196468 140722043977168 139687907454096 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17849] ppid=17790 vsize=10991948 memory=2704 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17849/stat : 17849 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 15 0 107380646 11255754752 51647 33554432000 4194304 4196468 140722043977168 139687556471568 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17850] ppid=17790 vsize=10991948 memory=86696 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17850/stat : 17850 (java) S 17790 17793 6529 0 -1 1077944384 2 13169 0 0 0 0 5 3 20 0 15 0 107380646 11255754752 51647 33554432000 4194304 4196468 140722043977168 139687555419024 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17851] ppid=17790 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17851/stat : 17851 (java) S 17790 17793 6529 0 -1 1077944384 13 13169 0 0 0 0 5 3 20 0 15 0 107380648 11255754752 51647 33554432000 4194304 4196468 140722043977168 139687256307952 139688018025090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17852] ppid=17790 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17852/stat : 17852 (java) S 17790 17793 6529 0 -1 1077944384 13 13169 0 0 0 0 5 3 20 0 15 0 107380648 11255754752 51647 33554432000 4194304 4196468 140722043977168 139686831973536 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17853] ppid=17790 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17853/stat : 17853 (java) S 17790 17793 6529 0 -1 1077944384 21 13169 0 0 0 0 5 3 20 0 15 0 107380648 11255754752 51647 33554432000 4194304 4196468 140722043977168 139686764860144 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17854] ppid=17790 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17854/stat : 17854 (java) S 17790 17793 6529 0 -1 1077944384 3 13169 0 0 0 0 5 3 20 0 15 0 107380651 11255754752 51647 33554432000 4194304 4196468 140722043977168 139686457464784 139688018032539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17855] ppid=17790 vsize=10991948 memory=6935649255759568960 CPUtime=0.7 cores=0,2,4,6
/proc/17793/task/17855/stat : 17855 (java) R 17790 17793 6529 0 -1 4202560 2519 13169 0 0 62 0 5 3 20 0 15 0 107380651 11255754752 51647 33554432000 4194304 4196468 140722043977168 139687255241072 139688010303403 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17856] ppid=17790 vsize=10991948 memory=281005752097664 CPUtime=0.68 cores=0,2,4,6
/proc/17793/task/17856/stat : 17856 (java) R 17790 17793 6529 0 -1 4202560 2011 13169 0 0 60 0 5 3 20 0 15 0 107380651 11255754752 51647 33554432000 4194304 4196468 140722043977168 139687254187040 139688002895268 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17857] ppid=17790 vsize=10991948 memory=6944656592452938395 CPUtime=0.52 cores=0,2,4,6
/proc/17793/task/17857/stat : 17857 (java) S 17790 17793 6529 0 -1 1077944384 1598 13169 0 0 44 0 5 3 20 0 15 0 107380651 11255754752 51647 33554432000 4194304 4196468 140722043977168 139687253150192 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17858] ppid=17790 vsize=10991948 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17858/stat : 17858 (java) S 17790 17793 6529 0 -1 1077944384 3 13169 0 0 0 0 5 3 20 0 15 0 107380651 11255754752 51647 33554432000 4194304 4196468 140722043977168 139686026668896 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17859] ppid=17790 vsize=10991948 memory=4206468019014099040 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17859/stat : 17859 (java) S 17790 17793 6529 0 -1 1077944384 1 13169 0 0 0 0 5 3 20 0 15 0 107380652 11255754752 51647 33554432000 4194304 4196468 140722043977168 139687252097584 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 10991948 KiB

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

/proc/17793/task/17846/stat : 17846 (java) R 17790 17793 6529 0 -1 4202560 58437 13169 0 0 4962 29 5 3 20 0 15 0 107380646 11348049920 535194 33554432000 4194304 4196468 140722043977168 139687989848768 139687611068502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17847] ppid=17790 vsize=11082080 memory=164 CPUtime=0.72 cores=0,2,4,6
/proc/17793/task/17847/stat : 17847 (java) S 17790 17793 6529 0 -1 1077944384 814 13169 0 0 50 14 5 3 20 0 15 0 107380646 11348049920 535194 33554432000 4194304 4196468 140722043977168 139688022256656 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17848] ppid=17790 vsize=11082080 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/17793/task/17848/stat : 17848 (java) S 17790 17793 6529 0 -1 1077944384 1976 13169 0 0 53 14 5 3 20 0 15 0 107380646 11348049920 535194 33554432000 4194304 4196468 140722043977168 139687907454096 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17849] ppid=17790 vsize=11082080 memory=1839272 CPUtime=0.75 cores=0,2,4,6
/proc/17793/task/17849/stat : 17849 (java) S 17790 17793 6529 0 -1 1077944384 1651 13169 0 0 53 14 5 3 20 0 15 0 107380646 11348049920 535194 33554432000 4194304 4196468 140722043977168 139687556471568 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17850] ppid=17790 vsize=11082080 memory=1839272 CPUtime=0.73 cores=0,2,4,6
/proc/17793/task/17850/stat : 17850 (java) S 17790 17793 6529 0 -1 1077944384 2207 13169 0 0 51 14 5 3 20 0 15 0 107380646 11348049920 535194 33554432000 4194304 4196468 140722043977168 139687555419024 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17851] ppid=17790 vsize=11082080 memory=1228 CPUtime=0.18 cores=0,2,4,6
/proc/17793/task/17851/stat : 17851 (java) S 17790 17793 6529 0 -1 1077944384 3100 13169 0 0 10 0 5 3 20 0 15 0 107380648 11348049920 535194 33554432000 4194304 4196468 140722043977168 139687256307952 139688018025090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17852] ppid=17790 vsize=11082080 memory=8556 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17852/stat : 17852 (java) S 17790 17793 6529 0 -1 1077944384 18 13169 0 0 0 0 5 3 20 0 15 0 107380648 11348049920 535194 33554432000 4194304 4196468 140722043977168 139686831973600 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17853] ppid=17790 vsize=11082080 memory=281005752733952 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17853/stat : 17853 (java) S 17790 17793 6529 0 -1 1077944384 47 13169 0 0 0 0 5 3 20 0 15 0 107380648 11348049920 535194 33554432000 4194304 4196468 140722043977168 139686764860160 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17854] ppid=17790 vsize=11082080 memory=140502876374872 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17854/stat : 17854 (java) S 17790 17793 6529 0 -1 1077944384 3 13169 0 0 0 0 5 3 20 0 15 0 107380651 11348049920 535194 33554432000 4194304 4196468 140722043977168 139686457464784 139688018032539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17855] ppid=17790 vsize=11082080 memory=4140 CPUtime=11.77 cores=0,2,4,6
/proc/17793/task/17855/stat : 17855 (java) S 17790 17793 6529 0 -1 1077944384 22335 13169 0 0 1165 4 5 3 20 0 15 0 107380651 11348049920 535194 33554432000 4194304 4196468 140722043977168 139687255255792 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17856] ppid=17790 vsize=11082080 memory=30656 CPUtime=11.37 cores=0,2,4,6
/proc/17793/task/17856/stat : 17856 (java) S 17790 17793 6529 0 -1 1077944384 15931 13169 0 0 1128 1 5 3 20 0 15 0 107380651 11348049920 535194 33554432000 4194304 4196468 140722043977168 139687254203248 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17857] ppid=17790 vsize=11082080 memory=1296 CPUtime=3.51 cores=0,2,4,6
/proc/17793/task/17857/stat : 17857 (java) S 17790 17793 6529 0 -1 1077944384 16162 13169 0 0 337 6 5 3 20 0 15 0 107380651 11348049920 535194 33554432000 4194304 4196468 140722043977168 139687253150192 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17858] ppid=17790 vsize=11082080 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17858/stat : 17858 (java) S 17790 17793 6529 0 -1 1077944384 3 13169 0 0 0 0 5 3 20 0 15 0 107380651 11348049920 535194 33554432000 4194304 4196468 140722043977168 139686026668896 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17859] ppid=17790 vsize=11082080 memory=-6654736624941163865 CPUtime=0.1 cores=0,2,4,6
/proc/17793/task/17859/stat : 17859 (java) S 17790 17793 6529 0 -1 1077944384 76 13169 0 0 1 1 5 3 20 0 15 0 107380652 11348049920 535194 33554432000 4194304 4196468 140722043977168 139687252097584 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
Current children cumulated CPU time: 79.27 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2140776 KiB

[startup+102.301 s]
/proc/loadavg: 1.78 1.79 1.71 3/215 17860
/proc/meminfo: memFree=21150340/32770624 swapFree=67108688/67108860
[pid=17793] ppid=17790 vsize=11082080 memory=2910836 CPUtime=133.16 cores=0,2,4,6
/proc/17793/stat : 17793 (java) S 17790 17793 6529 0 -1 1077944320 148762 13169 0 0 13166 142 5 3 20 0 15 0 107380637 11348049920 727709 33554432000 4194304 4196468 140722043977168 140722043959712 139688018013943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
/proc/17793/statm: 2770520 727709 3536 1 0 2732173 0
[pid=17793/tid=17846] ppid=17790 vsize=11082080 memory=4140 CPUtime=100.93 cores=0,2,4,6
/proc/17793/task/17846/stat : 17846 (java) R 17790 17793 6529 0 -1 4202560 65356 13169 0 0 10047 38 5 3 20 0 15 0 107380646 11348049920 727709 33554432000 4194304 4196468 140722043977168 139687989845200 139687598149060 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17847] ppid=17790 vsize=11082080 memory=2910836 CPUtime=0.95 cores=0,2,4,6
/proc/17793/task/17847/stat : 17847 (java) S 17790 17793 6529 0 -1 1077944384 1019 13169 0 0 66 21 5 3 20 0 15 0 107380646 11348049920 727709 33554432000 4194304 4196468 140722043977168 139688022256656 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17848] ppid=17790 vsize=11082080 memory=2717100 CPUtime=0.97 cores=0,2,4,6
/proc/17793/task/17848/stat : 17848 (java) S 17790 17793 6529 0 -1 1077944384 2844 13169 0 0 68 21 5 3 20 0 15 0 107380646 11348049920 727709 33554432000 4194304 4196468 140722043977168 139687907454096 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17849] ppid=17790 vsize=11082080 memory=2910836 CPUtime=0.97 cores=0,2,4,6
/proc/17793/task/17849/stat : 17849 (java) S 17790 17793 6529 0 -1 1077944384 1817 13169 0 0 68 21 5 3 20 0 15 0 107380646 11348049920 727709 33554432000 4194304 4196468 140722043977168 139687556471568 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17850] ppid=17790 vsize=11082080 memory=140502876288097 CPUtime=0.95 cores=0,2,4,6
/proc/17793/task/17850/stat : 17850 (java) S 17790 17793 6529 0 -1 1077944384 2907 13169 0 0 66 21 5 3 20 0 15 0 107380646 11348049920 727709 33554432000 4194304 4196468 140722043977168 139687555419024 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17851] ppid=17790 vsize=11082080 memory=33 CPUtime=0.21 cores=0,2,4,6
/proc/17793/task/17851/stat : 17851 (java) S 17790 17793 6529 0 -1 1077944384 3665 13169 0 0 12 1 5 3 20 0 15 0 107380648 11348049920 727709 33554432000 4194304 4196468 140722043977168 139687256307952 139688018025090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17852] ppid=17790 vsize=11082080 memory=7165062429642483541 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17852/stat : 17852 (java) S 17790 17793 6529 0 -1 1077944384 27 13169 0 0 0 0 5 3 20 0 15 0 107380648 11348049920 727709 33554432000 4194304 4196468 140722043977168 139686831973600 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17853] ppid=17790 vsize=11082080 memory=1296 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17853/stat : 17853 (java) S 17790 17793 6529 0 -1 1077944384 51 13169 0 0 0 0 5 3 20 0 15 0 107380648 11348049920 727709 33554432000 4194304 4196468 140722043977168 139686764860160 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17854] ppid=17790 vsize=11082080 memory=2408 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17854/stat : 17854 (java) S 17790 17793 6529 0 -1 1077944384 3 13169 0 0 0 0 5 3 20 0 15 0 107380651 11348049920 727709 33554432000 4194304 4196468 140722043977168 139686457464784 139688018032539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17855] ppid=17790 vsize=11082080 memory=2876020 CPUtime=12.64 cores=0,2,4,6
/proc/17793/task/17855/stat : 17855 (java) S 17790 17793 6529 0 -1 1077944384 26411 13169 0 0 1252 4 5 3 20 0 15 0 107380651 11348049920 727709 33554432000 4194304 4196468 140722043977168 139687255255792 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17856] ppid=17790 vsize=11082080 memory=14076 CPUtime=12.4 cores=0,2,4,6
/proc/17793/task/17856/stat : 17856 (java) S 17790 17793 6529 0 -1 1077944384 22683 13169 0 0 1230 2 5 3 20 0 15 0 107380651 11348049920 727709 33554432000 4194304 4196468 140722043977168 139687254203248 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17857] ppid=17790 vsize=11082080 memory=1204 CPUtime=3.64 cores=0,2,4,6
/proc/17793/task/17857/stat : 17857 (java) S 17790 17793 6529 0 -1 1077944384 19604 13169 0 0 349 7 5 3 20 0 15 0 107380651 11348049920 727709 33554432000 4194304 4196468 140722043977168 139687253150192 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17858] ppid=17790 vsize=11082080 memory=15872 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17858/stat : 17858 (java) S 17790 17793 6529 0 -1 1077944384 3 13169 0 0 0 0 5 3 20 0 15 0 107380651 11348049920 727709 33554432000 4194304 4196468 140722043977168 139686026668896 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17859] ppid=17790 vsize=11082080 memory=56 CPUtime=0.13 cores=0,2,4,6
/proc/17793/task/17859/stat : 17859 (java) S 17790 17793 6529 0 -1 1077944384 180 13169 0 0 3 2 5 3 20 0 15 0 107380652 11348049920 727709 33554432000 4194304 4196468 140722043977168 139687252097584 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
Current children cumulated CPU time: 133.16 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2910836 KiB

[startup+162.301 s]
/proc/loadavg: 1.50 1.71 1.69 3/215 17861
/proc/meminfo: memFree=21354300/32770624 swapFree=67108688/67108860
[pid=17793] ppid=17790 vsize=11082080 memory=2745424 CPUtime=193.94 cores=0,2,4,6
/proc/17793/stat : 17793 (java) S 17790 17793 6529 0 -1 1077944320 156528 13169 0 0 19240 146 5 3 20 0 15 0 107380637 11348049920 686356 33554432000 4194304 4196468 140722043977168 140722043959712 139688018013943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
/proc/17793/statm: 2770520 686356 3536 1 0 2732173 0
[pid=17793/tid=17846] ppid=17790 vsize=11082080 memory=2745424 CPUtime=160.74 cores=0,2,4,6
/proc/17793/task/17846/stat : 17846 (java) R 17790 17793 6529 0 -1 4202560 68620 13169 0 0 16027 39 5 3 20 0 15 0 107380646 11348049920 686356 33554432000 4194304 4196468 140722043977168 139687989847400 139687610768330 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17847] ppid=17790 vsize=11082080 memory=2786464 CPUtime=1.12 cores=0,2,4,6
/proc/17793/task/17847/stat : 17847 (java) S 17790 17793 6529 0 -1 1077944384 1116 13169 0 0 83 21 5 3 20 0 15 0 107380646 11348049920 686356 33554432000 4194304 4196468 140722043977168 139688022256656 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17848] ppid=17790 vsize=11082080 memory=2832596 CPUtime=1.14 cores=0,2,4,6
/proc/17793/task/17848/stat : 17848 (java) S 17790 17793 6529 0 -1 1077944384 2881 13169 0 0 85 21 5 3 20 0 15 0 107380646 11348049920 686356 33554432000 4194304 4196468 140722043977168 139687907454096 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17849] ppid=17790 vsize=11082080 memory=2788476 CPUtime=1.15 cores=0,2,4,6
/proc/17793/task/17849/stat : 17849 (java) S 17790 17793 6529 0 -1 1077944384 2968 13169 0 0 85 22 5 3 20 0 15 0 107380646 11348049920 686356 33554432000 4194304 4196468 140722043977168 139687556471568 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17850] ppid=17790 vsize=11082080 memory=2786424 CPUtime=1.12 cores=0,2,4,6
/proc/17793/task/17850/stat : 17850 (java) S 17790 17793 6529 0 -1 1077944384 3082 13169 0 0 83 21 5 3 20 0 15 0 107380646 11348049920 686356 33554432000 4194304 4196468 140722043977168 139687555419024 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17851] ppid=17790 vsize=11082080 memory=2745424 CPUtime=0.22 cores=0,2,4,6
/proc/17793/task/17851/stat : 17851 (java) S 17790 17793 6529 0 -1 1077944384 3829 13169 0 0 13 1 5 3 20 0 15 0 107380648 11348049920 686356 33554432000 4194304 4196468 140722043977168 139687256307952 139688018025090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17852] ppid=17790 vsize=11082080 memory=2745424 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17852/stat : 17852 (java) S 17790 17793 6529 0 -1 1077944384 27 13169 0 0 0 0 5 3 20 0 15 0 107380648 11348049920 686356 33554432000 4194304 4196468 140722043977168 139686831973600 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17853] ppid=17790 vsize=11082080 memory=2786464 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17853/stat : 17853 (java) S 17790 17793 6529 0 -1 1077944384 51 13169 0 0 0 0 5 3 20 0 15 0 107380648 11348049920 686356 33554432000 4194304 4196468 140722043977168 139686764860160 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17854] ppid=17790 vsize=11082080 memory=2786464 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17854/stat : 17854 (java) S 17790 17793 6529 0 -1 1077944384 3 13169 0 0 0 0 5 3 20 0 15 0 107380651 11348049920 686356 33554432000 4194304 4196468 140722043977168 139686457464784 139688018032539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17855] ppid=17790 vsize=11082080 memory=2786464 CPUtime=12.72 cores=0,2,4,6
/proc/17793/task/17855/stat : 17855 (java) S 17790 17793 6529 0 -1 1077944384 26754 13169 0 0 1260 4 5 3 20 0 15 0 107380651 11348049920 686356 33554432000 4194304 4196468 140722043977168 139687255255792 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17856] ppid=17790 vsize=11082080 memory=4140 CPUtime=12.48 cores=0,2,4,6
/proc/17793/task/17856/stat : 17856 (java) S 17790 17793 6529 0 -1 1077944384 23800 13169 0 0 1238 2 5 3 20 0 15 0 107380651 11348049920 686356 33554432000 4194304 4196468 140722043977168 139687254203248 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17857] ppid=17790 vsize=11082080 memory=6791534058613427641 CPUtime=3.69 cores=0,2,4,6
/proc/17793/task/17857/stat : 17857 (java) S 17790 17793 6529 0 -1 1077944384 20910 13169 0 0 354 7 5 3 20 0 15 0 107380651 11348049920 686356 33554432000 4194304 4196468 140722043977168 139687253150192 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17858] ppid=17790 vsize=11082080 memory=1952 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17858/stat : 17858 (java) S 17790 17793 6529 0 -1 1077944384 3 13169 0 0 0 0 5 3 20 0 15 0 107380651 11348049920 686356 33554432000 4194304 4196468 140722043977168 139686026668896 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17859] ppid=17790 vsize=11082080 memory=2745424 CPUtime=0.15 cores=0,2,4,6
/proc/17793/task/17859/stat : 17859 (java) S 17790 17793 6529 0 -1 1077944384 292 13169 0 0 4 3 5 3 20 0 15 0 107380652 11348049920 686356 33554432000 4194304 4196468 140722043977168 139687252097584 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
Current children cumulated CPU time: 193.94 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2745424 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+219.601 s]
/proc/loadavg: 1.62 1.70 1.68 3/215 17993
/proc/meminfo: memFree=22870872/32770624 swapFree=67108688/67108860
[pid=17793] ppid=17790 vsize=11082080 memory=2239908 CPUtime=252.06 cores=0,2,4,6
/proc/17793/stat : 17793 (java) S 17790 17793 6529 0 -1 1077944320 171928 13169 0 0 25043 155 5 3 20 0 15 0 107380637 11348049920 559977 33554432000 4194304 4196468 140722043977168 140722043959712 139688018013943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
/proc/17793/statm: 2770520 559977 3536 1 0 2732173 0
[pid=17793/tid=17846] ppid=17790 vsize=11082080 memory=2408 CPUtime=217.87 cores=0,2,4,6
/proc/17793/task/17846/stat : 17846 (java) R 17790 17793 6529 0 -1 4202560 71598 13169 0 0 21737 42 5 3 20 0 15 0 107380646 11348049920 559977 33554432000 4194304 4196468 140722043977168 139687989848560 139687610533187 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17847] ppid=17790 vsize=11082080 memory=1724 CPUtime=1.26 cores=0,2,4,6
/proc/17793/task/17847/stat : 17847 (java) S 17790 17793 6529 0 -1 1077944384 1375 13169 0 0 96 22 5 3 20 0 15 0 107380646 11348049920 559977 33554432000 4194304 4196468 140722043977168 139688022256656 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17848] ppid=17790 vsize=11082080 memory=1004 CPUtime=1.27 cores=0,2,4,6
/proc/17793/task/17848/stat : 17848 (java) S 17790 17793 6529 0 -1 1077944384 2955 13169 0 0 97 22 5 3 20 0 15 0 107380646 11348049920 559977 33554432000 4194304 4196468 140722043977168 139687907454096 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17849] ppid=17790 vsize=11082080 memory=6791534058613427641 CPUtime=1.29 cores=0,2,4,6
/proc/17793/task/17849/stat : 17849 (java) S 17790 17793 6529 0 -1 1077944384 4920 13169 0 0 98 23 5 3 20 0 15 0 107380646 11348049920 559977 33554432000 4194304 4196468 140722043977168 139687556471568 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17850] ppid=17790 vsize=11082080 memory=416828 CPUtime=1.26 cores=0,2,4,6
/proc/17793/task/17850/stat : 17850 (java) S 17790 17793 6529 0 -1 1077944384 3196 13169 0 0 96 22 5 3 20 0 15 0 107380646 11348049920 559977 33554432000 4194304 4196468 140722043977168 139687555419024 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17851] ppid=17790 vsize=11082080 memory=6791534058613427641 CPUtime=0.24 cores=0,2,4,6
/proc/17793/task/17851/stat : 17851 (java) S 17790 17793 6529 0 -1 1077944384 4160 13169 0 0 14 2 5 3 20 0 15 0 107380648 11348049920 559977 33554432000 4194304 4196468 140722043977168 139687256307952 139688018025090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17852] ppid=17790 vsize=11082080 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17852/stat : 17852 (java) S 17790 17793 6529 0 -1 1077944384 27 13169 0 0 0 0 5 3 20 0 15 0 107380648 11348049920 559977 33554432000 4194304 4196468 140722043977168 139686831973600 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17853] ppid=17790 vsize=11082080 memory=5668 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17853/stat : 17853 (java) S 17790 17793 6529 0 -1 1077944384 51 13169 0 0 0 0 5 3 20 0 15 0 107380648 11348049920 559977 33554432000 4194304 4196468 140722043977168 139686764860160 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17854] ppid=17790 vsize=11082080 memory=4616 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17854/stat : 17854 (java) S 17790 17793 6529 0 -1 1077944384 3 13169 0 0 0 0 5 3 20 0 15 0 107380651 11348049920 559977 33554432000 4194304 4196468 140722043977168 139686457464784 139688018032539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17855] ppid=17790 vsize=11082080 memory=2503592 CPUtime=13.06 cores=0,2,4,6
/proc/17793/task/17855/stat : 17855 (java) S 17790 17793 6529 0 -1 1077944384 33117 13169 0 0 1293 5 5 3 20 0 15 0 107380651 11348049920 559977 33554432000 4194304 4196468 140722043977168 139687255255792 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17856] ppid=17790 vsize=11082080 memory=7284 CPUtime=12.52 cores=0,2,4,6
/proc/17793/task/17856/stat : 17856 (java) S 17790 17793 6529 0 -1 1077944384 24497 13169 0 0 1242 2 5 3 20 0 15 0 107380651 11348049920 559977 33554432000 4194304 4196468 140722043977168 139687254203248 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17857] ppid=17790 vsize=11082080 memory=840 CPUtime=3.71 cores=0,2,4,6
/proc/17793/task/17857/stat : 17857 (java) S 17790 17793 6529 0 -1 1077944384 23518 13169 0 0 356 7 5 3 20 0 15 0 107380651 11348049920 559977 33554432000 4194304 4196468 140722043977168 139687253150192 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17858] ppid=17790 vsize=11082080 memory=1696 CPUtime=0.08 cores=0,2,4,6
/proc/17793/task/17858/stat : 17858 (java) S 17790 17793 6529 0 -1 1077944384 3 13169 0 0 0 0 5 3 20 0 15 0 107380651 11348049920 559977 33554432000 4194304 4196468 140722043977168 139686026668896 139688018024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
[pid=17793/tid=17859] ppid=17790 vsize=11082080 memory=916 CPUtime=0.18 cores=0,2,4,6
/proc/17793/task/17859/stat : 17859 (java) S 17790 17793 6529 0 -1 1077944384 316 13169 0 0 6 4 5 3 20 0 15 0 107380652 11348049920 559977 33554432000 4194304 4196468 140722043977168 139687252097584 139688018025090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 19275776 140722043980401 140722043983201 140722043983201 140722043985871 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2239908 KiB

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

[startup+219.646 s]
# the end of solver process 17793 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.505 s, system=1.60905 s

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

Child status: 143
Real time (s): 219.646
CPU time (s): 252.114
CPU user time (s): 250.505
CPU system time (s): 1.60905
CPU usage (%): 114.782
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 2915836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.505
system time used= 1.60905
maximum resident set size= 2915836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187865
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17734
involuntary context switches= 470


# summary of solver processes directly reported to runsolver:
#   pid: 17793
#   total CPU time (s): 252.114
#   total CPU user time (s): 250.505
#   total CPU system time (s): 1.60905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49298 second user time and 1.89011 second system time

The end

Name	TravelingTournament/ TravelingTournament-a3-galaxy16_c18.xml
MD5SUM	e08ad5e9bb2dce0f9ded0033a126b6aa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	21058
Best CPU time to get the best result obtained on this benchmark	252.115
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 4302335

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