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)	21617	2520.11	2440.43

0.99/0.74	c Concrete v3.9.2.1532736233296 running
106.26/79.19	o 22780
107.74/79.97	o 22719
107.96/80.05	o 22645
113.19/84.69	o 22126
113.34/84.72	o 22120
113.34/84.74	o 22106
113.79/85.07	o 22100
114.01/85.12	o 22082
286.97/255.36	o 21906
287.89/256.14	o 21903
287.89/256.18	o 21858
288.39/256.65	o 21850
289.51/257.71	o 21847
316.60/284.26	o 21842
352.26/319.27	o 21816
352.78/319.72	o 21750
352.78/319.74	o 21740
353.00/319.92	o 21705
2444.72/2365.50	o 21678
2444.72/2365.54	o 21671
2512.72/2433.19	o 21645
2512.81/2433.21	o 21617
2520.06/2440.40	Exception in thread "main" java.util.concurrent.TimeoutException
2520.06/2440.40		at concrete.MAC.mac(MAC.scala:188)
2520.06/2440.40		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.06/2440.40		at scala.util.Try$.apply(Try.scala:209)
2520.06/2440.40		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.06/2440.40		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.06/2440.40		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.06/2440.40		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.06/2440.40		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.06/2440.40		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.06/2440.40		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.06/2440.40		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.06/2440.40		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.06/2440.40		at concrete.MAC.oneRun(MAC.scala:253)
2520.06/2440.40		at concrete.MAC.nextSolution(MAC.scala:272)
2520.06/2440.40		at concrete.MAC.nextSolution(MAC.scala:355)
2520.06/2440.40		at concrete.Solver.hasNext(Solver.scala:166)
2520.06/2440.40		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.06/2440.40		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.06/2440.40		at concrete.Solver.foreach(Solver.scala:68)
2520.06/2440.41		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.06/2440.41		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.06/2440.41		at scala.util.Success.map(Try.scala:209)
2520.06/2440.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.06/2440.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.06/2440.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.06/2440.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.06/2440.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.06/2440.41		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.06/2440.41		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.06/2440.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.06/2440.41		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.06/2440.41		at scala.collection.immutable.List.foreach(List.scala:389)
2520.06/2440.41		at scala.App.main(App.scala:76)
2520.06/2440.41		at scala.App.main$(App.scala:74)
2520.06/2440.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.06/2440.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.06/2440.42	v <instantiation cost="21617">
2520.06/2440.42	v       <list>
2520.06/2440.42	v         o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[0][26] h[0][27] h[0][28] h[0][29] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[1][26] h[1][27] h[1][28] h[1][29] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[2][26] h[2][27] h[2][28] h[2][29] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[3][26] h[3][27] h[3][28] h[3][29] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[4][26] h[4][27] h[4][28] h[4][29] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[5][26] h[5][27] h[5][28] h[5][29] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[6][26] h[6][27] h[6][28] h[6][29] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[7][26] h[7][27] h[7][28] h[7][29] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[8][26] h[8][27] h[8][28] h[8][29] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[9][26] h[9][27] h[9][28] h[9][29] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[10][26] h[10][27] h[10][28] h[10][29] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[11][26] h[11][27] h[11][28] h[11][29] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[12][26] h[12][27] h[12][28] h[12][29] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] h[13][26] h[13][27] h[13][28] h[13][29] h[14][0] h[14][1] h[14][2] h[14][3] h[14][4] h[14][5] h[14][6] h[14][7] h[14][8] h[14][9] h[14][10] h[14][11] h[14][12] h[14][13] h[14][14] h[14][15] h[14][16] h[14][17] h[14][18] h[14][19] h[14][20] h[14][21] h[14][22] h[14][23] h[14][24] h[14][25] h[14][26] h[14][27] h[14][28] h[14][29] h[15][0] h[15][1] h[15][2] h[15][3] h[15][4] h[15][5] h[15][6] h[15][7] h[15][8] h[15][9] h[15][10] h[15][11] h[15][12] h[15][13] h[15][14] h[15][15] h[15][16] h[15][17] h[15][18] h[15][19] h[15][20] h[15][21] h[15][22] h[15][23] h[15][24] h[15][25] h[15][26] h[15][27] h[15][28] h[15][29] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[0][26] a[0][27] a[0][28] a[0][29] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[1][26] a[1][27] a[1][28] a[1][29] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[2][26] a[2][27] a[2][28] a[2][29] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[3][26] a[3][27] a[3][28] a[3][29] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[4][26] a[4][27] a[4][28] a[4][29] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[5][26] a[5][27] a[5][28] a[5][29] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[6][26] a[6][27] a[6][28] a[6][29] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[7][26] a[7][27] a[7][28] a[7][29] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[8][26] a[8][27] a[8][28] a[8][29] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[9][26] a[9][27] a[9][28] a[9][29] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[10][26] a[10][27] a[10][28] a[10][29] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[11][26] a[11][27] a[11][28] a[11][29] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[12][26] a[12][27] a[12][28] a[12][29] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] a[13][26] a[13][27] a[13][28] a[13][29] a[14][0] a[14][1] a[14][2] a[14][3] a[14][4] a[14][5] a[14][6] a[14][7] a[14][8] a[14][9] a[14][10] a[14][11] a[14][12] a[14][13] a[14][14] a[14][15] a[14][16] a[14][17] a[14][18] a[14][19] a[14][20] a[14][21] a[14][22] a[14][23] a[14][24] a[14][25] a[14][26] a[14][27] a[14][28] a[14][29] a[15][0] a[15][1] a[15][2] a[15][3] a[15][4] a[15][5] a[15][6] a[15][7] a[15][8] a[15][9] a[15][10] a[15][11] a[15][12] a[15][13] a[15][14] a[15][15] a[15][16] a[15][17] a[15][18] a[15][19] a[15][20] a[15][21] a[15][22] a[15][23] a[15][24] a[15][25] a[15][26] a[15][27] a[15][28] a[15][29] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[0][27] t[0][28] t[0][29] t[0][30] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[1][27] t[1][28] t[1][29] t[1][30] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[2][27] t[2][28] t[2][29] t[2][30] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[3][27] t[3][28] t[3][29] t[3][30] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[4][27] t[4][28] t[4][29] t[4][30] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[5][27] t[5][28] t[5][29] t[5][30] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[6][27] t[6][28] t[6][29] t[6][30] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[7][27] t[7][28] t[7][29] t[7][30] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[8][27] t[8][28] t[8][29] t[8][30] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[9][27] t[9][28] t[9][29] t[9][30] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[10][27] t[10][28] t[10][29] t[10][30] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[11][27] t[11][28] t[11][29] t[11][30] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[12][27] t[12][28] t[12][29] t[12][30] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26] t[13][27] t[13][28] t[13][29] t[13][30] t[14][0] t[14][1] t[14][2] t[14][3] t[14][4] t[14][5] t[14][6] t[14][7] t[14][8] t[14][9] t[14][10] t[14][11] t[14][12] t[14][13] t[14][14] t[14][15] t[14][16] t[14][17] t[14][18] t[14][19] t[14][20] t[14][21] t[14][22] t[14][23] t[14][24] t[14][25] t[14][26] t[14][27] t[14][28] t[14][29] t[14][30] t[15][0] t[15][1] t[15][2] t[15][3] t[15][4] t[15][5] t[15][6] t[15][7] t[15][8] t[15][9] t[15][10] t[15][11] t[15][12] t[15][13] t[15][14] t[15][15] t[15][16] t[15][17] t[15][18] t[15][19] t[15][20] t[15][21] t[15][22] t[15][23] t[15][24] t[15][25] t[15][26] t[15][27] t[15][28] t[15][29] t[15][30]
2520.06/2440.42	v       </list>
2520.06/2440.42	v       <values>
2520.06/2440.42	v         11 10 12 4 3 1 7 10 4 13 15 2 15 14 8 5 1 8 7 2 11 6 5 3 9 6 9 14 13 12 2 8 10 9 13 0 11 4 11 6 14 12 2 3 5 8 0 12 6 7 9 7 14 10 15 13 15 3 4 5 1 4 6 13 7 15 10 11 5 9 12 0 1 15 12 3 7 10 4 0 14 11 3 8 14 9 5 8 6 13 15 5 15 14 0 9 4 9 10 12 13 4 8 1 6 2 14 5 11 8 7 10 2 0 11 12 13 1 7 6 13 2 8 0 15 14 3 1 0 11 6 3 9 10 11 6 10 13 2 9 15 5 7 5 12 7 14 12 1 8 6 3 9 7 12 12 9 14 2 14 10 11 10 11 1 0 6 3 8 13 8 4 0 4 13 15 2 7 15 1 5 9 2 8 8 7 15 13 14 1 4 10 14 9 3 4 5 11 1 15 12 0 10 11 7 0 12 13 2 3 8 13 11 5 2 6 0 15 8 10 9 14 12 13 15 10 2 14 0 1 3 1 4 12 6 4 11 5 3 9 7 1 4 6 6 13 14 12 7 15 11 9 3 12 0 1 13 0 5 3 5 9 15 2 10 11 10 2 14 4 10 6 5 1 14 3 5 3 12 2 7 8 4 6 14 12 11 15 13 4 1 8 13 15 0 2 0 10 11 7 9 0 1 15 11 11 2 0 3 7 5 6 5 4 13 7 4 2 14 12 13 3 6 1 8 14 8 9 12 15 0 15 7 12 10 10 1 2 1 4 8 5 13 5 4 13 9 6 3 14 0 2 12 6 3 8 7 15 9 14 14 14 0 11 5 5 13 8 9 3 2 1 7 8 2 9 15 1 15 10 6 13 11 7 4 3 6 4 10 0 4 7 14 2 1 8 12 6 15 0 3 15 11 7 10 11 8 4 9 5 10 12 9 14 5 1 3 6 0 2 12 12 13 3 9 4 8 5 6 5 1 7 6 0 9 15 3 7 10 11 2 15 1 13 2 10 4 0 8 11 3 11 3 10 4 2 6 7 13 8 0 13 0 2 7 14 12 9 12 6 4 14 8 9 1 5 1 11 5 10 1 1 0 0 1 0 0 0 1 0 0 0 1 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 0 1 1 1 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 0 1 1 0 1 0 1 1 1 0 1 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 1 1 0 1 1 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 1 0 1 1 1 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 1 1 0 1 1 1 0 1 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 1 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 1 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 1 1 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 57 73 36 10 44 69 55 59 32 59 15 0 0 39 39 48 48 0 55 70 44 34 34 0 51 17 59 0 0 22 53 46 43 43 0 64 64 0 39 39 0 0 32 32 0 10 57 55 0 0 44 82 111 65 64 32 68 31 35 40 0 45 18 92 61 59 39 10 58 49 49 0 22 22 48 80 14 56 0 15 15 0 0 53 84 56 50 50 0 0 0 63 69 41 72 59 34 0 67 103 101 80 51 21 68 47 47 0 0 66 66 0 0 47 47 0 0 50 64 44 14 0 0 0 21 21 0 0 51 32 10 36 18 18 55 103 10 70 0 91 61 45 90 90 64 48 35 0 70 27 73 0 0 0 0 81 81 94 94 0 93 56 50 51 10 44 0 40 40 27 47 41 0 42 21 36 39 75 75 0 48 57 69 0 27 27 0 0 31 31 91 32 91 83 0 75 75 69 69 18 18 0 39 39 88 88 0 70 67 44 44 0 56 47 47 0 0 0 48 50 56 59 0 81 81 79 17 82 41 32 39 69 0 44 10 32 14 0 90 90 64 70 67 0 0 0 81 81 0 31 31 104 104 0 0 97 97 0 0 81 57 10 46 0 42 41 68 68 68 0 73 10 69 53 56 70 21 103 75 69 0 0 67 41 81 30 30 0 68 68 0 17 17 105 105 93 91 31 43 0 103 59 15 49 0 0 79 79 0 55 10 68 39 10 10 0 0 69 69 0 51 51 0 0 74 45 56 111 66 50 47 75 0 0 73 68 30 101 0 55 55 67 90 101 10 0 0 64 31 21 69 69 75 44 0 0 70 70 113 113 58 58 0 66 66 0 45 103 105 0 0 27 27 0 0 94 75 104 81 0 48 22 44 90 0 30 103 97 0 101 101 0 105 105 73 51 47 88 0 57 57 91 64 41 0 64 64 0 0 32 32 50 50 0 0 66 10 69 104 0 75 75 90 30 17 91 0 0 92 44 15 61 27 27 91 91 17 55 21 84 0 93 40 53 83 44 59 0 72 14 82 0 56 59 105 0 0 111 111 0 0 113 113 0 45 66 63 90 90 0 57 57 0 0 32 59 15 59 105 105 103 30 88 91 0 97 97 68 40 69 0 0 39 39
2520.06/2440.42	v       </values>
2520.06/2440.42	v     </instantiation>
2520.06/2440.42	s SATISFIABLE

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304705-1534127671/watcher-4304705-1534127671 -o /tmp/evaluation-result-4304705-1534127671/solver-4304705-1534127671 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534099504-1960 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1361266281 HOME/instance-4304705-1534127671.xml 

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

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

