Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: Concrete 3.4 | SAT (TO) | 322 | 2400.15 | 2315.16 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml |
| MD5SUM | a21a0b86f7fa853bf556b3925b3cd061 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 345 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1597 |
| Number of constraints | 944 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1569 |
| Distribution of domain sizes | [{"size":2,"count":784},{"size":3,"count":784},{"size":677,"count":1},{"size":1569,"count":28}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 29 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":781},{"degree":3,"count":31},{"degree":4,"count":104},{"degree":8,"count":100},{"degree":9,"count":576},{"degree":29,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":2,"count":132},{"arity":3,"count":104},{"arity":10,"count":676},{"arity":28,"count":4},{"arity":29,"count":1},{"arity":30,"count":27}] |
| Number of extensional constraints | 780 |
| Number of intensional constraints | 131 |
| Distribution of constraint types | [{"type":"extension","count":780},{"type":"intension","count":131},{"type":"sum","count":29},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
3.55/2.05 c Concrete v3.4 running
18.63/6.03 % 06:15:13.162 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5385. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 1163664780, 3 edges, 4 vertices, 1 tuples
18.63/6.05 % 06:15:13.187 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5460. 'extension(false, x[1][26]: {[0?1]}, x[2][26]: {[0?1]}) :: init: true :: relation: MDD 1582406355, 3 edges, 4 vertices, 1 tuples
18.63/6.05 % 06:15:13.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5465. 'extension(x[25][1]: {[0?1]}, x[26][1]: {[0?1]}, false) :: init: true :: relation: MDD 1163664780, 3 edges, 4 vertices, 1 tuples
18.63/6.07 % 06:15:13.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5540. 'extension(x[25][26]: {[0?1]}, x[26][26]: {[0?1]}, false) :: init: true :: relation: MDD 1582406355, 3 edges, 4 vertices, 1 tuples
18.63/6.07 % 06:15:13.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5544. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 2121573248, 3 edges, 4 vertices, 1 tuples
18.63/6.08 % 06:15:13.215 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5619. 'extension(false, x[26][1]: {[0?1]}, x[26][2]: {[0?1]}) :: init: true :: relation: MDD 632115057, 3 edges, 4 vertices, 1 tuples
18.63/6.08 % 06:15:13.217 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5622. 'extension(x[1][25]: {[0?1]}, x[1][26]: {[0?1]}, false) :: init: true :: relation: MDD 2121573248, 3 edges, 4 vertices, 1 tuples
18.63/6.10 % 06:15:13.230 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5697. 'extension(x[26][25]: {[0?1]}, x[26][26]: {[0?1]}, false) :: init: true :: relation: MDD 632115057, 3 edges, 4 vertices, 1 tuples
18.63/6.10 % 06:15:13.231 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5701. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD
19.06/6.10 % 06:15:13.236 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5749. 'extension(x[1][26]: {[0?1]}, x[2][26]: {[0?1]}) :: init: true :: relation: Empty MDD
19.06/6.10 % 06:15:13.237 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5753. 'extension(x[25][1]: {[0?1]}, x[26][1]: {[0?1]}) :: init: true :: relation: Empty MDD
19.06/6.11 % 06:15:13.241 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5801. 'extension(x[25][26]: {[0?1]}, x[26][26]: {[0?1]}) :: init: true :: relation: Empty MDD
19.06/6.11 % 06:15:13.242 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5805. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD
19.06/6.11 % 06:15:13.247 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5855. 'extension(x[26][1]: {[0?1]}, x[26][2]: {[0?1]}) :: init: true :: relation: Empty MDD
19.06/6.11 % 06:15:13.248 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5861. 'extension(x[1][25]: {[0?1]}, x[1][26]: {[0?1]}) :: init: true :: relation: Empty MDD
19.06/6.12 % 06:15:13.253 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5911. 'extension(x[26][25]: {[0?1]}, x[26][26]: {[0?1]}) :: init: true :: relation: Empty MDD
35.97/12.22 o 10
36.29/12.35 o 11
36.59/12.47 o 12
36.79/12.57 o 13
37.05/12.67 o 14
37.41/12.76 o 15
37.61/12.88 o 16
37.78/12.98 o 17
37.92/13.06 o 18
38.03/13.14 o 19
38.14/13.23 o 20
38.26/13.31 o 26
38.26/13.39 o 27
38.37/13.49 o 28
38.47/13.57 o 29
38.84/13.70 o 30
38.99/13.85 o 31
39.11/13.93 o 32
39.44/14.11 o 33
39.44/14.19 o 34
39.54/14.28 o 35
39.68/14.36 o 36
39.88/14.51 o 37
39.88/14.60 o 38
40.00/14.67 o 39
40.10/14.77 o 245
40.23/14.89 o 246
40.97/15.18 o 247
41.68/15.32 o 248
41.84/15.44 o 249
41.94/15.55 o 250
42.05/15.67 o 251
42.18/15.78 o 252
42.41/15.95 o 253
42.65/16.16 o 254
42.76/16.27 o 255
43.03/16.43 o 256
43.27/16.64 o 257
43.37/16.76 o 258
43.50/16.88 o 259
44.07/17.21 o 260
44.31/17.40 o 261
44.44/17.51 o 262
44.55/17.62 o 263
44.68/17.73 o 264
44.77/17.84 o 265
44.90/17.96 o 266
45.02/18.07 o 267
45.61/18.36 o 268
45.75/18.47 o 269
46.09/18.75 o 270
46.39/18.96 o 271
47.36/19.78 o 272
47.47/19.90 o 273
47.79/20.02 o 274
48.20/20.38 o 275
48.31/20.49 o 276
48.65/20.71 o 277
48.77/20.82 o 278
49.38/21.39 o 279
49.51/21.50 o 280
49.72/21.61 o 281
49.85/21.74 o 282
50.30/22.16 o 283
50.40/22.27 o 284
50.95/22.70 o 285
51.19/22.91 o 286
51.29/23.02 o 287
53.02/24.50 o 288
53.14/24.61 o 289
53.47/24.99 o 290
53.60/25.09 o 291
53.82/25.30 o 292
54.04/25.41 o 293
54.14/25.58 o 294
54.26/25.68 o 295
54.36/25.78 o 296
55.18/26.34 o 297
55.52/26.61 o 298
55.62/26.75 o 299
62.99/33.34 o 300
63.21/33.55 o 301
63.39/33.64 o 302
64.60/34.62 o 303
67.30/37.04 o 304
67.42/37.14 o 305
68.88/38.48 o 306
102.37/68.48 o 307
103.34/69.34 o 308
103.87/69.88 o 309
104.55/70.42 o 310
204.11/162.98 o 311
205.82/164.56 o 312
206.60/165.28 o 313
266.43/222.23 o 314
352.61/304.82 o 315
612.00/554.59 o 316
612.20/554.72 o 317
1660.41/1581.33 o 318
1660.61/1581.54 o 319
1660.81/1581.71 o 320
1665.27/1586.14 o 321
2220.64/2137.61 o 322
2400.05/2315.11 java.util.concurrent.TimeoutException
2400.05/2315.11 at concrete.MAC.mac(MAC.scala:74)
2400.05/2315.11 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.05/2315.11 at scala.util.Try$.apply(Try.scala:209)
2400.05/2315.11 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.05/2315.11 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.05/2315.11 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.05/2315.11 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.05/2315.11 at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.05/2315.11 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.05/2315.11 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.05/2315.11 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.05/2315.11 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.05/2315.11 at concrete.MAC.oneRun(MAC.scala:146)
2400.05/2315.11 at concrete.MAC.nextSolution(MAC.scala:166)
2400.05/2315.11 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.05/2315.11 at concrete.ProblemState.map(ProblemState.scala:203)
2400.05/2315.11 at concrete.ProblemState.map(ProblemState.scala:188)
2400.05/2315.11 at concrete.MAC.nextSolution(MAC.scala:195)
2400.05/2315.11 at concrete.Solver.hasNext(Solver.scala:202)
2400.05/2315.11 at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.05/2315.11 at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.05/2315.11 at concrete.Solver.toStream(Solver.scala:73)
2400.05/2315.11 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.05/2315.11 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.05/2315.11 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.05/2315.11 at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.05/2315.11 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.05/2315.11 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.05/2315.11 at scala.util.Success.map(Try.scala:209)
2400.05/2315.11 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.05/2315.11 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.05/2315.11 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.05/2315.11 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.05/2315.11 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.05/2315.11 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.05/2315.11 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.05/2315.11 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.05/2315.11 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.05/2315.11 at scala.collection.immutable.List.foreach(List.scala:389)
2400.05/2315.11 at scala.App.main(App.scala:76)
2400.05/2315.11 at scala.App.main$(App.scala:74)
2400.05/2315.11 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.05/2315.11 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.05/2315.12 v <instantiation cost="322">
2400.05/2315.12 v <list>
2400.05/2315.12 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[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] 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[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] 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[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] 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[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] 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[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] 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[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] 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[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] 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[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] 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[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] 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[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] 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[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] 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[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] 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[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] 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[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] 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[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] 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[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] 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[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] 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[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] 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] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] 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[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] 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[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] 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[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] 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[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] 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[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] 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[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] 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[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] 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[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] 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[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] 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[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] 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[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] 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[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] 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[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] 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[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] 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[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] 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[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] 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[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] 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[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] 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[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] 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] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] 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] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] z
2400.05/2315.12 v </list>
2400.05/2315.12 v <values>
2400.05/2315.12 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 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 1 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 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 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 2 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 1 1 0 0 0 2 0 0 1 2 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 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 1 0 1 0 0 0 1 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 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 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 1 1 0 0 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 2 1 0 0 0 0 0 0 1 2 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 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 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 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 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 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 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 1 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 14 26 34 46 49 52 58 60 64 73 82 90 99 106 108 112 118 120 122 128 131 134 139 143 147 149 157 168 322
2400.05/2315.12 v </values>
2400.05/2315.12 v </instantiation>
2400.05/2315.12 s SATISFIABLE
OK 322
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244779-1500696906/watcher-4244779-1500696906 -o /tmp/evaluation-result-4244779-1500696906/solver-4244779-1500696906 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500682951-16359 --watchdog 2560 bin/concrete HOME/instance-4244779-1500696906.xml pid=19278 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.70 1.75 1.69 3/261 19281 /proc/meminfo: memFree=28552864/32770624 swapFree=5912/97336 [pid=19281] ppid=19278 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19281/stat : 19281 (bash) S 19278 19281 16327 0 -1 4202496 686 1531 0 0 0 0 0 0 20 0 1 0 4960247 9736192 350 33554432000 4194304 5098028 140722416202384 140722416200024 140496355560448 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 39907328 140722416211214 140722416211299 140722416211299 140722416213998 0 /proc/19281/statm: 2377 350 277 221 0 86 0 [startup+0.100116 s] /proc/loadavg: 1.70 1.75 1.69 3/261 19281 /proc/meminfo: memFree=28552864/32770624 swapFree=5912/97336 [pid=19281] ppid=19278 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/19281/stat : 19281 (bash) S 19278 19281 16327 0 -1 4202496 884 6416 0 0 0 0 0 1 20 0 1 0 4960247 9871360 378 33554432000 4194304 5098028 140722416202384 140722416196392 140496355560448 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 39907328 140722416211214 140722416211299 140722416211299 140722416213998 0 /proc/19281/statm: 2410 378 296 221 0 119 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9640 [startup+0.200289 s] /proc/loadavg: 1.70 1.75 1.69 3/261 19281 /proc/meminfo: memFree=28552864/32770624 swapFree=5912/97336 [pid=19281] ppid=19278 vsize=10902292 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/19281/stat : 19281 (java) S 19278 19281 16327 0 -1 1077944320 6691 12342 0 0 11 1 6 3 20 0 20 0 4960247 11163947008 7363 33554432000 4194304 4196468 140732226581264 140732226563808 140405637881591 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 /proc/19281/statm: 2725573 7363 2918 1 0 2713890 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 10902292 [startup+0.300328 s] /proc/loadavg: 1.70 1.75 1.69 3/261 19281 /proc/meminfo: memFree=28552864/32770624 swapFree=5912/97336 [pid=19281] ppid=19278 vsize=10902292 CPUtime=0.34 cores=1,3,5,7,9,11,13,15 /proc/19281/stat : 19281 (java) S 19278 19281 16327 0 -1 1077944320 9940 12342 0 0 23 2 6 3 20 0 20 0 4960247 11163947008 10935 33554432000 4194304 4196468 140732226581264 140732226563808 140405637881591 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 /proc/19281/statm: 2725573 10935 2953 1 0 2713890 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 10902292 [startup+0.700268 s] /proc/loadavg: 1.70 1.75 1.69 3/261 19281 /proc/meminfo: memFree=28552864/32770624 swapFree=5912/97336 [pid=19281] ppid=19278 vsize=10902720 CPUtime=1.02 cores=1,3,5,7,9,11,13,15 /proc/19281/stat : 19281 (java) S 19278 19281 16327 0 -1 1077944320 16900 12342 0 0 89 4 6 3 20 0 20 0 4960247 11164385280 20243 33554432000 4194304 4196468 140732226581264 140732226563808 140405637881591 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 /proc/19281/statm: 2725680 20243 3235 1 0 2713890 0 Current children cumulated CPU time (s) 1.02 Current children cumulated vsize (KiB) 10902720 [startup+1.5008 s] /proc/loadavg: 1.70 1.75 1.69 3/281 19354 /proc/meminfo: memFree=28441404/32770624 swapFree=5912/97372 [pid=19281] ppid=19278 vsize=10915392 CPUtime=2.38 cores=1,3,5,7,9,11,13,15 /proc/19281/stat : 19281 (java) S 19278 19281 16327 0 -1 1077944320 27584 12342 0 0 217 12 6 3 20 0 20 0 4960247 11177361408 44422 33554432000 4194304 4196468 140732226581264 140732226563808 140405637881591 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 /proc/19281/statm: 2728848 44422 3409 1 0 2716962 0 [pid=19281/tid=19336] ppid=19278 vsize=10915392 CPUtime=1.42 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19336/stat : 19336 (java) R 19278 19281 16327 0 -1 4202560 19724 12342 0 0 128 5 6 3 20 0 20 0 4960258 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405642112352 140405619722570 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19337] ppid=19278 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19337/stat : 19337 (java) S 19278 19281 16327 0 -1 1077944384 28 12342 0 0 0 0 6 3 20 0 20 0 4960258 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405574573072 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19338] ppid=19278 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19338/stat : 19338 (java) S 19278 19281 16327 0 -1 1077944384 36 12342 0 0 1 0 6 3 20 0 20 0 4960258 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405573520528 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19339] ppid=19278 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19339/stat : 19339 (java) S 19278 19281 16327 0 -1 1077944384 26 12342 0 0 0 0 6 3 20 0 20 0 4960258 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405572467472 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19340] ppid=19278 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19340/stat : 19340 (java) S 19278 19281 16327 0 -1 1077944384 130 12342 0 0 1 0 6 3 20 0 20 0 4960258 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405571414928 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19341] ppid=19278 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19341/stat : 19341 (java) S 19278 19281 16327 0 -1 1077944384 34 12342 0 0 0 0 6 3 20 0 20 0 4960258 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405570361872 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19342] ppid=19278 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19342/stat : 19342 (java) S 19278 19281 16327 0 -1 1077944384 17 12342 0 0 1 0 6 3 20 0 20 0 4960258 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405569309328 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19343] ppid=19278 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19343/stat : 19343 (java) S 19278 19281 16327 0 -1 1077944384 48 12342 0 0 1 0 6 3 20 0 20 0 4960258 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405238524176 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19344] ppid=19278 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19344/stat : 19344 (java) S 19278 19281 16327 0 -1 1077944384 22 12342 0 0 1 0 6 3 20 0 20 0 4960258 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405237471632 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19345] ppid=19278 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19345/stat : 19345 (java) S 19278 19281 16327 0 -1 1077944384 1441 12342 0 0 1 0 6 3 20 0 20 0 4960260 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405112490736 140405637892738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19346] ppid=19278 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19346/stat : 19346 (java) S 19278 19281 16327 0 -1 1077944384 56 12342 0 0 0 0 6 3 20 0 20 0 4960261 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405111437024 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19347] ppid=19278 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19347/stat : 19347 (java) S 19278 19281 16327 0 -1 1077944384 44 12342 0 0 0 0 6 3 20 0 20 0 4960261 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405110383872 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19348] ppid=19278 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19348/stat : 19348 (java) S 19278 19281 16327 0 -1 1077944384 1 12342 0 0 0 0 6 3 20 0 20 0 4960264 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405109332432 140405637900187 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19349] ppid=19278 vsize=10915392 CPUtime=0.23 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19349/stat : 19349 (java) S 19278 19281 16327 0 -1 1077944384 754 12342 0 0 14 0 6 3 20 0 20 0 4960264 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405108279536 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19350] ppid=19278 vsize=10915392 CPUtime=0.23 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19350/stat : 19350 (java) S 19278 19281 16327 0 -1 1077944384 713 12342 0 0 14 0 6 3 20 0 20 0 4960264 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405107226992 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19351] ppid=19278 vsize=10915392 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19351/stat : 19351 (java) S 19278 19281 16327 0 -1 1077944384 741 12342 0 0 16 0 6 3 20 0 20 0 4960264 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405106173936 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19352] ppid=19278 vsize=10915392 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19352/stat : 19352 (java) R 19278 19281 16327 0 -1 4202560 1624 12342 0 0 31 0 6 3 20 0 20 0 4960264 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405105118328 140405616684717 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19353] ppid=19278 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19353/stat : 19353 (java) S 19278 19281 16327 0 -1 1077944384 3 12342 0 0 0 0 6 3 20 0 20 0 4960264 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405104069600 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19354] ppid=19278 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19354/stat : 19354 (java) S 19278 19281 16327 0 -1 1077944384 9 12342 0 0 0 0 6 3 20 0 20 0 4960264 11177361408 44422 33554432000 4194304 4196468 140732226581264 140405103017136 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 Current children cumulated CPU time (s) 2.38 Current children cumulated vsize (KiB) 10915392 [startup+3.10075 s] /proc/loadavg: 1.70 1.75 1.69 6/281 19354 /proc/meminfo: memFree=28370396/32770624 swapFree=5912/97372 [pid=19281] ppid=19278 vsize=10925820 CPUtime=6.67 cores=1,3,5,7,9,11,13,15 /proc/19281/stat : 19281 (java) S 19278 19281 16327 0 -1 1077944320 48190 12342 0 0 640 18 6 3 20 0 20 0 4960247 11188039680 57938 33554432000 4194304 4196468 140732226581264 140732226563808 140405637881591 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 /proc/19281/statm: 2731455 57938 3476 1 0 2719010 0 [pid=19281/tid=19336] ppid=19278 vsize=10925820 CPUtime=3.02 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19336/stat : 19336 (java) R 19278 19281 16327 0 -1 4202560 31811 12342 0 0 285 8 6 3 20 0 20 0 4960258 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405642112384 140405256053411 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19337] ppid=19278 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19337/stat : 19337 (java) S 19278 19281 16327 0 -1 1077944384 28 12342 0 0 0 0 6 3 20 0 20 0 4960258 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405574573072 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19338] ppid=19278 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19338/stat : 19338 (java) S 19278 19281 16327 0 -1 1077944384 36 12342 0 0 1 0 6 3 20 0 20 0 4960258 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405573520528 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19339] ppid=19278 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19339/stat : 19339 (java) S 19278 19281 16327 0 -1 1077944384 26 12342 0 0 0 0 6 3 20 0 20 0 4960258 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405572467472 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19340] ppid=19278 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19340/stat : 19340 (java) S 19278 19281 16327 0 -1 1077944384 130 12342 0 0 1 0 6 3 20 0 20 0 4960258 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405571414928 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19341] ppid=19278 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19341/stat : 19341 (java) S 19278 19281 16327 0 -1 1077944384 34 12342 0 0 0 0 6 3 20 0 20 0 4960258 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405570361872 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19342] ppid=19278 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19342/stat : 19342 (java) S 19278 19281 16327 0 -1 1077944384 17 12342 0 0 1 0 6 3 20 0 20 0 4960258 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405569309328 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19343] ppid=19278 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19343/stat : 19343 (java) S 19278 19281 16327 0 -1 1077944384 48 12342 0 0 1 0 6 3 20 0 20 0 4960258 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405238524176 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19344] ppid=19278 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19344/stat : 19344 (java) S 19278 19281 16327 0 -1 1077944384 22 12342 0 0 1 0 6 3 20 0 20 0 4960258 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405237471632 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19345] ppid=19278 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19345/stat : 19345 (java) S 19278 19281 16327 0 -1 1077944384 1461 12342 0 0 1 0 6 3 20 0 20 0 4960260 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405112490736 140405637892738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19346] ppid=19278 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19346/stat : 19346 (java) S 19278 19281 16327 0 -1 1077944384 56 12342 0 0 0 0 6 3 20 0 20 0 4960261 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405111437024 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19347] ppid=19278 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19347/stat : 19347 (java) S 19278 19281 16327 0 -1 1077944384 44 12342 0 0 0 0 6 3 20 0 20 0 4960261 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405110383872 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19348] ppid=19278 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19348/stat : 19348 (java) S 19278 19281 16327 0 -1 1077944384 1 12342 0 0 0 0 6 3 20 0 20 0 4960264 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405109332432 140405637900187 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19349] ppid=19278 vsize=10925820 CPUtime=0.98 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19349/stat : 19349 (java) S 19278 19281 16327 0 -1 1077944384 4730 12342 0 0 88 1 6 3 20 0 20 0 4960264 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405108279536 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19350] ppid=19278 vsize=10925820 CPUtime=0.77 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19350/stat : 19350 (java) S 19278 19281 16327 0 -1 1077944384 1666 12342 0 0 68 0 6 3 20 0 20 0 4960264 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405107226992 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19351] ppid=19278 vsize=10925820 CPUtime=0.82 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19351/stat : 19351 (java) R 19278 19281 16327 0 -1 4202560 1786 12342 0 0 73 0 6 3 20 0 20 0 4960264 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405106157168 140405621382021 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19352] ppid=19278 vsize=10925820 CPUtime=1.24 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19352/stat : 19352 (java) R 19278 19281 16327 0 -1 4202560 4147 12342 0 0 114 1 6 3 20 0 20 0 4960264 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405105116464 140405621962078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19353] ppid=19278 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19353/stat : 19353 (java) S 19278 19281 16327 0 -1 1077944384 3 12342 0 0 0 0 6 3 20 0 20 0 4960264 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405104069600 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19354] ppid=19278 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19354/stat : 19354 (java) S 19278 19281 16327 0 -1 1077944384 12 12342 0 0 0 0 6 3 20 0 20 0 4960264 11188039680 57938 33554432000 4194304 4196468 140732226581264 140405103017136 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 Current children cumulated CPU time (s) 6.67 Current children cumulated vsize (KiB) 10925820 [startup+6.30114 s] /proc/loadavg: 1.81 1.77 1.70 6/281 19354 /proc/meminfo: memFree=28174304/32770624 swapFree=5912/97376 [pid=19281] ppid=19278 vsize=10929916 CPUtime=19.96 cores=1,3,5,7,9,11,13,15 /proc/19281/stat : 19281 (java) S 19278 19281 16327 0 -1 1077944320 75615 12342 0 0 1954 33 6 3 20 0 20 0 4960247 11192233984 130741 33554432000 4194304 4196468 140732226581264 140732226563808 140405637881591 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 /proc/19281/statm: 2732479 130741 3498 1 0 2720034 0 [pid=19281/tid=19336] ppid=19278 vsize=10929916 CPUtime=6.08 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19336/stat : 19336 (java) R 19278 19281 16327 0 -1 4202560 34037 12342 0 0 586 13 6 3 20 0 20 0 4960258 11192233984 130741 33554432000 4194304 4196468 140732226581264 140405642100704 140405621962078 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19337] ppid=19278 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19337/stat : 19337 (java) S 19278 19281 16327 0 -1 1077944384 72 12342 0 0 6 1 6 3 20 0 20 0 4960258 11192233984 130744 33554432000 4194304 4196468 140732226581264 140405574573072 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19338] ppid=19278 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19338/stat : 19338 (java) S 19278 19281 16327 0 -1 1077944384 88 12342 0 0 6 1 6 3 20 0 20 0 4960258 11192233984 130744 33554432000 4194304 4196468 140732226581264 140405573520528 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19339] ppid=19278 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19339/stat : 19339 (java) S 19278 19281 16327 0 -1 1077944384 41 12342 0 0 6 1 6 3 20 0 20 0 4960258 11192233984 130744 33554432000 4194304 4196468 140732226581264 140405572467472 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19340] ppid=19278 vsize=10929916 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19340/stat : 19340 (java) S 19278 19281 16327 0 -1 1077944384 203 12342 0 0 5 1 6 3 20 0 20 0 4960258 11192233984 130744 33554432000 4194304 4196468 140732226581264 140405571414928 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19341] ppid=19278 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19341/stat : 19341 (java) S 19278 19281 16327 0 -1 1077944384 106 12342 0 0 3 0 6 3 20 0 20 0 4960258 11192233984 130744 33554432000 4194304 4196468 140732226581264 140405570361872 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19342] ppid=19278 vsize=10929916 CPUtime=0.14 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19342/stat : 19342 (java) S 19278 19281 16327 0 -1 1077944384 60 12342 0 0 5 0 6 3 20 0 20 0 4960258 11192233984 130744 33554432000 4194304 4196468 140732226581264 140405569309328 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19343] ppid=19278 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19343/stat : 19343 (java) S 19278 19281 16327 0 -1 1077944384 82 12342 0 0 7 0 6 3 20 0 20 0 4960258 11192233984 130744 33554432000 4194304 4196468 140732226581264 140405238524176 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19344] ppid=19278 vsize=10929916 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19344/stat : 19344 (java) S 19278 19281 16327 0 -1 1077944384 632 12342 0 0 6 0 6 3 20 0 20 0 4960258 11192233984 130744 33554432000 4194304 4196468 140732226581264 140405237471632 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19345] ppid=19278 vsize=10929916 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19345/stat : 19345 (java) S 19278 19281 16327 0 -1 1077944384 2358 12342 0 0 4 0 6 3 20 0 20 0 4960260 11192233984 130744 33554432000 4194304 4196468 140732226581264 140405112490736 140405637892738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19346] ppid=19278 vsize=10929916 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19346/stat : 19346 (java) S 19278 19281 16327 0 -1 1077944384 56 12342 0 0 0 0 6 3 20 0 20 0 4960261 11192233984 130744 33554432000 4194304 4196468 140732226581264 140405111437024 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19347] ppid=19278 vsize=10929916 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19347/stat : 19347 (java) S 19278 19281 16327 0 -1 1077944384 44 12342 0 0 0 0 6 3 20 0 20 0 4960261 11192233984 130744 33554432000 4194304 4196468 140732226581264 140405110383872 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19348] ppid=19278 vsize=10929916 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19348/stat : 19348 (java) S 19278 19281 16327 0 -1 1077944384 1 12342 0 0 0 0 6 3 20 0 20 0 4960264 11192233984 130744 33554432000 4194304 4196468 140732226581264 140405109332432 140405637900187 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19349] ppid=19278 vsize=10929916 CPUtime=3.93 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19349/stat : 19349 (java) R 19278 19281 16327 0 -1 4202560 11429 12342 0 0 382 2 6 3 20 0 20 0 4960264 11192233984 130744 33554432000 4194304 4196468 140732226581264 140405108265760 140405630987308 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19350] ppid=19278 vsize=10929916 CPUtime=3.7 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19350/stat : 19350 (java) R 19278 19281 16327 0 -1 4202560 9904 12342 0 0 359 2 6 3 20 0 20 0 4960264 11192233984 130744 33554432000 4194304 4196468 140732226581264 140405107213016 140405616297752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19351] ppid=19278 vsize=10929916 CPUtime=3.72 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19351/stat : 19351 (java) R 19278 19281 16327 0 -1 4202560 7397 12342 0 0 362 1 6 3 20 0 20 0 4960264 11192233984 130744 33554432000 4194304 4196468 140732226581264 140405106159376 140405637902938 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19352] ppid=19278 vsize=10929916 CPUtime=2.21 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19352/stat : 19352 (java) R 19278 19281 16327 0 -1 4202560 6961 12342 0 0 210 2 6 3 20 0 20 0 4960264 11192233984 130744 33554432000 4194304 4196468 140732226581264 140405105116232 140405637893526 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19353] ppid=19278 vsize=10929916 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=19281/tid=19350] ppid=19278 vsize=10934012 CPUtime=10.19 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19350/stat : 19350 (java) S 19278 19281 16327 0 -1 1077944384 31786 12342 0 0 1003 7 6 3 20 0 20 0 4960264 11196428288 825448 33554432000 4194304 4196468 140732226581264 140405107226992 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19351] ppid=19278 vsize=10934012 CPUtime=10.31 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19351/stat : 19351 (java) S 19278 19281 16327 0 -1 1077944384 27115 12342 0 0 1016 6 6 3 20 0 20 0 4960264 11196428288 825448 33554432000 4194304 4196468 140732226581264 140405106173936 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19352] ppid=19278 vsize=10934012 CPUtime=4.71 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19352/stat : 19352 (java) S 19278 19281 16327 0 -1 1077944384 39078 12342 0 0 453 9 6 3 20 0 20 0 4960264 11196428288 825448 33554432000 4194304 4196468 140732226581264 140405105121392 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19353] ppid=19278 vsize=10934012 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19353/stat : 19353 (java) S 19278 19281 16327 0 -1 1077944384 3 12342 0 0 0 0 6 3 20 0 20 0 4960264 11196428288 825448 33554432000 4194304 4196468 140732226581264 140405104069600 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19354] ppid=19278 vsize=10934012 CPUtime=1.17 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19354/stat : 19354 (java) S 19278 19281 16327 0 -1 1077944384 1333 12342 0 0 50 58 6 3 20 0 20 0 4960264 11196428288 825448 33554432000 4194304 4196468 140732226581264 140405103017136 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 Current children cumulated CPU time (s) 2286.25 Current children cumulated vsize (KiB) 10934012 [startup+2262.3 s] /proc/loadavg: 1.39 1.52 1.62 3/281 19570 /proc/meminfo: memFree=27468804/32770624 swapFree=5912/99720 [pid=19281] ppid=19278 vsize=10934012 CPUtime=2346.93 cores=1,3,5,7,9,11,13,15 /proc/19281/stat : 19281 (java) S 19278 19281 16327 0 -1 1077944320 620230 12342 0 0 233675 1009 6 3 20 0 20 0 4960247 11196428288 824807 33554432000 4194304 4196468 140732226581264 140732226563808 140405637881591 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 /proc/19281/statm: 2733503 824807 3531 1 0 2721058 0 [pid=19281/tid=19336] ppid=19278 vsize=10934012 CPUtime=2251.17 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19336/stat : 19336 (java) R 19278 19281 16327 0 -1 4202560 354216 12342 0 0 225002 106 6 3 20 0 20 0 4960258 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405642115216 140405262066012 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19337] ppid=19278 vsize=10934012 CPUtime=7.41 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19337/stat : 19337 (java) S 19278 19281 16327 0 -1 1077944384 10682 12342 0 0 629 103 6 3 20 0 20 0 4960258 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405574573072 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19338] ppid=19278 vsize=10934012 CPUtime=7.29 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19338/stat : 19338 (java) S 19278 19281 16327 0 -1 1077944384 12081 12342 0 0 617 103 6 3 20 0 20 0 4960258 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405573520528 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19339] ppid=19278 vsize=10934012 CPUtime=7.21 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19339/stat : 19339 (java) S 19278 19281 16327 0 -1 1077944384 21875 12342 0 0 611 101 6 3 20 0 20 0 4960258 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405572467472 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19340] ppid=19278 vsize=10934012 CPUtime=7.22 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19340/stat : 19340 (java) S 19278 19281 16327 0 -1 1077944384 9544 12342 0 0 614 99 6 3 20 0 20 0 4960258 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405571414928 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19341] ppid=19278 vsize=10934012 CPUtime=7.14 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19341/stat : 19341 (java) S 19278 19281 16327 0 -1 1077944384 12232 12342 0 0 604 101 6 3 20 0 20 0 4960258 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405570361872 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19342] ppid=19278 vsize=10934012 CPUtime=7.24 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19342/stat : 19342 (java) S 19278 19281 16327 0 -1 1077944384 12701 12342 0 0 614 101 6 3 20 0 20 0 4960258 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405569309328 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19343] ppid=19278 vsize=10934012 CPUtime=7.38 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19343/stat : 19343 (java) S 19278 19281 16327 0 -1 1077944384 12598 12342 0 0 629 100 6 3 20 0 20 0 4960258 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405238524176 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19344] ppid=19278 vsize=10934012 CPUtime=7.34 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19344/stat : 19344 (java) S 19278 19281 16327 0 -1 1077944384 10122 12342 0 0 625 100 6 3 20 0 20 0 4960258 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405237471632 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19345] ppid=19278 vsize=10934012 CPUtime=1.95 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19345/stat : 19345 (java) S 19278 19281 16327 0 -1 1077944384 36035 12342 0 0 156 30 6 3 20 0 20 0 4960260 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405112490736 140405637892738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19346] ppid=19278 vsize=10934012 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19346/stat : 19346 (java) S 19278 19281 16327 0 -1 1077944384 102 12342 0 0 0 0 6 3 20 0 20 0 4960261 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405111437024 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19347] ppid=19278 vsize=10934012 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19347/stat : 19347 (java) S 19278 19281 16327 0 -1 1077944384 47 12342 0 0 0 0 6 3 20 0 20 0 4960261 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405110383872 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19348] ppid=19278 vsize=10934012 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19348/stat : 19348 (java) S 19278 19281 16327 0 -1 1077944384 1 12342 0 0 0 0 6 3 20 0 20 0 4960264 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405109332432 140405637900187 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19349] ppid=19278 vsize=10934012 CPUtime=10.24 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19349/stat : 19349 (java) S 19278 19281 16327 0 -1 1077944384 26516 12342 0 0 1008 7 6 3 20 0 20 0 4960264 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405108279536 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19350] ppid=19278 vsize=10934012 CPUtime=10.19 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19350/stat : 19350 (java) S 19278 19281 16327 0 -1 1077944384 31788 12342 0 0 1003 7 6 3 20 0 20 0 4960264 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405107226992 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19351] ppid=19278 vsize=10934012 CPUtime=10.31 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19351/stat : 19351 (java) S 19278 19281 16327 0 -1 1077944384 27117 12342 0 0 1016 6 6 3 20 0 20 0 4960264 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405106173936 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19352] ppid=19278 vsize=10934012 CPUtime=4.71 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19352/stat : 19352 (java) S 19278 19281 16327 0 -1 1077944384 39080 12342 0 0 453 9 6 3 20 0 20 0 4960264 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405105121392 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19353] ppid=19278 vsize=10934012 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19353/stat : 19353 (java) S 19278 19281 16327 0 -1 1077944384 3 12342 0 0 0 0 6 3 20 0 20 0 4960264 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405104069600 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19354] ppid=19278 vsize=10934012 CPUtime=1.2 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19354/stat : 19354 (java) S 19278 19281 16327 0 -1 1077944384 1357 12342 0 0 51 60 6 3 20 0 20 0 4960264 11196428288 824807 33554432000 4194304 4196468 140732226581264 140405103017136 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 Current children cumulated CPU time (s) 2346.93 Current children cumulated vsize (KiB) 10934012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2315.1 s] /proc/loadavg: 1.64 1.58 1.63 3/281 19571 /proc/meminfo: memFree=27469592/32770624 swapFree=5912/99772 [pid=19281] ppid=19278 vsize=10934012 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15 /proc/19281/stat : 19281 (java) S 19278 19281 16327 0 -1 1077944320 627390 12342 0 0 238984 1012 6 3 20 0 20 0 4960247 11196428288 824679 33554432000 4194304 4196468 140732226581264 140732226563808 140405637881591 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 /proc/19281/statm: 2733503 824679 3531 1 0 2721058 0 [pid=19281/tid=19336] ppid=19278 vsize=10934012 CPUtime=2303.89 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19336/stat : 19336 (java) R 19278 19281 16327 0 -1 4202560 358739 12342 0 0 230273 107 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405642114640 140405253110848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19337] ppid=19278 vsize=10934012 CPUtime=7.46 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19337/stat : 19337 (java) S 19278 19281 16327 0 -1 1077944384 10737 12342 0 0 634 103 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405574573072 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19338] ppid=19278 vsize=10934012 CPUtime=7.33 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19338/stat : 19338 (java) S 19278 19281 16327 0 -1 1077944384 13569 12342 0 0 621 103 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405573520528 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19339] ppid=19278 vsize=10934012 CPUtime=7.26 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19339/stat : 19339 (java) S 19278 19281 16327 0 -1 1077944384 21908 12342 0 0 616 101 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405572467472 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19340] ppid=19278 vsize=10934012 CPUtime=7.26 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19340/stat : 19340 (java) S 19278 19281 16327 0 -1 1077944384 9659 12342 0 0 618 99 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405571414928 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19341] ppid=19278 vsize=10934012 CPUtime=7.19 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19341/stat : 19341 (java) S 19278 19281 16327 0 -1 1077944384 12392 12342 0 0 609 101 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405570361872 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19342] ppid=19278 vsize=10934012 CPUtime=7.27 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19342/stat : 19342 (java) S 19278 19281 16327 0 -1 1077944384 12889 12342 0 0 617 101 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405569309328 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19343] ppid=19278 vsize=10934012 CPUtime=7.43 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19343/stat : 19343 (java) S 19278 19281 16327 0 -1 1077944384 12649 12342 0 0 633 101 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405238524176 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19344] ppid=19278 vsize=10934012 CPUtime=7.39 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19344/stat : 19344 (java) S 19278 19281 16327 0 -1 1077944384 10263 12342 0 0 630 100 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405237471632 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19345] ppid=19278 vsize=10934012 CPUtime=1.96 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19345/stat : 19345 (java) S 19278 19281 16327 0 -1 1077944384 36398 12342 0 0 157 30 6 3 20 0 20 0 4960260 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405112490736 140405637892738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19346] ppid=19278 vsize=10934012 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19346/stat : 19346 (java) S 19278 19281 16327 0 -1 1077944384 102 12342 0 0 0 0 6 3 20 0 20 0 4960261 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405111437024 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19347] ppid=19278 vsize=10934012 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19347/stat : 19347 (java) S 19278 19281 16327 0 -1 1077944384 47 12342 0 0 0 0 6 3 20 0 20 0 4960261 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405110383872 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19348] ppid=19278 vsize=10934012 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19348/stat : 19348 (java) S 19278 19281 16327 0 -1 1077944384 1 12342 0 0 0 0 6 3 20 0 20 0 4960264 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405109332432 140405637900187 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19349] ppid=19278 vsize=10934012 CPUtime=10.24 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19349/stat : 19349 (java) S 19278 19281 16327 0 -1 1077944384 26523 12342 0 0 1008 7 6 3 20 0 20 0 4960264 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405108279536 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19350] ppid=19278 vsize=10934012 CPUtime=10.19 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19350/stat : 19350 (java) S 19278 19281 16327 0 -1 1077944384 31792 12342 0 0 1003 7 6 3 20 0 20 0 4960264 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405107226992 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19351] ppid=19278 vsize=10934012 CPUtime=10.31 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19351/stat : 19351 (java) S 19278 19281 16327 0 -1 1077944384 27121 12342 0 0 1016 6 6 3 20 0 20 0 4960264 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405106173936 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19352] ppid=19278 vsize=10934012 CPUtime=4.71 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19352/stat : 19352 (java) S 19278 19281 16327 0 -1 1077944384 39085 12342 0 0 453 9 6 3 20 0 20 0 4960264 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405105121392 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19353] ppid=19278 vsize=10934012 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19353/stat : 19353 (java) S 19278 19281 16327 0 -1 1077944384 3 12342 0 0 0 0 6 3 20 0 20 0 4960264 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405104069600 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19354] ppid=19278 vsize=10934012 CPUtime=1.24 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19354/stat : 19354 (java) S 19278 19281 16327 0 -1 1077944384 1380 12342 0 0 53 62 6 3 20 0 20 0 4960264 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405103017136 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 10934012 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 19281 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2315.1 s] /proc/loadavg: 1.64 1.58 1.63 3/281 19571 /proc/meminfo: memFree=27469592/32770624 swapFree=5912/99772 [pid=19281] ppid=19278 vsize=10934012 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15 /proc/19281/stat : 19281 (java) S 19278 19281 16327 0 -1 1077944320 627390 12342 0 0 238984 1012 6 3 20 0 20 0 4960247 11196428288 824679 33554432000 4194304 4196468 140732226581264 140732226563808 140405637881591 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 /proc/19281/statm: 2733503 824679 3531 1 0 2721058 0 [pid=19281/tid=19336] ppid=19278 vsize=10934012 CPUtime=2303.89 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19336/stat : 19336 (java) R 19278 19281 16327 0 -1 4202560 358739 12342 0 0 230273 107 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405642114640 140405253110848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19337] ppid=19278 vsize=10934012 CPUtime=7.46 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19337/stat : 19337 (java) S 19278 19281 16327 0 -1 1077944384 10737 12342 0 0 634 103 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405574573072 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19338] ppid=19278 vsize=10934012 CPUtime=7.33 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19338/stat : 19338 (java) S 19278 19281 16327 0 -1 1077944384 13569 12342 0 0 621 103 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405573520528 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19339] ppid=19278 vsize=10934012 CPUtime=7.26 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19339/stat : 19339 (java) S 19278 19281 16327 0 -1 1077944384 21908 12342 0 0 616 101 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405572467472 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19340] ppid=19278 vsize=10934012 CPUtime=7.26 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19340/stat : 19340 (java) S 19278 19281 16327 0 -1 1077944384 9659 12342 0 0 618 99 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405571414928 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19341] ppid=19278 vsize=10934012 CPUtime=7.19 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19341/stat : 19341 (java) S 19278 19281 16327 0 -1 1077944384 12392 12342 0 0 609 101 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405570361872 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19342] ppid=19278 vsize=10934012 CPUtime=7.27 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19342/stat : 19342 (java) S 19278 19281 16327 0 -1 1077944384 12889 12342 0 0 617 101 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405569309328 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19343] ppid=19278 vsize=10934012 CPUtime=7.43 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19343/stat : 19343 (java) S 19278 19281 16327 0 -1 1077944384 12649 12342 0 0 633 101 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405238524176 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19344] ppid=19278 vsize=10934012 CPUtime=7.39 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19344/stat : 19344 (java) S 19278 19281 16327 0 -1 1077944384 10263 12342 0 0 630 100 6 3 20 0 20 0 4960258 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405237471632 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19345] ppid=19278 vsize=10934012 CPUtime=1.96 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19345/stat : 19345 (java) S 19278 19281 16327 0 -1 1077944384 36398 12342 0 0 157 30 6 3 20 0 20 0 4960260 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405112490736 140405637892738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19346] ppid=19278 vsize=10934012 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19346/stat : 19346 (java) S 19278 19281 16327 0 -1 1077944384 102 12342 0 0 0 0 6 3 20 0 20 0 4960261 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405111437024 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19347] ppid=19278 vsize=10934012 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19347/stat : 19347 (java) S 19278 19281 16327 0 -1 1077944384 47 12342 0 0 0 0 6 3 20 0 20 0 4960261 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405110383872 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19348] ppid=19278 vsize=10934012 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19348/stat : 19348 (java) S 19278 19281 16327 0 -1 1077944384 1 12342 0 0 0 0 6 3 20 0 20 0 4960264 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405109332432 140405637900187 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19349] ppid=19278 vsize=10934012 CPUtime=10.24 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19349/stat : 19349 (java) S 19278 19281 16327 0 -1 1077944384 26523 12342 0 0 1008 7 6 3 20 0 20 0 4960264 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405108279536 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19350] ppid=19278 vsize=10934012 CPUtime=10.19 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19350/stat : 19350 (java) S 19278 19281 16327 0 -1 1077944384 31792 12342 0 0 1003 7 6 3 20 0 20 0 4960264 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405107226992 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19351] ppid=19278 vsize=10934012 CPUtime=10.31 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19351/stat : 19351 (java) S 19278 19281 16327 0 -1 1077944384 27121 12342 0 0 1016 6 6 3 20 0 20 0 4960264 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405106173936 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19352] ppid=19278 vsize=10934012 CPUtime=4.71 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19352/stat : 19352 (java) S 19278 19281 16327 0 -1 1077944384 39085 12342 0 0 453 9 6 3 20 0 20 0 4960264 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405105121392 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19353] ppid=19278 vsize=10934012 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19353/stat : 19353 (java) S 19278 19281 16327 0 -1 1077944384 3 12342 0 0 0 0 6 3 20 0 20 0 4960264 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405104069600 140405637891797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 [pid=19281/tid=19354] ppid=19278 vsize=10934012 CPUtime=1.24 cores=1,3,5,7,9,11,13,15 /proc/19281/task/19354/stat : 19354 (java) S 19278 19281 16327 0 -1 1077944384 1380 12342 0 0 53 62 6 3 20 0 20 0 4960264 11196428288 824679 33554432000 4194304 4196468 140732226581264 140405103017136 140405637892738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140732226583233 140732226586007 140732226586007 140732226588623 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 10934012 Child status: 143 Real time (s): 2315.16 CPU time (s): 2400.15 CPU user time (s): 2389.94 CPU system time (s): 10.2015 CPU usage (%): 103.671 Max. virtual memory (cumulated for all children) (KiB): 10934744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2389.94 system time used= 10.2015 maximum resident set size= 3301792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 645019 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2808 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 118460 involuntary context switches= 134328 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.3677 second user time and 17.5178 second system time The end
Begin job on node107 at 2017-07-22 06:15:06 IDJOB=4244779 IDBENCH=115899 IDSOLVER=2630 FILE ID=node107/4244779-1500696906 RUNJOBID= node107-1500682951-16359 PBS_JOBID= 20623334 Free space on /tmp= 61852 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-26.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244779-1500696906/watcher-4244779-1500696906 -o /tmp/evaluation-result-4244779-1500696906/solver-4244779-1500696906 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500682951-16359 --watchdog 2560 bin/concrete HOME/instance-4244779-1500696906.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= a21a0b86f7fa853bf556b3925b3cd061 RANDOM SEED=1018384901 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28552864 kB MemAvailable: 28695728 kB Buffers: 180384 kB Cached: 217420 kB SwapCached: 0 kB Active: 3570908 kB Inactive: 155892 kB Active(anon): 3281792 kB Inactive(anon): 58556 kB Active(file): 289116 kB Inactive(file): 97336 kB Unevictable: 5912 kB Mlocked: 5912 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24312 kB Writeback: 8 kB AnonPages: 3345500 kB Mapped: 43928 kB Shmem: 8852 kB Slab: 178576 kB SReclaimable: 144496 kB SUnreclaim: 34080 kB KernelStack: 4848 kB PageTables: 12088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3941908 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3076096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 61828 MiB End job on node107 at 2017-07-22 06:53:42