2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	17157	2520.11	2448.53

0.99/0.75	c Concrete v3.9.2.1532736233296 running
62.81/39.26	o 17929
63.44/39.58	o 17906
63.63/39.63	o 17823
89.92/64.71	o 17772
89.92/64.73	o 17726
89.92/64.74	o 17697
110.99/85.48	o 17685
114.51/88.91	o 17634
114.51/88.92	o 17630
249.28/222.04	o 17538
355.45/326.44	o 17532
358.01/328.98	o 17507
360.85/331.73	o 17465
360.85/331.75	o 17420
369.05/339.62	o 17312
371.70/342.26	o 17250
447.95/417.11	o 17175
450.70/419.84	o 17157
2520.07/2448.50	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.07/2448.50		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.07/2448.50		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.07/2448.50		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.07/2448.50		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.07/2448.50		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.07/2448.50		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.07/2448.50		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.07/2448.50		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.07/2448.50		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.07/2448.50		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.07/2448.50		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.07/2448.50		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.07/2448.50		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.07/2448.50		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.07/2448.50		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.07/2448.50		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.07/2448.50		at scala.Option.map(Option.scala:146)
2520.07/2448.50		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.07/2448.50		at concrete.MAC.mac(MAC.scala:203)
2520.07/2448.50		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.07/2448.50		at scala.util.Try$.apply(Try.scala:209)
2520.07/2448.50		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2448.50		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2448.50		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2448.50		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2448.50		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.07/2448.50		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2448.50		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2448.50		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2448.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2448.51		at concrete.MAC.oneRun(MAC.scala:253)
2520.07/2448.51		at concrete.MAC.nextSolution(MAC.scala:272)
2520.07/2448.51		at concrete.MAC.nextSolution(MAC.scala:355)
2520.07/2448.51		at concrete.Solver.hasNext(Solver.scala:166)
2520.07/2448.51		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.07/2448.51		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.07/2448.51		at concrete.Solver.foreach(Solver.scala:68)
2520.07/2448.51		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.07/2448.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2448.51		at scala.util.Success.map(Try.scala:209)
2520.07/2448.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2448.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.07/2448.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.07/2448.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2448.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.07/2448.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2448.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2448.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2448.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2448.51		at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2448.51		at scala.App.main(App.scala:76)
2520.07/2448.51		at scala.App.main$(App.scala:74)
2520.07/2448.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.07/2448.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2448.51	v <instantiation cost="17157">
2520.07/2448.51	v       <list>
2520.07/2448.51	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.07/2448.51	v       </list>
2520.07/2448.51	v       <values>
2520.07/2448.51	v         6 9 11 1 5 2 13 7 10 12 4 3 11 10 1 8 5 2 7 8 9 6 4 13 3 12 4 10 3 0 7 5 2 8 4 5 12 2 10 13 0 6 11 9 12 3 6 7 9 8 13 11 13 8 9 12 4 0 1 10 6 4 6 1 5 9 11 7 13 0 8 12 10 3 11 3 5 7 5 12 1 8 13 12 10 11 11 6 8 0 4 7 4 9 9 13 6 1 7 2 5 2 0 10 1 13 12 5 2 10 6 5 1 2 0 7 3 11 3 11 7 6 9 9 8 13 0 10 12 8 3 6 6 4 0 1 9 4 13 1 7 12 2 8 8 10 0 7 13 11 11 10 3 12 2 9 0 5 5 10 11 8 4 12 2 3 2 9 9 12 7 1 8 4 3 7 1 0 13 11 10 13 10 11 8 13 1 13 11 0 8 10 5 4 12 3 6 2 4 5 0 6 3 1 12 9 9 2 9 2 7 3 12 6 12 1 7 9 3 13 13 5 5 0 6 10 2 0 4 11 10 1 11 4 8 0 2 11 10 11 5 13 12 8 10 6 6 2 13 3 3 1 4 4 0 12 1 7 7 5 7 1 13 6 9 4 3 2 0 7 9 11 1 0 12 5 12 8 11 13 2 5 8 4 6 3 12 7 0 9 6 9 7 3 3 13 13 10 0 4 2 4 1 12 10 5 5 8 2 6 8 1 11 3 4 2 8 3 8 6 9 0 1 5 7 6 10 13 10 11 1 2 13 9 7 5 4 0 2 4 10 7 3 7 0 9 5 11 11 8 8 1 9 12 2 3 5 10 12 4 6 0 1 6 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 1 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 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 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 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 44 44 55 55 0 15 15 44 44 57 57 34 34 55 65 10 39 39 0 48 68 51 36 91 59 0 0 0 0 32 34 10 0 22 22 31 35 40 0 65 66 64 39 39 43 30 55 0 44 44 46 46 64 64 0 53 53 0 45 45 0 55 55 0 56 39 22 49 105 58 61 59 15 48 48 47 47 0 50 48 56 41 94 80 68 68 0 69 10 66 47 47 0 51 51 0 67 67 50 50 32 44 14 0 47 15 34 0 31 64 91 35 35 0 18 18 0 45 15 36 0 70 66 51 64 64 55 55 21 21 0 74 101 73 0 0 27 27 0 39 10 40 35 91 75 0 94 48 50 42 73 51 48 48 0 44 44 41 41 0 81 81 0 0 27 51 75 31 31 88 48 56 0 69 69 0 59 59 0 18 51 47 39 10 44 70 70 92 92 69 10 67 0 44 64 41 0 81 81 48 35 64 14 14 56 56 0 44 44 59 0 90 30 79 0 0 68 68 81 81 81 81 0 46 46 0 68 50 104 42 42 48 44 31 53 53 0 69 10 73 0 21 21 0 51 15 49 0 105 44 81 0 68 73 103 69 69 93 93 67 67 0 55 55 30 55 43 79 79 0 0 65 64 66 103 55 74 0 55 44 69 10 10 0 101 101 0 73 73 0 55 50 51 0 75 47 69 105 105 0 105 69 70 67 67 66 50 69 0 55 55 0 70 31 64 10 51 44 0 58 58 69 69 0 0 0 73 45 48 80 68 81 30 30 55 55 90 59 88 0 101 10 105 0 90 90 0 94 94 57 57 61 61 0 41 14 50 59 51 93 0 69 69 104 104 0 90 90 0 75 51 66 91 18 92 64 64 0
2520.07/2448.51	v       </values>
2520.07/2448.51	v     </instantiation>
2520.07/2448.51	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 (8678 MiB free)
  memory of node 1: 16384 MiB (8723 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304699-1534126289/watcher-4304699-1534126289 -o /tmp/evaluation-result-4304699-1534126289/solver-4304699-1534126289 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534096964-13174 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1648144790 HOME/instance-4304699-1534126289.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
solver pid=19040, runsolver pid=19037
Current StackSize limit: 8192 KiB


[startup+0.100081 s]*
/proc/loadavg: 1.40 1.40 1.41 2/206 19097
/proc/meminfo: memFree=17812912/32770624 swapFree=67108196/67108860
[pid=19040] ppid=19037 vsize=10005480 memory=14648 CPUtime=0.09 cores=0,2,4,6
/proc/19040/stat : 19040 (java) S 19037 19040 13143 0 -1 1077944320 4342 13142 0 0 1 0 5 3 20 0 6 0 230192084 10245611520 3662 33554432000 4194304 4196468 140735514867408 140735514849952 139985294196471 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
/proc/19040/statm: 2501370 3662 1932 1 0 2489808 0
[pid=19040/tid=19093] ppid=19037 vsize=10005480 memory=5852835220496416925 CPUtime=0.09 cores=0,2,4,6
/proc/19040/task/19093/stat : 19093 (java) R 19037 19040 13143 0 -1 4202560 2188 13142 0 0 1 0 5 3 20 0 6 0 230192093 10245611520 3728 33554432000 4194304 4196468 140735514867408 139985266033232 139985294220061 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19094] ppid=19037 vsize=10005480 memory=5793855552920058297 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19094/stat : 19094 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 6 0 230192093 10245611520 3728 33554432000 4194304 4196468 140735514867408 139985298439312 139985294206677 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19095] ppid=19037 vsize=10005480 memory=140301910165120 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19095/stat : 19095 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 6 0 230192093 10245611520 3728 33554432000 4194304 4196468 140735514867408 139984833448976 139985294206677 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19096] ppid=19037 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19096/stat : 19096 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 6 0 230192093 10245611520 3728 33554432000 4194304 4196468 140735514867408 139984832396176 139985294206677 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19097] ppid=19037 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19097/stat : 19097 (java) S 19037 19040 13143 0 -1 1077944384 2 13142 0 0 0 0 5 3 20 0 6 0 230192093 10245611520 3728 33554432000 4194304 4196468 140735514867408 139984831343376 139985294206677 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14648 KiB

