2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	SAT (TO)	9935	252.052	221.057

0.99/0.74	c Concrete v3.9.2.1532736233296 running
38.41/17.23	o 10987
38.69/17.38	o 10956
38.91/17.42	o 10951
39.16/17.50	o 10902
39.36/17.69	o 10860
39.55/17.70	o 10768
39.55/17.72	o 10764
39.55/17.73	o 10748
39.55/17.79	o 10745
41.97/19.68	o 10376
41.97/19.70	o 10275
42.10/19.76	o 10170
57.71/33.89	o 10166
57.81/34.00	o 10165
58.51/34.64	o 10060
79.93/55.19	o 10018
80.22/55.41	o 9970
129.00/99.73	o 9935
252.00/221.01	Exception in thread "main" java.util.concurrent.TimeoutException
252.00/221.01		at concrete.MAC.mac(MAC.scala:188)
252.00/221.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.00/221.01		at scala.util.Try$.apply(Try.scala:209)
252.00/221.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.00/221.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.00/221.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.00/221.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.00/221.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.00/221.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.00/221.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.00/221.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.00/221.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.00/221.01		at concrete.MAC.oneRun(MAC.scala:253)
252.00/221.01		at concrete.MAC.nextSolution(MAC.scala:272)
252.00/221.01		at concrete.MAC.nextSolution(MAC.scala:355)
252.00/221.01		at concrete.Solver.hasNext(Solver.scala:166)
252.00/221.01		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.00/221.01		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.00/221.01		at concrete.Solver.foreach(Solver.scala:68)
252.00/221.01		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.00/221.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.00/221.01		at scala.util.Success.map(Try.scala:209)
252.00/221.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.00/221.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.00/221.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.00/221.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.00/221.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.00/221.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.00/221.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.00/221.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.00/221.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.00/221.01		at scala.collection.immutable.List.foreach(List.scala:389)
252.00/221.01		at scala.App.main(App.scala:76)
252.00/221.01		at scala.App.main$(App.scala:74)
252.00/221.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.00/221.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.00/221.02	v <instantiation cost="9935">
252.00/221.02	v       <list>
252.00/221.02	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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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]
252.00/221.03	v       </list>
252.00/221.03	v       <values>
252.00/221.03	v         1 5 4 1 4 2 2 5 10 9 8 11 9 6 10 3 7 11 6 8 7 3 0 6 5 0 6 8 3 9 4 8 9 10 7 5 7 2 4 2 3 11 11 10 5 9 3 11 8 0 0 10 6 5 10 7 6 3 9 1 11 1 4 7 8 4 7 10 2 7 5 4 1 11 8 10 11 6 8 2 6 0 9 4 1 9 5 0 9 11 0 6 0 3 6 8 1 7 7 5 5 11 8 9 1 3 2 10 10 2 2 0 1 8 3 11 7 0 7 2 6 4 4 1 11 10 8 9 10 6 3 9 11 1 10 4 1 9 4 7 2 11 5 3 2 0 3 8 10 8 0 5 9 7 3 8 9 3 11 10 5 6 5 4 4 2 1 9 1 11 0 10 8 2 0 6 10 7 11 5 2 1 9 4 3 1 0 9 3 10 4 6 5 6 7 0 2 11 4 2 7 10 10 6 8 1 11 0 1 8 0 7 2 4 3 5 11 3 6 5 8 3 6 9 9 7 11 2 0 3 2 1 11 8 0 5 6 7 5 4 4 1 6 4 8 2 7 5 10 3 9 6 3 0 10 4 5 7 2 0 9 1 1 8 0 1 1 1 0 1 0 0 1 0 0 0 1 1 0 1 1 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 1 1 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 1 1 1 0 1 1 1 0 0 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 1 0 1 0 0 1 1 1 1 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 10 10 0 0 36 36 15 50 39 51 68 69 55 0 55 55 0 0 44 44 44 14 34 0 39 27 39 10 0 32 32 31 21 68 43 0 0 44 44 0 22 22 0 64 10 65 0 0 47 47 53 48 15 0 56 27 51 55 0 0 49 43 64 58 45 64 56 0 0 0 0 0 14 48 35 51 66 69 73 69 0 0 47 56 44 34 0 32 43 67 0 0 55 105 55 36 0 0 18 18 0 0 64 48 35 0 21 21 31 32 51 0 74 55 45 50 15 39 42 42 44 67 48 0 0 27 27 35 31 40 51 51 81 81 0 41 41 0 70 70 0 18 31 43 69 59 59 0 0 47 47 15 44 31 73 75 0 27 27 0 0 14 14 0 0 67 10 69 0 48 35 64 56 22 43 79 0 44 44 81 81 0 59 59 73 69 67 69 0 46 46 21 21 0 0 68 67 68 0 0 42 27 31 48 15 53 0 0 49 56 79 103 103 68 46 64 105 0 0 51 51 0 55 51 67 0 0 69 27 81 0 69 47 69 103 0 0 55 15 55 0 65 64 69 73 0 0 69 48 35 74 0 0 0 0 0 58 58 0 10 10 0 70 47 66 0 70 35 48 67 55 51 43 64 69 69
252.00/221.03	v       </values>
252.00/221.03	v     </instantiation>
252.00/221.03	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 (13378 MiB free)
  memory of node 1: 16384 MiB (10932 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302683-1532898594/watcher-4302683-1532898594 -o /tmp/evaluation-result-4302683-1532898594/solver-4302683-1532898594 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28700 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1754931089 -superng HOME/instance-4302683-1532898594.xml 

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

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

solver pid=4184, runsolver pid=4181

[startup+0.100161 s]*
/proc/loadavg: 1.35 1.64 1.75 3/206 4238
/proc/meminfo: memFree=24887352/32770624 swapFree=67108744/67108860
[pid=4184] ppid=4181 vsize=10005480 memory=16284 CPUtime=0.09 cores=0,2,4,6
/proc/4184/stat : 4184 (java) S 4181 4184 19273 0 -1 1077944320 4251 13126 0 0 1 0 5 3 20 0 6 0 107422599 10245611520 4071 33554432000 4194304 4196468 140725863337536 140725863320080 140072158576375 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
/proc/4184/statm: 2501370 4071 1920 1 0 2489808 0
[pid=4184/tid=4237] ppid=4181 vsize=10005480 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4237/stat : 4237 (java) R 4181 4184 19273 0 -1 4202560 2126 13126 0 0 0 0 5 3 20 0 6 0 107422609 10245611520 4137 33554432000 4194304 4196468 140725863337536 140072130413136 140072142656862 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4238] ppid=4181 vsize=10005480 memory=5792869726567804975 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4238/stat : 4238 (java) S 4181 4184 19273 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 6 0 107422609 10245611520 4137 33554432000 4194304 4196468 140725863337536 140072162819216 140072158586581 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4239] ppid=4181 vsize=10005480 memory=140309210691200 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4239/stat : 4239 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 6 0 107422609 10245611520 4137 33554432000 4194304 4196468 140725863337536 140072044084240 140072158586581 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4240] ppid=4181 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4240/stat : 4240 (java) S 4181 4184 19273 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 6 0 107422609 10245611520 4203 33554432000 4194304 4196468 140725863337536 140072043031440 140072158586581 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4241] ppid=4181 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4241/stat : 4241 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 6 0 107422609 10245611520 4203 33554432000 4194304 4196468 140725863337536 140072041978640 140072158586581 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16284 KiB

