Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.4 | SAT (TO) | 346 | 252.078 | 218.936 |
| 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 | 386 |
| Best CPU time to get the best result obtained on this benchmark | 251.79601 |
| 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.49/2.21 c Concrete v3.4 running
15.22/6.20 % 18:45:35.223 [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
15.22/6.22 % 18:45:35.247 [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
15.22/6.22 % 18:45:35.248 [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
15.22/6.23 % 18:45:35.263 [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
15.22/6.24 % 18:45:35.264 [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
15.22/6.25 % 18:45:35.276 [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
15.22/6.25 % 18:45:35.278 [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
15.22/6.26 % 18:45:35.290 [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
15.22/6.26 % 18:45:35.291 [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
15.22/6.27 % 18:45:35.296 [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
15.22/6.27 % 18:45:35.297 [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
15.22/6.27 % 18:45:35.301 [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
15.22/6.27 % 18:45:35.302 [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
15.22/6.28 % 18:45:35.307 [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
15.22/6.28 % 18:45:35.308 [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
15.22/6.28 % 18:45:35.313 [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
25.76/10.14 o 42
26.30/10.30 o 49
26.57/10.44 o 50
27.06/10.64 o 51
27.63/10.85 o 52
28.25/11.05 o 53
28.50/11.16 o 54
28.86/11.30 o 55
29.01/11.43 o 56
29.11/11.53 o 57
29.21/11.64 o 58
29.33/11.76 o 59
29.43/11.87 o 60
29.54/11.97 o 61
29.65/12.08 o 62
29.92/12.28 o 63
30.15/12.42 o 64
30.25/12.53 o 65
30.37/12.68 o 66
30.58/12.80 o 67
30.70/12.92 o 68
30.81/13.04 o 69
30.93/13.16 o 70
31.18/13.30 o 71
31.30/13.42 o 72
31.40/13.54 o 73
31.63/13.72 o 74
31.74/13.82 o 75
31.84/13.99 o 76
32.08/14.12 o 77
32.19/14.24 o 78
32.29/14.35 o 79
32.39/14.47 o 80
32.52/14.59 o 81
32.77/14.72 o 82
32.89/14.85 o 83
32.99/14.97 o 84
33.12/15.08 o 85
33.22/15.18 o 86
33.41/15.38 o 87
33.53/15.49 o 88
33.75/15.63 o 89
33.85/15.75 o 90
33.99/15.89 o 91
34.32/16.02 o 92
34.47/16.14 o 93
34.57/16.26 o 94
34.79/16.40 o 95
35.14/16.71 o 96
35.24/16.86 o 97
35.36/16.97 o 98
35.47/17.09 o 99
35.69/17.22 o 100
35.79/17.36 o 101
36.12/17.57 o 102
36.33/17.79 o 103
36.54/17.92 o 104
36.67/18.04 o 105
36.77/18.17 o 106
36.99/18.31 o 107
37.12/18.44 o 108
37.22/18.57 o 109
37.46/18.79 o 110
37.68/18.91 o 111
37.79/19.05 o 112
37.93/19.19 o 113
38.13/19.32 o 114
38.25/19.45 o 115
38.35/19.57 o 116
38.46/19.70 o 117
38.68/19.83 o 118
38.81/19.96 o 119
39.04/20.12 o 120
39.25/20.35 o 121
39.48/20.50 o 122
39.60/20.64 o 123
39.70/20.77 o 124
39.83/20.89 o 125
40.14/21.10 o 126
40.59/21.22 o 127
40.69/21.36 o 128
40.92/21.50 o 129
41.03/21.64 o 130
41.13/21.77 o 131
41.35/21.99 o 132
41.58/22.12 o 133
41.84/22.33 o 134
42.05/22.55 o 135
42.15/22.65 o 136
42.27/22.79 o 137
42.48/22.91 o 138
42.59/23.04 o 139
42.73/23.19 o 140
42.95/23.30 o 141
43.05/23.42 o 142
43.14/23.55 o 143
43.35/23.76 o 144
43.57/23.91 o 145
43.70/24.05 o 146
43.80/24.19 o 147
44.11/24.43 o 148
44.34/24.67 o 149
44.56/24.80 o 150
44.90/25.12 o 151
44.99/25.26 o 152
45.27/25.40 o 153
45.37/25.54 o 154
45.48/25.68 o 155
45.70/25.81 o 156
45.82/25.94 o 157
46.03/26.18 o 158
46.24/26.34 o 159
46.36/26.49 o 160
46.57/26.63 o 161
46.69/26.77 o 162
46.92/26.99 o 163
47.03/27.10 o 164
47.24/27.22 o 165
47.34/27.34 o 166
47.51/27.48 o 167
47.72/27.61 o 168
47.92/27.80 o 169
48.04/27.94 o 170
48.17/28.08 o 171
48.40/28.23 o 172
48.51/28.38 o 173
48.67/28.49 o 174
48.90/28.61 o 175
49.13/28.82 o 176
49.23/28.96 o 177
50.07/29.43 o 178
50.17/29.53 o 179
50.27/29.64 o 180
50.48/29.89 o 181
50.76/30.01 o 182
50.89/30.14 o 183
51.08/30.38 o 184
51.31/30.52 o 185
51.52/30.75 o 186
51.75/30.91 o 187
51.86/31.04 o 188
52.28/31.41 o 189
52.50/31.63 o 190
52.60/31.76 o 191
52.70/31.88 o 192
53.03/32.19 o 193
53.29/32.34 o 194
53.39/32.48 o 195
53.62/32.61 o 196
53.72/32.76 o 197
53.94/32.91 o 198
54.06/33.04 o 199
54.25/33.25 o 200
54.48/33.49 o 201
54.91/33.84 o 202
55.03/33.98 o 203
55.26/34.15 o 204
55.35/34.27 o 205
55.56/34.47 o 206
55.78/34.63 o 207
56.56/35.32 o 208
56.67/35.46 o 209
56.88/35.61 o 210
57.01/35.73 o 211
57.11/35.87 o 212
57.21/36.00 o 213
57.53/36.24 o 214
57.64/36.37 o 215
57.85/36.53 o 216
57.95/36.68 o 217
58.60/37.25 o 218
58.83/37.40 o 219
58.93/37.54 o 220
59.19/37.71 o 221
59.29/37.85 o 222
59.40/37.99 o 223
59.63/38.13 o 224
59.72/38.27 o 225
60.15/38.60 o 226
60.36/38.87 o 227
60.49/39.00 o 228
60.90/39.38 o 229
61.54/39.96 o 230
61.65/40.10 o 231
61.87/40.24 o 232
61.98/40.39 o 233
62.19/40.53 o 234
62.29/40.68 o 235
62.68/40.97 o 236
62.93/41.12 o 237
63.12/41.35 o 238
63.33/41.50 o 239
63.59/41.77 o 240
63.93/42.01 o 241
64.05/42.17 o 242
64.26/42.33 o 243
64.37/42.46 o 244
64.78/42.89 o 245
65.02/43.02 o 246
66.35/44.20 o 247
66.67/44.58 o 248
67.23/45.03 o 249
67.33/45.18 o 250
67.88/45.62 o 251
67.98/45.78 o 252
68.43/46.13 o 253
69.55/47.15 o 254
69.76/47.31 o 255
69.87/47.46 o 256
70.08/47.60 o 257
70.51/48.07 o 258
71.24/48.71 o 259
71.34/48.86 o 260
71.57/49.06 o 261
72.59/49.80 o 262
72.70/49.93 o 263
72.81/50.09 o 264
73.08/50.25 o 265
73.72/50.82 o 266
74.06/51.15 o 267
74.50/51.58 o 268
74.96/51.91 o 269
75.49/52.49 o 270
75.71/52.63 o 271
75.82/52.79 o 272
76.56/53.45 o 273
77.27/54.09 o 274
77.80/54.51 o 275
78.96/55.62 o 276
79.08/55.78 o 277
79.31/55.95 o 278
79.53/56.17 o 279
79.87/56.45 o 280
79.97/56.59 o 281
81.12/57.56 o 282
81.45/57.81 o 283
81.68/58.08 o 284
82.00/58.32 o 285
82.11/58.45 o 286
82.53/58.85 o 287
83.18/59.41 o 288
83.61/59.80 o 289
83.82/60.06 o 290
84.26/60.44 o 291
84.49/60.60 o 292
84.71/60.83 o 293
89.23/65.02 o 294
89.75/65.54 o 295
90.07/65.84 o 296
90.18/65.99 o 297
91.04/66.77 o 298
91.39/67.07 o 299
92.62/68.14 o 300
92.84/68.32 o 301
93.37/68.82 o 302
93.82/69.26 o 303
95.19/70.58 o 304
95.42/70.73 o 305
95.75/71.02 o 306
95.87/71.17 o 307
96.10/71.34 o 308
96.75/71.93 o 309
97.80/72.99 o 310
98.54/73.65 o 311
98.98/74.06 o 312
99.61/74.69 o 313
100.93/75.87 o 314
102.71/77.58 o 315
102.94/77.78 o 316
103.15/77.95 o 317
103.48/78.28 o 318
103.97/78.66 o 319
104.31/78.96 o 320
105.25/79.81 o 321
105.99/80.56 o 322
106.22/80.77 o 323
106.43/80.91 o 324
106.75/81.25 o 325
107.06/81.53 o 326
107.18/81.68 o 327
107.52/81.92 o 328
108.40/82.72 o 329
109.05/83.39 o 330
109.68/83.94 o 331
111.93/86.06 o 332
112.35/86.44 o 333
112.89/86.97 o 334
113.31/87.37 o 335
114.77/88.77 o 336
115.43/89.38 o 337
117.21/91.09 o 338
117.42/91.23 o 339
117.64/91.47 o 340
118.84/92.56 o 341
128.08/101.33 o 342
128.19/101.48 o 343
162.04/133.17 o 344
201.29/170.11 o 345
208.97/177.44 o 346
252.02/218.90 java.util.concurrent.TimeoutException
252.02/218.90 at concrete.MAC.mac(MAC.scala:74)
252.02/218.90 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.02/218.90 at scala.util.Try$.apply(Try.scala:209)
252.02/218.90 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.02/218.90 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.02/218.90 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.02/218.90 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.02/218.90 at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.02/218.90 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.02/218.90 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.02/218.90 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.02/218.90 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.02/218.90 at concrete.MAC.oneRun(MAC.scala:146)
252.02/218.90 at concrete.MAC.nextSolution(MAC.scala:166)
252.02/218.90 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.02/218.90 at concrete.ProblemState.map(ProblemState.scala:203)
252.02/218.90 at concrete.ProblemState.map(ProblemState.scala:188)
252.02/218.90 at concrete.MAC.nextSolution(MAC.scala:195)
252.02/218.90 at concrete.Solver.hasNext(Solver.scala:202)
252.02/218.90 at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.02/218.90 at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.02/218.90 at concrete.Solver.toStream(Solver.scala:73)
252.02/218.90 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.02/218.90 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.02/218.90 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.02/218.90 at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.02/218.90 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.02/218.90 at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.02/218.90 at scala.util.Success.map(Try.scala:209)
252.02/218.90 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.02/218.90 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.02/218.90 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.02/218.90 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.02/218.90 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.02/218.90 at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.02/218.90 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.02/218.90 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.02/218.90 at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.02/218.90 at scala.collection.immutable.List.foreach(List.scala:389)
252.02/218.90 at scala.App.main(App.scala:76)
252.02/218.90 at scala.App.main$(App.scala:74)
252.02/218.90 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.02/218.90 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.02/218.91 v <instantiation cost="346">
252.02/218.91 v <list>
252.02/218.91 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
252.02/218.91 v </list>
252.02/218.91 v <values>
252.02/218.91 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 0 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 1 0 1 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 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 1 1 0 1 0 1 0 0 0 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 0 0 1 0 0 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 0 0 0 1 0 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 1 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 0 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 1 1 0 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 1 0 0 0 0 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 0 0 1 1 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 1 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 0 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 1 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 1 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 0 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 1 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 1 0 2 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 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 2 1 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 2 1 1 2 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 2 2 1 0 1 1 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 1 0 0 2 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 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 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 1 2 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 0 2 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 0 2 1 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 0 1 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 0 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 0 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 0 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 0 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 1 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 1 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 17 37 43 49 61 74 83 95 107 116 122 128 139 152 167 177 186 195 204 212 219 225 231 236 238 245 254 261 280 296 346
252.02/218.91 v </values>
252.02/218.91 v </instantiation>
252.02/218.91 s SATISFIABLE
OK 346
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13759 MiB free)
memory of node 1: 16384 MiB (15442 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259813-1502643576/watcher-4259813-1502643576 -o /tmp/evaluation-result-4259813-1502643576/solver-4259813-1502643576 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259813-1502643576.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26901, runsolver pid=26898
[startup+0.100096 s]*
/proc/loadavg: 2.32 2.00 1.96 3/201 26902
/proc/meminfo: memFree=29902420/32770624 swapFree=67108860/67108860
[pid=26901] ppid=26898 vsize=9508 memory=1404 CPUtime=0 cores=1,3,5,7
/proc/26901/stat : 26901 (bash) S 26898 26901 8289 0 -1 4202496 688 1545 0 0 0 0 0 0 20 0 1 0 112172817 9736192 351 18446744073709551615 4194304 5098028 140734335461744 140734335459384 140135807904768 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 21086208 140734335463924 140734335464009 140734335464009 140734335467498 0
/proc/26901/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9508 KiB
Current children cumulated memory: 1404 KiB
[startup+0.209743 s]*
/proc/loadavg: 2.32 2.00 1.96 3/218 26947
/proc/meminfo: memFree=29885460/32770624 swapFree=67108860/67108860
[pid=26901] ppid=26898 vsize=356956 memory=7532 CPUtime=0.07 cores=1,3,5,7
/proc/26901/stat : 26901 (java) S 26898 26901 8289 0 -1 1077944320 2591 12652 0 0 0 0 4 3 20 0 2 0 112172817 365522944 1883 18446744073709551615 4194304 4196468 140729158624960 140729158607504 139993143975671 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
/proc/26901/statm: 89239 1883 1036 1 0 79209 0
[pid=26901/tid=26951] ppid=26898 vsize=356956 memory=8318255677412212789 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26951/stat : 26951 (java) S 26898 26901 8289 0 -1 1077944384 438 12652 0 0 0 0 4 3 20 0 2 0 112172839 365522944 1883 18446744073709551615 4194304 4196468 140729158624960 139993148217760 139993143986818 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 356956 KiB
Current children cumulated memory: 7532 KiB
[startup+0.310053 s]*
/proc/loadavg: 2.32 2.00 1.96 2/214 26963
/proc/meminfo: memFree=29890752/32770624 swapFree=67108860/67108860
[pid=26901] ppid=26898 vsize=13973872 memory=21684 CPUtime=0.13 cores=1,3,5,7
/proc/26901/stat : 26901 (java) S 26898 26901 8289 0 -1 1077944320 5754 12652 0 0 5 1 4 3 20 0 15 0 112172817 14309244928 5421 18446744073709551615 4194304 4196468 140729158624960 140729158607504 139993143975671 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
/proc/26901/statm: 3493468 5421 2562 1 0 3482965 0
[pid=26901/tid=26951] ppid=26898 vsize=13973872 memory=-8774313645642428999 CPUtime=0.11 cores=1,3,5,7
/proc/26901/task/26951/stat : 26951 (java) R 26898 26901 8289 0 -1 4202560 3012 12652 0 0 4 0 4 3 20 0 15 0 112172839 14309244928 5421 18446744073709551615 4194304 4196468 140729158624960 139993148204448 139993127349768 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26952] ppid=26898 vsize=13973872 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26952/stat : 26952 (java) S 26898 26901 8289 0 -1 1077944384 1 12652 0 0 0 0 4 3 20 0 15 0 112172839 14309244928 5421 18446744073709551615 4194304 4196468 140729158624960 139993063389712 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26953] ppid=26898 vsize=13973872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26953/stat : 26953 (java) S 26898 26901 8289 0 -1 1077944384 1 12652 0 0 0 0 4 3 20 0 15 0 112172839 14309244928 5421 18446744073709551615 4194304 4196468 140729158624960 139993062337168 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26954] ppid=26898 vsize=13973872 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26954/stat : 26954 (java) S 26898 26901 8289 0 -1 1077944384 1 12652 0 0 0 0 4 3 20 0 15 0 112172839 14309244928 5421 18446744073709551615 4194304 4196468 140729158624960 139993061284112 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26955] ppid=26898 vsize=13973872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26955/stat : 26955 (java) S 26898 26901 8289 0 -1 1077944384 2 12652 0 0 0 0 4 3 20 0 15 0 112172839 14309244928 5421 18446744073709551615 4194304 4196468 140729158624960 139993060231568 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26956] ppid=26898 vsize=13973872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26956/stat : 26956 (java) S 26898 26901 8289 0 -1 1077944384 2 12652 0 0 0 0 4 3 20 0 15 0 112172841 14309244928 5421 18446744073709551615 4194304 4196468 140729158624960 139992622435056 139993143986818 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26957] ppid=26898 vsize=13973872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26957/stat : 26957 (java) S 26898 26901 8289 0 -1 1077944384 33 12652 0 0 0 0 4 3 20 0 15 0 112172841 14309244928 5421 18446744073709551615 4194304 4196468 140729158624960 139992621381280 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26958] ppid=26898 vsize=13973872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26958/stat : 26958 (java) S 26898 26901 8289 0 -1 1077944384 21 12652 0 0 0 0 4 3 20 0 15 0 112172841 14309244928 5421 18446744073709551615 4194304 4196468 140729158624960 139992620328176 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26959] ppid=26898 vsize=13973872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26959/stat : 26959 (java) S 26898 26901 8289 0 -1 1077944384 3 12652 0 0 0 0 4 3 20 0 15 0 112172844 14309244928 5421 18446744073709551615 4194304 4196468 140729158624960 139992619276752 139993143994267 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26960] ppid=26898 vsize=13973872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26960/stat : 26960 (java) S 26898 26901 8289 0 -1 1077944384 295 12652 0 0 0 0 4 3 20 0 15 0 112172844 14309244928 5421 18446744073709551615 4194304 4196468 140729158624960 139992618223856 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26961] ppid=26898 vsize=13973872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26961/stat : 26961 (java) S 26898 26901 8289 0 -1 1077944384 3 12652 0 0 0 0 4 3 20 0 15 0 112172844 14309244928 5421 18446744073709551615 4194304 4196468 140729158624960 139992617171312 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26962] ppid=26898 vsize=13973872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26962/stat : 26962 (java) R 26898 26901 8289 0 -1 4202560 223 12652 0 0 0 0 4 3 20 0 15 0 112172844 14309244928 5421 18446744073709551615 4194304 4196468 140729158624960 139992616118256 139993143997018 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26963] ppid=26898 vsize=13973872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26963/stat : 26963 (java) S 26898 26901 8289 0 -1 1077944384 3 12652 0 0 0 0 4 3 20 0 15 0 112172844 14309244928 5421 18446744073709551615 4194304 4196468 140729158624960 139992615065952 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26964] ppid=26898 vsize=13973872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26964/stat : 26964 (java) S 26898 26901 8289 0 -1 1077944384 1 12652 0 0 0 0 4 3 20 0 15 0 112172849 14309244928 5421 18446744073709551615 4194304 4196468 140729158624960 139992614014000 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13973872 KiB
Current children cumulated memory: 21684 KiB
[startup+0.700699 s]
/proc/loadavg: 2.32 2.00 1.96 5/215 26964
/proc/meminfo: memFree=29863016/32770624 swapFree=67108860/67108860
[pid=26901] ppid=26898 vsize=13974784 memory=57128 CPUtime=0.66 cores=1,3,5,7
/proc/26901/stat : 26901 (java) S 26898 26901 8289 0 -1 1077944320 13886 12652 0 0 56 3 4 3 20 0 15 0 112172817 14310178816 14282 18446744073709551615 4194304 4196468 140729158624960 140729158607504 139993143975671 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
/proc/26901/statm: 3493696 14282 3139 1 0 3482965 0
[pid=26901/tid=26951] ppid=26898 vsize=13974784 memory=2241 CPUtime=0.49 cores=1,3,5,7
/proc/26901/task/26951/stat : 26951 (java) R 26898 26901 8289 0 -1 4202560 10255 12652 0 0 40 2 4 3 20 0 15 0 112172839 14310178816 14282 18446744073709551615 4194304 4196468 140729158624960 139993148200224 139993143997597 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26952] ppid=26898 vsize=13974784 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26952/stat : 26952 (java) S 26898 26901 8289 0 -1 1077944384 1 12652 0 0 0 0 4 3 20 0 15 0 112172839 14310178816 14282 18446744073709551615 4194304 4196468 140729158624960 139993063389712 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26953] ppid=26898 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26953/stat : 26953 (java) S 26898 26901 8289 0 -1 1077944384 1 12652 0 0 0 0 4 3 20 0 15 0 112172839 14310178816 14282 18446744073709551615 4194304 4196468 140729158624960 139993062337168 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26954] ppid=26898 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26954/stat : 26954 (java) S 26898 26901 8289 0 -1 1077944384 1 12652 0 0 0 0 4 3 20 0 15 0 112172839 14310178816 14282 18446744073709551615 4194304 4196468 140729158624960 139993061284112 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26955] ppid=26898 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26955/stat : 26955 (java) S 26898 26901 8289 0 -1 1077944384 2 12652 0 0 0 0 4 3 20 0 15 0 112172839 14310178816 14282 18446744073709551615 4194304 4196468 140729158624960 139993060231568 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26956] ppid=26898 vsize=13974784 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26956/stat : 26956 (java) S 26898 26901 8289 0 -1 1077944384 5 12652 0 0 0 0 4 3 20 0 15 0 112172841 14310178816 14282 18446744073709551615 4194304 4196468 140729158624960 139992622435056 139993143986818 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26957] ppid=26898 vsize=13974784 memory=281417263087856 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26957/stat : 26957 (java) S 26898 26901 8289 0 -1 1077944384 33 12652 0 0 0 0 4 3 20 0 15 0 112172841 14310178816 14282 18446744073709551615 4194304 4196468 140729158624960 139992621381280 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26958] ppid=26898 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26958/stat : 26958 (java) S 26898 26901 8289 0 -1 1077944384 21 12652 0 0 0 0 4 3 20 0 15 0 112172841 14310178816 14282 18446744073709551615 4194304 4196468 140729158624960 139992620328176 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26959] ppid=26898 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26959/stat : 26959 (java) S 26898 26901 8289 0 -1 1077944384 3 12652 0 0 0 0 4 3 20 0 15 0 112172844 14310178816 14282 18446744073709551615 4194304 4196468 140729158624960 139992619276752 139993143994267 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26960] ppid=26898 vsize=13974784 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26901/task/26960/stat : 26960 (java) S 26898 26901 8289 0 -1 1077944384 600 12652 0 0 3 0 4 3 20 0 15 0 112172844 14310178816 14282 18446744073709551615 4194304 4196468 140729158624960 139992618223856 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26961] ppid=26898 vsize=13974784 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26901/task/26961/stat : 26961 (java) S 26898 26901 8289 0 -1 1077944384 233 12652 0 0 2 0 4 3 20 0 15 0 112172844 14310178816 14282 18446744073709551615 4194304 4196468 140729158624960 139992617171312 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26962] ppid=26898 vsize=13974784 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/26901/task/26962/stat : 26962 (java) R 26898 26901 8289 0 -1 4202560 574 12652 0 0 10 0 4 3 20 0 15 0 112172844 14310178816 14282 18446744073709551615 4194304 4196468 140729158624960 139992616118256 139993128056158 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26963] ppid=26898 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26963/stat : 26963 (java) S 26898 26901 8289 0 -1 1077944384 3 12652 0 0 0 0 4 3 20 0 15 0 112172844 14310178816 14282 18446744073709551615 4194304 4196468 140729158624960 139992615065952 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26964] ppid=26898 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26964/stat : 26964 (java) S 26898 26901 8289 0 -1 1077944384 1 12652 0 0 0 0 4 3 20 0 15 0 112172849 14310178816 14282 18446744073709551615 4194304 4196468 140729158624960 139992614014000 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 57128 KiB
[startup+1.50068 s]
/proc/loadavg: 2.32 2.00 1.96 3/215 26964
/proc/meminfo: memFree=29821316/32770624 swapFree=67108860/67108860
[pid=26901] ppid=26898 vsize=13985408 memory=158652 CPUtime=1.87 cores=1,3,5,7
/proc/26901/stat : 26901 (java) S 26898 26901 8289 0 -1 1077944320 28573 12652 0 0 171 9 4 3 20 0 15 0 112172817 14321057792 39663 18446744073709551615 4194304 4196468 140729158624960 140729158607504 139993143975671 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
/proc/26901/statm: 3496352 39663 3366 1 0 3485525 0
[pid=26901/tid=26951] ppid=26898 vsize=13985408 memory=281417263217408 CPUtime=1.28 cores=1,3,5,7
/proc/26901/task/26951/stat : 26951 (java) S 26898 26901 8289 0 -1 1077944384 22916 12652 0 0 115 6 4 3 20 0 15 0 112172839 14321057792 39663 18446744073709551615 4194304 4196468 140729158624960 139993148198064 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26952] ppid=26898 vsize=13985408 memory=281417263377896 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26952/stat : 26952 (java) S 26898 26901 8289 0 -1 1077944384 36 12652 0 0 0 0 4 3 20 0 15 0 112172839 14321057792 39663 18446744073709551615 4194304 4196468 140729158624960 139993063389712 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26953] ppid=26898 vsize=13985408 memory=119882335128308 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26953/stat : 26953 (java) S 26898 26901 8289 0 -1 1077944384 201 12652 0 0 0 0 4 3 20 0 15 0 112172839 14321057792 39663 18446744073709551615 4194304 4196468 140729158624960 139993062337168 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26954] ppid=26898 vsize=13985408 memory=119882335128308 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26954/stat : 26954 (java) S 26898 26901 8289 0 -1 1077944384 49 12652 0 0 0 0 4 3 20 0 15 0 112172839 14321057792 39663 18446744073709551615 4194304 4196468 140729158624960 139993061284112 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26955] ppid=26898 vsize=13985408 memory=119882335128308 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26955/stat : 26955 (java) S 26898 26901 8289 0 -1 1077944384 55 12652 0 0 0 0 4 3 20 0 15 0 112172839 14321057792 39663 18446744073709551615 4194304 4196468 140729158624960 139993060231568 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26956] ppid=26898 vsize=13985408 memory=119882335128308 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26956/stat : 26956 (java) R 26898 26901 8289 0 -1 4202560 145 12652 0 0 0 0 4 3 20 0 15 0 112172841 14321057792 39663 18446744073709551615 4194304 4196468 140729158624960 139992622433344 139993129656321 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26957] ppid=26898 vsize=13985408 memory=4294969504 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26957/stat : 26957 (java) S 26898 26901 8289 0 -1 1077944384 33 12652 0 0 0 0 4 3 20 0 15 0 112172841 14321057792 39663 18446744073709551615 4194304 4196468 140729158624960 139992621381280 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26958] ppid=26898 vsize=13985408 memory=2372 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26958/stat : 26958 (java) S 26898 26901 8289 0 -1 1077944384 21 12652 0 0 0 0 4 3 20 0 15 0 112172841 14321057792 39663 18446744073709551615 4194304 4196468 140729158624960 139992620328176 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26959] ppid=26898 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26959/stat : 26959 (java) S 26898 26901 8289 0 -1 1077944384 3 12652 0 0 0 0 4 3 20 0 15 0 112172844 14321057792 39663 18446744073709551615 4194304 4196468 140729158624960 139992619276752 139993143994267 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26960] ppid=26898 vsize=13985408 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/26901/task/26960/stat : 26960 (java) S 26898 26901 8289 0 -1 1077944384 1013 12652 0 0 16 0 4 3 20 0 15 0 112172844 14321057792 39663 18446744073709551615 4194304 4196468 140729158624960 139992618223856 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26961] ppid=26898 vsize=13985408 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/26901/task/26961/stat : 26961 (java) S 26898 26901 8289 0 -1 1077944384 648 12652 0 0 13 0 4 3 20 0 15 0 112172844 14321057792 39663 18446744073709551615 4194304 4196468 140729158624960 139992617171312 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26962] ppid=26898 vsize=13985408 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/26901/task/26962/stat : 26962 (java) S 26898 26901 8289 0 -1 1077944384 1299 12652 0 0 23 0 4 3 20 0 15 0 112172844 14321057792 39663 18446744073709551615 4194304 4196468 140729158624960 139992616114128 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26963] ppid=26898 vsize=13985408 memory=281417263342560 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26963/stat : 26963 (java) S 26898 26901 8289 0 -1 1077944384 3 12652 0 0 0 0 4 3 20 0 15 0 112172844 14321057792 39663 18446744073709551615 4194304 4196468 140729158624960 139992615065952 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26964] ppid=26898 vsize=13985408 memory=7812726576340533336 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26964/stat : 26964 (java) S 26898 26901 8289 0 -1 1077944384 10 12652 0 0 0 0 4 3 20 0 15 0 112172849 14321057792 39663 18446744073709551615 4194304 4196468 140729158624960 139992614014000 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
Current children cumulated CPU time: 1.87 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 158652 KiB
[startup+3.11051 s]
/proc/loadavg: 2.46 2.04 1.97 6/215 26965
/proc/meminfo: memFree=29617380/32770624 swapFree=67108860/67108860
[pid=26901] ppid=26898 vsize=13997884 memory=225024 CPUtime=5.72 cores=1,3,5,7
/proc/26901/stat : 26901 (java) S 26898 26901 8289 0 -1 1077944320 48830 12652 0 0 550 15 4 3 20 0 15 0 112172817 14333833216 56256 18446744073709551615 4194304 4196468 140729158624960 140729158607504 139993143975671 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
/proc/26901/statm: 3499471 56256 3446 1 0 3488085 0
[pid=26901/tid=26951] ppid=26898 vsize=13997884 memory=0 CPUtime=2.86 cores=1,3,5,7
/proc/26901/task/26951/stat : 26951 (java) R 26898 26901 8289 0 -1 4202560 36006 12652 0 0 270 9 4 3 20 0 15 0 112172839 14333833216 56256 18446744073709551615 4194304 4196468 140729158624960 139993148204880 139993143997597 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26952] ppid=26898 vsize=13997884 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26952/stat : 26952 (java) S 26898 26901 8289 0 -1 1077944384 41 12652 0 0 0 0 4 3 20 0 15 0 112172839 14333833216 56256 18446744073709551615 4194304 4196468 140729158624960 139993063389712 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26953] ppid=26898 vsize=13997884 memory=117792 CPUtime=0.08 cores=1,3,5,7
/proc/26901/task/26953/stat : 26953 (java) S 26898 26901 8289 0 -1 1077944384 201 12652 0 0 1 0 4 3 20 0 15 0 112172839 14333833216 56256 18446744073709551615 4194304 4196468 140729158624960 139993062337168 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26954] ppid=26898 vsize=13997884 memory=665112642660898292 CPUtime=0.08 cores=1,3,5,7
/proc/26901/task/26954/stat : 26954 (java) S 26898 26901 8289 0 -1 1077944384 49 12652 0 0 1 0 4 3 20 0 15 0 112172839 14333833216 56256 18446744073709551615 4194304 4196468 140729158624960 139993061284112 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26955] ppid=26898 vsize=13997884 memory=281417263469392 CPUtime=0.08 cores=1,3,5,7
/proc/26901/task/26955/stat : 26955 (java) S 26898 26901 8289 0 -1 1077944384 58 12652 0 0 1 0 4 3 20 0 15 0 112172839 14333833216 56256 18446744073709551615 4194304 4196468 140729158624960 139993060231568 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26956] ppid=26898 vsize=13997884 memory=-7749696028082845524 CPUtime=0.08 cores=1,3,5,7
/proc/26901/task/26956/stat : 26956 (java) S 26898 26901 8289 0 -1 1077944384 745 12652 0 0 1 0 4 3 20 0 15 0 112172841 14333833216 56256 18446744073709551615 4194304 4196468 140729158624960 139992622435056 139993143986818 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26957] ppid=26898 vsize=13997884 memory=177468 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26957/stat : 26957 (java) S 26898 26901 8289 0 -1 1077944384 55 12652 0 0 0 0 4 3 20 0 15 0 112172841 14333833216 56256 18446744073709551615 4194304 4196468 140729158624960 139992621381280 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26958] ppid=26898 vsize=13997884 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26958/stat : 26958 (java) S 26898 26901 8289 0 -1 1077944384 43 12652 0 0 0 0 4 3 20 0 15 0 112172841 14333833216 56256 18446744073709551615 4194304 4196468 140729158624960 139992620328176 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26959] ppid=26898 vsize=13997884 memory=256233453965917 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26959/stat : 26959 (java) S 26898 26901 8289 0 -1 1077944384 3 12652 0 0 0 0 4 3 20 0 15 0 112172844 14333833216 56256 18446744073709551615 4194304 4196468 140729158624960 139992619276752 139993143994267 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26960] ppid=26898 vsize=13997884 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/26901/task/26960/stat : 26960 (java) S 26898 26901 8289 0 -1 1077944384 2522 12652 0 0 84 1 4 3 20 0 15 0 112172844 14333833216 56256 18446744073709551615 4194304 4196468 140729158624960 139992618223856 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26961] ppid=26898 vsize=13997884 memory=140708631608240 CPUtime=0.98 cores=1,3,5,7
/proc/26901/task/26961/stat : 26961 (java) S 26898 26901 8289 0 -1 1077944384 3372 12652 0 0 90 1 4 3 20 0 15 0 112172844 14333833216 56256 18446744073709551615 4194304 4196468 140729158624960 139992617171312 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26962] ppid=26898 vsize=13997884 memory=281417263377896 CPUtime=1.05 cores=1,3,5,7
/proc/26901/task/26962/stat : 26962 (java) S 26898 26901 8289 0 -1 1077944384 3566 12652 0 0 97 1 4 3 20 0 15 0 112172844 14333833216 56256 18446744073709551615 4194304 4196468 140729158624960 139992616118256 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26963] ppid=26898 vsize=13997884 memory=119882335128308 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26963/stat : 26963 (java) S 26898 26901 8289 0 -1 1077944384 3 12652 0 0 0 0 4 3 20 0 15 0 112172844 14333833216 56256 18446744073709551615 4194304 4196468 140729158624960 139992615065952 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26964] ppid=26898 vsize=13997884 memory=119882335128308 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26964/stat : 26964 (java) S 26898 26901 8289 0 -1 1077944384 13 12652 0 0 0 0 4 3 20 0 15 0 112172849 14333833216 56256 18446744073709551615 4194304 4196468 140729158624960 139992614014000 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
################
# More data... #
################
/proc/26901/task/26951/stat : 26951 (java) R 26898 26901 8289 0 -1 4202560 55887 12652 0 0 10064 27 4 3 20 0 15 0 112172839 14409330688 399751 18446744073709551615 4194304 4196468 140729158624960 139993148209616 139992752470802 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26952] ppid=26898 vsize=14071612 memory=281417263833952 CPUtime=0.86 cores=1,3,5,7
/proc/26901/task/26952/stat : 26952 (java) S 26898 26901 8289 0 -1 1077944384 939 12652 0 0 67 12 4 3 20 0 15 0 112172839 14409330688 399751 18446744073709551615 4194304 4196468 140729158624960 139993063389712 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26953] ppid=26898 vsize=14071612 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/26901/task/26953/stat : 26953 (java) S 26898 26901 8289 0 -1 1077944384 627 12652 0 0 70 12 4 3 20 0 15 0 112172839 14409330688 399751 18446744073709551615 4194304 4196468 140729158624960 139993062337168 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26954] ppid=26898 vsize=14071612 memory=0 CPUtime=0.85 cores=1,3,5,7
/proc/26901/task/26954/stat : 26954 (java) S 26898 26901 8289 0 -1 1077944384 1773 12652 0 0 66 12 4 3 20 0 15 0 112172839 14409330688 399751 18446744073709551615 4194304 4196468 140729158624960 139993061284112 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26955] ppid=26898 vsize=14071612 memory=4168 CPUtime=0.9 cores=1,3,5,7
/proc/26901/task/26955/stat : 26955 (java) S 26898 26901 8289 0 -1 1077944384 2672 12652 0 0 70 13 4 3 20 0 15 0 112172839 14409330688 399751 18446744073709551615 4194304 4196468 140729158624960 139993060231568 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26956] ppid=26898 vsize=14071612 memory=54288 CPUtime=0.27 cores=1,3,5,7
/proc/26901/task/26956/stat : 26956 (java) S 26898 26901 8289 0 -1 1077944384 8539 12652 0 0 19 1 4 3 20 0 15 0 112172841 14409330688 399751 18446744073709551615 4194304 4196468 140729158624960 139992622435056 139993143986818 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26957] ppid=26898 vsize=14071612 memory=4541 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26957/stat : 26957 (java) S 26898 26901 8289 0 -1 1077944384 72 12652 0 0 0 0 4 3 20 0 15 0 112172841 14409330688 399751 18446744073709551615 4194304 4196468 140729158624960 139992621381344 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26958] ppid=26898 vsize=14071612 memory=2462 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26958/stat : 26958 (java) S 26898 26901 8289 0 -1 1077944384 45 12652 0 0 0 0 4 3 20 0 15 0 112172841 14409330688 399751 18446744073709551615 4194304 4196468 140729158624960 139992620328192 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26959] ppid=26898 vsize=14071612 memory=1609268 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26959/stat : 26959 (java) S 26898 26901 8289 0 -1 1077944384 3 12652 0 0 0 0 4 3 20 0 15 0 112172844 14409330688 399751 18446744073709551615 4194304 4196468 140729158624960 139992619276752 139993143994267 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26960] ppid=26898 vsize=14071612 memory=1609268 CPUtime=10.58 cores=1,3,5,7
/proc/26901/task/26960/stat : 26960 (java) S 26898 26901 8289 0 -1 1077944384 15640 12652 0 0 1047 4 4 3 20 0 15 0 112172844 14409330688 399751 18446744073709551615 4194304 4196468 140729158624960 139992618223856 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26961] ppid=26898 vsize=14071612 memory=4168 CPUtime=10.72 cores=1,3,5,7
/proc/26901/task/26961/stat : 26961 (java) S 26898 26901 8289 0 -1 1077944384 20055 12652 0 0 1061 4 4 3 20 0 15 0 112172844 14409330688 399751 18446744073709551615 4194304 4196468 140729158624960 139992617171312 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26962] ppid=26898 vsize=14071612 memory=1620560 CPUtime=3.54 cores=1,3,5,7
/proc/26901/task/26962/stat : 26962 (java) S 26898 26901 8289 0 -1 1077944384 17563 12652 0 0 342 5 4 3 20 0 15 0 112172844 14409330688 399751 18446744073709551615 4194304 4196468 140729158624960 139992616118256 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26963] ppid=26898 vsize=14071612 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26963/stat : 26963 (java) S 26898 26901 8289 0 -1 1077944384 3 12652 0 0 0 0 4 3 20 0 15 0 112172844 14409330688 399751 18446744073709551615 4194304 4196468 140729158624960 139992615065952 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26964] ppid=26898 vsize=14071612 memory=4956998493510226538 CPUtime=0.11 cores=1,3,5,7
/proc/26901/task/26964/stat : 26964 (java) S 26898 26901 8289 0 -1 1077944384 391 12652 0 0 2 2 4 3 20 0 15 0 112172849 14409330688 399751 18446744073709551615 4194304 4196468 140729158624960 139992614014000 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
Current children cumulated CPU time: 129.19 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1599004 KiB
[startup+162.301 s]
/proc/loadavg: 1.75 1.88 1.92 3/216 26970
/proc/meminfo: memFree=28565844/32770624 swapFree=67108860/67108860
[pid=26901] ppid=26898 vsize=14071612 memory=1378456 CPUtime=193.04 cores=1,3,5,7
/proc/26901/stat : 26901 (java) S 26898 26901 8289 0 -1 1077944320 140443 12652 0 0 19188 109 4 3 20 0 15 0 112172817 14409330688 344614 18446744073709551615 4194304 4196468 140729158624960 140729158607504 139993143975671 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
/proc/26901/statm: 3517903 344614 3492 1 0 3506517 0
[pid=26901/tid=26951] ppid=26898 vsize=14071612 memory=1384608 CPUtime=160.55 cores=1,3,5,7
/proc/26901/task/26951/stat : 26951 (java) R 26898 26901 8289 0 -1 4202560 58080 12652 0 0 16020 28 4 3 20 0 15 0 112172839 14409330688 344614 18446744073709551615 4194304 4196468 140729158624960 139993148209968 139992734466176 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26952] ppid=26898 vsize=14071612 memory=1440528 CPUtime=1.26 cores=1,3,5,7
/proc/26901/task/26952/stat : 26952 (java) S 26898 26901 8289 0 -1 1077944384 2625 12652 0 0 105 14 4 3 20 0 15 0 112172839 14409330688 344614 18446744073709551615 4194304 4196468 140729158624960 139993063389712 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26953] ppid=26898 vsize=14071612 memory=1458996 CPUtime=1.28 cores=1,3,5,7
/proc/26901/task/26953/stat : 26953 (java) S 26898 26901 8289 0 -1 1077944384 780 12652 0 0 107 14 4 3 20 0 15 0 112172839 14409330688 344614 18446744073709551615 4194304 4196468 140729158624960 139993062337168 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26954] ppid=26898 vsize=14071612 memory=1423088 CPUtime=1.24 cores=1,3,5,7
/proc/26901/task/26954/stat : 26954 (java) S 26898 26901 8289 0 -1 1077944384 1978 12652 0 0 103 14 4 3 20 0 15 0 112172839 14409330688 344614 18446744073709551615 4194304 4196468 140729158624960 139993061284112 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26955] ppid=26898 vsize=14071612 memory=1395900 CPUtime=1.3 cores=1,3,5,7
/proc/26901/task/26955/stat : 26955 (java) S 26898 26901 8289 0 -1 1077944384 2937 12652 0 0 108 15 4 3 20 0 15 0 112172839 14409330688 344614 18446744073709551615 4194304 4196468 140729158624960 139993060231568 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26956] ppid=26898 vsize=14071612 memory=1440528 CPUtime=0.3 cores=1,3,5,7
/proc/26901/task/26956/stat : 26956 (java) S 26898 26901 8289 0 -1 1077944384 8846 12652 0 0 21 2 4 3 20 0 15 0 112172841 14409330688 344614 18446744073709551615 4194304 4196468 140729158624960 139992622435056 139993143986818 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26957] ppid=26898 vsize=14071612 memory=1394360 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26957/stat : 26957 (java) S 26898 26901 8289 0 -1 1077944384 77 12652 0 0 0 0 4 3 20 0 15 0 112172841 14409330688 344614 18446744073709551615 4194304 4196468 140729158624960 139992621381344 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26958] ppid=26898 vsize=14071612 memory=1384608 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26958/stat : 26958 (java) S 26898 26901 8289 0 -1 1077944384 45 12652 0 0 0 0 4 3 20 0 15 0 112172841 14409330688 344614 18446744073709551615 4194304 4196468 140729158624960 139992620328192 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26959] ppid=26898 vsize=14071612 memory=1378456 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26959/stat : 26959 (java) S 26898 26901 8289 0 -1 1077944384 3 12652 0 0 0 0 4 3 20 0 15 0 112172844 14409330688 344614 18446744073709551615 4194304 4196468 140729158624960 139992619276752 139993143994267 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26960] ppid=26898 vsize=14071612 memory=1228 CPUtime=11.69 cores=1,3,5,7
/proc/26901/task/26960/stat : 26960 (java) S 26898 26901 8289 0 -1 1077944384 19639 12652 0 0 1156 6 4 3 20 0 15 0 112172844 14409330688 344614 18446744073709551615 4194304 4196468 140729158624960 139992618223856 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26961] ppid=26898 vsize=14071612 memory=1620560 CPUtime=11.8 cores=1,3,5,7
/proc/26901/task/26961/stat : 26961 (java) S 26898 26901 8289 0 -1 1077944384 21690 12652 0 0 1168 5 4 3 20 0 15 0 112172844 14409330688 344614 18446744073709551615 4194304 4196468 140729158624960 139992617171312 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26962] ppid=26898 vsize=14071612 memory=1409748 CPUtime=3.99 cores=1,3,5,7
/proc/26901/task/26962/stat : 26962 (java) S 26898 26901 8289 0 -1 1077944384 21170 12652 0 0 386 6 4 3 20 0 15 0 112172844 14409330688 344614 18446744073709551615 4194304 4196468 140729158624960 139992616118256 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26963] ppid=26898 vsize=14071612 memory=1395900 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26963/stat : 26963 (java) S 26898 26901 8289 0 -1 1077944384 3 12652 0 0 0 0 4 3 20 0 15 0 112172844 14409330688 344614 18446744073709551615 4194304 4196468 140729158624960 139992615065952 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26964] ppid=26898 vsize=14071612 memory=1008 CPUtime=0.15 cores=1,3,5,7
/proc/26901/task/26964/stat : 26964 (java) S 26898 26901 8289 0 -1 1077944384 417 12652 0 0 4 4 4 3 20 0 15 0 112172849 14409330688 344614 18446744073709551615 4194304 4196468 140729158624960 139992614014000 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
Current children cumulated CPU time: 193.04 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1378456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+218.901 s]
/proc/loadavg: 1.79 1.87 1.92 5/215 27099
/proc/meminfo: memFree=28730896/32770624 swapFree=67108860/67108860
[pid=26901] ppid=26898 vsize=14071612 memory=1206496 CPUtime=252.02 cores=1,3,5,7
/proc/26901/stat : 26901 (java) S 26898 26901 8289 0 -1 1077944320 156979 12652 0 0 25074 121 4 3 20 0 15 0 112172817 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 140729158607504 139993143975671 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
/proc/26901/statm: 3517903 301624 3492 1 0 3506517 0
[pid=26901/tid=26951] ppid=26898 vsize=14071612 memory=1208548 CPUtime=216.69 cores=1,3,5,7
/proc/26901/task/26951/stat : 26951 (java) R 26898 26901 8289 0 -1 4202560 61768 12652 0 0 21633 29 4 3 20 0 15 0 112172839 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139993148209216 139992734794471 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26952] ppid=26898 vsize=14071612 memory=0 CPUtime=1.68 cores=1,3,5,7
/proc/26901/task/26952/stat : 26952 (java) S 26898 26901 8289 0 -1 1077944384 4461 12652 0 0 145 16 4 3 20 0 15 0 112172839 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139993063389712 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26953] ppid=26898 vsize=14071612 memory=1237276 CPUtime=1.7 cores=1,3,5,7
/proc/26901/task/26953/stat : 26953 (java) S 26898 26901 8289 0 -1 1077944384 1071 12652 0 0 147 16 4 3 20 0 15 0 112172839 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139993062337168 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26954] ppid=26898 vsize=14071612 memory=1208548 CPUtime=1.66 cores=1,3,5,7
/proc/26901/task/26954/stat : 26954 (java) S 26898 26901 8289 0 -1 1077944384 2337 12652 0 0 143 16 4 3 20 0 15 0 112172839 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139993061284112 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26955] ppid=26898 vsize=14071612 memory=1218296 CPUtime=1.71 cores=1,3,5,7
/proc/26901/task/26955/stat : 26955 (java) S 26898 26901 8289 0 -1 1077944384 3348 12652 0 0 148 16 4 3 20 0 15 0 112172839 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139993060231568 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26956] ppid=26898 vsize=14071612 memory=1243980 CPUtime=0.34 cores=1,3,5,7
/proc/26901/task/26956/stat : 26956 (java) S 26898 26901 8289 0 -1 1077944384 9263 12652 0 0 24 3 4 3 20 0 15 0 112172841 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992622435056 139993143986818 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26957] ppid=26898 vsize=14071612 memory=1208548 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26957/stat : 26957 (java) S 26898 26901 8289 0 -1 1077944384 83 12652 0 0 0 0 4 3 20 0 15 0 112172841 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992621381344 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26958] ppid=26898 vsize=14071612 memory=1208548 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26958/stat : 26958 (java) S 26898 26901 8289 0 -1 1077944384 45 12652 0 0 0 0 4 3 20 0 15 0 112172841 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992620328192 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26959] ppid=26898 vsize=14071612 memory=256233453965926 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26959/stat : 26959 (java) S 26898 26901 8289 0 -1 1077944384 3 12652 0 0 0 0 4 3 20 0 15 0 112172844 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992619276752 139993143994267 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26960] ppid=26898 vsize=14071612 memory=2012 CPUtime=12.16 cores=1,3,5,7
/proc/26901/task/26960/stat : 26960 (java) S 26898 26901 8289 0 -1 1077944384 22975 12652 0 0 1203 6 4 3 20 0 15 0 112172844 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992618223856 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26961] ppid=26898 vsize=14071612 memory=1436 CPUtime=12.22 cores=1,3,5,7
/proc/26901/task/26961/stat : 26961 (java) S 26898 26901 8289 0 -1 1077944384 25290 12652 0 0 1210 5 4 3 20 0 15 0 112172844 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992617171312 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26962] ppid=26898 vsize=14071612 memory=1252680 CPUtime=4.21 cores=1,3,5,7
/proc/26901/task/26962/stat : 26962 (java) S 26898 26901 8289 0 -1 1077944384 23732 12652 0 0 408 6 4 3 20 0 15 0 112172844 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992616118256 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26963] ppid=26898 vsize=14071612 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26963/stat : 26963 (java) S 26898 26901 8289 0 -1 1077944384 3 12652 0 0 0 0 4 3 20 0 15 0 112172844 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992615065952 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26964] ppid=26898 vsize=14071612 memory=1228556 CPUtime=0.18 cores=1,3,5,7
/proc/26901/task/26964/stat : 26964 (java) S 26898 26901 8289 0 -1 1077944384 447 12652 0 0 5 6 4 3 20 0 15 0 112172849 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992614014000 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1206496 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+218.936 s]
# the end of solver process 26901 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.812 s, system=1.26577 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+218.901 s]
/proc/loadavg: 1.79 1.87 1.92 5/215 27099
/proc/meminfo: memFree=28730896/32770624 swapFree=67108860/67108860
[pid=26901] ppid=26898 vsize=14071612 memory=1206496 CPUtime=252.02 cores=1,3,5,7
/proc/26901/stat : 26901 (java) S 26898 26901 8289 0 -1 1077944320 156979 12652 0 0 25074 121 4 3 20 0 15 0 112172817 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 140729158607504 139993143975671 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
/proc/26901/statm: 3517903 301624 3492 1 0 3506517 0
[pid=26901/tid=26951] ppid=26898 vsize=14071612 memory=1208548 CPUtime=216.69 cores=1,3,5,7
/proc/26901/task/26951/stat : 26951 (java) R 26898 26901 8289 0 -1 4202560 61768 12652 0 0 21633 29 4 3 20 0 15 0 112172839 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139993148209216 139992734794471 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26952] ppid=26898 vsize=14071612 memory=0 CPUtime=1.68 cores=1,3,5,7
/proc/26901/task/26952/stat : 26952 (java) S 26898 26901 8289 0 -1 1077944384 4461 12652 0 0 145 16 4 3 20 0 15 0 112172839 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139993063389712 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26953] ppid=26898 vsize=14071612 memory=1237276 CPUtime=1.7 cores=1,3,5,7
/proc/26901/task/26953/stat : 26953 (java) S 26898 26901 8289 0 -1 1077944384 1071 12652 0 0 147 16 4 3 20 0 15 0 112172839 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139993062337168 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26954] ppid=26898 vsize=14071612 memory=1208548 CPUtime=1.66 cores=1,3,5,7
/proc/26901/task/26954/stat : 26954 (java) S 26898 26901 8289 0 -1 1077944384 2337 12652 0 0 143 16 4 3 20 0 15 0 112172839 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139993061284112 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26955] ppid=26898 vsize=14071612 memory=1218296 CPUtime=1.71 cores=1,3,5,7
/proc/26901/task/26955/stat : 26955 (java) S 26898 26901 8289 0 -1 1077944384 3348 12652 0 0 148 16 4 3 20 0 15 0 112172839 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139993060231568 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26956] ppid=26898 vsize=14071612 memory=1243980 CPUtime=0.34 cores=1,3,5,7
/proc/26901/task/26956/stat : 26956 (java) S 26898 26901 8289 0 -1 1077944384 9263 12652 0 0 24 3 4 3 20 0 15 0 112172841 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992622435056 139993143986818 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26957] ppid=26898 vsize=14071612 memory=1208548 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26957/stat : 26957 (java) S 26898 26901 8289 0 -1 1077944384 83 12652 0 0 0 0 4 3 20 0 15 0 112172841 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992621381344 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26958] ppid=26898 vsize=14071612 memory=1208548 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26958/stat : 26958 (java) S 26898 26901 8289 0 -1 1077944384 45 12652 0 0 0 0 4 3 20 0 15 0 112172841 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992620328192 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26959] ppid=26898 vsize=14071612 memory=256233453965926 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26959/stat : 26959 (java) S 26898 26901 8289 0 -1 1077944384 3 12652 0 0 0 0 4 3 20 0 15 0 112172844 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992619276752 139993143994267 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26960] ppid=26898 vsize=14071612 memory=2012 CPUtime=12.16 cores=1,3,5,7
/proc/26901/task/26960/stat : 26960 (java) S 26898 26901 8289 0 -1 1077944384 22975 12652 0 0 1203 6 4 3 20 0 15 0 112172844 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992618223856 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26961] ppid=26898 vsize=14071612 memory=1436 CPUtime=12.22 cores=1,3,5,7
/proc/26901/task/26961/stat : 26961 (java) S 26898 26901 8289 0 -1 1077944384 25290 12652 0 0 1210 5 4 3 20 0 15 0 112172844 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992617171312 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26962] ppid=26898 vsize=14071612 memory=1252680 CPUtime=4.21 cores=1,3,5,7
/proc/26901/task/26962/stat : 26962 (java) S 26898 26901 8289 0 -1 1077944384 23732 12652 0 0 408 6 4 3 20 0 15 0 112172844 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992616118256 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26963] ppid=26898 vsize=14071612 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/26901/task/26963/stat : 26963 (java) S 26898 26901 8289 0 -1 1077944384 3 12652 0 0 0 0 4 3 20 0 15 0 112172844 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992615065952 139993143985877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
[pid=26901/tid=26964] ppid=26898 vsize=14071612 memory=1228556 CPUtime=0.18 cores=1,3,5,7
/proc/26901/task/26964/stat : 26964 (java) S 26898 26901 8289 0 -1 1077944384 447 12652 0 0 5 6 4 3 20 0 15 0 112172849 14409330688 301624 18446744073709551615 4194304 4196468 140729158624960 139992614014000 139993143986818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729158629296 140729158632081 140729158632081 140729158635471 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1206496 KiB
Child status: 143
Real time (s): 218.936
CPU time (s): 252.078
CPU user time (s): 250.812
CPU system time (s): 1.26577
CPU usage (%): 115.138
Max. virtual memory (cumulated for all children) (KiB): 14071612
Max. memory (cumulated for all children) (KiB): 1647232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.812
system time used= 1.26577
maximum resident set size= 1647232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170784
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23587
involuntary context switches= 543
# summary of solver processes directly reported to runsolver:
# pid: 26901
# total CPU time (s): 252.078
# total CPU user time (s): 250.812
# total CPU system time (s): 1.26577
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3225 second user time and 2.09244 second system time
The end
Begin job on node133 at 2017-08-13 18:45:28 IDJOB=4259813 IDBENCH=115904 IDSOLVER=2646 FILE ID=node133/4259813-1502643576 RUNJOBID= node133-1502641620-25474 PBS_JOBID= Free space on /tmp= 62008 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-4259813-1502643576/watcher-4259813-1502643576 -o /tmp/evaluation-result-4259813-1502643576/solver-4259813-1502643576 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259813-1502643576.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f7605bb50abdbd05cc6d9fedf17196d1 RANDOM SEED=1775537816 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29904080 kB MemAvailable: 30539200 kB Buffers: 236012 kB Cached: 694572 kB SwapCached: 0 kB Active: 2234996 kB Inactive: 182328 kB Active(anon): 1427972 kB Inactive(anon): 100820 kB Active(file): 807024 kB Inactive(file): 81508 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24156 kB Writeback: 4 kB AnonPages: 1487004 kB Mapped: 69672 kB Shmem: 41660 kB Slab: 152416 kB SReclaimable: 124848 kB SUnreclaim: 27568 kB KernelStack: 3520 kB PageTables: 7496 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2542216 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1265664 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61984 MiB End job on node133 at 2017-08-13 18:49:08