0.00/0.09	c 280717
0.49/0.69	o 4
0.60/0.70	o 6
0.60/0.70	o 7
0.60/0.70	o 8
0.60/0.71	o 9
0.60/0.71	o 10
0.60/0.71	o 11
0.60/0.71	o 12
0.70/0.80	o 13
0.70/0.80	o 14
0.70/0.80	o 15
0.70/0.80	o 16
0.70/0.80	o 17
0.70/0.81	o 20
0.70/0.81	o 21
0.70/0.82	o 22
0.70/0.82	o 23
0.70/0.82	o 24
0.80/0.91	o 27
0.80/0.91	o 28
0.80/0.91	o 29
0.80/0.91	o 32
0.80/0.91	o 33
0.80/0.91	o 34
0.80/0.92	o 36
0.80/0.92	o 37
0.80/0.92	o 38
0.90/1.01	o 42
0.90/1.02	o 43
0.90/1.02	o 44
0.90/1.02	o 45
0.90/1.02	o 46
0.90/1.02	o 48
0.90/1.02	o 49
0.90/1.02	o 50
0.90/1.03	o 52
0.90/1.03	o 53
0.90/1.04	o 55
0.90/1.04	o 56
0.90/1.08	o 57
1.00/1.16	o 59
1.00/1.16	o 60
1.00/1.16	o 61
1.00/1.17	o 63
1.00/1.17	o 64
1.00/1.17	o 65
1.00/1.19	o 66
1.09/1.27	o 67
1.09/1.28	o 68
1.09/1.28	o 69
1.09/1.28	o 70
1.09/1.29	o 73
1.09/1.29	o 74
1.19/1.37	o 75
1.19/1.37	o 76
1.19/1.38	o 77
1.19/1.38	o 78
1.19/1.38	o 79
1.19/1.38	o 80
1.29/1.40	o 82
1.29/1.40	o 83
1.29/1.40	o 84
1.39/1.51	o 86
1.39/1.51	o 87
1.39/1.51	o 88
1.39/1.52	o 89
1.39/1.52	o 90
1.39/1.52	o 91
1.39/1.52	o 92
1.39/1.55	o 94
1.39/1.56	o 95
1.39/1.56	o 96
1.39/1.56	o 97
1.39/1.57	o 98
1.39/1.57	o 99
2.00/2.12	o 100
2.09/2.21	o 101
2.09/2.22	o 102
2.19/2.30	o 103
2.19/2.30	o 104
2.19/2.31	o 105
2.19/2.32	o 106
2.19/2.33	o 107
2.19/2.35	o 108
2.19/2.36	o 109
2.29/2.45	o 111
2.39/2.51	o 112
2.39/2.56	o 113
2.59/2.73	o 114
2.69/2.83	o 115
3.10/3.24	o 150
3.10/3.25	o 152
3.10/3.25	o 153
3.10/3.25	o 154
3.10/3.26	o 155
3.10/3.27	o 156
3.10/3.27	o 157
3.10/3.27	o 158
3.19/3.36	o 159
3.29/3.47	o 160
3.49/3.67	o 163
3.59/3.70	o 164
3.90/4.06	o 166
3.90/4.08	o 167
4.00/4.11	o 168
4.39/4.50	o 172
4.39/4.50	o 173
4.49/4.62	o 174
4.79/4.96	o 175
5.00/5.15	o 187
5.09/5.23	o 188
5.09/5.24	o 189
5.09/5.25	o 190
5.09/5.26	o 191
5.69/5.83	o 194
6.00/6.12	o 204
6.00/6.13	o 205
6.00/6.13	o 206
6.09/6.21	o 207
6.09/6.21	o 208
6.09/6.22	o 209
6.09/6.22	o 210
6.49/6.61	o 211
6.49/6.63	o 212
6.49/6.65	o 213
6.69/6.82	o 214
6.90/7.08	o 215
7.00/7.18	o 216
7.69/7.81	o 217
7.69/7.82	o 218
7.79/7.96	o 219
7.79/7.99	o 220
7.79/7.99	o 221
7.90/8.01	o 222
7.90/8.04	o 223
7.90/8.09	o 224
8.00/8.16	o 225
8.00/8.17	o 226
8.19/8.31	o 227
8.19/8.31	o 228
8.29/8.41	o 229
8.59/8.78	o 234
8.69/8.80	o 242
9.19/9.36	o 245
9.29/9.43	o 246
9.29/9.45	o 247
9.29/9.45	o 248
9.39/9.58	o 249
10.29/10.49	o 250
10.39/10.53	o 251
11.39/11.52	o 252
11.49/11.61	o 253
11.49/11.61	o 254
12.90/13.10	o 255
13.00/13.12	o 256
13.39/13.53	o 257
13.39/13.56	o 258
13.49/13.64	o 259
13.90/14.06	o 265
14.19/14.33	o 266
14.19/14.37	o 267
14.39/14.54	o 268
14.39/14.55	o 269
15.69/15.85	o 273
16.29/16.49	o 274
17.29/17.46	o 281
17.39/17.50	o 282
18.49/18.66	o 285
19.29/19.41	o 286
20.09/20.28	o 287
22.00/22.12	o 288
22.59/22.80	o 289
28.00/28.19	o 290
28.00/28.19	o 291
28.69/28.82	o 292
28.69/28.83	o 293
34.79/34.94	o 294
34.90/35.08	o 295
44.28/44.41	o 296
48.38/48.55	o 297
48.38/48.56	o 298
51.18/51.36	o 299
51.18/51.37	o 300
51.18/51.38	o 301
51.89/52.06	o 302
52.38/52.52	o 303
52.48/52.67	o 304
53.99/54.19	o 310
54.89/55.06	o 311
55.38/55.59	o 312
55.48/55.69	o 313
56.08/56.23	o 314
59.18/59.39	o 316
59.28/59.40	o 317
68.18/68.39	o 318
68.69/68.89	o 319
78.09/78.23	o 320
78.09/78.23	o 321
82.49/82.69	o 322
83.49/83.64	o 327
84.49/84.62	o 328
84.49/84.66	o 329
84.49/84.66	o 330
85.00/85.19	o 331
85.19/85.30	o 332
85.19/85.32	o 333
90.00/90.12	o 336
105.58/105.79	o 337
106.68/106.82	o 338
112.58/112.72	o 339
112.58/112.73	o 340
112.58/112.73	o 341
112.68/112.86	o 342
112.68/112.86	o 343
113.99/114.17	o 344
131.26/131.43	o 350
131.56/131.78	o 351
140.05/140.29	o 352
140.15/140.36	o 353
140.55/140.79	o 354
153.74/153.91	o 357
154.73/154.96	o 358
156.43/156.69	o 359
158.63/158.81	o 360
179.61/179.83	o 361
185.00/185.24	o 362
189.30/189.53	o 363
205.29/205.57	o 364
228.29/228.59	o 367
251.79/252.00	s SATISFIABLE
251.79/252.00	v <instantiation type="solution">
251.79/252.00	v   <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] z </list>
251.79/252.01	v   <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 0 1 0 1 1 1 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 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 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 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 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 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 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 15 20 23 28 32 36 39 41 46 49 51 55 57 58 60 61 63 64 67 70 73 73 74 76 78 84 84 88 98 367 </values>
251.79/252.01	v </instantiation>

