2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	SAT (TO)	17590	252.666	213.704

1.00/0.74	c Concrete v3.9.2.1532736233296 running
86.34/55.73	o 17713
88.03/57.02	o 17690
247.11/208.74	o 17669
247.11/208.76	o 17590
252.37/213.67	Exception in thread "main" java.util.concurrent.TimeoutException
252.37/213.67		at concrete.MAC.mac(MAC.scala:188)
252.37/213.67		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.37/213.67		at scala.util.Try$.apply(Try.scala:209)
252.37/213.67		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.37/213.67		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.37/213.67		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.37/213.67		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.37/213.67		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.37/213.67		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.37/213.67		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.37/213.67		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.37/213.67		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.37/213.67		at concrete.MAC.oneRun(MAC.scala:253)
252.37/213.67		at concrete.MAC.nextSolution(MAC.scala:272)
252.37/213.67		at concrete.MAC.nextSolution(MAC.scala:355)
252.37/213.67		at concrete.Solver.hasNext(Solver.scala:166)
252.37/213.67		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.37/213.67		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.37/213.67		at concrete.Solver.foreach(Solver.scala:68)
252.37/213.67		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.37/213.67		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.37/213.67		at scala.util.Success.map(Try.scala:209)
252.37/213.67		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.37/213.67		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.37/213.67		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.37/213.67		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.37/213.67		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.37/213.67		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.37/213.67		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.37/213.67		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.37/213.67		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.37/213.67		at scala.collection.immutable.List.foreach(List.scala:389)
252.37/213.67		at scala.App.main(App.scala:76)
252.37/213.67		at scala.App.main$(App.scala:74)
252.37/213.67		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.37/213.67		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.37/213.67	v <instantiation cost="17590">
252.37/213.67	v       <list>
252.37/213.67	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]
252.37/213.67	v       </list>
252.37/213.67	v       <values>
252.37/213.67	v         1 7 3 13 1 9 5 4 11 2 7 6 12 12 11 3 9 8 2 10 10 13 6 5 8 4 0 8 11 2 0 12 6 2 13 8 4 3 10 5 5 11 4 9 6 13 3 9 12 10 7 7 3 6 8 1 9 6 7 1 7 0 8 4 4 11 10 13 5 12 0 5 9 12 13 3 10 11 2 12 0 8 13 8 13 7 12 9 9 1 5 4 6 0 6 11 10 7 1 5 4 2 11 10 9 10 6 6 7 10 8 0 8 12 1 2 2 3 13 12 1 5 5 9 11 11 3 7 13 0 11 9 13 12 8 13 0 11 10 7 6 7 3 1 1 6 2 4 4 2 8 3 10 0 9 12 13 2 4 4 11 2 1 13 9 10 5 0 7 8 3 5 3 10 1 11 7 8 0 12 12 9 12 0 12 9 4 11 2 3 2 5 0 5 6 9 8 10 13 13 8 3 6 10 11 4 1 1 10 1 2 3 5 3 4 10 4 1 2 12 11 6 7 9 11 0 7 12 5 6 9 13 0 13 4 5 10 7 2 0 10 12 6 3 3 11 13 7 12 8 0 1 13 4 2 1 8 11 5 6 8 4 9 11 12 4 9 8 5 6 11 13 1 13 2 7 12 6 3 0 0 7 5 1 2 3 5 13 1 10 6 7 12 5 0 13 10 9 8 2 0 1 8 3 12 6 4 4 7 9 3 2 7 3 7 5 10 1 11 9 3 4 13 8 0 0 9 4 10 2 11 8 13 2 1 6 6 5 6 11 5 0 3 5 3 6 1 11 12 10 9 10 4 2 7 7 9 1 12 0 2 8 4 8 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 44 44 0 10 43 51 0 55 58 15 44 88 57 0 34 34 48 48 0 55 66 59 39 39 36 36 10 10 0 22 22 55 55 0 64 104 46 0 65 51 40 64 70 31 39 39 32 67 43 0 44 44 0 47 47 53 53 0 56 56 22 44 56 0 45 45 58 58 61 75 50 15 15 49 30 48 0 55 55 0 0 0 34 34 50 104 68 0 80 30 67 32 32 51 18 47 0 66 66 14 14 41 41 47 47 69 69 55 55 18 18 64 69 74 36 48 21 31 31 45 45 0 73 73 0 35 35 70 70 51 51 91 91 0 44 44 0 94 94 75 59 39 0 48 48 0 41 41 40 39 27 35 35 50 53 42 51 51 81 81 0 92 61 56 18 18 0 39 39 69 69 27 27 59 81 31 0 47 69 75 70 70 0 44 57 88 0 0 0 0 90 30 79 0 56 47 14 0 44 39 48 0 81 73 69 41 41 0 59 59 67 70 64 44 44 0 46 46 68 41 42 21 74 73 0 53 53 69 69 0 68 68 0 81 90 81 31 31 0 48 59 104 0 81 51 103 49 49 0 30 30 0 67 67 93 41 79 0 51 10 43 55 55 0 68 69 105 69 69 73 21 74 10 10 0 103 103 51 27 75 66 66 0 55 55 101 101 69 34 55 69 69 65 65 0 0 0 69 64 64 70 59 67 44 44 0 10 103 105 0 55 55 69 69 105 105 0 70 70 0 66 47 58 90 14 80 0 101 101 105 105 0 73 73 81 81 57 51 30 0 48 48 0 90 90 55 55 88 27 94 0 0 75 39 59 0 50 47 92 69 105 90 0 66 74 91 41 41 93 43 64 0 61 53 104 0 0
252.37/213.67	v       </values>
252.37/213.67	v     </instantiation>
252.37/213.67	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 (9536 MiB free)
  memory of node 1: 16384 MiB (13436 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302677-1532898421/watcher-4302677-1532898421 -o /tmp/evaluation-result-4302677-1532898421/solver-4302677-1532898421 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532897795-31991 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=916639512 -superng HOME/instance-4302677-1532898421.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=993, runsolver pid=990
Current StackSize limit: 8192 KiB


[startup+0.100164 s]*
/proc/loadavg: 1.80 1.65 1.39 3/210 1051
/proc/meminfo: memFree=23517472/32770624 swapFree=67108860/67108860
[pid=993] ppid=990 vsize=10005480 memory=18332 CPUtime=0.09 cores=0,2,4,6
/proc/993/stat : 993 (java) S 990 993 29938 0 -1 1077944320 4196 13177 0 0 1 0 5 3 20 0 6 0 107405329 10245611520 4583 33554432000 4194304 4196468 140737355070336 140737355052880 139999706337015 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
/proc/993/statm: 2501370 4583 1931 1 0 2489808 0
[pid=993/tid=1047] ppid=990 vsize=10005480 memory=8940607975817108597 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1047/stat : 1047 (java) R 990 993 29938 0 -1 4202560 2052 13177 0 0 0 0 5 3 20 0 6 0 107405338 10245611520 4583 33554432000 4194304 4196468 140737355070336 139999678173776 139999698574142 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1048] ppid=990 vsize=10005480 memory=-7001736328920018669 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1048/stat : 1048 (java) S 990 993 29938 0 -1 1077944384 2 13177 0 0 0 0 5 3 20 0 6 0 107405339 10245611520 4583 33554432000 4194304 4196468 140737355070336 139999710579728 139999706347221 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1049] ppid=990 vsize=10005480 memory=140470705870464 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1049/stat : 1049 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 6 0 107405339 10245611520 4583 33554432000 4194304 4196468 140737355070336 139999565298832 139999706347221 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1050] ppid=990 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1050/stat : 1050 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 6 0 107405339 10245611520 4583 33554432000 4194304 4196468 140737355070336 139999564245776 139999706347221 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1051] ppid=990 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1051/stat : 1051 (java) S 990 993 29938 0 -1 1077944384 2 13177 0 0 0 0 5 3 20 0 6 0 107405339 10245611520 4583 33554432000 4194304 4196468 140737355070336 139999563193232 139999706347221 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18332 KiB

