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)	9600	2520.11	2450.15

0.99/0.75	c Concrete v3.8.1528841891564 running
37.53/18.29	o 10671
38.24/18.52	o 10634
38.24/18.55	o 10589
38.24/18.59	o 10548
38.57/18.61	o 10526
41.65/21.03	o 10363
41.86/21.15	o 10354
41.86/21.16	o 10343
41.86/21.17	o 10331
41.98/21.30	o 10284
46.12/24.74	o 10266
46.22/24.83	o 10251
46.32/24.95	o 10239
46.32/24.97	o 10214
46.44/25.03	o 10174
122.53/99.98	o 10165
122.83/100.28	o 10152
122.93/100.30	o 10143
188.94/165.20	o 10114
196.87/173.09	o 10112
206.84/182.88	o 10110
214.38/190.26	o 10106
310.63/284.86	o 10088
310.63/284.87	o 10036
310.63/284.89	o 9969
435.66/407.43	o 9928
448.02/419.55	o 9919
448.02/419.57	o 9913
448.12/419.64	o 9813
620.05/588.23	o 9782
620.05/588.24	o 9778
620.15/588.31	o 9731
620.15/588.31	o 9698
620.15/588.39	o 9600
2520.05/2450.12	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.05/2450.12		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.05/2450.12		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.05/2450.12		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.05/2450.12		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.05/2450.12		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.05/2450.12		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.05/2450.12		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.05/2450.12		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.05/2450.12		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.05/2450.12		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.05/2450.12		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.05/2450.12		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.05/2450.12		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.05/2450.12		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.05/2450.12		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.05/2450.12		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108)
2520.05/2450.12		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.05/2450.12		at scala.Option.map(Option.scala:146)
2520.05/2450.12		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.05/2450.12		at concrete.MAC.mac(MAC.scala:203)
2520.05/2450.12		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.05/2450.12		at scala.util.Try$.apply(Try.scala:209)
2520.05/2450.12		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.05/2450.12		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.05/2450.12		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.05/2450.12		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.05/2450.12		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.05/2450.12		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.05/2450.12		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.05/2450.12		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.05/2450.12		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.05/2450.12		at concrete.MAC.oneRun(MAC.scala:253)
2520.05/2450.12		at concrete.MAC.nextSolution(MAC.scala:272)
2520.05/2450.12		at concrete.MAC.nextSolution(MAC.scala:355)
2520.05/2450.12		at concrete.Solver.hasNext(Solver.scala:166)
2520.05/2450.12		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.05/2450.12		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.05/2450.12		at concrete.Solver.foreach(Solver.scala:68)
2520.05/2450.12		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.05/2450.12		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.05/2450.12		at scala.util.Success.map(Try.scala:209)
2520.05/2450.12		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.05/2450.12		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.05/2450.12		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.05/2450.12		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.05/2450.12		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.05/2450.12		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.05/2450.12		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.05/2450.12		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.05/2450.12		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.05/2450.12		at scala.collection.immutable.List.foreach(List.scala:389)
2520.05/2450.12		at scala.App.main(App.scala:76)
2520.05/2450.12		at scala.App.main$(App.scala:74)
2520.05/2450.12		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.05/2450.12		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2450.13	v <instantiation cost="9600">
2520.05/2450.13	v       <list>
2520.05/2450.13	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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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]
2520.05/2450.13	v       </list>
2520.05/2450.13	v       <values>
2520.05/2450.13	v         2 1 10 4 11 8 4 5 3 2 3 8 6 5 6 11 7 9 1 9 10 7 10 0 6 5 6 4 9 10 11 8 11 2 4 8 3 3 5 7 0 7 2 9 0 4 8 10 9 7 3 3 7 0 4 1 11 10 8 5 11 5 9 6 1 6 9 11 4 11 7 5 2 2 0 7 0 5 8 6 1 1 8 4 6 10 9 10 5 2 3 0 10 1 0 8 8 9 2 9 1 7 10 6 6 3 11 5 7 11 4 6 7 1 8 3 7 0 9 11 10 3 9 0 11 2 1 2 10 4 6 8 8 5 1 7 1 9 8 9 10 10 7 11 0 3 0 4 4 11 3 2 5 2 11 8 5 6 3 2 5 11 2 3 6 10 10 4 9 9 0 1 8 1 4 0 6 7 2 9 5 0 6 4 4 1 9 0 3 1 2 10 3 10 7 11 11 5 3 10 11 8 2 6 1 6 5 4 8 4 5 11 7 7 10 0 2 0 3 1 1 9 0 2 4 11 11 1 6 6 5 7 7 2 4 8 9 8 5 3 0 3 7 3 9 3 0 10 10 7 1 5 1 6 2 9 5 0 2 6 4 8 8 4 0 1 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 1 1 1 0 0 1 0 1 1 0 1 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 1 1 15 15 55 55 0 48 21 35 39 0 34 34 0 0 44 70 55 51 43 10 0 44 44 0 10 10 40 27 18 31 65 10 69 46 22 22 0 32 32 0 44 44 0 0 43 43 0 45 45 0 0 56 14 47 0 15 15 0 0 55 73 53 58 44 81 49 22 39 56 67 67 0 66 67 14 0 47 15 34 0 41 41 47 47 32 46 21 51 69 69 0 0 0 0 51 34 55 74 0 0 21 68 49 45 31 31 0 0 18 18 70 44 48 64 0 35 18 27 0 0 41 14 48 81 105 44 0 0 39 39 50 22 40 51 51 0 42 42 0 0 39 39 0 0 31 68 103 75 59 67 55 44 0 18 18 0 47 47 50 27 0 0 81 42 27 59 0 0 67 58 47 14 0 69 74 55 79 44 44 0 44 44 0 0 31 31 53 49 81 42 0 21 21 0 0 48 34 32 46 0 0 73 69 67 69 0 0 0 103 10 105 49 56 39 43 0 0 68 21 35 81 0 79 79 0 0 51 34 67 0 65 65 0 55 55 10 10 0 0 75 27 48 69 0 74 21 68 103 0 0 55 34 69 67 14 66 0 55 55 10 10 0 0 64 64 58 49 81 44 0 70 70 0 69 21 70
2520.05/2450.13	v       </values>
2520.05/2450.13	v     </instantiation>
2520.05/2450.13	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 (4058 MiB free)
  memory of node 1: 16384 MiB (8162 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295469-1532567268/watcher-4295469-1532567268 -o /tmp/evaluation-result-4295469-1532567268/solver-4295469-1532567268 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532567268-31804 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=926938417 HOME/instance-4295469-1532567268.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=31834, runsolver pid=31827

[startup+0.100122 s]*
/proc/loadavg: 0.58 0.68 0.93 6/196 31945
/proc/meminfo: memFree=12508964/32770624 swapFree=67108860/67108860
[pid=31834] ppid=31827 vsize=9972712 memory=14912 CPUtime=0.08 cores=0,2,4,6
/proc/31834/stat : 31834 (java) S 31827 31834 26438 0 -1 1077944320 4355 13158 0 0 1 0 4 3 20 0 6 0 74290021 10212057088 3662 33554432000 4194304 4196468 140732472452992 140732472435536 140264100015863 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
/proc/31834/statm: 2493178 3728 1934 1 0 2481616 0
[pid=31834/tid=31939] ppid=31827 vsize=9972712 memory=-6517102902069810590 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31939/stat : 31939 (java) R 31827 31834 26438 0 -1 4202560 2169 13158 0 0 0 0 4 3 20 0 6 0 74290030 10212057088 3728 33554432000 4194304 4196468 140732472452992 140264071852624 140264085698389 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31944] ppid=31827 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31944/stat : 31944 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 6 0 74290031 10212057088 3728 33554432000 4194304 4196468 140732472452992 140264104258448 140264100026069 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31945] ppid=31827 vsize=9972712 memory=139817022748288 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31945/stat : 31945 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 6 0 74290031 10212057088 3728 33554432000 4194304 4196468 140732472452992 140263672908560 140264100026069 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31946] ppid=31827 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31946/stat : 31946 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 6 0 74290031 10212057088 3728 33554432000 4194304 4196468 140732472452992 140263671856272 140264100026069 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31947] ppid=31827 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31947/stat : 31947 (java) S 31827 31834 26438 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 6 0 74290031 10212057088 3728 33554432000 4194304 4196468 140732472452992 140263670803472 140264100026069 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14912 KiB