solver pid=7788, runsolver pid=7785

[startup+0.100061 s]*
/proc/loadavg: 1.41 1.26 1.30 3/206 7844
/proc/meminfo: memFree=27608444/32770624 swapFree=67108804/67108860
[pid=7788] ppid=7785 vsize=10005480 memory=16548 CPUtime=0.08 cores=0,2,4,6
/proc/7788/stat : 7788 (java) S 7785 7788 1929 0 -1 1077944320 4286 13077 0 0 1 0 5 2 20 0 6 0 230330334 10245611520 4137 33554432000 4194304 4196468 140727653259872 140727653242416 139689903742711 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
/proc/7788/statm: 2501370 4137 1932 1 0 2489808 0
[pid=7788/tid=7841] ppid=7785 vsize=10005480 memory=-8745273339715829695 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7841/stat : 7841 (java) R 7785 7788 1929 0 -1 4202560 2144 13077 0 0 0 0 5 2 20 0 6 0 230330343 10245611520 4203 33554432000 4194304 4196468 140727653259872 139689875579472 139689889425203 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7842] ppid=7785 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7842/stat : 7842 (java) S 7785 7788 1929 0 -1 1077944384 2 13077 0 0 0 0 5 2 20 0 6 0 230330344 10245611520 4203 33554432000 4194304 4196468 140727653259872 139689907985040 139689903752917 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7843] ppid=7785 vsize=10005480 memory=140077706913408 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7843/stat : 7843 (java) S 7785 7788 1929 0 -1 1077944384 1 13077 0 0 0 0 5 2 20 0 6 0 230330344 10245611520 4203 33554432000 4194304 4196468 140727653259872 139689789250064 139689903752917 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7844] ppid=7785 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7844/stat : 7844 (java) S 7785 7788 1929 0 -1 1077944384 1 13077 0 0 0 0 5 2 20 0 6 0 230330344 10245611520 4203 33554432000 4194304 4196468 140727653259872 139689788197264 139689903752917 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7845] ppid=7785 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7845/stat : 7845 (java) S 7785 7788 1929 0 -1 1077944384 2 13077 0 0 0 0 5 2 20 0 6 0 230330344 10245611520 4203 33554432000 4194304 4196468 140727653259872 139689787144464 139689903752917 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16548 KiB

