Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: Concrete 3.4 | SAT (TO) | 352 | 2400.12 | 2310.74 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml |
| MD5SUM | f7605bb50abdbd05cc6d9fedf17196d1 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 398 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1831 |
| Number of constraints | 1072 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1801 |
| Distribution of domain sizes | [{"size":2,"count":900},{"size":3,"count":900},{"size":785,"count":1},{"size":1801,"count":30}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":897},{"degree":3,"count":33},{"degree":4,"count":112},{"degree":8,"count":108},{"degree":9,"count":676},{"degree":31,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":2,"count":142},{"arity":3,"count":112},{"arity":10,"count":784},{"arity":30,"count":4},{"arity":31,"count":1},{"arity":32,"count":29}] |
| Number of extensional constraints | 896 |
| Number of intensional constraints | 141 |
| Distribution of constraint types | [{"type":"extension","count":896},{"type":"intension","count":141},{"type":"sum","count":31},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
3.61/2.19 c Concrete v3.4 running
18.98/6.39 % 06:16:10.819 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6017. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 117052390, 3 edges, 4 vertices, 1 tuples
19.38/6.41 % 06:16:10.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6098. 'extension(false, x[1][28]: {[0?1]}, x[2][28]: {[0?1]}) :: init: true :: relation: MDD 260620222, 3 edges, 4 vertices, 1 tuples
19.38/6.41 % 06:16:10.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6103. 'extension(x[27][1]: {[0?1]}, x[28][1]: {[0?1]}, false) :: init: true :: relation: MDD 117052390, 3 edges, 4 vertices, 1 tuples
19.38/6.43 % 06:16:10.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6184. 'extension(x[27][28]: {[0?1]}, x[28][28]: {[0?1]}, false) :: init: true :: relation: MDD 260620222, 3 edges, 4 vertices, 1 tuples
19.38/6.43 % 06:16:10.864 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6188. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 309349909, 3 edges, 4 vertices, 1 tuples
19.38/6.44 % 06:16:10.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6269. 'extension(false, x[28][1]: {[0?1]}, x[28][2]: {[0?1]}) :: init: true :: relation: MDD 317053574, 3 edges, 4 vertices, 1 tuples
19.38/6.44 % 06:16:10.878 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6272. 'extension(x[1][27]: {[0?1]}, x[1][28]: {[0?1]}, false) :: init: true :: relation: MDD 309349909, 3 edges, 4 vertices, 1 tuples
19.38/6.46 % 06:16:10.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6353. 'extension(x[28][27]: {[0?1]}, x[28][28]: {[0?1]}, false) :: init: true :: relation: MDD 317053574, 3 edges, 4 vertices, 1 tuples
19.38/6.46 % 06:16:10.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6357. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD
19.38/6.46 % 06:16:10.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6409. 'extension(x[1][28]: {[0?1]}, x[2][28]: {[0?1]}) :: init: true :: relation: Empty MDD
19.38/6.46 % 06:16:10.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6413. 'extension(x[27][1]: {[0?1]}, x[28][1]: {[0?1]}) :: init: true :: relation: Empty MDD
19.38/6.47 % 06:16:10.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6465. 'extension(x[27][28]: {[0?1]}, x[28][28]: {[0?1]}) :: init: true :: relation: Empty MDD
19.38/6.47 % 06:16:10.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6469. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD
19.38/6.47 % 06:16:10.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6523. 'extension(x[28][1]: {[0?1]}, x[28][2]: {[0?1]}) :: init: true :: relation: Empty MDD
19.38/6.47 % 06:16:10.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6529. 'extension(x[1][27]: {[0?1]}, x[1][28]: {[0?1]}) :: init: true :: relation: Empty MDD
19.38/6.48 % 06:16:10.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6583. 'extension(x[28][27]: {[0?1]}, x[28][28]: {[0?1]}) :: init: true :: relation: Empty MDD
33.56/10.41 o 42
33.87/10.55 o 49
34.24/10.68 o 50
34.67/10.87 o 51
35.17/11.07 o 52
35.84/11.25 o 53
36.12/11.37 o 54
36.25/11.49 o 55
36.48/11.63 o 56
36.61/11.72 o 57
36.71/11.84 o 58
36.81/11.95 o 59
36.97/12.06 o 60
37.08/12.17 o 61
37.22/12.28 o 62
37.43/12.47 o 63
37.64/12.60 o 64
37.77/12.71 o 65
37.88/12.86 o 66
38.00/12.98 o 67
38.24/13.11 o 68
38.42/13.23 o 69
38.54/13.35 o 70
38.64/13.47 o 71
38.74/13.60 o 72
38.96/13.71 o 73
39.07/13.89 o 74
39.20/13.99 o 75
39.41/14.16 o 76
39.74/14.31 o 77
39.86/14.43 o 78
39.95/14.54 o 79
40.05/14.66 o 80
40.17/14.76 o 81
40.27/14.89 o 82
40.49/15.02 o 83
40.60/15.14 o 84
40.72/15.25 o 85
40.82/15.35 o 86
41.16/15.56 o 87
41.27/15.68 o 88
41.50/15.81 o 89
41.60/15.92 o 90
41.75/16.06 o 91
41.90/16.19 o 92
42.19/16.31 o 93
42.30/16.43 o 94
42.42/16.57 o 95
42.76/16.88 o 96
43.05/17.05 o 97
43.18/17.15 o 98
43.28/17.27 o 99
43.38/17.40 o 100
43.60/17.53 o 101
43.83/17.72 o 102
44.04/17.94 o 103
44.14/18.07 o 104
44.26/18.19 o 105
44.46/18.31 o 106
44.57/18.48 o 107
44.94/18.61 o 108
45.05/18.74 o 109
45.26/18.95 o 110
45.38/19.08 o 111
45.59/19.21 o 112
45.72/19.34 o 113
45.82/19.47 o 114
46.04/19.60 o 115
46.14/19.71 o 116
46.25/19.84 o 117
46.37/19.97 o 118
46.58/20.11 o 119
46.69/20.29 o 120
47.12/20.52 o 121
47.22/20.67 o 122
47.45/20.81 o 123
47.59/20.93 o 124
47.70/21.05 o 125
48.11/21.23 o 126
48.39/21.35 o 127
48.49/21.49 o 128
48.72/21.63 o 129
48.82/21.76 o 130
49.06/21.90 o 131
49.30/22.12 o 132
49.39/22.25 o 133
49.70/22.47 o 134
49.94/22.69 o 135
50.05/22.79 o 136
50.27/22.93 o 137
50.37/23.05 o 138
50.50/23.17 o 139
50.72/23.31 o 140
50.82/23.42 o 141
50.92/23.54 o 142
51.02/23.66 o 143
51.23/23.88 o 144
51.44/24.02 o 145
51.55/24.16 o 146
51.78/24.33 o 147
52.05/24.56 o 148
52.28/24.79 o 149
52.49/24.92 o 150
52.81/25.23 o 151
52.92/25.35 o 152
53.04/25.49 o 153
53.25/25.63 o 154
53.35/25.76 o 155
53.46/25.89 o 156
53.67/26.02 o 157
53.89/26.25 o 158
54.11/26.43 o 159
54.31/26.58 o 160
54.53/26.71 o 161
54.65/26.85 o 162
54.85/27.06 o 163
54.97/27.17 o 164
55.07/27.29 o 165
55.29/27.41 o 166
55.40/27.53 o 167
55.52/27.66 o 168
55.71/27.84 o 169
55.82/27.98 o 170
56.04/28.13 o 171
56.15/28.27 o 172
56.41/28.41 o 173
56.54/28.53 o 174
56.66/28.65 o 175
57.10/28.92 o 176
57.20/29.06 o 177
57.94/29.51 o 178
58.04/29.61 o 179
58.16/29.72 o 180
58.37/29.94 o 181
58.47/30.06 o 182
58.61/30.18 o 183
58.94/30.43 o 184
59.05/30.56 o 185
59.27/30.79 o 186
59.50/30.95 o 187
59.59/31.08 o 188
60.12/31.47 o 189
60.33/31.69 o 190
60.54/31.82 o 191
60.65/31.94 o 192
60.94/32.25 o 193
61.06/32.39 o 194
61.26/32.54 o 195
61.36/32.67 o 196
61.60/32.81 o 197
61.70/32.96 o 198
61.81/33.09 o 199
62.12/33.30 o 200
62.34/33.53 o 201
62.95/33.92 o 202
63.05/34.07 o 203
63.27/34.23 o 204
63.37/34.36 o 205
63.58/34.55 o 206
63.81/34.71 o 207
64.46/35.36 o 208
64.56/35.49 o 209
64.77/35.64 o 210
64.88/35.77 o 211
65.10/35.91 o 212
65.23/36.04 o 213
65.43/36.27 o 214
65.54/36.40 o 215
65.73/36.58 o 216
66.08/36.73 o 217
66.59/37.29 o 218
66.83/37.44 o 219
66.95/37.58 o 220
67.16/37.73 o 221
67.26/37.88 o 222
67.49/38.02 o 223
67.61/38.16 o 224
67.71/38.29 o 225
68.15/38.62 o 226
68.36/38.89 o 227
68.58/39.02 o 228
69.01/39.43 o 229
69.76/40.04 o 230
69.86/40.17 o 231
70.08/40.31 o 232
70.19/40.46 o 233
70.29/40.60 o 234
70.55/40.75 o 235
70.87/41.01 o 236
70.97/41.16 o 237
71.19/41.39 o 238
71.41/41.54 o 239
71.66/41.80 o 240
71.98/42.05 o 241
72.21/42.20 o 242
72.31/42.35 o 243
72.42/42.49 o 244
73.01/42.94 o 245
73.21/43.07 o 246
74.39/44.19 o 247
74.82/44.56 o 248
75.37/45.00 o 249
75.49/45.16 o 250
75.90/45.58 o 251
76.12/45.74 o 252
76.67/46.10 o 253
77.63/47.07 o 254
77.86/47.23 o 255
77.99/47.38 o 256
78.18/47.52 o 257
78.62/47.98 o 258
79.35/48.60 o 259
79.46/48.75 o 260
79.67/48.94 o 261
80.84/49.69 o 262
81.06/49.82 o 263
81.16/49.97 o 264
81.39/50.12 o 265
81.92/50.67 o 266
82.25/50.99 o 267
82.85/51.41 o 268
83.18/51.74 o 269
83.83/52.31 o 270
83.93/52.44 o 271
84.13/52.60 o 272
84.91/53.27 o 273
85.57/53.87 o 274
86.00/54.28 o 275
87.17/55.35 o 276
87.40/55.51 o 277
87.50/55.68 o 278
87.85/55.90 o 279
88.07/56.18 o 280
88.41/56.37 o 281
89.51/57.31 o 282
89.72/57.56 o 283
90.07/57.82 o 284
90.27/58.05 o 285
90.38/58.18 o 286
90.82/58.59 o 287
91.47/59.18 o 288
91.90/59.56 o 289
92.22/59.81 o 290
92.83/60.21 o 291
92.93/60.36 o 292
93.15/60.59 o 293
97.43/64.58 o 294
97.97/65.08 o 295
98.28/65.37 o 296
98.49/65.52 o 297
99.48/66.30 o 298
99.70/66.59 o 299
100.88/67.60 o 300
100.98/67.78 o 301
101.54/68.27 o 302
101.98/68.69 o 303
103.36/69.96 o 304
103.59/70.11 o 305
104.03/70.41 o 306
104.14/70.56 o 307
104.37/70.72 o 308
104.90/71.30 o 309
106.06/72.31 o 310
106.68/72.95 o 311
107.11/73.34 o 312
107.87/73.98 o 313
109.06/75.08 o 314
110.83/76.72 o 315
111.04/76.93 o 316
111.17/77.09 o 317
111.61/77.41 o 318
112.06/77.79 o 319
112.38/78.07 o 320
113.36/78.90 o 321
114.10/79.62 o 322
114.32/79.83 o 323
114.42/79.96 o 324
114.74/80.29 o 325
115.07/80.57 o 326
115.30/80.72 o 327
115.52/80.96 o 328
116.37/81.72 o 329
117.11/82.39 o 330
117.75/82.92 o 331
119.86/84.93 o 332
120.28/85.31 o 333
120.94/85.84 o 334
121.36/86.23 o 335
122.71/87.55 o 336
123.36/88.15 o 337
125.03/89.78 o 338
125.25/89.92 o 339
125.47/90.16 o 340
126.73/91.22 o 341
135.55/99.56 o 342
135.77/99.70 o 343
168.35/129.82 o 344
206.77/165.17 o 345
214.36/172.17 o 346
356.45/308.09 o 347
697.97/635.71 o 348
1605.05/1523.23 o 349
1923.37/1839.27 o 350
1924.06/1839.93 o 351
2265.10/2177.47 o 352
2400.02/2310.70 java.util.concurrent.TimeoutException
2400.02/2310.70 at concrete.MAC.mac(MAC.scala:74)
2400.02/2310.70 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.02/2310.70 at scala.util.Try$.apply(Try.scala:209)
2400.02/2310.70 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.02/2310.70 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.02/2310.70 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.02/2310.70 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.02/2310.70 at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.02/2310.70 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.02/2310.70 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.02/2310.70 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.02/2310.70 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.02/2310.70 at concrete.MAC.oneRun(MAC.scala:146)
2400.02/2310.70 at concrete.MAC.nextSolution(MAC.scala:166)
2400.02/2310.70 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.02/2310.70 at concrete.ProblemState.map(ProblemState.scala:203)
2400.02/2310.70 at concrete.ProblemState.map(ProblemState.scala:188)
2400.02/2310.70 at concrete.MAC.nextSolution(MAC.scala:195)
2400.02/2310.70 at concrete.Solver.hasNext(Solver.scala:202)
2400.02/2310.70 at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.02/2310.70 at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.02/2310.70 at concrete.Solver.toStream(Solver.scala:73)
2400.02/2310.70 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.02/2310.70 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.02/2310.70 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.02/2310.70 at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.02/2310.70 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.02/2310.70 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.02/2310.70 at scala.util.Success.map(Try.scala:209)
2400.02/2310.70 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.02/2310.70 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.02/2310.70 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.02/2310.70 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.02/2310.70 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.02/2310.70 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.02/2310.70 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.02/2310.70 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.02/2310.70 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.02/2310.70 at scala.collection.immutable.List.foreach(List.scala:389)
2400.02/2310.70 at scala.App.main(App.scala:76)
2400.02/2310.70 at scala.App.main$(App.scala:74)
2400.02/2310.70 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.02/2310.70 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.02/2310.72 v <instantiation cost="352">
2400.02/2310.72 v <list>
2400.02/2310.72 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] z
2400.02/2310.72 v </list>
2400.02/2310.72 v <values>
2400.02/2310.72 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 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 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 1 0 1 0 1 1 1 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 1 1 1 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 1 1 1 2 0 1 1 0 2 0 1 1 0 2 0 0 0 0 0 1 1 0 1 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 2 1 1 2 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 2 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 2 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 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 1 1 2 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 2 2 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 2 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 2 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 1 1 2 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 2 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 2 1 1 2 2 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 16 35 42 45 57 69 78 83 91 96 101 107 117 128 141 151 160 169 179 188 196 203 208 212 214 221 230 237 256 272 352
2400.02/2310.72 v </values>
2400.02/2310.72 v </instantiation>
2400.02/2310.72 s SATISFIABLE
OK 352
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-4244793-1500696964/watcher-4244793-1500696964 -o /tmp/evaluation-result-4244793-1500696964/solver-4244793-1500696964 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500696963-25081 --watchdog 2560 bin/concrete HOME/instance-4244793-1500696964.xml pid=25109 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 9.18 13.09 14.31 3/252 25116 /proc/meminfo: memFree=31721228/32770624 swapFree=5900/315156 [pid=25116] ppid=25109 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/25116/stat : 25116 (bash) S 25109 25116 16913 0 -1 4202496 654 0 0 0 0 0 0 0 20 0 1 0 4963336 9736192 350 33554432000 4194304 5098028 140733811245008 140733811242648 140471126895616 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 20455424 140733811246350 140733811246435 140733811246435 140733811249134 0 /proc/25116/statm: 2377 350 278 221 0 86 0 [startup+0.100157 s] /proc/loadavg: 9.18 13.09 14.31 3/252 25116 /proc/meminfo: memFree=31721228/32770624 swapFree=5900/315156 [pid=25116] ppid=25109 vsize=9640 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/25116/stat : 25116 (bash) S 25109 25116 16913 0 -1 4202496 879 6424 0 0 0 0 0 2 20 0 1 0 4963336 9871360 377 33554432000 4194304 5098028 140733811245008 140733811239016 140471126895616 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 0 0 0 7196144 7232144 20455424 140733811246350 140733811246435 140733811246435 140733811249134 0 /proc/25116/statm: 2410 377 296 221 0 119 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9640 [startup+0.200328 s] /proc/loadavg: 9.18 13.09 14.31 3/252 25116 /proc/meminfo: memFree=31721228/32770624 swapFree=5900/315156 [pid=25116] ppid=25109 vsize=10435860 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/25116/stat : 25116 (java) S 25109 25116 16913 0 -1 1077944320 4977 12416 0 0 4 1 8 4 20 0 13 0 4963336 10686320640 5348 33554432000 4194304 4196468 140721232977184 140721232959728 140661324082935 0 0 0 16784585 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 /proc/25116/statm: 2608965 5348 2138 1 0 2597403 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 10435860 [startup+0.300318 s] /proc/loadavg: 9.18 13.09 14.31 3/252 25116 /proc/meminfo: memFree=31721228/32770624 swapFree=5900/315156 [pid=25116] ppid=25109 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/25116/stat : 25116 (java) S 25109 25116 16913 0 -1 1077944320 7657 12416 0 0 22 2 8 4 20 0 20 0 4963336 11164049408 9352 33554432000 4194304 4196468 140721232977184 140721232959728 140661324082935 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 /proc/25116/statm: 2725598 9352 2993 1 0 2713890 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 10902392 [startup+0.700351 s] /proc/loadavg: 9.18 13.09 14.31 3/252 25116 /proc/meminfo: memFree=31721228/32770624 swapFree=5900/315156 [pid=25116] ppid=25109 vsize=10902720 CPUtime=0.92 cores=1,3,5,7,9,11,13,15 /proc/25116/stat : 25116 (java) S 25109 25116 16913 0 -1 1077944320 12019 12416 0 0 76 4 8 4 20 0 20 0 4963336 11164385280 14741 33554432000 4194304 4196468 140721232977184 140721232959728 140661324082935 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 /proc/25116/statm: 2725680 14741 3119 1 0 2713890 0 Current children cumulated CPU time (s) 0.92 Current children cumulated vsize (KiB) 10902720 [startup+1.50073 s] /proc/loadavg: 9.18 13.09 14.31 6/288 25258 /proc/meminfo: memFree=31524448/32770624 swapFree=5900/315488 [pid=25116] ppid=25109 vsize=10913344 CPUtime=2.23 cores=1,3,5,7,9,11,13,15 /proc/25116/stat : 25116 (java) S 25109 25116 16913 0 -1 1077944320 27147 12416 0 0 199 12 8 4 20 0 20 0 4963336 11175264256 43938 33554432000 4194304 4196468 140721232977184 140721232959728 140661324082935 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 /proc/25116/statm: 2728336 43938 3399 1 0 2716450 0 [pid=25116/tid=25221] ppid=25109 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25221/stat : 25221 (java) S 25109 25116 16913 0 -1 1077944384 19673 12416 0 0 124 6 8 4 20 0 20 0 4963350 11175264256 43938 33554432000 4194304 4196468 140721232977184 140661328307616 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25223] ppid=25109 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25223/stat : 25223 (java) R 25109 25116 16913 0 -1 4202560 26 12416 0 0 1 0 8 4 20 0 20 0 4963351 11175264256 43938 33554432000 4194304 4196468 140721232977184 140661260774152 140661316711143 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25224] ppid=25109 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25224/stat : 25224 (java) R 25109 25116 16913 0 -1 4202560 25 12416 0 0 0 0 8 4 20 0 20 0 4963351 11175264256 43938 33554432000 4194304 4196468 140721232977184 140661259721352 140661316711143 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25225] ppid=25109 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25225/stat : 25225 (java) R 25109 25116 16913 0 -1 4202560 40 12416 0 0 1 0 8 4 20 0 20 0 4963351 11175264256 43938 33554432000 4194304 4196468 140721232977184 140661258668632 140661316711143 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25226] ppid=25109 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25226/stat : 25226 (java) R 25109 25116 16913 0 -1 4202560 41 12416 0 0 1 0 8 4 20 0 20 0 4963351 11175264256 43938 33554432000 4194304 4196468 140721232977184 140661257615832 140661316711143 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25227] ppid=25109 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25227/stat : 25227 (java) R 25109 25116 16913 0 -1 4202560 23 12416 0 0 0 0 8 4 20 0 20 0 4963351 11175264256 43938 33554432000 4194304 4196468 140721232977184 140661256564056 140661305692767 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25228] ppid=25109 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25228/stat : 25228 (java) R 25109 25116 16913 0 -1 4202560 143 12416 0 0 0 0 8 4 20 0 20 0 4963351 11175264256 43938 33554432000 4194304 4196468 140721232977184 140661255511176 140661316711143 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25229] ppid=25109 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25229/stat : 25229 (java) R 25109 25116 16913 0 -1 4202560 10 12416 0 0 0 0 8 4 20 0 20 0 4963351 11175264256 43938 33554432000 4194304 4196468 140721232977184 140661254458456 140661316711143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25230] ppid=25109 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25230/stat : 25230 (java) R 25109 25116 16913 0 -1 4202560 13 12416 0 0 1 0 8 4 20 0 20 0 4963351 11175264256 43938 33554432000 4194304 4196468 140721232977184 140660923296728 140661317187583 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25239] ppid=25109 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25239/stat : 25239 (java) S 25109 25116 16913 0 -1 1077944384 1326 12416 0 0 1 0 8 4 20 0 20 0 4963353 11175264256 43938 33554432000 4194304 4196468 140721232977184 140660798718880 140661324093141 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25240] ppid=25109 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25240/stat : 25240 (java) S 25109 25116 16913 0 -1 1077944384 33 12416 0 0 0 0 8 4 20 0 20 0 4963354 11175264256 43938 33554432000 4194304 4196468 140721232977184 140660797666336 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25241] ppid=25109 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25241/stat : 25241 (java) S 25109 25116 16913 0 -1 1077944384 21 12416 0 0 0 0 8 4 20 0 20 0 4963354 11175264256 43938 33554432000 4194304 4196468 140721232977184 140660796613488 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25245] ppid=25109 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25245/stat : 25245 (java) S 25109 25116 16913 0 -1 1077944384 1 12416 0 0 0 0 8 4 20 0 20 0 4963358 11175264256 43938 33554432000 4194304 4196468 140721232977184 140660795561808 140661324101531 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25246] ppid=25109 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25246/stat : 25246 (java) S 25109 25116 16913 0 -1 1077944384 805 12416 0 0 12 0 8 4 20 0 20 0 4963358 11175264256 43938 33554432000 4194304 4196468 140721232977184 140660794510192 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25247] ppid=25109 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25247/stat : 25247 (java) S 25109 25116 16913 0 -1 1077944384 1143 12416 0 0 15 0 8 4 20 0 20 0 4963358 11175264256 43938 33554432000 4194304 4196468 140721232977184 140660793457392 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25248] ppid=25109 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25248/stat : 25248 (java) S 25109 25116 16913 0 -1 1077944384 594 12416 0 0 11 0 8 4 20 0 20 0 4963358 11175264256 43938 33554432000 4194304 4196468 140721232977184 140660792404592 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25249] ppid=25109 vsize=10913344 CPUtime=0.38 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25249/stat : 25249 (java) S 25109 25116 16913 0 -1 1077944384 1093 12416 0 0 26 0 8 4 20 0 20 0 4963358 11175264256 43938 33554432000 4194304 4196468 140721232977184 140660791347008 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25250] ppid=25109 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25250/stat : 25250 (java) S 25109 25116 16913 0 -1 1077944384 3 12416 0 0 0 0 8 4 20 0 20 0 4963358 11175264256 43938 33554432000 4194304 4196468 140721232977184 140660790299232 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25251] ppid=25109 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25251/stat : 25251 (java) S 25109 25116 16913 0 -1 1077944384 4 12416 0 0 0 0 8 4 20 0 20 0 4963358 11175264256 43938 33554432000 4194304 4196468 140721232977184 140660789246512 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 Current children cumulated CPU time (s) 2.23 Current children cumulated vsize (KiB) 10913344 [startup+3.10118 s] /proc/loadavg: 8.52 12.89 14.24 7/288 25258 /proc/meminfo: memFree=31364676/32770624 swapFree=5900/315960 [pid=25116] ppid=25109 vsize=10925820 CPUtime=6.47 cores=1,3,5,7,9,11,13,15 /proc/25116/stat : 25116 (java) S 25109 25116 16913 0 -1 1077944320 47303 12416 0 0 617 18 8 4 20 0 20 0 4963336 11188039680 57564 33554432000 4194304 4196468 140721232977184 140721232959728 140661324082935 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 /proc/25116/statm: 2731455 57564 3480 1 0 2719010 0 [pid=25116/tid=25221] ppid=25109 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25221/stat : 25221 (java) R 25109 25116 16913 0 -1 4202560 31748 12416 0 0 280 9 8 4 20 0 20 0 4963350 11188039680 57564 33554432000 4194304 4196468 140721232977184 140661328274624 140661305646512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25223] ppid=25109 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25223/stat : 25223 (java) S 25109 25116 16913 0 -1 1077944384 26 12416 0 0 1 0 8 4 20 0 20 0 4963351 11188039680 57564 33554432000 4194304 4196468 140721232977184 140661260774032 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25224] ppid=25109 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25224/stat : 25224 (java) S 25109 25116 16913 0 -1 1077944384 25 12416 0 0 0 0 8 4 20 0 20 0 4963351 11188039680 57564 33554432000 4194304 4196468 140721232977184 140661259721232 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25225] ppid=25109 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25225/stat : 25225 (java) S 25109 25116 16913 0 -1 1077944384 40 12416 0 0 1 0 8 4 20 0 20 0 4963351 11188039680 57564 33554432000 4194304 4196468 140721232977184 140661258668432 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25226] ppid=25109 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25226/stat : 25226 (java) S 25109 25116 16913 0 -1 1077944384 41 12416 0 0 1 0 8 4 20 0 20 0 4963351 11188039680 57564 33554432000 4194304 4196468 140721232977184 140661257615632 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25227] ppid=25109 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25227/stat : 25227 (java) S 25109 25116 16913 0 -1 1077944384 23 12416 0 0 0 0 8 4 20 0 20 0 4963351 11188039680 57564 33554432000 4194304 4196468 140721232977184 140661256563856 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25228] ppid=25109 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25228/stat : 25228 (java) S 25109 25116 16913 0 -1 1077944384 143 12416 0 0 0 0 8 4 20 0 20 0 4963351 11188039680 57564 33554432000 4194304 4196468 140721232977184 140661255511056 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25229] ppid=25109 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25229/stat : 25229 (java) S 25109 25116 16913 0 -1 1077944384 10 12416 0 0 0 0 8 4 20 0 20 0 4963351 11188039680 57564 33554432000 4194304 4196468 140721232977184 140661254458256 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25230] ppid=25109 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25230/stat : 25230 (java) S 25109 25116 16913 0 -1 1077944384 13 12416 0 0 1 0 8 4 20 0 20 0 4963351 11188039680 57564 33554432000 4194304 4196468 140721232977184 140660923296528 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25239] ppid=25109 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25239/stat : 25239 (java) S 25109 25116 16913 0 -1 1077944384 1347 12416 0 0 1 0 8 4 20 0 20 0 4963353 11188039680 57564 33554432000 4194304 4196468 140721232977184 140660798720368 140661324094082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25240] ppid=25109 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25240/stat : 25240 (java) S 25109 25116 16913 0 -1 1077944384 55 12416 0 0 0 0 8 4 20 0 20 0 4963354 11188039680 57564 33554432000 4194304 4196468 140721232977184 140660797666400 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25241] ppid=25109 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25241/stat : 25241 (java) S 25109 25116 16913 0 -1 1077944384 44 12416 0 0 0 0 8 4 20 0 20 0 4963354 11188039680 57564 33554432000 4194304 4196468 140721232977184 140660796613504 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25245] ppid=25109 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25245/stat : 25245 (java) S 25109 25116 16913 0 -1 1077944384 1 12416 0 0 0 0 8 4 20 0 20 0 4963358 11188039680 57564 33554432000 4194304 4196468 140721232977184 140660795561808 140661324101531 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25246] ppid=25109 vsize=10925820 CPUtime=0.97 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25246/stat : 25246 (java) S 25109 25116 16913 0 -1 1077944384 4107 12416 0 0 85 0 8 4 20 0 20 0 4963358 11188039680 57564 33554432000 4194304 4196468 140721232977184 140660794510192 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25247] ppid=25109 vsize=10925820 CPUtime=0.77 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25247/stat : 25247 (java) S 25109 25116 16913 0 -1 1077944384 1924 12416 0 0 65 0 8 4 20 0 20 0 4963358 11188039680 57564 33554432000 4194304 4196468 140721232977184 140660793457392 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25248] ppid=25109 vsize=10925820 CPUtime=0.8 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25248/stat : 25248 (java) S 25109 25116 16913 0 -1 1077944384 2025 12416 0 0 67 1 8 4 20 0 20 0 4963358 11188039680 57564 33554432000 4194304 4196468 140721232977184 140660792404592 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25249] ppid=25109 vsize=10925820 CPUtime=1.21 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25249/stat : 25249 (java) S 25109 25116 16913 0 -1 1077944384 3593 12416 0 0 107 2 8 4 20 0 20 0 4963358 11188039680 57564 33554432000 4194304 4196468 140721232977184 140660791351792 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25250] ppid=25109 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25250/stat : 25250 (java) S 25109 25116 16913 0 -1 1077944384 3 12416 0 0 0 0 8 4 20 0 20 0 4963358 11188039680 57564 33554432000 4194304 4196468 140721232977184 140660790299232 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25251] ppid=25109 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25251/stat : 25251 (java) S 25109 25116 16913 0 -1 1077944384 5 12416 0 0 0 0 8 4 20 0 20 0 4963358 11188039680 57564 33554432000 4194304 4196468 140721232977184 140660789246512 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 Current children cumulated CPU time (s) 6.47 Current children cumulated vsize (KiB) 10925820 [startup+6.3011 s] /proc/loadavg: 8.52 12.89 14.24 10/288 25258 /proc/meminfo: memFree=31001724/32770624 swapFree=5900/316184 [pid=25116] ppid=25109 vsize=10929916 CPUtime=18.98 cores=1,3,5,7,9,11,13,15 /proc/25116/stat : 25116 (java) S 25109 25116 16913 0 -1 1077944320 62941 12416 0 0 1851 35 8 4 20 0 20 0 4963336 11192233984 108088 33554432000 4194304 4196468 140721232977184 140721232959728 140661324082935 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 /proc/25116/statm: 2732479 108088 3490 1 0 2720034 0 [pid=25116/tid=25221] ppid=25109 vsize=10929916 CPUtime=6.1 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25221/stat : 25221 (java) R 25109 25116 16913 0 -1 4202560 33019 12416 0 0 587 11 8 4 20 0 20 0 4963350 11192233984 108088 33554432000 4194304 4196468 140721232977184 140661328315928 140660943249799 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25223] ppid=25109 vsize=10929916 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25223/stat : 25223 (java) S 25109 25116 16913 0 -1 1077944384 100 12416 0 0 4 1 8 4 20 0 20 0 4963351 11192233984 108088 33554432000 4194304 4196468 140721232977184 140661260774032 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25224] ppid=25109 vsize=10929916 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25224/stat : 25224 (java) S 25109 25116 16913 0 -1 1077944384 39 12416 0 0 4 1 8 4 20 0 20 0 4963351 11192233984 108088 33554432000 4194304 4196468 140721232977184 140661259721232 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25225] ppid=25109 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25225/stat : 25225 (java) S 25109 25116 16913 0 -1 1077944384 49 12416 0 0 4 0 8 4 20 0 20 0 4963351 11192233984 108088 33554432000 4194304 4196468 140721232977184 140661258668432 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25226] ppid=25109 vsize=10929916 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25226/stat : 25226 (java) S 25109 25116 16913 0 -1 1077944384 77 12416 0 0 4 1 8 4 20 0 20 0 4963351 11192233984 108088 33554432000 4194304 4196468 140721232977184 140661257615632 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25227] ppid=25109 vsize=10929916 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25227/stat : 25227 (java) S 25109 25116 16913 0 -1 1077944384 51 12416 0 0 5 1 8 4 20 0 20 0 4963351 11192233984 108088 33554432000 4194304 4196468 140721232977184 140661256563856 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25228] ppid=25109 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25228/stat : 25228 (java) S 25109 25116 16913 0 -1 1077944384 170 12416 0 0 3 1 8 4 20 0 20 0 4963351 11192233984 108088 33554432000 4194304 4196468 140721232977184 140661255511056 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25229] ppid=25109 vsize=10929916 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25229/stat : 25229 (java) S 25109 25116 16913 0 -1 1077944384 41 12416 0 0 4 1 8 4 20 0 20 0 4963351 11192233984 108088 33554432000 4194304 4196468 140721232977184 140661254458256 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25230] ppid=25109 vsize=10929916 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25230/stat : 25230 (java) S 25109 25116 16913 0 -1 1077944384 31 12416 0 0 5 1 8 4 20 0 20 0 4963351 11192233984 108088 33554432000 4194304 4196468 140721232977184 140660923296528 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25239] ppid=25109 vsize=10929916 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25239/stat : 25239 (java) S 25109 25116 16913 0 -1 1077944384 2117 12416 0 0 5 0 8 4 20 0 20 0 4963353 11192233984 108088 33554432000 4194304 4196468 140721232977184 140660798720368 140661324094082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25240] ppid=25109 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25240/stat : 25240 (java) S 25109 25116 16913 0 -1 1077944384 55 12416 0 0 0 0 8 4 20 0 20 0 4963354 11192233984 108088 33554432000 4194304 4196468 140721232977184 140660797666400 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25241] ppid=25109 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25241/stat : 25241 (java) S 25109 25116 16913 0 -1 1077944384 44 12416 0 0 0 0 8 4 20 0 20 0 4963354 11192233984 108088 33554432000 4194304 4196468 140721232977184 140660796613504 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25245] ppid=25109 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25245/stat : 25245 (java) S 25109 25116 16913 0 -1 1077944384 1 12416 0 0 0 0 8 4 20 0 20 0 4963358 11192233984 108088 33554432000 4194304 4196468 140721232977184 140660795561808 140661324101531 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25246] ppid=25109 vsize=10929916 CPUtime=3.68 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25246/stat : 25246 (java) R 25109 25116 16913 0 -1 4202560 6325 12416 0 0 355 1 8 4 20 0 20 0 4963358 11192233984 108088 33554432000 4194304 4196468 140721232977184 140660794499904 140661324104282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25247] ppid=25109 vsize=10929916 CPUtime=3.46 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25247/stat : 25247 (java) S 25109 25116 16913 0 -1 1077944384 7121 12416 0 0 333 1 8 4 20 0 20 0 4963358 11192233984 108088 33554432000 4194304 4196468 140721232977184 140660793457392 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25248] ppid=25109 vsize=10929916 CPUtime=3.46 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25248/stat : 25248 (java) S 25109 25116 16913 0 -1 1077944384 5757 12416 0 0 330 4 8 4 20 0 20 0 4963358 11192233984 108088 33554432000 4194304 4196468 140721232977184 140660792404592 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25249] ppid=25109 vsize=10929916 CPUtime=2.17 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25249/stat : 25249 (java) R 25109 25116 16913 0 -1 4202560 5805 12416 0 0 201 4 8 4 20 0 20 0 4963358 11192233984 108088 33554432000 4194304 4196468 140721232977184 140660791346720 140661317179328 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25250] ppid=25109 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=25116/tid=25247] ppid=25109 vsize=10999548 CPUtime=9.76 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25247/stat : 25247 (java) S 25109 25116 16913 0 -1 1077944384 29334 12416 0 0 959 5 8 4 20 0 20 0 4963358 11263537152 833225 33554432000 4194304 4196468 140721232977184 140660793457392 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25248] ppid=25109 vsize=10999548 CPUtime=10.1 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25248/stat : 25248 (java) S 25109 25116 16913 0 -1 1077944384 31116 12416 0 0 989 9 8 4 20 0 20 0 4963358 11263537152 833225 33554432000 4194304 4196468 140721232977184 140660792404592 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25249] ppid=25109 vsize=10999548 CPUtime=4.79 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25249/stat : 25249 (java) S 25109 25116 16913 0 -1 1077944384 22534 12416 0 0 458 9 8 4 20 0 20 0 4963358 11263537152 833225 33554432000 4194304 4196468 140721232977184 140660791351792 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25250] ppid=25109 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25250/stat : 25250 (java) S 25109 25116 16913 0 -1 1077944384 3 12416 0 0 0 0 8 4 20 0 20 0 4963358 11263537152 833225 33554432000 4194304 4196468 140721232977184 140660790299232 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25251] ppid=25109 vsize=10999548 CPUtime=1.27 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25251/stat : 25251 (java) S 25109 25116 16913 0 -1 1077944384 1847 12416 0 0 53 62 8 4 20 0 20 0 4963358 11263537152 833225 33554432000 4194304 4196468 140721232977184 140660789246512 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 Current children cumulated CPU time (s) 2290.35 Current children cumulated vsize (KiB) 10999548 [startup+2262.3 s] /proc/loadavg: 2.09 1.92 2.91 4/285 25334 /proc/meminfo: memFree=25091396/32770624 swapFree=5884/318556 [pid=25116] ppid=25109 vsize=10999548 CPUtime=2351.2 cores=1,3,5,7,9,11,13,15 /proc/25116/stat : 25116 (java) S 25109 25116 16913 0 -1 1077944320 548522 12416 0 0 234065 1043 8 4 20 0 20 0 4963336 11263537152 832969 33554432000 4194304 4196468 140721232977184 140721232959728 140661324082935 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 /proc/25116/statm: 2749887 832969 3530 1 0 2737442 0 [pid=25116/tid=25221] ppid=25109 vsize=10999548 CPUtime=2249.84 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25221/stat : 25221 (java) R 25109 25116 16913 0 -1 4202560 342948 12416 0 0 224879 93 8 4 20 0 20 0 4963350 11263537152 832969 33554432000 4194304 4196468 140721232977184 140661328317472 140660939119732 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25223] ppid=25109 vsize=10999548 CPUtime=8.16 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25223/stat : 25223 (java) S 25109 25116 16913 0 -1 1077944384 9069 12416 0 0 697 107 8 4 20 0 20 0 4963351 11263537152 832969 33554432000 4194304 4196468 140721232977184 140661260774032 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25224] ppid=25109 vsize=10999548 CPUtime=8.05 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25224/stat : 25224 (java) S 25109 25116 16913 0 -1 1077944384 9552 12416 0 0 688 105 8 4 20 0 20 0 4963351 11263537152 832969 33554432000 4194304 4196468 140721232977184 140661259721232 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25225] ppid=25109 vsize=10999548 CPUtime=8.08 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25225/stat : 25225 (java) S 25109 25116 16913 0 -1 1077944384 8567 12416 0 0 694 102 8 4 20 0 20 0 4963351 11263537152 832969 33554432000 4194304 4196468 140721232977184 140661258668432 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25226] ppid=25109 vsize=10999548 CPUtime=8.02 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25226/stat : 25226 (java) S 25109 25116 16913 0 -1 1077944384 8807 12416 0 0 683 107 8 4 20 0 20 0 4963351 11263537152 832969 33554432000 4194304 4196468 140721232977184 140661257615632 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25227] ppid=25109 vsize=10999548 CPUtime=8.16 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25227/stat : 25227 (java) S 25109 25116 16913 0 -1 1077944384 6717 12416 0 0 697 107 8 4 20 0 20 0 4963351 11263537152 832969 33554432000 4194304 4196468 140721232977184 140661256563856 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25228] ppid=25109 vsize=10999548 CPUtime=8.03 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25228/stat : 25228 (java) S 25109 25116 16913 0 -1 1077944384 7097 12416 0 0 682 109 8 4 20 0 20 0 4963351 11263537152 832969 33554432000 4194304 4196468 140721232977184 140661255511056 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25229] ppid=25109 vsize=10999548 CPUtime=8.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25229/stat : 25229 (java) S 25109 25116 16913 0 -1 1077944384 6960 12416 0 0 696 104 8 4 20 0 20 0 4963351 11263537152 832969 33554432000 4194304 4196468 140721232977184 140661254458256 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25230] ppid=25109 vsize=10999548 CPUtime=8.24 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25230/stat : 25230 (java) S 25109 25116 16913 0 -1 1077944384 7499 12416 0 0 703 109 8 4 20 0 20 0 4963351 11263537152 832969 33554432000 4194304 4196468 140721232977184 140660923296528 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25239] ppid=25109 vsize=10999548 CPUtime=1.84 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25239/stat : 25239 (java) S 25109 25116 16913 0 -1 1077944384 25528 12416 0 0 144 28 8 4 20 0 20 0 4963353 11263537152 832969 33554432000 4194304 4196468 140721232977184 140660798720368 140661324094082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25240] ppid=25109 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25240/stat : 25240 (java) S 25109 25116 16913 0 -1 1077944384 81 12416 0 0 0 0 8 4 20 0 20 0 4963354 11263537152 832969 33554432000 4194304 4196468 140721232977184 140660797666464 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25241] ppid=25109 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25241/stat : 25241 (java) S 25109 25116 16913 0 -1 1077944384 46 12416 0 0 0 0 8 4 20 0 20 0 4963354 11263537152 832969 33554432000 4194304 4196468 140721232977184 140660796613504 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25245] ppid=25109 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25245/stat : 25245 (java) S 25109 25116 16913 0 -1 1077944384 1 12416 0 0 0 0 8 4 20 0 20 0 4963358 11263537152 832969 33554432000 4194304 4196468 140721232977184 140660795561808 140661324101531 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25246] ppid=25109 vsize=10999548 CPUtime=10.23 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25246/stat : 25246 (java) S 25109 25116 16913 0 -1 1077944384 28662 12416 0 0 1005 6 8 4 20 0 20 0 4963358 11263537152 832969 33554432000 4194304 4196468 140721232977184 140660794510192 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25247] ppid=25109 vsize=10999548 CPUtime=9.76 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25247/stat : 25247 (java) S 25109 25116 16913 0 -1 1077944384 29336 12416 0 0 959 5 8 4 20 0 20 0 4963358 11263537152 832969 33554432000 4194304 4196468 140721232977184 140660793457392 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25248] ppid=25109 vsize=10999548 CPUtime=10.1 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25248/stat : 25248 (java) S 25109 25116 16913 0 -1 1077944384 31118 12416 0 0 989 9 8 4 20 0 20 0 4963358 11263537152 832969 33554432000 4194304 4196468 140721232977184 140660792404592 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25249] ppid=25109 vsize=10999548 CPUtime=4.79 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25249/stat : 25249 (java) S 25109 25116 16913 0 -1 1077944384 22536 12416 0 0 458 9 8 4 20 0 20 0 4963358 11263537152 832969 33554432000 4194304 4196468 140721232977184 140660791351792 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25250] ppid=25109 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25250/stat : 25250 (java) S 25109 25116 16913 0 -1 1077944384 3 12416 0 0 0 0 8 4 20 0 20 0 4963358 11263537152 832969 33554432000 4194304 4196468 140721232977184 140660790299232 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25251] ppid=25109 vsize=10999548 CPUtime=1.3 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25251/stat : 25251 (java) S 25109 25116 16913 0 -1 1077944384 1865 12416 0 0 55 63 8 4 20 0 20 0 4963358 11263537152 832969 33554432000 4194304 4196468 140721232977184 140660789246512 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 Current children cumulated CPU time (s) 2351.2 Current children cumulated vsize (KiB) 10999548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2310.7 s] /proc/loadavg: 1.98 1.92 2.86 4/285 25335 /proc/meminfo: memFree=25091904/32770624 swapFree=5884/318600 [pid=25116] ppid=25109 vsize=10999548 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15 /proc/25116/stat : 25116 (java) S 25109 25116 16913 0 -1 1077944320 560342 12416 0 0 238945 1045 8 4 20 0 20 0 4963336 11263537152 832713 33554432000 4194304 4196468 140721232977184 140721232959728 140661324082935 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 /proc/25116/statm: 2749887 832713 3530 1 0 2737442 0 [pid=25116/tid=25221] ppid=25109 vsize=10999548 CPUtime=2298.14 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25221/stat : 25221 (java) R 25109 25116 16913 0 -1 4202560 353673 12416 0 0 229708 94 8 4 20 0 20 0 4963350 11263537152 832713 33554432000 4194304 4196468 140721232977184 140661328317472 140660939738293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25223] ppid=25109 vsize=10999548 CPUtime=8.22 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25223/stat : 25223 (java) S 25109 25116 16913 0 -1 1077944384 9086 12416 0 0 703 107 8 4 20 0 20 0 4963351 11263537152 832713 33554432000 4194304 4196468 140721232977184 140661260774032 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25224] ppid=25109 vsize=10999548 CPUtime=8.11 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25224/stat : 25224 (java) S 25109 25116 16913 0 -1 1077944384 9567 12416 0 0 694 105 8 4 20 0 20 0 4963351 11263537152 832713 33554432000 4194304 4196468 140721232977184 140661259721232 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25225] ppid=25109 vsize=10999548 CPUtime=8.14 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25225/stat : 25225 (java) S 25109 25116 16913 0 -1 1077944384 8889 12416 0 0 700 102 8 4 20 0 20 0 4963351 11263537152 832713 33554432000 4194304 4196468 140721232977184 140661258668432 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25226] ppid=25109 vsize=10999548 CPUtime=8.09 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25226/stat : 25226 (java) S 25109 25116 16913 0 -1 1077944384 8876 12416 0 0 690 107 8 4 20 0 20 0 4963351 11263537152 832713 33554432000 4194304 4196468 140721232977184 140661257615632 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25227] ppid=25109 vsize=10999548 CPUtime=8.22 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25227/stat : 25227 (java) S 25109 25116 16913 0 -1 1077944384 6733 12416 0 0 703 107 8 4 20 0 20 0 4963351 11263537152 832713 33554432000 4194304 4196468 140721232977184 140661256563856 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25228] ppid=25109 vsize=10999548 CPUtime=8.08 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25228/stat : 25228 (java) S 25109 25116 16913 0 -1 1077944384 7126 12416 0 0 687 109 8 4 20 0 20 0 4963351 11263537152 832713 33554432000 4194304 4196468 140721232977184 140661255511056 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25229] ppid=25109 vsize=10999548 CPUtime=8.18 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25229/stat : 25229 (java) S 25109 25116 16913 0 -1 1077944384 7046 12416 0 0 702 104 8 4 20 0 20 0 4963351 11263537152 832713 33554432000 4194304 4196468 140721232977184 140661254458256 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25230] ppid=25109 vsize=10999548 CPUtime=8.31 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25230/stat : 25230 (java) S 25109 25116 16913 0 -1 1077944384 7629 12416 0 0 710 109 8 4 20 0 20 0 4963351 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660923296528 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25239] ppid=25109 vsize=10999548 CPUtime=1.85 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25239/stat : 25239 (java) S 25109 25116 16913 0 -1 1077944384 25732 12416 0 0 145 28 8 4 20 0 20 0 4963353 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660798720368 140661324094082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25240] ppid=25109 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25240/stat : 25240 (java) S 25109 25116 16913 0 -1 1077944384 81 12416 0 0 0 0 8 4 20 0 20 0 4963354 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660797666464 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25241] ppid=25109 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25241/stat : 25241 (java) S 25109 25116 16913 0 -1 1077944384 46 12416 0 0 0 0 8 4 20 0 20 0 4963354 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660796613504 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25245] ppid=25109 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25245/stat : 25245 (java) S 25109 25116 16913 0 -1 1077944384 1 12416 0 0 0 0 8 4 20 0 20 0 4963358 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660795561808 140661324101531 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25246] ppid=25109 vsize=10999548 CPUtime=10.24 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25246/stat : 25246 (java) S 25109 25116 16913 0 -1 1077944384 28841 12416 0 0 1005 7 8 4 20 0 20 0 4963358 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660794510192 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25247] ppid=25109 vsize=10999548 CPUtime=9.76 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25247/stat : 25247 (java) S 25109 25116 16913 0 -1 1077944384 29338 12416 0 0 959 5 8 4 20 0 20 0 4963358 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660793457392 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25248] ppid=25109 vsize=10999548 CPUtime=10.1 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25248/stat : 25248 (java) S 25109 25116 16913 0 -1 1077944384 31120 12416 0 0 989 9 8 4 20 0 20 0 4963358 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660792404592 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25249] ppid=25109 vsize=10999548 CPUtime=4.79 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25249/stat : 25249 (java) S 25109 25116 16913 0 -1 1077944384 22538 12416 0 0 458 9 8 4 20 0 20 0 4963358 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660791351792 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25250] ppid=25109 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25250/stat : 25250 (java) S 25109 25116 16913 0 -1 1077944384 3 12416 0 0 0 0 8 4 20 0 20 0 4963358 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660790299232 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25251] ppid=25109 vsize=10999548 CPUtime=1.33 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25251/stat : 25251 (java) S 25109 25116 16913 0 -1 1077944384 1887 12416 0 0 56 65 8 4 20 0 20 0 4963358 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660789246512 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 10999548 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 25116 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2310.7 s] /proc/loadavg: 1.98 1.92 2.86 4/285 25335 /proc/meminfo: memFree=25091904/32770624 swapFree=5884/318600 [pid=25116] ppid=25109 vsize=10999548 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15 /proc/25116/stat : 25116 (java) S 25109 25116 16913 0 -1 1077944320 560342 12416 0 0 238945 1045 8 4 20 0 20 0 4963336 11263537152 832713 33554432000 4194304 4196468 140721232977184 140721232959728 140661324082935 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 /proc/25116/statm: 2749887 832713 3530 1 0 2737442 0 [pid=25116/tid=25221] ppid=25109 vsize=10999548 CPUtime=2298.14 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25221/stat : 25221 (java) R 25109 25116 16913 0 -1 4202560 353673 12416 0 0 229708 94 8 4 20 0 20 0 4963350 11263537152 832713 33554432000 4194304 4196468 140721232977184 140661328317472 140660939738293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25223] ppid=25109 vsize=10999548 CPUtime=8.22 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25223/stat : 25223 (java) S 25109 25116 16913 0 -1 1077944384 9086 12416 0 0 703 107 8 4 20 0 20 0 4963351 11263537152 832713 33554432000 4194304 4196468 140721232977184 140661260774032 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25224] ppid=25109 vsize=10999548 CPUtime=8.11 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25224/stat : 25224 (java) S 25109 25116 16913 0 -1 1077944384 9567 12416 0 0 694 105 8 4 20 0 20 0 4963351 11263537152 832713 33554432000 4194304 4196468 140721232977184 140661259721232 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25225] ppid=25109 vsize=10999548 CPUtime=8.14 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25225/stat : 25225 (java) S 25109 25116 16913 0 -1 1077944384 8889 12416 0 0 700 102 8 4 20 0 20 0 4963351 11263537152 832713 33554432000 4194304 4196468 140721232977184 140661258668432 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25226] ppid=25109 vsize=10999548 CPUtime=8.09 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25226/stat : 25226 (java) S 25109 25116 16913 0 -1 1077944384 8876 12416 0 0 690 107 8 4 20 0 20 0 4963351 11263537152 832713 33554432000 4194304 4196468 140721232977184 140661257615632 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25227] ppid=25109 vsize=10999548 CPUtime=8.22 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25227/stat : 25227 (java) S 25109 25116 16913 0 -1 1077944384 6733 12416 0 0 703 107 8 4 20 0 20 0 4963351 11263537152 832713 33554432000 4194304 4196468 140721232977184 140661256563856 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25228] ppid=25109 vsize=10999548 CPUtime=8.08 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25228/stat : 25228 (java) S 25109 25116 16913 0 -1 1077944384 7126 12416 0 0 687 109 8 4 20 0 20 0 4963351 11263537152 832713 33554432000 4194304 4196468 140721232977184 140661255511056 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25229] ppid=25109 vsize=10999548 CPUtime=8.18 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25229/stat : 25229 (java) S 25109 25116 16913 0 -1 1077944384 7046 12416 0 0 702 104 8 4 20 0 20 0 4963351 11263537152 832713 33554432000 4194304 4196468 140721232977184 140661254458256 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25230] ppid=25109 vsize=10999548 CPUtime=8.31 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25230/stat : 25230 (java) S 25109 25116 16913 0 -1 1077944384 7629 12416 0 0 710 109 8 4 20 0 20 0 4963351 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660923296528 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25239] ppid=25109 vsize=10999548 CPUtime=1.85 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25239/stat : 25239 (java) S 25109 25116 16913 0 -1 1077944384 25732 12416 0 0 145 28 8 4 20 0 20 0 4963353 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660798720368 140661324094082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25240] ppid=25109 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25240/stat : 25240 (java) S 25109 25116 16913 0 -1 1077944384 81 12416 0 0 0 0 8 4 20 0 20 0 4963354 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660797666464 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25241] ppid=25109 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25241/stat : 25241 (java) S 25109 25116 16913 0 -1 1077944384 46 12416 0 0 0 0 8 4 20 0 20 0 4963354 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660796613504 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25245] ppid=25109 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25245/stat : 25245 (java) S 25109 25116 16913 0 -1 1077944384 1 12416 0 0 0 0 8 4 20 0 20 0 4963358 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660795561808 140661324101531 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25246] ppid=25109 vsize=10999548 CPUtime=10.24 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25246/stat : 25246 (java) S 25109 25116 16913 0 -1 1077944384 28841 12416 0 0 1005 7 8 4 20 0 20 0 4963358 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660794510192 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25247] ppid=25109 vsize=10999548 CPUtime=9.76 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25247/stat : 25247 (java) S 25109 25116 16913 0 -1 1077944384 29338 12416 0 0 959 5 8 4 20 0 20 0 4963358 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660793457392 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25248] ppid=25109 vsize=10999548 CPUtime=10.1 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25248/stat : 25248 (java) S 25109 25116 16913 0 -1 1077944384 31120 12416 0 0 989 9 8 4 20 0 20 0 4963358 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660792404592 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25249] ppid=25109 vsize=10999548 CPUtime=4.79 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25249/stat : 25249 (java) S 25109 25116 16913 0 -1 1077944384 22538 12416 0 0 458 9 8 4 20 0 20 0 4963358 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660791351792 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25250] ppid=25109 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25250/stat : 25250 (java) S 25109 25116 16913 0 -1 1077944384 3 12416 0 0 0 0 8 4 20 0 20 0 4963358 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660790299232 140661324093141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 [pid=25116/tid=25251] ppid=25109 vsize=10999548 CPUtime=1.33 cores=1,3,5,7,9,11,13,15 /proc/25116/task/25251/stat : 25251 (java) S 25109 25116 16913 0 -1 1077944384 1887 12416 0 0 56 65 8 4 20 0 20 0 4963358 11263537152 832713 33554432000 4194304 4196468 140721232977184 140660789246512 140661324094082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10207232 140721232980673 140721232983447 140721232983447 140721232986063 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 10999548 Child status: 143 Real time (s): 2310.74 CPU time (s): 2400.12 CPU user time (s): 2389.61 CPU system time (s): 10.517 CPU usage (%): 103.868 Max. virtual memory (cumulated for all children) (KiB): 10999548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2389.61 system time used= 10.517 maximum resident set size= 3332900 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 573903 page faults= 0 swaps= 0 block input operations= 384 block output operations= 2832 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 117807 involuntary context switches= 134581 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.1853 second user time and 18.0868 second system time The end
Begin job on node133 at 2017-07-22 06:16:04 IDJOB=4244793 IDBENCH=115904 IDSOLVER=2630 FILE ID=node133/4244793-1500696964 RUNJOBID= node133-1500696963-25081 PBS_JOBID= 20623321 Free space on /tmp= 62016 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-28.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244793-1500696964/watcher-4244793-1500696964 -o /tmp/evaluation-result-4244793-1500696964/solver-4244793-1500696964 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500696963-25081 --watchdog 2560 bin/concrete HOME/instance-4244793-1500696964.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= f7605bb50abdbd05cc6d9fedf17196d1 RANDOM SEED=178745666 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31722304 kB MemAvailable: 32001760 kB Buffers: 122412 kB Cached: 437228 kB SwapCached: 0 kB Active: 286940 kB Inactive: 323912 kB Active(anon): 54960 kB Inactive(anon): 8756 kB Active(file): 231980 kB Inactive(file): 315156 kB Unevictable: 5900 kB Mlocked: 5900 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 48508 kB Writeback: 4 kB AnonPages: 56668 kB Mapped: 30300 kB Shmem: 8872 kB Slab: 130812 kB SReclaimable: 96312 kB SUnreclaim: 34500 kB KernelStack: 4208 kB PageTables: 5260 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 309896 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61968 MiB End job on node133 at 2017-07-22 06:54:35