[startup+0.210171 s]*
/proc/loadavg: 1.80 1.65 1.39 3/219 1060
/proc/meminfo: memFree=23492732/32770624 swapFree=67108860/67108860
[pid=993] ppid=990 vsize=10982744 memory=44712 CPUtime=0.26 cores=0,2,4,6
/proc/993/stat : 993 (java) S 990 993 29938 0 -1 1077944320 7296 13177 0 0 16 2 5 3 20 0 15 0 107405329 11246329856 11178 33554432000 4194304 4196468 140737355070336 140737355052880 139999706337015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
/proc/993/statm: 2745686 11178 2991 1 0 2708109 0
[pid=993/tid=1047] ppid=990 vsize=10982744 memory=8940607975817108597 CPUtime=0.19 cores=0,2,4,6
/proc/993/task/1047/stat : 1047 (java) R 990 993 29938 0 -1 4202560 4359 13177 0 0 10 1 5 3 20 0 15 0 107405338 11246329856 11640 33554432000 4194304 4196468 140737355070336 139999678133056 139999690417502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1048] ppid=990 vsize=10982744 memory=-7001736328920018669 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1048/stat : 1048 (java) S 990 993 29938 0 -1 1077944384 2 13177 0 0 0 0 5 3 20 0 15 0 107405339 11246329856 11640 33554432000 4194304 4196468 140737355070336 139999710579728 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1049] ppid=990 vsize=10982744 memory=140470705870464 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1049/stat : 1049 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 15 0 107405339 11246329856 11640 33554432000 4194304 4196468 140737355070336 139999565298832 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1050] ppid=990 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1050/stat : 1050 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 15 0 107405339 11246329856 11640 33554432000 4194304 4196468 140737355070336 139999564245776 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1051] ppid=990 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1051/stat : 1051 (java) S 990 993 29938 0 -1 1077944384 2 13177 0 0 0 0 5 3 20 0 15 0 107405339 11246329856 11640 33554432000 4194304 4196468 140737355070336 139999563193232 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1052] ppid=990 vsize=10982744 memory=140470705870464 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1052/stat : 1052 (java) S 990 993 29938 0 -1 1077944384 2 13177 0 0 0 0 5 3 20 0 15 0 107405341 11246329856 11640 33554432000 4194304 4196468 140737355070336 139999132178672 139999706348162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1053] ppid=990 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1053/stat : 1053 (java) S 990 993 29938 0 -1 1077944384 13 13177 0 0 0 0 5 3 20 0 15 0 107405341 11246329856 11640 33554432000 4194304 4196468 140737355070336 139998552646816 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1054] ppid=990 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1054/stat : 1054 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 15 0 107405341 11246362624 11640 33554432000 4194304 4196468 140737355070336 139998351319792 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1055] ppid=990 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1055/stat : 1055 (java) S 990 993 29938 0 -1 1077944384 3 13177 0 0 0 0 5 3 20 0 15 0 107405344 11246362624 11706 33554432000 4194304 4196468 140737355070336 139998043920336 139999706355611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1056] ppid=990 vsize=10983736 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/993/task/1056/stat : 1056 (java) S 990 993 29938 0 -1 1077944384 358 13177 0 0 1 0 5 3 20 0 15 0 107405344 11247345664 11706 33554432000 4194304 4196468 140737355070336 139999131126512 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1057] ppid=990 vsize=10983736 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/993/task/1057/stat : 1057 (java) S 990 993 29938 0 -1 1077944384 264 13177 0 0 1 0 5 3 20 0 15 0 107405344 11247345664 11706 33554432000 4194304 4196468 140737355070336 139999130073968 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1058] ppid=990 vsize=10983736 memory=140470705870464 CPUtime=0.11 cores=0,2,4,6
/proc/993/task/1058/stat : 1058 (java) S 990 993 29938 0 -1 1077944384 601 13177 0 0 3 0 5 3 20 0 15 0 107405344 11247345664 11706 33554432000 4194304 4196468 140737355070336 139999129020912 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1059] ppid=990 vsize=10983736 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1059/stat : 1059 (java) S 990 993 29938 0 -1 1077944384 3 13177 0 0 0 0 5 3 20 0 15 0 107405344 11247345664 11706 33554432000 4194304 4196468 140737355070336 139997613124448 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1060] ppid=990 vsize=10983736 memory=140470705870464 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1060/stat : 1060 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 15 0 107405344 11247345664 11706 33554432000 4194304 4196468 140737355070336 139999127968304 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44712 KiB