[startup+0.210148 s]*
/proc/loadavg: 1.41 1.26 1.30 3/216 7854
/proc/meminfo: memFree=27585204/32770624 swapFree=67108804/67108860
[pid=7788] ppid=7785 vsize=10982744 memory=43168 CPUtime=0.25 cores=0,2,4,6
/proc/7788/stat : 7788 (java) S 7785 7788 1929 0 -1 1077944320 7475 13077 0 0 16 2 5 2 20 0 15 0 230330334 11246329856 10792 33554432000 4194304 4196468 140727653259872 140727653242416 139689903742711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
/proc/7788/statm: 2745686 10792 2960 1 0 2708109 0
[pid=7788/tid=7841] ppid=7785 vsize=10982744 memory=8514701219931451533 CPUtime=0.18 cores=0,2,4,6
/proc/7788/task/7841/stat : 7841 (java) R 7785 7788 1929 0 -1 4202560 4271 13077 0 0 10 1 5 2 20 0 15 0 230330343 11246329856 10990 33554432000 4194304 4196468 140727653259872 139689875520672 139689884018471 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7842] ppid=7785 vsize=10982744 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7842/stat : 7842 (java) S 7785 7788 1929 0 -1 1077944384 2 13077 0 0 0 0 5 2 20 0 15 0 230330344 11246329856 10990 33554432000 4194304 4196468 140727653259872 139689907985040 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7843] ppid=7785 vsize=10982744 memory=140077706913408 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7843/stat : 7843 (java) S 7785 7788 1929 0 -1 1077944384 1 13077 0 0 0 0 5 2 20 0 15 0 230330344 11246329856 10990 33554432000 4194304 4196468 140727653259872 139689789250064 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7844] ppid=7785 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7844/stat : 7844 (java) S 7785 7788 1929 0 -1 1077944384 1 13077 0 0 0 0 5 2 20 0 15 0 230330344 11246329856 10990 33554432000 4194304 4196468 140727653259872 139689788197264 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7845] ppid=7785 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7845/stat : 7845 (java) S 7785 7788 1929 0 -1 1077944384 2 13077 0 0 0 0 5 2 20 0 15 0 230330344 11246329856 10990 33554432000 4194304 4196468 140727653259872 139689787144464 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7846] ppid=7785 vsize=10982744 memory=140077706913408 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7846/stat : 7846 (java) S 7785 7788 1929 0 -1 1077944384 2 13077 0 0 0 0 5 2 20 0 15 0 230330345 11246329856 11056 33554432000 4194304 4196468 140727653259872 139689396870000 139689903753858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7847] ppid=7785 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7847/stat : 7847 (java) S 7785 7788 1929 0 -1 1077944384 13 13077 0 0 0 0 5 2 20 0 15 0 230330346 11246329856 11056 33554432000 4194304 4196468 140727653259872 139688711022112 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7848] ppid=7785 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7848/stat : 7848 (java) S 7785 7788 1929 0 -1 1077944384 1 13077 0 0 0 0 5 2 20 0 15 0 230330346 11246329856 11056 33554432000 4194304 4196468 140727653259872 139688509695344 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7849] ppid=7785 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7849/stat : 7849 (java) S 7785 7788 1929 0 -1 1077944384 3 13077 0 0 0 0 5 2 20 0 15 0 230330349 11246329856 11056 33554432000 4194304 4196468 140727653259872 139688202295632 139689903761307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7850] ppid=7785 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7788/task/7850/stat : 7850 (java) S 7785 7788 1929 0 -1 1077944384 431 13077 0 0 1 0 5 2 20 0 15 0 230330349 11246329856 11056 33554432000 4194304 4196468 140727653259872 139689395816816 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7851] ppid=7785 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7851/stat : 7851 (java) S 7785 7788 1929 0 -1 1077944384 179 13077 0 0 0 0 5 2 20 0 15 0 230330349 11246329856 11056 33554432000 4194304 4196468 140727653259872 139689394764016 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7852] ppid=7785 vsize=10982744 memory=140077706913408 CPUtime=0.1 cores=0,2,4,6
/proc/7788/task/7852/stat : 7852 (java) S 7785 7788 1929 0 -1 1077944384 611 13077 0 0 3 0 5 2 20 0 15 0 230330349 11246329856 11056 33554432000 4194304 4196468 140727653259872 139689393711216 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7853] ppid=7785 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7853/stat : 7853 (java) S 7785 7788 1929 0 -1 1077944384 3 13077 0 0 0 0 5 2 20 0 15 0 230330349 11246329856 11056 33554432000 4194304 4196468 140727653259872 139687771498720 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7854] ppid=7785 vsize=10982744 memory=140077706913408 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7854/stat : 7854 (java) S 7785 7788 1929 0 -1 1077944384 1 13077 0 0 0 0 5 2 20 0 15 0 230330349 11246329856 11056 33554432000 4194304 4196468 140727653259872 139689392659632 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43168 KiB

