2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	9906	252.137	226.238

0.97/0.74	c Concrete v3.9.2.1532736233296 running
32.42/12.63	o 10536
39.71/18.35	o 10441
39.86/18.44	o 10367
45.16/23.20	o 10363
54.00/31.53	o 10266
57.40/34.89	o 10240
57.53/34.93	o 10217
57.53/34.95	o 10140
57.64/35.06	o 10119
57.64/35.08	o 10116
59.19/36.58	o 10096
60.49/37.88	o 10051
220.63/195.52	o 9998
220.63/195.54	o 9936
220.84/195.71	o 9919
223.49/198.37	o 9911
226.06/200.64	o 9906
252.08/226.20	Exception in thread "main" java.util.concurrent.TimeoutException
252.08/226.21		at concrete.MAC.mac(MAC.scala:188)
252.08/226.21		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.08/226.21		at scala.util.Try$.apply(Try.scala:209)
252.08/226.21		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.08/226.21		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.08/226.21		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.08/226.21		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.08/226.21		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.08/226.21		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.08/226.21		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.08/226.21		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.08/226.21		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.08/226.21		at concrete.MAC.oneRun(MAC.scala:253)
252.08/226.21		at concrete.MAC.nextSolution(MAC.scala:272)
252.08/226.21		at concrete.MAC.nextSolution(MAC.scala:355)
252.08/226.21		at concrete.Solver.hasNext(Solver.scala:166)
252.08/226.21		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.08/226.21		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.08/226.21		at concrete.Solver.foreach(Solver.scala:68)
252.08/226.21		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.08/226.21		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.08/226.21		at scala.util.Success.map(Try.scala:209)
252.08/226.21		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.08/226.21		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.08/226.21		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.08/226.21		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.08/226.21		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.08/226.21		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.08/226.21		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.08/226.21		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.08/226.21		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.08/226.21		at scala.collection.immutable.List.foreach(List.scala:389)
252.08/226.21		at scala.App.main(App.scala:76)
252.08/226.21		at scala.App.main$(App.scala:74)
252.08/226.21		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.08/226.21		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.08/226.21	v <instantiation cost="9906">
252.08/226.21	v       <list>
252.08/226.21	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.08/226.21	v       </list>
252.08/226.21	v       <values>
252.08/226.21	v         1 10 4 7 1 9 3 6 4 11 2 11 10 9 7 5 6 2 8 5 8 3 0 4 7 2 0 6 5 3 3 6 11 10 5 11 4 8 8 9 7 10 2 9 6 7 5 1 9 4 8 4 5 8 0 7 3 10 11 11 10 0 9 3 1 6 7 11 10 5 6 8 0 1 1 10 7 9 2 4 8 9 4 6 11 2 5 0 10 1 0 9 5 2 11 2 0 7 6 8 6 3 1 7 3 11 5 8 9 10 11 8 2 3 4 10 1 10 2 9 9 6 1 7 6 0 11 8 4 0 3 7 2 9 9 8 3 1 7 0 7 1 4 5 4 8 5 10 0 3 10 11 11 2 3 2 1 0 8 11 6 11 6 4 3 2 8 5 0 4 9 10 1 9 10 5 9 5 11 6 7 3 2 9 10 2 10 4 7 6 3 1 1 5 0 4 0 11 8 6 6 4 2 0 10 8 11 5 5 3 11 0 10 3 7 1 2 7 4 1 4 0 3 11 11 5 9 5 8 3 8 1 0 2 9 6 2 7 6 1 7 4 5 3 8 10 10 7 4 7 9 0 1 0 9 1 2 2 5 4 3 6 6 8 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 1 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 1 0 0 0 1 1 1 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 1 1 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 1 1 0 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 1 1 1 0 1 1 0 0 0 44 44 10 0 44 18 70 55 0 55 103 51 0 0 15 15 39 42 68 34 10 10 0 22 22 39 27 40 32 32 64 10 65 0 31 31 46 46 44 44 0 43 43 56 56 0 0 49 49 53 21 35 50 15 44 14 47 0 58 10 55 0 0 22 22 0 0 66 10 69 0 0 34 10 32 0 14 14 0 51 21 68 67 47 47 47 50 41 0 74 65 10 36 35 50 58 70 0 0 18 31 21 0 0 64 14 51 0 0 55 55 0 44 44 50 47 41 0 0 51 51 0 81 81 40 40 27 44 39 42 21 35 0 48 48 0 0 69 68 68 47 59 59 0 39 39 27 35 18 0 0 44 44 75 10 70 56 56 14 47 22 44 0 67 67 0 59 18 64 0 81 42 39 44 0 69 69 79 79 0 0 0 42 44 69 81 14 68 68 68 53 55 73 0 31 31 46 46 0 48 36 21 0 0 68 31 69 55 55 51 55 103 0 81 81 67 66 105 0 0 79 44 22 49 0 0 0 0 55 55 0 10 44 51 0 73 68 69 0 0 55 49 69 75 0 0 65 44 64 74 0 0 0 10 10 0 0 67 79 105 0 55 55 64 22 58 44 35 51 66 70 31 69
252.08/226.21	v       </values>
252.08/226.21	v     </instantiation>
252.08/226.21	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 (12728 MiB free)
  memory of node 1: 16384 MiB (13233 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302333-1532898368/watcher-4302333-1532898368 -o /tmp/evaluation-result-4302333-1532898368/solver-4302333-1532898368 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1621 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=2083028441 HOME/instance-4302333-1532898368.xml 

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

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=8186, runsolver pid=8183

[startup+0.100116 s]*
/proc/loadavg: 1.49 1.62 1.63 3/206 8243
/proc/meminfo: memFree=26576292/32770624 swapFree=67108860/67108860
[pid=8186] ppid=8183 vsize=10005480 memory=18956 CPUtime=0.08 cores=1,3,5,7
/proc/8186/stat : 8186 (java) S 8183 8186 22004 0 -1 1077944320 4391 13118 0 0 1 0 5 2 20 0 6 0 107400049 10245611520 4739 33554432000 4194304 4196468 140733617875024 140733617857568 139644395069175 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
/proc/8186/statm: 2501370 4739 1935 1 0 2489808 0
[pid=8186/tid=8239] ppid=8183 vsize=10088124 memory=8326441112148417179 CPUtime=0.08 cores=1,3,5,7
/proc/8186/task/8239/stat : 8239 (java) R 8183 8186 22004 0 -1 4202560 2276 13118 0 0 1 0 5 2 20 0 7 0 107400058 10330238976 4804 33554432000 4194304 4196468 140733617875024 139644366912272 139644380752406 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8240] ppid=8183 vsize=10088124 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8240/stat : 8240 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 7 0 107400058 10330238976 4804 33554432000 4194304 4196468 140733617875024 139644399311760 139644395079381 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8241] ppid=8183 vsize=10088124 memory=140523972466304 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8241/stat : 8241 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 7 0 107400058 10330238976 4804 33554432000 4194304 4196468 140733617875024 139644286716688 139644395079381 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8242] ppid=8183 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8242/stat : 8242 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 7 0 107400058 10330238976 4804 33554432000 4194304 4196468 140733617875024 139643933502608 139644395079381 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8243] ppid=8183 vsize=10088124 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8243/stat : 8243 (java) S 8183 8186 22004 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 7 0 107400058 10330238976 4870 33554432000 4194304 4196468 140733617875024 139643932449808 139644395079381 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8244] ppid=8183 vsize=10088124 memory=140523972466304 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8244/stat : 8244 (java) S 8183 8186 22004 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 7 0 107400060 10330238976 4870 33554432000 4194304 4196468 140733617875024 139643888195696 139644395080322 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18956 KiB