[startup+0.210269 s]*
/proc/loadavg: 1.35 1.64 1.75 3/218 4250
/proc/meminfo: memFree=24865392/32770624 swapFree=67108744/67108860
[pid=4184] ppid=4181 vsize=10982744 memory=41828 CPUtime=0.26 cores=0,2,4,6
/proc/4184/stat : 4184 (java) S 4181 4184 19273 0 -1 1077944320 7185 13126 0 0 16 2 5 3 20 0 15 0 107422599 11246329856 10457 33554432000 4194304 4196468 140725863337536 140725863320080 140072158576375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
/proc/4184/statm: 2745686 10457 2946 1 0 2708109 0
[pid=4184/tid=4237] ppid=4181 vsize=10982744 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/4184/task/4237/stat : 4237 (java) R 4181 4184 19273 0 -1 4202560 4094 13126 0 0 10 1 5 3 20 0 15 0 107422609 11246329856 10853 33554432000 4194304 4196468 140725863337536 140072130391616 140072138852082 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4238] ppid=4181 vsize=10982744 memory=288292155783643159 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4238/stat : 4238 (java) S 4181 4184 19273 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 107422609 11246329856 10853 33554432000 4194304 4196468 140725863337536 140072162819216 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4239] ppid=4181 vsize=10982744 memory=140309210710756 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4239/stat : 4239 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 107422609 11246329856 10853 33554432000 4194304 4196468 140725863337536 140072044084240 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4240] ppid=4181 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4240/stat : 4240 (java) S 4181 4184 19273 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 107422609 11246329856 10853 33554432000 4194304 4196468 140725863337536 140072043031440 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4241] ppid=4181 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4241/stat : 4241 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 107422609 11246329856 10853 33554432000 4194304 4196468 140725863337536 140072041978640 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4242] ppid=4181 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4242/stat : 4242 (java) S 4181 4184 19273 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 107422611 11246329856 10853 33554432000 4194304 4196468 140725863337536 140071651436912 140072158587522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4243] ppid=4181 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4243/stat : 4243 (java) S 4181 4184 19273 0 -1 1077944384 13 13126 0 0 0 0 5 3 20 0 15 0 107422611 11246329856 10853 33554432000 4194304 4196468 140725863337536 140070909633568 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4244] ppid=4181 vsize=10982744 memory=140309210691200 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4244/stat : 4244 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 107422612 11246329856 10853 33554432000 4194304 4196468 140725863337536 140070761784176 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4245] ppid=4181 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4245/stat : 4245 (java) S 4181 4184 19273 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 107422614 11246329856 10853 33554432000 4194304 4196468 140725863337536 140070454384464 140072158594971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4246] ppid=4181 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4184/task/4246/stat : 4246 (java) S 4181 4184 19273 0 -1 1077944384 431 13126 0 0 1 0 5 3 20 0 15 0 107422614 11246329856 10853 33554432000 4194304 4196468 140725863337536 140071650384752 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4247] ppid=4181 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/4184/task/4247/stat : 4247 (java) S 4181 4184 19273 0 -1 1077944384 189 13126 0 0 1 0 5 3 20 0 15 0 107422614 11246329856 10853 33554432000 4194304 4196468 140725863337536 140071649331952 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4248] ppid=4181 vsize=10982744 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/4184/task/4248/stat : 4248 (java) S 4181 4184 19273 0 -1 1077944384 616 13126 0 0 3 0 5 3 20 0 15 0 107422614 11246329856 10853 33554432000 4194304 4196468 140725863337536 140071648279152 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4249] ppid=4181 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4249/stat : 4249 (java) S 4181 4184 19273 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 107422614 11246329856 10919 33554432000 4194304 4196468 140725863337536 140070023588576 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4250] ppid=4181 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4250/stat : 4250 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 107422615 11246329856 10919 33554432000 4194304 4196468 140725863337536 140071647226544 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41828 KiB