[startup+0.310224 s]*
/proc/loadavg: 1.41 1.26 1.30 3/216 7854
/proc/meminfo: memFree=27572860/32770624 swapFree=67108804/67108860
[pid=7788] ppid=7785 vsize=10983192 memory=55456 CPUtime=0.37 cores=0,2,4,6
/proc/7788/stat : 7788 (java) S 7785 7788 1929 0 -1 1077944320 10409 13077 0 0 28 2 5 2 20 0 15 0 230330334 11246788608 13864 33554432000 4194304 4196468 140727653259872 140727653242416 139689903742711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
/proc/7788/statm: 2745798 13864 3079 1 0 2708109 0
[pid=7788/tid=7841] ppid=7785 vsize=10983192 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/7788/task/7841/stat : 7841 (java) R 7785 7788 1929 0 -1 4202560 6966 13077 0 0 19 2 5 2 20 0 15 0 230330343 11246788608 13864 33554432000 4194304 4196468 140727653259872 139689875554720 139689884018041 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7842] ppid=7785 vsize=10983192 memory=7229227738107891792 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7842/stat : 7842 (java) S 7785 7788 1929 0 -1 1077944384 2 13077 0 0 0 0 5 2 20 0 15 0 230330344 11246788608 13864 33554432000 4194304 4196468 140727653259872 139689907985040 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7843] ppid=7785 vsize=10983192 memory=2080 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7843/stat : 7843 (java) S 7785 7788 1929 0 -1 1077944384 1 13077 0 0 0 0 5 2 20 0 15 0 230330344 11246788608 13864 33554432000 4194304 4196468 140727653259872 139689789250064 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7844] ppid=7785 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7844/stat : 7844 (java) S 7785 7788 1929 0 -1 1077944384 1 13077 0 0 0 0 5 2 20 0 15 0 230330344 11246788608 13864 33554432000 4194304 4196468 140727653259872 139689788197264 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7845] ppid=7785 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7845/stat : 7845 (java) S 7785 7788 1929 0 -1 1077944384 2 13077 0 0 0 0 5 2 20 0 15 0 230330344 11246788608 13864 33554432000 4194304 4196468 140727653259872 139689787144464 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7846] ppid=7785 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7846/stat : 7846 (java) S 7785 7788 1929 0 -1 1077944384 2 13077 0 0 0 0 5 2 20 0 15 0 230330345 11246788608 13864 33554432000 4194304 4196468 140727653259872 139689396870000 139689903753858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7847] ppid=7785 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7847/stat : 7847 (java) S 7785 7788 1929 0 -1 1077944384 13 13077 0 0 0 0 5 2 20 0 15 0 230330346 11246788608 13864 33554432000 4194304 4196468 140727653259872 139688711022112 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7848] ppid=7785 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7848/stat : 7848 (java) S 7785 7788 1929 0 -1 1077944384 1 13077 0 0 0 0 5 2 20 0 15 0 230330346 11246788608 13864 33554432000 4194304 4196468 140727653259872 139688509695344 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7849] ppid=7785 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7849/stat : 7849 (java) S 7785 7788 1929 0 -1 1077944384 3 13077 0 0 0 0 5 2 20 0 15 0 230330349 11246788608 13864 33554432000 4194304 4196468 140727653259872 139688202295632 139689903761307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7850] ppid=7785 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7788/task/7850/stat : 7850 (java) S 7785 7788 1929 0 -1 1077944384 432 13077 0 0 1 0 5 2 20 0 15 0 230330349 11246788608 13864 33554432000 4194304 4196468 140727653259872 139689395816816 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7851] ppid=7785 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7788/task/7851/stat : 7851 (java) S 7785 7788 1929 0 -1 1077944384 179 13077 0 0 1 0 5 2 20 0 15 0 230330349 11246788608 13864 33554432000 4194304 4196468 140727653259872 139689394764016 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7852] ppid=7785 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/7788/task/7852/stat : 7852 (java) S 7785 7788 1929 0 -1 1077944384 621 13077 0 0 5 0 5 2 20 0 15 0 230330349 11246788608 13864 33554432000 4194304 4196468 140727653259872 139689393711216 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7853] ppid=7785 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7853/stat : 7853 (java) S 7785 7788 1929 0 -1 1077944384 3 13077 0 0 0 0 5 2 20 0 15 0 230330349 11246788608 13864 33554432000 4194304 4196468 140727653259872 139687771498720 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7854] ppid=7785 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7854/stat : 7854 (java) S 7785 7788 1929 0 -1 1077944384 1 13077 0 0 0 0 5 2 20 0 15 0 230330349 11246788608 13864 33554432000 4194304 4196468 140727653259872 139689392659632 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55456 KiB

[startup+0.700801 s]
/proc/loadavg: 1.41 1.26 1.30 4/216 7854
/proc/meminfo: memFree=27561556/32770624 swapFree=67108804/67108860
[pid=7788] ppid=7785 vsize=10983192 memory=88500 CPUtime=0.99 cores=0,2,4,6
/proc/7788/stat : 7788 (java) S 7785 7788 1929 0 -1 1077944320 16748 13077 0 0 88 4 5 2 20 0 15 0 230330334 11246788608 22125 33554432000 4194304 4196468 140727653259872 140727653242416 139689903742711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
/proc/7788/statm: 2745798 22125 3239 1 0 2708109 0
[pid=7788/tid=7841] ppid=7785 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/7788/task/7841/stat : 7841 (java) R 7785 7788 1929 0 -1 4202560 12140 13077 0 0 56 3 5 2 20 0 15 0 230330343 11246788608 22125 33554432000 4194304 4196468 140727653259872 139689875563536 139689903764637 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7842] ppid=7785 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7842/stat : 7842 (java) S 7785 7788 1929 0 -1 1077944384 2 13077 0 0 0 0 5 2 20 0 15 0 230330344 11246788608 22189 33554432000 4194304 4196468 140727653259872 139689907985040 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7843] ppid=7785 vsize=10983192 memory=3708 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7843/stat : 7843 (java) S 7785 7788 1929 0 -1 1077944384 1 13077 0 0 0 0 5 2 20 0 15 0 230330344 11246788608 22189 33554432000 4194304 4196468 140727653259872 139689789250064 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7844] ppid=7785 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7844/stat : 7844 (java) S 7785 7788 1929 0 -1 1077944384 1 13077 0 0 0 0 5 2 20 0 15 0 230330344 11246788608 22189 33554432000 4194304 4196468 140727653259872 139689788197264 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7845] ppid=7785 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7845/stat : 7845 (java) S 7785 7788 1929 0 -1 1077944384 2 13077 0 0 0 0 5 2 20 0 15 0 230330344 11246788608 22189 33554432000 4194304 4196468 140727653259872 139689787144464 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7846] ppid=7785 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7846/stat : 7846 (java) S 7785 7788 1929 0 -1 1077944384 5 13077 0 0 0 0 5 2 20 0 15 0 230330345 11246788608 22189 33554432000 4194304 4196468 140727653259872 139689396870000 139689903753858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7847] ppid=7785 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7847/stat : 7847 (java) S 7785 7788 1929 0 -1 1077944384 13 13077 0 0 0 0 5 2 20 0 15 0 230330346 11246788608 22189 33554432000 4194304 4196468 140727653259872 139688711022112 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7848] ppid=7785 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7848/stat : 7848 (java) S 7785 7788 1929 0 -1 1077944384 1 13077 0 0 0 0 5 2 20 0 15 0 230330346 11246788608 22189 33554432000 4194304 4196468 140727653259872 139688509695344 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7849] ppid=7785 vsize=10983192 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7849/stat : 7849 (java) S 7785 7788 1929 0 -1 1077944384 3 13077 0 0 0 0 5 2 20 0 15 0 230330349 11246788608 22189 33554432000 4194304 4196468 140727653259872 139688202295632 139689903761307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7850] ppid=7785 vsize=10983192 memory=13252 CPUtime=0.14 cores=0,2,4,6
/proc/7788/task/7850/stat : 7850 (java) S 7785 7788 1929 0 -1 1077944384 811 13077 0 0 7 0 5 2 20 0 15 0 230330349 11246788608 22189 33554432000 4194304 4196468 140727653259872 139689395816816 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7851] ppid=7785 vsize=10983192 memory=15460 CPUtime=0.17 cores=0,2,4,6
/proc/7788/task/7851/stat : 7851 (java) S 7785 7788 1929 0 -1 1077944384 866 13077 0 0 10 0 5 2 20 0 15 0 230330349 11246788608 22189 33554432000 4194304 4196468 140727653259872 139689394764016 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7852] ppid=7785 vsize=10983192 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/7788/task/7852/stat : 7852 (java) R 7785 7788 1929 0 -1 4202560 711 13077 0 0 13 0 5 2 20 0 15 0 230330349 11246788608 22189 33554432000 4194304 4196468 140727653259872 139689393711216 139689903754646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7853] ppid=7785 vsize=10983192 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7853/stat : 7853 (java) S 7785 7788 1929 0 -1 1077944384 3 13077 0 0 0 0 5 2 20 0 15 0 230330349 11246788608 22189 33554432000 4194304 4196468 140727653259872 139687771498720 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7854] ppid=7785 vsize=10983192 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7854/stat : 7854 (java) S 7785 7788 1929 0 -1 1077944384 1 13077 0 0 0 0 5 2 20 0 15 0 230330349 11246788608 22189 33554432000 4194304 4196468 140727653259872 139689392659632 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88500 KiB

