2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	15390	2520.12	2444.83

0.98/0.74	c Concrete v3.9.2.1532736233296 running
55.33/32.08	o 16680
55.93/32.37	o 16630
56.17/32.42	o 16617
56.94/32.79	o 16551
57.10/32.85	o 16543
57.10/32.89	o 16514
60.88/36.19	o 16261
61.09/36.38	o 16207
61.09/36.39	o 16083
61.36/36.52	o 16063
85.29/59.81	o 15966
87.21/61.79	o 15860
106.00/80.36	o 15851
339.09/309.67	o 15694
339.30/309.86	o 15643
339.40/309.95	o 15586
342.30/312.76	o 15577
379.69/349.27	o 15569
957.57/915.64	o 15493
1487.19/1434.19	o 15465
1509.65/1456.18	o 15400
1535.58/1481.51	o 15390
2520.07/2444.80	Exception in thread "main" java.util.concurrent.TimeoutException
2520.07/2444.80		at concrete.MAC.mac(MAC.scala:188)
2520.07/2444.80		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.07/2444.80		at scala.util.Try$.apply(Try.scala:209)
2520.07/2444.80		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2444.80		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2444.80		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2444.80		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2444.80		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.07/2444.80		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2444.80		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2444.80		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2444.80		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2444.80		at concrete.MAC.oneRun(MAC.scala:253)
2520.07/2444.80		at concrete.MAC.nextSolution(MAC.scala:272)
2520.07/2444.80		at concrete.MAC.nextSolution(MAC.scala:355)
2520.07/2444.80		at concrete.Solver.hasNext(Solver.scala:166)
2520.07/2444.80		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.07/2444.80		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.07/2444.80		at concrete.Solver.foreach(Solver.scala:68)
2520.07/2444.80		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.07/2444.80		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2444.80		at scala.util.Success.map(Try.scala:209)
2520.07/2444.80		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2444.80		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.07/2444.80		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.07/2444.80		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2444.80		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.07/2444.80		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2444.80		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2444.80		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2444.80		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2444.80		at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2444.80		at scala.App.main(App.scala:76)
2520.07/2444.81		at scala.App.main$(App.scala:74)
2520.07/2444.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.07/2444.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2444.82	v <instantiation cost="15390">
2520.07/2444.82	v       <list>
2520.07/2444.82	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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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]
2520.07/2444.82	v       </list>
2520.07/2444.82	v       <values>
2520.07/2444.82	v         2 2 9 12 10 12 5 3 11 7 11 10 5 9 8 7 13 4 6 8 1 4 3 1 6 13 6 5 10 10 12 8 11 5 8 4 7 7 3 13 11 3 2 9 4 13 0 2 9 0 12 6 0 0 6 7 11 7 3 11 9 3 10 6 9 10 13 8 1 12 8 5 13 1 4 12 4 5 7 12 4 6 5 10 2 0 6 2 13 11 1 7 4 1 8 8 9 12 9 13 0 5 11 10 11 10 3 11 9 13 13 7 7 1 5 8 12 12 3 5 10 0 1 6 6 0 2 9 2 8 9 1 12 8 3 9 0 1 10 13 4 12 0 6 6 4 7 7 13 2 11 10 11 3 8 2 1 13 2 3 13 11 7 8 3 10 8 2 7 5 5 9 12 11 0 4 4 9 12 10 0 1 3 9 8 2 8 2 6 4 4 0 1 1 6 3 10 0 5 5 12 9 10 11 13 11 13 12 13 11 7 5 7 1 9 6 1 9 6 4 10 11 0 2 3 3 2 0 12 12 10 13 5 4 5 7 0 13 4 5 8 10 2 8 12 13 2 0 12 6 11 1 3 7 3 6 1 4 10 11 12 4 1 1 0 3 12 9 5 6 2 0 8 2 7 13 4 13 11 11 7 5 8 6 9 3 4 8 13 4 2 6 1 2 0 12 0 3 13 8 1 12 9 6 10 10 5 7 5 7 3 9 10 3 5 0 1 0 10 13 13 11 9 5 4 4 9 11 6 2 7 3 8 8 6 2 1 7 8 6 11 9 6 4 4 12 12 5 3 9 11 1 2 10 0 10 5 1 2 3 7 8 7 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 1 0 0 0 1 0 1 0 0 1 1 1 0 1 1 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 1 1 1 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 1 0 1 0 1 0 0 0 1 0 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 0 1 1 1 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 1 1 0 0 0 0 1 1 1 0 0 1 1 1 0 1 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 0 0 1 0 0 0 1 1 1 0 1 0 1 1 0 0 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 1 0 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 1 1 1 0 1 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 1 0 0 1 0 15 49 30 57 0 39 41 34 44 67 10 55 0 48 48 59 59 44 44 0 36 36 10 10 0 0 0 40 51 65 0 46 69 64 0 31 31 44 14 32 0 0 22 22 0 64 59 10 43 43 55 88 39 15 15 0 56 56 0 0 58 105 67 47 56 56 55 66 61 0 0 53 53 0 22 22 48 73 35 50 0 0 51 51 0 69 55 47 47 47 50 69 66 14 14 32 32 68 68 30 80 0 34 39 41 0 0 0 0 0 70 105 93 91 64 64 0 35 35 0 73 80 51 74 55 10 31 18 18 45 45 0 21 21 81 81 0 0 41 41 0 40 65 66 75 94 57 39 27 18 35 48 48 50 58 44 0 0 42 42 0 39 39 56 47 50 92 59 59 0 0 31 31 0 27 27 69 30 105 70 18 18 0 0 75 55 44 0 14 67 68 81 0 56 56 0 64 64 44 44 59 59 0 44 39 48 90 90 69 10 67 0 41 41 0 0 0 0 42 48 81 0 31 39 43 68 21 74 10 69 53 47 68 0 48 57 81 0 104 104 0 0 0 0 0 93 93 81 42 68 0 0 30 30 49 15 51 0 0 43 43 79 14 47 69 55 74 10 105 0 74 74 65 10 55 101 30 103 75 56 55 0 0 69 41 66 0 0 10 10 51 42 73 0 69 69 70 21 69 0 58 56 70 0 55 55 0 0 69 69 64 55 30 105 10 10 0 0 44 48 14 66 0 101 69 41 94 55 10 57 0 90 69 105 0 73 73 30 30 0 48 48 0 0 81 31 88 0 90 90 104 31 70 69 0 0 91 73 90 0 0 93 93 64 64 0 0 66 51 75 61 47 14 41 0 59 59
2520.07/2444.82	v       </values>
2520.07/2444.82	v     </instantiation>
2520.07/2444.82	s SATISFIABLE

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11340 MiB free)
  memory of node 1: 16384 MiB (11080 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304713-1534128336/watcher-4304713-1534128336 -o /tmp/evaluation-result-4304713-1534128336/solver-4304713-1534128336 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534096381-30252 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1715718173 HOME/instance-4304713-1534128336.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3691, runsolver pid=3688
Current StackSize limit: 8192 KiB


[startup+0.100115 s]*
/proc/loadavg: 1.52 1.44 1.40 3/206 3748
/proc/meminfo: memFree=22953692/32770624 swapFree=67108372/67108860
[pid=3691] ppid=3688 vsize=10005480 memory=18592 CPUtime=0.09 cores=1,3,5,7
/proc/3691/stat : 3691 (java) S 3688 3691 30220 0 -1 1077944320 4283 12919 0 0 1 1 4 3 20 0 6 0 230396793 10245611520 4648 33554432000 4194304 4196468 140734076862128 140734076844672 140265757609719 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
/proc/3691/statm: 2501370 4648 1932 1 0 2489808 0
[pid=3691/tid=3744] ppid=3688 vsize=10005480 memory=-8171376296011865461 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3744/stat : 3744 (java) R 3688 3691 30220 0 -1 4202560 2113 12919 0 0 0 0 4 3 20 0 6 0 230396802 10245611520 4648 33554432000 4194304 4196468 140734076862128 140265729446480 140265743292245 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3745] ppid=3688 vsize=10005480 memory=7948963741541478447 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3745/stat : 3745 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 6 0 230396803 10245611520 4648 33554432000 4194304 4196468 140734076862128 140265761852176 140265757619925 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3746] ppid=3688 vsize=10005480 memory=140351120647808 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3746/stat : 3746 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 6 0 230396803 10245611520 4648 33554432000 4194304 4196468 140734076862128 140265647049616 140265757619925 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3747] ppid=3688 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3747/stat : 3747 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 6 0 230396803 10245611520 4648 33554432000 4194304 4196468 140734076862128 140265296682000 140265757619925 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3748] ppid=3688 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3748/stat : 3748 (java) S 3688 3691 30220 0 -1 1077944384 2 12919 0 0 0 0 4 3 20 0 6 0 230396803 10245611520 4648 33554432000 4194304 4196468 140734076862128 140265295629456 140265757619925 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18592 KiB

