2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	SAT (TO)	21340	2520.15	2418.45

0.99/0.74	c Concrete v3.9.2.1532736233296 running
130.77/92.63	o 23369
131.66/93.20	o 23172
135.21/95.98	o 22970
135.39/96.06	o 22951
135.64/96.26	o 22936
136.77/97.40	o 22932
136.99/97.52	o 22882
147.48/107.07	o 22748
148.16/107.69	o 22430
148.46/108.00	o 22391
160.12/118.66	o 22251
160.23/118.73	o 22212
160.53/119.02	o 22209
162.03/120.59	o 22187
1060.09/981.02	o 21800
1060.09/981.08	o 21799
1061.98/982.97	o 21795
1062.79/983.73	o 21773
1069.21/989.75	o 21747
1069.73/990.24	o 21738
1081.04/1001.32	o 21707
1082.85/1003.19	o 21652
1120.43/1040.17	o 21615
2321.19/2222.78	o 21531
2321.40/2222.95	o 21490
2321.90/2223.41	o 21455
2322.10/2223.67	o 21370
2322.20/2223.72	o 21352
2425.59/2325.39	o 21340
2520.08/2418.41	Exception in thread "main" java.util.concurrent.TimeoutException
2520.08/2418.41		at concrete.MAC.mac(MAC.scala:188)
2520.08/2418.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.08/2418.41		at scala.util.Try$.apply(Try.scala:209)
2520.08/2418.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.08/2418.41		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.08/2418.41		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.08/2418.41		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.08/2418.41		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.08/2418.41		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.08/2418.41		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.08/2418.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.08/2418.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.08/2418.41		at concrete.MAC.oneRun(MAC.scala:253)
2520.08/2418.41		at concrete.MAC.nextSolution(MAC.scala:272)
2520.08/2418.41		at concrete.MAC.nextSolution(MAC.scala:355)
2520.08/2418.41		at concrete.Solver.hasNext(Solver.scala:166)
2520.08/2418.41		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.08/2418.41		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.08/2418.41		at concrete.Solver.foreach(Solver.scala:68)
2520.08/2418.41		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.08/2418.41		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.08/2418.41		at scala.util.Success.map(Try.scala:209)
2520.08/2418.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.08/2418.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.08/2418.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.08/2418.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.08/2418.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.08/2418.41		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.08/2418.41		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.08/2418.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.08/2418.41		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.08/2418.41		at scala.collection.immutable.List.foreach(List.scala:389)
2520.08/2418.41		at scala.App.main(App.scala:76)
2520.08/2418.41		at scala.App.main$(App.scala:74)
2520.08/2418.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.08/2418.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.08/2418.42	v <instantiation cost="21340">
2520.08/2418.42	v       <list>
2520.08/2418.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.08/2418.42	v       </list>
2520.08/2418.42	v       <values>
2520.08/2418.42	v         13 9 15 10 6 4 1 5 3 1 4 11 11 2 5 3 7 12 15 8 14 8 7 10 13 12 9 6 2 14 5 14 12 5 10 8 0 4 6 0 9 3 13 15 4 7 2 9 10 11 12 7 3 8 2 15 11 14 13 6 4 12 8 6 7 15 13 11 4 12 6 15 10 0 3 11 1 5 14 9 9 14 8 7 1 10 3 5 0 13 14 5 10 9 4 5 6 15 0 7 7 1 12 12 2 0 9 15 8 14 11 13 1 11 10 6 2 13 8 4 2 7 14 12 3 0 5 1 2 15 0 13 14 11 1 8 8 6 6 15 13 10 9 9 7 5 12 11 10 3 1 3 7 1 15 3 4 0 9 8 13 9 6 7 0 13 10 2 11 6 8 12 10 14 12 4 14 2 11 15 9 13 13 2 0 7 3 7 1 9 2 14 5 8 12 10 11 4 4 5 10 11 15 12 14 3 8 0 15 1 15 4 5 13 2 6 8 6 14 3 3 12 9 5 11 1 0 8 12 10 15 1 0 2 4 9 13 10 14 11 11 11 2 15 13 1 7 14 12 5 12 10 15 6 13 4 4 7 3 0 5 0 2 1 9 14 6 9 3 10 6 0 11 3 14 11 10 13 5 6 1 5 7 10 15 14 3 1 13 2 2 15 4 4 8 7 0 8 12 12 12 15 3 0 1 13 9 12 11 14 11 8 2 9 14 6 5 13 1 7 6 4 5 0 3 2 15 7 4 8 8 8 9 14 12 9 15 2 10 13 10 0 0 4 7 2 6 14 5 1 3 6 12 3 15 13 1 4 5 7 10 2 1 4 11 14 14 10 8 2 8 7 3 3 6 15 13 0 7 13 1 5 11 6 5 0 4 15 9 9 0 6 6 7 8 10 2 9 15 11 5 4 1 14 8 5 12 10 9 12 4 3 14 15 0 11 7 3 1 2 3 1 4 11 9 12 12 8 7 10 15 6 4 13 10 9 15 11 2 3 0 2 13 5 6 8 5 1 7 0 7 10 0 8 5 2 11 3 13 4 14 2 8 1 9 12 14 3 0 4 7 9 6 13 11 1 10 12 6 5 1 0 1 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 1 1 1 0 1 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 1 1 0 1 1 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 1 0 1 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 0 1 0 1 1 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 1 1 1 0 0 0 1 0 0 1 0 1 1 1 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 1 0 0 1 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 1 1 0 0 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 1 0 0 1 0 1 0 0 1 1 0 51 51 0 0 36 31 10 34 34 0 0 55 55 39 39 44 90 97 59 0 48 48 55 66 59 0 44 56 56 59 0 0 0 40 51 73 46 0 39 44 51 43 64 32 90 31 22 22 0 0 55 90 14 32 0 0 64 113 53 0 0 45 45 53 31 56 59 32 69 58 48 48 0 55 55 15 0 0 50 93 17 49 0 0 56 44 22 47 47 0 0 0 0 0 0 67 55 35 41 0 0 14 14 32 55 80 47 15 34 63 97 84 72 0 0 66 10 75 47 50 50 0 0 0 64 82 27 73 0 0 31 22 45 36 36 0 70 70 0 21 31 18 90 32 91 55 55 0 35 35 0 74 69 51 40 32 14 48 69 69 35 36 39 0 75 93 69 27 0 0 51 51 44 44 42 42 0 93 27 94 0 50 50 0 0 69 93 92 0 44 44 47 14 59 0 56 56 83 0 0 75 10 70 18 35 27 0 91 97 88 0 31 31 0 39 39 57 57 0 0 56 56 31 81 0 0 14 80 90 48 44 64 44 0 0 69 69 0 44 44 64 55 93 41 82 82 0 69 69 0 97 32 104 0 84 27 94 42 0 0 31 31 21 21 81 81 48 48 0 53 22 46 0 0 68 67 69 73 0 0 105 105 17 17 0 0 81 27 69 0 79 69 103 0 67 32 64 93 49 59 103 55 21 68 51 51 30 30 0 0 0 69 34 55 66 93 30 101 0 10 69 73 0 111 111 0 0 65 65 75 18 35 51 0 55 59 57 69 0 0 0 69 69 113 27 30 105 0 10 66 69 55 55 0 0 58 58 0 0 64 32 47 70 0 45 45 0 70 35 48 67 101 55 22 55 0 0 27 27 0 0 81 81 0 80 47 88 90 90 90 90 0 94 44 105 0 57 36 90 97 30 30 59 59 92 59 41 0 0 93 103 32 0 91 91 0 104 42 75 66 66 90 90 50 72 91 0 69 69 0 64 22 61 72 32 53 0 0 27 27 0 82 69 39 105 70 91 91 17 17 113 113 0 59 15 56 0 83 31 42 93 0 0 0 0 39 55 59 0 0 45 66 63 90 90 59 53 97 103 30 27 105 0 0 57 57 0 32 32 68 68 0 91 27 69
2520.08/2418.42	v       </values>
2520.08/2418.42	v     </instantiation>
2520.08/2418.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 (12877 MiB free)
  memory of node 1: 16384 MiB (11337 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304706-1534136138/watcher-4304706-1534136138 -o /tmp/evaluation-result-4304706-1534136138/solver-4304706-1534136138 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534136138-29339 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=240732439 -superng HOME/instance-4304706-1534136138.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=29366, runsolver pid=29361

[startup+0.100128 s]*
/proc/loadavg: 1.00 1.01 1.13 3/189 29474
/proc/meminfo: memFree=24788428/32770624 swapFree=67108860/67108860
[pid=29366] ppid=29361 vsize=10005480 memory=18064 CPUtime=0.09 cores=0,2,4,6
/proc/29366/stat : 29366 (java) S 29361 29366 29308 0 -1 1077944320 4186 13417 0 0 0 1 5 3 20 0 6 0 231177012 10245611520 4516 33554432000 4194304 4196468 140726110674896 140726110657440 140098961325815 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
/proc/29366/statm: 2501370 4516 1895 1 0 2489808 0
[pid=29366/tid=29474] ppid=29361 vsize=10005480 memory=-6517102902069810590 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29474/stat : 29474 (java) R 29361 29366 29308 0 -1 4202560 1993 13417 0 0 0 0 5 3 20 0 6 0 231177021 10245611520 4516 33554432000 4194304 4196468 140726110674896 140098933162576 140098961347741 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29479] ppid=29361 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29479/stat : 29479 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 6 0 231177022 10245611520 4516 33554432000 4194304 4196468 140726110674896 140098965567888 140098961336021 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29480] ppid=29361 vsize=10005480 memory=139717923976832 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29480/stat : 29480 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 6 0 231177022 10245611520 4516 33554432000 4194304 4196468 140726110674896 140098820286736 140098961336021 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29481] ppid=29361 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29481/stat : 29481 (java) S 29361 29366 29308 0 -1 1077944384 2 13417 0 0 0 0 5 3 20 0 6 0 231177022 10245611520 4516 33554432000 4194304 4196468 140726110674896 140098819234448 140098961336021 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29482] ppid=29361 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29482/stat : 29482 (java) S 29361 29366 29308 0 -1 1077944384 2 13417 0 0 0 0 5 3 20 0 6 0 231177022 10245611520 4516 33554432000 4194304 4196468 140726110674896 140098818181648 140098961336021 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18064 KiB