[startup+0.209657 s]*
/proc/loadavg: 1.40 1.40 1.41 3/215 19106
/proc/meminfo: memFree=17791476/32770624 swapFree=67108196/67108860
[pid=19040] ppid=19037 vsize=10982744 memory=41148 CPUtime=0.26 cores=0,2,4,6
/proc/19040/stat : 19040 (java) S 19037 19040 13143 0 -1 1077944320 7555 13142 0 0 17 1 5 3 20 0 15 0 230192084 11246329856 10287 33554432000 4194304 4196468 140735514867408 140735514849952 139985294196471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
/proc/19040/statm: 2745686 10287 2958 1 0 2708109 0
[pid=19040/tid=19093] ppid=19037 vsize=10982744 memory=-8540663193526752614 CPUtime=0.19 cores=0,2,4,6
/proc/19040/task/19093/stat : 19093 (java) R 19037 19040 13143 0 -1 4202560 4073 13142 0 0 11 0 5 3 20 0 15 0 230192093 11246329856 10353 33554432000 4194304 4196468 140735514867408 139985265988896 139985274472299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19094] ppid=19037 vsize=10982744 memory=4211974028114955658 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19094/stat : 19094 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192093 11246329856 10353 33554432000 4194304 4196468 140735514867408 139985298439312 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19095] ppid=19037 vsize=10982744 memory=140301910165120 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19095/stat : 19095 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192093 11246329856 10353 33554432000 4194304 4196468 140735514867408 139984833448976 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19096] ppid=19037 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19096/stat : 19096 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192093 11246329856 10353 33554432000 4194304 4196468 140735514867408 139984832396176 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19097] ppid=19037 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19097/stat : 19097 (java) S 19037 19040 13143 0 -1 1077944384 2 13142 0 0 0 0 5 3 20 0 15 0 230192093 11246329856 10353 33554432000 4194304 4196468 140735514867408 139984831343376 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19098] ppid=19037 vsize=10982744 memory=140301910165120 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19098/stat : 19098 (java) S 19037 19040 13143 0 -1 1077944384 2 13142 0 0 0 0 5 3 20 0 15 0 230192095 11246329856 10353 33554432000 4194304 4196468 140735514867408 139984719800688 139985294207618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19099] ppid=19037 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19099/stat : 19099 (java) S 19037 19040 13143 0 -1 1077944384 13 13142 0 0 0 0 5 3 20 0 15 0 230192095 11246329856 10419 33554432000 4194304 4196468 140735514867408 139984124240928 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19100] ppid=19037 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19100/stat : 19100 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192096 11246329856 10419 33554432000 4194304 4196468 140735514867408 139983922914160 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19101] ppid=19037 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19101/stat : 19101 (java) S 19037 19040 13143 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 230192098 11246329856 10419 33554432000 4194304 4196468 140735514867408 139983615514448 139985294215067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19102] ppid=19037 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19040/task/19102/stat : 19102 (java) S 19037 19040 13143 0 -1 1077944384 375 13142 0 0 1 0 5 3 20 0 15 0 230192098 11246329856 10419 33554432000 4194304 4196468 140735514867408 139984718748528 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19103] ppid=19037 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19103/stat : 19103 (java) S 19037 19040 13143 0 -1 1077944384 264 13142 0 0 0 0 5 3 20 0 15 0 230192098 11246329856 10419 33554432000 4194304 4196468 140735514867408 139984717695728 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19104] ppid=19037 vsize=10982744 memory=140301910165120 CPUtime=0.11 cores=0,2,4,6
/proc/19040/task/19104/stat : 19104 (java) S 19037 19040 13143 0 -1 1077944384 665 13142 0 0 3 0 5 3 20 0 15 0 230192098 11246329856 10419 33554432000 4194304 4196468 140735514867408 139984716642928 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19105] ppid=19037 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19105/stat : 19105 (java) S 19037 19040 13143 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 230192099 11246329856 10419 33554432000 4194304 4196468 140735514867408 139983184718560 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19106] ppid=19037 vsize=10982744 memory=140301910165120 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19106/stat : 19106 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192099 11246329856 10419 33554432000 4194304 4196468 140735514867408 139984715590320 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41148 KiB