[startup+0.210033 s]*
/proc/loadavg: 0.58 0.68 0.93 4/216 31965
/proc/meminfo: memFree=12463144/32770624 swapFree=67108860/67108860
[pid=31834] ppid=31827 vsize=10818904 memory=37540 CPUtime=0.25 cores=0,2,4,6
/proc/31834/stat : 31834 (java) S 31827 31834 26438 0 -1 1077944320 7657 13158 0 0 17 1 4 3 20 0 15 0 74290021 11078557696 9385 33554432000 4194304 4196468 140732472452992 140732472435536 140264100015863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
/proc/31834/statm: 2704726 9385 2960 1 0 2667149 0
[pid=31834/tid=31939] ppid=31827 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/31834/task/31939/stat : 31939 (java) R 31827 31834 26438 0 -1 4202560 4155 13158 0 0 11 0 4 3 20 0 15 0 74290030 11078557696 9385 33554432000 4194304 4196468 140732472452992 140264071837872 140264080291691 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31944] ppid=31827 vsize=10818904 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31944/stat : 31944 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290031 11078557696 9385 33554432000 4194304 4196468 140732472452992 140264104258448 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31945] ppid=31827 vsize=10818904 memory=139817023146775 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31945/stat : 31945 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290031 11078557696 9385 33554432000 4194304 4196468 140732472452992 140263672908560 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31946] ppid=31827 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31946/stat : 31946 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290031 11078557696 9451 33554432000 4194304 4196468 140732472452992 140263671856272 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31947] ppid=31827 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31947/stat : 31947 (java) S 31827 31834 26438 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 74290031 11078557696 9451 33554432000 4194304 4196468 140732472452992 140263670803472 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31949] ppid=31827 vsize=10818904 memory=139817022748288 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31949/stat : 31949 (java) S 31827 31834 26438 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 74290032 11078557696 9451 33554432000 4194304 4196468 140732472452992 140263559235696 140264100027010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31951] ppid=31827 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31951/stat : 31951 (java) S 31827 31834 26438 0 -1 1077944384 33 13158 0 0 0 0 4 3 20 0 15 0 74290033 11078557696 9451 33554432000 4194304 4196468 140732472452992 140263558181664 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31953] ppid=31827 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31953/stat : 31953 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290033 11078557696 9451 33554432000 4194304 4196468 140732472452992 140262961570928 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31955] ppid=31827 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31955/stat : 31955 (java) S 31827 31834 26438 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 74290036 11078557696 9451 33554432000 4194304 4196468 140732472452992 140262654171216 140264100034459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31957] ppid=31827 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31834/task/31957/stat : 31957 (java) S 31827 31834 26438 0 -1 1077944384 433 13158 0 0 1 0 4 3 20 0 15 0 74290036 11078557696 9451 33554432000 4194304 4196468 140732472452992 140263524625008 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31959] ppid=31827 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31834/task/31959/stat : 31959 (java) S 31827 31834 26438 0 -1 1077944384 200 13158 0 0 1 0 4 3 20 0 15 0 74290036 11078557696 9451 33554432000 4194304 4196468 140732472452992 140263523572208 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31961] ppid=31827 vsize=10818904 memory=139817022748288 CPUtime=0.1 cores=0,2,4,6
/proc/31834/task/31961/stat : 31961 (java) S 31827 31834 26438 0 -1 1077944384 657 13158 0 0 3 0 4 3 20 0 15 0 74290036 11078557696 9451 33554432000 4194304 4196468 140732472452992 140263522519920 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31962] ppid=31827 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31962/stat : 31962 (java) S 31827 31834 26438 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 74290036 11078557696 9517 33554432000 4194304 4196468 140732472452992 140262620613600 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31964] ppid=31827 vsize=10818904 memory=139817022748288 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31964/stat : 31964 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290036 11078557696 9517 33554432000 4194304 4196468 140732472452992 140263521466800 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 37540 KiB

