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)	9709	2520.08	2465.84

0.96/0.75	c Concrete v3.9.2.1532736233296 running
39.19/17.47	o 10833
39.92/17.76	o 10776
39.92/17.78	o 10739
41.44/18.67	o 10641
42.02/18.90	o 10283
48.32/24.43	o 10242
48.67/24.71	o 10152
48.78/24.87	o 10045
131.00/102.22	o 9980
133.61/104.89	o 9970
366.87/333.68	o 9936
372.88/339.65	o 9916
374.29/341.08	o 9909
397.66/363.67	o 9893
397.77/363.73	o 9887
399.57/365.56	o 9880
399.87/365.88	o 9825
399.97/365.91	o 9800
400.47/366.47	o 9799
400.57/366.55	o 9709
2520.02/2465.81	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.02/2465.81		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.02/2465.81		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.02/2465.81		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.02/2465.81		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.02/2465.81		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.02/2465.81		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.02/2465.81		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.02/2465.81		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.02/2465.81		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.02/2465.81		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.02/2465.81		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.02/2465.81		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.02/2465.81		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.02/2465.81		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.02/2465.81		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.02/2465.81		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.02/2465.81		at scala.Option.map(Option.scala:146)
2520.02/2465.81		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.02/2465.81		at concrete.MAC.mac(MAC.scala:203)
2520.02/2465.81		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.02/2465.81		at scala.util.Try$.apply(Try.scala:209)
2520.02/2465.81		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.02/2465.81		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.02/2465.81		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.02/2465.81		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.02/2465.81		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.02/2465.81		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.02/2465.81		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.02/2465.81		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.02/2465.81		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.02/2465.81		at concrete.MAC.oneRun(MAC.scala:253)
2520.02/2465.81		at concrete.MAC.nextSolution(MAC.scala:272)
2520.02/2465.81		at concrete.MAC.nextSolution(MAC.scala:355)
2520.02/2465.81		at concrete.Solver.hasNext(Solver.scala:166)
2520.02/2465.81		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.02/2465.81		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.02/2465.81		at concrete.Solver.foreach(Solver.scala:68)
2520.02/2465.81		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.02/2465.81		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.02/2465.81		at scala.util.Success.map(Try.scala:209)
2520.02/2465.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.02/2465.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.02/2465.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.02/2465.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.02/2465.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.02/2465.81		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.02/2465.81		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.02/2465.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.02/2465.81		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.02/2465.81		at scala.collection.immutable.List.foreach(List.scala:389)
2520.02/2465.81		at scala.App.main(App.scala:76)
2520.02/2465.81		at scala.App.main$(App.scala:74)
2520.02/2465.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.02/2465.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2465.81	v <instantiation cost="9709">
2520.02/2465.81	v       <list>
2520.02/2465.81	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.02/2465.81	v       </list>
2520.02/2465.81	v       <values>
2520.02/2465.81	v         2 11 10 9 1 1 8 6 2 5 10 3 11 7 5 4 8 3 6 4 7 9 5 9 7 2 0 0 10 11 11 3 9 4 10 4 6 8 6 5 2 8 3 7 0 7 3 1 11 4 9 7 0 9 3 6 5 10 10 11 4 8 1 6 8 5 6 5 2 5 9 9 6 4 7 1 2 0 8 11 4 10 7 0 10 11 1 8 8 6 8 10 6 2 5 3 5 11 7 1 7 1 3 0 2 9 9 0 10 11 1 3 6 3 10 11 4 8 4 0 11 7 2 8 0 6 9 1 7 10 9 2 3 4 5 11 4 8 3 0 10 7 8 2 9 9 1 5 1 7 0 2 11 10 10 2 1 8 8 10 11 2 3 6 4 5 4 0 11 9 3 6 5 9 0 1 4 10 4 7 7 6 0 5 9 10 6 11 3 5 9 1 0 2 11 1 2 3 11 1 11 0 3 3 2 10 8 2 1 10 6 6 8 7 5 4 4 7 5 0 7 8 0 4 5 7 1 9 6 8 0 9 1 2 2 3 11 11 3 5 4 6 9 0 9 6 2 5 7 1 1 4 5 8 0 3 7 2 10 10 8 3 6 4 0 0 1 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 0 0 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 1 0 1 1 0 0 0 1 1 1 0 1 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 1 1 1 1 1 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 1 1 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 1 1 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 1 1 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 15 58 55 51 51 10 46 48 0 0 55 55 0 44 48 39 0 34 47 18 36 0 0 0 0 44 56 15 10 65 10 64 32 67 43 0 31 31 0 39 27 40 46 46 0 0 0 56 14 47 0 45 55 49 15 15 0 56 27 50 55 10 58 53 46 22 0 0 0 0 0 0 41 41 67 69 47 14 14 47 15 48 68 51 74 69 0 0 66 64 32 0 21 21 0 0 18 18 35 41 51 0 64 44 31 0 0 36 15 49 55 0 74 10 70 40 32 47 27 51 10 44 0 35 36 39 0 0 42 42 0 81 81 48 48 0 50 50 47 51 18 0 0 31 31 44 44 59 59 0 0 69 43 40 27 0 0 56 58 10 75 0 0 0 81 81 69 10 58 56 0 0 48 35 64 0 0 14 47 59 79 51 10 44 0 73 74 21 81 81 0 42 42 0 31 70 69 0 68 43 10 48 0 0 53 47 68 105 64 43 0 67 67 0 0 68 53 49 103 75 69 0 79 79 0 55 55 81 39 51 69 69 55 36 74 0 0 103 69 31 73 0 65 22 55 0 10 10 69 41 51 0 0 0 0 105 69 56 58 0 0 64 31 35 44 55 34 14 67 0 10 73 69 0 0 0
2520.02/2465.81	v       </values>
2520.02/2465.81	v     </instantiation>
2520.02/2465.81	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-4304722-1534138268/watcher-4304722-1534138268 -o /tmp/evaluation-result-4304722-1534138268/solver-4304722-1534138268 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534138268-9450 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=992300577 -superng HOME/instance-4304722-1534138268.xml 

