2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	10735	2520.05	2451.63

0.99/0.74	c Concrete v3.9.2.1532736233296 running
42.34/21.93	o 11625
42.63/22.10	o 11612
45.50/24.35	o 11563
45.83/24.56	o 11520
45.83/24.58	o 11507
46.30/24.86	o 11499
47.10/25.53	o 11425
47.48/25.87	o 11423
51.41/29.50	o 11320
52.52/30.51	o 11213
62.09/39.62	o 11187
62.80/40.35	o 11160
62.80/40.36	o 11152
270.34/245.19	o 11110
272.15/246.92	o 10965
273.17/247.97	o 10909
282.33/256.91	o 10815
1350.78/1304.96	o 10798
1350.89/1305.09	o 10766
1449.27/1401.57	o 10765
1449.48/1401.70	o 10735
2520.00/2451.61	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.00/2451.61		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.00/2451.61		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.00/2451.61		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.00/2451.61		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.00/2451.61		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.00/2451.61		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.00/2451.61		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.00/2451.61		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.00/2451.61		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.00/2451.61		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.00/2451.61		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.00/2451.61		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.00/2451.61		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.00/2451.61		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.00/2451.61		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.00/2451.61		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.00/2451.61		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.00/2451.61		at scala.Option.map(Option.scala:146)
2520.00/2451.61		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.00/2451.61		at concrete.MAC.mac(MAC.scala:203)
2520.00/2451.61		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.00/2451.61		at scala.util.Try$.apply(Try.scala:209)
2520.00/2451.61		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.00/2451.61		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.00/2451.61		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.00/2451.61		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.00/2451.61		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.00/2451.61		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.00/2451.61		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.00/2451.61		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.00/2451.61		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.00/2451.61		at concrete.MAC.oneRun(MAC.scala:253)
2520.00/2451.61		at concrete.MAC.nextSolution(MAC.scala:272)
2520.00/2451.61		at concrete.MAC.nextSolution(MAC.scala:355)
2520.00/2451.61		at concrete.Solver.hasNext(Solver.scala:166)
2520.00/2451.61		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.00/2451.61		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.00/2451.61		at concrete.Solver.foreach(Solver.scala:68)
2520.00/2451.61		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.00/2451.61		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.00/2451.61		at scala.util.Success.map(Try.scala:209)
2520.00/2451.61		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.00/2451.61		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.00/2451.61		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.00/2451.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.00/2451.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.00/2451.61		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.00/2451.61		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.00/2451.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.00/2451.61		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.00/2451.61		at scala.collection.immutable.List.foreach(List.scala:389)
2520.00/2451.61		at scala.App.main(App.scala:76)
2520.00/2451.61		at scala.App.main$(App.scala:74)
2520.00/2451.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.00/2451.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.00/2451.61	v <instantiation cost="10735">
2520.00/2451.61	v       <list>
2520.00/2451.61	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.00/2451.61	v       </list>
2520.00/2451.61	v       <values>
2520.00/2451.61	v         6 10 4 8 6 8 3 1 5 2 3 11 4 5 1 2 7 7 9 9 10 11 8 6 9 2 10 7 6 0 9 5 5 7 3 11 0 11 4 3 2 10 8 4 4 9 10 1 3 10 5 8 7 0 11 6 6 4 8 0 3 11 1 5 9 7 10 7 7 5 2 4 0 9 4 10 0 5 1 8 6 9 2 1 6 11 11 8 2 5 0 10 11 3 8 6 3 6 9 9 0 2 11 7 1 10 7 8 5 1 9 4 8 3 8 6 2 7 0 1 1 3 7 0 9 10 11 6 11 2 4 10 0 1 11 11 0 5 1 4 8 4 10 2 2 9 3 8 10 5 3 7 7 9 11 3 3 9 9 1 11 5 2 8 8 1 5 10 10 4 0 0 4 6 6 2 1 11 5 0 5 0 4 2 6 7 7 10 11 3 2 6 9 9 10 4 1 3 5 2 1 7 7 11 10 3 1 11 4 4 10 6 5 3 8 8 0 0 2 6 3 0 2 4 1 2 9 11 11 3 6 8 9 7 7 5 6 4 8 1 0 5 7 8 6 6 4 9 7 10 10 9 2 0 8 1 4 1 5 2 5 3 3 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 1 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 36 36 44 31 48 10 10 0 34 34 0 39 39 15 15 44 79 51 55 10 55 46 31 39 22 22 44 44 0 43 43 40 40 0 64 55 10 0 32 32 65 65 31 31 0 49 103 55 47 47 50 50 0 15 15 56 56 45 21 53 0 58 64 22 0 56 56 0 14 14 41 41 51 36 34 0 69 69 0 32 46 68 67 49 47 47 47 66 66 0 45 45 0 74 10 70 0 18 47 51 55 55 36 36 0 64 44 31 0 21 42 35 0 81 55 35 0 42 31 27 0 39 10 40 41 14 48 0 51 10 44 0 50 50 0 0 44 44 0 70 70 0 39 39 31 21 18 0 56 56 47 47 75 51 27 0 59 79 69 67 67 14 14 79 79 0 48 50 56 81 46 44 69 69 0 44 44 64 18 59 0 0 0 0 42 39 48 0 21 45 53 81 81 73 10 69 0 31 31 68 68 0 46 32 68 0 0 43 44 79 0 103 69 67 105 105 55 55 69 27 81 68 68 0 51 15 49 0 69 34 55 0 65 22 55 10 10 0 75 75 103 103 69 69 0 74 21 73 0 51 51 0 69 31 70 0 105 79 67 10 10 58 15 55 0 70 31 64 0 44 41 66 0 0
2520.00/2451.61	v       </values>
2520.00/2451.61	v     </instantiation>
2520.00/2451.61	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 (13374 MiB free)
  memory of node 1: 16384 MiB (13460 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304719-1534130115/watcher-4304719-1534130115 -o /tmp/evaluation-result-4304719-1534130115/solver-4304719-1534130115 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534099504-1960 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1902358418 HOME/instance-4304719-1534130115.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=8274, runsolver pid=8271

[startup+0.100194 s]*
/proc/loadavg: 1.37 1.35 1.35 3/202 8327
/proc/meminfo: memFree=27474736/32770624 swapFree=67108804/67108860
[pid=8274] ppid=8271 vsize=10005480 memory=16284 CPUtime=0.09 cores=0,2,4,6
/proc/8274/stat : 8274 (java) S 8271 8274 1929 0 -1 1077944320 4249 12910 0 0 1 0 5 3 20 0 6 0 230574657 10245611520 4071 33554432000 4194304 4196468 140736154598944 140736154581488 140625690799863 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
/proc/8274/statm: 2501370 4071 1919 1 0 2489808 0
[pid=8274/tid=8327] ppid=8271 vsize=10005480 memory=-8457887388494249923 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8327/stat : 8327 (java) R 8271 8274 1929 0 -1 4202560 2094 12910 0 0 0 0 5 3 20 0 6 0 230574666 10245611520 4137 33554432000 4194304 4196468 140736154598944 140625662636624 140625674880350 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8328] ppid=8271 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8328/stat : 8328 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 6 0 230574667 10245611520 4137 33554432000 4194304 4196468 140736154598944 140625695042448 140625690810069 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8329] ppid=8271 vsize=10005480 memory=139755789092480 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8329/stat : 8329 (java) S 8271 8274 1929 0 -1 1077944384 2 12910 0 0 0 0 5 3 20 0 6 0 230574667 10245611520 4137 33554432000 4194304 4196468 140736154598944 140625560378128 140625690810069 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8330] ppid=8271 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8330/stat : 8330 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 6 0 230574667 10245611520 4137 33554432000 4194304 4196468 140736154598944 140625559325840 140625690810069 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8331] ppid=8271 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8331/stat : 8331 (java) S 8271 8274 1929 0 -1 1077944384 2 12910 0 0 0 0 5 3 20 0 6 0 230574667 10245611520 4137 33554432000 4194304 4196468 140736154598944 140625558273040 140625690810069 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16284 KiB