[startup+0.310639 s]*
/proc/loadavg: 1.80 1.65 1.39 3/219 1060
/proc/meminfo: memFree=23481064/32770624 swapFree=67108860/67108860
[pid=993] ppid=990 vsize=10983192 memory=57260 CPUtime=0.39 cores=0,2,4,6
/proc/993/stat : 993 (java) S 990 993 29938 0 -1 1077944320 10291 13177 0 0 28 3 5 3 20 0 15 0 107405329 11246788608 14315 33554432000 4194304 4196468 140737355070336 140737355052880 139999706337015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
/proc/993/statm: 2745798 14315 3110 1 0 2708109 0
[pid=993/tid=1047] ppid=990 vsize=10983192 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/993/task/1047/stat : 1047 (java) R 990 993 29938 0 -1 4202560 6856 13177 0 0 19 2 5 3 20 0 15 0 107405338 11246788608 14315 33554432000 4194304 4196468 140737355070336 139999678149024 139999690417502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1048] ppid=990 vsize=10983192 memory=140470596493776 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1048/stat : 1048 (java) S 990 993 29938 0 -1 1077944384 2 13177 0 0 0 0 5 3 20 0 15 0 107405339 11246788608 14315 33554432000 4194304 4196468 140737355070336 139999710579728 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1049] ppid=990 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1049/stat : 1049 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 15 0 107405339 11246788608 14315 33554432000 4194304 4196468 140737355070336 139999565298832 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1050] ppid=990 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1050/stat : 1050 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 15 0 107405339 11246788608 14315 33554432000 4194304 4196468 140737355070336 139999564245776 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1051] ppid=990 vsize=10983192 memory=-7003737579269690708 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1051/stat : 1051 (java) S 990 993 29938 0 -1 1077944384 2 13177 0 0 0 0 5 3 20 0 15 0 107405339 11246788608 14315 33554432000 4194304 4196468 140737355070336 139999563193232 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1052] ppid=990 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1052/stat : 1052 (java) S 990 993 29938 0 -1 1077944384 2 13177 0 0 0 0 5 3 20 0 15 0 107405341 11246788608 14315 33554432000 4194304 4196468 140737355070336 139999132178672 139999706348162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1053] ppid=990 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1053/stat : 1053 (java) S 990 993 29938 0 -1 1077944384 13 13177 0 0 0 0 5 3 20 0 15 0 107405341 11246788608 14315 33554432000 4194304 4196468 140737355070336 139998552646816 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1054] ppid=990 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1054/stat : 1054 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 15 0 107405341 11246788608 14315 33554432000 4194304 4196468 140737355070336 139998351319792 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1055] ppid=990 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1055/stat : 1055 (java) S 990 993 29938 0 -1 1077944384 3 13177 0 0 0 0 5 3 20 0 15 0 107405344 11246788608 14315 33554432000 4194304 4196468 140737355070336 139998043920336 139999706355611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1056] ppid=990 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/993/task/1056/stat : 1056 (java) S 990 993 29938 0 -1 1077944384 358 13177 0 0 1 0 5 3 20 0 15 0 107405344 11246788608 14315 33554432000 4194304 4196468 140737355070336 139999131126512 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1057] ppid=990 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/993/task/1057/stat : 1057 (java) S 990 993 29938 0 -1 1077944384 265 13177 0 0 1 0 5 3 20 0 15 0 107405344 11246788608 14315 33554432000 4194304 4196468 140737355070336 139999130073968 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1058] ppid=990 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/993/task/1058/stat : 1058 (java) R 990 993 29938 0 -1 4202560 607 13177 0 0 5 0 5 3 20 0 15 0 107405344 11246788608 14315 33554432000 4194304 4196468 140737355070336 139999129020912 139999706358362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1059] ppid=990 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1059/stat : 1059 (java) S 990 993 29938 0 -1 1077944384 3 13177 0 0 0 0 5 3 20 0 15 0 107405344 11246788608 14315 33554432000 4194304 4196468 140737355070336 139997613124448 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1060] ppid=990 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1060/stat : 1060 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 15 0 107405344 11246788608 14315 33554432000 4194304 4196468 140737355070336 139999127968304 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57260 KiB