[startup+0.209905 s]*
/proc/loadavg: 1.52 1.44 1.40 3/215 3757
/proc/meminfo: memFree=22932228/32770624 swapFree=67108372/67108860
[pid=3691] ppid=3688 vsize=10982696 memory=41656 CPUtime=0.25 cores=1,3,5,7
/proc/3691/stat : 3691 (java) S 3688 3691 30220 0 -1 1077944320 8365 12919 0 0 16 2 4 3 20 0 15 0 230396793 11246280704 10414 33554432000 4194304 4196468 140734076862128 140734076844672 140265757609719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
/proc/3691/statm: 2745674 10414 2928 1 0 2708109 0
[pid=3691/tid=3744] ppid=3688 vsize=10982696 memory=8389772277269004345 CPUtime=0.18 cores=1,3,5,7
/proc/3691/task/3744/stat : 3744 (java) R 3688 3691 30220 0 -1 4202560 4855 12919 0 0 10 1 4 3 20 0 15 0 230396802 11246280704 10414 33554432000 4194304 4196468 140734076862128 140265729407376 140265737875842 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3745] ppid=3688 vsize=10982696 memory=4294967641 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3745/stat : 3745 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 15 0 230396803 11246280704 10414 33554432000 4194304 4196468 140734076862128 140265761852176 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3746] ppid=3688 vsize=10982696 memory=140351121825080 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3746/stat : 3746 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 15 0 230396803 11246280704 10414 33554432000 4194304 4196468 140734076862128 140265647049616 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3747] ppid=3688 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3747/stat : 3747 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 15 0 230396803 11246280704 10414 33554432000 4194304 4196468 140734076862128 140265296682000 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3748] ppid=3688 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3748/stat : 3748 (java) S 3688 3691 30220 0 -1 1077944384 2 12919 0 0 0 0 4 3 20 0 15 0 230396803 11246280704 10414 33554432000 4194304 4196468 140734076862128 140265295629456 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3749] ppid=3688 vsize=10982696 memory=140351120647808 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3749/stat : 3749 (java) S 3688 3691 30220 0 -1 1077944384 2 12919 0 0 0 0 4 3 20 0 15 0 230396804 11246280704 10414 33554432000 4194304 4196468 140734076862128 140265250678768 140265757620866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3750] ppid=3688 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3750/stat : 3750 (java) S 3688 3691 30220 0 -1 1077944384 13 12919 0 0 0 0 4 3 20 0 15 0 230396805 11246280704 10414 33554432000 4194304 4196468 140734076862128 140264437965728 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3751] ppid=3688 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3751/stat : 3751 (java) S 3688 3691 30220 0 -1 1077944384 21 12919 0 0 0 0 4 3 20 0 15 0 230396805 11246280704 10414 33554432000 4194304 4196468 140734076862128 140264370852848 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3752] ppid=3688 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3752/stat : 3752 (java) S 3688 3691 30220 0 -1 1077944384 3 12919 0 0 0 0 4 3 20 0 15 0 230396807 11246280704 10414 33554432000 4194304 4196468 140734076862128 140264063457488 140265757628315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3753] ppid=3688 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3691/task/3753/stat : 3753 (java) S 3688 3691 30220 0 -1 1077944384 436 12919 0 0 1 0 4 3 20 0 15 0 230396807 11246280704 10414 33554432000 4194304 4196468 140734076862128 140265249626608 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3754] ppid=3688 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3691/task/3754/stat : 3754 (java) S 3688 3691 30220 0 -1 1077944384 187 12919 0 0 1 0 4 3 20 0 15 0 230396807 11246280704 10414 33554432000 4194304 4196468 140734076862128 140265248574064 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3755] ppid=3688 vsize=10982696 memory=140351120647808 CPUtime=0.1 cores=1,3,5,7
/proc/3691/task/3755/stat : 3755 (java) S 3688 3691 30220 0 -1 1077944384 651 12919 0 0 3 0 4 3 20 0 15 0 230396807 11246280704 10414 33554432000 4194304 4196468 140734076862128 140265247521520 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3756] ppid=3688 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3756/stat : 3756 (java) S 3688 3691 30220 0 -1 1077944384 3 12919 0 0 0 0 4 3 20 0 15 0 230396808 11246280704 10414 33554432000 4194304 4196468 140734076862128 140263632661600 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3757] ppid=3688 vsize=10982696 memory=140351120647808 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3757/stat : 3757 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 15 0 230396808 11246280704 10414 33554432000 4194304 4196468 140734076862128 140265246468400 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 41656 KiB

