2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.8 2018-06-13	SAT (TO)	15279	2520.04	2445.93

1.00/0.75	c Concrete v3.8.1528841891564 running
57.84/33.93	o 16675
58.40/34.29	o 16618
58.58/34.34	o 16590
58.58/34.36	o 16576
58.58/34.38	o 16510
58.89/34.42	o 16431
58.89/34.47	o 16387
62.92/37.83	o 16301
63.03/37.90	o 16203
63.03/37.92	o 16163
63.03/38.00	o 16104
63.14/38.02	o 16018
75.50/49.88	o 15967
75.90/50.22	o 15922
75.90/50.24	o 15896
76.10/50.40	o 15875
76.10/50.42	o 15785
76.10/50.47	o 15713
230.94/203.36	o 15662
231.15/203.54	o 15630
231.15/203.57	o 15596
233.31/205.61	o 15585
239.76/211.72	o 15551
248.27/220.17	o 15545
248.27/220.19	o 15443
273.08/244.54	o 15337
273.19/244.60	o 15279
2520.00/2445.90	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.00/2445.90		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.00/2445.90		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.00/2445.90		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.00/2445.90		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:254)
2520.00/2445.90		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:16)
2520.00/2445.90		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.00/2445.90		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.00/2445.90		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.00/2445.91		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.00/2445.91		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.00/2445.91		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.00/2445.91		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.00/2445.91		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.00/2445.91		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.00/2445.91		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.00/2445.91		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108)
2520.00/2445.91		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.00/2445.91		at scala.Option.map(Option.scala:146)
2520.00/2445.91		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.00/2445.91		at concrete.MAC.mac(MAC.scala:203)
2520.00/2445.91		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.00/2445.91		at scala.util.Try$.apply(Try.scala:209)
2520.00/2445.91		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.00/2445.91		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.00/2445.91		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.00/2445.91		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.00/2445.91		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.00/2445.91		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.00/2445.91		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.00/2445.91		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.00/2445.91		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.00/2445.91		at concrete.MAC.oneRun(MAC.scala:253)
2520.00/2445.91		at concrete.MAC.nextSolution(MAC.scala:272)
2520.00/2445.91		at concrete.MAC.nextSolution(MAC.scala:355)
2520.00/2445.91		at concrete.Solver.hasNext(Solver.scala:166)
2520.00/2445.91		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.00/2445.91		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.00/2445.91		at concrete.Solver.foreach(Solver.scala:68)
2520.00/2445.91		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.00/2445.91		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.00/2445.91		at scala.util.Success.map(Try.scala:209)
2520.00/2445.91		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.00/2445.91		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.00/2445.91		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.00/2445.91		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.00/2445.91		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.00/2445.91		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.00/2445.91		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.00/2445.91		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.00/2445.91		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.00/2445.91		at scala.collection.immutable.List.foreach(List.scala:389)
2520.00/2445.91		at scala.App.main(App.scala:76)
2520.00/2445.91		at scala.App.main$(App.scala:74)
2520.00/2445.91		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.00/2445.91		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.00/2445.92	v <instantiation cost="15279">
2520.00/2445.92	v       <list>
2520.00/2445.92	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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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]
2520.00/2445.92	v       </list>
2520.00/2445.92	v       <values>
2520.00/2445.92	v         3 6 8 4 9 5 4 1 2 7 5 10 12 13 8 13 7 3 1 11 10 2 12 11 9 6 11 3 5 12 12 8 7 0 10 11 6 2 13 8 13 2 5 9 0 10 9 4 6 4 3 7 10 11 9 11 6 12 6 8 0 5 7 1 5 10 3 1 13 12 9 8 4 0 13 7 4 3 0 1 6 5 10 4 8 12 13 9 12 5 8 6 2 9 4 0 10 7 11 7 11 13 1 2 7 9 13 0 13 3 0 7 8 6 10 6 11 5 11 8 3 10 5 12 2 1 9 1 2 12 6 8 1 3 7 0 12 9 12 2 0 3 2 4 10 6 1 7 4 13 8 11 10 9 13 11 5 0 3 13 2 7 2 11 11 4 1 4 10 3 7 5 9 13 8 9 12 8 1 10 12 0 4 10 11 10 5 6 1 4 9 0 2 11 9 12 6 12 0 5 13 3 13 3 8 2 8 1 12 5 0 9 11 1 3 2 4 10 9 13 3 1 0 4 10 11 6 2 5 6 7 12 7 13 13 4 2 8 0 11 10 5 7 3 8 12 7 11 12 3 6 1 2 6 1 13 4 5 0 10 2 7 12 7 3 13 9 13 1 8 4 0 6 2 5 11 8 4 3 1 0 12 5 6 11 9 1 2 7 2 8 9 13 6 6 1 13 7 4 9 4 10 12 8 12 0 3 5 3 0 10 5 8 13 10 1 1 2 5 3 5 13 3 9 0 7 9 7 11 2 11 4 6 10 0 8 6 4 9 12 4 6 4 10 11 10 3 12 11 8 1 0 1 0 2 6 7 5 7 9 2 3 5 8 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 1 0 1 1 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 1 0 1 0 0 0 1 0 1 1 1 0 1 1 1 0 1 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 1 1 0 0 1 1 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 1 1 1 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 1 1 34 47 31 48 0 0 36 31 10 0 39 39 57 57 0 59 41 44 0 0 55 55 15 55 105 51 0 0 32 41 40 55 81 46 0 65 10 64 0 64 64 0 22 22 43 51 10 0 0 39 18 31 44 44 55 55 0 58 70 56 0 0 15 15 0 22 40 50 47 47 0 48 30 68 53 0 61 41 64 45 0 0 0 0 41 51 74 51 0 50 93 30 80 68 31 47 0 0 34 34 14 14 0 66 66 32 22 47 0 0 0 36 59 91 0 64 64 0 0 18 70 44 35 21 68 69 74 0 45 22 43 55 0 73 73 0 42 42 0 48 44 39 81 30 48 50 41 41 0 0 27 39 40 35 91 75 44 10 51 0 0 0 27 27 47 47 0 0 56 56 70 70 31 39 75 75 59 59 0 92 92 69 30 81 31 0 0 44 44 64 74 10 67 0 59 39 44 0 44 15 56 79 30 90 0 0 48 75 41 0 14 68 81 0 0 0 81 81 0 68 68 0 68 47 45 21 0 104 104 46 10 48 73 10 70 31 42 42 0 0 81 81 0 93 91 45 49 51 55 10 103 79 79 68 68 0 0 30 80 47 69 0 0 43 43 0 81 81 0 0 0 0 0 69 69 0 0 66 66 73 21 36 55 55 50 44 10 0 69 32 65 101 101 75 75 103 103 64 22 58 0 69 69 0 70 70 0 69 41 67 105 55 70 0 0 105 57 34 66 0 0 10 51 44 0 90 66 65 55 48 50 41 80 0 0 30 30 0 0 90 67 105 0 73 73 0 57 48 31 88 0 0 0 91 18 92 66 10 69 0 90 90 0 0 59 10 64 61 61 0 0 41 79 93 50 41 42 104
2520.00/2445.92	v       </values>
2520.00/2445.92	v     </instantiation>
2520.00/2445.92	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 (8149 MiB free)
  memory of node 1: 16384 MiB (11754 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295453-1532553791/watcher-4295453-1532553791 -o /tmp/evaluation-result-4295453-1532553791/solver-4295453-1532553791 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532524210-24416 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1332131375 HOME/instance-4295453-1532553791.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=30704, runsolver pid=30701

[startup+0.102948 s]*
/proc/loadavg: 1.45 1.37 1.38 2/206 30761
/proc/meminfo: memFree=20372408/32770624 swapFree=67108860/67108860
[pid=30704] ppid=30701 vsize=9972712 memory=17212 CPUtime=0.1 cores=0,2,4,6
/proc/30704/stat : 30704 (java) S 30701 30704 24385 0 -1 1077944320 4457 12851 0 0 1 1 6 2 20 0 6 0 72942306 10212057088 4303 33554432000 4194304 4196468 140730899227712 140730899210256 139622881185527 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
/proc/30704/statm: 2493178 4303 1934 1 0 2481616 0
[pid=30704/tid=30757] ppid=30701 vsize=9972712 memory=4279135703946461070 CPUtime=0.09 cores=0,2,4,6
/proc/30704/task/30757/stat : 30757 (java) R 30701 30704 24385 0 -1 4202560 2267 12851 0 0 1 0 6 2 20 0 6 0 72942315 10212057088 4303 33554432000 4194304 4196468 140730899227712 139622853022288 139622865266014 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30758] ppid=30701 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30758/stat : 30758 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 6 0 72942316 10212057088 4303 33554432000 4194304 4196468 140730899227712 139622885428368 139622881195733 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30759] ppid=30701 vsize=9972712 memory=139645277906560 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30759/stat : 30759 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 6 0 72942316 10212057088 4303 33554432000 4194304 4196468 140730899227712 139622454320144 139622881195733 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30760] ppid=30701 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30760/stat : 30760 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 6 0 72942316 10212057088 4303 33554432000 4194304 4196468 140730899227712 139622453267344 139622881195733 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30761] ppid=30701 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30761/stat : 30761 (java) S 30701 30704 24385 0 -1 1077944384 2 12851 0 0 0 0 6 2 20 0 6 0 72942316 10212057088 4303 33554432000 4194304 4196468 140730899227712 139622452214544 139622881195733 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17212 KiB

