Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.4 | SAT (TO) | 383 | 2520.1499 | 2463.45 |
| 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 |
3.21/2.18 c Concrete v3.4 running
15.53/6.44 % 05:14:43.017 [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
15.53/6.46 % 05:14:43.041 [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
15.53/6.46 % 05:14:43.042 [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
15.53/6.47 % 05:14:43.058 [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
15.53/6.48 % 05:14:43.060 [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
15.53/6.49 % 05:14:43.072 [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
15.53/6.49 % 05:14:43.074 [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
15.84/6.50 % 05:14:43.087 [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
15.84/6.51 % 05:14:43.089 [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
15.84/6.51 % 05:14:43.093 [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
15.84/6.51 % 05:14:43.094 [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
15.84/6.51 % 05:14:43.098 [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
15.84/6.52 % 05:14:43.099 [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
15.84/6.52 % 05:14:43.103 [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
15.84/6.52 % 05:14:43.104 [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
15.84/6.53 % 05:14:43.109 [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
30.67/13.36 o 49
31.20/13.53 o 66
31.39/13.67 o 68
31.80/13.81 o 69
32.15/14.03 o 70
32.33/14.15 o 71
32.60/14.36 o 72
32.76/14.48 o 73
32.87/14.59 o 74
33.19/14.71 o 75
33.44/14.84 o 76
33.56/14.96 o 77
33.70/15.08 o 78
34.01/15.32 o 79
34.14/15.44 o 80
34.34/15.61 o 81
34.44/15.72 o 82
34.65/15.93 o 83
34.77/16.07 o 84
35.00/16.20 o 85
35.10/16.32 o 86
35.22/16.45 o 87
35.33/16.60 o 88
35.60/16.71 o 89
35.72/16.85 o 90
35.83/16.96 o 91
36.16/17.23 o 92
36.26/17.37 o 93
36.38/17.50 o 94
36.67/17.62 o 95
36.77/17.74 o 96
37.07/17.92 o 97
37.19/18.07 o 98
37.43/18.22 o 99
37.53/18.34 o 100
37.77/18.58 o 101
38.05/18.73 o 102
38.15/18.86 o 103
38.78/19.35 o 104
38.91/19.47 o 105
39.23/19.71 o 106
39.34/19.83 o 107
39.56/20.09 o 108
39.78/20.23 o 109
39.89/20.36 o 110
40.20/20.61 o 111
40.33/20.77 o 112
40.46/20.90 o 113
40.85/21.15 o 114
40.95/21.28 o 115
41.17/21.41 o 116
41.41/21.60 o 117
41.76/21.91 o 118
41.87/22.06 o 119
41.97/22.17 o 120
42.20/22.32 o 121
42.43/22.52 o 122
42.53/22.68 o 123
42.75/22.82 o 124
42.88/22.97 o 125
43.12/23.12 o 126
43.22/23.27 o 127
43.44/23.44 o 128
43.60/23.58 o 129
43.83/23.73 o 130
43.94/23.87 o 131
44.17/24.02 o 132
44.40/24.22 o 133
44.50/24.36 o 134
44.72/24.55 o 135
44.94/24.70 o 136
45.06/24.84 o 137
45.16/24.98 o 138
45.39/25.12 o 139
45.62/25.36 o 140
45.72/25.49 o 141
45.94/25.67 o 142
46.15/25.83 o 143
46.26/25.97 o 144
46.53/26.14 o 145
46.63/26.28 o 146
46.87/26.43 o 147
46.97/26.56 o 148
47.07/26.69 o 149
47.39/26.90 o 178
47.52/27.03 o 179
47.62/27.20 o 180
47.95/27.41 o 181
48.33/27.69 o 182
48.73/27.85 o 183
49.03/28.07 o 184
49.35/28.31 o 185
49.72/28.62 o 186
49.72/28.70 o 187
49.94/28.82 o 188
50.07/28.96 o 189
50.36/29.11 o 190
50.46/29.25 o 191
50.90/29.60 o 192
51.25/29.92 o 193
51.50/30.16 o 194
51.73/30.34 o 195
51.93/30.58 o 196
52.14/30.73 o 197
52.28/30.87 o 198
52.50/31.02 o 199
52.60/31.17 o 200
52.82/31.30 o 201
52.94/31.46 o 202
53.15/31.60 o 203
53.26/31.73 o 204
53.36/31.85 o 205
53.59/32.06 o 206
53.79/32.21 o 207
53.93/32.36 o 208
54.14/32.58 o 209
54.36/32.74 o 210
54.49/32.89 o 211
54.70/33.04 o 212
55.13/33.42 o 213
55.25/33.56 o 214
55.66/33.90 o 215
55.76/34.04 o 216
55.99/34.28 o 217
56.19/34.41 o 218
56.42/34.61 o 219
56.52/34.74 o 220
56.77/34.90 o 221
56.98/35.14 o 222
57.11/35.29 o 223
57.33/35.43 o 224
57.43/35.59 o 225
57.71/35.73 o 226
58.13/36.11 o 227
58.48/36.44 o 228
58.71/36.68 o 229
58.91/36.81 o 230
59.12/37.07 o 231
59.45/37.32 o 232
59.55/37.43 o 233
59.78/37.61 o 234
59.89/37.75 o 235
60.33/38.13 o 236
60.67/38.40 o 237
60.82/38.57 o 238
61.16/38.85 o 239
61.64/39.23 o 240
61.85/39.49 o 241
62.50/40.07 o 242
62.72/40.22 o 243
62.83/40.34 o 244
62.93/40.48 o 245
63.15/40.66 o 246
63.38/40.83 o 247
63.49/40.97 o 248
63.71/41.12 o 249
63.81/41.28 o 250
64.03/41.40 o 251
64.15/41.54 o 252
64.25/41.69 o 253
64.48/41.83 o 254
64.60/41.98 o 255
64.93/42.24 o 256
65.15/42.41 o 257
65.96/43.10 o 258
66.18/43.37 o 259
66.44/43.51 o 260
66.77/43.83 o 261
66.87/43.95 o 262
67.31/44.32 o 263
67.52/44.59 o 264
67.87/44.86 o 265
68.32/45.24 o 266
68.42/45.39 o 267
68.75/45.67 o 268
68.85/45.79 o 269
69.19/46.09 o 270
69.62/46.48 o 271
70.08/46.86 o 272
70.21/47.00 o 273
72.82/49.48 o 274
73.06/49.63 o 275
73.16/49.77 o 276
73.37/49.94 o 277
73.49/50.08 o 278
74.29/50.78 o 279
75.16/51.56 o 280
75.49/51.83 o 281
75.62/51.99 o 282
75.84/52.16 o 283
76.38/52.67 o 284
76.61/52.85 o 285
76.92/53.18 o 286
77.24/53.45 o 287
77.47/53.63 o 288
77.70/53.89 o 289
77.93/54.04 o 290
78.63/54.61 o 291
79.91/55.85 o 292
80.22/56.14 o 293
80.35/56.29 o 294
80.76/56.68 o 295
81.10/56.96 o 296
81.84/57.67 o 297
82.07/57.83 o 298
82.38/58.15 o 299
82.60/58.37 o 300
82.82/58.53 o 301
83.32/58.94 o 302
83.75/59.39 o 303
83.97/59.52 o 304
84.28/59.84 o 305
84.51/60.02 o 306
84.61/60.18 o 307
84.83/60.32 o 308
85.37/60.83 o 309
85.49/60.97 o 310
85.72/61.13 o 311
85.82/61.26 o 312
86.28/61.61 o 313
86.69/62.07 o 314
87.46/62.76 o 315
87.67/62.92 o 316
88.58/63.79 o 317
88.91/64.09 o 318
89.36/64.44 o 319
89.46/64.58 o 320
90.73/65.73 o 321
91.05/66.02 o 322
91.15/66.17 o 323
91.37/66.31 o 324
92.71/67.49 o 325
93.07/67.76 o 326
93.62/68.22 o 327
93.92/68.57 o 328
94.15/68.70 o 329
94.36/68.99 o 330
95.82/70.40 o 331
96.36/70.80 o 332
96.47/70.95 o 333
96.68/71.10 o 334
97.26/71.64 o 335
99.25/73.59 o 336
99.92/74.16 o 337
100.35/74.55 o 338
100.78/74.99 o 339
101.80/75.82 o 340
102.11/76.13 o 341
102.54/76.52 o 342
102.75/76.73 o 343
103.18/77.12 o 344
103.80/77.70 o 345
104.02/77.98 o 346
104.97/78.85 o 347
105.70/79.51 o 348
106.30/80.02 o 349
106.82/80.59 o 350
107.81/81.45 o 351
108.22/81.83 o 352
110.49/83.91 o 353
110.91/84.38 o 354
112.09/85.46 o 355
112.31/85.60 o 356
115.63/88.74 o 357
116.17/89.23 o 358
116.27/89.38 o 359
117.04/90.00 o 360
117.63/90.55 o 361
118.16/91.00 o 362
118.59/91.47 o 363
119.04/91.85 o 364
119.26/92.01 o 365
119.58/92.35 o 366
133.92/105.80 o 367
134.36/106.25 o 368
135.05/106.84 o 369
135.68/107.44 o 370
140.88/112.23 o 371
141.20/112.53 o 372
141.62/112.97 o 373
142.27/113.53 o 374
143.51/114.60 o 375
143.82/114.91 o 376
145.21/116.22 o 377
180.99/149.91 o 378
368.06/332.40 o 379
412.33/375.44 o 380
414.27/377.35 o 381
1083.45/1033.55 o 382
1321.28/1268.76 o 383
2520.07/2463.40 java.util.concurrent.TimeoutException
2520.07/2463.40 at concrete.MAC.mac(MAC.scala:74)
2520.07/2463.40 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.07/2463.40 at scala.util.Try$.apply(Try.scala:209)
2520.07/2463.40 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2463.40 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2463.40 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2463.40 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2463.40 at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.07/2463.40 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2463.40 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2463.40 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2463.40 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2463.40 at concrete.MAC.oneRun(MAC.scala:146)
2520.07/2463.40 at concrete.MAC.nextSolution(MAC.scala:166)
2520.07/2463.40 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.07/2463.40 at concrete.ProblemState.map(ProblemState.scala:203)
2520.07/2463.40 at concrete.ProblemState.map(ProblemState.scala:188)
2520.07/2463.40 at concrete.MAC.nextSolution(MAC.scala:195)
2520.07/2463.40 at concrete.Solver.hasNext(Solver.scala:202)
2520.07/2463.40 at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.07/2463.40 at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.07/2463.40 at concrete.Solver.toStream(Solver.scala:73)
2520.07/2463.40 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.07/2463.40 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.07/2463.40 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.07/2463.40 at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.07/2463.40 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.07/2463.40 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2463.40 at scala.util.Success.map(Try.scala:209)
2520.07/2463.40 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.07/2463.40 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.07/2463.40 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.07/2463.40 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.07/2463.40 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.07/2463.40 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2463.40 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2463.40 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2463.40 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2463.40 at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2463.40 at scala.App.main(App.scala:76)
2520.07/2463.40 at scala.App.main$(App.scala:74)
2520.07/2463.40 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.07/2463.40 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2463.41 v <instantiation cost="383">
2520.07/2463.41 v <list>
2520.07/2463.41 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
2520.07/2463.41 v </list>
2520.07/2463.41 v <values>
2520.07/2463.41 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
2520.07/2463.41 v </values>
2520.07/2463.41 v </instantiation>
2520.07/2463.41 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-4262183-1502422111/watcher-4262183-1502422111 -o /tmp/evaluation-result-4262183-1502422111/solver-4262183-1502422111 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13072 --watchdog 2580 bin/concrete HOME/instance-4262183-1502422111.xml pid=14881 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.78 1.65 1.61 3/198 14884 /proc/meminfo: memFree=30589644/32770624 swapFree=0/461872 [pid=14884] ppid=14881 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/14884/stat : 14884 (runsolver) D 14881 14884 13007 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 84122273 24240128 107 18446744073709551615 4194304 4338465 140726050378704 140726050376344 140540803990231 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 38715392 140726050382032 140726050382409 140726050382409 140726050385866 0 /proc/14884/statm: 5918 107 54 36 0 2156 0 [startup+0.100288 s] /proc/loadavg: 1.78 1.65 1.61 3/198 14884 /proc/meminfo: memFree=30589644/32770624 swapFree=0/461872 [pid=14884] ppid=14881 vsize=9508 CPUtime=0 cores=1,3,5,7 /proc/14884/stat : 14884 (bash) S 14881 14884 13007 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 84122273 9736192 351 18446744073709551615 4194304 5098028 140724562947504 140724562945144 140655449361408 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 9 0 0 7196144 7232144 14073856 140724562948628 140724562948713 140724562948713 140724562952170 0 /proc/14884/statm: 2377 351 279 221 0 86 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9508 [startup+0.200285 s] /proc/loadavg: 1.78 1.65 1.61 3/198 14884 /proc/meminfo: memFree=30589644/32770624 swapFree=0/461872 [pid=14884] ppid=14881 vsize=9636 CPUtime=0.01 cores=1,3,5,7 /proc/14884/stat : 14884 (bash) S 14881 14884 13007 0 -1 4202496 891 6486 0 0 0 0 0 1 20 0 1 0 84122273 9867264 376 18446744073709551615 4194304 5098028 140724562947504 140724562941512 140655449361408 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 9 0 0 7196144 7232144 14073856 140724562948628 140724562948713 140724562948713 140724562952170 0 /proc/14884/statm: 2409 376 296 221 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9636 [startup+0.300342 s] /proc/loadavg: 1.78 1.65 1.61 3/198 14884 /proc/meminfo: memFree=30589644/32770624 swapFree=0/461872 [pid=14884] ppid=14881 vsize=13973872 CPUtime=0.14 cores=1,3,5,7 /proc/14884/stat : 14884 (java) S 14881 14884 13007 0 -1 1077944320 5816 12474 0 0 6 1 4 3 20 0 15 0 84122273 14309244928 5979 18446744073709551615 4194304 4196468 140737269224736 140737269207280 140260826570487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 /proc/14884/statm: 3493468 5979 2650 1 0 3482965 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 13973872 [startup+0.700297 s] /proc/loadavg: 1.78 1.65 1.61 3/198 14884 /proc/meminfo: memFree=30589644/32770624 swapFree=0/461872 [pid=14884] ppid=14881 vsize=13974784 CPUtime=0.7 cores=1,3,5,7 /proc/14884/stat : 14884 (java) S 14881 14884 13007 0 -1 1077944320 13941 12474 0 0 59 4 4 3 20 0 15 0 84122273 14310178816 14823 18446744073709551615 4194304 4196468 140737269224736 140737269207280 140260826570487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 /proc/14884/statm: 3493696 14823 3108 1 0 3482965 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 13974784 [startup+1.50163 s] /proc/loadavg: 1.80 1.65 1.61 4/213 14947 /proc/meminfo: memFree=30497012/32770624 swapFree=0/461912 [pid=14884] ppid=14881 vsize=13985408 CPUtime=1.93 cores=1,3,5,7 /proc/14884/stat : 14884 (java) S 14881 14884 13007 0 -1 1077944320 31766 12474 0 0 176 10 4 3 20 0 15 0 84122273 14321057792 43170 18446744073709551615 4194304 4196468 140737269224736 140737269207280 140260826570487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 /proc/14884/statm: 3496352 43170 3373 1 0 3485525 0 [pid=14884/tid=14934] ppid=14881 vsize=13985408 CPUtime=1.28 cores=1,3,5,7 /proc/14884/task/14934/stat : 14934 (java) R 14881 14884 13007 0 -1 4202560 24125 12474 0 0 116 5 4 3 20 0 15 0 84122294 14321057792 43170 18446744073709551615 4194304 4196468 140737269224736 140260830781808 140260428354816 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14935] ppid=14881 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14935/stat : 14935 (java) S 14881 14884 13007 0 -1 1077944384 197 12474 0 0 0 0 4 3 20 0 15 0 84122295 14321057792 43170 18446744073709551615 4194304 4196468 140737269224736 140260761004688 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14936] ppid=14881 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/14884/task/14936/stat : 14936 (java) S 14881 14884 13007 0 -1 1077944384 56 12474 0 0 1 0 4 3 20 0 15 0 84122295 14321057792 43170 18446744073709551615 4194304 4196468 140737269224736 140260759951888 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14937] ppid=14881 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/14884/task/14937/stat : 14937 (java) S 14881 14884 13007 0 -1 1077944384 62 12474 0 0 1 0 4 3 20 0 15 0 84122295 14321057792 43170 18446744073709551615 4194304 4196468 140737269224736 140260758899088 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14938] ppid=14881 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14938/stat : 14938 (java) S 14881 14884 13007 0 -1 1077944384 61 12474 0 0 0 0 4 3 20 0 15 0 84122295 14321057792 43170 18446744073709551615 4194304 4196468 140737269224736 140260757846288 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14939] ppid=14881 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/14884/task/14939/stat : 14939 (java) S 14881 14884 13007 0 -1 1077944384 1831 12474 0 0 1 0 4 3 20 0 15 0 84122296 14321057792 43170 18446744073709551615 4194304 4196468 140737269224736 140259743349616 140260826581634 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14940] ppid=14881 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14940/stat : 14940 (java) S 14881 14884 13007 0 -1 1077944384 56 12474 0 0 0 0 4 3 20 0 15 0 84122297 14321057792 43170 18446744073709551615 4194304 4196468 140737269224736 140259742295584 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14941] ppid=14881 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14941/stat : 14941 (java) S 14881 14884 13007 0 -1 1077944384 44 12474 0 0 0 0 4 3 20 0 15 0 84122297 14321057792 43170 18446744073709551615 4194304 4196468 140737269224736 140259673236832 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14942] ppid=14881 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14942/stat : 14942 (java) S 14881 14884 13007 0 -1 1077944384 3 12474 0 0 0 0 4 3 20 0 15 0 84122299 14321057792 43170 18446744073709551615 4194304 4196468 140737269224736 140259672185168 140260826589083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14943] ppid=14881 vsize=13985408 CPUtime=0.22 cores=1,3,5,7 /proc/14884/task/14943/stat : 14943 (java) S 14881 14884 13007 0 -1 1077944384 1128 12474 0 0 15 0 4 3 20 0 15 0 84122299 14321057792 43170 18446744073709551615 4194304 4196468 140737269224736 140259671132528 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14944] ppid=14881 vsize=13985408 CPUtime=0.21 cores=1,3,5,7 /proc/14884/task/14944/stat : 14944 (java) S 14881 14884 13007 0 -1 1077944384 530 12474 0 0 14 0 4 3 20 0 15 0 84122299 14321057792 43170 18446744073709551615 4194304 4196468 140737269224736 140259670079728 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14945] ppid=14881 vsize=13985408 CPUtime=0.31 cores=1,3,5,7 /proc/14884/task/14945/stat : 14945 (java) S 14881 14884 13007 0 -1 1077944384 1509 12474 0 0 23 1 4 3 20 0 15 0 84122299 14321057792 43170 18446744073709551615 4194304 4196468 140737269224736 140259669026928 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14946] ppid=14881 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14946/stat : 14946 (java) S 14881 14884 13007 0 -1 1077944384 3 12474 0 0 0 0 4 3 20 0 15 0 84122300 14321057792 43170 18446744073709551615 4194304 4196468 140737269224736 140259667974368 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14947] ppid=14881 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14947/stat : 14947 (java) S 14881 14884 13007 0 -1 1077944384 10 12474 0 0 0 0 4 3 20 0 15 0 84122302 14321057792 43170 18446744073709551615 4194304 4196468 140737269224736 140259666922672 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 Current children cumulated CPU time (s) 1.93 Current children cumulated vsize (KiB) 13985408 [startup+3.10066 s] /proc/loadavg: 1.80 1.65 1.61 7/213 14947 /proc/meminfo: memFree=30368200/32770624 swapFree=0/461912 [pid=14884] ppid=14881 vsize=13997884 CPUtime=5.62 cores=1,3,5,7 /proc/14884/stat : 14884 (java) S 14881 14884 13007 0 -1 1077944320 49473 12474 0 0 540 15 4 3 20 0 15 0 84122273 14333833216 56422 18446744073709551615 4194304 4196468 140737269224736 140737269207280 140260826570487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 /proc/14884/statm: 3499471 56422 3444 1 0 3488085 0 [pid=14884/tid=14934] ppid=14881 vsize=13997884 CPUtime=2.87 cores=1,3,5,7 /proc/14884/task/14934/stat : 14934 (java) R 14881 14884 13007 0 -1 4202560 36332 12474 0 0 272 8 4 3 20 0 15 0 84122294 14333833216 56422 18446744073709551615 4194304 4196468 140737269224736 140260830788896 140260428359407 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14935] ppid=14881 vsize=13997884 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14935/stat : 14935 (java) S 14881 14884 13007 0 -1 1077944384 197 12474 0 0 0 0 4 3 20 0 15 0 84122295 14333833216 56422 18446744073709551615 4194304 4196468 140737269224736 140260761004688 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14936] ppid=14881 vsize=13997884 CPUtime=0.08 cores=1,3,5,7 /proc/14884/task/14936/stat : 14936 (java) S 14881 14884 13007 0 -1 1077944384 56 12474 0 0 1 0 4 3 20 0 15 0 84122295 14333833216 56422 18446744073709551615 4194304 4196468 140737269224736 140260759951888 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14937] ppid=14881 vsize=13997884 CPUtime=0.08 cores=1,3,5,7 /proc/14884/task/14937/stat : 14937 (java) S 14881 14884 13007 0 -1 1077944384 62 12474 0 0 1 0 4 3 20 0 15 0 84122295 14333833216 56422 18446744073709551615 4194304 4196468 140737269224736 140260758899088 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14938] ppid=14881 vsize=13997884 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14938/stat : 14938 (java) S 14881 14884 13007 0 -1 1077944384 61 12474 0 0 0 0 4 3 20 0 15 0 84122295 14333833216 56422 18446744073709551615 4194304 4196468 140737269224736 140260757846288 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14939] ppid=14881 vsize=13997884 CPUtime=0.08 cores=1,3,5,7 /proc/14884/task/14939/stat : 14939 (java) S 14881 14884 13007 0 -1 1077944384 1862 12474 0 0 1 0 4 3 20 0 15 0 84122296 14333833216 56422 18446744073709551615 4194304 4196468 140737269224736 140259743349616 140260826581634 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14940] ppid=14881 vsize=13997884 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14940/stat : 14940 (java) S 14881 14884 13007 0 -1 1077944384 56 12474 0 0 0 0 4 3 20 0 15 0 84122297 14333833216 56422 18446744073709551615 4194304 4196468 140737269224736 140259742295584 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14941] ppid=14881 vsize=13997884 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14941/stat : 14941 (java) S 14881 14884 13007 0 -1 1077944384 44 12474 0 0 0 0 4 3 20 0 15 0 84122297 14333833216 56422 18446744073709551615 4194304 4196468 140737269224736 140259673236832 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14942] ppid=14881 vsize=13997884 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14942/stat : 14942 (java) S 14881 14884 13007 0 -1 1077944384 3 12474 0 0 0 0 4 3 20 0 15 0 84122299 14333833216 56422 18446744073709551615 4194304 4196468 140737269224736 140259672185168 140260826589083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14943] ppid=14881 vsize=13997884 CPUtime=0.99 cores=1,3,5,7 /proc/14884/task/14943/stat : 14943 (java) S 14881 14884 13007 0 -1 1077944384 3565 12474 0 0 91 1 4 3 20 0 15 0 84122299 14333833216 56422 18446744073709551615 4194304 4196468 140737269224736 140259671132528 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14944] ppid=14881 vsize=13997884 CPUtime=0.79 cores=1,3,5,7 /proc/14884/task/14944/stat : 14944 (java) S 14881 14884 13007 0 -1 1077944384 1253 12474 0 0 72 0 4 3 20 0 15 0 84122299 14333833216 56422 18446744073709551615 4194304 4196468 140737269224736 140259670079728 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14945] ppid=14881 vsize=13997884 CPUtime=1.06 cores=1,3,5,7 /proc/14884/task/14945/stat : 14945 (java) R 14881 14884 13007 0 -1 4202560 3816 12474 0 0 97 2 4 3 20 0 15 0 84122299 14333833216 56422 18446744073709551615 4194304 4196468 140737269224736 140259669023864 140260810650974 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14946] ppid=14881 vsize=13997884 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14946/stat : 14946 (java) S 14881 14884 13007 0 -1 1077944384 3 12474 0 0 0 0 4 3 20 0 15 0 84122300 14333833216 56422 18446744073709551615 4194304 4196468 140737269224736 140259667974368 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14947] ppid=14881 vsize=13997884 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14947/stat : 14947 (java) S 14881 14884 13007 0 -1 1077944384 12 12474 0 0 0 0 4 3 20 0 15 0 84122302 14333833216 56422 18446744073709551615 4194304 4196468 140737269224736 140259666922672 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 Current children cumulated CPU time (s) 5.62 Current children cumulated vsize (KiB) 13997884 [startup+6.30113 s] /proc/loadavg: 1.90 1.68 1.62 5/213 14947 /proc/meminfo: memFree=30092452/32770624 swapFree=0/461900 [pid=14884] ppid=14881 vsize=14001980 CPUtime=15.23 cores=1,3,5,7 /proc/14884/stat : 14884 (java) S 14881 14884 13007 0 -1 1077944320 57502 12474 0 0 1492 24 4 3 20 0 15 0 84122273 14338027520 112955 18446744073709551615 4194304 4196468 140737269224736 140737269207280 140260826570487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 /proc/14884/statm: 3500495 112955 3469 1 0 3489109 0 [pid=14884/tid=14934] ppid=14881 vsize=14001980 CPUtime=5.98 cores=1,3,5,7 /proc/14884/task/14934/stat : 14934 (java) R 14881 14884 13007 0 -1 4202560 37523 12474 0 0 580 11 4 3 20 0 15 0 84122294 14338027520 112955 18446744073709551615 4194304 4196468 140737269224736 140260830801144 140260441386000 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14935] ppid=14881 vsize=14001980 CPUtime=0.11 cores=1,3,5,7 /proc/14884/task/14935/stat : 14935 (java) S 14881 14884 13007 0 -1 1077944384 204 12474 0 0 4 0 4 3 20 0 15 0 84122295 14338027520 112955 18446744073709551615 4194304 4196468 140737269224736 140260761004688 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14936] ppid=14881 vsize=14001980 CPUtime=0.12 cores=1,3,5,7 /proc/14884/task/14936/stat : 14936 (java) S 14881 14884 13007 0 -1 1077944384 95 12474 0 0 5 0 4 3 20 0 15 0 84122295 14338027520 112955 18446744073709551615 4194304 4196468 140737269224736 140260759951888 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14937] ppid=14881 vsize=14001980 CPUtime=0.12 cores=1,3,5,7 /proc/14884/task/14937/stat : 14937 (java) S 14881 14884 13007 0 -1 1077944384 81 12474 0 0 5 0 4 3 20 0 15 0 84122295 14338027520 112955 18446744073709551615 4194304 4196468 140737269224736 140260758899088 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14938] ppid=14881 vsize=14001980 CPUtime=0.12 cores=1,3,5,7 /proc/14884/task/14938/stat : 14938 (java) S 14881 14884 13007 0 -1 1077944384 73 12474 0 0 4 1 4 3 20 0 15 0 84122295 14338027520 112955 18446744073709551615 4194304 4196468 140737269224736 140260757846288 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14939] ppid=14881 vsize=14001980 CPUtime=0.11 cores=1,3,5,7 /proc/14884/task/14939/stat : 14939 (java) S 14881 14884 13007 0 -1 1077944384 2159 12474 0 0 4 0 4 3 20 0 15 0 84122296 14338027520 112955 18446744073709551615 4194304 4196468 140737269224736 140259743349616 140260826581634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14940] ppid=14881 vsize=14001980 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14940/stat : 14940 (java) S 14881 14884 13007 0 -1 1077944384 56 12474 0 0 0 0 4 3 20 0 15 0 84122297 14338027520 112955 18446744073709551615 4194304 4196468 140737269224736 140259742295648 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14941] ppid=14881 vsize=14001980 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14941/stat : 14941 (java) S 14881 14884 13007 0 -1 1077944384 44 12474 0 0 0 0 4 3 20 0 15 0 84122297 14338027520 112955 18446744073709551615 4194304 4196468 140737269224736 140259673236864 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14942] ppid=14881 vsize=14001980 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14942/stat : 14942 (java) S 14881 14884 13007 0 -1 1077944384 3 12474 0 0 0 0 4 3 20 0 15 0 84122299 14338027520 112955 18446744073709551615 4194304 4196468 140737269224736 140259672185168 140260826589083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14943] ppid=14881 vsize=14001980 CPUtime=3.76 cores=1,3,5,7 /proc/14884/task/14943/stat : 14943 (java) R 14881 14884 13007 0 -1 4202560 5490 12474 0 0 367 2 4 3 20 0 15 0 84122299 14338027520 112955 18446744073709551615 4194304 4196468 140737269224736 140259671132528 140260818908768 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14944] ppid=14881 vsize=14001980 CPUtime=3.57 cores=1,3,5,7 /proc/14884/task/14944/stat : 14944 (java) S 14881 14884 13007 0 -1 1077944384 3752 12474 0 0 349 1 4 3 20 0 15 0 84122299 14338027520 112955 18446744073709551615 4194304 4196468 140737269224736 140259670079728 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14945] ppid=14881 vsize=14001980 CPUtime=1.8 cores=1,3,5,7 /proc/14884/task/14945/stat : 14945 (java) S 14881 14884 13007 0 -1 1077944384 5853 12474 0 0 169 4 4 3 20 0 15 0 84122299 14338027520 112955 18446744073709551615 4194304 4196468 140737269224736 140259669026928 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14946] ppid=14881 vsize=14001980 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14946/stat : 14946 (java) S 14881 14884 13007 0 -1 1077944384 3 12474 0 0 0 0 4 3 20 0 15 0 84122300 14338027520 112955 18446744073709551615 4194304 4196468 140737269224736 140259667974368 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14947] ppid=14881 vsize=14001980 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14947/stat : 14947 (java) S 14881 14884 13007 0 -1 1077944384 15 12474 0 0 0 0 4 3 20 0 15 0 84122302 14338027520 112955 18446744073709551615 4194304 4196468 140737269224736 140259666922672 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 Current children cumulated CPU time (s) 15.23 Current children cumulated vsize (KiB) 14001980 [startup+12.7007 s] /proc/loadavg: 1.83 1.66 1.61 3/213 14947 /proc/meminfo: memFree=29625180/32770624 swapFree=0/461896 [pid=14884] ppid=14881 vsize=14071612 CPUtime=29.3 cores=1,3,5,7 /proc/14884/stat : 14884 (java) S 14881 14884 13007 0 -1 1077944320 81798 12474 0 0 2885 38 4 3 20 0 15 0 84122273 14409330688 180137 18446744073709551615 4194304 4196468 140737269224736 140737269207280 140260826570487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 /proc/14884/statm: 3517903 180137 3482 1 0 3506517 0 [pid=14884/tid=14934] ppid=14881 vsize=14071612 CPUtime=12.29 cores=1,3,5,7 /proc/14884/task/14934/stat : 14934 (java) R 14881 14884 13007 0 -1 4202560 47451 12474 0 0 1208 14 4 3 20 0 15 0 84122294 14409330688 180137 18446744073709551615 4194304 4196468 140737269224736 140260830801824 140260442967490 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14935] ppid=14881 vsize=14071612 CPUtime=0.17 cores=1,3,5,7 /proc/14884/task/14935/stat : 14935 (java) S 14881 14884 13007 0 -1 1077944384 1504 12474 0 0 8 2 4 3 20 0 15 0 84122295 14409330688 180137 18446744073709551615 4194304 4196468 140737269224736 140260761004688 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14936] ppid=14881 vsize=14071612 CPUtime=0.18 cores=1,3,5,7 /proc/14884/task/14936/stat : 14936 (java) S 14881 14884 13007 0 -1 1077944384 206 12474 0 0 9 2 4 3 20 0 15 0 84122295 14409330688 180137 18446744073709551615 4194304 4196468 140737269224736 140260759951888 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14937] ppid=14881 vsize=14071612 CPUtime=0.19 cores=1,3,5,7 /proc/14884/task/14937/stat : 14937 (java) S 14881 14884 13007 0 -1 1077944384 638 12474 0 0 10 2 4 3 20 0 15 0 84122295 14409330688 180137 18446744073709551615 4194304 4196468 140737269224736 140260758899088 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14938] ppid=14881 vsize=14071612 CPUtime=0.17 cores=1,3,5,7 /proc/14884/task/14938/stat : 14938 (java) S 14881 14884 13007 0 -1 1077944384 163 12474 0 0 8 2 4 3 20 0 15 0 84122295 14409330688 180137 18446744073709551615 4194304 4196468 140737269224736 140260757846288 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14939] ppid=14881 vsize=14071612 CPUtime=0.12 cores=1,3,5,7 /proc/14884/task/14939/stat : 14939 (java) S 14881 14884 13007 0 -1 1077944384 2540 12474 0 0 5 0 4 3 20 0 15 0 84122296 14409330688 180137 18446744073709551615 4194304 4196468 140737269224736 140259743349616 140260826581634 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14940] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14940/stat : 14940 (java) S 14881 14884 13007 0 -1 1077944384 59 12474 0 0 0 0 4 3 20 0 15 0 84122297 14409330688 180137 18446744073709551615 4194304 4196468 140737269224736 140259742295648 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14941] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14941/stat : 14941 (java) S 14881 14884 13007 0 -1 1077944384 48 12474 0 0 0 0 4 3 20 0 15 0 84122297 14409330688 180137 18446744073709551615 4194304 4196468 140737269224736 140259673236864 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14942] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14942/stat : 14942 (java) S 14881 14884 13007 0 -1 1077944384 3 12474 0 0 0 0 4 3 20 0 15 0 84122299 14409330688 180137 18446744073709551615 4194304 4196468 140737269224736 140259672185168 140260826589083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 ################ # More data... # ################ /proc/14884/task/14946/stat : 14946 (java) S 14881 14884 13007 0 -1 1077944384 3 12474 0 0 0 0 4 3 20 0 15 0 84122300 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259667974368 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14947] ppid=14881 vsize=14071612 CPUtime=1.24 cores=1,3,5,7 /proc/14884/task/14947/stat : 14947 (java) S 14881 14884 13007 0 -1 1077944384 1063 12474 0 0 53 64 4 3 20 0 15 0 84122302 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259666922672 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 Current children cumulated CPU time (s) 2318.38 Current children cumulated vsize (KiB) 14071612 [startup+2322.3 s] /proc/loadavg: 1.56 1.54 1.52 3/215 15221 /proc/meminfo: memFree=26066856/32770624 swapFree=0/462484 [pid=14884] ppid=14881 vsize=14071612 CPUtime=2378.54 cores=1,3,5,7 /proc/14884/stat : 14884 (java) S 14881 14884 13007 0 -1 1077944320 606145 12474 0 0 237296 551 4 3 20 0 15 0 84122273 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140737269207280 140260826570487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 /proc/14884/statm: 3517903 1099336 3498 1 0 3506517 0 [pid=14884/tid=14934] ppid=14881 vsize=14071612 CPUtime=2311.18 cores=1,3,5,7 /proc/14884/task/14934/stat : 14934 (java) R 14881 14884 13007 0 -1 4202560 426220 12474 0 0 230995 116 4 3 20 0 15 0 84122294 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260830804704 140260450442573 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14935] ppid=14881 vsize=14071612 CPUtime=8.89 cores=1,3,5,7 /proc/14884/task/14935/stat : 14935 (java) S 14881 14884 13007 0 -1 1077944384 18420 12474 0 0 796 86 4 3 20 0 15 0 84122295 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260761004688 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14936] ppid=14881 vsize=14071612 CPUtime=8.9 cores=1,3,5,7 /proc/14884/task/14936/stat : 14936 (java) S 14881 14884 13007 0 -1 1077944384 14244 12474 0 0 799 84 4 3 20 0 15 0 84122295 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260759951888 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14937] ppid=14881 vsize=14071612 CPUtime=8.92 cores=1,3,5,7 /proc/14884/task/14937/stat : 14937 (java) S 14881 14884 13007 0 -1 1077944384 14981 12474 0 0 797 88 4 3 20 0 15 0 84122295 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260758899088 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14938] ppid=14881 vsize=14071612 CPUtime=8.9 cores=1,3,5,7 /proc/14884/task/14938/stat : 14938 (java) S 14881 14884 13007 0 -1 1077944384 15339 12474 0 0 796 87 4 3 20 0 15 0 84122295 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260757846288 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14939] ppid=14881 vsize=14071612 CPUtime=1.73 cores=1,3,5,7 /proc/14884/task/14939/stat : 14939 (java) S 14881 14884 13007 0 -1 1077944384 28470 12474 0 0 142 24 4 3 20 0 15 0 84122296 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259743349616 140260826581634 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14940] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14940/stat : 14940 (java) S 14881 14884 13007 0 -1 1077944384 73 12474 0 0 0 0 4 3 20 0 15 0 84122297 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259742295648 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14941] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14941/stat : 14941 (java) S 14881 14884 13007 0 -1 1077944384 48 12474 0 0 0 0 4 3 20 0 15 0 84122297 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259673236864 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14942] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14942/stat : 14942 (java) S 14881 14884 13007 0 -1 1077944384 3 12474 0 0 0 0 4 3 20 0 15 0 84122299 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259672185168 140260826589083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14943] ppid=14881 vsize=14071612 CPUtime=12.46 cores=1,3,5,7 /proc/14884/task/14943/stat : 14943 (java) S 14881 14884 13007 0 -1 1077944384 29590 12474 0 0 1232 7 4 3 20 0 15 0 84122299 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259671132528 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14944] ppid=14881 vsize=14071612 CPUtime=12.57 cores=1,3,5,7 /proc/14884/task/14944/stat : 14944 (java) S 14881 14884 13007 0 -1 1077944384 26906 12474 0 0 1243 7 4 3 20 0 15 0 84122299 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259670079728 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14945] ppid=14881 vsize=14071612 CPUtime=4.25 cores=1,3,5,7 /proc/14884/task/14945/stat : 14945 (java) S 14881 14884 13007 0 -1 1077944384 28614 12474 0 0 408 10 4 3 20 0 15 0 84122299 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259669026928 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14946] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14946/stat : 14946 (java) S 14881 14884 13007 0 -1 1077944384 3 12474 0 0 0 0 4 3 20 0 15 0 84122300 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259667974368 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14947] ppid=14881 vsize=14071612 CPUtime=1.27 cores=1,3,5,7 /proc/14884/task/14947/stat : 14947 (java) S 14881 14884 13007 0 -1 1077944384 1083 12474 0 0 54 66 4 3 20 0 15 0 84122302 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259666922672 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 Current children cumulated CPU time (s) 2378.54 Current children cumulated vsize (KiB) 14071612 [startup+2382.3 s] /proc/loadavg: 1.50 1.54 1.52 3/214 15224 /proc/meminfo: memFree=26065032/32770624 swapFree=0/462488 [pid=14884] ppid=14881 vsize=14071612 CPUtime=2438.76 cores=1,3,5,7 /proc/14884/stat : 14884 (java) S 14881 14884 13007 0 -1 1077944320 618652 12474 0 0 243315 554 4 3 20 0 15 0 84122273 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140737269207280 140260826570487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 /proc/14884/statm: 3517903 1099336 3498 1 0 3506517 0 [pid=14884/tid=14934] ppid=14881 vsize=14071612 CPUtime=2371.11 cores=1,3,5,7 /proc/14884/task/14934/stat : 14934 (java) R 14881 14884 13007 0 -1 4202560 437348 12474 0 0 236988 116 4 3 20 0 15 0 84122294 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260830804016 140260432848741 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14935] ppid=14881 vsize=14071612 CPUtime=8.96 cores=1,3,5,7 /proc/14884/task/14935/stat : 14935 (java) S 14881 14884 13007 0 -1 1077944384 18645 12474 0 0 802 87 4 3 20 0 15 0 84122295 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260761004688 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14936] ppid=14881 vsize=14071612 CPUtime=8.96 cores=1,3,5,7 /proc/14884/task/14936/stat : 14936 (java) S 14881 14884 13007 0 -1 1077944384 14734 12474 0 0 805 84 4 3 20 0 15 0 84122295 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260759951888 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14937] ppid=14881 vsize=14071612 CPUtime=8.98 cores=1,3,5,7 /proc/14884/task/14937/stat : 14937 (java) S 14881 14884 13007 0 -1 1077944384 15058 12474 0 0 803 88 4 3 20 0 15 0 84122295 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260758899088 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14938] ppid=14881 vsize=14071612 CPUtime=8.96 cores=1,3,5,7 /proc/14884/task/14938/stat : 14938 (java) S 14881 14884 13007 0 -1 1077944384 15541 12474 0 0 802 87 4 3 20 0 15 0 84122295 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260757846288 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14939] ppid=14881 vsize=14071612 CPUtime=1.74 cores=1,3,5,7 /proc/14884/task/14939/stat : 14939 (java) S 14881 14884 13007 0 -1 1077944384 28830 12474 0 0 143 24 4 3 20 0 15 0 84122296 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259743349616 140260826581634 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14940] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14940/stat : 14940 (java) S 14881 14884 13007 0 -1 1077944384 73 12474 0 0 0 0 4 3 20 0 15 0 84122297 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259742295648 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14941] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14941/stat : 14941 (java) S 14881 14884 13007 0 -1 1077944384 48 12474 0 0 0 0 4 3 20 0 15 0 84122297 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259673236864 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14942] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14942/stat : 14942 (java) S 14881 14884 13007 0 -1 1077944384 3 12474 0 0 0 0 4 3 20 0 15 0 84122299 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259672185168 140260826589083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14943] ppid=14881 vsize=14071612 CPUtime=12.46 cores=1,3,5,7 /proc/14884/task/14943/stat : 14943 (java) S 14881 14884 13007 0 -1 1077944384 29593 12474 0 0 1232 7 4 3 20 0 15 0 84122299 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259671132528 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14944] ppid=14881 vsize=14071612 CPUtime=12.57 cores=1,3,5,7 /proc/14884/task/14944/stat : 14944 (java) S 14881 14884 13007 0 -1 1077944384 26908 12474 0 0 1243 7 4 3 20 0 15 0 84122299 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259670079728 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14945] ppid=14881 vsize=14071612 CPUtime=4.25 cores=1,3,5,7 /proc/14884/task/14945/stat : 14945 (java) S 14881 14884 13007 0 -1 1077944384 28616 12474 0 0 408 10 4 3 20 0 15 0 84122299 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259669026928 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14946] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14946/stat : 14946 (java) S 14881 14884 13007 0 -1 1077944384 3 12474 0 0 0 0 4 3 20 0 15 0 84122300 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259667974368 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14947] ppid=14881 vsize=14071612 CPUtime=1.31 cores=1,3,5,7 /proc/14884/task/14947/stat : 14947 (java) S 14881 14884 13007 0 -1 1077944384 1101 12474 0 0 55 69 4 3 20 0 15 0 84122302 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259666922672 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 Current children cumulated CPU time (s) 2438.76 Current children cumulated vsize (KiB) 14071612 [startup+2442.3 s] /proc/loadavg: 1.73 1.59 1.54 3/213 15227 /proc/meminfo: memFree=26065444/32770624 swapFree=0/462488 [pid=14884] ppid=14881 vsize=14071612 CPUtime=2498.93 cores=1,3,5,7 /proc/14884/stat : 14884 (java) S 14881 14884 13007 0 -1 1077944320 629737 12474 0 0 249329 557 4 3 20 0 15 0 84122273 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140737269207280 140260826570487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 /proc/14884/statm: 3517903 1099336 3498 1 0 3506517 0 [pid=14884/tid=14934] ppid=14881 vsize=14071612 CPUtime=2431.07 cores=1,3,5,7 /proc/14884/task/14934/stat : 14934 (java) R 14881 14884 13007 0 -1 4202560 447722 12474 0 0 242983 117 4 3 20 0 15 0 84122294 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260830804752 140260436342392 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14935] ppid=14881 vsize=14071612 CPUtime=9 cores=1,3,5,7 /proc/14884/task/14935/stat : 14935 (java) S 14881 14884 13007 0 -1 1077944384 19005 12474 0 0 806 87 4 3 20 0 15 0 84122295 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260761004688 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14936] ppid=14881 vsize=14071612 CPUtime=9 cores=1,3,5,7 /proc/14884/task/14936/stat : 14936 (java) S 14881 14884 13007 0 -1 1077944384 14755 12474 0 0 809 84 4 3 20 0 15 0 84122295 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260759951888 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14937] ppid=14881 vsize=14071612 CPUtime=9.02 cores=1,3,5,7 /proc/14884/task/14937/stat : 14937 (java) S 14881 14884 13007 0 -1 1077944384 15135 12474 0 0 807 88 4 3 20 0 15 0 84122295 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260758899088 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14938] ppid=14881 vsize=14071612 CPUtime=9 cores=1,3,5,7 /proc/14884/task/14938/stat : 14938 (java) S 14881 14884 13007 0 -1 1077944384 15615 12474 0 0 806 87 4 3 20 0 15 0 84122295 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260757846288 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14939] ppid=14881 vsize=14071612 CPUtime=1.74 cores=1,3,5,7 /proc/14884/task/14939/stat : 14939 (java) S 14881 14884 13007 0 -1 1077944384 28981 12474 0 0 143 24 4 3 20 0 15 0 84122296 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259743349616 140260826581634 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14940] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14940/stat : 14940 (java) S 14881 14884 13007 0 -1 1077944384 73 12474 0 0 0 0 4 3 20 0 15 0 84122297 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259742295648 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14941] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14941/stat : 14941 (java) S 14881 14884 13007 0 -1 1077944384 48 12474 0 0 0 0 4 3 20 0 15 0 84122297 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259673236864 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14942] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14942/stat : 14942 (java) S 14881 14884 13007 0 -1 1077944384 3 12474 0 0 0 0 4 3 20 0 15 0 84122299 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259672185168 140260826589083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14943] ppid=14881 vsize=14071612 CPUtime=12.46 cores=1,3,5,7 /proc/14884/task/14943/stat : 14943 (java) S 14881 14884 13007 0 -1 1077944384 29595 12474 0 0 1232 7 4 3 20 0 15 0 84122299 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259671132528 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14944] ppid=14881 vsize=14071612 CPUtime=12.57 cores=1,3,5,7 /proc/14884/task/14944/stat : 14944 (java) S 14881 14884 13007 0 -1 1077944384 26911 12474 0 0 1243 7 4 3 20 0 15 0 84122299 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259670079728 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14945] ppid=14881 vsize=14071612 CPUtime=4.25 cores=1,3,5,7 /proc/14884/task/14945/stat : 14945 (java) S 14881 14884 13007 0 -1 1077944384 28619 12474 0 0 408 10 4 3 20 0 15 0 84122299 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259669026928 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14946] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14946/stat : 14946 (java) S 14881 14884 13007 0 -1 1077944384 3 12474 0 0 0 0 4 3 20 0 15 0 84122300 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259667974368 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14947] ppid=14881 vsize=14071612 CPUtime=1.33 cores=1,3,5,7 /proc/14884/task/14947/stat : 14947 (java) S 14881 14884 13007 0 -1 1077944384 1121 12474 0 0 56 70 4 3 20 0 15 0 84122302 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259666922672 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 Current children cumulated CPU time (s) 2498.93 Current children cumulated vsize (KiB) 14071612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2463.4 s] /proc/loadavg: 1.80 1.62 1.55 3/213 15227 /proc/meminfo: memFree=26071340/32770624 swapFree=0/462484 [pid=14884] ppid=14881 vsize=14071612 CPUtime=2520.07 cores=1,3,5,7 /proc/14884/stat : 14884 (java) S 14881 14884 13007 0 -1 1077944320 636801 12474 0 0 251442 558 4 3 20 0 15 0 84122273 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140737269207280 140260826570487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 /proc/14884/statm: 3517903 1099336 3498 1 0 3506517 0 [pid=14884/tid=14934] ppid=14881 vsize=14071612 CPUtime=2452.15 cores=1,3,5,7 /proc/14884/task/14934/stat : 14934 (java) R 14881 14884 13007 0 -1 4202560 454519 12474 0 0 245091 117 4 3 20 0 15 0 84122294 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260830804720 140260441822517 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14935] ppid=14881 vsize=14071612 CPUtime=9.01 cores=1,3,5,7 /proc/14884/task/14935/stat : 14935 (java) S 14881 14884 13007 0 -1 1077944384 19087 12474 0 0 807 87 4 3 20 0 15 0 84122295 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260761004688 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14936] ppid=14881 vsize=14071612 CPUtime=9.01 cores=1,3,5,7 /proc/14884/task/14936/stat : 14936 (java) S 14881 14884 13007 0 -1 1077944384 14810 12474 0 0 810 84 4 3 20 0 15 0 84122295 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260759951888 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14937] ppid=14881 vsize=14071612 CPUtime=9.03 cores=1,3,5,7 /proc/14884/task/14937/stat : 14937 (java) S 14881 14884 13007 0 -1 1077944384 15203 12474 0 0 808 88 4 3 20 0 15 0 84122295 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260758899088 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14938] ppid=14881 vsize=14071612 CPUtime=9.02 cores=1,3,5,7 /proc/14884/task/14938/stat : 14938 (java) S 14881 14884 13007 0 -1 1077944384 15627 12474 0 0 808 87 4 3 20 0 15 0 84122295 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140260757846288 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14939] ppid=14881 vsize=14071612 CPUtime=1.75 cores=1,3,5,7 /proc/14884/task/14939/stat : 14939 (java) S 14881 14884 13007 0 -1 1077944384 29029 12474 0 0 143 25 4 3 20 0 15 0 84122296 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259743349616 140260826581634 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14940] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14940/stat : 14940 (java) S 14881 14884 13007 0 -1 1077944384 73 12474 0 0 0 0 4 3 20 0 15 0 84122297 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259742295648 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14941] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14941/stat : 14941 (java) S 14881 14884 13007 0 -1 1077944384 48 12474 0 0 0 0 4 3 20 0 15 0 84122297 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259673236864 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14942] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14942/stat : 14942 (java) S 14881 14884 13007 0 -1 1077944384 3 12474 0 0 0 0 4 3 20 0 15 0 84122299 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259672185168 140260826589083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14943] ppid=14881 vsize=14071612 CPUtime=12.46 cores=1,3,5,7 /proc/14884/task/14943/stat : 14943 (java) S 14881 14884 13007 0 -1 1077944384 29595 12474 0 0 1232 7 4 3 20 0 15 0 84122299 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259671132528 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14944] ppid=14881 vsize=14071612 CPUtime=12.57 cores=1,3,5,7 /proc/14884/task/14944/stat : 14944 (java) S 14881 14884 13007 0 -1 1077944384 26911 12474 0 0 1243 7 4 3 20 0 15 0 84122299 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259670079728 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14945] ppid=14881 vsize=14071612 CPUtime=4.25 cores=1,3,5,7 /proc/14884/task/14945/stat : 14945 (java) S 14881 14884 13007 0 -1 1077944384 28619 12474 0 0 408 10 4 3 20 0 15 0 84122299 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259669026928 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14946] ppid=14881 vsize=14071612 CPUtime=0.07 cores=1,3,5,7 /proc/14884/task/14946/stat : 14946 (java) S 14881 14884 13007 0 -1 1077944384 3 12474 0 0 0 0 4 3 20 0 15 0 84122300 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259667974368 140260826580693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 [pid=14884/tid=14947] ppid=14881 vsize=14071612 CPUtime=1.35 cores=1,3,5,7 /proc/14884/task/14947/stat : 14947 (java) S 14881 14884 13007 0 -1 1077944384 1123 12474 0 0 57 71 4 3 20 0 15 0 84122302 14409330688 1099336 18446744073709551615 4194304 4196468 140737269224736 140259666922672 140260826581634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6832128 140737269233616 140737269236401 140737269236401 140737269239759 0 Current children cumulated CPU time (s) 2520.07 Current children cumulated vsize (KiB) 14071612 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 14884 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2463.45 CPU time (s): 2520.15 CPU user time (s): 2514.51 CPU system time (s): 5.64148 CPU usage (%): 102.302 Max. virtual memory (cumulated for all children) (KiB): 14071612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2514.51 system time used= 5.64148 maximum resident set size= 4398172 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 651244 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2976 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 96749 involuntary context switches= 3553 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.0326 second user time and 15.083 second system time The end
Begin job on node135 at 2017-08-11 05:14:36 IDJOB=4262183 IDBENCH=115913 IDSOLVER=2650 FILE ID=node135/4262183-1502422111 RUNJOBID= node135-1502411443-13072 PBS_JOBID= Free space on /tmp= 62008 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-4262183-1502422111/watcher-4262183-1502422111 -o /tmp/evaluation-result-4262183-1502422111/solver-4262183-1502422111 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13072 --watchdog 2580 bin/concrete HOME/instance-4262183-1502422111.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1822b9c415adc1a9dd10b23e46d08c48 RANDOM SEED=67621529 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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.21 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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.21 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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.21 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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.21 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30586340 kB MemAvailable: 31393988 kB Buffers: 283344 kB Cached: 816372 kB SwapCached: 0 kB Active: 1246756 kB Inactive: 495144 kB Active(anon): 642580 kB Inactive(anon): 33140 kB Active(file): 604176 kB Inactive(file): 462004 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24788 kB Writeback: 0 kB AnonPages: 642304 kB Mapped: 62100 kB Shmem: 33464 kB Slab: 141812 kB SReclaimable: 114604 kB SUnreclaim: 27208 kB KernelStack: 3456 kB PageTables: 6160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1613932 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 413696 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61984 MiB End job on node135 at 2017-08-11 05:55:40