2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.8-SuperNG 2018-06-13	SAT (TO)	24404	2520.14	2411.35

0.99/0.75	c Concrete v3.8.1528841891564 running
171.29/127.93	o 25530
171.92/128.43	o 25391
238.23/179.97	o 25073
238.23/179.99	o 25047
238.45/180.02	o 25006
238.45/180.04	o 24959
238.45/180.07	o 24920
238.72/180.20	o 24914
238.83/180.36	o 24864
243.21/184.55	o 24839
870.91/787.26	o 24585
871.01/787.34	o 24551
895.07/810.97	o 24534
929.34/844.67	o 24519
2134.93/2029.07	o 24404
2520.07/2411.31	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.07/2411.31		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.07/2411.31		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.07/2411.31		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.07/2411.31		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.07/2411.31		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.07/2411.31		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.07/2411.31		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.07/2411.31		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.07/2411.31		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.07/2411.31		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.07/2411.31		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.07/2411.31		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.07/2411.31		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.07/2411.31		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.07/2411.31		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108)
2520.07/2411.31		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.07/2411.31		at scala.Option.map(Option.scala:146)
2520.07/2411.31		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.07/2411.31		at concrete.MAC.mac(MAC.scala:203)
2520.07/2411.31		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.07/2411.31		at scala.util.Try$.apply(Try.scala:209)
2520.07/2411.31		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2411.31		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2411.31		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2411.31		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2411.31		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.07/2411.31		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2411.31		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2411.31		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2411.31		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2411.31		at concrete.MAC.oneRun(MAC.scala:253)
2520.07/2411.31		at concrete.MAC.nextSolution(MAC.scala:272)
2520.07/2411.31		at concrete.MAC.nextSolution(MAC.scala:355)
2520.07/2411.31		at concrete.Solver.hasNext(Solver.scala:166)
2520.07/2411.31		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.07/2411.31		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.07/2411.31		at concrete.Solver.foreach(Solver.scala:68)
2520.07/2411.31		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.07/2411.31		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2411.31		at scala.util.Success.map(Try.scala:209)
2520.07/2411.31		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2411.31		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.07/2411.31		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.07/2411.31		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2411.31		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.07/2411.31		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2411.31		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2411.31		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2411.31		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2411.31		at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2411.31		at scala.App.main(App.scala:76)
2520.07/2411.31		at scala.App.main$(App.scala:74)
2520.07/2411.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.07/2411.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2411.32	v <instantiation cost="24404">
2520.07/2411.32	v       <list>
2520.07/2411.32	v         o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[0][26] h[0][27] h[0][28] h[0][29] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[1][26] h[1][27] h[1][28] h[1][29] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[2][26] h[2][27] h[2][28] h[2][29] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[3][26] h[3][27] h[3][28] h[3][29] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[4][26] h[4][27] h[4][28] h[4][29] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[5][26] h[5][27] h[5][28] h[5][29] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[6][26] h[6][27] h[6][28] h[6][29] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[7][26] h[7][27] h[7][28] h[7][29] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[8][26] h[8][27] h[8][28] h[8][29] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[9][26] h[9][27] h[9][28] h[9][29] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[10][26] h[10][27] h[10][28] h[10][29] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[11][26] h[11][27] h[11][28] h[11][29] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[12][26] h[12][27] h[12][28] h[12][29] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] h[13][26] h[13][27] h[13][28] h[13][29] h[14][0] h[14][1] h[14][2] h[14][3] h[14][4] h[14][5] h[14][6] h[14][7] h[14][8] h[14][9] h[14][10] h[14][11] h[14][12] h[14][13] h[14][14] h[14][15] h[14][16] h[14][17] h[14][18] h[14][19] h[14][20] h[14][21] h[14][22] h[14][23] h[14][24] h[14][25] h[14][26] h[14][27] h[14][28] h[14][29] h[15][0] h[15][1] h[15][2] h[15][3] h[15][4] h[15][5] h[15][6] h[15][7] h[15][8] h[15][9] h[15][10] h[15][11] h[15][12] h[15][13] h[15][14] h[15][15] h[15][16] h[15][17] h[15][18] h[15][19] h[15][20] h[15][21] h[15][22] h[15][23] h[15][24] h[15][25] h[15][26] h[15][27] h[15][28] h[15][29] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[0][26] a[0][27] a[0][28] a[0][29] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[1][26] a[1][27] a[1][28] a[1][29] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[2][26] a[2][27] a[2][28] a[2][29] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[3][26] a[3][27] a[3][28] a[3][29] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[4][26] a[4][27] a[4][28] a[4][29] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[5][26] a[5][27] a[5][28] a[5][29] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[6][26] a[6][27] a[6][28] a[6][29] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[7][26] a[7][27] a[7][28] a[7][29] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[8][26] a[8][27] a[8][28] a[8][29] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[9][26] a[9][27] a[9][28] a[9][29] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[10][26] a[10][27] a[10][28] a[10][29] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[11][26] a[11][27] a[11][28] a[11][29] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[12][26] a[12][27] a[12][28] a[12][29] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] a[13][26] a[13][27] a[13][28] a[13][29] a[14][0] a[14][1] a[14][2] a[14][3] a[14][4] a[14][5] a[14][6] a[14][7] a[14][8] a[14][9] a[14][10] a[14][11] a[14][12] a[14][13] a[14][14] a[14][15] a[14][16] a[14][17] a[14][18] a[14][19] a[14][20] a[14][21] a[14][22] a[14][23] a[14][24] a[14][25] a[14][26] a[14][27] a[14][28] a[14][29] a[15][0] a[15][1] a[15][2] a[15][3] a[15][4] a[15][5] a[15][6] a[15][7] a[15][8] a[15][9] a[15][10] a[15][11] a[15][12] a[15][13] a[15][14] a[15][15] a[15][16] a[15][17] a[15][18] a[15][19] a[15][20] a[15][21] a[15][22] a[15][23] a[15][24] a[15][25] a[15][26] a[15][27] a[15][28] a[15][29] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[0][27] t[0][28] t[0][29] t[0][30] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[1][27] t[1][28] t[1][29] t[1][30] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[2][27] t[2][28] t[2][29] t[2][30] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[3][27] t[3][28] t[3][29] t[3][30] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[4][27] t[4][28] t[4][29] t[4][30] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[5][27] t[5][28] t[5][29] t[5][30] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[6][27] t[6][28] t[6][29] t[6][30] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[7][27] t[7][28] t[7][29] t[7][30] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[8][27] t[8][28] t[8][29] t[8][30] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[9][27] t[9][28] t[9][29] t[9][30] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[10][27] t[10][28] t[10][29] t[10][30] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[11][27] t[11][28] t[11][29] t[11][30] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[12][27] t[12][28] t[12][29] t[12][30] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26] t[13][27] t[13][28] t[13][29] t[13][30] t[14][0] t[14][1] t[14][2] t[14][3] t[14][4] t[14][5] t[14][6] t[14][7] t[14][8] t[14][9] t[14][10] t[14][11] t[14][12] t[14][13] t[14][14] t[14][15] t[14][16] t[14][17] t[14][18] t[14][19] t[14][20] t[14][21] t[14][22] t[14][23] t[14][24] t[14][25] t[14][26] t[14][27] t[14][28] t[14][29] t[14][30] t[15][0] t[15][1] t[15][2] t[15][3] t[15][4] t[15][5] t[15][6] t[15][7] t[15][8] t[15][9] t[15][10] t[15][11] t[15][12] t[15][13] t[15][14] t[15][15] t[15][16] t[15][17] t[15][18] t[15][19] t[15][20] t[15][21] t[15][22] t[15][23] t[15][24] t[15][25] t[15][26] t[15][27] t[15][28] t[15][29] t[15][30]
2520.07/2411.32	v       </list>
2520.07/2411.32	v       <values>
2520.07/2411.32	v         2 1 14 1 11 11 6 8 3 2 8 10 9 14 6 4 12 4 5 3 13 9 15 13 7 10 7 12 15 5 3 0 10 0 10 6 14 12 13 8 14 7 13 12 8 5 15 9 15 9 2 3 2 6 4 5 4 11 11 7 0 6 15 8 14 14 15 6 10 0 5 8 12 9 12 13 7 3 9 11 1 7 1 10 5 4 11 13 4 3 1 8 5 14 15 10 10 13 0 9 4 15 6 13 7 7 4 2 14 0 9 1 12 11 12 11 6 5 8 2 13 14 13 11 7 5 12 9 8 14 3 12 7 10 5 0 3 0 6 6 10 11 8 9 1 2 1 15 2 15 10 11 3 6 6 4 9 10 14 12 2 11 14 15 4 1 13 7 0 15 12 8 7 8 2 1 9 3 13 0 12 2 8 5 5 1 0 2 15 11 13 14 3 7 0 11 10 15 4 4 7 14 9 1 13 12 3 8 10 9 11 10 12 9 4 13 11 15 9 15 10 1 4 6 3 3 2 5 8 13 6 2 5 14 0 8 0 14 12 1 15 3 6 2 13 9 13 0 4 1 0 2 11 11 1 12 14 12 7 10 14 5 4 5 9 7 15 6 3 10 14 12 11 7 12 8 5 4 7 3 15 13 0 2 13 10 11 1 2 1 3 0 6 4 8 15 5 10 14 6 5 7 1 12 1 3 3 5 2 13 7 0 15 4 11 9 6 13 12 8 4 15 11 2 14 0 14 9 6 8 7 5 9 4 0 0 7 14 12 6 12 5 8 8 10 6 9 14 13 2 15 4 10 3 15 3 2 1 1 13 6 9 7 10 9 15 4 1 11 5 11 4 2 1 2 8 0 8 10 14 5 13 3 15 3 6 13 0 7 14 4 15 4 15 8 7 8 3 1 10 6 9 1 3 9 2 5 10 11 7 0 12 14 0 6 14 12 2 5 11 9 4 0 3 2 2 1 11 5 4 1 6 5 0 15 15 8 11 3 12 8 6 13 7 10 13 10 7 9 12 8 13 2 13 3 12 2 7 6 7 9 3 10 5 14 14 1 6 1 5 11 10 0 12 11 9 8 4 0 4 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 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 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 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 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 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 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 0 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 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 15 15 0 10 10 55 70 44 34 34 48 48 0 59 59 0 57 73 36 0 59 93 51 0 44 69 55 0 59 69 39 32 34 10 0 65 65 0 55 90 64 53 82 44 0 46 46 68 68 0 43 49 22 0 39 39 40 35 31 64 64 0 0 56 56 53 84 56 59 59 55 55 15 0 48 30 49 0 56 14 47 58 58 0 22 22 50 50 0 61 91 45 0 0 0 41 93 72 0 69 69 0 67 67 63 63 50 41 14 51 51 0 34 34 32 55 80 0 66 70 47 68 53 47 91 91 70 0 64 64 0 55 68 21 51 80 73 0 35 39 36 0 18 18 74 10 70 0 31 22 45 90 90 0 0 51 10 44 27 27 35 35 0 93 93 50 50 0 69 69 40 64 75 39 39 94 94 48 81 42 0 81 67 41 0 0 0 0 31 31 27 40 39 56 56 70 70 83 72 47 44 44 0 91 91 18 64 59 69 69 92 90 88 0 75 75 0 0 0 90 30 79 41 69 67 0 57 39 69 64 18 59 14 14 48 42 81 0 56 56 82 82 0 44 44 0 44 44 97 63 68 0 104 104 0 48 48 46 46 53 58 69 0 81 27 84 0 73 73 42 35 21 68 79 81 31 31 0 0 0 30 105 105 0 68 42 81 79 79 0 93 59 51 0 103 103 43 22 49 67 67 0 55 55 103 103 0 17 83 69 0 69 44 65 0 69 69 51 51 66 66 55 55 74 70 10 75 75 101 101 0 39 39 55 55 0 111 17 103 73 73 67 67 0 70 36 55 0 113 27 105 0 44 44 69 69 70 69 105 69 69 45 45 10 69 66 0 58 22 64 0 0 88 88 0 101 103 30 73 73 0 94 44 105 0 55 22 48 0 81 81 27 27 90 90 97 63 80 0 57 44 90 0 0 0 91 90 32 0 104 68 50 0 92 92 64 64 93 49 61 66 66 41 41 0 91 59 59 0 90 90 75 44 69 17 17 59 59 0 56 22 53 0 70 70 0 93 93 105 105 0 113 66 72 84 31 83 0 111 66 91 82 82 27 27 0 32 61 59 63 80 97 57 59 91 103 103 39 39 0 105 105 0 68 40 69 0 59 59 45 45 97 97 0 90 90
2520.07/2411.32	v       </values>
2520.07/2411.32	v     </instantiation>
2520.07/2411.32	s SATISFIABLE

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (4906 MiB free)
  memory of node 1: 16384 MiB (3251 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295450-1532558485/watcher-4295450-1532558485 -o /tmp/evaluation-result-4295450-1532558485/solver-4295450-1532558485 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532543154-31452 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=696652820 -superng HOME/instance-4295450-1532558485.xml 

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

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


[startup+0.100061 s]*
/proc/loadavg: 1.79 1.67 1.62 3/207 3009
/proc/meminfo: memFree=8350728/32770624 swapFree=67108860/67108860
[pid=2952] ppid=2949 vsize=9972712 memory=16684 CPUtime=0.09 cores=0,2,4,6
/proc/2952/stat : 2952 (java) S 2949 2952 31421 0 -1 1077944320 4324 13002 0 0 1 0 5 3 20 0 6 0 73411736 10212057088 4171 33554432000 4194304 4196468 140729547325136 140729547307680 140495767097079 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
/proc/2952/statm: 2493178 4171 1932 1 0 2481616 0
[pid=2952/tid=3005] ppid=2949 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3005/stat : 3005 (java) R 2949 2952 31421 0 -1 4202560 2199 13002 0 0 0 0 5 3 20 0 6 0 73411745 10212057088 4237 33554432000 4194304 4196468 140729547325136 140495738933840 140495751177596 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3006] ppid=2949 vsize=9972712 memory=7948963741541478447 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3006/stat : 3006 (java) S 2949 2952 31421 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 6 0 73411746 10212057088 4237 33554432000 4194304 4196468 140729547325136 140495771339920 140495767107285 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3007] ppid=2949 vsize=9972712 memory=139737352279680 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3007/stat : 3007 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 6 0 73411746 10212057088 4237 33554432000 4194304 4196468 140729547325136 140495696645136 140495767107285 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3008] ppid=2949 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3008/stat : 3008 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 6 0 73411746 10212057088 4237 33554432000 4194304 4196468 140729547325136 140495339314064 140495767107285 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3009] ppid=2949 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3009/stat : 3009 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 6 0 73411746 10212057088 4237 33554432000 4194304 4196468 140729547325136 140495338261264 140495767107285 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16684 KiB

