2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	SAT (TO)	134	252.163	226.051

0.97/0.76	c Concrete v3.9.2.1532736233296 running
9.38/4.03	c 21:42:15.528 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2248. 'extension(false, x[1][1]=[0‥1], x[2][1]=[0‥1]) :: init: true :: relation: MDD 769507769, 3 edges, 4 vertices, 1 tuples
9.38/4.05	c 21:42:15.558 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2296. 'extension(false, x[1][17]=[0‥1], x[2][17]=[0‥1]) :: init: true :: relation: MDD 35874744, 3 edges, 4 vertices, 1 tuples
9.38/4.06	c 21:42:15.560 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2303. 'extension(x[16][1]=[0‥1], x[17][1]=[0‥1], false) :: init: true :: relation: MDD 769507769, 3 edges, 4 vertices, 1 tuples
9.38/4.07	c 21:42:15.576 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2351. 'extension(x[16][17]=[0‥1], x[17][17]=[0‥1], false) :: init: true :: relation: MDD 35874744, 3 edges, 4 vertices, 1 tuples
9.38/4.08	c 21:42:15.578 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2356. 'extension(false, x[1][1]=[0‥1], x[1][2]=[0‥1]) :: init: true :: relation: MDD 418299920, 3 edges, 4 vertices, 1 tuples
9.38/4.09	c 21:42:15.593 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2404. 'extension(false, x[17][1]=[0‥1], x[17][2]=[0‥1]) :: init: true :: relation: MDD 1609754699, 3 edges, 4 vertices, 1 tuples
9.38/4.09	c 21:42:15.595 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2407. 'extension(x[1][16]=[0‥1], x[1][17]=[0‥1], false) :: init: true :: relation: MDD 418299920, 3 edges, 4 vertices, 1 tuples
9.38/4.10	c 21:42:15.609 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2455. 'extension(x[17][16]=[0‥1], x[17][17]=[0‥1], false) :: init: true :: relation: MDD 1609754699, 3 edges, 4 vertices, 1 tuples
9.38/4.11	c 21:42:15.611 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2459. 'extension(x[1][1]=[0‥1], x[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
9.73/4.13	c 21:42:15.625 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2489. 'extension(x[1][17]=[0‥1], x[2][17]=[0‥1]) :: init: true :: relation: Empty MDD
9.73/4.13	c 21:42:15.626 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2493. 'extension(x[16][1]=[0‥1], x[17][1]=[0‥1]) :: init: true :: relation: Empty MDD
9.73/4.13	c 21:42:15.632 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2523. 'extension(x[16][17]=[0‥1], x[17][17]=[0‥1]) :: init: true :: relation: Empty MDD
9.73/4.13	c 21:42:15.633 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2527. 'extension(x[1][1]=[0‥1], x[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
9.73/4.13	c 21:42:15.639 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2559. 'extension(x[17][1]=[0‥1], x[17][2]=[0‥1]) :: init: true :: relation: Empty MDD
9.73/4.14	c 21:42:15.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2565. 'extension(x[1][16]=[0‥1], x[1][17]=[0‥1]) :: init: true :: relation: Empty MDD
9.73/4.14	c 21:42:15.646 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2597. 'extension(x[17][16]=[0‥1], x[17][17]=[0‥1]) :: init: true :: relation: Empty MDD
16.45/6.46	o 105
16.72/6.53	o 106
18.25/7.30	o 107
18.50/7.31	o 108
18.50/7.33	o 109
18.50/7.34	o 110
18.50/7.36	o 111
18.50/7.37	o 112
18.50/7.39	o 113
18.82/7.40	o 114
18.82/7.42	o 115
19.93/7.87	o 116
19.93/7.88	o 117
20.19/7.90	o 118
20.19/7.91	o 119
20.19/7.97	o 120
23.94/9.79	o 121
24.07/9.80	o 122
24.07/9.81	o 123
24.07/9.86	o 124
27.14/11.90	o 125
27.31/11.91	o 126
27.31/11.92	o 127
27.31/11.92	o 128
27.31/11.93	o 129
34.07/17.84	o 130
34.07/17.85	o 131
47.72/30.16	o 132
48.05/30.40	o 133
130.49/105.76	o 134
252.10/226.01	Exception in thread "main" java.util.concurrent.TimeoutException
252.10/226.01		at concrete.MAC.mac(MAC.scala:188)
252.10/226.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.10/226.01		at scala.util.Try$.apply(Try.scala:209)
252.10/226.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.10/226.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.10/226.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.10/226.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.10/226.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.10/226.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.10/226.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.10/226.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.10/226.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.10/226.01		at concrete.MAC.oneRun(MAC.scala:253)
252.10/226.01		at concrete.MAC.nextSolution(MAC.scala:272)
252.10/226.01		at concrete.MAC.nextSolution(MAC.scala:355)
252.10/226.01		at concrete.Solver.hasNext(Solver.scala:166)
252.10/226.01		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.10/226.01		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.10/226.01		at concrete.Solver.foreach(Solver.scala:68)
252.10/226.01		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.10/226.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.10/226.01		at scala.util.Success.map(Try.scala:209)
252.10/226.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.10/226.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.10/226.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.10/226.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.10/226.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.10/226.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.10/226.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.10/226.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.10/226.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.10/226.01		at scala.collection.immutable.List.foreach(List.scala:389)
252.10/226.01		at scala.App.main(App.scala:76)
252.10/226.01		at scala.App.main$(App.scala:74)
252.10/226.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.10/226.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.10/226.02	v <instantiation cost="134">
252.10/226.02	v       <list>
252.10/226.02	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] z
252.10/226.02	v       </list>
252.10/226.02	v       <values>
252.10/226.02	v         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 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 1 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 1 2 0 1 1 0 1 1 2 1 0 1 1 2 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 2 2 2 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 2 1 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 2 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 2 0 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 10 27 36 44 51 58 63 68 71 78 81 84 88 89 89 94 96 103 110 134
252.10/226.02	v       </values>
252.10/226.02	v     </instantiation>
252.10/226.02	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 (13382 MiB free)
  memory of node 1: 16384 MiB (14283 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302615-1532893331/watcher-4302615-1532893331 -o /tmp/evaluation-result-4302615-1532893331/solver-4302615-1532893331 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28701 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1717111583 -superng HOME/instance-4302615-1532893331.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
solver pid=28729, runsolver pid=28723
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 0.64 0.73 0.84 4/201 28816
/proc/meminfo: memFree=28322740/32770624 swapFree=67108744/67108860
[pid=28729] ppid=28723 vsize=163220 memory=4708 CPUtime=0.07 cores=1,3,5,7
/proc/28729/stat : 28729 (java) S 28723 28729 19273 0 -1 1077944320 2269 12932 1 0 0 0 4 3 20 0 2 0 106896304 167137280 1177 33554432000 4194304 4196468 140732013201088 140732013183632 140039235772151 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
/proc/28729/statm: 40805 1177 874 1 0 32929 0
[pid=28729/tid=28835] ppid=28723 vsize=165356 memory=-6517102902069810590 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28835/stat : 28835 (java) R 28723 28729 19273 0 -1 4202560 94 12932 0 0 0 0 4 3 20 0 2 0 106896314 169324544 1177 33554432000 4194304 4196468 140732013201088 140039207609696 140039228062139 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 163220 KiB
Current children cumulated memory: 4708 KiB

[startup+0.215362 s]*
/proc/loadavg: 0.64 0.73 0.84 6/221 28862
/proc/meminfo: memFree=28274024/32770624 swapFree=67108744/67108860
[pid=28729] ppid=28723 vsize=10982744 memory=39856 CPUtime=0.24 cores=1,3,5,7
/proc/28729/stat : 28729 (java) S 28723 28729 19273 0 -1 1077944320 6682 12932 1 0 16 1 4 3 20 0 15 0 106896304 11246329856 9964 33554432000 4194304 4196468 140732013201088 140732013183632 140039235772151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
/proc/28729/statm: 2745686 9964 2944 1 0 2708109 0
[pid=28729/tid=28835] ppid=28723 vsize=10982744 memory=7022364594140610616 CPUtime=0.17 cores=1,3,5,7
/proc/28729/task/28835/stat : 28835 (java) R 28723 28729 19273 0 -1 4202560 3208 12932 0 0 10 0 4 3 20 0 15 0 106896314 11246329856 9964 33554432000 4194304 4196468 140732013201088 140039207569072 140039218958960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28837] ppid=28723 vsize=10982744 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28837/stat : 28837 (java) S 28723 28729 19273 0 -1 1077944384 1 12932 0 0 0 0 4 3 20 0 15 0 106896315 11246329856 9964 33554432000 4194304 4196468 140732013201088 140039240014864 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28838] ppid=28723 vsize=10982744 memory=139928835566500 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28838/stat : 28838 (java) S 28723 28729 19273 0 -1 1077944384 2 12932 0 0 0 0 4 3 20 0 15 0 106896315 11246329856 9964 33554432000 4194304 4196468 140732013201088 140039094733968 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28839] ppid=28723 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28839/stat : 28839 (java) S 28723 28729 19273 0 -1 1077944384 1 12932 0 0 0 0 4 3 20 0 15 0 106896315 11246329856 9964 33554432000 4194304 4196468 140732013201088 140039093680912 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28840] ppid=28723 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28840/stat : 28840 (java) S 28723 28729 19273 0 -1 1077944384 2 12932 0 0 0 0 4 3 20 0 15 0 106896315 11246329856 9964 33554432000 4194304 4196468 140732013201088 140039092628368 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28845] ppid=28723 vsize=10982744 memory=139928835540608 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28845/stat : 28845 (java) S 28723 28729 19273 0 -1 1077944384 2 12932 0 0 0 0 4 3 20 0 15 0 106896317 11246329856 9964 33554432000 4194304 4196468 140732013201088 140038752897264 140039235783298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28847] ppid=28723 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28847/stat : 28847 (java) S 28723 28729 19273 0 -1 1077944384 13 12932 0 0 0 0 4 3 20 0 15 0 106896317 11246329856 9964 33554432000 4194304 4196468 140732013201088 140038012658848 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28849] ppid=28723 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28849/stat : 28849 (java) S 28723 28729 19273 0 -1 1077944384 1 12932 0 0 0 0 4 3 20 0 15 0 106896317 11246329856 9964 33554432000 4194304 4196468 140732013201088 140037811331824 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28851] ppid=28723 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28851/stat : 28851 (java) S 28723 28729 19273 0 -1 1077944384 3 12932 0 0 0 0 4 3 20 0 15 0 106896320 11246329856 9964 33554432000 4194304 4196468 140732013201088 140037503932368 140039235790747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28852] ppid=28723 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28729/task/28852/stat : 28852 (java) S 28723 28729 19273 0 -1 1077944384 363 12932 0 0 1 0 4 3 20 0 15 0 106896320 11246329856 9964 33554432000 4194304 4196468 140732013201088 140038683749104 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28853] ppid=28723 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28853/stat : 28853 (java) S 28723 28729 19273 0 -1 1077944384 258 12932 0 0 0 0 4 3 20 0 15 0 106896320 11246329856 9964 33554432000 4194304 4196468 140732013201088 140038682696560 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28854] ppid=28723 vsize=10982744 memory=139928835540608 CPUtime=0.1 cores=1,3,5,7
/proc/28729/task/28854/stat : 28854 (java) S 28723 28729 19273 0 -1 1077944384 630 12932 0 0 3 0 4 3 20 0 15 0 106896320 11246329856 9964 33554432000 4194304 4196468 140732013201088 140038681643504 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28859] ppid=28723 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28859/stat : 28859 (java) S 28723 28729 19273 0 -1 1077944384 3 12932 0 0 0 0 4 3 20 0 15 0 106896320 11246329856 9964 33554432000 4194304 4196468 140732013201088 140037073136480 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28861] ppid=28723 vsize=10982744 memory=139928835540608 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28861/stat : 28861 (java) S 28723 28729 19273 0 -1 1077944384 1 12932 0 0 0 0 4 3 20 0 15 0 106896320 11246329856 9964 33554432000 4194304 4196468 140732013201088 140038680590896 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 39856 KiB