[startup+0.309997 s]*
/proc/loadavg: 1.40 1.40 1.41 3/215 19106
/proc/meminfo: memFree=17779072/32770624 swapFree=67108196/67108860
[pid=19040] ppid=19037 vsize=10983192 memory=54836 CPUtime=0.39 cores=0,2,4,6
/proc/19040/stat : 19040 (java) S 19037 19040 13143 0 -1 1077944320 10783 13142 0 0 29 2 5 3 20 0 15 0 230192084 11246788608 13709 33554432000 4194304 4196468 140735514867408 140735514849952 139985294196471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
/proc/19040/statm: 2745798 13709 3103 1 0 2708109 0
[pid=19040/tid=19093] ppid=19037 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/19040/task/19093/stat : 19093 (java) R 19037 19040 13143 0 -1 4202560 7335 13142 0 0 20 1 5 3 20 0 15 0 230192093 11246788608 13841 33554432000 4194304 4196468 140735514867408 139985266008480 139985294208406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19094] ppid=19037 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19094/stat : 19094 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192093 11246788608 13841 33554432000 4194304 4196468 140735514867408 139985298439312 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19095] ppid=19037 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19095/stat : 19095 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192093 11246788608 13841 33554432000 4194304 4196468 140735514867408 139984833448976 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19096] ppid=19037 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19096/stat : 19096 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192093 11246788608 13841 33554432000 4194304 4196468 140735514867408 139984832396176 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19097] ppid=19037 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19097/stat : 19097 (java) S 19037 19040 13143 0 -1 1077944384 2 13142 0 0 0 0 5 3 20 0 15 0 230192093 11246788608 13841 33554432000 4194304 4196468 140735514867408 139984831343376 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19098] ppid=19037 vsize=10983192 memory=140301910165119 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19098/stat : 19098 (java) S 19037 19040 13143 0 -1 1077944384 2 13142 0 0 0 0 5 3 20 0 15 0 230192095 11246788608 13841 33554432000 4194304 4196468 140735514867408 139984719800688 139985294207618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19099] ppid=19037 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19099/stat : 19099 (java) S 19037 19040 13143 0 -1 1077944384 13 13142 0 0 0 0 5 3 20 0 15 0 230192095 11246788608 13841 33554432000 4194304 4196468 140735514867408 139984124240928 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19100] ppid=19037 vsize=10983192 memory=140301910165120 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19100/stat : 19100 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192096 11246788608 13841 33554432000 4194304 4196468 140735514867408 139983922914160 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19101] ppid=19037 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19101/stat : 19101 (java) S 19037 19040 13143 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 230192098 11246788608 13841 33554432000 4194304 4196468 140735514867408 139983615514448 139985294215067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19102] ppid=19037 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19040/task/19102/stat : 19102 (java) S 19037 19040 13143 0 -1 1077944384 381 13142 0 0 1 0 5 3 20 0 15 0 230192098 11246788608 13841 33554432000 4194304 4196468 140735514867408 139984718748528 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19103] ppid=19037 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/19040/task/19103/stat : 19103 (java) S 19037 19040 13143 0 -1 1077944384 271 13142 0 0 1 0 5 3 20 0 15 0 230192098 11246788608 13841 33554432000 4194304 4196468 140735514867408 139984717695728 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19104] ppid=19037 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/19040/task/19104/stat : 19104 (java) S 19037 19040 13143 0 -1 1077944384 695 13142 0 0 5 0 5 3 20 0 15 0 230192098 11246788608 13841 33554432000 4194304 4196468 140735514867408 139984716642928 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19105] ppid=19037 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19105/stat : 19105 (java) S 19037 19040 13143 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 230192099 11246788608 13841 33554432000 4194304 4196468 140735514867408 139983184718560 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19106] ppid=19037 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19106/stat : 19106 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192099 11246788608 13841 33554432000 4194304 4196468 140735514867408 139984715590320 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54836 KiB