[startup+0.210193 s]*
/proc/loadavg: 1.79 1.67 1.62 3/216 3018
/proc/meminfo: memFree=8323252/32770624 swapFree=67108860/67108860
[pid=2952] ppid=2949 vsize=10818904 memory=43376 CPUtime=0.26 cores=0,2,4,6
/proc/2952/stat : 2952 (java) S 2949 2952 31421 0 -1 1077944320 7106 13002 0 0 17 1 5 3 20 0 15 0 73411736 11078557696 10844 33554432000 4194304 4196468 140729547325136 140729547307680 140495767097079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
/proc/2952/statm: 2704726 10844 2928 1 0 2667149 0
[pid=2952/tid=3005] ppid=2949 vsize=10818904 memory=-8171376296011865461 CPUtime=0.18 cores=0,2,4,6
/proc/2952/task/3005/stat : 3005 (java) R 2949 2952 31421 0 -1 4202560 4029 13002 0 0 10 0 5 3 20 0 15 0 73411745 11078557696 11108 33554432000 4194304 4196468 140729547325136 140495738914192 140495747372907 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3006] ppid=2949 vsize=10818904 memory=7948963741541478447 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3006/stat : 3006 (java) S 2949 2952 31421 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 73411746 11078557696 11174 33554432000 4194304 4196468 140729547325136 140495771339920 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3007] ppid=2949 vsize=10818904 memory=139737352279680 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3007/stat : 3007 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411746 11078557696 11174 33554432000 4194304 4196468 140729547325136 140495696645136 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3008] ppid=2949 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3008/stat : 3008 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411746 11078557696 11174 33554432000 4194304 4196468 140729547325136 140495339314064 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3009] ppid=2949 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3009/stat : 3009 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411746 11078557696 11174 33554432000 4194304 4196468 140729547325136 140495338261264 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3010] ppid=2949 vsize=10818904 memory=139737352279680 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3010/stat : 3010 (java) S 2949 2952 31421 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 73411747 11078557696 11174 33554432000 4194304 4196468 140729547325136 140495293684080 140495767108226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3011] ppid=2949 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3011/stat : 3011 (java) S 2949 2952 31421 0 -1 1077944384 13 13002 0 0 0 0 5 3 20 0 15 0 73411748 11078557696 11174 33554432000 4194304 4196468 140729547325136 140495225349152 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3012] ppid=2949 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3012/stat : 3012 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411748 11078557696 11174 33554432000 4194304 4196468 140729547325136 140495091131248 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3013] ppid=2949 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3013/stat : 3013 (java) S 2949 2952 31421 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 73411751 11078557696 11174 33554432000 4194304 4196468 140729547325136 140494487152464 140495767115675 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3014] ppid=2949 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2952/task/3014/stat : 3014 (java) S 2949 2952 31421 0 -1 1077944384 528 13002 0 0 1 0 5 3 20 0 15 0 73411751 11078557696 11174 33554432000 4194304 4196468 140729547325136 140495191792496 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3015] ppid=2949 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3015/stat : 3015 (java) S 2949 2952 31421 0 -1 1077944384 52 13002 0 0 0 0 5 3 20 0 15 0 73411751 11078557696 11174 33554432000 4194304 4196468 140729547325136 140495190739696 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3016] ppid=2949 vsize=10818904 memory=139737352279680 CPUtime=0.11 cores=0,2,4,6
/proc/2952/task/3016/stat : 3016 (java) S 2949 2952 31421 0 -1 1077944384 548 13002 0 0 3 0 5 3 20 0 15 0 73411751 11078557696 11174 33554432000 4194304 4196468 140729547325136 140495189686896 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3017] ppid=2949 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3017/stat : 3017 (java) S 2949 2952 31421 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 73411751 11078557696 11240 33554432000 4194304 4196468 140729547325136 140494017391328 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3018] ppid=2949 vsize=10818904 memory=139737352279680 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3018/stat : 3018 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411751 11078557696 11240 33554432000 4194304 4196468 140729547325136 140495188634288 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43376 KiB