[startup+0.310335 s]*
/proc/loadavg: 0.64 0.73 0.84 1/221 28862
/proc/meminfo: memFree=28252420/32770624 swapFree=67108744/67108860
[pid=28729] ppid=28723 vsize=10983192 memory=52976 CPUtime=0.36 cores=1,3,5,7
/proc/28729/stat : 28729 (java) S 28723 28729 19273 0 -1 1077944320 9834 12932 1 0 27 2 4 3 20 0 15 0 106896304 11246788608 13244 33554432000 4194304 4196468 140732013201088 140732013183632 140039235772151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
/proc/28729/statm: 2745798 13244 3063 1 0 2708109 0
[pid=28729/tid=28835] ppid=28723 vsize=10983192 memory=7649539325808957830 CPUtime=0.26 cores=1,3,5,7
/proc/28729/task/28835/stat : 28835 (java) R 28723 28729 19273 0 -1 4202560 6340 12932 0 0 18 1 4 3 20 0 15 0 106896314 11246788608 13244 33554432000 4194304 4196468 140732013201088 140039207584160 140039212996304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28837] ppid=28723 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28837/stat : 28837 (java) S 28723 28729 19273 0 -1 1077944384 1 12932 0 0 0 0 4 3 20 0 15 0 106896315 11246788608 13244 33554432000 4194304 4196468 140732013201088 140039240014864 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28838] ppid=28723 vsize=10983192 memory=139928835540608 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28838/stat : 28838 (java) S 28723 28729 19273 0 -1 1077944384 2 12932 0 0 0 0 4 3 20 0 15 0 106896315 11246788608 13244 33554432000 4194304 4196468 140732013201088 140039094733968 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28839] ppid=28723 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28839/stat : 28839 (java) S 28723 28729 19273 0 -1 1077944384 1 12932 0 0 0 0 4 3 20 0 15 0 106896315 11246788608 13244 33554432000 4194304 4196468 140732013201088 140039093680912 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28840] ppid=28723 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28840/stat : 28840 (java) S 28723 28729 19273 0 -1 1077944384 2 12932 0 0 0 0 4 3 20 0 15 0 106896315 11246788608 13244 33554432000 4194304 4196468 140732013201088 140039092628368 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28845] ppid=28723 vsize=10983192 memory=139928835540608 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28845/stat : 28845 (java) S 28723 28729 19273 0 -1 1077944384 2 12932 0 0 0 0 4 3 20 0 15 0 106896317 11246788608 13244 33554432000 4194304 4196468 140732013201088 140038752897264 140039235783298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28847] ppid=28723 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28847/stat : 28847 (java) S 28723 28729 19273 0 -1 1077944384 13 12932 0 0 0 0 4 3 20 0 15 0 106896317 11246788608 13244 33554432000 4194304 4196468 140732013201088 140038012658848 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28849] ppid=28723 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28849/stat : 28849 (java) S 28723 28729 19273 0 -1 1077944384 1 12932 0 0 0 0 4 3 20 0 15 0 106896317 11246788608 13244 33554432000 4194304 4196468 140732013201088 140037811331824 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28851] ppid=28723 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28851/stat : 28851 (java) S 28723 28729 19273 0 -1 1077944384 3 12932 0 0 0 0 4 3 20 0 15 0 106896320 11246788608 13244 33554432000 4194304 4196468 140732013201088 140037503932368 140039235790747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28852] ppid=28723 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28729/task/28852/stat : 28852 (java) S 28723 28729 19273 0 -1 1077944384 368 12932 0 0 2 0 4 3 20 0 15 0 106896320 11246788608 13244 33554432000 4194304 4196468 140732013201088 140038683749104 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28853] ppid=28723 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28729/task/28853/stat : 28853 (java) S 28723 28729 19273 0 -1 1077944384 258 12932 0 0 1 0 4 3 20 0 15 0 106896320 11246788608 13244 33554432000 4194304 4196468 140732013201088 140038682696560 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28854] ppid=28723 vsize=10983192 memory=139928835540608 CPUtime=0.11 cores=1,3,5,7
/proc/28729/task/28854/stat : 28854 (java) S 28723 28729 19273 0 -1 1077944384 645 12932 0 0 4 0 4 3 20 0 15 0 106896320 11246788608 13244 33554432000 4194304 4196468 140732013201088 140038681643504 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28859] ppid=28723 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28859/stat : 28859 (java) S 28723 28729 19273 0 -1 1077944384 3 12932 0 0 0 0 4 3 20 0 15 0 106896320 11246788608 13244 33554432000 4194304 4196468 140732013201088 140037073136480 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28861] ppid=28723 vsize=10983192 memory=139928835540608 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28861/stat : 28861 (java) S 28723 28729 19273 0 -1 1077944384 1 12932 0 0 0 0 4 3 20 0 15 0 106896320 11246788608 13244 33554432000 4194304 4196468 140732013201088 140038680590896 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 52976 KiB