[startup+0.31048 s]*
/proc/loadavg: 1.35 1.64 1.75 3/218 4250
/proc/meminfo: memFree=24852740/32770624 swapFree=67108744/67108860
[pid=4184] ppid=4181 vsize=10983192 memory=55376 CPUtime=0.38 cores=0,2,4,6
/proc/4184/stat : 4184 (java) S 4181 4184 19273 0 -1 1077944320 10402 13126 0 0 27 3 5 3 20 0 15 0 107422599 11246788608 13844 33554432000 4194304 4196468 140725863337536 140725863320080 140072158576375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
/proc/4184/statm: 2745798 13844 3065 1 0 2708109 0
[pid=4184/tid=4237] ppid=4181 vsize=10983192 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/4184/task/4237/stat : 4237 (java) R 4181 4184 19273 0 -1 4202560 6947 13126 0 0 19 2 5 3 20 0 15 0 107422609 11246788608 13844 33554432000 4194304 4196468 140725863337536 140072130388384 140072142656862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4238] ppid=4181 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4238/stat : 4238 (java) S 4181 4184 19273 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 107422609 11246788608 13844 33554432000 4194304 4196468 140725863337536 140072162819216 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4239] ppid=4181 vsize=10983192 memory=-2843871815866631326 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4239/stat : 4239 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 107422609 11246788608 13844 33554432000 4194304 4196468 140725863337536 140072044084240 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4240] ppid=4181 vsize=10983192 memory=-8412656567334364540 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4240/stat : 4240 (java) S 4181 4184 19273 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 107422609 11246788608 13844 33554432000 4194304 4196468 140725863337536 140072043031440 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4241] ppid=4181 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4241/stat : 4241 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 107422609 11246788608 13844 33554432000 4194304 4196468 140725863337536 140072041978640 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4242] ppid=4181 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4242/stat : 4242 (java) S 4181 4184 19273 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 107422611 11246788608 13844 33554432000 4194304 4196468 140725863337536 140071651436912 140072158587522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4243] ppid=4181 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4243/stat : 4243 (java) S 4181 4184 19273 0 -1 1077944384 13 13126 0 0 0 0 5 3 20 0 15 0 107422611 11246788608 13844 33554432000 4194304 4196468 140725863337536 140070909633568 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4244] ppid=4181 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4244/stat : 4244 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 107422612 11246788608 13844 33554432000 4194304 4196468 140725863337536 140070761784176 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4245] ppid=4181 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4245/stat : 4245 (java) S 4181 4184 19273 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 107422614 11246788608 13844 33554432000 4194304 4196468 140725863337536 140070454384464 140072158594971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4246] ppid=4181 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4184/task/4246/stat : 4246 (java) S 4181 4184 19273 0 -1 1077944384 431 13126 0 0 1 0 5 3 20 0 15 0 107422614 11246788608 13844 33554432000 4194304 4196468 140725863337536 140071650384752 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4247] ppid=4181 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4184/task/4247/stat : 4247 (java) S 4181 4184 19273 0 -1 1077944384 190 13126 0 0 1 0 5 3 20 0 15 0 107422614 11246788608 13844 33554432000 4194304 4196468 140725863337536 140071649331952 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4248] ppid=4181 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4184/task/4248/stat : 4248 (java) S 4181 4184 19273 0 -1 1077944384 626 13126 0 0 5 0 5 3 20 0 15 0 107422614 11246788608 13844 33554432000 4194304 4196468 140725863337536 140071648279152 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4249] ppid=4181 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4249/stat : 4249 (java) S 4181 4184 19273 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 107422614 11246788608 13844 33554432000 4194304 4196468 140725863337536 140070023588576 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4250] ppid=4181 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4250/stat : 4250 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 107422615 11246788608 13844 33554432000 4194304 4196468 140725863337536 140071647226544 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55376 KiB

[startup+0.700733 s]
/proc/loadavg: 1.35 1.64 1.75 4/218 4250
/proc/meminfo: memFree=24841452/32770624 swapFree=67108744/67108860
[pid=4184] ppid=4181 vsize=10983192 memory=88552 CPUtime=0.99 cores=0,2,4,6
/proc/4184/stat : 4184 (java) S 4181 4184 19273 0 -1 1077944320 16756 13126 0 0 86 5 5 3 20 0 15 0 107422599 11246788608 22138 33554432000 4194304 4196468 140725863337536 140725863320080 140072158576375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
/proc/4184/statm: 2745798 22138 3238 1 0 2708109 0
[pid=4184/tid=4237] ppid=4181 vsize=10983192 memory=30744 CPUtime=0.67 cores=0,2,4,6
/proc/4184/task/4237/stat : 4237 (java) R 4181 4184 19273 0 -1 4202560 12167 13126 0 0 55 4 5 3 20 0 15 0 107422609 11246788608 22138 33554432000 4194304 4196468 140725863337536 140072130397200 140072142656862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4238] ppid=4181 vsize=10983192 memory=280618130738960 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4238/stat : 4238 (java) S 4181 4184 19273 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 107422609 11246788608 22138 33554432000 4194304 4196468 140725863337536 140072162819216 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4239] ppid=4181 vsize=10983192 memory=2492154775297 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4239/stat : 4239 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 107422609 11246788608 22138 33554432000 4194304 4196468 140725863337536 140072044084240 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4240] ppid=4181 vsize=10983192 memory=2522219546369 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4240/stat : 4240 (java) S 4181 4184 19273 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 107422609 11246788608 22138 33554432000 4194304 4196468 140725863337536 140072043031440 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4241] ppid=4181 vsize=10983192 memory=2547989350145 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4241/stat : 4241 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 107422609 11246788608 22138 33554432000 4194304 4196468 140725863337536 140072041978640 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4242] ppid=4181 vsize=10983192 memory=2560874252033 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4242/stat : 4242 (java) S 4181 4184 19273 0 -1 1077944384 5 13126 0 0 0 0 5 3 20 0 15 0 107422611 11246788608 22138 33554432000 4194304 4196468 140725863337536 140071651436912 140072158587522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4243] ppid=4181 vsize=10983192 memory=2569464186625 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4243/stat : 4243 (java) S 4181 4184 19273 0 -1 1077944384 13 13126 0 0 0 0 5 3 20 0 15 0 107422611 11246788608 22138 33554432000 4194304 4196468 140725863337536 140070909633568 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4244] ppid=4181 vsize=10983192 memory=2629593728769 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4244/stat : 4244 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 107422612 11246788608 22138 33554432000 4194304 4196468 140725863337536 140070761784176 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4245] ppid=4181 vsize=10983192 memory=19773292 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4245/stat : 4245 (java) S 4181 4184 19273 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 107422614 11246788608 22138 33554432000 4194304 4196468 140725863337536 140070454384464 140072158594971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4246] ppid=4181 vsize=10983192 memory=-7453528518462155811 CPUtime=0.17 cores=0,2,4,6
/proc/4184/task/4246/stat : 4246 (java) S 4181 4184 19273 0 -1 1077944384 1086 13126 0 0 9 0 5 3 20 0 15 0 107422614 11246788608 22138 33554432000 4194304 4196468 140725863337536 140071650384752 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4247] ppid=4181 vsize=10983192 memory=280618131301952 CPUtime=0.15 cores=0,2,4,6
/proc/4184/task/4247/stat : 4247 (java) S 4181 4184 19273 0 -1 1077944384 563 13126 0 0 7 0 5 3 20 0 15 0 107422614 11246788608 22138 33554432000 4194304 4196468 140725863337536 140071649331952 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4248] ppid=4181 vsize=10983192 memory=140312286593657 CPUtime=0.21 cores=0,2,4,6
/proc/4184/task/4248/stat : 4248 (java) S 4181 4184 19273 0 -1 1077944384 717 13126 0 0 13 0 5 3 20 0 15 0 107422614 11246788608 22138 33554432000 4194304 4196468 140725863337536 140071648279152 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4249] ppid=4181 vsize=10983192 memory=143026705924757 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4249/stat : 4249 (java) S 4181 4184 19273 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 107422614 11246788608 22138 33554432000 4194304 4196468 140725863337536 140070023588576 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4250] ppid=4181 vsize=10983192 memory=140312286593934 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4250/stat : 4250 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 107422615 11246788608 22138 33554432000 4194304 4196468 140725863337536 140071647226544 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88552 KiB