[startup+0.210044 s]*
/proc/loadavg: 1.00 1.01 1.13 4/215 29500
/proc/meminfo: memFree=24738736/32770624 swapFree=67108860/67108860
[pid=29366] ppid=29361 vsize=10982744 memory=43340 CPUtime=0.26 cores=0,2,4,6
/proc/29366/stat : 29366 (java) S 29361 29366 29308 0 -1 1077944320 7022 13417 0 0 16 2 5 3 20 0 15 0 231177012 11246329856 10835 33554432000 4194304 4196468 140726110674896 140726110657440 140098961325815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
/proc/29366/statm: 2745686 10835 2953 1 0 2708109 0
[pid=29366/tid=29474] ppid=29361 vsize=10982744 memory=-6007365819731575600 CPUtime=0.19 cores=0,2,4,6
/proc/29366/task/29474/stat : 29474 (java) R 29361 29366 29308 0 -1 4202560 3612 13417 0 0 10 1 5 3 20 0 15 0 231177021 11246329856 10835 33554432000 4194304 4196468 140726110674896 140098933132432 140098941601564 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29479] ppid=29361 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29479/stat : 29479 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 15 0 231177022 11246329856 10835 33554432000 4194304 4196468 140726110674896 140098965567888 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29480] ppid=29361 vsize=10982744 memory=139717923976832 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29480/stat : 29480 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 15 0 231177022 11246329856 10835 33554432000 4194304 4196468 140726110674896 140098820286736 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29481] ppid=29361 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29481/stat : 29481 (java) S 29361 29366 29308 0 -1 1077944384 2 13417 0 0 0 0 5 3 20 0 15 0 231177022 11246329856 10835 33554432000 4194304 4196468 140726110674896 140098819234448 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29482] ppid=29361 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29482/stat : 29482 (java) S 29361 29366 29308 0 -1 1077944384 2 13417 0 0 0 0 5 3 20 0 15 0 231177022 11246329856 10901 33554432000 4194304 4196468 140726110674896 140098818181648 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29484] ppid=29361 vsize=10982744 memory=139717923976832 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29484/stat : 29484 (java) S 29361 29366 29308 0 -1 1077944384 2 13417 0 0 0 0 5 3 20 0 15 0 231177024 11246329856 10901 33554432000 4194304 4196468 140726110674896 140098386459248 140098961336962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29486] ppid=29361 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29486/stat : 29486 (java) S 29361 29366 29308 0 -1 1077944384 13 13417 0 0 0 0 5 3 20 0 15 0 231177024 11246329856 10901 33554432000 4194304 4196468 140726110674896 140097806656800 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29488] ppid=29361 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29488/stat : 29488 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 15 0 231177024 11246329856 10901 33554432000 4194304 4196468 140726110674896 140097605330544 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29493] ppid=29361 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29493/stat : 29493 (java) S 29361 29366 29308 0 -1 1077944384 3 13417 0 0 0 0 5 3 20 0 15 0 231177027 11246329856 10901 33554432000 4194304 4196468 140726110674896 140097297930832 140098961344411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29494] ppid=29361 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29366/task/29494/stat : 29494 (java) S 29361 29366 29308 0 -1 1077944384 374 13417 0 0 1 0 5 3 20 0 15 0 231177027 11246329856 10901 33554432000 4194304 4196468 140726110674896 140098385406064 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29495] ppid=29361 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29495/stat : 29495 (java) S 29361 29366 29308 0 -1 1077944384 252 13417 0 0 0 0 5 3 20 0 15 0 231177027 11246329856 10901 33554432000 4194304 4196468 140726110674896 140098384353264 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29496] ppid=29361 vsize=10982744 memory=139717923976832 CPUtime=0.11 cores=0,2,4,6
/proc/29366/task/29496/stat : 29496 (java) S 29361 29366 29308 0 -1 1077944384 602 13417 0 0 3 0 5 3 20 0 15 0 231177027 11246329856 10901 33554432000 4194304 4196468 140726110674896 140098383300976 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29498] ppid=29361 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29498/stat : 29498 (java) S 29361 29366 29308 0 -1 1077944384 3 13417 0 0 0 0 5 3 20 0 15 0 231177027 11246329856 10901 33554432000 4194304 4196468 140726110674896 140096867133920 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29500] ppid=29361 vsize=10982744 memory=139717923976832 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29500/stat : 29500 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 15 0 231177027 11246329856 10901 33554432000 4194304 4196468 140726110674896 140098382248880 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43340 KiB

