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) | 327 | 2400.14 | 2319.86 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml |
| MD5SUM | 7effaf54e6298c2e2ce7b82787858117 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 373 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1712 |
| Number of constraints | 1007 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1683 |
| Distribution of domain sizes | [{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 30 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}] |
| Number of extensional constraints | 837 |
| Number of intensional constraints | 136 |
| Distribution of constraint types | [{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
3.56/2.19 c Concrete v3.4 running
18.69/6.22 % 06:16:10.646 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5697. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 995381766, 3 edges, 4 vertices, 1 tuples
18.69/6.24 % 06:16:10.670 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5775. 'extension(false, x[1][27]: {[0?1]}, x[2][27]: {[0?1]}) :: init: true :: relation: MDD 315998990, 3 edges, 4 vertices, 1 tuples
18.69/6.24 % 06:16:10.672 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5780. 'extension(x[26][1]: {[0?1]}, x[27][1]: {[0?1]}, false) :: init: true :: relation: MDD 995381766, 3 edges, 4 vertices, 1 tuples
18.69/6.26 % 06:16:10.687 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5858. 'extension(x[26][27]: {[0?1]}, x[27][27]: {[0?1]}, false) :: init: true :: relation: MDD 315998990, 3 edges, 4 vertices, 1 tuples
18.69/6.26 % 06:16:10.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5862. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 640736196, 3 edges, 4 vertices, 1 tuples
18.69/6.27 % 06:16:10.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5940. 'extension(false, x[27][1]: {[0?1]}, x[27][2]: {[0?1]}) :: init: true :: relation: MDD 1947666055, 3 edges, 4 vertices, 1 tuples
18.69/6.27 % 06:16:10.701 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5943. 'extension(x[1][26]: {[0?1]}, x[1][27]: {[0?1]}, false) :: init: true :: relation: MDD 640736196, 3 edges, 4 vertices, 1 tuples
18.69/6.29 % 06:16:10.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6021. 'extension(x[27][26]: {[0?1]}, x[27][27]: {[0?1]}, false) :: init: true :: relation: MDD 1947666055, 3 edges, 4 vertices, 1 tuples
18.69/6.29 % 06:16:10.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6025. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD
18.69/6.29 % 06:16:10.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6075. 'extension(x[1][27]: {[0?1]}, x[2][27]: {[0?1]}) :: init: true :: relation: Empty MDD
18.69/6.29 % 06:16:10.722 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6079. 'extension(x[26][1]: {[0?1]}, x[27][1]: {[0?1]}) :: init: true :: relation: Empty MDD
19.12/6.30 % 06:16:10.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6129. 'extension(x[26][27]: {[0?1]}, x[27][27]: {[0?1]}) :: init: true :: relation: Empty MDD
19.12/6.30 % 06:16:10.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6133. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD
19.12/6.30 % 06:16:10.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6185. 'extension(x[27][1]: {[0?1]}, x[27][2]: {[0?1]}) :: init: true :: relation: Empty MDD
19.12/6.30 % 06:16:10.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6191. 'extension(x[1][26]: {[0?1]}, x[1][27]: {[0?1]}) :: init: true :: relation: Empty MDD
19.12/6.31 % 06:16:10.737 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6243. 'extension(x[27][26]: {[0?1]}, x[27][27]: {[0?1]}) :: init: true :: relation: Empty MDD
33.57/11.07 o 7
34.08/11.20 o 8
34.39/11.32 o 9
34.64/11.44 o 10
34.89/11.55 o 135
35.07/11.67 o 136
35.21/11.79 o 137
35.44/11.90 o 138
35.55/12.01 o 139
35.69/12.13 o 140
35.79/12.25 o 141
36.05/12.37 o 142
36.19/12.48 o 143
36.29/12.60 o 144
36.54/12.71 o 145
36.64/12.81 o 146
36.75/12.93 o 147
36.87/13.03 o 148
36.97/13.15 o 149
37.10/13.27 o 150
37.23/13.37 o 151
37.94/13.84 o 152
38.09/13.97 o 153
38.19/14.08 o 154
38.43/14.20 o 155
38.57/14.34 o 156
38.67/14.44 o 157
38.93/14.68 o 158
39.14/14.82 o 159
39.35/14.99 o 160
39.58/15.10 o 161
39.96/15.35 o 162
40.36/15.64 o 163
40.46/15.75 o 164
40.73/15.97 o 165
40.87/16.07 o 166
41.10/16.20 o 167
41.20/16.31 o 168
41.74/16.78 o 169
41.84/16.89 o 170
41.94/16.99 o 171
42.33/17.21 o 172
42.43/17.32 o 173
42.66/17.53 o 174
42.78/17.66 o 175
42.90/17.77 o 176
43.25/17.92 o 177
43.47/18.16 o 178
43.71/18.30 o 179
43.81/18.42 o 180
44.05/18.62 o 181
44.29/18.82 o 182
44.41/18.96 o 183
44.64/19.11 o 184
44.74/19.22 o 185
44.96/19.44 o 186
45.09/19.56 o 187
45.18/19.68 o 188
45.51/19.82 o 189
45.93/20.21 o 190
46.69/20.81 o 191
46.85/20.96 o 192
47.14/21.08 o 193
47.55/21.48 o 194
48.14/21.88 o 195
48.36/22.02 o 196
48.49/22.13 o 197
48.58/22.26 o 198
48.80/22.47 o 199
49.03/22.60 o 200
49.25/22.83 o 201
49.58/23.15 o 202
49.71/23.28 o 203
50.04/23.52 o 204
50.79/24.09 o 205
51.12/24.21 o 206
51.24/24.34 o 207
51.34/24.47 o 208
51.46/24.58 o 209
52.10/25.15 o 210
52.22/25.27 o 211
52.55/25.57 o 212
52.87/25.87 o 213
53.43/26.26 o 214
53.79/26.55 o 215
54.00/26.76 o 216
54.23/26.93 o 217
54.43/27.15 o 218
54.56/27.27 o 219
54.76/27.49 o 220
55.00/27.62 o 221
55.25/27.85 o 222
55.37/27.98 o 223
55.58/28.19 o 224
55.89/28.41 o 225
56.03/28.56 o 226
56.38/28.71 o 227
56.60/28.92 o 228
56.70/29.04 o 229
57.05/29.36 o 230
57.17/29.48 o 231
57.53/29.71 o 232
57.63/29.83 o 233
57.73/29.95 o 234
57.85/30.09 o 235
58.05/30.21 o 236
58.50/30.68 o 237
58.74/30.90 o 238
58.96/31.04 o 239
59.35/31.38 o 240
59.66/31.70 o 241
60.02/31.92 o 242
60.33/32.29 o 243
60.56/32.44 o 244
60.78/32.64 o 245
60.90/32.78 o 246
61.12/32.90 o 247
61.26/33.05 o 248
61.78/33.56 o 249
62.90/34.48 o 250
63.24/34.72 o 251
63.46/34.93 o 252
63.67/35.16 o 253
63.98/35.48 o 254
64.87/36.26 o 255
64.99/36.40 o 256
65.21/36.55 o 257
66.68/37.71 o 258
66.90/37.95 o 259
67.23/38.20 o 260
67.47/38.43 o 261
67.58/38.57 o 262
68.23/39.19 o 263
68.49/39.34 o 264
70.74/41.33 o 265
71.06/41.61 o 266
71.19/41.76 o 267
71.63/42.11 o 268
72.16/42.61 o 269
72.37/42.78 o 270
73.75/44.11 o 271
73.94/44.23 o 272
74.06/44.37 o 273
74.29/44.51 o 274
74.39/44.63 o 275
74.94/45.14 o 276
75.67/45.88 o 277
75.99/46.00 o 278
76.33/46.31 o 279
77.82/47.71 o 280
78.02/47.93 o 281
78.38/48.22 o 282
78.60/48.49 o 283
78.81/48.63 o 284
79.02/48.89 o 285
79.24/49.01 o 286
79.59/49.37 o 287
82.40/51.98 o 288
82.95/52.47 o 289
83.27/52.72 o 290
85.39/54.66 o 291
85.71/54.92 o 292
86.04/55.21 o 293
86.15/55.35 o 294
87.81/56.72 o 295
88.35/57.22 o 296
88.46/57.35 o 297
89.11/57.91 o 298
90.62/59.34 o 299
90.73/59.47 o 300
91.26/59.99 o 301
91.84/60.36 o 302
92.16/60.61 o 303
92.81/61.23 o 304
93.26/61.68 o 305
96.40/64.45 o 306
96.64/64.61 o 307
96.74/64.74 o 308
97.19/65.16 o 309
97.40/65.37 o 310
97.62/65.52 o 311
98.25/66.12 o 312
98.57/66.48 o 313
98.87/66.76 o 314
99.10/66.98 o 315
100.83/68.49 o 316
101.49/69.01 o 317
101.59/69.15 o 318
102.02/69.58 o 319
109.97/76.86 o 320
112.55/79.11 o 321
139.52/104.53 o 322
622.20/565.61 o 323
776.11/712.35 o 324
794.50/727.62 o 325
1470.21/1396.81 o 326
1751.15/1675.32 o 327
2400.07/2319.81 java.util.concurrent.TimeoutException
2400.07/2319.81 at concrete.MAC.mac(MAC.scala:74)
2400.07/2319.81 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.07/2319.81 at scala.util.Try$.apply(Try.scala:209)
2400.07/2319.81 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.07/2319.81 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.07/2319.81 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.07/2319.81 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.07/2319.81 at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.07/2319.81 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.07/2319.81 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.07/2319.81 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.07/2319.81 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.07/2319.81 at concrete.MAC.oneRun(MAC.scala:146)
2400.07/2319.81 at concrete.MAC.nextSolution(MAC.scala:166)
2400.07/2319.81 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.07/2319.81 at concrete.ProblemState.map(ProblemState.scala:203)
2400.07/2319.81 at concrete.ProblemState.map(ProblemState.scala:188)
2400.07/2319.81 at concrete.MAC.nextSolution(MAC.scala:195)
2400.07/2319.81 at concrete.Solver.hasNext(Solver.scala:202)
2400.07/2319.81 at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.07/2319.81 at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.07/2319.81 at concrete.Solver.toStream(Solver.scala:73)
2400.07/2319.81 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.07/2319.81 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.07/2319.81 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.07/2319.81 at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.07/2319.81 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.07/2319.81 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.07/2319.81 at scala.util.Success.map(Try.scala:209)
2400.07/2319.81 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.07/2319.81 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.07/2319.81 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.07/2319.81 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.07/2319.81 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.07/2319.81 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.07/2319.81 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.07/2319.81 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.07/2319.81 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.07/2319.81 at scala.collection.immutable.List.foreach(List.scala:389)
2400.07/2319.81 at scala.App.main(App.scala:76)
2400.07/2319.81 at scala.App.main$(App.scala:74)
2400.07/2319.81 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.07/2319.81 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.07/2319.82 v <instantiation cost="327">
2400.07/2319.82 v <list>
2400.07/2319.82 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[0][28] 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[1][28] 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[2][28] 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[3][28] 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[4][28] 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[5][28] 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[6][28] 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[7][28] 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[8][28] 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[9][28] 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[10][28] 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[11][28] 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[12][28] 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[13][28] 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[14][28] 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[15][28] 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[16][28] 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[17][28] 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[18][28] 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[19][28] 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[20][28] 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[21][28] 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[22][28] 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[23][28] 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[24][28] 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[25][28] 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[26][28] 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] x[27][28] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] 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[0][28] 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[1][28] 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[2][28] 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[3][28] 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[4][28] 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[5][28] 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[6][28] 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[7][28] 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[8][28] 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[9][28] 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[10][28] 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[11][28] 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[12][28] 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[13][28] 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[14][28] 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[15][28] 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[16][28] 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[17][28] 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[18][28] 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[19][28] 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[20][28] 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[21][28] 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[22][28] 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[23][28] 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[24][28] 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[25][28] 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[26][28] 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] w[27][28] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] 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] ws[28] z
2400.07/2319.82 v </list>
2400.07/2319.82 v <values>
2400.07/2319.82 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 1 1 0 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 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 0 1 1 1 1 1 0 0 1 0 0 1 1 1 0 1 1 1 0 0 1 0 1 0 0 1 1 1 0 1 1 1 2 2 0 0 0 0 0 0 0 2 0 1 0 2 1 0 0 0 0 0 1 1 0 2 2 1 0 0 1 1 0 0 2 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 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 0 0 0 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 2 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 2 2 2 1 1 1 1 2 2 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 2 1 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 2 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 2 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 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 2 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 0 0 1 0 0 1 0 0 2 2 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 2 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 17 37 49 58 65 68 73 80 86 89 94 102 117 132 139 147 155 165 170 177 184 188 197 203 210 226 233 244 258 327
2400.07/2319.82 v </values>
2400.07/2319.82 v </instantiation>
2400.07/2319.82 s SATISFIABLE
OK 327
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-4244786-1500696964/watcher-4244786-1500696964 -o /tmp/evaluation-result-4244786-1500696964/solver-4244786-1500696964 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500696963-25080 --watchdog 2560 bin/concrete HOME/instance-4244786-1500696964.xml pid=25104 running on 8 cores: 0,2,4,6,8,10,12,14 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: 9.18 13.09 14.31 3/244 25107 /proc/meminfo: memFree=31721632/32770624 swapFree=5900/315156 [pid=25107] ppid=25104 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/25107/stat : 25107 (bash) S 25104 25107 16913 0 -1 4202496 655 0 0 0 0 0 0 0 20 0 1 0 4963335 9736192 350 33554432000 4194304 5098028 140737086374960 140737086372600 140104450534400 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 12099584 140737086379278 140737086379363 140737086379363 140737086382062 0 /proc/25107/statm: 2377 350 277 221 0 86 0 [startup+0.10015 s] /proc/loadavg: 9.18 13.09 14.31 3/244 25107 /proc/meminfo: memFree=31721632/32770624 swapFree=5900/315156 [pid=25107] ppid=25104 vsize=9640 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/25107/stat : 25107 (bash) S 25104 25107 16913 0 -1 4202496 885 6413 0 1 0 0 0 2 20 0 1 0 4963335 9871360 378 33554432000 4194304 5098028 140737086374960 140737086368968 140104450534400 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 0 0 0 7196144 7232144 12099584 140737086379278 140737086379363 140737086379363 140737086382062 0 /proc/25107/statm: 2410 378 296 221 0 119 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9640 [startup+0.200407 s] /proc/loadavg: 9.18 13.09 14.31 3/244 25107 /proc/meminfo: memFree=31721632/32770624 swapFree=5900/315156 [pid=25107] ppid=25104 vsize=10435860 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/25107/stat : 25107 (java) S 25104 25107 16913 0 -1 1077944320 4804 12569 0 1 3 1 8 4 20 0 13 0 4963335 10686320640 4675 33554432000 4194304 4196468 140727396474368 140727396456912 140029870382839 0 0 0 16784584 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 /proc/25107/statm: 2608965 4675 2097 1 0 2597403 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 10435860 [startup+0.300332 s] /proc/loadavg: 9.18 13.09 14.31 3/244 25107 /proc/meminfo: memFree=31721632/32770624 swapFree=5900/315156 [pid=25107] ppid=25104 vsize=10902292 CPUtime=0.33 cores=0,2,4,6,8,10,12,14 /proc/25107/stat : 25107 (java) S 25104 25107 16913 0 -1 1077944320 6866 12569 0 1 19 2 8 4 20 0 20 0 4963335 11163947008 8090 33554432000 4194304 4196468 140727396474368 140727396456912 140029870382839 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 /proc/25107/statm: 2725573 8090 2945 1 0 2713890 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 10902292 [startup+0.700243 s] /proc/loadavg: 9.18 13.09 14.31 3/244 25107 /proc/meminfo: memFree=31721632/32770624 swapFree=5900/315156 [pid=25107] ppid=25104 vsize=10902720 CPUtime=0.86 cores=0,2,4,6,8,10,12,14 /proc/25107/stat : 25107 (java) S 25104 25107 16913 0 -1 1077944320 12114 12569 0 1 70 4 8 4 20 0 20 0 4963335 11164385280 14924 33554432000 4194304 4196468 140727396474368 140727396456912 140029870382839 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 /proc/25107/statm: 2725680 14924 3125 1 0 2713890 0 Current children cumulated CPU time (s) 0.86 Current children cumulated vsize (KiB) 10902720 [startup+1.50112 s] /proc/loadavg: 9.18 13.09 14.31 5/288 25258 /proc/meminfo: memFree=31524448/32770624 swapFree=5900/315488 [pid=25107] ppid=25104 vsize=10913344 CPUtime=2.18 cores=0,2,4,6,8,10,12,14 /proc/25107/stat : 25107 (java) S 25104 25107 16913 0 -1 1077944320 26823 12569 0 1 194 12 8 4 20 0 20 0 4963335 11175264256 43964 33554432000 4194304 4196468 140727396474368 140727396456912 140029870382839 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 /proc/25107/statm: 2728336 43964 3410 1 0 2716450 0 [pid=25107/tid=25222] ppid=25104 vsize=10913344 CPUtime=1.39 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25222/stat : 25222 (java) R 25104 25107 16913 0 -1 4202560 19312 12569 0 1 122 5 8 4 20 0 20 0 4963351 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029874609632 140029854463326 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25231] ppid=25104 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25231/stat : 25231 (java) S 25104 25107 16913 0 -1 1077944384 26 12569 0 1 0 0 8 4 20 0 20 0 4963352 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029826935568 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25232] ppid=25104 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25232/stat : 25232 (java) S 25104 25107 16913 0 -1 1077944384 48 12569 0 1 0 0 8 4 20 0 20 0 4963352 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029476133776 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25233] ppid=25104 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25233/stat : 25233 (java) S 25104 25107 16913 0 -1 1077944384 15 12569 0 1 0 0 8 4 20 0 20 0 4963352 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029475081232 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25234] ppid=25104 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25234/stat : 25234 (java) S 25104 25107 16913 0 -1 1077944384 140 12569 0 1 1 0 8 4 20 0 20 0 4963352 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029474028688 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25235] ppid=25104 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25235/stat : 25235 (java) S 25104 25107 16913 0 -1 1077944384 31 12569 0 1 1 0 8 4 20 0 20 0 4963352 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029472975120 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25236] ppid=25104 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25236/stat : 25236 (java) S 25104 25107 16913 0 -1 1077944384 20 12569 0 1 0 0 8 4 20 0 20 0 4963352 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029471922576 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25237] ppid=25104 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25237/stat : 25237 (java) S 25104 25107 16913 0 -1 1077944384 36 12569 0 1 1 0 8 4 20 0 20 0 4963352 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029470870032 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25238] ppid=25104 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25238/stat : 25238 (java) S 25104 25107 16913 0 -1 1077944384 11 12569 0 1 0 0 8 4 20 0 20 0 4963352 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029469817488 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25242] ppid=25104 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25242/stat : 25242 (java) S 25104 25107 16913 0 -1 1077944384 1584 12569 0 1 1 0 8 4 20 0 20 0 4963354 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029344954864 140029870393986 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25243] ppid=25104 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25243/stat : 25243 (java) S 25104 25107 16913 0 -1 1077944384 55 12569 0 1 0 0 8 4 20 0 20 0 4963355 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029343901088 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25244] ppid=25104 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25244/stat : 25244 (java) S 25104 25107 16913 0 -1 1077944384 43 12569 0 1 0 0 8 4 20 0 20 0 4963355 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029342848496 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25252] ppid=25104 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25252/stat : 25252 (java) S 25104 25107 16913 0 -1 1077944384 1 12569 0 1 0 0 8 4 20 0 20 0 4963359 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029341797072 140029870401435 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25253] ppid=25104 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25253/stat : 25253 (java) S 25104 25107 16913 0 -1 1077944384 788 12569 0 1 12 0 8 4 20 0 20 0 4963359 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029340743664 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25254] ppid=25104 vsize=10913344 CPUtime=0.21 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25254/stat : 25254 (java) S 25104 25107 16913 0 -1 1077944384 525 12569 0 1 8 1 8 4 20 0 20 0 4963359 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029339691120 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25255] ppid=25104 vsize=10913344 CPUtime=0.26 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25255/stat : 25255 (java) S 25104 25107 16913 0 -1 1077944384 760 12569 0 1 14 0 8 4 20 0 20 0 4963359 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029338638576 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25256] ppid=25104 vsize=10913344 CPUtime=0.37 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25256/stat : 25256 (java) S 25104 25107 16913 0 -1 1077944384 1289 12569 0 1 25 0 8 4 20 0 20 0 4963359 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029337586032 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25257] ppid=25104 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25257/stat : 25257 (java) S 25104 25107 16913 0 -1 1077944384 3 12569 0 1 0 0 8 4 20 0 20 0 4963360 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029336533728 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25258] ppid=25104 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25258/stat : 25258 (java) S 25104 25107 16913 0 -1 1077944384 3 12569 0 1 0 0 8 4 20 0 20 0 4963360 11175264256 43964 33554432000 4194304 4196468 140727396474368 140029335481264 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 Current children cumulated CPU time (s) 2.18 Current children cumulated vsize (KiB) 10913344 [startup+3.10114 s] /proc/loadavg: 8.52 12.89 14.24 6/288 25258 /proc/meminfo: memFree=31365048/32770624 swapFree=5900/315960 [pid=25107] ppid=25104 vsize=10925820 CPUtime=6.3 cores=0,2,4,6,8,10,12,14 /proc/25107/stat : 25107 (java) S 25104 25107 16913 0 -1 1077944320 48288 12569 1 1 599 19 8 4 20 0 20 0 4963335 11188039680 57628 33554432000 4194304 4196468 140727396474368 140727396456912 140029870382839 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 /proc/25107/statm: 2731455 57628 3479 1 0 2719010 0 [pid=25107/tid=25222] ppid=25104 vsize=10925820 CPUtime=2.97 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25222/stat : 25222 (java) R 25104 25107 16913 0 -1 4202560 31650 12569 1 1 277 8 8 4 20 0 20 0 4963351 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029874587640 140029851789138 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25231] ppid=25104 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25231/stat : 25231 (java) S 25104 25107 16913 0 -1 1077944384 26 12569 0 1 0 0 8 4 20 0 20 0 4963352 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029826935568 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25232] ppid=25104 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25232/stat : 25232 (java) S 25104 25107 16913 0 -1 1077944384 48 12569 0 1 0 0 8 4 20 0 20 0 4963352 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029476133776 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25233] ppid=25104 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25233/stat : 25233 (java) S 25104 25107 16913 0 -1 1077944384 15 12569 0 1 0 0 8 4 20 0 20 0 4963352 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029475081232 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25234] ppid=25104 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25234/stat : 25234 (java) S 25104 25107 16913 0 -1 1077944384 140 12569 0 1 1 0 8 4 20 0 20 0 4963352 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029474028688 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25235] ppid=25104 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25235/stat : 25235 (java) S 25104 25107 16913 0 -1 1077944384 31 12569 0 1 1 0 8 4 20 0 20 0 4963352 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029472975120 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25236] ppid=25104 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25236/stat : 25236 (java) S 25104 25107 16913 0 -1 1077944384 20 12569 0 1 0 0 8 4 20 0 20 0 4963352 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029471922576 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25237] ppid=25104 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25237/stat : 25237 (java) S 25104 25107 16913 0 -1 1077944384 36 12569 0 1 1 0 8 4 20 0 20 0 4963352 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029470870032 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25238] ppid=25104 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25238/stat : 25238 (java) S 25104 25107 16913 0 -1 1077944384 11 12569 0 1 0 0 8 4 20 0 20 0 4963352 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029469817488 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25242] ppid=25104 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25242/stat : 25242 (java) S 25104 25107 16913 0 -1 1077944384 1600 12569 0 1 1 0 8 4 20 0 20 0 4963354 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029344954864 140029870393986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25243] ppid=25104 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25243/stat : 25243 (java) S 25104 25107 16913 0 -1 1077944384 55 12569 0 1 0 0 8 4 20 0 20 0 4963355 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029343901088 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25244] ppid=25104 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25244/stat : 25244 (java) S 25104 25107 16913 0 -1 1077944384 43 12569 0 1 0 0 8 4 20 0 20 0 4963355 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029342848496 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25252] ppid=25104 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25252/stat : 25252 (java) S 25104 25107 16913 0 -1 1077944384 1 12569 0 1 0 0 8 4 20 0 20 0 4963359 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029341797072 140029870401435 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25253] ppid=25104 vsize=10925820 CPUtime=0.76 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25253/stat : 25253 (java) S 25104 25107 16913 0 -1 1077944384 1873 12569 0 1 63 1 8 4 20 0 20 0 4963359 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029340743664 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25254] ppid=25104 vsize=10925820 CPUtime=0.69 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25254/stat : 25254 (java) S 25104 25107 16913 0 -1 1077944384 2013 12569 0 1 56 1 8 4 20 0 20 0 4963359 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029339691120 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25255] ppid=25104 vsize=10925820 CPUtime=1.01 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25255/stat : 25255 (java) S 25104 25107 16913 0 -1 1077944384 4468 12569 0 1 89 0 8 4 20 0 20 0 4963359 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029338638576 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25256] ppid=25104 vsize=10925820 CPUtime=1.15 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25256/stat : 25256 (java) R 25104 25107 16913 0 -1 4202560 4116 12569 0 1 102 1 8 4 20 0 20 0 4963359 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029337586032 140029849337429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25257] ppid=25104 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25257/stat : 25257 (java) S 25104 25107 16913 0 -1 1077944384 3 12569 0 1 0 0 8 4 20 0 20 0 4963360 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029336533728 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25258] ppid=25104 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25258/stat : 25258 (java) S 25104 25107 16913 0 -1 1077944384 5 12569 0 1 0 0 8 4 20 0 20 0 4963360 11188039680 57628 33554432000 4194304 4196468 140727396474368 140029335481264 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 10925820 [startup+6.30115 s] /proc/loadavg: 8.52 12.89 14.24 9/288 25258 /proc/meminfo: memFree=31007868/32770624 swapFree=5900/316184 [pid=25107] ppid=25104 vsize=10929916 CPUtime=19.12 cores=0,2,4,6,8,10,12,14 /proc/25107/stat : 25107 (java) S 25104 25107 16913 0 -1 1077944320 57825 12569 1 1 1870 30 8 4 20 0 20 0 4963335 11192233984 104131 33554432000 4194304 4196468 140727396474368 140727396456912 140029870382839 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 /proc/25107/statm: 2732479 104131 3494 1 0 2720034 0 [pid=25107/tid=25222] ppid=25104 vsize=10929916 CPUtime=6.08 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25222/stat : 25222 (java) R 25104 25107 16913 0 -1 4202560 32950 12569 1 1 585 11 8 4 20 0 20 0 4963351 11192233984 104131 33554432000 4194304 4196468 140727396474368 140029874611248 140029518540149 0 4 0 16800975 0 0 0 -1 12 0 0 2 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25231] ppid=25104 vsize=10929916 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25231/stat : 25231 (java) S 25104 25107 16913 0 -1 1077944384 51 12569 0 1 4 1 8 4 20 0 20 0 4963352 11192233984 104131 33554432000 4194304 4196468 140727396474368 140029826935568 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25232] ppid=25104 vsize=10929916 CPUtime=0.15 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25232/stat : 25232 (java) S 25104 25107 16913 0 -1 1077944384 65 12569 0 1 3 0 8 4 20 0 20 0 4963352 11192233984 104131 33554432000 4194304 4196468 140727396474368 140029476133776 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25233] ppid=25104 vsize=10929916 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25233/stat : 25233 (java) S 25104 25107 16913 0 -1 1077944384 38 12569 0 1 4 1 8 4 20 0 20 0 4963352 11192233984 104131 33554432000 4194304 4196468 140727396474368 140029475081232 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25234] ppid=25104 vsize=10929916 CPUtime=0.15 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25234/stat : 25234 (java) S 25104 25107 16913 0 -1 1077944384 150 12569 0 1 3 0 8 4 20 0 20 0 4963352 11192233984 104131 33554432000 4194304 4196468 140727396474368 140029474028688 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25235] ppid=25104 vsize=10929916 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25235/stat : 25235 (java) S 25104 25107 16913 0 -1 1077944384 69 12569 0 1 4 1 8 4 20 0 20 0 4963352 11192233984 104131 33554432000 4194304 4196468 140727396474368 140029472975120 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25236] ppid=25104 vsize=10929916 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25236/stat : 25236 (java) S 25104 25107 16913 0 -1 1077944384 34 12569 0 1 4 1 8 4 20 0 20 0 4963352 11192233984 104131 33554432000 4194304 4196468 140727396474368 140029471922576 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25237] ppid=25104 vsize=10929916 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25237/stat : 25237 (java) S 25104 25107 16913 0 -1 1077944384 49 12569 0 1 4 0 8 4 20 0 20 0 4963352 11192233984 104131 33554432000 4194304 4196468 140727396474368 140029470870032 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25238] ppid=25104 vsize=10929916 CPUtime=0.15 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25238/stat : 25238 (java) S 25104 25107 16913 0 -1 1077944384 69 12569 0 1 3 0 8 4 20 0 20 0 4963352 11192233984 104131 33554432000 4194304 4196468 140727396474368 140029469817488 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25242] ppid=25104 vsize=10929916 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25242/stat : 25242 (java) S 25104 25107 16913 0 -1 1077944384 2311 12569 0 1 4 0 8 4 20 0 20 0 4963354 11192233984 104131 33554432000 4194304 4196468 140727396474368 140029344954864 140029870393986 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25243] ppid=25104 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25243/stat : 25243 (java) S 25104 25107 16913 0 -1 1077944384 56 12569 0 1 0 0 8 4 20 0 20 0 4963355 11192233984 104131 33554432000 4194304 4196468 140727396474368 140029343901152 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25244] ppid=25104 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25244/stat : 25244 (java) S 25104 25107 16913 0 -1 1077944384 43 12569 0 1 0 0 8 4 20 0 20 0 4963355 11192233984 104131 33554432000 4194304 4196468 140727396474368 140029342848512 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25252] ppid=25104 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25252/stat : 25252 (java) S 25104 25107 16913 0 -1 1077944384 1 12569 0 1 0 0 8 4 20 0 20 0 4963359 11192233984 104131 33554432000 4194304 4196468 140727396474368 140029341797072 140029870401435 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25253] ppid=25104 vsize=10929916 CPUtime=3.6 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25253/stat : 25253 (java) R 25104 25107 16913 0 -1 4202560 3745 12569 0 1 346 2 8 4 20 0 20 0 4963359 11192233984 104131 33554432000 4194304 4196468 140727396474368 140029340728624 140029851930415 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25254] ppid=25104 vsize=10929916 CPUtime=3.47 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25254/stat : 25254 (java) R 25104 25107 16913 0 -1 4202560 3539 12569 0 1 333 2 8 4 20 0 20 0 4963359 11192233984 104131 33554432000 4194304 4196468 140727396474368 140029339675952 140029853793733 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25255] ppid=25104 vsize=10929916 CPUtime=3.72 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25255/stat : 25255 (java) R 25104 25107 16913 0 -1 4202560 5761 12569 0 1 359 1 8 4 20 0 20 0 4963359 11192233984 104131 33554432000 4194304 4196468 140727396474368 140029338623360 140029849626533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25256] ppid=25104 vsize=10929916 CPUtime=2.19 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25256/stat : 25256 (java) S 25104 25107 16913 0 -1 1077944384 6749 12569 0 1 205 2 8 4 20 0 20 0 4963359 11192233984 104131 33554432000 4194304 4196468 140727396474368 140029337586032 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25257] ppid=25104 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 ################ # More data... # ################ [pid=25107/tid=25254] ppid=25104 vsize=10999548 CPUtime=9.54 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25254/stat : 25254 (java) S 25104 25107 16913 0 -1 1077944384 29346 12569 0 1 936 6 8 4 20 0 20 0 4963359 11263537152 824594 33554432000 4194304 4196468 140727396474368 140029339691120 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25255] ppid=25104 vsize=10999548 CPUtime=9.66 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25255/stat : 25255 (java) S 25104 25107 16913 0 -1 1077944384 24744 12569 0 1 947 7 8 4 20 0 20 0 4963359 11263537152 824594 33554432000 4194304 4196468 140727396474368 140029338638576 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25256] ppid=25104 vsize=10999548 CPUtime=4.84 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25256/stat : 25256 (java) S 25104 25107 16913 0 -1 1077944384 27781 12569 0 1 463 9 8 4 20 0 20 0 4963359 11263537152 824594 33554432000 4194304 4196468 140727396474368 140029337586032 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25257] ppid=25104 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25257/stat : 25257 (java) S 25104 25107 16913 0 -1 1077944384 3 12569 0 1 0 0 8 4 20 0 20 0 4963360 11263537152 824594 33554432000 4194304 4196468 140727396474368 140029336533728 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25258] ppid=25104 vsize=10999548 CPUtime=1.32 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25258/stat : 25258 (java) S 25104 25107 16913 0 -1 1077944384 2171 12569 0 1 66 54 8 4 20 0 20 0 4963360 11263537152 824594 33554432000 4194304 4196468 140727396474368 140029335481264 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 Current children cumulated CPU time (s) 2221.42 Current children cumulated vsize (KiB) 10999548 [startup+2202.31 s] /proc/loadavg: 1.90 1.86 2.95 3/285 25333 /proc/meminfo: memFree=25090800/32770624 swapFree=5884/318492 [pid=25107] ppid=25104 vsize=10999548 CPUtime=2281.75 cores=0,2,4,6,8,10,12,14 /proc/25107/stat : 25107 (java) S 25104 25107 16913 0 -1 1077944320 438013 12569 1 1 227131 1032 8 4 20 0 20 0 4963335 11263537152 824500 33554432000 4194304 4196468 140727396474368 140727396456912 140029870382839 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 /proc/25107/statm: 2749887 824500 3531 1 0 2737442 0 [pid=25107/tid=25222] ppid=25104 vsize=10999548 CPUtime=2191.67 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25222/stat : 25222 (java) R 25104 25107 16913 0 -1 4202560 188286 12569 1 1 219074 81 8 4 20 0 20 0 4963351 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029874617072 140029515509155 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25231] ppid=25104 vsize=10999548 CPUtime=6.76 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25231/stat : 25231 (java) S 25104 25107 16913 0 -1 1077944384 18131 12569 0 1 553 111 8 4 20 0 20 0 4963352 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029826935568 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25232] ppid=25104 vsize=10999548 CPUtime=6.83 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25232/stat : 25232 (java) S 25104 25107 16913 0 -1 1077944384 11433 12569 0 1 560 111 8 4 20 0 20 0 4963352 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029476133776 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25233] ppid=25104 vsize=10999548 CPUtime=6.81 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25233/stat : 25233 (java) S 25104 25107 16913 0 -1 1077944384 8902 12569 0 1 562 107 8 4 20 0 20 0 4963352 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029475081232 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25234] ppid=25104 vsize=10999548 CPUtime=6.86 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25234/stat : 25234 (java) S 25104 25107 16913 0 -1 1077944384 19579 12569 0 1 564 110 8 4 20 0 20 0 4963352 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029474028688 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25235] ppid=25104 vsize=10999548 CPUtime=6.7 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25235/stat : 25235 (java) S 25104 25107 16913 0 -1 1077944384 9653 12569 0 1 550 108 8 4 20 0 20 0 4963352 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029472975120 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25236] ppid=25104 vsize=10999548 CPUtime=6.91 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25236/stat : 25236 (java) S 25104 25107 16913 0 -1 1077944384 6172 12569 0 1 569 110 8 4 20 0 20 0 4963352 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029471922576 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25237] ppid=25104 vsize=10999548 CPUtime=6.76 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25237/stat : 25237 (java) S 25104 25107 16913 0 -1 1077944384 14364 12569 0 1 563 101 8 4 20 0 20 0 4963352 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029470870032 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25238] ppid=25104 vsize=10999548 CPUtime=6.92 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25238/stat : 25238 (java) S 25104 25107 16913 0 -1 1077944384 10466 12569 0 1 570 110 8 4 20 0 20 0 4963352 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029469817488 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25242] ppid=25104 vsize=10999548 CPUtime=1.75 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25242/stat : 25242 (java) S 25104 25107 16913 0 -1 1077944384 39846 12569 0 1 138 25 8 4 20 0 20 0 4963354 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029344954864 140029870393986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25243] ppid=25104 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25243/stat : 25243 (java) S 25104 25107 16913 0 -1 1077944384 88 12569 0 1 0 0 8 4 20 0 20 0 4963355 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029343901152 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25244] ppid=25104 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25244/stat : 25244 (java) S 25104 25107 16913 0 -1 1077944384 45 12569 0 1 0 0 8 4 20 0 20 0 4963355 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029342848512 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25252] ppid=25104 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25252/stat : 25252 (java) S 25104 25107 16913 0 -1 1077944384 1 12569 0 1 0 0 8 4 20 0 20 0 4963359 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029341797072 140029870401435 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25253] ppid=25104 vsize=10999548 CPUtime=9.9 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25253/stat : 25253 (java) S 25104 25107 16913 0 -1 1077944384 24840 12569 0 1 972 6 8 4 20 0 20 0 4963359 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029340743664 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25254] ppid=25104 vsize=10999548 CPUtime=9.54 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25254/stat : 25254 (java) S 25104 25107 16913 0 -1 1077944384 29348 12569 0 1 936 6 8 4 20 0 20 0 4963359 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029339691120 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25255] ppid=25104 vsize=10999548 CPUtime=9.66 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25255/stat : 25255 (java) S 25104 25107 16913 0 -1 1077944384 24746 12569 0 1 947 7 8 4 20 0 20 0 4963359 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029338638576 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25256] ppid=25104 vsize=10999548 CPUtime=4.84 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25256/stat : 25256 (java) S 25104 25107 16913 0 -1 1077944384 27783 12569 0 1 463 9 8 4 20 0 20 0 4963359 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029337586032 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25257] ppid=25104 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25257/stat : 25257 (java) S 25104 25107 16913 0 -1 1077944384 3 12569 0 1 0 0 8 4 20 0 20 0 4963360 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029336533728 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25258] ppid=25104 vsize=10999548 CPUtime=1.35 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25258/stat : 25258 (java) S 25104 25107 16913 0 -1 1077944384 2193 12569 0 1 68 55 8 4 20 0 20 0 4963360 11263537152 824500 33554432000 4194304 4196468 140727396474368 140029335481264 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 Current children cumulated CPU time (s) 2281.75 Current children cumulated vsize (KiB) 10999548 [startup+2262.3 s] /proc/loadavg: 2.09 1.92 2.91 3/285 25334 /proc/meminfo: memFree=25091396/32770624 swapFree=5884/318556 [pid=25107] ppid=25104 vsize=10999548 CPUtime=2342.12 cores=0,2,4,6,8,10,12,14 /proc/25107/stat : 25107 (java) S 25104 25107 16913 0 -1 1077944320 444469 12569 1 1 233165 1035 8 4 20 0 20 0 4963335 11263537152 824513 33554432000 4194304 4196468 140727396474368 140727396456912 140029870382839 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 /proc/25107/statm: 2749887 824513 3531 1 0 2737442 0 [pid=25107/tid=25222] ppid=25104 vsize=10999548 CPUtime=2251.55 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25222/stat : 25222 (java) R 25104 25107 16913 0 -1 4202560 191426 12569 1 1 225061 82 8 4 20 0 20 0 4963351 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029874617104 140029522039763 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25231] ppid=25104 vsize=10999548 CPUtime=6.81 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25231/stat : 25231 (java) S 25104 25107 16913 0 -1 1077944384 18399 12569 0 1 558 111 8 4 20 0 20 0 4963352 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029826935568 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25232] ppid=25104 vsize=10999548 CPUtime=6.89 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25232/stat : 25232 (java) S 25104 25107 16913 0 -1 1077944384 11583 12569 0 1 566 111 8 4 20 0 20 0 4963352 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029476133776 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25233] ppid=25104 vsize=10999548 CPUtime=6.86 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25233/stat : 25233 (java) S 25104 25107 16913 0 -1 1077944384 9165 12569 0 1 567 107 8 4 20 0 20 0 4963352 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029475081232 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25234] ppid=25104 vsize=10999548 CPUtime=6.92 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25234/stat : 25234 (java) S 25104 25107 16913 0 -1 1077944384 19739 12569 0 1 570 110 8 4 20 0 20 0 4963352 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029474028688 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25235] ppid=25104 vsize=10999548 CPUtime=6.76 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25235/stat : 25235 (java) S 25104 25107 16913 0 -1 1077944384 11334 12569 0 1 555 109 8 4 20 0 20 0 4963352 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029472975120 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25236] ppid=25104 vsize=10999548 CPUtime=6.97 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25236/stat : 25236 (java) S 25104 25107 16913 0 -1 1077944384 6315 12569 0 1 575 110 8 4 20 0 20 0 4963352 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029471922576 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25237] ppid=25104 vsize=10999548 CPUtime=6.81 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25237/stat : 25237 (java) S 25104 25107 16913 0 -1 1077944384 14486 12569 0 1 568 101 8 4 20 0 20 0 4963352 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029470870032 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25238] ppid=25104 vsize=10999548 CPUtime=6.97 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25238/stat : 25238 (java) S 25104 25107 16913 0 -1 1077944384 10575 12569 0 1 575 110 8 4 20 0 20 0 4963352 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029469817488 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25242] ppid=25104 vsize=10999548 CPUtime=1.76 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25242/stat : 25242 (java) S 25104 25107 16913 0 -1 1077944384 40223 12569 0 1 139 25 8 4 20 0 20 0 4963354 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029344954864 140029870393986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25243] ppid=25104 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25243/stat : 25243 (java) S 25104 25107 16913 0 -1 1077944384 88 12569 0 1 0 0 8 4 20 0 20 0 4963355 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029343901152 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25244] ppid=25104 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25244/stat : 25244 (java) S 25104 25107 16913 0 -1 1077944384 45 12569 0 1 0 0 8 4 20 0 20 0 4963355 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029342848512 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25252] ppid=25104 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25252/stat : 25252 (java) S 25104 25107 16913 0 -1 1077944384 1 12569 0 1 0 0 8 4 20 0 20 0 4963359 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029341797072 140029870401435 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25253] ppid=25104 vsize=10999548 CPUtime=9.9 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25253/stat : 25253 (java) S 25104 25107 16913 0 -1 1077944384 24847 12569 0 1 972 6 8 4 20 0 20 0 4963359 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029340743664 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25254] ppid=25104 vsize=10999548 CPUtime=9.54 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25254/stat : 25254 (java) S 25104 25107 16913 0 -1 1077944384 29352 12569 0 1 936 6 8 4 20 0 20 0 4963359 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029339691120 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25255] ppid=25104 vsize=10999548 CPUtime=9.66 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25255/stat : 25255 (java) S 25104 25107 16913 0 -1 1077944384 24750 12569 0 1 947 7 8 4 20 0 20 0 4963359 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029338638576 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25256] ppid=25104 vsize=10999548 CPUtime=4.84 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25256/stat : 25256 (java) S 25104 25107 16913 0 -1 1077944384 27788 12569 0 1 463 9 8 4 20 0 20 0 4963359 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029337586032 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25257] ppid=25104 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25257/stat : 25257 (java) S 25104 25107 16913 0 -1 1077944384 3 12569 0 1 0 0 8 4 20 0 20 0 4963360 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029336533728 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25258] ppid=25104 vsize=10999548 CPUtime=1.38 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25258/stat : 25258 (java) S 25104 25107 16913 0 -1 1077944384 2216 12569 0 1 70 56 8 4 20 0 20 0 4963360 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029335481264 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 Current children cumulated CPU time (s) 2342.12 Current children cumulated vsize (KiB) 10999548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2319.8 s] /proc/loadavg: 1.91 1.91 2.85 3/285 25628 /proc/meminfo: memFree=28300420/32770624 swapFree=5884/318432 [pid=25107] ppid=25104 vsize=10999548 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14 /proc/25107/stat : 25107 (java) S 25104 25107 16913 0 -1 1077944320 451149 12569 1 1 238956 1039 8 4 20 0 20 0 4963335 11263537152 824513 33554432000 4194304 4196468 140727396474368 140727396456912 140029870382839 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 /proc/25107/statm: 2749887 824513 3531 1 0 2737442 0 [pid=25107/tid=25222] ppid=25104 vsize=10999548 CPUtime=2308.92 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25222/stat : 25222 (java) R 25104 25107 16913 0 -1 4202560 194698 12569 1 1 230796 84 8 4 20 0 20 0 4963351 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029874616176 140029517969106 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25231] ppid=25104 vsize=10999548 CPUtime=6.87 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25231/stat : 25231 (java) S 25104 25107 16913 0 -1 1077944384 18553 12569 0 1 564 111 8 4 20 0 20 0 4963352 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029826935568 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25232] ppid=25104 vsize=10999548 CPUtime=6.96 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25232/stat : 25232 (java) S 25104 25107 16913 0 -1 1077944384 13237 12569 0 1 573 111 8 4 20 0 20 0 4963352 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029476133776 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25233] ppid=25104 vsize=10999548 CPUtime=6.92 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25233/stat : 25233 (java) S 25104 25107 16913 0 -1 1077944384 9345 12569 0 1 573 107 8 4 20 0 20 0 4963352 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029475081232 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25234] ppid=25104 vsize=10999548 CPUtime=7 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25234/stat : 25234 (java) S 25104 25107 16913 0 -1 1077944384 19909 12569 0 1 578 110 8 4 20 0 20 0 4963352 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029474028688 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25235] ppid=25104 vsize=10999548 CPUtime=6.84 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25235/stat : 25235 (java) S 25104 25107 16913 0 -1 1077944384 11781 12569 0 1 563 109 8 4 20 0 20 0 4963352 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029472975120 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25236] ppid=25104 vsize=10999548 CPUtime=7.04 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25236/stat : 25236 (java) S 25104 25107 16913 0 -1 1077944384 6506 12569 0 1 582 110 8 4 20 0 20 0 4963352 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029471922576 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25237] ppid=25104 vsize=10999548 CPUtime=6.87 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25237/stat : 25237 (java) S 25104 25107 16913 0 -1 1077944384 14641 12569 0 1 574 101 8 4 20 0 20 0 4963352 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029470870032 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25238] ppid=25104 vsize=10999548 CPUtime=7.04 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25238/stat : 25238 (java) S 25104 25107 16913 0 -1 1077944384 10614 12569 0 1 582 110 8 4 20 0 20 0 4963352 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029469817488 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25242] ppid=25104 vsize=10999548 CPUtime=1.77 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25242/stat : 25242 (java) S 25104 25107 16913 0 -1 1077944384 40597 12569 0 1 140 25 8 4 20 0 20 0 4963354 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029344954864 140029870393986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25243] ppid=25104 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25243/stat : 25243 (java) S 25104 25107 16913 0 -1 1077944384 88 12569 0 1 0 0 8 4 20 0 20 0 4963355 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029343901152 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25244] ppid=25104 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25244/stat : 25244 (java) S 25104 25107 16913 0 -1 1077944384 45 12569 0 1 0 0 8 4 20 0 20 0 4963355 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029342848512 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25252] ppid=25104 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25252/stat : 25252 (java) S 25104 25107 16913 0 -1 1077944384 1 12569 0 1 0 0 8 4 20 0 20 0 4963359 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029341797072 140029870401435 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25253] ppid=25104 vsize=10999548 CPUtime=9.9 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25253/stat : 25253 (java) S 25104 25107 16913 0 -1 1077944384 24852 12569 0 1 972 6 8 4 20 0 20 0 4963359 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029340743664 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25254] ppid=25104 vsize=10999548 CPUtime=9.54 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25254/stat : 25254 (java) S 25104 25107 16913 0 -1 1077944384 29357 12569 0 1 936 6 8 4 20 0 20 0 4963359 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029339691120 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25255] ppid=25104 vsize=10999548 CPUtime=9.66 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25255/stat : 25255 (java) S 25104 25107 16913 0 -1 1077944384 24755 12569 0 1 947 7 8 4 20 0 20 0 4963359 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029338638576 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25256] ppid=25104 vsize=10999548 CPUtime=4.84 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25256/stat : 25256 (java) S 25104 25107 16913 0 -1 1077944384 27793 12569 0 1 463 9 8 4 20 0 20 0 4963359 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029337586032 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25257] ppid=25104 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25257/stat : 25257 (java) S 25104 25107 16913 0 -1 1077944384 3 12569 0 1 0 0 8 4 20 0 20 0 4963360 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029336533728 140029870393045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 [pid=25107/tid=25258] ppid=25104 vsize=10999548 CPUtime=1.41 cores=0,2,4,6,8,10,12,14 /proc/25107/task/25258/stat : 25258 (java) S 25104 25107 16913 0 -1 1077944384 2240 12569 0 1 71 58 8 4 20 0 20 0 4963360 11263537152 824513 33554432000 4194304 4196468 140727396474368 140029335481264 140029870393986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140727396481729 140727396484503 140727396484503 140727396487119 0 Current children cumulated CPU time (s) 2400.07 Current children cumulated vsize (KiB) 10999548 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 25107 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2319.86 CPU time (s): 2400.14 CPU user time (s): 2389.66 CPU system time (s): 10.48 CPU usage (%): 103.461 Max. virtual memory (cumulated for all children) (KiB): 11001656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2389.66 system time used= 10.48 maximum resident set size= 3299076 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 467246 page faults= 2 swaps= 0 block input operations= 4504 block output operations= 2808 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 113359 involuntary context switches= 133275 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 17.2619 second user time and 19.7394 second system time The end
Begin job on node133 at 2017-07-22 06:16:04 IDJOB=4244786 IDBENCH=115900 IDSOLVER=2630 FILE ID=node133/4244786-1500696964 RUNJOBID= node133-1500696963-25080 PBS_JOBID= 20623321 Free space on /tmp= 62016 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-27.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244786-1500696964/watcher-4244786-1500696964 -o /tmp/evaluation-result-4244786-1500696964/solver-4244786-1500696964 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500696963-25080 --watchdog 2560 bin/concrete HOME/instance-4244786-1500696964.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 7effaf54e6298c2e2ce7b82787858117 RANDOM SEED=482245489 node133.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 : 5334.13 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 : 2133.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 : 5229.85 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 : 5334.13 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 : 5229.85 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 : 1600.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 : 5334.13 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 : 5229.85 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 : 5334.13 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 : 1600.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 : 5229.85 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 : 2133.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 : 5334.13 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 : 1600.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 : 5229.85 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 : 2133.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 : 5334.13 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 : 1600.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 : 5229.85 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 : 2400.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 : 5334.13 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 : 1600.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 : 5229.85 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 : 2533.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 : 5334.13 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 : 1600.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 : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31722304 kB MemAvailable: 32001760 kB Buffers: 122412 kB Cached: 437228 kB SwapCached: 0 kB Active: 286292 kB Inactive: 324560 kB Active(anon): 54960 kB Inactive(anon): 8756 kB Active(file): 231332 kB Inactive(file): 315804 kB Unevictable: 5900 kB Mlocked: 5900 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 48508 kB Writeback: 4 kB AnonPages: 56668 kB Mapped: 30300 kB Shmem: 8872 kB Slab: 130812 kB SReclaimable: 96312 kB SUnreclaim: 34500 kB KernelStack: 4208 kB PageTables: 5260 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 309024 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61968 MiB End job on node133 at 2017-07-22 06:54:44