2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	SAT (TO)	11113	2520.12	2459.53

0.96/0.76	c Concrete v3.9.2.1532736233296 running
43.38/20.81	o 11810
44.00/21.22	o 11780
44.00/21.24	o 11747
44.00/21.27	o 11656
44.29/21.35	o 11622
49.22/25.56	o 11510
49.22/25.58	o 11438
78.64/53.52	o 11393
78.88/53.77	o 11335
81.18/55.84	o 11312
83.83/58.41	o 11279
83.83/58.44	o 11277
125.91/99.43	o 11272
126.12/99.63	o 11260
152.49/122.26	o 11226
152.59/122.39	o 11203
250.87/219.06	o 11193
298.34/265.69	o 11179
309.01/276.02	o 11113
2520.07/2459.51	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.07/2459.51		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.07/2459.51		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.07/2459.51		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.07/2459.51		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.07/2459.51		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.07/2459.51		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.07/2459.51		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.07/2459.51		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.07/2459.51		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.07/2459.51		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.07/2459.51		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.07/2459.51		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.07/2459.51		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.07/2459.51		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.07/2459.51		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.07/2459.51		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.07/2459.51		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.07/2459.51		at scala.Option.map(Option.scala:146)
2520.07/2459.51		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.07/2459.51		at concrete.MAC.mac(MAC.scala:203)
2520.07/2459.51		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.07/2459.51		at scala.util.Try$.apply(Try.scala:209)
2520.07/2459.51		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2459.51		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2459.51		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2459.51		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2459.51		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.07/2459.51		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2459.51		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2459.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2459.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2459.51		at concrete.MAC.oneRun(MAC.scala:253)
2520.07/2459.51		at concrete.MAC.nextSolution(MAC.scala:272)
2520.07/2459.51		at concrete.MAC.nextSolution(MAC.scala:355)
2520.07/2459.51		at concrete.Solver.hasNext(Solver.scala:166)
2520.07/2459.51		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.07/2459.51		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.07/2459.51		at concrete.Solver.foreach(Solver.scala:68)
2520.07/2459.51		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.07/2459.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2459.51		at scala.util.Success.map(Try.scala:209)
2520.07/2459.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2459.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.07/2459.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.07/2459.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2459.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.07/2459.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2459.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2459.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2459.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2459.51		at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2459.51		at scala.App.main(App.scala:76)
2520.07/2459.51		at scala.App.main$(App.scala:74)
2520.07/2459.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.07/2459.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2459.51	v <instantiation cost="11113">
2520.07/2459.51	v       <list>
2520.07/2459.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[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.07/2459.51	v       </list>
2520.07/2459.51	v       <values>
2520.07/2459.51	v         4 7 9 6 3 4 1 1 8 8 2 2 9 7 5 3 5 10 10 11 11 6 3 8 5 10 9 9 0 0 7 11 6 4 3 10 6 7 11 5 4 2 8 2 8 11 4 11 4 10 7 9 6 6 0 0 10 5 3 8 9 3 7 1 5 1 1 4 8 5 0 6 8 5 11 10 7 7 1 9 2 0 4 2 11 6 10 9 0 3 2 7 2 0 10 10 9 9 8 1 11 6 11 5 3 8 1 7 6 5 11 10 1 3 8 7 9 3 10 7 11 9 6 2 0 4 0 1 6 8 2 4 9 9 11 0 10 3 11 8 2 2 1 8 5 4 1 10 7 7 5 3 4 0 10 0 10 4 11 5 2 11 1 5 3 3 8 0 9 1 6 6 2 4 9 8 2 1 3 9 5 11 3 6 0 0 4 6 7 11 10 2 10 4 9 5 1 7 6 6 0 8 1 1 5 2 4 4 10 5 0 3 7 11 2 11 8 10 7 3 7 5 7 1 6 2 4 4 5 3 9 11 2 1 8 6 8 0 0 9 3 11 5 2 6 2 7 8 6 7 3 1 5 10 4 8 4 9 1 9 3 0 0 10 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 36 64 44 44 44 0 10 10 0 48 48 15 49 51 0 34 41 39 55 10 55 0 0 0 46 42 40 43 43 0 10 10 0 39 39 32 69 65 44 67 64 31 31 0 22 22 53 53 0 58 70 45 56 56 0 56 44 15 55 51 50 0 49 67 47 22 22 0 0 32 32 0 41 39 34 68 68 66 10 69 14 14 67 49 47 51 51 0 47 47 0 0 0 51 47 45 0 36 55 74 0 55 55 31 64 70 0 35 35 21 21 64 59 18 0 44 10 51 0 42 42 81 67 41 48 48 0 27 27 39 39 0 40 40 0 50 45 35 0 69 105 70 75 69 47 0 56 56 0 31 31 18 31 39 0 59 48 27 0 44 44 69 69 0 64 64 48 48 67 64 44 14 14 0 44 44 0 59 59 56 56 79 68 81 0 0 68 67 68 69 69 31 44 48 21 21 81 81 0 53 55 73 0 42 40 46 0 69 69 51 51 0 43 43 49 45 55 103 51 81 0 79 67 105 0 68 68 0 67 67 0 0 69 44 65 55 55 74 35 51 0 10 10 0 73 31 75 55 55 103 67 69 0 0 58 58 0 67 67 70 70 0 64 40 44 0 69 21 70 0 105 67 66 55 55 10
2520.07/2459.51	v       </values>
2520.07/2459.51	v     </instantiation>
2520.07/2459.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 (5564 MiB free)
  memory of node 1: 16384 MiB (9958 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304720-1534138268/watcher-4304720-1534138268 -o /tmp/evaluation-result-4304720-1534138268/solver-4304720-1534138268 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534138268-9449 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=992300577 -superng HOME/instance-4304720-1534138268.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=9477, runsolver pid=9471
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 1.18 1.78 1.97 4/190 9576
/proc/meminfo: memFree=15892856/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=425712 memory=5612 CPUtime=0.07 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 2562 12889 0 2 0 0 4 3 20 0 2 0 231390060 435929088 1403 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 106428 1403 1064 1 0 95339 0
[pid=9477/tid=9583] ppid=9471 vsize=425712 memory=-2899909650764262549 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9583/stat : 9583 (java) S 9471 9477 8231 0 -1 1077944384 405 12889 0 2 0 0 4 3 20 0 2 0 231390070 435929088 1915 33554432000 4194304 4196468 140722513457280 139947715004832 139947743173250 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 425712 KiB
Current children cumulated memory: 5612 KiB

[startup+0.210547 s]*
/proc/loadavg: 1.18 1.78 1.97 4/216 9610
/proc/meminfo: memFree=15839216/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=10982744 memory=41048 CPUtime=0.23 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 6917 12889 0 2 15 1 4 3 20 0 15 0 231390060 11246329856 10262 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 2745686 10262 2973 1 0 2708109 0
[pid=9477/tid=9583] ppid=9471 vsize=10982744 memory=7377246124687064083 CPUtime=0.16 cores=0,2,4,6
/proc/9477/task/9583/stat : 9583 (java) R 9471 9477 8231 0 -1 4202560 3463 12889 0 2 9 0 4 3 20 0 15 0 231390070 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947714959024 139947727242590 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9585] ppid=9471 vsize=10982744 memory=4211973677367561610 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9585/stat : 9585 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947747404304 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9588] ppid=9471 vsize=10982744 memory=139951162771072 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9588/stat : 9588 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947282324112 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9589] ppid=9471 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9589/stat : 9589 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947281271056 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9591] ppid=9471 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9591/stat : 9591 (java) S 9471 9477 8231 0 -1 1077944384 2 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947280218512 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9593] ppid=9471 vsize=10982744 memory=139951162771072 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9593/stat : 9593 (java) S 9471 9477 8231 0 -1 1077944384 2 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947236260592 139947743173250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9596] ppid=9471 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9596/stat : 9596 (java) S 9471 9477 8231 0 -1 1077944384 13 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246329856 10286 33554432000 4194304 4196468 140722513457280 139946543277728 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9598] ppid=9471 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9598/stat : 9598 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246329856 10286 33554432000 4194304 4196468 140722513457280 139946341950704 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9603] ppid=9471 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9603/stat : 9603 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246329856 10286 33554432000 4194304 4196468 140722513457280 139946034551248 139947743180699 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9604] ppid=9471 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9477/task/9604/stat : 9604 (java) S 9471 9477 8231 0 -1 1077944384 486 12889 0 2 1 0 4 3 20 0 15 0 231390076 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947235207408 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9605] ppid=9471 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9605/stat : 9605 (java) S 9471 9477 8231 0 -1 1077944384 139 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947234154864 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9606] ppid=9471 vsize=10982744 memory=139951162771072 CPUtime=0.1 cores=0,2,4,6
/proc/9477/task/9606/stat : 9606 (java) S 9471 9477 8231 0 -1 1077944384 613 12889 0 2 3 0 4 3 20 0 15 0 231390076 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947233101808 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9608] ppid=9471 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9608/stat : 9608 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246329856 10286 33554432000 4194304 4196468 140722513457280 139945603754336 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9610] ppid=9471 vsize=10982744 memory=139951162771072 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9610/stat : 9610 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947232050224 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41048 KiB