[startup+0.700815 s]
/proc/loadavg: 1.80 1.65 1.39 3/219 1060
/proc/meminfo: memFree=23470600/32770624 swapFree=67108860/67108860
[pid=993] ppid=990 vsize=10983192 memory=89584 CPUtime=1 cores=0,2,4,6
/proc/993/stat : 993 (java) S 990 993 29938 0 -1 1077944320 16416 13177 0 0 87 5 5 3 20 0 15 0 107405329 11246788608 22396 33554432000 4194304 4196468 140737355070336 140737355052880 139999706337015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
/proc/993/statm: 2745798 22396 3239 1 0 2708109 0
[pid=993/tid=1047] ppid=990 vsize=10983192 memory=1948 CPUtime=0.66 cores=0,2,4,6
/proc/993/task/1047/stat : 1047 (java) R 990 993 29938 0 -1 4202560 11847 13177 0 0 55 3 5 3 20 0 15 0 107405338 11246788608 22396 33554432000 4194304 4196468 140737355070336 139999678157840 139999687890320 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1048] ppid=990 vsize=10983192 memory=1224 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1048/stat : 1048 (java) S 990 993 29938 0 -1 1077944384 2 13177 0 0 0 0 5 3 20 0 15 0 107405339 11246788608 22396 33554432000 4194304 4196468 140737355070336 139999710579728 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1049] ppid=990 vsize=10983192 memory=1716 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1049/stat : 1049 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 15 0 107405339 11246788608 22396 33554432000 4194304 4196468 140737355070336 139999565298832 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1050] ppid=990 vsize=10983192 memory=1424 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1050/stat : 1050 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 15 0 107405339 11246788608 22396 33554432000 4194304 4196468 140737355070336 139999564245776 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1051] ppid=990 vsize=10983192 memory=7662705889289527641 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1051/stat : 1051 (java) S 990 993 29938 0 -1 1077944384 2 13177 0 0 0 0 5 3 20 0 15 0 107405339 11246788608 22396 33554432000 4194304 4196468 140737355070336 139999563193232 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1052] ppid=990 vsize=10983192 memory=4132 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1052/stat : 1052 (java) S 990 993 29938 0 -1 1077944384 5 13177 0 0 0 0 5 3 20 0 15 0 107405341 11246788608 22396 33554432000 4194304 4196468 140737355070336 139999132178672 139999706348162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1053] ppid=990 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1053/stat : 1053 (java) S 990 993 29938 0 -1 1077944384 13 13177 0 0 0 0 5 3 20 0 15 0 107405341 11246788608 22396 33554432000 4194304 4196468 140737355070336 139998552646816 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1054] ppid=990 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1054/stat : 1054 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 15 0 107405341 11246788608 22396 33554432000 4194304 4196468 140737355070336 139998351319792 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1055] ppid=990 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1055/stat : 1055 (java) S 990 993 29938 0 -1 1077944384 3 13177 0 0 0 0 5 3 20 0 15 0 107405344 11246788608 22396 33554432000 4194304 4196468 140737355070336 139998043920336 139999706355611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1056] ppid=990 vsize=10983192 memory=6628 CPUtime=0.18 cores=0,2,4,6
/proc/993/task/1056/stat : 1056 (java) S 990 993 29938 0 -1 1077944384 1064 13177 0 0 10 0 5 3 20 0 15 0 107405344 11246788608 22396 33554432000 4194304 4196468 140737355070336 139999131126512 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1057] ppid=990 vsize=10983192 memory=8836 CPUtime=0.14 cores=0,2,4,6
/proc/993/task/1057/stat : 1057 (java) S 990 993 29938 0 -1 1077944384 620 13177 0 0 6 0 5 3 20 0 15 0 107405344 11246788608 22396 33554432000 4194304 4196468 140737355070336 139999130073968 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1058] ppid=990 vsize=10983192 memory=11044 CPUtime=0.21 cores=0,2,4,6
/proc/993/task/1058/stat : 1058 (java) S 990 993 29938 0 -1 1077944384 661 13177 0 0 13 0 5 3 20 0 15 0 107405344 11246788608 22396 33554432000 4194304 4196468 140737355070336 139999129020912 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1059] ppid=990 vsize=10983192 memory=13252 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1059/stat : 1059 (java) S 990 993 29938 0 -1 1077944384 3 13177 0 0 0 0 5 3 20 0 15 0 107405344 11246788608 22396 33554432000 4194304 4196468 140737355070336 139997613124448 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1060] ppid=990 vsize=10983192 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1060/stat : 1060 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 15 0 107405344 11246788608 22396 33554432000 4194304 4196468 140737355070336 139999127968304 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89584 KiB

[startup+1.50072 s]
/proc/loadavg: 1.80 1.65 1.39 4/219 1060
/proc/meminfo: memFree=23425852/32770624 swapFree=67108860/67108860
[pid=993] ppid=990 vsize=10993996 memory=200360 CPUtime=3.18 cores=0,2,4,6
/proc/993/stat : 993 (java) S 990 993 29938 0 -1 1077944320 23700 13177 0 0 302 8 5 3 20 0 15 0 107405329 11257851904 50090 33554432000 4194304 4196468 140737355070336 140737355052880 139999706337015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
/proc/993/statm: 2748499 50090 3457 1 0 2710157 0
[pid=993/tid=1047] ppid=990 vsize=10993996 memory=3472592183431214900 CPUtime=1.46 cores=0,2,4,6
/proc/993/task/1047/stat : 1047 (java) R 990 993 29938 0 -1 4202560 15073 13177 0 0 132 6 5 3 20 0 15 0 107405338 11257851904 50090 33554432000 4194304 4196468 140737355070336 139999678167512 139999706358941 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1048] ppid=990 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1048/stat : 1048 (java) S 990 993 29938 0 -1 1077944384 2 13177 0 0 0 0 5 3 20 0 15 0 107405339 11257851904 50090 33554432000 4194304 4196468 140737355070336 139999710579728 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1049] ppid=990 vsize=10993996 memory=-2748367524519556131 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1049/stat : 1049 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 15 0 107405339 11257851904 50090 33554432000 4194304 4196468 140737355070336 139999565298832 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1050] ppid=990 vsize=10993996 memory=-3756611412707075625 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1050/stat : 1050 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 15 0 107405339 11257851904 50090 33554432000 4194304 4196468 140737355070336 139999564245776 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1051] ppid=990 vsize=10993996 memory=-4190076264842474805 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1051/stat : 1051 (java) S 990 993 29938 0 -1 1077944384 2 13177 0 0 0 0 5 3 20 0 15 0 107405339 11257851904 50090 33554432000 4194304 4196468 140737355070336 139999563193232 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1052] ppid=990 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1052/stat : 1052 (java) S 990 993 29938 0 -1 1077944384 13 13177 0 0 0 0 5 3 20 0 15 0 107405341 11257851904 50090 33554432000 4194304 4196468 140737355070336 139999132178672 139999706348162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1053] ppid=990 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1053/stat : 1053 (java) S 990 993 29938 0 -1 1077944384 13 13177 0 0 0 0 5 3 20 0 15 0 107405341 11257851904 50090 33554432000 4194304 4196468 140737355070336 139998552646816 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1054] ppid=990 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1054/stat : 1054 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 15 0 107405341 11257851904 50090 33554432000 4194304 4196468 140737355070336 139998351319792 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1055] ppid=990 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1055/stat : 1055 (java) S 990 993 29938 0 -1 1077944384 3 13177 0 0 0 0 5 3 20 0 15 0 107405344 11257851904 50090 33554432000 4194304 4196468 140737355070336 139998043920336 139999706355611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1056] ppid=990 vsize=10993996 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/993/task/1056/stat : 1056 (java) R 990 993 29938 0 -1 4202560 2437 13177 0 0 62 0 5 3 20 0 15 0 107405344 11257851904 50090 33554432000 4194304 4196468 140737355070336 139999131114512 139999684202048 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1057] ppid=990 vsize=10993996 memory=43 CPUtime=0.66 cores=0,2,4,6
/proc/993/task/1057/stat : 1057 (java) R 990 993 29938 0 -1 4202560 2325 13177 0 0 58 0 5 3 20 0 15 0 107405344 11257851904 50090 33554432000 4194304 4196468 140737355070336 139999130054984 139999687862628 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1058] ppid=990 vsize=10993996 memory=39 CPUtime=0.55 cores=0,2,4,6
/proc/993/task/1058/stat : 1058 (java) R 990 993 29938 0 -1 1077944384 1633 13177 0 0 47 0 5 3 20 0 15 0 107405344 11257851904 50090 33554432000 4194304 4196468 140737355070336 139999129020912 139999706348162 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1059] ppid=990 vsize=10993996 memory=40 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1059/stat : 1059 (java) S 990 993 29938 0 -1 1077944384 3 13177 0 0 0 0 5 3 20 0 15 0 107405344 11257851904 50090 33554432000 4194304 4196468 140737355070336 139997613124448 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1060] ppid=990 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1060/stat : 1060 (java) S 990 993 29938 0 -1 1077944384 1 13177 0 0 0 0 5 3 20 0 15 0 107405344 11257851904 50090 33554432000 4194304 4196468 140737355070336 139999127968304 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 10993996 KiB

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

