2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.8 2018-06-13	SAT (TO)	38	2520.38	2415.39

1.00/0.74	c Concrete v3.8.1528841891564 running
300.96/220.45	o 16
302.43/221.54	o 17
302.43/221.56	o 18
302.70/221.65	o 19
303.00/221.71	o 20
303.00/221.79	o 21
303.63/222.05	o 22
303.89/222.22	o 23
306.38/223.44	o 24
306.71/223.70	o 25
312.05/226.76	o 26
312.28/226.99	o 27
312.74/227.30	o 28
321.45/232.93	o 29
321.45/232.96	o 30
321.71/233.13	o 31
322.52/233.81	o 32
327.27/238.24	o 33
327.39/238.34	o 34
363.41/273.74	o 35
364.01/274.31	o 36
533.96/441.91	o 37
954.15/858.30	o 38
2520.28/2415.34	Exception in thread "main" java.util.concurrent.TimeoutException
2520.28/2415.34		at concrete.MAC.mac(MAC.scala:188)
2520.28/2415.34		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.28/2415.34		at scala.util.Try$.apply(Try.scala:209)
2520.28/2415.34		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.28/2415.34		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.28/2415.34		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.28/2415.34		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.28/2415.34		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.28/2415.34		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.28/2415.34		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.28/2415.34		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.28/2415.34		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.28/2415.34		at concrete.MAC.oneRun(MAC.scala:253)
2520.28/2415.34		at concrete.MAC.nextSolution(MAC.scala:272)
2520.28/2415.34		at concrete.MAC.nextSolution(MAC.scala:355)
2520.28/2415.34		at concrete.Solver.hasNext(Solver.scala:166)
2520.28/2415.34		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.28/2415.34		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.28/2415.34		at concrete.Solver.foreach(Solver.scala:68)
2520.28/2415.34		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.28/2415.34		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.28/2415.34		at scala.util.Success.map(Try.scala:209)
2520.28/2415.34		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.28/2415.34		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.28/2415.34		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.28/2415.34		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.28/2415.34		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.28/2415.34		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.28/2415.34		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.28/2415.34		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.28/2415.34		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.28/2415.34		at scala.collection.immutable.List.foreach(List.scala:389)
2520.28/2415.34		at scala.App.main(App.scala:76)
2520.28/2415.34		at scala.App.main$(App.scala:74)
2520.28/2415.34		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.28/2415.34		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.28/2415.35	v <instantiation cost="38">
2520.28/2415.35	v       <list>
2520.28/2415.35	v         b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[0][7] b[0][8] b[0][9] b[0][10] b[0][11] b[0][12] b[0][13] b[0][14] b[0][15] b[0][16] b[0][17] b[0][18] b[0][19] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[1][7] b[1][8] b[1][9] b[1][10] b[1][11] b[1][12] b[1][13] b[1][14] b[1][15] b[1][16] b[1][17] b[1][18] b[1][19] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[2][7] b[2][8] b[2][9] b[2][10] b[2][11] b[2][12] b[2][13] b[2][14] b[2][15] b[2][16] b[2][17] b[2][18] b[2][19] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[3][7] b[3][8] b[3][9] b[3][10] b[3][11] b[3][12] b[3][13] b[3][14] b[3][15] b[3][16] b[3][17] b[3][18] b[3][19] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[4][7] b[4][8] b[4][9] b[4][10] b[4][11] b[4][12] b[4][13] b[4][14] b[4][15] b[4][16] b[4][17] b[4][18] b[4][19] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[5][7] b[5][8] b[5][9] b[5][10] b[5][11] b[5][12] b[5][13] b[5][14] b[5][15] b[5][16] b[5][17] b[5][18] b[5][19] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] b[6][7] b[6][8] b[6][9] b[6][10] b[6][11] b[6][12] b[6][13] b[6][14] b[6][15] b[6][16] b[6][17] b[6][18] b[6][19] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[7][6] b[7][7] b[7][8] b[7][9] b[7][10] b[7][11] b[7][12] b[7][13] b[7][14] b[7][15] b[7][16] b[7][17] b[7][18] b[7][19] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[8][6] b[8][7] b[8][8] b[8][9] b[8][10] b[8][11] b[8][12] b[8][13] b[8][14] b[8][15] b[8][16] b[8][17] b[8][18] b[8][19] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[9][6] b[9][7] b[9][8] b[9][9] b[9][10] b[9][11] b[9][12] b[9][13] b[9][14] b[9][15] b[9][16] b[9][17] b[9][18] b[9][19] b[10][0] b[10][1] b[10][2] b[10][3] b[10][4] b[10][5] b[10][6] b[10][7] b[10][8] b[10][9] b[10][10] b[10][11] b[10][12] b[10][13] b[10][14] b[10][15] b[10][16] b[10][17] b[10][18] b[10][19] b[11][0] b[11][1] b[11][2] b[11][3] b[11][4] b[11][5] b[11][6] b[11][7] b[11][8] b[11][9] b[11][10] b[11][11] b[11][12] b[11][13] b[11][14] b[11][15] b[11][16] b[11][17] b[11][18] b[11][19] b[12][0] b[12][1] b[12][2] b[12][3] b[12][4] b[12][5] b[12][6] b[12][7] b[12][8] b[12][9] b[12][10] b[12][11] b[12][12] b[12][13] b[12][14] b[12][15] b[12][16] b[12][17] b[12][18] b[12][19] b[13][0] b[13][1] b[13][2] b[13][3] b[13][4] b[13][5] b[13][6] b[13][7] b[13][8] b[13][9] b[13][10] b[13][11] b[13][12] b[13][13] b[13][14] b[13][15] b[13][16] b[13][17] b[13][18] b[13][19] b[14][0] b[14][1] b[14][2] b[14][3] b[14][4] b[14][5] b[14][6] b[14][7] b[14][8] b[14][9] b[14][10] b[14][11] b[14][12] b[14][13] b[14][14] b[14][15] b[14][16] b[14][17] b[14][18] b[14][19] b[15][0] b[15][1] b[15][2] b[15][3] b[15][4] b[15][5] b[15][6] b[15][7] b[15][8] b[15][9] b[15][10] b[15][11] b[15][12] b[15][13] b[15][14] b[15][15] b[15][16] b[15][17] b[15][18] b[15][19] b[16][0] b[16][1] b[16][2] b[16][3] b[16][4] b[16][5] b[16][6] b[16][7] b[16][8] b[16][9] b[16][10] b[16][11] b[16][12] b[16][13] b[16][14] b[16][15] b[16][16] b[16][17] b[16][18] b[16][19] b[17][0] b[17][1] b[17][2] b[17][3] b[17][4] b[17][5] b[17][6] b[17][7] b[17][8] b[17][9] b[17][10] b[17][11] b[17][12] b[17][13] b[17][14] b[17][15] b[17][16] b[17][17] b[17][18] b[17][19] b[18][0] b[18][1] b[18][2] b[18][3] b[18][4] b[18][5] b[18][6] b[18][7] b[18][8] b[18][9] b[18][10] b[18][11] b[18][12] b[18][13] b[18][14] b[18][15] b[18][16] b[18][17] b[18][18] b[18][19] b[19][0] b[19][1] b[19][2] b[19][3] b[19][4] b[19][5] b[19][6] b[19][7] b[19][8] b[19][9] b[19][10] b[19][11] b[19][12] b[19][13] b[19][14] b[19][15] b[19][16] b[19][17] b[19][18] b[19][19] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19]
2520.28/2415.35	v       </list>
2520.28/2415.35	v       <values>
2520.28/2415.35	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
2520.28/2415.35	v       </values>
2520.28/2415.35	v     </instantiation>
2520.28/2415.35	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 (8162 MiB free)
  memory of node 1: 16384 MiB (11762 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295170-1532531974/watcher-4295170-1532531974 -o /tmp/evaluation-result-4295170-1532531974/solver-4295170-1532531974 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532524210-24416 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1747910116 HOME/instance-4295170-1532531974.xml 

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

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

solver pid=26441, runsolver pid=26438

[startup+0.100086 s]*
/proc/loadavg: 1.48 1.54 1.51 3/206 26498
/proc/meminfo: memFree=20397288/32770624 swapFree=67108860/67108860
[pid=26441] ppid=26438 vsize=9972712 memory=18588 CPUtime=0.09 cores=0,2,4,6
/proc/26441/stat : 26441 (java) S 26438 26441 24385 0 -1 1077944320 4293 12983 0 0 1 0 5 3 20 0 6 0 70760606 10212057088 4647 33554432000 4194304 4196468 140735092822992 140735092805536 139666734116599 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
/proc/26441/statm: 2493178 4647 1932 1 0 2481616 0
[pid=26441/tid=26494] ppid=26438 vsize=9972712 memory=4279135704047583887 CPUtime=0.09 cores=0,2,4,6
/proc/26441/task/26494/stat : 26494 (java) R 26438 26441 24385 0 -1 4202560 2102 12983 0 0 1 0 5 3 20 0 6 0 70760615 10212057088 4647 33554432000 4194304 4196468 140735092822992 139666705953360 139666715510333 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26495] ppid=26438 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26495/stat : 26495 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 6 0 70760616 10212057088 4647 33554432000 4194304 4196468 140735092822992 139666738359312 139666734126805 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26496] ppid=26438 vsize=9972712 memory=140000808134272 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26496/stat : 26496 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 6 0 70760616 10212057088 4647 33554432000 4194304 4196468 140735092822992 139666637249680 139666734126805 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26497] ppid=26438 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26497/stat : 26497 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 6 0 70760616 10212057088 4647 33554432000 4194304 4196468 140735092822992 139666636196624 139666734126805 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26498] ppid=26438 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26498/stat : 26498 (java) S 26438 26441 24385 0 -1 1077944384 2 12983 0 0 0 0 5 3 20 0 6 0 70760616 10212057088 4647 33554432000 4194304 4196468 140735092822992 139666635144080 139666734126805 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18588 KiB