[startup+0.209973 s]*
/proc/loadavg: 1.37 1.35 1.35 3/215 8340
/proc/meminfo: memFree=27451300/32770624 swapFree=67108804/67108860
[pid=8274] ppid=8271 vsize=10982744 memory=42544 CPUtime=0.26 cores=0,2,4,6
/proc/8274/stat : 8274 (java) S 8271 8274 1929 0 -1 1077944320 7316 12910 0 0 17 1 5 3 20 0 15 0 230574657 11246329856 10636 33554432000 4194304 4196468 140736154598944 140736154581488 140625690799863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
/proc/8274/statm: 2745686 10636 2958 1 0 2708109 0
[pid=8274/tid=8327] ppid=8271 vsize=10982744 memory=8514701219931451533 CPUtime=0.18 cores=0,2,4,6
/proc/8274/task/8327/stat : 8327 (java) R 8271 8274 1929 0 -1 4202560 4130 12910 0 0 10 0 5 3 20 0 15 0 230574666 11246329856 10834 33554432000 4194304 4196468 140736154598944 140625662595904 140625671075584 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8328] ppid=8271 vsize=10982744 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8328/stat : 8328 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 15 0 230574667 11246329856 10834 33554432000 4194304 4196468 140736154598944 140625695042448 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8329] ppid=8271 vsize=10982744 memory=139755789092480 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8329/stat : 8329 (java) S 8271 8274 1929 0 -1 1077944384 2 12910 0 0 0 0 5 3 20 0 15 0 230574667 11246329856 10900 33554432000 4194304 4196468 140736154598944 140625560378128 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8330] ppid=8271 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8330/stat : 8330 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 15 0 230574667 11246329856 10900 33554432000 4194304 4196468 140736154598944 140625559325840 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8331] ppid=8271 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8331/stat : 8331 (java) S 8271 8274 1929 0 -1 1077944384 2 12910 0 0 0 0 5 3 20 0 15 0 230574667 11246329856 10900 33554432000 4194304 4196468 140736154598944 140625558273040 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8332] ppid=8271 vsize=10982744 memory=139755789092480 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8332/stat : 8332 (java) S 8271 8274 1929 0 -1 1077944384 2 12910 0 0 0 0 5 3 20 0 15 0 230574668 11246329856 10900 33554432000 4194304 4196468 140736154598944 140625116428400 140625690811010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8333] ppid=8271 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8333/stat : 8333 (java) S 8271 8274 1929 0 -1 1077944384 13 12910 0 0 0 0 5 3 20 0 15 0 230574669 11246329856 10900 33554432000 4194304 4196468 140736154598944 140624409912096 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8334] ppid=8271 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8334/stat : 8334 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 15 0 230574669 11246329856 10900 33554432000 4194304 4196468 140736154598944 140624208585840 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8335] ppid=8271 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8335/stat : 8335 (java) S 8271 8274 1929 0 -1 1077944384 3 12910 0 0 0 0 5 3 20 0 15 0 230574672 11246329856 10900 33554432000 4194304 4196468 140736154598944 140623901186128 140625690818459 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8336] ppid=8271 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8274/task/8336/stat : 8336 (java) S 8271 8274 1929 0 -1 1077944384 540 12910 0 0 1 0 5 3 20 0 15 0 230574672 11246329856 10900 33554432000 4194304 4196468 140736154598944 140625115376240 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8337] ppid=8271 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/8274/task/8337/stat : 8337 (java) S 8271 8274 1929 0 -1 1077944384 64 12910 0 0 1 0 5 3 20 0 15 0 230574672 11246329856 10900 33554432000 4194304 4196468 140736154598944 140625114323440 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8338] ppid=8271 vsize=10982744 memory=139755789092480 CPUtime=0.11 cores=0,2,4,6
/proc/8274/task/8338/stat : 8338 (java) S 8271 8274 1929 0 -1 1077944384 611 12910 0 0 3 0 5 3 20 0 15 0 230574672 11246329856 10900 33554432000 4194304 4196468 140736154598944 140625113271152 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8339] ppid=8271 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8339/stat : 8339 (java) S 8271 8274 1929 0 -1 1077944384 3 12910 0 0 0 0 5 3 20 0 15 0 230574672 11246329856 10900 33554432000 4194304 4196468 140736154598944 140623470390240 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8340] ppid=8271 vsize=10982744 memory=139755789092480 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8340/stat : 8340 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 15 0 230574672 11246329856 10966 33554432000 4194304 4196468 140736154598944 140625112218032 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42544 KiB

