0.00/0.00 c [picomus] WARNING: no output file given
0.00/0.00 c [picomus] p cnf 4740 34881
0.09/0.18 s UNSATISFIABLE
0.09/0.18 c [picomus] extracted core 1 of size 3226 out of 34881 (9%) after 0.2 sec
0.29/0.35 c [picomus] extracted core 2 of size 2748 out of 34881 (8%) after 0.4 sec
0.39/0.47 c [picomus] extracted core 3 of size 2574 out of 34881 (7%) after 0.5 sec
0.49/0.59 c [picomus] extracted core 4 of size 2423 out of 34881 (7%) after 0.6 sec
0.69/0.74 c [picomus] extracted core 5 of size 2295 out of 34881 (7%) after 0.7 sec
0.79/0.86 c [picomus] extracted core 6 of size 2266 out of 34881 (6%) after 0.9 sec
1.00/1.00 c [picomus] extracted core 7 of size 2249 out of 34881 (6%) after 1.0 sec
1.10/1.13 c [picomus] extracted core 8 of size 1942 out of 34881 (6%) after 1.1 sec
1.19/1.22 c [picomus] extracted core 9 of size 1795 out of 34881 (5%) after 1.2 sec
1.29/1.32 c [picomus] extracted core 10 of size 1726 out of 34881 (5%) after 1.3 sec
1.39/1.40 c [picomus] extracted core 11 of size 1666 out of 34881 (5%) after 1.4 sec
1.39/1.49 c [picomus] extracted core 12 of size 1655 out of 34881 (5%) after 1.5 sec
1.49/1.59 c [picomus] extracted core 13 of size 1636 out of 34881 (5%) after 1.6 sec
1.59/1.69 c [picomus] extracted core 14 of size 1630 out of 34881 (5%) after 1.7 sec
1.69/1.79 c [picomus] extracted core 15 of size 1627 out of 34881 (5%) after 1.8 sec
1.79/1.86 c [picomus] extracted core 16 of size 1601 out of 34881 (5%) after 1.9 sec
1.89/1.98 c [picomus] extracted core 17 of size 1598 out of 34881 (5%) after 2.0 sec
1.99/2.07 c [picomus] extracted core 18 of size 1593 out of 34881 (5%) after 2.1 sec
2.39/2.44 c [picomus] reduction 1 to 1584 out of 34881 (5%) after 2.4 sec
2.39/2.44 c [picomus] reduction 2 to 1583 out of 34881 (5%) after 2.4 sec
2.39/2.45 c [picomus] reduction 3 to 1582 out of 34881 (5%) after 2.5 sec
2.49/2.53 c [picomus] reduction 4 to 1581 out of 34881 (5%) after 2.5 sec
2.49/2.55 c [picomus] reduction 5 to 1580 out of 34881 (5%) after 2.6 sec
2.59/2.62 c [picomus] reduction 6 to 1579 out of 34881 (5%) after 2.6 sec
2.69/2.74 c [picomus] reduction 7 to 1519 out of 34881 (4%) after 2.7 sec
2.69/2.79 c [picomus] reduction 8 to 1518 out of 34881 (4%) after 2.8 sec
2.79/2.85 c [picomus] reduction 9 to 1504 out of 34881 (4%) after 2.9 sec
2.79/2.89 c [picomus] reduction 10 to 1489 out of 34881 (4%) after 2.9 sec
2.89/2.90 c [picomus] reduction 11 to 1488 out of 34881 (4%) after 2.9 sec
2.89/2.93 c [picomus] reduction 12 to 1486 out of 34881 (4%) after 2.9 sec
2.89/2.95 c [picomus] reduction 13 to 1485 out of 34881 (4%) after 3.0 sec
2.89/2.97 c [picomus] reduction 14 to 1484 out of 34881 (4%) after 3.0 sec
2.99/3.00 c [picomus] reduction 15 to 1483 out of 34881 (4%) after 3.0 sec
2.99/3.02 c [picomus] reduction 16 to 1482 out of 34881 (4%) after 3.0 sec
2.99/3.05 c [picomus] reduction 17 to 1481 out of 34881 (4%) after 3.1 sec
3.09/3.10 c [picomus] reduction 18 to 1476 out of 34881 (4%) after 3.1 sec
3.09/3.14 c [picomus] reduction 19 to 1473 out of 34881 (4%) after 3.1 sec
3.09/3.16 c [picomus] reduction 20 to 1472 out of 34881 (4%) after 3.2 sec
3.09/3.19 c [picomus] reduction 21 to 1468 out of 34881 (4%) after 3.2 sec
3.19/3.21 c [picomus] reduction 22 to 1467 out of 34881 (4%) after 3.2 sec
3.19/3.23 c [picomus] reduction 23 to 1466 out of 34881 (4%) after 3.2 sec
3.19/3.25 c [picomus] reduction 24 to 1465 out of 34881 (4%) after 3.3 sec
3.19/3.27 c [picomus] reduction 25 to 1464 out of 34881 (4%) after 3.3 sec
3.19/3.30 c [picomus] reduction 26 to 1463 out of 34881 (4%) after 3.3 sec
3.29/3.32 c [picomus] reduction 27 to 1462 out of 34881 (4%) after 3.3 sec
3.29/3.34 c [picomus] reduction 28 to 1460 out of 34881 (4%) after 3.3 sec
3.29/3.37 c [picomus] reduction 29 to 1459 out of 34881 (4%) after 3.4 sec
3.29/3.39 c [picomus] reduction 30 to 1458 out of 34881 (4%) after 3.4 sec
3.39/3.46 c [picomus] reduction 31 to 1450 out of 34881 (4%) after 3.5 sec
3.49/3.51 c [picomus] reduction 32 to 1447 out of 34881 (4%) after 3.5 sec
3.49/3.55 c [picomus] reduction 33 to 1446 out of 34881 (4%) after 3.6 sec
3.49/3.58 c [picomus] reduction 34 to 1440 out of 34881 (4%) after 3.6 sec
3.59/3.61 c [picomus] reduction 35 to 1438 out of 34881 (4%) after 3.6 sec
3.59/3.67 c [picomus] reduction 36 to 1437 out of 34881 (4%) after 3.7 sec
3.69/3.70 c [picomus] reduction 37 to 1435 out of 34881 (4%) after 3.7 sec
3.69/3.72 c [picomus] reduction 38 to 1434 out of 34881 (4%) after 3.7 sec
3.69/3.74 c [picomus] reduction 39 to 1433 out of 34881 (4%) after 3.7 sec
3.69/3.78 c [picomus] reduction 40 to 1432 out of 34881 (4%) after 3.8 sec
3.79/3.81 c [picomus] reduction 41 to 1431 out of 34881 (4%) after 3.8 sec
3.79/3.88 c [picomus] reduction 42 to 1430 out of 34881 (4%) after 3.9 sec
3.89/3.91 c [picomus] reduction 43 to 1429 out of 34881 (4%) after 3.9 sec
3.89/3.92 c [picomus] reduction 44 to 1428 out of 34881 (4%) after 3.9 sec
3.89/3.97 c [picomus] reduction 45 to 1427 out of 34881 (4%) after 4.0 sec
3.89/3.99 c [picomus] reduction 46 to 1426 out of 34881 (4%) after 4.0 sec
3.99/4.05 c [picomus] reduction 47 to 1423 out of 34881 (4%) after 4.1 sec
4.09/4.19 c [picomus] reduction 48 to 1409 out of 34881 (4%) after 4.2 sec
4.40/4.44 c [picomus] reduction 49 to 1386 out of 34881 (4%) after 4.4 sec
4.49/4.57 c [picomus] reduction 50 to 1385 out of 34881 (4%) after 4.6 sec
4.69/4.75 c [picomus] reduction 51 to 1378 out of 34881 (4%) after 4.8 sec
4.79/4.89 c [picomus] reduction 52 to 1375 out of 34881 (4%) after 4.9 sec
4.89/4.93 c [picomus] reduction 53 to 1374 out of 34881 (4%) after 4.9 sec
4.99/5.07 c [picomus] reduction 54 to 1372 out of 34881 (4%) after 5.1 sec
5.40/5.46 c [picomus] reduction 55 to 1364 out of 34881 (4%) after 5.5 sec
5.79/5.80 c [picomus] reduction 56 to 1361 out of 34881 (4%) after 5.8 sec
5.99/6.04 c [picomus] reduction 57 to 1359 out of 34881 (4%) after 6.0 sec
6.19/6.28 c [picomus] reduction 58 to 1358 out of 34881 (4%) after 6.3 sec
6.39/6.45 c [picomus] reduction 59 to 1357 out of 34881 (4%) after 6.5 sec
6.39/6.47 c [picomus] reduction 60 to 1355 out of 34881 (4%) after 6.5 sec
7.49/7.51 c [picomus] reduction 61 to 1354 out of 34881 (4%) after 7.5 sec
7.60/7.62 c [picomus] reduction 62 to 1353 out of 34881 (4%) after 7.6 sec
7.70/7.74 c [picomus] reduction 63 to 1349 out of 34881 (4%) after 7.7 sec
7.89/7.91 c [picomus] reduction 64 to 1348 out of 34881 (4%) after 7.9 sec
7.89/7.97 c [picomus] reduction 65 to 1347 out of 34881 (4%) after 8.0 sec
7.99/8.04 c [picomus] reduction 66 to 1346 out of 34881 (4%) after 8.0 sec
7.99/8.08 c [picomus] reduction 67 to 1345 out of 34881 (4%) after 8.1 sec
8.09/8.13 c [picomus] reduction 68 to 1342 out of 34881 (4%) after 8.1 sec
8.09/8.17 c [picomus] reduction 69 to 1341 out of 34881 (4%) after 8.2 sec
8.09/8.19 c [picomus] reduction 70 to 1340 out of 34881 (4%) after 8.2 sec
8.80/8.87 c [picomus] reduction 71 to 1336 out of 34881 (4%) after 8.9 sec
8.99/9.03 c [picomus] reduction 72 to 1330 out of 34881 (4%) after 9.0 sec
9.90/9.95 c [picomus] reduction 73 to 1328 out of 34881 (4%) after 10.0 sec
10.39/10.43 c [picomus] reduction 74 to 1326 out of 34881 (4%) after 10.4 sec
11.29/11.31 c [picomus] reduction 75 to 1324 out of 34881 (4%) after 11.3 sec
11.29/11.33 c [picomus] reduction 76 to 1322 out of 34881 (4%) after 11.3 sec
11.29/11.34 c [picomus] reduction 77 to 1317 out of 34881 (4%) after 11.3 sec
11.29/11.35 c [picomus] reduction 78 to 1315 out of 34881 (4%) after 11.4 sec
11.29/11.36 c [picomus] reduction 79 to 1313 out of 34881 (4%) after 11.4 sec
11.29/11.38 c [picomus] reduction 80 to 1310 out of 34881 (4%) after 11.4 sec
11.39/11.40 c [picomus] reduction 81 to 1295 out of 34881 (4%) after 11.4 sec
11.39/11.42 c [picomus] reduction 82 to 1293 out of 34881 (4%) after 11.4 sec
11.39/11.43 c [picomus] reduction 83 to 1292 out of 34881 (4%) after 11.4 sec
11.39/11.44 c [picomus] reduction 84 to 1290 out of 34881 (4%) after 11.4 sec
11.39/11.45 c [picomus] reduction 85 to 1289 out of 34881 (4%) after 11.5 sec
11.39/11.46 c [picomus] reduction 86 to 1286 out of 34881 (4%) after 11.5 sec
11.39/11.47 c [picomus] reduction 87 to 1282 out of 34881 (4%) after 11.5 sec
11.39/11.47 c [picomus] reduction 88 to 1280 out of 34881 (4%) after 11.5 sec
11.39/11.49 c [picomus] reduction 89 to 1277 out of 34881 (4%) after 11.5 sec
11.49/11.50 c [picomus] reduction 90 to 1274 out of 34881 (4%) after 11.5 sec
11.49/11.51 c [picomus] reduction 91 to 1272 out of 34881 (4%) after 11.5 sec
11.49/11.51 c [picomus] reduction 92 to 1270 out of 34881 (4%) after 11.5 sec
11.79/11.87 c [picomus] reduction 93 to 1266 out of 34881 (4%) after 11.9 sec
12.40/12.44 c [picomus] reduction 94 to 1263 out of 34881 (4%) after 12.4 sec
12.50/12.59 c [picomus] reduction 95 to 1262 out of 34881 (4%) after 12.6 sec
13.59/13.66 c [picomus] reduction 96 to 1261 out of 34881 (4%) after 13.7 sec
13.69/13.71 c [picomus] reduction 97 to 1260 out of 34881 (4%) after 13.7 sec
13.69/13.74 c [picomus] reduction 98 to 1256 out of 34881 (4%) after 13.7 sec
14.39/14.45 c [picomus] reduction 99 to 1253 out of 34881 (4%) after 14.5 sec
14.39/14.46 c [picomus] reduction 100 to 1251 out of 34881 (4%) after 14.5 sec
14.79/14.89 c [picomus] reduction 101 to 1249 out of 34881 (4%) after 14.9 sec
14.89/14.91 c [picomus] reduction 102 to 1247 out of 34881 (4%) after 14.9 sec
14.89/14.94 c [picomus] reduction 103 to 1245 out of 34881 (4%) after 14.9 sec
14.89/14.98 c [picomus] reduction 104 to 1244 out of 34881 (4%) after 15.0 sec
14.99/15.00 c [picomus] reduction 105 to 1241 out of 34881 (4%) after 15.0 sec
14.99/15.06 c [picomus] reduction 106 to 1239 out of 34881 (4%) after 15.1 sec
14.99/15.09 c [picomus] reduction 107 to 1237 out of 34881 (4%) after 15.1 sec
15.09/15.16 c [picomus] reduction 108 to 1235 out of 34881 (4%) after 15.2 sec
15.09/15.18 c [picomus] reduction 109 to 1234 out of 34881 (4%) after 15.2 sec
15.19/15.27 c [picomus] reduction 110 to 1233 out of 34881 (4%) after 15.3 sec
15.30/15.32 c [picomus] reduction 111 to 1231 out of 34881 (4%) after 15.3 sec
15.30/15.35 c [picomus] reduction 112 to 1229 out of 34881 (4%) after 15.4 sec
15.30/15.38 c [picomus] reduction 113 to 1227 out of 34881 (4%) after 15.4 sec
15.40/15.42 c [picomus] reduction 114 to 1225 out of 34881 (4%) after 15.4 sec
15.40/15.44 c [picomus] reduction 115 to 1223 out of 34881 (4%) after 15.4 sec
15.40/15.49 c [picomus] reduction 116 to 1220 out of 34881 (3%) after 15.5 sec
15.49/15.51 c [picomus] reduction 117 to 1218 out of 34881 (3%) after 15.5 sec
15.59/15.60 c [picomus] reduction 118 to 1216 out of 34881 (3%) after 15.6 sec
15.59/15.64 c [picomus] reduction 119 to 1214 out of 34881 (3%) after 15.6 sec
15.59/15.66 c [picomus] reduction 120 to 1212 out of 34881 (3%) after 15.7 sec
16.40/16.46 c [picomus] reduction 121 to 1211 out of 34881 (3%) after 16.5 sec
16.40/16.46 c [picomus] reduction 122 to 1210 out of 34881 (3%) after 16.5 sec
16.40/16.47 c [picomus] reduction 123 to 1209 out of 34881 (3%) after 16.5 sec
16.40/16.49 c [picomus] reduction 124 to 1208 out of 34881 (3%) after 16.5 sec
16.40/16.50 c [picomus] reduction 125 to 1207 out of 34881 (3%) after 16.5 sec
16.50/16.51 c [picomus] reduction 126 to 1206 out of 34881 (3%) after 16.5 sec
16.50/16.53 c [picomus] reduction 127 to 1205 out of 34881 (3%) after 16.5 sec
16.59/16.64 c [picomus] reduction 128 to 1204 out of 34881 (3%) after 16.6 sec
16.69/16.76 c [picomus] reduction 129 to 1203 out of 34881 (3%) after 16.8 sec
16.69/16.76 c [picomus] reduction 130 to 1202 out of 34881 (3%) after 16.8 sec
16.79/16.80 c [picomus] reduction 131 to 1201 out of 34881 (3%) after 16.8 sec
16.89/16.94 c [picomus] reduction 132 to 1200 out of 34881 (3%) after 16.9 sec
16.99/17.02 c [picosat] 1333 calls
16.99/17.02 c [picosat] 0 iterations
16.99/17.02 c [picosat] 169 restarts
16.99/17.02 c [picosat] 0 failed literals
16.99/17.02 c [picosat] 42043 conflicts
16.99/17.02 c [picosat] 33693519 decisions
16.99/17.02 c [picosat] 1645 fixed variables
16.99/17.02 c [picosat] 14140838 learned literals
16.99/17.02 c [picosat] 2.1% deleted literals
16.99/17.02 c [picosat] 36753789 propagations
16.99/17.02 c [picosat] 7.2% variables used
16.99/17.02 c [picosat] 12.3 seconds in library
16.99/17.02 c [picosat] 3.0 megaprops/second
16.99/17.02 c [picosat] probing 0.1 seconds 1%
16.99/17.02 c [picosat] 24 simplifications
16.99/17.02 c [picosat] 30 reductions
16.99/17.02 c [picosat] 54.5 MB recycled
16.99/17.02 c [picosat] 5.9 MB maximally allocated
16.99/17.02 c [picomus] found 33681 redundant clauses 97%
16.99/17.02 c [picomus] computed MUS of size 1200 out of 34881 (3%)
16.99/17.02 v 3
16.99/17.02 v 7
16.99/17.02 v 11
16.99/17.02 v 15
16.99/17.02 v 19
16.99/17.02 v 23
16.99/17.02 v 27
16.99/17.02 v 31
16.99/17.02 v 35
16.99/17.02 v 39
16.99/17.02 v 43
16.99/17.02 v 47
16.99/17.02 v 51
16.99/17.02 v 53
16.99/17.02 v 57
16.99/17.02 v 61
16.99/17.02 v 65
16.99/17.02 v 69
16.99/17.02 v 73
16.99/17.02 v 77
16.99/17.02 v 81
16.99/17.02 v 85
16.99/17.02 v 89
16.99/17.02 v 93
16.99/17.02 v 97
16.99/17.02 v 99
16.99/17.02 v 103
16.99/17.02 v 107
16.99/17.02 v 111
16.99/17.02 v 115
16.99/17.02 v 119
16.99/17.02 v 123
16.99/17.02 v 127
16.99/17.02 v 131
16.99/17.02 v 135
16.99/17.02 v 137
16.99/17.02 v 141
16.99/17.02 v 145
16.99/17.02 v 149
16.99/17.02 v 153
16.99/17.02 v 157
16.99/17.02 v 161
16.99/17.02 v 165
16.99/17.02 v 167
16.99/17.02 v 169
16.99/17.02 v 173
16.99/17.02 v 177
16.99/17.02 v 179
16.99/17.02 v 183
16.99/17.02 v 187
16.99/17.02 v 189
16.99/17.02 v 193
16.99/17.02 v 197
16.99/17.02 v 201
16.99/17.02 v 203
16.99/17.02 v 207
16.99/17.02 v 209
16.99/17.02 v 333
16.99/17.02 v 334
16.99/17.02 v 335
16.99/17.02 v 336
16.99/17.02 v 337
16.99/17.02 v 338
16.99/17.02 v 339
16.99/17.02 v 340
16.99/17.02 v 341
16.99/17.02 v 342
16.99/17.02 v 343
16.99/17.02 v 344
16.99/17.02 v 346
16.99/17.02 v 347
16.99/17.02 v 348
16.99/17.02 v 349
16.99/17.02 v 350
16.99/17.02 v 351
16.99/17.02 v 352
16.99/17.02 v 353
16.99/17.02 v 354
16.99/17.02 v 355
16.99/17.02 v 356
16.99/17.02 v 358
16.99/17.02 v 359
16.99/17.02 v 360
16.99/17.02 v 361
16.99/17.02 v 362
16.99/17.02 v 363
16.99/17.02 v 364
16.99/17.02 v 365
16.99/17.02 v 366
16.99/17.02 v 367
16.99/17.02 v 369
16.99/17.02 v 370
16.99/17.02 v 371
16.99/17.02 v 372
16.99/17.02 v 373
16.99/17.02 v 374
16.99/17.02 v 375
16.99/17.02 v 376
16.99/17.02 v 377
16.99/17.02 v 380
16.99/17.02 v 381
16.99/17.02 v 382
16.99/17.02 v 383
16.99/17.02 v 384
16.99/17.02 v 385
16.99/17.02 v 386
16.99/17.02 v 388
16.99/17.02 v 389
16.99/17.02 v 390
16.99/17.02 v 391
16.99/17.02 v 392
16.99/17.02 v 393
16.99/17.02 v 394
16.99/17.02 v 395
16.99/17.02 v 396
16.99/17.02 v 397
16.99/17.02 v 398
16.99/17.02 v 399
16.99/17.02 v 400
16.99/17.02 v 401
16.99/17.02 v 402
16.99/17.02 v 403
16.99/17.02 v 404
16.99/17.02 v 405
16.99/17.02 v 406
16.99/17.02 v 407
16.99/17.02 v 408
16.99/17.02 v 409
16.99/17.02 v 410
16.99/17.02 v 411
16.99/17.02 v 412
16.99/17.02 v 413
16.99/17.02 v 414
16.99/17.02 v 415
16.99/17.02 v 416
16.99/17.02 v 418
16.99/17.02 v 419
16.99/17.02 v 420
16.99/17.02 v 421
16.99/17.02 v 422
16.99/17.02 v 697
16.99/17.02 v 698
16.99/17.02 v 699
16.99/17.02 v 700
16.99/17.02 v 701
16.99/17.02 v 702
16.99/17.02 v 703
16.99/17.02 v 704
16.99/17.02 v 705
16.99/17.02 v 706
16.99/17.02 v 707
16.99/17.02 v 708
16.99/17.02 v 710
16.99/17.02 v 711
16.99/17.02 v 712
16.99/17.02 v 713
16.99/17.02 v 714
16.99/17.02 v 715
16.99/17.02 v 716
16.99/17.02 v 717
16.99/17.02 v 718
16.99/17.02 v 719
16.99/17.02 v 720
16.99/17.02 v 722
16.99/17.02 v 723
16.99/17.02 v 724
16.99/17.02 v 725
16.99/17.02 v 726
16.99/17.02 v 727
16.99/17.02 v 728
16.99/17.02 v 729
16.99/17.02 v 730
16.99/17.02 v 731
16.99/17.02 v 733
16.99/17.02 v 734
16.99/17.02 v 735
16.99/17.02 v 736
16.99/17.02 v 737
16.99/17.02 v 738
16.99/17.02 v 739
16.99/17.02 v 740
16.99/17.02 v 741
16.99/17.02 v 743
16.99/17.02 v 744
16.99/17.02 v 745
16.99/17.02 v 746
16.99/17.02 v 747
16.99/17.02 v 748
16.99/17.02 v 749
16.99/17.02 v 750
16.99/17.02 v 751
16.99/17.02 v 752
16.99/17.02 v 753
16.99/17.02 v 754
16.99/17.02 v 755
16.99/17.02 v 756
16.99/17.02 v 757
16.99/17.02 v 758
16.99/17.02 v 759
16.99/17.02 v 760
16.99/17.02 v 761
16.99/17.02 v 762
16.99/17.02 v 763
16.99/17.02 v 764
16.99/17.02 v 765
16.99/17.02 v 767
16.99/17.02 v 768
16.99/17.02 v 769
16.99/17.02 v 770
16.99/17.02 v 771
16.99/17.02 v 773
16.99/17.02 v 774
16.99/17.02 v 775
16.99/17.02 v 776
16.99/17.02 v 777
16.99/17.02 v 778
16.99/17.02 v 779
16.99/17.02 v 780
16.99/17.02 v 784
16.99/17.02 v 785
16.99/17.02 v 786
16.99/17.02 v 789
16.99/17.02 v 790
16.99/17.02 v 791
16.99/17.02 v 792
16.99/17.02 v 793
16.99/17.02 v 794
16.99/17.02 v 795
16.99/17.02 v 796
16.99/17.02 v 797
16.99/17.02 v 798
16.99/17.02 v 799
16.99/17.02 v 801
16.99/17.02 v 802
16.99/17.02 v 803
16.99/17.02 v 804
16.99/17.02 v 805
16.99/17.02 v 806
16.99/17.02 v 807
16.99/17.02 v 808
16.99/17.02 v 809
16.99/17.02 v 810
16.99/17.02 v 811
16.99/17.02 v 813
16.99/17.02 v 814
16.99/17.02 v 815
16.99/17.02 v 816
16.99/17.02 v 817
16.99/17.02 v 818
16.99/17.02 v 819
16.99/17.02 v 820
16.99/17.02 v 821
16.99/17.02 v 822
16.99/17.02 v 824
16.99/17.02 v 825
16.99/17.02 v 826
16.99/17.02 v 827
16.99/17.02 v 828
16.99/17.02 v 829
16.99/17.02 v 830
16.99/17.02 v 831
16.99/17.02 v 832
16.99/17.02 v 834
16.99/17.02 v 835
16.99/17.02 v 836
16.99/17.02 v 837
16.99/17.02 v 838
16.99/17.02 v 839
16.99/17.02 v 840
16.99/17.02 v 841
16.99/17.02 v 844
16.99/17.02 v 845
16.99/17.02 v 846
16.99/17.02 v 847
16.99/17.02 v 848
16.99/17.02 v 849
16.99/17.02 v 851
16.99/17.02 v 852
16.99/17.02 v 853
16.99/17.02 v 854
16.99/17.02 v 855
16.99/17.02 v 856
16.99/17.02 v 858
16.99/17.02 v 859
16.99/17.02 v 860
16.99/17.02 v 861
16.99/17.02 v 862
16.99/17.02 v 864
16.99/17.02 v 865
16.99/17.02 v 866
16.99/17.02 v 867
16.99/17.02 v 878
16.99/17.02 v 879
16.99/17.02 v 880
16.99/17.02 v 881
16.99/17.02 v 882
16.99/17.02 v 883
16.99/17.02 v 884
16.99/17.02 v 885
16.99/17.02 v 886
16.99/17.02 v 887
16.99/17.02 v 888
16.99/17.02 v 889
16.99/17.02 v 891
16.99/17.02 v 892
16.99/17.02 v 893
16.99/17.02 v 894
16.99/17.02 v 895
16.99/17.02 v 896
16.99/17.02 v 897
16.99/17.02 v 898
16.99/17.02 v 899
16.99/17.02 v 900
16.99/17.02 v 901
16.99/17.02 v 903
16.99/17.02 v 904
16.99/17.02 v 905
16.99/17.02 v 906
16.99/17.02 v 907
16.99/17.02 v 908
16.99/17.02 v 909
16.99/17.02 v 910
16.99/17.02 v 911
16.99/17.02 v 912
16.99/17.02 v 914
16.99/17.02 v 915
16.99/17.02 v 916
16.99/17.02 v 917
16.99/17.02 v 918
16.99/17.02 v 919
16.99/17.02 v 920
16.99/17.02 v 921
16.99/17.02 v 922
16.99/17.02 v 924
16.99/17.02 v 925
16.99/17.02 v 926
16.99/17.02 v 927
16.99/17.02 v 928
16.99/17.02 v 929
16.99/17.02 v 930
16.99/17.02 v 931
16.99/17.02 v 933
16.99/17.02 v 934
16.99/17.02 v 935
16.99/17.02 v 936
16.99/17.02 v 937
16.99/17.02 v 938
16.99/17.02 v 939
16.99/17.02 v 941
16.99/17.02 v 942
16.99/17.02 v 943
16.99/17.02 v 944
16.99/17.02 v 945
16.99/17.02 v 946
16.99/17.02 v 948
16.99/17.02 v 949
16.99/17.02 v 950
16.99/17.02 v 951
16.99/17.02 v 952
16.99/17.02 v 954
16.99/17.02 v 955
16.99/17.02 v 956
16.99/17.02 v 957
16.99/17.02 v 959
16.99/17.02 v 960
16.99/17.02 v 961
16.99/17.02 v 963
16.99/17.02 v 964
16.99/17.02 v 966
16.99/17.02 v 969
16.99/17.02 v 970
16.99/17.02 v 971
16.99/17.02 v 972
16.99/17.02 v 973
16.99/17.02 v 974
16.99/17.02 v 975
16.99/17.02 v 976
16.99/17.02 v 977
16.99/17.02 v 978
16.99/17.02 v 979
16.99/17.02 v 980
16.99/17.02 v 981
16.99/17.02 v 982
16.99/17.02 v 983
16.99/17.02 v 984
16.99/17.02 v 985
16.99/17.02 v 986
16.99/17.02 v 987
16.99/17.02 v 988
16.99/17.02 v 989
16.99/17.02 v 990
16.99/17.02 v 991
16.99/17.02 v 992
16.99/17.02 v 993
16.99/17.02 v 994
16.99/17.02 v 995
16.99/17.02 v 996
16.99/17.02 v 997
16.99/17.02 v 998
16.99/17.02 v 999
16.99/17.02 v 1000
16.99/17.02 v 1001
16.99/17.02 v 1002
16.99/17.02 v 1003
16.99/17.02 v 1004
16.99/17.02 v 1005
16.99/17.02 v 1006
16.99/17.02 v 1007
16.99/17.02 v 1008
16.99/17.02 v 1009
16.99/17.02 v 1010
16.99/17.02 v 1011
16.99/17.02 v 1012
16.99/17.02 v 1013
16.99/17.02 v 1014
16.99/17.02 v 1015
16.99/17.02 v 1016
16.99/17.02 v 1017
16.99/17.02 v 1018
16.99/17.02 v 1019
16.99/17.02 v 1020
16.99/17.02 v 1021
16.99/17.02 v 1022
16.99/17.02 v 1023
16.99/17.02 v 1024
16.99/17.02 v 1025
16.99/17.02 v 1026
16.99/17.02 v 1027
16.99/17.02 v 1028
16.99/17.02 v 1029
16.99/17.02 v 1030
16.99/17.02 v 1031
16.99/17.02 v 1032
16.99/17.02 v 1033
16.99/17.02 v 1034
16.99/17.02 v 1035
16.99/17.02 v 1036
16.99/17.02 v 1037
16.99/17.02 v 1038
16.99/17.02 v 1040
16.99/17.02 v 1041
16.99/17.02 v 1042
16.99/17.02 v 1043
16.99/17.02 v 1044
16.99/17.02 v 1045
16.99/17.02 v 1046
16.99/17.02 v 1047
16.99/17.02 v 1048
16.99/17.02 v 1049
16.99/17.02 v 1050
16.99/17.02 v 1051
16.99/17.02 v 1052
16.99/17.02 v 1053
16.99/17.02 v 1055
16.99/17.02 v 1056
16.99/17.02 v 1057
16.99/17.02 v 1058
16.99/17.02 v 1060
16.99/17.02 v 1061
16.99/17.02 v 1062
16.99/17.02 v 1063
16.99/17.02 v 1064
16.99/17.02 v 1065
16.99/17.02 v 1066
16.99/17.02 v 1067
16.99/17.02 v 1068
16.99/17.02 v 1069
16.99/17.02 v 1070
16.99/17.02 v 1071
16.99/17.02 v 1072
16.99/17.02 v 1073
16.99/17.02 v 1074
16.99/17.02 v 1075
16.99/17.02 v 1076
16.99/17.02 v 1077
16.99/17.02 v 1078
16.99/17.02 v 1079
16.99/17.02 v 1080
16.99/17.02 v 1081
16.99/17.02 v 1082
16.99/17.02 v 1083
16.99/17.02 v 1084
16.99/17.02 v 1085
16.99/17.02 v 1086
16.99/17.02 v 1087
16.99/17.02 v 1088
16.99/17.02 v 1089
16.99/17.02 v 1090
16.99/17.02 v 1091
16.99/17.02 v 1092
16.99/17.02 v 1093
16.99/17.02 v 1094
16.99/17.02 v 1095
16.99/17.02 v 1096
16.99/17.02 v 1097
16.99/17.02 v 1098
16.99/17.02 v 1099
16.99/17.02 v 1100
16.99/17.02 v 1101
16.99/17.02 v 1102
16.99/17.02 v 1103
16.99/17.02 v 1104
16.99/17.02 v 1105
16.99/17.02 v 1106
16.99/17.02 v 1107
16.99/17.02 v 1108
16.99/17.02 v 1109
16.99/17.02 v 1110
16.99/17.02 v 1111
16.99/17.02 v 1112
16.99/17.02 v 1113
16.99/17.02 v 1114
16.99/17.02 v 1115
16.99/17.02 v 1116
16.99/17.02 v 1117
16.99/17.02 v 1118
16.99/17.02 v 1119
16.99/17.02 v 1120
16.99/17.02 v 1121
16.99/17.02 v 1122
16.99/17.02 v 1123
16.99/17.02 v 1124
16.99/17.02 v 1125
16.99/17.02 v 1126
16.99/17.02 v 1127
16.99/17.02 v 1128
16.99/17.02 v 1129
16.99/17.02 v 1130
16.99/17.02 v 1131
16.99/17.02 v 1132
16.99/17.02 v 1133
16.99/17.02 v 1134
16.99/17.02 v 1135
16.99/17.02 v 1136
16.99/17.02 v 1137
16.99/17.02 v 1138
16.99/17.02 v 1139
16.99/17.02 v 1140
16.99/17.02 v 1141
16.99/17.02 v 1143
16.99/17.02 v 1144
16.99/17.02 v 1146
16.99/17.02 v 1147
16.99/17.02 v 1148
16.99/17.02 v 1149
16.99/17.02 v 2971
16.99/17.02 v 2973
16.99/17.02 v 2974
16.99/17.02 v 2975
16.99/17.02 v 2976
16.99/17.02 v 2977
16.99/17.02 v 2978
16.99/17.02 v 2979
16.99/17.02 v 2980
16.99/17.02 v 2986
16.99/17.02 v 2987
16.99/17.02 v 2988
16.99/17.02 v 2989
16.99/17.02 v 2990
16.99/17.02 v 2991
16.99/17.02 v 2992
16.99/17.02 v 2993
16.99/17.02 v 3011
16.99/17.02 v 3012
16.99/17.02 v 3013
16.99/17.02 v 3014
16.99/17.02 v 3015
16.99/17.02 v 3021
16.99/17.02 v 3022
16.99/17.02 v 3023
16.99/17.02 v 3024
16.99/17.02 v 3025
16.99/17.02 v 3026
16.99/17.02 v 3031
16.99/17.02 v 3032
16.99/17.02 v 3033
16.99/17.02 v 3034
16.99/17.02 v 3035
16.99/17.02 v 3040
16.99/17.02 v 3041
16.99/17.02 v 3042
16.99/17.02 v 3043
16.99/17.02 v 3048
16.99/17.02 v 3049
16.99/17.02 v 3050
16.99/17.02 v 3055
16.99/17.02 v 3056
16.99/17.02 v 3061
16.99/17.02 v 3127
16.99/17.02 v 3329
16.99/17.02 v 3412
16.99/17.02 v 3456
16.99/17.02 v 3522
16.99/17.02 v 3523
16.99/17.02 v 3524
16.99/17.02 v 3594
16.99/17.02 v 3675
16.99/17.02 v 3680
16.99/17.02 v 3681
16.99/17.02 v 3685
16.99/17.02 v 3698
16.99/17.02 v 3699
16.99/17.02 v 3700
16.99/17.02 v 3702
16.99/17.02 v 3703
16.99/17.02 v 3745
16.99/17.02 v 3761
16.99/17.02 v 3762
16.99/17.02 v 3781
16.99/17.02 v 3782
16.99/17.02 v 3783
16.99/17.02 v 3784
16.99/17.02 v 3804
16.99/17.02 v 3828
16.99/17.02 v 3842
16.99/17.02 v 3845
16.99/17.02 v 3909
16.99/17.02 v 3912
16.99/17.02 v 3916
16.99/17.02 v 3919
16.99/17.02 v 3948
16.99/17.02 v 3951
16.99/17.02 v 3954
16.99/17.02 v 3958
16.99/17.02 v 3961
16.99/17.02 v 3964
16.99/17.02 v 3965
16.99/17.02 v 3975
16.99/17.02 v 3994
16.99/17.02 v 3997
16.99/17.02 v 4000
16.99/17.02 v 4003
16.99/17.02 v 4004
16.99/17.02 v 4021
16.99/17.02 v 4022
16.99/17.02 v 4035
16.99/17.02 v 4038
16.99/17.02 v 4041
16.99/17.02 v 4042
16.99/17.02 v 4044
16.99/17.02 v 4045
16.99/17.02 v 4046
16.99/17.02 v 4050
16.99/17.02 v 4053
16.99/17.02 v 4054
16.99/17.02 v 4055
16.99/17.02 v 4057
16.99/17.02 v 4058
16.99/17.02 v 4059
16.99/17.02 v 4060
16.99/17.02 v 4061
16.99/17.02 v 4062
16.99/17.02 v 4064
16.99/17.02 v 4065
16.99/17.02 v 4067
16.99/17.02 v 4068
16.99/17.02 v 4070
16.99/17.02 v 4071
16.99/17.02 v 4073
16.99/17.02 v 4074
16.99/17.02 v 4076
16.99/17.02 v 4077
16.99/17.02 v 4079
16.99/17.02 v 4080
16.99/17.02 v 4082
16.99/17.02 v 4083
16.99/17.02 v 4085
16.99/17.02 v 4086
16.99/17.02 v 4088
16.99/17.02 v 4089
16.99/17.02 v 4091
16.99/17.02 v 4092
16.99/17.02 v 4094
16.99/17.02 v 4095
16.99/17.02 v 4097
16.99/17.02 v 4098
16.99/17.02 v 4100
16.99/17.02 v 4101
16.99/17.02 v 4103
16.99/17.02 v 4104
16.99/17.02 v 4351
16.99/17.02 v 4375
16.99/17.02 v 4849
16.99/17.02 v 4871
16.99/17.02 v 4874
16.99/17.02 v 4877
16.99/17.02 v 4880
16.99/17.02 v 4881
16.99/17.02 v 4882
16.99/17.02 v 4883
16.99/17.02 v 4884
16.99/17.02 v 4886
16.99/17.02 v 4887
16.99/17.02 v 4889
16.99/17.02 v 4890
16.99/17.02 v 4892
16.99/17.02 v 4893
16.99/17.02 v 4895
16.99/17.02 v 4896
16.99/17.02 v 4897
16.99/17.02 v 4898
16.99/17.02 v 4899
16.99/17.02 v 4901
16.99/17.02 v 4902
16.99/17.02 v 4904
16.99/17.02 v 4905
16.99/17.02 v 4908
16.99/17.02 v 4911
16.99/17.02 v 4914
16.99/17.02 v 4916
16.99/17.02 v 4917
16.99/17.02 v 4919
16.99/17.02 v 4920
16.99/17.02 v 4922
16.99/17.02 v 4923
16.99/17.02 v 4925
16.99/17.02 v 4926
16.99/17.02 v 4928
16.99/17.02 v 4929
16.99/17.02 v 4931
16.99/17.02 v 4932
16.99/17.02 v 4934
16.99/17.02 v 4935
16.99/17.02 v 4937
16.99/17.02 v 4938
16.99/17.02 v 4940
16.99/17.02 v 4941
16.99/17.02 v 4943
16.99/17.02 v 4944
16.99/17.02 v 4946
16.99/17.02 v 4947
16.99/17.02 v 4949
16.99/17.02 v 4950
16.99/17.02 v 4952
16.99/17.02 v 4953
16.99/17.02 v 4955
16.99/17.02 v 4956
16.99/17.02 v 4959
16.99/17.02 v 4961
16.99/17.02 v 4964
16.99/17.02 v 4966
16.99/17.02 v 4967
16.99/17.02 v 4968
16.99/17.02 v 4969
16.99/17.02 v 4970
16.99/17.02 v 4971
16.99/17.02 v 4972
16.99/17.02 v 4973
16.99/17.02 v 4974
16.99/17.02 v 4975
16.99/17.02 v 4976
16.99/17.02 v 4977
16.99/17.02 v 4978
16.99/17.02 v 4979
16.99/17.02 v 4980
16.99/17.02 v 4981
16.99/17.02 v 4982
16.99/17.02 v 4983
16.99/17.02 v 4984
16.99/17.02 v 4985
16.99/17.02 v 4986
16.99/17.02 v 4988
16.99/17.02 v 4989
16.99/17.02 v 4991
16.99/17.02 v 4992
16.99/17.02 v 4994
16.99/17.02 v 4995
16.99/17.02 v 4997
16.99/17.02 v 4998
16.99/17.02 v 4999
16.99/17.02 v 5000
16.99/17.02 v 5001
16.99/17.02 v 5003
16.99/17.02 v 5004
16.99/17.02 v 5006
16.99/17.02 v 5008
16.99/17.02 v 5009
16.99/17.02 v 5011
16.99/17.02 v 5012
16.99/17.02 v 5014
16.99/17.02 v 5015
16.99/17.02 v 5016
16.99/17.02 v 5017
16.99/17.02 v 5018
16.99/17.02 v 5019
16.99/17.02 v 5020
16.99/17.02 v 5021
16.99/17.02 v 5022
16.99/17.02 v 5023
16.99/17.02 v 5024
16.99/17.02 v 5025
16.99/17.02 v 5026
16.99/17.02 v 5027
16.99/17.02 v 5028
16.99/17.02 v 5029
16.99/17.02 v 5030
16.99/17.02 v 5031
16.99/17.02 v 5032
16.99/17.02 v 5033
16.99/17.02 v 5034
16.99/17.02 v 5035
16.99/17.02 v 5036
16.99/17.02 v 5037
16.99/17.02 v 5038
16.99/17.02 v 5040
16.99/17.02 v 5041
16.99/17.02 v 5043
16.99/17.02 v 5044
16.99/17.02 v 5046
16.99/17.02 v 5047
16.99/17.02 v 5049
16.99/17.02 v 5996
16.99/17.02 v 6000
16.99/17.02 v 6003
16.99/17.02 v 6006
16.99/17.02 v 6009
16.99/17.02 v 6012
16.99/17.02 v 6015
16.99/17.02 v 6018
16.99/17.02 v 6021
16.99/17.02 v 6024
16.99/17.02 v 6027
16.99/17.02 v 6030
16.99/17.02 v 6033
16.99/17.02 v 6036
16.99/17.02 v 6039
16.99/17.02 v 6761
16.99/17.02 v 6762
16.99/17.02 v 6764
16.99/17.02 v 6765
16.99/17.02 v 6767
16.99/17.02 v 6768
16.99/17.02 v 6770
16.99/17.02 v 6771
16.99/17.02 v 6773
16.99/17.02 v 6774
16.99/17.02 v 6776
16.99/17.02 v 6777
16.99/17.02 v 6779
16.99/17.02 v 6780
16.99/17.02 v 6782
16.99/17.02 v 6783
16.99/17.02 v 6785
16.99/17.02 v 6786
16.99/17.02 v 6788
16.99/17.02 v 6789
16.99/17.02 v 6791
16.99/17.02 v 6792
16.99/17.02 v 6794
16.99/17.02 v 6795
16.99/17.02 v 6797
16.99/17.02 v 6798
16.99/17.02 v 6800
16.99/17.02 v 6801
16.99/17.02 v 6803
16.99/17.02 v 6804
16.99/17.02 v 6806
16.99/17.02 v 6807
16.99/17.02 v 6809
16.99/17.02 v 6810
16.99/17.02 v 6811
16.99/17.02 v 6812
16.99/17.02 v 6813
16.99/17.02 v 6814
16.99/17.02 v 6815
16.99/17.02 v 6816
16.99/17.02 v 6817
16.99/17.02 v 6818
16.99/17.02 v 6819
16.99/17.02 v 6820
16.99/17.02 v 6821
16.99/17.02 v 6822
16.99/17.02 v 6823
16.99/17.02 v 6824
16.99/17.02 v 6825
16.99/17.02 v 6826
16.99/17.02 v 6827
16.99/17.02 v 6828
16.99/17.02 v 6829
16.99/17.02 v 6830
16.99/17.02 v 6831
16.99/17.02 v 6832
16.99/17.02 v 6833
16.99/17.02 v 6834
16.99/17.02 v 6836
16.99/17.02 v 6837
16.99/17.02 v 6838
16.99/17.02 v 6839
16.99/17.02 v 6840
16.99/17.02 v 6842
16.99/17.02 v 6843
16.99/17.02 v 6846
16.99/17.02 v 6849
16.99/17.02 v 6851
16.99/17.02 v 6852
16.99/17.02 v 6854
16.99/17.02 v 6855
16.99/17.02 v 6857
16.99/17.02 v 6858
16.99/17.02 v 6860
16.99/17.02 v 6861
16.99/17.02 v 6863
16.99/17.02 v 6864
16.99/17.02 v 6866
16.99/17.02 v 6867
16.99/17.02 v 6869
16.99/17.02 v 6870
16.99/17.02 v 6872
16.99/17.02 v 6873
16.99/17.02 v 6875
16.99/17.02 v 6876
16.99/17.02 v 6878
16.99/17.02 v 6879
16.99/17.02 v 6881
16.99/17.02 v 6882
16.99/17.02 v 6884
16.99/17.02 v 6885
16.99/17.02 v 6887
16.99/17.02 v 6888
16.99/17.02 v 6890
16.99/17.02 v 6891
16.99/17.02 v 6893
16.99/17.02 v 6894
16.99/17.02 v 6896
16.99/17.02 v 6897
16.99/17.02 v 6899
16.99/17.02 v 6900
16.99/17.02 v 6901
16.99/17.02 v 6902
16.99/17.02 v 6903
16.99/17.02 v 6904
16.99/17.02 v 6905
16.99/17.02 v 6906
16.99/17.02 v 6907
16.99/17.02 v 6908
16.99/17.02 v 6909
16.99/17.02 v 6910
16.99/17.02 v 6911
16.99/17.02 v 6912
16.99/17.02 v 6914
16.99/17.02 v 6915
16.99/17.02 v 6916
16.99/17.02 v 6917
16.99/17.02 v 6918
16.99/17.02 v 6919
16.99/17.02 v 6920
16.99/17.02 v 6921
16.99/17.02 v 6922
16.99/17.02 v 6923
16.99/17.02 v 6924
16.99/17.02 v 6926
16.99/17.02 v 6927
16.99/17.02 v 6928
16.99/17.02 v 6929
16.99/17.02 v 6930
16.99/17.02 v 6932
16.99/17.02 v 6933
16.99/17.02 v 6935
16.99/17.02 v 6936
16.99/17.02 v 6938
16.99/17.02 v 6939
16.99/17.02 v 7174
16.99/17.02 v 7177
16.99/17.02 v 7180
16.99/17.02 v 7183
16.99/17.02 v 7186
16.99/17.02 v 7189
16.99/17.02 v 7192
16.99/17.02 v 7195
16.99/17.02 v 7198
16.99/17.02 v 7201
16.99/17.02 v 7204
16.99/17.02 v 7207
16.99/17.02 v 7256
16.99/17.02 v 7257
16.99/17.02 v 7259
16.99/17.02 v 7260
16.99/17.02 v 7262
16.99/17.02 v 7263
16.99/17.02 v 7265
16.99/17.02 v 7266
16.99/17.02 v 7268
16.99/17.02 v 7269
16.99/17.02 v 7271
16.99/17.02 v 7272
16.99/17.02 v 7274
16.99/17.02 v 7275
16.99/17.02 v 7277
16.99/17.02 v 7278
16.99/17.02 v 7280
16.99/17.02 v 7281
16.99/17.02 v 7283
16.99/17.02 v 7284
16.99/17.02 v 7286
16.99/17.02 v 7287
16.99/17.02 v 7289
16.99/17.02 v 7290
16.99/17.02 v 7293
16.99/17.02 v 7296
16.99/17.02 v 7299
16.99/17.02 v 7300
16.99/17.02 v 7526
16.99/17.02 v 7527
16.99/17.02 v 7529
16.99/17.02 v 7530
16.99/17.02 v 7532
16.99/17.02 v 7533
16.99/17.02 v 7535
16.99/17.02 v 7536
16.99/17.02 v 7538
16.99/17.02 v 7539
16.99/17.02 v 7541
16.99/17.02 v 7542
16.99/17.02 v 7544
16.99/17.02 v 7545
16.99/17.02 v 7547
16.99/17.02 v 7548
16.99/17.02 v 7549
16.99/17.02 v 7550
16.99/17.02 v 7551
16.99/17.02 v 7553
16.99/17.02 v 7554
16.99/17.02 v 7556
16.99/17.02 v 7557
16.99/17.02 v 7558
16.99/17.02 v 7559
16.99/17.02 v 7560
16.99/17.02 v 7562
16.99/17.02 v 7563
16.99/17.02 v 7565
16.99/17.02 v 7566
16.99/17.02 v 7568
16.99/17.02 v 7571
16.99/17.02 v 7572
16.99/17.02 v 7574
16.99/17.02 v 7575
16.99/17.02 v 7577
16.99/17.02 v 7578
16.99/17.02 v 7580
16.99/17.02 v 7581
16.99/17.02 v 7582
16.99/17.02 v 7583
16.99/17.02 v 7584
16.99/17.02 v 7586
16.99/17.02 v 7587
16.99/17.02 v 7589
16.99/17.02 v 7590
16.99/17.02 v 7592
16.99/17.02 v 7593
16.99/17.02 v 7595
16.99/17.02 v 7596
16.99/17.02 v 7598
16.99/17.02 v 7599
16.99/17.02 v 7601
16.99/17.02 v 7602
16.99/17.02 v 7604
16.99/17.02 v 7605
16.99/17.02 v 7606
16.99/17.02 v 7607
16.99/17.02 v 7608
16.99/17.02 v 7609
16.99/17.02 v 7610
16.99/17.02 v 7611
16.99/17.02 v 7613
16.99/17.02 v 7843
16.99/17.02 v 7855
16.99/17.02 v 7861
16.99/17.02 v 7867
16.99/17.02 v 7870
16.99/17.02 v 13526
16.99/17.02 v 13613
16.99/17.02 v 13621
16.99/17.02 v 13790
16.99/17.02 v 13802
16.99/17.02 v 13807
16.99/17.02 v 13814
16.99/17.02 v 13830
16.99/17.02 v 13832
16.99/17.02 v 13833
16.99/17.02 v 13834
16.99/17.02 v 13835
16.99/17.02 v 13836
16.99/17.02 v 13837
16.99/17.02 v 13838
16.99/17.02 v 13843
16.99/17.02 v 13846
16.99/17.02 v 13847
16.99/17.02 v 13848
16.99/17.02 v 13849
16.99/17.02 v 13850
16.99/17.02 v 13851
16.99/17.02 v 13852
16.99/17.02 v 13853
16.99/17.02 v 13854
16.99/17.02 v 13855
16.99/17.02 v 13856
16.99/17.02 v 13857
16.99/17.02 v 13858
16.99/17.02 v 13859
16.99/17.02 v 13860
16.99/17.02 v 13862
16.99/17.02 v 14214
16.99/17.02 v 14486
16.99/17.02 v 14488
16.99/17.02 v 14489
16.99/17.02 v 14490
16.99/17.02 v 14491
16.99/17.02 v 14492
16.99/17.02 v 14493
16.99/17.02 v 14494
16.99/17.02 v 14495
16.99/17.02 v 14497
16.99/17.02 v 14502
16.99/17.02 v 14518
16.99/17.02 v 14520
16.99/17.02 v 14521
16.99/17.02 v 14522
16.99/17.02 v 14523
16.99/17.02 v 14525
16.99/17.02 v 14526
16.99/17.02 v 14527
16.99/17.02 v 14529
16.99/17.02 v 14534
16.99/17.02 v 14617
16.99/17.02 v 14618
16.99/17.02 v 14619
16.99/17.02 v 14620
16.99/17.02 v 14621
16.99/17.02 v 14622
16.99/17.02 v 14623
16.99/17.02 v 14624
16.99/17.02 v 14625
16.99/17.02 v 14626
16.99/17.02 v 14627
16.99/17.02 v 14628
16.99/17.02 v 14661
16.99/17.02 v 14662
16.99/17.02 v 14750
16.99/17.02 v 14753
16.99/17.02 v 14758
16.99/17.02 v 14762
16.99/17.02 v 14770
16.99/17.02 v 14771
16.99/17.02 v 14774
16.99/17.02 v 14855
16.99/17.02 v 14859
16.99/17.02 v 14861
16.99/17.02 v 14863
16.99/17.02 v 14864
16.99/17.02 v 21007
16.99/17.02 v 21012
16.99/17.02 v 21016
16.99/17.02 v 21018
16.99/17.02 v 22654
16.99/17.02 v 22760
16.99/17.02 v 22792
16.99/17.02 v 22793
16.99/17.02 v 22807
16.99/17.02 v 23242
16.99/17.02 v 23244
16.99/17.02 v 23245
16.99/17.02 v 23246
16.99/17.02 v 23247
16.99/17.02 v 23248
16.99/17.02 v 23250
16.99/17.02 v 23251
16.99/17.02 v 23252
16.99/17.02 v 23253
16.99/17.02 v 23254
16.99/17.02 v 23255
16.99/17.02 v 23287
16.99/17.02 v 23341
16.99/17.02 v 23344
16.99/17.02 v 23345
16.99/17.02 v 23662
16.99/17.02 v 23667
16.99/17.02 v 23668
16.99/17.02 v 23671
16.99/17.02 v 23676
16.99/17.02 v 23902
16.99/17.02 v 23903
16.99/17.02 v 23904
16.99/17.02 v 23905
16.99/17.02 v 23906
16.99/17.02 v 23907
16.99/17.02 v 23909
16.99/17.02 v 23910
16.99/17.02 v 23911
16.99/17.02 v 23912
16.99/17.02 v 23913
16.99/17.02 v 23914
16.99/17.02 v 23915
16.99/17.02 v 23959
16.99/17.02 v 23975
16.99/17.02 v 23976
16.99/17.02 v 24020
16.99/17.02 v 24021
16.99/17.02 v 24026
16.99/17.02 v 24033
16.99/17.02 v 24036
16.99/17.02 v 0
16.99/17.02 c [picomus] computed 1200 irredundant clauses 3%
16.99/17.02 c [picomus] 132 reductions in 17.0 seconds
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3493754-1307802764/watcher-3493754-1307802764 -o /tmp/evaluation-result-3493754-1307802764/solver-3493754-1307802764 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493754-1307802764.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.97 3.96 3.79 4/189 25006
/proc/meminfo: memFree=31240844/32950928 swapFree=67056212/67111528
[pid=25006] ppid=25004 vsize=1996 CPUtime=0 cores=5,7
/proc/25006/stat : 25006 (picomus) R 25004 25006 24520 0 -1 4202496 404 0 0 0 0 0 0 0 25 0 1 0 970507125 2043904 359 33554432000 134512640 135072097 4294132608 18446744073709551615 134705502 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25006/statm: 499 359 53 137 0 360 0
[startup+0.0924069 s]
/proc/loadavg: 3.97 3.96 3.79 4/189 25006
/proc/meminfo: memFree=31240844/32950928 swapFree=67056212/67111528
[pid=25006] ppid=25004 vsize=4448 CPUtime=0.09 cores=5,7
/proc/25006/stat : 25006 (picomus) R 25004 25006 24520 0 -1 4202496 1005 0 0 0 9 0 0 0 25 0 1 0 970507125 4554752 959 33554432000 134512640 135072097 4294132608 18446744073709551615 134543614 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25006/statm: 1112 959 69 137 0 973 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4448
[startup+0.100412 s]
/proc/loadavg: 3.97 3.96 3.79 4/189 25006
/proc/meminfo: memFree=31240844/32950928 swapFree=67056212/67111528
[pid=25006] ppid=25004 vsize=4448 CPUtime=0.09 cores=5,7
/proc/25006/stat : 25006 (picomus) R 25004 25006 24520 0 -1 4202496 1010 0 0 0 9 0 0 0 25 0 1 0 970507125 4554752 964 33554432000 134512640 135072097 4294132608 18446744073709551615 134543617 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25006/statm: 1112 965 69 137 0 973 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4448
[startup+0.300369 s]
/proc/loadavg: 3.97 3.96 3.79 4/189 25006
/proc/meminfo: memFree=31240844/32950928 swapFree=67056212/67111528
[pid=25006] ppid=25004 vsize=3852 CPUtime=0.29 cores=5,7
/proc/25006/stat : 25006 (picomus) R 25004 25006 24520 0 -1 4202496 1125 0 0 0 29 0 0 0 25 0 1 0 970507125 3944448 882 33554432000 134512640 135072097 4294132608 18446744073709551615 134556731 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25006/statm: 963 882 76 137 0 824 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3852
[startup+0.700292 s]
/proc/loadavg: 3.97 3.96 3.79 4/189 25006
/proc/meminfo: memFree=31240844/32950928 swapFree=67056212/67111528
[pid=25006] ppid=25004 vsize=3520 CPUtime=0.69 cores=5,7
/proc/25006/stat : 25006 (picomus) R 25004 25006 24520 0 -1 4202496 1983 0 0 0 69 0 0 0 25 0 1 0 970507125 3604480 754 33554432000 134512640 135072097 4294132608 18446744073709551615 134558477 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25006/statm: 880 754 76 137 0 741 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3520
[startup+1.50115 s]
/proc/loadavg: 3.97 3.96 3.79 5/190 25007
/proc/meminfo: memFree=31231436/32950928 swapFree=67056212/67111528
[pid=25006] ppid=25004 vsize=2744 CPUtime=1.49 cores=5,7
/proc/25006/stat : 25006 (picomus) R 25004 25006 24520 0 -1 4202496 3650 0 0 0 149 0 0 0 25 0 1 0 970507125 2809856 527 33554432000 134512640 135072097 4294132608 18446744073709551615 134580738 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25006/statm: 686 527 76 137 0 547 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2744
[startup+3.10084 s]
/proc/loadavg: 3.97 3.96 3.79 5/190 25007
/proc/meminfo: memFree=31222508/32950928 swapFree=67056212/67111528
[pid=25006] ppid=25004 vsize=7372 CPUtime=3.09 cores=5,7
/proc/25006/stat : 25006 (picomus) R 25004 25006 24520 0 -1 4202496 6220 0 0 0 309 0 0 0 25 0 1 0 970507125 7548928 1747 33554432000 134512640 135072097 4294132608 18446744073709551615 134518085 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25006/statm: 1843 1747 77 137 0 1704 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7372
[startup+6.30024 s]
/proc/loadavg: 3.97 3.96 3.79 5/190 25008
/proc/meminfo: memFree=31196608/32950928 swapFree=67056212/67111528
[pid=25006] ppid=25004 vsize=8164 CPUtime=6.29 cores=5,7
/proc/25006/stat : 25006 (picomus) R 25004 25006 24520 0 -1 4202496 6401 0 0 0 628 1 0 0 25 0 1 0 970507125 8359936 1928 33554432000 134512640 135072097 4294132608 18446744073709551615 134549071 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25006/statm: 2041 1928 77 137 0 1902 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8164
[startup+12.701 s]
/proc/loadavg: 3.97 3.96 3.79 5/190 25008
/proc/meminfo: memFree=31198604/32950928 swapFree=67056212/67111528
[pid=25006] ppid=25004 vsize=8164 CPUtime=12.7 cores=5,7
/proc/25006/stat : 25006 (picomus) R 25004 25006 24520 0 -1 4202496 6401 0 0 0 1269 1 0 0 25 0 1 0 970507125 8359936 1928 33554432000 134512640 135072097 4294132608 18446744073709551615 134518179 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25006/statm: 2041 1928 77 137 0 1902 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 8164
Solver just ended. Dumping a history of the last processes samples
[startup+14.3067 s]
/proc/loadavg: 3.97 3.96 3.79 5/190 25008
/proc/meminfo: memFree=31183352/32950928 swapFree=67056212/67111528
[pid=25006] ppid=25004 vsize=8164 CPUtime=14.3 cores=5,7
/proc/25006/stat : 25006 (picomus) R 25004 25006 24520 0 -1 4202496 6401 0 0 0 1429 1 0 0 25 0 1 0 970507125 8359936 1928 33554432000 134512640 135072097 4294132608 18446744073709551615 134585044 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25006/statm: 2041 1928 77 137 0 1902 0
Current children cumulated CPU time (s) 14.3
Current children cumulated vsize (KiB) 8164
[startup+15.9004 s]
/proc/loadavg: 3.98 3.97 3.79 5/190 25008
/proc/meminfo: memFree=31177024/32950928 swapFree=67056212/67111528
[pid=25006] ppid=25004 vsize=8164 CPUtime=15.89 cores=5,7
/proc/25006/stat : 25006 (picomus) R 25004 25006 24520 0 -1 4202496 6401 0 0 0 1588 1 0 0 25 0 1 0 970507125 8359936 1928 33554432000 134512640 135072097 4294132608 18446744073709551615 134585031 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25006/statm: 2041 1928 77 137 0 1902 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 8164
[startup+16.7003 s]
/proc/loadavg: 3.98 3.97 3.79 5/190 25008
/proc/meminfo: memFree=31169584/32950928 swapFree=67056212/67111528
[pid=25006] ppid=25004 vsize=8164 CPUtime=16.69 cores=5,7
/proc/25006/stat : 25006 (picomus) R 25004 25006 24520 0 -1 4202496 6401 0 0 0 1668 1 0 0 25 0 1 0 970507125 8359936 1928 33554432000 134512640 135072097 4294132608 18446744073709551615 134585038 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25006/statm: 2041 1928 77 137 0 1902 0
Current children cumulated CPU time (s) 16.69
Current children cumulated vsize (KiB) 8164
[startup+16.9002 s]
/proc/loadavg: 3.98 3.97 3.79 5/190 25008
/proc/meminfo: memFree=31169584/32950928 swapFree=67056212/67111528
[pid=25006] ppid=25004 vsize=8164 CPUtime=16.89 cores=5,7
/proc/25006/stat : 25006 (picomus) R 25004 25006 24520 0 -1 4202496 6401 0 0 0 1688 1 0 0 25 0 1 0 970507125 8359936 1928 33554432000 134512640 135072097 4294132608 18446744073709551615 134585031 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25006/statm: 2041 1928 77 137 0 1902 0
Current children cumulated CPU time (s) 16.89
Current children cumulated vsize (KiB) 8164
[startup+17.0002 s]
/proc/loadavg: 3.98 3.97 3.79 5/190 25008
/proc/meminfo: memFree=31169584/32950928 swapFree=67056212/67111528
[pid=25006] ppid=25004 vsize=8164 CPUtime=16.99 cores=5,7
/proc/25006/stat : 25006 (picomus) R 25004 25006 24520 0 -1 4202496 6401 0 0 0 1698 1 0 0 25 0 1 0 970507125 8359936 1928 33554432000 134512640 135072097 4294132608 18446744073709551615 134518302 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25006/statm: 2041 1928 77 137 0 1902 0
Current children cumulated CPU time (s) 16.99
Current children cumulated vsize (KiB) 8164
Child status: 20
Real time (s): 17.0295
CPU time (s): 17.0274
CPU user time (s): 17.0144
CPU system time (s): 0.012998
CPU usage (%): 99.9877
Max. virtual memory (cumulated for all children) (KiB): 8164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.0144
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6402
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= 2
involuntary context switches= 210
runsolver used 0.035994 second user time and 0.067989 second system time
The end
Begin job on node115 at 2011-06-11 16:32:45
IDJOB=3493754
IDBENCH=83452
IDSOLVER=1974
FILE ID=node115/3493754-1307802764
RUNJOBID= node115-1307800705-24541
PBS_JOBID= 13551062
Free space on /tmp= 74108 MiB
SOLVER NAME= PicoMUS 941
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E03N15.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493754-1307802764/watcher-3493754-1307802764 -o /tmp/evaluation-result-3493754-1307802764/solver-3493754-1307802764 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493754-1307802764.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 5e437ee939aa66499926385ad9d3b182
RANDOM SEED=72701
node115.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.62
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 31241636 kB
Buffers: 292528 kB
Cached: 1067196 kB
SwapCached: 9476 kB
Active: 600644 kB
Inactive: 916672 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31241636 kB
SwapTotal: 67111528 kB
SwapFree: 67056212 kB
Dirty: 1368 kB
Writeback: 0 kB
AnonPages: 154668 kB
Mapped: 14068 kB
Slab: 126344 kB
PageTables: 5528 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 407952 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74104 MiB
End job on node115 at 2011-06-11 16:33:02