[startup+0.70075 s]
/proc/loadavg: 0.64 0.73 0.84 4/221 28862
/proc/meminfo: memFree=28224520/32770624 swapFree=67108744/67108860
[pid=28729] ppid=28723 vsize=10983192 memory=88340 CPUtime=0.97 cores=1,3,5,7
/proc/28729/stat : 28729 (java) S 28723 28729 19273 0 -1 1077944320 16691 12932 1 0 86 4 4 3 20 0 15 0 106896304 11246788608 22085 33554432000 4194304 4196468 140732013201088 140732013183632 140039235772151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
/proc/28729/statm: 2745798 22085 3238 1 0 2708109 0
[pid=28729/tid=28835] ppid=28723 vsize=10983192 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/28729/task/28835/stat : 28835 (java) R 28723 28729 19273 0 -1 4202560 12124 12932 0 0 54 2 4 3 20 0 15 0 106896314 11246788608 22085 33554432000 4194304 4196468 140732013201088 140039207595152 140039219852638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28837] ppid=28723 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28837/stat : 28837 (java) S 28723 28729 19273 0 -1 1077944384 1 12932 0 0 0 0 4 3 20 0 15 0 106896315 11246788608 22085 33554432000 4194304 4196468 140732013201088 140039240014864 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28838] ppid=28723 vsize=10983192 memory=2549868398337 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28838/stat : 28838 (java) S 28723 28729 19273 0 -1 1077944384 2 12932 0 0 0 0 4 3 20 0 15 0 106896315 11246788608 22085 33554432000 4194304 4196468 140732013201088 140039094733968 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28839] ppid=28723 vsize=10983192 memory=66508625 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28839/stat : 28839 (java) S 28723 28729 19273 0 -1 1077944384 1 12932 0 0 0 0 4 3 20 0 15 0 106896315 11246788608 22085 33554432000 4194304 4196468 140732013201088 140039093680912 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28840] ppid=28723 vsize=10983192 memory=6451477254209374620 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28840/stat : 28840 (java) S 28723 28729 19273 0 -1 1077944384 2 12932 0 0 0 0 4 3 20 0 15 0 106896315 11246788608 22085 33554432000 4194304 4196468 140732013201088 140039092628368 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28845] ppid=28723 vsize=10983192 memory=5864918620180207719 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28845/stat : 28845 (java) S 28723 28729 19273 0 -1 1077944384 5 12932 0 0 0 0 4 3 20 0 15 0 106896317 11246788608 22085 33554432000 4194304 4196468 140732013201088 140038752897264 140039235783298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28847] ppid=28723 vsize=10983192 memory=7740402895913772889 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28847/stat : 28847 (java) S 28723 28729 19273 0 -1 1077944384 13 12932 0 0 0 0 4 3 20 0 15 0 106896317 11246788608 22085 33554432000 4194304 4196468 140732013201088 140038012658848 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28849] ppid=28723 vsize=10983192 memory=-8383301583103171957 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28849/stat : 28849 (java) S 28723 28729 19273 0 -1 1077944384 1 12932 0 0 0 0 4 3 20 0 15 0 106896317 11246788608 22085 33554432000 4194304 4196468 140732013201088 140037811331824 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28851] ppid=28723 vsize=10983192 memory=3047711428313195656 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28851/stat : 28851 (java) S 28723 28729 19273 0 -1 1077944384 3 12932 0 0 0 0 4 3 20 0 15 0 106896320 11246788608 22085 33554432000 4194304 4196468 140732013201088 140037503932368 140039235790747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28852] ppid=28723 vsize=10983192 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/28729/task/28852/stat : 28852 (java) S 28723 28729 19273 0 -1 1077944384 947 12932 0 0 10 0 4 3 20 0 15 0 106896320 11246788608 22085 33554432000 4194304 4196468 140732013201088 140038683749104 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28853] ppid=28723 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/28729/task/28853/stat : 28853 (java) S 28723 28729 19273 0 -1 1077944384 658 12932 0 0 7 0 4 3 20 0 15 0 106896320 11246788608 22085 33554432000 4194304 4196468 140732013201088 140038682696560 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28854] ppid=28723 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/28729/task/28854/stat : 28854 (java) S 28723 28729 19273 0 -1 1077944384 738 12932 0 0 13 0 4 3 20 0 15 0 106896320 11246788608 22085 33554432000 4194304 4196468 140732013201088 140038681643504 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28859] ppid=28723 vsize=10983192 memory=1236 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28859/stat : 28859 (java) S 28723 28729 19273 0 -1 1077944384 3 12932 0 0 0 0 4 3 20 0 15 0 106896320 11246788608 22085 33554432000 4194304 4196468 140732013201088 140037073136480 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28861] ppid=28723 vsize=10983192 memory=17424 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28861/stat : 28861 (java) S 28723 28729 19273 0 -1 1077944384 2 12932 0 0 0 0 4 3 20 0 15 0 106896320 11246788608 22085 33554432000 4194304 4196468 140732013201088 140038680590896 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88340 KiB