[startup+0.210783 s]*
/proc/loadavg: 1.48 1.54 1.51 3/215 26507
/proc/meminfo: memFree=20378748/32770624 swapFree=67108860/67108860
[pid=26441] ppid=26438 vsize=10818904 memory=39212 CPUtime=0.26 cores=0,2,4,6
/proc/26441/stat : 26441 (java) S 26438 26441 24385 0 -1 1077944320 7502 12983 0 0 17 1 5 3 20 0 15 0 70760606 11078557696 9803 33554432000 4194304 4196468 140735092822992 140735092805536 139666734116599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
/proc/26441/statm: 2704726 9803 2982 1 0 2667149 0
[pid=26441/tid=26494] ppid=26438 vsize=10818904 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/26441/task/26494/stat : 26494 (java) R 26438 26441 24385 0 -1 4202560 4058 12983 0 0 11 0 5 3 20 0 15 0 70760615 11078557696 9803 33554432000 4194304 4196468 140735092822992 139666705933712 139666714392320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26495] ppid=26438 vsize=10818904 memory=331 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26495/stat : 26495 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 15 0 70760616 11078557696 9869 33554432000 4194304 4196468 140735092822992 139666738359312 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26496] ppid=26438 vsize=10818904 memory=140000808158832 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26496/stat : 26496 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 15 0 70760616 11078557696 9869 33554432000 4194304 4196468 140735092822992 139666637249680 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26497] ppid=26438 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26497/stat : 26497 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 15 0 70760616 11078557696 9869 33554432000 4194304 4196468 140735092822992 139666636196624 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26498] ppid=26438 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26498/stat : 26498 (java) S 26438 26441 24385 0 -1 1077944384 2 12983 0 0 0 0 5 3 20 0 15 0 70760616 11078557696 9869 33554432000 4194304 4196468 140735092822992 139666635144080 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26499] ppid=26438 vsize=10818904 memory=140000808134272 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26499/stat : 26499 (java) S 26438 26441 24385 0 -1 1077944384 2 12983 0 0 0 0 5 3 20 0 15 0 70760618 11078557696 9869 33554432000 4194304 4196468 140735092822992 139665737529584 139666734127746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26500] ppid=26438 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26500/stat : 26500 (java) S 26438 26441 24385 0 -1 1077944384 33 12983 0 0 0 0 5 3 20 0 15 0 70760618 11078557696 9869 33554432000 4194304 4196468 140735092822992 139665736475808 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26501] ppid=26438 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26501/stat : 26501 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 15 0 70760618 11078557696 9869 33554432000 4194304 4196468 140735092822992 139665625572080 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26502] ppid=26438 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26502/stat : 26502 (java) S 26438 26441 24385 0 -1 1077944384 3 12983 0 0 0 0 5 3 20 0 15 0 70760621 11078557696 9869 33554432000 4194304 4196468 140735092822992 139665318172624 139666734135195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26503] ppid=26438 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26441/task/26503/stat : 26503 (java) S 26438 26441 24385 0 -1 1077944384 537 12983 0 0 1 0 5 3 20 0 15 0 70760621 11078557696 9869 33554432000 4194304 4196468 140735092822992 139665702918896 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26504] ppid=26438 vsize=10818904 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/26441/task/26504/stat : 26504 (java) S 26438 26441 24385 0 -1 1077944384 69 12983 0 0 1 0 5 3 20 0 15 0 70760621 11078557696 9869 33554432000 4194304 4196468 140735092822992 139665701866352 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26505] ppid=26438 vsize=10818904 memory=140000808134272 CPUtime=0.11 cores=0,2,4,6
/proc/26441/task/26505/stat : 26505 (java) S 26438 26441 24385 0 -1 1077944384 626 12983 0 0 3 0 5 3 20 0 15 0 70760621 11078557696 9869 33554432000 4194304 4196468 140735092822992 139665700813296 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26506] ppid=26438 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26506/stat : 26506 (java) S 26438 26441 24385 0 -1 1077944384 3 12983 0 0 0 0 5 3 20 0 15 0 70760621 11078557696 9869 33554432000 4194304 4196468 140735092822992 139665284615008 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26507] ppid=26438 vsize=10818904 memory=140000808134272 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26507/stat : 26507 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 15 0 70760621 11078557696 9935 33554432000 4194304 4196468 140735092822992 139665699760688 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 39212 KiB