[startup+0.216982 s]*
/proc/loadavg: 1.49 1.62 1.63 2/215 8252
/proc/meminfo: memFree=26551196/32770624 swapFree=67108860/67108860
[pid=8186] ppid=8183 vsize=10982744 memory=47532 CPUtime=0.26 cores=1,3,5,7
/proc/8186/stat : 8186 (java) S 8183 8186 22004 0 -1 1077944320 9261 13118 0 0 17 2 5 2 20 0 15 0 107400049 11246329856 11883 33554432000 4194304 4196468 140733617875024 140733617857568 139644395069175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
/proc/8186/statm: 2745686 11883 2959 1 0 2708109 0
[pid=8186/tid=8239] ppid=8183 vsize=10982960 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/8186/task/8239/stat : 8239 (java) R 8183 8186 22004 0 -1 4202560 5867 13118 0 0 11 1 5 2 20 0 15 0 107400058 11246551040 11948 33554432000 4194304 4196468 140733617875024 139644366901376 139644395091101 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8240] ppid=8183 vsize=10982960 memory=365 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8240/stat : 8240 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400058 11246551040 11948 33554432000 4194304 4196468 140733617875024 139644399311760 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8241] ppid=8183 vsize=10983004 memory=3616589505864799904 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8241/stat : 8241 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400058 11246596096 11948 33554432000 4194304 4196468 140733617875024 139644286716688 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8242] ppid=8183 vsize=10983004 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8242/stat : 8242 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400058 11246596096 11948 33554432000 4194304 4196468 140733617875024 139643933502608 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8243] ppid=8183 vsize=10983004 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8243/stat : 8243 (java) S 8183 8186 22004 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 15 0 107400058 11246596096 11948 33554432000 4194304 4196468 140733617875024 139643932449808 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8244] ppid=8183 vsize=10983004 memory=140523972466304 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8244/stat : 8244 (java) S 8183 8186 22004 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 15 0 107400060 11246596096 11948 33554432000 4194304 4196468 140733617875024 139643888195696 139644395080322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8245] ppid=8183 vsize=10983004 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8245/stat : 8245 (java) S 8183 8186 22004 0 -1 1077944384 13 13118 0 0 0 0 5 2 20 0 15 0 107400060 11246596096 11948 33554432000 4194304 4196468 140733617875024 139643278320416 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8246] ppid=8183 vsize=10983004 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8246/stat : 8246 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400061 11246596096 11948 33554432000 4194304 4196468 140733617875024 139643076994160 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8247] ppid=8183 vsize=10983004 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8247/stat : 8247 (java) S 8183 8186 22004 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 107400063 11246596096 11948 33554432000 4194304 4196468 140733617875024 139642769594448 139644395087771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8248] ppid=8183 vsize=10983004 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8186/task/8248/stat : 8248 (java) S 8183 8186 22004 0 -1 1077944384 418 13118 0 0 1 0 5 2 20 0 15 0 107400063 11246596096 11948 33554432000 4194304 4196468 140733617875024 139643887143536 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8249] ppid=8183 vsize=10983004 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8186/task/8249/stat : 8249 (java) S 8183 8186 22004 0 -1 1077944384 187 13118 0 0 1 0 5 2 20 0 15 0 107400063 11246596096 11948 33554432000 4194304 4196468 140733617875024 139643886090736 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8250] ppid=8183 vsize=10983004 memory=140523972466304 CPUtime=0.1 cores=1,3,5,7
/proc/8186/task/8250/stat : 8250 (java) S 8183 8186 22004 0 -1 1077944384 629 13118 0 0 3 0 5 2 20 0 15 0 107400063 11246596096 11948 33554432000 4194304 4196468 140733617875024 139643885038448 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8251] ppid=8183 vsize=10983024 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8251/stat : 8251 (java) S 8183 8186 22004 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 107400063 11246616576 11948 33554432000 4194304 4196468 140733617875024 139642338798560 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8252] ppid=8183 vsize=10983024 memory=140523972466304 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8252/stat : 8252 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400064 11246616576 11948 33554432000 4194304 4196468 140733617875024 139643883985328 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 47532 KiB