[startup+1.50075 s]
/proc/loadavg: 0.83 0.77 0.86 6/221 28862
/proc/meminfo: memFree=28117160/32770624 swapFree=67108744/67108860
[pid=28729] ppid=28723 vsize=10996044 memory=159376 CPUtime=2.83 cores=1,3,5,7
/proc/28729/stat : 28729 (java) S 28723 28729 19273 0 -1 1077944320 26144 12932 1 0 265 11 4 3 20 0 15 0 106896304 11259949056 39844 33554432000 4194304 4196468 140732013201088 140732013183632 140039235772151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
/proc/28729/statm: 2749011 39844 3443 1 0 2710669 0
[pid=28729/tid=28835] ppid=28723 vsize=10996044 memory=4096 CPUtime=1.39 cores=1,3,5,7
/proc/28729/task/28835/stat : 28835 (java) S 28723 28729 19273 0 -1 1077944384 17233 12932 0 0 127 5 4 3 20 0 15 0 106896314 11259949056 39844 33554432000 4194304 4196468 140732013201088 140039207567776 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28837] ppid=28723 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28837/stat : 28837 (java) S 28723 28729 19273 0 -1 1077944384 8 12932 0 0 0 0 4 3 20 0 15 0 106896315 11259949056 39844 33554432000 4194304 4196468 140732013201088 140039240014864 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28838] ppid=28723 vsize=10996044 memory=2276 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28838/stat : 28838 (java) S 28723 28729 19273 0 -1 1077944384 42 12932 0 0 0 0 4 3 20 0 15 0 106896315 11259949056 39844 33554432000 4194304 4196468 140732013201088 140039094733968 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28839] ppid=28723 vsize=10996044 memory=139928835547601 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28839/stat : 28839 (java) S 28723 28729 19273 0 -1 1077944384 155 12932 0 0 0 0 4 3 20 0 15 0 106896315 11259949056 39844 33554432000 4194304 4196468 140732013201088 140039093680912 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28840] ppid=28723 vsize=10996044 memory=7306930280796148054 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28840/stat : 28840 (java) S 28723 28729 19273 0 -1 1077944384 13 12932 0 0 0 0 4 3 20 0 15 0 106896315 11259949056 39844 33554432000 4194304 4196468 140732013201088 140039092628368 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28845] ppid=28723 vsize=10996044 memory=7235719319184238929 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28845/stat : 28845 (java) R 28723 28729 19273 0 -1 4202560 26 12932 0 0 0 0 4 3 20 0 15 0 106896317 11259949056 39844 33554432000 4194304 4196468 140732013201088 140038752895744 140039228868987 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28847] ppid=28723 vsize=10996044 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28847/stat : 28847 (java) S 28723 28729 19273 0 -1 1077944384 13 12932 0 0 0 0 4 3 20 0 15 0 106896317 11259949056 39844 33554432000 4194304 4196468 140732013201088 140038012658848 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28849] ppid=28723 vsize=10996044 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28849/stat : 28849 (java) S 28723 28729 19273 0 -1 1077944384 1 12932 0 0 0 0 4 3 20 0 15 0 106896317 11259949056 39844 33554432000 4194304 4196468 140732013201088 140037811331824 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28851] ppid=28723 vsize=10996044 memory=2209 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28851/stat : 28851 (java) S 28723 28729 19273 0 -1 1077944384 3 12932 0 0 0 0 4 3 20 0 15 0 106896320 11259949056 39844 33554432000 4194304 4196468 140732013201088 140037503932368 140039235790747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28852] ppid=28723 vsize=10996044 memory=-2746958450906831424 CPUtime=0.58 cores=1,3,5,7
/proc/28729/task/28852/stat : 28852 (java) S 28723 28729 19273 0 -1 1077944384 2531 12932 0 0 51 0 4 3 20 0 15 0 106896320 11259949056 39844 33554432000 4194304 4196468 140732013201088 140038683728464 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28853] ppid=28723 vsize=10996044 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/28729/task/28853/stat : 28853 (java) S 28723 28729 19273 0 -1 1077944384 2150 12932 0 0 44 2 4 3 20 0 15 0 106896320 11259949056 39844 33554432000 4194304 4196468 140732013201088 140038682676400 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28854] ppid=28723 vsize=10996044 memory=6944652177228980320 CPUtime=0.48 cores=1,3,5,7
/proc/28729/task/28854/stat : 28854 (java) S 28723 28729 19273 0 -1 1077944384 1771 12932 0 0 40 1 4 3 20 0 15 0 106896320 11259949056 39844 33554432000 4194304 4196468 140732013201088 140038681643504 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28859] ppid=28723 vsize=10996044 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28859/stat : 28859 (java) S 28723 28729 19273 0 -1 1077944384 3 12932 0 0 0 0 4 3 20 0 15 0 106896320 11259949056 39844 33554432000 4194304 4196468 140732013201088 140037073136480 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28861] ppid=28723 vsize=10996044 memory=-7606742951091920751 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28861/stat : 28861 (java) S 28723 28729 19273 0 -1 1077944384 2 12932 0 0 0 0 4 3 20 0 15 0 106896320 11259949056 39844 33554432000 4194304 4196468 140732013201088 140038680590896 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 10996044 KiB
Current children cumulated memory: 159376 KiB