running on 4 cores: 1,3,5,7

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=9478, runsolver pid=9472
Current StackSize limit: 8192 KiB


[startup+0.100143 s]*
/proc/loadavg: 1.18 1.78 1.97 4/190 9576
/proc/meminfo: memFree=15892856/32770624 swapFree=67108792/67108860
[pid=9478] ppid=9472 vsize=176112 memory=5568 CPUtime=0.07 cores=1,3,5,7
/proc/9478/stat : 9478 (java) S 9472 9478 8231 0 -1 1077944320 2542 13184 1 0 0 0 5 2 20 0 2 0 231390060 180338688 1392 33554432000 4194304 4196468 140729516691072 140729516673616 139959385648887 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
/proc/9478/statm: 44028 1392 1054 1 0 32939 0
[pid=9478/tid=9584] ppid=9472 vsize=425712 memory=-2899909650764262549 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9584/stat : 9584 (java) S 9472 9478 8231 0 -1 1077944384 405 13184 0 0 0 0 5 2 20 0 2 0 231390070 435929088 1915 33554432000 4194304 4196468 140729516691072 139959357491616 139959385660034 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 176112 KiB
Current children cumulated memory: 5568 KiB

[startup+0.209969 s]*
/proc/loadavg: 1.18 1.78 1.97 5/216 9610
/proc/meminfo: memFree=15839216/32770624 swapFree=67108792/67108860
[pid=9478] ppid=9472 vsize=10982744 memory=39764 CPUtime=0.23 cores=1,3,5,7
/proc/9478/stat : 9478 (java) S 9472 9478 8231 0 -1 1077944320 6653 13184 1 0 15 1 5 2 20 0 15 0 231390060 11246329856 9941 33554432000 4194304 4196468 140729516691072 140729516673616 139959385648887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
/proc/9478/statm: 2745686 9941 2959 1 0 2708109 0
[pid=9478/tid=9584] ppid=9472 vsize=10982744 memory=7377246124687064083 CPUtime=0.16 cores=1,3,5,7
/proc/9478/task/9584/stat : 9584 (java) R 9472 9478 8231 0 -1 4202560 3207 13184 0 0 9 0 5 2 20 0 15 0 231390070 11246329856 9964 33554432000 4194304 4196468 140729516691072 139959357445616 139959367212462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9586] ppid=9472 vsize=10982744 memory=4211973901636980106 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9586/stat : 9586 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390071 11246329856 9964 33554432000 4194304 4196468 140729516691072 139959389890960 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9587] ppid=9472 vsize=10982744 memory=140175432189568 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9587/stat : 9587 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390071 11246329856 9964 33554432000 4194304 4196468 140729516691072 139959244609808 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9590] ppid=9472 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9590/stat : 9590 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390071 11246329856 9964 33554432000 4194304 4196468 140729516691072 139959243557520 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9592] ppid=9472 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9592/stat : 9592 (java) S 9472 9478 8231 0 -1 1077944384 2 13184 0 0 0 0 5 2 20 0 15 0 231390071 11246329856 9964 33554432000 4194304 4196468 140729516691072 139959242504720 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9594] ppid=9472 vsize=10982744 memory=140175432189568 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9594/stat : 9594 (java) S 9472 9478 8231 0 -1 1077944384 2 13184 0 0 0 0 5 2 20 0 15 0 231390073 11246329856 9964 33554432000 4194304 4196468 140729516691072 139958354385520 139959385660034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9595] ppid=9472 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9595/stat : 9595 (java) S 9472 9478 8231 0 -1 1077944384 13 13184 0 0 0 0 5 2 20 0 15 0 231390073 11246329856 9964 33554432000 4194304 4196468 140729516691072 139958220219680 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9597] ppid=9472 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9597/stat : 9597 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390073 11246329856 9964 33554432000 4194304 4196468 140729516691072 139958018893424 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9599] ppid=9472 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9599/stat : 9599 (java) S 9472 9478 8231 0 -1 1077944384 3 13184 0 0 0 0 5 2 20 0 15 0 231390076 11246329856 9964 33554432000 4194304 4196468 140729516691072 139957711493712 139959385667483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9600] ppid=9472 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9478/task/9600/stat : 9600 (java) S 9472 9478 8231 0 -1 1077944384 414 13184 0 0 1 0 5 2 20 0 15 0 231390076 11246329856 9964 33554432000 4194304 4196468 140729516691072 139958353332336 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9601] ppid=9472 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9478/task/9601/stat : 9601 (java) S 9472 9478 8231 0 -1 1077944384 189 13184 0 0 1 0 5 2 20 0 15 0 231390076 11246329856 9964 33554432000 4194304 4196468 140729516691072 139958352279536 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9602] ppid=9472 vsize=10982744 memory=140175432189568 CPUtime=0.1 cores=1,3,5,7
/proc/9478/task/9602/stat : 9602 (java) S 9472 9478 8231 0 -1 1077944384 634 13184 0 0 3 0 5 2 20 0 15 0 231390076 11246329856 9964 33554432000 4194304 4196468 140729516691072 139958351227248 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9607] ppid=9472 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9607/stat : 9607 (java) S 9472 9478 8231 0 -1 1077944384 3 13184 0 0 0 0 5 2 20 0 15 0 231390076 11246329856 9964 33554432000 4194304 4196468 140729516691072 139957280696800 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9609] ppid=9472 vsize=10982744 memory=140175432189568 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9609/stat : 9609 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390076 11246329856 9964 33554432000 4194304 4196468 140729516691072 139958350175152 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 39764 KiB

