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) | 327 | 2520.1399 | 2465.76 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml |
| MD5SUM | 7effaf54e6298c2e2ce7b82787858117 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 373 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1712 |
| Number of constraints | 1007 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1683 |
| Distribution of domain sizes | [{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 30 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}] |
| Number of extensional constraints | 837 |
| Number of intensional constraints | 136 |
| Distribution of constraint types | [{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
3.24/2.17 c Concrete v3.4 running
15.49/6.25 % 04:34:15.165 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5697. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 1760622380, 3 edges, 4 vertices, 1 tuples
15.49/6.27 % 04:34:15.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5775. 'extension(false, x[1][27]: {[0?1]}, x[2][27]: {[0?1]}) :: init: true :: relation: MDD 2008762581, 3 edges, 4 vertices, 1 tuples
15.49/6.27 % 04:34:15.190 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5780. 'extension(x[26][1]: {[0?1]}, x[27][1]: {[0?1]}, false) :: init: true :: relation: MDD 1760622380, 3 edges, 4 vertices, 1 tuples
15.49/6.29 % 04:34:15.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5858. 'extension(x[26][27]: {[0?1]}, x[27][27]: {[0?1]}, false) :: init: true :: relation: MDD 2008762581, 3 edges, 4 vertices, 1 tuples
15.49/6.29 % 04:34:15.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5862. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 337777621, 3 edges, 4 vertices, 1 tuples
15.81/6.30 % 04:34:15.220 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5940. 'extension(false, x[27][1]: {[0?1]}, x[27][2]: {[0?1]}) :: init: true :: relation: MDD 728746911, 3 edges, 4 vertices, 1 tuples
15.81/6.30 % 04:34:15.221 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 5943. 'extension(x[1][26]: {[0?1]}, x[1][27]: {[0?1]}, false) :: init: true :: relation: MDD 337777621, 3 edges, 4 vertices, 1 tuples
15.81/6.32 % 04:34:15.234 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6021. 'extension(x[27][26]: {[0?1]}, x[27][27]: {[0?1]}, false) :: init: true :: relation: MDD 728746911, 3 edges, 4 vertices, 1 tuples
15.81/6.32 % 04:34:15.235 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6025. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD
15.81/6.32 % 04:34:15.239 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6075. 'extension(x[1][27]: {[0?1]}, x[2][27]: {[0?1]}) :: init: true :: relation: Empty MDD
15.81/6.32 % 04:34:15.240 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6079. 'extension(x[26][1]: {[0?1]}, x[27][1]: {[0?1]}) :: init: true :: relation: Empty MDD
15.81/6.33 % 04:34:15.244 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6129. 'extension(x[26][27]: {[0?1]}, x[27][27]: {[0?1]}) :: init: true :: relation: Empty MDD
15.81/6.33 % 04:34:15.245 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6133. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD
15.81/6.33 % 04:34:15.249 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6185. 'extension(x[27][1]: {[0?1]}, x[27][2]: {[0?1]}) :: init: true :: relation: Empty MDD
15.81/6.33 % 04:34:15.250 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6191. 'extension(x[1][26]: {[0?1]}, x[1][27]: {[0?1]}) :: init: true :: relation: Empty MDD
15.81/6.34 % 04:34:15.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6243. 'extension(x[27][26]: {[0?1]}, x[27][27]: {[0?1]}) :: init: true :: relation: Empty MDD
27.84/11.18 o 7
28.35/11.31 o 8
28.55/11.43 o 9
28.82/11.56 o 10
29.02/11.66 o 135
29.18/11.78 o 136
29.51/11.90 o 137
29.64/12.02 o 138
29.83/12.12 o 139
29.96/12.24 o 140
30.06/12.35 o 141
30.21/12.46 o 142
30.31/12.57 o 143
30.43/12.69 o 144
30.66/12.80 o 145
30.76/12.90 o 146
30.87/13.02 o 147
31.00/13.12 o 148
31.10/13.24 o 149
31.23/13.36 o 150
31.33/13.45 o 151
31.95/13.87 o 152
32.26/14.00 o 153
32.36/14.10 o 154
32.48/14.22 o 155
32.60/14.35 o 156
32.70/14.45 o 157
32.93/14.68 o 158
33.18/14.82 o 159
33.30/14.94 o 160
33.40/15.05 o 161
33.98/15.30 o 162
34.63/15.63 o 163
34.73/15.73 o 164
34.99/15.94 o 165
35.12/16.04 o 166
35.22/16.17 o 167
35.34/16.29 o 168
35.94/16.73 o 169
36.04/16.84 o 170
36.17/16.95 o 171
36.43/17.15 o 172
36.55/17.26 o 173
36.78/17.47 o 174
36.89/17.60 o 175
37.13/17.71 o 176
37.25/17.84 o 177
37.47/18.08 o 178
37.72/18.22 o 179
37.82/18.33 o 180
38.05/18.53 o 181
38.29/18.72 o 182
38.39/18.86 o 183
38.63/19.00 o 184
38.74/19.11 o 185
38.96/19.33 o 186
39.07/19.45 o 187
39.16/19.56 o 188
39.32/19.69 o 189
39.75/20.07 o 190
40.49/20.65 o 191
40.84/20.80 o 192
41.09/20.93 o 193
41.52/21.31 o 194
41.89/21.64 o 195
41.99/21.77 o 196
42.11/21.88 o 197
42.35/22.00 o 198
42.57/22.21 o 199
42.67/22.33 o 200
42.90/22.55 o 201
43.24/22.87 o 202
43.35/22.99 o 203
43.70/23.23 o 204
44.34/23.76 o 205
44.59/23.88 o 206
44.83/24.01 o 207
44.96/24.13 o 208
45.07/24.25 o 209
45.61/24.79 o 210
45.83/24.90 o 211
46.05/25.20 o 212
46.37/25.48 o 213
46.84/25.81 o 214
47.08/26.09 o 215
47.30/26.29 o 216
47.53/26.46 o 217
47.75/26.67 o 218
47.85/26.78 o 219
48.17/27.00 o 220
48.29/27.12 o 221
48.56/27.35 o 222
48.66/27.47 o 223
48.89/27.68 o 224
49.25/27.90 o 225
49.35/28.03 o 226
49.46/28.17 o 227
49.68/28.37 o 228
49.91/28.50 o 229
50.26/28.81 o 230
50.38/28.92 o 231
50.61/29.14 o 232
50.71/29.26 o 233
50.82/29.37 o 234
51.04/29.51 o 235
51.16/29.63 o 236
51.59/30.08 o 237
51.96/30.31 o 238
52.06/30.45 o 239
52.41/30.70 o 240
52.73/31.01 o 241
52.96/31.23 o 242
53.28/31.58 o 243
53.51/31.73 o 244
53.72/31.93 o 245
53.84/32.07 o 246
53.95/32.19 o 247
54.17/32.33 o 248
54.72/32.84 o 249
55.75/33.70 o 250
55.98/33.94 o 251
56.18/34.15 o 252
56.39/34.37 o 253
56.72/34.68 o 254
57.60/35.43 o 255
57.74/35.58 o 256
57.96/35.73 o 257
59.20/36.83 o 258
59.43/37.07 o 259
59.76/37.32 o 260
59.99/37.54 o 261
60.10/37.68 o 262
60.92/38.32 o 263
61.02/38.47 o 264
63.05/40.35 o 265
63.37/40.63 o 266
63.50/40.77 o 267
63.98/41.13 o 268
64.52/41.61 o 269
64.62/41.73 o 270
65.91/42.98 o 271
66.11/43.11 o 272
66.22/43.24 o 273
66.34/43.38 o 274
66.44/43.49 o 275
67.16/44.00 o 276
67.77/44.69 o 277
67.99/44.81 o 278
68.33/45.11 o 279
69.71/46.45 o 280
69.92/46.66 o 281
70.29/46.96 o 282
70.65/47.22 o 283
70.75/47.36 o 284
71.09/47.61 o 285
71.19/47.73 o 286
71.53/48.07 o 287
74.22/50.58 o 288
74.76/51.06 o 289
74.97/51.28 o 290
77.06/53.17 o 291
77.40/53.42 o 292
77.61/53.69 o 293
77.82/53.83 o 294
79.11/55.09 o 295
79.63/55.57 o 296
79.85/55.70 o 297
80.42/56.22 o 298
81.95/57.61 o 299
82.06/57.74 o 300
82.60/58.21 o 301
82.93/58.55 o 302
83.14/58.79 o 303
83.79/59.38 o 304
84.36/59.81 o 305
87.16/62.43 o 306
87.27/62.59 o 307
87.50/62.72 o 308
87.94/63.13 o 309
88.17/63.33 o 310
88.42/63.50 o 311
88.94/64.07 o 312
89.36/64.42 o 313
89.58/64.69 o 314
89.91/64.90 o 315
91.44/66.33 o 316
91.97/66.83 o 317
92.07/66.97 o 318
92.56/67.39 o 319
100.07/74.35 o 320
102.29/76.48 o 321
127.88/100.72 o 322
576.75/537.13 o 323
719.75/676.53 o 324
734.44/690.69 o 325
1382.25/1331.85 o 326
1650.31/1598.56 o 327
2520.06/2465.70 java.util.concurrent.TimeoutException
2520.06/2465.70 at concrete.MAC.mac(MAC.scala:74)
2520.06/2465.70 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.06/2465.70 at scala.util.Try$.apply(Try.scala:209)
2520.06/2465.70 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.06/2465.70 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.06/2465.70 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.06/2465.70 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.06/2465.70 at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.06/2465.70 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.06/2465.70 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.06/2465.70 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.06/2465.70 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.06/2465.70 at concrete.MAC.oneRun(MAC.scala:146)
2520.06/2465.70 at concrete.MAC.nextSolution(MAC.scala:166)
2520.06/2465.70 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.06/2465.70 at concrete.ProblemState.map(ProblemState.scala:203)
2520.06/2465.70 at concrete.ProblemState.map(ProblemState.scala:188)
2520.06/2465.70 at concrete.MAC.nextSolution(MAC.scala:195)
2520.06/2465.70 at concrete.Solver.hasNext(Solver.scala:202)
2520.06/2465.70 at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.06/2465.70 at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.06/2465.70 at concrete.Solver.toStream(Solver.scala:73)
2520.06/2465.70 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.06/2465.70 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.06/2465.70 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.06/2465.70 at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.06/2465.70 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.06/2465.70 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.06/2465.70 at scala.util.Success.map(Try.scala:209)
2520.06/2465.70 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.06/2465.70 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.06/2465.70 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.06/2465.70 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.06/2465.70 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.06/2465.70 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.06/2465.70 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.06/2465.70 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.06/2465.70 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.06/2465.70 at scala.collection.immutable.List.foreach(List.scala:389)
2520.06/2465.70 at scala.App.main(App.scala:76)
2520.06/2465.70 at scala.App.main$(App.scala:74)
2520.06/2465.70 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.06/2465.70 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.06/2465.71 v <instantiation cost="327">
2520.06/2465.71 v <list>
2520.06/2465.71 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] z
2520.06/2465.71 v </list>
2520.06/2465.71 v <values>
2520.06/2465.71 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 1 1 0 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 0 1 1 1 0 0 1 0 1 0 0 1 1 1 0 1 1 1 2 2 0 0 0 0 0 0 0 2 0 1 0 2 1 0 0 0 0 0 1 1 0 2 2 1 0 0 1 1 0 0 2 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 2 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 2 2 2 1 1 1 1 2 2 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 2 1 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 2 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 2 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 0 0 1 0 0 1 0 0 2 2 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 2 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 17 37 49 58 65 68 73 80 86 89 94 102 117 132 139 147 155 165 170 177 184 188 197 203 210 226 233 244 258 327
2520.06/2465.71 v </values>
2520.06/2465.71 v </instantiation>
2520.06/2465.71 s SATISFIABLE
OK 327
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262181-1502419684/watcher-4262181-1502419684 -o /tmp/evaluation-result-4262181-1502419684/solver-4262181-1502419684 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1523 --watchdog 2580 bin/concrete HOME/instance-4262181-1502419684.xml pid=3045 running on 4 cores: 0,2,4,6 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.37 1.33 1.33 3/199 3048 /proc/meminfo: memFree=29705324/32770624 swapFree=0/562400 [pid=3048] ppid=3045 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/3048/stat : 3048 (runsolver) D 3045 3048 1460 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 89474707 24240128 106 18446744073709551615 4194304 4338465 140724020295808 140724020293448 140415928574679 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 30154752 140724020302033 140724020302409 140724020302409 140724020305866 0 /proc/3048/statm: 5918 106 53 36 0 2156 0 [startup+0.100101 s] /proc/loadavg: 1.37 1.33 1.33 3/199 3048 /proc/meminfo: memFree=29705324/32770624 swapFree=0/562400 [pid=3048] ppid=3045 vsize=9636 CPUtime=0.01 cores=0,2,4,6 /proc/3048/stat : 3048 (bash) S 3045 3048 1460 0 -1 4202496 892 6482 0 0 0 0 0 1 20 0 1 0 89474707 9867264 377 18446744073709551615 4194304 5098028 140725504115136 140725504109144 140590657784832 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 7 0 0 7196144 7232144 31891456 140725504123412 140725504123497 140725504123497 140725504126954 0 /proc/3048/statm: 2409 377 296 221 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9636 [startup+0.200217 s] /proc/loadavg: 1.37 1.33 1.33 3/199 3048 /proc/meminfo: memFree=29705324/32770624 swapFree=0/562400 [pid=3048] ppid=3045 vsize=13356508 CPUtime=0.07 cores=0,2,4,6 /proc/3048/stat : 3048 (java) S 3045 3048 1460 0 -1 1077944320 3386 12363 0 0 0 0 5 2 20 0 6 0 89474707 13677064192 2666 18446744073709551615 4194304 4196468 140725952353248 140725952335792 140424608898807 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 /proc/3048/statm: 3339127 2666 1204 1 0 3329097 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13356508 [startup+0.300301 s] /proc/loadavg: 1.37 1.33 1.33 3/199 3048 /proc/meminfo: memFree=29705324/32770624 swapFree=0/562400 [pid=3048] ppid=3045 vsize=13974356 CPUtime=0.16 cores=0,2,4,6 /proc/3048/stat : 3048 (java) S 3045 3048 1460 0 -1 1077944320 6256 12363 0 0 7 2 5 2 20 0 15 0 89474707 14309740544 6865 18446744073709551615 4194304 4196468 140725952353248 140725952335792 140424608898807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 /proc/3048/statm: 3493589 6865 2750 1 0 3482965 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 13974356 [startup+0.70022 s] /proc/loadavg: 1.37 1.33 1.33 3/199 3048 /proc/meminfo: memFree=29705324/32770624 swapFree=0/562400 [pid=3048] ppid=3045 vsize=13974784 CPUtime=0.71 cores=0,2,4,6 /proc/3048/stat : 3048 (java) S 3045 3048 1460 0 -1 1077944320 14032 12363 0 0 60 4 5 2 20 0 15 0 89474707 14310178816 15006 18446744073709551615 4194304 4196468 140725952353248 140725952335792 140424608898807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 /proc/3048/statm: 3493696 15006 3108 1 0 3482965 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 13974784 [startup+1.5051 s] /proc/loadavg: 1.37 1.33 1.33 4/214 3111 /proc/meminfo: memFree=29605580/32770624 swapFree=0/562176 [pid=3048] ppid=3045 vsize=13985408 CPUtime=1.96 cores=0,2,4,6 /proc/3048/stat : 3048 (java) S 3045 3048 1460 0 -1 1077944320 30088 12363 0 0 179 10 5 2 20 0 15 0 89474707 14321057792 42821 18446744073709551615 4194304 4196468 140725952353248 140725952335792 140424608898807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 /proc/3048/statm: 3496352 42821 3375 1 0 3485525 0 [pid=3048/tid=3098] ppid=3045 vsize=13985408 CPUtime=1.31 cores=0,2,4,6 /proc/3048/task/3098/stat : 3098 (java) R 3045 3048 1460 0 -1 4202560 22628 12363 0 0 117 7 5 2 20 0 15 0 89474726 14321057792 42821 18446744073709551615 4194304 4196468 140725952353248 140424613118544 140424593006672 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3099] ppid=3045 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/3048/task/3099/stat : 3099 (java) S 3045 3048 1460 0 -1 1077944384 49 12363 0 0 1 0 5 2 20 0 15 0 89474726 14321057792 42821 18446744073709551615 4194304 4196468 140725952353248 140424565865616 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3100] ppid=3045 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/3048/task/3100/stat : 3100 (java) S 3045 3048 1460 0 -1 1077944384 194 12363 0 0 1 0 5 2 20 0 15 0 89474726 14321057792 42821 18446744073709551615 4194304 4196468 140725952353248 140424564812816 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3101] ppid=3045 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/3048/task/3101/stat : 3101 (java) S 3045 3048 1460 0 -1 1077944384 48 12363 0 0 1 0 5 2 20 0 15 0 89474726 14321057792 42821 18446744073709551615 4194304 4196468 140725952353248 140424563760016 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3102] ppid=3045 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/3048/task/3102/stat : 3102 (java) S 3045 3048 1460 0 -1 1077944384 77 12363 0 0 1 0 5 2 20 0 15 0 89474726 14321057792 42821 18446744073709551615 4194304 4196468 140725952353248 140424562707216 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3103] ppid=3045 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/3048/task/3103/stat : 3103 (java) S 3045 3048 1460 0 -1 1077944384 1686 12363 0 0 1 0 5 2 20 0 15 0 89474728 14321057792 42821 18446744073709551615 4194304 4196468 140725952353248 140424086796656 140424608909954 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3104] ppid=3045 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3104/stat : 3104 (java) S 3045 3048 1460 0 -1 1077944384 55 12363 0 0 0 0 5 2 20 0 15 0 89474728 14321057792 42821 18446744073709551615 4194304 4196468 140725952353248 140424085742624 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3105] ppid=3045 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3105/stat : 3105 (java) S 3045 3048 1460 0 -1 1077944384 44 12363 0 0 0 0 5 2 20 0 15 0 89474728 14321057792 42821 18446744073709551615 4194304 4196468 140725952353248 140424084689776 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3106] ppid=3045 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3106/stat : 3106 (java) S 3045 3048 1460 0 -1 1077944384 3 12363 0 0 0 0 5 2 20 0 15 0 89474731 14321057792 42821 18446744073709551615 4194304 4196468 140725952353248 140424083638096 140424608917403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3107] ppid=3045 vsize=13985408 CPUtime=0.19 cores=0,2,4,6 /proc/3048/task/3107/stat : 3107 (java) S 3045 3048 1460 0 -1 1077944384 613 12363 0 0 12 0 5 2 20 0 15 0 89474731 14321057792 42821 18446744073709551615 4194304 4196468 140725952353248 140424082586480 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3108] ppid=3045 vsize=13985408 CPUtime=0.25 cores=0,2,4,6 /proc/3048/task/3108/stat : 3108 (java) S 3045 3048 1460 0 -1 1077944384 1141 12363 0 0 18 0 5 2 20 0 15 0 89474731 14321057792 42821 18446744073709551615 4194304 4196468 140725952353248 140424081533680 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3109] ppid=3045 vsize=13985408 CPUtime=0.31 cores=0,2,4,6 /proc/3048/task/3109/stat : 3109 (java) S 3045 3048 1460 0 -1 1077944384 1385 12363 0 0 24 0 5 2 20 0 15 0 89474731 14321057792 42821 18446744073709551615 4194304 4196468 140725952353248 140424080480880 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3110] ppid=3045 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3110/stat : 3110 (java) S 3045 3048 1460 0 -1 1077944384 3 12363 0 0 0 0 5 2 20 0 15 0 89474731 14321057792 42821 18446744073709551615 4194304 4196468 140725952353248 140424079428320 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3111] ppid=3045 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3111/stat : 3111 (java) S 3045 3048 1460 0 -1 1077944384 11 12363 0 0 0 0 5 2 20 0 15 0 89474735 14321057792 42821 18446744073709551615 4194304 4196468 140725952353248 140424078375600 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 Current children cumulated CPU time (s) 1.96 Current children cumulated vsize (KiB) 13985408 [startup+3.1007 s] /proc/loadavg: 1.34 1.33 1.32 5/214 3111 /proc/meminfo: memFree=29533476/32770624 swapFree=0/562172 [pid=3048] ppid=3045 vsize=13997884 CPUtime=5.65 cores=0,2,4,6 /proc/3048/stat : 3048 (java) S 3045 3048 1460 0 -1 1077944320 49712 12363 0 0 543 15 5 2 20 0 15 0 89474707 14333833216 56368 18446744073709551615 4194304 4196468 140725952353248 140725952335792 140424608898807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 /proc/3048/statm: 3499471 56368 3452 1 0 3488085 0 [pid=3048/tid=3098] ppid=3045 vsize=13997884 CPUtime=2.9 cores=0,2,4,6 /proc/3048/task/3098/stat : 3098 (java) R 3045 3048 1460 0 -1 4202560 35335 12363 0 0 273 10 5 2 20 0 15 0 89474726 14333833216 56368 18446744073709551615 4194304 4196468 140725952353248 140424613116624 140424590305099 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3099] ppid=3045 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/3048/task/3099/stat : 3099 (java) S 3045 3048 1460 0 -1 1077944384 49 12363 0 0 1 0 5 2 20 0 15 0 89474726 14333833216 56368 18446744073709551615 4194304 4196468 140725952353248 140424565865616 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3100] ppid=3045 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/3048/task/3100/stat : 3100 (java) S 3045 3048 1460 0 -1 1077944384 194 12363 0 0 1 0 5 2 20 0 15 0 89474726 14333833216 56368 18446744073709551615 4194304 4196468 140725952353248 140424564812816 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3101] ppid=3045 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/3048/task/3101/stat : 3101 (java) S 3045 3048 1460 0 -1 1077944384 48 12363 0 0 1 0 5 2 20 0 15 0 89474726 14333833216 56368 18446744073709551615 4194304 4196468 140725952353248 140424563760016 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3102] ppid=3045 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/3048/task/3102/stat : 3102 (java) S 3045 3048 1460 0 -1 1077944384 77 12363 0 0 1 0 5 2 20 0 15 0 89474726 14333833216 56368 18446744073709551615 4194304 4196468 140725952353248 140424562707216 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3103] ppid=3045 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/3048/task/3103/stat : 3103 (java) S 3045 3048 1460 0 -1 1077944384 1713 12363 0 0 1 0 5 2 20 0 15 0 89474728 14333833216 56368 18446744073709551615 4194304 4196468 140725952353248 140424086796656 140424608909954 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3104] ppid=3045 vsize=13997884 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3104/stat : 3104 (java) S 3045 3048 1460 0 -1 1077944384 55 12363 0 0 0 0 5 2 20 0 15 0 89474728 14333833216 56368 18446744073709551615 4194304 4196468 140725952353248 140424085742624 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3105] ppid=3045 vsize=13997884 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3105/stat : 3105 (java) S 3045 3048 1460 0 -1 1077944384 44 12363 0 0 0 0 5 2 20 0 15 0 89474728 14333833216 56368 18446744073709551615 4194304 4196468 140725952353248 140424084689776 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3106] ppid=3045 vsize=13997884 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3106/stat : 3106 (java) S 3045 3048 1460 0 -1 1077944384 3 12363 0 0 0 0 5 2 20 0 15 0 89474731 14333833216 56368 18446744073709551615 4194304 4196468 140725952353248 140424083638096 140424608917403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3107] ppid=3045 vsize=13997884 CPUtime=0.76 cores=0,2,4,6 /proc/3048/task/3107/stat : 3107 (java) S 3045 3048 1460 0 -1 1077944384 1973 12363 0 0 69 0 5 2 20 0 15 0 89474731 14333833216 56368 18446744073709551615 4194304 4196468 140725952353248 140424082586480 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3108] ppid=3045 vsize=13997884 CPUtime=1 cores=0,2,4,6 /proc/3048/task/3108/stat : 3108 (java) S 3045 3048 1460 0 -1 1077944384 4313 12363 0 0 92 1 5 2 20 0 15 0 89474731 14333833216 56368 18446744073709551615 4194304 4196468 140725952353248 140424081533680 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3109] ppid=3045 vsize=13997884 CPUtime=1.08 cores=0,2,4,6 /proc/3048/task/3109/stat : 3109 (java) S 3045 3048 1460 0 -1 1077944384 3740 12363 0 0 100 1 5 2 20 0 15 0 89474731 14333833216 56368 18446744073709551615 4194304 4196468 140725952353248 140424080480880 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3110] ppid=3045 vsize=13997884 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3110/stat : 3110 (java) S 3045 3048 1460 0 -1 1077944384 3 12363 0 0 0 0 5 2 20 0 15 0 89474731 14333833216 56368 18446744073709551615 4194304 4196468 140725952353248 140424079428320 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3111] ppid=3045 vsize=13997884 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3111/stat : 3111 (java) S 3045 3048 1460 0 -1 1077944384 14 12363 0 0 0 0 5 2 20 0 15 0 89474735 14333833216 56368 18446744073709551615 4194304 4196468 140725952353248 140424078375600 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 Current children cumulated CPU time (s) 5.65 Current children cumulated vsize (KiB) 13997884 [startup+6.30107 s] /proc/loadavg: 1.34 1.33 1.32 5/214 3111 /proc/meminfo: memFree=29380060/32770624 swapFree=0/562172 [pid=3048] ppid=3045 vsize=14001980 CPUtime=15.81 cores=0,2,4,6 /proc/3048/stat : 3048 (java) S 3045 3048 1460 0 -1 1077944320 74077 12363 0 0 1552 22 5 2 20 0 15 0 89474707 14338027520 101729 18446744073709551615 4194304 4196468 140725952353248 140725952335792 140424608898807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 /proc/3048/statm: 3500495 101729 3469 1 0 3489109 0 [pid=3048/tid=3098] ppid=3045 vsize=14001980 CPUtime=6 cores=0,2,4,6 /proc/3048/task/3098/stat : 3098 (java) R 3045 3048 1460 0 -1 4202560 40626 12363 0 0 580 13 5 2 20 0 15 0 89474726 14338027520 101729 18446744073709551615 4194304 4196468 140725952353248 140424613119064 140424255256748 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3099] ppid=3045 vsize=14001980 CPUtime=0.11 cores=0,2,4,6 /proc/3048/task/3099/stat : 3099 (java) S 3045 3048 1460 0 -1 1077944384 74 12363 0 0 4 0 5 2 20 0 15 0 89474726 14338027520 101729 18446744073709551615 4194304 4196468 140725952353248 140424565865616 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3100] ppid=3045 vsize=14001980 CPUtime=0.12 cores=0,2,4,6 /proc/3048/task/3100/stat : 3100 (java) S 3045 3048 1460 0 -1 1077944384 246 12363 0 0 5 0 5 2 20 0 15 0 89474726 14338027520 101729 18446744073709551615 4194304 4196468 140725952353248 140424564812816 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3101] ppid=3045 vsize=14001980 CPUtime=0.1 cores=0,2,4,6 /proc/3048/task/3101/stat : 3101 (java) S 3045 3048 1460 0 -1 1077944384 889 12363 0 0 3 0 5 2 20 0 15 0 89474726 14338027520 101729 18446744073709551615 4194304 4196468 140725952353248 140424563760016 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3102] ppid=3045 vsize=14001980 CPUtime=0.12 cores=0,2,4,6 /proc/3048/task/3102/stat : 3102 (java) S 3045 3048 1460 0 -1 1077944384 374 12363 0 0 5 0 5 2 20 0 15 0 89474726 14338027520 101729 18446744073709551615 4194304 4196468 140725952353248 140424562707216 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3103] ppid=3045 vsize=14001980 CPUtime=0.11 cores=0,2,4,6 /proc/3048/task/3103/stat : 3103 (java) S 3045 3048 1460 0 -1 1077944384 2522 12363 0 0 4 0 5 2 20 0 15 0 89474728 14338027520 101729 18446744073709551615 4194304 4196468 140725952353248 140424086796656 140424608909954 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3104] ppid=3045 vsize=14001980 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3104/stat : 3104 (java) S 3045 3048 1460 0 -1 1077944384 60 12363 0 0 0 0 5 2 20 0 15 0 89474728 14338027520 101729 18446744073709551615 4194304 4196468 140725952353248 140424085742688 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3105] ppid=3045 vsize=14001980 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3105/stat : 3105 (java) S 3045 3048 1460 0 -1 1077944384 49 12363 0 0 0 0 5 2 20 0 15 0 89474728 14338027520 101729 18446744073709551615 4194304 4196468 140725952353248 140424084689792 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3106] ppid=3045 vsize=14001980 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3106/stat : 3106 (java) S 3045 3048 1460 0 -1 1077944384 3 12363 0 0 0 0 5 2 20 0 15 0 89474731 14338027520 101729 18446744073709551615 4194304 4196468 140725952353248 140424083638096 140424608917403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3107] ppid=3045 vsize=14001980 CPUtime=3.83 cores=0,2,4,6 /proc/3048/task/3107/stat : 3107 (java) R 3045 3048 1460 0 -1 4202560 8210 12363 0 0 375 1 5 2 20 0 15 0 89474731 14338027520 101729 18446744073709551615 4194304 4196468 140725952353248 140424082570272 140424608920154 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3108] ppid=3045 vsize=14001980 CPUtime=4 cores=0,2,4,6 /proc/3048/task/3108/stat : 3108 (java) R 3045 3048 1460 0 -1 4202560 8477 12363 0 0 392 1 5 2 20 0 15 0 89474731 14338027520 101729 18446744073709551615 4194304 4196468 140725952353248 140424081513488 140424594013862 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3109] ppid=3045 vsize=14001980 CPUtime=1.87 cores=0,2,4,6 /proc/3048/task/3109/stat : 3109 (java) S 3045 3048 1460 0 -1 1077944384 10344 12363 0 0 178 2 5 2 20 0 15 0 89474731 14338027520 101729 18446744073709551615 4194304 4196468 140725952353248 140424080480880 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3110] ppid=3045 vsize=14001980 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3110/stat : 3110 (java) S 3045 3048 1460 0 -1 1077944384 3 12363 0 0 0 0 5 2 20 0 15 0 89474731 14338027520 101729 18446744073709551615 4194304 4196468 140725952353248 140424079428320 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3111] ppid=3045 vsize=14001980 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3111/stat : 3111 (java) S 3045 3048 1460 0 -1 1077944384 49 12363 0 0 0 0 5 2 20 0 15 0 89474735 14338027520 101729 18446744073709551615 4194304 4196468 140725952353248 140424078375600 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 Current children cumulated CPU time (s) 15.81 Current children cumulated vsize (KiB) 14001980 [startup+12.7007 s] /proc/loadavg: 1.52 1.37 1.34 3/214 3111 /proc/meminfo: memFree=29112184/32770624 swapFree=0/562168 [pid=3048] ppid=3045 vsize=14071612 CPUtime=30.53 cores=0,2,4,6 /proc/3048/stat : 3048 (java) S 3045 3048 1460 0 -1 1077944320 118801 12363 0 0 3007 39 5 2 20 0 15 0 89474707 14409330688 164283 18446744073709551615 4194304 4196468 140725952353248 140725952335792 140424608898807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 /proc/3048/statm: 3517903 164283 3486 1 0 3506517 0 [pid=3048/tid=3098] ppid=3045 vsize=14071612 CPUtime=12.01 cores=0,2,4,6 /proc/3048/task/3098/stat : 3098 (java) R 3045 3048 1460 0 -1 4202560 57269 12363 0 0 1177 17 5 2 20 0 15 0 89474726 14409330688 164283 18446744073709551615 4194304 4196468 140725952353248 140424613127280 140424263376061 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3099] ppid=3045 vsize=14071612 CPUtime=0.35 cores=0,2,4,6 /proc/3048/task/3099/stat : 3099 (java) S 3045 3048 1460 0 -1 1077944384 246 12363 0 0 26 2 5 2 20 0 15 0 89474726 14409330688 164283 18446744073709551615 4194304 4196468 140725952353248 140424565865616 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3100] ppid=3045 vsize=14071612 CPUtime=0.36 cores=0,2,4,6 /proc/3048/task/3100/stat : 3100 (java) S 3045 3048 1460 0 -1 1077944384 1387 12363 0 0 27 2 5 2 20 0 15 0 89474726 14409330688 164283 18446744073709551615 4194304 4196468 140725952353248 140424564812816 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3101] ppid=3045 vsize=14071612 CPUtime=0.35 cores=0,2,4,6 /proc/3048/task/3101/stat : 3101 (java) S 3045 3048 1460 0 -1 1077944384 1108 12363 0 0 26 2 5 2 20 0 15 0 89474726 14409330688 164283 18446744073709551615 4194304 4196468 140725952353248 140424563760016 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3102] ppid=3045 vsize=14071612 CPUtime=0.37 cores=0,2,4,6 /proc/3048/task/3102/stat : 3102 (java) S 3045 3048 1460 0 -1 1077944384 487 12363 0 0 28 2 5 2 20 0 15 0 89474726 14409330688 164283 18446744073709551615 4194304 4196468 140725952353248 140424562707216 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3103] ppid=3045 vsize=14071612 CPUtime=0.24 cores=0,2,4,6 /proc/3048/task/3103/stat : 3103 (java) S 3045 3048 1460 0 -1 1077944384 8845 12363 0 0 16 1 5 2 20 0 15 0 89474728 14409330688 164283 18446744073709551615 4194304 4196468 140725952353248 140424086796656 140424608909954 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3104] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3104/stat : 3104 (java) S 3045 3048 1460 0 -1 1077944384 66 12363 0 0 0 0 5 2 20 0 15 0 89474728 14409330688 164283 18446744073709551615 4194304 4196468 140725952353248 140424085742688 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3105] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3105/stat : 3105 (java) S 3045 3048 1460 0 -1 1077944384 56 12363 0 0 0 0 5 2 20 0 15 0 89474728 14409330688 164283 18446744073709551615 4194304 4196468 140725952353248 140424084689792 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3106] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3106/stat : 3106 (java) S 3045 3048 1460 0 -1 1077944384 3 12363 0 0 0 0 5 2 20 0 15 0 89474731 14409330688 164283 18446744073709551615 4194304 4196468 140725952353248 140424083638096 140424608917403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 ################ # More data... # ################ /proc/3048/task/3110/stat : 3110 (java) S 3045 3048 1460 0 -1 1077944384 3 12363 0 0 0 0 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424079428320 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3111] ppid=3045 vsize=14071612 CPUtime=1.4 cores=0,2,4,6 /proc/3048/task/3111/stat : 3111 (java) S 3045 3048 1460 0 -1 1077944384 2445 12363 0 0 70 63 5 2 20 0 15 0 89474735 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424078375600 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 Current children cumulated CPU time (s) 2376.3 Current children cumulated vsize (KiB) 14071612 [startup+2382.3 s] /proc/loadavg: 1.53 1.52 1.50 3/214 3412 /proc/meminfo: memFree=25985684/32770624 swapFree=0/562612 [pid=3048] ppid=3045 vsize=14071612 CPUtime=2436.42 cores=0,2,4,6 /proc/3048/stat : 3048 (java) S 3045 3048 1460 0 -1 1077944320 557725 12363 0 0 243121 514 5 2 20 0 15 0 89474707 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140725952335792 140424608898807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 /proc/3048/statm: 3517903 1091477 3498 1 0 3506517 0 [pid=3048/tid=3098] ppid=3045 vsize=14071612 CPUtime=2371.84 cores=0,2,4,6 /proc/3048/task/3098/stat : 3098 (java) R 3045 3048 1460 0 -1 4202560 308619 12363 0 0 237070 107 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424613133088 140424263441380 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3099] ppid=3045 vsize=14071612 CPUtime=8.17 cores=0,2,4,6 /proc/3048/task/3099/stat : 3099 (java) S 3045 3048 1460 0 -1 1077944384 20303 12363 0 0 728 82 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424565865616 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3100] ppid=3045 vsize=14071612 CPUtime=8.17 cores=0,2,4,6 /proc/3048/task/3100/stat : 3100 (java) S 3045 3048 1460 0 -1 1077944384 23793 12363 0 0 731 79 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424564812816 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3101] ppid=3045 vsize=14071612 CPUtime=8.18 cores=0,2,4,6 /proc/3048/task/3101/stat : 3101 (java) S 3045 3048 1460 0 -1 1077944384 24788 12363 0 0 730 81 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424563760016 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3102] ppid=3045 vsize=14071612 CPUtime=8.18 cores=0,2,4,6 /proc/3048/task/3102/stat : 3102 (java) S 3045 3048 1460 0 -1 1077944384 24629 12363 0 0 728 83 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424562707216 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3103] ppid=3045 vsize=14071612 CPUtime=1.58 cores=0,2,4,6 /proc/3048/task/3103/stat : 3103 (java) S 3045 3048 1460 0 -1 1077944384 39309 12363 0 0 127 24 5 2 20 0 15 0 89474728 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424086796656 140424608909954 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3104] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3104/stat : 3104 (java) S 3045 3048 1460 0 -1 1077944384 89 12363 0 0 0 0 5 2 20 0 15 0 89474728 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424085742688 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3105] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3105/stat : 3105 (java) S 3045 3048 1460 0 -1 1077944384 56 12363 0 0 0 0 5 2 20 0 15 0 89474728 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424084689792 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3106] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3106/stat : 3106 (java) S 3045 3048 1460 0 -1 1077944384 3 12363 0 0 0 0 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424083638096 140424608917403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3107] ppid=3045 vsize=14071612 CPUtime=12.42 cores=0,2,4,6 /proc/3048/task/3107/stat : 3107 (java) S 3045 3048 1460 0 -1 1077944384 40007 12363 0 0 1229 6 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424082586480 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3108] ppid=3045 vsize=14071612 CPUtime=12.67 cores=0,2,4,6 /proc/3048/task/3108/stat : 3108 (java) S 3045 3048 1460 0 -1 1077944384 37749 12363 0 0 1254 6 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424081533680 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3109] ppid=3045 vsize=14071612 CPUtime=4.3 cores=0,2,4,6 /proc/3048/task/3109/stat : 3109 (java) S 3045 3048 1460 0 -1 1077944384 33756 12363 0 0 416 7 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424080480880 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3110] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3110/stat : 3110 (java) S 3045 3048 1460 0 -1 1077944384 3 12363 0 0 0 0 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424079428320 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3111] ppid=3045 vsize=14071612 CPUtime=1.44 cores=0,2,4,6 /proc/3048/task/3111/stat : 3111 (java) S 3045 3048 1460 0 -1 1077944384 2470 12363 0 0 72 65 5 2 20 0 15 0 89474735 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424078375600 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 Current children cumulated CPU time (s) 2436.42 Current children cumulated vsize (KiB) 14071612 [startup+2442.3 s] /proc/loadavg: 1.77 1.57 1.52 3/214 3414 /proc/meminfo: memFree=25994936/32770624 swapFree=0/562616 [pid=3048] ppid=3045 vsize=14071612 CPUtime=2496.59 cores=0,2,4,6 /proc/3048/stat : 3048 (java) S 3045 3048 1460 0 -1 1077944320 568655 12363 0 0 249136 516 5 2 20 0 15 0 89474707 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140725952335792 140424608898807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 /proc/3048/statm: 3517903 1091477 3498 1 0 3506517 0 [pid=3048/tid=3098] ppid=3045 vsize=14071612 CPUtime=2431.78 cores=0,2,4,6 /proc/3048/task/3098/stat : 3098 (java) R 3045 3048 1460 0 -1 4202560 315666 12363 0 0 243064 107 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424613133104 140424262499335 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3099] ppid=3045 vsize=14071612 CPUtime=8.21 cores=0,2,4,6 /proc/3048/task/3099/stat : 3099 (java) S 3045 3048 1460 0 -1 1077944384 22028 12363 0 0 732 82 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424565865616 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3100] ppid=3045 vsize=14071612 CPUtime=8.22 cores=0,2,4,6 /proc/3048/task/3100/stat : 3100 (java) S 3045 3048 1460 0 -1 1077944384 23863 12363 0 0 735 80 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424564812816 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3101] ppid=3045 vsize=14071612 CPUtime=8.22 cores=0,2,4,6 /proc/3048/task/3101/stat : 3101 (java) S 3045 3048 1460 0 -1 1077944384 24896 12363 0 0 734 81 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424563760016 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3102] ppid=3045 vsize=14071612 CPUtime=8.23 cores=0,2,4,6 /proc/3048/task/3102/stat : 3102 (java) S 3045 3048 1460 0 -1 1077944384 24783 12363 0 0 733 83 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424562707216 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3103] ppid=3045 vsize=14071612 CPUtime=1.58 cores=0,2,4,6 /proc/3048/task/3103/stat : 3103 (java) S 3045 3048 1460 0 -1 1077944384 39616 12363 0 0 127 24 5 2 20 0 15 0 89474728 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424086796656 140424608909954 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3104] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3104/stat : 3104 (java) S 3045 3048 1460 0 -1 1077944384 89 12363 0 0 0 0 5 2 20 0 15 0 89474728 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424085742688 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3105] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3105/stat : 3105 (java) S 3045 3048 1460 0 -1 1077944384 56 12363 0 0 0 0 5 2 20 0 15 0 89474728 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424084689792 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3106] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3106/stat : 3106 (java) S 3045 3048 1460 0 -1 1077944384 3 12363 0 0 0 0 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424083638096 140424608917403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3107] ppid=3045 vsize=14071612 CPUtime=12.42 cores=0,2,4,6 /proc/3048/task/3107/stat : 3107 (java) S 3045 3048 1460 0 -1 1077944384 41490 12363 0 0 1229 6 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424082586480 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3108] ppid=3045 vsize=14071612 CPUtime=12.67 cores=0,2,4,6 /proc/3048/task/3108/stat : 3108 (java) S 3045 3048 1460 0 -1 1077944384 37753 12363 0 0 1254 6 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424081533680 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3109] ppid=3045 vsize=14071612 CPUtime=4.3 cores=0,2,4,6 /proc/3048/task/3109/stat : 3109 (java) S 3045 3048 1460 0 -1 1077944384 33762 12363 0 0 416 7 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424080480880 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3110] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3110/stat : 3110 (java) S 3045 3048 1460 0 -1 1077944384 3 12363 0 0 0 0 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424079428320 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3111] ppid=3045 vsize=14071612 CPUtime=1.47 cores=0,2,4,6 /proc/3048/task/3111/stat : 3111 (java) S 3045 3048 1460 0 -1 1077944384 2496 12363 0 0 73 67 5 2 20 0 15 0 89474735 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424078375600 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 Current children cumulated CPU time (s) 2496.59 Current children cumulated vsize (KiB) 14071612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2465.7 s] /proc/loadavg: 1.93 1.62 1.54 3/214 3414 /proc/meminfo: memFree=26005948/32770624 swapFree=0/562612 [pid=3048] ppid=3045 vsize=14071612 CPUtime=2520.06 cores=0,2,4,6 /proc/3048/stat : 3048 (java) S 3045 3048 1460 0 -1 1077944320 569362 12363 0 0 251482 517 5 2 20 0 15 0 89474707 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140725952335792 140424608898807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 /proc/3048/statm: 3517903 1091477 3498 1 0 3506517 0 [pid=3048/tid=3098] ppid=3045 vsize=14071612 CPUtime=2455.15 cores=0,2,4,6 /proc/3048/task/3098/stat : 3098 (java) R 3045 3048 1460 0 -1 4202560 316313 12363 0 0 245400 108 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424613133104 140424264562215 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3099] ppid=3045 vsize=14071612 CPUtime=8.23 cores=0,2,4,6 /proc/3048/task/3099/stat : 3099 (java) S 3045 3048 1460 0 -1 1077944384 22042 12363 0 0 734 82 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424565865616 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3100] ppid=3045 vsize=14071612 CPUtime=8.24 cores=0,2,4,6 /proc/3048/task/3100/stat : 3100 (java) S 3045 3048 1460 0 -1 1077944384 23874 12363 0 0 737 80 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424564812816 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3101] ppid=3045 vsize=14071612 CPUtime=8.24 cores=0,2,4,6 /proc/3048/task/3101/stat : 3101 (java) S 3045 3048 1460 0 -1 1077944384 24905 12363 0 0 736 81 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424563760016 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3102] ppid=3045 vsize=14071612 CPUtime=8.25 cores=0,2,4,6 /proc/3048/task/3102/stat : 3102 (java) S 3045 3048 1460 0 -1 1077944384 24794 12363 0 0 735 83 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424562707216 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3103] ppid=3045 vsize=14071612 CPUtime=1.59 cores=0,2,4,6 /proc/3048/task/3103/stat : 3103 (java) S 3045 3048 1460 0 -1 1077944384 39629 12363 0 0 128 24 5 2 20 0 15 0 89474728 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424086796656 140424608909954 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3104] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3104/stat : 3104 (java) S 3045 3048 1460 0 -1 1077944384 89 12363 0 0 0 0 5 2 20 0 15 0 89474728 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424085742688 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3105] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3105/stat : 3105 (java) S 3045 3048 1460 0 -1 1077944384 56 12363 0 0 0 0 5 2 20 0 15 0 89474728 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424084689792 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3106] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3106/stat : 3106 (java) S 3045 3048 1460 0 -1 1077944384 3 12363 0 0 0 0 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424083638096 140424608917403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3107] ppid=3045 vsize=14071612 CPUtime=12.42 cores=0,2,4,6 /proc/3048/task/3107/stat : 3107 (java) S 3045 3048 1460 0 -1 1077944384 41490 12363 0 0 1229 6 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424082586480 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3108] ppid=3045 vsize=14071612 CPUtime=12.67 cores=0,2,4,6 /proc/3048/task/3108/stat : 3108 (java) S 3045 3048 1460 0 -1 1077944384 37753 12363 0 0 1254 6 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424081533680 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3109] ppid=3045 vsize=14071612 CPUtime=4.3 cores=0,2,4,6 /proc/3048/task/3109/stat : 3109 (java) S 3045 3048 1460 0 -1 1077944384 33762 12363 0 0 416 7 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424080480880 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3110] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3110/stat : 3110 (java) S 3045 3048 1460 0 -1 1077944384 3 12363 0 0 0 0 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424079428320 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3111] ppid=3045 vsize=14071612 CPUtime=1.49 cores=0,2,4,6 /proc/3048/task/3111/stat : 3111 (java) S 3045 3048 1460 0 -1 1077944384 2498 12363 0 0 74 68 5 2 20 0 15 0 89474735 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424078375600 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 Current children cumulated CPU time (s) 2520.06 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 3048 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2465.7 s] /proc/loadavg: 1.93 1.62 1.54 3/214 3414 /proc/meminfo: memFree=26005948/32770624 swapFree=0/562612 [pid=3048] ppid=3045 vsize=14071612 CPUtime=2520.06 cores=0,2,4,6 /proc/3048/stat : 3048 (java) S 3045 3048 1460 0 -1 1077944320 569362 12363 0 0 251482 517 5 2 20 0 15 0 89474707 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140725952335792 140424608898807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 /proc/3048/statm: 3517903 1091477 3498 1 0 3506517 0 [pid=3048/tid=3098] ppid=3045 vsize=14071612 CPUtime=2455.15 cores=0,2,4,6 /proc/3048/task/3098/stat : 3098 (java) R 3045 3048 1460 0 -1 4202560 316313 12363 0 0 245400 108 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424613133104 140424264562215 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3099] ppid=3045 vsize=14071612 CPUtime=8.23 cores=0,2,4,6 /proc/3048/task/3099/stat : 3099 (java) S 3045 3048 1460 0 -1 1077944384 22042 12363 0 0 734 82 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424565865616 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3100] ppid=3045 vsize=14071612 CPUtime=8.24 cores=0,2,4,6 /proc/3048/task/3100/stat : 3100 (java) S 3045 3048 1460 0 -1 1077944384 23874 12363 0 0 737 80 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424564812816 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3101] ppid=3045 vsize=14071612 CPUtime=8.24 cores=0,2,4,6 /proc/3048/task/3101/stat : 3101 (java) S 3045 3048 1460 0 -1 1077944384 24905 12363 0 0 736 81 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424563760016 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3102] ppid=3045 vsize=14071612 CPUtime=8.25 cores=0,2,4,6 /proc/3048/task/3102/stat : 3102 (java) S 3045 3048 1460 0 -1 1077944384 24794 12363 0 0 735 83 5 2 20 0 15 0 89474726 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424562707216 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3103] ppid=3045 vsize=14071612 CPUtime=1.59 cores=0,2,4,6 /proc/3048/task/3103/stat : 3103 (java) S 3045 3048 1460 0 -1 1077944384 39629 12363 0 0 128 24 5 2 20 0 15 0 89474728 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424086796656 140424608909954 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3104] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3104/stat : 3104 (java) S 3045 3048 1460 0 -1 1077944384 89 12363 0 0 0 0 5 2 20 0 15 0 89474728 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424085742688 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3105] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3105/stat : 3105 (java) S 3045 3048 1460 0 -1 1077944384 56 12363 0 0 0 0 5 2 20 0 15 0 89474728 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424084689792 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3106] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3106/stat : 3106 (java) S 3045 3048 1460 0 -1 1077944384 3 12363 0 0 0 0 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424083638096 140424608917403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3107] ppid=3045 vsize=14071612 CPUtime=12.42 cores=0,2,4,6 /proc/3048/task/3107/stat : 3107 (java) S 3045 3048 1460 0 -1 1077944384 41490 12363 0 0 1229 6 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424082586480 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3108] ppid=3045 vsize=14071612 CPUtime=12.67 cores=0,2,4,6 /proc/3048/task/3108/stat : 3108 (java) S 3045 3048 1460 0 -1 1077944384 37753 12363 0 0 1254 6 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424081533680 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3109] ppid=3045 vsize=14071612 CPUtime=4.3 cores=0,2,4,6 /proc/3048/task/3109/stat : 3109 (java) S 3045 3048 1460 0 -1 1077944384 33762 12363 0 0 416 7 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424080480880 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3110] ppid=3045 vsize=14071612 CPUtime=0.07 cores=0,2,4,6 /proc/3048/task/3110/stat : 3110 (java) S 3045 3048 1460 0 -1 1077944384 3 12363 0 0 0 0 5 2 20 0 15 0 89474731 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424079428320 140424608909013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 [pid=3048/tid=3111] ppid=3045 vsize=14071612 CPUtime=1.49 cores=0,2,4,6 /proc/3048/task/3111/stat : 3111 (java) S 3045 3048 1460 0 -1 1077944384 2498 12363 0 0 74 68 5 2 20 0 15 0 89474735 14409330688 1091477 18446744073709551615 4194304 4196468 140725952353248 140424078375600 140424608909954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36442112 140725952354256 140725952357041 140725952357041 140725952360399 0 Current children cumulated CPU time (s) 2520.06 Current children cumulated vsize (KiB) 14071612 Child status: 143 Real time (s): 2465.76 CPU time (s): 2520.14 CPU user time (s): 2514.91 CPU system time (s): 5.23167 CPU usage (%): 102.206 Max. virtual memory (cumulated for all children) (KiB): 14071612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2514.91 system time used= 5.23167 maximum resident set size= 4366932 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 584768 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3016 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 92839 involuntary context switches= 3308 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.5844 second user time and 14.7673 second system time The end
Begin job on node134 at 2017-08-11 04:34:08 IDJOB=4262181 IDBENCH=115900 IDSOLVER=2650 FILE ID=node134/4262181-1502419684 RUNJOBID= node134-1502411438-1523 PBS_JOBID= Free space on /tmp= 62008 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-27.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262181-1502419684/watcher-4262181-1502419684 -o /tmp/evaluation-result-4262181-1502419684/solver-4262181-1502419684 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1523 --watchdog 2580 bin/concrete HOME/instance-4262181-1502419684.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7effaf54e6298c2e2ce7b82787858117 RANDOM SEED=904423854 node134.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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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: 29705344 kB MemAvailable: 30661892 kB Buffers: 278792 kB Cached: 971892 kB SwapCached: 0 kB Active: 2034576 kB Inactive: 593616 kB Active(anon): 1379912 kB Inactive(anon): 31216 kB Active(file): 654664 kB Inactive(file): 562400 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24320 kB Writeback: 4 kB AnonPages: 1377712 kB Mapped: 63200 kB Shmem: 33468 kB Slab: 137216 kB SReclaimable: 110640 kB SUnreclaim: 26576 kB KernelStack: 3472 kB PageTables: 7876 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2264460 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1134592 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 61984 MiB End job on node134 at 2017-08-11 05:15:14