[startup+0.210119 s]*
/proc/loadavg: 1.45 1.37 1.38 3/215 30770
/proc/meminfo: memFree=20351840/32770624 swapFree=67108860/67108860
[pid=30704] ppid=30701 vsize=10818904 memory=43008 CPUtime=0.26 cores=0,2,4,6
/proc/30704/stat : 30704 (java) S 30701 30704 24385 0 -1 1077944320 7484 12851 0 0 16 2 6 2 20 0 15 0 72942306 11078557696 10752 33554432000 4194304 4196468 140730899227712 140730899210256 139622881185527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
/proc/30704/statm: 2704726 10752 2962 1 0 2667149 0
[pid=30704/tid=30757] ppid=30701 vsize=10818904 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/30704/task/30757/stat : 30757 (java) R 30701 30704 24385 0 -1 4202560 4074 12851 0 0 10 1 6 2 20 0 15 0 72942315 11078557696 10818 33554432000 4194304 4196468 140730899227712 139622852998536 139622873422654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30758] ppid=30701 vsize=10818904 memory=331 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30758/stat : 30758 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942316 11078557696 10818 33554432000 4194304 4196468 140730899227712 139622885428368 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30759] ppid=30701 vsize=10818904 memory=288370021429618304 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30759/stat : 30759 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942316 11078557696 10818 33554432000 4194304 4196468 140730899227712 139622454320144 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30760] ppid=30701 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30760/stat : 30760 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942316 11078557696 10818 33554432000 4194304 4196468 140730899227712 139622453267344 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30761] ppid=30701 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30761/stat : 30761 (java) S 30701 30704 24385 0 -1 1077944384 2 12851 0 0 0 0 6 2 20 0 15 0 72942316 11078557696 10818 33554432000 4194304 4196468 140730899227712 139622452214544 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30762] ppid=30701 vsize=10818904 memory=139645277906560 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30762/stat : 30762 (java) S 30701 30704 24385 0 -1 1077944384 2 12851 0 0 0 0 6 2 20 0 15 0 72942317 11078557696 10818 33554432000 4194304 4196468 140730899227712 139621951334768 139622881196674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30763] ppid=30701 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30763/stat : 30763 (java) S 30701 30704 24385 0 -1 1077944384 13 12851 0 0 0 0 6 2 20 0 15 0 72942318 11078557696 10818 33554432000 4194304 4196468 140730899227712 139621870593056 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30764] ppid=30701 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30764/stat : 30764 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942318 11078557696 10818 33554432000 4194304 4196468 140730899227712 139621669266288 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30765] ppid=30701 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30765/stat : 30765 (java) S 30701 30704 24385 0 -1 1077944384 3 12851 0 0 0 0 6 2 20 0 15 0 72942321 11078557696 10818 33554432000 4194304 4196468 140730899227712 139621428975440 139622881204123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30766] ppid=30701 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30704/task/30766/stat : 30766 (java) S 30701 30704 24385 0 -1 1077944384 426 12851 0 0 1 0 6 2 20 0 15 0 72942321 11078557696 10884 33554432000 4194304 4196468 140730899227712 139621950282608 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30767] ppid=30701 vsize=10818904 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/30704/task/30767/stat : 30767 (java) S 30701 30704 24385 0 -1 1077944384 190 12851 0 0 1 0 6 2 20 0 15 0 72942321 11078557696 10884 33554432000 4194304 4196468 140730899227712 139621949229808 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30768] ppid=30701 vsize=10818904 memory=139645277906560 CPUtime=0.11 cores=0,2,4,6
/proc/30704/task/30768/stat : 30768 (java) S 30701 30704 24385 0 -1 1077944384 601 12851 0 0 3 0 6 2 20 0 15 0 72942321 11078557696 10884 33554432000 4194304 4196468 140730899227712 139621948177008 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30769] ppid=30701 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30769/stat : 30769 (java) S 30701 30704 24385 0 -1 1077944384 3 12851 0 0 0 0 6 2 20 0 15 0 72942321 11078557696 10884 33554432000 4194304 4196468 140730899227712 139621395417824 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30770] ppid=30701 vsize=10818904 memory=139645277906560 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30770/stat : 30770 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942321 11078557696 10884 33554432000 4194304 4196468 140730899227712 139621947124400 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43008 KiB