[startup+0.310084 s]*
/proc/loadavg: 1.48 1.54 1.51 3/215 26507
/proc/meminfo: memFree=20367460/32770624 swapFree=67108860/67108860
[pid=26441] ppid=26438 vsize=10819352 memory=51500 CPUtime=0.39 cores=0,2,4,6
/proc/26441/stat : 26441 (java) S 26438 26441 24385 0 -1 1077944320 10414 12983 0 0 29 2 5 3 20 0 15 0 70760606 11079016448 12875 33554432000 4194304 4196468 140735092822992 140735092805536 139666734116599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
/proc/26441/statm: 2704838 12875 3101 1 0 2667149 0
[pid=26441/tid=26494] ppid=26438 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/26441/task/26494/stat : 26494 (java) R 26438 26441 24385 0 -1 4202560 6925 12983 0 0 19 1 5 3 20 0 15 0 70760615 11079016448 12875 33554432000 4194304 4196468 140735092822992 139666705928608 139666718197086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26495] ppid=26438 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26495/stat : 26495 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 15 0 70760616 11079016448 12875 33554432000 4194304 4196468 140735092822992 139666738359312 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26496] ppid=26438 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26496/stat : 26496 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 15 0 70760616 11079016448 12875 33554432000 4194304 4196468 140735092822992 139666637249680 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26497] ppid=26438 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26497/stat : 26497 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 15 0 70760616 11079016448 12875 33554432000 4194304 4196468 140735092822992 139666636196624 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26498] ppid=26438 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26498/stat : 26498 (java) S 26438 26441 24385 0 -1 1077944384 2 12983 0 0 0 0 5 3 20 0 15 0 70760616 11079016448 12875 33554432000 4194304 4196468 140735092822992 139666635144080 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26499] ppid=26438 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26499/stat : 26499 (java) S 26438 26441 24385 0 -1 1077944384 2 12983 0 0 0 0 5 3 20 0 15 0 70760618 11079016448 12875 33554432000 4194304 4196468 140735092822992 139665737529584 139666734127746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26500] ppid=26438 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26500/stat : 26500 (java) S 26438 26441 24385 0 -1 1077944384 33 12983 0 0 0 0 5 3 20 0 15 0 70760618 11079016448 12875 33554432000 4194304 4196468 140735092822992 139665736475808 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26501] ppid=26438 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26501/stat : 26501 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 15 0 70760618 11079016448 12875 33554432000 4194304 4196468 140735092822992 139665625572080 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26502] ppid=26438 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26502/stat : 26502 (java) S 26438 26441 24385 0 -1 1077944384 3 12983 0 0 0 0 5 3 20 0 15 0 70760621 11079016448 12875 33554432000 4194304 4196468 140735092822992 139665318172624 139666734135195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26503] ppid=26438 vsize=10819352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/26441/task/26503/stat : 26503 (java) S 26438 26441 24385 0 -1 1077944384 543 12983 0 0 2 0 5 3 20 0 15 0 70760621 11079016448 12875 33554432000 4194304 4196468 140735092822992 139665702918896 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26504] ppid=26438 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/26441/task/26504/stat : 26504 (java) S 26438 26441 24385 0 -1 1077944384 69 12983 0 0 1 0 5 3 20 0 15 0 70760621 11079016448 12875 33554432000 4194304 4196468 140735092822992 139665701866352 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26505] ppid=26438 vsize=10819352 memory=140000808134272 CPUtime=0.13 cores=0,2,4,6
/proc/26441/task/26505/stat : 26505 (java) S 26438 26441 24385 0 -1 1077944384 641 12983 0 0 5 0 5 3 20 0 15 0 70760621 11079016448 12875 33554432000 4194304 4196468 140735092822992 139665700813296 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26506] ppid=26438 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26506/stat : 26506 (java) S 26438 26441 24385 0 -1 1077944384 3 12983 0 0 0 0 5 3 20 0 15 0 70760621 11079016448 12875 33554432000 4194304 4196468 140735092822992 139665284615008 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26507] ppid=26438 vsize=10819352 memory=140000808134272 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26507/stat : 26507 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 15 0 70760621 11079016448 12875 33554432000 4194304 4196468 140735092822992 139665699760688 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51500 KiB