[startup+0.310354 s]*
/proc/loadavg: 1.52 1.44 1.40 3/215 3757
/proc/meminfo: memFree=22921476/32770624 swapFree=67108372/67108860
[pid=3691] ppid=3688 vsize=10983192 memory=53252 CPUtime=0.38 cores=1,3,5,7
/proc/3691/stat : 3691 (java) S 3688 3691 30220 0 -1 1077944320 10392 12919 0 0 28 3 4 3 20 0 15 0 230396793 11246788608 13313 33554432000 4194304 4196468 140734076862128 140734076844672 140265757609719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
/proc/3691/statm: 2745798 13313 3074 1 0 2708109 0
[pid=3691/tid=3744] ppid=3688 vsize=10983192 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/3691/task/3744/stat : 3744 (java) R 3688 3691 30220 0 -1 4202560 6868 12919 0 0 19 2 4 3 20 0 15 0 230396802 11246788608 13313 33554432000 4194304 4196468 140734076862128 140265729421728 140265757633309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3745] ppid=3688 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3745/stat : 3745 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 15 0 230396803 11246788608 13313 33554432000 4194304 4196468 140734076862128 140265761852176 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3746] ppid=3688 vsize=10983192 memory=8514701219931451533 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3746/stat : 3746 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 15 0 230396803 11246788608 13313 33554432000 4194304 4196468 140734076862128 140265647049616 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3747] ppid=3688 vsize=10983192 memory=1328725297981317182 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3747/stat : 3747 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 15 0 230396803 11246788608 13313 33554432000 4194304 4196468 140734076862128 140265296682000 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3748] ppid=3688 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3748/stat : 3748 (java) S 3688 3691 30220 0 -1 1077944384 2 12919 0 0 0 0 4 3 20 0 15 0 230396803 11246788608 13313 33554432000 4194304 4196468 140734076862128 140265295629456 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3749] ppid=3688 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3749/stat : 3749 (java) S 3688 3691 30220 0 -1 1077944384 2 12919 0 0 0 0 4 3 20 0 15 0 230396804 11246788608 13313 33554432000 4194304 4196468 140734076862128 140265250678768 140265757620866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3750] ppid=3688 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3750/stat : 3750 (java) S 3688 3691 30220 0 -1 1077944384 13 12919 0 0 0 0 4 3 20 0 15 0 230396805 11246788608 13313 33554432000 4194304 4196468 140734076862128 140264437965728 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3751] ppid=3688 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3751/stat : 3751 (java) S 3688 3691 30220 0 -1 1077944384 21 12919 0 0 0 0 4 3 20 0 15 0 230396805 11246788608 13313 33554432000 4194304 4196468 140734076862128 140264370852848 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3752] ppid=3688 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3752/stat : 3752 (java) S 3688 3691 30220 0 -1 1077944384 3 12919 0 0 0 0 4 3 20 0 15 0 230396807 11246788608 13313 33554432000 4194304 4196468 140734076862128 140264063457488 140265757628315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3753] ppid=3688 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3691/task/3753/stat : 3753 (java) S 3688 3691 30220 0 -1 1077944384 438 12919 0 0 1 0 4 3 20 0 15 0 230396807 11246788608 13313 33554432000 4194304 4196468 140734076862128 140265249626608 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3754] ppid=3688 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3691/task/3754/stat : 3754 (java) S 3688 3691 30220 0 -1 1077944384 187 12919 0 0 1 0 4 3 20 0 15 0 230396807 11246788608 13313 33554432000 4194304 4196468 140734076862128 140265248574064 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3755] ppid=3688 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/3691/task/3755/stat : 3755 (java) S 3688 3691 30220 0 -1 1077944384 663 12919 0 0 5 0 4 3 20 0 15 0 230396807 11246788608 13313 33554432000 4194304 4196468 140734076862128 140265247521520 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3756] ppid=3688 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3756/stat : 3756 (java) S 3688 3691 30220 0 -1 1077944384 3 12919 0 0 0 0 4 3 20 0 15 0 230396808 11246788608 13313 33554432000 4194304 4196468 140734076862128 140263632661600 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3757] ppid=3688 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3757/stat : 3757 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 15 0 230396808 11246788608 13313 33554432000 4194304 4196468 140734076862128 140265246468400 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53252 KiB