[startup+0.310337 s]*
/proc/loadavg: 1.37 1.35 1.35 3/215 8340
/proc/meminfo: memFree=27438028/32770624 swapFree=67108804/67108860
[pid=8274] ppid=8271 vsize=10983192 memory=56252 CPUtime=0.38 cores=0,2,4,6
/proc/8274/stat : 8274 (java) S 8271 8274 1929 0 -1 1077944320 10565 12910 0 0 28 2 5 3 20 0 15 0 230574657 11246788608 14063 33554432000 4194304 4196468 140736154598944 140736154581488 140625690799863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
/proc/8274/statm: 2745798 14063 3105 1 0 2708109 0
[pid=8274/tid=8327] ppid=8271 vsize=10983192 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/8274/task/8327/stat : 8327 (java) R 8271 8274 1929 0 -1 4202560 7128 12910 0 0 19 2 5 3 20 0 15 0 230574666 11246788608 14105 33554432000 4194304 4196468 140736154598944 140625662611872 140625674843493 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8328] ppid=8271 vsize=10983192 memory=7518021064213024848 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8328/stat : 8328 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 15 0 230574667 11246788608 14105 33554432000 4194304 4196468 140736154598944 140625695042448 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8329] ppid=8271 vsize=10983192 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8329/stat : 8329 (java) S 8271 8274 1929 0 -1 1077944384 2 12910 0 0 0 0 5 3 20 0 15 0 230574667 11246788608 14105 33554432000 4194304 4196468 140736154598944 140625560378128 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8330] ppid=8271 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8330/stat : 8330 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 15 0 230574667 11246788608 14105 33554432000 4194304 4196468 140736154598944 140625559325840 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8331] ppid=8271 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8331/stat : 8331 (java) S 8271 8274 1929 0 -1 1077944384 2 12910 0 0 0 0 5 3 20 0 15 0 230574667 11246788608 14105 33554432000 4194304 4196468 140736154598944 140625558273040 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8332] ppid=8271 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8332/stat : 8332 (java) S 8271 8274 1929 0 -1 1077944384 2 12910 0 0 0 0 5 3 20 0 15 0 230574668 11246788608 14105 33554432000 4194304 4196468 140736154598944 140625116428400 140625690811010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8333] ppid=8271 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8333/stat : 8333 (java) S 8271 8274 1929 0 -1 1077944384 13 12910 0 0 0 0 5 3 20 0 15 0 230574669 11246788608 14105 33554432000 4194304 4196468 140736154598944 140624409912096 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8334] ppid=8271 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8334/stat : 8334 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 15 0 230574669 11246788608 14105 33554432000 4194304 4196468 140736154598944 140624208585840 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8335] ppid=8271 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8335/stat : 8335 (java) S 8271 8274 1929 0 -1 1077944384 3 12910 0 0 0 0 5 3 20 0 15 0 230574672 11246788608 14105 33554432000 4194304 4196468 140736154598944 140623901186128 140625690818459 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8336] ppid=8271 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8274/task/8336/stat : 8336 (java) S 8271 8274 1929 0 -1 1077944384 542 12910 0 0 1 0 5 3 20 0 15 0 230574672 11246788608 14105 33554432000 4194304 4196468 140736154598944 140625115376240 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8337] ppid=8271 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8274/task/8337/stat : 8337 (java) S 8271 8274 1929 0 -1 1077944384 67 12910 0 0 1 0 5 3 20 0 15 0 230574672 11246788608 14105 33554432000 4194304 4196468 140736154598944 140625114323440 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8338] ppid=8271 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/8274/task/8338/stat : 8338 (java) S 8271 8274 1929 0 -1 1077944384 617 12910 0 0 5 0 5 3 20 0 15 0 230574672 11246788608 14105 33554432000 4194304 4196468 140736154598944 140625113271152 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8339] ppid=8271 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8339/stat : 8339 (java) S 8271 8274 1929 0 -1 1077944384 3 12910 0 0 0 0 5 3 20 0 15 0 230574672 11246788608 14105 33554432000 4194304 4196468 140736154598944 140623470390240 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8340] ppid=8271 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8340/stat : 8340 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 15 0 230574672 11246788608 14105 33554432000 4194304 4196468 140736154598944 140625112218032 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56252 KiB