/proc/993/task/1047/stat : 1047 (java) R 990 993 29938 0 -1 4202560 47003 13177 0 0 4821 35 5 3 20 0 15 0 107405338 11348049920 732760 33554432000 4194304 4196468 140737355070336 139999678171088 139999244587621 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1048] ppid=990 vsize=11082080 memory=4132 CPUtime=2.28 cores=0,2,4,6
/proc/993/task/1048/stat : 1048 (java) S 990 993 29938 0 -1 1077944384 2529 13177 0 0 194 26 5 3 20 0 15 0 107405339 11348049920 732760 33554432000 4194304 4196468 140737355070336 139999710579728 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1049] ppid=990 vsize=11082080 memory=2257 CPUtime=2.27 cores=0,2,4,6
/proc/993/task/1049/stat : 1049 (java) S 990 993 29938 0 -1 1077944384 1054 13177 0 0 191 28 5 3 20 0 15 0 107405339 11348049920 732760 33554432000 4194304 4196468 140737355070336 139999565298832 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1050] ppid=990 vsize=11082080 memory=4513 CPUtime=2.28 cores=0,2,4,6
/proc/993/task/1050/stat : 1050 (java) S 990 993 29938 0 -1 1077944384 2512 13177 0 0 194 26 5 3 20 0 15 0 107405339 11348049920 732760 33554432000 4194304 4196468 140737355070336 139999564245776 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1051] ppid=990 vsize=11082080 memory=4420 CPUtime=2.29 cores=0,2,4,6
/proc/993/task/1051/stat : 1051 (java) S 990 993 29938 0 -1 1077944384 1047 13177 0 0 196 25 5 3 20 0 15 0 107405339 11348049920 732760 33554432000 4194304 4196468 140737355070336 139999563193232 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1052] ppid=990 vsize=11082080 memory=2608884 CPUtime=0.22 cores=0,2,4,6
/proc/993/task/1052/stat : 1052 (java) S 990 993 29938 0 -1 1077944384 9317 13177 0 0 13 1 5 3 20 0 15 0 107405341 11348049920 732760 33554432000 4194304 4196468 140737355070336 139999132178672 139999706348162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1053] ppid=990 vsize=11082080 memory=2608884 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1053/stat : 1053 (java) S 990 993 29938 0 -1 1077944384 15 13177 0 0 0 0 5 3 20 0 15 0 107405341 11348049920 732760 33554432000 4194304 4196468 140737355070336 139998552646944 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1054] ppid=990 vsize=11082080 memory=1236 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1054/stat : 1054 (java) S 990 993 29938 0 -1 1077944384 8 13177 0 0 0 0 5 3 20 0 15 0 107405341 11348049920 732760 33554432000 4194304 4196468 140737355070336 139998351319808 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1055] ppid=990 vsize=11082080 memory=30692 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1055/stat : 1055 (java) S 990 993 29938 0 -1 1077944384 3 13177 0 0 0 0 5 3 20 0 15 0 107405344 11348049920 732760 33554432000 4194304 4196468 140737355070336 139998043920336 139999706355611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1056] ppid=990 vsize=11082080 memory=1292 CPUtime=10.32 cores=0,2,4,6
/proc/993/task/1056/stat : 1056 (java) S 990 993 29938 0 -1 1077944384 12028 13177 0 0 1020 4 5 3 20 0 15 0 107405344 11348049920 732760 33554432000 4194304 4196468 140737355070336 139999131126512 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1057] ppid=990 vsize=11082080 memory=2444 CPUtime=10.4 cores=0,2,4,6
/proc/993/task/1057/stat : 1057 (java) S 990 993 29938 0 -1 1077944384 11736 13177 0 0 1029 3 5 3 20 0 15 0 107405344 11348049920 732760 33554432000 4194304 4196468 140737355070336 139999130073968 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1058] ppid=990 vsize=11082080 memory=2604784 CPUtime=3.44 cores=0,2,4,6
/proc/993/task/1058/stat : 1058 (java) S 990 993 29938 0 -1 1077944384 11765 13177 0 0 332 4 5 3 20 0 15 0 107405344 11348049920 732760 33554432000 4194304 4196468 140737355070336 139999129020912 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1059] ppid=990 vsize=11082080 memory=-3472574513799858125 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1059/stat : 1059 (java) S 990 993 29938 0 -1 1077944384 3 13177 0 0 0 0 5 3 20 0 15 0 107405344 11348049920 732760 33554432000 4194304 4196468 140737355070336 139997613124448 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1060] ppid=990 vsize=11082080 memory=5794534469686083632 CPUtime=0.1 cores=0,2,4,6
/proc/993/task/1060/stat : 1060 (java) S 990 993 29938 0 -1 1077944384 84 13177 0 0 1 1 5 3 20 0 15 0 107405344 11348049920 732760 33554432000 4194304 4196468 140737355070336 139999127968304 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
Current children cumulated CPU time: 81.63 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2931040 KiB