[startup+0.310505 s]*
/proc/loadavg: 1.00 1.01 1.13 4/215 29500
/proc/meminfo: memFree=24713556/32770624 swapFree=67108860/67108860
[pid=29366] ppid=29361 vsize=10983192 memory=56948 CPUtime=0.38 cores=0,2,4,6
/proc/29366/stat : 29366 (java) S 29361 29366 29308 0 -1 1077944320 10288 13417 0 0 27 3 5 3 20 0 15 0 231177012 11246788608 14237 33554432000 4194304 4196468 140726110674896 140726110657440 140098961325815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
/proc/29366/statm: 2745798 14237 3072 1 0 2708109 0
[pid=29366/tid=29474] ppid=29361 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/29366/task/29474/stat : 29474 (java) R 29361 29366 29308 0 -1 4202560 6829 13417 0 0 19 2 5 3 20 0 15 0 231177021 11246788608 14237 33554432000 4194304 4196468 140726110674896 140098933137824 140098945406302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29479] ppid=29361 vsize=10983192 memory=7523096504410985836 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29479/stat : 29479 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 15 0 231177022 11246788608 14237 33554432000 4194304 4196468 140726110674896 140098965567888 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29480] ppid=29361 vsize=10983192 memory=7812710104828301667 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29480/stat : 29480 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 15 0 231177022 11246788608 14237 33554432000 4194304 4196468 140726110674896 140098820286736 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29481] ppid=29361 vsize=10983192 memory=7649539102067740610 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29481/stat : 29481 (java) S 29361 29366 29308 0 -1 1077944384 2 13417 0 0 0 0 5 3 20 0 15 0 231177022 11246788608 14237 33554432000 4194304 4196468 140726110674896 140098819234448 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29482] ppid=29361 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29482/stat : 29482 (java) S 29361 29366 29308 0 -1 1077944384 2 13417 0 0 0 0 5 3 20 0 15 0 231177022 11246788608 14237 33554432000 4194304 4196468 140726110674896 140098818181648 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29484] ppid=29361 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29484/stat : 29484 (java) S 29361 29366 29308 0 -1 1077944384 2 13417 0 0 0 0 5 3 20 0 15 0 231177024 11246788608 14237 33554432000 4194304 4196468 140726110674896 140098386459248 140098961336962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29486] ppid=29361 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29486/stat : 29486 (java) S 29361 29366 29308 0 -1 1077944384 13 13417 0 0 0 0 5 3 20 0 15 0 231177024 11246788608 14237 33554432000 4194304 4196468 140726110674896 140097806656800 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29488] ppid=29361 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29488/stat : 29488 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 15 0 231177024 11246788608 14237 33554432000 4194304 4196468 140726110674896 140097605330544 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29493] ppid=29361 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29493/stat : 29493 (java) S 29361 29366 29308 0 -1 1077944384 3 13417 0 0 0 0 5 3 20 0 15 0 231177027 11246788608 14237 33554432000 4194304 4196468 140726110674896 140097297930832 140098961344411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29494] ppid=29361 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29366/task/29494/stat : 29494 (java) S 29361 29366 29308 0 -1 1077944384 374 13417 0 0 1 0 5 3 20 0 15 0 231177027 11246788608 14237 33554432000 4194304 4196468 140726110674896 140098385406064 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29495] ppid=29361 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29366/task/29495/stat : 29495 (java) S 29361 29366 29308 0 -1 1077944384 255 13417 0 0 1 0 5 3 20 0 15 0 231177027 11246788608 14237 33554432000 4194304 4196468 140726110674896 140098384353264 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29496] ppid=29361 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/29366/task/29496/stat : 29496 (java) S 29361 29366 29308 0 -1 1077944384 612 13417 0 0 4 0 5 3 20 0 15 0 231177027 11246788608 14237 33554432000 4194304 4196468 140726110674896 140098383300976 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29498] ppid=29361 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29498/stat : 29498 (java) S 29361 29366 29308 0 -1 1077944384 3 13417 0 0 0 0 5 3 20 0 15 0 231177027 11246788608 14237 33554432000 4194304 4196468 140726110674896 140096867133920 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29500] ppid=29361 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29500/stat : 29500 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 15 0 231177027 11246788608 14237 33554432000 4194304 4196468 140726110674896 140098382248880 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56948 KiB