[startup+0.700712 s]
/proc/loadavg: 1.84 1.61 1.53 3/215 26507
/proc/meminfo: memFree=20355676/32770624 swapFree=67108860/67108860
[pid=26441] ppid=26438 vsize=10819352 memory=84328 CPUtime=1 cores=0,2,4,6
/proc/26441/stat : 26441 (java) S 26438 26441 24385 0 -1 1077944320 16744 12983 0 0 88 4 5 3 20 0 15 0 70760606 11079016448 21082 33554432000 4194304 4196468 140735092822992 140735092805536 139666734116599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
/proc/26441/statm: 2704838 21082 3237 1 0 2667149 0
[pid=26441/tid=26494] ppid=26438 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/26441/task/26494/stat : 26494 (java) R 26438 26441 24385 0 -1 4202560 12180 12983 0 0 56 3 5 3 20 0 15 0 70760615 11079016448 21082 33554432000 4194304 4196468 140735092822992 139666705944480 139666718197086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26495] ppid=26438 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26495/stat : 26495 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 15 0 70760616 11079016448 21082 33554432000 4194304 4196468 140735092822992 139666738359312 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26496] ppid=26438 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26496/stat : 26496 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 15 0 70760616 11079016448 21082 33554432000 4194304 4196468 140735092822992 139666637249680 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26497] ppid=26438 vsize=10819352 memory=140000700281616 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26497/stat : 26497 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 15 0 70760616 11079016448 21082 33554432000 4194304 4196468 140735092822992 139666636196624 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26498] ppid=26438 vsize=10819352 memory=140003048948308 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26498/stat : 26498 (java) S 26438 26441 24385 0 -1 1077944384 2 12983 0 0 0 0 5 3 20 0 15 0 70760616 11079016448 21082 33554432000 4194304 4196468 140735092822992 139666635144080 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26499] ppid=26438 vsize=10819352 memory=8540 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26499/stat : 26499 (java) S 26438 26441 24385 0 -1 1077944384 5 12983 0 0 0 0 5 3 20 0 15 0 70760618 11079016448 21082 33554432000 4194304 4196468 140735092822992 139665737529584 139666734127746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26500] ppid=26438 vsize=10819352 memory=7662705889289527641 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26500/stat : 26500 (java) S 26438 26441 24385 0 -1 1077944384 33 12983 0 0 0 0 5 3 20 0 15 0 70760618 11079016448 21082 33554432000 4194304 4196468 140735092822992 139665736475808 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26501] ppid=26438 vsize=10819352 memory=7885635084775281010 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26501/stat : 26501 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 15 0 70760618 11079016448 21082 33554432000 4194304 4196468 140735092822992 139665625572080 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26502] ppid=26438 vsize=10819352 memory=16436 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26502/stat : 26502 (java) S 26438 26441 24385 0 -1 1077944384 3 12983 0 0 0 0 5 3 20 0 15 0 70760621 11079016448 21082 33554432000 4194304 4196468 140735092822992 139665318172624 139666734135195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26503] ppid=26438 vsize=10819352 memory=12728 CPUtime=0.15 cores=0,2,4,6
/proc/26441/task/26503/stat : 26503 (java) S 26438 26441 24385 0 -1 1077944384 954 12983 0 0 7 0 5 3 20 0 15 0 70760621 11079016448 21082 33554432000 4194304 4196468 140735092822992 139665702918896 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26504] ppid=26438 vsize=10819352 memory=4008 CPUtime=0.17 cores=0,2,4,6
/proc/26441/task/26504/stat : 26504 (java) S 26438 26441 24385 0 -1 1077944384 637 12983 0 0 9 0 5 3 20 0 15 0 70760621 11079016448 21082 33554432000 4194304 4196468 140735092822992 139665701866352 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26505] ppid=26438 vsize=10819352 memory=1796 CPUtime=0.21 cores=0,2,4,6
/proc/26441/task/26505/stat : 26505 (java) S 26438 26441 24385 0 -1 1077944384 734 12983 0 0 13 0 5 3 20 0 15 0 70760621 11079016448 21082 33554432000 4194304 4196468 140735092822992 139665700813296 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26506] ppid=26438 vsize=10819352 memory=644 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26506/stat : 26506 (java) S 26438 26441 24385 0 -1 1077944384 3 12983 0 0 0 0 5 3 20 0 15 0 70760621 11079016448 21082 33554432000 4194304 4196468 140735092822992 139665284615008 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26507] ppid=26438 vsize=10819352 memory=956 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26507/stat : 26507 (java) S 26438 26441 24385 0 -1 1077944384 1 12983 0 0 0 0 5 3 20 0 15 0 70760621 11079016448 21082 33554432000 4194304 4196468 140735092822992 139665699760688 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84328 KiB

[startup+1.50574 s]
/proc/loadavg: 1.84 1.61 1.53 3/215 26507
/proc/meminfo: memFree=20312184/32770624 swapFree=67108860/67108860
[pid=26441] ppid=26438 vsize=10828108 memory=233588 CPUtime=3.05 cores=0,2,4,6
/proc/26441/stat : 26441 (java) S 26438 26441 24385 0 -1 1077944320 23453 12983 0 0 289 8 5 3 20 0 15 0 70760606 11087982592 58397 33554432000 4194304 4196468 140735092822992 140735092805536 139666734116599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
/proc/26441/statm: 2707027 58397 3474 1 0 2668685 0
[pid=26441/tid=26494] ppid=26438 vsize=10828108 memory=61056 CPUtime=1.44 cores=0,2,4,6
/proc/26441/task/26494/stat : 26494 (java) R 26438 26441 24385 0 -1 4202560 15278 12983 0 0 131 5 5 3 20 0 15 0 70760615 11087982592 58397 33554432000 4194304 4196468 140735092822992 139666705950016 139666317247808 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26495] ppid=26438 vsize=10828108 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/26441/task/26495/stat : 26495 (java) S 26438 26441 24385 0 -1 1077944384 88 12983 0 0 1 0 5 3 20 0 15 0 70760616 11087982592 58397 33554432000 4194304 4196468 140735092822992 139666738359312 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26496] ppid=26438 vsize=10828108 memory=280001400594592 CPUtime=0.09 cores=0,2,4,6
/proc/26441/task/26496/stat : 26496 (java) S 26438 26441 24385 0 -1 1077944384 41 12983 0 0 1 0 5 3 20 0 15 0 70760616 11087982592 58397 33554432000 4194304 4196468 140735092822992 139666637249680 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26497] ppid=26438 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26497/stat : 26497 (java) S 26438 26441 24385 0 -1 1077944384 3 12983 0 0 0 0 5 3 20 0 15 0 70760616 11087982592 58397 33554432000 4194304 4196468 140735092822992 139666636196624 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26498] ppid=26438 vsize=10828108 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26441/task/26498/stat : 26498 (java) S 26438 26441 24385 0 -1 1077944384 197 12983 0 0 1 0 5 3 20 0 15 0 70760616 11087982592 58397 33554432000 4194304 4196468 140735092822992 139666635144080 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26499] ppid=26438 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26499/stat : 26499 (java) S 26438 26441 24385 0 -1 1077944384 97 12983 0 0 0 0 5 3 20 0 15 0 70760618 11087982592 58397 33554432000 4194304 4196468 140735092822992 139665737529584 139666734127746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26500] ppid=26438 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26500/stat : 26500 (java) S 26438 26441 24385 0 -1 1077944384 54 12983 0 0 0 0 5 3 20 0 15 0 70760618 11087982592 58397 33554432000 4194304 4196468 140735092822992 139665736475808 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26501] ppid=26438 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26501/stat : 26501 (java) S 26438 26441 24385 0 -1 1077944384 2 12983 0 0 0 0 5 3 20 0 15 0 70760618 11087982592 58397 33554432000 4194304 4196468 140735092822992 139665625572080 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26502] ppid=26438 vsize=10828108 memory=-2746958450906831424 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26502/stat : 26502 (java) S 26438 26441 24385 0 -1 1077944384 3 12983 0 0 0 0 5 3 20 0 15 0 70760621 11087982592 58397 33554432000 4194304 4196468 140735092822992 139665318172624 139666734135195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26503] ppid=26438 vsize=10828108 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/26441/task/26503/stat : 26503 (java) R 26438 26441 24385 0 -1 4202560 1716 12983 0 0 53 0 5 3 20 0 15 0 70760621 11087982592 58397 33554432000 4194304 4196468 140735092822992 139665702907760 139666720180727 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26504] ppid=26438 vsize=10828108 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/26441/task/26504/stat : 26504 (java) R 26438 26441 24385 0 -1 4202560 1887 12983 0 0 58 0 5 3 20 0 15 0 70760621 11087982592 58397 33554432000 4194304 4196468 140735092822992 139665701852256 139666719224513 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26505] ppid=26438 vsize=10828108 memory=6791534058613427641 CPUtime=0.47 cores=0,2,4,6
/proc/26441/task/26505/stat : 26505 (java) S 26438 26441 24385 0 -1 1077944384 1892 12983 0 0 39 0 5 3 20 0 15 0 70760621 11087982592 58397 33554432000 4194304 4196468 140735092822992 139665700813296 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26506] ppid=26438 vsize=10828108 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26506/stat : 26506 (java) S 26438 26441 24385 0 -1 1077944384 3 12983 0 0 0 0 5 3 20 0 15 0 70760621 11087982592 58397 33554432000 4194304 4196468 140735092822992 139665284615008 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26507] ppid=26438 vsize=10828108 memory=280001400839040 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26507/stat : 26507 (java) S 26438 26441 24385 0 -1 1077944384 3 12983 0 0 0 0 5 3 20 0 15 0 70760621 11087982592 58397 33554432000 4194304 4196468 140735092822992 139665699760688 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 10828108 KiB

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