[startup+0.310439 s]*
/proc/loadavg: 1.18 1.78 1.97 4/216 9610
/proc/meminfo: memFree=15813168/32770624 swapFree=67108792/67108860
[pid=9478] ppid=9472 vsize=10983192 memory=53036 CPUtime=0.36 cores=1,3,5,7
/proc/9478/stat : 9478 (java) S 9472 9478 8231 0 -1 1077944320 9841 13184 1 0 26 3 5 2 20 0 15 0 231390060 11246788608 13259 33554432000 4194304 4196468 140729516691072 140729516673616 139959385648887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
/proc/9478/statm: 2745798 13259 3078 1 0 2708109 0
[pid=9478/tid=9584] ppid=9472 vsize=10983192 memory=140175317543157 CPUtime=0.27 cores=1,3,5,7
/proc/9478/task/9584/stat : 9584 (java) R 9472 9478 8231 0 -1 4202560 6360 13184 0 0 18 2 5 2 20 0 15 0 231390070 11246788608 13259 33554432000 4194304 4196468 140729516691072 139959357460896 139959365924229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9586] ppid=9472 vsize=10983192 memory=3977295499660704336 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9586/stat : 9586 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390071 11246788608 13259 33554432000 4194304 4196468 140729516691072 139959389890960 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9587] ppid=9472 vsize=10983192 memory=140175432189568 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9587/stat : 9587 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390071 11246788608 13259 33554432000 4194304 4196468 140729516691072 139959244609808 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9590] ppid=9472 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9590/stat : 9590 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390071 11246788608 13259 33554432000 4194304 4196468 140729516691072 139959243557520 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9592] ppid=9472 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9592/stat : 9592 (java) S 9472 9478 8231 0 -1 1077944384 2 13184 0 0 0 0 5 2 20 0 15 0 231390071 11246788608 13259 33554432000 4194304 4196468 140729516691072 139959242504720 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9594] ppid=9472 vsize=10983192 memory=140175432189568 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9594/stat : 9594 (java) S 9472 9478 8231 0 -1 1077944384 2 13184 0 0 0 0 5 2 20 0 15 0 231390073 11246788608 13259 33554432000 4194304 4196468 140729516691072 139958354385520 139959385660034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9595] ppid=9472 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9595/stat : 9595 (java) S 9472 9478 8231 0 -1 1077944384 13 13184 0 0 0 0 5 2 20 0 15 0 231390073 11246788608 13259 33554432000 4194304 4196468 140729516691072 139958220219680 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9597] ppid=9472 vsize=10983192 memory=140175432189568 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9597/stat : 9597 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390073 11246788608 13259 33554432000 4194304 4196468 140729516691072 139958018893424 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9599] ppid=9472 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9599/stat : 9599 (java) S 9472 9478 8231 0 -1 1077944384 3 13184 0 0 0 0 5 2 20 0 15 0 231390076 11246788608 13259 33554432000 4194304 4196468 140729516691072 139957711493712 139959385667483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9600] ppid=9472 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9478/task/9600/stat : 9600 (java) S 9472 9478 8231 0 -1 1077944384 414 13184 0 0 1 0 5 2 20 0 15 0 231390076 11246788608 13259 33554432000 4194304 4196468 140729516691072 139958353332336 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9601] ppid=9472 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9478/task/9601/stat : 9601 (java) S 9472 9478 8231 0 -1 1077944384 190 13184 0 0 1 0 5 2 20 0 15 0 231390076 11246788608 13259 33554432000 4194304 4196468 140729516691072 139958352279536 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9602] ppid=9472 vsize=10983192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/9478/task/9602/stat : 9602 (java) S 9472 9478 8231 0 -1 1077944384 654 13184 0 0 4 0 5 2 20 0 15 0 231390076 11246788608 13259 33554432000 4194304 4196468 140729516691072 139958351227248 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9607] ppid=9472 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9607/stat : 9607 (java) S 9472 9478 8231 0 -1 1077944384 3 13184 0 0 0 0 5 2 20 0 15 0 231390076 11246788608 13259 33554432000 4194304 4196468 140729516691072 139957280696800 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9609] ppid=9472 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9609/stat : 9609 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390076 11246788608 13259 33554432000 4194304 4196468 140729516691072 139958350175152 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53036 KiB

[startup+0.700739 s]
/proc/loadavg: 1.18 1.78 1.97 4/216 9610
/proc/meminfo: memFree=15790824/32770624 swapFree=67108792/67108860
[pid=9478] ppid=9472 vsize=10983192 memory=88404 CPUtime=0.96 cores=1,3,5,7
/proc/9478/stat : 9478 (java) S 9472 9478 8231 0 -1 1077944320 16731 13184 1 0 84 5 5 2 20 0 15 0 231390060 11246788608 22101 33554432000 4194304 4196468 140729516691072 140729516673616 139959385648887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
/proc/9478/statm: 2745798 22101 3239 1 0 2708109 0
[pid=9478/tid=9584] ppid=9472 vsize=10983192 memory=4 CPUtime=0.65 cores=1,3,5,7
/proc/9478/task/9584/stat : 9584 (java) R 9472 9478 8231 0 -1 4202560 12089 13184 0 0 54 4 5 2 20 0 15 0 231390070 11246788608 22101 33554432000 4194304 4196468 140729516691072 139959357476768 139959367212468 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9586] ppid=9472 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9586/stat : 9586 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390071 11246788608 22101 33554432000 4194304 4196468 140729516691072 139959389890960 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9587] ppid=9472 vsize=10983192 memory=30 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9587/stat : 9587 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390071 11246788608 22101 33554432000 4194304 4196468 140729516691072 139959244609808 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9590] ppid=9472 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9590/stat : 9590 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390071 11246788608 22101 33554432000 4194304 4196468 140729516691072 139959243557520 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9592] ppid=9472 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9592/stat : 9592 (java) S 9472 9478 8231 0 -1 1077944384 2 13184 0 0 0 0 5 2 20 0 15 0 231390071 11246788608 22101 33554432000 4194304 4196468 140729516691072 139959242504720 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9594] ppid=9472 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9594/stat : 9594 (java) S 9472 9478 8231 0 -1 1077944384 5 13184 0 0 0 0 5 2 20 0 15 0 231390073 11246788608 22101 33554432000 4194304 4196468 140729516691072 139958354385520 139959385660034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9595] ppid=9472 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9595/stat : 9595 (java) S 9472 9478 8231 0 -1 1077944384 13 13184 0 0 0 0 5 2 20 0 15 0 231390073 11246788608 22101 33554432000 4194304 4196468 140729516691072 139958220219680 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9597] ppid=9472 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9597/stat : 9597 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390073 11246788608 22101 33554432000 4194304 4196468 140729516691072 139958018893424 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9599] ppid=9472 vsize=10983192 memory=7382 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9599/stat : 9599 (java) S 9472 9478 8231 0 -1 1077944384 3 13184 0 0 0 0 5 2 20 0 15 0 231390076 11246788608 22101 33554432000 4194304 4196468 140729516691072 139957711493712 139959385667483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9600] ppid=9472 vsize=10983192 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/9478/task/9600/stat : 9600 (java) S 9472 9478 8231 0 -1 1077944384 1110 13184 0 0 10 0 5 2 20 0 15 0 231390076 11246788608 22101 33554432000 4194304 4196468 140729516691072 139958353332336 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9601] ppid=9472 vsize=10983192 memory=7020451688220970889 CPUtime=0.13 cores=1,3,5,7
/proc/9478/task/9601/stat : 9601 (java) S 9472 9478 8231 0 -1 1077944384 558 13184 0 0 6 0 5 2 20 0 15 0 231390076 11246788608 22101 33554432000 4194304 4196468 140729516691072 139958352279536 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9602] ppid=9472 vsize=10983192 memory=5931329019416957801 CPUtime=0.19 cores=1,3,5,7
/proc/9478/task/9602/stat : 9602 (java) S 9472 9478 8231 0 -1 1077944384 748 13184 0 0 12 0 5 2 20 0 15 0 231390076 11246788608 22101 33554432000 4194304 4196468 140729516691072 139958351227248 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9607] ppid=9472 vsize=10983192 memory=7306334383744505449 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9607/stat : 9607 (java) S 9472 9478 8231 0 -1 1077944384 3 13184 0 0 0 0 5 2 20 0 15 0 231390076 11246788608 22101 33554432000 4194304 4196468 140729516691072 139957280696800 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9609] ppid=9472 vsize=10983192 memory=7588684550706915689 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9609/stat : 9609 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390076 11246788608 22101 33554432000 4194304 4196468 140729516691072 139958350175152 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88404 KiB