[startup+0.700784 s]
/proc/loadavg: 1.00 1.01 1.13 4/215 29500
/proc/meminfo: memFree=24690980/32770624 swapFree=67108860/67108860
[pid=29366] ppid=29361 vsize=10983192 memory=89228 CPUtime=0.99 cores=0,2,4,6
/proc/29366/stat : 29366 (java) S 29361 29366 29308 0 -1 1077944320 16408 13417 0 0 86 5 5 3 20 0 15 0 231177012 11246788608 22307 33554432000 4194304 4196468 140726110674896 140726110657440 140098961325815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
/proc/29366/statm: 2745798 22307 3238 1 0 2708109 0
[pid=29366/tid=29474] ppid=29361 vsize=10983192 memory=2241 CPUtime=0.66 cores=0,2,4,6
/proc/29366/task/29474/stat : 29474 (java) R 29361 29366 29308 0 -1 4202560 11891 13417 0 0 55 3 5 3 20 0 15 0 231177021 11246788608 22307 33554432000 4194304 4196468 140726110674896 140098933146640 140098944512624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29479] ppid=29361 vsize=10983192 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29479/stat : 29479 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 15 0 231177022 11246788608 22307 33554432000 4194304 4196468 140726110674896 140098965567888 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29480] ppid=29361 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29480/stat : 29480 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 15 0 231177022 11246788608 22307 33554432000 4194304 4196468 140726110674896 140098820286736 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29481] ppid=29361 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29481/stat : 29481 (java) S 29361 29366 29308 0 -1 1077944384 2 13417 0 0 0 0 5 3 20 0 15 0 231177022 11246788608 22307 33554432000 4194304 4196468 140726110674896 140098819234448 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29482] ppid=29361 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29482/stat : 29482 (java) S 29361 29366 29308 0 -1 1077944384 2 13417 0 0 0 0 5 3 20 0 15 0 231177022 11246788608 22307 33554432000 4194304 4196468 140726110674896 140098818181648 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29484] ppid=29361 vsize=10983192 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29484/stat : 29484 (java) S 29361 29366 29308 0 -1 1077944384 5 13417 0 0 0 0 5 3 20 0 15 0 231177024 11246788608 22307 33554432000 4194304 4196468 140726110674896 140098386459248 140098961336962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29486] ppid=29361 vsize=10983192 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29486/stat : 29486 (java) S 29361 29366 29308 0 -1 1077944384 13 13417 0 0 0 0 5 3 20 0 15 0 231177024 11246788608 22307 33554432000 4194304 4196468 140726110674896 140097806656800 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29488] ppid=29361 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29488/stat : 29488 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 15 0 231177024 11246788608 22307 33554432000 4194304 4196468 140726110674896 140097605330544 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29493] ppid=29361 vsize=10983192 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29493/stat : 29493 (java) S 29361 29366 29308 0 -1 1077944384 3 13417 0 0 0 0 5 3 20 0 15 0 231177027 11246788608 22307 33554432000 4194304 4196468 140726110674896 140097297930832 140098961344411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29494] ppid=29361 vsize=10983192 memory=139717769201552 CPUtime=0.16 cores=0,2,4,6
/proc/29366/task/29494/stat : 29494 (java) S 29361 29366 29308 0 -1 1077944384 781 13417 0 0 8 0 5 3 20 0 15 0 231177027 11246788608 22307 33554432000 4194304 4196468 140726110674896 140098385406064 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29495] ppid=29361 vsize=10983192 memory=24964 CPUtime=0.17 cores=0,2,4,6
/proc/29366/task/29495/stat : 29495 (java) S 29361 29366 29308 0 -1 1077944384 848 13417 0 0 9 0 5 3 20 0 15 0 231177027 11246788608 22307 33554432000 4194304 4196468 140726110674896 140098384353264 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29496] ppid=29361 vsize=10983192 memory=2244 CPUtime=0.21 cores=0,2,4,6
/proc/29366/task/29496/stat : 29496 (java) S 29361 29366 29308 0 -1 1077944384 664 13417 0 0 13 0 5 3 20 0 15 0 231177027 11246788608 22307 33554432000 4194304 4196468 140726110674896 140098383300976 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29498] ppid=29361 vsize=10983192 memory=139717769198960 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29498/stat : 29498 (java) S 29361 29366 29308 0 -1 1077944384 3 13417 0 0 0 0 5 3 20 0 15 0 231177027 11246788608 22307 33554432000 4194304 4196468 140726110674896 140096867133920 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29500] ppid=29361 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29500/stat : 29500 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 15 0 231177027 11246788608 22307 33554432000 4194304 4196468 140726110674896 140098382248880 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89228 KiB