[startup+1.50069 s]
/proc/loadavg: 1.41 1.26 1.30 3/216 7854
/proc/meminfo: memFree=27517892/32770624 swapFree=67108804/67108860
[pid=7788] ppid=7785 vsize=10991948 memory=211804 CPUtime=3.12 cores=0,2,4,6
/proc/7788/stat : 7788 (java) S 7785 7788 1929 0 -1 1077944320 23728 13077 0 0 296 9 5 2 20 0 15 0 230330334 11255754752 52951 33554432000 4194304 4196468 140727653259872 140727653242416 139689903742711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
/proc/7788/statm: 2747987 52951 3451 1 0 2709645 0
[pid=7788/tid=7841] ppid=7785 vsize=10991948 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/7788/task/7841/stat : 7841 (java) R 7785 7788 1929 0 -1 4202560 15131 13077 0 0 132 6 5 2 20 0 15 0 230330343 11255754752 52951 33554432000 4194304 4196468 140727653259872 139689875574576 139689467118783 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7842] ppid=7785 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7842/stat : 7842 (java) S 7785 7788 1929 0 -1 1077944384 2 13077 0 0 0 0 5 2 20 0 15 0 230330344 11255754752 52951 33554432000 4194304 4196468 140727653259872 139689907985040 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7843] ppid=7785 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7843/stat : 7843 (java) S 7785 7788 1929 0 -1 1077944384 1 13077 0 0 0 0 5 2 20 0 15 0 230330344 11255754752 52951 33554432000 4194304 4196468 140727653259872 139689789250064 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7844] ppid=7785 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7844/stat : 7844 (java) S 7785 7788 1929 0 -1 1077944384 1 13077 0 0 0 0 5 2 20 0 15 0 230330344 11255754752 52951 33554432000 4194304 4196468 140727653259872 139689788197264 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7845] ppid=7785 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7845/stat : 7845 (java) S 7785 7788 1929 0 -1 1077944384 2 13077 0 0 0 0 5 2 20 0 15 0 230330344 11255754752 52951 33554432000 4194304 4196468 140727653259872 139689787144464 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7846] ppid=7785 vsize=10991948 memory=1399103955520229747 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7846/stat : 7846 (java) S 7785 7788 1929 0 -1 1077944384 13 13077 0 0 0 0 5 2 20 0 15 0 230330345 11255754752 52951 33554432000 4194304 4196468 140727653259872 139689396870000 139689903753858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7847] ppid=7785 vsize=10991948 memory=280155213867264 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7847/stat : 7847 (java) S 7785 7788 1929 0 -1 1077944384 13 13077 0 0 0 0 5 2 20 0 15 0 230330346 11255754752 52951 33554432000 4194304 4196468 140727653259872 139688711022112 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7848] ppid=7785 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7848/stat : 7848 (java) S 7785 7788 1929 0 -1 1077944384 1 13077 0 0 0 0 5 2 20 0 15 0 230330346 11255754752 52951 33554432000 4194304 4196468 140727653259872 139688509695344 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7849] ppid=7785 vsize=10991948 memory=1084 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7849/stat : 7849 (java) S 7785 7788 1929 0 -1 1077944384 3 13077 0 0 0 0 5 2 20 0 15 0 230330349 11255754752 52951 33554432000 4194304 4196468 140727653259872 139688202295632 139689903761307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7850] ppid=7785 vsize=10991948 memory=1600 CPUtime=0.64 cores=0,2,4,6
/proc/7788/task/7850/stat : 7850 (java) R 7785 7788 1929 0 -1 4202560 2946 13077 0 0 56 1 5 2 20 0 15 0 230330349 11255754752 52951 33554432000 4194304 4196468 140727653259872 139689395804688 139689887153741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7851] ppid=7785 vsize=10991948 memory=7952 CPUtime=0.68 cores=0,2,4,6
/proc/7788/task/7851/stat : 7851 (java) R 7785 7788 1929 0 -1 4202560 1816 13077 0 0 61 0 5 2 20 0 15 0 230330349 11255754752 52951 33554432000 4194304 4196468 140727653259872 139689394750768 139689887153602 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7852] ppid=7785 vsize=10991948 memory=4088 CPUtime=0.52 cores=0,2,4,6
/proc/7788/task/7852/stat : 7852 (java) S 7785 7788 1929 0 -1 1077944384 1605 13077 0 0 45 0 5 2 20 0 15 0 230330349 11255754752 52951 33554432000 4194304 4196468 140727653259872 139689393711216 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7853] ppid=7785 vsize=10991948 memory=1784 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7853/stat : 7853 (java) S 7785 7788 1929 0 -1 1077944384 3 13077 0 0 0 0 5 2 20 0 15 0 230330349 11255754752 52951 33554432000 4194304 4196468 140727653259872 139687771498720 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7854] ppid=7785 vsize=10991948 memory=1060 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7854/stat : 7854 (java) S 7785 7788 1929 0 -1 1077944384 3 13077 0 0 0 0 5 2 20 0 15 0 230330349 11255754752 52951 33554432000 4194304 4196468 140727653259872 139689392659632 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 10991948 KiB

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