[startup+3.11195 s]
/proc/loadavg: 0.83 0.77 0.86 8/221 28862
/proc/meminfo: memFree=27881520/32770624 swapFree=67108744/67108860
[pid=28729] ppid=28723 vsize=11008352 memory=246328 CPUtime=6.61 cores=1,3,5,7
/proc/28729/stat : 28729 (java) S 28723 28729 19273 0 -1 1077944320 39658 12932 1 0 637 17 4 3 20 0 15 0 106896304 11272552448 61582 33554432000 4194304 4196468 140732013201088 140732013183632 140039235772151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
/proc/28729/statm: 2752088 61582 3494 1 0 2713741 0

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

/proc/28729/task/28835/stat : 28835 (java) R 28723 28729 19273 0 -1 4202560 59472 12932 0 0 10101 39 4 3 20 0 15 0 106896314 11348049920 634298 33554432000 4194304 4196468 140732013201088 140039207604648 140038791240635 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28837] ppid=28723 vsize=11082080 memory=139928692435729 CPUtime=0.61 cores=1,3,5,7
/proc/28729/task/28837/stat : 28837 (java) S 28723 28729 19273 0 -1 1077944384 2922 12932 0 0 38 16 4 3 20 0 15 0 106896315 11348049920 634298 33554432000 4194304 4196468 140732013201088 140039240014864 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28838] ppid=28723 vsize=11082080 memory=30616 CPUtime=0.65 cores=1,3,5,7
/proc/28729/task/28838/stat : 28838 (java) S 28723 28729 19273 0 -1 1077944384 785 12932 0 0 41 17 4 3 20 0 15 0 106896315 11348049920 634298 33554432000 4194304 4196468 140732013201088 140039094733968 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28839] ppid=28723 vsize=11082080 memory=2396 CPUtime=0.65 cores=1,3,5,7
/proc/28729/task/28839/stat : 28839 (java) S 28723 28729 19273 0 -1 1077944384 2232 12932 0 0 40 18 4 3 20 0 15 0 106896315 11348049920 634298 33554432000 4194304 4196468 140732013201088 140039093680912 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28840] ppid=28723 vsize=11082080 memory=2532628 CPUtime=0.62 cores=1,3,5,7
/proc/28729/task/28840/stat : 28840 (java) S 28723 28729 19273 0 -1 1077944384 2332 12932 0 0 38 17 4 3 20 0 15 0 106896315 11348049920 634298 33554432000 4194304 4196468 140732013201088 140039092628368 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28845] ppid=28723 vsize=11082080 memory=2396 CPUtime=0.15 cores=1,3,5,7
/proc/28729/task/28845/stat : 28845 (java) S 28723 28729 19273 0 -1 1077944384 7154 12932 0 0 7 1 4 3 20 0 15 0 106896317 11348049920 634298 33554432000 4194304 4196468 140732013201088 140038752897264 140039235783298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28847] ppid=28723 vsize=11082080 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28847/stat : 28847 (java) S 28723 28729 19273 0 -1 1077944384 14 12932 0 0 0 0 4 3 20 0 15 0 106896317 11348049920 634298 33554432000 4194304 4196468 140732013201088 140038012658976 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28849] ppid=28723 vsize=11082080 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28849/stat : 28849 (java) S 28723 28729 19273 0 -1 1077944384 1 12932 0 0 0 0 4 3 20 0 15 0 106896317 11348049920 634298 33554432000 4194304 4196468 140732013201088 140037811331840 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28851] ppid=28723 vsize=11082080 memory=2532584 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28851/stat : 28851 (java) S 28723 28729 19273 0 -1 1077944384 3 12932 0 0 0 0 4 3 20 0 15 0 106896320 11348049920 634298 33554432000 4194304 4196468 140732013201088 140037503932368 140039235790747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28852] ppid=28723 vsize=11082080 memory=2485684 CPUtime=9.39 cores=1,3,5,7
/proc/28729/task/28852/stat : 28852 (java) S 28723 28729 19273 0 -1 1077944384 22637 12932 0 0 926 6 4 3 20 0 15 0 106896320 11348049920 634298 33554432000 4194304 4196468 140732013201088 140038683749104 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28853] ppid=28723 vsize=11082080 memory=4096 CPUtime=9.89 cores=1,3,5,7
/proc/28729/task/28853/stat : 28853 (java) S 28723 28729 19273 0 -1 1077944384 18671 12932 0 0 976 6 4 3 20 0 15 0 106896320 11348049920 634298 33554432000 4194304 4196468 140732013201088 140038682696560 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28854] ppid=28723 vsize=11082080 memory=6791534058613427641 CPUtime=4.02 cores=1,3,5,7
/proc/28729/task/28854/stat : 28854 (java) S 28723 28729 19273 0 -1 1077944384 22869 12932 0 0 388 7 4 3 20 0 15 0 106896320 11348049920 634298 33554432000 4194304 4196468 140732013201088 140038681643504 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28859] ppid=28723 vsize=11082080 memory=30616 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28859/stat : 28859 (java) S 28723 28729 19273 0 -1 1077944384 3 12932 0 0 0 0 4 3 20 0 15 0 106896320 11348049920 634298 33554432000 4194304 4196468 140732013201088 140037073136480 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28861] ppid=28723 vsize=11082080 memory=2396 CPUtime=0.12 cores=1,3,5,7
/proc/28729/task/28861/stat : 28861 (java) S 28723 28729 19273 0 -1 1077944384 82 12932 0 0 3 2 4 3 20 0 15 0 106896320 11348049920 634298 33554432000 4194304 4196468 140732013201088 140038680590896 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
Current children cumulated CPU time: 127.04 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2537192 KiB