[startup+0.310334 s]*
/proc/loadavg: 0.58 0.68 0.93 4/216 31965
/proc/meminfo: memFree=12436732/32770624 swapFree=67108860/67108860
[pid=31834] ppid=31827 vsize=10819352 memory=51256 CPUtime=0.37 cores=0,2,4,6
/proc/31834/stat : 31834 (java) S 31827 31834 26438 0 -1 1077944320 10894 13158 0 0 28 2 4 3 20 0 15 0 74290021 11079016448 12814 33554432000 4194304 4196468 140732472452992 140732472435536 140264100015863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
/proc/31834/statm: 2704838 12814 3093 1 0 2667149 0
[pid=31834/tid=31939] ppid=31827 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/31834/task/31939/stat : 31939 (java) R 31827 31834 26438 0 -1 4202560 7342 13158 0 0 19 1 4 3 20 0 15 0 74290030 11079016448 12814 33554432000 4194304 4196468 140732472452992 140264071827872 140264080284213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31944] ppid=31827 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31944/stat : 31944 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290031 11079016448 12814 33554432000 4194304 4196468 140732472452992 140264104258448 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31945] ppid=31827 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31945/stat : 31945 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290031 11079016448 12814 33554432000 4194304 4196468 140732472452992 140263672908560 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31946] ppid=31827 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31946/stat : 31946 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290031 11079016448 12814 33554432000 4194304 4196468 140732472452992 140263671856272 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31947] ppid=31827 vsize=10819352 memory=139816889100815 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31947/stat : 31947 (java) S 31827 31834 26438 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 74290031 11079016448 12814 33554432000 4194304 4196468 140732472452992 140263670803472 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31949] ppid=31827 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31949/stat : 31949 (java) S 31827 31834 26438 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 74290032 11079016448 12814 33554432000 4194304 4196468 140732472452992 140263559235696 140264100027010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31951] ppid=31827 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31951/stat : 31951 (java) S 31827 31834 26438 0 -1 1077944384 33 13158 0 0 0 0 4 3 20 0 15 0 74290033 11079016448 12814 33554432000 4194304 4196468 140732472452992 140263558181664 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31953] ppid=31827 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31953/stat : 31953 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290033 11079016448 12814 33554432000 4194304 4196468 140732472452992 140262961570928 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31955] ppid=31827 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31955/stat : 31955 (java) S 31827 31834 26438 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 74290036 11079016448 12814 33554432000 4194304 4196468 140732472452992 140262654171216 140264100034459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31957] ppid=31827 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31834/task/31957/stat : 31957 (java) S 31827 31834 26438 0 -1 1077944384 439 13158 0 0 1 0 4 3 20 0 15 0 74290036 11079016448 12814 33554432000 4194304 4196468 140732472452992 140263524625008 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31959] ppid=31827 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31834/task/31959/stat : 31959 (java) S 31827 31834 26438 0 -1 1077944384 203 13158 0 0 1 0 4 3 20 0 15 0 74290036 11079016448 12814 33554432000 4194304 4196468 140732472452992 140263523572208 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31961] ppid=31827 vsize=10819352 memory=139817022748288 CPUtime=0.12 cores=0,2,4,6
/proc/31834/task/31961/stat : 31961 (java) S 31827 31834 26438 0 -1 1077944384 690 13158 0 0 5 0 4 3 20 0 15 0 74290036 11079016448 12814 33554432000 4194304 4196468 140732472452992 140263522519920 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31962] ppid=31827 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31962/stat : 31962 (java) S 31827 31834 26438 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 74290036 11079016448 12814 33554432000 4194304 4196468 140732472452992 140262620613600 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31964] ppid=31827 vsize=10819352 memory=139817022748288 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31964/stat : 31964 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290036 11079016448 12814 33554432000 4194304 4196468 140732472452992 140263521466800 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51256 KiB