[startup+0.700811 s]
/proc/loadavg: 1.52 1.44 1.40 4/215 3757
/proc/meminfo: memFree=22909568/32770624 swapFree=67108372/67108860
[pid=3691] ppid=3688 vsize=10983192 memory=86736 CPUtime=0.98 cores=1,3,5,7
/proc/3691/stat : 3691 (java) S 3688 3691 30220 0 -1 1077944320 16829 12919 0 0 86 5 4 3 20 0 15 0 230396793 11246788608 21684 33554432000 4194304 4196468 140734076862128 140734076844672 140265757609719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
/proc/3691/statm: 2745798 21684 3237 1 0 2708109 0
[pid=3691/tid=3744] ppid=3688 vsize=10983192 memory=2 CPUtime=0.65 cores=1,3,5,7
/proc/3691/task/3744/stat : 3744 (java) R 3688 3691 30220 0 -1 4202560 12292 12919 0 0 55 3 4 3 20 0 15 0 230396802 11246788608 21684 33554432000 4194304 4196468 140734076862128 140265729430544 140265757623623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3745] ppid=3688 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3745/stat : 3745 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 15 0 230396803 11246788608 21684 33554432000 4194304 4196468 140734076862128 140265761852176 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3746] ppid=3688 vsize=10983192 memory=8174711894690511157 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3746/stat : 3746 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 15 0 230396803 11246788608 21684 33554432000 4194304 4196468 140734076862128 140265647049616 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3747] ppid=3688 vsize=10983192 memory=5787220510366524761 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3747/stat : 3747 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 15 0 230396803 11246788608 21684 33554432000 4194304 4196468 140734076862128 140265296682000 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3748] ppid=3688 vsize=10983192 memory=5865491479076426066 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3748/stat : 3748 (java) S 3688 3691 30220 0 -1 1077944384 2 12919 0 0 0 0 4 3 20 0 15 0 230396803 11246788608 21684 33554432000 4194304 4196468 140734076862128 140265295629456 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3749] ppid=3688 vsize=10983192 memory=4638778398332769633 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3749/stat : 3749 (java) S 3688 3691 30220 0 -1 1077944384 6 12919 0 0 0 0 4 3 20 0 15 0 230396804 11246788608 21684 33554432000 4194304 4196468 140734076862128 140265250678768 140265757620866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3750] ppid=3688 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3750/stat : 3750 (java) S 3688 3691 30220 0 -1 1077944384 13 12919 0 0 0 0 4 3 20 0 15 0 230396805 11246788608 21684 33554432000 4194304 4196468 140734076862128 140264437965728 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3751] ppid=3688 vsize=10983192 memory=140351120646641 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3751/stat : 3751 (java) S 3688 3691 30220 0 -1 1077944384 21 12919 0 0 0 0 4 3 20 0 15 0 230396805 11246788608 21684 33554432000 4194304 4196468 140734076862128 140264370852848 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3752] ppid=3688 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3752/stat : 3752 (java) S 3688 3691 30220 0 -1 1077944384 3 12919 0 0 0 0 4 3 20 0 15 0 230396807 11246788608 21684 33554432000 4194304 4196468 140734076862128 140264063457488 140265757628315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3753] ppid=3688 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/3691/task/3753/stat : 3753 (java) S 3688 3691 30220 0 -1 1077944384 1084 12919 0 0 9 0 4 3 20 0 15 0 230396807 11246788608 21684 33554432000 4194304 4196468 140734076862128 140265249626608 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3754] ppid=3688 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/3691/task/3754/stat : 3754 (java) S 3688 3691 30220 0 -1 1077944384 457 12919 0 0 7 0 4 3 20 0 15 0 230396807 11246788608 21684 33554432000 4194304 4196468 140734076862128 140265248574064 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3755] ppid=3688 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/3691/task/3755/stat : 3755 (java) S 3688 3691 30220 0 -1 1077944384 756 12919 0 0 13 0 4 3 20 0 15 0 230396807 11246788608 21684 33554432000 4194304 4196468 140734076862128 140265247521520 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3756] ppid=3688 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3756/stat : 3756 (java) S 3688 3691 30220 0 -1 1077944384 3 12919 0 0 0 0 4 3 20 0 15 0 230396808 11246788608 21684 33554432000 4194304 4196468 140734076862128 140263632661600 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3757] ppid=3688 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3757/stat : 3757 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 15 0 230396808 11246788608 21684 33554432000 4194304 4196468 140734076862128 140265246468400 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86736 KiB

[startup+1.5007 s]
/proc/loadavg: 1.52 1.44 1.40 3/215 3757
/proc/meminfo: memFree=22862668/32770624 swapFree=67108372/67108860
[pid=3691] ppid=3688 vsize=10993996 memory=198904 CPUtime=3.12 cores=1,3,5,7
/proc/3691/stat : 3691 (java) S 3688 3691 30220 0 -1 1077944320 24243 12919 0 0 296 9 4 3 20 0 15 0 230396793 11257851904 49726 33554432000 4194304 4196468 140734076862128 140734076844672 140265757609719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
/proc/3691/statm: 2748499 49726 3450 1 0 2710157 0
[pid=3691/tid=3744] ppid=3688 vsize=10993996 memory=2920 CPUtime=1.45 cores=1,3,5,7
/proc/3691/task/3744/stat : 3744 (java) R 3688 3691 30220 0 -1 4202560 15591 12919 0 0 132 6 4 3 20 0 15 0 230396802 11257851904 49726 33554432000 4194304 4196468 140734076862128 140265729442592 140265741690206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3745] ppid=3688 vsize=10993996 memory=2608 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3745/stat : 3745 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 15 0 230396803 11257851904 49726 33554432000 4194304 4196468 140734076862128 140265761852176 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3746] ppid=3688 vsize=10993996 memory=280702017093088 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3746/stat : 3746 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 15 0 230396803 11257851904 49726 33554432000 4194304 4196468 140734076862128 140265647049616 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3747] ppid=3688 vsize=10993996 memory=7955164982900057964 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3747/stat : 3747 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 15 0 230396803 11257851904 49726 33554432000 4194304 4196468 140734076862128 140265296682000 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3748] ppid=3688 vsize=10993996 memory=3472328296227679313 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3748/stat : 3748 (java) S 3688 3691 30220 0 -1 1077944384 2 12919 0 0 0 0 4 3 20 0 15 0 230396803 11257851904 49726 33554432000 4194304 4196468 140734076862128 140265295629456 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3749] ppid=3688 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3749/stat : 3749 (java) S 3688 3691 30220 0 -1 1077944384 14 12919 0 0 0 0 4 3 20 0 15 0 230396804 11257851904 49726 33554432000 4194304 4196468 140734076862128 140265250678768 140265757620866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3750] ppid=3688 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3750/stat : 3750 (java) S 3688 3691 30220 0 -1 1077944384 13 12919 0 0 0 0 4 3 20 0 15 0 230396805 11257851904 49726 33554432000 4194304 4196468 140734076862128 140264437965728 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3751] ppid=3688 vsize=10993996 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3751/stat : 3751 (java) S 3688 3691 30220 0 -1 1077944384 21 12919 0 0 0 0 4 3 20 0 15 0 230396805 11257851904 49726 33554432000 4194304 4196468 140734076862128 140264370852848 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3752] ppid=3688 vsize=10993996 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3752/stat : 3752 (java) S 3688 3691 30220 0 -1 1077944384 3 12919 0 0 0 0 4 3 20 0 15 0 230396807 11257851904 49726 33554432000 4194304 4196468 140734076862128 140264063457488 140265757628315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3753] ppid=3688 vsize=10993996 memory=6944656592387989600 CPUtime=0.65 cores=1,3,5,7
/proc/3691/task/3753/stat : 3753 (java) R 3688 3691 30220 0 -1 4202560 2649 12919 0 0 58 0 4 3 20 0 15 0 230396807 11257851904 49726 33554432000 4194304 4196468 140734076862128 140265249612632 140265739127607 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3754] ppid=3688 vsize=10993996 memory=280702017377040 CPUtime=0.65 cores=1,3,5,7
/proc/3691/task/3754/stat : 3754 (java) R 3688 3691 30220 0 -1 4202560 2030 12919 0 0 58 0 4 3 20 0 15 0 230396807 11257851904 49756 33554432000 4194304 4196468 140734076862128 140265248555408 140265742509282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3755] ppid=3688 vsize=10993996 memory=11716 CPUtime=0.52 cores=1,3,5,7
/proc/3691/task/3755/stat : 3755 (java) S 3688 3691 30220 0 -1 1077944384 1727 12919 0 0 45 0 4 3 20 0 15 0 230396807 11257851904 49756 33554432000 4194304 4196468 140734076862128 140265247521520 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3756] ppid=3688 vsize=10993996 memory=24401 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3756/stat : 3756 (java) S 3688 3691 30220 0 -1 1077944384 3 12919 0 0 0 0 4 3 20 0 15 0 230396808 11257851904 49756 33554432000 4194304 4196468 140734076862128 140263632661600 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3757] ppid=3688 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3757/stat : 3757 (java) S 3688 3691 30220 0 -1 1077944384 1 12919 0 0 0 0 4 3 20 0 15 0 230396808 11257851904 49756 33554432000 4194304 4196468 140734076862128 140265246468400 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 10993996 KiB

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