[startup+0.700827 s]
/proc/loadavg: 1.37 1.35 1.35 3/215 8340
/proc/meminfo: memFree=27427352/32770624 swapFree=67108804/67108860
[pid=8274] ppid=8271 vsize=10983192 memory=88652 CPUtime=0.99 cores=0,2,4,6
/proc/8274/stat : 8274 (java) S 8271 8274 1929 0 -1 1077944320 16746 12910 0 0 87 4 5 3 20 0 15 0 230574657 11246788608 22163 33554432000 4194304 4196468 140736154598944 140736154581488 140625690799863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
/proc/8274/statm: 2745798 22163 3250 1 0 2708109 0
[pid=8274/tid=8327] ppid=8271 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/8274/task/8327/stat : 8327 (java) R 8271 8274 1929 0 -1 4202560 12239 12910 0 0 56 3 5 3 20 0 15 0 230574666 11246788608 22163 33554432000 4194304 4196468 140736154598944 140625662627744 140625674880350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8328] ppid=8271 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8328/stat : 8328 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 15 0 230574667 11246788608 22163 33554432000 4194304 4196468 140736154598944 140625695042448 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8329] ppid=8271 vsize=10983192 memory=3708 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8329/stat : 8329 (java) S 8271 8274 1929 0 -1 1077944384 2 12910 0 0 0 0 5 3 20 0 15 0 230574667 11246788608 22163 33554432000 4194304 4196468 140736154598944 140625560378128 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8330] ppid=8271 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8330/stat : 8330 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 15 0 230574667 11246788608 22163 33554432000 4194304 4196468 140736154598944 140625559325840 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8331] ppid=8271 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8331/stat : 8331 (java) S 8271 8274 1929 0 -1 1077944384 2 12910 0 0 0 0 5 3 20 0 15 0 230574667 11246788608 22163 33554432000 4194304 4196468 140736154598944 140625558273040 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8332] ppid=8271 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8332/stat : 8332 (java) S 8271 8274 1929 0 -1 1077944384 5 12910 0 0 0 0 5 3 20 0 15 0 230574668 11246788608 22163 33554432000 4194304 4196468 140736154598944 140625116428400 140625690811010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8333] ppid=8271 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8333/stat : 8333 (java) S 8271 8274 1929 0 -1 1077944384 13 12910 0 0 0 0 5 3 20 0 15 0 230574669 11246788608 22163 33554432000 4194304 4196468 140736154598944 140624409912096 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8334] ppid=8271 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8334/stat : 8334 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 15 0 230574669 11246788608 22163 33554432000 4194304 4196468 140736154598944 140624208585840 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8335] ppid=8271 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8335/stat : 8335 (java) S 8271 8274 1929 0 -1 1077944384 3 12910 0 0 0 0 5 3 20 0 15 0 230574672 11246788608 22163 33554432000 4194304 4196468 140736154598944 140623901186128 140625690818459 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8336] ppid=8271 vsize=10983192 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/8274/task/8336/stat : 8336 (java) S 8271 8274 1929 0 -1 1077944384 1188 12910 0 0 9 0 5 3 20 0 15 0 230574672 11246788608 22163 33554432000 4194304 4196468 140736154598944 140625115376240 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8337] ppid=8271 vsize=10983192 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/8274/task/8337/stat : 8337 (java) S 8271 8274 1929 0 -1 1077944384 407 12910 0 0 7 0 5 3 20 0 15 0 230574672 11246788608 22163 33554432000 4194304 4196468 140736154598944 140625114323440 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8338] ppid=8271 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/8274/task/8338/stat : 8338 (java) S 8271 8274 1929 0 -1 1077944384 687 12910 0 0 13 0 5 3 20 0 15 0 230574672 11246788608 22163 33554432000 4194304 4196468 140736154598944 140625113271152 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8339] ppid=8271 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8339/stat : 8339 (java) S 8271 8274 1929 0 -1 1077944384 3 12910 0 0 0 0 5 3 20 0 15 0 230574672 11246788608 22163 33554432000 4194304 4196468 140736154598944 140623470390240 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8340] ppid=8271 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8340/stat : 8340 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 15 0 230574672 11246788608 22163 33554432000 4194304 4196468 140736154598944 140625112218032 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88652 KiB

[startup+1.50113 s]
/proc/loadavg: 1.37 1.35 1.35 3/215 8340
/proc/meminfo: memFree=27383440/32770624 swapFree=67108804/67108860
[pid=8274] ppid=8271 vsize=10996044 memory=186212 CPUtime=3.13 cores=0,2,4,6
/proc/8274/stat : 8274 (java) S 8271 8274 1929 0 -1 1077944320 25430 12910 0 0 297 8 5 3 20 0 15 0 230574657 11259949056 46553 33554432000 4194304 4196468 140736154598944 140736154581488 140625690799863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
/proc/8274/statm: 2749011 46553 3449 1 0 2710669 0
[pid=8274/tid=8327] ppid=8271 vsize=10996044 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/8274/task/8327/stat : 8327 (java) R 8271 8274 1929 0 -1 4202560 16714 12910 0 0 131 7 5 3 20 0 15 0 230574666 11259949056 46553 33554432000 4194304 4196468 140736154598944 140625662613080 140625690821789 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8328] ppid=8271 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8328/stat : 8328 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 15 0 230574667 11259949056 46553 33554432000 4194304 4196468 140736154598944 140625695042448 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8329] ppid=8271 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8329/stat : 8329 (java) S 8271 8274 1929 0 -1 1077944384 2 12910 0 0 0 0 5 3 20 0 15 0 230574667 11259949056 46553 33554432000 4194304 4196468 140736154598944 140625560378128 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8330] ppid=8271 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8330/stat : 8330 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 15 0 230574667 11259949056 46553 33554432000 4194304 4196468 140736154598944 140625559325840 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8331] ppid=8271 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8331/stat : 8331 (java) S 8271 8274 1929 0 -1 1077944384 2 12910 0 0 0 0 5 3 20 0 15 0 230574667 11259949056 46553 33554432000 4194304 4196468 140736154598944 140625558273040 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8332] ppid=8271 vsize=10996044 memory=1399103955520229747 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8332/stat : 8332 (java) S 8271 8274 1929 0 -1 1077944384 13 12910 0 0 0 0 5 3 20 0 15 0 230574668 11259949056 46553 33554432000 4194304 4196468 140736154598944 140625116428400 140625690811010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8333] ppid=8271 vsize=10996044 memory=279511371426048 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8333/stat : 8333 (java) S 8271 8274 1929 0 -1 1077944384 13 12910 0 0 0 0 5 3 20 0 15 0 230574669 11259949056 46553 33554432000 4194304 4196468 140736154598944 140624409912096 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8334] ppid=8271 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8334/stat : 8334 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 15 0 230574669 11259949056 46553 33554432000 4194304 4196468 140736154598944 140624208585840 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8335] ppid=8271 vsize=10996044 memory=1084 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8335/stat : 8335 (java) S 8271 8274 1929 0 -1 1077944384 3 12910 0 0 0 0 5 3 20 0 15 0 230574672 11259949056 46553 33554432000 4194304 4196468 140736154598944 140623901186128 140625690818459 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8336] ppid=8271 vsize=10996044 memory=1600 CPUtime=0.66 cores=0,2,4,6
/proc/8274/task/8336/stat : 8336 (java) R 8271 8274 1929 0 -1 4202560 2776 12910 0 0 58 0 5 3 20 0 15 0 230574672 11259949056 46553 33554432000 4194304 4196468 140736154598944 140625115362264 140625672343636 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8337] ppid=8271 vsize=10996044 memory=7952 CPUtime=0.67 cores=0,2,4,6
/proc/8274/task/8337/stat : 8337 (java) R 8271 8274 1929 0 -1 4202560 2056 12910 0 0 59 0 5 3 20 0 15 0 230574672 11259949056 46553 33554432000 4194304 4196468 140736154598944 140625114306720 140625670494242 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8338] ppid=8271 vsize=10996044 memory=4088 CPUtime=0.54 cores=0,2,4,6
/proc/8274/task/8338/stat : 8338 (java) S 8271 8274 1929 0 -1 1077944384 1651 12910 0 0 46 0 5 3 20 0 15 0 230574672 11259949056 46553 33554432000 4194304 4196468 140736154598944 140625113271152 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8339] ppid=8271 vsize=10996044 memory=1784 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8339/stat : 8339 (java) S 8271 8274 1929 0 -1 1077944384 3 12910 0 0 0 0 5 3 20 0 15 0 230574672 11259949056 46553 33554432000 4194304 4196468 140736154598944 140623470390240 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8340] ppid=8271 vsize=10996044 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8340/stat : 8340 (java) S 8271 8274 1929 0 -1 1077944384 1 12910 0 0 0 0 5 3 20 0 15 0 230574672 11259949056 46553 33554432000 4194304 4196468 140736154598944 140625112218032 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 10996044 KiB

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