[startup+0.700724 s]
/proc/loadavg: 0.58 0.68 0.93 4/216 31965
/proc/meminfo: memFree=12414592/32770624 swapFree=67108860/67108860
[pid=31834] ppid=31827 vsize=10819352 memory=83968 CPUtime=0.99 cores=0,2,4,6
/proc/31834/stat : 31834 (java) S 31827 31834 26438 0 -1 1077944320 17155 13158 0 0 88 4 4 3 20 0 15 0 74290021 11079016448 20992 33554432000 4194304 4196468 140732472452992 140732472435536 140264100015863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
/proc/31834/statm: 2704838 20992 3237 1 0 2667149 0
[pid=31834/tid=31939] ppid=31827 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/31834/task/31939/stat : 31939 (java) R 31827 31834 26438 0 -1 4202560 12393 13158 0 0 56 3 4 3 20 0 15 0 74290030 11079016448 20992 33554432000 4194304 4196468 140732472452992 140264071840128 140264080291738 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31944] ppid=31827 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31944/stat : 31944 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290031 11079016448 20992 33554432000 4194304 4196468 140732472452992 140264104258448 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31945] ppid=31827 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31945/stat : 31945 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290031 11079016448 20992 33554432000 4194304 4196468 140732472452992 140263672908560 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31946] ppid=31827 vsize=10819352 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31946/stat : 31946 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290031 11079016448 20992 33554432000 4194304 4196468 140732472452992 140263671856272 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31947] ppid=31827 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31947/stat : 31947 (java) S 31827 31834 26438 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 74290031 11079016448 20992 33554432000 4194304 4196468 140732472452992 140263670803472 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31949] ppid=31827 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31949/stat : 31949 (java) S 31827 31834 26438 0 -1 1077944384 5 13158 0 0 0 0 4 3 20 0 15 0 74290032 11079016448 20992 33554432000 4194304 4196468 140732472452992 140263559235696 140264100027010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31951] ppid=31827 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31951/stat : 31951 (java) S 31827 31834 26438 0 -1 1077944384 33 13158 0 0 0 0 4 3 20 0 15 0 74290033 11079016448 20992 33554432000 4194304 4196468 140732472452992 140263558181664 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31953] ppid=31827 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31953/stat : 31953 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290033 11079016448 20992 33554432000 4194304 4196468 140732472452992 140262961570928 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31955] ppid=31827 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31955/stat : 31955 (java) S 31827 31834 26438 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 74290036 11079016448 20992 33554432000 4194304 4196468 140732472452992 140262654171216 140264100034459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31957] ppid=31827 vsize=10819352 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/31834/task/31957/stat : 31957 (java) S 31827 31834 26438 0 -1 1077944384 1069 13158 0 0 9 0 4 3 20 0 15 0 74290036 11079016448 20992 33554432000 4194304 4196468 140732472452992 140263524625008 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31959] ppid=31827 vsize=10819352 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/31834/task/31959/stat : 31959 (java) S 31827 31834 26438 0 -1 1077944384 592 13158 0 0 7 0 4 3 20 0 15 0 74290036 11079016448 20992 33554432000 4194304 4196468 140732472452992 140263523572208 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31961] ppid=31827 vsize=10819352 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/31834/task/31961/stat : 31961 (java) S 31827 31834 26438 0 -1 1077944384 862 13158 0 0 13 0 4 3 20 0 15 0 74290036 11079016448 20992 33554432000 4194304 4196468 140732472452992 140263522519920 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31962] ppid=31827 vsize=10819352 memory=16436 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31962/stat : 31962 (java) S 31827 31834 26438 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 74290036 11079016448 20992 33554432000 4194304 4196468 140732472452992 140262620613600 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31964] ppid=31827 vsize=10819352 memory=13104 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31964/stat : 31964 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290036 11079016448 20992 33554432000 4194304 4196468 140732472452992 140263521466800 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 83968 KiB

[startup+1.50074 s]
/proc/loadavg: 0.58 0.68 0.93 4/216 31965
/proc/meminfo: memFree=12326620/32770624 swapFree=67108860/67108860
[pid=31834] ppid=31827 vsize=10832204 memory=176824 CPUtime=2.93 cores=0,2,4,6
/proc/31834/stat : 31834 (java) S 31827 31834 26438 0 -1 1077944320 24020 13158 0 0 278 8 4 3 20 0 15 0 74290021 11092176896 44206 33554432000 4194304 4196468 140732472452992 140732472435536 140264100015863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
/proc/31834/statm: 2708051 44206 3451 1 0 2669709 0
[pid=31834/tid=31939] ppid=31827 vsize=10832204 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/31834/task/31939/stat : 31939 (java) R 31827 31834 26438 0 -1 4202560 16358 13158 0 0 133 5 4 3 20 0 15 0 74290030 11092176896 44206 33554432000 4194304 4196468 140732472452992 140264071816288 140264100037789 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31944] ppid=31827 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31944/stat : 31944 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290031 11092176896 44206 33554432000 4194304 4196468 140732472452992 140264104258448 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31945] ppid=31827 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31945/stat : 31945 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290031 11092176896 44206 33554432000 4194304 4196468 140732472452992 140263672908560 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31946] ppid=31827 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31946/stat : 31946 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290031 11092176896 44206 33554432000 4194304 4196468 140732472452992 140263671856272 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31947] ppid=31827 vsize=10832204 memory=6944656575208382560 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31947/stat : 31947 (java) S 31827 31834 26438 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 74290031 11092176896 44206 33554432000 4194304 4196468 140732472452992 140263670803472 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31949] ppid=31827 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31949/stat : 31949 (java) S 31827 31834 26438 0 -1 1077944384 12 13158 0 0 0 0 4 3 20 0 15 0 74290032 11092176896 44206 33554432000 4194304 4196468 140732472452992 140263559235696 140264100027010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31951] ppid=31827 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31951/stat : 31951 (java) S 31827 31834 26438 0 -1 1077944384 33 13158 0 0 0 0 4 3 20 0 15 0 74290033 11092176896 44206 33554432000 4194304 4196468 140732472452992 140263558181664 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31953] ppid=31827 vsize=10832204 memory=-1161699032756030039 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31953/stat : 31953 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290033 11092176896 44206 33554432000 4194304 4196468 140732472452992 140262961570928 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31955] ppid=31827 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31955/stat : 31955 (java) S 31827 31834 26438 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 74290036 11092176896 44206 33554432000 4194304 4196468 140732472452992 140262654171216 140264100034459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31957] ppid=31827 vsize=10832204 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/31834/task/31957/stat : 31957 (java) S 31827 31834 26438 0 -1 1077944384 1820 13158 0 0 49 0 4 3 20 0 15 0 74290036 11092176896 44206 33554432000 4194304 4196468 140732472452992 140263524625008 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31959] ppid=31827 vsize=10832204 memory=4580 CPUtime=0.55 cores=0,2,4,6
/proc/31834/task/31959/stat : 31959 (java) R 31827 31834 26438 0 -1 4202560 1840 13158 0 0 48 0 4 3 20 0 15 0 74290036 11092176896 44206 33554432000 4194304 4196468 140732472452992 140263523552896 140264083516176 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31961] ppid=31827 vsize=10832204 memory=279633778331328 CPUtime=0.52 cores=0,2,4,6
/proc/31834/task/31961/stat : 31961 (java) S 31827 31834 26438 0 -1 1077944384 1756 13158 0 0 45 0 4 3 20 0 15 0 74290036 11092176896 44206 33554432000 4194304 4196468 140732472452992 140263522519920 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31962] ppid=31827 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31962/stat : 31962 (java) S 31827 31834 26438 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 74290036 11092176896 44206 33554432000 4194304 4196468 140732472452992 140262620613600 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31964] ppid=31827 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31964/stat : 31964 (java) S 31827 31834 26438 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 74290036 11092176896 44206 33554432000 4194304 4196468 140732472452992 140263521466800 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 10832204 KiB

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