[startup+0.310054 s]*
/proc/loadavg: 1.45 1.37 1.38 3/215 30770
/proc/meminfo: memFree=20339312/32770624 swapFree=67108860/67108860
[pid=30704] ppid=30701 vsize=10819352 memory=56460 CPUtime=0.39 cores=0,2,4,6
/proc/30704/stat : 30704 (java) S 30701 30704 24385 0 -1 1077944320 10684 12851 0 0 28 3 6 2 20 0 15 0 72942306 11079016448 14115 33554432000 4194304 4196468 140730899227712 140730899210256 139622881185527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
/proc/30704/statm: 2704838 14115 3081 1 0 2667149 0
[pid=30704/tid=30757] ppid=30701 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/30704/task/30757/stat : 30757 (java) R 30701 30704 24385 0 -1 4202560 7238 12851 0 0 19 2 6 2 20 0 15 0 72942315 11079016448 14115 33554432000 4194304 4196468 140730899227712 139622852997536 139622865266014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30758] ppid=30701 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30758/stat : 30758 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942316 11079016448 14115 33554432000 4194304 4196468 140730899227712 139622885428368 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30759] ppid=30701 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30759/stat : 30759 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942316 11079016448 14115 33554432000 4194304 4196468 140730899227712 139622454320144 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30760] ppid=30701 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30760/stat : 30760 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942316 11079016448 14115 33554432000 4194304 4196468 140730899227712 139622453267344 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30761] ppid=30701 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30761/stat : 30761 (java) S 30701 30704 24385 0 -1 1077944384 2 12851 0 0 0 0 6 2 20 0 15 0 72942316 11079016448 14115 33554432000 4194304 4196468 140730899227712 139622452214544 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30762] ppid=30701 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30762/stat : 30762 (java) S 30701 30704 24385 0 -1 1077944384 2 12851 0 0 0 0 6 2 20 0 15 0 72942317 11079016448 14115 33554432000 4194304 4196468 140730899227712 139621951334768 139622881196674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30763] ppid=30701 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30763/stat : 30763 (java) S 30701 30704 24385 0 -1 1077944384 13 12851 0 0 0 0 6 2 20 0 15 0 72942318 11079016448 14115 33554432000 4194304 4196468 140730899227712 139621870593056 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30764] ppid=30701 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30764/stat : 30764 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942318 11079016448 14115 33554432000 4194304 4196468 140730899227712 139621669266288 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30765] ppid=30701 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30765/stat : 30765 (java) S 30701 30704 24385 0 -1 1077944384 3 12851 0 0 0 0 6 2 20 0 15 0 72942321 11079016448 14115 33554432000 4194304 4196468 140730899227712 139621428975440 139622881204123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30766] ppid=30701 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30704/task/30766/stat : 30766 (java) S 30701 30704 24385 0 -1 1077944384 426 12851 0 0 1 0 6 2 20 0 15 0 72942321 11079016448 14115 33554432000 4194304 4196468 140730899227712 139621950282608 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30767] ppid=30701 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/30704/task/30767/stat : 30767 (java) S 30701 30704 24385 0 -1 1077944384 191 12851 0 0 1 0 6 2 20 0 15 0 72942321 11079016448 14115 33554432000 4194304 4196468 140730899227712 139621949229808 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30768] ppid=30701 vsize=10819352 memory=139645277906560 CPUtime=0.12 cores=0,2,4,6
/proc/30704/task/30768/stat : 30768 (java) S 30701 30704 24385 0 -1 1077944384 611 12851 0 0 4 0 6 2 20 0 15 0 72942321 11079016448 14115 33554432000 4194304 4196468 140730899227712 139621948177008 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30769] ppid=30701 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30769/stat : 30769 (java) S 30701 30704 24385 0 -1 1077944384 3 12851 0 0 0 0 6 2 20 0 15 0 72942321 11079016448 14115 33554432000 4194304 4196468 140730899227712 139621395417824 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30770] ppid=30701 vsize=10819352 memory=139645277906560 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30770/stat : 30770 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942321 11079016448 14115 33554432000 4194304 4196468 140730899227712 139621947124400 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 56460 KiB