[startup+0.700748 s]
/proc/loadavg: 1.40 1.40 1.41 3/215 19106
/proc/meminfo: memFree=17767652/32770624 swapFree=67108196/67108860
[pid=19040] ppid=19037 vsize=10983192 memory=88236 CPUtime=0.99 cores=0,2,4,6
/proc/19040/stat : 19040 (java) S 19037 19040 13143 0 -1 1077944320 17171 13142 0 0 87 4 5 3 20 0 15 0 230192084 11246788608 22059 33554432000 4194304 4196468 140735514867408 140735514849952 139985294196471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
/proc/19040/statm: 2745798 22059 3238 1 0 2708109 0
[pid=19040/tid=19093] ppid=19037 vsize=10983192 memory=62492 CPUtime=0.66 cores=0,2,4,6
/proc/19040/task/19093/stat : 19093 (java) R 19037 19040 13143 0 -1 4202560 12457 13142 0 0 56 2 5 3 20 0 15 0 230192093 11246788608 22059 33554432000 4194304 4196468 140735514867408 139985266023912 139985275761441 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19094] ppid=19037 vsize=10983192 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19094/stat : 19094 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192093 11246788608 22059 33554432000 4194304 4196468 140735514867408 139985298439312 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19095] ppid=19037 vsize=10983192 memory=140301750804995 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19095/stat : 19095 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192093 11246788608 22059 33554432000 4194304 4196468 140735514867408 139984833448976 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19096] ppid=19037 vsize=10983192 memory=140303696659339 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19096/stat : 19096 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192093 11246788608 22059 33554432000 4194304 4196468 140735514867408 139984832396176 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19097] ppid=19037 vsize=10983192 memory=640 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19097/stat : 19097 (java) S 19037 19040 13143 0 -1 1077944384 2 13142 0 0 0 0 5 3 20 0 15 0 230192093 11246788608 22059 33554432000 4194304 4196468 140735514867408 139984831343376 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19098] ppid=19037 vsize=10983192 memory=7305218370954421849 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19098/stat : 19098 (java) S 19037 19040 13143 0 -1 1077944384 5 13142 0 0 0 0 5 3 20 0 15 0 230192095 11246788608 22059 33554432000 4194304 4196468 140735514867408 139984719800688 139985294207618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19099] ppid=19037 vsize=10983192 memory=8025788839814059116 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19099/stat : 19099 (java) S 19037 19040 13143 0 -1 1077944384 13 13142 0 0 0 0 5 3 20 0 15 0 230192095 11246788608 22059 33554432000 4194304 4196468 140735514867408 139984124240928 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19100] ppid=19037 vsize=10983192 memory=6220993253238723945 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19100/stat : 19100 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192096 11246788608 22059 33554432000 4194304 4196468 140735514867408 139983922914160 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19101] ppid=19037 vsize=10983192 memory=3054156605368933524 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19101/stat : 19101 (java) S 19037 19040 13143 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 230192098 11246788608 22059 33554432000 4194304 4196468 140735514867408 139983615514448 139985294215067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19102] ppid=19037 vsize=10983192 memory=8326441112149131689 CPUtime=0.15 cores=0,2,4,6
/proc/19040/task/19102/stat : 19102 (java) S 19037 19040 13143 0 -1 1077944384 753 13142 0 0 7 0 5 3 20 0 15 0 230192098 11246788608 22059 33554432000 4194304 4196468 140735514867408 139984718748528 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19103] ppid=19037 vsize=10983192 memory=7679937539659563834 CPUtime=0.17 cores=0,2,4,6
/proc/19040/task/19103/stat : 19103 (java) S 19037 19040 13143 0 -1 1077944384 870 13142 0 0 9 0 5 3 20 0 15 0 230192098 11246788608 22059 33554432000 4194304 4196468 140735514867408 139984717695728 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19104] ppid=19037 vsize=10983192 memory=6944656425123485561 CPUtime=0.21 cores=0,2,4,6
/proc/19040/task/19104/stat : 19104 (java) S 19037 19040 13143 0 -1 1077944384 868 13142 0 0 13 0 5 3 20 0 15 0 230192098 11246788608 22059 33554432000 4194304 4196468 140735514867408 139984716642928 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19105] ppid=19037 vsize=10983192 memory=-9178176116494409632 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19105/stat : 19105 (java) S 19037 19040 13143 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 230192099 11246788608 22059 33554432000 4194304 4196468 140735514867408 139983184718560 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19106] ppid=19037 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19106/stat : 19106 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192099 11246788608 22059 33554432000 4194304 4196468 140735514867408 139984715590320 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88236 KiB