[startup+162.301 s]
/proc/loadavg: 1.35 1.13 0.99 4/220 28864
/proc/meminfo: memFree=24456208/32770624 swapFree=67108744/67108860
[pid=28729] ppid=28723 vsize=11082080 memory=2365128 CPUtime=187.9 cores=1,3,5,7
/proc/28729/stat : 28729 (java) S 28723 28729 19273 0 -1 1077944320 154637 12932 1 0 18642 141 4 3 20 0 15 0 106896304 11348049920 591282 33554432000 4194304 4196468 140732013201088 140732013183632 140039235772151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
/proc/28729/statm: 2770520 591282 3532 1 0 2732173 0
[pid=28729/tid=28835] ppid=28723 vsize=11082080 memory=2368720 CPUtime=161.31 cores=1,3,5,7
/proc/28729/task/28835/stat : 28835 (java) R 28723 28729 19273 0 -1 4202560 62653 12932 0 0 16085 39 4 3 20 0 15 0 106896314 11348049920 591282 33554432000 4194304 4196468 140732013201088 140039207607104 140038793288964 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28837] ppid=28723 vsize=11082080 memory=2401044 CPUtime=0.74 cores=1,3,5,7
/proc/28729/task/28837/stat : 28837 (java) S 28723 28729 19273 0 -1 1077944384 3198 12932 0 0 49 18 4 3 20 0 15 0 106896315 11348049920 591282 33554432000 4194304 4196468 140732013201088 140039240014864 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28838] ppid=28723 vsize=11082080 memory=2497596 CPUtime=0.79 cores=1,3,5,7
/proc/28729/task/28838/stat : 28838 (java) S 28723 28729 19273 0 -1 1077944384 1100 12932 0 0 53 19 4 3 20 0 15 0 106896315 11348049920 591282 33554432000 4194304 4196468 140732013201088 140039094733968 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28839] ppid=28723 vsize=11082080 memory=2395912 CPUtime=0.79 cores=1,3,5,7
/proc/28729/task/28839/stat : 28839 (java) S 28723 28729 19273 0 -1 1077944384 2446 12932 0 0 52 20 4 3 20 0 15 0 106896315 11348049920 591282 33554432000 4194304 4196468 140732013201088 140039093680912 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28840] ppid=28723 vsize=11082080 memory=2365128 CPUtime=0.75 cores=1,3,5,7
/proc/28729/task/28840/stat : 28840 (java) S 28723 28729 19273 0 -1 1077944384 3644 12932 0 0 49 19 4 3 20 0 15 0 106896315 11348049920 591282 33554432000 4194304 4196468 140732013201088 140039092628368 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28845] ppid=28723 vsize=11082080 memory=2401044 CPUtime=0.17 cores=1,3,5,7
/proc/28729/task/28845/stat : 28845 (java) S 28723 28729 19273 0 -1 1077944384 7187 12932 0 0 8 2 4 3 20 0 15 0 106896317 11348049920 591282 33554432000 4194304 4196468 140732013201088 140038752897264 140039235783298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28847] ppid=28723 vsize=11082080 memory=2365128 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28847/stat : 28847 (java) S 28723 28729 19273 0 -1 1077944384 14 12932 0 0 0 0 4 3 20 0 15 0 106896317 11348049920 591282 33554432000 4194304 4196468 140732013201088 140038012658976 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28849] ppid=28723 vsize=11082080 memory=2365128 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28849/stat : 28849 (java) S 28723 28729 19273 0 -1 1077944384 1 12932 0 0 0 0 4 3 20 0 15 0 106896317 11348049920 591282 33554432000 4194304 4196468 140732013201088 140037811331840 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28851] ppid=28723 vsize=11082080 memory=2368720 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28851/stat : 28851 (java) S 28723 28729 19273 0 -1 1077944384 3 12932 0 0 0 0 4 3 20 0 15 0 106896320 11348049920 591282 33554432000 4194304 4196468 140732013201088 140037503932368 140039235790747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28852] ppid=28723 vsize=11082080 memory=2368720 CPUtime=9.54 cores=1,3,5,7
/proc/28729/task/28852/stat : 28852 (java) S 28723 28729 19273 0 -1 1077944384 25853 12932 0 0 941 6 4 3 20 0 15 0 106896320 11348049920 591282 33554432000 4194304 4196468 140732013201088 140038683749104 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28853] ppid=28723 vsize=11082080 memory=2365128 CPUtime=10.16 cores=1,3,5,7
/proc/28729/task/28853/stat : 28853 (java) S 28723 28729 19273 0 -1 1077944384 22664 12932 0 0 1003 6 4 3 20 0 15 0 106896320 11348049920 591282 33554432000 4194304 4196468 140732013201088 140038682696560 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28854] ppid=28723 vsize=11082080 memory=2368720 CPUtime=4.03 cores=1,3,5,7
/proc/28729/task/28854/stat : 28854 (java) S 28723 28729 19273 0 -1 1077944384 23584 12932 0 0 389 7 4 3 20 0 15 0 106896320 11348049920 591282 33554432000 4194304 4196468 140732013201088 140038681643504 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28859] ppid=28723 vsize=11082080 memory=4052 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28859/stat : 28859 (java) S 28723 28729 19273 0 -1 1077944384 3 12932 0 0 0 0 4 3 20 0 15 0 106896320 11348049920 591282 33554432000 4194304 4196468 140732013201088 140037073136480 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28861] ppid=28723 vsize=11082080 memory=644 CPUtime=0.15 cores=1,3,5,7
/proc/28729/task/28861/stat : 28861 (java) S 28723 28729 19273 0 -1 1077944384 93 12932 0 0 4 4 4 3 20 0 15 0 106896320 11348049920 591282 33554432000 4194304 4196468 140732013201088 140038680590896 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
Current children cumulated CPU time: 187.9 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2365128 KiB