[startup+1.50146 s]
/proc/loadavg: 1.35 1.64 1.75 4/218 4250
/proc/meminfo: memFree=24795340/32770624 swapFree=67108744/67108860
[pid=4184] ppid=4181 vsize=10996044 memory=186536 CPUtime=3.13 cores=0,2,4,6
/proc/4184/stat : 4184 (java) S 4181 4184 19273 0 -1 1077944320 25559 13126 0 0 297 8 5 3 20 0 15 0 107422599 11259949056 46634 33554432000 4194304 4196468 140725863337536 140725863320080 140072158576375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
/proc/4184/statm: 2749011 46634 3449 1 0 2710669 0
[pid=4184/tid=4237] ppid=4181 vsize=10996044 memory=118 CPUtime=1.46 cores=0,2,4,6
/proc/4184/task/4237/stat : 4237 (java) R 4181 4184 19273 0 -1 4202560 16462 13126 0 0 132 6 5 3 20 0 15 0 107422609 11259949056 46634 33554432000 4194304 4196468 140725863337536 140072130397016 140072142620005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4238] ppid=4181 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4238/stat : 4238 (java) S 4181 4184 19273 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 107422609 11259949056 46634 33554432000 4194304 4196468 140725863337536 140072162819216 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4239] ppid=4181 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4239/stat : 4239 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 107422609 11259949056 46634 33554432000 4194304 4196468 140725863337536 140072044084240 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4240] ppid=4181 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4240/stat : 4240 (java) S 4181 4184 19273 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 107422609 11259949056 46634 33554432000 4194304 4196468 140725863337536 140072043031440 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4241] ppid=4181 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4241/stat : 4241 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 107422609 11259949056 46634 33554432000 4194304 4196468 140725863337536 140072041978640 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4242] ppid=4181 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4242/stat : 4242 (java) S 4181 4184 19273 0 -1 1077944384 13 13126 0 0 0 0 5 3 20 0 15 0 107422611 11259949056 46634 33554432000 4194304 4196468 140725863337536 140071651436912 140072158587522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4243] ppid=4181 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4243/stat : 4243 (java) S 4181 4184 19273 0 -1 1077944384 13 13126 0 0 0 0 5 3 20 0 15 0 107422611 11259949056 46634 33554432000 4194304 4196468 140725863337536 140070909633568 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4244] ppid=4181 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4244/stat : 4244 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 107422612 11259949056 46634 33554432000 4194304 4196468 140725863337536 140070761784176 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4245] ppid=4181 vsize=10996044 memory=280618130795456 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4245/stat : 4245 (java) S 4181 4184 19273 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 107422614 11259949056 46634 33554432000 4194304 4196468 140725863337536 140070454384464 140072158594971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4246] ppid=4181 vsize=10996044 memory=6152568437464001118 CPUtime=0.65 cores=0,2,4,6
/proc/4184/task/4246/stat : 4246 (java) R 4181 4184 19273 0 -1 4202560 2530 13126 0 0 57 0 5 3 20 0 15 0 107422614 11259949056 46634 33554432000 4194304 4196468 140725863337536 140071650370632 140072143498142 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4247] ppid=4181 vsize=10996044 memory=7666366198175851622 CPUtime=0.67 cores=0,2,4,6
/proc/4184/task/4247/stat : 4247 (java) R 4181 4184 19273 0 -1 4202560 2583 13126 0 0 59 0 5 3 20 0 15 0 107422614 11259949056 46634 33554432000 4194304 4196468 140725863337536 140071649317832 140072140120148 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4248] ppid=4181 vsize=10996044 memory=7450758444881243747 CPUtime=0.55 cores=0,2,4,6
/proc/4184/task/4248/stat : 4248 (java) S 4181 4184 19273 0 -1 1077944384 1752 13126 0 0 47 0 5 3 20 0 15 0 107422614 11259949056 46634 33554432000 4194304 4196468 140725863337536 140071648279152 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4249] ppid=4181 vsize=10996044 memory=7523379057122502508 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4249/stat : 4249 (java) S 4181 4184 19273 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 107422614 11259949056 46634 33554432000 4194304 4196468 140725863337536 140070023588576 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4250] ppid=4181 vsize=10996044 memory=7377571737865184620 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4250/stat : 4250 (java) S 4181 4184 19273 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 107422615 11259949056 46634 33554432000 4194304 4196468 140725863337536 140071647226544 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 10996044 KiB

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