OK	367

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 (15373 MiB free)
  memory of node 1: 16384 MiB (15397 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259315-1502645145/watcher-4259315-1502645145 -o /tmp/evaluation-result-4259315-1502645145/solver-4259315-1502645145 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502640747-30539 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 307841202 HOME/instance-4259315-1502645145.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=32565, runsolver pid=32562

[startup+0.108316 s]*
/proc/loadavg: 2.17 2.05 2.08 3/182 32566
/proc/meminfo: memFree=31505408/32770624 swapFree=67105588/67108860
[pid=32565] ppid=32562 vsize=39140 memory=13600 CPUtime=0.01 cores=0,2,4,6
/proc/32565/stat : 32565 (MistralXCSP) R 32562 32565 12560 0 -1 4202496 3580 0 0 0 1 0 0 0 20 0 1 0 66709930 40079360 3400 18446744073709551615 4194304 7396336 140730079324480 140730079315864 5876316 0 0 1 0 0 0 0 17 0 0 0 9 0 0 9496464 9501696 37666816 140730079326611 140730079326760 140730079326760 140730079330249 0
/proc/32565/statm: 9785 3400 641 782 0 2801 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 39140 KiB
Current children cumulated memory: 13600 KiB

[startup+0.209425 s]*
/proc/loadavg: 2.17 2.05 2.08 3/182 32566
/proc/meminfo: memFree=31447200/32770624 swapFree=67105588/67108860
[pid=32565] ppid=32562 vsize=98184 memory=72736 CPUtime=0.11 cores=0,2,4,6
/proc/32565/stat : 32565 (MistralXCSP) R 32562 32565 12560 0 -1 4202496 18344 0 0 0 8 3 0 0 20 0 1 0 66709930 100540416 18118 18446744073709551615 4194304 7396336 140730079324480 140730079315864 140178595277797 0 0 1 0 0 0 0 17 0 0 0 9 0 0 9496464 9501696 37666816 140730079326611 140730079326760 140730079326760 140730079330249 0
/proc/32565/statm: 24546 18184 646 782 0 17562 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 98184 KiB
Current children cumulated memory: 72736 KiB

[startup+0.3093 s]*
/proc/loadavg: 2.17 2.05 2.08 3/182 32566
/proc/meminfo: memFree=31370072/32770624 swapFree=67105588/67108860
[pid=32565] ppid=32562 vsize=175032 memory=149296 CPUtime=0.21 cores=0,2,4,6
/proc/32565/stat : 32565 (MistralXCSP) R 32562 32565 12560 0 -1 4202496 37541 0 0 0 15 6 0 0 20 0 1 0 66709930 179232768 37324 18446744073709551615 4194304 7396336 140730079324480 140730079315864 140178595271477 0 0 1 0 0 0 0 17 0 0 0 9 0 0 9496464 9501696 37666816 140730079326611 140730079326760 140730079326760 140730079330249 0
/proc/32565/statm: 43758 37324 646 782 0 36774 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 175032 KiB
Current children cumulated memory: 149296 KiB

[startup+0.700262 s]
/proc/loadavg: 2.17 2.05 2.08 4/182 32566
/proc/meminfo: memFree=31336220/32770624 swapFree=67105588/67108860
[pid=32565] ppid=32562 vsize=205076 memory=180012 CPUtime=0.6 cores=0,2,4,6
/proc/32565/stat : 32565 (MistralXCSP) R 32562 32565 12560 0 -1 4202496 45371 0 0 0 53 7 0 0 20 0 1 0 66709930 209997824 45003 18446744073709551615 4194304 7396336 140730079324480 140730079317720 5771136 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 37666816 140730079326611 140730079326760 140730079326760 140730079330249 0
/proc/32565/statm: 51269 45003 784 782 0 44285 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 205076 KiB
Current children cumulated memory: 180012 KiB

[startup+1.50042 s]
/proc/loadavg: 2.17 2.05 2.08 3/182 32566
/proc/meminfo: memFree=31332388/32770624 swapFree=67105588/67108860
[pid=32565] ppid=32562 vsize=206000 memory=180804 CPUtime=1.39 cores=0,2,4,6
/proc/32565/stat : 32565 (MistralXCSP) R 32562 32565 12560 0 -1 4202496 45598 0 0 0 132 7 0 0 20 0 1 0 66709930 210944000 45201 18446744073709551615 4194304 7396336 140730079324480 140730079319496 5792030 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 37666816 140730079326611 140730079326760 140730079326760 140730079330249 0
/proc/32565/statm: 51500 45201 789 782 0 44516 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 206000 KiB
Current children cumulated memory: 180804 KiB

[startup+3.10941 s]
/proc/loadavg: 2.17 2.05 2.08 3/181 32566
/proc/meminfo: memFree=31332928/32770624 swapFree=67105588/67108860
[pid=32565] ppid=32562 vsize=206396 memory=181508 CPUtime=3 cores=0,2,4,6
/proc/32565/stat : 32565 (MistralXCSP) R 32562 32565 12560 0 -1 4202496 72166 0 0 0 292 8 0 0 20 0 1 0 66709930 211349504 45377 18446744073709551615 4194304 7396336 140730079324480 140730079319496 5792023 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 37666816 140730079326611 140730079326760 140730079326760 140730079330249 0
/proc/32565/statm: 51599 45377 791 782 0 44615 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 206396 KiB
Current children cumulated memory: 181508 KiB

[startup+6.30043 s]
/proc/loadavg: 2.16 2.05 2.08 3/181 32566
/proc/meminfo: memFree=31332920/32770624 swapFree=67105588/67108860
[pid=32565] ppid=32562 vsize=206792 memory=181940 CPUtime=6.19 cores=0,2,4,6
/proc/32565/stat : 32565 (MistralXCSP) R 32562 32565 12560 0 -1 4202496 100157 0 0 0 609 10 0 0 20 0 1 0 66709930 211755008 45485 18446744073709551615 4194304 7396336 140730079324480 140730079319496 5839008 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 37666816 140730079326611 140730079326760 140730079326760 140730079330249 0
/proc/32565/statm: 51698 45485 791 782 0 44714 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 206792 KiB
Current children cumulated memory: 181940 KiB

[startup+12.7004 s]
/proc/loadavg: 2.14 2.05 2.08 3/181 32566
/proc/meminfo: memFree=31333548/32770624 swapFree=67105588/67108860
[pid=32565] ppid=32562 vsize=207056 memory=182200 CPUtime=12.59 cores=0,2,4,6
/proc/32565/stat : 32565 (MistralXCSP) R 32562 32565 12560 0 -1 4202496 127684 0 0 0 1248 11 0 0 20 0 1 0 66709930 212025344 45550 18446744073709551615 4194304 7396336 140730079324480 140730079319496 5839012 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 37666816 140730079326611 140730079326760 140730079326760 140730079330249 0
/proc/32565/statm: 51764 45550 791 782 0 44780 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 207056 KiB
Current children cumulated memory: 182200 KiB

[startup+25.5004 s]
/proc/loadavg: 2.11 2.04 2.08 3/181 32566
/proc/meminfo: memFree=31334500/32770624 swapFree=67105588/67108860
[pid=32565] ppid=32562 vsize=207320 memory=182400 CPUtime=25.39 cores=0,2,4,6
/proc/32565/stat : 32565 (MistralXCSP) R 32562 32565 12560 0 -1 4202496 182010 0 0 0 2525 14 0 0 20 0 1 0 66709930 212295680 45600 18446744073709551615 4194304 7396336 140730079324480 140730079319496 4252931 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 37666816 140730079326611 140730079326760 140730079326760 140730079330249 0
/proc/32565/statm: 51830 45600 791 782 0 44846 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 207320 KiB
Current children cumulated memory: 182400 KiB

[startup+51.1094 s]
/proc/loadavg: 2.07 2.04 2.08 3/181 32567
/proc/meminfo: memFree=31334248/32770624 swapFree=67105588/67108860
[pid=32565] ppid=32562 vsize=207452 memory=182512 CPUtime=50.99 cores=0,2,4,6
/proc/32565/stat : 32565 (MistralXCSP) R 32562 32565 12560 0 -1 4202496 210279 0 0 0 5084 15 0 0 20 0 1 0 66709930 212430848 45628 18446744073709551615 4194304 7396336 140730079324480 140730079319496 5165805 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 37666816 140730079326611 140730079326760 140730079326760 140730079330249 0
/proc/32565/statm: 51863 45628 791 782 0 44879 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 207452 KiB
Current children cumulated memory: 182512 KiB

[startup+102.3 s]
/proc/loadavg: 2.11 2.05 2.08 3/181 32568
/proc/meminfo: memFree=31333888/32770624 swapFree=67105588/67108860
[pid=32565] ppid=32562 vsize=207452 memory=182568 CPUtime=102.19 cores=0,2,4,6
/proc/32565/stat : 32565 (MistralXCSP) R 32562 32565 12560 0 -1 4202496 237920 0 0 0 10202 17 0 0 20 0 1 0 66709930 212430848 45642 18446744073709551615 4194304 7396336 140730079324480 140730079319496 4406506 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 37666816 140730079326611 140730079326760 140730079326760 140730079330249 0
/proc/32565/statm: 51863 45642 791 782 0 44879 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 207452 KiB
Current children cumulated memory: 182568 KiB

[startup+162.3 s]
/proc/loadavg: 2.04 2.04 2.07 3/181 32570
/proc/meminfo: memFree=31332796/32770624 swapFree=67105588/67108860
[pid=32565] ppid=32562 vsize=207452 memory=182596 CPUtime=162.13 cores=0,2,4,6
/proc/32565/stat : 32565 (MistralXCSP) R 32562 32565 12560 0 -1 4202496 261758 0 0 0 16195 18 0 0 20 0 1 0 66709930 212430848 45649 18446744073709551615 4194304 7396336 140730079324480 140730079319496 5792248 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 37666816 140730079326611 140730079326760 140730079326760 140730079330249 0
/proc/32565/statm: 51863 45649 791 782 0 44879 0
Current children cumulated CPU time: 162.13 s
Current children cumulated vsize: 207452 KiB
Current children cumulated memory: 182596 KiB

[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.07 3/181 32572
/proc/meminfo: memFree=31333472/32770624 swapFree=67105588/67108860
[pid=32565] ppid=32562 vsize=207452 memory=182608 CPUtime=222.09 cores=0,2,4,6
/proc/32565/stat : 32565 (MistralXCSP) R 32562 32565 12560 0 -1 4202496 269576 0 0 0 22191 18 0 0 20 0 1 0 66709930 212430848 45652 18446744073709551615 4194304 7396336 140730079324480 140730079319496 4543870 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 37666816 140730079326611 140730079326760 140730079326760 140730079330249 0
/proc/32565/statm: 51863 45652 791 782 0 44879 0
Current children cumulated CPU time: 222.09 s
Current children cumulated vsize: 207452 KiB
Current children cumulated memory: 182608 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 1.93 2.02 2.06 3/181 32638
/proc/meminfo: memFree=31308812/32770624 swapFree=67105588/67108860
[pid=32565] ppid=32562 vsize=207452 memory=182632 CPUtime=251.79 cores=0,2,4,6
/proc/32565/stat : 32565 (MistralXCSP) R 32562 32565 12560 0 -1 4202496 270015 0 0 0 25161 18 0 0 20 0 1 0 66709930 212430848 45658 18446744073709551615 4194304 7396336 140730079324480 140730079319496 5792027 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 37666816 140730079326611 140730079326760 140730079326760 140730079330249 0
/proc/32565/statm: 51863 45658 791 782 0 44879 0
Current children cumulated CPU time: 251.79 s
Current children cumulated vsize: 207452 KiB
Current children cumulated memory: 182632 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.011 s]
# the end of solver process 32565 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.62 s, system=0.190977 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 252.011
CPU time (s): 251.811
CPU user time (s): 251.62
CPU system time (s): 0.190977
CPU usage (%): 99.9205
Max. virtual memory (cumulated for all children) (KiB): 207452
Max. memory (cumulated for all children) (KiB): 182632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.62
system time used= 0.190977
maximum resident set size= 182656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270047
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89
involuntary context switches= 323


# summary of solver processes directly reported to runsolver:
#   pid: 32565
#   total CPU time (s): 251.811
#   total CPU user time (s): 251.62
#   total CPU system time (s): 0.190977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.01703 second user time and 1.84936 second system time

The end

Begin job on node126 at 2017-08-13 19:11:44
IDJOB=4259315
IDBENCH=115900
IDSOLVER=2645
FILE ID=node126/4259315-1502645145
RUNJOBID= node126-1502640747-30539
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-27.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259315-1502645145/watcher-4259315-1502645145 -o /tmp/evaluation-result-4259315-1502645145/solver-4259315-1502645145 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502640747-30539 --watchdog 312  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 307841202 HOME/instance-4259315-1502645145.xml

TIME LIMIT= 252 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 7effaf54e6298c2e2ce7b82787858117
RANDOM SEED=307841202

node126.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.81
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.81
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.81
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.81
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:        31509576 kB
MemAvailable:   31797268 kB
Buffers:          271160 kB
Cached:           287152 kB
SwapCached:          524 kB
Active:           603608 kB
Inactive:         176668 kB
Active(anon):     170008 kB
Inactive(anon):    85428 kB
Active(file):     433600 kB
Inactive(file):    91240 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:              6056 kB
Writeback:             0 kB
AnonPages:        221304 kB
Mapped:            48532 kB
Shmem:             33440 kB
Slab:             183608 kB
SReclaimable:     157376 kB
SUnreclaim:        26232 kB
KernelStack:        3232 kB
PageTables:         5428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62020 MiB
End job on node126 at 2017-08-13 19:15:56