[startup+0.310171 s]*
/proc/loadavg: 1.79 1.67 1.62 3/216 3018
/proc/meminfo: memFree=8311652/32770624 swapFree=67108860/67108860
[pid=2952] ppid=2949 vsize=10819352 memory=56776 CPUtime=0.38 cores=0,2,4,6
/proc/2952/stat : 2952 (java) S 2949 2952 31421 0 -1 1077944320 10282 13002 0 0 28 2 5 3 20 0 15 0 73411736 11079016448 14194 33554432000 4194304 4196468 140729547325136 140729547307680 140495767097079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
/proc/2952/statm: 2704838 14194 3047 1 0 2667149 0
[pid=2952/tid=3005] ppid=2949 vsize=10819352 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/2952/task/3005/stat : 3005 (java) R 2949 2952 31421 0 -1 4202560 7071 13002 0 0 19 2 5 3 20 0 15 0 73411745 11079016448 14326 33554432000 4194304 4196468 140729547325136 140495738909088 140495747372786 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3006] ppid=2949 vsize=10819352 memory=8514701219931451533 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3006/stat : 3006 (java) S 2949 2952 31421 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 73411746 11079016448 14326 33554432000 4194304 4196468 140729547325136 140495771339920 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3007] ppid=2949 vsize=10819352 memory=1328725297981317182 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3007/stat : 3007 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411746 11079016448 14326 33554432000 4194304 4196468 140729547325136 140495696645136 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3008] ppid=2949 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3008/stat : 3008 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411746 11079016448 14326 33554432000 4194304 4196468 140729547325136 140495339314064 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3009] ppid=2949 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3009/stat : 3009 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411746 11079016448 14326 33554432000 4194304 4196468 140729547325136 140495338261264 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3010] ppid=2949 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3010/stat : 3010 (java) S 2949 2952 31421 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 73411747 11079016448 14326 33554432000 4194304 4196468 140729547325136 140495293684080 140495767108226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3011] ppid=2949 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3011/stat : 3011 (java) S 2949 2952 31421 0 -1 1077944384 13 13002 0 0 0 0 5 3 20 0 15 0 73411748 11079016448 14326 33554432000 4194304 4196468 140729547325136 140495225349152 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3012] ppid=2949 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3012/stat : 3012 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411748 11079016448 14326 33554432000 4194304 4196468 140729547325136 140495091131248 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3013] ppid=2949 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3013/stat : 3013 (java) S 2949 2952 31421 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 73411751 11079016448 14326 33554432000 4194304 4196468 140729547325136 140494487152464 140495767115675 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3014] ppid=2949 vsize=10819352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/2952/task/3014/stat : 3014 (java) S 2949 2952 31421 0 -1 1077944384 528 13002 0 0 2 0 5 3 20 0 15 0 73411751 11079016448 14326 33554432000 4194304 4196468 140729547325136 140495191792496 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3015] ppid=2949 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2952/task/3015/stat : 3015 (java) S 2949 2952 31421 0 -1 1077944384 53 13002 0 0 1 0 5 3 20 0 15 0 73411751 11079016448 14326 33554432000 4194304 4196468 140729547325136 140495190739696 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3016] ppid=2949 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/2952/task/3016/stat : 3016 (java) S 2949 2952 31421 0 -1 1077944384 558 13002 0 0 4 0 5 3 20 0 15 0 73411751 11079016448 14326 33554432000 4194304 4196468 140729547325136 140495189686896 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3017] ppid=2949 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3017/stat : 3017 (java) S 2949 2952 31421 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 73411751 11079016448 14326 33554432000 4194304 4196468 140729547325136 140494017391328 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3018] ppid=2949 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3018/stat : 3018 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411751 11079016448 14326 33554432000 4194304 4196468 140729547325136 140495188634288 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 56776 KiB