[startup+0.700704 s]
/proc/loadavg: 1.45 1.37 1.38 3/215 30770
/proc/meminfo: memFree=20328024/32770624 swapFree=67108860/67108860
[pid=30704] ppid=30701 vsize=10819352 memory=88348 CPUtime=1 cores=0,2,4,6
/proc/30704/stat : 30704 (java) S 30701 30704 24385 0 -1 1077944320 16797 12851 0 0 87 5 6 2 20 0 15 0 72942306 11079016448 22087 33554432000 4194304 4196468 140730899227712 140730899210256 139622881185527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
/proc/30704/statm: 2704838 22087 3231 1 0 2667149 0
[pid=30704/tid=30757] ppid=30701 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/30704/task/30757/stat : 30757 (java) R 30701 30704 24385 0 -1 4202560 12333 12851 0 0 55 3 6 2 20 0 15 0 72942315 11079016448 22087 33554432000 4194304 4196468 140730899227712 139622852987808 139622862749087 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30758] ppid=30701 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30758/stat : 30758 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942316 11079016448 22087 33554432000 4194304 4196468 140730899227712 139622885428368 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30759] ppid=30701 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30759/stat : 30759 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942316 11079016448 22087 33554432000 4194304 4196468 140730899227712 139622454320144 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30760] ppid=30701 vsize=10819352 memory=139645157520144 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30760/stat : 30760 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942316 11079016448 22087 33554432000 4194304 4196468 140730899227712 139622453267344 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30761] ppid=30701 vsize=10819352 memory=139646566662740 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30761/stat : 30761 (java) S 30701 30704 24385 0 -1 1077944384 2 12851 0 0 0 0 6 2 20 0 15 0 72942316 11079016448 22087 33554432000 4194304 4196468 140730899227712 139622452214544 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30762] ppid=30701 vsize=10819352 memory=8540 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30762/stat : 30762 (java) S 30701 30704 24385 0 -1 1077944384 5 12851 0 0 0 0 6 2 20 0 15 0 72942317 11079016448 22087 33554432000 4194304 4196468 140730899227712 139621951334768 139622881196674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30763] ppid=30701 vsize=10819352 memory=7662705889289527641 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30763/stat : 30763 (java) S 30701 30704 24385 0 -1 1077944384 13 12851 0 0 0 0 6 2 20 0 15 0 72942318 11079016448 22087 33554432000 4194304 4196468 140730899227712 139621870593056 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30764] ppid=30701 vsize=10819352 memory=7885635084775281010 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30764/stat : 30764 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942318 11079016448 22087 33554432000 4194304 4196468 140730899227712 139621669266288 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30765] ppid=30701 vsize=10819352 memory=16436 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30765/stat : 30765 (java) S 30701 30704 24385 0 -1 1077944384 3 12851 0 0 0 0 6 2 20 0 15 0 72942321 11079016448 22087 33554432000 4194304 4196468 140730899227712 139621428975440 139622881204123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30766] ppid=30701 vsize=10819352 memory=12992 CPUtime=0.15 cores=0,2,4,6
/proc/30704/task/30766/stat : 30766 (java) S 30701 30704 24385 0 -1 1077944384 816 12851 0 0 7 0 6 2 20 0 15 0 72942321 11079016448 22087 33554432000 4194304 4196468 140730899227712 139621950282608 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30767] ppid=30701 vsize=10819352 memory=4008 CPUtime=0.18 cores=0,2,4,6
/proc/30704/task/30767/stat : 30767 (java) S 30701 30704 24385 0 -1 1077944384 774 12851 0 0 10 0 6 2 20 0 15 0 72942321 11079016448 22087 33554432000 4194304 4196468 140730899227712 139621949229808 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30768] ppid=30701 vsize=10819352 memory=1796 CPUtime=0.21 cores=0,2,4,6
/proc/30704/task/30768/stat : 30768 (java) S 30701 30704 24385 0 -1 1077944384 653 12851 0 0 13 0 6 2 20 0 15 0 72942321 11079016448 22087 33554432000 4194304 4196468 140730899227712 139621948177008 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30769] ppid=30701 vsize=10819352 memory=644 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30769/stat : 30769 (java) S 30701 30704 24385 0 -1 1077944384 3 12851 0 0 0 0 6 2 20 0 15 0 72942321 11079016448 22087 33554432000 4194304 4196468 140730899227712 139621395417824 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30770] ppid=30701 vsize=10819352 memory=956 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30770/stat : 30770 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942321 11079016448 22087 33554432000 4194304 4196468 140730899227712 139621947124400 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88348 KiB

[startup+1.50066 s]
/proc/loadavg: 1.45 1.37 1.38 3/215 30770
/proc/meminfo: memFree=20285156/32770624 swapFree=67108860/67108860
[pid=30704] ppid=30701 vsize=10830156 memory=195116 CPUtime=3.03 cores=0,2,4,6
/proc/30704/stat : 30704 (java) S 30701 30704 24385 0 -1 1077944320 22758 12851 0 0 288 7 6 2 20 0 15 0 72942306 11090079744 48779 33554432000 4194304 4196468 140730899227712 140730899210256 139622881185527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
/proc/30704/statm: 2707539 48779 3455 1 0 2669197 0
[pid=30704/tid=30757] ppid=30701 vsize=10830156 memory=65492 CPUtime=1.46 cores=0,2,4,6
/proc/30704/task/30757/stat : 30757 (java) R 30701 30704 24385 0 -1 4202560 15483 12851 0 0 132 6 6 2 20 0 15 0 72942315 11090079744 48779 33554432000 4194304 4196468 140730899227712 139622853003264 139622865266014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30758] ppid=30701 vsize=10830156 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30758/stat : 30758 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942316 11090079744 48779 33554432000 4194304 4196468 140730899227712 139622885428368 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30759] ppid=30701 vsize=10830156 memory=279290315071648 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30759/stat : 30759 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942316 11090079744 48779 33554432000 4194304 4196468 140730899227712 139622454320144 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30760] ppid=30701 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30760/stat : 30760 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942316 11090079744 48779 33554432000 4194304 4196468 140730899227712 139622453267344 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30761] ppid=30701 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30761/stat : 30761 (java) S 30701 30704 24385 0 -1 1077944384 2 12851 0 0 0 0 6 2 20 0 15 0 72942316 11090079744 48779 33554432000 4194304 4196468 140730899227712 139622452214544 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30762] ppid=30701 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30762/stat : 30762 (java) S 30701 30704 24385 0 -1 1077944384 6 12851 0 0 0 0 6 2 20 0 15 0 72942317 11090079744 48779 33554432000 4194304 4196468 140730899227712 139621951334768 139622881196674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30763] ppid=30701 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30763/stat : 30763 (java) S 30701 30704 24385 0 -1 1077944384 13 12851 0 0 0 0 6 2 20 0 15 0 72942318 11090079744 48779 33554432000 4194304 4196468 140730899227712 139621870593056 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30764] ppid=30701 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30764/stat : 30764 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942318 11090079744 48779 33554432000 4194304 4196468 140730899227712 139621669266288 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30765] ppid=30701 vsize=10830156 memory=-2746958450906831424 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30765/stat : 30765 (java) S 30701 30704 24385 0 -1 1077944384 3 12851 0 0 0 0 6 2 20 0 15 0 72942321 11090079744 48779 33554432000 4194304 4196468 140730899227712 139621428975440 139622881204123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30766] ppid=30701 vsize=10830156 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/30704/task/30766/stat : 30766 (java) S 30701 30704 24385 0 -1 1077944384 1609 12851 0 0 51 0 6 2 20 0 15 0 72942321 11090079744 48779 33554432000 4194304 4196468 140730899227712 139621950282608 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30767] ppid=30701 vsize=10830156 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/30704/task/30767/stat : 30767 (java) S 30701 30704 24385 0 -1 1077944384 1981 12851 0 0 57 0 6 2 20 0 15 0 72942321 11090079744 48779 33554432000 4194304 4196468 140730899227712 139621949229808 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30768] ppid=30701 vsize=10830156 memory=6791534058613427641 CPUtime=0.53 cores=0,2,4,6
/proc/30704/task/30768/stat : 30768 (java) S 30701 30704 24385 0 -1 1077944384 1465 12851 0 0 45 0 6 2 20 0 15 0 72942321 11090079744 48779 33554432000 4194304 4196468 140730899227712 139621948177008 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30769] ppid=30701 vsize=10830156 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30769/stat : 30769 (java) S 30701 30704 24385 0 -1 1077944384 3 12851 0 0 0 0 6 2 20 0 15 0 72942321 11090079744 48779 33554432000 4194304 4196468 140730899227712 139621395417824 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30770] ppid=30701 vsize=10830156 memory=279290315316096 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30770/stat : 30770 (java) S 30701 30704 24385 0 -1 1077944384 1 12851 0 0 0 0 6 2 20 0 15 0 72942321 11090079744 48779 33554432000 4194304 4196468 140730899227712 139621947124400 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10830156 KiB

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