/proc/4184/task/4237/stat : 4237 (java) R 4181 4184 19273 0 -1 4202560 47091 13126 0 0 4971 31 5 3 20 0 15 0 107422609 11280941056 587417 33554432000 4194304 4196468 140725863337536 140072130411184 140071742432926 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4238] ppid=4181 vsize=11016544 memory=2050120 CPUtime=0.91 cores=0,2,4,6
/proc/4184/task/4238/stat : 4238 (java) S 4181 4184 19273 0 -1 1077944384 2292 13126 0 0 63 20 5 3 20 0 15 0 107422609 11280941056 587417 33554432000 4194304 4196468 140725863337536 140072162819216 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4239] ppid=4181 vsize=11016544 memory=2050120 CPUtime=0.91 cores=0,2,4,6
/proc/4184/task/4239/stat : 4239 (java) S 4181 4184 19273 0 -1 1077944384 1710 13126 0 0 63 20 5 3 20 0 15 0 107422609 11280941056 587417 33554432000 4194304 4196468 140725863337536 140072044084240 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4240] ppid=4181 vsize=11016544 memory=2349668 CPUtime=0.91 cores=0,2,4,6
/proc/4184/task/4240/stat : 4240 (java) S 4181 4184 19273 0 -1 1077944384 845 13126 0 0 64 19 5 3 20 0 15 0 107422609 11280941056 587417 33554432000 4194304 4196468 140725863337536 140072043031440 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4241] ppid=4181 vsize=11016544 memory=280618131844160 CPUtime=0.89 cores=0,2,4,6
/proc/4184/task/4241/stat : 4241 (java) S 4181 4184 19273 0 -1 1077944384 2270 13126 0 0 60 21 5 3 20 0 15 0 107422609 11280941056 587417 33554432000 4194304 4196468 140725863337536 140072041978640 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4242] ppid=4181 vsize=11016544 memory=4096 CPUtime=0.16 cores=0,2,4,6
/proc/4184/task/4242/stat : 4242 (java) S 4181 4184 19273 0 -1 1077944384 6056 13126 0 0 8 0 5 3 20 0 15 0 107422611 11280941056 587417 33554432000 4194304 4196468 140725863337536 140071651436912 140072158587522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4243] ppid=4181 vsize=11016544 memory=30748 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4243/stat : 4243 (java) S 4181 4184 19273 0 -1 1077944384 21 13126 0 0 0 0 5 3 20 0 15 0 107422611 11280941056 587417 33554432000 4194304 4196468 140725863337536 140070909633696 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4244] ppid=4181 vsize=11016544 memory=2050120 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4244/stat : 4244 (java) S 4181 4184 19273 0 -1 1077944384 14 13126 0 0 0 0 5 3 20 0 15 0 107422612 11280941056 587417 33554432000 4194304 4196468 140725863337536 140070761784192 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4245] ppid=4181 vsize=11016544 memory=730844 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4245/stat : 4245 (java) S 4181 4184 19273 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 107422614 11280941056 587417 33554432000 4194304 4196468 140725863337536 140070454384464 140072158594971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4246] ppid=4181 vsize=11016544 memory=7234861648793200234 CPUtime=9.54 cores=0,2,4,6
/proc/4184/task/4246/stat : 4246 (java) S 4181 4184 19273 0 -1 1077944384 15676 13126 0 0 942 4 5 3 20 0 15 0 107422614 11280941056 587417 33554432000 4194304 4196468 140725863337536 140071650384752 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4247] ppid=4181 vsize=11016544 memory=7454130749351154278 CPUtime=9.61 cores=0,2,4,6
/proc/4184/task/4247/stat : 4247 (java) S 4181 4184 19273 0 -1 1077944384 21769 13126 0 0 949 4 5 3 20 0 15 0 107422614 11280941056 587417 33554432000 4194304 4196468 140725863337536 140071649331952 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4248] ppid=4181 vsize=11016544 memory=6227446291344026220 CPUtime=3.37 cores=0,2,4,6
/proc/4184/task/4248/stat : 4248 (java) S 4181 4184 19273 0 -1 1077944384 11143 13126 0 0 324 5 5 3 20 0 15 0 107422614 11280941056 587417 33554432000 4194304 4196468 140725863337536 140071648279152 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4249] ppid=4181 vsize=11016544 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4249/stat : 4249 (java) S 4181 4184 19273 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 107422614 11280941056 587417 33554432000 4194304 4196468 140725863337536 140070023588576 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4250] ppid=4181 vsize=11016544 memory=18280 CPUtime=0.1 cores=0,2,4,6
/proc/4184/task/4250/stat : 4250 (java) S 4181 4184 19273 0 -1 1077944384 96 13126 0 0 0 2 5 3 20 0 15 0 107422615 11280941056 587417 33554432000 4194304 4196468 140725863337536 140071647226544 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
Current children cumulated CPU time: 75.88 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2349668 KiB