/proc/3691/task/3744/stat : 3744 (java) R 3688 3691 30220 0 -1 4202560 119672 12919 0 0 229785 61 4 3 20 0 15 0 230396802 11348049920 272264 33554432000 4194304 4196468 140734076862128 140265729445104 140265349503168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3745] ppid=3688 vsize=11082080 memory=1089056 CPUtime=14.7 cores=1,3,5,7
/proc/3691/task/3745/stat : 3745 (java) S 3688 3691 30220 0 -1 1077944384 14826 12919 0 0 1415 48 4 3 20 0 15 0 230396803 11348049920 272264 33554432000 4194304 4196468 140734076862128 140265761852176 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3746] ppid=3688 vsize=11082080 memory=1089056 CPUtime=14.7 cores=1,3,5,7
/proc/3691/task/3746/stat : 3746 (java) S 3688 3691 30220 0 -1 1077944384 17123 12919 0 0 1418 45 4 3 20 0 15 0 230396803 11348049920 272264 33554432000 4194304 4196468 140734076862128 140265647049616 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3747] ppid=3688 vsize=11082080 memory=280702018747968 CPUtime=14.67 cores=1,3,5,7
/proc/3691/task/3747/stat : 3747 (java) S 3688 3691 30220 0 -1 1077944384 23973 12919 0 0 1411 49 4 3 20 0 15 0 230396803 11348049920 272264 33554432000 4194304 4196468 140734076862128 140265296682000 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3748] ppid=3688 vsize=11082080 memory=145 CPUtime=14.73 cores=1,3,5,7
/proc/3691/task/3748/stat : 3748 (java) S 3688 3691 30220 0 -1 1077944384 19511 12919 0 0 1418 48 4 3 20 0 15 0 230396803 11348049920 272264 33554432000 4194304 4196468 140734076862128 140265295629456 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3749] ppid=3688 vsize=11082080 memory=1105984 CPUtime=7.09 cores=1,3,5,7
/proc/3691/task/3749/stat : 3749 (java) S 3688 3691 30220 0 -1 1077944384 17354 12919 0 0 649 53 4 3 20 0 15 0 230396804 11348049920 272264 33554432000 4194304 4196468 140734076862128 140265250678768 140265757620866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3750] ppid=3688 vsize=11082080 memory=1089056 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3750/stat : 3750 (java) S 3688 3691 30220 0 -1 1077944384 20 12919 0 0 0 0 4 3 20 0 15 0 230396805 11348049920 272264 33554432000 4194304 4196468 140734076862128 140264437965792 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3751] ppid=3688 vsize=11082080 memory=3812 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3751/stat : 3751 (java) S 3688 3691 30220 0 -1 1077944384 53 12919 0 0 0 0 4 3 20 0 15 0 230396805 11348049920 272264 33554432000 4194304 4196468 140734076862128 140264370853024 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3752] ppid=3688 vsize=11082080 memory=1089056 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3752/stat : 3752 (java) S 3688 3691 30220 0 -1 1077944384 3 12919 0 0 0 0 4 3 20 0 15 0 230396807 11348049920 272264 33554432000 4194304 4196468 140734076862128 140264063457488 140265757628315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3753] ppid=3688 vsize=11082080 memory=1089056 CPUtime=12.52 cores=1,3,5,7
/proc/3691/task/3753/stat : 3753 (java) S 3688 3691 30220 0 -1 1077944384 109422 12919 0 0 1234 11 4 3 20 0 15 0 230396807 11348049920 272264 33554432000 4194304 4196468 140734076862128 140265249626608 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3754] ppid=3688 vsize=11082080 memory=1089056 CPUtime=12.56 cores=1,3,5,7
/proc/3691/task/3754/stat : 3754 (java) S 3688 3691 30220 0 -1 1077944384 104942 12919 0 0 1238 11 4 3 20 0 15 0 230396807 11348049920 272264 33554432000 4194304 4196468 140734076862128 140265248574064 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3755] ppid=3688 vsize=11082080 memory=1089056 CPUtime=4.31 cores=1,3,5,7
/proc/3691/task/3755/stat : 3755 (java) R 3688 3691 30220 0 -1 4202560 112439 12919 0 0 413 11 4 3 20 0 15 0 230396807 11348049920 272264 33554432000 4194304 4196468 140734076862128 140265247521520 140265736292167 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3756] ppid=3688 vsize=11082080 memory=1089056 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3756/stat : 3756 (java) S 3688 3691 30220 0 -1 1077944384 3 12919 0 0 0 0 4 3 20 0 15 0 230396808 11348049920 272264 33554432000 4194304 4196468 140734076862128 140263632661600 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3757] ppid=3688 vsize=11082080 memory=1752 CPUtime=1.56 cores=1,3,5,7
/proc/3691/task/3757/stat : 3757 (java) S 3688 3691 30220 0 -1 1077944384 1837 12919 0 0 69 80 4 3 20 0 15 0 230396808 11348049920 272264 33554432000 4194304 4196468 140734076862128 140265246468400 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
Current children cumulated CPU time: 2394.85 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1089056 KiB