/proc/31834/task/31939/stat : 31939 (java) R 31827 31834 26438 0 -1 4202560 117198 13158 0 0 235586 56 4 3 20 0 15 0 74290030 11180277760 283720 33554432000 4194304 4196468 140732472452992 140264071851696 140263725595904 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31944] ppid=31827 vsize=10918240 memory=1134880 CPUtime=14.29 cores=0,2,4,6
/proc/31834/task/31944/stat : 31944 (java) S 31827 31834 26438 0 -1 1077944384 24049 13158 0 0 1370 52 4 3 20 0 15 0 74290031 11180277760 283720 33554432000 4194304 4196468 140732472452992 140264104258448 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31945] ppid=31827 vsize=10918240 memory=1134880 CPUtime=14.31 cores=0,2,4,6
/proc/31834/task/31945/stat : 31945 (java) S 31827 31834 26438 0 -1 1077944384 31594 13158 0 0 1373 51 4 3 20 0 15 0 74290031 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263672908560 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31946] ppid=31827 vsize=10918240 memory=1134880 CPUtime=14.27 cores=0,2,4,6
/proc/31834/task/31946/stat : 31946 (java) S 31827 31834 26438 0 -1 1077944384 22901 13158 0 0 1368 52 4 3 20 0 15 0 74290031 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263671856272 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31947] ppid=31827 vsize=10918240 memory=1134880 CPUtime=14.31 cores=0,2,4,6
/proc/31834/task/31947/stat : 31947 (java) S 31827 31834 26438 0 -1 1077944384 28774 13158 0 0 1372 52 4 3 20 0 15 0 74290031 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263670803472 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31949] ppid=31827 vsize=10918240 memory=1152412 CPUtime=8.36 cores=0,2,4,6
/proc/31834/task/31949/stat : 31949 (java) S 31827 31834 26438 0 -1 1077944384 22192 13158 0 0 781 48 4 3 20 0 15 0 74290032 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263559235696 140264100027010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31951] ppid=31827 vsize=10918240 memory=1134880 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31951/stat : 31951 (java) S 31827 31834 26438 0 -1 1077944384 51 13158 0 0 0 0 4 3 20 0 15 0 74290033 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263558181792 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31953] ppid=31827 vsize=10918240 memory=1134880 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31953/stat : 31953 (java) S 31827 31834 26438 0 -1 1077944384 18 13158 0 0 0 0 4 3 20 0 15 0 74290033 11180277760 283720 33554432000 4194304 4196468 140732472452992 140262961570944 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31955] ppid=31827 vsize=10918240 memory=1134880 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31955/stat : 31955 (java) S 31827 31834 26438 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 74290036 11180277760 283720 33554432000 4194304 4196468 140732472452992 140262654171216 140264100034459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31957] ppid=31827 vsize=10918240 memory=1134880 CPUtime=11.79 cores=0,2,4,6
/proc/31834/task/31957/stat : 31957 (java) S 31827 31834 26438 0 -1 1077944384 159461 13158 0 0 1156 16 4 3 20 0 15 0 74290036 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263524625008 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31959] ppid=31827 vsize=10918240 memory=1134880 CPUtime=11.55 cores=0,2,4,6
/proc/31834/task/31959/stat : 31959 (java) S 31827 31834 26438 0 -1 1077944384 150018 13158 0 0 1134 14 4 3 20 0 15 0 74290036 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263523572208 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31961] ppid=31827 vsize=10918240 memory=0 CPUtime=4.52 cores=0,2,4,6
/proc/31834/task/31961/stat : 31961 (java) S 31827 31834 26438 0 -1 1077944384 152196 13158 0 0 432 13 4 3 20 0 15 0 74290036 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263522519920 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31962] ppid=31827 vsize=10918240 memory=1428 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31962/stat : 31962 (java) S 31827 31834 26438 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 74290036 11180277760 283720 33554432000 4194304 4196468 140732472452992 140262620613600 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31964] ppid=31827 vsize=10918240 memory=279633779673888 CPUtime=1.55 cores=0,2,4,6
/proc/31834/task/31964/stat : 31964 (java) S 31827 31834 26438 0 -1 1077944384 4277 13158 0 0 69 79 4 3 20 0 15 0 74290036 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263521466800 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
Current children cumulated CPU time: 2450.9 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1134880 KiB