[startup+222.301 s]
/proc/loadavg: 1.15 1.12 0.99 4/219 28865
/proc/meminfo: memFree=24795372/32770624 swapFree=67108744/67108860
[pid=28729] ppid=28723 vsize=11082080 memory=2066064 CPUtime=248.36 cores=1,3,5,7
/proc/28729/stat : 28729 (java) S 28723 28729 19273 0 -1 1077944320 171652 12932 1 0 24683 146 4 3 20 0 15 0 106896304 11348049920 516516 33554432000 4194304 4196468 140732013201088 140732013183632 140039235772151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
/proc/28729/statm: 2770520 516516 3532 1 0 2732173 0
[pid=28729/tid=28835] ppid=28723 vsize=11082080 memory=2099896 CPUtime=221.17 cores=1,3,5,7
/proc/28729/task/28835/stat : 28835 (java) R 28723 28729 19273 0 -1 4202560 66601 12932 0 0 22071 39 4 3 20 0 15 0 106896314 11348049920 516516 33554432000 4194304 4196468 140732013201088 140039207606128 140038793288070 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28837] ppid=28723 vsize=11082080 memory=2090168 CPUtime=0.84 cores=1,3,5,7
/proc/28729/task/28837/stat : 28837 (java) S 28723 28729 19273 0 -1 1077944384 3870 12932 0 0 58 19 4 3 20 0 15 0 106896315 11348049920 516516 33554432000 4194304 4196468 140732013201088 140039240014864 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28838] ppid=28723 vsize=11082080 memory=2066060 CPUtime=0.88 cores=1,3,5,7
/proc/28729/task/28838/stat : 28838 (java) S 28723 28729 19273 0 -1 1077944384 1378 12932 0 0 62 19 4 3 20 0 15 0 106896315 11348049920 516516 33554432000 4194304 4196468 140732013201088 140039094733968 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28839] ppid=28723 vsize=11082080 memory=2066064 CPUtime=0.87 cores=1,3,5,7
/proc/28729/task/28839/stat : 28839 (java) S 28723 28729 19273 0 -1 1077944384 4317 12932 0 0 60 20 4 3 20 0 15 0 106896315 11348049920 516516 33554432000 4194304 4196468 140732013201088 140039093680912 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28840] ppid=28723 vsize=11082080 memory=2090168 CPUtime=0.85 cores=1,3,5,7
/proc/28729/task/28840/stat : 28840 (java) S 28723 28729 19273 0 -1 1077944384 3828 12932 0 0 58 20 4 3 20 0 15 0 106896315 11348049920 516516 33554432000 4194304 4196468 140732013201088 140039092628368 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28845] ppid=28723 vsize=11082080 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/28729/task/28845/stat : 28845 (java) S 28723 28729 19273 0 -1 1077944384 7813 12932 0 0 11 3 4 3 20 0 15 0 106896317 11348049920 516516 33554432000 4194304 4196468 140732013201088 140038752897264 140039235783298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28847] ppid=28723 vsize=11082080 memory=2090168 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28847/stat : 28847 (java) S 28723 28729 19273 0 -1 1077944384 14 12932 0 0 0 0 4 3 20 0 15 0 106896317 11348049920 516516 33554432000 4194304 4196468 140732013201088 140038012658976 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28849] ppid=28723 vsize=11082080 memory=4096 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28849/stat : 28849 (java) S 28723 28729 19273 0 -1 1077944384 1 12932 0 0 0 0 4 3 20 0 15 0 106896317 11348049920 516516 33554432000 4194304 4196468 140732013201088 140037811331840 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28851] ppid=28723 vsize=11082080 memory=2073240 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28851/stat : 28851 (java) S 28723 28729 19273 0 -1 1077944384 3 12932 0 0 0 0 4 3 20 0 15 0 106896320 11348049920 516516 33554432000 4194304 4196468 140732013201088 140037503932368 140039235790747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28852] ppid=28723 vsize=11082080 memory=2073240 CPUtime=9.58 cores=1,3,5,7
/proc/28729/task/28852/stat : 28852 (java) S 28723 28729 19273 0 -1 1077944384 29796 12932 0 0 945 6 4 3 20 0 15 0 106896320 11348049920 516516 33554432000 4194304 4196468 140732013201088 140038683749104 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28853] ppid=28723 vsize=11082080 memory=4096 CPUtime=10.28 cores=1,3,5,7
/proc/28729/task/28853/stat : 28853 (java) S 28723 28729 19273 0 -1 1077944384 26766 12932 0 0 1014 7 4 3 20 0 15 0 106896320 11348049920 516516 33554432000 4194304 4196468 140732013201088 140038682696560 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28854] ppid=28723 vsize=11082080 memory=30616 CPUtime=4.03 cores=1,3,5,7
/proc/28729/task/28854/stat : 28854 (java) S 28723 28729 19273 0 -1 1077944384 24928 12932 0 0 389 7 4 3 20 0 15 0 106896320 11348049920 516516 33554432000 4194304 4196468 140732013201088 140038681643504 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28859] ppid=28723 vsize=11082080 memory=30616 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28859/stat : 28859 (java) S 28723 28729 19273 0 -1 1077944384 3 12932 0 0 0 0 4 3 20 0 15 0 106896320 11348049920 516516 33554432000 4194304 4196468 140732013201088 140037073136480 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28861] ppid=28723 vsize=11082080 memory=2396 CPUtime=0.18 cores=1,3,5,7
/proc/28729/task/28861/stat : 28861 (java) S 28723 28729 19273 0 -1 1077944384 140 12932 0 0 5 6 4 3 20 0 15 0 106896320 11348049920 516516 33554432000 4194304 4196468 140732013201088 140038680590896 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
Current children cumulated CPU time: 248.36 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2066064 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+226.001 s]*
/proc/loadavg: 1.22 1.14 1.00 4/219 28865
/proc/meminfo: memFree=24806908/32770624 swapFree=67108744/67108860
[pid=28729] ppid=28723 vsize=11082080 memory=2054264 CPUtime=252.1 cores=1,3,5,7
/proc/28729/stat : 28729 (java) S 28723 28729 19273 0 -1 1077944320 173255 12932 1 0 25056 147 4 3 20 0 15 0 106896304 11348049920 513566 33554432000 4194304 4196468 140732013201088 140732013183632 140039235772151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
/proc/28729/statm: 2770520 513566 3532 1 0 2732173 0
[pid=28729/tid=28835] ppid=28723 vsize=11082080 memory=6791534058613427641 CPUtime=224.87 cores=1,3,5,7
/proc/28729/task/28835/stat : 28835 (java) R 28723 28729 19273 0 -1 4202560 67226 12932 0 0 22441 39 4 3 20 0 15 0 106896314 11348049920 513566 33554432000 4194304 4196468 140732013201088 140039207607456 140038788925963 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28837] ppid=28723 vsize=11082080 memory=3848 CPUtime=0.85 cores=1,3,5,7
/proc/28729/task/28837/stat : 28837 (java) S 28723 28729 19273 0 -1 1077944384 3876 12932 0 0 59 19 4 3 20 0 15 0 106896315 11348049920 513566 33554432000 4194304 4196468 140732013201088 140039240014864 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28838] ppid=28723 vsize=11082080 memory=4108 CPUtime=0.89 cores=1,3,5,7
/proc/28729/task/28838/stat : 28838 (java) S 28723 28729 19273 0 -1 1077944384 1381 12932 0 0 63 19 4 3 20 0 15 0 106896315 11348049920 513566 33554432000 4194304 4196468 140732013201088 140039094733968 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28839] ppid=28723 vsize=11082080 memory=2059908 CPUtime=0.88 cores=1,3,5,7
/proc/28729/task/28839/stat : 28839 (java) S 28723 28729 19273 0 -1 1077944384 4320 12932 0 0 61 20 4 3 20 0 15 0 106896315 11348049920 513566 33554432000 4194304 4196468 140732013201088 140039093680912 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28840] ppid=28723 vsize=11082080 memory=4872558044660077418 CPUtime=0.85 cores=1,3,5,7
/proc/28729/task/28840/stat : 28840 (java) S 28723 28729 19273 0 -1 1077944384 3831 12932 0 0 58 20 4 3 20 0 15 0 106896315 11348049920 513566 33554432000 4194304 4196468 140732013201088 140039092628368 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28845] ppid=28723 vsize=11082080 memory=2296 CPUtime=0.21 cores=1,3,5,7
/proc/28729/task/28845/stat : 28845 (java) S 28723 28729 19273 0 -1 1077944384 7815 12932 0 0 11 3 4 3 20 0 15 0 106896317 11348049920 513566 33554432000 4194304 4196468 140732013201088 140038752897264 140039235783298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28847] ppid=28723 vsize=11082080 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28847/stat : 28847 (java) S 28723 28729 19273 0 -1 1077944384 14 12932 0 0 0 0 4 3 20 0 15 0 106896317 11348049920 513566 33554432000 4194304 4196468 140732013201088 140038012658976 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28849] ppid=28723 vsize=11082080 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28849/stat : 28849 (java) S 28723 28729 19273 0 -1 1077944384 1 12932 0 0 0 0 4 3 20 0 15 0 106896317 11348049920 513566 33554432000 4194304 4196468 140732013201088 140037811331840 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28851] ppid=28723 vsize=11082080 memory=3140 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28851/stat : 28851 (java) S 28723 28729 19273 0 -1 1077944384 3 12932 0 0 0 0 4 3 20 0 15 0 106896320 11348049920 513566 33554432000 4194304 4196468 140732013201088 140037503932368 140039235790747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28852] ppid=28723 vsize=11082080 memory=3136 CPUtime=9.58 cores=1,3,5,7
/proc/28729/task/28852/stat : 28852 (java) S 28723 28729 19273 0 -1 1077944384 30756 12932 0 0 945 6 4 3 20 0 15 0 106896320 11348049920 513566 33554432000 4194304 4196468 140732013201088 140038683749104 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28853] ppid=28723 vsize=11082080 memory=2055804 CPUtime=10.28 cores=1,3,5,7
/proc/28729/task/28853/stat : 28853 (java) S 28723 28729 19273 0 -1 1077944384 26766 12932 0 0 1014 7 4 3 20 0 15 0 106896320 11348049920 513566 33554432000 4194304 4196468 140732013201088 140038682696560 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28854] ppid=28723 vsize=11082080 memory=1483184 CPUtime=4.03 cores=1,3,5,7
/proc/28729/task/28854/stat : 28854 (java) S 28723 28729 19273 0 -1 1077944384 24928 12932 0 0 389 7 4 3 20 0 15 0 106896320 11348049920 513566 33554432000 4194304 4196468 140732013201088 140038681643504 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28859] ppid=28723 vsize=11082080 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/28729/task/28859/stat : 28859 (java) S 28723 28729 19273 0 -1 1077944384 3 12932 0 0 0 0 4 3 20 0 15 0 106896320 11348049920 513566 33554432000 4194304 4196468 140732013201088 140037073136480 140039235782357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
[pid=28729/tid=28861] ppid=28723 vsize=11082080 memory=2066060 CPUtime=0.19 cores=1,3,5,7
/proc/28729/task/28861/stat : 28861 (java) S 28723 28729 19273 0 -1 1077944384 141 12932 0 0 6 6 4 3 20 0 15 0 106896320 11348049920 513566 33554432000 4194304 4196468 140732013201088 140038680590896 140039235783298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38936576 140732013206120 140732013208929 140732013208929 140732013211599 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2054264 KiB

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