[startup+2382.3 s]
/proc/loadavg: 0.78 0.74 0.78 2/194 3902
/proc/meminfo: memFree=22730872/32770624 swapFree=67108372/67108860
[pid=3691] ppid=3688 vsize=11082080 memory=1091108 CPUtime=2456.17 cores=1,3,5,7
/proc/3691/stat : 3691 (java) S 3688 3691 30220 0 -1 1077944320 547267 12919 0 0 245225 385 4 3 20 0 15 0 230396793 11348049920 272777 33554432000 4194304 4196468 140734076862128 140734076844672 140265757609719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
/proc/3691/statm: 2770520 272777 3534 1 0 2732173 0
[pid=3691/tid=3744] ppid=3688 vsize=11082080 memory=1091108 CPUtime=2357.85 cores=1,3,5,7
/proc/3691/task/3744/stat : 3744 (java) R 3688 3691 30220 0 -1 4202560 120350 12919 0 0 235716 62 4 3 20 0 15 0 230396802 11348049920 272777 33554432000 4194304 4196468 140734076862128 140265729444352 140265349672398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3745] ppid=3688 vsize=11082080 memory=1091108 CPUtime=15.12 cores=1,3,5,7
/proc/3691/task/3745/stat : 3745 (java) S 3688 3691 30220 0 -1 1077944384 14932 12919 0 0 1456 49 4 3 20 0 15 0 230396803 11348049920 272777 33554432000 4194304 4196468 140734076862128 140265761852176 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3746] ppid=3688 vsize=11082080 memory=1091104 CPUtime=15.11 cores=1,3,5,7
/proc/3691/task/3746/stat : 3746 (java) S 3688 3691 30220 0 -1 1077944384 17408 12919 0 0 1458 46 4 3 20 0 15 0 230396803 11348049920 272777 33554432000 4194304 4196468 140734076862128 140265647049616 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3747] ppid=3688 vsize=11082080 memory=1091104 CPUtime=15.08 cores=1,3,5,7
/proc/3691/task/3747/stat : 3747 (java) S 3688 3691 30220 0 -1 1077944384 24031 12919 0 0 1451 50 4 3 20 0 15 0 230396803 11348049920 272777 33554432000 4194304 4196468 140734076862128 140265296682000 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3748] ppid=3688 vsize=11082080 memory=1091108 CPUtime=15.14 cores=1,3,5,7
/proc/3691/task/3748/stat : 3748 (java) S 3688 3691 30220 0 -1 1077944384 19610 12919 0 0 1458 49 4 3 20 0 15 0 230396803 11348049920 272777 33554432000 4194304 4196468 140734076862128 140265295629456 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3749] ppid=3688 vsize=11082080 memory=1091108 CPUtime=7.29 cores=1,3,5,7
/proc/3691/task/3749/stat : 3749 (java) S 3688 3691 30220 0 -1 1077944384 17563 12919 0 0 668 54 4 3 20 0 15 0 230396804 11348049920 272777 33554432000 4194304 4196468 140734076862128 140265250678768 140265757620866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3750] ppid=3688 vsize=11082080 memory=280701950603798 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3750/stat : 3750 (java) S 3688 3691 30220 0 -1 1077944384 20 12919 0 0 0 0 4 3 20 0 15 0 230396805 11348049920 272777 33554432000 4194304 4196468 140734076862128 140264437965792 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3751] ppid=3688 vsize=11082080 memory=1091108 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3751/stat : 3751 (java) S 3688 3691 30220 0 -1 1077944384 53 12919 0 0 0 0 4 3 20 0 15 0 230396805 11348049920 272777 33554432000 4194304 4196468 140734076862128 140264370853024 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3752] ppid=3688 vsize=11082080 memory=1091108 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3752/stat : 3752 (java) S 3688 3691 30220 0 -1 1077944384 3 12919 0 0 0 0 4 3 20 0 15 0 230396807 11348049920 272777 33554432000 4194304 4196468 140734076862128 140264063457488 140265757628315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3753] ppid=3688 vsize=11082080 memory=1091104 CPUtime=12.57 cores=1,3,5,7
/proc/3691/task/3753/stat : 3753 (java) S 3688 3691 30220 0 -1 1077944384 110187 12919 0 0 1238 12 4 3 20 0 15 0 230396807 11348049920 272777 33554432000 4194304 4196468 140734076862128 140265249626608 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3754] ppid=3688 vsize=11082080 memory=8112282956445269571 CPUtime=12.6 cores=1,3,5,7
/proc/3691/task/3754/stat : 3754 (java) S 3688 3691 30220 0 -1 1077944384 105465 12919 0 0 1242 11 4 3 20 0 15 0 230396807 11348049920 272777 33554432000 4194304 4196468 140734076862128 140265248574064 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3755] ppid=3688 vsize=11082080 memory=3812 CPUtime=4.34 cores=1,3,5,7
/proc/3691/task/3755/stat : 3755 (java) S 3688 3691 30220 0 -1 1077944384 113600 12919 0 0 416 11 4 3 20 0 15 0 230396807 11348049920 272777 33554432000 4194304 4196468 140734076862128 140265247521520 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3756] ppid=3688 vsize=11082080 memory=1091108 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3756/stat : 3756 (java) S 3688 3691 30220 0 -1 1077944384 3 12919 0 0 0 0 4 3 20 0 15 0 230396808 11348049920 272777 33554432000 4194304 4196468 140734076862128 140263632661600 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3757] ppid=3688 vsize=11082080 memory=1091108 CPUtime=1.6 cores=1,3,5,7
/proc/3691/task/3757/stat : 3757 (java) S 3688 3691 30220 0 -1 1077944384 1854 12919 0 0 71 82 4 3 20 0 15 0 230396808 11348049920 272777 33554432000 4194304 4196468 140734076862128 140265246468400 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
Current children cumulated CPU time: 2456.17 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1091108 KiB