[startup+0.31006 s]*
/proc/loadavg: 1.18 1.78 1.97 3/216 9610
/proc/meminfo: memFree=15813168/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=10983192 memory=54260 CPUtime=0.35 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 10075 12889 0 2 26 2 4 3 20 0 15 0 231390060 11246788608 13565 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 2745798 13565 3092 1 0 2708109 0
[pid=9477/tid=9583] ppid=9471 vsize=10983192 memory=279902079293080 CPUtime=0.27 cores=0,2,4,6
/proc/9477/task/9583/stat : 9583 (java) R 9471 9477 8231 0 -1 4202560 6600 12889 0 2 18 2 4 3 20 0 15 0 231390070 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947714974112 139947723437779 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9585] ppid=9471 vsize=10983192 memory=3977295499660704336 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9585/stat : 9585 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947747404304 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9588] ppid=9471 vsize=10983192 memory=139951162771072 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9588/stat : 9588 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947282324112 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9589] ppid=9471 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9589/stat : 9589 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947281271056 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9591] ppid=9471 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9591/stat : 9591 (java) S 9471 9477 8231 0 -1 1077944384 2 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947280218512 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9593] ppid=9471 vsize=10983192 memory=139951162771072 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9593/stat : 9593 (java) S 9471 9477 8231 0 -1 1077944384 2 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947236260592 139947743173250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9596] ppid=9471 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9596/stat : 9596 (java) S 9471 9477 8231 0 -1 1077944384 13 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246788608 13565 33554432000 4194304 4196468 140722513457280 139946543277728 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9598] ppid=9471 vsize=10983192 memory=139951162771072 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9598/stat : 9598 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246788608 13565 33554432000 4194304 4196468 140722513457280 139946341950704 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9603] ppid=9471 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9603/stat : 9603 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246788608 13565 33554432000 4194304 4196468 140722513457280 139946034551248 139947743180699 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9604] ppid=9471 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9477/task/9604/stat : 9604 (java) S 9471 9477 8231 0 -1 1077944384 486 12889 0 2 2 0 4 3 20 0 15 0 231390076 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947235207408 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9605] ppid=9471 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9605/stat : 9605 (java) S 9471 9477 8231 0 -1 1077944384 142 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947234154864 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9606] ppid=9471 vsize=10983192 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/9477/task/9606/stat : 9606 (java) S 9471 9477 8231 0 -1 1077944384 624 12889 0 2 4 0 4 3 20 0 15 0 231390076 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947233101808 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9608] ppid=9471 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9608/stat : 9608 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246788608 13565 33554432000 4194304 4196468 140722513457280 139945603754336 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9610] ppid=9471 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9610/stat : 9610 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947232050224 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54260 KiB