[startup+2442.3 s]
/proc/loadavg: 1.31 1.35 1.33 4/216 32066
/proc/meminfo: memFree=10171160/32770624 swapFree=67108860/67108860
[pid=31834] ppid=31827 vsize=10918240 memory=1134880 CPUtime=2512.08 cores=0,2,4,6
/proc/31834/stat : 31834 (java) S 31827 31834 26438 0 -1 1077944320 718832 13158 0 0 250812 389 4 3 20 0 15 0 74290021 11180277760 283720 33554432000 4194304 4196468 140732472452992 140732472435536 140264100015863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
/proc/31834/statm: 2729560 283720 3535 1 0 2691213 0
[pid=31834/tid=31939] ppid=31827 vsize=10918240 memory=1134880 CPUtime=2415.82 cores=0,2,4,6
/proc/31834/task/31939/stat : 31939 (java) R 31827 31834 26438 0 -1 4202560 117922 13158 0 0 241519 56 4 3 20 0 15 0 74290030 11180277760 283720 33554432000 4194304 4196468 140732472452992 140264071851376 140263719370493 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31944] ppid=31827 vsize=10918240 memory=1134880 CPUtime=14.66 cores=0,2,4,6
/proc/31834/task/31944/stat : 31944 (java) S 31827 31834 26438 0 -1 1077944384 24248 13158 0 0 1406 53 4 3 20 0 15 0 74290031 11180277760 283720 33554432000 4194304 4196468 140732472452992 140264104258448 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31945] ppid=31827 vsize=10918240 memory=1134880 CPUtime=14.68 cores=0,2,4,6
/proc/31834/task/31945/stat : 31945 (java) S 31827 31834 26438 0 -1 1077944384 31748 13158 0 0 1409 52 4 3 20 0 15 0 74290031 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263672908560 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31946] ppid=31827 vsize=10918240 memory=1134880 CPUtime=14.64 cores=0,2,4,6
/proc/31834/task/31946/stat : 31946 (java) S 31827 31834 26438 0 -1 1077944384 23040 13158 0 0 1405 52 4 3 20 0 15 0 74290031 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263671856272 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31947] ppid=31827 vsize=10918240 memory=1134880 CPUtime=14.67 cores=0,2,4,6
/proc/31834/task/31947/stat : 31947 (java) S 31827 31834 26438 0 -1 1077944384 28825 13158 0 0 1407 53 4 3 20 0 15 0 74290031 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263670803472 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31949] ppid=31827 vsize=10918240 memory=1134880 CPUtime=8.57 cores=0,2,4,6
/proc/31834/task/31949/stat : 31949 (java) S 31827 31834 26438 0 -1 1077944384 22394 13158 0 0 801 49 4 3 20 0 15 0 74290032 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263559235696 140264100027010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31951] ppid=31827 vsize=10918240 memory=1134880 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31951/stat : 31951 (java) S 31827 31834 26438 0 -1 1077944384 51 13158 0 0 0 0 4 3 20 0 15 0 74290033 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263558181792 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31953] ppid=31827 vsize=10918240 memory=1134880 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31953/stat : 31953 (java) S 31827 31834 26438 0 -1 1077944384 18 13158 0 0 0 0 4 3 20 0 15 0 74290033 11180277760 283720 33554432000 4194304 4196468 140732472452992 140262961570944 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31955] ppid=31827 vsize=10918240 memory=1134880 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31955/stat : 31955 (java) S 31827 31834 26438 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 74290036 11180277760 283720 33554432000 4194304 4196468 140732472452992 140262654171216 140264100034459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31957] ppid=31827 vsize=10918240 memory=1134880 CPUtime=11.83 cores=0,2,4,6
/proc/31834/task/31957/stat : 31957 (java) S 31827 31834 26438 0 -1 1077944384 160329 13158 0 0 1160 16 4 3 20 0 15 0 74290036 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263524625008 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31959] ppid=31827 vsize=10918240 memory=1134880 CPUtime=11.59 cores=0,2,4,6
/proc/31834/task/31959/stat : 31959 (java) S 31827 31834 26438 0 -1 1077944384 150499 13158 0 0 1138 14 4 3 20 0 15 0 74290036 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263523572208 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31961] ppid=31827 vsize=10918240 memory=2416 CPUtime=4.55 cores=0,2,4,6
/proc/31834/task/31961/stat : 31961 (java) S 31827 31834 26438 0 -1 1077944384 153268 13158 0 0 435 13 4 3 20 0 15 0 74290036 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263522519920 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31962] ppid=31827 vsize=10918240 memory=1134880 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31962/stat : 31962 (java) S 31827 31834 26438 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 74290036 11180277760 283720 33554432000 4194304 4196468 140732472452992 140262620613600 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31964] ppid=31827 vsize=10918240 memory=1134880 CPUtime=1.58 cores=0,2,4,6
/proc/31834/task/31964/stat : 31964 (java) S 31827 31834 26438 0 -1 1077944384 4296 13158 0 0 70 81 4 3 20 0 15 0 74290036 11180277760 283720 33554432000 4194304 4196468 140732472452992 140263521466800 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
Current children cumulated CPU time: 2512.08 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1134880 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2450.11 s]
/proc/loadavg: 1.26 1.34 1.32 4/216 32066
/proc/meminfo: memFree=10169112/32770624 swapFree=67108860/67108860
[pid=31834] ppid=31827 vsize=10918240 memory=1136928 CPUtime=2520.05 cores=0,2,4,6
/proc/31834/stat : 31834 (java) S 31827 31834 26438 0 -1 1077944320 718875 13158 0 0 251608 390 4 3 20 0 15 0 74290021 11180277760 284232 33554432000 4194304 4196468 140732472452992 140732472435536 140264100015863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
/proc/31834/statm: 2729560 284232 3535 1 0 2691213 0
[pid=31834/tid=31939] ppid=31827 vsize=10918240 memory=1136928 CPUtime=2423.55 cores=0,2,4,6
/proc/31834/task/31939/stat : 31939 (java) R 31827 31834 26438 0 -1 4202560 117959 13158 0 0 242292 56 4 3 20 0 15 0 74290030 11180277760 284232 33554432000 4194304 4196468 140732472452992 140264071850656 140263713026143 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31944] ppid=31827 vsize=10918240 memory=1136928 CPUtime=14.7 cores=0,2,4,6
/proc/31834/task/31944/stat : 31944 (java) S 31827 31834 26438 0 -1 1077944384 24248 13158 0 0 1410 53 4 3 20 0 15 0 74290031 11180277760 284232 33554432000 4194304 4196468 140732472452992 140264104258448 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31945] ppid=31827 vsize=10918240 memory=1136928 CPUtime=14.73 cores=0,2,4,6
/proc/31834/task/31945/stat : 31945 (java) S 31827 31834 26438 0 -1 1077944384 31753 13158 0 0 1414 52 4 3 20 0 15 0 74290031 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263672908560 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31946] ppid=31827 vsize=10918240 memory=1134880 CPUtime=14.69 cores=0,2,4,6
/proc/31834/task/31946/stat : 31946 (java) S 31827 31834 26438 0 -1 1077944384 23040 13158 0 0 1410 52 4 3 20 0 15 0 74290031 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263671856272 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31947] ppid=31827 vsize=10918240 memory=1134880 CPUtime=14.71 cores=0,2,4,6
/proc/31834/task/31947/stat : 31947 (java) S 31827 31834 26438 0 -1 1077944384 28825 13158 0 0 1411 53 4 3 20 0 15 0 74290031 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263670803472 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31949] ppid=31827 vsize=10918240 memory=1134880 CPUtime=8.6 cores=0,2,4,6
/proc/31834/task/31949/stat : 31949 (java) S 31827 31834 26438 0 -1 1077944384 22394 13158 0 0 804 49 4 3 20 0 15 0 74290032 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263559235696 140264100027010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31951] ppid=31827 vsize=10918240 memory=1134880 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31951/stat : 31951 (java) S 31827 31834 26438 0 -1 1077944384 51 13158 0 0 0 0 4 3 20 0 15 0 74290033 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263558181792 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31953] ppid=31827 vsize=10918240 memory=1134880 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31953/stat : 31953 (java) S 31827 31834 26438 0 -1 1077944384 18 13158 0 0 0 0 4 3 20 0 15 0 74290033 11180277760 284232 33554432000 4194304 4196468 140732472452992 140262961570944 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31955] ppid=31827 vsize=10918240 memory=1134880 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31955/stat : 31955 (java) S 31827 31834 26438 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 74290036 11180277760 284232 33554432000 4194304 4196468 140732472452992 140262654171216 140264100034459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31957] ppid=31827 vsize=10918240 memory=1134880 CPUtime=11.84 cores=0,2,4,6
/proc/31834/task/31957/stat : 31957 (java) S 31827 31834 26438 0 -1 1077944384 160330 13158 0 0 1161 16 4 3 20 0 15 0 74290036 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263524625008 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31959] ppid=31827 vsize=10918240 memory=1134880 CPUtime=11.6 cores=0,2,4,6
/proc/31834/task/31959/stat : 31959 (java) S 31827 31834 26438 0 -1 1077944384 150499 13158 0 0 1139 14 4 3 20 0 15 0 74290036 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263523572208 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31961] ppid=31827 vsize=10918240 memory=1134880 CPUtime=4.56 cores=0,2,4,6
/proc/31834/task/31961/stat : 31961 (java) S 31827 31834 26438 0 -1 1077944384 153268 13158 0 0 436 13 4 3 20 0 15 0 74290036 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263522519920 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31962] ppid=31827 vsize=10918240 memory=1136928 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31962/stat : 31962 (java) S 31827 31834 26438 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 74290036 11180277760 284232 33554432000 4194304 4196468 140732472452992 140262620613600 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31964] ppid=31827 vsize=10918240 memory=1134880 CPUtime=1.58 cores=0,2,4,6
/proc/31834/task/31964/stat : 31964 (java) S 31827 31834 26438 0 -1 1077944384 4296 13158 0 0 70 81 4 3 20 0 15 0 74290036 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263521466800 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1136928 KiB

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