[startup+0.310503 s]*
/proc/loadavg: 1.49 1.62 1.63 3/215 8252
/proc/meminfo: memFree=26542016/32770624 swapFree=67108860/67108860
[pid=8186] ppid=8183 vsize=10983192 memory=55412 CPUtime=0.37 cores=1,3,5,7
/proc/8186/stat : 8186 (java) S 8183 8186 22004 0 -1 1077944320 10428 13118 0 0 28 2 5 2 20 0 15 0 107400049 11246788608 13853 33554432000 4194304 4196468 140733617875024 140733617857568 139644395069175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
/proc/8186/statm: 2745798 13853 3078 1 0 2708109 0
[pid=8186/tid=8239] ppid=8183 vsize=10983192 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/8186/task/8239/stat : 8239 (java) R 8183 8186 22004 0 -1 4202560 6983 13118 0 0 19 2 5 2 20 0 15 0 107400058 11246788608 13853 33554432000 4194304 4196468 140733617875024 139644366881184 139644380762641 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8240] ppid=8183 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8240/stat : 8240 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400058 11246788608 13853 33554432000 4194304 4196468 140733617875024 139644399311760 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8241] ppid=8183 vsize=10983192 memory=6935054825532540783 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8241/stat : 8241 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400058 11246788608 13853 33554432000 4194304 4196468 140733617875024 139644286716688 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8242] ppid=8183 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8242/stat : 8242 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400058 11246788608 13853 33554432000 4194304 4196468 140733617875024 139643933502608 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8243] ppid=8183 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8243/stat : 8243 (java) S 8183 8186 22004 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 15 0 107400058 11246788608 13853 33554432000 4194304 4196468 140733617875024 139643932449808 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8244] ppid=8183 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8244/stat : 8244 (java) S 8183 8186 22004 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 15 0 107400060 11246788608 13853 33554432000 4194304 4196468 140733617875024 139643888195696 139644395080322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8245] ppid=8183 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8245/stat : 8245 (java) S 8183 8186 22004 0 -1 1077944384 13 13118 0 0 0 0 5 2 20 0 15 0 107400060 11246788608 13853 33554432000 4194304 4196468 140733617875024 139643278320416 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8246] ppid=8183 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8246/stat : 8246 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400061 11246788608 13853 33554432000 4194304 4196468 140733617875024 139643076994160 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8247] ppid=8183 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8247/stat : 8247 (java) S 8183 8186 22004 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 107400063 11246788608 13853 33554432000 4194304 4196468 140733617875024 139642769594448 139644395087771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8248] ppid=8183 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8186/task/8248/stat : 8248 (java) S 8183 8186 22004 0 -1 1077944384 418 13118 0 0 1 0 5 2 20 0 15 0 107400063 11246788608 13853 33554432000 4194304 4196468 140733617875024 139643887143536 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8249] ppid=8183 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8186/task/8249/stat : 8249 (java) S 8183 8186 22004 0 -1 1077944384 188 13118 0 0 1 0 5 2 20 0 15 0 107400063 11246788608 13853 33554432000 4194304 4196468 140733617875024 139643886090736 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8250] ppid=8183 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8186/task/8250/stat : 8250 (java) R 8183 8186 22004 0 -1 4202560 642 13118 0 0 5 0 5 2 20 0 15 0 107400063 11246788608 13853 33554432000 4194304 4196468 140733617875024 139643885038448 139644373560192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8251] ppid=8183 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8251/stat : 8251 (java) S 8183 8186 22004 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 107400063 11246788608 13853 33554432000 4194304 4196468 140733617875024 139642338798560 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8252] ppid=8183 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8252/stat : 8252 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400064 11246788608 13853 33554432000 4194304 4196468 140733617875024 139643883985328 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55412 KiB