[startup+1.50078 s]
/proc/loadavg: 1.18 1.78 1.97 6/216 9610
/proc/meminfo: memFree=15682528/32770624 swapFree=67108792/67108860
[pid=9478] ppid=9472 vsize=10993996 memory=182088 CPUtime=3.01 cores=1,3,5,7
/proc/9478/stat : 9478 (java) S 9472 9478 8231 0 -1 1077944320 24931 13184 1 0 285 9 5 2 20 0 15 0 231390060 11257851904 45522 33554432000 4194304 4196468 140729516691072 140729516673616 139959385648887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
/proc/9478/statm: 2748499 45522 3449 1 0 2710157 0
[pid=9478/tid=9584] ppid=9472 vsize=10993996 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/9478/task/9584/stat : 9584 (java) R 9472 9478 8231 0 -1 4202560 16151 13184 0 0 128 7 5 2 20 0 15 0 231390070 11257851904 45522 33554432000 4194304 4196468 140729516691072 139959357471536 139959385670813 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9586] ppid=9472 vsize=10993996 memory=102236 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9586/stat : 9586 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390071 11257851904 45522 33554432000 4194304 4196468 140729516691072 139959389890960 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9587] ppid=9472 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9587/stat : 9587 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390071 11257851904 45522 33554432000 4194304 4196468 140729516691072 139959244609808 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9590] ppid=9472 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9590/stat : 9590 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390071 11257851904 45522 33554432000 4194304 4196468 140729516691072 139959243557520 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9592] ppid=9472 vsize=10993996 memory=280350635128352 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9592/stat : 9592 (java) S 9472 9478 8231 0 -1 1077944384 2 13184 0 0 0 0 5 2 20 0 15 0 231390071 11257851904 45522 33554432000 4194304 4196468 140729516691072 139959242504720 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9594] ppid=9472 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9594/stat : 9594 (java) S 9472 9478 8231 0 -1 1077944384 14 13184 0 0 0 0 5 2 20 0 15 0 231390073 11257851904 45522 33554432000 4194304 4196468 140729516691072 139958354385520 139959385660034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9595] ppid=9472 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9595/stat : 9595 (java) S 9472 9478 8231 0 -1 1077944384 13 13184 0 0 0 0 5 2 20 0 15 0 231390073 11257851904 45522 33554432000 4194304 4196468 140729516691072 139958220219680 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9597] ppid=9472 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9597/stat : 9597 (java) S 9472 9478 8231 0 -1 1077944384 1 13184 0 0 0 0 5 2 20 0 15 0 231390073 11257851904 45522 33554432000 4194304 4196468 140729516691072 139958018893424 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9599] ppid=9472 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9599/stat : 9599 (java) S 9472 9478 8231 0 -1 1077944384 3 13184 0 0 0 0 5 2 20 0 15 0 231390076 11257851904 45522 33554432000 4194304 4196468 140729516691072 139957711493712 139959385667483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9600] ppid=9472 vsize=10993996 memory=4580 CPUtime=0.65 cores=1,3,5,7
/proc/9478/task/9600/stat : 9600 (java) R 9472 9478 8231 0 -1 4202560 2549 13184 0 0 58 0 5 2 20 0 15 0 231390076 11257851904 45522 33554432000 4194304 4196468 140729516691072 139958353324824 139959366838167 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9601] ppid=9472 vsize=10993996 memory=7007707949446489191 CPUtime=0.59 cores=1,3,5,7
/proc/9478/task/9601/stat : 9601 (java) R 9472 9478 8231 0 -1 4202560 2207 13184 0 0 52 0 5 2 20 0 15 0 231390076 11257851904 45522 33554432000 4194304 4196468 140729516691072 139958352264816 139959367172492 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9602] ppid=9472 vsize=10993996 memory=11477719932 CPUtime=0.52 cores=1,3,5,7
/proc/9478/task/9602/stat : 9602 (java) S 9472 9478 8231 0 -1 1077944384 1788 13184 0 0 44 1 5 2 20 0 15 0 231390076 11257851904 45522 33554432000 4194304 4196468 140729516691072 139958351227248 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9607] ppid=9472 vsize=10993996 memory=140175317671471 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9607/stat : 9607 (java) S 9472 9478 8231 0 -1 1077944384 3 13184 0 0 0 0 5 2 20 0 15 0 231390076 11257851904 45522 33554432000 4194304 4196468 140729516691072 139957280696800 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9609] ppid=9472 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9609/stat : 9609 (java) S 9472 9478 8231 0 -1 1077944384 2 13184 0 0 0 0 5 2 20 0 15 0 231390076 11257851904 45522 33554432000 4194304 4196468 140729516691072 139958350175152 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 10993996 KiB
Current children cumulated memory: 182088 KiB