/proc/30704/task/30757/stat : 30757 (java) R 30701 30704 24385 0 -1 4202560 100367 12851 0 0 235730 51 6 2 20 0 15 0 72942315 11180277760 289938 33554432000 4194304 4196468 140730899227712 139622853020112 139622508396620 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30758] ppid=30701 vsize=10918240 memory=22116 CPUtime=14.78 cores=0,2,4,6
/proc/30704/task/30758/stat : 30758 (java) S 30701 30704 24385 0 -1 1077944384 17106 12851 0 0 1419 51 6 2 20 0 15 0 72942316 11180277760 289938 33554432000 4194304 4196468 140730899227712 139622885428368 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30759] ppid=30701 vsize=10918240 memory=1159752 CPUtime=14.73 cores=0,2,4,6
/proc/30704/task/30759/stat : 30759 (java) S 30701 30704 24385 0 -1 1077944384 14603 12851 0 0 1413 52 6 2 20 0 15 0 72942316 11180277760 289938 33554432000 4194304 4196468 140730899227712 139622454320144 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30760] ppid=30701 vsize=10918240 memory=4140 CPUtime=14.89 cores=0,2,4,6
/proc/30704/task/30760/stat : 30760 (java) S 30701 30704 24385 0 -1 1077944384 15025 12851 0 0 1427 54 6 2 20 0 15 0 72942316 11180277760 289938 33554432000 4194304 4196468 140730899227712 139622453267344 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30761] ppid=30701 vsize=10918240 memory=1159752 CPUtime=14.75 cores=0,2,4,6
/proc/30704/task/30761/stat : 30761 (java) S 30701 30704 24385 0 -1 1077944384 16585 12851 0 0 1414 53 6 2 20 0 15 0 72942316 11180277760 289938 33554432000 4194304 4196468 140730899227712 139622452214544 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30762] ppid=30701 vsize=10918240 memory=1159752 CPUtime=7.4 cores=0,2,4,6
/proc/30704/task/30762/stat : 30762 (java) S 30701 30704 24385 0 -1 1077944384 16442 12851 0 0 688 44 6 2 20 0 15 0 72942317 11180277760 289938 33554432000 4194304 4196468 140730899227712 139621951334768 139622881196674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30763] ppid=30701 vsize=10918240 memory=1159752 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30763/stat : 30763 (java) S 30701 30704 24385 0 -1 1077944384 35 12851 0 0 0 0 6 2 20 0 15 0 72942318 11180277760 289938 33554432000 4194304 4196468 140730899227712 139621870593184 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30764] ppid=30701 vsize=10918240 memory=1159752 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30764/stat : 30764 (java) S 30701 30704 24385 0 -1 1077944384 34 12851 0 0 0 0 6 2 20 0 15 0 72942318 11180277760 289938 33554432000 4194304 4196468 140730899227712 139621669266304 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30765] ppid=30701 vsize=10918240 memory=1159752 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30765/stat : 30765 (java) S 30701 30704 24385 0 -1 1077944384 3 12851 0 0 0 0 6 2 20 0 15 0 72942321 11180277760 289938 33554432000 4194304 4196468 140730899227712 139621428975440 139622881204123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30766] ppid=30701 vsize=10918240 memory=1159752 CPUtime=12.71 cores=0,2,4,6
/proc/30704/task/30766/stat : 30766 (java) S 30701 30704 24385 0 -1 1077944384 88032 12851 0 0 1253 10 6 2 20 0 15 0 72942321 11180277760 289938 33554432000 4194304 4196468 140730899227712 139621950282608 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30767] ppid=30701 vsize=10918240 memory=241417 CPUtime=12.67 cores=0,2,4,6
/proc/30704/task/30767/stat : 30767 (java) S 30701 30704 24385 0 -1 1077944384 100103 12851 0 0 1251 8 6 2 20 0 15 0 72942321 11180277760 289938 33554432000 4194304 4196468 140730899227712 139621949229808 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30768] ppid=30701 vsize=10918240 memory=1159752 CPUtime=4.4 cores=0,2,4,6
/proc/30704/task/30768/stat : 30768 (java) S 30701 30704 24385 0 -1 1077944384 100901 12851 0 0 422 10 6 2 20 0 15 0 72942321 11180277760 289938 33554432000 4194304 4196468 140730899227712 139621948177008 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30769] ppid=30701 vsize=10918240 memory=1159752 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30769/stat : 30769 (java) S 30701 30704 24385 0 -1 1077944384 3 12851 0 0 0 0 6 2 20 0 15 0 72942321 11180277760 289938 33554432000 4194304 4196468 140730899227712 139621395417824 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30770] ppid=30701 vsize=10918240 memory=56 CPUtime=1.43 cores=0,2,4,6
/proc/30704/task/30770/stat : 30770 (java) S 30701 30704 24385 0 -1 1077944384 2107 12851 0 0 65 70 6 2 20 0 15 0 72942321 11180277760 289938 33554432000 4194304 4196468 140730899227712 139621947124400 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
Current children cumulated CPU time: 2455 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1159752 KiB