[startup+0.700789 s]
/proc/loadavg: 1.49 1.62 1.63 3/215 8252
/proc/meminfo: memFree=26531720/32770624 swapFree=67108860/67108860
[pid=8186] ppid=8183 vsize=10983192 memory=88516 CPUtime=0.97 cores=1,3,5,7
/proc/8186/stat : 8186 (java) S 8183 8186 22004 0 -1 1077944320 16768 13118 0 0 86 4 5 2 20 0 15 0 107400049 11246788608 22129 33554432000 4194304 4196468 140733617875024 140733617857568 139644395069175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
/proc/8186/statm: 2745798 22129 3238 1 0 2708109 0
[pid=8186/tid=8239] ppid=8183 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/8186/task/8239/stat : 8239 (java) R 8183 8186 22004 0 -1 4202560 12255 13118 0 0 56 3 5 2 20 0 15 0 107400058 11246788608 22129 33554432000 4194304 4196468 140733617875024 139644366890000 139644375344540 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8240] ppid=8183 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8240/stat : 8240 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400058 11246788608 22129 33554432000 4194304 4196468 140733617875024 139644399311760 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8241] ppid=8183 vsize=10983192 memory=8242257093008373557 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8241/stat : 8241 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400058 11246788608 22129 33554432000 4194304 4196468 140733617875024 139644286716688 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8242] ppid=8183 vsize=10983192 memory=7158860088844767568 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8242/stat : 8242 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400058 11246788608 22129 33554432000 4194304 4196468 140733617875024 139643933502608 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8243] ppid=8183 vsize=10983192 memory=7588675599774802240 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8243/stat : 8243 (java) S 8183 8186 22004 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 15 0 107400058 11246788608 22129 33554432000 4194304 4196468 140733617875024 139643932449808 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8244] ppid=8183 vsize=10983192 memory=2319389199166351968 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8244/stat : 8244 (java) S 8183 8186 22004 0 -1 1077944384 5 13118 0 0 0 0 5 2 20 0 15 0 107400060 11246788608 22129 33554432000 4194304 4196468 140733617875024 139643888195696 139644395080322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8245] ppid=8183 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8245/stat : 8245 (java) S 8183 8186 22004 0 -1 1077944384 13 13118 0 0 0 0 5 2 20 0 15 0 107400060 11246788608 22129 33554432000 4194304 4196468 140733617875024 139643278320416 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8246] ppid=8183 vsize=10983192 memory=140523972465169 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8246/stat : 8246 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400061 11246788608 22129 33554432000 4194304 4196468 140733617875024 139643076994160 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8247] ppid=8183 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8247/stat : 8247 (java) S 8183 8186 22004 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 107400063 11246788608 22129 33554432000 4194304 4196468 140733617875024 139642769594448 139644395087771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8248] ppid=8183 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/8186/task/8248/stat : 8248 (java) S 8183 8186 22004 0 -1 1077944384 826 13118 0 0 7 0 5 2 20 0 15 0 107400063 11246788608 22129 33554432000 4194304 4196468 140733617875024 139643887143536 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8249] ppid=8183 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/8186/task/8249/stat : 8249 (java) S 8183 8186 22004 0 -1 1077944384 742 13118 0 0 9 0 5 2 20 0 15 0 107400063 11246788608 22129 33554432000 4194304 4196468 140733617875024 139643886090736 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8250] ppid=8183 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/8186/task/8250/stat : 8250 (java) S 8183 8186 22004 0 -1 1077944384 725 13118 0 0 13 0 5 2 20 0 15 0 107400063 11246788608 22129 33554432000 4194304 4196468 140733617875024 139643885038448 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8251] ppid=8183 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8251/stat : 8251 (java) S 8183 8186 22004 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 107400063 11246788608 22129 33554432000 4194304 4196468 140733617875024 139642338798560 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8252] ppid=8183 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8252/stat : 8252 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400064 11246788608 22129 33554432000 4194304 4196468 140733617875024 139643883985328 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88516 KiB

[startup+1.50096 s]
/proc/loadavg: 1.49 1.62 1.63 4/215 8252
/proc/meminfo: memFree=26489296/32770624 swapFree=67108860/67108860
[pid=8186] ppid=8183 vsize=10996044 memory=186116 CPUtime=3.12 cores=1,3,5,7
/proc/8186/stat : 8186 (java) S 8183 8186 22004 0 -1 1077944320 25433 13118 0 0 298 7 5 2 20 0 15 0 107400049 11259949056 46529 33554432000 4194304 4196468 140733617875024 140733617857568 139644395069175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
/proc/8186/statm: 2749011 46529 3447 1 0 2710669 0
[pid=8186/tid=8239] ppid=8183 vsize=10996044 memory=158752 CPUtime=1.45 cores=1,3,5,7
/proc/8186/task/8239/stat : 8239 (java) R 8183 8186 22004 0 -1 4202560 16673 13118 0 0 132 6 5 2 20 0 15 0 107400058 11259949056 46529 33554432000 4194304 4196468 140733617875024 139644366851408 139644215687740 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8240] ppid=8183 vsize=10996044 memory=288230377057958059 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8240/stat : 8240 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400058 11259949056 46529 33554432000 4194304 4196468 140733617875024 139644399311760 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8241] ppid=8183 vsize=10996044 memory=15258134134413744 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8241/stat : 8241 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400058 11259949056 46529 33554432000 4194304 4196468 140733617875024 139644286716688 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8242] ppid=8183 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8242/stat : 8242 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400058 11259949056 46529 33554432000 4194304 4196468 140733617875024 139643933502608 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8243] ppid=8183 vsize=10996044 memory=-3253322038155611931 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8243/stat : 8243 (java) S 8183 8186 22004 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 15 0 107400058 11259949056 46529 33554432000 4194304 4196468 140733617875024 139643932449808 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8244] ppid=8183 vsize=10996044 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8244/stat : 8244 (java) S 8183 8186 22004 0 -1 1077944384 13 13118 0 0 0 0 5 2 20 0 15 0 107400060 11259949056 46529 33554432000 4194304 4196468 140733617875024 139643888195696 139644395080322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8245] ppid=8183 vsize=10996044 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8245/stat : 8245 (java) S 8183 8186 22004 0 -1 1077944384 13 13118 0 0 0 0 5 2 20 0 15 0 107400060 11259949056 46529 33554432000 4194304 4196468 140733617875024 139643278320416 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8246] ppid=8183 vsize=10996044 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8246/stat : 8246 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400061 11259949056 46529 33554432000 4194304 4196468 140733617875024 139643076994160 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8247] ppid=8183 vsize=10996044 memory=2216 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8247/stat : 8247 (java) S 8183 8186 22004 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 107400063 11259949056 46529 33554432000 4194304 4196468 140733617875024 139642769594448 139644395087771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8248] ppid=8183 vsize=10996044 memory=47532 CPUtime=0.65 cores=1,3,5,7
/proc/8186/task/8248/stat : 8248 (java) R 8183 8186 22004 0 -1 4202560 2511 13118 0 0 58 0 5 2 20 0 15 0 107400063 11259949056 46529 33554432000 4194304 4196468 140733617875024 139643887130040 139644378625557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8249] ppid=8183 vsize=10996044 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/8186/task/8249/stat : 8249 (java) R 8183 8186 22004 0 -1 4202560 2299 13118 0 0 60 0 5 2 20 0 15 0 107400063 11259949056 46529 33554432000 4194304 4196468 140733617875024 139643886076760 139644376590127 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8250] ppid=8183 vsize=10996044 memory=140523813980496 CPUtime=0.53 cores=1,3,5,7
/proc/8186/task/8250/stat : 8250 (java) S 8183 8186 22004 0 -1 1077944384 1722 13118 0 0 46 0 5 2 20 0 15 0 107400063 11259949056 46529 33554432000 4194304 4196468 140733617875024 139643885038448 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8251] ppid=8183 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8251/stat : 8251 (java) S 8183 8186 22004 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 107400063 11259949056 46529 33554432000 4194304 4196468 140733617875024 139642338798560 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8252] ppid=8183 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8252/stat : 8252 (java) S 8183 8186 22004 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 107400064 11259949056 46529 33554432000 4194304 4196468 140733617875024 139643883985328 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0

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