[startup+3.11129 s]
/proc/loadavg: 1.33 1.80 1.98 11/216 9610
/proc/meminfo: memFree=15403308/32770624 swapFree=67108792/67108860
[pid=9478] ppid=9472 vsize=11006304 memory=256432 CPUtime=7.04 cores=1,3,5,7
/proc/9478/stat : 9478 (java) S 9472 9478 8231 0 -1 1077944320 34079 13184 1 0 681 16 5 2 20 0 15 0 231390060 11270455296 64108 33554432000 4194304 4196468 140729516691072 140729516673616 139959385648887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
/proc/9478/statm: 2751576 64108 3492 1 0 2713229 0

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

/proc/9478/task/9584/stat : 9584 (java) R 9472 9478 8231 0 -1 4202560 401133 13184 0 0 231071 83 5 2 20 0 15 0 231390070 11348049920 548725 33554432000 4194304 4196468 140729516691072 139959357483552 139958934345540 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9586] ppid=9472 vsize=11082080 memory=2194900 CPUtime=9.27 cores=1,3,5,7
/proc/9478/task/9586/stat : 9586 (java) S 9472 9478 8231 0 -1 1077944384 17080 13184 0 0 866 54 5 2 20 0 15 0 231390071 11348049920 548725 33554432000 4194304 4196468 140729516691072 139959389890960 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9587] ppid=9472 vsize=11082080 memory=2192836 CPUtime=9.28 cores=1,3,5,7
/proc/9478/task/9587/stat : 9587 (java) S 9472 9478 8231 0 -1 1077944384 14503 13184 0 0 869 52 5 2 20 0 15 0 231390071 11348049920 548725 33554432000 4194304 4196468 140729516691072 139959244609808 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9590] ppid=9472 vsize=11082080 memory=2194900 CPUtime=9.28 cores=1,3,5,7
/proc/9478/task/9590/stat : 9590 (java) S 9472 9478 8231 0 -1 1077944384 17527 13184 0 0 868 53 5 2 20 0 15 0 231390071 11348049920 548725 33554432000 4194304 4196468 140729516691072 139959243557520 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9592] ppid=9472 vsize=11082080 memory=2194900 CPUtime=9.23 cores=1,3,5,7
/proc/9478/task/9592/stat : 9592 (java) S 9472 9478 8231 0 -1 1077944384 22798 13184 0 0 864 52 5 2 20 0 15 0 231390071 11348049920 548725 33554432000 4194304 4196468 140729516691072 139959242504720 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9594] ppid=9472 vsize=11082080 memory=2194900 CPUtime=1.04 cores=1,3,5,7
/proc/9478/task/9594/stat : 9594 (java) S 9472 9478 8231 0 -1 1077944384 29296 13184 0 0 84 13 5 2 20 0 15 0 231390073 11348049920 548725 33554432000 4194304 4196468 140729516691072 139958354385520 139959385660034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9595] ppid=9472 vsize=11082080 memory=2194900 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9595/stat : 9595 (java) S 9472 9478 8231 0 -1 1077944384 19 13184 0 0 0 0 5 2 20 0 15 0 231390073 11348049920 548725 33554432000 4194304 4196468 140729516691072 139958220219808 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9597] ppid=9472 vsize=11082080 memory=2194900 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9597/stat : 9597 (java) S 9472 9478 8231 0 -1 1077944384 20 13184 0 0 0 0 5 2 20 0 15 0 231390073 11348049920 548725 33554432000 4194304 4196468 140729516691072 139958018893440 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9599] ppid=9472 vsize=11082080 memory=2184632 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9599/stat : 9599 (java) S 9472 9478 8231 0 -1 1077944384 3 13184 0 0 0 0 5 2 20 0 15 0 231390076 11348049920 548725 33554432000 4194304 4196468 140729516691072 139957711493712 139959385667483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9600] ppid=9472 vsize=11082080 memory=2194900 CPUtime=11.22 cores=1,3,5,7
/proc/9478/task/9600/stat : 9600 (java) S 9472 9478 8231 0 -1 1077944384 54641 13184 0 0 1110 5 5 2 20 0 15 0 231390076 11348049920 548725 33554432000 4194304 4196468 140729516691072 139958353332336 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9601] ppid=9472 vsize=11082080 memory=2194900 CPUtime=10.77 cores=1,3,5,7
/proc/9478/task/9601/stat : 9601 (java) S 9472 9478 8231 0 -1 1077944384 51307 13184 0 0 1063 7 5 2 20 0 15 0 231390076 11348049920 548725 33554432000 4194304 4196468 140729516691072 139958352279536 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9602] ppid=9472 vsize=11082080 memory=3892 CPUtime=3.62 cores=1,3,5,7
/proc/9478/task/9602/stat : 9602 (java) S 9472 9478 8231 0 -1 1077944384 50289 13184 0 0 347 8 5 2 20 0 15 0 231390076 11348049920 548725 33554432000 4194304 4196468 140729516691072 139958351227248 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9607] ppid=9472 vsize=11082080 memory=2194900 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9607/stat : 9607 (java) S 9472 9478 8231 0 -1 1077944384 3 13184 0 0 0 0 5 2 20 0 15 0 231390076 11348049920 548725 33554432000 4194304 4196468 140729516691072 139957280696800 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9609] ppid=9472 vsize=11082080 memory=2194900 CPUtime=1.37 cores=1,3,5,7
/proc/9478/task/9609/stat : 9609 (java) S 9472 9478 8231 0 -1 1077944384 1182 13184 0 0 55 75 5 2 20 0 15 0 231390076 11348049920 548725 33554432000 4194304 4196468 140729516691072 139958350175152 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
Current children cumulated CPU time: 2376.17 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2194900 KiB