/proc/8274/task/8327/stat : 8327 (java) R 8271 8274 1929 0 -1 4202560 117525 12910 0 0 229670 61 5 3 20 0 15 0 230574666 11348049920 337263 33554432000 4194304 4196468 140736154598944 140625662634528 140625247709843 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8328] ppid=8271 vsize=11082080 memory=1349052 CPUtime=13.95 cores=0,2,4,6
/proc/8274/task/8328/stat : 8328 (java) S 8271 8274 1929 0 -1 1077944384 17779 12910 0 0 1336 51 5 3 20 0 15 0 230574667 11348049920 337263 33554432000 4194304 4196468 140736154598944 140625695042448 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8329] ppid=8271 vsize=11082080 memory=1349052 CPUtime=13.97 cores=0,2,4,6
/proc/8274/task/8329/stat : 8329 (java) S 8271 8274 1929 0 -1 1077944384 19956 12910 0 0 1340 49 5 3 20 0 15 0 230574667 11348049920 337263 33554432000 4194304 4196468 140736154598944 140625560378128 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8330] ppid=8271 vsize=11082080 memory=1349052 CPUtime=13.97 cores=0,2,4,6
/proc/8274/task/8330/stat : 8330 (java) S 8271 8274 1929 0 -1 1077944384 18758 12910 0 0 1343 46 5 3 20 0 15 0 230574667 11348049920 337263 33554432000 4194304 4196468 140736154598944 140625559325840 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8331] ppid=8271 vsize=11082080 memory=1349052 CPUtime=13.96 cores=0,2,4,6
/proc/8274/task/8331/stat : 8331 (java) S 8271 8274 1929 0 -1 1077944384 24449 12910 0 0 1335 53 5 3 20 0 15 0 230574667 11348049920 337263 33554432000 4194304 4196468 140736154598944 140625558273040 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8332] ppid=8271 vsize=11082080 memory=1349052 CPUtime=7.99 cores=0,2,4,6
/proc/8274/task/8332/stat : 8332 (java) S 8271 8274 1929 0 -1 1077944384 18449 12910 0 0 746 45 5 3 20 0 15 0 230574668 11348049920 337263 33554432000 4194304 4196468 140736154598944 140625116428400 140625690811010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8333] ppid=8271 vsize=11082080 memory=1349052 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8333/stat : 8333 (java) S 8271 8274 1929 0 -1 1077944384 26 12910 0 0 0 0 5 3 20 0 15 0 230574669 11348049920 337263 33554432000 4194304 4196468 140736154598944 140624409912160 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8334] ppid=8271 vsize=11082080 memory=1349052 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8334/stat : 8334 (java) S 8271 8274 1929 0 -1 1077944384 17 12910 0 0 0 0 5 3 20 0 15 0 230574669 11348049920 337263 33554432000 4194304 4196468 140736154598944 140624208585856 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8335] ppid=8271 vsize=11082080 memory=1349052 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8335/stat : 8335 (java) S 8271 8274 1929 0 -1 1077944384 3 12910 0 0 0 0 5 3 20 0 15 0 230574672 11348049920 337263 33554432000 4194304 4196468 140736154598944 140623901186128 140625690818459 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8336] ppid=8271 vsize=11082080 memory=1349052 CPUtime=10.99 cores=0,2,4,6
/proc/8274/task/8336/stat : 8336 (java) S 8271 8274 1929 0 -1 1077944384 115802 12910 0 0 1079 12 5 3 20 0 15 0 230574672 11348049920 337263 33554432000 4194304 4196468 140736154598944 140625115376240 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8337] ppid=8271 vsize=11082080 memory=1349052 CPUtime=11.04 cores=0,2,4,6
/proc/8274/task/8337/stat : 8337 (java) S 8271 8274 1929 0 -1 1077944384 104612 12910 0 0 1086 10 5 3 20 0 15 0 230574672 11348049920 337263 33554432000 4194304 4196468 140736154598944 140625114323440 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8338] ppid=8271 vsize=11082080 memory=1349052 CPUtime=4.03 cores=0,2,4,6
/proc/8274/task/8338/stat : 8338 (java) S 8271 8274 1929 0 -1 1077944384 111158 12910 0 0 384 11 5 3 20 0 15 0 230574672 11348049920 337263 33554432000 4194304 4196468 140736154598944 140625113271152 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8339] ppid=8271 vsize=11082080 memory=3708 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8339/stat : 8339 (java) S 8271 8274 1929 0 -1 1077944384 3 12910 0 0 0 0 5 3 20 0 15 0 230574672 11348049920 337263 33554432000 4194304 4196468 140736154598944 140623470390240 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8340] ppid=8271 vsize=11082080 memory=3708 CPUtime=1.48 cores=0,2,4,6
/proc/8274/task/8340/stat : 8340 (java) S 8271 8274 1929 0 -1 1077944384 2201 12910 0 0 71 69 5 3 20 0 15 0 230574672 11348049920 337263 33554432000 4194304 4196468 140736154598944 140625112218032 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
Current children cumulated CPU time: 2388.17 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1349052 KiB