[startup+0.700701 s]
/proc/loadavg: 1.18 1.78 1.97 4/216 9610
/proc/meminfo: memFree=15790824/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=10983192 memory=88496 CPUtime=0.96 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 16734 12889 0 2 84 5 4 3 20 0 15 0 231390060 11246788608 22124 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 2745798 22124 3247 1 0 2708109 0
[pid=9477/tid=9583] ppid=9471 vsize=10983192 memory=4 CPUtime=0.64 cores=0,2,4,6
/proc/9477/task/9583/stat : 9583 (java) R 9471 9477 8231 0 -1 4202560 12111 12889 0 2 54 3 4 3 20 0 15 0 231390070 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947714976000 139947728327758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9585] ppid=9471 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9585/stat : 9585 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947747404304 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9588] ppid=9471 vsize=10983192 memory=30 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9588/stat : 9588 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947282324112 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9589] ppid=9471 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9589/stat : 9589 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947281271056 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9591] ppid=9471 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9591/stat : 9591 (java) S 9471 9477 8231 0 -1 1077944384 2 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947280218512 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9593] ppid=9471 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9593/stat : 9593 (java) S 9471 9477 8231 0 -1 1077944384 5 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947236260592 139947743173250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9596] ppid=9471 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9596/stat : 9596 (java) S 9471 9477 8231 0 -1 1077944384 13 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246788608 22124 33554432000 4194304 4196468 140722513457280 139946543277728 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9598] ppid=9471 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9598/stat : 9598 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246788608 22124 33554432000 4194304 4196468 140722513457280 139946341950704 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9603] ppid=9471 vsize=10983192 memory=7382 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9603/stat : 9603 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246788608 22124 33554432000 4194304 4196468 140722513457280 139946034551248 139947743180699 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9604] ppid=9471 vsize=10983192 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/9477/task/9604/stat : 9604 (java) S 9471 9477 8231 0 -1 1077944384 866 12889 0 2 7 0 4 3 20 0 15 0 231390076 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947235207408 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9605] ppid=9471 vsize=10983192 memory=7020451463943145097 CPUtime=0.15 cores=0,2,4,6
/proc/9477/task/9605/stat : 9605 (java) S 9471 9477 8231 0 -1 1077944384 846 12889 0 2 8 0 4 3 20 0 15 0 231390076 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947234154864 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9606] ppid=9471 vsize=10983192 memory=5931329019416957801 CPUtime=0.2 cores=0,2,4,6
/proc/9477/task/9606/stat : 9606 (java) S 9471 9477 8231 0 -1 1077944384 685 12889 0 2 13 0 4 3 20 0 15 0 231390076 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947233101808 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9608] ppid=9471 vsize=10983192 memory=7306334383744505449 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9608/stat : 9608 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246788608 22124 33554432000 4194304 4196468 140722513457280 139945603754336 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9610] ppid=9471 vsize=10983192 memory=7588684550706915689 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9610/stat : 9610 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947232050224 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88496 KiB