/proc/7788/task/7841/stat : 7841 (java) R 7785 7788 1929 0 -1 4202560 105802 13077 0 0 223906 54 5 2 20 0 15 0 230330343 11348049920 150696 33554432000 4194304 4196468 140727653259872 139689875577200 139689482371975 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7842] ppid=7785 vsize=11082080 memory=606888 CPUtime=14.76 cores=0,2,4,6
/proc/7788/task/7842/stat : 7842 (java) S 7785 7788 1929 0 -1 1077944384 11103 13077 0 0 1430 39 5 2 20 0 15 0 230330344 11348049920 150696 33554432000 4194304 4196468 140727653259872 139689907985040 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7843] ppid=7785 vsize=11082080 memory=603812 CPUtime=14.82 cores=0,2,4,6
/proc/7788/task/7843/stat : 7843 (java) S 7785 7788 1929 0 -1 1077944384 16728 13077 0 0 1432 43 5 2 20 0 15 0 230330344 11348049920 150696 33554432000 4194304 4196468 140727653259872 139689789250064 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7844] ppid=7785 vsize=11082080 memory=603812 CPUtime=14.76 cores=0,2,4,6
/proc/7788/task/7844/stat : 7844 (java) S 7785 7788 1929 0 -1 1077944384 20124 13077 0 0 1429 40 5 2 20 0 15 0 230330344 11348049920 150696 33554432000 4194304 4196468 140727653259872 139689788197264 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7845] ppid=7785 vsize=11082080 memory=603296 CPUtime=14.78 cores=0,2,4,6
/proc/7788/task/7845/stat : 7845 (java) S 7785 7788 1929 0 -1 1077944384 20044 13077 0 0 1430 41 5 2 20 0 15 0 230330344 11348049920 150696 33554432000 4194304 4196468 140727653259872 139689787144464 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7846] ppid=7785 vsize=11082080 memory=595164 CPUtime=5.82 cores=0,2,4,6
/proc/7788/task/7846/stat : 7846 (java) S 7785 7788 1929 0 -1 1077944384 14288 13077 0 0 529 46 5 2 20 0 15 0 230330345 11348049920 150696 33554432000 4194304 4196468 140727653259872 139689396870000 139689903753858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7847] ppid=7785 vsize=11082080 memory=606376 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7847/stat : 7847 (java) S 7785 7788 1929 0 -1 1077944384 22 13077 0 0 0 0 5 2 20 0 15 0 230330346 11348049920 150696 33554432000 4194304 4196468 140727653259872 139688711022176 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7848] ppid=7785 vsize=11082080 memory=606376 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7848/stat : 7848 (java) S 7785 7788 1929 0 -1 1077944384 9 13077 0 0 0 0 5 2 20 0 15 0 230330346 11348049920 150696 33554432000 4194304 4196468 140727653259872 139688509695360 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7849] ppid=7785 vsize=11082080 memory=608220 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7849/stat : 7849 (java) S 7785 7788 1929 0 -1 1077944384 3 13077 0 0 0 0 5 2 20 0 15 0 230330349 11348049920 150696 33554432000 4194304 4196468 140727653259872 139688202295632 139689903761307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7850] ppid=7785 vsize=11082080 memory=8112282956445269571 CPUtime=14.74 cores=0,2,4,6
/proc/7788/task/7850/stat : 7850 (java) S 7785 7788 1929 0 -1 1077944384 92005 13077 0 0 1458 9 5 2 20 0 15 0 230330349 11348049920 150696 33554432000 4194304 4196468 140727653259872 139689395816816 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7851] ppid=7785 vsize=11082080 memory=3304 CPUtime=14.12 cores=0,2,4,6
/proc/7788/task/7851/stat : 7851 (java) S 7785 7788 1929 0 -1 1077944384 84994 13077 0 0 1397 8 5 2 20 0 15 0 230330349 11348049920 150696 33554432000 4194304 4196468 140727653259872 139689394764016 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7852] ppid=7785 vsize=11082080 memory=15292 CPUtime=4.37 cores=0,2,4,6
/proc/7788/task/7852/stat : 7852 (java) S 7785 7788 1929 0 -1 1077944384 81886 13077 0 0 420 10 5 2 20 0 15 0 230330349 11348049920 150696 33554432000 4194304 4196468 140727653259872 139689393711216 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7853] ppid=7785 vsize=11082080 memory=603812 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7853/stat : 7853 (java) S 7785 7788 1929 0 -1 1077944384 3 13077 0 0 0 0 5 2 20 0 15 0 230330349 11348049920 150696 33554432000 4194304 4196468 140727653259872 139687771498720 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7854] ppid=7785 vsize=11082080 memory=604324 CPUtime=1.4 cores=0,2,4,6
/proc/7788/task/7854/stat : 7854 (java) S 7785 7788 1929 0 -1 1077944384 1962 13077 0 0 65 68 5 2 20 0 15 0 230330349 11348049920 150696 33554432000 4194304 4196468 140727653259872 139689392659632 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
Current children cumulated CPU time: 2338.72 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 602784 KiB

[startup+2322.3 s]
/proc/loadavg: 1.48 1.41 1.37 3/216 8207
/proc/meminfo: memFree=26827372/32770624 swapFree=67108804/67108860
[pid=7788] ppid=7785 vsize=11082080 memory=582432 CPUtime=2400.11 cores=0,2,4,6
/proc/7788/stat : 7788 (java) S 7785 7788 1929 0 -1 1077944320 457433 13077 0 0 239671 333 5 2 20 0 15 0 230330334 11348049920 145608 33554432000 4194304 4196468 140727653259872 140727653242416 139689903742711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
/proc/7788/statm: 2770520 145608 3538 1 0 2732173 0
[pid=7788/tid=7841] ppid=7785 vsize=11082080 memory=593404 CPUtime=2299 cores=0,2,4,6
/proc/7788/task/7841/stat : 7841 (java) R 7785 7788 1929 0 -1 4202560 109488 13077 0 0 229839 54 5 2 20 0 15 0 230330343 11348049920 145608 33554432000 4194304 4196468 140727653259872 139689875577600 139689492246440 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7842] ppid=7785 vsize=11082080 memory=597508 CPUtime=15.19 cores=0,2,4,6
/proc/7788/task/7842/stat : 7842 (java) S 7785 7788 1929 0 -1 1077944384 11521 13077 0 0 1472 40 5 2 20 0 15 0 230330344 11348049920 145608 33554432000 4194304 4196468 140727653259872 139689907985040 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7843] ppid=7785 vsize=11082080 memory=595972 CPUtime=15.26 cores=0,2,4,6
/proc/7788/task/7843/stat : 7843 (java) S 7785 7788 1929 0 -1 1077944384 17357 13077 0 0 1476 43 5 2 20 0 15 0 230330344 11348049920 145608 33554432000 4194304 4196468 140727653259872 139689789250064 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7844] ppid=7785 vsize=11082080 memory=586984 CPUtime=15.2 cores=0,2,4,6
/proc/7788/task/7844/stat : 7844 (java) S 7785 7788 1929 0 -1 1077944384 20435 13077 0 0 1472 41 5 2 20 0 15 0 230330344 11348049920 145608 33554432000 4194304 4196468 140727653259872 139689788197264 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7845] ppid=7785 vsize=11082080 memory=585400 CPUtime=15.22 cores=0,2,4,6
/proc/7788/task/7845/stat : 7845 (java) S 7785 7788 1929 0 -1 1077944384 20360 13077 0 0 1473 42 5 2 20 0 15 0 230330344 11348049920 145608 33554432000 4194304 4196468 140727653259872 139689787144464 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7846] ppid=7785 vsize=11082080 memory=582432 CPUtime=6 cores=0,2,4,6
/proc/7788/task/7846/stat : 7846 (java) S 7785 7788 1929 0 -1 1077944384 14494 13077 0 0 545 48 5 2 20 0 15 0 230330345 11348049920 145608 33554432000 4194304 4196468 140727653259872 139689396870000 139689903753858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7847] ppid=7785 vsize=11082080 memory=583460 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7847/stat : 7847 (java) S 7785 7788 1929 0 -1 1077944384 22 13077 0 0 0 0 5 2 20 0 15 0 230330346 11348049920 145608 33554432000 4194304 4196468 140727653259872 139688711022176 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7848] ppid=7785 vsize=11082080 memory=585000 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7848/stat : 7848 (java) S 7785 7788 1929 0 -1 1077944384 9 13077 0 0 0 0 5 2 20 0 15 0 230330346 11348049920 145608 33554432000 4194304 4196468 140727653259872 139688509695360 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7849] ppid=7785 vsize=11082080 memory=1060 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7849/stat : 7849 (java) S 7785 7788 1929 0 -1 1077944384 3 13077 0 0 0 0 5 2 20 0 15 0 230330349 11348049920 145608 33554432000 4194304 4196468 140727653259872 139688202295632 139689903761307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7850] ppid=7785 vsize=11082080 memory=5808 CPUtime=14.77 cores=0,2,4,6
/proc/7788/task/7850/stat : 7850 (java) S 7785 7788 1929 0 -1 1077944384 92315 13077 0 0 1461 9 5 2 20 0 15 0 230330349 11348049920 145608 33554432000 4194304 4196468 140727653259872 139689395816816 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7851] ppid=7785 vsize=11082080 memory=3708 CPUtime=14.16 cores=0,2,4,6
/proc/7788/task/7851/stat : 7851 (java) S 7785 7788 1929 0 -1 1077944384 85086 13077 0 0 1401 8 5 2 20 0 15 0 230330349 11348049920 145608 33554432000 4194304 4196468 140727653259872 139689394764016 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7852] ppid=7785 vsize=11082080 memory=62592 CPUtime=4.39 cores=0,2,4,6
/proc/7788/task/7852/stat : 7852 (java) S 7785 7788 1929 0 -1 1077944384 82173 13077 0 0 422 10 5 2 20 0 15 0 230330349 11348049920 145608 33554432000 4194304 4196468 140727653259872 139689393711216 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7853] ppid=7785 vsize=11082080 memory=582948 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7853/stat : 7853 (java) S 7785 7788 1929 0 -1 1077944384 3 13077 0 0 0 0 5 2 20 0 15 0 230330349 11348049920 145608 33554432000 4194304 4196468 140727653259872 139687771498720 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7854] ppid=7785 vsize=11082080 memory=920 CPUtime=1.43 cores=0,2,4,6
/proc/7788/task/7854/stat : 7854 (java) S 7785 7788 1929 0 -1 1077944384 1979 13077 0 0 66 70 5 2 20 0 15 0 230330349 11348049920 145608 33554432000 4194304 4196468 140727653259872 139689392659632 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
Current children cumulated CPU time: 2400.11 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 582432 KiB