[startup+1.50125 s]
/proc/loadavg: 1.00 1.01 1.13 6/215 29500
/proc/meminfo: memFree=24598860/32770624 swapFree=67108860/67108860
[pid=29366] ppid=29361 vsize=10991948 memory=215948 CPUtime=3.13 cores=0,2,4,6
/proc/29366/stat : 29366 (java) S 29361 29366 29308 0 -1 1077944320 22712 13417 0 0 296 9 5 3 20 0 15 0 231177012 11255754752 53987 33554432000 4194304 4196468 140726110674896 140726110657440 140098961325815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
/proc/29366/statm: 2747987 53987 3459 1 0 2709645 0
[pid=29366/tid=29474] ppid=29361 vsize=10991948 memory=12 CPUtime=1.46 cores=0,2,4,6
/proc/29366/task/29474/stat : 29474 (java) R 29361 29366 29308 0 -1 4202560 14722 13417 0 0 131 7 5 3 20 0 15 0 231177021 11255754752 53987 33554432000 4194304 4196468 140726110674896 140098933157072 140098961337750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29479] ppid=29361 vsize=10991948 memory=19 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29479/stat : 29479 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 15 0 231177022 11255754752 53987 33554432000 4194304 4196468 140726110674896 140098965567888 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29480] ppid=29361 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29480/stat : 29480 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 15 0 231177022 11255754752 53987 33554432000 4194304 4196468 140726110674896 140098820286736 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29481] ppid=29361 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29481/stat : 29481 (java) S 29361 29366 29308 0 -1 1077944384 2 13417 0 0 0 0 5 3 20 0 15 0 231177022 11255754752 53987 33554432000 4194304 4196468 140726110674896 140098819234448 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29482] ppid=29361 vsize=10991948 memory=102708 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29482/stat : 29482 (java) S 29361 29366 29308 0 -1 1077944384 2 13417 0 0 0 0 5 3 20 0 15 0 231177022 11255754752 53987 33554432000 4194304 4196468 140726110674896 140098818181648 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29484] ppid=29361 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29484/stat : 29484 (java) S 29361 29366 29308 0 -1 1077944384 13 13417 0 0 0 0 5 3 20 0 15 0 231177024 11255754752 53987 33554432000 4194304 4196468 140726110674896 140098386459248 140098961336962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29486] ppid=29361 vsize=10991948 memory=7521384569015133782 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29486/stat : 29486 (java) S 29361 29366 29308 0 -1 1077944384 13 13417 0 0 0 0 5 3 20 0 15 0 231177024 11255754752 53987 33554432000 4194304 4196468 140726110674896 140097806656800 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29488] ppid=29361 vsize=10991948 memory=7453572099264112724 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29488/stat : 29488 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 15 0 231177024 11255754752 53987 33554432000 4194304 4196468 140726110674896 140097605330544 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29493] ppid=29361 vsize=10991948 memory=7519151461203207021 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29493/stat : 29493 (java) S 29361 29366 29308 0 -1 1077944384 3 13417 0 0 0 0 5 3 20 0 15 0 231177027 11255754752 53987 33554432000 4194304 4196468 140726110674896 140097297930832 140098961344411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29494] ppid=29361 vsize=10991948 memory=7454130749351154278 CPUtime=0.67 cores=0,2,4,6
/proc/29366/task/29494/stat : 29494 (java) R 29361 29366 29308 0 -1 4202560 2193 13417 0 0 59 0 5 3 20 0 15 0 231177027 11255754752 53987 33554432000 4194304 4196468 140726110674896 140098385405248 140098947367824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29495] ppid=29361 vsize=10991948 memory=7523933129764398955 CPUtime=0.66 cores=0,2,4,6
/proc/29366/task/29495/stat : 29495 (java) R 29361 29366 29308 0 -1 4202560 2043 13417 0 0 58 0 5 3 20 0 15 0 231177027 11255754752 53987 33554432000 4194304 4196468 140726110674896 140098384339144 140098941018915 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29496] ppid=29361 vsize=10991948 memory=7521384569015133782 CPUtime=0.53 cores=0,2,4,6
/proc/29366/task/29496/stat : 29496 (java) R 29361 29366 29308 0 -1 4202560 1522 13417 0 0 45 0 5 3 20 0 15 0 231177027 11255754752 53987 33554432000 4194304 4196468 140726110674896 140098383300976 140098961347162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29498] ppid=29361 vsize=10991948 memory=7521384569015133782 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29498/stat : 29498 (java) S 29361 29366 29308 0 -1 1077944384 3 13417 0 0 0 0 5 3 20 0 15 0 231177027 11255754752 53987 33554432000 4194304 4196468 140726110674896 140096867133920 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29500] ppid=29361 vsize=10991948 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29500/stat : 29500 (java) S 29361 29366 29308 0 -1 1077944384 1 13417 0 0 0 0 5 3 20 0 15 0 231177027 11255754752 53987 33554432000 4194304 4196468 140726110674896 140098382248880 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 10991948 KiB

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

/proc/29366/task/29474/stat : 29474 (java) R 29361 29366 29308 0 -1 4202560 237209 13417 0 0 223841 80 5 3 20 0 15 0 231177021 11280941056 1152869 33554432000 4194304 4196468 140726110674896 140098933157544 140098494866602 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29479] ppid=29361 vsize=11016544 memory=4551844 CPUtime=22.12 cores=0,2,4,6
/proc/29366/task/29479/stat : 29479 (java) S 29361 29366 29308 0 -1 1077944384 42309 13417 0 0 2130 74 5 3 20 0 15 0 231177022 11280941056 1152869 33554432000 4194304 4196468 140726110674896 140098965567888 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29480] ppid=29361 vsize=11016544 memory=4551844 CPUtime=22.12 cores=0,2,4,6
/proc/29366/task/29480/stat : 29480 (java) S 29361 29366 29308 0 -1 1077944384 38374 13417 0 0 2131 73 5 3 20 0 15 0 231177022 11280941056 1152869 33554432000 4194304 4196468 140726110674896 140098820286736 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29481] ppid=29361 vsize=11016544 memory=4611476 CPUtime=22.17 cores=0,2,4,6
/proc/29366/task/29481/stat : 29481 (java) S 29361 29366 29308 0 -1 1077944384 41143 13417 0 0 2134 75 5 3 20 0 15 0 231177022 11280941056 1152869 33554432000 4194304 4196468 140726110674896 140098819234448 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29482] ppid=29361 vsize=11016544 memory=4611476 CPUtime=22.13 cores=0,2,4,6
/proc/29366/task/29482/stat : 29482 (java) S 29361 29366 29308 0 -1 1077944384 33034 13417 0 0 2133 72 5 3 20 0 15 0 231177022 11280941056 1152869 33554432000 4194304 4196468 140726110674896 140098818181648 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29484] ppid=29361 vsize=11016544 memory=4611476 CPUtime=0.76 cores=0,2,4,6
/proc/29366/task/29484/stat : 29484 (java) S 29361 29366 29308 0 -1 1077944384 56509 13417 0 0 61 7 5 3 20 0 15 0 231177024 11280941056 1152869 33554432000 4194304 4196468 140726110674896 140098386459248 140098961336962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29486] ppid=29361 vsize=11016544 memory=4611476 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29486/stat : 29486 (java) S 29361 29366 29308 0 -1 1077944384 21 13417 0 0 0 0 5 3 20 0 15 0 231177024 11280941056 1152869 33554432000 4194304 4196468 140726110674896 140097806656864 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29488] ppid=29361 vsize=11016544 memory=4611476 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29488/stat : 29488 (java) S 29361 29366 29308 0 -1 1077944384 11 13417 0 0 0 0 5 3 20 0 15 0 231177024 11280941056 1152869 33554432000 4194304 4196468 140726110674896 140097605330560 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29493] ppid=29361 vsize=11016544 memory=4611476 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29493/stat : 29493 (java) S 29361 29366 29308 0 -1 1077944384 3 13417 0 0 0 0 5 3 20 0 15 0 231177027 11280941056 1152869 33554432000 4194304 4196468 140726110674896 140097297930832 140098961344411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29494] ppid=29361 vsize=11016544 memory=2072 CPUtime=13.94 cores=0,2,4,6
/proc/29366/task/29494/stat : 29494 (java) S 29361 29366 29308 0 -1 1077944384 96389 13417 0 0 1379 7 5 3 20 0 15 0 231177027 11280941056 1152869 33554432000 4194304 4196468 140726110674896 140098385406064 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29495] ppid=29361 vsize=11016544 memory=1740 CPUtime=14.12 cores=0,2,4,6
/proc/29366/task/29495/stat : 29495 (java) S 29361 29366 29308 0 -1 1077944384 78481 13417 0 0 1395 9 5 3 20 0 15 0 231177027 11280941056 1152869 33554432000 4194304 4196468 140726110674896 140098384353264 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29496] ppid=29361 vsize=11016544 memory=4611476 CPUtime=4.09 cores=0,2,4,6
/proc/29366/task/29496/stat : 29496 (java) S 29361 29366 29308 0 -1 1077944384 59149 13417 0 0 393 8 5 3 20 0 15 0 231177027 11280941056 1152869 33554432000 4194304 4196468 140726110674896 140098383300976 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29498] ppid=29361 vsize=11016544 memory=1288 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29498/stat : 29498 (java) S 29361 29366 29308 0 -1 1077944384 3 13417 0 0 0 0 5 3 20 0 15 0 231177027 11280941056 1152869 33554432000 4194304 4196468 140726110674896 140096867133920 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29500] ppid=29361 vsize=11016544 memory=4611476 CPUtime=1.38 cores=0,2,4,6
/proc/29366/task/29500/stat : 29500 (java) S 29361 29366 29308 0 -1 1077944384 2894 13417 0 0 60 70 5 3 20 0 15 0 231177027 11280941056 1152869 33554432000 4194304 4196468 140726110674896 140098382248880 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
Current children cumulated CPU time: 2361.51 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4611476 KiB

