Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.8 2018-06-13 | SAT (TO) | 21482 | 2520.1 | 2442.93 |
| Name | TravelingTournament/ TravelingTournament-a3-galaxy16_c18.xml |
| MD5SUM | e08ad5e9bb2dce0f9ded0033a126b6aa |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 20855 |
| Best CPU time to get the best result obtained on this benchmark | 2520.12 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1936 |
| Number of constraints | 8495 |
| Number of domains | 3 |
| Minimum domain size | 2 |
| Maximum domain size | 66 |
| Distribution of domain sizes | [{"size":2,"count":960},{"size":16,"count":480},{"size":66,"count":496}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 50 |
| Distribution of variable degrees | [{"degree":2,"count":976},{"degree":47,"count":448},{"degree":48,"count":480},{"degree":49,"count":30},{"degree":50,"count":2}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":2,"count":481},{"arity":3,"count":32},{"arity":4,"count":6496},{"arity":5,"count":464},{"arity":16,"count":510},{"arity":18,"count":480},{"arity":30,"count":32}] |
| Number of extensional constraints | 496 |
| Number of intensional constraints | 6977 |
| Distribution of constraint types | [{"type":"extension","count":496},{"type":"intension","count":6977},{"type":"regular","count":16},{"type":"allDifferent","count":30},{"type":"cardinality","count":16},{"type":"element","count":960}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.97/0.75 c Concrete v3.8.1528841891564 running 125.88/99.40 o 23418 126.51/99.94 o 23406 126.80/100.05 o 23398 126.80/100.08 o 23291 127.08/100.15 o 23273 127.28/100.27 o 23187 127.54/100.36 o 23127 128.31/100.90 o 23057 130.47/102.84 o 22719 130.47/102.86 o 22685 130.47/102.89 o 22666 130.58/102.98 o 22632 130.68/103.01 o 22554 130.68/103.05 o 22507 130.68/103.07 o 22475 130.68/103.09 o 22398 130.88/103.22 o 22390 130.88/103.24 o 22357 130.88/103.27 o 22352 130.88/103.29 o 22335 131.03/103.31 o 22332 131.58/103.81 o 22203 131.79/104.08 o 22161 269.59/239.73 o 21611 1047.25/1001.96 o 21602 1047.35/1002.03 o 21601 1047.56/1002.28 o 21556 1172.14/1123.90 o 21492 1207.79/1158.86 o 21482 2520.04/2442.91 Exception in thread "main" java.util.concurrent.TimeoutException 2520.04/2442.91 at concrete.MAC.mac(MAC.scala:188) 2520.04/2442.91 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.04/2442.91 at scala.util.Try$.apply(Try.scala:209) 2520.04/2442.91 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.04/2442.91 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.04/2442.91 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.04/2442.91 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.04/2442.91 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.04/2442.91 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.04/2442.91 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.04/2442.91 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.04/2442.91 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.04/2442.91 at concrete.MAC.oneRun(MAC.scala:253) 2520.04/2442.91 at concrete.MAC.nextSolution(MAC.scala:272) 2520.04/2442.91 at concrete.MAC.nextSolution(MAC.scala:355) 2520.04/2442.91 at concrete.Solver.hasNext(Solver.scala:166) 2520.04/2442.91 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.04/2442.91 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.04/2442.91 at concrete.Solver.foreach(Solver.scala:68) 2520.04/2442.91 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.04/2442.91 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.04/2442.91 at scala.util.Success.map(Try.scala:209) 2520.04/2442.91 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.04/2442.91 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.04/2442.91 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.04/2442.91 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.04/2442.91 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.04/2442.91 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.04/2442.91 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.04/2442.91 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.04/2442.91 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.04/2442.91 at scala.collection.immutable.List.foreach(List.scala:389) 2520.04/2442.91 at scala.App.main(App.scala:76) 2520.04/2442.91 at scala.App.main$(App.scala:74) 2520.04/2442.91 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.04/2442.91 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.04/2442.92 v <instantiation cost="21482"> 2520.04/2442.92 v <list> 2520.04/2442.92 v o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[0][26] h[0][27] h[0][28] h[0][29] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[1][26] h[1][27] h[1][28] h[1][29] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[2][26] h[2][27] h[2][28] h[2][29] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[3][26] h[3][27] h[3][28] h[3][29] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[4][26] h[4][27] h[4][28] h[4][29] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[5][26] h[5][27] h[5][28] h[5][29] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[6][26] h[6][27] h[6][28] h[6][29] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[7][26] h[7][27] h[7][28] h[7][29] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[8][26] h[8][27] h[8][28] h[8][29] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[9][26] h[9][27] h[9][28] h[9][29] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[10][26] h[10][27] h[10][28] h[10][29] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[11][26] h[11][27] h[11][28] h[11][29] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[12][26] h[12][27] h[12][28] h[12][29] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] h[13][26] h[13][27] h[13][28] h[13][29] h[14][0] h[14][1] h[14][2] h[14][3] h[14][4] h[14][5] h[14][6] h[14][7] h[14][8] h[14][9] h[14][10] h[14][11] h[14][12] h[14][13] h[14][14] h[14][15] h[14][16] h[14][17] h[14][18] h[14][19] h[14][20] h[14][21] h[14][22] h[14][23] h[14][24] h[14][25] h[14][26] h[14][27] h[14][28] h[14][29] h[15][0] h[15][1] h[15][2] h[15][3] h[15][4] h[15][5] h[15][6] h[15][7] h[15][8] h[15][9] h[15][10] h[15][11] h[15][12] h[15][13] h[15][14] h[15][15] h[15][16] h[15][17] h[15][18] h[15][19] h[15][20] h[15][21] h[15][22] h[15][23] h[15][24] h[15][25] h[15][26] h[15][27] h[15][28] h[15][29] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[0][26] a[0][27] a[0][28] a[0][29] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[1][26] a[1][27] a[1][28] a[1][29] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[2][26] a[2][27] a[2][28] a[2][29] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[3][26] a[3][27] a[3][28] a[3][29] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[4][26] a[4][27] a[4][28] a[4][29] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[5][26] a[5][27] a[5][28] a[5][29] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[6][26] a[6][27] a[6][28] a[6][29] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[7][26] a[7][27] a[7][28] a[7][29] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[8][26] a[8][27] a[8][28] a[8][29] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[9][26] a[9][27] a[9][28] a[9][29] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[10][26] a[10][27] a[10][28] a[10][29] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[11][26] a[11][27] a[11][28] a[11][29] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[12][26] a[12][27] a[12][28] a[12][29] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] a[13][26] a[13][27] a[13][28] a[13][29] a[14][0] a[14][1] a[14][2] a[14][3] a[14][4] a[14][5] a[14][6] a[14][7] a[14][8] a[14][9] a[14][10] a[14][11] a[14][12] a[14][13] a[14][14] a[14][15] a[14][16] a[14][17] a[14][18] a[14][19] a[14][20] a[14][21] a[14][22] a[14][23] a[14][24] a[14][25] a[14][26] a[14][27] a[14][28] a[14][29] a[15][0] a[15][1] a[15][2] a[15][3] a[15][4] a[15][5] a[15][6] a[15][7] a[15][8] a[15][9] a[15][10] a[15][11] a[15][12] a[15][13] a[15][14] a[15][15] a[15][16] a[15][17] a[15][18] a[15][19] a[15][20] a[15][21] a[15][22] a[15][23] a[15][24] a[15][25] a[15][26] a[15][27] a[15][28] a[15][29] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[0][27] t[0][28] t[0][29] t[0][30] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[1][27] t[1][28] t[1][29] t[1][30] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[2][27] t[2][28] t[2][29] t[2][30] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[3][27] t[3][28] t[3][29] t[3][30] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[4][27] t[4][28] t[4][29] t[4][30] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[5][27] t[5][28] t[5][29] t[5][30] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[6][27] t[6][28] t[6][29] t[6][30] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[7][27] t[7][28] t[7][29] t[7][30] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[8][27] t[8][28] t[8][29] t[8][30] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[9][27] t[9][28] t[9][29] t[9][30] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[10][27] t[10][28] t[10][29] t[10][30] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[11][27] t[11][28] t[11][29] t[11][30] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[12][27] t[12][28] t[12][29] t[12][30] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26] t[13][27] t[13][28] t[13][29] t[13][30] t[14][0] t[14][1] t[14][2] t[14][3] t[14][4] t[14][5] t[14][6] t[14][7] t[14][8] t[14][9] t[14][10] t[14][11] t[14][12] t[14][13] t[14][14] t[14][15] t[14][16] t[14][17] t[14][18] t[14][19] t[14][20] t[14][21] t[14][22] t[14][23] t[14][24] t[14][25] t[14][26] t[14][27] t[14][28] t[14][29] t[14][30] t[15][0] t[15][1] t[15][2] t[15][3] t[15][4] t[15][5] t[15][6] t[15][7] t[15][8] t[15][9] t[15][10] t[15][11] t[15][12] t[15][13] t[15][14] t[15][15] t[15][16] t[15][17] t[15][18] t[15][19] t[15][20] t[15][21] t[15][22] t[15][23] t[15][24] t[15][25] t[15][26] t[15][27] t[15][28] t[15][29] t[15][30] 2520.04/2442.92 v </list> 2520.04/2442.92 v <values> 2520.04/2442.92 v 4 4 1 13 5 6 5 12 3 8 6 13 14 11 3 15 14 8 10 7 10 2 9 12 15 2 11 7 1 9 3 6 0 15 13 2 8 15 6 5 2 11 13 14 8 14 4 10 11 10 12 5 3 7 9 7 4 9 0 12 7 10 6 4 10 1 14 13 13 7 1 4 6 8 15 11 11 12 14 12 3 0 5 9 3 0 9 5 15 8 1 8 14 12 8 7 6 10 0 13 15 14 5 12 0 9 9 15 13 11 2 11 1 10 2 5 7 4 4 6 0 0 7 2 6 9 15 11 5 11 10 2 9 7 12 5 1 6 12 8 8 14 15 14 10 13 1 3 3 13 12 13 12 10 0 13 0 8 4 1 9 6 3 15 10 4 7 11 6 15 9 1 2 8 7 3 14 2 11 14 15 1 2 9 4 0 3 7 1 9 0 5 2 10 11 7 10 4 5 13 11 12 13 15 8 8 12 14 14 3 2 12 4 11 14 3 11 6 8 2 14 12 8 4 9 6 5 9 15 0 13 13 10 1 5 1 3 0 10 15 9 3 11 14 3 15 1 5 7 0 13 10 7 2 1 12 12 0 9 4 4 15 14 5 6 6 10 11 13 2 8 11 13 6 12 4 10 14 15 6 5 15 4 13 7 3 3 7 8 14 5 10 0 2 1 11 2 1 12 0 13 2 15 5 2 12 9 3 11 14 4 8 12 6 5 13 6 1 0 1 0 9 7 3 4 14 8 15 7 11 14 9 8 7 15 14 7 4 10 4 12 1 15 0 6 2 2 5 1 3 6 3 12 13 13 9 0 8 5 10 5 7 5 3 9 10 13 0 14 15 11 7 10 3 4 8 8 2 4 2 1 6 11 0 14 15 6 13 9 1 10 5 9 0 1 5 12 2 2 3 8 0 1 9 14 10 15 14 3 6 7 7 6 11 11 4 15 12 8 4 11 15 3 8 7 11 2 9 12 10 7 3 0 1 13 1 0 13 2 9 15 4 8 4 12 10 5 6 6 5 6 14 10 1 11 8 4 1 9 12 3 9 11 5 2 0 13 3 7 5 14 8 4 6 0 12 13 10 2 7 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 1 1 0 1 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 1 0 1 1 0 0 0 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 1 1 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 1 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 1 1 1 0 1 1 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 1 0 0 0 1 1 0 0 0 1 0 1 0 1 1 0 1 1 1 0 1 1 1 0 0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 1 1 0 1 0 1 0 1 0 0 0 1 0 36 36 10 10 39 27 44 0 34 34 0 59 91 59 0 59 59 48 48 44 69 55 51 30 57 15 58 55 0 0 0 32 47 39 68 32 64 46 46 0 0 22 58 64 53 53 0 31 31 0 65 65 40 40 0 43 79 44 0 10 57 55 56 69 55 0 0 22 22 0 61 61 0 45 18 56 59 45 58 48 27 56 0 15 15 49 67 47 0 50 50 53 53 0 68 84 27 80 0 0 69 69 50 32 63 41 41 34 34 67 67 0 0 47 58 64 32 0 0 14 14 51 18 47 0 36 44 56 45 0 90 45 44 35 0 0 55 55 73 73 0 18 18 21 21 0 0 70 111 74 31 32 51 91 91 94 94 0 51 51 75 59 48 42 40 40 27 27 0 0 35 35 44 44 69 103 81 50 50 48 14 41 0 0 93 93 0 0 56 49 55 18 47 14 44 39 44 44 0 75 10 70 0 0 27 27 0 88 90 32 91 31 31 0 83 83 0 0 90 90 67 67 14 14 0 0 56 56 82 81 21 64 59 27 81 79 0 0 41 41 44 44 0 0 44 55 39 57 0 0 0 84 72 68 0 0 81 44 48 0 0 53 22 55 81 0 68 68 21 90 97 42 27 31 73 10 69 104 0 68 68 0 0 30 73 55 0 0 69 27 69 103 93 41 14 67 0 0 17 17 103 103 0 0 105 58 22 43 51 51 66 66 0 0 55 48 30 103 0 111 70 21 73 0 51 51 75 39 10 55 0 0 69 14 69 0 0 39 39 10 10 0 105 68 69 45 105 82 67 10 74 73 105 0 55 55 0 58 58 64 32 47 70 0 0 69 69 0 0 44 44 0 0 0 94 94 0 0 90 59 57 0 0 90 69 69 80 0 81 81 73 45 22 55 105 105 27 105 91 88 30 30 0 0 75 81 51 59 0 0 61 61 0 104 104 64 64 91 111 66 0 50 47 59 41 0 69 69 91 90 97 90 0 0 113 45 105 0 82 82 56 49 30 27 0 72 72 0 0 53 10 59 91 0 0 70 21 84 0 111 51 27 83 0 0 91 91 39 39 0 97 97 68 43 30 97 0 45 44 69 0 32 50 14 57 105 105 90 90 59 59 0 0 59 59 0 2520.04/2442.92 v </values> 2520.04/2442.92 v </instantiation> 2520.04/2442.92 s SATISFIABLE
OK 21482
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 (6688 MiB free)
memory of node 1: 16384 MiB (9512 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295437-1532551572/watcher-4295437-1532551572 -o /tmp/evaluation-result-4295437-1532551572/solver-4295437-1532551572 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532523045-23734 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1537825987 HOME/instance-4295437-1532551572.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=30800, runsolver pid=30797
[startup+0.101851 s]*
/proc/loadavg: 1.25 1.36 1.44 2/206 30857
/proc/meminfo: memFree=16583012/32770624 swapFree=67108796/67108860
[pid=30800] ppid=30797 vsize=9970504 memory=13388 CPUtime=0.08 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30800 23703 0 -1 1077944320 3496 12973 0 0 0 1 4 3 20 0 6 0 72720376 10209796096 3347 33554432000 4194304 4196468 140730246720288 140730246702832 139666404871927 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
/proc/30800/statm: 2492626 3347 1337 1 0 2481537 0
[pid=30800/tid=30853] ppid=30797 vsize=9970504 memory=4279135704047583370 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30853/stat : 30853 (java) R 30797 30800 23703 0 -1 1077944384 1303 12973 0 0 0 0 4 3 20 0 6 0 72720385 10209796096 3347 33554432000 4194304 4196468 140730246720288 139666376708688 139666404895805 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30854] ppid=30797 vsize=9970504 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 6 0 72720386 10209796096 3347 33554432000 4194304 4196468 140730246720288 139666409114768 139666404882133 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30855] ppid=30797 vsize=9970504 memory=140463182636672 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) S 30797 30800 23703 0 -1 1077944384 2 12973 0 0 0 0 4 3 20 0 6 0 72720386 10209796096 3347 33554432000 4194304 4196468 140730246720288 139665977895952 139666404882133 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30856] ppid=30797 vsize=9970504 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 6 0 72720386 10209796096 3347 33554432000 4194304 4196468 140730246720288 139665976843152 139666404882133 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30857] ppid=30797 vsize=9970504 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) S 30797 30800 23703 0 -1 1077944384 2 12973 0 0 0 0 4 3 20 0 6 0 72720386 10209796096 3347 33554432000 4194304 4196468 140730246720288 139665975790352 139666404882133 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9970504 KiB
Current children cumulated memory: 13388 KiB
[startup+0.209845 s]*
/proc/loadavg: 1.25 1.36 1.44 3/215 30866
/proc/meminfo: memFree=16564804/32770624 swapFree=67108796/67108860
[pid=30800] ppid=30797 vsize=10818904 memory=38992 CPUtime=0.24 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30800 23703 0 -1 1077944320 6918 12973 0 0 16 1 4 3 20 0 15 0 72720376 11078557696 9748 33554432000 4194304 4196468 140730246720288 140730246702832 139666404871927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
/proc/30800/statm: 2704726 9748 2984 1 0 2667149 0
[pid=30800/tid=30853] ppid=30797 vsize=10818904 memory=-6517102902069810590 CPUtime=0.17 cores=0,2,4,6
/proc/30800/task/30853/stat : 30853 (java) R 30797 30800 23703 0 -1 4202560 3495 12973 0 0 10 0 4 3 20 0 15 0 72720385 11078557696 9748 33554432000 4194304 4196468 140730246720288 139666376661920 139666385147634 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30854] ppid=30797 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 15 0 72720386 11078557696 9814 33554432000 4194304 4196468 140730246720288 139666409114768 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30855] ppid=30797 vsize=10818904 memory=140463182636672 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) S 30797 30800 23703 0 -1 1077944384 2 12973 0 0 0 0 4 3 20 0 15 0 72720386 11078557696 9814 33554432000 4194304 4196468 140730246720288 139665977895952 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30856] ppid=30797 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 15 0 72720386 11078557696 9814 33554432000 4194304 4196468 140730246720288 139665976843152 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30857] ppid=30797 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) S 30797 30800 23703 0 -1 1077944384 2 12973 0 0 0 0 4 3 20 0 15 0 72720386 11078557696 9814 33554432000 4194304 4196468 140730246720288 139665975790352 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30858] ppid=30797 vsize=10818904 memory=140463182636672 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30858/stat : 30858 (java) S 30797 30800 23703 0 -1 1077944384 2 12973 0 0 0 0 4 3 20 0 15 0 72720388 11078557696 9814 33554432000 4194304 4196468 140730246720288 139665864399216 139666404883074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30859] ppid=30797 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30859/stat : 30859 (java) S 30797 30800 23703 0 -1 1077944384 33 12973 0 0 0 0 4 3 20 0 15 0 72720389 11078557696 9814 33554432000 4194304 4196468 140730246720288 139665863345184 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30860] ppid=30797 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30860/stat : 30860 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 15 0 72720389 11078557696 9814 33554432000 4194304 4196468 140730246720288 139665290027888 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30861] ppid=30797 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30861/stat : 30861 (java) S 30797 30800 23703 0 -1 1077944384 3 12973 0 0 0 0 4 3 20 0 15 0 72720392 11078557696 9814 33554432000 4194304 4196468 140730246720288 139664982628176 139666404890523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30862] ppid=30797 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30800/task/30862/stat : 30862 (java) S 30797 30800 23703 0 -1 1077944384 475 12973 0 0 1 0 4 3 20 0 15 0 72720392 11078557696 9814 33554432000 4194304 4196468 140730246720288 139665829788528 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30863] ppid=30797 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30863/stat : 30863 (java) S 30797 30800 23703 0 -1 1077944384 139 12973 0 0 0 0 4 3 20 0 15 0 72720392 11078557696 9814 33554432000 4194304 4196468 140730246720288 139665828735728 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30864] ppid=30797 vsize=10818904 memory=140463182636672 CPUtime=0.1 cores=0,2,4,6
/proc/30800/task/30864/stat : 30864 (java) S 30797 30800 23703 0 -1 1077944384 598 12973 0 0 3 0 4 3 20 0 15 0 72720392 11078557696 9814 33554432000 4194304 4196468 140730246720288 139665370770032 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30865] ppid=30797 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30865/stat : 30865 (java) S 30797 30800 23703 0 -1 1077944384 3 12973 0 0 0 0 4 3 20 0 15 0 72720392 11078557696 9814 33554432000 4194304 4196468 140730246720288 139664949070560 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30866] ppid=30797 vsize=10818904 memory=140463182636672 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30866/stat : 30866 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 15 0 72720392 11078557696 9880 33554432000 4194304 4196468 140730246720288 139665369717424 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 38992 KiB
[startup+0.310185 s]*
/proc/loadavg: 1.25 1.36 1.44 3/215 30866
/proc/meminfo: memFree=16552360/32770624 swapFree=67108796/67108860
[pid=30800] ppid=30797 vsize=10819352 memory=51928 CPUtime=0.37 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30800 23703 0 -1 1077944320 9991 12973 0 0 28 2 4 3 20 0 15 0 72720376 11079016448 12982 33554432000 4194304 4196468 140730246720288 140730246702832 139666404871927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
/proc/30800/statm: 2704838 12982 3103 1 0 2667149 0
[pid=30800/tid=30853] ppid=30797 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/30800/task/30853/stat : 30853 (java) R 30797 30800 23703 0 -1 4202560 6530 12973 0 0 19 1 4 3 20 0 15 0 72720385 11079016448 12982 33554432000 4194304 4196468 140730246720288 139666376683936 139666386435465 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30854] ppid=30797 vsize=10819352 memory=7445101439888674896 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 15 0 72720386 11079016448 12982 33554432000 4194304 4196468 140730246720288 139666409114768 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30855] ppid=30797 vsize=10819352 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) S 30797 30800 23703 0 -1 1077944384 2 12973 0 0 0 0 4 3 20 0 15 0 72720386 11079016448 12982 33554432000 4194304 4196468 140730246720288 139665977895952 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30856] ppid=30797 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 15 0 72720386 11079016448 12982 33554432000 4194304 4196468 140730246720288 139665976843152 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30857] ppid=30797 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) S 30797 30800 23703 0 -1 1077944384 2 12973 0 0 0 0 4 3 20 0 15 0 72720386 11079016448 12982 33554432000 4194304 4196468 140730246720288 139665975790352 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30858] ppid=30797 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30858/stat : 30858 (java) S 30797 30800 23703 0 -1 1077944384 2 12973 0 0 0 0 4 3 20 0 15 0 72720388 11079016448 12982 33554432000 4194304 4196468 140730246720288 139665864399216 139666404883074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30859] ppid=30797 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30859/stat : 30859 (java) S 30797 30800 23703 0 -1 1077944384 33 12973 0 0 0 0 4 3 20 0 15 0 72720389 11079016448 12982 33554432000 4194304 4196468 140730246720288 139665863345184 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30860] ppid=30797 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30860/stat : 30860 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 15 0 72720389 11079016448 12982 33554432000 4194304 4196468 140730246720288 139665290027888 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30861] ppid=30797 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30861/stat : 30861 (java) S 30797 30800 23703 0 -1 1077944384 3 12973 0 0 0 0 4 3 20 0 15 0 72720392 11079016448 12982 33554432000 4194304 4196468 140730246720288 139664982628176 139666404890523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30862] ppid=30797 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30800/task/30862/stat : 30862 (java) S 30797 30800 23703 0 -1 1077944384 475 12973 0 0 2 0 4 3 20 0 15 0 72720392 11079016448 12982 33554432000 4194304 4196468 140730246720288 139665829788528 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30863] ppid=30797 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30800/task/30863/stat : 30863 (java) S 30797 30800 23703 0 -1 1077944384 142 12973 0 0 1 0 4 3 20 0 15 0 72720392 11079016448 12982 33554432000 4194304 4196468 140730246720288 139665828735728 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30864] ppid=30797 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30800/task/30864/stat : 30864 (java) S 30797 30800 23703 0 -1 1077944384 608 12973 0 0 5 0 4 3 20 0 15 0 72720392 11079016448 12982 33554432000 4194304 4196468 140730246720288 139665370770032 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30865] ppid=30797 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30865/stat : 30865 (java) S 30797 30800 23703 0 -1 1077944384 3 12973 0 0 0 0 4 3 20 0 15 0 72720392 11079016448 12982 33554432000 4194304 4196468 140730246720288 139664949070560 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30866] ppid=30797 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30866/stat : 30866 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 15 0 72720392 11079016448 12982 33554432000 4194304 4196468 140730246720288 139665369717424 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51928 KiB
[startup+0.70072 s]
/proc/loadavg: 1.25 1.36 1.44 3/215 30866
/proc/meminfo: memFree=16541188/32770624 swapFree=67108796/67108860
[pid=30800] ppid=30797 vsize=10819352 memory=86296 CPUtime=0.97 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30800 23703 0 -1 1077944320 16737 12973 0 0 86 4 4 3 20 0 15 0 72720376 11079016448 21574 33554432000 4194304 4196468 140730246720288 140730246702832 139666404871927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
/proc/30800/statm: 2704838 21574 3237 1 0 2667149 0
[pid=30800/tid=30853] ppid=30797 vsize=10819352 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/30800/task/30853/stat : 30853 (java) R 30797 30800 23703 0 -1 4202560 12139 12973 0 0 55 2 4 3 20 0 15 0 72720385 11079016448 21574 33554432000 4194304 4196468 140730246720288 139666376694928 139666385147230 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30854] ppid=30797 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 15 0 72720386 11079016448 21574 33554432000 4194304 4196468 140730246720288 139666409114768 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30855] ppid=30797 vsize=10819352 memory=3708 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) S 30797 30800 23703 0 -1 1077944384 2 12973 0 0 0 0 4 3 20 0 15 0 72720386 11079016448 21574 33554432000 4194304 4196468 140730246720288 139665977895952 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30856] ppid=30797 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 15 0 72720386 11079016448 21574 33554432000 4194304 4196468 140730246720288 139665976843152 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30857] ppid=30797 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) S 30797 30800 23703 0 -1 1077944384 2 12973 0 0 0 0 4 3 20 0 15 0 72720386 11079016448 21574 33554432000 4194304 4196468 140730246720288 139665975790352 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30858] ppid=30797 vsize=10819352 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30858/stat : 30858 (java) S 30797 30800 23703 0 -1 1077944384 5 12973 0 0 0 0 4 3 20 0 15 0 72720388 11079016448 21574 33554432000 4194304 4196468 140730246720288 139665864399216 139666404883074 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30859] ppid=30797 vsize=10819352 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30859/stat : 30859 (java) S 30797 30800 23703 0 -1 1077944384 33 12973 0 0 0 0 4 3 20 0 15 0 72720389 11079016448 21574 33554432000 4194304 4196468 140730246720288 139665863345184 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30860] ppid=30797 vsize=10819352 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30860/stat : 30860 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 15 0 72720389 11079016448 21574 33554432000 4194304 4196468 140730246720288 139665290027888 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30861] ppid=30797 vsize=10819352 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30861/stat : 30861 (java) S 30797 30800 23703 0 -1 1077944384 3 12973 0 0 0 0 4 3 20 0 15 0 72720392 11079016448 21574 33554432000 4194304 4196468 140730246720288 139664982628176 139666404890523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30862] ppid=30797 vsize=10819352 memory=13252 CPUtime=0.14 cores=0,2,4,6
/proc/30800/task/30862/stat : 30862 (java) S 30797 30800 23703 0 -1 1077944384 843 12973 0 0 7 0 4 3 20 0 15 0 72720392 11079016448 21574 33554432000 4194304 4196468 140730246720288 139665829788528 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30863] ppid=30797 vsize=10819352 memory=15460 CPUtime=0.16 cores=0,2,4,6
/proc/30800/task/30863/stat : 30863 (java) S 30797 30800 23703 0 -1 1077944384 832 12973 0 0 9 0 4 3 20 0 15 0 72720392 11079016448 21574 33554432000 4194304 4196468 140730246720288 139665828735728 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30864] ppid=30797 vsize=10819352 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/30800/task/30864/stat : 30864 (java) S 30797 30800 23703 0 -1 1077944384 684 12973 0 0 13 0 4 3 20 0 15 0 72720392 11079016448 21574 33554432000 4194304 4196468 140730246720288 139665370770032 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30865] ppid=30797 vsize=10819352 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30865/stat : 30865 (java) S 30797 30800 23703 0 -1 1077944384 3 12973 0 0 0 0 4 3 20 0 15 0 72720392 11079016448 21574 33554432000 4194304 4196468 140730246720288 139664949070560 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30866] ppid=30797 vsize=10819352 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30866/stat : 30866 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 15 0 72720392 11079016448 21574 33554432000 4194304 4196468 140730246720288 139665369717424 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86296 KiB
[startup+1.50087 s]
/proc/loadavg: 1.25 1.36 1.44 3/215 30866
/proc/meminfo: memFree=16497212/32770624 swapFree=67108796/67108860
[pid=30800] ppid=30797 vsize=10828108 memory=208404 CPUtime=3.04 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30800 23703 0 -1 1077944320 22481 12973 0 0 289 8 4 3 20 0 15 0 72720376 11087982592 52101 33554432000 4194304 4196468 140730246720288 140730246702832 139666404871927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
/proc/30800/statm: 2707027 52101 3457 1 0 2668685 0
[pid=30800/tid=30853] ppid=30797 vsize=10828108 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/30800/task/30853/stat : 30853 (java) R 30797 30800 23703 0 -1 4202560 14995 12973 0 0 132 6 4 3 20 0 15 0 72720385 11087982592 52101 33554432000 4194304 4196468 140730246720288 139666376705008 139665981221525 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30854] ppid=30797 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 15 0 72720386 11087982592 52101 33554432000 4194304 4196468 140730246720288 139666409114768 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30855] ppid=30797 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) S 30797 30800 23703 0 -1 1077944384 2 12973 0 0 0 0 4 3 20 0 15 0 72720386 11087982592 52101 33554432000 4194304 4196468 140730246720288 139665977895952 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30856] ppid=30797 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 15 0 72720386 11087982592 52101 33554432000 4194304 4196468 140730246720288 139665976843152 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30857] ppid=30797 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) S 30797 30800 23703 0 -1 1077944384 2 12973 0 0 0 0 4 3 20 0 15 0 72720386 11087982592 52101 33554432000 4194304 4196468 140730246720288 139665975790352 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30858] ppid=30797 vsize=10828108 memory=1399103955520229747 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30858/stat : 30858 (java) S 30797 30800 23703 0 -1 1077944384 12 12973 0 0 0 0 4 3 20 0 15 0 72720388 11087982592 52101 33554432000 4194304 4196468 140730246720288 139665864399216 139666404883074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30859] ppid=30797 vsize=10828108 memory=280926160496896 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30859/stat : 30859 (java) S 30797 30800 23703 0 -1 1077944384 33 12973 0 0 0 0 4 3 20 0 15 0 72720389 11087982592 52101 33554432000 4194304 4196468 140730246720288 139665863345184 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30860] ppid=30797 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30860/stat : 30860 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 15 0 72720389 11087982592 52101 33554432000 4194304 4196468 140730246720288 139665290027888 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30861] ppid=30797 vsize=10828108 memory=792 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30861/stat : 30861 (java) S 30797 30800 23703 0 -1 1077944384 3 12973 0 0 0 0 4 3 20 0 15 0 72720392 11087982592 52101 33554432000 4194304 4196468 140730246720288 139664982628176 139666404890523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30862] ppid=30797 vsize=10828108 memory=832 CPUtime=0.62 cores=0,2,4,6
/proc/30800/task/30862/stat : 30862 (java) R 30797 30800 23703 0 -1 4202560 1770 12973 0 0 55 0 4 3 20 0 15 0 72720392 11087982592 52101 33554432000 4194304 4196468 140730246720288 139665829769920 139666390889480 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30863] ppid=30797 vsize=10828108 memory=1600 CPUtime=0.62 cores=0,2,4,6
/proc/30800/task/30863/stat : 30863 (java) R 30797 30800 23703 0 -1 4202560 1910 12973 0 0 55 0 4 3 20 0 15 0 72720392 11087982592 52101 33554432000 4194304 4196468 140730246720288 139665828724992 139666386051581 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30864] ppid=30797 vsize=10828108 memory=5024 CPUtime=0.53 cores=0,2,4,6
/proc/30800/task/30864/stat : 30864 (java) S 30797 30800 23703 0 -1 1077944384 1560 12973 0 0 46 0 4 3 20 0 15 0 72720392 11087982592 52101 33554432000 4194304 4196468 140730246720288 139665370770032 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30865] ppid=30797 vsize=10828108 memory=4032 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30865/stat : 30865 (java) S 30797 30800 23703 0 -1 1077944384 3 12973 0 0 0 0 4 3 20 0 15 0 72720392 11087982592 52101 33554432000 4194304 4196468 140730246720288 139664949070560 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30866] ppid=30797 vsize=10828108 memory=1284 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30866/stat : 30866 (java) S 30797 30800 23703 0 -1 1077944384 1 12973 0 0 0 0 4 3 20 0 15 0 72720392 11087982592 52101 33554432000 4194304 4196468 140730246720288 139665369717424 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
/proc/30800/task/30853/stat : 30853 (java) R 30797 30800 23703 0 -1 4202560 124612 12973 0 0 235713 69 4 3 20 0 15 0 72720385 11180277760 349635 33554432000 4194304 4196468 140730246720288 139666376706256 139665983023705 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30854] ppid=30797 vsize=10918240 memory=1400080 CPUtime=15.41 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) S 30797 30800 23703 0 -1 1077944384 31550 12973 0 0 1495 39 4 3 20 0 15 0 72720386 11180277760 349635 33554432000 4194304 4196468 140730246720288 139666409114768 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30855] ppid=30797 vsize=10918240 memory=1412392 CPUtime=15.43 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) S 30797 30800 23703 0 -1 1077944384 27444 12973 0 0 1497 39 4 3 20 0 15 0 72720386 11180277760 349635 33554432000 4194304 4196468 140730246720288 139665977895952 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30856] ppid=30797 vsize=10918240 memory=1406236 CPUtime=15.44 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) S 30797 30800 23703 0 -1 1077944384 32994 12973 0 0 1501 36 4 3 20 0 15 0 72720386 11180277760 349635 33554432000 4194304 4196468 140730246720288 139665976843152 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30857] ppid=30797 vsize=10918240 memory=1401616 CPUtime=15.39 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) S 30797 30800 23703 0 -1 1077944384 26980 12973 0 0 1494 38 4 3 20 0 15 0 72720386 11180277760 349635 33554432000 4194304 4196468 140730246720288 139665975790352 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30858] ppid=30797 vsize=10918240 memory=1398540 CPUtime=6.21 cores=0,2,4,6
/proc/30800/task/30858/stat : 30858 (java) S 30797 30800 23703 0 -1 1077944384 22799 12973 0 0 571 43 4 3 20 0 15 0 72720388 11180277760 349635 33554432000 4194304 4196468 140730246720288 139665864399216 139666404883074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30859] ppid=30797 vsize=10918240 memory=1398540 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30859/stat : 30859 (java) S 30797 30800 23703 0 -1 1077944384 61 12973 0 0 0 0 4 3 20 0 15 0 72720389 11180277760 349635 33554432000 4194304 4196468 140730246720288 139665863345248 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30860] ppid=30797 vsize=10918240 memory=1398540 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30860/stat : 30860 (java) S 30797 30800 23703 0 -1 1077944384 5 12973 0 0 0 0 4 3 20 0 15 0 72720389 11180277760 349635 33554432000 4194304 4196468 140730246720288 139665290027904 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30861] ppid=30797 vsize=10918240 memory=1398540 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30861/stat : 30861 (java) S 30797 30800 23703 0 -1 1077944384 3 12973 0 0 0 0 4 3 20 0 15 0 72720392 11180277760 349635 33554432000 4194304 4196468 140730246720288 139664982628176 139666404890523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30862] ppid=30797 vsize=10918240 memory=0 CPUtime=13.68 cores=0,2,4,6
/proc/30800/task/30862/stat : 30862 (java) S 30797 30800 23703 0 -1 1077944384 140431 12973 0 0 1349 12 4 3 20 0 15 0 72720392 11180277760 349635 33554432000 4194304 4196468 140730246720288 139665829788528 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30863] ppid=30797 vsize=10918240 memory=924 CPUtime=13.37 cores=0,2,4,6
/proc/30800/task/30863/stat : 30863 (java) S 30797 30800 23703 0 -1 1077944384 135495 12973 0 0 1319 11 4 3 20 0 15 0 72720392 11180277760 349635 33554432000 4194304 4196468 140730246720288 139665828735728 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30864] ppid=30797 vsize=10918240 memory=1409312 CPUtime=4.33 cores=0,2,4,6
/proc/30800/task/30864/stat : 30864 (java) S 30797 30800 23703 0 -1 1077944384 134618 12973 0 0 412 14 4 3 20 0 15 0 72720392 11180277760 349635 33554432000 4194304 4196468 140730246720288 139665370770032 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30865] ppid=30797 vsize=10918240 memory=1402132 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30865/stat : 30865 (java) S 30797 30800 23703 0 -1 1077944384 3 12973 0 0 0 0 4 3 20 0 15 0 72720392 11180277760 349635 33554432000 4194304 4196468 140730246720288 139664949070560 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30866] ppid=30797 vsize=10918240 memory=1411876 CPUtime=1.48 cores=0,2,4,6
/proc/30800/task/30866/stat : 30866 (java) S 30797 30800 23703 0 -1 1077944384 4720 12973 0 0 70 71 4 3 20 0 15 0 72720392 11180277760 349635 33554432000 4194304 4196468 140730246720288 139665369717424 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
Current children cumulated CPU time: 2458.08 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1398540 KiB
[startup+2442.3 s]
/proc/loadavg: 1.25 1.48 1.54 3/215 31223
/proc/meminfo: memFree=14741680/32770624 swapFree=67108796/67108860
[pid=30800] ppid=30797 vsize=10918240 memory=1392380 CPUtime=2519.43 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30800 23703 0 -1 1077944320 689509 12973 0 0 251591 345 4 3 20 0 15 0 72720376 11180277760 348095 33554432000 4194304 4196468 140730246720288 140730246702832 139666404871927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
/proc/30800/statm: 2729560 348095 3539 1 0 2691213 0
[pid=30800/tid=30853] ppid=30797 vsize=10918240 memory=1392380 CPUtime=2417.2 cores=0,2,4,6
/proc/30800/task/30853/stat : 30853 (java) R 30797 30800 23703 0 -1 4202560 125567 12973 0 0 241643 70 4 3 20 0 15 0 72720385 11180277760 348095 33554432000 4194304 4196468 140730246720288 139666376707408 139665979016680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30854] ppid=30797 vsize=10918240 memory=1399048 CPUtime=15.84 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) S 30797 30800 23703 0 -1 1077944384 31870 12973 0 0 1537 40 4 3 20 0 15 0 72720386 11180277760 348095 33554432000 4194304 4196468 140730246720288 139666409114768 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30855] ppid=30797 vsize=10918240 memory=1393920 CPUtime=15.86 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) S 30797 30800 23703 0 -1 1077944384 27736 12973 0 0 1539 40 4 3 20 0 15 0 72720386 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665977895952 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30856] ppid=30797 vsize=10918240 memory=1392380 CPUtime=15.87 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) S 30797 30800 23703 0 -1 1077944384 33405 12973 0 0 1543 37 4 3 20 0 15 0 72720386 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665976843152 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30857] ppid=30797 vsize=10918240 memory=1392380 CPUtime=15.82 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) S 30797 30800 23703 0 -1 1077944384 27315 12973 0 0 1536 39 4 3 20 0 15 0 72720386 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665975790352 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30858] ppid=30797 vsize=10918240 memory=1392380 CPUtime=6.39 cores=0,2,4,6
/proc/30800/task/30858/stat : 30858 (java) S 30797 30800 23703 0 -1 1077944384 23178 12973 0 0 588 44 4 3 20 0 15 0 72720388 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665864399216 139666404883074 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30859] ppid=30797 vsize=10918240 memory=1392380 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30859/stat : 30859 (java) S 30797 30800 23703 0 -1 1077944384 61 12973 0 0 0 0 4 3 20 0 15 0 72720389 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665863345248 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30860] ppid=30797 vsize=10918240 memory=1392380 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30860/stat : 30860 (java) S 30797 30800 23703 0 -1 1077944384 5 12973 0 0 0 0 4 3 20 0 15 0 72720389 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665290027904 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30861] ppid=30797 vsize=10918240 memory=1392380 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30861/stat : 30861 (java) S 30797 30800 23703 0 -1 1077944384 3 12973 0 0 0 0 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139664982628176 139666404890523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30862] ppid=30797 vsize=10918240 memory=1392380 CPUtime=13.71 cores=0,2,4,6
/proc/30800/task/30862/stat : 30862 (java) S 30797 30800 23703 0 -1 1077944384 141095 12973 0 0 1352 12 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665829788528 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30863] ppid=30797 vsize=10918240 memory=1392380 CPUtime=13.41 cores=0,2,4,6
/proc/30800/task/30863/stat : 30863 (java) S 30797 30800 23703 0 -1 1077944384 136588 12973 0 0 1323 11 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665828735728 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30864] ppid=30797 vsize=10918240 memory=1408 CPUtime=4.35 cores=0,2,4,6
/proc/30800/task/30864/stat : 30864 (java) S 30797 30800 23703 0 -1 1077944384 135744 12973 0 0 414 14 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665370770032 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30865] ppid=30797 vsize=10918240 memory=1392380 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30865/stat : 30865 (java) S 30797 30800 23703 0 -1 1077944384 3 12973 0 0 0 0 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139664949070560 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30866] ppid=30797 vsize=10918240 memory=1392380 CPUtime=1.52 cores=0,2,4,6
/proc/30800/task/30866/stat : 30866 (java) S 30797 30800 23703 0 -1 1077944384 4752 12973 0 0 73 72 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665369717424 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
Current children cumulated CPU time: 2519.43 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1392380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2442.9 s]
/proc/loadavg: 1.25 1.48 1.54 3/215 31223
/proc/meminfo: memFree=14741680/32770624 swapFree=67108796/67108860
[pid=30800] ppid=30797 vsize=10918240 memory=1392380 CPUtime=2520.04 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30800 23703 0 -1 1077944320 689521 12973 0 0 251652 345 4 3 20 0 15 0 72720376 11180277760 348095 33554432000 4194304 4196468 140730246720288 140730246702832 139666404871927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
/proc/30800/statm: 2729560 348095 3539 1 0 2691213 0
[pid=30800/tid=30853] ppid=30797 vsize=10918240 memory=1392380 CPUtime=2417.79 cores=0,2,4,6
/proc/30800/task/30853/stat : 30853 (java) R 30797 30800 23703 0 -1 4202560 125569 12973 0 0 241702 70 4 3 20 0 15 0 72720385 11180277760 348095 33554432000 4194304 4196468 140730246720288 139666376706416 139665990336583 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30854] ppid=30797 vsize=10918240 memory=1392380 CPUtime=15.84 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) S 30797 30800 23703 0 -1 1077944384 31872 12973 0 0 1537 40 4 3 20 0 15 0 72720386 11180277760 348095 33554432000 4194304 4196468 140730246720288 139666409114768 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30855] ppid=30797 vsize=10918240 memory=1392380 CPUtime=15.87 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) S 30797 30800 23703 0 -1 1077944384 27736 12973 0 0 1540 40 4 3 20 0 15 0 72720386 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665977895952 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30856] ppid=30797 vsize=10918240 memory=1392380 CPUtime=15.88 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) S 30797 30800 23703 0 -1 1077944384 33405 12973 0 0 1544 37 4 3 20 0 15 0 72720386 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665976843152 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30857] ppid=30797 vsize=10918240 memory=1392380 CPUtime=15.82 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) S 30797 30800 23703 0 -1 1077944384 27315 12973 0 0 1536 39 4 3 20 0 15 0 72720386 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665975790352 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30858] ppid=30797 vsize=10918240 memory=1392380 CPUtime=6.39 cores=0,2,4,6
/proc/30800/task/30858/stat : 30858 (java) S 30797 30800 23703 0 -1 1077944384 23186 12973 0 0 588 44 4 3 20 0 15 0 72720388 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665864399216 139666404883074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30859] ppid=30797 vsize=10918240 memory=1393920 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30859/stat : 30859 (java) S 30797 30800 23703 0 -1 1077944384 61 12973 0 0 0 0 4 3 20 0 15 0 72720389 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665863345248 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30860] ppid=30797 vsize=10918240 memory=1399048 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30860/stat : 30860 (java) S 30797 30800 23703 0 -1 1077944384 5 12973 0 0 0 0 4 3 20 0 15 0 72720389 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665290027904 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30861] ppid=30797 vsize=10918240 memory=1392380 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30861/stat : 30861 (java) S 30797 30800 23703 0 -1 1077944384 3 12973 0 0 0 0 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139664982628176 139666404890523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30862] ppid=30797 vsize=10918240 memory=1392380 CPUtime=13.71 cores=0,2,4,6
/proc/30800/task/30862/stat : 30862 (java) S 30797 30800 23703 0 -1 1077944384 141095 12973 0 0 1352 12 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665829788528 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30863] ppid=30797 vsize=10918240 memory=1088 CPUtime=13.41 cores=0,2,4,6
/proc/30800/task/30863/stat : 30863 (java) S 30797 30800 23703 0 -1 1077944384 136588 12973 0 0 1323 11 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665828735728 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30864] ppid=30797 vsize=10918240 memory=1392380 CPUtime=4.35 cores=0,2,4,6
/proc/30800/task/30864/stat : 30864 (java) S 30797 30800 23703 0 -1 1077944384 135744 12973 0 0 414 14 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665370770032 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30865] ppid=30797 vsize=10918240 memory=1392380 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30865/stat : 30865 (java) S 30797 30800 23703 0 -1 1077944384 3 12973 0 0 0 0 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139664949070560 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30866] ppid=30797 vsize=10918240 memory=1408 CPUtime=1.52 cores=0,2,4,6
/proc/30800/task/30866/stat : 30866 (java) S 30797 30800 23703 0 -1 1077944384 4752 12973 0 0 73 72 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665369717424 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1392380 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2442.93 s]
# the end of solver process 30800 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.59 s, system=3.50804 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2442.9 s]
/proc/loadavg: 1.25 1.48 1.54 3/215 31223
/proc/meminfo: memFree=14741680/32770624 swapFree=67108796/67108860
[pid=30800] ppid=30797 vsize=10918240 memory=1392380 CPUtime=2520.04 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30800 23703 0 -1 1077944320 689521 12973 0 0 251652 345 4 3 20 0 15 0 72720376 11180277760 348095 33554432000 4194304 4196468 140730246720288 140730246702832 139666404871927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
/proc/30800/statm: 2729560 348095 3539 1 0 2691213 0
[pid=30800/tid=30853] ppid=30797 vsize=10918240 memory=1392380 CPUtime=2417.79 cores=0,2,4,6
/proc/30800/task/30853/stat : 30853 (java) R 30797 30800 23703 0 -1 4202560 125569 12973 0 0 241702 70 4 3 20 0 15 0 72720385 11180277760 348095 33554432000 4194304 4196468 140730246720288 139666376706416 139665990336583 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30854] ppid=30797 vsize=10918240 memory=1392380 CPUtime=15.84 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) S 30797 30800 23703 0 -1 1077944384 31872 12973 0 0 1537 40 4 3 20 0 15 0 72720386 11180277760 348095 33554432000 4194304 4196468 140730246720288 139666409114768 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30855] ppid=30797 vsize=10918240 memory=1392380 CPUtime=15.87 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) S 30797 30800 23703 0 -1 1077944384 27736 12973 0 0 1540 40 4 3 20 0 15 0 72720386 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665977895952 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30856] ppid=30797 vsize=10918240 memory=1392380 CPUtime=15.88 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) S 30797 30800 23703 0 -1 1077944384 33405 12973 0 0 1544 37 4 3 20 0 15 0 72720386 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665976843152 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30857] ppid=30797 vsize=10918240 memory=1392380 CPUtime=15.82 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) S 30797 30800 23703 0 -1 1077944384 27315 12973 0 0 1536 39 4 3 20 0 15 0 72720386 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665975790352 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30858] ppid=30797 vsize=10918240 memory=1392380 CPUtime=6.39 cores=0,2,4,6
/proc/30800/task/30858/stat : 30858 (java) S 30797 30800 23703 0 -1 1077944384 23186 12973 0 0 588 44 4 3 20 0 15 0 72720388 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665864399216 139666404883074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30859] ppid=30797 vsize=10918240 memory=1393920 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30859/stat : 30859 (java) S 30797 30800 23703 0 -1 1077944384 61 12973 0 0 0 0 4 3 20 0 15 0 72720389 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665863345248 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30860] ppid=30797 vsize=10918240 memory=1399048 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30860/stat : 30860 (java) S 30797 30800 23703 0 -1 1077944384 5 12973 0 0 0 0 4 3 20 0 15 0 72720389 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665290027904 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30861] ppid=30797 vsize=10918240 memory=1392380 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30861/stat : 30861 (java) S 30797 30800 23703 0 -1 1077944384 3 12973 0 0 0 0 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139664982628176 139666404890523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30862] ppid=30797 vsize=10918240 memory=1392380 CPUtime=13.71 cores=0,2,4,6
/proc/30800/task/30862/stat : 30862 (java) S 30797 30800 23703 0 -1 1077944384 141095 12973 0 0 1352 12 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665829788528 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30863] ppid=30797 vsize=10918240 memory=1088 CPUtime=13.41 cores=0,2,4,6
/proc/30800/task/30863/stat : 30863 (java) S 30797 30800 23703 0 -1 1077944384 136588 12973 0 0 1323 11 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665828735728 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30864] ppid=30797 vsize=10918240 memory=1392380 CPUtime=4.35 cores=0,2,4,6
/proc/30800/task/30864/stat : 30864 (java) S 30797 30800 23703 0 -1 1077944384 135744 12973 0 0 414 14 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665370770032 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30865] ppid=30797 vsize=10918240 memory=1392380 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30865/stat : 30865 (java) S 30797 30800 23703 0 -1 1077944384 3 12973 0 0 0 0 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139664949070560 139666404882133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
[pid=30800/tid=30866] ppid=30797 vsize=10918240 memory=1408 CPUtime=1.52 cores=0,2,4,6
/proc/30800/task/30866/stat : 30866 (java) S 30797 30800 23703 0 -1 1077944384 4752 12973 0 0 73 72 4 3 20 0 15 0 72720392 11180277760 348095 33554432000 4194304 4196468 140730246720288 139665369717424 139666404883074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140730246728302 140730246731100 140730246731100 140730246733775 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1392380 KiB
Child status: 143
Real time (s): 2442.93
CPU time (s): 2520.1
CPU user time (s): 2516.59
CPU system time (s): 3.50804
CPU usage (%): 103.159
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 2910564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.59
system time used= 3.50804
maximum resident set size= 2910564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 703711
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= 184496
involuntary context switches= 8155
# summary of solver processes directly reported to runsolver:
# pid: 30800
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.59
# total CPU system time (s): 3.50804
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5435 second user time and 19.7048 second system time
The end
Begin job on node138 at 2018-07-25 22:46:12 IDJOB=4295437 IDBENCH=141548 IDSOLVER=2750 FILE ID=node138/4295437-1532551572 RUNJOBID= node138-1532523045-23734 PBS_JOBID= 21021594 Free space on /tmp= 53776 MiB SOLVER NAME= Concrete 3.8 2018-06-13 BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a3-galaxy16_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295437-1532551572/watcher-4295437-1532551572 -o /tmp/evaluation-result-4295437-1532551572/solver-4295437-1532551572 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532523045-23734 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1537825987 HOME/instance-4295437-1532551572.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e08ad5e9bb2dce0f9ded0033a126b6aa RANDOM SEED=1537825987 node138.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.71 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.71 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.71 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.71 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 16590860 kB MemAvailable: 30894216 kB Buffers: 174340 kB Cached: 14274632 kB SwapCached: 44 kB Active: 3422268 kB Inactive: 12113868 kB Active(anon): 1037712 kB Inactive(anon): 77316 kB Active(file): 2384556 kB Inactive(file): 12036552 kB Unevictable: 7284 kB Mlocked: 7284 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 27052 kB Writeback: 0 kB AnonPages: 1094508 kB Mapped: 47980 kB Shmem: 25164 kB Slab: 339372 kB SReclaimable: 310708 kB SUnreclaim: 28664 kB KernelStack: 3488 kB PageTables: 7568 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2057052 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 835584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 53748 MiB End job on node138 at 2018-07-25 23:26:55