[startup+2382.3 s]
/proc/loadavg: 1.19 1.29 1.37 4/216 8546
/proc/meminfo: memFree=25947036/32770624 swapFree=67108804/67108860
[pid=8274] ppid=8271 vsize=11082080 memory=1348536 CPUtime=2449.38 cores=0,2,4,6
/proc/8274/stat : 8274 (java) S 8271 8274 1929 0 -1 1077944320 556094 12910 0 0 244558 372 5 3 20 0 15 0 230574657 11348049920 337134 33554432000 4194304 4196468 140736154598944 140736154581488 140625690799863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
/proc/8274/statm: 2770520 337134 3534 1 0 2732173 0
[pid=8274/tid=8327] ppid=8271 vsize=11082080 memory=1348536 CPUtime=2356.69 cores=0,2,4,6
/proc/8274/task/8327/stat : 8327 (java) R 8271 8274 1929 0 -1 4202560 118162 12910 0 0 235599 62 5 3 20 0 15 0 230574666 11348049920 337134 33554432000 4194304 4196468 140736154598944 140625662634272 140625242052615 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8328] ppid=8271 vsize=11082080 memory=1348536 CPUtime=14.35 cores=0,2,4,6
/proc/8274/task/8328/stat : 8328 (java) S 8271 8274 1929 0 -1 1077944384 17986 12910 0 0 1375 52 5 3 20 0 15 0 230574667 11348049920 337134 33554432000 4194304 4196468 140736154598944 140625695042448 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8329] ppid=8271 vsize=11082080 memory=1348536 CPUtime=14.37 cores=0,2,4,6
/proc/8274/task/8329/stat : 8329 (java) S 8271 8274 1929 0 -1 1077944384 20086 12910 0 0 1379 50 5 3 20 0 15 0 230574667 11348049920 337134 33554432000 4194304 4196468 140736154598944 140625560378128 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8330] ppid=8271 vsize=11082080 memory=279511373467232 CPUtime=14.36 cores=0,2,4,6
/proc/8274/task/8330/stat : 8330 (java) S 8271 8274 1929 0 -1 1077944384 18910 12910 0 0 1381 47 5 3 20 0 15 0 230574667 11348049920 337134 33554432000 4194304 4196468 140736154598944 140625559325840 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8331] ppid=8271 vsize=11082080 memory=1349052 CPUtime=14.36 cores=0,2,4,6
/proc/8274/task/8331/stat : 8331 (java) S 8271 8274 1929 0 -1 1077944384 24557 12910 0 0 1375 53 5 3 20 0 15 0 230574667 11348049920 337134 33554432000 4194304 4196468 140736154598944 140625558273040 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8332] ppid=8271 vsize=11082080 memory=226505 CPUtime=8.22 cores=0,2,4,6
/proc/8274/task/8332/stat : 8332 (java) S 8271 8274 1929 0 -1 1077944384 18660 12910 0 0 768 46 5 3 20 0 15 0 230574668 11348049920 337134 33554432000 4194304 4196468 140736154598944 140625116428400 140625690811010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8333] ppid=8271 vsize=11082080 memory=1348536 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8333/stat : 8333 (java) S 8271 8274 1929 0 -1 1077944384 26 12910 0 0 0 0 5 3 20 0 15 0 230574669 11348049920 337134 33554432000 4194304 4196468 140736154598944 140624409912160 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8334] ppid=8271 vsize=11082080 memory=1348536 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8334/stat : 8334 (java) S 8271 8274 1929 0 -1 1077944384 17 12910 0 0 0 0 5 3 20 0 15 0 230574669 11348049920 337134 33554432000 4194304 4196468 140736154598944 140624208585856 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8335] ppid=8271 vsize=11082080 memory=1348536 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8335/stat : 8335 (java) S 8271 8274 1929 0 -1 1077944384 3 12910 0 0 0 0 5 3 20 0 15 0 230574672 11348049920 337134 33554432000 4194304 4196468 140736154598944 140623901186128 140625690818459 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8336] ppid=8271 vsize=11082080 memory=1348536 CPUtime=11.02 cores=0,2,4,6
/proc/8274/task/8336/stat : 8336 (java) S 8271 8274 1929 0 -1 1077944384 116343 12910 0 0 1082 12 5 3 20 0 15 0 230574672 11348049920 337134 33554432000 4194304 4196468 140736154598944 140625115376240 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8337] ppid=8271 vsize=11082080 memory=396 CPUtime=11.06 cores=0,2,4,6
/proc/8274/task/8337/stat : 8337 (java) S 8271 8274 1929 0 -1 1077944384 105106 12910 0 0 1088 10 5 3 20 0 15 0 230574672 11348049920 337134 33554432000 4194304 4196468 140736154598944 140625114323440 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8338] ppid=8271 vsize=11082080 memory=1348536 CPUtime=4.04 cores=0,2,4,6
/proc/8274/task/8338/stat : 8338 (java) S 8271 8274 1929 0 -1 1077944384 111823 12910 0 0 385 11 5 3 20 0 15 0 230574672 11348049920 337134 33554432000 4194304 4196468 140736154598944 140625113271152 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8339] ppid=8271 vsize=11082080 memory=1348536 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8339/stat : 8339 (java) S 8271 8274 1929 0 -1 1077944384 3 12910 0 0 0 0 5 3 20 0 15 0 230574672 11348049920 337134 33554432000 4194304 4196468 140736154598944 140623470390240 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8340] ppid=8271 vsize=11082080 memory=3708 CPUtime=1.52 cores=0,2,4,6
/proc/8274/task/8340/stat : 8340 (java) S 8271 8274 1929 0 -1 1077944384 2219 12910 0 0 73 71 5 3 20 0 15 0 230574672 11348049920 337134 33554432000 4194304 4196468 140736154598944 140625112218032 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
Current children cumulated CPU time: 2449.38 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1348536 KiB

