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) | 383 | 2400.15 | 2304.66 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml |
| MD5SUM | 1822b9c415adc1a9dd10b23e46d08c48 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 425 |
| Best CPU time to get the best result obtained on this benchmark | 2519.5801 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1954 |
| Number of constraints | 1139 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1923 |
| Distribution of domain sizes | [{"size":2,"count":961},{"size":3,"count":961},{"size":842,"count":1},{"size":1923,"count":31}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 32 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":958},{"degree":3,"count":34},{"degree":4,"count":116},{"degree":8,"count":112},{"degree":9,"count":729},{"degree":32,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 33 |
| Distribution of constraint arities | [{"arity":2,"count":147},{"arity":3,"count":116},{"arity":10,"count":841},{"arity":31,"count":4},{"arity":32,"count":1},{"arity":33,"count":30}] |
| Number of extensional constraints | 957 |
| Number of intensional constraints | 146 |
| Distribution of constraint types | [{"type":"extension","count":957},{"type":"intension","count":146},{"type":"sum","count":32},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
4.04/2.30 c Concrete v3.4 running
19.45/6.60 % 06:20:45.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6345. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 2129138446, 3 edges, 4 vertices, 1 tuples
19.45/6.63 % 06:20:45.744 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6429. 'extension(false, x[1][29]: {[0?1]}, x[2][29]: {[0?1]}) :: init: true :: relation: MDD 378693799, 3 edges, 4 vertices, 1 tuples
19.45/6.63 % 06:20:45.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6434. 'extension(x[28][1]: {[0?1]}, x[29][1]: {[0?1]}, false) :: init: true :: relation: MDD 2129138446, 3 edges, 4 vertices, 1 tuples
19.45/6.65 % 06:20:45.762 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6518. 'extension(x[28][29]: {[0?1]}, x[29][29]: {[0?1]}, false) :: init: true :: relation: MDD 378693799, 3 edges, 4 vertices, 1 tuples
19.45/6.65 % 06:20:45.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6522. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 1624510452, 3 edges, 4 vertices, 1 tuples
19.45/6.66 % 06:20:45.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6606. 'extension(false, x[29][1]: {[0?1]}, x[29][2]: {[0?1]}) :: init: true :: relation: MDD 1617920437, 3 edges, 4 vertices, 1 tuples
19.45/6.66 % 06:20:45.778 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6609. 'extension(x[1][28]: {[0?1]}, x[1][29]: {[0?1]}, false) :: init: true :: relation: MDD 1624510452, 3 edges, 4 vertices, 1 tuples
19.45/6.68 % 06:20:45.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6693. 'extension(x[29][28]: {[0?1]}, x[29][29]: {[0?1]}, false) :: init: true :: relation: MDD 1617920437, 3 edges, 4 vertices, 1 tuples
19.45/6.68 % 06:20:45.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6697. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD
19.45/6.68 % 06:20:45.799 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6751. 'extension(x[1][29]: {[0?1]}, x[2][29]: {[0?1]}) :: init: true :: relation: Empty MDD
19.45/6.69 % 06:20:45.800 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6755. 'extension(x[28][1]: {[0?1]}, x[29][1]: {[0?1]}) :: init: true :: relation: Empty MDD
19.45/6.69 % 06:20:45.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6809. 'extension(x[28][29]: {[0?1]}, x[29][29]: {[0?1]}) :: init: true :: relation: Empty MDD
19.45/6.69 % 06:20:45.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6813. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD
19.45/6.70 % 06:20:45.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6869. 'extension(x[29][1]: {[0?1]}, x[29][2]: {[0?1]}) :: init: true :: relation: Empty MDD
19.89/6.70 % 06:20:45.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6875. 'extension(x[1][28]: {[0?1]}, x[1][29]: {[0?1]}) :: init: true :: relation: Empty MDD
19.89/6.70 % 06:20:45.819 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6931. 'extension(x[29][28]: {[0?1]}, x[29][29]: {[0?1]}) :: init: true :: relation: Empty MDD
39.41/14.26 o 49
39.97/14.43 o 66
40.28/14.56 o 68
40.65/14.70 o 69
40.94/14.93 o 70
41.05/15.05 o 71
41.27/15.28 o 72
41.54/15.40 o 73
41.64/15.52 o 74
41.79/15.66 o 75
42.09/15.80 o 76
42.39/15.92 o 77
42.52/16.04 o 78
42.72/16.29 o 79
42.95/16.42 o 80
43.18/16.60 o 81
43.29/16.72 o 82
43.50/16.94 o 83
43.61/17.08 o 84
44.22/17.24 o 85
44.34/17.37 o 86
44.56/17.51 o 87
44.66/17.64 o 88
44.79/17.76 o 89
44.90/17.90 o 90
45.12/18.01 o 91
45.45/18.30 o 92
45.57/18.45 o 93
45.68/18.58 o 94
45.99/18.73 o 95
46.09/18.85 o 96
46.39/19.03 o 97
46.50/19.19 o 98
46.74/19.34 o 99
46.86/19.47 o 100
47.20/19.71 o 101
47.33/19.84 o 102
47.43/19.97 o 103
48.24/20.50 o 104
48.36/20.64 o 105
48.76/20.90 o 106
48.86/21.02 o 107
49.18/21.30 o 108
49.29/21.44 o 109
49.40/21.57 o 110
49.73/21.84 o 111
49.85/21.99 o 112
50.05/22.12 o 113
50.34/22.39 o 114
50.57/22.54 o 115
50.76/22.68 o 116
50.99/22.88 o 117
51.44/23.20 o 118
51.54/23.35 o 119
51.66/23.47 o 120
51.88/23.63 o 121
52.11/23.84 o 122
52.33/24.00 o 123
52.43/24.15 o 124
52.67/24.30 o 125
52.78/24.44 o 126
52.89/24.59 o 127
53.09/24.75 o 128
53.42/24.95 o 129
53.65/25.12 o 130
53.75/25.26 o 131
53.97/25.42 o 132
54.21/25.63 o 133
54.32/25.78 o 134
54.65/26.01 o 135
54.78/26.16 o 136
55.00/26.31 o 137
55.10/26.45 o 138
55.21/26.59 o 139
55.54/26.85 o 140
55.64/26.98 o 141
55.86/27.17 o 142
56.06/27.36 o 143
56.45/27.51 o 144
56.59/27.66 o 145
56.82/27.81 o 146
56.91/27.97 o 147
57.15/28.10 o 148
57.25/28.24 o 149
57.47/28.46 o 178
57.57/28.59 o 179
57.79/28.76 o 180
58.03/28.98 o 181
58.46/29.27 o 182
58.72/29.42 o 183
58.95/29.66 o 184
59.28/29.93 o 185
59.47/30.08 o 186
59.86/30.33 o 187
59.96/30.45 o 188
60.18/30.60 o 189
60.31/30.73 o 190
60.43/30.87 o 191
60.86/31.24 o 192
61.18/31.57 o 193
61.56/31.82 o 194
61.78/32.02 o 195
61.99/32.27 o 196
62.20/32.42 o 197
62.31/32.58 o 198
62.62/32.78 o 199
62.85/32.93 o 200
62.95/33.07 o 201
63.18/33.23 o 202
63.30/33.38 o 203
63.50/33.53 o 204
63.61/33.66 o 205
63.81/33.89 o 206
64.03/34.04 o 207
64.14/34.19 o 208
64.47/34.42 o 209
64.58/34.59 o 210
64.82/34.75 o 211
65.05/34.91 o 212
65.48/35.31 o 213
65.61/35.46 o 214
66.14/35.88 o 215
66.36/36.03 o 216
66.58/36.28 o 217
66.78/36.42 o 218
67.00/36.63 o 219
67.13/36.76 o 220
67.36/36.92 o 221
67.57/37.18 o 222
67.79/37.34 o 223
67.91/37.49 o 224
68.14/37.65 o 225
68.25/37.78 o 226
68.67/38.18 o 227
69.11/38.54 o 228
69.44/38.81 o 229
69.63/38.95 o 230
69.97/39.22 o 231
70.19/39.48 o 232
70.40/39.61 o 233
70.51/39.79 o 234
70.75/39.94 o 235
71.18/40.35 o 236
71.51/40.63 o 237
71.78/40.80 o 238
72.11/41.10 o 239
72.41/41.49 o 240
72.74/41.77 o 241
73.66/42.44 o 242
73.76/42.59 o 243
73.98/42.71 o 244
74.08/42.86 o 245
74.30/43.06 o 246
74.54/43.23 o 247
74.66/43.38 o 248
74.87/43.54 o 249
75.10/43.70 o 250
75.20/43.83 o 251
75.30/43.98 o 252
75.51/44.12 o 253
75.65/44.27 o 254
75.86/44.43 o 255
76.18/44.71 o 256
76.29/44.88 o 257
77.33/45.65 o 258
77.67/45.92 o 259
77.77/46.07 o 260
78.13/46.40 o 261
78.35/46.53 o 262
78.78/46.92 o 263
79.13/47.20 o 264
79.35/47.48 o 265
79.80/47.89 o 266
80.02/48.05 o 267
80.33/48.34 o 268
80.44/48.47 o 269
80.96/48.81 o 270
81.40/49.23 o 271
81.84/49.62 o 272
81.95/49.76 o 273
85.04/52.54 o 274
85.14/52.70 o 275
85.37/52.84 o 276
85.62/53.01 o 277
85.72/53.16 o 278
86.44/53.89 o 279
87.43/54.72 o 280
87.75/55.01 o 281
87.88/55.18 o 282
88.10/55.34 o 283
88.92/55.92 o 284
89.13/56.11 o 285
89.46/56.46 o 286
89.78/56.75 o 287
90.00/56.93 o 288
90.34/57.21 o 289
90.44/57.36 o 290
91.09/57.95 o 291
92.46/59.29 o 292
92.78/59.61 o 293
93.11/59.77 o 294
93.52/60.19 o 295
93.84/60.48 o 296
94.70/61.24 o 297
94.93/61.41 o 298
95.24/61.76 o 299
95.47/61.99 o 300
95.70/62.15 o 301
96.15/62.56 o 302
96.69/63.04 o 303
96.78/63.17 o 304
97.23/63.52 o 305
97.46/63.74 o 306
97.82/63.91 o 307
97.93/64.05 o 308
98.58/64.60 o 309
98.68/64.75 o 310
98.90/64.90 o 311
99.01/65.04 o 312
99.44/65.41 o 313
99.96/65.91 o 314
100.72/66.64 o 315
100.95/66.81 o 316
102.03/67.75 o 317
102.37/68.06 o 318
102.82/68.45 o 319
102.92/68.58 o 320
104.28/69.84 o 321
104.60/70.15 o 322
104.83/70.30 o 323
104.93/70.45 o 324
106.48/71.73 o 325
106.82/72.02 o 326
107.34/72.51 o 327
107.67/72.89 o 328
107.89/73.03 o 329
108.21/73.33 o 330
109.78/74.87 o 331
110.23/75.30 o 332
110.46/75.45 o 333
110.66/75.63 o 334
111.29/76.18 o 335
113.59/78.33 o 336
114.21/78.94 o 337
114.65/79.35 o 338
115.31/79.85 o 339
116.27/80.73 o 340
116.59/81.06 o 341
117.00/81.47 o 342
117.22/81.69 o 343
117.76/82.11 o 344
118.40/82.74 o 345
118.72/83.03 o 346
119.67/83.98 o 347
120.61/84.71 o 348
121.15/85.24 o 349
121.79/85.84 o 350
122.75/86.78 o 351
123.18/87.19 o 352
125.75/89.46 o 353
126.28/89.96 o 354
127.54/91.13 o 355
127.65/91.27 o 356
131.48/94.73 o 357
132.01/95.25 o 358
132.22/95.40 o 359
132.89/96.07 o 360
133.50/96.64 o 361
134.12/97.14 o 362
134.68/97.63 o 363
135.09/98.03 o 364
135.23/98.20 o 365
135.64/98.56 o 366
151.61/113.44 o 367
152.05/113.88 o 368
152.80/114.52 o 369
153.43/115.15 o 370
159.24/120.37 o 371
159.55/120.69 o 372
160.09/121.15 o 373
160.73/121.76 o 374
162.10/122.91 o 375
162.40/123.23 o 376
163.92/124.63 o 377
204.84/162.51 o 378
419.84/367.97 o 379
471.05/416.30 o 380
473.22/418.36 o 381
1254.14/1171.03 o 382
1536.05/1446.65 o 383
2400.08/2304.60 java.util.concurrent.TimeoutException
2400.08/2304.61 at concrete.MAC.mac(MAC.scala:74)
2400.08/2304.61 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.08/2304.61 at scala.util.Try$.apply(Try.scala:209)
2400.08/2304.61 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.08/2304.61 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.08/2304.61 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.08/2304.61 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.08/2304.61 at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.08/2304.61 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.08/2304.61 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.08/2304.61 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.08/2304.61 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.08/2304.61 at concrete.MAC.oneRun(MAC.scala:146)
2400.08/2304.61 at concrete.MAC.nextSolution(MAC.scala:166)
2400.08/2304.61 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.08/2304.61 at concrete.ProblemState.map(ProblemState.scala:203)
2400.08/2304.61 at concrete.ProblemState.map(ProblemState.scala:188)
2400.08/2304.61 at concrete.MAC.nextSolution(MAC.scala:195)
2400.08/2304.61 at concrete.Solver.hasNext(Solver.scala:202)
2400.08/2304.61 at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.08/2304.61 at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.08/2304.61 at concrete.Solver.toStream(Solver.scala:73)
2400.08/2304.61 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.08/2304.61 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.08/2304.61 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.08/2304.61 at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.08/2304.61 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.08/2304.61 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.08/2304.61 at scala.util.Success.map(Try.scala:209)
2400.08/2304.61 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.08/2304.61 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.08/2304.61 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.08/2304.61 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.08/2304.61 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.08/2304.61 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.08/2304.61 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.08/2304.61 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.08/2304.61 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.08/2304.61 at scala.collection.immutable.List.foreach(List.scala:389)
2400.08/2304.61 at scala.App.main(App.scala:76)
2400.08/2304.61 at scala.App.main$(App.scala:74)
2400.08/2304.61 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.08/2304.61 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.08/2304.61 v <instantiation cost="383">
2400.08/2304.61 v <list>
2400.08/2304.61 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[0][29] x[0][30] 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[1][29] x[1][30] 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[2][29] x[2][30] 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[3][29] x[3][30] 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[4][29] x[4][30] 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[5][29] x[5][30] 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[6][29] x[6][30] 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[7][29] x[7][30] 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[8][29] x[8][30] 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[9][29] x[9][30] 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[10][29] x[10][30] 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[11][29] x[11][30] 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[12][29] x[12][30] 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[13][29] x[13][30] 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[14][29] x[14][30] 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[15][29] x[15][30] 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[16][29] x[16][30] 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[17][29] x[17][30] 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[18][29] x[18][30] 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[19][29] x[19][30] 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[20][29] x[20][30] 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[21][29] x[21][30] 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[22][29] x[22][30] 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[23][29] x[23][30] 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[24][29] x[24][30] 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[25][29] x[25][30] 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[26][29] x[26][30] 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[27][29] x[27][30] 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] x[28][29] x[28][30] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] 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[0][29] w[0][30] 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[1][29] w[1][30] 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[2][29] w[2][30] 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[3][29] w[3][30] 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[4][29] w[4][30] 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[5][29] w[5][30] 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[6][29] w[6][30] 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[7][29] w[7][30] 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[8][29] w[8][30] 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[9][29] w[9][30] 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[10][29] w[10][30] 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[11][29] w[11][30] 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[12][29] w[12][30] 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[13][29] w[13][30] 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[14][29] w[14][30] 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[15][29] w[15][30] 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[16][29] w[16][30] 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[17][29] w[17][30] 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[18][29] w[18][30] 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[19][29] w[19][30] 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[20][29] w[20][30] 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[21][29] w[21][30] 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[22][29] w[22][30] 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[23][29] w[23][30] 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[24][29] w[24][30] 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[25][29] w[25][30] 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[26][29] w[26][30] 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[27][29] w[27][30] 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] w[28][29] w[28][30] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] 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] ws[29] ws[30] z
2400.08/2304.61 v </list>
2400.08/2304.61 v <values>
2400.08/2304.61 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 1 1 0 0 0 0 1 1 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 1 1 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 1 0 1 0 0 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 0 1 1 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 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 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 1 1 0 0 0 1 0 2 1 2 1 1 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 2 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 2 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 2 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 2 1 1 0 1 0 0 0 0 1 0 0 0 0 0 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 0 0 0 0 0 1 0 0 0 0 1 2 0 1 0 0 0 0 1 0 0 1 0 0 0 2 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 1 0 1 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 2 1 1 0 0 1 0 1 0 0 1 1 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 2 2 1 1 0 1 0 0 1 1 0 0 2 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 2 1 1 2 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 2 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 2 1 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 1 1 0 19 37 41 49 52 58 68 77 85 92 98 103 107 114 122 128 134 143 155 163 171 178 188 198 204 210 222 237 242 252 266 383
2400.08/2304.61 v </values>
2400.08/2304.61 v </instantiation>
2400.08/2304.62 s SATISFIABLE
OK 383
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-4244821-1500697238/watcher-4244821-1500697238 -o /tmp/evaluation-result-4244821-1500697238/solver-4244821-1500697238 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500697238-13814 --watchdog 2560 bin/concrete HOME/instance-4244821-1500697238.xml pid=13839 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.34 11.03 11.49 3/245 13845 /proc/meminfo: memFree=31847236/32770624 swapFree=5808/129128 [pid=13845] ppid=13839 vsize=168 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13845/stat : 13845 (concrete) D 13839 13845 15196 0 -1 4194304 121 0 0 0 0 0 0 0 20 0 1 0 4988960 172032 1 33554432000 0 0 140733728511230 140727885032904 140351909476855 0 0 4096 0 18446744071580431491 0 0 17 9 0 0 0 0 0 0 0 6320128 140733728511230 0 0 0 0 /proc/13845/statm: 42 1 0 0 0 34 0 [startup+0.100115 s] /proc/loadavg: 8.34 11.03 11.49 3/245 13845 /proc/meminfo: memFree=31847236/32770624 swapFree=5808/129128 [pid=13845] ppid=13839 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/13845/stat : 13845 (bash) S 13839 13845 15196 0 -1 4202496 880 6421 0 1 0 0 0 1 20 0 1 0 4988960 9871360 378 33554432000 4194304 5098028 140724788842672 140724788836680 139876368280576 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 1 0 0 7196144 7232144 32579584 140724788847886 140724788847971 140724788847971 140724788850670 0 /proc/13845/statm: 2410 378 296 221 0 119 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9640 [startup+0.200353 s] /proc/loadavg: 8.34 11.03 11.49 3/245 13845 /proc/meminfo: memFree=31847236/32770624 swapFree=5808/129128 [pid=13845] ppid=13839 vsize=10302732 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/13845/stat : 13845 (java) S 13839 13845 15196 0 -1 1077944320 4517 12343 0 1 3 1 8 4 20 0 11 0 4988960 10549997568 4936 33554432000 4194304 4196468 140730373540784 140730373523328 140208447917815 0 0 0 16784584 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 /proc/13845/statm: 2575683 4936 2057 1 0 2564121 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 10302732 [startup+0.300308 s] /proc/loadavg: 8.34 11.03 11.49 3/245 13845 /proc/meminfo: memFree=31847236/32770624 swapFree=5808/129128 [pid=13845] ppid=13839 vsize=10902292 CPUtime=0.32 cores=1,3,5,7,9,11,13,15 /proc/13845/stat : 13845 (java) S 13839 13845 15196 0 -1 1077944320 6519 12343 0 1 18 2 8 4 20 0 20 0 4988960 11163947008 7863 33554432000 4194304 4196468 140730373540784 140730373523328 140208447917815 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 /proc/13845/statm: 2725573 7863 2975 1 0 2713890 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 10902292 [startup+0.700215 s] /proc/loadavg: 8.34 11.03 11.49 3/245 13845 /proc/meminfo: memFree=31847236/32770624 swapFree=5808/129128 [pid=13845] ppid=13839 vsize=10902720 CPUtime=0.84 cores=1,3,5,7,9,11,13,15 /proc/13845/stat : 13845 (java) S 13839 13845 15196 0 -1 1077944320 11861 12343 0 1 68 4 8 4 20 0 20 0 4988960 11164385280 14681 33554432000 4194304 4196468 140730373540784 140730373523328 140208447917815 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 /proc/13845/statm: 2725680 14681 3143 1 0 2713890 0 Current children cumulated CPU time (s) 0.84 Current children cumulated vsize (KiB) 10902720 [startup+1.5009 s] /proc/loadavg: 7.92 10.90 11.45 5/285 13991 /proc/meminfo: memFree=31622224/32770624 swapFree=5808/130972 [pid=13845] ppid=13839 vsize=10913344 CPUtime=2.04 cores=1,3,5,7,9,11,13,15 /proc/13845/stat : 13845 (java) S 13839 13845 15196 0 -1 1077944320 24666 12343 0 1 185 7 8 4 20 0 20 0 4988960 11175264256 34163 33554432000 4194304 4196468 140730373540784 140730373523328 140208447917815 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 /proc/13845/statm: 2728336 34163 3369 1 0 2716450 0 [pid=13845/tid=13955] ppid=13839 vsize=10913344 CPUtime=1.39 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13955/stat : 13955 (java) R 13839 13845 15196 0 -1 4202560 19404 12343 0 1 122 5 8 4 20 0 20 0 4988976 11175264256 34163 33554432000 4194304 4196468 140730373540784 140208452127968 140208447939741 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13964] ppid=13839 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13964/stat : 13964 (java) S 13839 13845 15196 0 -1 1077944384 2 12343 0 1 0 0 8 4 20 0 20 0 4988977 11175264256 34163 33554432000 4194304 4196468 140730373540784 140208404470288 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13965] ppid=13839 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13965/stat : 13965 (java) S 13839 13845 15196 0 -1 1077944384 3 12343 0 1 0 0 8 4 20 0 20 0 4988977 11175264256 34163 33554432000 4194304 4196468 140730373540784 140208403417744 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13966] ppid=13839 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13966/stat : 13966 (java) S 13839 13845 15196 0 -1 1077944384 1 12343 0 1 0 0 8 4 20 0 20 0 4988977 11175264256 34163 33554432000 4194304 4196468 140730373540784 140208052820240 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13967] ppid=13839 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13967/stat : 13967 (java) S 13839 13845 15196 0 -1 1077944384 1 12343 0 1 0 0 8 4 20 0 20 0 4988977 11175264256 34163 33554432000 4194304 4196468 140730373540784 140208051767696 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13968] ppid=13839 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13968/stat : 13968 (java) S 13839 13845 15196 0 -1 1077944384 2 12343 0 1 0 0 8 4 20 0 20 0 4988977 11175264256 34163 33554432000 4194304 4196468 140730373540784 140208050715664 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13969] ppid=13839 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13969/stat : 13969 (java) S 13839 13845 15196 0 -1 1077944384 1 12343 0 1 0 0 8 4 20 0 20 0 4988977 11175264256 34163 33554432000 4194304 4196468 140730373540784 140208049663120 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13970] ppid=13839 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13970/stat : 13970 (java) S 13839 13845 15196 0 -1 1077944384 2 12343 0 1 0 0 8 4 20 0 20 0 4988977 11175264256 34163 33554432000 4194304 4196468 140730373540784 140208048610064 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13971] ppid=13839 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13971/stat : 13971 (java) S 13839 13845 15196 0 -1 1077944384 2 12343 0 1 0 0 8 4 20 0 20 0 4988977 11175264256 34163 33554432000 4194304 4196468 140730373540784 140208047557520 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13973] ppid=13839 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13973/stat : 13973 (java) S 13839 13845 15196 0 -1 1077944384 6 12343 0 1 0 0 8 4 20 0 20 0 4988979 11175264256 34163 33554432000 4194304 4196468 140730373540784 140207921776880 140208447928962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13976] ppid=13839 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13976/stat : 13976 (java) S 13839 13845 15196 0 -1 1077944384 33 12343 0 1 0 0 8 4 20 0 20 0 4988980 11175264256 34163 33554432000 4194304 4196468 140730373540784 140207920723104 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13977] ppid=13839 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13977/stat : 13977 (java) S 13839 13845 15196 0 -1 1077944384 21 12343 0 1 0 0 8 4 20 0 20 0 4988980 11175264256 34163 33554432000 4194304 4196468 140730373540784 140207919670000 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13985] ppid=13839 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13985/stat : 13985 (java) S 13839 13845 15196 0 -1 1077944384 1 12343 0 1 0 0 8 4 20 0 20 0 4988984 11175264256 34163 33554432000 4194304 4196468 140730373540784 140207918618576 140208447936411 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13986] ppid=13839 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13986/stat : 13986 (java) S 13839 13845 15196 0 -1 1077944384 1041 12343 0 1 12 0 8 4 20 0 20 0 4988984 11175264256 34163 33554432000 4194304 4196468 140730373540784 140207917566704 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13987] ppid=13839 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13987/stat : 13987 (java) S 13839 13845 15196 0 -1 1077944384 388 12343 0 1 11 0 8 4 20 0 20 0 4988984 11175264256 34163 33554432000 4194304 4196468 140730373540784 140207916514160 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13988] ppid=13839 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13988/stat : 13988 (java) S 13839 13845 15196 0 -1 1077944384 501 12343 0 1 13 0 8 4 20 0 20 0 4988984 11175264256 34163 33554432000 4194304 4196468 140730373540784 140207915461104 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13989] ppid=13839 vsize=10913344 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13989/stat : 13989 (java) R 13839 13845 15196 0 -1 4202560 1117 12343 0 1 23 0 8 4 20 0 20 0 4988984 11175264256 34163 33554432000 4194304 4196468 140730373540784 140207914408560 140208447939162 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13990] ppid=13839 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13990/stat : 13990 (java) S 13839 13845 15196 0 -1 1077944384 3 12343 0 1 0 0 8 4 20 0 20 0 4988985 11175264256 34163 33554432000 4194304 4196468 140730373540784 140207913355744 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13991] ppid=13839 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13991/stat : 13991 (java) S 13839 13845 15196 0 -1 1077944384 7 12343 0 1 0 0 8 4 20 0 20 0 4988985 11175264256 34163 33554432000 4194304 4196468 140730373540784 140207912303280 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 Current children cumulated CPU time (s) 2.04 Current children cumulated vsize (KiB) 10913344 [startup+3.10115 s] /proc/loadavg: 7.92 10.90 11.45 6/285 13991 /proc/meminfo: memFree=31483092/32770624 swapFree=5808/131816 [pid=13845] ppid=13839 vsize=10925820 CPUtime=6.31 cores=1,3,5,7,9,11,13,15 /proc/13845/stat : 13845 (java) S 13839 13845 15196 0 -1 1077944320 47389 12343 0 1 602 17 8 4 20 0 20 0 4988960 11188039680 56320 33554432000 4194304 4196468 140730373540784 140730373523328 140208447917815 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 /proc/13845/statm: 2731455 56320 3477 1 0 2719010 0 [pid=13845/tid=13955] ppid=13839 vsize=10925820 CPUtime=2.95 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13955/stat : 13955 (java) R 13839 13845 15196 0 -1 4202560 30754 12343 0 1 276 7 8 4 20 0 20 0 4988976 11188039680 56320 33554432000 4194304 4196468 140730373540784 140208452133280 140208429481414 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13964] ppid=13839 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13964/stat : 13964 (java) S 13839 13845 15196 0 -1 1077944384 23 12343 0 1 0 0 8 4 20 0 20 0 4988977 11188039680 56320 33554432000 4194304 4196468 140730373540784 140208404470288 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13965] ppid=13839 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13965/stat : 13965 (java) S 13839 13845 15196 0 -1 1077944384 29 12343 0 1 0 0 8 4 20 0 20 0 4988977 11188039680 56320 33554432000 4194304 4196468 140730373540784 140208403417744 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13966] ppid=13839 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13966/stat : 13966 (java) S 13839 13845 15196 0 -1 1077944384 23 12343 0 1 1 0 8 4 20 0 20 0 4988977 11188039680 56320 33554432000 4194304 4196468 140730373540784 140208052820240 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13967] ppid=13839 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13967/stat : 13967 (java) S 13839 13845 15196 0 -1 1077944384 21 12343 0 1 0 0 8 4 20 0 20 0 4988977 11188039680 56320 33554432000 4194304 4196468 140730373540784 140208051767696 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13968] ppid=13839 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13968/stat : 13968 (java) S 13839 13845 15196 0 -1 1077944384 40 12343 0 1 1 0 8 4 20 0 20 0 4988977 11188039680 56320 33554432000 4194304 4196468 140730373540784 140208050715664 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13969] ppid=13839 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13969/stat : 13969 (java) S 13839 13845 15196 0 -1 1077944384 126 12343 0 1 0 0 8 4 20 0 20 0 4988977 11188039680 56320 33554432000 4194304 4196468 140730373540784 140208049663120 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13970] ppid=13839 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13970/stat : 13970 (java) S 13839 13845 15196 0 -1 1077944384 53 12343 0 1 1 0 8 4 20 0 20 0 4988977 11188039680 56320 33554432000 4194304 4196468 140730373540784 140208048610064 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13971] ppid=13839 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13971/stat : 13971 (java) S 13839 13845 15196 0 -1 1077944384 26 12343 0 1 1 0 8 4 20 0 20 0 4988977 11188039680 56320 33554432000 4194304 4196468 140730373540784 140208047557520 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13973] ppid=13839 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13973/stat : 13973 (java) S 13839 13845 15196 0 -1 1077944384 1509 12343 0 1 1 0 8 4 20 0 20 0 4988979 11188039680 56320 33554432000 4194304 4196468 140730373540784 140207921776880 140208447928962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13976] ppid=13839 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13976/stat : 13976 (java) S 13839 13845 15196 0 -1 1077944384 57 12343 0 1 0 0 8 4 20 0 20 0 4988980 11188039680 56320 33554432000 4194304 4196468 140730373540784 140207920723168 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13977] ppid=13839 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13977/stat : 13977 (java) S 13839 13845 15196 0 -1 1077944384 45 12343 0 1 0 0 8 4 20 0 20 0 4988980 11188039680 56320 33554432000 4194304 4196468 140730373540784 140207919670016 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13985] ppid=13839 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13985/stat : 13985 (java) S 13839 13845 15196 0 -1 1077944384 1 12343 0 1 0 0 8 4 20 0 20 0 4988984 11188039680 56320 33554432000 4194304 4196468 140730373540784 140207918618576 140208447936411 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13986] ppid=13839 vsize=10925820 CPUtime=0.94 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13986/stat : 13986 (java) R 13839 13845 15196 0 -1 4202560 4876 12343 0 1 81 1 8 4 20 0 20 0 4988984 11188039680 56320 33554432000 4194304 4196468 140730373540784 140207917552928 140208433030428 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13987] ppid=13839 vsize=10925820 CPUtime=0.78 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13987/stat : 13987 (java) S 13839 13845 15196 0 -1 1077944384 1888 12343 0 1 66 0 8 4 20 0 20 0 4988984 11188039680 56320 33554432000 4194304 4196468 140730373540784 140207916514160 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13988] ppid=13839 vsize=10925820 CPUtime=0.77 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13988/stat : 13988 (java) S 13839 13845 15196 0 -1 1077944384 1657 12343 0 1 64 1 8 4 20 0 20 0 4988984 11188039680 56320 33554432000 4194304 4196468 140730373540784 140207915461104 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13989] ppid=13839 vsize=10925820 CPUtime=1.14 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13989/stat : 13989 (java) S 13839 13845 15196 0 -1 1077944384 4120 12343 0 1 101 1 8 4 20 0 20 0 4988984 11188039680 56320 33554432000 4194304 4196468 140730373540784 140207914408560 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13990] ppid=13839 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13990/stat : 13990 (java) S 13839 13845 15196 0 -1 1077944384 3 12343 0 1 0 0 8 4 20 0 20 0 4988985 11188039680 56320 33554432000 4194304 4196468 140730373540784 140207913355744 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13991] ppid=13839 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13991/stat : 13991 (java) S 13839 13845 15196 0 -1 1077944384 8 12343 0 1 0 0 8 4 20 0 20 0 4988985 11188039680 56320 33554432000 4194304 4196468 140730373540784 140207912303280 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 10925820 [startup+6.30112 s] /proc/loadavg: 7.68 10.80 11.41 10/285 13991 /proc/meminfo: memFree=31125928/32770624 swapFree=5808/131764 [pid=13845] ppid=13839 vsize=10929916 CPUtime=18.43 cores=1,3,5,7,9,11,13,15 /proc/13845/stat : 13845 (java) S 13839 13845 15196 0 -1 1077944320 55874 12343 0 1 1801 30 8 4 20 0 20 0 4988960 11192233984 101330 33554432000 4194304 4196468 140730373540784 140730373523328 140208447917815 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 /proc/13845/statm: 2732479 101330 3487 1 0 2720034 0 [pid=13845/tid=13955] ppid=13839 vsize=10929916 CPUtime=6.05 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13955/stat : 13955 (java) R 13839 13845 15196 0 -1 4202560 32095 12343 0 1 583 10 8 4 20 0 20 0 4988976 11192233984 101330 33554432000 4194304 4196468 140730373540784 140208452147952 140208093974680 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13964] ppid=13839 vsize=10929916 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13964/stat : 13964 (java) S 13839 13845 15196 0 -1 1077944384 43 12343 0 1 5 1 8 4 20 0 20 0 4988977 11192233984 101330 33554432000 4194304 4196468 140730373540784 140208404470288 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13965] ppid=13839 vsize=10929916 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13965/stat : 13965 (java) S 13839 13845 15196 0 -1 1077944384 86 12343 0 1 5 1 8 4 20 0 20 0 4988977 11192233984 101330 33554432000 4194304 4196468 140730373540784 140208403417744 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13966] ppid=13839 vsize=10929916 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13966/stat : 13966 (java) S 13839 13845 15196 0 -1 1077944384 48 12343 0 1 5 1 8 4 20 0 20 0 4988977 11192233984 101330 33554432000 4194304 4196468 140730373540784 140208052820240 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13967] ppid=13839 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13967/stat : 13967 (java) S 13839 13845 15196 0 -1 1077944384 35 12343 0 1 4 0 8 4 20 0 20 0 4988977 11192233984 101330 33554432000 4194304 4196468 140730373540784 140208051767696 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13968] ppid=13839 vsize=10929916 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13968/stat : 13968 (java) S 13839 13845 15196 0 -1 1077944384 75 12343 0 1 5 1 8 4 20 0 20 0 4988977 11192233984 101330 33554432000 4194304 4196468 140730373540784 140208050715664 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13969] ppid=13839 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13969/stat : 13969 (java) S 13839 13845 15196 0 -1 1077944384 133 12343 0 1 3 1 8 4 20 0 20 0 4988977 11192233984 101330 33554432000 4194304 4196468 140730373540784 140208049663120 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13970] ppid=13839 vsize=10929916 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13970/stat : 13970 (java) S 13839 13845 15196 0 -1 1077944384 64 12343 0 1 4 1 8 4 20 0 20 0 4988977 11192233984 101330 33554432000 4194304 4196468 140730373540784 140208048610064 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13971] ppid=13839 vsize=10929916 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13971/stat : 13971 (java) S 13839 13845 15196 0 -1 1077944384 49 12343 0 1 5 1 8 4 20 0 20 0 4988977 11192233984 101330 33554432000 4194304 4196468 140730373540784 140208047557520 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13973] ppid=13839 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13973/stat : 13973 (java) S 13839 13845 15196 0 -1 1077944384 2154 12343 0 1 4 0 8 4 20 0 20 0 4988979 11192233984 101330 33554432000 4194304 4196468 140730373540784 140207921776880 140208447928962 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13976] ppid=13839 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13976/stat : 13976 (java) S 13839 13845 15196 0 -1 1077944384 57 12343 0 1 0 0 8 4 20 0 20 0 4988980 11192233984 101330 33554432000 4194304 4196468 140730373540784 140207920723232 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13977] ppid=13839 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13977/stat : 13977 (java) S 13839 13845 15196 0 -1 1077944384 45 12343 0 1 0 0 8 4 20 0 20 0 4988980 11192233984 101330 33554432000 4194304 4196468 140730373540784 140207919670016 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13985] ppid=13839 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13985/stat : 13985 (java) S 13839 13845 15196 0 -1 1077944384 1 12343 0 1 0 0 8 4 20 0 20 0 4988984 11192233984 101330 33554432000 4194304 4196468 140730373540784 140207918618576 140208447936411 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13986] ppid=13839 vsize=10929916 CPUtime=3.56 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13986/stat : 13986 (java) R 13839 13845 15196 0 -1 4202560 6431 12343 0 1 343 1 8 4 20 0 20 0 4988984 11192233984 101330 33554432000 4194304 4196468 140730373540784 140207917557040 140208431403774 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13987] ppid=13839 vsize=10929916 CPUtime=3.27 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13987/stat : 13987 (java) R 13839 13845 15196 0 -1 4202560 3040 12343 0 1 314 1 8 4 20 0 20 0 4988984 11192233984 101330 33554432000 4194304 4196468 140730373540784 140207916499504 140208432842250 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13988] ppid=13839 vsize=10929916 CPUtime=3.36 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13988/stat : 13988 (java) R 13839 13845 15196 0 -1 4202560 3126 12343 0 1 323 1 8 4 20 0 20 0 4988984 11192233984 101330 33554432000 4194304 4196468 140730373540784 140207915450784 140208427180215 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13989] ppid=13839 vsize=10929916 CPUtime=2.03 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13989/stat : 13989 (java) S 13839 13845 15196 0 -1 1077944384 6250 12343 0 1 189 2 8 4 20 0 20 0 4988984 11192233984 101330 33554432000 4194304 4196468 140730373540784 140207914408560 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13990] ppid=13839 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=13845/tid=13987] ppid=13839 vsize=10999548 CPUtime=10.21 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13987/stat : 13987 (java) S 13839 13845 15196 0 -1 1077944384 24800 12343 0 1 1003 6 8 4 20 0 20 0 4988984 11263537152 832393 33554432000 4194304 4196468 140730373540784 140207916514160 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13988] ppid=13839 vsize=10999548 CPUtime=9.99 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13988/stat : 13988 (java) S 13839 13845 15196 0 -1 1077944384 24387 12343 0 1 980 7 8 4 20 0 20 0 4988984 11263537152 832393 33554432000 4194304 4196468 140730373540784 140207915461104 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13989] ppid=13839 vsize=10999548 CPUtime=4.81 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13989/stat : 13989 (java) S 13839 13845 15196 0 -1 1077944384 23580 12343 0 1 462 7 8 4 20 0 20 0 4988984 11263537152 832393 33554432000 4194304 4196468 140730373540784 140207914408560 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13990] ppid=13839 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13990/stat : 13990 (java) S 13839 13845 15196 0 -1 1077944384 3 12343 0 1 0 0 8 4 20 0 20 0 4988985 11263537152 832393 33554432000 4194304 4196468 140730373540784 140207913355744 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13991] ppid=13839 vsize=10999548 CPUtime=1.18 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13991/stat : 13991 (java) S 13839 13845 15196 0 -1 1077944384 2395 12343 0 1 55 51 8 4 20 0 20 0 4988985 11263537152 832393 33554432000 4194304 4196468 140730373540784 140207912303280 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 Current children cumulated CPU time (s) 2236.82 Current children cumulated vsize (KiB) 10999548 [startup+2202.3 s] /proc/loadavg: 1.93 1.97 2.79 3/281 14201 /proc/meminfo: memFree=25217364/32770624 swapFree=5808/134596 [pid=13845] ppid=13839 vsize=10999548 CPUtime=2297.21 cores=1,3,5,7,9,11,13,15 /proc/13845/stat : 13845 (java) S 13839 13845 15196 0 -1 1077944320 601641 12343 0 1 228385 1324 8 4 20 0 20 0 4988960 11263537152 832266 33554432000 4194304 4196468 140730373540784 140730373523328 140208447917815 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 /proc/13845/statm: 2749887 832266 3532 1 0 2737442 0 [pid=13845/tid=13955] ppid=13839 vsize=10999548 CPUtime=2189.08 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13955/stat : 13955 (java) R 13839 13845 15196 0 -1 4202560 400181 12343 0 1 218804 92 8 4 20 0 20 0 4988976 11263537152 832266 33554432000 4194304 4196468 140730373540784 140208452151792 140208105601824 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13964] ppid=13839 vsize=10999548 CPUtime=8.93 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13964/stat : 13964 (java) S 13839 13845 15196 0 -1 1077944384 10637 12343 0 1 735 146 8 4 20 0 20 0 4988977 11263537152 832266 33554432000 4194304 4196468 140730373540784 140208404470288 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13965] ppid=13839 vsize=10999548 CPUtime=8.8 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13965/stat : 13965 (java) S 13839 13845 15196 0 -1 1077944384 9487 12343 0 1 723 145 8 4 20 0 20 0 4988977 11263537152 832266 33554432000 4194304 4196468 140730373540784 140208403417744 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13966] ppid=13839 vsize=10999548 CPUtime=8.97 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13966/stat : 13966 (java) S 13839 13845 15196 0 -1 1077944384 8133 12343 0 1 738 147 8 4 20 0 20 0 4988977 11263537152 832266 33554432000 4194304 4196468 140730373540784 140208052820240 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13967] ppid=13839 vsize=10999548 CPUtime=8.83 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13967/stat : 13967 (java) S 13839 13845 15196 0 -1 1077944384 8140 12343 0 1 730 141 8 4 20 0 20 0 4988977 11263537152 832266 33554432000 4194304 4196468 140730373540784 140208051767696 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13968] ppid=13839 vsize=10999548 CPUtime=9.01 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13968/stat : 13968 (java) S 13839 13845 15196 0 -1 1077944384 8167 12343 0 1 743 146 8 4 20 0 20 0 4988977 11263537152 832266 33554432000 4194304 4196468 140730373540784 140208050715664 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13969] ppid=13839 vsize=10999548 CPUtime=8.82 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13969/stat : 13969 (java) S 13839 13845 15196 0 -1 1077944384 6768 12343 0 1 728 142 8 4 20 0 20 0 4988977 11263537152 832266 33554432000 4194304 4196468 140730373540784 140208049663120 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13970] ppid=13839 vsize=10999548 CPUtime=8.8 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13970/stat : 13970 (java) S 13839 13845 15196 0 -1 1077944384 9437 12343 0 1 725 143 8 4 20 0 20 0 4988977 11263537152 832266 33554432000 4194304 4196468 140730373540784 140208048610064 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13971] ppid=13839 vsize=10999548 CPUtime=8.89 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13971/stat : 13971 (java) S 13839 13845 15196 0 -1 1077944384 7858 12343 0 1 733 144 8 4 20 0 20 0 4988977 11263537152 832266 33554432000 4194304 4196468 140730373540784 140208047557520 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13973] ppid=13839 vsize=10999548 CPUtime=2.15 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13973/stat : 13973 (java) S 13839 13845 15196 0 -1 1077944384 27342 12343 0 1 173 30 8 4 20 0 20 0 4988979 11263537152 832266 33554432000 4194304 4196468 140730373540784 140207921776880 140208447928962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13976] ppid=13839 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13976/stat : 13976 (java) S 13839 13845 15196 0 -1 1077944384 71 12343 0 1 0 0 8 4 20 0 20 0 4988980 11263537152 832266 33554432000 4194304 4196468 140730373540784 140207920723232 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13977] ppid=13839 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13977/stat : 13977 (java) S 13839 13845 15196 0 -1 1077944384 57 12343 0 1 0 0 8 4 20 0 20 0 4988980 11263537152 832266 33554432000 4194304 4196468 140730373540784 140207919670016 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13985] ppid=13839 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13985/stat : 13985 (java) S 13839 13845 15196 0 -1 1077944384 1 12343 0 1 0 0 8 4 20 0 20 0 4988984 11263537152 832266 33554432000 4194304 4196468 140730373540784 140207918618576 140208447936411 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13986] ppid=13839 vsize=10999548 CPUtime=10.24 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13986/stat : 13986 (java) S 13839 13845 15196 0 -1 1077944384 28040 12343 0 1 1005 7 8 4 20 0 20 0 4988984 11263537152 832266 33554432000 4194304 4196468 140730373540784 140207917566704 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13987] ppid=13839 vsize=10999548 CPUtime=10.21 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13987/stat : 13987 (java) S 13839 13845 15196 0 -1 1077944384 24802 12343 0 1 1003 6 8 4 20 0 20 0 4988984 11263537152 832266 33554432000 4194304 4196468 140730373540784 140207916514160 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13988] ppid=13839 vsize=10999548 CPUtime=9.99 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13988/stat : 13988 (java) S 13839 13845 15196 0 -1 1077944384 24390 12343 0 1 980 7 8 4 20 0 20 0 4988984 11263537152 832266 33554432000 4194304 4196468 140730373540784 140207915461104 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13989] ppid=13839 vsize=10999548 CPUtime=4.81 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13989/stat : 13989 (java) S 13839 13845 15196 0 -1 1077944384 23582 12343 0 1 462 7 8 4 20 0 20 0 4988984 11263537152 832266 33554432000 4194304 4196468 140730373540784 140207914408560 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13990] ppid=13839 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13990/stat : 13990 (java) S 13839 13845 15196 0 -1 1077944384 3 12343 0 1 0 0 8 4 20 0 20 0 4988985 11263537152 832266 33554432000 4194304 4196468 140730373540784 140207913355744 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13991] ppid=13839 vsize=10999548 CPUtime=1.2 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13991/stat : 13991 (java) S 13839 13845 15196 0 -1 1077944384 2415 12343 0 1 56 52 8 4 20 0 20 0 4988985 11263537152 832266 33554432000 4194304 4196468 140730373540784 140207912303280 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 Current children cumulated CPU time (s) 2297.21 Current children cumulated vsize (KiB) 10999548 [startup+2262.3 s] /proc/loadavg: 1.79 1.93 2.72 3/281 14203 /proc/meminfo: memFree=25217224/32770624 swapFree=5808/134684 [pid=13845] ppid=13839 vsize=10999548 CPUtime=2357.49 cores=1,3,5,7,9,11,13,15 /proc/13845/stat : 13845 (java) S 13839 13845 15196 0 -1 1077944320 620464 12343 0 1 234410 1327 8 4 20 0 20 0 4988960 11263537152 832298 33554432000 4194304 4196468 140730373540784 140730373523328 140208447917815 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 /proc/13845/statm: 2749887 832298 3532 1 0 2737442 0 [pid=13845/tid=13955] ppid=13839 vsize=10999548 CPUtime=2249 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13955/stat : 13955 (java) R 13839 13845 15196 0 -1 4202560 417763 12343 0 1 224795 93 8 4 20 0 20 0 4988976 11263537152 832298 33554432000 4194304 4196468 140730373540784 140208452151696 140208094836404 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13964] ppid=13839 vsize=10999548 CPUtime=8.97 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13964/stat : 13964 (java) S 13839 13845 15196 0 -1 1077944384 10704 12343 0 1 739 146 8 4 20 0 20 0 4988977 11263537152 832298 33554432000 4194304 4196468 140730373540784 140208404470288 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13965] ppid=13839 vsize=10999548 CPUtime=8.84 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13965/stat : 13965 (java) S 13839 13845 15196 0 -1 1077944384 9854 12343 0 1 727 145 8 4 20 0 20 0 4988977 11263537152 832298 33554432000 4194304 4196468 140730373540784 140208403417744 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13966] ppid=13839 vsize=10999548 CPUtime=9.01 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13966/stat : 13966 (java) S 13839 13845 15196 0 -1 1077944384 8188 12343 0 1 742 147 8 4 20 0 20 0 4988977 11263537152 832298 33554432000 4194304 4196468 140730373540784 140208052820240 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13967] ppid=13839 vsize=10999548 CPUtime=8.87 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13967/stat : 13967 (java) S 13839 13845 15196 0 -1 1077944384 8207 12343 0 1 734 141 8 4 20 0 20 0 4988977 11263537152 832298 33554432000 4194304 4196468 140730373540784 140208051767696 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13968] ppid=13839 vsize=10999548 CPUtime=9.05 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13968/stat : 13968 (java) S 13839 13845 15196 0 -1 1077944384 8224 12343 0 1 747 146 8 4 20 0 20 0 4988977 11263537152 832298 33554432000 4194304 4196468 140730373540784 140208050715664 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13969] ppid=13839 vsize=10999548 CPUtime=8.86 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13969/stat : 13969 (java) S 13839 13845 15196 0 -1 1077944384 6881 12343 0 1 732 142 8 4 20 0 20 0 4988977 11263537152 832298 33554432000 4194304 4196468 140730373540784 140208049663120 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13970] ppid=13839 vsize=10999548 CPUtime=8.84 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13970/stat : 13970 (java) S 13839 13845 15196 0 -1 1077944384 9657 12343 0 1 729 143 8 4 20 0 20 0 4988977 11263537152 832298 33554432000 4194304 4196468 140730373540784 140208048610064 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13971] ppid=13839 vsize=10999548 CPUtime=8.93 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13971/stat : 13971 (java) S 13839 13845 15196 0 -1 1077944384 7919 12343 0 1 737 144 8 4 20 0 20 0 4988977 11263537152 832298 33554432000 4194304 4196468 140730373540784 140208047557520 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13973] ppid=13839 vsize=10999548 CPUtime=2.16 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13973/stat : 13973 (java) S 13839 13845 15196 0 -1 1077944384 27552 12343 0 1 174 30 8 4 20 0 20 0 4988979 11263537152 832298 33554432000 4194304 4196468 140730373540784 140207921776880 140208447928962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13976] ppid=13839 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13976/stat : 13976 (java) S 13839 13845 15196 0 -1 1077944384 71 12343 0 1 0 0 8 4 20 0 20 0 4988980 11263537152 832298 33554432000 4194304 4196468 140730373540784 140207920723232 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13977] ppid=13839 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13977/stat : 13977 (java) S 13839 13845 15196 0 -1 1077944384 57 12343 0 1 0 0 8 4 20 0 20 0 4988980 11263537152 832298 33554432000 4194304 4196468 140730373540784 140207919670016 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13985] ppid=13839 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13985/stat : 13985 (java) S 13839 13845 15196 0 -1 1077944384 1 12343 0 1 0 0 8 4 20 0 20 0 4988984 11263537152 832298 33554432000 4194304 4196468 140730373540784 140207918618576 140208447936411 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13986] ppid=13839 vsize=10999548 CPUtime=10.24 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13986/stat : 13986 (java) S 13839 13845 15196 0 -1 1077944384 28042 12343 0 1 1005 7 8 4 20 0 20 0 4988984 11263537152 832298 33554432000 4194304 4196468 140730373540784 140207917566704 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13987] ppid=13839 vsize=10999548 CPUtime=10.21 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13987/stat : 13987 (java) S 13839 13845 15196 0 -1 1077944384 24804 12343 0 1 1003 6 8 4 20 0 20 0 4988984 11263537152 832298 33554432000 4194304 4196468 140730373540784 140207916514160 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13988] ppid=13839 vsize=10999548 CPUtime=9.99 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13988/stat : 13988 (java) S 13839 13845 15196 0 -1 1077944384 24392 12343 0 1 980 7 8 4 20 0 20 0 4988984 11263537152 832298 33554432000 4194304 4196468 140730373540784 140207915461104 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13989] ppid=13839 vsize=10999548 CPUtime=4.81 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13989/stat : 13989 (java) S 13839 13845 15196 0 -1 1077944384 23584 12343 0 1 462 7 8 4 20 0 20 0 4988984 11263537152 832298 33554432000 4194304 4196468 140730373540784 140207914408560 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13990] ppid=13839 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13990/stat : 13990 (java) S 13839 13845 15196 0 -1 1077944384 3 12343 0 1 0 0 8 4 20 0 20 0 4988985 11263537152 832298 33554432000 4194304 4196468 140730373540784 140207913355744 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13991] ppid=13839 vsize=10999548 CPUtime=1.24 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13991/stat : 13991 (java) S 13839 13845 15196 0 -1 1077944384 2431 12343 0 1 58 54 8 4 20 0 20 0 4988985 11263537152 832298 33554432000 4194304 4196468 140730373540784 140207912303280 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 Current children cumulated CPU time (s) 2357.49 Current children cumulated vsize (KiB) 10999548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2304.6 s] /proc/loadavg: 1.84 1.92 2.68 3/281 14203 /proc/meminfo: memFree=25217472/32770624 swapFree=5808/134708 [pid=13845] ppid=13839 vsize=10999548 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15 /proc/13845/stat : 13845 (java) S 13839 13845 15196 0 -1 1077944320 638588 12343 0 1 238666 1330 8 4 20 0 20 0 4988960 11263537152 832334 33554432000 4194304 4196468 140730373540784 140730373523328 140208447917815 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 /proc/13845/statm: 2749887 832334 3532 1 0 2737442 0 [pid=13845/tid=13955] ppid=13839 vsize=10999548 CPUtime=2291.23 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13955/stat : 13955 (java) R 13839 13845 15196 0 -1 4202560 435001 12343 0 1 229017 94 8 4 20 0 20 0 4988976 11263537152 832334 33554432000 4194304 4196468 140730373540784 140208452152096 140208100118402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13964] ppid=13839 vsize=10999548 CPUtime=9.02 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13964/stat : 13964 (java) S 13839 13845 15196 0 -1 1077944384 10726 12343 0 1 744 146 8 4 20 0 20 0 4988977 11263537152 832334 33554432000 4194304 4196468 140730373540784 140208404470288 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13965] ppid=13839 vsize=10999548 CPUtime=8.89 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13965/stat : 13965 (java) S 13839 13845 15196 0 -1 1077944384 10195 12343 0 1 732 145 8 4 20 0 20 0 4988977 11263537152 832334 33554432000 4194304 4196468 140730373540784 140208403417744 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13966] ppid=13839 vsize=10999548 CPUtime=9.05 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13966/stat : 13966 (java) S 13839 13845 15196 0 -1 1077944384 8196 12343 0 1 746 147 8 4 20 0 20 0 4988977 11263537152 832334 33554432000 4194304 4196468 140730373540784 140208052820240 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13967] ppid=13839 vsize=10999548 CPUtime=8.91 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13967/stat : 13967 (java) S 13839 13845 15196 0 -1 1077944384 8338 12343 0 1 738 141 8 4 20 0 20 0 4988977 11263537152 832334 33554432000 4194304 4196468 140730373540784 140208051767696 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13968] ppid=13839 vsize=10999548 CPUtime=9.09 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13968/stat : 13968 (java) S 13839 13845 15196 0 -1 1077944384 8281 12343 0 1 751 146 8 4 20 0 20 0 4988977 11263537152 832334 33554432000 4194304 4196468 140730373540784 140208050715664 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13969] ppid=13839 vsize=10999548 CPUtime=8.89 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13969/stat : 13969 (java) S 13839 13845 15196 0 -1 1077944384 6892 12343 0 1 735 142 8 4 20 0 20 0 4988977 11263537152 832334 33554432000 4194304 4196468 140730373540784 140208049663120 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13970] ppid=13839 vsize=10999548 CPUtime=8.88 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13970/stat : 13970 (java) S 13839 13845 15196 0 -1 1077944384 9666 12343 0 1 733 143 8 4 20 0 20 0 4988977 11263537152 832334 33554432000 4194304 4196468 140730373540784 140208048610064 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13971] ppid=13839 vsize=10999548 CPUtime=8.96 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13971/stat : 13971 (java) S 13839 13845 15196 0 -1 1077944384 7987 12343 0 1 740 144 8 4 20 0 20 0 4988977 11263537152 832334 33554432000 4194304 4196468 140730373540784 140208047557520 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13973] ppid=13839 vsize=10999548 CPUtime=2.16 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13973/stat : 13973 (java) S 13839 13845 15196 0 -1 1077944384 27767 12343 0 1 174 30 8 4 20 0 20 0 4988979 11263537152 832334 33554432000 4194304 4196468 140730373540784 140207921776880 140208447928962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13976] ppid=13839 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13976/stat : 13976 (java) S 13839 13845 15196 0 -1 1077944384 71 12343 0 1 0 0 8 4 20 0 20 0 4988980 11263537152 832334 33554432000 4194304 4196468 140730373540784 140207920723232 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13977] ppid=13839 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13977/stat : 13977 (java) S 13839 13845 15196 0 -1 1077944384 57 12343 0 1 0 0 8 4 20 0 20 0 4988980 11263537152 832334 33554432000 4194304 4196468 140730373540784 140207919670016 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13985] ppid=13839 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13985/stat : 13985 (java) S 13839 13845 15196 0 -1 1077944384 1 12343 0 1 0 0 8 4 20 0 20 0 4988984 11263537152 832334 33554432000 4194304 4196468 140730373540784 140207918618576 140208447936411 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13986] ppid=13839 vsize=10999548 CPUtime=10.24 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13986/stat : 13986 (java) S 13839 13845 15196 0 -1 1077944384 28044 12343 0 1 1005 7 8 4 20 0 20 0 4988984 11263537152 832334 33554432000 4194304 4196468 140730373540784 140207917566704 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13987] ppid=13839 vsize=10999548 CPUtime=10.21 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13987/stat : 13987 (java) S 13839 13845 15196 0 -1 1077944384 24806 12343 0 1 1003 6 8 4 20 0 20 0 4988984 11263537152 832334 33554432000 4194304 4196468 140730373540784 140207916514160 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13988] ppid=13839 vsize=10999548 CPUtime=9.99 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13988/stat : 13988 (java) S 13839 13845 15196 0 -1 1077944384 24394 12343 0 1 980 7 8 4 20 0 20 0 4988984 11263537152 832334 33554432000 4194304 4196468 140730373540784 140207915461104 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13989] ppid=13839 vsize=10999548 CPUtime=4.81 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13989/stat : 13989 (java) S 13839 13845 15196 0 -1 1077944384 23586 12343 0 1 462 7 8 4 20 0 20 0 4988984 11263537152 832334 33554432000 4194304 4196468 140730373540784 140207914408560 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13990] ppid=13839 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13990/stat : 13990 (java) S 13839 13845 15196 0 -1 1077944384 3 12343 0 1 0 0 8 4 20 0 20 0 4988985 11263537152 832334 33554432000 4194304 4196468 140730373540784 140207913355744 140208447928021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 [pid=13845/tid=13991] ppid=13839 vsize=10999548 CPUtime=1.26 cores=1,3,5,7,9,11,13,15 /proc/13845/task/13991/stat : 13991 (java) S 13839 13845 15196 0 -1 1077944384 2447 12343 0 1 59 55 8 4 20 0 20 0 4988985 11263537152 832334 33554432000 4194304 4196468 140730373540784 140207912303280 140208447928962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31068160 140730373544641 140730373547415 140730373547415 140730373550031 0 Current children cumulated CPU time (s) 2400.08 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 13845 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2304.66 CPU time (s): 2400.15 CPU user time (s): 2386.78 CPU system time (s): 13.3754 CPU usage (%): 104.144 Max. virtual memory (cumulated for all children) (KiB): 11001744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2386.78 system time used= 13.3754 maximum resident set size= 3330600 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 652485 page faults= 1 swaps= 0 block input operations= 72 block output operations= 2840 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 125598 involuntary context switches= 136727 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.8565 second user time and 19.8767 second system time The end
Begin job on node145 at 2017-07-22 06:20:38 IDJOB=4244821 IDBENCH=115913 IDSOLVER=2630 FILE ID=node145/4244821-1500697238 RUNJOBID= node145-1500697238-13814 PBS_JOBID= 20623333 Free space on /tmp= 61864 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-29.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244821-1500697238/watcher-4244821-1500697238 -o /tmp/evaluation-result-4244821-1500697238/solver-4244821-1500697238 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500697238-13814 --watchdog 2560 bin/concrete HOME/instance-4244821-1500697238.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 1822b9c415adc1a9dd10b23e46d08c48 RANDOM SEED=603232724 node145.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 : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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 : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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 : 5333.43 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 : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31848104 kB MemAvailable: 31986184 kB Buffers: 140104 kB Cached: 270196 kB SwapCached: 0 kB Active: 271192 kB Inactive: 197852 kB Active(anon): 2884 kB Inactive(anon): 67832 kB Active(file): 268308 kB Inactive(file): 130020 kB Unevictable: 5808 kB Mlocked: 5808 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 48652 kB Writeback: 0 kB AnonPages: 214360 kB Mapped: 31136 kB Shmem: 8852 kB Slab: 145420 kB SReclaimable: 111176 kB SUnreclaim: 34244 kB KernelStack: 4448 kB PageTables: 4448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 308880 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 163840 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61812 MiB End job on node145 at 2017-07-22 06:59:03