[startup+102.301 s]
/proc/loadavg: 1.96 1.79 1.79 3/219 4259
/proc/meminfo: memFree=21684608/32770624 swapFree=67108744/67108860
[pid=4184] ppid=4181 vsize=11016544 memory=2913976 CPUtime=131.6 cores=0,2,4,6
/proc/4184/stat : 4184 (java) S 4181 4184 19273 0 -1 1077944320 129344 13126 0 0 12987 165 5 3 20 0 15 0 107422599 11280941056 728494 33554432000 4194304 4196468 140725863337536 140725863320080 140072158576375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
/proc/4184/statm: 2754136 728494 3535 1 0 2715789 0
[pid=4184/tid=4237] ppid=4181 vsize=11016544 memory=2913976 CPUtime=99.76 cores=0,2,4,6
/proc/4184/task/4237/stat : 4237 (java) R 4181 4184 19273 0 -1 4202560 50890 13126 0 0 9933 35 5 3 20 0 15 0 107422609 11280941056 728494 33554432000 4194304 4196468 140725863337536 140072130405344 140071727826982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4238] ppid=4181 vsize=11016544 memory=1525888 CPUtime=2.33 cores=0,2,4,6
/proc/4184/task/4238/stat : 4238 (java) S 4181 4184 19273 0 -1 1077944384 2483 13126 0 0 197 28 5 3 20 0 15 0 107422609 11280941056 728494 33554432000 4194304 4196468 140725863337536 140072162819216 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4239] ppid=4181 vsize=11016544 memory=8112282956445269571 CPUtime=2.35 cores=0,2,4,6
/proc/4184/task/4239/stat : 4239 (java) S 4181 4184 19273 0 -1 1077944384 1861 13126 0 0 199 28 5 3 20 0 15 0 107422609 11280941056 728494 33554432000 4194304 4196468 140725863337536 140072044084240 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4240] ppid=4181 vsize=11016544 memory=2913976 CPUtime=2.34 cores=0,2,4,6
/proc/4184/task/4240/stat : 4240 (java) S 4181 4184 19273 0 -1 1077944384 1028 13126 0 0 199 27 5 3 20 0 15 0 107422609 11280941056 728494 33554432000 4194304 4196468 140725863337536 140072043031440 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4241] ppid=4181 vsize=11016544 memory=2913976 CPUtime=2.31 cores=0,2,4,6
/proc/4184/task/4241/stat : 4241 (java) S 4181 4184 19273 0 -1 1077944384 2455 13126 0 0 195 28 5 3 20 0 15 0 107422609 11280941056 728494 33554432000 4194304 4196468 140725863337536 140072041978640 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4242] ppid=4181 vsize=11016544 memory=2913976 CPUtime=0.24 cores=0,2,4,6
/proc/4184/task/4242/stat : 4242 (java) S 4181 4184 19273 0 -1 1077944384 18778 13126 0 0 15 1 5 3 20 0 15 0 107422611 11280941056 728494 33554432000 4194304 4196468 140725863337536 140071651436912 140072158587522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4243] ppid=4181 vsize=11016544 memory=2787912 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4243/stat : 4243 (java) S 4181 4184 19273 0 -1 1077944384 21 13126 0 0 0 0 5 3 20 0 15 0 107422611 11280941056 728494 33554432000 4194304 4196468 140725863337536 140070909633696 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4244] ppid=4181 vsize=11016544 memory=30748 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4244/stat : 4244 (java) S 4181 4184 19273 0 -1 1077944384 14 13126 0 0 0 0 5 3 20 0 15 0 107422612 11280941056 728494 33554432000 4194304 4196468 140725863337536 140070761784192 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4245] ppid=4181 vsize=11016544 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4245/stat : 4245 (java) S 4181 4184 19273 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 107422614 11280941056 728494 33554432000 4194304 4196468 140725863337536 140070454384464 140072158594971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4246] ppid=4181 vsize=11016544 memory=6944656592455097440 CPUtime=9.61 cores=0,2,4,6
/proc/4184/task/4246/stat : 4246 (java) S 4181 4184 19273 0 -1 1077944384 15852 13126 0 0 949 4 5 3 20 0 15 0 107422614 11280941056 728494 33554432000 4194304 4196468 140725863337536 140071650384752 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4247] ppid=4181 vsize=11016544 memory=18253611012249 CPUtime=9.75 cores=0,2,4,6
/proc/4184/task/4247/stat : 4247 (java) S 4181 4184 19273 0 -1 1077944384 22200 13126 0 0 963 4 5 3 20 0 15 0 107422614 11280941056 728494 33554432000 4194304 4196468 140725863337536 140071649331952 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4248] ppid=4181 vsize=11016544 memory=8 CPUtime=3.4 cores=0,2,4,6
/proc/4184/task/4248/stat : 4248 (java) S 4181 4184 19273 0 -1 1077944384 11459 13126 0 0 327 5 5 3 20 0 15 0 107422614 11280941056 728494 33554432000 4194304 4196468 140725863337536 140071648279152 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4249] ppid=4181 vsize=11016544 memory=11116 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4249/stat : 4249 (java) S 4181 4184 19273 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 107422614 11280941056 728494 33554432000 4194304 4196468 140725863337536 140070023588576 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4250] ppid=4181 vsize=11016544 memory=1200 CPUtime=0.13 cores=0,2,4,6
/proc/4184/task/4250/stat : 4250 (java) S 4181 4184 19273 0 -1 1077944384 105 13126 0 0 3 2 5 3 20 0 15 0 107422615 11280941056 728494 33554432000 4194304 4196468 140725863337536 140071647226544 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
Current children cumulated CPU time: 131.6 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2913976 KiB