[startup+0.700729 s]
/proc/loadavg: 1.79 1.67 1.62 3/216 3018
/proc/meminfo: memFree=8300680/32770624 swapFree=67108860/67108860
[pid=2952] ppid=2949 vsize=10819352 memory=90376 CPUtime=0.99 cores=0,2,4,6
/proc/2952/stat : 2952 (java) S 2949 2952 31421 0 -1 1077944320 16737 13002 0 0 87 4 5 3 20 0 15 0 73411736 11079016448 22594 33554432000 4194304 4196468 140729547325136 140729547307680 140495767097079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
/proc/2952/statm: 2704838 22594 3238 1 0 2667149 0
[pid=2952/tid=3005] ppid=2949 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/2952/task/3005/stat : 3005 (java) R 2949 2952 31421 0 -1 4202560 12366 13002 0 0 55 3 5 3 20 0 15 0 73411745 11079016448 22594 33554432000 4194304 4196468 140729547325136 140495738917368 140495748660648 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3006] ppid=2949 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3006/stat : 3006 (java) S 2949 2952 31421 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 73411746 11079016448 22594 33554432000 4194304 4196468 140729547325136 140495771339920 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3007] ppid=2949 vsize=10819352 memory=8458433173657040949 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3007/stat : 3007 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411746 11079016448 22594 33554432000 4194304 4196468 140729547325136 140495696645136 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3008] ppid=2949 vsize=10819352 memory=7084813508723103081 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3008/stat : 3008 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411746 11079016448 22594 33554432000 4194304 4196468 140729547325136 140495339314064 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3009] ppid=2949 vsize=10819352 memory=4639059877604708710 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3009/stat : 3009 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411746 11079016448 22594 33554432000 4194304 4196468 140729547325136 140495338261264 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3010] ppid=2949 vsize=10819352 memory=3467824627880452160 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3010/stat : 3010 (java) S 2949 2952 31421 0 -1 1077944384 5 13002 0 0 0 0 5 3 20 0 15 0 73411747 11079016448 22594 33554432000 4194304 4196468 140729547325136 140495293684080 140495767108226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3011] ppid=2949 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3011/stat : 3011 (java) S 2949 2952 31421 0 -1 1077944384 13 13002 0 0 0 0 5 3 20 0 15 0 73411748 11079016448 22594 33554432000 4194304 4196468 140729547325136 140495225349152 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3012] ppid=2949 vsize=10819352 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3012/stat : 3012 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411748 11079016448 22594 33554432000 4194304 4196468 140729547325136 140495091131248 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3013] ppid=2949 vsize=10819352 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3013/stat : 3013 (java) S 2949 2952 31421 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 73411751 11079016448 22594 33554432000 4194304 4196468 140729547325136 140494487152464 140495767115675 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3014] ppid=2949 vsize=10819352 memory=2244 CPUtime=0.16 cores=0,2,4,6
/proc/2952/task/3014/stat : 3014 (java) S 2949 2952 31421 0 -1 1077944384 878 13002 0 0 8 0 5 3 20 0 15 0 73411751 11079016448 22594 33554432000 4194304 4196468 140729547325136 140495191792496 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3015] ppid=2949 vsize=10819352 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/2952/task/3015/stat : 3015 (java) S 2949 2952 31421 0 -1 1077944384 632 13002 0 0 9 0 5 3 20 0 15 0 73411751 11079016448 22594 33554432000 4194304 4196468 140729547325136 140495190739696 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3016] ppid=2949 vsize=10819352 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/2952/task/3016/stat : 3016 (java) S 2949 2952 31421 0 -1 1077944384 639 13002 0 0 13 0 5 3 20 0 15 0 73411751 11079016448 22594 33554432000 4194304 4196468 140729547325136 140495189686896 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3017] ppid=2949 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3017/stat : 3017 (java) S 2949 2952 31421 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 73411751 11079016448 22594 33554432000 4194304 4196468 140729547325136 140494017391328 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3018] ppid=2949 vsize=10819352 memory=30305 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3018/stat : 3018 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411751 11079016448 22594 33554432000 4194304 4196468 140729547325136 140495188634288 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90376 KiB