[startup+1.50138 s]
/proc/loadavg: 1.40 1.40 1.41 3/215 19106
/proc/meminfo: memFree=17722724/32770624 swapFree=67108196/67108860
[pid=19040] ppid=19037 vsize=10991948 memory=192148 CPUtime=3.13 cores=0,2,4,6
/proc/19040/stat : 19040 (java) S 19037 19040 13143 0 -1 1077944320 24060 13142 0 0 297 8 5 3 20 0 15 0 230192084 11255754752 48037 33554432000 4194304 4196468 140735514867408 140735514849952 139985294196471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
/proc/19040/statm: 2747987 48037 3452 1 0 2709645 0
[pid=19040/tid=19093] ppid=19037 vsize=10991948 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/19040/task/19093/stat : 19093 (java) R 19037 19040 13143 0 -1 4202560 15153 13142 0 0 133 5 5 3 20 0 15 0 230192093 11255754752 48037 33554432000 4194304 4196468 140735514867408 139985266030480 139984868039488 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19094] ppid=19037 vsize=10991948 memory=103412 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19094/stat : 19094 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192093 11255754752 48037 33554432000 4194304 4196468 140735514867408 139985298439312 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19095] ppid=19037 vsize=10991948 memory=5790086053191909267 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19095/stat : 19095 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192093 11255754752 48037 33554432000 4194304 4196468 140735514867408 139984833448976 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19096] ppid=19037 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19096/stat : 19096 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192093 11255754752 48037 33554432000 4194304 4196468 140735514867408 139984832396176 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19097] ppid=19037 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19097/stat : 19097 (java) S 19037 19040 13143 0 -1 1077944384 2 13142 0 0 0 0 5 3 20 0 15 0 230192093 11255754752 48037 33554432000 4194304 4196468 140735514867408 139984831343376 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19098] ppid=19037 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19098/stat : 19098 (java) S 19037 19040 13143 0 -1 1077944384 6 13142 0 0 0 0 5 3 20 0 15 0 230192095 11255754752 48037 33554432000 4194304 4196468 140735514867408 139984719800688 139985294207618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19099] ppid=19037 vsize=10991948 memory=-6221781267475802396 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19099/stat : 19099 (java) S 19037 19040 13143 0 -1 1077944384 13 13142 0 0 0 0 5 3 20 0 15 0 230192095 11255754752 48037 33554432000 4194304 4196468 140735514867408 139984124240928 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19100] ppid=19037 vsize=10991948 memory=4124 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19100/stat : 19100 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192096 11255754752 48037 33554432000 4194304 4196468 140735514867408 139983922914160 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19101] ppid=19037 vsize=10991948 memory=2092 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19101/stat : 19101 (java) S 19037 19040 13143 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 230192098 11255754752 48037 33554432000 4194304 4196468 140735514867408 139983615514448 139985294215067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19102] ppid=19037 vsize=10991948 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/19040/task/19102/stat : 19102 (java) R 19037 19040 13143 0 -1 4202560 2792 13142 0 0 58 0 5 3 20 0 15 0 230192098 11255754752 48037 33554432000 4194304 4196468 140735514867408 139984718729392 139985277693346 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19103] ppid=19037 vsize=10991948 memory=222327035986105 CPUtime=0.66 cores=0,2,4,6
/proc/19040/task/19103/stat : 19103 (java) R 19037 19040 13143 0 -1 4202560 2183 13142 0 0 58 0 5 3 20 0 15 0 230192098 11255754752 48037 33554432000 4194304 4196468 140735514867408 139984717679200 139985275732532 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19104] ppid=19037 vsize=10991948 memory=3906926772679358599 CPUtime=0.54 cores=0,2,4,6
/proc/19040/task/19104/stat : 19104 (java) S 19037 19040 13143 0 -1 1077944384 1708 13142 0 0 45 1 5 3 20 0 15 0 230192098 11255754752 48037 33554432000 4194304 4196468 140735514867408 139984716642928 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19105] ppid=19037 vsize=10991948 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19105/stat : 19105 (java) S 19037 19040 13143 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 230192099 11255754752 48037 33554432000 4194304 4196468 140735514867408 139983184718560 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19106] ppid=19037 vsize=10991948 memory=4640205495973466192 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19106/stat : 19106 (java) S 19037 19040 13143 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 230192099 11255754752 48037 33554432000 4194304 4196468 140735514867408 139984715590320 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 10991948 KiB

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

/proc/19040/task/19093/stat : 19093 (java) R 19037 19040 13143 0 -1 4202560 121659 13142 0 0 235613 52 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139985266031072 139984887152202 0 4 0 16800975 0 0 0 -1 6 0 0 46 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19094] ppid=19037 vsize=11082080 memory=1359996 CPUtime=14.95 cores=0,2,4,6
/proc/19040/task/19094/stat : 19094 (java) S 19037 19040 13143 0 -1 1077944384 17383 13142 0 0 1439 48 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139985298439312 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19095] ppid=19037 vsize=11082080 memory=1359996 CPUtime=14.91 cores=0,2,4,6
/proc/19040/task/19095/stat : 19095 (java) S 19037 19040 13143 0 -1 1077944384 23218 13142 0 0 1431 52 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984833448976 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19096] ppid=19037 vsize=11082080 memory=1357948 CPUtime=14.92 cores=0,2,4,6
/proc/19040/task/19096/stat : 19096 (java) S 19037 19040 13143 0 -1 1077944384 20737 13142 0 0 1432 52 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984832396176 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19097] ppid=19037 vsize=11082080 memory=1359996 CPUtime=14.94 cores=0,2,4,6
/proc/19040/task/19097/stat : 19097 (java) S 19037 19040 13143 0 -1 1077944384 17079 13142 0 0 1433 53 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984831343376 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19098] ppid=19037 vsize=11082080 memory=1359996 CPUtime=7.1 cores=0,2,4,6
/proc/19040/task/19098/stat : 19098 (java) S 19037 19040 13143 0 -1 1077944384 21089 13142 0 0 658 44 5 3 20 0 15 0 230192095 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984719800688 139985294207618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19099] ppid=19037 vsize=11082080 memory=1359996 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19099/stat : 19099 (java) S 19037 19040 13143 0 -1 1077944384 24 13142 0 0 0 0 5 3 20 0 15 0 230192095 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984124240992 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19100] ppid=19037 vsize=11082080 memory=844 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19100/stat : 19100 (java) S 19037 19040 13143 0 -1 1077944384 9 13142 0 0 0 0 5 3 20 0 15 0 230192096 11348049920 339999 33554432000 4194304 4196468 140735514867408 139983922914176 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19101] ppid=19037 vsize=11082080 memory=1359996 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19101/stat : 19101 (java) S 19037 19040 13143 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 230192098 11348049920 339999 33554432000 4194304 4196468 140735514867408 139983615514448 139985294215067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19102] ppid=19037 vsize=11082080 memory=7852 CPUtime=12.13 cores=0,2,4,6
/proc/19040/task/19102/stat : 19102 (java) S 19037 19040 13143 0 -1 1077944384 104288 13142 0 0 1196 9 5 3 20 0 15 0 230192098 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984718748528 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 62 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19103] ppid=19037 vsize=11082080 memory=1628 CPUtime=12.09 cores=0,2,4,6
/proc/19040/task/19103/stat : 19103 (java) S 19037 19040 13143 0 -1 1077944384 106372 13142 0 0 1192 9 5 3 20 0 15 0 230192098 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984717695728 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19104] ppid=19037 vsize=11082080 memory=2096 CPUtime=4.04 cores=0,2,4,6
/proc/19040/task/19104/stat : 19104 (java) S 19037 19040 13143 0 -1 1077944384 102863 13142 0 0 385 11 5 3 20 0 15 0 230192098 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984716642928 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 63 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19105] ppid=19037 vsize=11082080 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19105/stat : 19105 (java) S 19037 19040 13143 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 230192099 11348049920 339999 33554432000 4194304 4196468 140735514867408 139983184718560 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19106] ppid=19037 vsize=11082080 memory=1359996 CPUtime=1.36 cores=0,2,4,6
/proc/19040/task/19106/stat : 19106 (java) S 19037 19040 13143 0 -1 1077944384 1931 13142 0 0 67 61 5 3 20 0 15 0 230192099 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984715590320 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 59 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
Current children cumulated CPU time: 2452.56 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1359996 KiB