[startup+2442.3 s]
/proc/loadavg: 1.35 1.34 1.39 3/216 31015
/proc/meminfo: memFree=19282224/32770624 swapFree=67108860/67108860
[pid=30704] ppid=30701 vsize=10918240 memory=1122292 CPUtime=2516.32 cores=0,2,4,6
/proc/30704/stat : 30704 (java) S 30701 30704 24385 0 -1 1077944320 477473 12851 0 0 251250 374 6 2 20 0 15 0 72942306 11180277760 280573 33554432000 4194304 4196468 140730899227712 140730899210256 139622881185527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
/proc/30704/statm: 2729560 280573 3535 1 0 2691213 0
[pid=30704/tid=30757] ppid=30701 vsize=10918240 memory=1129476 CPUtime=2417.22 cores=0,2,4,6
/proc/30704/task/30757/stat : 30757 (java) R 30701 30704 24385 0 -1 4202560 101179 12851 0 0 241663 51 6 2 20 0 15 0 72942315 11180277760 280573 33554432000 4194304 4196468 140730899227712 139622853021168 139622495359051 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30758] ppid=30701 vsize=10918240 memory=241417 CPUtime=15.19 cores=0,2,4,6
/proc/30704/task/30758/stat : 30758 (java) S 30701 30704 24385 0 -1 1077944384 17233 12851 0 0 1459 52 6 2 20 0 15 0 72942316 11180277760 280573 33554432000 4194304 4196468 140730899227712 139622885428368 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30759] ppid=30701 vsize=10918240 memory=1159752 CPUtime=15.14 cores=0,2,4,6
/proc/30704/task/30759/stat : 30759 (java) S 30701 30704 24385 0 -1 1077944384 14752 12851 0 0 1453 53 6 2 20 0 15 0 72942316 11180277760 280573 33554432000 4194304 4196468 140730899227712 139622454320144 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30760] ppid=30701 vsize=10918240 memory=1155644 CPUtime=15.29 cores=0,2,4,6
/proc/30704/task/30760/stat : 30760 (java) S 30701 30704 24385 0 -1 1077944384 15228 12851 0 0 1466 55 6 2 20 0 15 0 72942316 11180277760 280573 33554432000 4194304 4196468 140730899227712 139622453267344 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30761] ppid=30701 vsize=10918240 memory=1145380 CPUtime=15.16 cores=0,2,4,6
/proc/30704/task/30761/stat : 30761 (java) S 30701 30704 24385 0 -1 1077944384 16700 12851 0 0 1454 54 6 2 20 0 15 0 72942316 11180277760 280573 33554432000 4194304 4196468 140730899227712 139622452214544 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30762] ppid=30701 vsize=10918240 memory=1122292 CPUtime=7.59 cores=0,2,4,6
/proc/30704/task/30762/stat : 30762 (java) S 30701 30704 24385 0 -1 1077944384 16654 12851 0 0 706 45 6 2 20 0 15 0 72942317 11180277760 280573 33554432000 4194304 4196468 140730899227712 139621951334768 139622881196674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30763] ppid=30701 vsize=10918240 memory=1125884 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30763/stat : 30763 (java) S 30701 30704 24385 0 -1 1077944384 35 12851 0 0 0 0 6 2 20 0 15 0 72942318 11180277760 280573 33554432000 4194304 4196468 140730899227712 139621870593184 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30764] ppid=30701 vsize=10918240 memory=1139224 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30764/stat : 30764 (java) S 30701 30704 24385 0 -1 1077944384 34 12851 0 0 0 0 6 2 20 0 15 0 72942318 11180277760 280573 33554432000 4194304 4196468 140730899227712 139621669266304 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30765] ppid=30701 vsize=10918240 memory=1125372 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30765/stat : 30765 (java) S 30701 30704 24385 0 -1 1077944384 3 12851 0 0 0 0 6 2 20 0 15 0 72942321 11180277760 280573 33554432000 4194304 4196468 140730899227712 139621428975440 139622881204123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30766] ppid=30701 vsize=10918240 memory=1134604 CPUtime=12.75 cores=0,2,4,6
/proc/30704/task/30766/stat : 30766 (java) S 30701 30704 24385 0 -1 1077944384 88714 12851 0 0 1257 10 6 2 20 0 15 0 72942321 11180277760 280573 33554432000 4194304 4196468 140730899227712 139621950282608 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30767] ppid=30701 vsize=10918240 memory=1131016 CPUtime=12.71 cores=0,2,4,6
/proc/30704/task/30767/stat : 30767 (java) S 30701 30704 24385 0 -1 1077944384 100793 12851 0 0 1255 8 6 2 20 0 15 0 72942321 11180277760 280573 33554432000 4194304 4196468 140730899227712 139621949229808 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30768] ppid=30701 vsize=10918240 memory=16436 CPUtime=4.43 cores=0,2,4,6
/proc/30704/task/30768/stat : 30768 (java) S 30701 30704 24385 0 -1 1077944384 101824 12851 0 0 425 10 6 2 20 0 15 0 72942321 11180277760 280573 33554432000 4194304 4196468 140730899227712 139621948177008 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30769] ppid=30701 vsize=10918240 memory=13032 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30769/stat : 30769 (java) S 30701 30704 24385 0 -1 1077944384 3 12851 0 0 0 0 6 2 20 0 15 0 72942321 11180277760 280573 33554432000 4194304 4196468 140730899227712 139621395417824 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30770] ppid=30701 vsize=10918240 memory=4008 CPUtime=1.46 cores=0,2,4,6
/proc/30704/task/30770/stat : 30770 (java) S 30701 30704 24385 0 -1 1077944384 2131 12851 0 0 67 71 6 2 20 0 15 0 72942321 11180277760 280573 33554432000 4194304 4196468 140730899227712 139621947124400 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
Current children cumulated CPU time: 2516.32 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1122292 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2445.9 s]
/proc/loadavg: 1.32 1.34 1.39 3/216 31015
/proc/meminfo: memFree=19285572/32770624 swapFree=67108860/67108860
[pid=30704] ppid=30701 vsize=10918240 memory=1118704 CPUtime=2520 cores=0,2,4,6
/proc/30704/stat : 30704 (java) S 30701 30704 24385 0 -1 1077944320 477665 12851 0 0 251618 374 6 2 20 0 15 0 72942306 11180277760 279676 33554432000 4194304 4196468 140730899227712 140730899210256 139622881185527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
/proc/30704/statm: 2729560 279676 3535 1 0 2691213 0
[pid=30704/tid=30757] ppid=30701 vsize=10918240 memory=1159752 CPUtime=2420.78 cores=0,2,4,6
/proc/30704/task/30757/stat : 30757 (java) R 30701 30704 24385 0 -1 4202560 101317 12851 0 0 242019 51 6 2 20 0 15 0 72942315 11180277760 279676 33554432000 4194304 4196468 140730899227712 139622853020048 139622507856131 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30758] ppid=30701 vsize=10918240 memory=1155644 CPUtime=15.22 cores=0,2,4,6
/proc/30704/task/30758/stat : 30758 (java) S 30701 30704 24385 0 -1 1077944384 17237 12851 0 0 1462 52 6 2 20 0 15 0 72942316 11180277760 279676 33554432000 4194304 4196468 140730899227712 139622885428368 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30759] ppid=30701 vsize=10918240 memory=1145380 CPUtime=15.16 cores=0,2,4,6
/proc/30704/task/30759/stat : 30759 (java) S 30701 30704 24385 0 -1 1077944384 14752 12851 0 0 1455 53 6 2 20 0 15 0 72942316 11180277760 279676 33554432000 4194304 4196468 140730899227712 139622454320144 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30760] ppid=30701 vsize=10918240 memory=1121268 CPUtime=15.32 cores=0,2,4,6
/proc/30704/task/30760/stat : 30760 (java) S 30701 30704 24385 0 -1 1077944384 15259 12851 0 0 1469 55 6 2 20 0 15 0 72942316 11180277760 279676 33554432000 4194304 4196468 140730899227712 139622453267344 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30761] ppid=30701 vsize=10918240 memory=1129476 CPUtime=15.18 cores=0,2,4,6
/proc/30704/task/30761/stat : 30761 (java) S 30701 30704 24385 0 -1 1077944384 16702 12851 0 0 1456 54 6 2 20 0 15 0 72942316 11180277760 279676 33554432000 4194304 4196468 140730899227712 139622452214544 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30762] ppid=30701 vsize=10918240 memory=1119728 CPUtime=7.6 cores=0,2,4,6
/proc/30704/task/30762/stat : 30762 (java) S 30701 30704 24385 0 -1 1077944384 16667 12851 0 0 707 45 6 2 20 0 15 0 72942317 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621951334768 139622881196674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30763] ppid=30701 vsize=10918240 memory=1118704 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30763/stat : 30763 (java) S 30701 30704 24385 0 -1 1077944384 35 12851 0 0 0 0 6 2 20 0 15 0 72942318 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621870593184 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30764] ppid=30701 vsize=10918240 memory=1120240 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30764/stat : 30764 (java) S 30701 30704 24385 0 -1 1077944384 34 12851 0 0 0 0 6 2 20 0 15 0 72942318 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621669266304 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30765] ppid=30701 vsize=10918240 memory=1139224 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30765/stat : 30765 (java) S 30701 30704 24385 0 -1 1077944384 3 12851 0 0 0 0 6 2 20 0 15 0 72942321 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621428975440 139622881204123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30766] ppid=30701 vsize=10918240 memory=1428 CPUtime=12.75 cores=0,2,4,6
/proc/30704/task/30766/stat : 30766 (java) S 30701 30704 24385 0 -1 1077944384 88714 12851 0 0 1257 10 6 2 20 0 15 0 72942321 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621950282608 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30767] ppid=30701 vsize=10918240 memory=13048 CPUtime=12.71 cores=0,2,4,6
/proc/30704/task/30767/stat : 30767 (java) S 30701 30704 24385 0 -1 1077944384 100793 12851 0 0 1255 8 6 2 20 0 15 0 72942321 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621949229808 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30768] ppid=30701 vsize=10918240 memory=2436 CPUtime=4.43 cores=0,2,4,6
/proc/30704/task/30768/stat : 30768 (java) S 30701 30704 24385 0 -1 1077944384 101824 12851 0 0 425 10 6 2 20 0 15 0 72942321 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621948177008 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30769] ppid=30701 vsize=10918240 memory=1296 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30769/stat : 30769 (java) S 30701 30704 24385 0 -1 1077944384 3 12851 0 0 0 0 6 2 20 0 15 0 72942321 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621395417824 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30770] ppid=30701 vsize=10918240 memory=840 CPUtime=1.46 cores=0,2,4,6
/proc/30704/task/30770/stat : 30770 (java) S 30701 30704 24385 0 -1 1077944384 2135 12851 0 0 67 71 6 2 20 0 15 0 72942321 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621947124400 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1118704 KiB

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