[startup+162.301 s]
/proc/loadavg: 2.07 1.85 1.81 3/220 4522
/proc/meminfo: memFree=24563844/32770624 swapFree=67108744/67108860
[pid=4184] ppid=4181 vsize=11016544 memory=3254328 CPUtime=192.41 cores=0,2,4,6
/proc/4184/stat : 4184 (java) S 4181 4184 19273 0 -1 1077944320 145333 13126 0 0 19041 192 5 3 20 0 15 0 107422599 11280941056 813582 33554432000 4194304 4196468 140725863337536 140725863320080 140072158576375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
/proc/4184/statm: 2754136 813582 3535 1 0 2715789 0
[pid=4184/tid=4237] ppid=4181 vsize=11016544 memory=3254328 CPUtime=159.53 cores=0,2,4,6
/proc/4184/task/4237/stat : 4237 (java) R 4181 4184 19273 0 -1 4202560 55660 13126 0 0 15906 39 5 3 20 0 15 0 107422609 11280941056 813582 33554432000 4194304 4196468 140725863337536 140072130410328 140071732742678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4238] ppid=4181 vsize=11016544 memory=3254328 CPUtime=2.55 cores=0,2,4,6
/proc/4184/task/4238/stat : 4238 (java) S 4181 4184 19273 0 -1 1077944384 2759 13126 0 0 214 33 5 3 20 0 15 0 107422609 11280941056 813582 33554432000 4194304 4196468 140725863337536 140072162819216 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4239] ppid=4181 vsize=11016544 memory=3254328 CPUtime=2.57 cores=0,2,4,6
/proc/4184/task/4239/stat : 4239 (java) S 4181 4184 19273 0 -1 1077944384 2895 13126 0 0 216 33 5 3 20 0 15 0 107422609 11280941056 813582 33554432000 4194304 4196468 140725863337536 140072044084240 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4240] ppid=4181 vsize=11016544 memory=3254328 CPUtime=2.56 cores=0,2,4,6
/proc/4184/task/4240/stat : 4240 (java) S 4181 4184 19273 0 -1 1077944384 1191 13126 0 0 216 32 5 3 20 0 15 0 107422609 11280941056 813582 33554432000 4194304 4196468 140725863337536 140072043031440 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4241] ppid=4181 vsize=11016544 memory=3254328 CPUtime=2.54 cores=0,2,4,6
/proc/4184/task/4241/stat : 4241 (java) S 4181 4184 19273 0 -1 1077944384 3622 13126 0 0 213 33 5 3 20 0 15 0 107422609 11280941056 813582 33554432000 4194304 4196468 140725863337536 140072041978640 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4242] ppid=4181 vsize=11016544 memory=3254328 CPUtime=0.24 cores=0,2,4,6
/proc/4184/task/4242/stat : 4242 (java) S 4181 4184 19273 0 -1 1077944384 19117 13126 0 0 15 1 5 3 20 0 15 0 107422611 11280941056 813582 33554432000 4194304 4196468 140725863337536 140071651436912 140072158587522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4243] ppid=4181 vsize=11016544 memory=3254328 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4243/stat : 4243 (java) S 4181 4184 19273 0 -1 1077944384 21 13126 0 0 0 0 5 3 20 0 15 0 107422611 11280941056 813582 33554432000 4194304 4196468 140725863337536 140070909633696 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4244] ppid=4181 vsize=11016544 memory=4096 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4244/stat : 4244 (java) S 4181 4184 19273 0 -1 1077944384 14 13126 0 0 0 0 5 3 20 0 15 0 107422612 11280941056 813582 33554432000 4194304 4196468 140725863337536 140070761784192 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4245] ppid=4181 vsize=11016544 memory=4052 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4245/stat : 4245 (java) S 4181 4184 19273 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 107422614 11280941056 813582 33554432000 4194304 4196468 140725863337536 140070454384464 140072158594971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4246] ppid=4181 vsize=11016544 memory=644 CPUtime=9.64 cores=0,2,4,6
/proc/4184/task/4246/stat : 4246 (java) S 4181 4184 19273 0 -1 1077944384 18275 13126 0 0 952 4 5 3 20 0 15 0 107422614 11280941056 813582 33554432000 4194304 4196468 140725863337536 140071650384752 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4247] ppid=4181 vsize=11016544 memory=0 CPUtime=9.79 cores=0,2,4,6
/proc/4184/task/4247/stat : 4247 (java) S 4181 4184 19273 0 -1 1077944384 25806 13126 0 0 967 4 5 3 20 0 15 0 107422614 11280941056 813582 33554432000 4194304 4196468 140725863337536 140071649331952 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4248] ppid=4181 vsize=11016544 memory=8 CPUtime=3.41 cores=0,2,4,6
/proc/4184/task/4248/stat : 4248 (java) S 4181 4184 19273 0 -1 1077944384 13640 13126 0 0 328 5 5 3 20 0 15 0 107422614 11280941056 813582 33554432000 4194304 4196468 140725863337536 140071648279152 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4249] ppid=4181 vsize=11016544 memory=3254328 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4249/stat : 4249 (java) S 4181 4184 19273 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 107422614 11280941056 813582 33554432000 4194304 4196468 140725863337536 140070023588576 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4250] ppid=4181 vsize=11016544 memory=916 CPUtime=0.16 cores=0,2,4,6
/proc/4184/task/4250/stat : 4250 (java) S 4181 4184 19273 0 -1 1077944384 135 13126 0 0 4 4 5 3 20 0 15 0 107422615 11280941056 813582 33554432000 4194304 4196468 140725863337536 140071647226544 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
Current children cumulated CPU time: 192.41 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3254328 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+221.001 s]*
/proc/loadavg: 1.75 1.80 1.79 4/220 4523
/proc/meminfo: memFree=24184048/32770624 swapFree=67108744/67108860
[pid=4184] ppid=4181 vsize=11016544 memory=3275752 CPUtime=252 cores=0,2,4,6
/proc/4184/stat : 4184 (java) S 4181 4184 19273 0 -1 1077944320 158111 13126 0 0 24995 197 5 3 20 0 15 0 107422599 11280941056 818938 33554432000 4194304 4196468 140725863337536 140725863320080 140072158576375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
/proc/4184/statm: 2754136 818938 3535 1 0 2715789 0
[pid=4184/tid=4237] ppid=4181 vsize=11016544 memory=2832 CPUtime=217.99 cores=0,2,4,6
/proc/4184/task/4237/stat : 4237 (java) R 4181 4184 19273 0 -1 4202560 60808 13126 0 0 21751 40 5 3 20 0 15 0 107422609 11280941056 818938 33554432000 4194304 4196468 140725863337536 140072130407248 140071744346046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4238] ppid=4181 vsize=11016544 memory=2720 CPUtime=2.8 cores=0,2,4,6
/proc/4184/task/4238/stat : 4238 (java) S 4181 4184 19273 0 -1 1077944384 2884 13126 0 0 238 34 5 3 20 0 15 0 107422609 11280941056 818938 33554432000 4194304 4196468 140725863337536 140072162819216 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4239] ppid=4181 vsize=11016544 memory=4872558044660077418 CPUtime=2.82 cores=0,2,4,6
/proc/4184/task/4239/stat : 4239 (java) S 4181 4184 19273 0 -1 1077944384 3274 13126 0 0 240 34 5 3 20 0 15 0 107422609 11280941056 818938 33554432000 4194304 4196468 140725863337536 140072044084240 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4240] ppid=4181 vsize=11016544 memory=4616 CPUtime=2.8 cores=0,2,4,6
/proc/4184/task/4240/stat : 4240 (java) S 4181 4184 19273 0 -1 1077944384 2895 13126 0 0 240 32 5 3 20 0 15 0 107422609 11280941056 818938 33554432000 4194304 4196468 140725863337536 140072043031440 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4241] ppid=4181 vsize=11016544 memory=1424 CPUtime=2.79 cores=0,2,4,6
/proc/4184/task/4241/stat : 4241 (java) S 4181 4184 19273 0 -1 1077944384 3718 13126 0 0 237 34 5 3 20 0 15 0 107422609 11280941056 818938 33554432000 4194304 4196468 140725863337536 140072041978640 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4242] ppid=4181 vsize=11016544 memory=11116 CPUtime=0.25 cores=0,2,4,6
/proc/4184/task/4242/stat : 4242 (java) S 4181 4184 19273 0 -1 1077944384 19397 13126 0 0 16 1 5 3 20 0 15 0 107422611 11280941056 818938 33554432000 4194304 4196468 140725863337536 140071651436912 140072158587522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4243] ppid=4181 vsize=11016544 memory=1200 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4243/stat : 4243 (java) S 4181 4184 19273 0 -1 1077944384 21 13126 0 0 0 0 5 3 20 0 15 0 107422611 11280941056 818938 33554432000 4194304 4196468 140725863337536 140070909633696 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4244] ppid=4181 vsize=11016544 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4244/stat : 4244 (java) S 4181 4184 19273 0 -1 1077944384 14 13126 0 0 0 0 5 3 20 0 15 0 107422612 11280941056 818938 33554432000 4194304 4196468 140725863337536 140070761784192 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4245] ppid=4181 vsize=11016544 memory=1712 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4245/stat : 4245 (java) S 4181 4184 19273 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 107422614 11280941056 818938 33554432000 4194304 4196468 140725863337536 140070454384464 140072158594971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4246] ppid=4181 vsize=11016544 memory=4124 CPUtime=9.69 cores=0,2,4,6
/proc/4184/task/4246/stat : 4246 (java) S 4181 4184 19273 0 -1 1077944384 19532 13126 0 0 957 4 5 3 20 0 15 0 107422614 11280941056 818938 33554432000 4194304 4196468 140725863337536 140071650384752 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4247] ppid=4181 vsize=11016544 memory=2196 CPUtime=9.82 cores=0,2,4,6
/proc/4184/task/4247/stat : 4247 (java) S 4181 4184 19273 0 -1 1077944384 27402 13126 0 0 970 4 5 3 20 0 15 0 107422614 11280941056 818938 33554432000 4194304 4196468 140725863337536 140071649331952 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4248] ppid=4181 vsize=11016544 memory=7636 CPUtime=3.45 cores=0,2,4,6
/proc/4184/task/4248/stat : 4248 (java) S 4181 4184 19273 0 -1 1077944384 15799 13126 0 0 332 5 5 3 20 0 15 0 107422614 11280941056 818938 33554432000 4194304 4196468 140725863337536 140071648279152 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4249] ppid=4181 vsize=11016544 memory=836 CPUtime=0.08 cores=0,2,4,6
/proc/4184/task/4249/stat : 4249 (java) S 4181 4184 19273 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 107422614 11280941056 818938 33554432000 4194304 4196468 140725863337536 140070023588576 140072158586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
[pid=4184/tid=4250] ppid=4181 vsize=11016544 memory=1408 CPUtime=0.19 cores=0,2,4,6
/proc/4184/task/4250/stat : 4250 (java) S 4181 4184 19273 0 -1 1077944384 169 13126 0 0 6 5 5 3 20 0 15 0 107422615 11280941056 818938 33554432000 4194304 4196468 140725863337536 140071647226544 140072158587522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34246656 140725863340648 140725863343457 140725863343457 140725863346127 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3275752 KiB

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