[startup+1.50122 s]
/proc/loadavg: 1.18 1.78 1.97 6/216 9610
/proc/meminfo: memFree=15682528/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=10993996 memory=179224 CPUtime=3.02 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 24571 12889 0 2 283 12 4 3 20 0 15 0 231390060 11257851904 44806 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 2748499 44806 3448 1 0 2710157 0
[pid=9477/tid=9583] ppid=9471 vsize=10993996 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/9477/task/9583/stat : 9583 (java) R 9471 9477 8231 0 -1 4202560 15958 12889 0 2 128 9 4 3 20 0 15 0 231390070 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947714992672 139947728848380 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9585] ppid=9471 vsize=10993996 memory=102284 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9585/stat : 9585 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947747404304 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9588] ppid=9471 vsize=10993996 memory=4428317441987532369 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9588/stat : 9588 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947282324112 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9589] ppid=9471 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9589/stat : 9589 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947281271056 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9591] ppid=9471 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9591/stat : 9591 (java) S 9471 9477 8231 0 -1 1077944384 2 12889 0 2 0 0 4 3 20 0 15 0 231390071 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947280218512 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9593] ppid=9471 vsize=10993996 memory=3892 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9593/stat : 9593 (java) S 9471 9477 8231 0 -1 1077944384 14 12889 0 2 0 0 4 3 20 0 15 0 231390073 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947236260592 139947743173250 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9596] ppid=9471 vsize=10993996 memory=62892 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9596/stat : 9596 (java) S 9471 9477 8231 0 -1 1077944384 13 12889 0 2 0 0 4 3 20 0 15 0 231390073 11257851904 44806 33554432000 4194304 4196468 140722513457280 139946543277728 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9598] ppid=9471 vsize=10993996 memory=1220 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9598/stat : 9598 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390073 11257851904 44806 33554432000 4194304 4196468 140722513457280 139946341950704 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9603] ppid=9471 vsize=10993996 memory=2380 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9603/stat : 9603 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11257851904 44806 33554432000 4194304 4196468 140722513457280 139946034551248 139947743180699 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9604] ppid=9471 vsize=10993996 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/9477/task/9604/stat : 9604 (java) R 9471 9477 8231 0 -1 4202560 2727 12889 0 2 54 0 4 3 20 0 15 0 231390076 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947235193288 139947724681833 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9605] ppid=9471 vsize=10993996 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/9477/task/9605/stat : 9605 (java) R 9471 9477 8231 0 -1 4202560 1957 12889 0 2 53 1 4 3 20 0 15 0 231390076 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947234136400 139947723861640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9606] ppid=9471 vsize=10993996 memory=4580 CPUtime=0.53 cores=0,2,4,6
/proc/9477/task/9606/stat : 9606 (java) S 9471 9477 8231 0 -1 1077944384 1693 12889 0 2 46 0 4 3 20 0 15 0 231390076 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947233101808 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9608] ppid=9471 vsize=10993996 memory=7151823137606232934 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9608/stat : 9608 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11257851904 44806 33554432000 4194304 4196468 140722513457280 139945603754336 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9610] ppid=9471 vsize=10993996 memory=11477719932 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9610/stat : 9610 (java) S 9471 9477 8231 0 -1 1077944384 2 12889 0 2 0 0 4 3 20 0 15 0 231390076 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947232050224 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 10993996 KiB
Current children cumulated memory: 179224 KiB