[startup+1.50072 s]
/proc/loadavg: 1.79 1.67 1.62 3/216 3018
/proc/meminfo: memFree=8256768/32770624 swapFree=67108860/67108860
[pid=2952] ppid=2949 vsize=10828108 memory=212152 CPUtime=3.06 cores=0,2,4,6
/proc/2952/stat : 2952 (java) S 2949 2952 31421 0 -1 1077944320 22525 13002 0 0 290 8 5 3 20 0 15 0 73411736 11087982592 53038 33554432000 4194304 4196468 140729547325136 140729547307680 140495767097079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
/proc/2952/statm: 2707027 53038 3458 1 0 2668685 0
[pid=2952/tid=3005] ppid=2949 vsize=10828108 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/2952/task/3005/stat : 3005 (java) R 2949 2952 31421 0 -1 4202560 15188 13002 0 0 131 7 5 3 20 0 15 0 73411745 11087982592 53038 33554432000 4194304 4196468 140729547325136 140495738928544 140495374811744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3006] ppid=2949 vsize=10828108 memory=124 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3006/stat : 3006 (java) S 2949 2952 31421 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 73411746 11087982592 53038 33554432000 4194304 4196468 140729547325136 140495771339920 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3007] ppid=2949 vsize=10828108 memory=78 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3007/stat : 3007 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411746 11087982592 53038 33554432000 4194304 4196468 140729547325136 140495696645136 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3008] ppid=2949 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3008/stat : 3008 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411746 11087982592 53038 33554432000 4194304 4196468 140729547325136 140495339314064 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3009] ppid=2949 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3009/stat : 3009 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411746 11087982592 53038 33554432000 4194304 4196468 140729547325136 140495338261264 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3010] ppid=2949 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3010/stat : 3010 (java) S 2949 2952 31421 0 -1 1077944384 12 13002 0 0 0 0 5 3 20 0 15 0 73411747 11087982592 53038 33554432000 4194304 4196468 140729547325136 140495293684080 140495767108226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3011] ppid=2949 vsize=10828108 memory=139737230751888 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3011/stat : 3011 (java) S 2949 2952 31421 0 -1 1077944384 13 13002 0 0 0 0 5 3 20 0 15 0 73411748 11087982592 53038 33554432000 4194304 4196468 140729547325136 140495225349152 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3012] ppid=2949 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3012/stat : 3012 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411748 11087982592 53038 33554432000 4194304 4196468 140729547325136 140495091131248 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3013] ppid=2949 vsize=10828108 memory=2986632698767059817 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3013/stat : 3013 (java) S 2949 2952 31421 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 73411751 11087982592 53038 33554432000 4194304 4196468 140729547325136 140494487152464 140495767115675 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3014] ppid=2949 vsize=10828108 memory=-2127764329378439159 CPUtime=0.64 cores=0,2,4,6
/proc/2952/task/3014/stat : 3014 (java) R 2949 2952 31421 0 -1 4202560 2147 13002 0 0 56 0 5 3 20 0 15 0 73411751 11087982592 53038 33554432000 4194304 4196468 140729547325136 140495191778928 140495752205048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3015] ppid=2949 vsize=10828108 memory=-2897801490638248331 CPUtime=0.62 cores=0,2,4,6
/proc/2952/task/3015/stat : 3015 (java) R 2949 2952 31421 0 -1 4202560 1466 13002 0 0 54 0 5 3 20 0 15 0 73411751 11087982592 53038 33554432000 4194304 4196468 140729547325136 140495190729168 140495748622399 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3016] ppid=2949 vsize=10828108 memory=-2746958450906831519 CPUtime=0.54 cores=0,2,4,6
/proc/2952/task/3016/stat : 3016 (java) S 2949 2952 31421 0 -1 1077944384 1495 13002 0 0 46 0 5 3 20 0 15 0 73411751 11087982592 53038 33554432000 4194304 4196468 140729547325136 140495189686896 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3017] ppid=2949 vsize=10828108 memory=-6440287458061328268 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3017/stat : 3017 (java) S 2949 2952 31421 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 73411751 11087982592 53038 33554432000 4194304 4196468 140729547325136 140494017391328 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3018] ppid=2949 vsize=10828108 memory=64 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3018/stat : 3018 (java) S 2949 2952 31421 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 73411751 11087982592 53038 33554432000 4194304 4196468 140729547325136 140495188634288 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 10828108 KiB

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