/proc/26441/task/26494/stat : 26494 (java) R 26438 26441 24385 0 -1 4202560 729313 12983 0 0 235263 85 5 3 20 0 15 0 70760615 11178180608 1050537 33554432000 4194304 4196468 140735092822992 139666705952192 139666327758024 0 4 0 16800975 0 0 0 -1 0 0 0 38 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26495] ppid=26438 vsize=10916192 memory=280001401655776 CPUtime=26.32 cores=0,2,4,6
/proc/26441/task/26495/stat : 26495 (java) S 26438 26441 24385 0 -1 1077944384 39406 12983 0 0 2501 123 5 3 20 0 15 0 70760616 11178180608 1050537 33554432000 4194304 4196468 140735092822992 139666738359312 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26496] ppid=26438 vsize=10916192 memory=4202148 CPUtime=26.63 cores=0,2,4,6
/proc/26441/task/26496/stat : 26496 (java) S 26438 26441 24385 0 -1 1077944384 34610 12983 0 0 2539 116 5 3 20 0 15 0 70760616 11178180608 1050537 33554432000 4194304 4196468 140735092822992 139666637249680 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26497] ppid=26438 vsize=10916192 memory=4202148 CPUtime=26.36 cores=0,2,4,6
/proc/26441/task/26497/stat : 26497 (java) S 26438 26441 24385 0 -1 1077944384 34342 12983 0 0 2509 119 5 3 20 0 15 0 70760616 11178180608 1050537 33554432000 4194304 4196468 140735092822992 139666636196624 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26498] ppid=26438 vsize=10916192 memory=4202148 CPUtime=26.51 cores=0,2,4,6
/proc/26441/task/26498/stat : 26498 (java) S 26438 26441 24385 0 -1 1077944384 29658 12983 0 0 2525 118 5 3 20 0 15 0 70760616 11178180608 1050537 33554432000 4194304 4196468 140735092822992 139666635144080 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26499] ppid=26438 vsize=10916192 memory=4202148 CPUtime=1.21 cores=0,2,4,6
/proc/26441/task/26499/stat : 26499 (java) S 26438 26441 24385 0 -1 1077944384 48744 12983 0 0 103 10 5 3 20 0 15 0 70760618 11178180608 1050537 33554432000 4194304 4196468 140735092822992 139665737529584 139666734127746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26500] ppid=26438 vsize=10916192 memory=280001400699360 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26500/stat : 26500 (java) S 26438 26441 24385 0 -1 1077944384 73 12983 0 0 0 0 5 3 20 0 15 0 70760618 11178180608 1050537 33554432000 4194304 4196468 140735092822992 139665736475872 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26501] ppid=26438 vsize=10916192 memory=4202148 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26501/stat : 26501 (java) S 26438 26441 24385 0 -1 1077944384 15 12983 0 0 0 0 5 3 20 0 15 0 70760618 11178180608 1050537 33554432000 4194304 4196468 140735092822992 139665625572096 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26502] ppid=26438 vsize=10916192 memory=4202148 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26502/stat : 26502 (java) S 26438 26441 24385 0 -1 1077944384 3 12983 0 0 0 0 5 3 20 0 15 0 70760621 11178180608 1050537 33554432000 4194304 4196468 140735092822992 139665318172624 139666734135195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26503] ppid=26438 vsize=10916192 memory=1728 CPUtime=11.38 cores=0,2,4,6
/proc/26441/task/26503/stat : 26503 (java) S 26438 26441 24385 0 -1 1077944384 88540 12983 0 0 1123 7 5 3 20 0 15 0 70760621 11178180608 1050537 33554432000 4194304 4196468 140735092822992 139665702918896 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26504] ppid=26438 vsize=10916192 memory=2624 CPUtime=10.8 cores=0,2,4,6
/proc/26441/task/26504/stat : 26504 (java) S 26438 26441 24385 0 -1 1077944384 94163 12983 1 0 1064 8 5 3 20 0 15 0 70760621 11178180608 1050537 33554432000 4194304 4196468 140735092822992 139665701866352 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26505] ppid=26438 vsize=10916192 memory=4202148 CPUtime=3.42 cores=0,2,4,6
/proc/26441/task/26505/stat : 26505 (java) S 26438 26441 24385 0 -1 1077944384 77441 12983 0 0 326 8 5 3 20 0 15 0 70760621 11178180608 1050537 33554432000 4194304 4196468 140735092822992 139665700813296 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26506] ppid=26438 vsize=10916192 memory=1296 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26506/stat : 26506 (java) S 26438 26441 24385 0 -1 1077944384 3 12983 0 0 0 0 5 3 20 0 15 0 70760621 11178180608 1050537 33554432000 4194304 4196468 140735092822992 139665284615008 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26507] ppid=26438 vsize=10916192 memory=4126316290023845779 CPUtime=1.51 cores=0,2,4,6
/proc/26441/task/26507/stat : 26507 (java) S 26438 26441 24385 0 -1 1077944384 2979 12983 0 0 69 74 5 3 20 0 15 0 70760621 11178180608 1050537 33554432000 4194304 4196468 140735092822992 139665699760688 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 53 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
Current children cumulated CPU time: 2487.1 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 4202148 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2415.11 s]
/proc/loadavg: 1.33 1.45 1.51 3/215 26837
/proc/meminfo: memFree=15635776/32770624 swapFree=67108860/67108860
[pid=26441] ppid=26438 vsize=10916192 memory=4201744 CPUtime=2520.09 cores=0,2,4,6
/proc/26441/stat : 26441 (java) S 26438 26441 24385 0 -1 1077944320 1193904 12983 1 0 251353 648 5 3 20 0 15 0 70760606 11178180608 1050436 33554432000 4194304 4196468 140735092822992 140735092805536 139666734116599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
/proc/26441/statm: 2729048 1050436 3542 1 0 2690701 0
[pid=26441/tid=26494] ppid=26438 vsize=10916192 memory=1948 CPUtime=2386.31 cores=0,2,4,6
/proc/26441/task/26494/stat : 26494 (java) R 26438 26441 24385 0 -1 4202560 737029 12983 0 0 238538 85 5 3 20 0 15 0 70760615 11178180608 1050436 33554432000 4194304 4196468 140735092822992 139666705951856 139666333297576 0 4 0 16800975 0 0 0 -1 2 0 0 38 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26495] ppid=26438 vsize=10916192 memory=4201744 CPUtime=26.37 cores=0,2,4,6
/proc/26441/task/26495/stat : 26495 (java) S 26438 26441 24385 0 -1 1077944384 39686 12983 0 0 2506 123 5 3 20 0 15 0 70760616 11178180608 1050436 33554432000 4194304 4196468 140735092822992 139666738359312 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26496] ppid=26438 vsize=10916192 memory=4201744 CPUtime=26.67 cores=0,2,4,6
/proc/26441/task/26496/stat : 26496 (java) S 26438 26441 24385 0 -1 1077944384 35921 12983 0 0 2543 116 5 3 20 0 15 0 70760616 11178180608 1050436 33554432000 4194304 4196468 140735092822992 139666637249680 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26497] ppid=26438 vsize=10916192 memory=4201744 CPUtime=26.42 cores=0,2,4,6
/proc/26441/task/26497/stat : 26497 (java) S 26438 26441 24385 0 -1 1077944384 35120 12983 0 0 2514 120 5 3 20 0 15 0 70760616 11178180608 1050436 33554432000 4194304 4196468 140735092822992 139666636196624 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26498] ppid=26438 vsize=10916192 memory=4202148 CPUtime=26.56 cores=0,2,4,6
/proc/26441/task/26498/stat : 26498 (java) S 26438 26441 24385 0 -1 1077944384 29961 12983 0 0 2530 118 5 3 20 0 15 0 70760616 11178180608 1050436 33554432000 4194304 4196468 140735092822992 139666635144080 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26499] ppid=26438 vsize=10916192 memory=280001400699360 CPUtime=1.23 cores=0,2,4,6
/proc/26441/task/26499/stat : 26499 (java) S 26438 26441 24385 0 -1 1077944384 49054 12983 0 0 104 11 5 3 20 0 15 0 70760618 11178180608 1050436 33554432000 4194304 4196468 140735092822992 139665737529584 139666734127746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26500] ppid=26438 vsize=10916192 memory=4202148 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26500/stat : 26500 (java) S 26438 26441 24385 0 -1 1077944384 73 12983 0 0 0 0 5 3 20 0 15 0 70760618 11178180608 1050436 33554432000 4194304 4196468 140735092822992 139665736475872 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26501] ppid=26438 vsize=10916192 memory=4201744 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26501/stat : 26501 (java) S 26438 26441 24385 0 -1 1077944384 15 12983 0 0 0 0 5 3 20 0 15 0 70760618 11178180608 1050436 33554432000 4194304 4196468 140735092822992 139665625572096 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26502] ppid=26438 vsize=10916192 memory=4201744 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26502/stat : 26502 (java) S 26438 26441 24385 0 -1 1077944384 3 12983 0 0 0 0 5 3 20 0 15 0 70760621 11178180608 1050436 33554432000 4194304 4196468 140735092822992 139665318172624 139666734135195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26503] ppid=26438 vsize=10916192 memory=4201744 CPUtime=11.39 cores=0,2,4,6
/proc/26441/task/26503/stat : 26503 (java) S 26438 26441 24385 0 -1 1077944384 88769 12983 0 0 1124 7 5 3 20 0 15 0 70760621 11178180608 1050436 33554432000 4194304 4196468 140735092822992 139665702918896 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26504] ppid=26438 vsize=10916192 memory=4201744 CPUtime=10.81 cores=0,2,4,6
/proc/26441/task/26504/stat : 26504 (java) S 26438 26441 24385 0 -1 1077944384 95565 12983 1 0 1065 8 5 3 20 0 15 0 70760621 11178180608 1050436 33554432000 4194304 4196468 140735092822992 139665701866352 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26505] ppid=26438 vsize=10916192 memory=4201744 CPUtime=3.42 cores=0,2,4,6
/proc/26441/task/26505/stat : 26505 (java) S 26438 26441 24385 0 -1 1077944384 77503 12983 0 0 326 8 5 3 20 0 15 0 70760621 11178180608 1050436 33554432000 4194304 4196468 140735092822992 139665700813296 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26506] ppid=26438 vsize=10916192 memory=4202148 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26506/stat : 26506 (java) S 26438 26441 24385 0 -1 1077944384 3 12983 0 0 0 0 5 3 20 0 15 0 70760621 11178180608 1050436 33554432000 4194304 4196468 140735092822992 139665284615008 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26507] ppid=26438 vsize=10916192 memory=4140 CPUtime=1.53 cores=0,2,4,6
/proc/26441/task/26507/stat : 26507 (java) S 26438 26441 24385 0 -1 1077944384 3013 12983 0 0 70 75 5 3 20 0 15 0 70760621 11178180608 1050436 33554432000 4194304 4196468 140735092822992 139665699760688 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 53 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 4201744 KiB

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