[startup+2442.3 s]
/proc/loadavg: 1.42 1.33 1.38 4/215 8548
/proc/meminfo: memFree=25950740/32770624 swapFree=67108804/67108860
[pid=8274] ppid=8271 vsize=11082080 memory=1342376 CPUtime=2510.53 cores=0,2,4,6
/proc/8274/stat : 8274 (java) S 8271 8274 1929 0 -1 1077944320 559451 12910 0 0 250665 380 5 3 20 0 15 0 230574657 11348049920 335594 33554432000 4194304 4196468 140736154598944 140736154581488 140625690799863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
/proc/8274/statm: 2770520 335594 3534 1 0 2732173 0
[pid=8274/tid=8327] ppid=8271 vsize=11082080 memory=1349052 CPUtime=2416.02 cores=0,2,4,6
/proc/8274/task/8327/stat : 8327 (java) R 8271 8274 1929 0 -1 4202560 118944 12910 0 0 241532 62 5 3 20 0 15 0 230574666 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625662635376 140625256353472 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8328] ppid=8271 vsize=11082080 memory=1348536 CPUtime=14.72 cores=0,2,4,6
/proc/8274/task/8328/stat : 8328 (java) S 8271 8274 1929 0 -1 1077944384 18147 12910 0 0 1411 53 5 3 20 0 15 0 230574667 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625695042448 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8329] ppid=8271 vsize=11082080 memory=1342376 CPUtime=14.75 cores=0,2,4,6
/proc/8274/task/8329/stat : 8329 (java) S 8271 8274 1929 0 -1 1077944384 20210 12910 0 0 1415 52 5 3 20 0 15 0 230574667 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625560378128 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8330] ppid=8271 vsize=11082080 memory=1342376 CPUtime=14.74 cores=0,2,4,6
/proc/8274/task/8330/stat : 8330 (java) S 8271 8274 1929 0 -1 1077944384 19068 12910 0 0 1417 49 5 3 20 0 15 0 230574667 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625559325840 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8331] ppid=8271 vsize=11082080 memory=1342376 CPUtime=14.73 cores=0,2,4,6
/proc/8274/task/8331/stat : 8331 (java) S 8271 8274 1929 0 -1 1077944384 24693 12910 0 0 1411 54 5 3 20 0 15 0 230574667 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625558273040 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8332] ppid=8271 vsize=11082080 memory=1342376 CPUtime=8.42 cores=0,2,4,6
/proc/8274/task/8332/stat : 8332 (java) S 8271 8274 1929 0 -1 1077944384 18892 12910 0 0 787 47 5 3 20 0 15 0 230574668 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625116428400 140625690811010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8333] ppid=8271 vsize=11082080 memory=1342376 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8333/stat : 8333 (java) S 8271 8274 1929 0 -1 1077944384 26 12910 0 0 0 0 5 3 20 0 15 0 230574669 11348049920 335594 33554432000 4194304 4196468 140736154598944 140624409912160 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8334] ppid=8271 vsize=11082080 memory=1342376 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8334/stat : 8334 (java) S 8271 8274 1929 0 -1 1077944384 17 12910 0 0 0 0 5 3 20 0 15 0 230574669 11348049920 335594 33554432000 4194304 4196468 140736154598944 140624208585856 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8335] ppid=8271 vsize=11082080 memory=1342376 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8335/stat : 8335 (java) S 8271 8274 1929 0 -1 1077944384 3 12910 0 0 0 0 5 3 20 0 15 0 230574672 11348049920 335594 33554432000 4194304 4196468 140736154598944 140623901186128 140625690818459 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8336] ppid=8271 vsize=11082080 memory=1342376 CPUtime=11.04 cores=0,2,4,6
/proc/8274/task/8336/stat : 8336 (java) S 8271 8274 1929 0 -1 1077944384 116847 12910 0 0 1084 12 5 3 20 0 15 0 230574672 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625115376240 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8337] ppid=8271 vsize=11082080 memory=1348536 CPUtime=11.11 cores=0,2,4,6
/proc/8274/task/8337/stat : 8337 (java) S 8271 8274 1929 0 -1 1077944384 105600 12910 0 0 1093 10 5 3 20 0 15 0 230574672 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625114323440 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8338] ppid=8271 vsize=11082080 memory=1342376 CPUtime=4.06 cores=0,2,4,6
/proc/8274/task/8338/stat : 8338 (java) S 8271 8274 1929 0 -1 1077944384 112578 12910 0 0 387 11 5 3 20 0 15 0 230574672 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625113271152 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8339] ppid=8271 vsize=11082080 memory=3708 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8339/stat : 8339 (java) S 8271 8274 1929 0 -1 1077944384 3 12910 0 0 0 0 5 3 20 0 15 0 230574672 11348049920 335594 33554432000 4194304 4196468 140736154598944 140623470390240 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8340] ppid=8271 vsize=11082080 memory=62668 CPUtime=1.55 cores=0,2,4,6
/proc/8274/task/8340/stat : 8340 (java) S 8271 8274 1929 0 -1 1077944384 2230 12910 0 0 74 73 5 3 20 0 15 0 230574672 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625112218032 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
Current children cumulated CPU time: 2510.53 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1342376 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2451.6 s]
/proc/loadavg: 1.35 1.32 1.38 4/215 8548
/proc/meminfo: memFree=25950924/32770624 swapFree=67108804/67108860
[pid=8274] ppid=8271 vsize=11082080 memory=1342376 CPUtime=2520 cores=0,2,4,6
/proc/8274/stat : 8274 (java) S 8271 8274 1929 0 -1 1077944320 560293 12910 0 0 251611 381 5 3 20 0 15 0 230574657 11348049920 335594 33554432000 4194304 4196468 140736154598944 140736154581488 140625690799863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
/proc/8274/statm: 2770520 335594 3534 1 0 2732173 0
[pid=8274/tid=8327] ppid=8271 vsize=11082080 memory=8112282956445269571 CPUtime=2425.23 cores=0,2,4,6
/proc/8274/task/8327/stat : 8327 (java) R 8271 8274 1929 0 -1 4202560 119087 12910 0 0 242452 63 5 3 20 0 15 0 230574666 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625662635728 140625238560765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8328] ppid=8271 vsize=11082080 memory=1572 CPUtime=14.77 cores=0,2,4,6
/proc/8274/task/8328/stat : 8328 (java) S 8271 8274 1929 0 -1 1077944384 18195 12910 0 0 1416 53 5 3 20 0 15 0 230574667 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625695042448 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8329] ppid=8271 vsize=11082080 memory=2176 CPUtime=14.8 cores=0,2,4,6
/proc/8274/task/8329/stat : 8329 (java) S 8271 8274 1929 0 -1 1077944384 20239 12910 0 0 1420 52 5 3 20 0 15 0 230574667 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625560378128 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8330] ppid=8271 vsize=11082080 memory=3984 CPUtime=14.8 cores=0,2,4,6
/proc/8274/task/8330/stat : 8330 (java) S 8271 8274 1929 0 -1 1077944384 19102 12910 0 0 1423 49 5 3 20 0 15 0 230574667 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625559325840 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8331] ppid=8271 vsize=11082080 memory=1916 CPUtime=14.79 cores=0,2,4,6
/proc/8274/task/8331/stat : 8331 (java) S 8271 8274 1929 0 -1 1077944384 24711 12910 0 0 1416 55 5 3 20 0 15 0 230574667 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625558273040 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8332] ppid=8271 vsize=11082080 memory=7528 CPUtime=8.46 cores=0,2,4,6
/proc/8274/task/8332/stat : 8332 (java) S 8271 8274 1929 0 -1 1077944384 19059 12910 0 0 790 48 5 3 20 0 15 0 230574668 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625116428400 140625690811010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8333] ppid=8271 vsize=11082080 memory=808 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8333/stat : 8333 (java) S 8271 8274 1929 0 -1 1077944384 26 12910 0 0 0 0 5 3 20 0 15 0 230574669 11348049920 335594 33554432000 4194304 4196468 140736154598944 140624409912160 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8334] ppid=8271 vsize=11082080 memory=1342376 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8334/stat : 8334 (java) S 8271 8274 1929 0 -1 1077944384 17 12910 0 0 0 0 5 3 20 0 15 0 230574669 11348049920 335594 33554432000 4194304 4196468 140736154598944 140624208585856 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8335] ppid=8271 vsize=11082080 memory=1572 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8335/stat : 8335 (java) S 8271 8274 1929 0 -1 1077944384 3 12910 0 0 0 0 5 3 20 0 15 0 230574672 11348049920 335594 33554432000 4194304 4196468 140736154598944 140623901186128 140625690818459 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8336] ppid=8271 vsize=11082080 memory=1060 CPUtime=11.05 cores=0,2,4,6
/proc/8274/task/8336/stat : 8336 (java) S 8271 8274 1929 0 -1 1077944384 116947 12910 0 0 1085 12 5 3 20 0 15 0 230574672 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625115376240 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8337] ppid=8271 vsize=11082080 memory=5808 CPUtime=11.11 cores=0,2,4,6
/proc/8274/task/8337/stat : 8337 (java) S 8271 8274 1929 0 -1 1077944384 105683 12910 0 0 1093 10 5 3 20 0 15 0 230574672 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625114323440 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8338] ppid=8271 vsize=11082080 memory=3304 CPUtime=4.06 cores=0,2,4,6
/proc/8274/task/8338/stat : 8338 (java) S 8271 8274 1929 0 -1 1077944384 112796 12910 0 0 387 11 5 3 20 0 15 0 230574672 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625113271152 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8339] ppid=8271 vsize=11082080 memory=1260 CPUtime=0.08 cores=0,2,4,6
/proc/8274/task/8339/stat : 8339 (java) S 8271 8274 1929 0 -1 1077944384 3 12910 0 0 0 0 5 3 20 0 15 0 230574672 11348049920 335594 33554432000 4194304 4196468 140736154598944 140623470390240 140625690810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
[pid=8274/tid=8340] ppid=8271 vsize=11082080 memory=14872 CPUtime=1.55 cores=0,2,4,6
/proc/8274/task/8340/stat : 8340 (java) S 8271 8274 1929 0 -1 1077944384 2232 12910 0 0 74 73 5 3 20 0 15 0 230574672 11348049920 335594 33554432000 4194304 4196468 140736154598944 140625112218032 140625690811010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24297472 140736154606188 140736154608988 140736154608988 140736154611663 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1342376 KiB

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

[startup+2451.63 s]
# the end of solver process 8274 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.19 s, system=3.86037 s

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

Child status: 143
Real time (s): 2451.63
CPU time (s): 2520.05
CPU user time (s): 2516.19
CPU system time (s): 3.86037
CPU usage (%): 102.791
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1844936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.19
system time used= 3.86037
maximum resident set size= 1846524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 574148
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= 229384
involuntary context switches= 8289


# summary of solver processes directly reported to runsolver:
#   pid: 8274
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2516.19
#   total CPU system time (s): 3.86037

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5315 second user time and 23.4328 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 4304719

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