/proc/2952/task/3005/stat : 3005 (java) R 2949 2952 31421 0 -1 4202560 291043 13002 0 0 229496 79 5 3 20 0 15 0 73411745 11113168896 1165375 33554432000 4194304 4196468 140729547325136 140495738932368 140495372497039 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3006] ppid=2949 vsize=10852704 memory=4669196 CPUtime=25.6 cores=0,2,4,6
/proc/2952/task/3006/stat : 3006 (java) S 2949 2952 31421 0 -1 1077944384 46972 13002 0 0 2481 71 5 3 20 0 15 0 73411746 11113168896 1165375 33554432000 4194304 4196468 140729547325136 140495771339920 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3007] ppid=2949 vsize=10852704 memory=4661500 CPUtime=25.57 cores=0,2,4,6
/proc/2952/task/3007/stat : 3007 (java) S 2949 2952 31421 0 -1 1077944384 43012 13002 0 0 2481 68 5 3 20 0 15 0 73411746 11113168896 1165375 33554432000 4194304 4196468 140729547325136 140495696645136 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3008] ppid=2949 vsize=10852704 memory=4661500 CPUtime=25.61 cores=0,2,4,6
/proc/2952/task/3008/stat : 3008 (java) S 2949 2952 31421 0 -1 1077944384 52668 13002 0 0 2481 72 5 3 20 0 15 0 73411746 11113168896 1165375 33554432000 4194304 4196468 140729547325136 140495339314064 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3009] ppid=2949 vsize=10852704 memory=4661500 CPUtime=25.58 cores=0,2,4,6
/proc/2952/task/3009/stat : 3009 (java) S 2949 2952 31421 0 -1 1077944384 37176 13002 0 0 2481 69 5 3 20 0 15 0 73411746 11113168896 1165375 33554432000 4194304 4196468 140729547325136 140495338261264 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3010] ppid=2949 vsize=10852704 memory=4661500 CPUtime=0.79 cores=0,2,4,6
/proc/2952/task/3010/stat : 3010 (java) S 2949 2952 31421 0 -1 1077944384 57101 13002 0 0 63 8 5 3 20 0 15 0 73411747 11113168896 1165375 33554432000 4194304 4196468 140729547325136 140495293684080 140495767108226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3011] ppid=2949 vsize=10852704 memory=1836 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3011/stat : 3011 (java) S 2949 2952 31421 0 -1 1077944384 21 13002 0 0 0 0 5 3 20 0 15 0 73411748 11113168896 1165375 33554432000 4194304 4196468 140729547325136 140495225349216 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3012] ppid=2949 vsize=10852704 memory=13044 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3012/stat : 3012 (java) S 2949 2952 31421 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 73411748 11113168896 1165375 33554432000 4194304 4196468 140729547325136 140495091131264 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3013] ppid=2949 vsize=10852704 memory=4661500 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3013/stat : 3013 (java) S 2949 2952 31421 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 73411751 11113168896 1165375 33554432000 4194304 4196468 140729547325136 140494487152464 140495767115675 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3014] ppid=2949 vsize=10852704 memory=1836 CPUtime=13.68 cores=0,2,4,6
/proc/2952/task/3014/stat : 3014 (java) S 2949 2952 31421 0 -1 1077944384 106049 13002 0 0 1349 11 5 3 20 0 15 0 73411751 11113168896 1165375 33554432000 4194304 4196468 140729547325136 140495191792496 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3015] ppid=2949 vsize=10852704 memory=1232 CPUtime=13.46 cores=0,2,4,6
/proc/2952/task/3015/stat : 3015 (java) S 2949 2952 31421 0 -1 1077944384 86944 13002 0 0 1331 7 5 3 20 0 15 0 73411751 11113168896 1165375 33554432000 4194304 4196468 140729547325136 140495190739696 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3016] ppid=2949 vsize=10852704 memory=8536 CPUtime=3.91 cores=0,2,4,6
/proc/2952/task/3016/stat : 3016 (java) S 2949 2952 31421 0 -1 1077944384 51459 13002 0 0 376 7 5 3 20 0 15 0 73411751 11113168896 1165375 33554432000 4194304 4196468 140729547325136 140495189686896 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3017] ppid=2949 vsize=10852704 memory=13044 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3017/stat : 3017 (java) S 2949 2952 31421 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 73411751 11113168896 1165375 33554432000 4194304 4196468 140729547325136 140494017391328 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3018] ppid=2949 vsize=10852704 memory=792 CPUtime=1.46 cores=0,2,4,6
/proc/2952/task/3018/stat : 3018 (java) S 2949 2952 31421 0 -1 1077944384 2522 13002 0 0 71 67 5 3 20 0 15 0 73411751 11113168896 1165375 33554432000 4194304 4196468 140729547325136 140495188634288 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
Current children cumulated CPU time: 2430.9 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4661500 KiB

