0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280439-1503124641.xml" -tl '20160s' -p 8 -x 0
0.12/0.15 c [HOME/instance-4280439-1503124641.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
4.62/1.35 c solve instance...
18.45/3.25 o 360
18.45/3.28 o 359
19.16/3.30 o 358
19.16/3.33 o 357
19.16/3.35 o 356
19.16/3.39 o 355
19.86/3.41 o 354
19.86/3.43 o 353
19.86/3.45 o 352
19.86/3.47 o 351
19.86/3.49 o 350
20.41/3.51 o 349
20.41/3.53 o 348
20.41/3.54 o 347
20.41/3.56 o 346
20.41/3.58 o 345
20.97/3.60 o 344
20.97/3.62 o 343
20.97/3.64 o 342
20.97/3.66 o 341
20.97/3.68 o 340
21.55/3.70 o 339
21.55/3.72 o 338
21.55/3.74 o 337
21.55/3.77 o 336
21.55/3.79 o 335
22.13/3.80 o 334
22.13/3.82 o 333
22.13/3.83 o 332
22.13/3.85 o 331
22.13/3.87 o 330
22.13/3.89 o 329
22.73/3.91 o 328
22.73/3.93 o 327
22.73/3.94 o 326
22.73/3.96 o 325
22.73/3.98 o 324
22.73/4.00 o 323
23.33/4.02 o 322
23.33/4.04 o 321
23.33/4.06 o 320
23.33/4.08 o 319
23.33/4.10 o 318
23.98/4.12 o 317
23.98/4.14 o 316
23.98/4.16 o 315
23.98/4.18 o 314
24.47/4.20 o 313
24.47/4.22 o 312
24.47/4.24 o 311
24.47/4.26 o 310
24.47/4.28 o 309
24.99/4.30 o 308
24.99/4.32 o 307
24.99/4.34 o 306
24.99/4.36 o 305
24.99/4.38 o 304
25.57/4.40 o 303
25.57/4.43 o 302
25.57/4.45 o 301
25.57/4.47 o 300
25.57/4.49 o 299
26.16/4.51 o 298
26.16/4.52 o 297
26.16/4.54 o 296
26.16/4.56 o 295
26.16/4.58 o 294
26.74/4.60 o 293
26.74/4.62 o 292
26.74/4.64 o 291
26.74/4.66 o 290
26.74/4.68 o 289
27.28/4.70 o 288
27.28/4.72 o 287
27.28/4.74 o 286
27.28/4.76 o 285
27.28/4.78 o 284
27.28/4.79 o 283
27.83/4.81 o 282
27.83/4.83 o 281
27.83/4.85 o 280
27.83/4.87 o 279
27.83/4.89 o 278
28.47/4.91 o 277
28.47/4.93 o 276
28.47/4.94 o 275
28.47/4.96 o 274
28.47/4.98 o 273
28.47/4.99 o 272
29.08/5.01 o 271
29.08/5.03 o 270
29.08/5.05 o 269
29.08/5.07 o 268
29.08/5.09 o 267
29.08/5.11 o 266
29.63/5.12 o 265
29.63/5.14 o 264
29.63/5.16 o 263
29.63/5.18 o 262
30.19/5.21 o 261
30.19/5.22 o 260
30.19/5.24 o 259
30.19/5.26 o 258
30.19/5.28 o 257
30.19/5.30 o 256
30.75/5.31 o 255
30.75/5.33 o 254
30.75/5.35 o 253
30.75/5.36 o 252
30.75/5.38 o 251
31.37/5.40 o 250
31.37/5.42 o 249
31.37/5.44 o 248
31.37/5.46 o 247
31.37/5.47 o 246
31.37/5.49 o 245
31.98/5.51 o 244
31.98/5.53 o 243
31.98/5.55 o 242
31.98/5.56 o 241
31.98/5.58 o 240
32.54/5.60 o 239
32.54/5.62 o 238
32.54/5.63 o 237
32.54/5.65 o 236
32.54/5.66 o 235
32.54/5.68 o 234
33.12/5.70 o 233
33.12/5.72 o 232
33.12/5.73 o 231
33.12/5.75 o 230
33.12/5.77 o 229
33.12/5.79 o 228
33.75/5.81 o 227
33.75/5.83 o 226
33.75/5.84 o 225
33.75/5.87 o 224
33.75/5.88 o 223
33.75/5.90 o 222
34.32/5.91 o 221
34.32/5.93 o 220
34.32/5.95 o 219
34.32/5.96 o 218
34.32/5.98 o 217
34.32/6.00 o 216
34.96/6.02 o 215
34.96/6.04 o 214
34.96/6.06 o 213
34.96/6.08 o 212
34.96/6.10 o 211
35.60/6.11 o 210
35.60/6.13 o 209
35.60/6.14 o 208
35.60/6.16 o 207
35.60/6.18 o 206
35.60/6.20 o 205
36.14/6.21 o 204
36.14/6.23 o 203
36.14/6.24 o 202
36.14/6.26 o 201
36.14/6.28 o 200
36.14/6.29 o 199
36.81/6.31 o 198
36.81/6.33 o 197
36.81/6.35 o 196
36.81/6.36 o 195
36.81/6.38 o 194
37.35/6.40 o 193
37.35/6.41 o 192
37.35/6.43 o 191
37.35/6.45 o 190
37.35/6.46 o 189
37.35/6.48 o 188
37.35/6.49 o 187
38.01/6.51 o 186
38.01/6.53 o 185
38.01/6.54 o 184
38.01/6.56 o 183
38.01/6.58 o 182
38.01/6.59 o 181
38.60/6.61 o 180
38.60/6.63 o 179
38.60/6.65 o 178
38.60/6.66 o 177
38.60/6.68 o 176
38.60/6.70 o 175
39.17/6.72 o 174
39.17/6.74 o 173
39.17/6.75 o 172
39.17/6.77 o 171
39.17/6.79 o 170
39.76/6.80 o 169
39.76/6.82 o 168
39.76/6.83 o 167
39.76/6.85 o 166
39.76/6.87 o 165
39.76/6.88 o 164
39.76/6.90 o 163
40.40/6.91 o 162
40.40/6.93 o 161
40.40/6.95 o 160
40.40/6.97 o 159
40.40/6.99 o 158
40.40/7.00 o 157
41.06/7.02 o 156
41.06/7.04 o 155
41.06/7.06 o 154
41.06/7.07 o 153
41.06/7.09 o 152
41.06/7.11 o 151
41.65/7.12 o 150
41.65/7.15 o 149
41.65/7.17 o 148
41.65/7.18 o 147
41.65/7.20 o 146
42.23/7.22 o 145
42.23/7.23 o 144
42.23/7.25 o 143
42.23/7.27 o 142
42.23/7.29 o 141
42.82/7.30 o 140
42.82/7.32 o 139
42.82/7.33 o 138
42.82/7.35 o 137
42.82/7.37 o 136
42.82/7.38 o 135
43.43/7.40 o 134
43.43/7.42 o 133
43.43/7.44 o 132
43.43/7.46 o 131
43.43/7.47 o 130
43.43/7.49 o 129
44.07/7.51 o 128
44.07/7.53 o 127
44.07/7.55 o 126
44.07/7.56 o 125
44.07/7.58 o 124
44.64/7.60 o 123
44.64/7.62 o 122
44.64/7.63 o 121
44.64/7.65 o 120
48.58/8.18 o 119
52.45/8.65 o 118
58.78/9.40 o 117
64.41/10.12 o 116
69.88/10.83 o 115
75.48/11.53 o 114
80.97/12.20 o 113
85.74/12.86 o 112
91.27/13.53 o 111
96.11/14.15 o 110
100.79/14.76 o 109
105.54/15.36 o 108
110.31/15.95 o 107
114.20/16.49 o 106
119.02/17.03 o 105
122.89/17.56 o 104
126.90/18.09 o 103
130.67/18.57 o 102
134.70/19.05 o 101
138.60/19.54 o 100
141.71/19.99 o 99
145.65/20.44 o 98
149.62/20.92 o 97
152.78/21.38 o 96
155.92/21.78 o 95
159.83/22.21 o 94
162.97/22.63 o 93
166.19/23.07 o 92
170.04/23.53 o 91
174.06/24.01 o 90
176.34/24.39 o 89
180.31/24.85 o 88
183.44/25.25 o 87
186.57/25.67 o 86
189.80/26.08 o 85
192.90/26.48 o 84
196.87/26.92 o 83
200.82/27.48 o 82
206.43/28.14 o 81
211.11/28.76 o 80
214.33/29.16 o 79
219.80/29.81 o 78
224.53/30.44 o 77
228.47/30.94 o 76
232.38/31.42 o 75
236.30/32.01 o 74
241.00/32.58 o 73
245.83/33.11 o 72
249.73/33.63 o 71
253.72/34.15 o 70
257.59/34.68 o 69
263.14/35.33 o 68
267.85/35.97 o 67
273.31/36.66 o 66
278.84/37.30 o 65
801.15/102.85 o 64
9890.04/1242.93 o 63
9951.22/1250.63 o 62
10454.43/1313.78 o 61
10538.74/1324.34 o 60
11311.52/1421.25 o 59
11327.45/1423.22 o 58
11364.12/1427.89 o 56
12797.55/1607.50 o 55
12920.43/1622.97 o 54
13276.11/1667.50 o 53
14040.20/1763.39 o 52
15523.83/1949.37 o 51
18219.09/2287.23 o 50
20075.68/2520.09 s SATISFIABLE
20075.68/2520.09 v <instantiation>
20075.68/2520.09 v <list>z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[0][120] x[0][121] x[0][122] x[0][123] x[0][124] x[0][125] x[0][126] x[0][127] x[0][128] x[0][129] x[0][130] x[0][131] x[0][132] x[0][133] x[0][134] x[0][135] x[0][136] x[0][137] x[0][138] x[0][139] x[0][140] x[0][141] x[0][142] x[0][143] x[0][144] x[0][145] x[0][146] x[0][147] x[0][148] x[0][149] x[0][150] x[0][151] x[0][152] x[0][153] x[0][154] x[0][155] x[0][156] x[0][157] x[0][158] x[0][159] x[0][160] x[0][161] x[0][162] x[0][163] x[0][164] x[0][165] x[0][166] x[0][167] x[0][168] x[0][169] x[0][170] x[0][171] x[0][172] x[0][173] x[0][174] x[0][175] x[0][176] x[0][177] x[0][178] x[0][179] x[0][180] x[0][181] x[0][182] x[0][183] x[0][184] x[0][185] x[0][186] x[0][187] x[0][188] x[0][189] x[0][190] x[0][191] x[0][192] x[0][193] x[0][194] x[0][195] x[0][196] x[0][197] x[0][198] x[0][199] x[0][200] x[0][201] x[0][202] x[0][203] x[0][204] x[0][205] x[0][206] x[0][207] x[0][208] x[0][209] x[0][210] x[0][211] x[0][212] x[0][213] x[0][214] x[0][215] x[0][216] x[0][217] x[0][218] x[0][219] x[0][220] x[0][221] x[0][222] x[0][223] x[0][224] x[0][225] x[0][226] x[0][227] x[0][228] x[0][229] x[0][230] x[0][231] x[0][232] x[0][233] x[0][234] x[0][235] x[0][236] x[0][237] x[0][238] x[0][239] x[0][240] x[0][241] x[0][242] x[0][243] x[0][244] x[0][245] x[0][246] x[0][247] x[0][248] x[0][249] x[0][250] x[0][251] x[0][252] x[0][253] x[0][254] x[0][255] x[0][256] x[0][257] x[0][258] x[0][259] x[0][260] x[0][261] x[0][262] x[0][263] x[0][264] x[0][265] x[0][266] x[0][267] x[0][268] x[0][269] x[0][270] x[0][271] x[0][272] x[0][273] x[0][274] x[0][275] x[0][276] x[0][277] x[0][278] x[0][279] x[0][280] x[0][281] x[0][282] x[0][283] x[0][284] x[0][285] x[0][286] x[0][287] x[0][288] x[0][289] x[0][290] x[0][291] x[0][292] x[0][293] x[0][294] x[0][295] x[0][296] x[0][297] x[0][298] x[0][299] x[0][300] x[0][301] x[0][302] x[0][303] x[0][304] x[0][305] x[0][306] x[0][307] x[0][308] x[0][309] x[0][310] x[0][311] x[0][312] x[0][313] x[0][314] x[0][315] x[0][316] x[0][317] x[0][318] x[0][319] x[0][320] x[0][321] x[0][322] x[0][323] x[0][324] x[0][325] x[0][326] x[0][327] x[0][328] x[0][329] x[0][330] x[0][331] x[0][332] x[0][333] x[0][334] x[0][335] x[0][336] x[0][337] x[0][338] x[0][339] x[0][340] x[0][341] x[0][342] x[0][343] x[0][344] x[0][345] x[0][346] x[0][347] x[0][348] x[0][349] x[0][350] x[0][351] x[0][352] x[0][353] x[0][354] x[0][355] x[0][356] x[0][357] x[0][358] x[0][359] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[1][120] x[1][121] x[1][122] x[1][123] x[1][124] x[1][125] x[1][126] x[1][127] x[1][128] x[1][129] x[1][130] x[1][131] x[1][132] x[1][133] x[1][134] x[1][135] x[1][136] x[1][137] x[1][138] x[1][139] x[1][140] x[1][141] x[1][142] x[1][143] x[1][144] x[1][145] x[1][146] x[1][147] x[1][148] x[1][149] x[1][150] x[1][151] x[1][152] x[1][153] x[1][154] x[1][155] x[1][156] x[1][157] x[1][158] x[1][159] x[1][160] x[1][161] x[1][162] x[1][163] x[1][164] x[1][165] x[1][166] x[1][167] x[1][168] x[1][169] x[1][170] x[1][171] x[1][172] x[1][173] x[1][174] x[1][175] x[1][176] x[1][177] x[1][178] x[1][179] x[1][180] x[1][181] x[1][182] x[1][183] x[1][184] x[1][185] x[1][186] x[1][187] x[1][188] x[1][189] x[1][190] x[1][191] x[1][192] x[1][193] x[1][194] x[1][195] x[1][196] x[1][197] x[1][198] x[1][199] x[1][200] x[1][201] x[1][202] x[1][203] x[1][204] x[1][205] x[1][206] x[1][207] x[1][208] x[1][209] x[1][210] x[1][211] x[1][212] x[1][213] x[1][214] x[1][215] x[1][216] x[1][217] x[1][218] x[1][219] x[1][220] x[1][221] x[1][222] x[1][223] x[1][224] x[1][225] x[1][226] x[1][227] x[1][228] x[1][229] x[1][230] x[1][231] x[1][232] x[1][233] x[1][234] x[1][235] x[1][236] x[1][237] x[1][238] x[1][239] x[1][240] x[1][241] x[1][242] x[1][243] x[1][244] x[1][245] x[1][246] x[1][247] x[1][248] x[1][249] x[1][250] x[1][251] x[1][252] x[1][253] x[1][254] x[1][255] x[1][256] x[1][257] x[1][258] x[1][259] x[1][260] x[1][261] x[1][262] x[1][263] x[1][264] x[1][265] x[1][266] x[1][267] x[1][268] x[1][269] x[1][270] x[1][271] x[1][272] x[1][273] x[1][274] x[1][275] x[1][276] x[1][277] x[1][278] x[1][279] x[1][280] x[1][281] x[1][282] x[1][283] x[1][284] x[1][285] x[1][286] x[1][287] x[1][288] x[1][289] x[1][290] x[1][291] x[1][292] x[1][293] x[1][294] x[1][295] x[1][296] x[1][297] x[1][298] x[1][299] x[1][300] x[1][301] x[1][302] x[1][303] x[1][304] x[1][305] x[1][306] x[1][307] x[1][308] x[1][309] x[1][310] x[1][311] x[1][312] x[1][313] x[1][314] x[1][315] x[1][316] x[1][317] x[1][318] x[1][319] x[1][320] x[1][321] x[1][322] x[1][323] x[1][324] x[1][325] x[1][326] x[1][327] x[1][328] x[1][329] x[1][330] x[1][331] x[1][332] x[1][333] x[1][334] x[1][335] x[1][336] x[1][337] x[1][338] x[1][339] x[1][340] x[1][341] x[1][342] x[1][343] x[1][344] x[1][345] x[1][346] x[1][347] x[1][348] x[1][349] x[1][350] x[1][351] x[1][352] x[1][353] x[1][354] x[1][355] x[1][356] x[1][357] x[1][358] x[1][359] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] x[2][120] x[2][121] x[2][122] x[2][123] x[2][124] x[2][125] x[2][126] x[2][127] x[2][128] x[2][129] x[2][130] x[2][131] x[2][132] x[2][133] x[2][134] x[2][135] x[2][136] x[2][137] x[2][138] x[2][139] x[2][140] x[2][141] x[2][142] x[2][143] x[2][144] x[2][145] x[2][146] x[2][147] x[2][148] x[2][149] x[2][150] x[2][151] x[2][152] x[2][153] x[2][154] x[2][155] x[2][156] x[2][157] x[2][158] x[2][159] x[2][160] x[2][161] x[2][162] x[2][163] x[2][164] x[2][165] x[2][166] x[2][167] x[2][168] x[2][169] x[2][170] x[2][171] x[2][172] x[2][173] x[2][174] x[2][175] x[2][176] x[2][177] x[2][178] x[2][179] x[2][180] x[2][181] x[2][182] x[2][183] x[2][184] x[2][185] x[2][186] x[2][187] x[2][188] x[2][189] x[2][190] x[2][191] x[2][192] x[2][193] x[2][194] x[2][195] x[2][196] x[2][197] x[2][198] x[2][199] x[2][200] x[2][201] x[2][202] x[2][203] x[2][204] x[2][205] x[2][206] x[2][207] x[2][208] x[2][209] x[2][210] x[2][211] x[2][212] x[2][213] x[2][214] x[2][215] x[2][216] x[2][217] x[2][218] x[2][219] x[2][220] x[2][221] x[2][222] x[2][223] x[2][224] x[2][225] x[2][226] x[2][227] x[2][228] x[2][229] x[2][230] x[2][231] x[2][232] x[2][233] x[2][234] x[2][235] x[2][236] x[2][237] x[2][238] x[2][239] x[2][240] x[2][241] x[2][242] x[2][243] x[2][244] x[2][245] x[2][246] x[2][247] x[2][248] x[2][249] x[2][250] x[2][251] x[2][252] x[2][253] x[2][254] x[2][255] x[2][256] x[2][257] x[2][258] x[2][259] x[2][260] x[2][261] x[2][262] x[2][263] x[2][264] x[2][265] x[2][266] x[2][267] x[2][268] x[2][269] x[2][270] x[2][271] x[2][272] x[2][273] x[2][274] x[2][275] x[2][276] x[2][277] x[2][278] x[2][279] x[2][280] x[2][281] x[2][282] x[2][283] x[2][284] x[2][285] x[2][286] x[2][287] x[2][288] x[2][289] x[2][290] x[2][291] x[2][292] x[2][293] x[2][294] x[2][295] x[2][296] x[2][297] x[2][298] x[2][299] x[2][300] x[2][301] x[2][302] x[2][303] x[2][304] x[2][305] x[2][306] x[2][307] x[2][308] x[2][309] x[2][310] x[2][311] x[2][312] x[2][313] x[2][314] x[2][315] x[2][316] x[2][317] x[2][318] x[2][319] x[2][320] x[2][321] x[2][322] x[2][323] x[2][324] x[2][325] x[2][326] x[2][327] x[2][328] x[2][329] x[2][330] x[2][331] x[2][332] x[2][333] x[2][334] x[2][335] x[2][336] x[2][337] x[2][338] x[2][339] x[2][340] x[2][341] x[2][342] x[2][343] x[2][344] x[2][345] x[2][346] x[2][347] x[2][348] x[2][349] x[2][350] x[2][351] x[2][352] x[2][353] x[2][354] x[2][355] x[2][356] x[2][357] x[2][358] x[2][359] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] x[3][120] x[3][121] x[3][122] x[3][123] x[3][124] x[3][125] x[3][126] x[3][127] x[3][128] x[3][129] x[3][130] x[3][131] x[3][132] x[3][133] x[3][134] x[3][135] x[3][136] x[3][137] x[3][138] x[3][139] x[3][140] x[3][141] x[3][142] x[3][143] x[3][144] x[3][145] x[3][146] x[3][147] x[3][148] x[3][149] x[3][150] x[3][151] x[3][152] x[3][153] x[3][154] x[3][155] x[3][156] x[3][157] x[3][158] x[3][159] x[3][160] x[3][161] x[3][162] x[3][163] x[3][164] x[3][165] x[3][166] x[3][167] x[3][168] x[3][169] x[3][170] x[3][171] x[3][172] x[3][173] x[3][174] x[3][175] x[3][176] x[3][177] x[3][178] x[3][179] x[3][180] x[3][181] x[3][182] x[3][183] x[3][184] x[3][185] x[3][186] x[3][187] x[3][188] x[3][189] x[3][190] x[3][191] x[3][192] x[3][193] x[3][194] x[3][195] x[3][196] x[3][197] x[3][198] x[3][199] x[3][200] x[3][201] x[3][202] x[3][203] x[3][204] x[3][205] x[3][206] x[3][207] x[3][208] x[3][209] x[3][210] x[3][211] x[3][212] x[3][213] x[3][214] x[3][215] x[3][216] x[3][217] x[3][218] x[3][219] x[3][220] x[3][221] x[3][222] x[3][223] x[3][224] x[3][225] x[3][226] x[3][227] x[3][228] x[3][229] x[3][230] x[3][231] x[3][232] x[3][233] x[3][234] x[3][235] x[3][236] x[3][237] x[3][238] x[3][239] x[3][240] x[3][241] x[3][242] x[3][243] x[3][244] x[3][245] x[3][246] x[3][247] x[3][248] x[3][249] x[3][250] x[3][251] x[3][252] x[3][253] x[3][254] x[3][255] x[3][256] x[3][257] x[3][258] x[3][259] x[3][260] x[3][261] x[3][262] x[3][263] x[3][264] x[3][265] x[3][266] x[3][267] x[3][268] x[3][269] x[3][270] x[3][271] x[3][272] x[3][273] x[3][274] x[3][275] x[3][276] x[3][277] x[3][278] x[3][279] x[3][280] x[3][281] x[3][282] x[3][283] x[3][284] x[3][285] x[3][286] x[3][287] x[3][288] x[3][289] x[3][290] x[3][291] x[3][292] x[3][293] x[3][294] x[3][295] x[3][296] x[3][297] x[3][298] x[3][299] x[3][300] x[3][301] x[3][302] x[3][303] x[3][304] x[3][305] x[3][306] x[3][307] x[3][308] x[3][309] x[3][310] x[3][311] x[3][312] x[3][313] x[3][314] x[3][315] x[3][316] x[3][317] x[3][318] x[3][319] x[3][320] x[3][321] x[3][322] x[3][323] x[3][324] x[3][325] x[3][326] x[3][327] x[3][328] x[3][329] x[3][330] x[3][331] x[3][332] x[3][333] x[3][334] x[3][335] x[3][336] x[3][337] x[3][338] x[3][339] x[3][340] x[3][341] x[3][342] x[3][343] x[3][344] x[3][345] x[3][346] x[3][347] x[3][348] x[3][349] x[3][350] x[3][351] x[3][352] x[3][353] x[3][354] x[3][355] x[3][356] x[3][357] x[3][358] x[3][359] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] x[4][120] x[4][121] x[4][122] x[4][123] x[4][124] x[4][125] x[4][126] x[4][127] x[4][128] x[4][129] x[4][130] x[4][131] x[4][132] x[4][133] x[4][134] x[4][135] x[4][136] x[4][137] x[4][138] x[4][139] x[4][140] x[4][141] x[4][142] x[4][143] x[4][144] x[4][145] x[4][146] x[4][147] x[4][148] x[4][149] x[4][150] x[4][151] x[4][152] x[4][153] x[4][154] x[4][155] x[4][156] x[4][157] x[4][158] x[4][159] x[4][160] x[4][161] x[4][162] x[4][163] x[4][164] x[4][165] x[4][166] x[4][167] x[4][168] x[4][169] x[4][170] x[4][171] x[4][172] x[4][173] x[4][174] x[4][175] x[4][176] x[4][177] x[4][178] x[4][179] x[4][180] x[4][181] x[4][182] x[4][183] x[4][184] x[4][185] x[4][186] x[4][187] x[4][188] x[4][189] x[4][190] x[4][191] x[4][192] x[4][193] x[4][194] x[4][195] x[4][196] x[4][197] x[4][198] x[4][199] x[4][200] x[4][201] x[4][202] x[4][203] x[4][204] x[4][205] x[4][206] x[4][207] x[4][208] x[4][209] x[4][210] x[4][211] x[4][212] x[4][213] x[4][214] x[4][215] x[4][216] x[4][217] x[4][218] x[4][219] x[4][220] x[4][221] x[4][222] x[4][223] x[4][224] x[4][225] x[4][226] x[4][227] x[4][228] x[4][229] x[4][230] x[4][231] x[4][232] x[4][233] x[4][234] x[4][235] x[4][236] x[4][237] x[4][238] x[4][239] x[4][240] x[4][241] x[4][242] x[4][243] x[4][244] x[4][245] x[4][246] x[4][247] x[4][248] x[4][249] x[4][250] x[4][251] x[4][252] x[4][253] x[4][254] x[4][255] x[4][256] x[4][257] x[4][258] x[4][259] x[4][260] x[4][261] x[4][262] x[4][263] x[4][264] x[4][265] x[4][266] x[4][267] x[4][268] x[4][269] x[4][270] x[4][271] x[4][272] x[4][273] x[4][274] x[4][275] x[4][276] x[4][277] x[4][278] x[4][279] x[4][280] x[4][281] x[4][282] x[4][283] x[4][284] x[4][285] x[4][286] x[4][287] x[4][288] x[4][289] x[4][290] x[4][291] x[4][292] x[4][293] x[4][294] x[4][295] x[4][296] x[4][297] x[4][298] x[4][299] x[4][300] x[4][301] x[4][302] x[4][303] x[4][304] x[4][305] x[4][306] x[4][307] x[4][308] x[4][309] x[4][310] x[4][311] x[4][312] x[4][313] x[4][314] x[4][315] x[4][316] x[4][317] x[4][318] x[4][319] x[4][320] x[4][321] x[4][322] x[4][323] x[4][324] x[4][325] x[4][326] x[4][327] x[4][328] x[4][329] x[4][330] x[4][331] x[4][332] x[4][333] x[4][334] x[4][335] x[4][336] x[4][337] x[4][338] x[4][339] x[4][340] x[4][341] x[4][342] x[4][343] x[4][344] x[4][345] x[4][346] x[4][347] x[4][348] x[4][349] x[4][350] x[4][351] x[4][352] x[4][353] x[4][354] x[4][355] x[4][356] x[4][357] x[4][358] x[4][359] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] x[5][120] x[5][121] x[5][122] x[5][123] x[5][124] x[5][125] x[5][126] x[5][127] x[5][128] x[5][129] x[5][130] x[5][131] x[5][132] x[5][133] x[5][134] x[5][135] x[5][136] x[5][137] x[5][138] x[5][139] x[5][140] x[5][141] x[5][142] x[5][143] x[5][144] x[5][145] x[5][146] x[5][147] x[5][148] x[5][149] x[5][150] x[5][151] x[5][152] x[5][153] x[5][154] x[5][155] x[5][156] x[5][157] x[5][158] x[5][159] x[5][160] x[5][161] x[5][162] x[5][163] x[5][164] x[5][165] x[5][166] x[5][167] x[5][168] x[5][169] x[5][170] x[5][171] x[5][172] x[5][173] x[5][174] x[5][175] x[5][176] x[5][177] x[5][178] x[5][179] x[5][180] x[5][181] x[5][182] x[5][183] x[5][184] x[5][185] x[5][186] x[5][187] x[5][188] x[5][189] x[5][190] x[5][191] x[5][192] x[5][193] x[5][194] x[5][195] x[5][196] x[5][197] x[5][198] x[5][199] x[5][200] x[5][201] x[5][202] x[5][203] x[5][204] x[5][205] x[5][206] x[5][207] x[5][208] x[5][209] x[5][210] x[5][211] x[5][212] x[5][213] x[5][214] x[5][215] x[5][216] x[5][217] x[5][218] x[5][219] x[5][220] x[5][221] x[5][222] x[5][223] x[5][224] x[5][225] x[5][226] x[5][227] x[5][228] x[5][229] x[5][230] x[5][231] x[5][232] x[5][233] x[5][234] x[5][235] x[5][236] x[5][237] x[5][238] x[5][239] x[5][240] x[5][241] x[5][242] x[5][243] x[5][244] x[5][245] x[5][246] x[5][247] x[5][248] x[5][249] x[5][250] x[5][251] x[5][252] x[5][253] x[5][254] x[5][255] x[5][256] x[5][257] x[5][258] x[5][259] x[5][260] x[5][261] x[5][262] x[5][263] x[5][264] x[5][265] x[5][266] x[5][267] x[5][268] x[5][269] x[5][270] x[5][271] x[5][272] x[5][273] x[5][274] x[5][275] x[5][276] x[5][277] x[5][278] x[5][279] x[5][280] x[5][281] x[5][282] x[5][283] x[5][284] x[5][285] x[5][286] x[5][287] x[5][288] x[5][289] x[5][290] x[5][291] x[5][292] x[5][293] x[5][294] x[5][295] x[5][296] x[5][297] x[5][298] x[5][299] x[5][300] x[5][301] x[5][302] x[5][303] x[5][304] x[5][305] x[5][306] x[5][307] x[5][308] x[5][309] x[5][310] x[5][311] x[5][312] x[5][313] x[5][314] x[5][315] x[5][316] x[5][317] x[5][318] x[5][319] x[5][320] x[5][321] x[5][322] x[5][323] x[5][324] x[5][325] x[5][326] x[5][327] x[5][328] x[5][329] x[5][330] x[5][331] x[5][332] x[5][333] x[5][334] x[5][335] x[5][336] x[5][337] x[5][338] x[5][339] x[5][340] x[5][341] x[5][342] x[5][343] x[5][344] x[5][345] x[5][346] x[5][347] x[5][348] x[5][349] x[5][350] x[5][351] x[5][352] x[5][353] x[5][354] x[5][355] x[5][356] x[5][357] x[5][358] x[5][359] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] x[6][120] x[6][121] x[6][122] x[6][123] x[6][124] x[6][125] x[6][126] x[6][127] x[6][128] x[6][129] x[6][130] x[6][131] x[6][132] x[6][133] x[6][134] x[6][135] x[6][136] x[6][137] x[6][138] x[6][139] x[6][140] x[6][141] x[6][142] x[6][143] x[6][144] x[6][145] x[6][146] x[6][147] x[6][148] x[6][149] x[6][150] x[6][151] x[6][152] x[6][153] x[6][154] x[6][155] x[6][156] x[6][157] x[6][158] x[6][159] x[6][160] x[6][161] x[6][162] x[6][163] x[6][164] x[6][165] x[6][166] x[6][167] x[6][168] x[6][169] x[6][170] x[6][171] x[6][172] x[6][173] x[6][174] x[6][175] x[6][176] x[6][177] x[6][178] x[6][179] x[6][180] x[6][181] x[6][182] x[6][183] x[6][184] x[6][185] x[6][186] x[6][187] x[6][188] x[6][189] x[6][190] x[6][191] x[6][192] x[6][193] x[6][194] x[6][195] x[6][196] x[6][197] x[6][198] x[6][199] x[6][200] x[6][201] x[6][202] x[6][203] x[6][204] x[6][205] x[6][206] x[6][207] x[6][208] x[6][209] x[6][210] x[6][211] x[6][212] x[6][213] x[6][214] x[6][215] x[6][216] x[6][217] x[6][218] x[6][219] x[6][220] x[6][221] x[6][222] x[6][223] x[6][224] x[6][225] x[6][226] x[6][227] x[6][228] x[6][229] x[6][230] x[6][231] x[6][232] x[6][233] x[6][234] x[6][235] x[6][236] x[6][237] x[6][238] x[6][239] x[6][240] x[6][241] x[6][242] x[6][243] x[6][244] x[6][245] x[6][246] x[6][247] x[6][248] x[6][249] x[6][250] x[6][251] x[6][252] x[6][253] x[6][254] x[6][255] x[6][256] x[6][257] x[6][258] x[6][259] x[6][260] x[6][261] x[6][262] x[6][263] x[6][264] x[6][265] x[6][266] x[6][267] x[6][268] x[6][269] x[6][270] x[6][271] x[6][272] x[6][273] x[6][274] x[6][275] x[6][276] x[6][277] x[6][278] x[6][279] x[6][280] x[6][281] x[6][282] x[6][283] x[6][284] x[6][285] x[6][286] x[6][287] x[6][288] x[6][289] x[6][290] x[6][291] x[6][292] x[6][293] x[6][294] x[6][295] x[6][296] x[6][297] x[6][298] x[6][299] x[6][300] x[6][301] x[6][302] x[6][303] x[6][304] x[6][305] x[6][306] x[6][307] x[6][308] x[6][309] x[6][310] x[6][311] x[6][312] x[6][313] x[6][314] x[6][315] x[6][316] x[6][317] x[6][318] x[6][319] x[6][320] x[6][321] x[6][322] x[6][323] x[6][324] x[6][325] x[6][326] x[6][327] x[6][328] x[6][329] x[6][330] x[6][331] x[6][332] x[6][333] x[6][334] x[6][335] x[6][336] x[6][337] x[6][338] x[6][339] x[6][340] x[6][341] x[6][342] x[6][343] x[6][344] x[6][345] x[6][346] x[6][347] x[6][348] x[6][349] x[6][350] x[6][351] x[6][352] x[6][353] x[6][354] x[6][355] x[6][356] x[6][357] x[6][358] x[6][359] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[7][108] x[7][109] x[7][110] x[7][111] x[7][112] x[7][113] x[7][114] x[7][115] x[7][116] x[7][117] x[7][118] x[7][119] x[7][120] x[7][121] x[7][122] x[7][123] x[7][124] x[7][125] x[7][126] x[7][127] x[7][128] x[7][129] x[7][130] x[7][131] x[7][132] x[7][133] x[7][134] x[7][135] x[7][136] x[7][137] x[7][138] x[7][139] x[7][140] x[7][141] x[7][142] x[7][143] x[7][144] x[7][145] x[7][146] x[7][147] x[7][148] x[7][149] x[7][150] x[7][151] x[7][152] x[7][153] x[7][154] x[7][155] x[7][156] x[7][157] x[7][158] x[7][159] x[7][160] x[7][161] x[7][162] x[7][163] x[7][164] x[7][165] x[7][166] x[7][167] x[7][168] x[7][169] x[7][170] x[7][171] x[7][172] x[7][173] x[7][174] x[7][175] x[7][176] x[7][177] x[7][178] x[7][179] x[7][180] x[7][181] x[7][182] x[7][183] x[7][184] x[7][185] x[7][186] x[7][187] x[7][188] x[7][189] x[7][190] x[7][191] x[7][192] x[7][193] x[7][194] x[7][195] x[7][196] x[7][197] x[7][198] x[7][199] x[7][200] x[7][201] x[7][202] x[7][203] x[7][204] x[7][205] x[7][206] x[7][207] x[7][208] x[7][209] x[7][210] x[7][211] x[7][212] x[7][213] x[7][214] x[7][215] x[7][216] x[7][217] x[7][218] x[7][219] x[7][220] x[7][221] x[7][222] x[7][223] x[7][224] x[7][225] x[7][226] x[7][227] x[7][228] x[7][229] x[7][230] x[7][231] x[7][232] x[7][233] x[7][234] x[7][235] x[7][236] x[7][237] x[7][238] x[7][239] x[7][240] x[7][241] x[7][242] x[7][243] x[7][244] x[7][245] x[7][246] x[7][247] x[7][248] x[7][249] x[7][250] x[7][251] x[7][252] x[7][253] x[7][254] x[7][255] x[7][256] x[7][257] x[7][258] x[7][259] x[7][260] x[7][261] x[7][262] x[7][263] x[7][264] x[7][265] x[7][266] x[7][267] x[7][268] x[7][269] x[7][270] x[7][271] x[7][272] x[7][273] x[7][274] x[7][275] x[7][276] x[7][277] x[7][278] x[7][279] x[7][280] x[7][281] x[7][282] x[7][283] x[7][284] x[7][285] x[7][286] x[7][287] x[7][288] x[7][289] x[7][290] x[7][291] x[7][292] x[7][293] x[7][294] x[7][295] x[7][296] x[7][297] x[7][298] x[7][299] x[7][300] x[7][301] x[7][302] x[7][303] x[7][304] x[7][305] x[7][306] x[7][307] x[7][308] x[7][309] x[7][310] x[7][311] x[7][312] x[7][313] x[7][314] x[7][315] x[7][316] x[7][317] x[7][318] x[7][319] x[7][320] x[7][321] x[7][322] x[7][323] x[7][324] x[7][325] x[7][326] x[7][327] x[7][328] x[7][329] x[7][330] x[7][331] x[7][332] x[7][333] x[7][334] x[7][335] x[7][336] x[7][337] x[7][338] x[7][339] x[7][340] x[7][341] x[7][342] x[7][343] x[7][344] x[7][345] x[7][346] x[7][347] x[7][348] x[7][349] x[7][350] x[7][351] x[7][352] x[7][353] x[7][354] x[7][355] x[7][356] x[7][357] x[7][358] x[7][359] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] x[8][108] x[8][109] x[8][110] x[8][111] x[8][112] x[8][113] x[8][114] x[8][115] x[8][116] x[8][117] x[8][118] x[8][119] x[8][120] x[8][121] x[8][122] x[8][123] x[8][124] x[8][125] x[8][126] x[8][127] x[8][128] x[8][129] x[8][130] x[8][131] x[8][132] x[8][133] x[8][134] x[8][135] x[8][136] x[8][137] x[8][138] x[8][139] x[8][140] x[8][141] x[8][142] x[8][143] x[8][144] x[8][145] x[8][146] x[8][147] x[8][148] x[8][149] x[8][150] x[8][151] x[8][152] x[8][153] x[8][154] x[8][155] x[8][156] x[8][157] x[8][158] x[8][159] x[8][160] x[8][161] x[8][162] x[8][163] x[8][164] x[8][165] x[8][166] x[8][167] x[8][168] x[8][169] x[8][170] x[8][171] x[8][172] x[8][173] x[8][174] x[8][175] x[8][176] x[8][177] x[8][178] x[8][179] x[8][180] x[8][181] x[8][182] x[8][183] x[8][184] x[8][185] x[8][186] x[8][187] x[8][188] x[8][189] x[8][190] x[8][191] x[8][192] x[8][193] x[8][194] x[8][195] x[8][196] x[8][197] x[8][198] x[8][199] x[8][200] x[8][201] x[8][202] x[8][203] x[8][204] x[8][205] x[8][206] x[8][207] x[8][208] x[8][209] x[8][210] x[8][211] x[8][212] x[8][213] x[8][214] x[8][215] x[8][216] x[8][217] x[8][218] x[8][219] x[8][220] x[8][221] x[8][222] x[8][223] x[8][224] x[8][225] x[8][226] x[8][227] x[8][228] x[8][229] x[8][230] x[8][231] x[8][232] x[8][233] x[8][234] x[8][235] x[8][236] x[8][237] x[8][238] x[8][239] x[8][240] x[8][241] x[8][242] x[8][243] x[8][244] x[8][245] x[8][246] x[8][247] x[8][248] x[8][249] x[8][250] x[8][251] x[8][252] x[8][253] x[8][254] x[8][255] x[8][256] x[8][257] x[8][258] x[8][259] x[8][260] x[8][261] x[8][262] x[8][263] x[8][264] x[8][265] x[8][266] x[8][267] x[8][268] x[8][269] x[8][270] x[8][271] x[8][272] x[8][273] x[8][274] x[8][275] x[8][276] x[8][277] x[8][278] x[8][279] x[8][280] x[8][281] x[8][282] x[8][283] x[8][284] x[8][285] x[8][286] x[8][287] x[8][288] x[8][289] x[8][290] x[8][291] x[8][292] x[8][293] x[8][294] x[8][295] x[8][296] x[8][297] x[8][298] x[8][299] x[8][300] x[8][301] x[8][302] x[8][303] x[8][304] x[8][305] x[8][306] x[8][307] x[8][308] x[8][309] x[8][310] x[8][311] x[8][312] x[8][313] x[8][314] x[8][315] x[8][316] x[8][317] x[8][318] x[8][319] x[8][320] x[8][321] x[8][322] x[8][323] x[8][324] x[8][325] x[8][326] x[8][327] x[8][328] x[8][329] x[8][330] x[8][331] x[8][332] x[8][333] x[8][334] x[8][335] x[8][336] x[8][337] x[8][338] x[8][339] x[8][340] x[8][341] x[8][342] x[8][343] x[8][344] x[8][345] x[8][346] x[8][347] x[8][348] x[8][349] x[8][350] x[8][351] x[8][352] x[8][353] x[8][354] x[8][355] x[8][356] x[8][357] x[8][358] x[8][359] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] x[9][78] x[9][79] x[9][80] x[9][81] x[9][82] x[9][83] x[9][84] x[9][85] x[9][86] x[9][87] x[9][88] x[9][89] x[9][90] x[9][91] x[9][92] x[9][93] x[9][94] x[9][95] x[9][96] x[9][97] x[9][98] x[9][99] x[9][100] x[9][101] x[9][102] x[9][103] x[9][104] x[9][105] x[9][106] x[9][107] x[9][108] x[9][109] x[9][110] x[9][111] x[9][112] x[9][113] x[9][114] x[9][115] x[9][116] x[9][117] x[9][118] x[9][119] x[9][120] x[9][121] x[9][122] x[9][123] x[9][124] x[9][125] x[9][126] x[9][127] x[9][128] x[9][129] x[9][130] x[9][131] x[9][132] x[9][133] x[9][134] x[9][135] x[9][136] x[9][137] x[9][138] x[9][139] x[9][140] x[9][141] x[9][142] x[9][143] x[9][144] x[9][145] x[9][146] x[9][147] x[9][148] x[9][149] x[9][150] x[9][151] x[9][152] x[9][153] x[9][154] x[9][155] x[9][156] x[9][157] x[9][158] x[9][159] x[9][160] x[9][161] x[9][162] x[9][163] x[9][164] x[9][165] x[9][166] x[9][167] x[9][168] x[9][169] x[9][170] x[9][171] x[9][172] x[9][173] x[9][174] x[9][175] x[9][176] x[9][177] x[9][178] x[9][179] x[9][180] x[9][181] x[9][182] x[9][183] x[9][184] x[9][185] x[9][186] x[9][187] x[9][188] x[9][189] x[9][190] x[9][191] x[9][192] x[9][193] x[9][194] x[9][195] x[9][196] x[9][197] x[9][198] x[9][199] x[9][200] x[9][201] x[9][202] x[9][203] x[9][204] x[9][205] x[9][206] x[9][207] x[9][208] x[9][209] x[9][210] x[9][211] x[9][212] x[9][213] x[9][214] x[9][215] x[9][216] x[9][217] x[9][218] x[9][219] x[9][220] x[9][221] x[9][222] x[9][223] x[9][224] x[9][225] x[9][226] x[9][227] x[9][228] x[9][229] x[9][230] x[9][231] x[9][232] x[9][233] x[9][234] x[9][235] x[9][236] x[9][237] x[9][238] x[9][239] x[9][240] x[9][241] x[9][242] x[9][243] x[9][244] x[9][245] x[9][246] x[9][247] x[9][248] x[9][249] x[9][250] x[9][251] x[9][252] x[9][253] x[9][254] x[9][255] x[9][256] x[9][257] x[9][258] x[9][259] x[9][260] x[9][261] x[9][262] x[9][263] x[9][264] x[9][265] x[9][266] x[9][267] x[9][268] x[9][269] x[9][270] x[9][271] x[9][272] x[9][273] x[9][274] x[9][275] x[9][276] x[9][277] x[9][278] x[9][279] x[9][280] x[9][281] x[9][282] x[9][283] x[9][284] x[9][285] x[9][286] x[9][287] x[9][288] x[9][289] x[9][290] x[9][291] x[9][292] x[9][293] x[9][294] x[9][295] x[9][296] x[9][297] x[9][298] x[9][299] x[9][300] x[9][301] x[9][302] x[9][303] x[9][304] x[9][305] x[9][306] x[9][307] x[9][308] x[9][309] x[9][310] x[9][311] x[9][312] x[9][313] x[9][314] x[9][315] x[9][316] x[9][317] x[9][318] x[9][319] x[9][320] x[9][321] x[9][322] x[9][323] x[9][324] x[9][325] x[9][326] x[9][327] x[9][328] x[9][329] x[9][330] x[9][331] x[9][332] x[9][333] x[9][334] x[9][335] x[9][336] x[9][337] x[9][338] x[9][339] x[9][340] x[9][341] x[9][342] x[9][343] x[9][344] x[9][345] x[9][346] x[9][347] x[9][348] x[9][349] x[9][350] x[9][351] x[9][352] x[9][353] x[9][354] x[9][355] x[9][356] x[9][357] x[9][358] x[9][359] </list>
20075.68/2520.09 v <values>50 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 </values>
20075.68/2520.09 v </instantiation>
20075.68/2520.09 c Unexpected resolution interruption!
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12619 MiB free)
memory of node 1: 16384 MiB (13791 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280439-1503124641/watcher-4280439-1503124641 -o /tmp/evaluation-result-4280439-1503124641/solver-4280439-1503124641 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503120667-7055 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 164350487 HOME/instance-4280439-1503124641.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7685, runsolver pid=7682
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 7.14 7.83 7.89 3/200 7706
/proc/meminfo: memFree=27029108/32770624 swapFree=67108860/67108860
[pid=7685] ppid=7682 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7685/stat : 7685 (xcsp3-exec) S 7682 7685 7028 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145552135 9740288 346 33554432000 4194304 5098028 140732972984432 140732972982536 139863266959996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19976192 140732972987493 140732972987703 140732972987703 140732972990443 0
/proc/7685/statm: 2378 346 289 221 0 87 0
[pid=7687] ppid=7685 vsize=25999808 memory=26788 CPUtime=0.12 cores=0-7
/proc/7687/stat : 7687 (java) S 7685 7685 7028 0 -1 1077944320 5625 0 0 0 10 2 0 0 20 0 20 0 145552135 26623803392 6697 33554432000 4194304 4196468 140731979880640 140731979863184 139941903806199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
/proc/7687/statm: 6499952 6697 2842 1 0 6488269 0
[pid=7687/tid=7688] ppid=7685 vsize=25999808 memory=4715439726498313118 CPUtime=0.09 cores=0-7
/proc/7687/task/7688/stat : 7688 (java) R 7685 7685 7028 0 -1 4202560 3637 0 0 0 8 1 0 0 20 0 20 0 145552136 26623803392 6697 33554432000 4194304 4196468 140731979880640 139941908039472 139941885457758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7689] ppid=7685 vsize=25999808 memory=732370354887117797 CPUtime=0 cores=0-7
/proc/7687/task/7689/stat : 7689 (java) S 7685 7685 7028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145552136 26623803392 6697 33554432000 4194304 4196468 140731979880640 139941856426256 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7690] ppid=7685 vsize=25999808 memory=140216549664384 CPUtime=0 cores=0-7
/proc/7687/task/7690/stat : 7690 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145552136 26623803392 6697 33554432000 4194304 4196468 140731979880640 139941855373712 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7691] ppid=7685 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7691/stat : 7691 (java) S 7685 7685 7028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145552137 26623803392 6697 33554432000 4194304 4196468 140731979880640 139941854321168 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7692] ppid=7685 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7692/stat : 7692 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145552137 26623803392 6697 33554432000 4194304 4196468 140731979880640 139941853268624 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7693] ppid=7685 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7693/stat : 7693 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145552137 26623803392 6697 33554432000 4194304 4196468 140731979880640 139941852216080 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7694] ppid=7685 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7687/task/7694/stat : 7694 (java) S 7685 7685 7028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145552137 26623803392 6697 33554432000 4194304 4196468 140731979880640 139941851163536 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7695] ppid=7685 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7695/stat : 7695 (java) S 7685 7685 7028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145552137 26623803392 6697 33554432000 4194304 4196468 140731979880640 139941850110992 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7696] ppid=7685 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7696/stat : 7696 (java) S 7685 7685 7028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145552137 26623803392 6697 33554432000 4194304 4196468 140731979880640 139941849058448 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7697] ppid=7685 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7697/stat : 7697 (java) S 7685 7685 7028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145552138 26623803392 6697 33554432000 4194304 4196468 140731979880640 139940108654576 139941903817346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7698] ppid=7685 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7698/stat : 7698 (java) S 7685 7685 7028 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145552138 26623803392 6697 33554432000 4194304 4196468 140731979880640 139940107600800 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7699] ppid=7685 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7699/stat : 7699 (java) S 7685 7685 7028 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145552139 26623803392 6697 33554432000 4194304 4196468 140731979880640 139940106548208 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7700] ppid=7685 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7700/stat : 7700 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145552141 26623803392 6697 33554432000 4194304 4196468 140731979880640 139940105496784 139941903824795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7701] ppid=7685 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7701/stat : 7701 (java) R 7685 7685 7028 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 145552141 26623803392 6697 33554432000 4194304 4196468 140731979880640 139940104444400 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7702] ppid=7685 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7702/stat : 7702 (java) S 7685 7685 7028 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 145552141 26623803392 6697 33554432000 4194304 4196468 140731979880640 139940103391856 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7703] ppid=7685 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7703/stat : 7703 (java) S 7685 7685 7028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145552141 26623803392 6697 33554432000 4194304 4196468 140731979880640 139940102339312 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7704] ppid=7685 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/7687/task/7704/stat : 7704 (java) R 7685 7685 7028 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 20 0 145552141 26623803392 6697 33554432000 4194304 4196468 140731979880640 139939631065968 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7705] ppid=7685 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7705/stat : 7705 (java) S 7685 7685 7028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145552141 26623803392 6697 33554432000 4194304 4196468 140731979880640 139939630012640 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7706] ppid=7685 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7687/task/7706/stat : 7706 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145552142 26623803392 6697 33554432000 4194304 4196468 140731979880640 139939628960176 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28172 KiB
[startup+0.210187 s]*
/proc/loadavg: 7.14 7.83 7.89 2/200 7706
/proc/meminfo: memFree=27020660/32770624 swapFree=67108860/67108860
[pid=7685] ppid=7682 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7685/stat : 7685 (xcsp3-exec) S 7682 7685 7028 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145552135 9740288 346 33554432000 4194304 5098028 140732972984432 140732972982536 139863266959996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19976192 140732972987493 140732972987703 140732972987703 140732972990443 0
/proc/7685/statm: 2378 346 289 221 0 87 0
[pid=7687] ppid=7685 vsize=26004064 memory=39260 CPUtime=0.33 cores=0-7
/proc/7687/stat : 7687 (java) S 7685 7685 7028 0 -1 1077944320 8294 0 0 0 30 3 0 0 20 0 20 0 145552135 26628161536 9815 33554432000 4194304 4196468 140731979880640 140731979863184 139941903806199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
/proc/7687/statm: 6501016 9815 3082 1 0 6488269 0
[pid=7687/tid=7688] ppid=7685 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7
/proc/7687/task/7688/stat : 7688 (java) R 7685 7685 7028 0 -1 4202560 5427 0 0 0 18 2 0 0 20 0 20 0 145552136 26628161536 9815 33554432000 4194304 4196468 140731979880640 139941908043040 139941889499680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7689] ppid=7685 vsize=26004064 memory=732370354887117797 CPUtime=0 cores=0-7
/proc/7687/task/7689/stat : 7689 (java) S 7685 7685 7028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145552136 26628161536 9815 33554432000 4194304 4196468 140731979880640 139941856426256 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7690] ppid=7685 vsize=26004064 memory=140216549664384 CPUtime=0 cores=0-7
/proc/7687/task/7690/stat : 7690 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145552136 26628161536 9815 33554432000 4194304 4196468 140731979880640 139941855373712 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7691] ppid=7685 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7691/stat : 7691 (java) S 7685 7685 7028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145552137 26628161536 9815 33554432000 4194304 4196468 140731979880640 139941854321168 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7692] ppid=7685 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7692/stat : 7692 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145552137 26628161536 9815 33554432000 4194304 4196468 140731979880640 139941853268624 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7693] ppid=7685 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7693/stat : 7693 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145552137 26628161536 9815 33554432000 4194304 4196468 140731979880640 139941852216080 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7694] ppid=7685 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7687/task/7694/stat : 7694 (java) S 7685 7685 7028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145552137 26628161536 9815 33554432000 4194304 4196468 140731979880640 139941851163536 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7695] ppid=7685 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7695/stat : 7695 (java) S 7685 7685 7028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145552137 26628161536 9815 33554432000 4194304 4196468 140731979880640 139941850110992 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7696] ppid=7685 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7696/stat : 7696 (java) S 7685 7685 7028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145552137 26628161536 9815 33554432000 4194304 4196468 140731979880640 139941849058448 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7697] ppid=7685 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7697/stat : 7697 (java) S 7685 7685 7028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145552138 26628161536 9815 33554432000 4194304 4196468 140731979880640 139940108654576 139941903817346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7698] ppid=7685 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7698/stat : 7698 (java) S 7685 7685 7028 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145552138 26628161536 9815 33554432000 4194304 4196468 140731979880640 139940107600800 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7699] ppid=7685 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7699/stat : 7699 (java) S 7685 7685 7028 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145552139 26628161536 9815 33554432000 4194304 4196468 140731979880640 139940106548208 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7700] ppid=7685 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7700/stat : 7700 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145552141 26628161536 9815 33554432000 4194304 4196468 140731979880640 139940105496784 139941903824795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7701] ppid=7685 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/7687/task/7701/stat : 7701 (java) S 7685 7685 7028 0 -1 1077944384 488 0 0 0 2 0 0 0 20 0 20 0 145552141 26628161536 9815 33554432000 4194304 4196468 140731979880640 139940104444400 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7702] ppid=7685 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/7687/task/7702/stat : 7702 (java) S 7685 7685 7028 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 20 0 145552141 26628161536 9815 33554432000 4194304 4196468 140731979880640 139940103391856 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7703] ppid=7685 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7703/stat : 7703 (java) S 7685 7685 7028 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 145552141 26628161536 9815 33554432000 4194304 4196468 140731979880640 139940102339312 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7704] ppid=7685 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/7687/task/7704/stat : 7704 (java) S 7685 7685 7028 0 -1 1077944384 732 0 0 0 7 0 0 0 20 0 20 0 145552141 26628161536 9815 33554432000 4194304 4196468 140731979880640 139939631065968 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7705] ppid=7685 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7705/stat : 7705 (java) S 7685 7685 7028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145552141 26628161536 9815 33554432000 4194304 4196468 140731979880640 139939630012640 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7706] ppid=7685 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7687/task/7706/stat : 7706 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145552142 26628161536 9815 33554432000 4194304 4196468 140731979880640 139939628960176 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40644 KiB
[startup+0.309619 s]*
/proc/loadavg: 7.14 7.83 7.89 3/200 7706
/proc/meminfo: memFree=27011432/32770624 swapFree=67108860/67108860
[pid=7685] ppid=7682 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7685/stat : 7685 (xcsp3-exec) S 7682 7685 7028 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145552135 9740288 346 33554432000 4194304 5098028 140732972984432 140732972982536 139863266959996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19976192 140732972987493 140732972987703 140732972987703 140732972990443 0
/proc/7685/statm: 2378 346 289 221 0 87 0
[pid=7687] ppid=7685 vsize=26004064 memory=45980 CPUtime=0.49 cores=0-7
/proc/7687/stat : 7687 (java) S 7685 7685 7028 0 -1 1077944320 9326 0 0 0 46 3 0 0 20 0 20 0 145552135 26628161536 11495 33554432000 4194304 4196468 140731979880640 140731979863184 139941903806199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
/proc/7687/statm: 6501016 11495 3095 1 0 6488269 0
[pid=7687/tid=7688] ppid=7685 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7687/task/7688/stat : 7688 (java) R 7685 7685 7028 0 -1 4202560 6170 0 0 0 27 2 0 0 20 0 20 0 145552136 26628161536 11625 33554432000 4194304 4196468 140731979880640 139941908042608 139941903828125 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7689] ppid=7685 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7689/stat : 7689 (java) S 7685 7685 7028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145552136 26628161536 11625 33554432000 4194304 4196468 140731979880640 139941856426256 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7690] ppid=7685 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7690/stat : 7690 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145552136 26628161536 11625 33554432000 4194304 4196468 140731979880640 139941855373712 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7691] ppid=7685 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7691/stat : 7691 (java) S 7685 7685 7028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145552137 26628161536 11625 33554432000 4194304 4196468 140731979880640 139941854321168 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7692] ppid=7685 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7692/stat : 7692 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145552137 26628161536 11625 33554432000 4194304 4196468 140731979880640 139941853268624 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7693] ppid=7685 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/7687/task/7693/stat : 7693 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145552137 26628161536 11625 33554432000 4194304 4196468 140731979880640 139941852216080 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7694] ppid=7685 vsize=26004064 memory=140216388121519 CPUtime=0 cores=0-7
/proc/7687/task/7694/stat : 7694 (java) S 7685 7685 7028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145552137 26628161536 11625 33554432000 4194304 4196468 140731979880640 139941851163536 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7695] ppid=7685 vsize=26004064 memory=140216388123824 CPUtime=0 cores=0-7
/proc/7687/task/7695/stat : 7695 (java) S 7685 7685 7028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145552137 26628161536 11625 33554432000 4194304 4196468 140731979880640 139941850110992 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7696] ppid=7685 vsize=26004064 memory=140216388126128 CPUtime=0 cores=0-7
/proc/7687/task/7696/stat : 7696 (java) S 7685 7685 7028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145552137 26628161536 11625 33554432000 4194304 4196468 140731979880640 139941849058448 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7697] ppid=7685 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7697/stat : 7697 (java) S 7685 7685 7028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145552138 26628161536 11625 33554432000 4194304 4196468 140731979880640 139940108654576 139941903817346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7698] ppid=7685 vsize=26004064 memory=280432776259216 CPUtime=0 cores=0-7
/proc/7687/task/7698/stat : 7698 (java) S 7685 7685 7028 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145552138 26628161536 11625 33554432000 4194304 4196468 140731979880640 139940107600800 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7699] ppid=7685 vsize=26004064 memory=280432776266128 CPUtime=0 cores=0-7
/proc/7687/task/7699/stat : 7699 (java) S 7685 7685 7028 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145552139 26628161536 11625 33554432000 4194304 4196468 140731979880640 139940106548208 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7700] ppid=7685 vsize=26004064 memory=280432776207408 CPUtime=0 cores=0-7
/proc/7687/task/7700/stat : 7700 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145552141 26628161536 11625 33554432000 4194304 4196468 140731979880640 139940105496784 139941903824795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7701] ppid=7685 vsize=26004064 memory=280432776279952 CPUtime=0.02 cores=0-7
/proc/7687/task/7701/stat : 7701 (java) S 7685 7685 7028 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 20 0 145552141 26628161536 11625 33554432000 4194304 4196468 140731979880640 139940104444400 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7702] ppid=7685 vsize=26004064 memory=280432776286864 CPUtime=0.02 cores=0-7
/proc/7687/task/7702/stat : 7702 (java) S 7685 7685 7028 0 -1 1077944384 328 0 0 0 2 0 0 0 20 0 20 0 145552141 26628161536 11625 33554432000 4194304 4196468 140731979880640 139940103391856 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7703] ppid=7685 vsize=26004064 memory=280432776284560 CPUtime=0.01 cores=0-7
/proc/7687/task/7703/stat : 7703 (java) S 7685 7685 7028 0 -1 1077944384 134 0 0 0 1 0 0 0 20 0 20 0 145552141 26628161536 11625 33554432000 4194304 4196468 140731979880640 139940102339312 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7704] ppid=7685 vsize=26004064 memory=280432776300720 CPUtime=0.12 cores=0-7
/proc/7687/task/7704/stat : 7704 (java) S 7685 7685 7028 0 -1 1077944384 900 0 0 0 12 0 0 0 20 0 20 0 145552141 26628161536 11625 33554432000 4194304 4196468 140731979880640 139939631065968 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7705] ppid=7685 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7687/task/7705/stat : 7705 (java) S 7685 7685 7028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145552141 26628161536 11625 33554432000 4194304 4196468 140731979880640 139939630012640 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7706] ppid=7685 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7687/task/7706/stat : 7706 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145552142 26628161536 11625 33554432000 4194304 4196468 140731979880640 139939628960176 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47364 KiB
[startup+0.701027 s]
/proc/loadavg: 7.14 7.83 7.89 4/200 7706
/proc/meminfo: memFree=26994112/32770624 swapFree=67108860/67108860
[pid=7685] ppid=7682 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7685/stat : 7685 (xcsp3-exec) S 7682 7685 7028 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145552135 9740288 346 33554432000 4194304 5098028 140732972984432 140732972982536 139863266959996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19976192 140732972987493 140732972987703 140732972987703 140732972990443 0
/proc/7685/statm: 2378 346 289 221 0 87 0
[pid=7687] ppid=7685 vsize=26006188 memory=123256 CPUtime=1.81 cores=0-7
/proc/7687/stat : 7687 (java) S 7685 7685 7028 0 -1 1077944320 12802 0 0 0 175 6 0 0 20 0 20 0 145552135 26630336512 30814 33554432000 4194304 4196468 140731979880640 140731979863184 139941903806199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
/proc/7687/statm: 6501547 30814 3209 1 0 6488781 0
[pid=7687/tid=7688] ppid=7685 vsize=26006188 memory=280432776595648 CPUtime=0.66 cores=0-7
/proc/7687/task/7688/stat : 7688 (java) R 7685 7685 7028 0 -1 4202560 6834 0 0 0 63 3 0 0 20 0 20 0 145552136 26630336512 30814 33554432000 4194304 4196468 140731979880640 139941908042720 139941529565258 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7689] ppid=7685 vsize=26006188 memory=1012 CPUtime=0 cores=0-7
/proc/7687/task/7689/stat : 7689 (java) S 7685 7685 7028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145552136 26630336512 30814 33554432000 4194304 4196468 140731979880640 139941856426256 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7690] ppid=7685 vsize=26006188 memory=1716 CPUtime=0 cores=0-7
/proc/7687/task/7690/stat : 7690 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145552136 26630336512 30814 33554432000 4194304 4196468 140731979880640 139941855373712 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7691] ppid=7685 vsize=26006188 memory=5792 CPUtime=0 cores=0-7
/proc/7687/task/7691/stat : 7691 (java) S 7685 7685 7028 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145552137 26630336512 30814 33554432000 4194304 4196468 140731979880640 139941854321168 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
################
# More data... #
################
[pid=7687/tid=10255] ppid=7685 vsize=26539728 memory=1384 CPUtime=154.4 cores=0-7
/proc/7687/task/10255/stat : 10255 (java) R 7685 7685 7028 0 -1 4202560 1640 0 0 0 15438 2 0 0 20 0 28 0 145780858 27176681472 232939 33554432000 4194304 4196468 140731979880640 139939616739288 139941533615324 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
Current children cumulated CPU time: 19455.9 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 933140 KiB
[startup+2502.3 s]
/proc/loadavg: 8.06 8.27 8.31 9/208 10255
/proc/meminfo: memFree=26127056/32770624 swapFree=67108860/67108860
[pid=7685] ppid=7682 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7685/stat : 7685 (xcsp3-exec) S 7682 7685 7028 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145552135 9740288 346 33554432000 4194304 5098028 140732972984432 140732972982536 139863266959996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19976192 140732972987493 140732972987703 140732972987703 140732972990443 0
/proc/7685/statm: 2378 346 289 221 0 87 0
[pid=7687] ppid=7685 vsize=26539728 memory=929704 CPUtime=19934.5 cores=0-7
/proc/7687/stat : 7687 (java) S 7685 7685 7028 0 -1 1077944320 439809 0 0 0 1993026 427 0 0 20 0 28 0 145552135 27176681472 232426 33554432000 4194304 4196468 140731979880640 140731979863184 139941903806199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
/proc/7687/statm: 6634932 232426 3300 1 0 6622166 0
[pid=7687/tid=7688] ppid=7685 vsize=26539728 memory=931756 CPUtime=1.63 cores=0-7
/proc/7687/task/7688/stat : 7688 (java) S 7685 7685 7028 0 -1 1077944384 9722 0 0 0 155 8 0 0 20 0 28 0 145552136 27176681472 232426 33554432000 4194304 4196468 140731979880640 139941908046864 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7689] ppid=7685 vsize=26539728 memory=931756 CPUtime=2.38 cores=0-7
/proc/7687/task/7689/stat : 7689 (java) S 7685 7685 7028 0 -1 1077944384 13106 0 0 0 219 19 0 0 20 0 28 0 145552136 27176681472 232426 33554432000 4194304 4196468 140731979880640 139941856426256 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7690] ppid=7685 vsize=26539728 memory=931756 CPUtime=2.33 cores=0-7
/proc/7687/task/7690/stat : 7690 (java) S 7685 7685 7028 0 -1 1077944384 14551 0 0 0 216 17 0 0 20 0 28 0 145552136 27176681472 232426 33554432000 4194304 4196468 140731979880640 139941855373712 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7691] ppid=7685 vsize=26539728 memory=1384 CPUtime=2.39 cores=0-7
/proc/7687/task/7691/stat : 7691 (java) S 7685 7685 7028 0 -1 1077944384 14269 0 0 0 220 19 0 0 20 0 28 0 145552137 27176681472 232426 33554432000 4194304 4196468 140731979880640 139941854321168 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7692] ppid=7685 vsize=26539728 memory=931756 CPUtime=2.35 cores=0-7
/proc/7687/task/7692/stat : 7692 (java) S 7685 7685 7028 0 -1 1077944384 10896 0 0 0 217 18 0 0 20 0 28 0 145552137 27176681472 232426 33554432000 4194304 4196468 140731979880640 139941853268624 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7693] ppid=7685 vsize=26539728 memory=929704 CPUtime=2.36 cores=0-7
/proc/7687/task/7693/stat : 7693 (java) S 7685 7685 7028 0 -1 1077944384 10605 0 0 0 218 18 0 0 20 0 28 0 145552137 27176681472 232426 33554432000 4194304 4196468 140731979880640 139941852216080 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7694] ppid=7685 vsize=26539728 memory=929704 CPUtime=2.36 cores=0-7
/proc/7687/task/7694/stat : 7694 (java) S 7685 7685 7028 0 -1 1077944384 14537 0 0 0 218 18 0 0 20 0 28 0 145552137 27176681472 232426 33554432000 4194304 4196468 140731979880640 139941851163536 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7695] ppid=7685 vsize=26539728 memory=929704 CPUtime=2.39 cores=0-7
/proc/7687/task/7695/stat : 7695 (java) S 7685 7685 7028 0 -1 1077944384 12259 0 0 0 221 18 0 0 20 0 28 0 145552137 27176681472 232426 33554432000 4194304 4196468 140731979880640 139941850110992 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7696] ppid=7685 vsize=26539728 memory=929704 CPUtime=2.37 cores=0-7
/proc/7687/task/7696/stat : 7696 (java) S 7685 7685 7028 0 -1 1077944384 9142 0 0 0 219 18 0 0 20 0 28 0 145552137 27176681472 232426 33554432000 4194304 4196468 140731979880640 139941849058448 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7697] ppid=7685 vsize=26539728 memory=929704 CPUtime=0.68 cores=0-7
/proc/7687/task/7697/stat : 7697 (java) S 7685 7685 7028 0 -1 1077944384 29046 0 0 0 49 19 0 0 20 0 28 0 145552138 27176681472 232426 33554432000 4194304 4196468 140731979880640 139940108654576 139941903817346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7698] ppid=7685 vsize=26539728 memory=929704 CPUtime=0 cores=0-7
/proc/7687/task/7698/stat : 7698 (java) S 7685 7685 7028 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 145552138 27176681472 232426 33554432000 4194304 4196468 140731979880640 139940107600864 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7699] ppid=7685 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/7687/task/7699/stat : 7699 (java) S 7685 7685 7028 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 145552139 27176681472 232426 33554432000 4194304 4196468 140731979880640 139940106548224 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7700] ppid=7685 vsize=26539728 memory=929704 CPUtime=0 cores=0-7
/proc/7687/task/7700/stat : 7700 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145552141 27176681472 232426 33554432000 4194304 4196468 140731979880640 139940105496784 139941903824795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7701] ppid=7685 vsize=26539728 memory=956 CPUtime=2.22 cores=0-7
/proc/7687/task/7701/stat : 7701 (java) S 7685 7685 7028 0 -1 1077944384 17175 0 0 0 219 3 0 0 20 0 28 0 145552141 27176681472 232426 33554432000 4194304 4196468 140731979880640 139940104444400 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7702] ppid=7685 vsize=26539728 memory=2344 CPUtime=1.84 cores=0-7
/proc/7687/task/7702/stat : 7702 (java) S 7685 7685 7028 0 -1 1077944384 16703 0 0 0 181 3 0 0 20 0 28 0 145552141 27176681472 232426 33554432000 4194304 4196468 140731979880640 139940103391856 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7703] ppid=7685 vsize=26539728 memory=929704 CPUtime=2.07 cores=0-7
/proc/7687/task/7703/stat : 7703 (java) S 7685 7685 7028 0 -1 1077944384 14826 0 0 0 205 2 0 0 20 0 28 0 145552141 27176681472 232426 33554432000 4194304 4196468 140731979880640 139940102339312 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7704] ppid=7685 vsize=26539728 memory=1384 CPUtime=0.97 cores=0-7
/proc/7687/task/7704/stat : 7704 (java) S 7685 7685 7028 0 -1 1077944384 17998 0 0 0 94 3 0 0 20 0 28 0 145552141 27176681472 232426 33554432000 4194304 4196468 140731979880640 139939631065968 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7705] ppid=7685 vsize=26539728 memory=1716 CPUtime=0 cores=0-7
/proc/7687/task/7705/stat : 7705 (java) S 7685 7685 7028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145552141 27176681472 232426 33554432000 4194304 4196468 140731979880640 139939630012640 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7706] ppid=7685 vsize=26539728 memory=5792 CPUtime=0.98 cores=0-7
/proc/7687/task/7706/stat : 7706 (java) S 7685 7685 7028 0 -1 1077944384 5631 0 0 0 0 98 0 0 20 0 28 0 145552142 27176681472 232426 33554432000 4194304 4196468 140731979880640 139939628960176 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=10248] ppid=7685 vsize=26539728 memory=8112282956445269571 CPUtime=214.79 cores=0-7
/proc/7687/task/10248/stat : 10248 (java) R 7685 7685 7028 0 -1 4202560 1556 0 0 0 21477 2 0 0 20 0 28 0 145780858 27176681472 232426 33554432000 4194304 4196468 140731979880640 139939619896312 139941534369864 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=10249] ppid=7685 vsize=26539728 memory=1692 CPUtime=214.6 cores=0-7
/proc/7687/task/10249/stat : 10249 (java) R 7685 7685 7028 0 -1 4202560 1638 0 0 0 21458 2 0 0 20 0 28 0 145780858 27176681472 232426 33554432000 4194304 4196468 140731979880640 139939612528952 139941535024299 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=10250] ppid=7685 vsize=26539728 memory=1384 CPUtime=214.18 cores=0-7
/proc/7687/task/10250/stat : 10250 (java) R 7685 7685 7028 0 -1 4202560 1746 0 0 0 21417 1 0 0 20 0 28 0 145780858 27176681472 232426 33554432000 4194304 4196468 140731979880640 139939614633792 139941533890027 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=10251] ppid=7685 vsize=26539728 memory=931756 CPUtime=213.91 cores=0-7
/proc/7687/task/10251/stat : 10251 (java) R 7685 7685 7028 0 -1 4202560 6002 0 0 0 21385 6 0 0 20 0 28 0 145780858 27176681472 232426 33554432000 4194304 4196468 140731979880640 139939617792664 139941533866292 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=10252] ppid=7685 vsize=26539728 memory=1384 CPUtime=214.91 cores=0-7
/proc/7687/task/10252/stat : 10252 (java) R 7685 7685 7028 0 -1 4202560 4086 0 0 0 21485 6 0 0 20 0 28 0 145780858 27176681472 232426 33554432000 4194304 4196468 140731979880640 139939620953312 139941534215077 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=10253] ppid=7685 vsize=26539728 memory=4140 CPUtime=213.63 cores=0-7
/proc/7687/task/10253/stat : 10253 (java) R 7685 7685 7028 0 -1 4202560 2450 0 0 0 21361 2 0 0 20 0 28 0 145780858 27176681472 232426 33554432000 4194304 4196468 140731979880640 139939613582008 139941535059359 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=10254] ppid=7685 vsize=26539728 memory=1944 CPUtime=214.8 cores=0-7
/proc/7687/task/10254/stat : 10254 (java) R 7685 7685 7028 0 -1 4202560 1792 0 0 0 21478 2 0 0 20 0 28 0 145780858 27176681472 232426 33554432000 4194304 4196468 140731979880640 139939618844504 139941534065640 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=10255] ppid=7685 vsize=26539728 memory=1196 CPUtime=214.04 cores=0-7
/proc/7687/task/10255/stat : 10255 (java) R 7685 7685 7028 0 -1 4202560 1686 0 0 0 21402 2 0 0 20 0 28 0 145780858 27176681472 232426 33554432000 4194304 4196468 140731979880640 139939616739096 139941533615639 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
Current children cumulated CPU time: 19934.5 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 931088 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.05 8.26 8.30 9/208 10255
/proc/meminfo: memFree=26129212/32770624 swapFree=67108860/67108860
[pid=7685] ppid=7682 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7685/stat : 7685 (xcsp3-exec) S 7682 7685 7028 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145552135 9740288 346 33554432000 4194304 5098028 140732972984432 140732972982536 139863266959996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19976192 140732972987493 140732972987703 140732972987703 140732972990443 0
/proc/7685/statm: 2378 346 289 221 0 87 0
[pid=7687] ppid=7685 vsize=26539728 memory=927652 CPUtime=20075.7 cores=0-7
/proc/7687/stat : 7687 (java) S 7685 7685 7028 0 -1 1077944320 439891 0 0 0 2007141 427 0 0 20 0 28 0 145552135 27176681472 231913 33554432000 4194304 4196468 140731979880640 140731979863184 139941903806199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
/proc/7687/statm: 6634932 231913 3300 1 0 6622166 0
[pid=7687/tid=7688] ppid=7685 vsize=26539728 memory=8112282956445269571 CPUtime=1.63 cores=0-7
/proc/7687/task/7688/stat : 7688 (java) S 7685 7685 7028 0 -1 1077944384 9722 0 0 0 155 8 0 0 20 0 28 0 145552136 27176681472 231913 33554432000 4194304 4196468 140731979880640 139941908046864 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7689] ppid=7685 vsize=26539728 memory=-7003737579269690708 CPUtime=2.38 cores=0-7
/proc/7687/task/7689/stat : 7689 (java) S 7685 7685 7028 0 -1 1077944384 13106 0 0 0 219 19 0 0 20 0 28 0 145552136 27176681472 231913 33554432000 4194304 4196468 140731979880640 139941856426256 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7690] ppid=7685 vsize=26539728 memory=1012 CPUtime=2.33 cores=0-7
/proc/7687/task/7690/stat : 7690 (java) S 7685 7685 7028 0 -1 1077944384 14552 0 0 0 216 17 0 0 20 0 28 0 145552136 27176681472 231913 33554432000 4194304 4196468 140731979880640 139941855373712 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7691] ppid=7685 vsize=26539728 memory=1716 CPUtime=2.4 cores=0-7
/proc/7687/task/7691/stat : 7691 (java) S 7685 7685 7028 0 -1 1077944384 14269 0 0 0 221 19 0 0 20 0 28 0 145552137 27176681472 231913 33554432000 4194304 4196468 140731979880640 139941854321168 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7692] ppid=7685 vsize=26539728 memory=5792 CPUtime=2.35 cores=0-7
/proc/7687/task/7692/stat : 7692 (java) S 7685 7685 7028 0 -1 1077944384 10898 0 0 0 217 18 0 0 20 0 28 0 145552137 27176681472 231913 33554432000 4194304 4196468 140731979880640 139941853268624 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7693] ppid=7685 vsize=26539728 memory=2344 CPUtime=2.36 cores=0-7
/proc/7687/task/7693/stat : 7693 (java) S 7685 7685 7028 0 -1 1077944384 10605 0 0 0 218 18 0 0 20 0 28 0 145552137 27176681472 231913 33554432000 4194304 4196468 140731979880640 139941852216080 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7694] ppid=7685 vsize=26539728 memory=928 CPUtime=2.37 cores=0-7
/proc/7687/task/7694/stat : 7694 (java) S 7685 7685 7028 0 -1 1077944384 14537 0 0 0 219 18 0 0 20 0 28 0 145552137 27176681472 231913 33554432000 4194304 4196468 140731979880640 139941851163536 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7695] ppid=7685 vsize=26539728 memory=1568 CPUtime=2.39 cores=0-7
/proc/7687/task/7695/stat : 7695 (java) S 7685 7685 7028 0 -1 1077944384 12259 0 0 0 221 18 0 0 20 0 28 0 145552137 27176681472 231913 33554432000 4194304 4196468 140731979880640 139941850110992 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7696] ppid=7685 vsize=26539728 memory=2240 CPUtime=2.37 cores=0-7
/proc/7687/task/7696/stat : 7696 (java) S 7685 7685 7028 0 -1 1077944384 9143 0 0 0 219 18 0 0 20 0 28 0 145552137 27176681472 231913 33554432000 4194304 4196468 140731979880640 139941849058448 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7697] ppid=7685 vsize=26539728 memory=4128 CPUtime=0.68 cores=0-7
/proc/7687/task/7697/stat : 7697 (java) S 7685 7685 7028 0 -1 1077944384 29049 0 0 0 49 19 0 0 20 0 28 0 145552138 27176681472 231913 33554432000 4194304 4196468 140731979880640 139940108654576 139941903817346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7698] ppid=7685 vsize=26539728 memory=2204 CPUtime=0 cores=0-7
/proc/7687/task/7698/stat : 7698 (java) S 7685 7685 7028 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 145552138 27176681472 231913 33554432000 4194304 4196468 140731979880640 139940107600864 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7699] ppid=7685 vsize=26539728 memory=7788 CPUtime=0 cores=0-7
/proc/7687/task/7699/stat : 7699 (java) S 7685 7685 7028 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 145552139 27176681472 231913 33554432000 4194304 4196468 140731979880640 139940106548224 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7700] ppid=7685 vsize=26539728 memory=840 CPUtime=0 cores=0-7
/proc/7687/task/7700/stat : 7700 (java) S 7685 7685 7028 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145552141 27176681472 231913 33554432000 4194304 4196468 140731979880640 139940105496784 139941903824795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7701] ppid=7685 vsize=26539728 memory=8112282956445269571 CPUtime=2.22 cores=0-7
/proc/7687/task/7701/stat : 7701 (java) S 7685 7685 7028 0 -1 1077944384 17175 0 0 0 219 3 0 0 20 0 28 0 145552141 27176681472 231913 33554432000 4194304 4196468 140731979880640 139940104444400 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7702] ppid=7685 vsize=26539728 memory=22484 CPUtime=1.84 cores=0-7
/proc/7687/task/7702/stat : 7702 (java) S 7685 7685 7028 0 -1 1077944384 16703 0 0 0 181 3 0 0 20 0 28 0 145552141 27176681472 231913 33554432000 4194304 4196468 140731979880640 139940103391856 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7703] ppid=7685 vsize=26539728 memory=4040 CPUtime=2.07 cores=0-7
/proc/7687/task/7703/stat : 7703 (java) S 7685 7685 7028 0 -1 1077944384 14826 0 0 0 205 2 0 0 20 0 28 0 145552141 27176681472 231913 33554432000 4194304 4196468 140731979880640 139940102339312 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7704] ppid=7685 vsize=26539728 memory=1236 CPUtime=0.97 cores=0-7
/proc/7687/task/7704/stat : 7704 (java) S 7685 7685 7028 0 -1 1077944384 17998 0 0 0 94 3 0 0 20 0 28 0 145552141 27176681472 231913 33554432000 4194304 4196468 140731979880640 139939631065968 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7705] ppid=7685 vsize=26539728 memory=644 CPUtime=0 cores=0-7
/proc/7687/task/7705/stat : 7705 (java) S 7685 7685 7028 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145552141 27176681472 231913 33554432000 4194304 4196468 140731979880640 139939630012640 139941903816405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=7706] ppid=7685 vsize=26539728 memory=1788 CPUtime=0.99 cores=0-7
/proc/7687/task/7706/stat : 7706 (java) S 7685 7685 7028 0 -1 1077944384 5633 0 0 0 0 99 0 0 20 0 28 0 145552142 27176681472 231913 33554432000 4194304 4196468 140731979880640 139939628960176 139941903817346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=10248] ppid=7685 vsize=26539728 memory=956 CPUtime=232.49 cores=0-7
/proc/7687/task/10248/stat : 10248 (java) R 7685 7685 7028 0 -1 4202560 1557 0 0 0 23247 2 0 0 20 0 28 0 145780858 27176681472 231913 33554432000 4194304 4196468 140731979880640 139939619896280 139941534065632 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=10249] ppid=7685 vsize=26539728 memory=2344 CPUtime=232.31 cores=0-7
/proc/7687/task/10249/stat : 10249 (java) R 7685 7685 7028 0 -1 4202560 1643 0 0 0 23229 2 0 0 20 0 28 0 145780858 27176681472 231913 33554432000 4194304 4196468 140731979880640 139939612528824 139941535059735 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=10250] ppid=7685 vsize=26539728 memory=927652 CPUtime=231.59 cores=0-7
/proc/7687/task/10250/stat : 10250 (java) R 7685 7685 7028 0 -1 4202560 1749 0 0 0 23158 1 0 0 20 0 28 0 145780858 27176681472 231913 33554432000 4194304 4196468 140731979880640 139939614634424 139941533638911 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=10251] ppid=7685 vsize=26539728 memory=1420 CPUtime=231.48 cores=0-7
/proc/7687/task/10251/stat : 10251 (java) R 7685 7685 7028 0 -1 4202560 6035 0 0 0 23142 6 0 0 20 0 28 0 145780858 27176681472 231913 33554432000 4194304 4196468 140731979880640 139939617795328 139941534370446 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=10252] ppid=7685 vsize=26539728 memory=13144 CPUtime=232.53 cores=0-7
/proc/7687/task/10252/stat : 10252 (java) R 7685 7685 7028 0 -1 4202560 4099 0 0 0 23247 6 0 0 20 0 28 0 145780858 27176681472 231913 33554432000 4194304 4196468 140731979880640 139939620950464 139941534065613 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=10253] ppid=7685 vsize=26539728 memory=1944 CPUtime=231.34 cores=0-7
/proc/7687/task/10253/stat : 10253 (java) R 7685 7685 7028 0 -1 4202560 2463 0 0 0 23132 2 0 0 20 0 28 0 145780858 27176681472 231913 33554432000 4194304 4196468 140731979880640 139939613582136 139941534065589 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=10254] ppid=7685 vsize=26539728 memory=1196 CPUtime=232.49 cores=0-7
/proc/7687/task/10254/stat : 10254 (java) R 7685 7685 7028 0 -1 4202560 1793 0 0 0 23247 2 0 0 20 0 28 0 145780858 27176681472 231913 33554432000 4194304 4196468 140731979880640 139939618844504 139941533615341 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
[pid=7687/tid=10255] ppid=7685 vsize=26539728 memory=8588 CPUtime=231.75 cores=0-7
/proc/7687/task/10255/stat : 10255 (java) R 7685 7685 7028 0 -1 4202560 1690 0 0 0 23173 2 0 0 20 0 28 0 145780858 27176681472 231913 33554432000 4194304 4196468 140731979880640 139939616739048 139941534065645 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 23457792 140731979887762 140731979887939 140731979887939 140731979890639 0
Current children cumulated CPU time: 20075.7 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 929036 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 7685 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000669 s, system=0.001339 s
[startup+2520.11 s]
# the end of solver process 7687 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20072.1 s, system=4.28659 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.11
CPU time (s): 20076.4
CPU user time (s): 20072.1
CPU system time (s): 4.28659
CPU usage (%): 796.645
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 1175704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20072.1
system time used= 4.28659
maximum resident set size= 1174320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 440997
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112637
involuntary context switches= 205164
# summary of solver processes directly reported to runsolver:
# pid: 7685,7687
# total CPU time (s): 20076.4
# total CPU user time (s): 20072.1
# total CPU system time (s): 4.28659
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.1511 second user time and 31.414 second system time
The end
Begin job on node103 at 2017-08-19 08:23:01
IDJOB=4280439
IDBENCH=122969
IDSOLVER=2675
FILE ID=node103/4280439-1503124641
RUNJOBID= node103-1503120667-7055
PBS_JOBID= 20630769
Free space on /tmp= 61652 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-10-360-120.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280439-1503124641/watcher-4280439-1503124641 -o /tmp/evaluation-result-4280439-1503124641/solver-4280439-1503124641 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503120667-7055 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 164350487 HOME/instance-4280439-1503124641.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 76b33169874d58bfc9aedd730e623c3c
RANDOM SEED=164350487
node103.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.56
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.56
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.56
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.56
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: 27045108 kB
MemAvailable: 31972916 kB
Buffers: 230140 kB
Cached: 4991948 kB
SwapCached: 0 kB
Active: 993576 kB
Inactive: 4283972 kB
Active(anon): 4872 kB
Inactive(anon): 86700 kB
Active(file): 988704 kB
Inactive(file): 4197272 kB
Unevictable: 7496 kB
Mlocked: 7496 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8012 kB
Writeback: 0 kB
AnonPages: 73024 kB
Mapped: 49952 kB
Shmem: 33420 kB
Slab: 141852 kB
SReclaimable: 115336 kB
SUnreclaim: 26516 kB
KernelStack: 3536 kB
PageTables: 4700 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 332728 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 114048 kB
DirectMap2M: 33431552 kB
Free space on /tmp at the end= 61644 MiB
End job on node103 at 2017-08-19 09:05:01