[startup+102.301 s]
/proc/loadavg: 2.27 1.79 1.46 3/219 1321
/proc/meminfo: memFree=20342880/32770624 swapFree=67108860/67108860
[pid=993] ppid=990 vsize=11082080 memory=3400508 CPUtime=135.66 cores=0,2,4,6
/proc/993/stat : 993 (java) S 990 993 29938 0 -1 1077944320 119419 13177 0 0 13347 211 5 3 20 0 15 0 107405329 11348049920 850127 33554432000 4194304 4196468 140737355070336 140737355052880 139999706337015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
/proc/993/statm: 2770520 850127 3536 1 0 2732173 0
[pid=993/tid=1047] ppid=990 vsize=11082080 memory=0 CPUtime=99.22 cores=0,2,4,6
/proc/993/task/1047/stat : 1047 (java) R 990 993 29938 0 -1 4202560 55115 13177 0 0 9872 42 5 3 20 0 15 0 107405338 11348049920 850127 33554432000 4194304 4196468 140737355070336 139999678171312 139999265671829 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1048] ppid=990 vsize=11082080 memory=3400508 CPUtime=2.88 cores=0,2,4,6
/proc/993/task/1048/stat : 1048 (java) S 990 993 29938 0 -1 1077944384 2804 13177 0 0 242 38 5 3 20 0 15 0 107405339 11348049920 850127 33554432000 4194304 4196468 140737355070336 139999710579728 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1049] ppid=990 vsize=11082080 memory=33 CPUtime=2.87 cores=0,2,4,6
/proc/993/task/1049/stat : 1049 (java) S 990 993 29938 0 -1 1077944384 1610 13177 0 0 240 39 5 3 20 0 15 0 107405339 11348049920 850127 33554432000 4194304 4196468 140737355070336 139999565298832 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1050] ppid=990 vsize=11082080 memory=3400508 CPUtime=2.88 cores=0,2,4,6
/proc/993/task/1050/stat : 1050 (java) S 990 993 29938 0 -1 1077944384 2995 13177 0 0 244 36 5 3 20 0 15 0 107405339 11348049920 850127 33554432000 4194304 4196468 140737355070336 139999564245776 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1051] ppid=990 vsize=11082080 memory=3281724 CPUtime=2.88 cores=0,2,4,6
/proc/993/task/1051/stat : 1051 (java) S 990 993 29938 0 -1 1077944384 1353 13177 0 0 244 36 5 3 20 0 15 0 107405339 11348049920 850127 33554432000 4194304 4196468 140737355070336 139999563193232 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1052] ppid=990 vsize=11082080 memory=3281716 CPUtime=0.24 cores=0,2,4,6
/proc/993/task/1052/stat : 1052 (java) S 990 993 29938 0 -1 1077944384 11576 13177 0 0 14 2 5 3 20 0 15 0 107405341 11348049920 850127 33554432000 4194304 4196468 140737355070336 139999132178672 139999706348162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1053] ppid=990 vsize=11082080 memory=3400508 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1053/stat : 1053 (java) S 990 993 29938 0 -1 1077944384 16 13177 0 0 0 0 5 3 20 0 15 0 107405341 11348049920 850127 33554432000 4194304 4196468 140737355070336 139998552646944 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1054] ppid=990 vsize=11082080 memory=2372 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1054/stat : 1054 (java) S 990 993 29938 0 -1 1077944384 15 13177 0 0 0 0 5 3 20 0 15 0 107405341 11348049920 850127 33554432000 4194304 4196468 140737355070336 139998351319968 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1055] ppid=990 vsize=11082080 memory=3400508 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1055/stat : 1055 (java) S 990 993 29938 0 -1 1077944384 3 13177 0 0 0 0 5 3 20 0 15 0 107405344 11348049920 850127 33554432000 4194304 4196468 140737355070336 139998043920336 139999706355611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1056] ppid=990 vsize=11082080 memory=1236 CPUtime=10.76 cores=0,2,4,6
/proc/993/task/1056/stat : 1056 (java) S 990 993 29938 0 -1 1077944384 13450 13177 0 0 1064 4 5 3 20 0 15 0 107405344 11348049920 850127 33554432000 4194304 4196468 140737355070336 139999131126512 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1057] ppid=990 vsize=11082080 memory=3306300 CPUtime=10.91 cores=0,2,4,6
/proc/993/task/1057/stat : 1057 (java) S 990 993 29938 0 -1 1077944384 14292 13177 0 0 1080 3 5 3 20 0 15 0 107405344 11348049920 850127 33554432000 4194304 4196468 140737355070336 139999130073968 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1058] ppid=990 vsize=11082080 memory=2596 CPUtime=3.51 cores=0,2,4,6
/proc/993/task/1058/stat : 1058 (java) S 990 993 29938 0 -1 1077944384 13866 13177 0 0 339 4 5 3 20 0 15 0 107405344 11348049920 850127 33554432000 4194304 4196468 140737355070336 139999129020912 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1059] ppid=990 vsize=11082080 memory=6947385649911455296 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1059/stat : 1059 (java) S 990 993 29938 0 -1 1077944384 3 13177 0 0 0 0 5 3 20 0 15 0 107405344 11348049920 850127 33554432000 4194304 4196468 140737355070336 139997613124448 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1060] ppid=990 vsize=11082080 memory=2444 CPUtime=0.13 cores=0,2,4,6
/proc/993/task/1060/stat : 1060 (java) S 990 993 29938 0 -1 1077944384 129 13177 0 0 2 3 5 3 20 0 15 0 107405344 11348049920 850127 33554432000 4194304 4196468 140737355070336 139999127968304 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
Current children cumulated CPU time: 135.66 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3400508 KiB