[startup+2442.3 s]
/proc/loadavg: 1.00 1.29 1.34 3/217 19307
/proc/meminfo: memFree=15835304/32770624 swapFree=67108196/67108860
[pid=19040] ppid=19037 vsize=11082080 memory=1359996 CPUtime=2513.74 cores=0,2,4,6
/proc/19040/stat : 19040 (java) S 19037 19040 13143 0 -1 1077944320 543603 13142 0 0 251004 362 5 3 20 0 15 0 230192084 11348049920 339999 33554432000 4194304 4196468 140735514867408 140735514849952 139985294196471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
/proc/19040/statm: 2770520 339999 3536 1 0 2732173 0
[pid=19040/tid=19093] ppid=19037 vsize=11082080 memory=1359996 CPUtime=2416.08 cores=0,2,4,6
/proc/19040/task/19093/stat : 19093 (java) R 19037 19040 13143 0 -1 4202560 122640 13142 0 0 241547 53 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139985266031072 139984887876568 0 4 0 16800975 0 0 0 -1 0 0 0 46 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19094] ppid=19037 vsize=11082080 memory=1359996 CPUtime=15.34 cores=0,2,4,6
/proc/19040/task/19094/stat : 19094 (java) S 19037 19040 13143 0 -1 1077944384 17565 13142 0 0 1477 49 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139985298439312 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19095] ppid=19037 vsize=11082080 memory=1359996 CPUtime=15.31 cores=0,2,4,6
/proc/19040/task/19095/stat : 19095 (java) S 19037 19040 13143 0 -1 1077944384 23465 13142 0 0 1470 53 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984833448976 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19096] ppid=19037 vsize=11082080 memory=1359996 CPUtime=15.32 cores=0,2,4,6
/proc/19040/task/19096/stat : 19096 (java) S 19037 19040 13143 0 -1 1077944384 20970 13142 0 0 1471 53 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984832396176 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19097] ppid=19037 vsize=11082080 memory=1359996 CPUtime=15.34 cores=0,2,4,6
/proc/19040/task/19097/stat : 19097 (java) S 19037 19040 13143 0 -1 1077944384 17245 13142 0 0 1472 54 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984831343376 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19098] ppid=19037 vsize=11082080 memory=1359996 CPUtime=7.27 cores=0,2,4,6
/proc/19040/task/19098/stat : 19098 (java) S 19037 19040 13143 0 -1 1077944384 21493 13142 0 0 675 44 5 3 20 0 15 0 230192095 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984719800688 139985294207618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19099] ppid=19037 vsize=11082080 memory=1359996 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19099/stat : 19099 (java) S 19037 19040 13143 0 -1 1077944384 24 13142 0 0 0 0 5 3 20 0 15 0 230192095 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984124240992 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19100] ppid=19037 vsize=11082080 memory=280603502326048 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19100/stat : 19100 (java) S 19037 19040 13143 0 -1 1077944384 9 13142 0 0 0 0 5 3 20 0 15 0 230192096 11348049920 339999 33554432000 4194304 4196468 140735514867408 139983922914176 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19101] ppid=19037 vsize=11082080 memory=1359996 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19101/stat : 19101 (java) S 19037 19040 13143 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 230192098 11348049920 339999 33554432000 4194304 4196468 140735514867408 139983615514448 139985294215067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19102] ppid=19037 vsize=11082080 memory=1359996 CPUtime=12.16 cores=0,2,4,6
/proc/19040/task/19102/stat : 19102 (java) S 19037 19040 13143 0 -1 1077944384 105063 13142 0 0 1199 9 5 3 20 0 15 0 230192098 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984718748528 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 62 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19103] ppid=19037 vsize=11082080 memory=1359996 CPUtime=12.11 cores=0,2,4,6
/proc/19040/task/19103/stat : 19103 (java) S 19037 19040 13143 0 -1 1077944384 107150 13142 0 0 1194 9 5 3 20 0 15 0 230192098 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984717695728 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19104] ppid=19037 vsize=11082080 memory=1359996 CPUtime=4.05 cores=0,2,4,6
/proc/19040/task/19104/stat : 19104 (java) S 19037 19040 13143 0 -1 1077944384 103818 13142 0 0 386 11 5 3 20 0 15 0 230192098 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984716642928 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 63 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19105] ppid=19037 vsize=11082080 memory=1359996 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19105/stat : 19105 (java) S 19037 19040 13143 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 230192099 11348049920 339999 33554432000 4194304 4196468 140735514867408 139983184718560 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19106] ppid=19037 vsize=11082080 memory=1359996 CPUtime=1.39 cores=0,2,4,6
/proc/19040/task/19106/stat : 19106 (java) S 19037 19040 13143 0 -1 1077944384 1963 13142 0 0 69 62 5 3 20 0 15 0 230192099 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984715590320 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 59 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
Current children cumulated CPU time: 2513.74 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1359996 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2448.5 s]
/proc/loadavg: 1.00 1.28 1.34 3/217 19307
/proc/meminfo: memFree=15835304/32770624 swapFree=67108196/67108860
[pid=19040] ppid=19037 vsize=11082080 memory=1359996 CPUtime=2520.07 cores=0,2,4,6
/proc/19040/stat : 19040 (java) S 19037 19040 13143 0 -1 1077944320 544067 13142 0 0 251636 363 5 3 20 0 15 0 230192084 11348049920 339999 33554432000 4194304 4196468 140735514867408 140735514849952 139985294196471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
/proc/19040/statm: 2770520 339999 3536 1 0 2732173 0
[pid=19040/tid=19093] ppid=19037 vsize=11082080 memory=1359996 CPUtime=2422.2 cores=0,2,4,6
/proc/19040/task/19093/stat : 19093 (java) R 19037 19040 13143 0 -1 4202560 122703 13142 0 0 242159 53 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139985266031344 139984880193323 0 4 0 16800975 0 0 0 -1 0 0 0 46 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19094] ppid=19037 vsize=11082080 memory=1359996 CPUtime=15.38 cores=0,2,4,6
/proc/19040/task/19094/stat : 19094 (java) S 19037 19040 13143 0 -1 1077944384 17565 13142 0 0 1481 49 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139985298439312 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19095] ppid=19037 vsize=11082080 memory=1359996 CPUtime=15.35 cores=0,2,4,6
/proc/19040/task/19095/stat : 19095 (java) S 19037 19040 13143 0 -1 1077944384 23466 13142 0 0 1474 53 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984833448976 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19096] ppid=19037 vsize=11082080 memory=1359996 CPUtime=15.36 cores=0,2,4,6
/proc/19040/task/19096/stat : 19096 (java) S 19037 19040 13143 0 -1 1077944384 20970 13142 0 0 1475 53 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984832396176 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19097] ppid=19037 vsize=11082080 memory=1359996 CPUtime=15.39 cores=0,2,4,6
/proc/19040/task/19097/stat : 19097 (java) S 19037 19040 13143 0 -1 1077944384 17245 13142 0 0 1477 54 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984831343376 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19098] ppid=19037 vsize=11082080 memory=1359996 CPUtime=7.29 cores=0,2,4,6
/proc/19040/task/19098/stat : 19098 (java) S 19037 19040 13143 0 -1 1077944384 21495 13142 0 0 677 44 5 3 20 0 15 0 230192095 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984719800688 139985294207618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19099] ppid=19037 vsize=11082080 memory=1359996 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19099/stat : 19099 (java) S 19037 19040 13143 0 -1 1077944384 24 13142 0 0 0 0 5 3 20 0 15 0 230192095 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984124240992 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19100] ppid=19037 vsize=11082080 memory=1359996 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19100/stat : 19100 (java) S 19037 19040 13143 0 -1 1077944384 9 13142 0 0 0 0 5 3 20 0 15 0 230192096 11348049920 339999 33554432000 4194304 4196468 140735514867408 139983922914176 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19101] ppid=19037 vsize=11082080 memory=1944 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19101/stat : 19101 (java) S 19037 19040 13143 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 230192098 11348049920 339999 33554432000 4194304 4196468 140735514867408 139983615514448 139985294215067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19102] ppid=19037 vsize=11082080 memory=1384 CPUtime=12.16 cores=0,2,4,6
/proc/19040/task/19102/stat : 19102 (java) S 19037 19040 13143 0 -1 1077944384 105063 13142 0 0 1199 9 5 3 20 0 15 0 230192098 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984718748528 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 62 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19103] ppid=19037 vsize=11082080 memory=6791534058613427641 CPUtime=12.12 cores=0,2,4,6
/proc/19040/task/19103/stat : 19103 (java) S 19037 19040 13143 0 -1 1077944384 107375 13142 0 0 1195 9 5 3 20 0 15 0 230192098 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984717695728 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19104] ppid=19037 vsize=11082080 memory=1359996 CPUtime=4.05 cores=0,2,4,6
/proc/19040/task/19104/stat : 19104 (java) S 19037 19040 13143 0 -1 1077944384 103989 13142 0 0 386 11 5 3 20 0 15 0 230192098 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984716642928 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 63 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19105] ppid=19037 vsize=11082080 memory=1359996 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19105/stat : 19105 (java) S 19037 19040 13143 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 230192099 11348049920 339999 33554432000 4194304 4196468 140735514867408 139983184718560 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19106] ppid=19037 vsize=11082080 memory=1359996 CPUtime=1.39 cores=0,2,4,6
/proc/19040/task/19106/stat : 19106 (java) S 19037 19040 13143 0 -1 1077944384 1965 13142 0 0 69 62 5 3 20 0 15 0 230192099 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984715590320 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 59 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1359996 KiB

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

