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) | 352 | 2520.1201 | 2467.5601 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml |
| MD5SUM | f7605bb50abdbd05cc6d9fedf17196d1 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 398 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1831 |
| Number of constraints | 1072 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1801 |
| Distribution of domain sizes | [{"size":2,"count":900},{"size":3,"count":900},{"size":785,"count":1},{"size":1801,"count":30}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":897},{"degree":3,"count":33},{"degree":4,"count":112},{"degree":8,"count":108},{"degree":9,"count":676},{"degree":31,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":2,"count":142},{"arity":3,"count":112},{"arity":10,"count":784},{"arity":30,"count":4},{"arity":31,"count":1},{"arity":32,"count":29}] |
| Number of extensional constraints | 896 |
| Number of intensional constraints | 141 |
| Distribution of constraint types | [{"type":"extension","count":896},{"type":"intension","count":141},{"type":"sum","count":31},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
3.19/2.19 c Concrete v3.4 running
15.49/6.37 % 04:34:09.358 [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 1697976702, 3 edges, 4 vertices, 1 tuples
15.80/6.40 % 04:34:09.381 [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 989321301, 3 edges, 4 vertices, 1 tuples
15.80/6.40 % 04:34:09.383 [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 1697976702, 3 edges, 4 vertices, 1 tuples
15.80/6.41 % 04:34:09.397 [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 989321301, 3 edges, 4 vertices, 1 tuples
15.80/6.41 % 04:34:09.398 [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 117911771, 3 edges, 4 vertices, 1 tuples
15.80/6.43 % 04:34:09.410 [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 987255094, 3 edges, 4 vertices, 1 tuples
15.80/6.43 % 04:34:09.412 [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 117911771, 3 edges, 4 vertices, 1 tuples
15.80/6.44 % 04:34:09.425 [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 987255094, 3 edges, 4 vertices, 1 tuples
15.80/6.44 % 04:34:09.427 [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.80/6.45 % 04:34:09.432 [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.80/6.45 % 04:34:09.432 [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.80/6.45 % 04:34:09.436 [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.80/6.45 % 04:34:09.437 [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.80/6.46 % 04:34:09.442 [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.80/6.46 % 04:34:09.442 [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.80/6.46 % 04:34:09.447 [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
26.94/10.41 o 42
27.20/10.56 o 49
27.48/10.68 o 50
27.84/10.87 o 51
28.40/11.08 o 52
28.99/11.26 o 53
29.29/11.37 o 54
29.88/11.51 o 55
30.04/11.66 o 56
30.19/11.75 o 57
30.30/11.86 o 58
30.42/11.98 o 59
30.58/12.08 o 60
30.69/12.18 o 61
30.79/12.30 o 62
31.05/12.48 o 63
31.26/12.61 o 64
31.39/12.73 o 65
31.54/12.89 o 66
31.76/13.01 o 67
31.90/13.12 o 68
32.00/13.24 o 69
32.12/13.36 o 70
32.22/13.48 o 71
32.45/13.60 o 72
32.55/13.72 o 73
32.68/13.89 o 74
32.81/13.99 o 75
33.00/14.17 o 76
33.27/14.31 o 77
33.39/14.42 o 78
33.49/14.53 o 79
33.59/14.65 o 80
33.70/14.75 o 81
33.80/14.87 o 82
34.03/15.00 o 83
34.13/15.12 o 84
34.25/15.23 o 85
34.35/15.32 o 86
34.57/15.51 o 87
34.67/15.62 o 88
34.80/15.77 o 89
34.92/15.88 o 90
35.19/16.01 o 91
35.36/16.15 o 92
35.50/16.26 o 93
35.63/16.38 o 94
35.86/16.52 o 95
36.18/16.82 o 96
36.28/16.96 o 97
36.41/17.07 o 98
36.51/17.19 o 99
36.72/17.31 o 100
36.82/17.46 o 101
37.09/17.66 o 102
37.31/17.88 o 103
37.52/18.00 o 104
37.62/18.12 o 105
37.72/18.25 o 106
37.83/18.39 o 107
38.06/18.52 o 108
38.16/18.65 o 109
38.39/18.86 o 110
38.49/18.99 o 111
38.75/19.12 o 112
38.87/19.25 o 113
38.97/19.37 o 114
39.25/19.52 o 115
39.35/19.64 o 116
39.46/19.76 o 117
39.58/19.89 o 118
39.80/20.02 o 119
39.90/20.18 o 120
40.24/20.40 o 121
40.34/20.55 o 122
40.46/20.69 o 123
40.70/20.81 o 124
40.80/20.93 o 125
41.22/21.11 o 126
41.52/21.24 o 127
41.63/21.37 o 128
41.86/21.52 o 129
41.97/21.65 o 130
42.08/21.80 o 131
42.46/22.02 o 132
42.58/22.16 o 133
42.82/22.36 o 134
43.09/22.57 o 135
43.19/22.67 o 136
43.42/22.81 o 137
43.52/22.93 o 138
43.64/23.04 o 139
43.75/23.19 o 140
43.87/23.29 o 141
44.07/23.41 o 142
44.17/23.53 o 143
44.38/23.74 o 144
44.49/23.88 o 145
44.70/24.02 o 146
44.80/24.18 o 147
45.20/24.41 o 148
45.40/24.63 o 149
45.50/24.76 o 150
45.83/25.06 o 151
45.93/25.18 o 152
46.16/25.32 o 153
46.28/25.46 o 154
46.38/25.59 o 155
46.59/25.71 o 156
46.69/25.84 o 157
46.92/26.07 o 158
47.13/26.23 o 159
47.23/26.37 o 160
47.46/26.51 o 161
47.58/26.66 o 162
47.83/26.88 o 163
47.95/26.99 o 164
48.15/27.10 o 165
48.27/27.22 o 166
48.37/27.33 o 167
48.48/27.46 o 168
48.70/27.64 o 169
48.82/27.78 o 170
49.04/27.92 o 171
49.14/28.06 o 172
49.42/28.20 o 173
49.55/28.31 o 174
49.65/28.43 o 175
49.88/28.63 o 176
49.98/28.76 o 177
50.98/29.23 o 178
51.19/29.34 o 179
51.35/29.45 o 180
51.61/29.68 o 181
51.71/29.80 o 182
51.97/29.92 o 183
52.17/30.15 o 184
52.30/30.28 o 185
52.63/30.51 o 186
52.73/30.66 o 187
52.85/30.78 o 188
53.29/31.14 o 189
53.50/31.36 o 190
53.61/31.48 o 191
53.71/31.59 o 192
54.03/31.86 o 193
54.16/31.99 o 194
54.36/32.14 o 195
54.47/32.28 o 196
54.74/32.43 o 197
54.85/32.57 o 198
55.06/32.70 o 199
55.28/32.90 o 200
55.50/33.13 o 201
55.81/33.47 o 202
56.04/33.61 o 203
56.15/33.76 o 204
56.25/33.88 o 205
56.46/34.07 o 206
56.69/34.23 o 207
57.32/34.85 o 208
57.42/34.99 o 209
57.63/35.13 o 210
57.75/35.27 o 211
57.99/35.40 o 212
58.11/35.53 o 213
58.31/35.76 o 214
58.42/35.88 o 215
58.63/36.04 o 216
58.73/36.18 o 217
59.38/36.73 o 218
59.48/36.88 o 219
59.70/37.02 o 220
59.83/37.17 o 221
60.05/37.31 o 222
60.16/37.45 o 223
60.28/37.59 o 224
60.47/37.72 o 225
60.80/38.04 o 226
61.01/38.29 o 227
61.24/38.43 o 228
61.72/38.81 o 229
62.24/39.36 o 230
62.47/39.50 o 231
62.57/39.63 o 232
62.69/39.78 o 233
62.92/39.92 o 234
63.02/40.06 o 235
63.36/40.32 o 236
63.46/40.46 o 237
63.67/40.69 o 238
63.90/40.84 o 239
64.17/41.09 o 240
64.50/41.33 o 241
64.60/41.48 o 242
64.83/41.63 o 243
64.93/41.77 o 244
65.41/42.19 o 245
65.62/42.32 o 246
66.80/43.40 o 247
67.14/43.76 o 248
67.56/44.19 o 249
67.77/44.34 o 250
68.21/44.75 o 251
68.44/44.91 o 252
68.79/45.24 o 253
69.89/46.20 o 254
70.01/46.36 o 255
70.22/46.51 o 256
70.32/46.65 o 257
70.75/47.09 o 258
71.40/47.69 o 259
71.62/47.83 o 260
71.84/48.02 o 261
72.79/48.72 o 262
72.89/48.84 o 263
73.02/48.99 o 264
73.22/49.14 o 265
73.79/49.67 o 266
74.10/49.99 o 267
74.69/50.40 o 268
75.01/50.72 o 269
75.54/51.27 o 270
75.76/51.40 o 271
75.87/51.55 o 272
76.51/52.17 o 273
77.17/52.76 o 274
77.59/53.17 o 275
78.80/54.22 o 276
78.92/54.37 o 277
79.14/54.53 o 278
79.35/54.75 o 279
79.70/55.02 o 280
79.80/55.15 o 281
80.77/56.04 o 282
80.98/56.28 o 283
81.30/56.54 o 284
81.53/56.77 o 285
81.64/56.89 o 286
82.13/57.30 o 287
82.78/57.83 o 288
83.20/58.20 o 289
83.43/58.45 o 290
83.87/58.81 o 291
83.97/58.96 o 292
84.19/59.18 o 293
88.32/63.01 o 294
88.84/63.51 o 295
89.06/63.79 o 296
89.28/63.94 o 297
90.08/64.69 o 298
90.43/64.99 o 299
91.49/65.98 o 300
91.71/66.15 o 301
92.25/66.64 o 302
92.70/67.05 o 303
93.98/68.29 o 304
94.20/68.44 o 305
94.54/68.74 o 306
94.68/68.88 o 307
94.91/69.04 o 308
95.45/69.58 o 309
96.52/70.57 o 310
97.25/71.20 o 311
97.58/71.58 o 312
98.22/72.16 o 313
99.44/73.26 o 314
101.11/74.85 o 315
101.33/75.05 o 316
101.54/75.21 o 317
101.88/75.52 o 318
102.21/75.87 o 319
102.56/76.15 o 320
103.45/76.95 o 321
104.19/77.65 o 322
104.42/77.86 o 323
104.52/77.99 o 324
104.96/78.32 o 325
105.18/78.59 o 326
105.41/78.73 o 327
105.63/78.97 o 328
106.48/79.70 o 329
107.17/80.35 o 330
107.68/80.87 o 331
109.80/82.83 o 332
110.10/83.18 o 333
110.68/83.69 o 334
111.10/84.07 o 335
112.46/85.37 o 336
113.10/85.95 o 337
114.79/87.56 o 338
114.92/87.70 o 339
115.23/87.93 o 340
116.29/88.90 o 341
124.88/97.02 o 342
124.98/97.17 o 343
156.54/126.43 o 344
192.59/160.45 o 345
199.75/167.23 o 346
334.78/298.56 o 347
656.74/613.24 o 348
1451.08/1402.88 o 349
1729.63/1679.99 o 350
1730.23/1680.57 o 351
2026.90/1976.02 o 352
2520.03/2467.50 java.util.concurrent.TimeoutException
2520.03/2467.50 at concrete.MAC.mac(MAC.scala:74)
2520.03/2467.50 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.03/2467.50 at scala.util.Try$.apply(Try.scala:209)
2520.03/2467.50 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.03/2467.50 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.03/2467.50 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.03/2467.50 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.03/2467.50 at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.03/2467.50 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.03/2467.50 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.03/2467.50 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.03/2467.50 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.03/2467.50 at concrete.MAC.oneRun(MAC.scala:146)
2520.03/2467.51 at concrete.MAC.nextSolution(MAC.scala:166)
2520.03/2467.51 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.03/2467.51 at concrete.ProblemState.map(ProblemState.scala:203)
2520.03/2467.51 at concrete.ProblemState.map(ProblemState.scala:188)
2520.03/2467.51 at concrete.MAC.nextSolution(MAC.scala:195)
2520.03/2467.51 at concrete.Solver.hasNext(Solver.scala:202)
2520.03/2467.51 at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.03/2467.51 at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.03/2467.51 at concrete.Solver.toStream(Solver.scala:73)
2520.03/2467.51 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.03/2467.51 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.03/2467.51 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.03/2467.51 at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.03/2467.51 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.03/2467.51 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.03/2467.51 at scala.util.Success.map(Try.scala:209)
2520.03/2467.51 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.03/2467.51 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.03/2467.51 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.03/2467.51 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.03/2467.51 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.03/2467.51 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.03/2467.51 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.03/2467.51 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.03/2467.51 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.03/2467.51 at scala.collection.immutable.List.foreach(List.scala:389)
2520.03/2467.51 at scala.App.main(App.scala:76)
2520.03/2467.51 at scala.App.main$(App.scala:74)
2520.03/2467.51 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.03/2467.51 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2467.51 v <instantiation cost="352">
2520.03/2467.51 v <list>
2520.03/2467.51 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
2520.03/2467.51 v </list>
2520.03/2467.51 v <values>
2520.03/2467.51 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 1 1 1 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 1 1 1 2 0 1 1 0 2 0 1 1 0 2 0 0 0 0 0 1 1 0 1 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 2 1 1 2 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 2 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 1 1 2 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 2 2 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 2 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 2 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 1 1 2 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 2 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 2 1 1 2 2 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 16 35 42 45 57 69 78 83 91 96 101 107 117 128 141 151 160 169 179 188 196 203 208 212 214 221 230 237 256 272 352
2520.03/2467.51 v </values>
2520.03/2467.51 v </instantiation>
2520.03/2467.51 s SATISFIABLE
OK 352
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262182-1502419690/watcher-4262182-1502419690 -o /tmp/evaluation-result-4262182-1502419690/solver-4262182-1502419690 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4884 --watchdog 2580 bin/concrete HOME/instance-4262182-1502419690.xml pid=6268 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.57 1.36 1.36 2/198 6271 /proc/meminfo: memFree=30191132/32770624 swapFree=0/424552 [pid=6271] ppid=6268 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/6271/stat : 6271 (runsolver) D 6268 6271 4821 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 89784213 24240128 106 18446744073709551615 4194304 4338465 140733789898832 140733789896472 140437739504343 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 36999168 140733789905105 140733789905481 140733789905481 140733789908938 0 /proc/6271/statm: 5918 106 53 36 0 2156 0 [startup+0.100199 s] /proc/loadavg: 1.57 1.36 1.36 2/198 6271 /proc/meminfo: memFree=30191132/32770624 swapFree=0/424552 [pid=6271] ppid=6268 vsize=9636 CPUtime=0.01 cores=0,2,4,6 /proc/6271/stat : 6271 (bash) S 6268 6271 4821 0 -1 4202496 892 6486 0 0 0 0 0 1 20 0 1 0 89784213 9867264 377 18446744073709551615 4194304 5098028 140736593182592 140736593176600 140463192640512 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 5 0 0 7196144 7232144 16183296 140736593191444 140736593191529 140736593191529 140736593194986 0 /proc/6271/statm: 2409 377 296 221 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9636 [startup+0.200381 s] /proc/loadavg: 1.57 1.36 1.36 2/198 6271 /proc/meminfo: memFree=30191132/32770624 swapFree=0/424552 [pid=6271] ppid=6268 vsize=13358716 CPUtime=0.1 cores=0,2,4,6 /proc/6271/stat : 6271 (java) S 6268 6271 4821 0 -1 1077944320 4308 12367 0 0 1 1 5 3 20 0 6 0 89784213 13679325184 4106 18446744073709551615 4194304 4196468 140732368993328 140732368975872 139970413883127 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 /proc/6271/statm: 3339679 4106 1904 1 0 3329176 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13358716 [startup+0.300242 s] /proc/loadavg: 1.57 1.36 1.36 2/198 6271 /proc/meminfo: memFree=30191132/32770624 swapFree=0/424552 [pid=6271] ppid=6268 vsize=13907308 CPUtime=0.14 cores=0,2,4,6 /proc/6271/stat : 6271 (java) S 6268 6271 4821 0 -1 1077944320 5568 12367 0 0 5 1 5 3 20 0 14 0 89784213 14241083392 5247 18446744073709551615 4194304 4196468 140732368993328 140732368975872 139970413883127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 /proc/6271/statm: 3476827 5247 2572 1 0 3466324 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 13907308 [startup+0.700222 s] /proc/loadavg: 1.57 1.36 1.36 2/198 6271 /proc/meminfo: memFree=30191132/32770624 swapFree=0/424552 [pid=6271] ppid=6268 vsize=13974784 CPUtime=0.7 cores=0,2,4,6 /proc/6271/stat : 6271 (java) S 6268 6271 4821 0 -1 1077944320 13956 12367 0 0 58 4 5 3 20 0 15 0 89784213 14310178816 14895 18446744073709551615 4194304 4196468 140732368993328 140732368975872 139970413883127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 /proc/6271/statm: 3493696 14895 3124 1 0 3482965 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 13974784 [startup+1.50161 s] /proc/loadavg: 1.57 1.36 1.36 3/213 6334 /proc/meminfo: memFree=30094924/32770624 swapFree=0/424816 [pid=6271] ppid=6268 vsize=13985408 CPUtime=1.92 cores=0,2,4,6 /proc/6271/stat : 6271 (java) S 6268 6271 4821 0 -1 1077944320 29531 12367 0 0 175 9 5 3 20 0 15 0 89784213 14321057792 42758 18446744073709551615 4194304 4196468 140732368993328 140732368975872 139970413883127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 /proc/6271/statm: 3496352 42758 3372 1 0 3485525 0 [pid=6271/tid=6321] ppid=6268 vsize=13985408 CPUtime=1.29 cores=0,2,4,6 /proc/6271/task/6321/stat : 6321 (java) S 6268 6271 4821 0 -1 1077944384 22383 12367 0 0 116 5 5 3 20 0 15 0 89784231 14321057792 42758 18446744073709551615 4194304 4196468 140732368993328 139970418101536 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6322] ppid=6268 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6322/stat : 6322 (java) S 6268 6271 4821 0 -1 1077944384 201 12367 0 0 0 0 5 3 20 0 15 0 89784232 14321057792 42758 18446744073709551615 4194304 4196468 140732368993328 139970370849040 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6323] ppid=6268 vsize=13985408 CPUtime=0.09 cores=0,2,4,6 /proc/6271/task/6323/stat : 6323 (java) S 6268 6271 4821 0 -1 1077944384 59 12367 0 0 1 0 5 3 20 0 15 0 89784232 14321057792 42758 18446744073709551615 4194304 4196468 140732368993328 139970369796496 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6324] ppid=6268 vsize=13985408 CPUtime=0.09 cores=0,2,4,6 /proc/6271/task/6324/stat : 6324 (java) S 6268 6271 4821 0 -1 1077944384 38 12367 0 0 1 0 5 3 20 0 15 0 89784232 14321057792 42758 18446744073709551615 4194304 4196468 140732368993328 139970368743952 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6325] ppid=6268 vsize=13985408 CPUtime=0.09 cores=0,2,4,6 /proc/6271/task/6325/stat : 6325 (java) R 6268 6271 4821 0 -1 1077944384 56 12367 0 0 1 0 5 3 20 0 15 0 89784232 14321057792 42758 18446744073709551615 4194304 4196468 140732368993328 139970010606240 139970413893333 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6326] ppid=6268 vsize=13985408 CPUtime=0.09 cores=0,2,4,6 /proc/6271/task/6326/stat : 6326 (java) S 6268 6271 4821 0 -1 1077944384 1485 12367 0 0 1 0 5 3 20 0 15 0 89784233 14321057792 42758 18446744073709551615 4194304 4196468 140732368993328 139969891898400 139970413893333 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6327] ppid=6268 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6327/stat : 6327 (java) S 6268 6271 4821 0 -1 1077944384 33 12367 0 0 0 0 5 3 20 0 15 0 89784234 14321057792 42758 18446744073709551615 4194304 4196468 140732368993328 139969890846112 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6328] ppid=6268 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6328/stat : 6328 (java) S 6268 6271 4821 0 -1 1077944384 21 12367 0 0 0 0 5 3 20 0 15 0 89784234 14321057792 42758 18446744073709551615 4194304 4196468 140732368993328 139969889793520 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6329] ppid=6268 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6329/stat : 6329 (java) S 6268 6271 4821 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 89784236 14321057792 42758 18446744073709551615 4194304 4196468 140732368993328 139969888742096 139970413901723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6330] ppid=6268 vsize=13985408 CPUtime=0.24 cores=0,2,4,6 /proc/6271/task/6330/stat : 6330 (java) S 6268 6271 4821 0 -1 1077944384 1011 12367 0 0 16 0 5 3 20 0 15 0 89784236 14321057792 42758 18446744073709551615 4194304 4196468 140732368993328 139969887688688 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6331] ppid=6268 vsize=13985408 CPUtime=0.21 cores=0,2,4,6 /proc/6271/task/6331/stat : 6331 (java) S 6268 6271 4821 0 -1 1077944384 680 12367 0 0 13 0 5 3 20 0 15 0 89784237 14321057792 42758 18446744073709551615 4194304 4196468 140732368993328 139969886636144 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6332] ppid=6268 vsize=13985408 CPUtime=0.3 cores=0,2,4,6 /proc/6271/task/6332/stat : 6332 (java) S 6268 6271 4821 0 -1 1077944384 1396 12367 0 0 22 0 5 3 20 0 15 0 89784237 14321057792 42758 18446744073709551615 4194304 4196468 140732368993328 139969885578976 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6333] ppid=6268 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6333/stat : 6333 (java) S 6268 6271 4821 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 89784237 14321057792 42758 18446744073709551615 4194304 4196468 140732368993328 139969884531296 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6334] ppid=6268 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6334/stat : 6334 (java) S 6268 6271 4821 0 -1 1077944384 10 12367 0 0 0 0 5 3 20 0 15 0 89784243 14321057792 42758 18446744073709551615 4194304 4196468 140732368993328 139969883478832 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 Current children cumulated CPU time (s) 1.92 Current children cumulated vsize (KiB) 13985408 [startup+3.10062 s] /proc/loadavg: 1.57 1.36 1.36 4/213 6334 /proc/meminfo: memFree=29895412/32770624 swapFree=0/424816 [pid=6271] ppid=6268 vsize=13997884 CPUtime=5.72 cores=0,2,4,6 /proc/6271/stat : 6271 (java) S 6268 6271 4821 0 -1 1077944320 49621 12367 0 0 550 14 5 3 20 0 15 0 89784213 14333833216 56235 18446744073709551615 4194304 4196468 140732368993328 140732368975872 139970413883127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 /proc/6271/statm: 3499471 56235 3448 1 0 3488085 0 [pid=6271/tid=6321] ppid=6268 vsize=13997884 CPUtime=2.88 cores=0,2,4,6 /proc/6271/task/6321/stat : 6321 (java) R 6268 6271 4821 0 -1 4202560 34840 12367 0 0 272 8 5 3 20 0 15 0 89784231 14333833216 56235 18446744073709551615 4194304 4196468 140732368993328 139970418114384 139970394159008 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6322] ppid=6268 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6322/stat : 6322 (java) S 6268 6271 4821 0 -1 1077944384 201 12367 0 0 0 0 5 3 20 0 15 0 89784232 14333833216 56235 18446744073709551615 4194304 4196468 140732368993328 139970370849040 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6323] ppid=6268 vsize=13997884 CPUtime=0.09 cores=0,2,4,6 /proc/6271/task/6323/stat : 6323 (java) S 6268 6271 4821 0 -1 1077944384 59 12367 0 0 1 0 5 3 20 0 15 0 89784232 14333833216 56235 18446744073709551615 4194304 4196468 140732368993328 139970369796496 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6324] ppid=6268 vsize=13997884 CPUtime=0.09 cores=0,2,4,6 /proc/6271/task/6324/stat : 6324 (java) S 6268 6271 4821 0 -1 1077944384 38 12367 0 0 1 0 5 3 20 0 15 0 89784232 14333833216 56235 18446744073709551615 4194304 4196468 140732368993328 139970368743952 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6325] ppid=6268 vsize=13997884 CPUtime=0.09 cores=0,2,4,6 /proc/6271/task/6325/stat : 6325 (java) S 6268 6271 4821 0 -1 1077944384 56 12367 0 0 1 0 5 3 20 0 15 0 89784232 14333833216 56235 18446744073709551615 4194304 4196468 140732368993328 139970010606224 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6326] ppid=6268 vsize=13997884 CPUtime=0.09 cores=0,2,4,6 /proc/6271/task/6326/stat : 6326 (java) S 6268 6271 4821 0 -1 1077944384 1700 12367 0 0 1 0 5 3 20 0 15 0 89784233 14333833216 56235 18446744073709551615 4194304 4196468 140732368993328 139969891899888 139970413894274 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6327] ppid=6268 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6327/stat : 6327 (java) S 6268 6271 4821 0 -1 1077944384 56 12367 0 0 0 0 5 3 20 0 15 0 89784234 14333833216 56235 18446744073709551615 4194304 4196468 140732368993328 139969890846112 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6328] ppid=6268 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6328/stat : 6328 (java) S 6268 6271 4821 0 -1 1077944384 44 12367 0 0 0 0 5 3 20 0 15 0 89784234 14333833216 56235 18446744073709551615 4194304 4196468 140732368993328 139969889793536 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6329] ppid=6268 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6329/stat : 6329 (java) S 6268 6271 4821 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 89784236 14333833216 56235 18446744073709551615 4194304 4196468 140732368993328 139969888742096 139970413901723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6330] ppid=6268 vsize=13997884 CPUtime=0.89 cores=0,2,4,6 /proc/6271/task/6330/stat : 6330 (java) S 6268 6271 4821 0 -1 1077944384 2446 12367 0 0 81 0 5 3 20 0 15 0 89784236 14333833216 56235 18446744073709551615 4194304 4196468 140732368993328 139969887688688 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6331] ppid=6268 vsize=13997884 CPUtime=1 cores=0,2,4,6 /proc/6271/task/6331/stat : 6331 (java) S 6268 6271 4821 0 -1 1077944384 3994 12367 0 0 91 1 5 3 20 0 15 0 89784237 14333833216 56235 18446744073709551615 4194304 4196468 140732368993328 139969886636144 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6332] ppid=6268 vsize=13997884 CPUtime=1.07 cores=0,2,4,6 /proc/6271/task/6332/stat : 6332 (java) S 6268 6271 4821 0 -1 1077944384 4017 12367 0 0 98 1 5 3 20 0 15 0 89784237 14333833216 56235 18446744073709551615 4194304 4196468 140732368993328 139969885583600 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6333] ppid=6268 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6333/stat : 6333 (java) S 6268 6271 4821 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 89784237 14333833216 56235 18446744073709551615 4194304 4196468 140732368993328 139969884531296 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6334] ppid=6268 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6334/stat : 6334 (java) S 6268 6271 4821 0 -1 1077944384 12 12367 0 0 0 0 5 3 20 0 15 0 89784243 14333833216 56235 18446744073709551615 4194304 4196468 140732368993328 139969883478832 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 Current children cumulated CPU time (s) 5.72 Current children cumulated vsize (KiB) 13997884 [startup+6.30155 s] /proc/loadavg: 1.68 1.39 1.36 6/213 6334 /proc/meminfo: memFree=29689468/32770624 swapFree=0/424816 [pid=6271] ppid=6268 vsize=14001980 CPUtime=15.49 cores=0,2,4,6 /proc/6271/stat : 6271 (java) S 6268 6271 4821 0 -1 1077944320 59607 12367 0 0 1517 24 5 3 20 0 15 0 89784213 14338027520 108566 18446744073709551615 4194304 4196468 140732368993328 140732368975872 139970413883127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 /proc/6271/statm: 3500495 108566 3462 1 0 3489109 0 [pid=6271/tid=6321] ppid=6268 vsize=14001980 CPUtime=5.99 cores=0,2,4,6 /proc/6271/task/6321/stat : 6321 (java) R 6268 6271 4821 0 -1 4202560 36118 12367 0 0 579 12 5 3 20 0 15 0 89784231 14338027520 108566 18446744073709551615 4194304 4196468 140732368993328 139970418116544 139970057701151 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6322] ppid=6268 vsize=14001980 CPUtime=0.13 cores=0,2,4,6 /proc/6271/task/6322/stat : 6322 (java) S 6268 6271 4821 0 -1 1077944384 250 12367 0 0 4 1 5 3 20 0 15 0 89784232 14338027520 108566 18446744073709551615 4194304 4196468 140732368993328 139970370849040 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6323] ppid=6268 vsize=14001980 CPUtime=0.12 cores=0,2,4,6 /proc/6271/task/6323/stat : 6323 (java) S 6268 6271 4821 0 -1 1077944384 115 12367 0 0 4 0 5 3 20 0 15 0 89784232 14338027520 108566 18446744073709551615 4194304 4196468 140732368993328 139970369796496 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6324] ppid=6268 vsize=14001980 CPUtime=0.13 cores=0,2,4,6 /proc/6271/task/6324/stat : 6324 (java) S 6268 6271 4821 0 -1 1077944384 64 12367 0 0 4 1 5 3 20 0 15 0 89784232 14338027520 108566 18446744073709551615 4194304 4196468 140732368993328 139970368743952 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6325] ppid=6268 vsize=14001980 CPUtime=0.12 cores=0,2,4,6 /proc/6271/task/6325/stat : 6325 (java) S 6268 6271 4821 0 -1 1077944384 74 12367 0 0 4 0 5 3 20 0 15 0 89784232 14338027520 108566 18446744073709551615 4194304 4196468 140732368993328 139970010606224 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6326] ppid=6268 vsize=14001980 CPUtime=0.12 cores=0,2,4,6 /proc/6271/task/6326/stat : 6326 (java) S 6268 6271 4821 0 -1 1077944384 2415 12367 0 0 4 0 5 3 20 0 15 0 89784233 14338027520 108566 18446744073709551615 4194304 4196468 140732368993328 139969891899888 139970413894274 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6327] ppid=6268 vsize=14001980 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6327/stat : 6327 (java) S 6268 6271 4821 0 -1 1077944384 56 12367 0 0 0 0 5 3 20 0 15 0 89784234 14338027520 108566 18446744073709551615 4194304 4196468 140732368993328 139969890846176 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6328] ppid=6268 vsize=14001980 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6328/stat : 6328 (java) S 6268 6271 4821 0 -1 1077944384 44 12367 0 0 0 0 5 3 20 0 15 0 89784234 14338027520 108566 18446744073709551615 4194304 4196468 140732368993328 139969889793536 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6329] ppid=6268 vsize=14001980 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6329/stat : 6329 (java) S 6268 6271 4821 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 89784236 14338027520 108566 18446744073709551615 4194304 4196468 140732368993328 139969888742096 139970413901723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6330] ppid=6268 vsize=14001980 CPUtime=3.75 cores=0,2,4,6 /proc/6271/task/6330/stat : 6330 (java) R 6268 6271 4821 0 -1 4202560 4873 12367 0 0 365 2 5 3 20 0 15 0 89784236 14338027520 108566 18446744073709551615 4194304 4196468 140732368993328 139969887669280 139970398804182 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6331] ppid=6268 vsize=14001980 CPUtime=3.83 cores=0,2,4,6 /proc/6271/task/6331/stat : 6331 (java) R 6268 6271 4821 0 -1 4202560 7211 12367 0 0 373 2 5 3 20 0 15 0 89784237 14338027520 108566 18446744073709551615 4194304 4196468 140732368993328 139969886617056 139970393726721 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6332] ppid=6268 vsize=14001980 CPUtime=1.84 cores=0,2,4,6 /proc/6271/task/6332/stat : 6332 (java) S 6268 6271 4821 0 -1 1077944384 6216 12367 0 0 174 2 5 3 20 0 15 0 89784237 14338027520 108566 18446744073709551615 4194304 4196468 140732368993328 139969885583600 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6333] ppid=6268 vsize=14001980 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6333/stat : 6333 (java) S 6268 6271 4821 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 89784237 14338027520 108566 18446744073709551615 4194304 4196468 140732368993328 139969884531296 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6334] ppid=6268 vsize=14001980 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6334/stat : 6334 (java) S 6268 6271 4821 0 -1 1077944384 13 12367 0 0 0 0 5 3 20 0 15 0 89784243 14338027520 108566 18446744073709551615 4194304 4196468 140732368993328 139969883478832 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 Current children cumulated CPU time (s) 15.49 Current children cumulated vsize (KiB) 14001980 [startup+12.7006 s] /proc/loadavg: 1.87 1.43 1.38 3/213 6334 /proc/meminfo: memFree=29217612/32770624 swapFree=0/424812 [pid=6271] ppid=6268 vsize=14071612 CPUtime=31.39 cores=0,2,4,6 /proc/6271/stat : 6271 (java) S 6268 6271 4821 0 -1 1077944320 90407 12367 0 0 3098 33 5 3 20 0 15 0 89784213 14409330688 171771 18446744073709551615 4194304 4196468 140732368993328 140732368975872 139970413883127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 /proc/6271/statm: 3517903 171771 3487 1 0 3506517 0 [pid=6271/tid=6321] ppid=6268 vsize=14071612 CPUtime=11.98 cores=0,2,4,6 /proc/6271/task/6321/stat : 6321 (java) R 6268 6271 4821 0 -1 4202560 44575 12367 0 0 1175 15 5 3 20 0 15 0 89784231 14409330688 171771 18446744073709551615 4194304 4196468 140732368993328 139970418114464 139970071127785 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6322] ppid=6268 vsize=14071612 CPUtime=0.36 cores=0,2,4,6 /proc/6271/task/6322/stat : 6322 (java) S 6268 6271 4821 0 -1 1077944384 399 12367 0 0 27 1 5 3 20 0 15 0 89784232 14409330688 171771 18446744073709551615 4194304 4196468 140732368993328 139970370849040 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6323] ppid=6268 vsize=14071612 CPUtime=0.36 cores=0,2,4,6 /proc/6271/task/6323/stat : 6323 (java) S 6268 6271 4821 0 -1 1077944384 773 12367 0 0 27 1 5 3 20 0 15 0 89784232 14409330688 171771 18446744073709551615 4194304 4196468 140732368993328 139970369796496 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6324] ppid=6268 vsize=14071612 CPUtime=0.37 cores=0,2,4,6 /proc/6271/task/6324/stat : 6324 (java) S 6268 6271 4821 0 -1 1077944384 260 12367 0 0 28 1 5 3 20 0 15 0 89784232 14409330688 171771 18446744073709551615 4194304 4196468 140732368993328 139970368743952 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6325] ppid=6268 vsize=14071612 CPUtime=0.36 cores=0,2,4,6 /proc/6271/task/6325/stat : 6325 (java) S 6268 6271 4821 0 -1 1077944384 607 12367 0 0 27 1 5 3 20 0 15 0 89784232 14409330688 171771 18446744073709551615 4194304 4196468 140732368993328 139970010606224 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6326] ppid=6268 vsize=14071612 CPUtime=0.24 cores=0,2,4,6 /proc/6271/task/6326/stat : 6326 (java) S 6268 6271 4821 0 -1 1077944384 6799 12367 0 0 16 0 5 3 20 0 15 0 89784233 14409330688 171771 18446744073709551615 4194304 4196468 140732368993328 139969891899888 139970413894274 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6327] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6327/stat : 6327 (java) S 6268 6271 4821 0 -1 1077944384 58 12367 0 0 0 0 5 3 20 0 15 0 89784234 14409330688 171771 18446744073709551615 4194304 4196468 140732368993328 139969890846176 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6328] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6328/stat : 6328 (java) S 6268 6271 4821 0 -1 1077944384 47 12367 0 0 0 0 5 3 20 0 15 0 89784234 14409330688 171771 18446744073709551615 4194304 4196468 140732368993328 139969889793536 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6329] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6329/stat : 6329 (java) S 6268 6271 4821 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 89784236 14409330688 171771 18446744073709551615 4194304 4196468 140732368993328 139969888742096 139970413901723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 ################ # More data... # ################ /proc/6271/task/6333/stat : 6333 (java) S 6268 6271 4821 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 89784237 14409330688 1091026 18446744073709551615 4194304 4196468 140732368993328 139969884531296 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6334] ppid=6268 vsize=14071612 CPUtime=1.32 cores=0,2,4,6 /proc/6271/task/6334/stat : 6334 (java) S 6268 6271 4821 0 -1 1077944384 1456 12367 0 0 60 64 5 3 20 0 15 0 89784243 14409330688 1091026 18446744073709551615 4194304 4196468 140732368993328 139969883478832 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 Current children cumulated CPU time (s) 2374.39 Current children cumulated vsize (KiB) 14071612 [startup+2382.3 s] /proc/loadavg: 1.80 1.85 1.78 3/213 6507 /proc/meminfo: memFree=22407152/32770624 swapFree=0/425072 [pid=6271] ppid=6268 vsize=14071612 CPUtime=2434.57 cores=0,2,4,6 /proc/6271/stat : 6271 (java) S 6268 6271 4821 0 -1 1077944320 667679 12367 0 0 243002 447 5 3 20 0 15 0 89784213 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 140732368975872 139970413883127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 /proc/6271/statm: 3517903 1090774 3499 1 0 3506517 0 [pid=6271/tid=6321] ppid=6268 vsize=14071612 CPUtime=2373.69 cores=0,2,4,6 /proc/6271/task/6321/stat : 6321 (java) R 6268 6271 4821 0 -1 4202560 424818 12367 0 0 237256 105 5 3 20 0 15 0 89784231 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970418117168 139970069770276 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6322] ppid=6268 vsize=14071612 CPUtime=7.02 cores=0,2,4,6 /proc/6271/task/6322/stat : 6322 (java) S 6268 6271 4821 0 -1 1077944384 16702 12367 0 0 629 65 5 3 20 0 15 0 89784232 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970370849040 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6323] ppid=6268 vsize=14071612 CPUtime=7.02 cores=0,2,4,6 /proc/6271/task/6323/stat : 6323 (java) S 6268 6271 4821 0 -1 1077944384 20785 12367 0 0 631 63 5 3 20 0 15 0 89784232 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970369796496 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6324] ppid=6268 vsize=14071612 CPUtime=7.05 cores=0,2,4,6 /proc/6271/task/6324/stat : 6324 (java) S 6268 6271 4821 0 -1 1077944384 25038 12367 0 0 635 62 5 3 20 0 15 0 89784232 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970368743952 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6325] ppid=6268 vsize=14071612 CPUtime=7.01 cores=0,2,4,6 /proc/6271/task/6325/stat : 6325 (java) S 6268 6271 4821 0 -1 1077944384 32806 12367 0 0 628 65 5 3 20 0 15 0 89784232 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970010606224 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6326] ppid=6268 vsize=14071612 CPUtime=1.18 cores=0,2,4,6 /proc/6271/task/6326/stat : 6326 (java) S 6268 6271 4821 0 -1 1077944384 35866 12367 0 0 94 16 5 3 20 0 15 0 89784233 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969891899888 139970413894274 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6327] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6327/stat : 6327 (java) S 6268 6271 4821 0 -1 1077944384 90 12367 0 0 0 0 5 3 20 0 15 0 89784234 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969890846176 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6328] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6328/stat : 6328 (java) S 6268 6271 4821 0 -1 1077944384 47 12367 0 0 0 0 5 3 20 0 15 0 89784234 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969889793536 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6329] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6329/stat : 6329 (java) S 6268 6271 4821 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 89784236 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969888742096 139970413901723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6330] ppid=6268 vsize=14071612 CPUtime=13.35 cores=0,2,4,6 /proc/6271/task/6330/stat : 6330 (java) S 6268 6271 4821 0 -1 1077944384 37561 12367 0 0 1321 6 5 3 20 0 15 0 89784236 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969887688688 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6331] ppid=6268 vsize=14071612 CPUtime=13.15 cores=0,2,4,6 /proc/6271/task/6331/stat : 6331 (java) S 6268 6271 4821 0 -1 1077944384 42418 12367 0 0 1301 6 5 3 20 0 15 0 89784237 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969886636144 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6332] ppid=6268 vsize=14071612 CPUtime=4.33 cores=0,2,4,6 /proc/6271/task/6332/stat : 6332 (java) S 6268 6271 4821 0 -1 1077944384 27915 12367 0 0 418 7 5 3 20 0 15 0 89784237 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969885583600 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6333] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6333/stat : 6333 (java) S 6268 6271 4821 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 89784237 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969884531296 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6334] ppid=6268 vsize=14071612 CPUtime=1.36 cores=0,2,4,6 /proc/6271/task/6334/stat : 6334 (java) S 6268 6271 4821 0 -1 1077944384 1475 12367 0 0 62 66 5 3 20 0 15 0 89784243 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969883478832 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 Current children cumulated CPU time (s) 2434.57 Current children cumulated vsize (KiB) 14071612 [startup+2442.3 s] /proc/loadavg: 1.50 1.77 1.76 5/214 6638 /proc/meminfo: memFree=26432896/32770624 swapFree=0/425128 [pid=6271] ppid=6268 vsize=14071612 CPUtime=2494.75 cores=0,2,4,6 /proc/6271/stat : 6271 (java) S 6268 6271 4821 0 -1 1077944320 684630 12367 0 0 249016 451 5 3 20 0 15 0 89784213 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 140732368975872 139970413883127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 /proc/6271/statm: 3517903 1090774 3499 1 0 3506517 0 [pid=6271/tid=6321] ppid=6268 vsize=14071612 CPUtime=2433.63 cores=0,2,4,6 /proc/6271/task/6321/stat : 6321 (java) R 6268 6271 4821 0 -1 4202560 438724 12367 0 0 243248 107 5 3 20 0 15 0 89784231 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970418117312 139970070087623 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6322] ppid=6268 vsize=14071612 CPUtime=7.07 cores=0,2,4,6 /proc/6271/task/6322/stat : 6322 (java) S 6268 6271 4821 0 -1 1077944384 18448 12367 0 0 634 65 5 3 20 0 15 0 89784232 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970370849040 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6323] ppid=6268 vsize=14071612 CPUtime=7.07 cores=0,2,4,6 /proc/6271/task/6323/stat : 6323 (java) S 6268 6271 4821 0 -1 1077944384 21048 12367 0 0 636 63 5 3 20 0 15 0 89784232 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970369796496 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6324] ppid=6268 vsize=14071612 CPUtime=7.1 cores=0,2,4,6 /proc/6271/task/6324/stat : 6324 (java) S 6268 6271 4821 0 -1 1077944384 25219 12367 0 0 640 62 5 3 20 0 15 0 89784232 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970368743952 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6325] ppid=6268 vsize=14071612 CPUtime=7.07 cores=0,2,4,6 /proc/6271/task/6325/stat : 6325 (java) S 6268 6271 4821 0 -1 1077944384 33276 12367 0 0 633 66 5 3 20 0 15 0 89784232 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970010606224 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6326] ppid=6268 vsize=14071612 CPUtime=1.19 cores=0,2,4,6 /proc/6271/task/6326/stat : 6326 (java) S 6268 6271 4821 0 -1 1077944384 36218 12367 0 0 95 16 5 3 20 0 15 0 89784233 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969891899888 139970413894274 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6327] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6327/stat : 6327 (java) S 6268 6271 4821 0 -1 1077944384 90 12367 0 0 0 0 5 3 20 0 15 0 89784234 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969890846176 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6328] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6328/stat : 6328 (java) S 6268 6271 4821 0 -1 1077944384 47 12367 0 0 0 0 5 3 20 0 15 0 89784234 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969889793536 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6329] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6329/stat : 6329 (java) S 6268 6271 4821 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 89784236 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969888742096 139970413901723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6330] ppid=6268 vsize=14071612 CPUtime=13.35 cores=0,2,4,6 /proc/6271/task/6330/stat : 6330 (java) S 6268 6271 4821 0 -1 1077944384 37565 12367 0 0 1321 6 5 3 20 0 15 0 89784236 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969887688688 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6331] ppid=6268 vsize=14071612 CPUtime=13.15 cores=0,2,4,6 /proc/6271/task/6331/stat : 6331 (java) S 6268 6271 4821 0 -1 1077944384 42420 12367 0 0 1301 6 5 3 20 0 15 0 89784237 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969886636144 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6332] ppid=6268 vsize=14071612 CPUtime=4.33 cores=0,2,4,6 /proc/6271/task/6332/stat : 6332 (java) S 6268 6271 4821 0 -1 1077944384 27917 12367 0 0 418 7 5 3 20 0 15 0 89784237 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969885583600 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6333] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6333/stat : 6333 (java) S 6268 6271 4821 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 89784237 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969884531296 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6334] ppid=6268 vsize=14071612 CPUtime=1.39 cores=0,2,4,6 /proc/6271/task/6334/stat : 6334 (java) S 6268 6271 4821 0 -1 1077944384 1500 12367 0 0 63 68 5 3 20 0 15 0 89784243 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969883478832 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 Current children cumulated CPU time (s) 2494.75 Current children cumulated vsize (KiB) 14071612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2467.5 s] /proc/loadavg: 1.99 1.86 1.79 3/214 6638 /proc/meminfo: memFree=25403584/32770624 swapFree=0/425128 [pid=6271] ppid=6268 vsize=14071612 CPUtime=2520.03 cores=0,2,4,6 /proc/6271/stat : 6271 (java) S 6268 6271 4821 0 -1 1077944320 688341 12367 0 0 251544 451 5 3 20 0 15 0 89784213 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 140732368975872 139970413883127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 /proc/6271/statm: 3517903 1090774 3499 1 0 3506517 0 [pid=6271/tid=6321] ppid=6268 vsize=14071612 CPUtime=2458.79 cores=0,2,4,6 /proc/6271/task/6321/stat : 6321 (java) R 6268 6271 4821 0 -1 4202560 442201 12367 0 0 245764 107 5 3 20 0 15 0 89784231 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970418117040 139970069769162 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6322] ppid=6268 vsize=14071612 CPUtime=7.09 cores=0,2,4,6 /proc/6271/task/6322/stat : 6322 (java) S 6268 6271 4821 0 -1 1077944384 18504 12367 0 0 636 65 5 3 20 0 15 0 89784232 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970370849040 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6323] ppid=6268 vsize=14071612 CPUtime=7.1 cores=0,2,4,6 /proc/6271/task/6323/stat : 6323 (java) S 6268 6271 4821 0 -1 1077944384 21105 12367 0 0 639 63 5 3 20 0 15 0 89784232 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970369796496 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6324] ppid=6268 vsize=14071612 CPUtime=7.12 cores=0,2,4,6 /proc/6271/task/6324/stat : 6324 (java) S 6268 6271 4821 0 -1 1077944384 25278 12367 0 0 642 62 5 3 20 0 15 0 89784232 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970368743952 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6325] ppid=6268 vsize=14071612 CPUtime=7.1 cores=0,2,4,6 /proc/6271/task/6325/stat : 6325 (java) S 6268 6271 4821 0 -1 1077944384 33331 12367 0 0 636 66 5 3 20 0 15 0 89784232 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970010606224 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6326] ppid=6268 vsize=14071612 CPUtime=1.19 cores=0,2,4,6 /proc/6271/task/6326/stat : 6326 (java) S 6268 6271 4821 0 -1 1077944384 36223 12367 0 0 95 16 5 3 20 0 15 0 89784233 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969891899888 139970413894274 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6327] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6327/stat : 6327 (java) S 6268 6271 4821 0 -1 1077944384 90 12367 0 0 0 0 5 3 20 0 15 0 89784234 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969890846176 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6328] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6328/stat : 6328 (java) S 6268 6271 4821 0 -1 1077944384 47 12367 0 0 0 0 5 3 20 0 15 0 89784234 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969889793536 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6329] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6329/stat : 6329 (java) S 6268 6271 4821 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 89784236 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969888742096 139970413901723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6330] ppid=6268 vsize=14071612 CPUtime=13.35 cores=0,2,4,6 /proc/6271/task/6330/stat : 6330 (java) S 6268 6271 4821 0 -1 1077944384 37565 12367 0 0 1321 6 5 3 20 0 15 0 89784236 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969887688688 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6331] ppid=6268 vsize=14071612 CPUtime=13.15 cores=0,2,4,6 /proc/6271/task/6331/stat : 6331 (java) S 6268 6271 4821 0 -1 1077944384 42420 12367 0 0 1301 6 5 3 20 0 15 0 89784237 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969886636144 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6332] ppid=6268 vsize=14071612 CPUtime=4.33 cores=0,2,4,6 /proc/6271/task/6332/stat : 6332 (java) S 6268 6271 4821 0 -1 1077944384 27917 12367 0 0 418 7 5 3 20 0 15 0 89784237 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969885583600 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6333] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6333/stat : 6333 (java) S 6268 6271 4821 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 89784237 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969884531296 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6334] ppid=6268 vsize=14071612 CPUtime=1.4 cores=0,2,4,6 /proc/6271/task/6334/stat : 6334 (java) S 6268 6271 4821 0 -1 1077944384 1502 12367 0 0 64 68 5 3 20 0 15 0 89784243 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969883478832 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 Current children cumulated CPU time (s) 2520.03 Current children cumulated vsize (KiB) 14071612 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6271 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2467.5 s] /proc/loadavg: 1.99 1.86 1.79 3/214 6638 /proc/meminfo: memFree=25403584/32770624 swapFree=0/425128 [pid=6271] ppid=6268 vsize=14071612 CPUtime=2520.03 cores=0,2,4,6 /proc/6271/stat : 6271 (java) S 6268 6271 4821 0 -1 1077944320 688341 12367 0 0 251544 451 5 3 20 0 15 0 89784213 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 140732368975872 139970413883127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 /proc/6271/statm: 3517903 1090774 3499 1 0 3506517 0 [pid=6271/tid=6321] ppid=6268 vsize=14071612 CPUtime=2458.79 cores=0,2,4,6 /proc/6271/task/6321/stat : 6321 (java) R 6268 6271 4821 0 -1 4202560 442201 12367 0 0 245764 107 5 3 20 0 15 0 89784231 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970418117040 139970069769162 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6322] ppid=6268 vsize=14071612 CPUtime=7.09 cores=0,2,4,6 /proc/6271/task/6322/stat : 6322 (java) S 6268 6271 4821 0 -1 1077944384 18504 12367 0 0 636 65 5 3 20 0 15 0 89784232 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970370849040 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6323] ppid=6268 vsize=14071612 CPUtime=7.1 cores=0,2,4,6 /proc/6271/task/6323/stat : 6323 (java) S 6268 6271 4821 0 -1 1077944384 21105 12367 0 0 639 63 5 3 20 0 15 0 89784232 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970369796496 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6324] ppid=6268 vsize=14071612 CPUtime=7.12 cores=0,2,4,6 /proc/6271/task/6324/stat : 6324 (java) S 6268 6271 4821 0 -1 1077944384 25278 12367 0 0 642 62 5 3 20 0 15 0 89784232 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970368743952 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6325] ppid=6268 vsize=14071612 CPUtime=7.1 cores=0,2,4,6 /proc/6271/task/6325/stat : 6325 (java) S 6268 6271 4821 0 -1 1077944384 33331 12367 0 0 636 66 5 3 20 0 15 0 89784232 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139970010606224 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6326] ppid=6268 vsize=14071612 CPUtime=1.19 cores=0,2,4,6 /proc/6271/task/6326/stat : 6326 (java) S 6268 6271 4821 0 -1 1077944384 36223 12367 0 0 95 16 5 3 20 0 15 0 89784233 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969891899888 139970413894274 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6327] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6327/stat : 6327 (java) S 6268 6271 4821 0 -1 1077944384 90 12367 0 0 0 0 5 3 20 0 15 0 89784234 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969890846176 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6328] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6328/stat : 6328 (java) S 6268 6271 4821 0 -1 1077944384 47 12367 0 0 0 0 5 3 20 0 15 0 89784234 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969889793536 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6329] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6329/stat : 6329 (java) S 6268 6271 4821 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 89784236 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969888742096 139970413901723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6330] ppid=6268 vsize=14071612 CPUtime=13.35 cores=0,2,4,6 /proc/6271/task/6330/stat : 6330 (java) S 6268 6271 4821 0 -1 1077944384 37565 12367 0 0 1321 6 5 3 20 0 15 0 89784236 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969887688688 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6331] ppid=6268 vsize=14071612 CPUtime=13.15 cores=0,2,4,6 /proc/6271/task/6331/stat : 6331 (java) S 6268 6271 4821 0 -1 1077944384 42420 12367 0 0 1301 6 5 3 20 0 15 0 89784237 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969886636144 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6332] ppid=6268 vsize=14071612 CPUtime=4.33 cores=0,2,4,6 /proc/6271/task/6332/stat : 6332 (java) S 6268 6271 4821 0 -1 1077944384 27917 12367 0 0 418 7 5 3 20 0 15 0 89784237 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969885583600 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6333] ppid=6268 vsize=14071612 CPUtime=0.08 cores=0,2,4,6 /proc/6271/task/6333/stat : 6333 (java) S 6268 6271 4821 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 89784237 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969884531296 139970413893333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 [pid=6271/tid=6334] ppid=6268 vsize=14071612 CPUtime=1.4 cores=0,2,4,6 /proc/6271/task/6334/stat : 6334 (java) S 6268 6271 4821 0 -1 1077944384 1502 12367 0 0 64 68 5 3 20 0 15 0 89784243 14409330688 1090774 18446744073709551615 4194304 4196468 140732368993328 139969883478832 139970413894274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18190336 140732369000400 140732369003185 140732369003185 140732369006543 0 Current children cumulated CPU time (s) 2520.03 Current children cumulated vsize (KiB) 14071612 Child status: 143 Real time (s): 2467.56 CPU time (s): 2520.12 CPU user time (s): 2515.54 CPU system time (s): 4.58521 CPU usage (%): 102.13 Max. virtual memory (cumulated for all children) (KiB): 14071612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2515.54 system time used= 4.58521 maximum resident set size= 4364120 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 706583 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 85962 involuntary context switches= 3951 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.5927 second user time and 15.7656 second system time The end
Begin job on node133 at 2017-08-11 04:34:02 IDJOB=4262182 IDBENCH=115904 IDSOLVER=2650 FILE ID=node133/4262182-1502419690 RUNJOBID= node133-1502411423-4884 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-4262182-1502419690/watcher-4262182-1502419690 -o /tmp/evaluation-result-4262182-1502419690/solver-4262182-1502419690 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4884 --watchdog 2580 bin/concrete HOME/instance-4262182-1502419690.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f7605bb50abdbd05cc6d9fedf17196d1 RANDOM SEED=293457234 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: 30192024 kB MemAvailable: 31038532 kB Buffers: 283828 kB Cached: 857132 kB SwapCached: 0 kB Active: 1690220 kB Inactive: 457468 kB Active(anon): 1006596 kB Inactive(anon): 33112 kB Active(file): 683624 kB Inactive(file): 424356 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24156 kB Writeback: 4 kB AnonPages: 1006400 kB Mapped: 63300 kB Shmem: 33468 kB Slab: 135944 kB SReclaimable: 108724 kB SUnreclaim: 27220 kB KernelStack: 3504 kB PageTables: 7040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2021788 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 749568 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-11 05:15:10