[startup+2322.3 s]
/proc/loadavg: 1.84 1.71 1.61 5/216 29596
/proc/meminfo: memFree=19270568/32770624 swapFree=67108860/67108860
[pid=29366] ppid=29361 vsize=11016544 memory=4611500 CPUtime=2422.59 cores=0,2,4,6
/proc/29366/stat : 29366 (java) S 29361 29366 29308 0 -1 1077944320 704600 13417 0 0 241786 465 5 3 20 0 15 0 231177012 11280941056 1152875 33554432000 4194304 4196468 140726110674896 140726110657440 140098961325815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
/proc/29366/statm: 2754136 1152875 3539 1 0 2715789 0
[pid=29366/tid=29474] ppid=29361 vsize=11016544 memory=4611500 CPUtime=2298.99 cores=0,2,4,6
/proc/29366/task/29474/stat : 29474 (java) R 29361 29366 29308 0 -1 4202560 243102 13417 0 0 229810 81 5 3 20 0 15 0 231177021 11280941056 1152875 33554432000 4194304 4196468 140726110674896 140098933161328 140098517389580 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29479] ppid=29361 vsize=11016544 memory=4611500 CPUtime=22.42 cores=0,2,4,6
/proc/29366/task/29479/stat : 29479 (java) S 29361 29366 29308 0 -1 1077944384 43349 13417 0 0 2160 74 5 3 20 0 15 0 231177022 11280941056 1152875 33554432000 4194304 4196468 140726110674896 140098965567888 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29480] ppid=29361 vsize=11016544 memory=4611500 CPUtime=22.42 cores=0,2,4,6
/proc/29366/task/29480/stat : 29480 (java) S 29361 29366 29308 0 -1 1077944384 40612 13417 0 0 2161 73 5 3 20 0 15 0 231177022 11280941056 1152875 33554432000 4194304 4196468 140726110674896 140098820286736 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29481] ppid=29361 vsize=11016544 memory=4611500 CPUtime=22.47 cores=0,2,4,6
/proc/29366/task/29481/stat : 29481 (java) S 29361 29366 29308 0 -1 1077944384 41334 13417 0 0 2164 75 5 3 20 0 15 0 231177022 11280941056 1152875 33554432000 4194304 4196468 140726110674896 140098819234448 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29482] ppid=29361 vsize=11016544 memory=4611500 CPUtime=22.43 cores=0,2,4,6
/proc/29366/task/29482/stat : 29482 (java) S 29361 29366 29308 0 -1 1077944384 33712 13417 0 0 2163 72 5 3 20 0 15 0 231177022 11280941056 1152875 33554432000 4194304 4196468 140726110674896 140098818181648 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29484] ppid=29361 vsize=11016544 memory=4611500 CPUtime=0.77 cores=0,2,4,6
/proc/29366/task/29484/stat : 29484 (java) S 29361 29366 29308 0 -1 1077944384 56844 13417 0 0 62 7 5 3 20 0 15 0 231177024 11280941056 1152875 33554432000 4194304 4196468 140726110674896 140098386459248 140098961336962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29486] ppid=29361 vsize=11016544 memory=4611500 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29486/stat : 29486 (java) S 29361 29366 29308 0 -1 1077944384 21 13417 0 0 0 0 5 3 20 0 15 0 231177024 11280941056 1152875 33554432000 4194304 4196468 140726110674896 140097806656864 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29488] ppid=29361 vsize=11016544 memory=4611500 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29488/stat : 29488 (java) S 29361 29366 29308 0 -1 1077944384 11 13417 0 0 0 0 5 3 20 0 15 0 231177024 11280941056 1152875 33554432000 4194304 4196468 140726110674896 140097605330560 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29493] ppid=29361 vsize=11016544 memory=4611500 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29493/stat : 29493 (java) S 29361 29366 29308 0 -1 1077944384 3 13417 0 0 0 0 5 3 20 0 15 0 231177027 11280941056 1152875 33554432000 4194304 4196468 140726110674896 140097297930832 140098961344411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29494] ppid=29361 vsize=11016544 memory=4611500 CPUtime=13.96 cores=0,2,4,6
/proc/29366/task/29494/stat : 29494 (java) S 29361 29366 29308 0 -1 1077944384 98445 13417 0 0 1380 8 5 3 20 0 15 0 231177027 11280941056 1152875 33554432000 4194304 4196468 140726110674896 140098385406064 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29495] ppid=29361 vsize=11016544 memory=4611500 CPUtime=14.23 cores=0,2,4,6
/proc/29366/task/29495/stat : 29495 (java) S 29361 29366 29308 0 -1 1077944384 81922 13417 0 0 1406 9 5 3 20 0 15 0 231177027 11280941056 1152875 33554432000 4194304 4196468 140726110674896 140098384353264 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29496] ppid=29361 vsize=11016544 memory=4611500 CPUtime=4.09 cores=0,2,4,6
/proc/29366/task/29496/stat : 29496 (java) S 29361 29366 29308 0 -1 1077944384 60112 13417 0 0 393 8 5 3 20 0 15 0 231177027 11280941056 1152875 33554432000 4194304 4196468 140726110674896 140098383300976 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29498] ppid=29361 vsize=11016544 memory=4611500 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29498/stat : 29498 (java) S 29361 29366 29308 0 -1 1077944384 3 13417 0 0 0 0 5 3 20 0 15 0 231177027 11280941056 1152875 33554432000 4194304 4196468 140726110674896 140096867133920 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29500] ppid=29361 vsize=11016544 memory=4611500 CPUtime=1.42 cores=0,2,4,6
/proc/29366/task/29500/stat : 29500 (java) S 29361 29366 29308 0 -1 1077944384 2938 13417 0 0 63 71 5 3 20 0 15 0 231177027 11280941056 1152875 33554432000 4194304 4196468 140726110674896 140098382248880 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
Current children cumulated CPU time: 2422.59 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4611500 KiB