[startup+2382.3 s]
/proc/loadavg: 1.61 1.63 1.68 3/215 3246
/proc/meminfo: memFree=7518216/32770624 swapFree=67108860/67108860
[pid=2952] ppid=2949 vsize=10852704 memory=4579936 CPUtime=2491.01 cores=0,2,4,6
/proc/2952/stat : 2952 (java) S 2949 2952 31421 0 -1 1077944320 794035 13002 0 0 248643 450 5 3 20 0 15 0 73411736 11113168896 1144984 33554432000 4194304 4196468 140729547325136 140729547307680 140495767097079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
/proc/2952/statm: 2713176 1144984 3537 1 0 2674829 0
[pid=2952/tid=3005] ppid=2949 vsize=10852704 memory=8112282956445269571 CPUtime=2355.79 cores=0,2,4,6
/proc/2952/task/3005/stat : 3005 (java) R 2949 2952 31421 0 -1 4202560 296816 13002 0 0 235490 81 5 3 20 0 15 0 73411745 11113168896 1144984 33554432000 4194304 4196468 140729547325136 140495738931728 140495391414706 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3006] ppid=2949 vsize=10852704 memory=1296 CPUtime=25.62 cores=0,2,4,6
/proc/2952/task/3006/stat : 3006 (java) S 2949 2952 31421 0 -1 1077944384 48466 13002 0 0 2483 71 5 3 20 0 15 0 73411746 11113168896 1144984 33554432000 4194304 4196468 140729547325136 140495771339920 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3007] ppid=2949 vsize=10852704 memory=4598916 CPUtime=25.6 cores=0,2,4,6
/proc/2952/task/3007/stat : 3007 (java) S 2949 2952 31421 0 -1 1077944384 44471 13002 0 0 2484 68 5 3 20 0 15 0 73411746 11113168896 1144984 33554432000 4194304 4196468 140729547325136 140495696645136 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3008] ppid=2949 vsize=10852704 memory=4598916 CPUtime=25.63 cores=0,2,4,6
/proc/2952/task/3008/stat : 3008 (java) S 2949 2952 31421 0 -1 1077944384 53697 13002 0 0 2483 72 5 3 20 0 15 0 73411746 11113168896 1144984 33554432000 4194304 4196468 140729547325136 140495339314064 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3009] ppid=2949 vsize=10852704 memory=4598916 CPUtime=25.6 cores=0,2,4,6
/proc/2952/task/3009/stat : 3009 (java) S 2949 2952 31421 0 -1 1077944384 40427 13002 0 0 2483 69 5 3 20 0 15 0 73411746 11113168896 1144984 33554432000 4194304 4196468 140729547325136 140495338261264 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3010] ppid=2949 vsize=10852704 memory=4598916 CPUtime=0.8 cores=0,2,4,6
/proc/2952/task/3010/stat : 3010 (java) S 2949 2952 31421 0 -1 1077944384 57711 13002 0 0 63 9 5 3 20 0 15 0 73411747 11113168896 1144984 33554432000 4194304 4196468 140729547325136 140495293684080 140495767108226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3011] ppid=2949 vsize=10852704 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3011/stat : 3011 (java) S 2949 2952 31421 0 -1 1077944384 21 13002 0 0 0 0 5 3 20 0 15 0 73411748 11113168896 1144984 33554432000 4194304 4196468 140729547325136 140495225349216 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3012] ppid=2949 vsize=10852704 memory=4598916 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3012/stat : 3012 (java) S 2949 2952 31421 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 73411748 11113168896 1144984 33554432000 4194304 4196468 140729547325136 140495091131264 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3013] ppid=2949 vsize=10852704 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3013/stat : 3013 (java) S 2949 2952 31421 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 73411751 11113168896 1144984 33554432000 4194304 4196468 140729547325136 140494487152464 140495767115675 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3014] ppid=2949 vsize=10852704 memory=4579936 CPUtime=13.69 cores=0,2,4,6
/proc/2952/task/3014/stat : 3014 (java) S 2949 2952 31421 0 -1 1077944384 108574 13002 0 0 1350 11 5 3 20 0 15 0 73411751 11113168896 1144984 33554432000 4194304 4196468 140729547325136 140495191792496 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3015] ppid=2949 vsize=10852704 memory=4598916 CPUtime=13.46 cores=0,2,4,6
/proc/2952/task/3015/stat : 3015 (java) S 2949 2952 31421 0 -1 1077944384 86947 13002 0 0 1331 7 5 3 20 0 15 0 73411751 11113168896 1144984 33554432000 4194304 4196468 140729547325136 140495190739696 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3016] ppid=2949 vsize=10852704 memory=4598916 CPUtime=3.91 cores=0,2,4,6
/proc/2952/task/3016/stat : 3016 (java) S 2949 2952 31421 0 -1 1077944384 52155 13002 0 0 376 7 5 3 20 0 15 0 73411751 11113168896 1144984 33554432000 4194304 4196468 140729547325136 140495189686896 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3017] ppid=2949 vsize=10852704 memory=4598916 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3017/stat : 3017 (java) S 2949 2952 31421 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 73411751 11113168896 1144984 33554432000 4194304 4196468 140729547325136 140494017391328 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3018] ppid=2949 vsize=10852704 memory=4612 CPUtime=1.5 cores=0,2,4,6
/proc/2952/task/3018/stat : 3018 (java) S 2949 2952 31421 0 -1 1077944384 2550 13002 0 0 73 69 5 3 20 0 15 0 73411751 11113168896 1144984 33554432000 4194304 4196468 140729547325136 140495188634288 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
Current children cumulated CPU time: 2491.01 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4579936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2411.3 s]
/proc/loadavg: 1.57 1.62 1.68 3/215 3247
/proc/meminfo: memFree=7553384/32770624 swapFree=67108860/67108860
[pid=2952] ppid=2949 vsize=10852704 memory=4550692 CPUtime=2520.07 cores=0,2,4,6
/proc/2952/stat : 2952 (java) S 2949 2952 31421 0 -1 1077944320 799416 13002 0 0 251546 453 5 3 20 0 15 0 73411736 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140729547307680 140495767097079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
/proc/2952/statm: 2713176 1137673 3537 1 0 2674829 0
[pid=2952/tid=3005] ppid=2949 vsize=10852704 memory=4550692 CPUtime=2384.78 cores=0,2,4,6
/proc/2952/task/3005/stat : 3005 (java) R 2949 2952 31421 0 -1 4202560 298937 13002 0 0 238388 82 5 3 20 0 15 0 73411745 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495738931856 140495394203518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3006] ppid=2949 vsize=10852704 memory=4569160 CPUtime=25.63 cores=0,2,4,6
/proc/2952/task/3006/stat : 3006 (java) S 2949 2952 31421 0 -1 1077944384 48477 13002 0 0 2484 71 5 3 20 0 15 0 73411746 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495771339920 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3007] ppid=2949 vsize=10852704 memory=4569160 CPUtime=25.61 cores=0,2,4,6
/proc/2952/task/3007/stat : 3007 (java) S 2949 2952 31421 0 -1 1077944384 44471 13002 0 0 2485 68 5 3 20 0 15 0 73411746 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495696645136 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3008] ppid=2949 vsize=10852704 memory=4579936 CPUtime=25.64 cores=0,2,4,6
/proc/2952/task/3008/stat : 3008 (java) S 2949 2952 31421 0 -1 1077944384 53700 13002 0 0 2484 72 5 3 20 0 15 0 73411746 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495339314064 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3009] ppid=2949 vsize=10852704 memory=4569160 CPUtime=25.61 cores=0,2,4,6
/proc/2952/task/3009/stat : 3009 (java) S 2949 2952 31421 0 -1 1077944384 40431 13002 0 0 2484 69 5 3 20 0 15 0 73411746 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495338261264 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3010] ppid=2949 vsize=10852704 memory=4569160 CPUtime=0.8 cores=0,2,4,6
/proc/2952/task/3010/stat : 3010 (java) S 2949 2952 31421 0 -1 1077944384 57714 13002 0 0 63 9 5 3 20 0 15 0 73411747 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495293684080 140495767108226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3011] ppid=2949 vsize=10852704 memory=4550692 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3011/stat : 3011 (java) S 2949 2952 31421 0 -1 1077944384 21 13002 0 0 0 0 5 3 20 0 15 0 73411748 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495225349216 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3012] ppid=2949 vsize=10852704 memory=4569160 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3012/stat : 3012 (java) S 2949 2952 31421 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 73411748 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495091131264 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3013] ppid=2949 vsize=10852704 memory=4569160 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3013/stat : 3013 (java) S 2949 2952 31421 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 73411751 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140494487152464 140495767115675 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3014] ppid=2949 vsize=10852704 memory=1200 CPUtime=13.69 cores=0,2,4,6
/proc/2952/task/3014/stat : 3014 (java) S 2949 2952 31421 0 -1 1077944384 108574 13002 0 0 1350 11 5 3 20 0 15 0 73411751 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495191792496 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3015] ppid=2949 vsize=10852704 memory=4569160 CPUtime=13.47 cores=0,2,4,6
/proc/2952/task/3015/stat : 3015 (java) S 2949 2952 31421 0 -1 1077944384 89519 13002 0 0 1332 7 5 3 20 0 15 0 73411751 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495190739696 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3016] ppid=2949 vsize=10852704 memory=4569160 CPUtime=3.92 cores=0,2,4,6
/proc/2952/task/3016/stat : 3016 (java) S 2949 2952 31421 0 -1 1077944384 52811 13002 0 0 377 7 5 3 20 0 15 0 73411751 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495189686896 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3017] ppid=2949 vsize=10852704 memory=4569160 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3017/stat : 3017 (java) S 2949 2952 31421 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 73411751 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140494017391328 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3018] ppid=2949 vsize=10852704 memory=4569160 CPUtime=1.52 cores=0,2,4,6
/proc/2952/task/3018/stat : 3018 (java) S 2949 2952 31421 0 -1 1077944384 2561 13002 0 0 73 71 5 3 20 0 15 0 73411751 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495188634288 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4550692 KiB

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