/proc/8186/task/8239/stat : 8239 (java) R 8183 8186 22004 0 -1 4202560 47807 13118 0 0 10120 27 5 2 20 0 15 0 107400058 11348049920 389976 33554432000 4194304 4196468 140733617875024 139644366903056 139643970114483 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8240] ppid=8183 vsize=11082080 memory=35442070134843 CPUtime=0.55 cores=1,3,5,7
/proc/8186/task/8240/stat : 8240 (java) S 8183 8186 22004 0 -1 1077944384 1104 13118 0 0 37 11 5 2 20 0 15 0 107400058 11348049920 389976 33554432000 4194304 4196468 140733617875024 139644399311760 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8241] ppid=8183 vsize=11082080 memory=2273 CPUtime=0.55 cores=1,3,5,7
/proc/8186/task/8241/stat : 8241 (java) S 8183 8186 22004 0 -1 1077944384 2831 13118 0 0 37 11 5 2 20 0 15 0 107400058 11348049920 389976 33554432000 4194304 4196468 140733617875024 139644286716688 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8242] ppid=8183 vsize=11082080 memory=30568 CPUtime=0.54 cores=1,3,5,7
/proc/8186/task/8242/stat : 8242 (java) S 8183 8186 22004 0 -1 1077944384 2557 13118 0 0 36 11 5 2 20 0 15 0 107400058 11348049920 389976 33554432000 4194304 4196468 140733617875024 139643933502608 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8243] ppid=8183 vsize=11082080 memory=1561444 CPUtime=0.54 cores=1,3,5,7
/proc/8186/task/8243/stat : 8243 (java) S 8183 8186 22004 0 -1 1077944384 1158 13118 0 0 37 10 5 2 20 0 15 0 107400058 11348049920 389976 33554432000 4194304 4196468 140733617875024 139643932449808 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8244] ppid=8183 vsize=11082080 memory=6935054825532540783 CPUtime=0.19 cores=1,3,5,7
/proc/8186/task/8244/stat : 8244 (java) S 8183 8186 22004 0 -1 1077944384 5651 13118 0 0 11 1 5 2 20 0 15 0 107400060 11348049920 389976 33554432000 4194304 4196468 140733617875024 139643888195696 139644395080322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8245] ppid=8183 vsize=11082080 memory=1602484 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8245/stat : 8245 (java) S 8183 8186 22004 0 -1 1077944384 26 13118 0 0 0 0 5 2 20 0 15 0 107400060 11348049920 389976 33554432000 4194304 4196468 140733617875024 139643278320480 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8246] ppid=8183 vsize=11082080 memory=1602484 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8246/stat : 8246 (java) S 8183 8186 22004 0 -1 1077944384 11 13118 0 0 0 0 5 2 20 0 15 0 107400061 11348049920 389976 33554432000 4194304 4196468 140733617875024 139643076994176 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8247] ppid=8183 vsize=11082080 memory=1559904 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8247/stat : 8247 (java) S 8183 8186 22004 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 107400063 11348049920 389976 33554432000 4194304 4196468 140733617875024 139642769594448 139644395087771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8248] ppid=8183 vsize=11082080 memory=1200 CPUtime=9.43 cores=1,3,5,7
/proc/8186/task/8248/stat : 8248 (java) S 8183 8186 22004 0 -1 1077944384 23450 13118 0 0 933 3 5 2 20 0 15 0 107400063 11348049920 389976 33554432000 4194304 4196468 140733617875024 139643887143536 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8249] ppid=8183 vsize=11082080 memory=15872 CPUtime=9.43 cores=1,3,5,7
/proc/8186/task/8249/stat : 8249 (java) S 8183 8186 22004 0 -1 1077944384 18049 13118 0 0 932 4 5 2 20 0 15 0 107400063 11348049920 389976 33554432000 4194304 4196468 140733617875024 139643886090736 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8250] ppid=8183 vsize=11082080 memory=1653128 CPUtime=3.35 cores=1,3,5,7
/proc/8186/task/8250/stat : 8250 (java) S 8183 8186 22004 0 -1 1077944384 18132 13118 0 0 324 4 5 2 20 0 15 0 107400063 11348049920 389976 33554432000 4194304 4196468 140733617875024 139643885038448 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8251] ppid=8183 vsize=11082080 memory=1626016 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8251/stat : 8251 (java) S 8183 8186 22004 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 107400063 11348049920 389976 33554432000 4194304 4196468 140733617875024 139642338798560 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8252] ppid=8183 vsize=11082080 memory=1296 CPUtime=0.12 cores=1,3,5,7
/proc/8186/task/8252/stat : 8252 (java) S 8183 8186 22004 0 -1 1077944384 291 13118 0 0 2 3 5 2 20 0 15 0 107400064 11348049920 389976 33554432000 4194304 4196468 140733617875024 139643883985328 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
Current children cumulated CPU time: 125.73 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1559904 KiB