[startup+2445.93 s]
# the end of solver process 30704 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.26 s, system=3.77896 s

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

[startup+2445.9 s]
/proc/loadavg: 1.32 1.34 1.39 3/216 31015
/proc/meminfo: memFree=19285572/32770624 swapFree=67108860/67108860
[pid=30704] ppid=30701 vsize=10918240 memory=1118704 CPUtime=2520 cores=0,2,4,6
/proc/30704/stat : 30704 (java) S 30701 30704 24385 0 -1 1077944320 477665 12851 0 0 251618 374 6 2 20 0 15 0 72942306 11180277760 279676 33554432000 4194304 4196468 140730899227712 140730899210256 139622881185527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
/proc/30704/statm: 2729560 279676 3535 1 0 2691213 0
[pid=30704/tid=30757] ppid=30701 vsize=10918240 memory=1159752 CPUtime=2420.78 cores=0,2,4,6
/proc/30704/task/30757/stat : 30757 (java) R 30701 30704 24385 0 -1 4202560 101317 12851 0 0 242019 51 6 2 20 0 15 0 72942315 11180277760 279676 33554432000 4194304 4196468 140730899227712 139622853020048 139622507856131 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30758] ppid=30701 vsize=10918240 memory=1155644 CPUtime=15.22 cores=0,2,4,6
/proc/30704/task/30758/stat : 30758 (java) S 30701 30704 24385 0 -1 1077944384 17237 12851 0 0 1462 52 6 2 20 0 15 0 72942316 11180277760 279676 33554432000 4194304 4196468 140730899227712 139622885428368 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30759] ppid=30701 vsize=10918240 memory=1145380 CPUtime=15.16 cores=0,2,4,6
/proc/30704/task/30759/stat : 30759 (java) S 30701 30704 24385 0 -1 1077944384 14752 12851 0 0 1455 53 6 2 20 0 15 0 72942316 11180277760 279676 33554432000 4194304 4196468 140730899227712 139622454320144 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30760] ppid=30701 vsize=10918240 memory=1121268 CPUtime=15.32 cores=0,2,4,6
/proc/30704/task/30760/stat : 30760 (java) S 30701 30704 24385 0 -1 1077944384 15259 12851 0 0 1469 55 6 2 20 0 15 0 72942316 11180277760 279676 33554432000 4194304 4196468 140730899227712 139622453267344 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30761] ppid=30701 vsize=10918240 memory=1129476 CPUtime=15.18 cores=0,2,4,6
/proc/30704/task/30761/stat : 30761 (java) S 30701 30704 24385 0 -1 1077944384 16702 12851 0 0 1456 54 6 2 20 0 15 0 72942316 11180277760 279676 33554432000 4194304 4196468 140730899227712 139622452214544 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30762] ppid=30701 vsize=10918240 memory=1119728 CPUtime=7.6 cores=0,2,4,6
/proc/30704/task/30762/stat : 30762 (java) S 30701 30704 24385 0 -1 1077944384 16667 12851 0 0 707 45 6 2 20 0 15 0 72942317 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621951334768 139622881196674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30763] ppid=30701 vsize=10918240 memory=1118704 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30763/stat : 30763 (java) S 30701 30704 24385 0 -1 1077944384 35 12851 0 0 0 0 6 2 20 0 15 0 72942318 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621870593184 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30764] ppid=30701 vsize=10918240 memory=1120240 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30764/stat : 30764 (java) S 30701 30704 24385 0 -1 1077944384 34 12851 0 0 0 0 6 2 20 0 15 0 72942318 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621669266304 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30765] ppid=30701 vsize=10918240 memory=1139224 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30765/stat : 30765 (java) S 30701 30704 24385 0 -1 1077944384 3 12851 0 0 0 0 6 2 20 0 15 0 72942321 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621428975440 139622881204123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30766] ppid=30701 vsize=10918240 memory=1428 CPUtime=12.75 cores=0,2,4,6
/proc/30704/task/30766/stat : 30766 (java) S 30701 30704 24385 0 -1 1077944384 88714 12851 0 0 1257 10 6 2 20 0 15 0 72942321 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621950282608 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30767] ppid=30701 vsize=10918240 memory=13048 CPUtime=12.71 cores=0,2,4,6
/proc/30704/task/30767/stat : 30767 (java) S 30701 30704 24385 0 -1 1077944384 100793 12851 0 0 1255 8 6 2 20 0 15 0 72942321 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621949229808 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30768] ppid=30701 vsize=10918240 memory=2436 CPUtime=4.43 cores=0,2,4,6
/proc/30704/task/30768/stat : 30768 (java) S 30701 30704 24385 0 -1 1077944384 101824 12851 0 0 425 10 6 2 20 0 15 0 72942321 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621948177008 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30769] ppid=30701 vsize=10918240 memory=1296 CPUtime=0.08 cores=0,2,4,6
/proc/30704/task/30769/stat : 30769 (java) S 30701 30704 24385 0 -1 1077944384 3 12851 0 0 0 0 6 2 20 0 15 0 72942321 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621395417824 139622881195733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
[pid=30704/tid=30770] ppid=30701 vsize=10918240 memory=840 CPUtime=1.46 cores=0,2,4,6
/proc/30704/task/30770/stat : 30770 (java) S 30701 30704 24385 0 -1 1077944384 2135 12851 0 0 67 71 6 2 20 0 15 0 72942321 11180277760 279676 33554432000 4194304 4196468 140730899227712 139621947124400 139622881196674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31997952 140730899233390 140730899236188 140730899236188 140730899238863 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1118704 KiB