[startup+3.11048 s]
/proc/loadavg: 1.33 1.80 1.98 11/216 9610
/proc/meminfo: memFree=15403308/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=11006304 memory=254012 CPUtime=6.94 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 43079 12889 0 2 668 19 4 3 20 0 15 0 231390060 11270455296 63503 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 2751576 63503 3498 1 0 2713229 0

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

/proc/9477/task/9583/stat : 9583 (java) R 9471 9477 8231 0 -1 4202560 213915 12889 0 2 236797 69 4 3 20 0 15 0 231390070 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947714996576 139947299457954 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9585] ppid=9471 vsize=11082080 memory=1377140 CPUtime=11.12 cores=0,2,4,6
/proc/9477/task/9585/stat : 9585 (java) S 9471 9477 8231 0 -1 1077944384 37509 12889 0 2 1053 52 4 3 20 0 15 0 231390071 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947747404304 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9588] ppid=9471 vsize=11082080 memory=1377140 CPUtime=11.16 cores=0,2,4,6
/proc/9477/task/9588/stat : 9588 (java) S 9471 9477 8231 0 -1 1077944384 29316 12889 0 2 1059 50 4 3 20 0 15 0 231390071 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947282324112 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9589] ppid=9471 vsize=11082080 memory=279902080414400 CPUtime=11.15 cores=0,2,4,6
/proc/9477/task/9589/stat : 9589 (java) S 9471 9477 8231 0 -1 1077944384 18324 12889 0 2 1059 49 4 3 20 0 15 0 231390071 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947281271056 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9591] ppid=9471 vsize=11082080 memory=1377012 CPUtime=11.17 cores=0,2,4,6
/proc/9477/task/9591/stat : 9591 (java) S 9471 9477 8231 0 -1 1077944384 28179 12889 0 2 1058 52 4 3 20 0 15 0 231390071 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947280218512 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9593] ppid=9471 vsize=11082080 memory=1377012 CPUtime=1.39 cores=0,2,4,6
/proc/9477/task/9593/stat : 9593 (java) S 9471 9477 8231 0 -1 1077944384 26348 12889 0 2 119 13 4 3 20 0 15 0 231390073 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947236260592 139947743173250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9596] ppid=9471 vsize=11082080 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9596/stat : 9596 (java) S 9471 9477 8231 0 -1 1077944384 21 12889 0 2 0 0 4 3 20 0 15 0 231390073 11348049920 344285 33554432000 4194304 4196468 140722513457280 139946543277856 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9598] ppid=9471 vsize=11082080 memory=1377012 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9598/stat : 9598 (java) S 9471 9477 8231 0 -1 1077944384 20 12889 0 2 0 0 4 3 20 0 15 0 231390073 11348049920 344285 33554432000 4194304 4196468 140722513457280 139946341950720 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9603] ppid=9471 vsize=11082080 memory=1920 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9603/stat : 9603 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11348049920 344285 33554432000 4194304 4196468 140722513457280 139946034551248 139947743180699 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9604] ppid=9471 vsize=11082080 memory=7892 CPUtime=11.24 cores=0,2,4,6
/proc/9477/task/9604/stat : 9604 (java) S 9471 9477 8231 0 -1 1077944384 77883 12889 0 2 1110 7 4 3 20 0 15 0 231390076 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947235207408 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9605] ppid=9471 vsize=11082080 memory=1377140 CPUtime=10.92 cores=0,2,4,6
/proc/9477/task/9605/stat : 9605 (java) S 9471 9477 8231 0 -1 1077944384 82888 12889 0 2 1077 8 4 3 20 0 15 0 231390076 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947234154864 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9606] ppid=9471 vsize=11082080 memory=1377140 CPUtime=3.78 cores=0,2,4,6
/proc/9477/task/9606/stat : 9606 (java) S 9471 9477 8231 0 -1 1077944384 74847 12889 0 2 363 8 4 3 20 0 15 0 231390076 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947233101808 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9608] ppid=9471 vsize=11082080 memory=1377140 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9608/stat : 9608 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11348049920 344285 33554432000 4194304 4196468 140722513457280 139945603754336 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9610] ppid=9471 vsize=11082080 memory=3892 CPUtime=1.29 cores=0,2,4,6
/proc/9477/task/9610/stat : 9610 (java) S 9471 9477 8231 0 -1 1077944384 2524 12889 0 2 63 59 4 3 20 0 15 0 231390076 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947232050224 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 2441.42 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1377140 KiB