[startup+221.057 s]
# the end of solver process 4184 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.017 s, system=2.03515 s

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

Child status: 143
Real time (s): 221.057
CPU time (s): 252.052
CPU user time (s): 250.017
CPU system time (s): 2.03515
CPU usage (%): 114.021
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 3275752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.017
system time used= 2.03515
maximum resident set size= 3280024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172654
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16658
involuntary context switches= 585


# summary of solver processes directly reported to runsolver:
#   pid: 4184
#   total CPU time (s): 252.052
#   total CPU user time (s): 250.017
#   total CPU system time (s): 2.03515

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.31235 second user time and 2.16242 second system time

The end

Name	TravelingTournament/ TravelingTournament-a3-galaxy12_c18.xml
MD5SUM	294b097d449017f2d3f7014537fb5318
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	9651
Best CPU time to get the best result obtained on this benchmark	252.179
Satisfiable
(Un)Satisfiability was proved
Number of variables	1068
Number of constraints	3635
Number of domains	3
Minimum domain size	2
Maximum domain size	45
Distribution of domain sizes	[{"size":2,"count":528},{"size":12,"count":264},{"size":45,"count":276}]
Minimum variable degree	2
Maximum variable degree	38
Distribution of variable degrees	[{"degree":2,"count":540},{"degree":35,"count":240},{"degree":36,"count":264},{"degree":37,"count":22},{"degree":38,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	22
Distribution of constraint arities	[{"arity":2,"count":265},{"arity":3,"count":24},{"arity":4,"count":2520},{"arity":5,"count":252},{"arity":12,"count":286},{"arity":14,"count":264},{"arity":22,"count":24}]
Number of extensional constraints	276
Number of intensional constraints	2785
Distribution of constraint types	[{"type":"extension","count":276},{"type":"intension","count":2785},{"type":"regular","count":12},{"type":"allDifferent","count":22},{"type":"cardinality","count":12},{"type":"element","count":528}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4302683

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