[startup+2382.3 s]
/proc/loadavg: 1.20 1.34 1.35 3/216 8208
/proc/meminfo: memFree=26602180/32770624 swapFree=67108804/67108860
[pid=7788] ppid=7785 vsize=11082080 memory=838736 CPUtime=2461.65 cores=0,2,4,6
/proc/7788/stat : 7788 (java) S 7785 7788 1929 0 -1 1077944320 476062 13077 0 0 245810 348 5 2 20 0 15 0 230330334 11348049920 209684 33554432000 4194304 4196468 140727653259872 140727653242416 139689903742711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
/proc/7788/statm: 2770520 209684 3538 1 0 2732173 0
[pid=7788/tid=7841] ppid=7785 vsize=11082080 memory=3708 CPUtime=2358.3 cores=0,2,4,6
/proc/7788/task/7841/stat : 7841 (java) R 7785 7788 1929 0 -1 4202560 122972 13077 0 0 235765 58 5 2 20 0 15 0 230330343 11348049920 209684 33554432000 4194304 4196468 140727653259872 139689875577392 139689491113880 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7842] ppid=7785 vsize=11082080 memory=830496 CPUtime=15.69 cores=0,2,4,6
/proc/7788/task/7842/stat : 7842 (java) S 7785 7788 1929 0 -1 1077944384 12197 13077 0 0 1520 42 5 2 20 0 15 0 230330344 11348049920 209684 33554432000 4194304 4196468 140727653259872 139689907985040 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7843] ppid=7785 vsize=11082080 memory=701840 CPUtime=15.75 cores=0,2,4,6
/proc/7788/task/7843/stat : 7843 (java) S 7785 7788 1929 0 -1 1077944384 17964 13077 0 0 1522 46 5 2 20 0 15 0 230330344 11348049920 209684 33554432000 4194304 4196468 140727653259872 139689789250064 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7844] ppid=7785 vsize=11082080 memory=742704 CPUtime=15.7 cores=0,2,4,6
/proc/7788/task/7844/stat : 7844 (java) S 7785 7788 1929 0 -1 1077944384 21122 13077 0 0 1520 43 5 2 20 0 15 0 230330344 11348049920 209684 33554432000 4194304 4196468 140727653259872 139689788197264 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7845] ppid=7785 vsize=11082080 memory=820236 CPUtime=15.71 cores=0,2,4,6
/proc/7788/task/7845/stat : 7845 (java) S 7785 7788 1929 0 -1 1077944384 21018 13077 0 0 1520 44 5 2 20 0 15 0 230330344 11348049920 209684 33554432000 4194304 4196468 140727653259872 139689787144464 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7846] ppid=7785 vsize=11082080 memory=830496 CPUtime=6.16 cores=0,2,4,6
/proc/7788/task/7846/stat : 7846 (java) S 7785 7788 1929 0 -1 1077944384 16422 13077 0 0 561 48 5 2 20 0 15 0 230330345 11348049920 209684 33554432000 4194304 4196468 140727653259872 139689396870000 139689903753858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7847] ppid=7785 vsize=11082080 memory=838736 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7847/stat : 7847 (java) S 7785 7788 1929 0 -1 1077944384 22 13077 0 0 0 0 5 2 20 0 15 0 230330346 11348049920 209684 33554432000 4194304 4196468 140727653259872 139688711022176 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7848] ppid=7785 vsize=11082080 memory=15292 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7848/stat : 7848 (java) S 7785 7788 1929 0 -1 1077944384 9 13077 0 0 0 0 5 2 20 0 15 0 230330346 11348049920 209684 33554432000 4194304 4196468 140727653259872 139688509695360 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7849] ppid=7785 vsize=11082080 memory=3708 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7849/stat : 7849 (java) S 7785 7788 1929 0 -1 1077944384 3 13077 0 0 0 0 5 2 20 0 15 0 230330349 11348049920 209684 33554432000 4194304 4196468 140727653259872 139688202295632 139689903761307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7850] ppid=7785 vsize=11082080 memory=62592 CPUtime=14.8 cores=0,2,4,6
/proc/7788/task/7850/stat : 7850 (java) S 7785 7788 1929 0 -1 1077944384 92419 13077 0 0 1464 9 5 2 20 0 15 0 230330349 11348049920 209684 33554432000 4194304 4196468 140727653259872 139689395816816 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7851] ppid=7785 vsize=11082080 memory=838736 CPUtime=14.19 cores=0,2,4,6
/proc/7788/task/7851/stat : 7851 (java) S 7785 7788 1929 0 -1 1077944384 85375 13077 0 0 1404 8 5 2 20 0 15 0 230330349 11348049920 209684 33554432000 4194304 4196468 140727653259872 139689394764016 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7852] ppid=7785 vsize=11082080 memory=838736 CPUtime=4.41 cores=0,2,4,6
/proc/7788/task/7852/stat : 7852 (java) S 7785 7788 1929 0 -1 1077944384 82353 13077 0 0 424 10 5 2 20 0 15 0 230330349 11348049920 209684 33554432000 4194304 4196468 140727653259872 139689393711216 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7853] ppid=7785 vsize=11082080 memory=2080 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7853/stat : 7853 (java) S 7785 7788 1929 0 -1 1077944384 3 13077 0 0 0 0 5 2 20 0 15 0 230330349 11348049920 209684 33554432000 4194304 4196468 140727653259872 139687771498720 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7854] ppid=7785 vsize=11082080 memory=1036 CPUtime=1.47 cores=0,2,4,6
/proc/7788/task/7854/stat : 7854 (java) S 7785 7788 1929 0 -1 1077944384 1995 13077 0 0 68 72 5 2 20 0 15 0 230330349 11348049920 209684 33554432000 4194304 4196468 140727653259872 139689392659632 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
Current children cumulated CPU time: 2461.65 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 838736 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2440.4 s]
/proc/loadavg: 1.41 1.36 1.35 3/215 8209
/proc/meminfo: memFree=26458600/32770624 swapFree=67108804/67108860
[pid=7788] ppid=7785 vsize=11082080 memory=1037748 CPUtime=2520.06 cores=0,2,4,6
/proc/7788/stat : 7788 (java) S 7785 7788 1929 0 -1 1077944320 508559 13077 0 0 251640 359 5 2 20 0 15 0 230330334 11348049920 259437 33554432000 4194304 4196468 140727653259872 140727653242416 139689903742711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
/proc/7788/statm: 2770520 259437 3538 1 0 2732173 0
[pid=7788/tid=7841] ppid=7785 vsize=11082080 memory=1168 CPUtime=2416.27 cores=0,2,4,6
/proc/7788/task/7841/stat : 7841 (java) R 7785 7788 1929 0 -1 4202560 154723 13077 0 0 241557 63 5 2 20 0 15 0 230330343 11348049920 259437 33554432000 4194304 4196468 140727653259872 139689875578544 139689489399529 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7842] ppid=7785 vsize=11082080 memory=1984 CPUtime=15.76 cores=0,2,4,6
/proc/7788/task/7842/stat : 7842 (java) S 7785 7788 1929 0 -1 1077944384 12325 13077 0 0 1526 43 5 2 20 0 15 0 230330344 11348049920 259437 33554432000 4194304 4196468 140727653259872 139689907985040 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7843] ppid=7785 vsize=11082080 memory=1692 CPUtime=15.82 cores=0,2,4,6
/proc/7788/task/7843/stat : 7843 (java) S 7785 7788 1929 0 -1 1077944384 18136 13077 0 0 1528 47 5 2 20 0 15 0 230330344 11348049920 259437 33554432000 4194304 4196468 140727653259872 139689789250064 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7844] ppid=7785 vsize=11082080 memory=916 CPUtime=15.77 cores=0,2,4,6
/proc/7788/task/7844/stat : 7844 (java) S 7785 7788 1929 0 -1 1077944384 21185 13077 0 0 1526 44 5 2 20 0 15 0 230330344 11348049920 259437 33554432000 4194304 4196468 140727653259872 139689788197264 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7845] ppid=7785 vsize=11082080 memory=3848 CPUtime=15.78 cores=0,2,4,6
/proc/7788/task/7845/stat : 7845 (java) S 7785 7788 1929 0 -1 1077944384 21125 13077 0 0 1526 45 5 2 20 0 15 0 230330344 11348049920 259437 33554432000 4194304 4196468 140727653259872 139689787144464 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7846] ppid=7785 vsize=11082080 memory=1060 CPUtime=6.21 cores=0,2,4,6
/proc/7788/task/7846/stat : 7846 (java) S 7785 7788 1929 0 -1 1077944384 16542 13077 0 0 565 49 5 2 20 0 15 0 230330345 11348049920 259437 33554432000 4194304 4196468 140727653259872 139689396870000 139689903753858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7847] ppid=7785 vsize=11082080 memory=5808 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7847/stat : 7847 (java) S 7785 7788 1929 0 -1 1077944384 22 13077 0 0 0 0 5 2 20 0 15 0 230330346 11348049920 259437 33554432000 4194304 4196468 140727653259872 139688711022176 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7848] ppid=7785 vsize=11082080 memory=3304 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7848/stat : 7848 (java) S 7785 7788 1929 0 -1 1077944384 9 13077 0 0 0 0 5 2 20 0 15 0 230330346 11348049920 259437 33554432000 4194304 4196468 140727653259872 139688509695360 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7849] ppid=7785 vsize=11082080 memory=1260 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7849/stat : 7849 (java) S 7785 7788 1929 0 -1 1077944384 3 13077 0 0 0 0 5 2 20 0 15 0 230330349 11348049920 259437 33554432000 4194304 4196468 140727653259872 139688202295632 139689903761307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7850] ppid=7785 vsize=11082080 memory=14872 CPUtime=14.83 cores=0,2,4,6
/proc/7788/task/7850/stat : 7850 (java) S 7785 7788 1929 0 -1 1077944384 92476 13077 0 0 1467 9 5 2 20 0 15 0 230330349 11348049920 259437 33554432000 4194304 4196468 140727653259872 139689395816816 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7851] ppid=7785 vsize=11082080 memory=3296 CPUtime=14.21 cores=0,2,4,6
/proc/7788/task/7851/stat : 7851 (java) S 7785 7788 1929 0 -1 1077944384 85415 13077 0 0 1406 8 5 2 20 0 15 0 230330349 11348049920 259437 33554432000 4194304 4196468 140727653259872 139689394764016 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7852] ppid=7785 vsize=11082080 memory=15292 CPUtime=4.42 cores=0,2,4,6
/proc/7788/task/7852/stat : 7852 (java) S 7785 7788 1929 0 -1 1077944384 82407 13077 0 0 425 10 5 2 20 0 15 0 230330349 11348049920 259437 33554432000 4194304 4196468 140727653259872 139689393711216 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7853] ppid=7785 vsize=11082080 memory=34620 CPUtime=0.07 cores=0,2,4,6
/proc/7788/task/7853/stat : 7853 (java) S 7785 7788 1929 0 -1 1077944384 3 13077 0 0 0 0 5 2 20 0 15 0 230330349 11348049920 259437 33554432000 4194304 4196468 140727653259872 139687771498720 139689903752917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
[pid=7788/tid=7854] ppid=7785 vsize=11082080 memory=1029500 CPUtime=1.5 cores=0,2,4,6
/proc/7788/task/7854/stat : 7854 (java) S 7785 7788 1929 0 -1 1077944384 2000 13077 0 0 69 74 5 2 20 0 15 0 230330349 11348049920 259437 33554432000 4194304 4196468 140727653259872 139689392659632 139689903753858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140727653263980 140727653266780 140727653266780 140727653269455 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1037748 KiB

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