[startup+2450.15 s]
# the end of solver process 31834 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.16 s, system=3.94743 s

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

[startup+2450.11 s]
/proc/loadavg: 1.26 1.34 1.32 4/216 32066
/proc/meminfo: memFree=10169112/32770624 swapFree=67108860/67108860
[pid=31834] ppid=31827 vsize=10918240 memory=1136928 CPUtime=2520.05 cores=0,2,4,6
/proc/31834/stat : 31834 (java) S 31827 31834 26438 0 -1 1077944320 718875 13158 0 0 251608 390 4 3 20 0 15 0 74290021 11180277760 284232 33554432000 4194304 4196468 140732472452992 140732472435536 140264100015863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
/proc/31834/statm: 2729560 284232 3535 1 0 2691213 0
[pid=31834/tid=31939] ppid=31827 vsize=10918240 memory=1136928 CPUtime=2423.55 cores=0,2,4,6
/proc/31834/task/31939/stat : 31939 (java) R 31827 31834 26438 0 -1 4202560 117959 13158 0 0 242292 56 4 3 20 0 15 0 74290030 11180277760 284232 33554432000 4194304 4196468 140732472452992 140264071850656 140263713026143 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31944] ppid=31827 vsize=10918240 memory=1136928 CPUtime=14.7 cores=0,2,4,6
/proc/31834/task/31944/stat : 31944 (java) S 31827 31834 26438 0 -1 1077944384 24248 13158 0 0 1410 53 4 3 20 0 15 0 74290031 11180277760 284232 33554432000 4194304 4196468 140732472452992 140264104258448 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31945] ppid=31827 vsize=10918240 memory=1136928 CPUtime=14.73 cores=0,2,4,6
/proc/31834/task/31945/stat : 31945 (java) S 31827 31834 26438 0 -1 1077944384 31753 13158 0 0 1414 52 4 3 20 0 15 0 74290031 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263672908560 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31946] ppid=31827 vsize=10918240 memory=1134880 CPUtime=14.69 cores=0,2,4,6
/proc/31834/task/31946/stat : 31946 (java) S 31827 31834 26438 0 -1 1077944384 23040 13158 0 0 1410 52 4 3 20 0 15 0 74290031 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263671856272 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31947] ppid=31827 vsize=10918240 memory=1134880 CPUtime=14.71 cores=0,2,4,6
/proc/31834/task/31947/stat : 31947 (java) S 31827 31834 26438 0 -1 1077944384 28825 13158 0 0 1411 53 4 3 20 0 15 0 74290031 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263670803472 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31949] ppid=31827 vsize=10918240 memory=1134880 CPUtime=8.6 cores=0,2,4,6
/proc/31834/task/31949/stat : 31949 (java) S 31827 31834 26438 0 -1 1077944384 22394 13158 0 0 804 49 4 3 20 0 15 0 74290032 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263559235696 140264100027010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31951] ppid=31827 vsize=10918240 memory=1134880 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31951/stat : 31951 (java) S 31827 31834 26438 0 -1 1077944384 51 13158 0 0 0 0 4 3 20 0 15 0 74290033 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263558181792 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31953] ppid=31827 vsize=10918240 memory=1134880 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31953/stat : 31953 (java) S 31827 31834 26438 0 -1 1077944384 18 13158 0 0 0 0 4 3 20 0 15 0 74290033 11180277760 284232 33554432000 4194304 4196468 140732472452992 140262961570944 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31955] ppid=31827 vsize=10918240 memory=1134880 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31955/stat : 31955 (java) S 31827 31834 26438 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 74290036 11180277760 284232 33554432000 4194304 4196468 140732472452992 140262654171216 140264100034459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31957] ppid=31827 vsize=10918240 memory=1134880 CPUtime=11.84 cores=0,2,4,6
/proc/31834/task/31957/stat : 31957 (java) S 31827 31834 26438 0 -1 1077944384 160330 13158 0 0 1161 16 4 3 20 0 15 0 74290036 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263524625008 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31959] ppid=31827 vsize=10918240 memory=1134880 CPUtime=11.6 cores=0,2,4,6
/proc/31834/task/31959/stat : 31959 (java) S 31827 31834 26438 0 -1 1077944384 150499 13158 0 0 1139 14 4 3 20 0 15 0 74290036 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263523572208 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31961] ppid=31827 vsize=10918240 memory=1134880 CPUtime=4.56 cores=0,2,4,6
/proc/31834/task/31961/stat : 31961 (java) S 31827 31834 26438 0 -1 1077944384 153268 13158 0 0 436 13 4 3 20 0 15 0 74290036 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263522519920 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31962] ppid=31827 vsize=10918240 memory=1136928 CPUtime=0.07 cores=0,2,4,6
/proc/31834/task/31962/stat : 31962 (java) S 31827 31834 26438 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 74290036 11180277760 284232 33554432000 4194304 4196468 140732472452992 140262620613600 140264100026069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
[pid=31834/tid=31964] ppid=31827 vsize=10918240 memory=1134880 CPUtime=1.58 cores=0,2,4,6
/proc/31834/task/31964/stat : 31964 (java) S 31827 31834 26438 0 -1 1077944384 4296 13158 0 0 70 81 4 3 20 0 15 0 74290036 11180277760 284232 33554432000 4194304 4196468 140732472452992 140263521466800 140264100027010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140732472457839 140732472460636 140732472460636 140732472463311 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1136928 KiB