[startup+2415.39 s]
# the end of solver process 26441 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.83 s, system=6.54774 s

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

[startup+2415.21 s]
/proc/loadavg: 1.33 1.45 1.51 3/215 26837
/proc/meminfo: memFree=15635776/32770624 swapFree=67108860/67108860
[pid=26441] ppid=26438 vsize=11112808 memory=4205956 CPUtime=2520.19 cores=0,2,4,6
/proc/26441/stat : 26441 (java) S 26438 26441 24385 0 -1 1077944320 1194429 12983 1 0 251363 648 5 3 20 0 17 0 70760606 11379515392 1051489 33554432000 4194304 4196468 140735092822992 140735092805536 139666734116599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
/proc/26441/statm: 2778202 1051489 3543 1 0 2739855 0
[pid=26441/tid=26494] ppid=26438 vsize=11112808 memory=2436 CPUtime=2386.41 cores=0,2,4,6
/proc/26441/task/26494/stat : 26494 (java) R 26438 26441 24385 0 -1 4202560 737029 12983 0 0 238548 85 5 3 20 0 17 0 70760615 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139666705951856 139666333094456 0 4 0 16800975 0 0 0 -1 2 0 0 38 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26495] ppid=26438 vsize=11112808 memory=6791534058613427641 CPUtime=26.37 cores=0,2,4,6
/proc/26441/task/26495/stat : 26495 (java) S 26438 26441 24385 0 -1 1077944384 39686 12983 0 0 2506 123 5 3 20 0 17 0 70760616 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139666738359312 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26496] ppid=26438 vsize=11112808 memory=644 CPUtime=26.67 cores=0,2,4,6
/proc/26441/task/26496/stat : 26496 (java) S 26438 26441 24385 0 -1 1077944384 35921 12983 0 0 2543 116 5 3 20 0 17 0 70760616 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139666637249680 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26497] ppid=26438 vsize=11112808 memory=956 CPUtime=26.42 cores=0,2,4,6
/proc/26441/task/26497/stat : 26497 (java) S 26438 26441 24385 0 -1 1077944384 35120 12983 0 0 2514 120 5 3 20 0 17 0 70760616 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139666636196624 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26498] ppid=26438 vsize=11112808 memory=6791534058613427641 CPUtime=26.56 cores=0,2,4,6
/proc/26441/task/26498/stat : 26498 (java) S 26438 26441 24385 0 -1 1077944384 29961 12983 0 0 2530 118 5 3 20 0 17 0 70760616 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139666635144080 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26499] ppid=26438 vsize=11112808 memory=928 CPUtime=1.23 cores=0,2,4,6
/proc/26441/task/26499/stat : 26499 (java) S 26438 26441 24385 0 -1 1077944384 49054 12983 0 0 104 11 5 3 20 0 17 0 70760618 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665737529584 139666734127746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26500] ppid=26438 vsize=11112808 memory=2240 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26500/stat : 26500 (java) S 26438 26441 24385 0 -1 1077944384 73 12983 0 0 0 0 5 3 20 0 17 0 70760618 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665736475872 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26501] ppid=26438 vsize=11112808 memory=4124 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26501/stat : 26501 (java) S 26438 26441 24385 0 -1 1077944384 15 12983 0 0 0 0 5 3 20 0 17 0 70760618 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665625572096 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26502] ppid=26438 vsize=11112808 memory=2200 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26502/stat : 26502 (java) S 26438 26441 24385 0 -1 1077944384 183 12983 0 0 0 0 5 3 20 0 17 0 70760621 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665318172624 139666734135195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26503] ppid=26438 vsize=11112808 memory=1232 CPUtime=11.39 cores=0,2,4,6
/proc/26441/task/26503/stat : 26503 (java) S 26438 26441 24385 0 -1 1077944384 88769 12983 0 0 1124 7 5 3 20 0 17 0 70760621 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665702918896 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26504] ppid=26438 vsize=11112808 memory=1948 CPUtime=10.81 cores=0,2,4,6
/proc/26441/task/26504/stat : 26504 (java) S 26438 26441 24385 0 -1 1077944384 95565 12983 1 0 1065 8 5 3 20 0 17 0 70760621 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665701866352 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26505] ppid=26438 vsize=11112808 memory=1200 CPUtime=3.42 cores=0,2,4,6
/proc/26441/task/26505/stat : 26505 (java) S 26438 26441 24385 0 -1 1077944384 77503 12983 0 0 326 8 5 3 20 0 17 0 70760621 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665700813296 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26506] ppid=26438 vsize=11112808 memory=8540 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26506/stat : 26506 (java) S 26438 26441 24385 0 -1 1077944384 3 12983 0 0 0 0 5 3 20 0 17 0 70760621 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665284615008 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26507] ppid=26438 vsize=11112808 memory=800 CPUtime=1.53 cores=0,2,4,6
/proc/26441/task/26507/stat : 26507 (java) S 26438 26441 24385 0 -1 1077944384 3013 12983 0 0 70 75 5 3 20 0 17 0 70760621 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665699760688 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 53 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
Current children cumulated CPU time: 2520.19 s
Current children cumulated vsize: 11112808 KiB
Current children cumulated memory: 4205956 KiB