Child status: 143
Real time (s): 2445.93
CPU time (s): 2520.04
CPU user time (s): 2516.26
CPU system time (s): 3.77896
CPU usage (%): 103.03
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 2152900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.26
system time used= 3.77896
maximum resident set size= 2154808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 212878
involuntary context switches= 7547


# summary of solver processes directly reported to runsolver:
#   pid: 30704
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2516.26
#   total CPU system time (s): 3.77896

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5677 second user time and 22.9148 second system time

The end

Name	TravelingTournament/ TravelingTournament-a3-galaxy14_c18.xml
MD5SUM	7a3ba77b7a6be046779b0525cfa105c0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	14498
Best CPU time to get the best result obtained on this benchmark	2520.11
Satisfiable
(Un)Satisfiability was proved
Number of variables	1470
Number of constraints	5725
Number of domains	3
Minimum domain size	2
Maximum domain size	57
Distribution of domain sizes	[{"size":2,"count":728},{"size":14,"count":364},{"size":57,"count":378}]
Minimum variable degree	2
Maximum variable degree	44
Distribution of variable degrees	[{"degree":2,"count":742},{"degree":41,"count":336},{"degree":42,"count":364},{"degree":43,"count":26},{"degree":44,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	26
Distribution of constraint arities	[{"arity":2,"count":365},{"arity":3,"count":28},{"arity":4,"count":4200},{"arity":5,"count":350},{"arity":14,"count":390},{"arity":16,"count":364},{"arity":26,"count":28}]
Number of extensional constraints	378
Number of intensional constraints	4565
Distribution of constraint types	[{"type":"extension","count":378},{"type":"intension","count":4565},{"type":"regular","count":14},{"type":"allDifferent","count":26},{"type":"cardinality","count":14},{"type":"element","count":728}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4295453

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