[startup+226.051 s]
# the end of solver process 28729 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.633 s, system=1.53038 s

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

Child status: 143
Real time (s): 226.051
CPU time (s): 252.163
CPU user time (s): 250.633
CPU system time (s): 1.53038
CPU usage (%): 111.551
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 2537192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.633
system time used= 1.53038
maximum resident set size= 2561300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189342
page faults= 1
swaps= 0
block input operations= 80
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20979
involuntary context switches= 371


# summary of solver processes directly reported to runsolver:
#   pid: 28729
#   total CPU time (s): 252.163
#   total CPU user time (s): 250.633
#   total CPU system time (s): 1.53038

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41672 second user time and 2.21516 second system time

The end

Name	StillLife/ StillLife-wastage-17_c18.xml
MD5SUM	6bdaa478fa612f14e4ae80d6384d4ab1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	138
Best CPU time to get the best result obtained on this benchmark	252.145
Satisfiable
(Un)Satisfiability was proved
Number of variables	742
Number of constraints	467
Number of domains	4
Minimum domain size	2
Maximum domain size	723
Distribution of domain sizes	[{"size":2,"count":361},{"size":3,"count":361},{"size":290,"count":1},{"size":723,"count":19}]
Minimum variable degree	1
Maximum variable degree	20
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":358},{"degree":3,"count":22},{"degree":4,"count":68},{"degree":8,"count":64},{"degree":9,"count":225},{"degree":20,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	21
Distribution of constraint arities	[{"arity":2,"count":87},{"arity":3,"count":68},{"arity":10,"count":289},{"arity":19,"count":4},{"arity":20,"count":1},{"arity":21,"count":18}]
Number of extensional constraints	357
Number of intensional constraints	86
Distribution of constraint types	[{"type":"extension","count":357},{"type":"intension","count":86},{"type":"sum","count":20},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4302615

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