[startup+2415.3 s]
/proc/loadavg: 1.33 1.45 1.51 3/215 26837
/proc/meminfo: memFree=15635776/32770624 swapFree=67108860/67108860
[pid=26441] ppid=26438 vsize=11112808 memory=4205956 CPUtime=2520.28 cores=0,2,4,6
/proc/26441/stat : 26441 (java) S 26438 26441 24385 0 -1 1077944320 1194429 12983 1 0 251372 648 5 3 20 0 17 0 70760606 11379515392 1051489 33554432000 4194304 4196468 140735092822992 140735092805536 139666734116599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
/proc/26441/statm: 2778202 1051489 3543 1 0 2739855 0
[pid=26441/tid=26494] ppid=26438 vsize=11112808 memory=4201744 CPUtime=2386.5 cores=0,2,4,6
/proc/26441/task/26494/stat : 26494 (java) R 26438 26441 24385 0 -1 4202560 737029 12983 0 0 238557 85 5 3 20 0 17 0 70760615 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139666705951856 139666333297161 0 4 0 16800975 0 0 0 -1 2 0 0 38 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26495] ppid=26438 vsize=11112808 memory=4201744 CPUtime=26.37 cores=0,2,4,6
/proc/26441/task/26495/stat : 26495 (java) S 26438 26441 24385 0 -1 1077944384 39686 12983 0 0 2506 123 5 3 20 0 17 0 70760616 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139666738359312 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26496] ppid=26438 vsize=11112808 memory=4201744 CPUtime=26.67 cores=0,2,4,6
/proc/26441/task/26496/stat : 26496 (java) S 26438 26441 24385 0 -1 1077944384 35921 12983 0 0 2543 116 5 3 20 0 17 0 70760616 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139666637249680 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26497] ppid=26438 vsize=11112808 memory=4201744 CPUtime=26.42 cores=0,2,4,6
/proc/26441/task/26497/stat : 26497 (java) S 26438 26441 24385 0 -1 1077944384 35120 12983 0 0 2514 120 5 3 20 0 17 0 70760616 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139666636196624 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26498] ppid=26438 vsize=11112808 memory=4201744 CPUtime=26.56 cores=0,2,4,6
/proc/26441/task/26498/stat : 26498 (java) S 26438 26441 24385 0 -1 1077944384 29961 12983 0 0 2530 118 5 3 20 0 17 0 70760616 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139666635144080 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26499] ppid=26438 vsize=11112808 memory=4202148 CPUtime=1.23 cores=0,2,4,6
/proc/26441/task/26499/stat : 26499 (java) S 26438 26441 24385 0 -1 1077944384 49054 12983 0 0 104 11 5 3 20 0 17 0 70760618 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665737529584 139666734127746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26500] ppid=26438 vsize=11112808 memory=280001400699360 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26500/stat : 26500 (java) S 26438 26441 24385 0 -1 1077944384 73 12983 0 0 0 0 5 3 20 0 17 0 70760618 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665736475872 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26501] ppid=26438 vsize=11112808 memory=4202148 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26501/stat : 26501 (java) S 26438 26441 24385 0 -1 1077944384 15 12983 0 0 0 0 5 3 20 0 17 0 70760618 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665625572096 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26502] ppid=26438 vsize=11112808 memory=4201744 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26502/stat : 26502 (java) S 26438 26441 24385 0 -1 1077944384 183 12983 0 0 0 0 5 3 20 0 17 0 70760621 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665318172624 139666734135195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26503] ppid=26438 vsize=11112808 memory=4201744 CPUtime=11.39 cores=0,2,4,6
/proc/26441/task/26503/stat : 26503 (java) S 26438 26441 24385 0 -1 1077944384 88769 12983 0 0 1124 7 5 3 20 0 17 0 70760621 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665702918896 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26504] ppid=26438 vsize=11112808 memory=4201744 CPUtime=10.81 cores=0,2,4,6
/proc/26441/task/26504/stat : 26504 (java) S 26438 26441 24385 0 -1 1077944384 95565 12983 1 0 1065 8 5 3 20 0 17 0 70760621 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665701866352 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26505] ppid=26438 vsize=11112808 memory=1948 CPUtime=3.42 cores=0,2,4,6
/proc/26441/task/26505/stat : 26505 (java) S 26438 26441 24385 0 -1 1077944384 77503 12983 0 0 326 8 5 3 20 0 17 0 70760621 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665700813296 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26506] ppid=26438 vsize=11112808 memory=4201744 CPUtime=0.08 cores=0,2,4,6
/proc/26441/task/26506/stat : 26506 (java) S 26438 26441 24385 0 -1 1077944384 3 12983 0 0 0 0 5 3 20 0 17 0 70760621 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665284615008 139666734126805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
[pid=26441/tid=26507] ppid=26438 vsize=11112808 memory=4202148 CPUtime=1.53 cores=0,2,4,6
/proc/26441/task/26507/stat : 26507 (java) S 26438 26441 24385 0 -1 1077944384 3013 12983 0 0 70 75 5 3 20 0 17 0 70760621 11379515392 1051489 33554432000 4194304 4196468 140735092822992 139665699760688 139666734127746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 53 0 0 6293624 6294260 12193792 140735092824686 140735092827484 140735092827484 140735092830159 0
Current children cumulated CPU time: 2520.28 s
Current children cumulated vsize: 11112808 KiB
Current children cumulated memory: 4205956 KiB