Child status: 143
Real time (s): 2450.15
CPU time (s): 2520.11
CPU user time (s): 2516.16
CPU system time (s): 3.94743
CPU usage (%): 102.855
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 1850616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.16
system time used= 3.94743
maximum resident set size= 1855064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 732485
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= 229130
involuntary context switches= 8227


# summary of solver processes directly reported to runsolver:
#   pid: 31834
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2516.16
#   total CPU system time (s): 3.94743

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5298 second user time and 22.285 second system time

The end

Name	TravelingTournament/ TravelingTournament-a3-galaxy12_c18.xml
MD5SUM	294b097d449017f2d3f7014537fb5318
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	9651
Best CPU time to get the best result obtained on this benchmark	2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	1068
Number of constraints	3635
Number of domains	3
Minimum domain size	2
Maximum domain size	45
Distribution of domain sizes	[{"size":2,"count":528},{"size":12,"count":264},{"size":45,"count":276}]
Minimum variable degree	2
Maximum variable degree	38
Distribution of variable degrees	[{"degree":2,"count":540},{"degree":35,"count":240},{"degree":36,"count":264},{"degree":37,"count":22},{"degree":38,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	22
Distribution of constraint arities	[{"arity":2,"count":265},{"arity":3,"count":24},{"arity":4,"count":2520},{"arity":5,"count":252},{"arity":12,"count":286},{"arity":14,"count":264},{"arity":22,"count":24}]
Number of extensional constraints	276
Number of intensional constraints	2785
Distribution of constraint types	[{"type":"extension","count":276},{"type":"intension","count":2785},{"type":"regular","count":12},{"type":"allDifferent","count":22},{"type":"cardinality","count":12},{"type":"element","count":528}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4295469

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