[startup+162.301 s]
/proc/loadavg: 1.43 1.59 1.63 3/215 8385
/proc/meminfo: memFree=26286132/32770624 swapFree=67108860/67108860
[pid=8186] ppid=8183 vsize=11082080 memory=1409148 CPUtime=186.84 cores=1,3,5,7
/proc/8186/stat : 8186 (java) S 8183 8186 22004 0 -1 1077944320 142411 13118 0 0 18581 96 5 2 20 0 15 0 107400049 11348049920 352287 33554432000 4194304 4196468 140733617875024 140733617857568 139644395069175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
/proc/8186/statm: 2770520 352287 3535 1 0 2732173 0
[pid=8186/tid=8239] ppid=8183 vsize=11082080 memory=1412224 CPUtime=161.33 cores=1,3,5,7
/proc/8186/task/8239/stat : 8239 (java) R 8183 8186 22004 0 -1 4202560 49500 13118 0 0 16098 28 5 2 20 0 15 0 107400058 11348049920 352287 33554432000 4194304 4196468 140733617875024 139644366904624 139643979710572 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8240] ppid=8183 vsize=11082080 memory=1428128 CPUtime=0.69 cores=1,3,5,7
/proc/8186/task/8240/stat : 8240 (java) S 8183 8186 22004 0 -1 1077944384 2949 13118 0 0 50 12 5 2 20 0 15 0 107400058 11348049920 352287 33554432000 4194304 4196468 140733617875024 139644399311760 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8241] ppid=8183 vsize=11082080 memory=1440956 CPUtime=0.68 cores=1,3,5,7
/proc/8186/task/8241/stat : 8241 (java) S 8183 8186 22004 0 -1 1077944384 2987 13118 0 0 49 12 5 2 20 0 15 0 107400058 11348049920 352287 33554432000 4194304 4196468 140733617875024 139644286716688 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8242] ppid=8183 vsize=11082080 memory=281047628525920 CPUtime=0.67 cores=1,3,5,7
/proc/8186/task/8242/stat : 8242 (java) S 8183 8186 22004 0 -1 1077944384 2606 13118 0 0 48 12 5 2 20 0 15 0 107400058 11348049920 352287 33554432000 4194304 4196468 140733617875024 139643933502608 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8243] ppid=8183 vsize=11082080 memory=1412736 CPUtime=0.68 cores=1,3,5,7
/proc/8186/task/8243/stat : 8243 (java) S 8183 8186 22004 0 -1 1077944384 1256 13118 0 0 50 11 5 2 20 0 15 0 107400058 11348049920 352287 33554432000 4194304 4196468 140733617875024 139643932449808 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8244] ppid=8183 vsize=11082080 memory=1410684 CPUtime=0.26 cores=1,3,5,7
/proc/8186/task/8244/stat : 8244 (java) S 8183 8186 22004 0 -1 1077944384 5996 13118 0 0 16 3 5 2 20 0 15 0 107400060 11348049920 352287 33554432000 4194304 4196468 140733617875024 139643888195696 139644395080322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8245] ppid=8183 vsize=11082080 memory=1451216 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8245/stat : 8245 (java) S 8183 8186 22004 0 -1 1077944384 26 13118 0 0 0 0 5 2 20 0 15 0 107400060 11348049920 352287 33554432000 4194304 4196468 140733617875024 139643278320480 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8246] ppid=8183 vsize=11082080 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8246/stat : 8246 (java) S 8183 8186 22004 0 -1 1077944384 11 13118 0 0 0 0 5 2 20 0 15 0 107400061 11348049920 352287 33554432000 4194304 4196468 140733617875024 139643076994176 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8247] ppid=8183 vsize=11082080 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8247/stat : 8247 (java) S 8183 8186 22004 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 107400063 11348049920 352287 33554432000 4194304 4196468 140733617875024 139642769594448 139644395087771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8248] ppid=8183 vsize=11082080 memory=1444548 CPUtime=10.01 cores=1,3,5,7
/proc/8186/task/8248/stat : 8248 (java) S 8183 8186 22004 0 -1 1077944384 31484 13118 0 0 990 4 5 2 20 0 15 0 107400063 11348049920 352287 33554432000 4194304 4196468 140733617875024 139643887143536 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8249] ppid=8183 vsize=11082080 memory=1425048 CPUtime=9.53 cores=1,3,5,7
/proc/8186/task/8249/stat : 8249 (java) S 8183 8186 22004 0 -1 1077944384 21290 13118 0 0 942 4 5 2 20 0 15 0 107400063 11348049920 352287 33554432000 4194304 4196468 140733617875024 139643886090736 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8250] ppid=8183 vsize=11082080 memory=0 CPUtime=3.39 cores=1,3,5,7
/proc/8186/task/8250/stat : 8250 (java) S 8183 8186 22004 0 -1 1077944384 21789 13118 0 0 327 5 5 2 20 0 15 0 107400063 11348049920 352287 33554432000 4194304 4196468 140733617875024 139643885038448 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8251] ppid=8183 vsize=11082080 memory=30568 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8251/stat : 8251 (java) S 8183 8186 22004 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 107400063 11348049920 352287 33554432000 4194304 4196468 140733617875024 139642338798560 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8252] ppid=8183 vsize=11082080 memory=1296 CPUtime=0.14 cores=1,3,5,7
/proc/8186/task/8252/stat : 8252 (java) S 8183 8186 22004 0 -1 1077944384 322 13118 0 0 3 4 5 2 20 0 15 0 107400064 11348049920 352287 33554432000 4194304 4196468 140733617875024 139643883985328 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
Current children cumulated CPU time: 186.84 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1409148 KiB