Child status: 143
Real time (s): 2415.39
CPU time (s): 2520.38
CPU user time (s): 2513.83
CPU system time (s): 6.54774
CPU usage (%): 104.347
Max. virtual memory (cumulated for all children) (KiB): 11112808
Max. memory (cumulated for all children) (KiB): 5043908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.83
system time used= 6.54774
maximum resident set size= 5062340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1208873
page faults= 1
swaps= 0
block input operations= 64
block output operations= 3248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79311
involuntary context switches= 4723


# summary of solver processes directly reported to runsolver:
#   pid: 26441
#   total CPU time (s): 2520.38
#   total CPU user time (s): 2513.83
#   total CPU system time (s): 6.54774

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2681 second user time and 22.4262 second system time

The end

Name	PeacableArmies/ PeacableArmies-m1-20_c18.xml
MD5SUM	d156824e13565888aa6df857cf60b633
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	46
Best CPU time to get the best result obtained on this benchmark	2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables	800
Number of constraints	25481
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":800}]
Minimum variable degree	59
Maximum variable degree	78
Distribution of variable degrees	[{"degree":59,"count":76},{"degree":60,"count":76},{"degree":61,"count":68},{"degree":62,"count":68},{"degree":63,"count":60},{"degree":64,"count":60},{"degree":65,"count":52},{"degree":66,"count":52},{"degree":67,"count":44},{"degree":68,"count":44},{"degree":69,"count":36},{"degree":70,"count":36},{"degree":71,"count":28},{"degree":72,"count":28},{"degree":73,"count":20},{"degree":74,"count":20},{"degree":75,"count":12},{"degree":76,"count":12},{"degree":77,"count":4},{"degree":78,"count":4}]
Minimum constraint arity	2
Maximum constraint arity	800
Distribution of constraint arities	[{"arity":2,"count":25480},{"arity":800,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	25480
Distribution of constraint types	[{"type":"intension","count":25480},{"type":"sum","count":1}]
Optimization problem	YES
Type of objective	max SUM

Trace number 4295170

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