[startup+2442.3 s]
/proc/loadavg: 0.66 0.71 0.77 2/194 3903
/proc/meminfo: memFree=22732056/32770624 swapFree=67108372/67108860
[pid=3691] ppid=3688 vsize=11082080 memory=1090592 CPUtime=2517.52 cores=1,3,5,7
/proc/3691/stat : 3691 (java) S 3688 3691 30220 0 -1 1077944320 551351 12919 0 0 251354 391 4 3 20 0 15 0 230396793 11348049920 272648 33554432000 4194304 4196468 140734076862128 140734076844672 140265757609719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
/proc/3691/statm: 2770520 272648 3534 1 0 2732173 0
[pid=3691/tid=3744] ppid=3688 vsize=11082080 memory=8112282956445269571 CPUtime=2417.16 cores=1,3,5,7
/proc/3691/task/3744/stat : 3744 (java) R 3688 3691 30220 0 -1 4202560 121054 12919 0 0 241647 62 4 3 20 0 15 0 230396802 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265729444624 140265347066627 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3745] ppid=3688 vsize=11082080 memory=1090592 CPUtime=15.54 cores=1,3,5,7
/proc/3691/task/3745/stat : 3745 (java) S 3688 3691 30220 0 -1 1077944384 15200 12919 0 0 1497 50 4 3 20 0 15 0 230396803 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265761852176 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3746] ppid=3688 vsize=11082080 memory=1090592 CPUtime=15.53 cores=1,3,5,7
/proc/3691/task/3746/stat : 3746 (java) S 3688 3691 30220 0 -1 1077944384 17466 12919 0 0 1499 47 4 3 20 0 15 0 230396803 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265647049616 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3747] ppid=3688 vsize=11082080 memory=1090592 CPUtime=15.5 cores=1,3,5,7
/proc/3691/task/3747/stat : 3747 (java) S 3688 3691 30220 0 -1 1077944384 24107 12919 0 0 1492 51 4 3 20 0 15 0 230396803 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265296682000 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3748] ppid=3688 vsize=11082080 memory=1090592 CPUtime=15.56 cores=1,3,5,7
/proc/3691/task/3748/stat : 3748 (java) S 3688 3691 30220 0 -1 1077944384 19712 12919 0 0 1499 50 4 3 20 0 15 0 230396803 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265295629456 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3749] ppid=3688 vsize=11082080 memory=1090592 CPUtime=7.48 cores=1,3,5,7
/proc/3691/task/3749/stat : 3749 (java) S 3688 3691 30220 0 -1 1077944384 17756 12919 0 0 686 55 4 3 20 0 15 0 230396804 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265250678768 140265757620866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3750] ppid=3688 vsize=11082080 memory=1091108 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3750/stat : 3750 (java) S 3688 3691 30220 0 -1 1077944384 20 12919 0 0 0 0 4 3 20 0 15 0 230396805 11348049920 272648 33554432000 4194304 4196468 140734076862128 140264437965792 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3751] ppid=3688 vsize=11082080 memory=1091108 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3751/stat : 3751 (java) S 3688 3691 30220 0 -1 1077944384 53 12919 0 0 0 0 4 3 20 0 15 0 230396805 11348049920 272648 33554432000 4194304 4196468 140734076862128 140264370853024 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3752] ppid=3688 vsize=11082080 memory=1091108 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3752/stat : 3752 (java) S 3688 3691 30220 0 -1 1077944384 3 12919 0 0 0 0 4 3 20 0 15 0 230396807 11348049920 272648 33554432000 4194304 4196468 140734076862128 140264063457488 140265757628315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3753] ppid=3688 vsize=11082080 memory=1091108 CPUtime=12.61 cores=1,3,5,7
/proc/3691/task/3753/stat : 3753 (java) S 3688 3691 30220 0 -1 1077944384 110733 12919 0 0 1242 12 4 3 20 0 15 0 230396807 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265249626608 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3754] ppid=3688 vsize=11082080 memory=1091108 CPUtime=12.65 cores=1,3,5,7
/proc/3691/task/3754/stat : 3754 (java) S 3688 3691 30220 0 -1 1077944384 106454 12919 0 0 1247 11 4 3 20 0 15 0 230396807 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265248574064 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3755] ppid=3688 vsize=11082080 memory=1090592 CPUtime=4.37 cores=1,3,5,7
/proc/3691/task/3755/stat : 3755 (java) S 3688 3691 30220 0 -1 1077944384 114731 12919 0 0 419 11 4 3 20 0 15 0 230396807 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265247521520 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3756] ppid=3688 vsize=11082080 memory=1090592 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3756/stat : 3756 (java) S 3688 3691 30220 0 -1 1077944384 3 12919 0 0 0 0 4 3 20 0 15 0 230396808 11348049920 272648 33554432000 4194304 4196468 140734076862128 140263632661600 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3757] ppid=3688 vsize=11082080 memory=1090592 CPUtime=1.64 cores=1,3,5,7
/proc/3691/task/3757/stat : 3757 (java) S 3688 3691 30220 0 -1 1077944384 1871 12919 0 0 73 84 4 3 20 0 15 0 230396808 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265246468400 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
Current children cumulated CPU time: 2517.52 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1090592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2444.8 s]
/proc/loadavg: 0.69 0.71 0.77 2/194 3903
/proc/meminfo: memFree=22732056/32770624 swapFree=67108372/67108860
[pid=3691] ppid=3688 vsize=11082080 memory=1090592 CPUtime=2520.07 cores=1,3,5,7
/proc/3691/stat : 3691 (java) S 3688 3691 30220 0 -1 1077944320 551366 12919 0 0 251609 391 4 3 20 0 15 0 230396793 11348049920 272648 33554432000 4194304 4196468 140734076862128 140734076844672 140265757609719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
/proc/3691/statm: 2770520 272648 3534 1 0 2732173 0
[pid=3691/tid=3744] ppid=3688 vsize=11082080 memory=7666936638486374503 CPUtime=2419.64 cores=1,3,5,7
/proc/3691/task/3744/stat : 3744 (java) R 3688 3691 30220 0 -1 4202560 121069 12919 0 0 241895 62 4 3 20 0 15 0 230396802 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265729444272 140265340444114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3745] ppid=3688 vsize=11082080 memory=301741373374332954 CPUtime=15.55 cores=1,3,5,7
/proc/3691/task/3745/stat : 3745 (java) S 3688 3691 30220 0 -1 1077944384 15200 12919 0 0 1498 50 4 3 20 0 15 0 230396803 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265761852176 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3746] ppid=3688 vsize=11082080 memory=288230596050944315 CPUtime=15.54 cores=1,3,5,7
/proc/3691/task/3746/stat : 3746 (java) S 3688 3691 30220 0 -1 1077944384 17466 12919 0 0 1500 47 4 3 20 0 15 0 230396803 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265647049616 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3747] ppid=3688 vsize=11082080 memory=2144 CPUtime=15.52 cores=1,3,5,7
/proc/3691/task/3747/stat : 3747 (java) S 3688 3691 30220 0 -1 1077944384 24107 12919 0 0 1494 51 4 3 20 0 15 0 230396803 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265296682000 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3748] ppid=3688 vsize=11082080 memory=1752 CPUtime=15.58 cores=1,3,5,7
/proc/3691/task/3748/stat : 3748 (java) S 3688 3691 30220 0 -1 1077944384 19712 12919 0 0 1501 50 4 3 20 0 15 0 230396803 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265295629456 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3749] ppid=3688 vsize=11082080 memory=5752 CPUtime=7.49 cores=1,3,5,7
/proc/3691/task/3749/stat : 3749 (java) S 3688 3691 30220 0 -1 1077944384 17756 12919 0 0 687 55 4 3 20 0 15 0 230396804 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265250678768 140265757620866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3750] ppid=3688 vsize=11082080 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3750/stat : 3750 (java) S 3688 3691 30220 0 -1 1077944384 20 12919 0 0 0 0 4 3 20 0 15 0 230396805 11348049920 272648 33554432000 4194304 4196468 140734076862128 140264437965792 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3751] ppid=3688 vsize=11082080 memory=1091108 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3751/stat : 3751 (java) S 3688 3691 30220 0 -1 1077944384 53 12919 0 0 0 0 4 3 20 0 15 0 230396805 11348049920 272648 33554432000 4194304 4196468 140734076862128 140264370853024 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3752] ppid=3688 vsize=11082080 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3752/stat : 3752 (java) S 3688 3691 30220 0 -1 1077944384 3 12919 0 0 0 0 4 3 20 0 15 0 230396807 11348049920 272648 33554432000 4194304 4196468 140734076862128 140264063457488 140265757628315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3753] ppid=3688 vsize=11082080 memory=1090592 CPUtime=12.61 cores=1,3,5,7
/proc/3691/task/3753/stat : 3753 (java) S 3688 3691 30220 0 -1 1077944384 110733 12919 0 0 1242 12 4 3 20 0 15 0 230396807 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265249626608 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3754] ppid=3688 vsize=11082080 memory=868 CPUtime=12.65 cores=1,3,5,7
/proc/3691/task/3754/stat : 3754 (java) S 3688 3691 30220 0 -1 1077944384 106454 12919 0 0 1247 11 4 3 20 0 15 0 230396807 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265248574064 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3755] ppid=3688 vsize=11082080 memory=6792 CPUtime=4.37 cores=1,3,5,7
/proc/3691/task/3755/stat : 3755 (java) S 3688 3691 30220 0 -1 1077944384 114731 12919 0 0 419 11 4 3 20 0 15 0 230396807 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265247521520 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3756] ppid=3688 vsize=11082080 memory=11628 CPUtime=0.07 cores=1,3,5,7
/proc/3691/task/3756/stat : 3756 (java) S 3688 3691 30220 0 -1 1077944384 3 12919 0 0 0 0 4 3 20 0 15 0 230396808 11348049920 272648 33554432000 4194304 4196468 140734076862128 140263632661600 140265757619925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
[pid=3691/tid=3757] ppid=3688 vsize=11082080 memory=752 CPUtime=1.64 cores=1,3,5,7
/proc/3691/task/3757/stat : 3757 (java) S 3688 3691 30220 0 -1 1077944384 1871 12919 0 0 73 84 4 3 20 0 15 0 230396808 11348049920 272648 33554432000 4194304 4196468 140734076862128 140265246468400 140265757620866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140734076865132 140734076867932 140734076867932 140734076870607 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1090592 KiB

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

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

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