[startup+222.301 s]
/proc/loadavg: 1.67 1.62 1.63 3/215 8386
/proc/meminfo: memFree=26346736/32770624 swapFree=67108860/67108860
[pid=8186] ppid=8183 vsize=11082080 memory=1349648 CPUtime=248.12 cores=1,3,5,7
/proc/8186/stat : 8186 (java) S 8183 8186 22004 0 -1 1077944320 159929 13118 0 0 24701 104 5 2 20 0 15 0 107400049 11348049920 337412 33554432000 4194304 4196468 140733617875024 140733617857568 139644395069175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
/proc/8186/statm: 2770520 337412 3535 1 0 2732173 0
[pid=8186/tid=8239] ppid=8183 vsize=11082080 memory=1350160 CPUtime=220.82 cores=1,3,5,7
/proc/8186/task/8239/stat : 8239 (java) R 8183 8186 22004 0 -1 4202560 51814 13118 0 0 22047 28 5 2 20 0 15 0 107400058 11348049920 337412 33554432000 4194304 4196468 140733617875024 139644366903856 139643981391903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8240] ppid=8183 vsize=11082080 memory=1349648 CPUtime=0.98 cores=1,3,5,7
/proc/8186/task/8240/stat : 8240 (java) S 8183 8186 22004 0 -1 1077944384 3108 13118 0 0 77 14 5 2 20 0 15 0 107400058 11348049920 337412 33554432000 4194304 4196468 140733617875024 139644399311760 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8241] ppid=8183 vsize=11082080 memory=1349648 CPUtime=0.96 cores=1,3,5,7
/proc/8186/task/8241/stat : 8241 (java) S 8183 8186 22004 0 -1 1077944384 4908 13118 0 0 76 13 5 2 20 0 15 0 107400058 11348049920 337412 33554432000 4194304 4196468 140733617875024 139644286716688 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8242] ppid=8183 vsize=11082080 memory=1349648 CPUtime=0.95 cores=1,3,5,7
/proc/8186/task/8242/stat : 8242 (java) S 8183 8186 22004 0 -1 1077944384 2787 13118 0 0 75 13 5 2 20 0 15 0 107400058 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643933502608 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8243] ppid=8183 vsize=11082080 memory=0 CPUtime=0.96 cores=1,3,5,7
/proc/8186/task/8243/stat : 8243 (java) S 8183 8186 22004 0 -1 1077944384 1550 13118 0 0 77 12 5 2 20 0 15 0 107400058 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643932449808 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8244] ppid=8183 vsize=11082080 memory=928 CPUtime=0.45 cores=1,3,5,7
/proc/8186/task/8244/stat : 8244 (java) S 8183 8186 22004 0 -1 1077944384 6363 13118 0 0 33 5 5 2 20 0 15 0 107400060 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643888195696 139644395080322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8245] ppid=8183 vsize=11082080 memory=1351700 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8245/stat : 8245 (java) S 8183 8186 22004 0 -1 1077944384 26 13118 0 0 0 0 5 2 20 0 15 0 107400060 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643278320480 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8246] ppid=8183 vsize=11082080 memory=12060 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8246/stat : 8246 (java) S 8183 8186 22004 0 -1 1077944384 11 13118 0 0 0 0 5 2 20 0 15 0 107400061 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643076994176 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8247] ppid=8183 vsize=11082080 memory=1349648 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8247/stat : 8247 (java) S 8183 8186 22004 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 107400063 11348049920 337412 33554432000 4194304 4196468 140733617875024 139642769594448 139644395087771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8248] ppid=8183 vsize=11082080 memory=4028 CPUtime=10.33 cores=1,3,5,7
/proc/8186/task/8248/stat : 8248 (java) S 8183 8186 22004 0 -1 1077944384 37579 13118 0 0 1022 4 5 2 20 0 15 0 107400063 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643887143536 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8249] ppid=8183 vsize=11082080 memory=4028 CPUtime=9.6 cores=1,3,5,7
/proc/8186/task/8249/stat : 8249 (java) S 8183 8186 22004 0 -1 1077944384 24549 13118 0 0 949 4 5 2 20 0 15 0 107400063 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643886090736 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8250] ppid=8183 vsize=11082080 memory=30568 CPUtime=3.41 cores=1,3,5,7
/proc/8186/task/8250/stat : 8250 (java) S 8183 8186 22004 0 -1 1077944384 24634 13118 0 0 329 5 5 2 20 0 15 0 107400063 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643885038448 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8251] ppid=8183 vsize=11082080 memory=1349648 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8251/stat : 8251 (java) S 8183 8186 22004 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 107400063 11348049920 337412 33554432000 4194304 4196468 140733617875024 139642338798560 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8252] ppid=8183 vsize=11082080 memory=1349648 CPUtime=0.18 cores=1,3,5,7
/proc/8186/task/8252/stat : 8252 (java) S 8183 8186 22004 0 -1 1077944384 405 13118 0 0 5 6 5 2 20 0 15 0 107400064 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643883985328 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
Current children cumulated CPU time: 248.12 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1349648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+226.201 s]
/proc/loadavg: 1.69 1.62 1.64 3/215 8386
/proc/meminfo: memFree=26346736/32770624 swapFree=67108860/67108860
[pid=8186] ppid=8183 vsize=11082080 memory=1349648 CPUtime=252.08 cores=1,3,5,7
/proc/8186/stat : 8186 (java) S 8183 8186 22004 0 -1 1077944320 163255 13118 0 0 25097 104 5 2 20 0 15 0 107400049 11348049920 337412 33554432000 4194304 4196468 140733617875024 140733617857568 139644395069175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
/proc/8186/statm: 2770520 337412 3535 1 0 2732173 0
[pid=8186/tid=8239] ppid=8183 vsize=11082080 memory=7667187421710543462 CPUtime=224.69 cores=1,3,5,7
/proc/8186/task/8239/stat : 8239 (java) R 8183 8186 22004 0 -1 4202560 52176 13118 0 0 22433 29 5 2 20 0 15 0 107400058 11348049920 337412 33554432000 4194304 4196468 140733617875024 139644366903968 139643988830936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8240] ppid=8183 vsize=11082080 memory=7667187421710543462 CPUtime=1 cores=1,3,5,7
/proc/8186/task/8240/stat : 8240 (java) S 8183 8186 22004 0 -1 1077944384 3211 13118 0 0 79 14 5 2 20 0 15 0 107400058 11348049920 337412 33554432000 4194304 4196468 140733617875024 139644399311760 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8241] ppid=8183 vsize=11082080 memory=7091594166582994538 CPUtime=0.98 cores=1,3,5,7
/proc/8186/task/8241/stat : 8241 (java) S 8183 8186 22004 0 -1 1077944384 6036 13118 0 0 78 13 5 2 20 0 15 0 107400058 11348049920 337412 33554432000 4194304 4196468 140733617875024 139644286716688 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8242] ppid=8183 vsize=11082080 memory=7666937909861180520 CPUtime=0.97 cores=1,3,5,7
/proc/8186/task/8242/stat : 8242 (java) S 8183 8186 22004 0 -1 1077944384 2826 13118 0 0 77 13 5 2 20 0 15 0 107400058 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643933502608 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8243] ppid=8183 vsize=11082080 memory=7379823568079044708 CPUtime=0.98 cores=1,3,5,7
/proc/8186/task/8243/stat : 8243 (java) S 8183 8186 22004 0 -1 1077944384 1632 13118 0 0 79 12 5 2 20 0 15 0 107400058 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643932449808 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8244] ppid=8183 vsize=11082080 memory=7379823568079044708 CPUtime=0.46 cores=1,3,5,7
/proc/8186/task/8244/stat : 8244 (java) S 8183 8186 22004 0 -1 1077944384 6407 13118 0 0 34 5 5 2 20 0 15 0 107400060 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643888195696 139644395080322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8245] ppid=8183 vsize=11082080 memory=7091594166582994538 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8245/stat : 8245 (java) S 8183 8186 22004 0 -1 1077944384 26 13118 0 0 0 0 5 2 20 0 15 0 107400060 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643278320480 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8246] ppid=8183 vsize=11082080 memory=7445108144686655087 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8246/stat : 8246 (java) S 8183 8186 22004 0 -1 1077944384 11 13118 0 0 0 0 5 2 20 0 15 0 107400061 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643076994176 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8247] ppid=8183 vsize=11082080 memory=-8412656567318647667 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8247/stat : 8247 (java) S 8183 8186 22004 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 107400063 11348049920 337412 33554432000 4194304 4196468 140733617875024 139642769594448 139644395087771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8248] ppid=8183 vsize=11082080 memory=4427205132082312746 CPUtime=10.34 cores=1,3,5,7
/proc/8186/task/8248/stat : 8248 (java) S 8183 8186 22004 0 -1 1077944384 38755 13118 0 0 1023 4 5 2 20 0 15 0 107400063 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643887143536 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8249] ppid=8183 vsize=11082080 memory=-8412652152092201843 CPUtime=9.6 cores=1,3,5,7
/proc/8186/task/8249/stat : 8249 (java) S 8183 8186 22004 0 -1 1077944384 24551 13118 0 0 949 4 5 2 20 0 15 0 107400063 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643886090736 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8250] ppid=8183 vsize=11082080 memory=288230574492221466 CPUtime=3.41 cores=1,3,5,7
/proc/8186/task/8250/stat : 8250 (java) S 8183 8186 22004 0 -1 1077944384 25016 13118 0 0 329 5 5 2 20 0 15 0 107400063 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643885038448 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8251] ppid=8183 vsize=11082080 memory=288230596050944315 CPUtime=0.07 cores=1,3,5,7
/proc/8186/task/8251/stat : 8251 (java) S 8183 8186 22004 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 107400063 11348049920 337412 33554432000 4194304 4196468 140733617875024 139642338798560 139644395079381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
[pid=8186/tid=8252] ppid=8183 vsize=11082080 memory=14418107267549734 CPUtime=0.18 cores=1,3,5,7
/proc/8186/task/8252/stat : 8252 (java) S 8183 8186 22004 0 -1 1077944384 413 13118 0 0 5 6 5 2 20 0 15 0 107400064 11348049920 337412 33554432000 4194304 4196468 140733617875024 139643883985328 139644395080322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140733617883761 140733617886561 140733617886561 140733617889231 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1349648 KiB

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

[startup+226.238 s]
# the end of solver process 8186 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.038 s, system=1.0991 s

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

Child status: 143
Real time (s): 226.238
CPU time (s): 252.137
CPU user time (s): 251.038
CPU system time (s): 1.0991
CPU usage (%): 111.447
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1659460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.038
system time used= 1.0991
maximum resident set size= 1659460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177163
page faults= 0
swaps= 0
block input operations= 0
block output operations= 584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21640
involuntary context switches= 413


# summary of solver processes directly reported to runsolver:
#   pid: 8186
#   total CPU time (s): 252.137
#   total CPU user time (s): 251.038
#   total CPU system time (s): 1.0991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.27689 second user time and 2.29429 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 4302333

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