[startup+2382.3 s]
/proc/loadavg: 1.37 1.53 1.60 4/215 9703
/proc/meminfo: memFree=12310272/32770624 swapFree=67108792/67108860
[pid=9478] ppid=9472 vsize=11082080 memory=2219528 CPUtime=2436.29 cores=1,3,5,7
/proc/9478/stat : 9478 (java) S 9472 9478 8231 0 -1 1077944320 678264 13184 1 0 243225 397 5 2 20 0 15 0 231390060 11348049920 554882 33554432000 4194304 4196468 140729516691072 140729516673616 139959385648887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
/proc/9478/statm: 2770520 554882 3535 1 0 2732173 0
[pid=9478/tid=9584] ppid=9472 vsize=11082080 memory=2219528 CPUtime=2371.58 cores=1,3,5,7
/proc/9478/task/9584/stat : 9584 (java) R 9472 9478 8231 0 -1 4202560 415235 13184 0 0 237067 84 5 2 20 0 15 0 231390070 11348049920 554882 33554432000 4194304 4196468 140729516691072 139959357483584 139958913403936 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9586] ppid=9472 vsize=11082080 memory=239624 CPUtime=9.29 cores=1,3,5,7
/proc/9478/task/9586/stat : 9586 (java) S 9472 9478 8231 0 -1 1077944384 17136 13184 0 0 868 54 5 2 20 0 15 0 231390071 11348049920 554882 33554432000 4194304 4196468 140729516691072 139959389890960 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9587] ppid=9472 vsize=11082080 memory=0 CPUtime=9.3 cores=1,3,5,7
/proc/9478/task/9587/stat : 9587 (java) S 9472 9478 8231 0 -1 1077944384 14774 13184 0 0 871 52 5 2 20 0 15 0 231390071 11348049920 554882 33554432000 4194304 4196468 140729516691072 139959244609808 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9590] ppid=9472 vsize=11082080 memory=2219528 CPUtime=9.3 cores=1,3,5,7
/proc/9478/task/9590/stat : 9590 (java) S 9472 9478 8231 0 -1 1077944384 17868 13184 0 0 870 53 5 2 20 0 15 0 231390071 11348049920 554882 33554432000 4194304 4196468 140729516691072 139959243557520 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9592] ppid=9472 vsize=11082080 memory=2194900 CPUtime=9.25 cores=1,3,5,7
/proc/9478/task/9592/stat : 9592 (java) S 9472 9478 8231 0 -1 1077944384 23060 13184 0 0 866 52 5 2 20 0 15 0 231390071 11348049920 554882 33554432000 4194304 4196468 140729516691072 139959242504720 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9594] ppid=9472 vsize=11082080 memory=2219528 CPUtime=1.05 cores=1,3,5,7
/proc/9478/task/9594/stat : 9594 (java) S 9472 9478 8231 0 -1 1077944384 29499 13184 0 0 85 13 5 2 20 0 15 0 231390073 11348049920 554882 33554432000 4194304 4196468 140729516691072 139958354385520 139959385660034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9595] ppid=9472 vsize=11082080 memory=35444 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9595/stat : 9595 (java) S 9472 9478 8231 0 -1 1077944384 19 13184 0 0 0 0 5 2 20 0 15 0 231390073 11348049920 554882 33554432000 4194304 4196468 140729516691072 139958220219808 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9597] ppid=9472 vsize=11082080 memory=4744 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9597/stat : 9597 (java) S 9472 9478 8231 0 -1 1077944384 20 13184 0 0 0 0 5 2 20 0 15 0 231390073 11348049920 554882 33554432000 4194304 4196468 140729516691072 139958018893440 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9599] ppid=9472 vsize=11082080 memory=3888 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9599/stat : 9599 (java) S 9472 9478 8231 0 -1 1077944384 3 13184 0 0 0 0 5 2 20 0 15 0 231390076 11348049920 554882 33554432000 4194304 4196468 140729516691072 139957711493712 139959385667483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9600] ppid=9472 vsize=11082080 memory=2219528 CPUtime=11.24 cores=1,3,5,7
/proc/9478/task/9600/stat : 9600 (java) S 9472 9478 8231 0 -1 1077944384 55235 13184 0 0 1112 5 5 2 20 0 15 0 231390076 11348049920 554882 33554432000 4194304 4196468 140729516691072 139958353332336 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9601] ppid=9472 vsize=11082080 memory=2219528 CPUtime=10.78 cores=1,3,5,7
/proc/9478/task/9601/stat : 9601 (java) S 9472 9478 8231 0 -1 1077944384 51309 13184 0 0 1064 7 5 2 20 0 15 0 231390076 11348049920 554882 33554432000 4194304 4196468 140729516691072 139958352279536 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9602] ppid=9472 vsize=11082080 memory=3892 CPUtime=3.62 cores=1,3,5,7
/proc/9478/task/9602/stat : 9602 (java) S 9472 9478 8231 0 -1 1077944384 50708 13184 0 0 347 8 5 2 20 0 15 0 231390076 11348049920 554882 33554432000 4194304 4196468 140729516691072 139958351227248 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9607] ppid=9472 vsize=11082080 memory=62960 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9607/stat : 9607 (java) S 9472 9478 8231 0 -1 1077944384 3 13184 0 0 0 0 5 2 20 0 15 0 231390076 11348049920 554882 33554432000 4194304 4196468 140729516691072 139957280696800 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9609] ppid=9472 vsize=11082080 memory=2219528 CPUtime=1.4 cores=1,3,5,7
/proc/9478/task/9609/stat : 9609 (java) S 9472 9478 8231 0 -1 1077944384 1200 13184 0 0 56 77 5 2 20 0 15 0 231390076 11348049920 554882 33554432000 4194304 4196468 140729516691072 139958350175152 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
Current children cumulated CPU time: 2436.29 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2219528 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=9478] ppid=9472 vsize=11082080 memory=2242096 CPUtime=2496.46 cores=1,3,5,7
/proc/9478/stat : 9478 (java) S 9472 9478 8231 0 -1 1077944320 704964 13184 1 0 249238 401 5 2 20 0 15 0 231390060 11348049920 560524 33554432000 4194304 4196468 140729516691072 140729516673616 139959385648887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
/proc/9478/statm: 2770520 560524 3535 1 0 2732173 0
[pid=9478/tid=9584] ppid=9472 vsize=11082080 memory=280350636904832 CPUtime=2431.55 cores=1,3,5,7
/proc/9478/task/9584/stat : 9584 (java) R 9472 9478 8231 0 -1 4202560 438970 13184 0 0 243062 86 5 2 20 0 15 0 231390070 11348049920 560524 33554432000 4194304 4196468 140729516691072 139959357482232 139958924739651 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9586] ppid=9472 vsize=11082080 memory=2242096 CPUtime=9.31 cores=1,3,5,7
/proc/9478/task/9586/stat : 9586 (java) S 9472 9478 8231 0 -1 1077944384 17203 13184 0 0 870 54 5 2 20 0 15 0 231390071 11348049920 560524 33554432000 4194304 4196468 140729516691072 139959389890960 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9587] ppid=9472 vsize=11082080 memory=2227728 CPUtime=9.33 cores=1,3,5,7
/proc/9478/task/9587/stat : 9587 (java) S 9472 9478 8231 0 -1 1077944384 15031 13184 0 0 874 52 5 2 20 0 15 0 231390071 11348049920 560524 33554432000 4194304 4196468 140729516691072 139959244609808 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9590] ppid=9472 vsize=11082080 memory=2240040 CPUtime=9.33 cores=1,3,5,7
/proc/9478/task/9590/stat : 9590 (java) S 9472 9478 8231 0 -1 1077944384 18164 13184 0 0 873 53 5 2 20 0 15 0 231390071 11348049920 560524 33554432000 4194304 4196468 140729516691072 139959243557520 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9592] ppid=9472 vsize=11082080 memory=2227728 CPUtime=9.28 cores=1,3,5,7
/proc/9478/task/9592/stat : 9592 (java) S 9472 9478 8231 0 -1 1077944384 23247 13184 0 0 869 52 5 2 20 0 15 0 231390071 11348049920 560524 33554432000 4194304 4196468 140729516691072 139959242504720 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9594] ppid=9472 vsize=11082080 memory=2242096 CPUtime=1.05 cores=1,3,5,7
/proc/9478/task/9594/stat : 9594 (java) S 9472 9478 8231 0 -1 1077944384 29669 13184 0 0 85 13 5 2 20 0 15 0 231390073 11348049920 560524 33554432000 4194304 4196468 140729516691072 139958354385520 139959385660034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9595] ppid=9472 vsize=11082080 memory=2240040 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9595/stat : 9595 (java) S 9472 9478 8231 0 -1 1077944384 19 13184 0 0 0 0 5 2 20 0 15 0 231390073 11348049920 560524 33554432000 4194304 4196468 140729516691072 139958220219808 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9597] ppid=9472 vsize=11082080 memory=2240040 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9597/stat : 9597 (java) S 9472 9478 8231 0 -1 1077944384 20 13184 0 0 0 0 5 2 20 0 15 0 231390073 11348049920 560524 33554432000 4194304 4196468 140729516691072 139958018893440 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9599] ppid=9472 vsize=11082080 memory=2240040 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9599/stat : 9599 (java) S 9472 9478 8231 0 -1 1077944384 3 13184 0 0 0 0 5 2 20 0 15 0 231390076 11348049920 560524 33554432000 4194304 4196468 140729516691072 139957711493712 139959385667483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9600] ppid=9472 vsize=11082080 memory=2240040 CPUtime=11.27 cores=1,3,5,7
/proc/9478/task/9600/stat : 9600 (java) S 9472 9478 8231 0 -1 1077944384 55567 13184 0 0 1115 5 5 2 20 0 15 0 231390076 11348049920 560524 33554432000 4194304 4196468 140729516691072 139958353332336 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9601] ppid=9472 vsize=11082080 memory=2242096 CPUtime=10.8 cores=1,3,5,7
/proc/9478/task/9601/stat : 9601 (java) S 9472 9478 8231 0 -1 1077944384 52310 13184 0 0 1066 7 5 2 20 0 15 0 231390076 11348049920 560524 33554432000 4194304 4196468 140729516691072 139958352279536 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9602] ppid=9472 vsize=11082080 memory=2242096 CPUtime=3.63 cores=1,3,5,7
/proc/9478/task/9602/stat : 9602 (java) S 9472 9478 8231 0 -1 1077944384 51344 13184 0 0 348 8 5 2 20 0 15 0 231390076 11348049920 560524 33554432000 4194304 4196468 140729516691072 139958351227248 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9607] ppid=9472 vsize=11082080 memory=2304 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9607/stat : 9607 (java) S 9472 9478 8231 0 -1 1077944384 3 13184 0 0 0 0 5 2 20 0 15 0 231390076 11348049920 560524 33554432000 4194304 4196468 140729516691072 139957280696800 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9609] ppid=9472 vsize=11082080 memory=2242096 CPUtime=1.44 cores=1,3,5,7
/proc/9478/task/9609/stat : 9609 (java) S 9472 9478 8231 0 -1 1077944384 1219 13184 0 0 58 79 5 2 20 0 15 0 231390076 11348049920 560524 33554432000 4194304 4196468 140729516691072 139958350175152 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
Current children cumulated CPU time: 2496.46 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2242096 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2465.8 s]
/proc/loadavg: 1.59 1.57 1.61 2/215 9837
/proc/meminfo: memFree=13339816/32770624 swapFree=67108792/67108860
[pid=9478] ppid=9472 vsize=11082080 memory=2252068 CPUtime=2520.02 cores=1,3,5,7
/proc/9478/stat : 9478 (java) S 9472 9478 8231 0 -1 1077944320 716177 13184 1 0 251592 403 5 2 20 0 15 0 231390060 11348049920 563017 33554432000 4194304 4196468 140729516691072 140729516673616 139959385648887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
/proc/9478/statm: 2770520 563017 3535 1 0 2732173 0
[pid=9478/tid=9584] ppid=9472 vsize=11082080 memory=7136 CPUtime=2455.03 cores=1,3,5,7
/proc/9478/task/9584/stat : 9584 (java) R 9472 9478 8231 0 -1 4202560 450014 13184 0 0 245409 87 5 2 20 0 15 0 231390070 11348049920 563017 33554432000 4194304 4196468 140729516691072 139959357483632 139958933922143 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9586] ppid=9472 vsize=11082080 memory=748 CPUtime=9.32 cores=1,3,5,7
/proc/9478/task/9586/stat : 9586 (java) S 9472 9478 8231 0 -1 1077944384 17244 13184 0 0 871 54 5 2 20 0 15 0 231390071 11348049920 563017 33554432000 4194304 4196468 140729516691072 139959389890960 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9587] ppid=9472 vsize=11082080 memory=872 CPUtime=9.34 cores=1,3,5,7
/proc/9478/task/9587/stat : 9587 (java) S 9472 9478 8231 0 -1 1077944384 15111 13184 0 0 875 52 5 2 20 0 15 0 231390071 11348049920 563017 33554432000 4194304 4196468 140729516691072 139959244609808 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9590] ppid=9472 vsize=11082080 memory=1220 CPUtime=9.34 cores=1,3,5,7
/proc/9478/task/9590/stat : 9590 (java) S 9472 9478 8231 0 -1 1077944384 18172 13184 0 0 874 53 5 2 20 0 15 0 231390071 11348049920 563017 33554432000 4194304 4196468 140729516691072 139959243557520 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9592] ppid=9472 vsize=11082080 memory=1108 CPUtime=9.29 cores=1,3,5,7
/proc/9478/task/9592/stat : 9592 (java) S 9472 9478 8231 0 -1 1077944384 23277 13184 0 0 870 52 5 2 20 0 15 0 231390071 11348049920 563017 33554432000 4194304 4196468 140729516691072 139959242504720 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9594] ppid=9472 vsize=11082080 memory=15336 CPUtime=1.06 cores=1,3,5,7
/proc/9478/task/9594/stat : 9594 (java) S 9472 9478 8231 0 -1 1077944384 29677 13184 0 0 86 13 5 2 20 0 15 0 231390073 11348049920 563017 33554432000 4194304 4196468 140729516691072 139958354385520 139959385660034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9595] ppid=9472 vsize=11082080 memory=15840 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9595/stat : 9595 (java) S 9472 9478 8231 0 -1 1077944384 19 13184 0 0 0 0 5 2 20 0 15 0 231390073 11348049920 563017 33554432000 4194304 4196468 140729516691072 139958220219808 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9597] ppid=9472 vsize=11082080 memory=35444 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9597/stat : 9597 (java) S 9472 9478 8231 0 -1 1077944384 20 13184 0 0 0 0 5 2 20 0 15 0 231390073 11348049920 563017 33554432000 4194304 4196468 140729516691072 139958018893440 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9599] ppid=9472 vsize=11082080 memory=3304 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9599/stat : 9599 (java) S 9472 9478 8231 0 -1 1077944384 3 13184 0 0 0 0 5 2 20 0 15 0 231390076 11348049920 563017 33554432000 4194304 4196468 140729516691072 139957711493712 139959385667483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9600] ppid=9472 vsize=11082080 memory=496 CPUtime=11.27 cores=1,3,5,7
/proc/9478/task/9600/stat : 9600 (java) S 9472 9478 8231 0 -1 1077944384 55567 13184 0 0 1115 5 5 2 20 0 15 0 231390076 11348049920 563017 33554432000 4194304 4196468 140729516691072 139958353332336 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9601] ppid=9472 vsize=11082080 memory=2252068 CPUtime=10.81 cores=1,3,5,7
/proc/9478/task/9601/stat : 9601 (java) S 9472 9478 8231 0 -1 1077944384 52310 13184 0 0 1067 7 5 2 20 0 15 0 231390076 11348049920 563017 33554432000 4194304 4196468 140729516691072 139958352279536 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9602] ppid=9472 vsize=11082080 memory=1168 CPUtime=3.63 cores=1,3,5,7
/proc/9478/task/9602/stat : 9602 (java) S 9472 9478 8231 0 -1 1077944384 51344 13184 0 0 348 8 5 2 20 0 15 0 231390076 11348049920 563017 33554432000 4194304 4196468 140729516691072 139958351227248 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9607] ppid=9472 vsize=11082080 memory=1752 CPUtime=0.07 cores=1,3,5,7
/proc/9478/task/9607/stat : 9607 (java) S 9472 9478 8231 0 -1 1077944384 3 13184 0 0 0 0 5 2 20 0 15 0 231390076 11348049920 563017 33554432000 4194304 4196468 140729516691072 139957280696800 139959385659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
[pid=9478/tid=9609] ppid=9472 vsize=11082080 memory=1620 CPUtime=1.45 cores=1,3,5,7
/proc/9478/task/9609/stat : 9609 (java) S 9472 9478 8231 0 -1 1077944384 1221 13184 0 0 59 79 5 2 20 0 15 0 231390076 11348049920 563017 33554432000 4194304 4196468 140729516691072 139958350175152 139959385660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13365248 140729516694116 140729516696924 140729516696924 140729516699599 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2252068 KiB

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

[startup+2465.84 s]
# the end of solver process 9478 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516 s, system=4.08072 s

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

Child status: 143
Real time (s): 2465.84
CPU time (s): 2520.08
CPU user time (s): 2516
CPU system time (s): 4.08072
CPU usage (%): 102.2
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 3454068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516
system time used= 4.08072
maximum resident set size= 3454088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 730611
page faults= 1
swaps= 0
block input operations= 2928
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77875
involuntary context switches= 2078


# summary of solver processes directly reported to runsolver:
#   pid: 9478
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2516
#   total CPU system time (s): 4.08072

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0452 second user time and 22.5443 second system time

The end

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

Trace number 4304722

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