[startup+2442.3 s]
/proc/loadavg: 1.60 1.57 1.61 4/215 9704
/proc/meminfo: memFree=12288388/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=11082080 memory=1377752 CPUtime=2502.55 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 597368 12889 0 2 249890 358 4 3 20 0 15 0 231390060 11348049920 344438 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 2770520 344438 3534 1 0 2732173 0
[pid=9477/tid=9583] ppid=9471 vsize=11082080 memory=2380 CPUtime=2428.26 cores=0,2,4,6
/proc/9477/task/9583/stat : 9583 (java) R 9471 9477 8231 0 -1 4202560 214726 12889 0 2 242749 70 4 3 20 0 15 0 231390070 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947714996224 139947299457954 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9585] ppid=9471 vsize=11082080 memory=1377752 CPUtime=11.49 cores=0,2,4,6
/proc/9477/task/9585/stat : 9585 (java) S 9471 9477 8231 0 -1 1077944384 37661 12889 0 2 1090 52 4 3 20 0 15 0 231390071 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947747404304 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9588] ppid=9471 vsize=11082080 memory=1377752 CPUtime=11.53 cores=0,2,4,6
/proc/9477/task/9588/stat : 9588 (java) S 9471 9477 8231 0 -1 1077944384 29952 12889 0 2 1096 50 4 3 20 0 15 0 231390071 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947282324112 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9589] ppid=9471 vsize=11082080 memory=1377752 CPUtime=11.53 cores=0,2,4,6
/proc/9477/task/9589/stat : 9589 (java) S 9471 9477 8231 0 -1 1077944384 18528 12889 0 2 1096 50 4 3 20 0 15 0 231390071 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947281271056 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9591] ppid=9471 vsize=11082080 memory=1377752 CPUtime=11.53 cores=0,2,4,6
/proc/9477/task/9591/stat : 9591 (java) S 9471 9477 8231 0 -1 1077944384 28532 12889 0 2 1094 52 4 3 20 0 15 0 231390071 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947280218512 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9593] ppid=9471 vsize=11082080 memory=1377752 CPUtime=1.45 cores=0,2,4,6
/proc/9477/task/9593/stat : 9593 (java) S 9471 9477 8231 0 -1 1077944384 26601 12889 0 2 125 13 4 3 20 0 15 0 231390073 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947236260592 139947743173250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9596] ppid=9471 vsize=11082080 memory=1377752 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9596/stat : 9596 (java) S 9471 9477 8231 0 -1 1077944384 21 12889 0 2 0 0 4 3 20 0 15 0 231390073 11348049920 344438 33554432000 4194304 4196468 140722513457280 139946543277856 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9598] ppid=9471 vsize=11082080 memory=3848 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9598/stat : 9598 (java) S 9471 9477 8231 0 -1 1077944384 20 12889 0 2 0 0 4 3 20 0 15 0 231390073 11348049920 344438 33554432000 4194304 4196468 140722513457280 139946341950720 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9603] ppid=9471 vsize=11082080 memory=1377752 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9603/stat : 9603 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11348049920 344438 33554432000 4194304 4196468 140722513457280 139946034551248 139947743180699 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9604] ppid=9471 vsize=11082080 memory=1377752 CPUtime=11.26 cores=0,2,4,6
/proc/9477/task/9604/stat : 9604 (java) S 9471 9477 8231 0 -1 1077944384 78484 12889 0 2 1112 7 4 3 20 0 15 0 231390076 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947235207408 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9605] ppid=9471 vsize=11082080 memory=1377752 CPUtime=10.92 cores=0,2,4,6
/proc/9477/task/9605/stat : 9605 (java) S 9471 9477 8231 0 -1 1077944384 83036 12889 0 2 1077 8 4 3 20 0 15 0 231390076 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947234154864 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9606] ppid=9471 vsize=11082080 memory=3892 CPUtime=3.79 cores=0,2,4,6
/proc/9477/task/9606/stat : 9606 (java) S 9471 9477 8231 0 -1 1077944384 75064 12889 0 2 364 8 4 3 20 0 15 0 231390076 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947233101808 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9608] ppid=9471 vsize=11082080 memory=1377752 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9608/stat : 9608 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11348049920 344438 33554432000 4194304 4196468 140722513457280 139945603754336 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9610] ppid=9471 vsize=11082080 memory=1377752 CPUtime=1.33 cores=0,2,4,6
/proc/9477/task/9610/stat : 9610 (java) S 9471 9477 8231 0 -1 1077944384 2542 12889 0 2 65 61 4 3 20 0 15 0 231390076 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947232050224 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 2502.55 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1377752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2459.5 s]
/proc/loadavg: 1.56 1.56 1.61 4/215 9704
/proc/meminfo: memFree=12284292/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=11082080 memory=1377828 CPUtime=2520.07 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 598927 12889 0 2 251641 359 4 3 20 0 15 0 231390060 11348049920 344457 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 2770520 344457 3534 1 0 2732173 0
[pid=9477/tid=9583] ppid=9471 vsize=11082080 memory=1377808 CPUtime=2445.31 cores=0,2,4,6
/proc/9477/task/9583/stat : 9583 (java) R 9471 9477 8231 0 -1 4202560 215004 12889 0 2 244454 70 4 3 20 0 15 0 231390070 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947714997072 139947321555618 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9585] ppid=9471 vsize=11082080 memory=1377828 CPUtime=11.59 cores=0,2,4,6
/proc/9477/task/9585/stat : 9585 (java) S 9471 9477 8231 0 -1 1077944384 38000 12889 0 2 1100 52 4 3 20 0 15 0 231390071 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947747404304 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9588] ppid=9471 vsize=11082080 memory=1377828 CPUtime=11.63 cores=0,2,4,6
/proc/9477/task/9588/stat : 9588 (java) S 9471 9477 8231 0 -1 1077944384 30163 12889 0 2 1106 50 4 3 20 0 15 0 231390071 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947282324112 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9589] ppid=9471 vsize=11082080 memory=1377828 CPUtime=11.63 cores=0,2,4,6
/proc/9477/task/9589/stat : 9589 (java) S 9471 9477 8231 0 -1 1077944384 18665 12889 0 2 1106 50 4 3 20 0 15 0 231390071 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947281271056 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9591] ppid=9471 vsize=11082080 memory=122 CPUtime=11.65 cores=0,2,4,6
/proc/9477/task/9591/stat : 9591 (java) S 9471 9477 8231 0 -1 1077944384 28802 12889 0 2 1105 53 4 3 20 0 15 0 231390071 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947280218512 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9593] ppid=9471 vsize=11082080 memory=1377828 CPUtime=1.47 cores=0,2,4,6
/proc/9477/task/9593/stat : 9593 (java) S 9471 9477 8231 0 -1 1077944384 26784 12889 0 2 127 13 4 3 20 0 15 0 231390073 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947236260592 139947743173250 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9596] ppid=9471 vsize=11082080 memory=279902079728688 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9596/stat : 9596 (java) S 9471 9477 8231 0 -1 1077944384 21 12889 0 2 0 0 4 3 20 0 15 0 231390073 11348049920 344457 33554432000 4194304 4196468 140722513457280 139946543277856 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9598] ppid=9471 vsize=11082080 memory=279902080279040 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9598/stat : 9598 (java) S 9471 9477 8231 0 -1 1077944384 20 12889 0 2 0 0 4 3 20 0 15 0 231390073 11348049920 344457 33554432000 4194304 4196468 140722513457280 139946341950720 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9603] ppid=9471 vsize=11082080 memory=8564 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9603/stat : 9603 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139946034551248 139947743180699 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9604] ppid=9471 vsize=11082080 memory=1800 CPUtime=11.26 cores=0,2,4,6
/proc/9477/task/9604/stat : 9604 (java) S 9471 9477 8231 0 -1 1077944384 78486 12889 0 2 1112 7 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947235207408 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9605] ppid=9471 vsize=11082080 memory=55 CPUtime=10.93 cores=0,2,4,6
/proc/9477/task/9605/stat : 9605 (java) S 9471 9477 8231 0 -1 1077944384 83119 12889 0 2 1078 8 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947234154864 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9606] ppid=9471 vsize=11082080 memory=6297835844906604903 CPUtime=3.79 cores=0,2,4,6
/proc/9477/task/9606/stat : 9606 (java) S 9471 9477 8231 0 -1 1077944384 75105 12889 0 2 364 8 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947233101808 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9608] ppid=9471 vsize=11082080 memory=3892 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9608/stat : 9608 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139945603754336 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9610] ppid=9471 vsize=11082080 memory=62960 CPUtime=1.33 cores=0,2,4,6
/proc/9477/task/9610/stat : 9610 (java) S 9471 9477 8231 0 -1 1077944384 2557 12889 0 2 65 61 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947232050224 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1377828 KiB

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