[startup+2382.3 s]
/proc/loadavg: 1.68 1.70 1.61 4/215 29597
/proc/meminfo: memFree=19270656/32770624 swapFree=67108860/67108860
[pid=29366] ppid=29361 vsize=11016544 memory=4611496 CPUtime=2483.38 cores=0,2,4,6
/proc/29366/stat : 29366 (java) S 29361 29366 29308 0 -1 1077944320 719407 13417 0 0 247861 469 5 3 20 0 15 0 231177012 11280941056 1152874 33554432000 4194304 4196468 140726110674896 140726110657440 140098961325815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
/proc/29366/statm: 2754136 1152874 3539 1 0 2715789 0
[pid=29366/tid=29474] ppid=29361 vsize=11016544 memory=4611496 CPUtime=2358.74 cores=0,2,4,6
/proc/29366/task/29474/stat : 29474 (java) R 29361 29366 29308 0 -1 4202560 249278 13417 0 0 235784 82 5 3 20 0 15 0 231177021 11280941056 1152874 33554432000 4194304 4196468 140726110674896 140098933161456 140098508730671 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29479] ppid=29361 vsize=11016544 memory=4611496 CPUtime=22.66 cores=0,2,4,6
/proc/29366/task/29479/stat : 29479 (java) S 29361 29366 29308 0 -1 1077944384 43575 13417 0 0 2184 74 5 3 20 0 15 0 231177022 11280941056 1152874 33554432000 4194304 4196468 140726110674896 140098965567888 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29480] ppid=29361 vsize=11016544 memory=4611496 CPUtime=22.66 cores=0,2,4,6
/proc/29366/task/29480/stat : 29480 (java) S 29361 29366 29308 0 -1 1077944384 43086 13417 0 0 2185 73 5 3 20 0 15 0 231177022 11280941056 1152874 33554432000 4194304 4196468 140726110674896 140098820286736 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29481] ppid=29361 vsize=11016544 memory=4611496 CPUtime=22.71 cores=0,2,4,6
/proc/29366/task/29481/stat : 29481 (java) S 29361 29366 29308 0 -1 1077944384 41393 13417 0 0 2188 75 5 3 20 0 15 0 231177022 11280941056 1152874 33554432000 4194304 4196468 140726110674896 140098819234448 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29482] ppid=29361 vsize=11016544 memory=4611496 CPUtime=22.67 cores=0,2,4,6
/proc/29366/task/29482/stat : 29482 (java) S 29361 29366 29308 0 -1 1077944384 33882 13417 0 0 2187 72 5 3 20 0 15 0 231177022 11280941056 1152874 33554432000 4194304 4196468 140726110674896 140098818181648 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29484] ppid=29361 vsize=11016544 memory=4611496 CPUtime=0.77 cores=0,2,4,6
/proc/29366/task/29484/stat : 29484 (java) S 29361 29366 29308 0 -1 1077944384 57131 13417 0 0 62 7 5 3 20 0 15 0 231177024 11280941056 1152874 33554432000 4194304 4196468 140726110674896 140098386459248 140098961336962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29486] ppid=29361 vsize=11016544 memory=4611496 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29486/stat : 29486 (java) S 29361 29366 29308 0 -1 1077944384 21 13417 0 0 0 0 5 3 20 0 15 0 231177024 11280941056 1152874 33554432000 4194304 4196468 140726110674896 140097806656864 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29488] ppid=29361 vsize=11016544 memory=279435540569536 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29488/stat : 29488 (java) S 29361 29366 29308 0 -1 1077944384 11 13417 0 0 0 0 5 3 20 0 15 0 231177024 11280941056 1152874 33554432000 4194304 4196468 140726110674896 140097605330560 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29493] ppid=29361 vsize=11016544 memory=247219 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29493/stat : 29493 (java) S 29361 29366 29308 0 -1 1077944384 3 13417 0 0 0 0 5 3 20 0 15 0 231177027 11280941056 1152874 33554432000 4194304 4196468 140726110674896 140097297930832 140098961344411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29494] ppid=29361 vsize=11016544 memory=872 CPUtime=13.98 cores=0,2,4,6
/proc/29366/task/29494/stat : 29494 (java) S 29361 29366 29308 0 -1 1077944384 101875 13417 0 0 1382 8 5 3 20 0 15 0 231177027 11280941056 1152874 33554432000 4194304 4196468 140726110674896 140098385406064 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29495] ppid=29361 vsize=11016544 memory=4611496 CPUtime=14.23 cores=0,2,4,6
/proc/29366/task/29495/stat : 29495 (java) S 29361 29366 29308 0 -1 1077944384 83005 13417 0 0 1406 9 5 3 20 0 15 0 231177027 11280941056 1152874 33554432000 4194304 4196468 140726110674896 140098384353264 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29496] ppid=29361 vsize=11016544 memory=4611496 CPUtime=4.09 cores=0,2,4,6
/proc/29366/task/29496/stat : 29496 (java) S 29361 29366 29308 0 -1 1077944384 60974 13417 0 0 393 8 5 3 20 0 15 0 231177027 11280941056 1152874 33554432000 4194304 4196468 140726110674896 140098383300976 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29498] ppid=29361 vsize=11016544 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29498/stat : 29498 (java) S 29361 29366 29308 0 -1 1077944384 3 13417 0 0 0 0 5 3 20 0 15 0 231177027 11280941056 1152874 33554432000 4194304 4196468 140726110674896 140096867133920 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29500] ppid=29361 vsize=11016544 memory=3312 CPUtime=1.45 cores=0,2,4,6
/proc/29366/task/29500/stat : 29500 (java) S 29361 29366 29308 0 -1 1077944384 2978 13417 0 0 64 73 5 3 20 0 15 0 231177027 11280941056 1152874 33554432000 4194304 4196468 140726110674896 140098382248880 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
Current children cumulated CPU time: 2483.38 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4611496 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2418.4 s]
/proc/loadavg: 1.57 1.66 1.60 4/215 29598
/proc/meminfo: memFree=19269500/32770624 swapFree=67108860/67108860
[pid=29366] ppid=29361 vsize=11016544 memory=4611460 CPUtime=2520.08 cores=0,2,4,6
/proc/29366/stat : 29366 (java) S 29361 29366 29308 0 -1 1077944320 730423 13417 0 0 251529 471 5 3 20 0 15 0 231177012 11280941056 1152865 33554432000 4194304 4196468 140726110674896 140726110657440 140098961325815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
/proc/29366/statm: 2754136 1152865 3539 1 0 2715789 0
[pid=29366/tid=29474] ppid=29361 vsize=11016544 memory=6791534058613427641 CPUtime=2394.65 cores=0,2,4,6
/proc/29366/task/29474/stat : 29474 (java) R 29361 29366 29308 0 -1 4202560 252000 13417 0 0 239374 83 5 3 20 0 15 0 231177021 11280941056 1152865 33554432000 4194304 4196468 140726110674896 140098933161064 140098521283928 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29479] ppid=29361 vsize=11016544 memory=8401352418782109792 CPUtime=22.85 cores=0,2,4,6
/proc/29366/task/29479/stat : 29479 (java) S 29361 29366 29308 0 -1 1077944384 46268 13417 0 0 2202 75 5 3 20 0 15 0 231177022 11280941056 1152865 33554432000 4194304 4196468 140726110674896 140098965567888 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29480] ppid=29361 vsize=11016544 memory=6791534058613427641 CPUtime=22.84 cores=0,2,4,6
/proc/29366/task/29480/stat : 29480 (java) S 29361 29366 29308 0 -1 1077944384 43330 13417 0 0 2203 73 5 3 20 0 15 0 231177022 11280941056 1152865 33554432000 4194304 4196468 140726110674896 140098820286736 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29481] ppid=29361 vsize=11016544 memory=1288 CPUtime=22.89 cores=0,2,4,6
/proc/29366/task/29481/stat : 29481 (java) S 29361 29366 29308 0 -1 1077944384 41889 13417 0 0 2206 75 5 3 20 0 15 0 231177022 11280941056 1152865 33554432000 4194304 4196468 140726110674896 140098819234448 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29482] ppid=29361 vsize=11016544 memory=1088 CPUtime=22.85 cores=0,2,4,6
/proc/29366/task/29482/stat : 29482 (java) S 29361 29366 29308 0 -1 1077944384 34219 13417 0 0 2205 72 5 3 20 0 15 0 231177022 11280941056 1152865 33554432000 4194304 4196468 140726110674896 140098818181648 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29484] ppid=29361 vsize=11016544 memory=15512 CPUtime=0.78 cores=0,2,4,6
/proc/29366/task/29484/stat : 29484 (java) S 29361 29366 29308 0 -1 1077944384 57463 13417 0 0 63 7 5 3 20 0 15 0 231177024 11280941056 1152865 33554432000 4194304 4196468 140726110674896 140098386459248 140098961336962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29486] ppid=29361 vsize=11016544 memory=34860 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29486/stat : 29486 (java) S 29361 29366 29308 0 -1 1077944384 21 13417 0 0 0 0 5 3 20 0 15 0 231177024 11280941056 1152865 33554432000 4194304 4196468 140726110674896 140097806656864 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29488] ppid=29361 vsize=11016544 memory=3312 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29488/stat : 29488 (java) S 29361 29366 29308 0 -1 1077944384 11 13417 0 0 0 0 5 3 20 0 15 0 231177024 11280941056 1152865 33554432000 4194304 4196468 140726110674896 140097605330560 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29493] ppid=29361 vsize=11016544 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29493/stat : 29493 (java) S 29361 29366 29308 0 -1 1077944384 3 13417 0 0 0 0 5 3 20 0 15 0 231177027 11280941056 1152865 33554432000 4194304 4196468 140726110674896 140097297930832 140098961344411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29494] ppid=29361 vsize=11016544 memory=1120 CPUtime=14 cores=0,2,4,6
/proc/29366/task/29494/stat : 29494 (java) S 29361 29366 29308 0 -1 1077944384 104924 13417 0 0 1384 8 5 3 20 0 15 0 231177027 11280941056 1152865 33554432000 4194304 4196468 140726110674896 140098385406064 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29495] ppid=29361 vsize=11016544 memory=6124 CPUtime=14.24 cores=0,2,4,6
/proc/29366/task/29495/stat : 29495 (java) S 29361 29366 29308 0 -1 1077944384 83006 13417 0 0 1407 9 5 3 20 0 15 0 231177027 11280941056 1152865 33554432000 4194304 4196468 140726110674896 140098384353264 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29496] ppid=29361 vsize=11016544 memory=1724 CPUtime=4.1 cores=0,2,4,6
/proc/29366/task/29496/stat : 29496 (java) S 29361 29366 29308 0 -1 1077944384 62110 13417 0 0 394 8 5 3 20 0 15 0 231177027 11280941056 1152865 33554432000 4194304 4196468 140726110674896 140098383300976 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29498] ppid=29361 vsize=11016544 memory=4004 CPUtime=0.08 cores=0,2,4,6
/proc/29366/task/29498/stat : 29498 (java) S 29361 29366 29308 0 -1 1077944384 3 13417 0 0 0 0 5 3 20 0 15 0 231177027 11280941056 1152865 33554432000 4194304 4196468 140726110674896 140096867133920 140098961336021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
[pid=29366/tid=29500] ppid=29361 vsize=11016544 memory=3516 CPUtime=1.48 cores=0,2,4,6
/proc/29366/task/29500/stat : 29500 (java) S 29361 29366 29308 0 -1 1077944384 2984 13417 0 0 65 75 5 3 20 0 15 0 231177027 11280941056 1152865 33554432000 4194304 4196468 140726110674896 140098382248880 140098961336962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140726110681700 140726110684508 140726110684508 140726110687183 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4611460 KiB

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

[startup+2418.45 s]
# the end of solver process 29366 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.37 s, system=4.78278 s

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

Child status: 143
Real time (s): 2418.45
CPU time (s): 2520.15
CPU user time (s): 2515.37
CPU system time (s): 4.78278
CPU usage (%): 104.205
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 4805508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.37
system time used= 4.78278
maximum resident set size= 4805508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 745483
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= 70150
involuntary context switches= 3525


# summary of solver processes directly reported to runsolver:
#   pid: 29366
#   total CPU time (s): 2520.15
#   total CPU user time (s): 2515.37
#   total CPU system time (s): 4.78278

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8178 second user time and 22.6139 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 4304706

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