[startup+2411.35 s]
# the end of solver process 2952 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.54 s, system=4.6019 s

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

[startup+2411.3 s]
/proc/loadavg: 1.57 1.62 1.68 3/215 3247
/proc/meminfo: memFree=7553384/32770624 swapFree=67108860/67108860
[pid=2952] ppid=2949 vsize=10852704 memory=4550692 CPUtime=2520.07 cores=0,2,4,6
/proc/2952/stat : 2952 (java) S 2949 2952 31421 0 -1 1077944320 799416 13002 0 0 251546 453 5 3 20 0 15 0 73411736 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140729547307680 140495767097079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
/proc/2952/statm: 2713176 1137673 3537 1 0 2674829 0
[pid=2952/tid=3005] ppid=2949 vsize=10852704 memory=4550692 CPUtime=2384.78 cores=0,2,4,6
/proc/2952/task/3005/stat : 3005 (java) R 2949 2952 31421 0 -1 4202560 298937 13002 0 0 238388 82 5 3 20 0 15 0 73411745 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495738931856 140495394203518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3006] ppid=2949 vsize=10852704 memory=4569160 CPUtime=25.63 cores=0,2,4,6
/proc/2952/task/3006/stat : 3006 (java) S 2949 2952 31421 0 -1 1077944384 48477 13002 0 0 2484 71 5 3 20 0 15 0 73411746 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495771339920 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3007] ppid=2949 vsize=10852704 memory=4569160 CPUtime=25.61 cores=0,2,4,6
/proc/2952/task/3007/stat : 3007 (java) S 2949 2952 31421 0 -1 1077944384 44471 13002 0 0 2485 68 5 3 20 0 15 0 73411746 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495696645136 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3008] ppid=2949 vsize=10852704 memory=4579936 CPUtime=25.64 cores=0,2,4,6
/proc/2952/task/3008/stat : 3008 (java) S 2949 2952 31421 0 -1 1077944384 53700 13002 0 0 2484 72 5 3 20 0 15 0 73411746 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495339314064 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3009] ppid=2949 vsize=10852704 memory=4569160 CPUtime=25.61 cores=0,2,4,6
/proc/2952/task/3009/stat : 3009 (java) S 2949 2952 31421 0 -1 1077944384 40431 13002 0 0 2484 69 5 3 20 0 15 0 73411746 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495338261264 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3010] ppid=2949 vsize=10852704 memory=4569160 CPUtime=0.8 cores=0,2,4,6
/proc/2952/task/3010/stat : 3010 (java) S 2949 2952 31421 0 -1 1077944384 57714 13002 0 0 63 9 5 3 20 0 15 0 73411747 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495293684080 140495767108226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3011] ppid=2949 vsize=10852704 memory=4550692 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3011/stat : 3011 (java) S 2949 2952 31421 0 -1 1077944384 21 13002 0 0 0 0 5 3 20 0 15 0 73411748 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495225349216 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3012] ppid=2949 vsize=10852704 memory=4569160 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3012/stat : 3012 (java) S 2949 2952 31421 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 73411748 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495091131264 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3013] ppid=2949 vsize=10852704 memory=4569160 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3013/stat : 3013 (java) S 2949 2952 31421 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 73411751 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140494487152464 140495767115675 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3014] ppid=2949 vsize=10852704 memory=1200 CPUtime=13.69 cores=0,2,4,6
/proc/2952/task/3014/stat : 3014 (java) S 2949 2952 31421 0 -1 1077944384 108574 13002 0 0 1350 11 5 3 20 0 15 0 73411751 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495191792496 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3015] ppid=2949 vsize=10852704 memory=4569160 CPUtime=13.47 cores=0,2,4,6
/proc/2952/task/3015/stat : 3015 (java) S 2949 2952 31421 0 -1 1077944384 89519 13002 0 0 1332 7 5 3 20 0 15 0 73411751 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495190739696 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3016] ppid=2949 vsize=10852704 memory=4569160 CPUtime=3.92 cores=0,2,4,6
/proc/2952/task/3016/stat : 3016 (java) S 2949 2952 31421 0 -1 1077944384 52811 13002 0 0 377 7 5 3 20 0 15 0 73411751 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495189686896 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3017] ppid=2949 vsize=10852704 memory=4569160 CPUtime=0.08 cores=0,2,4,6
/proc/2952/task/3017/stat : 3017 (java) S 2949 2952 31421 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 73411751 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140494017391328 140495767107285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
[pid=2952/tid=3018] ppid=2949 vsize=10852704 memory=4569160 CPUtime=1.52 cores=0,2,4,6
/proc/2952/task/3018/stat : 3018 (java) S 2949 2952 31421 0 -1 1077944384 2561 13002 0 0 73 71 5 3 20 0 15 0 73411751 11113168896 1137673 33554432000 4194304 4196468 140729547325136 140495188634288 140495767108226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19075072 140729547331756 140729547335004 140729547335004 140729547337679 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4550692 KiB

Child status: 143
Real time (s): 2411.35
CPU time (s): 2520.14
CPU user time (s): 2515.54
CPU system time (s): 4.6019
CPU usage (%): 104.511
Max. virtual memory (cumulated for all children) (KiB): 10853448
Max. memory (cumulated for all children) (KiB): 4718280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.54
system time used= 4.6019
maximum resident set size= 4718280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 815173
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69883
involuntary context switches= 4348


# summary of solver processes directly reported to runsolver:
#   pid: 2952
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2515.54
#   total CPU system time (s): 4.6019

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5533 second user time and 22.4026 second system time

The end

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

Trace number 4295450

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