[startup+2459.53 s]
# the end of solver process 9477 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.48 s, system=3.64134 s

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

[startup+2459.5 s]
/proc/loadavg: 1.56 1.56 1.61 4/215 9704
/proc/meminfo: memFree=12284292/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=11082080 memory=1377828 CPUtime=2520.07 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 598927 12889 0 2 251641 359 4 3 20 0 15 0 231390060 11348049920 344457 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 2770520 344457 3534 1 0 2732173 0
[pid=9477/tid=9583] ppid=9471 vsize=11082080 memory=1377808 CPUtime=2445.31 cores=0,2,4,6
/proc/9477/task/9583/stat : 9583 (java) R 9471 9477 8231 0 -1 4202560 215004 12889 0 2 244454 70 4 3 20 0 15 0 231390070 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947714997072 139947321555618 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9585] ppid=9471 vsize=11082080 memory=1377828 CPUtime=11.59 cores=0,2,4,6
/proc/9477/task/9585/stat : 9585 (java) S 9471 9477 8231 0 -1 1077944384 38000 12889 0 2 1100 52 4 3 20 0 15 0 231390071 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947747404304 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9588] ppid=9471 vsize=11082080 memory=1377828 CPUtime=11.63 cores=0,2,4,6
/proc/9477/task/9588/stat : 9588 (java) S 9471 9477 8231 0 -1 1077944384 30163 12889 0 2 1106 50 4 3 20 0 15 0 231390071 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947282324112 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9589] ppid=9471 vsize=11082080 memory=1377828 CPUtime=11.63 cores=0,2,4,6
/proc/9477/task/9589/stat : 9589 (java) S 9471 9477 8231 0 -1 1077944384 18665 12889 0 2 1106 50 4 3 20 0 15 0 231390071 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947281271056 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9591] ppid=9471 vsize=11082080 memory=122 CPUtime=11.65 cores=0,2,4,6
/proc/9477/task/9591/stat : 9591 (java) S 9471 9477 8231 0 -1 1077944384 28802 12889 0 2 1105 53 4 3 20 0 15 0 231390071 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947280218512 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9593] ppid=9471 vsize=11082080 memory=1377828 CPUtime=1.47 cores=0,2,4,6
/proc/9477/task/9593/stat : 9593 (java) S 9471 9477 8231 0 -1 1077944384 26784 12889 0 2 127 13 4 3 20 0 15 0 231390073 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947236260592 139947743173250 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9596] ppid=9471 vsize=11082080 memory=279902079728688 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9596/stat : 9596 (java) S 9471 9477 8231 0 -1 1077944384 21 12889 0 2 0 0 4 3 20 0 15 0 231390073 11348049920 344457 33554432000 4194304 4196468 140722513457280 139946543277856 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9598] ppid=9471 vsize=11082080 memory=279902080279040 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9598/stat : 9598 (java) S 9471 9477 8231 0 -1 1077944384 20 12889 0 2 0 0 4 3 20 0 15 0 231390073 11348049920 344457 33554432000 4194304 4196468 140722513457280 139946341950720 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9603] ppid=9471 vsize=11082080 memory=8564 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9603/stat : 9603 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139946034551248 139947743180699 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9604] ppid=9471 vsize=11082080 memory=1800 CPUtime=11.26 cores=0,2,4,6
/proc/9477/task/9604/stat : 9604 (java) S 9471 9477 8231 0 -1 1077944384 78486 12889 0 2 1112 7 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947235207408 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9605] ppid=9471 vsize=11082080 memory=55 CPUtime=10.93 cores=0,2,4,6
/proc/9477/task/9605/stat : 9605 (java) S 9471 9477 8231 0 -1 1077944384 83119 12889 0 2 1078 8 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947234154864 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9606] ppid=9471 vsize=11082080 memory=6297835844906604903 CPUtime=3.79 cores=0,2,4,6
/proc/9477/task/9606/stat : 9606 (java) S 9471 9477 8231 0 -1 1077944384 75105 12889 0 2 364 8 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947233101808 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9608] ppid=9471 vsize=11082080 memory=3892 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9608/stat : 9608 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139945603754336 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9610] ppid=9471 vsize=11082080 memory=62960 CPUtime=1.33 cores=0,2,4,6
/proc/9477/task/9610/stat : 9610 (java) S 9471 9477 8231 0 -1 1077944384 2557 12889 0 2 65 61 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947232050224 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1377828 KiB

Child status: 143
Real time (s): 2459.53
CPU time (s): 2520.12
CPU user time (s): 2516.48
CPU system time (s): 3.64134
CPU usage (%): 102.464
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 3518232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.48
system time used= 3.64134
maximum resident set size= 3518244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 612834
page faults= 2
swaps= 0
block input operations= 216
block output operations= 3408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88629
involuntary context switches= 4777


# summary of solver processes directly reported to runsolver:
#   pid: 9477
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.48
#   total CPU system time (s): 3.64134

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4609 second user time and 22.4314 second system time

The end

Name	TravelingTournament/ TravelingTournament-a2-galaxy12_c18.xml
MD5SUM	69fcc0210e9a5c86649ea22552bf9d3d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	10735
Best CPU time to get the best result obtained on this benchmark	2520.05
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 4304720

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