[startup+2448.53 s]
# the end of solver process 19040 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.44 s, system=3.675 s

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

[startup+2448.5 s]
/proc/loadavg: 1.00 1.28 1.34 3/217 19307
/proc/meminfo: memFree=15835304/32770624 swapFree=67108196/67108860
[pid=19040] ppid=19037 vsize=11082080 memory=1359996 CPUtime=2520.07 cores=0,2,4,6
/proc/19040/stat : 19040 (java) S 19037 19040 13143 0 -1 1077944320 544067 13142 0 0 251636 363 5 3 20 0 15 0 230192084 11348049920 339999 33554432000 4194304 4196468 140735514867408 140735514849952 139985294196471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
/proc/19040/statm: 2770520 339999 3536 1 0 2732173 0
[pid=19040/tid=19093] ppid=19037 vsize=11082080 memory=1359996 CPUtime=2422.2 cores=0,2,4,6
/proc/19040/task/19093/stat : 19093 (java) R 19037 19040 13143 0 -1 4202560 122703 13142 0 0 242159 53 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139985266031344 139984880193323 0 4 0 16800975 0 0 0 -1 0 0 0 46 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19094] ppid=19037 vsize=11082080 memory=1359996 CPUtime=15.38 cores=0,2,4,6
/proc/19040/task/19094/stat : 19094 (java) S 19037 19040 13143 0 -1 1077944384 17565 13142 0 0 1481 49 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139985298439312 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19095] ppid=19037 vsize=11082080 memory=1359996 CPUtime=15.35 cores=0,2,4,6
/proc/19040/task/19095/stat : 19095 (java) S 19037 19040 13143 0 -1 1077944384 23466 13142 0 0 1474 53 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984833448976 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19096] ppid=19037 vsize=11082080 memory=1359996 CPUtime=15.36 cores=0,2,4,6
/proc/19040/task/19096/stat : 19096 (java) S 19037 19040 13143 0 -1 1077944384 20970 13142 0 0 1475 53 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984832396176 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19097] ppid=19037 vsize=11082080 memory=1359996 CPUtime=15.39 cores=0,2,4,6
/proc/19040/task/19097/stat : 19097 (java) S 19037 19040 13143 0 -1 1077944384 17245 13142 0 0 1477 54 5 3 20 0 15 0 230192093 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984831343376 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19098] ppid=19037 vsize=11082080 memory=1359996 CPUtime=7.29 cores=0,2,4,6
/proc/19040/task/19098/stat : 19098 (java) S 19037 19040 13143 0 -1 1077944384 21495 13142 0 0 677 44 5 3 20 0 15 0 230192095 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984719800688 139985294207618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19099] ppid=19037 vsize=11082080 memory=1359996 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19099/stat : 19099 (java) S 19037 19040 13143 0 -1 1077944384 24 13142 0 0 0 0 5 3 20 0 15 0 230192095 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984124240992 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19100] ppid=19037 vsize=11082080 memory=1359996 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19100/stat : 19100 (java) S 19037 19040 13143 0 -1 1077944384 9 13142 0 0 0 0 5 3 20 0 15 0 230192096 11348049920 339999 33554432000 4194304 4196468 140735514867408 139983922914176 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19101] ppid=19037 vsize=11082080 memory=1944 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19101/stat : 19101 (java) S 19037 19040 13143 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 230192098 11348049920 339999 33554432000 4194304 4196468 140735514867408 139983615514448 139985294215067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19102] ppid=19037 vsize=11082080 memory=1384 CPUtime=12.16 cores=0,2,4,6
/proc/19040/task/19102/stat : 19102 (java) S 19037 19040 13143 0 -1 1077944384 105063 13142 0 0 1199 9 5 3 20 0 15 0 230192098 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984718748528 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 62 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19103] ppid=19037 vsize=11082080 memory=6791534058613427641 CPUtime=12.12 cores=0,2,4,6
/proc/19040/task/19103/stat : 19103 (java) S 19037 19040 13143 0 -1 1077944384 107375 13142 0 0 1195 9 5 3 20 0 15 0 230192098 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984717695728 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19104] ppid=19037 vsize=11082080 memory=1359996 CPUtime=4.05 cores=0,2,4,6
/proc/19040/task/19104/stat : 19104 (java) S 19037 19040 13143 0 -1 1077944384 103989 13142 0 0 386 11 5 3 20 0 15 0 230192098 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984716642928 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 63 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19105] ppid=19037 vsize=11082080 memory=1359996 CPUtime=0.08 cores=0,2,4,6
/proc/19040/task/19105/stat : 19105 (java) S 19037 19040 13143 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 230192099 11348049920 339999 33554432000 4194304 4196468 140735514867408 139983184718560 139985294206677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
[pid=19040/tid=19106] ppid=19037 vsize=11082080 memory=1359996 CPUtime=1.39 cores=0,2,4,6
/proc/19040/task/19106/stat : 19106 (java) S 19037 19040 13143 0 -1 1077944384 1965 13142 0 0 69 62 5 3 20 0 15 0 230192099 11348049920 339999 33554432000 4194304 4196468 140735514867408 139984715590320 139985294207618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 59 0 0 6293624 6294260 30285824 140735514876524 140735514879324 140735514879324 140735514881999 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1359996 KiB

Child status: 143
Real time (s): 2448.53
CPU time (s): 2520.11
CPU user time (s): 2516.44
CPU system time (s): 3.675
CPU usage (%): 102.924
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 2185988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.44
system time used= 3.675
maximum resident set size= 2188116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 558078
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= 200830
involuntary context switches= 8425


# summary of solver processes directly reported to runsolver:
#   pid: 19040
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2516.44
#   total CPU system time (s): 3.675

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1981 second user time and 22.4104 second system time

The end

Name	TravelingTournament/ TravelingTournament-a2-galaxy14_c18.xml
MD5SUM	289cb43960e2b184f01d0d99cacee99d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	16618
Best CPU time to get the best result obtained on this benchmark	2520.05
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 4304699

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