[startup+2440.43 s]
# the end of solver process 7788 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.47 s, system=3.63571 s

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

Child status: 143
Real time (s): 2440.43
CPU time (s): 2520.11
CPU user time (s): 2516.47
CPU system time (s): 3.63571
CPU usage (%): 103.265
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 2083564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.47
system time used= 3.63571
maximum resident set size= 2093824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 521821
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= 179566
involuntary context switches= 7771


# summary of solver processes directly reported to runsolver:
#   pid: 7788
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2516.47
#   total CPU system time (s): 3.63571

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3131 second user time and 19.2401 second system time

The end

Name	TravelingTournament/ TravelingTournament-a3-galaxy16_c18.xml
MD5SUM	e08ad5e9bb2dce0f9ded0033a126b6aa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	20855
Best CPU time to get the best result obtained on this benchmark	2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables	1936
Number of constraints	8495
Number of domains	3
Minimum domain size	2
Maximum domain size	66
Distribution of domain sizes	[{"size":2,"count":960},{"size":16,"count":480},{"size":66,"count":496}]
Minimum variable degree	2
Maximum variable degree	50
Distribution of variable degrees	[{"degree":2,"count":976},{"degree":47,"count":448},{"degree":48,"count":480},{"degree":49,"count":30},{"degree":50,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	30
Distribution of constraint arities	[{"arity":2,"count":481},{"arity":3,"count":32},{"arity":4,"count":6496},{"arity":5,"count":464},{"arity":16,"count":510},{"arity":18,"count":480},{"arity":30,"count":32}]
Number of extensional constraints	496
Number of intensional constraints	6977
Distribution of constraint types	[{"type":"extension","count":496},{"type":"intension","count":6977},{"type":"regular","count":16},{"type":"allDifferent","count":30},{"type":"cardinality","count":16},{"type":"element","count":960}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4304705

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