Child status: 143
Real time (s): 2444.83
CPU time (s): 2520.12
CPU user time (s): 2516.16
CPU system time (s): 3.96138
CPU usage (%): 103.08
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 2099424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.16
system time used= 3.96138
maximum resident set size= 2101700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 564753
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 204917
involuntary context switches= 5287


# summary of solver processes directly reported to runsolver:
#   pid: 3691
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.16
#   total CPU system time (s): 3.96138

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2304 second user time and 17.2995 second system time

The end

Name	TravelingTournament/ TravelingTournament-a3-galaxy14_c18.xml
MD5SUM	7a3ba77b7a6be046779b0525cfa105c0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	14498
Best CPU time to get the best result obtained on this benchmark	2520.11
Satisfiable
(Un)Satisfiability was proved
Number of variables	1470
Number of constraints	5725
Number of domains	3
Minimum domain size	2
Maximum domain size	57
Distribution of domain sizes	[{"size":2,"count":728},{"size":14,"count":364},{"size":57,"count":378}]
Minimum variable degree	2
Maximum variable degree	44
Distribution of variable degrees	[{"degree":2,"count":742},{"degree":41,"count":336},{"degree":42,"count":364},{"degree":43,"count":26},{"degree":44,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	26
Distribution of constraint arities	[{"arity":2,"count":365},{"arity":3,"count":28},{"arity":4,"count":4200},{"arity":5,"count":350},{"arity":14,"count":390},{"arity":16,"count":364},{"arity":26,"count":28}]
Number of extensional constraints	378
Number of intensional constraints	4565
Distribution of constraint types	[{"type":"extension","count":378},{"type":"intension","count":4565},{"type":"regular","count":14},{"type":"allDifferent","count":26},{"type":"cardinality","count":14},{"type":"element","count":728}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4304713

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data