[startup+162.301 s]
/proc/loadavg: 2.16 1.86 1.51 3/219 1322
/proc/meminfo: memFree=17154980/32770624 swapFree=67108860/67108860
[pid=993] ppid=990 vsize=11082080 memory=3470140 CPUtime=198.2 cores=0,2,4,6
/proc/993/stat : 993 (java) S 990 993 29938 0 -1 1077944320 137649 13177 0 0 19592 220 5 3 20 0 15 0 107405329 11348049920 867535 33554432000 4194304 4196468 140737355070336 140737355052880 139999706337015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
/proc/993/statm: 2770520 867535 3536 1 0 2732173 0
[pid=993/tid=1047] ppid=990 vsize=11082080 memory=3470140 CPUtime=158.52 cores=0,2,4,6
/proc/993/task/1047/stat : 1047 (java) R 990 993 29938 0 -1 4202560 59080 13177 0 0 15802 42 5 3 20 0 15 0 107405338 11348049920 867535 33554432000 4194304 4196468 140737355070336 139999678168768 139999255553605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1048] ppid=990 vsize=11082080 memory=3470140 CPUtime=3.56 cores=0,2,4,6
/proc/993/task/1048/stat : 1048 (java) S 990 993 29938 0 -1 1077944384 3528 13177 0 0 308 40 5 3 20 0 15 0 107405339 11348049920 867535 33554432000 4194304 4196468 140737355070336 139999710579728 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1049] ppid=990 vsize=11082080 memory=3470140 CPUtime=3.55 cores=0,2,4,6
/proc/993/task/1049/stat : 1049 (java) S 990 993 29938 0 -1 1077944384 3618 13177 0 0 306 41 5 3 20 0 15 0 107405339 11348049920 867535 33554432000 4194304 4196468 140737355070336 139999565298832 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1050] ppid=990 vsize=11082080 memory=3470140 CPUtime=3.56 cores=0,2,4,6
/proc/993/task/1050/stat : 1050 (java) S 990 993 29938 0 -1 1077944384 3304 13177 0 0 310 38 5 3 20 0 15 0 107405339 11348049920 867535 33554432000 4194304 4196468 140737355070336 139999564245776 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1051] ppid=990 vsize=11082080 memory=3470140 CPUtime=3.56 cores=0,2,4,6
/proc/993/task/1051/stat : 1051 (java) S 990 993 29938 0 -1 1077944384 1839 13177 0 0 311 37 5 3 20 0 15 0 107405339 11348049920 867535 33554432000 4194304 4196468 140737355070336 139999563193232 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1052] ppid=990 vsize=11082080 memory=3470140 CPUtime=0.24 cores=0,2,4,6
/proc/993/task/1052/stat : 1052 (java) S 990 993 29938 0 -1 1077944384 11861 13177 0 0 14 2 5 3 20 0 15 0 107405341 11348049920 867535 33554432000 4194304 4196468 140737355070336 139999132178672 139999706348162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1053] ppid=990 vsize=11082080 memory=3470140 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1053/stat : 1053 (java) S 990 993 29938 0 -1 1077944384 16 13177 0 0 0 0 5 3 20 0 15 0 107405341 11348049920 867535 33554432000 4194304 4196468 140737355070336 139998552646944 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1054] ppid=990 vsize=11082080 memory=3470140 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1054/stat : 1054 (java) S 990 993 29938 0 -1 1077944384 15 13177 0 0 0 0 5 3 20 0 15 0 107405341 11348049920 867535 33554432000 4194304 4196468 140737355070336 139998351319968 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1055] ppid=990 vsize=11082080 memory=3470140 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1055/stat : 1055 (java) S 990 993 29938 0 -1 1077944384 3 13177 0 0 0 0 5 3 20 0 15 0 107405344 11348049920 867535 33554432000 4194304 4196468 140737355070336 139998043920336 139999706355611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1056] ppid=990 vsize=11082080 memory=3470140 CPUtime=11.01 cores=0,2,4,6
/proc/993/task/1056/stat : 1056 (java) S 990 993 29938 0 -1 1077944384 16261 13177 0 0 1089 4 5 3 20 0 15 0 107405344 11348049920 867535 33554432000 4194304 4196468 140737355070336 139999131126512 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1057] ppid=990 vsize=11082080 memory=3470140 CPUtime=11.12 cores=0,2,4,6
/proc/993/task/1057/stat : 1057 (java) S 990 993 29938 0 -1 1077944384 19443 13177 0 0 1101 3 5 3 20 0 15 0 107405344 11348049920 867535 33554432000 4194304 4196468 140737355070336 139999130073968 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1058] ppid=990 vsize=11082080 memory=1832 CPUtime=3.54 cores=0,2,4,6
/proc/993/task/1058/stat : 1058 (java) S 990 993 29938 0 -1 1077944384 16323 13177 0 0 341 5 5 3 20 0 15 0 107405344 11348049920 867535 33554432000 4194304 4196468 140737355070336 139999129020912 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1059] ppid=990 vsize=11082080 memory=1948 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1059/stat : 1059 (java) S 990 993 29938 0 -1 1077944384 3 13177 0 0 0 0 5 3 20 0 15 0 107405344 11348049920 867535 33554432000 4194304 4196468 140737355070336 139997613124448 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1060] ppid=990 vsize=11082080 memory=3470140 CPUtime=0.16 cores=0,2,4,6
/proc/993/task/1060/stat : 1060 (java) S 990 993 29938 0 -1 1077944384 163 13177 0 0 4 4 5 3 20 0 15 0 107405344 11348049920 867535 33554432000 4194304 4196468 140737355070336 139999127968304 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
Current children cumulated CPU time: 198.2 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3470140 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+213.601 s]
/proc/loadavg: 1.68 1.79 1.50 3/219 1330
/proc/meminfo: memFree=16985044/32770624 swapFree=67108860/67108860
[pid=993] ppid=990 vsize=11082080 memory=3513248 CPUtime=252.37 cores=0,2,4,6
/proc/993/stat : 993 (java) S 990 993 29938 0 -1 1077944320 153110 13177 0 0 25003 226 5 3 20 0 15 0 107405329 11348049920 878312 33554432000 4194304 4196468 140737355070336 140737355052880 139999706337015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
/proc/993/statm: 2770520 878312 3536 1 0 2732173 0
[pid=993/tid=1047] ppid=990 vsize=11082080 memory=3470232 CPUtime=208.91 cores=0,2,4,6
/proc/993/task/1047/stat : 1047 (java) S 990 993 29938 0 -1 1077944384 62668 13177 0 0 20841 42 5 3 20 0 15 0 107405338 11348049920 878312 33554432000 4194304 4196468 140737355070336 139999678171632 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1048] ppid=990 vsize=11082080 memory=514 CPUtime=4.46 cores=0,2,4,6
/proc/993/task/1048/stat : 1048 (java) R 990 993 29938 0 -1 4202560 3822 13177 0 0 397 41 5 3 20 0 15 0 107405339 11348049920 878312 33554432000 4194304 4196468 140737355070336 139999710579616 139999690785230 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1049] ppid=990 vsize=11082080 memory=8460 CPUtime=4.44 cores=0,2,4,6
/proc/993/task/1049/stat : 1049 (java) R 990 993 29938 0 -1 4202560 4138 13177 0 0 395 41 5 3 20 0 15 0 107405339 11348049920 878312 33554432000 4194304 4196468 140737355070336 139999565299032 139999687962900 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1050] ppid=990 vsize=11082080 memory=5776 CPUtime=4.45 cores=0,2,4,6
/proc/993/task/1050/stat : 1050 (java) R 990 993 29938 0 -1 4202560 4628 13177 0 0 398 39 5 3 20 0 15 0 107405339 11348049920 878312 33554432000 4194304 4196468 140737355070336 139999564245976 139999691361070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1051] ppid=990 vsize=11082080 memory=1200 CPUtime=4.46 cores=0,2,4,6
/proc/993/task/1051/stat : 1051 (java) R 990 993 29938 0 -1 4202560 2715 13177 0 0 400 38 5 3 20 0 15 0 107405339 11348049920 878312 33554432000 4194304 4196468 140737355070336 139999563193432 139999691365287 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1052] ppid=990 vsize=11082080 memory=12136 CPUtime=0.25 cores=0,2,4,6
/proc/993/task/1052/stat : 1052 (java) S 990 993 29938 0 -1 1077944384 12189 13177 0 0 15 2 5 3 20 0 15 0 107405341 11348049920 878312 33554432000 4194304 4196468 140737355070336 139999132177184 139999706347221 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1053] ppid=990 vsize=11082080 memory=1008 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1053/stat : 1053 (java) S 990 993 29938 0 -1 1077944384 16 13177 0 0 0 0 5 3 20 0 15 0 107405341 11348049920 878312 33554432000 4194304 4196468 140737355070336 139998552646944 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1054] ppid=990 vsize=11082080 memory=6947385649911455296 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1054/stat : 1054 (java) S 990 993 29938 0 -1 1077944384 15 13177 0 0 0 0 5 3 20 0 15 0 107405341 11348049920 878312 33554432000 4194304 4196468 140737355070336 139998351319968 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1055] ppid=990 vsize=11082080 memory=1224 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1055/stat : 1055 (java) S 990 993 29938 0 -1 1077944384 3 13177 0 0 0 0 5 3 20 0 15 0 107405344 11348049920 878312 33554432000 4194304 4196468 140737355070336 139998043920336 139999706355611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1056] ppid=990 vsize=11082080 memory=1716 CPUtime=11.06 cores=0,2,4,6
/proc/993/task/1056/stat : 1056 (java) S 990 993 29938 0 -1 1077944384 18314 13177 0 0 1094 4 5 3 20 0 15 0 107405344 11348049920 878312 33554432000 4194304 4196468 140737355070336 139999131126512 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1057] ppid=990 vsize=11082080 memory=1424 CPUtime=11.2 cores=0,2,4,6
/proc/993/task/1057/stat : 1057 (java) S 990 993 29938 0 -1 1077944384 21471 13177 0 0 1109 3 5 3 20 0 15 0 107405344 11348049920 878312 33554432000 4194304 4196468 140737355070336 139999130073968 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1058] ppid=990 vsize=11082080 memory=796 CPUtime=3.56 cores=0,2,4,6
/proc/993/task/1058/stat : 1058 (java) S 990 993 29938 0 -1 1077944384 20743 13177 0 0 343 5 5 3 20 0 15 0 107405344 11348049920 878312 33554432000 4194304 4196468 140737355070336 139999129020912 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1059] ppid=990 vsize=11082080 memory=4132 CPUtime=0.08 cores=0,2,4,6
/proc/993/task/1059/stat : 1059 (java) S 990 993 29938 0 -1 1077944384 3 13177 0 0 0 0 5 3 20 0 15 0 107405344 11348049920 878312 33554432000 4194304 4196468 140737355070336 139997613124448 139999706347221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
[pid=993/tid=1060] ppid=990 vsize=11082080 memory=30700 CPUtime=0.19 cores=0,2,4,6
/proc/993/task/1060/stat : 1060 (java) S 990 993 29938 0 -1 1077944384 193 13177 0 0 5 6 5 3 20 0 15 0 107405344 11348049920 878312 33554432000 4194304 4196468 140737355070336 139999127968304 139999706348162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 13840384 140737355074153 140737355076961 140737355076961 140737355079631 0
Current children cumulated CPU time: 252.37 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3513248 KiB

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

[startup+213.704 s]
# the end of solver process 993 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.335 s, system=2.33111 s

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

Child status: 143
Real time (s): 213.704
CPU time (s): 252.666
CPU user time (s): 250.335
CPU system time (s): 2.33111
CPU usage (%): 118.232
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 3513248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.335
system time used= 2.33111
maximum resident set size= 3525828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167116
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17149
involuntary context switches= 560


# summary of solver processes directly reported to runsolver:
#   pid: 993
#   total CPU time (s): 252.666
#   total CPU user time (s): 250.335
#   total CPU system time (s): 2.33111

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2179 second user time and 2.14971 second system time

The end

Name	TravelingTournament/ TravelingTournament-a2-galaxy14_c18.xml
MD5SUM	289cb43960e2b184f01d0d99cacee99d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	17126
Best CPU time to get the best result obtained on this benchmark	252.078
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 4302677

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