0.00/0.00	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
94.69/94.78	o 514978
94.69/94.78	o 513414
94.69/94.78	o 511851
94.69/94.78	o 510288
94.69/94.78	o 508725
94.69/94.78	o 507162
94.69/94.78	o 505599
94.69/94.78	o 504035
94.69/94.78	o 502472
94.69/94.78	o 500909
94.69/94.78	o 496222
94.69/94.78	o 493094
94.69/94.78	o 491531
94.69/94.78	o 489968
94.69/94.78	o 488405
94.69/94.78	o 486842
94.69/94.78	o 485279
94.69/94.78	o 483716
94.69/94.78	o 482153
94.69/94.78	o 477461
94.69/94.78	o 475898
94.69/94.78	o 475897
94.69/94.78	o 457150
94.69/94.78	o 455587
94.69/94.78	o 454023
94.69/94.78	o 452460
94.69/94.78	o 449338
94.69/94.78	o 447775
94.69/94.78	o 446212
94.69/94.78	o 444649
94.69/94.78	o 443086
94.69/94.78	o 436833
94.69/94.78	o 436832
94.69/94.78	o 435269
94.69/94.78	o 433706
94.69/94.78	o 432143
94.69/94.78	o 432142
94.69/94.78	o 430579
94.69/94.78	o 429016
94.69/94.78	o 429015
94.69/94.78	o 429014
94.69/94.78	o 427451
94.69/94.78	o 425888
94.69/94.78	o 425887
94.69/94.78	o 424324
94.69/94.78	o 424323
94.69/94.78	o 422765
94.69/94.78	o 421203
94.69/94.78	o 418075
94.69/94.78	o 416512
94.69/94.78	o 416511
94.69/94.78	o 414948
94.69/94.78	o 413386
94.69/94.78	o 411822
94.69/94.78	o 410259
94.69/94.78	o 408696
94.69/94.78	o 407133
94.69/94.78	o 407132
94.69/94.78	o 405569
94.69/94.78	o 405568
94.69/94.78	o 405567
94.69/94.78	o 404004
94.69/94.78	o 402441
94.69/94.78	o 402440
94.69/94.78	o 400877
94.69/94.78	o 400876
94.69/94.78	o 399313
94.69/94.78	o 399312
94.69/94.78	o 397750
94.69/94.78	o 396187
94.69/94.78	o 396186
94.69/94.78	o 394623
94.69/94.78	o 393060
94.69/94.78	o 393059
94.69/94.78	o 391497
94.69/94.78	o 391496
94.69/94.78	o 391495
94.69/94.78	o 388371
94.69/94.78	o 386808
94.69/94.78	o 386807
94.69/94.78	o 385244
94.69/94.78	o 385243
94.69/94.78	o 383680
94.69/94.78	o 382117
94.69/94.78	o 380554
94.69/94.78	o 380553
94.69/94.78	o 379022
94.69/94.78	o 379021
94.69/94.78	o 377458
94.69/94.78	o 377457
94.69/94.78	o 377456
94.69/94.78	o 375893
94.69/94.78	o 374330
94.69/94.78	o 372767
94.69/94.78	o 372766
94.69/94.78	o 371203
94.69/94.78	o 371202
94.69/94.78	o 369639
94.69/94.78	o 369638
94.69/94.78	o 368075
94.69/94.78	o 366512
94.69/94.78	o 366511
94.69/94.78	o 364948
94.69/94.78	o 363385
94.69/94.78	o 361822
94.69/94.78	o 361821
94.69/94.78	o 361820
94.69/94.78	o 357134
94.69/94.78	o 357133
94.69/94.78	o 355569
94.69/94.78	o 354005
94.69/94.78	o 352442
94.69/94.78	o 352441
94.69/94.78	o 352440
94.69/94.78	o 350877
94.69/94.78	o 350876
94.69/94.78	o 349313
94.69/94.78	o 349312
94.69/94.78	o 347749
94.69/94.78	o 347748
94.69/94.78	o 346185
94.69/94.78	o 346184
94.69/94.78	o 346183
94.69/94.78	o 344620
94.69/94.78	o 344619
94.69/94.78	o 344618
94.69/94.78	o 344617
94.69/94.78	o 344616
94.69/94.78	o 343053
94.69/94.78	o 343052
94.69/94.78	o 343051
94.69/94.78	o 341488
94.69/94.78	o 341487
94.69/94.78	o 341486
94.69/94.78	o 339923
94.69/94.78	o 339922
94.69/94.78	o 339921
94.69/94.78	o 339920
94.69/94.78	o 339919
94.69/94.78	o 339918
94.69/94.78	o 339917
94.69/94.78	o 338354
94.69/94.78	o 332120
94.69/94.78	o 330557
94.69/94.78	o 325869
94.69/94.78	o 324306
94.69/94.78	o 313363
94.69/94.78	o 311800
94.69/94.78	o 310237
94.69/94.78	o 310236
94.69/94.78	o 310235
94.69/94.78	o 310234
94.69/94.78	o 310233
94.69/94.78	o 310232
94.69/94.78	o 308669
94.69/94.78	o 307106
94.69/94.78	o 307105
94.69/94.78	o 305545
94.69/94.78	o 303981
94.69/94.78	o 303980
94.69/94.78	o 302417
94.69/94.78	o 300854
94.69/94.78	o 297728
94.69/94.78	o 296165
94.69/94.78	o 294602
94.69/94.78	o 293039
94.69/94.78	o 291476
94.69/94.78	o 289912
94.69/94.78	o 286784
94.69/94.78	o 285221
94.69/94.78	o 285220
94.69/94.78	o 285219
94.69/94.78	o 285218
94.69/94.78	o 285217
94.69/94.78	o 285216
94.69/94.78	o 285215
94.69/94.78	o 285214
94.69/94.78	o 283651
94.69/94.78	o 283650
94.69/94.78	o 280518
94.69/94.78	o 278957
94.69/94.78	o 278956
94.69/94.78	o 278955
94.69/94.78	o 277392
94.69/94.78	o 277391
94.69/94.78	o 277390
94.69/94.78	o 277389
94.69/94.78	o 277388
94.69/94.78	o 275825
94.69/94.78	o 274262
94.69/94.78	o 274261
94.69/94.78	o 272698
94.69/94.78	o 272697
94.69/94.78	o 271133
94.69/94.78	o 269570
94.69/94.78	o 269569
94.69/94.78	o 268006
94.69/94.78	o 268005
94.69/94.78	o 268004
94.69/94.78	o 268003
94.69/94.78	o 266439
94.69/94.78	o 266438
94.69/94.78	o 264875
94.69/94.78	o 263312
94.69/94.78	o 263311
94.69/94.78	o 263310
94.69/94.78	o 261747
94.69/94.78	o 261746
94.69/94.78	o 260183
94.69/94.78	o 258620
94.69/94.78	o 258619
94.69/94.78	o 258618
94.69/94.78	o 258617
94.69/94.78	o 258616
94.69/94.78	o 258615
94.69/94.78	o 257056
94.69/94.78	o 257055
94.69/94.78	o 257054
94.69/94.78	o 257053
94.69/94.78	o 257052
94.69/94.78	o 257051
94.69/94.78	o 255488
94.69/94.78	o 255487
94.69/94.78	o 255486
94.69/94.78	o 255485
94.69/94.78	o 255484
94.69/94.78	o 255483
94.69/94.78	o 255482
94.69/94.78	o 255481
94.69/94.78	o 253918
94.69/94.78	o 252359
94.69/94.78	o 252358
94.69/94.78	o 252357
94.69/94.78	o 252356
94.69/94.78	o 252355
94.69/94.78	o 252354
94.69/94.78	o 250799
94.69/94.78	o 250798
94.69/94.78	o 250797
94.69/94.78	o 250796
94.69/94.78	o 250795
94.69/94.78	o 250794
94.69/94.78	o 250793
94.69/94.78	o 250792
94.69/94.78	o 249232
94.69/94.78	o 249231
94.69/94.78	o 249230
94.69/94.78	o 249229
94.69/94.78	o 249228
94.69/94.78	o 246110
94.69/94.78	o 246109
94.69/94.78	o 246108
94.69/94.78	o 246107
94.69/94.78	o 246106
94.69/94.78	o 244543
94.69/94.78	o 244542
94.69/94.78	o 242983
94.69/94.78	o 242982
94.69/94.78	o 242981
94.69/94.78	o 242980
94.69/94.78	o 242979
94.69/94.78	o 242978
94.69/94.78	o 241426
94.69/94.78	o 241425
94.69/94.78	o 241424
94.69/94.78	o 241423
94.69/94.78	o 241422
94.69/94.78	o 241421
94.69/94.78	o 241420
94.69/94.78	o 241419
94.69/94.78	o 241418
94.69/94.78	o 241417
94.69/94.78	o 241415
94.69/94.78	o 241414
94.69/94.78	o 241413
94.69/94.78	o 241412
94.69/94.78	o 239856
94.69/94.78	o 239855
94.69/94.78	o 239854
94.69/94.78	o 239853
94.69/94.78	o 239852
94.69/94.78	o 239851
94.69/94.78	o 239850
94.69/94.78	o 239849
94.69/94.78	o 238297
94.69/94.78	o 238296
94.69/94.78	o 238295
94.69/94.78	o 238294
94.69/94.78	o 238293
94.69/94.78	o 238292
94.69/94.78	o 238291
94.69/94.78	o 238290
94.69/94.78	o 238289
94.69/94.78	o 238288
94.69/94.78	o 238287
94.69/94.78	o 236735
94.69/94.78	o 236734
94.69/94.78	o 236733
94.69/94.78	o 236732
94.69/94.78	o 236731
94.69/94.78	o 236730
94.69/94.78	o 236729
94.69/94.78	o 236728
94.69/94.78	o 236727
94.69/94.78	o 236726
94.69/94.78	o 236725
94.69/94.78	o 236724
94.69/94.78	o 236723
94.69/94.78	o 235171
94.69/94.78	o 235170
94.69/94.78	o 235169
94.69/94.78	o 235168
94.69/94.78	o 235167
94.69/94.78	o 235166
94.69/94.78	o 235165
94.69/94.78	o 235164
94.69/94.78	o 235163
94.69/94.78	o 235162
94.69/94.78	o 235161
94.69/94.78	o 235160
94.69/94.78	o 235159
94.69/94.78	o 235158
94.69/94.78	o 233605
94.69/94.78	o 233604
94.69/94.78	o 233603
94.69/94.78	o 233602
94.69/94.78	o 233601
94.69/94.78	o 233600
94.69/94.78	o 233599
94.69/94.78	o 233598
94.69/94.78	o 233597
94.69/94.78	o 233596
94.69/94.78	o 233595
94.69/94.78	o 232039
94.69/94.78	o 232038
94.69/94.78	o 232037
94.69/94.78	o 232036
94.69/94.78	o 232035
94.69/94.78	o 232034
94.69/94.78	o 232033
94.69/94.78	o 232032
94.69/94.78	o 230480
94.69/94.79	o 230479
94.69/94.79	o 230478
94.69/94.79	o 230477
94.69/94.79	o 230476
94.69/94.79	o 230475
94.69/94.79	o 230474
94.69/94.79	o 230473
94.69/94.79	o 230472
94.69/94.79	o 230471
94.69/94.79	o 230470
94.69/94.79	o 228914
94.69/94.79	o 228913
94.69/94.79	o 228912
94.69/94.79	o 228911
94.69/94.79	o 228910
94.69/94.79	o 228909
94.69/94.79	o 228908
94.69/94.79	o 228907
94.69/94.79	o 228906
94.69/94.79	o 227352
94.69/94.79	o 227351
94.69/94.79	o 227350
94.69/94.79	o 227349
94.69/94.79	o 227348
94.69/94.79	o 227347
94.69/94.79	o 227346
94.69/94.79	o 227345
94.69/94.79	o 227344
94.69/94.79	o 225785
94.69/94.79	o 225784
94.69/94.79	o 225783
94.69/94.79	o 225782
94.69/94.79	o 225781
94.69/94.79	o 225780
94.69/94.79	o 225779
94.69/94.79	o 225778
94.69/94.79	o 224221
94.69/94.79	o 224220
94.69/94.79	o 224219
94.69/94.79	o 224218
94.69/94.79	o 224217
94.69/94.79	o 224216
94.69/94.79	o 222661
94.69/94.79	o 222660
94.69/94.79	o 222659
94.69/94.79	o 222658
94.69/94.79	o 222657
94.69/94.79	o 222656
94.69/94.79	o 222655
94.69/94.79	o 222654
94.69/94.79	o 222653
94.69/94.79	o 222652
94.69/94.79	o 222651
94.69/94.79	o 222650
94.69/94.79	o 221098
94.69/94.79	o 221097
94.69/94.79	o 221096
94.69/94.79	o 221095
94.69/94.79	o 221094
94.69/94.79	o 221093
94.69/94.79	o 221092
94.69/94.79	o 221091
94.69/94.79	o 221090
94.69/94.79	o 221089
94.69/94.79	o 221088
94.69/94.79	o 221087
94.69/94.79	o 219525
94.69/94.79	o 219524
94.69/94.79	o 219523
94.69/94.79	o 219522
94.69/94.79	o 219521
94.69/94.79	o 219520
94.69/94.79	o 219519
94.69/94.79	o 219518
94.69/94.79	o 217970
94.69/94.79	o 217969
94.69/94.79	o 217968
94.69/94.79	o 217967
94.69/94.79	o 217966
94.69/94.79	o 217965
94.69/94.79	o 217964
94.69/94.79	o 217963
94.69/94.79	o 217962
94.69/94.79	o 217961
94.69/94.79	o 217960
94.69/94.79	o 216409
94.69/94.79	o 216408
94.69/94.79	o 216407
94.69/94.79	o 216406
94.69/94.79	o 216405
94.69/94.79	o 216404
94.69/94.79	o 216403
94.69/94.79	o 216402
94.69/94.79	o 216401
94.69/94.79	o 216400
94.69/94.79	o 216399
94.69/94.79	o 216398
94.69/94.79	o 216397
94.69/94.79	o 216396
94.69/94.79	o 214833
94.69/94.79	o 214832
94.69/94.79	o 214831
94.69/94.79	o 214830
94.69/94.79	o 214829
94.69/94.79	o 214828
94.69/94.79	o 214827
94.69/94.79	o 213270
94.69/94.79	o 213269
94.69/94.79	o 213268
94.69/94.79	o 213267
94.69/94.79	o 213266
94.69/94.79	o 213265
94.69/94.79	o 211710
94.69/94.79	o 210152
369.40/369.40	o 210151
369.40/369.40	o 210150
369.40/369.40	o 210149
369.40/369.40	o 210148
369.40/369.40	o 210147
369.40/369.40	o 210146
369.40/369.40	o 210145
369.40/369.40	o 210144
369.40/369.40	o 210143
369.40/369.40	o 210142
369.40/369.40	o 210141
369.40/369.40	o 210140
369.40/369.40	o 210139
369.40/369.40	o 210138
369.40/369.40	o 210137
369.40/369.40	o 210136
369.40/369.40	o 210134
369.40/369.40	o 210133
369.40/369.40	o 210132
369.40/369.40	o 210131
369.40/369.40	o 208577
369.40/369.40	o 208576
369.40/369.40	o 208575
369.40/369.40	o 208574
369.40/369.40	o 208573
369.40/369.40	o 208572
369.40/369.40	o 208571
369.40/369.40	o 208570
369.40/369.40	o 208569
369.40/369.40	o 208568
369.40/369.40	o 208567
369.40/369.40	o 208566
369.40/369.40	o 208565
369.40/369.40	o 207015
369.40/369.40	o 207014
369.40/369.40	o 207013
369.40/369.40	o 207012
369.40/369.40	o 207011
369.40/369.40	o 207010
369.40/369.40	o 207009
369.40/369.40	o 207008
369.40/369.40	o 207007
369.40/369.40	o 207006
369.40/369.40	o 207005
369.40/369.40	o 207004
369.40/369.40	o 207003
369.40/369.40	o 207002
369.40/369.40	o 207001
369.40/369.40	o 207000
369.40/369.40	o 205449
369.40/369.40	o 205448
369.40/369.40	o 205447
369.40/369.40	o 205446
369.40/369.40	o 205445
369.40/369.40	o 205444
369.40/369.40	o 205443
369.40/369.40	o 205442
369.40/369.40	o 205441
369.40/369.40	o 205440
369.40/369.40	o 205439
369.40/369.40	o 205438
369.40/369.40	o 205437
369.40/369.40	o 205436
369.40/369.40	o 205435
369.40/369.40	o 203882
369.40/369.40	o 203881
369.40/369.40	o 203880
369.40/369.40	o 203879
369.40/369.40	o 203878
369.40/369.40	o 203877
369.40/369.40	o 203876
369.40/369.40	o 203875
369.40/369.40	o 203874
369.40/369.40	o 203873
369.40/369.40	o 203872
369.40/369.40	o 203871
369.40/369.40	o 202315
369.40/369.40	o 202314
369.40/369.40	o 202313
369.40/369.40	o 202312
369.40/369.40	o 200755
369.40/369.40	o 200754
369.40/369.40	o 200753
369.40/369.40	o 200752
369.40/369.40	o 200751
369.40/369.40	o 200750
369.40/369.40	o 200749
369.40/369.40	o 199188
369.40/369.40	o 199187
369.40/369.40	o 199186
369.40/369.40	o 199185
369.40/369.40	o 197624
369.40/369.40	o 197623
369.40/369.40	o 197622
369.40/369.40	o 196061
369.40/369.40	o 196060
369.40/369.40	o 194499
369.40/369.40	o 194498
369.40/369.40	o 194497
369.40/369.40	o 194496
369.40/369.40	o 194495
369.40/369.40	o 194494
369.40/369.40	o 194493
369.40/369.40	o 192932
369.40/369.40	o 192931
369.40/369.40	o 192930
369.40/369.40	o 192929
369.40/369.40	o 192928
369.40/369.40	o 191367
369.40/369.40	o 191366
369.40/369.40	o 191365
369.40/369.40	o 191364
369.40/369.40	o 191363
369.40/369.40	o 189805
369.40/369.40	o 189804
369.40/369.40	o 189803
369.40/369.40	o 189802
369.40/369.40	o 188240
369.40/369.40	o 188239
369.40/369.40	o 188238
369.40/369.40	o 186675
369.40/369.40	o 186674
369.40/369.40	o 186673
369.40/369.40	o 185110
369.40/369.40	o 185109
369.40/369.40	o 183548
369.40/369.40	o 183547
369.40/369.40	o 181987
369.40/369.40	o 181986
369.40/369.40	o 181985
369.40/369.40	o 181984
369.40/369.40	o 181983
369.40/369.40	o 181982
369.40/369.40	o 181981
369.40/369.40	o 181980
369.40/369.40	o 181979
369.40/369.40	o 180417
369.40/369.40	o 180416
369.40/369.40	o 178869
369.40/369.40	o 178868
369.40/369.40	o 178867
369.40/369.40	o 178866
369.40/369.40	o 178865
369.40/369.40	o 178864
369.40/369.40	o 178863
369.40/369.40	o 178862
369.40/369.40	o 177301
369.40/369.40	o 177300
369.40/369.40	o 177299
369.40/369.40	o 177298
369.40/369.40	o 177297
369.40/369.40	o 177296
369.40/369.40	o 175740
369.40/369.40	o 175739
369.40/369.40	o 175738
369.40/369.40	o 175737
369.40/369.40	o 175736
369.40/369.40	o 175735
369.40/369.40	o 175734
369.40/369.40	o 175733
369.40/369.40	o 175732
369.40/369.40	o 175730
369.40/369.40	o 175729
369.40/369.40	o 174167
369.40/369.40	o 174166
369.40/369.40	o 174165
369.40/369.40	o 172605
369.40/369.40	o 172603
369.40/369.40	o 172602
369.40/369.40	o 172601
369.40/369.40	o 172600
369.40/369.40	o 172599
369.40/369.40	o 172597
369.40/369.40	o 171034
369.40/369.40	o 171033
369.40/369.40	o 171032
369.40/369.40	o 171031
369.40/369.40	o 171030
369.40/369.40	o 171029
369.40/369.40	o 171028
369.40/369.40	o 169485
369.40/369.40	o 169484
369.40/369.40	o 169483
369.40/369.40	o 169482
369.40/369.40	o 169481
369.40/369.40	o 169480
369.40/369.40	o 169479
369.40/369.40	o 169478
369.40/369.40	o 169477
369.40/369.40	o 169476
369.40/369.40	o 169475
369.40/369.40	o 169474
369.40/369.40	o 169473
369.40/369.40	o 169472
369.40/369.40	o 169471
369.40/369.40	o 167923
369.40/369.40	o 167922
369.40/369.40	o 167921
369.40/369.40	o 167920
369.40/369.40	o 167919
369.40/369.40	o 167918
369.40/369.40	o 167917
369.40/369.40	o 167916
369.40/369.40	o 167915
369.40/369.40	o 167914
369.40/369.40	o 167913
369.40/369.40	o 167912
369.40/369.40	o 167911
369.40/369.40	o 167910
369.40/369.40	o 166365
369.40/369.40	o 166363
369.40/369.40	o 166362
369.40/369.40	o 166361
369.40/369.40	o 166360
369.40/369.40	o 166359
369.40/369.40	o 166358
369.40/369.40	o 166357
369.40/369.40	o 166356
369.40/369.40	o 166355
369.40/369.40	o 166354
369.40/369.40	o 166353
369.40/369.40	o 166352
369.40/369.40	o 164794
369.40/369.40	o 164793
369.40/369.40	o 164792
369.40/369.40	o 164791
369.40/369.40	o 164790
369.40/369.40	o 164789
369.40/369.40	o 164788
369.40/369.40	o 164787
369.40/369.40	o 164786
369.40/369.40	o 163228
369.40/369.40	o 163227
369.40/369.40	o 163226
369.40/369.40	o 163225
369.40/369.40	o 163224
369.40/369.40	o 161685
369.40/369.40	o 161684
369.40/369.40	o 161683
369.40/369.40	o 161682
369.40/369.40	o 161681
369.40/369.40	o 161680
369.40/369.40	o 161679
369.40/369.40	o 161678
369.40/369.40	o 161677
369.40/369.40	o 161676
369.40/369.40	o 161675
369.40/369.40	o 161674
369.40/369.40	o 161673
369.40/369.40	o 160115
369.40/369.40	o 160114
369.40/369.40	o 160113
369.40/369.40	o 160112
369.40/369.40	o 160111
369.40/369.40	o 160110
369.40/369.40	o 160109
369.40/369.40	o 160108
369.40/369.40	o 160107
369.40/369.40	o 160106
369.40/369.40	o 160105
369.40/369.40	o 160104
369.40/369.40	o 160103
369.40/369.40	o 160102
369.40/369.40	o 160101
369.40/369.40	o 160100
369.40/369.40	o 160099
369.40/369.40	o 160098
369.40/369.40	o 160097
369.40/369.40	o 160096
369.40/369.40	o 158541
369.40/369.40	o 158536
369.40/369.40	o 158535
369.40/369.40	o 158534
369.40/369.40	o 158533
369.40/369.40	o 158532
369.40/369.40	o 158531
369.40/369.40	o 158530
369.40/369.40	o 156975
369.40/369.40	o 156970
369.40/369.40	o 156969
369.40/369.40	o 156968
369.40/369.40	o 155405
369.40/369.40	o 155404
369.40/369.40	o 155403
369.40/369.40	o 155402
369.40/369.40	o 155401
369.40/369.40	o 153847
369.40/369.40	o 153846
369.40/369.40	o 153845
369.40/369.40	o 153844
369.40/369.40	o 153843
369.40/369.40	o 153842
369.40/369.40	o 153841
369.40/369.40	o 153840
369.40/369.40	o 153839
369.40/369.40	o 153838
369.40/369.40	o 153837
369.40/369.40	o 153836
369.40/369.40	o 152273
369.40/369.40	o 150715
369.40/369.40	o 150714
369.40/369.40	o 150713
369.40/369.40	o 150712
369.40/369.40	o 150711
369.40/369.40	o 150710
369.40/369.40	o 150709
369.40/369.40	o 150708
369.40/369.40	o 150707
369.40/369.40	o 141332
369.40/369.40	o 139769
369.40/369.40	o 139768
369.40/369.40	o 139767
369.40/369.40	o 139766
369.40/369.40	o 139765
369.40/369.40	o 139764
369.40/369.40	o 139763
369.40/369.40	o 139762
369.40/369.40	o 138210
369.40/369.40	o 138209
369.40/369.40	o 138207
369.40/369.40	o 138206
369.40/369.40	o 138205
369.40/369.40	o 138204
369.40/369.40	o 138203
369.40/369.40	o 138202
369.40/369.40	o 138201
369.40/369.40	o 138200
369.40/369.40	o 138199
369.40/369.40	o 136635
369.40/369.40	o 136634
369.40/369.40	o 135078
369.40/369.40	o 135072
369.40/369.40	o 135071
369.40/369.40	o 135070
369.40/369.40	o 135069
369.40/369.40	o 135068
369.40/369.40	o 135067
369.40/369.40	o 135066
369.40/369.40	o 135065
369.40/369.40	o 135064
369.40/369.40	o 135063
369.40/369.40	o 133503
369.40/369.40	o 133502
369.40/369.40	o 133501
369.40/369.40	o 133500
369.40/369.40	o 133499
369.40/369.40	o 131945
369.40/369.40	o 131944
369.40/369.40	o 131936
369.40/369.40	o 130374
369.40/369.40	o 130373
369.40/369.40	o 130372
369.40/369.40	o 128809
369.40/369.40	o 128808
369.40/369.40	o 128807
369.40/369.40	o 127251
369.40/369.40	o 127250
369.40/369.40	o 127249
369.40/369.40	o 127248
369.40/369.40	o 127247
369.40/369.40	o 127246
369.40/369.40	o 125683
369.40/369.40	o 125682
369.40/369.40	o 125681
369.40/369.40	o 124131
369.40/369.40	o 124130
369.40/369.40	o 124129
369.40/369.40	o 124128
369.40/369.40	o 124127
369.40/369.40	o 124126
369.40/369.40	o 124125
369.40/369.40	o 124124
369.40/369.40	o 124123
369.40/369.40	o 124122
369.40/369.40	o 122567
369.40/369.40	o 122566
369.40/369.40	o 122565
369.40/369.40	o 122564
369.40/369.40	o 122563
369.40/369.40	o 122562
369.40/369.40	o 122561
369.40/369.40	o 122560
369.40/369.40	o 122559
369.40/369.40	o 121014
369.40/369.40	o 121006
369.40/369.40	o 121005
369.40/369.40	o 121004
369.40/369.40	o 121003
369.40/369.40	o 121002
369.40/369.40	o 121001
369.40/369.40	o 121000
369.40/369.40	o 120999
369.40/369.40	o 120998
369.40/369.40	o 120997
369.40/369.40	o 120996
369.40/369.40	o 120995
369.40/369.40	o 119435
369.40/369.40	o 119433
369.40/369.40	o 119432
369.40/369.40	o 119431
369.40/369.40	o 117870
369.40/369.40	o 117869
369.40/369.40	o 117868
369.40/369.40	o 116307
369.40/369.40	o 116306
369.40/369.40	o 116305
369.40/369.40	o 114741
369.40/369.40	o 114740
369.40/369.40	o 114739
369.40/369.40	o 113179
369.40/369.40	o 113178
369.40/369.40	o 113177
369.40/369.40	o 113176
369.40/369.40	o 113175
369.40/369.40	o 113174
369.40/369.40	o 113173
369.40/369.40	o 113172
369.40/369.40	o 113171
369.40/369.40	o 111608
369.40/369.40	o 111607
369.40/369.40	o 111606
369.40/369.40	o 110046
369.40/369.40	o 110045
369.40/369.40	o 110044
369.40/369.40	o 110043
369.40/369.40	o 110042
369.40/369.40	o 110041
369.40/369.40	o 110040
369.40/369.40	o 110039
369.40/369.40	o 110038
369.40/369.40	o 110037
369.40/369.40	o 110036
369.40/369.40	o 108484
369.40/369.40	o 108483
369.40/369.40	o 108481
369.40/369.40	o 108480
369.40/369.40	o 108479
369.40/369.40	o 108478
369.40/369.40	o 108477
369.40/369.40	o 108476
369.40/369.40	o 106922
369.40/369.40	o 106921
369.40/369.40	o 106920
369.40/369.40	o 106919
369.40/369.40	o 106918
369.40/369.40	o 106917
369.40/369.40	o 106916
369.40/369.40	o 106915
369.40/369.40	o 106914
369.40/369.40	o 106913
369.40/369.40	o 106912
369.40/369.40	o 106911
369.40/369.40	o 106910
369.40/369.40	o 106909
369.40/369.40	o 106908
529.91/529.99	o 105358
529.91/529.99	o 105357
529.91/529.99	o 105356
529.91/529.99	o 105355
529.91/529.99	o 105354
529.91/529.99	o 105353
529.91/529.99	o 105352
529.91/529.99	o 105351
529.91/529.99	o 105350
529.91/529.99	o 105349
529.91/529.99	o 105348
529.91/529.99	o 105347
529.91/529.99	o 105346
529.91/529.99	o 105345
529.91/529.99	o 105344
529.91/529.99	o 105342
529.91/529.99	o 105341
529.91/529.99	o 103779
529.91/529.99	o 103778
529.91/529.99	o 100680
529.91/529.99	o 100678
529.91/529.99	o 100670
529.91/529.99	o 100669
529.91/529.99	o 100668
529.91/529.99	o 100667
529.91/529.99	o 100666
529.91/529.99	o 100665
529.91/529.99	o 100664
529.91/529.99	o 100663
529.91/529.99	o 100662
529.91/529.99	o 100661
529.91/529.99	o 100660
529.91/529.99	o 100659
529.91/529.99	o 100658
529.91/529.99	o 100657
529.91/529.99	o 100656
529.91/529.99	o 100655
529.91/529.99	o 100654
529.91/529.99	o 100653
529.91/529.99	o 100652
529.91/529.99	o 100651
529.91/529.99	o 100650
529.91/529.99	o 100649
529.91/529.99	o 100648
529.91/529.99	o 100647
529.91/529.99	o 99097
529.91/529.99	o 99096
529.91/529.99	o 99095
529.91/529.99	o 99094
529.91/529.99	o 99093
529.91/529.99	o 99092
529.91/529.99	o 99091
529.91/529.99	o 99090
529.91/529.99	o 99089
529.91/529.99	o 99088
529.91/529.99	o 99087
529.91/529.99	o 99086
529.91/529.99	o 99085
529.91/529.99	o 99084
529.91/529.99	o 99083
529.91/529.99	o 99082
529.91/529.99	o 99081
529.91/529.99	o 99080
529.91/529.99	o 99079
529.91/529.99	o 97520
529.91/529.99	o 97519
529.91/529.99	o 97518
529.91/529.99	o 97517
529.91/529.99	o 97516
529.91/529.99	o 97515
529.91/529.99	o 95959
529.91/529.99	o 95958
529.91/529.99	o 95957
529.91/529.99	o 95956
529.91/529.99	o 95955
529.91/529.99	o 95954
529.91/529.99	o 95953
529.91/529.99	o 95952
529.91/529.99	o 95951
529.91/529.99	o 95950
529.91/529.99	o 95949
529.91/529.99	o 95948
529.91/529.99	o 95947
529.91/529.99	o 95946
529.91/529.99	o 95945
529.91/529.99	o 95944
529.91/529.99	o 94389
529.91/529.99	o 94383
529.91/529.99	o 94382
529.91/529.99	o 94381
529.91/529.99	o 94380
529.91/529.99	o 92820
529.91/529.99	o 92819
529.91/529.99	o 92818
529.91/529.99	o 92817
529.91/529.99	o 92816
529.91/529.99	o 92815
529.91/529.99	o 91261
529.91/529.99	o 91260
529.91/529.99	o 91259
529.91/529.99	o 91258
529.91/529.99	o 91257
529.91/529.99	o 91256
529.91/529.99	o 91255
529.91/529.99	o 91254
529.91/529.99	o 91253
529.91/529.99	o 91252
529.91/529.99	o 91251
529.91/529.99	o 91250
529.91/529.99	o 89695
529.91/529.99	o 89694
529.91/529.99	o 89693
529.91/529.99	o 89687
529.91/529.99	o 89686
529.91/529.99	o 89685
529.91/529.99	o 89684
529.91/529.99	o 89682
529.91/529.99	o 89681
529.91/529.99	o 89680
529.91/529.99	o 89679
529.91/529.99	o 89678
529.91/529.99	o 88117
529.91/529.99	o 88116
529.91/529.99	o 88115
529.91/529.99	o 88114
529.91/529.99	o 88113
529.91/529.99	o 88112
529.91/529.99	o 86551
529.91/529.99	o 86550
529.91/529.99	o 86549
529.91/529.99	o 86548
529.91/529.99	o 86547
529.91/529.99	o 86546
529.91/529.99	o 86545
529.91/529.99	o 86544
529.91/529.99	o 86543
529.91/529.99	o 86542
529.91/529.99	o 86540
529.91/529.99	o 84983
529.91/529.99	o 84981
529.91/529.99	o 84980
529.91/529.99	o 83429
529.91/529.99	o 83428
529.91/529.99	o 83427
529.91/529.99	o 83426
529.91/529.99	o 83425
529.91/529.99	o 83424
529.91/529.99	o 83423
529.91/529.99	o 83422
529.91/529.99	o 83421
529.91/529.99	o 83420
529.91/529.99	o 83419
529.91/529.99	o 83418
529.91/529.99	o 83417
529.91/529.99	o 81861
529.91/529.99	o 81860
529.91/529.99	o 81859
529.91/529.99	o 81858
529.91/529.99	o 81857
529.91/529.99	o 81856
529.91/529.99	o 81855
529.91/529.99	o 81854
529.91/529.99	o 81853
529.91/529.99	o 81852
529.91/529.99	o 80297
529.91/529.99	o 80289
529.91/529.99	o 80288
529.91/529.99	o 78734
529.91/529.99	o 78726
529.91/529.99	o 78725
529.91/529.99	o 78724
529.91/529.99	o 77168
529.91/529.99	o 77167
529.91/529.99	o 77166
529.91/529.99	o 77165
529.91/529.99	o 77164
529.91/529.99	o 77163
529.91/529.99	o 77162
529.91/529.99	o 77161
529.91/529.99	o 77160
529.91/529.99	o 77159
529.91/529.99	o 77158
529.91/529.99	o 75602
529.91/529.99	o 75601
529.91/529.99	o 75600
529.91/529.99	o 75599
529.91/529.99	o 75598
529.91/529.99	o 75597
529.91/529.99	o 75596
529.91/529.99	o 75595
529.91/529.99	o 75594
529.91/529.99	o 75593
529.91/529.99	o 75592
529.91/529.99	o 74043
529.91/529.99	o 74042
529.91/529.99	o 74041
529.91/529.99	o 74040
529.91/529.99	o 74039
529.91/529.99	o 74038
529.91/529.99	o 74037
529.91/529.99	o 74036
529.91/529.99	o 74035
529.91/529.99	o 74034
529.91/529.99	o 74033
529.91/529.99	o 74032
529.91/529.99	o 74031
529.91/529.99	o 74030
529.91/529.99	o 74029
529.91/529.99	o 74028
529.91/529.99	o 74027
529.91/529.99	o 74026
529.91/529.99	o 74025
529.91/529.99	o 74024
529.91/529.99	o 74023
529.91/529.99	o 74022
529.91/529.99	o 74021
529.91/529.99	o 74020
529.91/529.99	o 74019
529.91/529.99	o 74018
529.91/529.99	o 74017
529.91/529.99	o 74016
529.91/529.99	o 72471
529.91/529.99	o 72469
529.91/529.99	o 72468
529.91/529.99	o 72467
529.91/529.99	o 72466
529.91/529.99	o 72465
529.91/529.99	o 72464
529.91/529.99	o 72463
529.91/529.99	o 72462
529.91/529.99	o 72461
529.91/529.99	o 72460
529.91/529.99	o 72459
529.91/529.99	o 72458
529.91/529.99	o 72457
529.91/529.99	o 72456
529.91/529.99	o 72455
529.91/529.99	o 72454
529.91/529.99	o 72453
529.91/529.99	o 72452
529.91/529.99	o 72451
529.91/529.99	o 72450
529.91/529.99	o 72449
529.91/529.99	o 72448
529.91/529.99	o 70906
529.91/529.99	o 70905
529.91/529.99	o 70897
529.91/529.99	o 70896
529.91/529.99	o 70895
529.91/529.99	o 70894
529.91/529.99	o 70893
529.91/529.99	o 70892
529.91/529.99	o 70891
529.91/529.99	o 70890
529.91/529.99	o 70889
529.91/529.99	o 70888
529.91/529.99	o 70887
529.91/529.99	o 70886
529.91/529.99	o 70885
529.91/529.99	o 70884
529.91/529.99	o 70883
529.91/529.99	o 70882
529.91/529.99	o 69335
529.91/529.99	o 69334
529.91/529.99	o 69333
529.91/529.99	o 69332
529.91/529.99	o 69331
529.91/529.99	o 69330
529.91/529.99	o 69329
529.91/529.99	o 69328
529.91/529.99	o 69327
529.91/529.99	o 69326
529.91/529.99	o 69325
529.91/529.99	o 69324
529.91/529.99	o 69323
529.91/529.99	o 69322
529.91/529.99	o 69321
529.91/529.99	o 69320
529.91/529.99	o 69319
529.91/529.99	o 69318
529.91/529.99	o 69317
529.91/529.99	o 69316
529.91/529.99	o 67764
529.91/529.99	o 67763
529.91/529.99	o 67762
529.91/529.99	o 67761
529.91/529.99	o 67760
529.91/529.99	o 67759
529.91/529.99	o 67758
529.91/529.99	o 67757
529.91/529.99	o 67756
529.91/529.99	o 67755
529.91/529.99	o 67754
529.91/529.99	o 67752
529.91/529.99	o 67751
529.91/529.99	o 67750
529.91/529.99	o 67749
529.91/529.99	o 67748
529.91/529.99	o 67746
529.91/529.99	o 66183
529.91/529.99	o 66182
529.91/529.99	o 66181
529.91/529.99	o 64648
529.91/529.99	o 64646
529.91/529.99	o 64645
529.91/529.99	o 64644
529.91/529.99	o 64643
529.91/529.99	o 64642
529.91/529.99	o 64633
529.91/529.99	o 64632
529.91/529.99	o 64631
529.91/529.99	o 64630
529.91/529.99	o 64629
529.91/529.99	o 64628
529.91/529.99	o 64627
529.91/529.99	o 64626
529.91/529.99	o 64625
529.91/529.99	o 64624
529.91/529.99	o 64623
529.91/529.99	o 64622
529.91/529.99	o 64621
529.91/529.99	o 64620
529.91/529.99	o 64619
529.91/529.99	o 64618
529.91/529.99	o 63068
529.91/529.99	o 63066
529.91/529.99	o 63057
529.91/529.99	o 63056
529.91/529.99	o 63055
529.91/529.99	o 63054
529.91/529.99	o 63053
529.91/529.99	o 61500
529.91/529.99	o 61499
529.91/529.99	o 61498
529.91/529.99	o 61497
529.91/529.99	o 61496
529.91/529.99	o 61495
529.91/529.99	o 61494
529.91/529.99	o 61493
529.91/529.99	o 61492
529.91/529.99	o 61491
529.91/529.99	o 61490
529.91/529.99	o 61489
529.91/529.99	o 61488
529.91/529.99	o 61487
529.91/529.99	o 61486
529.91/529.99	o 59943
529.91/529.99	o 59935
529.91/529.99	o 59934
529.91/529.99	o 59932
529.91/529.99	o 59931
529.91/529.99	o 59930
529.91/529.99	o 59929
529.91/529.99	o 59928
529.91/529.99	o 59927
529.91/529.99	o 59926
529.91/529.99	o 59925
529.91/529.99	o 59924
529.91/529.99	o 59923
529.91/529.99	o 59922
529.91/529.99	o 58379
529.91/529.99	o 58373
529.91/529.99	o 58372
529.91/529.99	o 58370
529.91/529.99	o 58368
529.91/529.99	o 58367
529.91/529.99	o 58366
529.91/529.99	o 58365
529.91/529.99	o 58364
529.91/529.99	o 58363
529.91/529.99	o 58362
529.91/529.99	o 58361
529.91/529.99	o 58360
529.91/529.99	o 58359
529.91/529.99	o 58358
529.91/529.99	o 58357
529.91/529.99	o 58356
529.91/529.99	o 58355
529.91/529.99	o 58354
529.91/529.99	o 58353
529.91/529.99	o 56800
529.91/529.99	o 56799
529.91/529.99	o 56798
529.91/529.99	o 56797
529.91/529.99	o 56796
529.91/529.99	o 56794
529.91/529.99	o 56793
529.91/529.99	o 56792
529.91/529.99	o 56791
529.91/529.99	o 56790
529.91/529.99	o 56789
529.91/529.99	o 56788
529.91/529.99	o 56787
529.91/529.99	o 56786
529.91/529.99	o 53670
529.91/529.99	o 53669
529.91/529.99	o 53668
529.91/529.99	o 53667
529.91/529.99	o 53666
529.91/529.99	o 53665
529.91/529.99	o 53664
529.91/529.99	o 53663
529.91/529.99	o 53662
529.91/529.99	o 53661
529.91/529.99	o 53660
529.91/529.99	o 53659
529.91/529.99	o 53658
529.91/529.99	o 53657
529.91/529.99	o 53656
529.91/529.99	o 53655
529.91/529.99	o 53654
529.91/529.99	o 52098
529.91/529.99	o 52097
529.91/529.99	o 52096
529.91/529.99	o 52095
529.91/529.99	o 52094
529.91/529.99	o 52093
529.91/529.99	o 52092
529.91/529.99	o 52091
529.91/529.99	o 52090
529.91/529.99	o 50531
529.91/529.99	o 50530
529.91/529.99	o 45865
529.91/529.99	o 45863
529.91/529.99	o 45862
529.91/529.99	o 45861
529.91/529.99	o 45860
529.91/529.99	o 45859
529.91/529.99	o 45858
529.91/529.99	o 45857
529.91/529.99	o 45856
529.91/529.99	o 45855
529.91/529.99	o 45854
529.91/529.99	o 45853
529.91/529.99	o 45852
529.91/529.99	o 45851
529.91/529.99	o 45850
529.91/529.99	o 45849
529.91/529.99	o 45848
529.91/529.99	o 45847
529.91/529.99	o 45846
529.91/529.99	o 45845
529.91/529.99	o 45844
529.91/529.99	o 45843
529.91/529.99	o 45842
529.91/529.99	o 45841
529.91/529.99	o 45840
529.91/529.99	o 45839
529.91/529.99	o 45838
529.91/529.99	o 44278
529.91/529.99	o 44277
529.91/529.99	o 44276
529.91/529.99	o 44275
529.91/529.99	o 44274
529.91/529.99	o 44273
529.91/529.99	o 44272
529.91/529.99	o 42720
529.91/529.99	o 42719
529.91/529.99	o 42718
529.91/529.99	o 42717
529.91/529.99	o 42716
529.91/529.99	o 42715
529.91/529.99	o 42714
529.91/529.99	o 42713
529.91/529.99	o 42712
529.91/529.99	o 42711
529.91/529.99	o 42710
529.91/529.99	o 41164
529.91/529.99	o 41163
529.91/529.99	o 41162
529.91/529.99	o 41161
529.91/529.99	o 41160
529.91/529.99	o 41159
529.91/529.99	o 41158
529.91/529.99	o 41157
529.91/529.99	o 41156
529.91/529.99	o 41155
529.91/529.99	o 41154
529.91/529.99	o 41153
529.91/529.99	o 41152
529.91/529.99	o 41151
529.91/529.99	o 41150
529.91/529.99	o 41149
529.91/529.99	o 41148
529.91/529.99	o 39594
529.91/529.99	o 39593
529.91/529.99	o 39592
529.91/529.99	o 39591
529.91/529.99	o 39590
529.91/529.99	o 38032
529.91/529.99	o 38031
529.91/529.99	o 38029
529.91/529.99	o 38028
529.91/529.99	o 38027
529.91/529.99	o 38026
529.91/529.99	o 36470
529.91/529.99	o 36469
529.91/529.99	o 36468
529.91/529.99	o 36467
529.91/529.99	o 36466
529.91/529.99	o 36465
529.91/529.99	o 36464
529.91/529.99	o 36463
529.91/529.99	o 36462
529.91/529.99	o 34911
529.91/529.99	o 34910
751.32/751.31	o 34909
751.32/751.31	o 34908
751.32/751.31	o 34907
751.32/751.31	o 34906
751.32/751.31	o 34905
751.32/751.31	o 34904
751.32/751.31	o 34903
751.32/751.31	o 34902
751.32/751.31	o 34901
751.32/751.31	o 34900
751.32/751.31	o 34899
751.32/751.31	o 34898
751.32/751.31	o 34897
751.32/751.31	o 34896
751.32/751.31	o 34895
751.32/751.31	o 34894
751.32/751.31	o 33332
751.32/751.31	o 31773
751.32/751.31	o 31772
751.32/751.31	o 31771
751.32/751.31	o 31770
751.32/751.31	o 31769
751.32/751.31	o 31768
751.32/751.31	o 31767
751.32/751.31	o 31766
751.32/751.31	o 31765
751.32/751.31	o 31764
751.32/751.31	o 31763
751.32/751.31	o 30210
751.32/751.31	o 30209
751.32/751.31	o 30208
751.32/751.31	o 30207
751.32/751.31	o 30206
751.32/751.31	o 30205
751.32/751.31	o 30204
751.32/751.31	o 30203
751.32/751.31	o 30202
751.32/751.31	o 30201
751.32/751.31	o 28642
751.32/751.31	o 28641
751.32/751.31	o 28640
751.32/751.31	o 28639
751.32/751.31	o 28638
751.32/751.31	o 28637
751.32/751.31	o 28636
751.32/751.31	o 28634
751.32/751.31	o 28633
751.32/751.31	o 28632
751.32/751.31	o 28631
751.32/751.31	o 28630
751.32/751.31	o 28629
751.32/751.31	o 28628
751.32/751.31	o 28627
751.32/751.31	o 27063
751.32/751.31	o 27062
751.32/751.31	o 27061
751.32/751.31	o 27060
751.32/751.31	o 27059
751.32/751.31	o 27058
751.32/751.31	o 27057
751.32/751.31	o 27056
751.32/751.31	o 25495
751.32/751.31	o 25494
751.32/751.31	o 25493
751.32/751.31	o 25492
751.32/751.31	o 25491
751.32/751.31	o 25490
751.32/751.31	o 23932
751.32/751.31	o 23930
751.32/751.31	o 23929
751.32/751.31	o 23928
751.32/751.31	o 23927
751.32/751.31	o 23926
751.32/751.31	o 22364
751.32/751.31	o 22363
751.32/751.31	o 22362
751.32/751.31	o 22361
751.32/751.31	o 22360
751.32/751.31	o 22359
751.32/751.31	o 22358
751.32/751.31	o 22357
751.32/751.31	o 22356
751.32/751.31	o 22355
751.32/751.31	o 20791
751.32/751.31	o 20790
751.32/751.31	o 20789
751.32/751.31	o 20788
751.32/751.31	o 20787
751.32/751.31	o 20786
751.32/751.31	o 20785
751.32/751.31	o 20784
751.32/751.31	o 20783
751.32/751.31	o 20782
751.32/751.31	o 20781
751.32/751.31	o 17661
751.32/751.31	o 17660
751.32/751.31	o 17659
751.32/751.31	o 17658
751.32/751.31	o 17657
751.32/751.31	o 17656
751.32/751.31	o 17655
751.32/751.31	o 17654
751.32/751.31	o 17653
751.32/751.31	o 16098
751.32/751.31	o 16097
751.32/751.31	o 16096
751.32/751.31	o 16095
751.32/751.31	o 16094
751.32/751.31	o 16093
751.32/751.31	o 16092
751.32/751.31	o 16091
751.32/751.31	o 16090
751.32/751.31	o 16089
751.32/751.31	o 16088
751.32/751.31	o 14530
751.32/751.31	o 14529
751.32/751.31	o 14528
751.32/751.31	o 14527
751.32/751.31	o 14526
751.32/751.31	o 14525
751.32/751.31	o 14524
751.32/751.31	o 14523
751.32/751.31	o 14522
751.32/751.31	o 14521
751.32/751.31	o 14520
751.32/751.31	o 14519
751.32/751.31	o 14518
751.32/751.31	o 14517
751.32/751.31	o 14516
751.32/751.31	o 14515
751.32/751.31	o 14513
751.32/751.31	o 14512
751.32/751.31	o 14511
751.32/751.31	o 14510
751.32/751.31	o 14509
751.32/751.31	o 12947
751.32/751.31	o 12946
751.32/751.31	o 12945
751.32/751.31	o 12944
751.32/751.31	o 11386
751.32/751.31	o 11385
751.32/751.31	o 11384
751.32/751.31	o 11383
751.32/751.31	o 11382
751.32/751.31	o 11381
751.32/751.31	o 11380
751.32/751.31	o 11379
751.32/751.31	o 11377
751.32/751.31	o 11376
751.32/751.31	o 11375
751.32/751.31	o 11374
751.32/751.31	o 11373
751.32/751.31	o 11372
751.32/751.31	o 11371
751.32/751.31	o 11370
751.32/751.31	o 11369
751.32/751.31	o 11368
751.32/751.31	o 11367
751.32/751.31	o 11366
751.32/751.31	o 11365
751.32/751.31	o 11364
751.32/751.31	o 11363
751.32/751.31	o 11362
751.32/751.31	o 11361
751.32/751.31	o 11360
751.32/751.31	o 11359
751.32/751.31	o 11358
751.32/751.31	o 11357
751.32/751.31	o 11356
751.32/751.31	o 11355
751.32/751.31	o 11354
751.32/751.31	o 11353
751.32/751.31	o 11352
751.32/751.31	o 11351
751.32/751.31	o 11350
751.32/751.31	o 11349
751.32/751.31	o 11348
751.32/751.31	o 11347
751.32/751.31	o 11346
751.32/751.31	o 11345
751.32/751.31	o 11344
751.32/751.31	o 11343
751.32/751.31	o 11342
751.32/751.31	o 11341
751.32/751.31	o 11340
751.32/751.31	o 11339
751.32/751.31	o 11337
751.32/751.31	o 11336
751.32/751.31	o 11335
751.32/751.31	o 11334
751.32/751.31	o 11333
751.32/751.31	o 11332
751.32/751.31	o 11331
751.32/751.31	o 11330
751.32/751.31	o 11329
751.32/751.31	o 11328
751.32/751.31	o 9799
751.32/751.31	o 9798
751.32/751.31	o 9797
751.32/751.31	o 9796
751.32/751.31	o 9795
751.32/751.31	o 9794
751.32/751.31	o 9793
751.32/751.31	o 9792
751.32/751.31	o 9791
751.32/751.31	o 9790
751.32/751.31	o 9789
751.32/751.31	o 9788
751.32/751.31	o 9787
751.32/751.31	o 9786
751.32/751.31	o 9785
751.32/751.31	o 9784
751.32/751.31	o 9783
751.32/751.31	o 9782
751.32/751.31	o 9781
751.32/751.31	o 9780
751.32/751.31	o 9779
751.32/751.31	o 9778
751.32/751.31	o 9777
751.32/751.31	o 9776
751.32/751.31	o 6674
751.32/751.31	o 6673
751.32/751.31	o 6672
751.32/751.31	o 6671
751.32/751.31	o 6670
751.32/751.31	o 6669
751.32/751.31	o 6668
751.32/751.31	o 6667
751.32/751.31	o 6666
751.32/751.31	o 6665
751.32/751.31	o 6664
751.32/751.31	o 6663
751.32/751.31	o 6662
751.32/751.31	o 6661
751.32/751.31	o 6660
751.32/751.31	o 6659
751.32/751.31	o 6658
751.32/751.31	o 6657
751.32/751.31	o 6656
751.32/751.31	o 6655
751.32/751.31	o 6654
751.32/751.31	o 6653
751.32/751.31	o 6652
751.32/751.31	o 6651
751.32/751.31	o 6650
751.32/751.31	o 6649
751.32/751.31	o 6646
751.32/751.31	o 6645
751.32/751.31	o 6644
751.32/751.31	o 6643
751.32/751.31	o 6642
751.32/751.31	o 6641
751.32/751.31	o 6640
751.32/751.31	o 6639
751.32/751.31	o 6638
751.32/751.31	o 6637
751.32/751.31	o 6636
751.32/751.31	o 6635
751.32/751.31	o 6634
751.32/751.31	o 6633
751.32/751.31	o 6632
751.32/751.31	o 6631
751.32/751.31	o 6630
751.32/751.31	o 6629
751.32/751.31	o 6628
751.32/751.31	o 6627
751.32/751.31	o 6626
751.32/751.31	o 6625
751.32/751.31	o 6624
751.32/751.31	o 6623
751.32/751.31	o 6622
751.32/751.31	o 6621
751.32/751.31	o 6620
751.32/751.31	o 6619
751.32/751.31	o 6618
751.32/751.31	o 6617
751.32/751.31	o 6616
751.32/751.31	o 6615
751.32/751.31	o 6614
751.32/751.31	o 6613
751.32/751.31	o 6612
751.32/751.31	o 6611
751.32/751.31	o 6610
751.32/751.31	o 6609
751.32/751.31	o 6608
751.32/751.31	o 6607
751.32/751.31	o 6606
751.32/751.31	o 6605
751.32/751.31	o 6604
751.32/751.31	o 6603
751.32/751.31	o 6602
751.32/751.31	o 6601
751.32/751.31	o 6600
751.32/751.31	o 6599
751.32/751.31	o 6598
751.32/751.31	o 6597
751.32/751.31	o 6596
751.32/751.31	o 6595
751.32/751.31	o 6594
751.32/751.31	o 6593
751.32/751.31	o 6592
751.32/751.31	o 6591
751.32/751.31	o 6590
751.32/751.31	o 6589
751.32/751.31	o 6588
751.32/751.31	o 6587
751.32/751.31	o 6586
751.32/751.31	o 6585
751.32/751.31	o 6584
751.32/751.31	o 6583
751.32/751.31	o 6582
751.32/751.31	o 6581
751.32/751.31	o 6580
751.32/751.31	o 6579
751.32/751.31	o 6578
751.32/751.31	o 6577
751.32/751.31	o 6576
751.32/751.31	s OPTIMUM FOUND
751.32/751.31	v x1 x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 x10 -x11 x12 -x13 x14 -x15 -x16 x17 -x18 -x19 x20 -x21 x22 x23 -x24 x25 -x26 -x27 x28 x29 -x30 -x31 x32 -x33 x34 -x35 -x36 -x37 x38 -x39 x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 x139 -x140 -x141 x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 x268 -x269 x270 x271 -x272 x273 -x274 x275 -x276 -x277 x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 x292 -x293 -x294 -x295 x296 -x297 x298 -x299 x300 -x301 x302 -x303 x304 x305 -x306 -x307 x308 -x309 x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 x322 -x323 -x324 -x325 x326 -x327 x328 -x329 x330 -x331 x332 x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 x345 -x346 x347 -x348 -x349 x350 x351 -x352 -x353 x354 x355 -x356 x357 -x358 -x359 x360 -x361 x362 -x363 x364 x365 -x366 -x367 -x368 -x369 x370 x371 -x372 -x373 x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 x414 x415 x416 x417 x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 x464 -x465 x466 x467 x468 -x469 -x470 -x471 x472 x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 x515 -x516 -x517 x518 -x519 x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 x609 x610 -x611 -x612 x613 x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 x625 -x626 x627 x628 -x629 x630 -x631 -x632 x633 -x634 x635 -x636 -x637 x638 -x639 x640 -x641 x642 x643 x644 -x645 x646 -x647 x648 -x649 -x650 x651 x652 x653 x654 x655 -x656 x657 x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 x697 x698 -x699 x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 x731 x732 -x733 -x734 -x735 x736 -x737 x738 -x739 x740 x741 -x742 -x743 x744 x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 x763 -x764 -x765 x766 -x767 x768 -x769 -x770 -x771 x772 -x773 x774 x775 -x776 x777 -x778 x779 x780 -x781 -x782 -x783 x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 x794 -x795 -x796 x797 -x798 x799 -x800 -x801 -x802 -x803 x804 -x805 x806 x807 -x808 -x809 -x810 -x811 x812 -x813 x814 x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 x833 x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 x847 x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 x857 x858 x859 -x860 -x861 -x862 -x863 x864 x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 x887 x888 -x889 x890 -x891 x892 -x893 x894 x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 x910 x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 x924 -x925 x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 x940 -x941 x942 -x943 -x944 -x945 x946 -x947 -x948 x949 x950 -x951 x952 -x953 x954 -x955 x956 -x957 -x958 x959 x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 x1004 -x1005 x1006 -x1007 x1008 -x1009 -x1010 x1011 -x1012 x1013 -x1014 x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 x1114 -x1115 x1116 -x1117 x1118 x1119 x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 x1142 x1143 -x1144 -x1145 -x1146 x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 x1165 -x1166 -x1167 -x1168 -x1169 x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 x1207 -x1208 -x1209 x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 x1219 -x1220 -x1221 x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 x1251 x1252 -x1253 x1254 -x1255 x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 x1285 -x1286 x1287 x1288 x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 x1297 x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 x1313 -x1314 -x1315 x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 x1325 x1326 -x1327 -x1328 x1329 -x1330 -x1331 x1332 -x1333 x1334 -x1335 -x1336 x1337 -x1338 x1339 -x1340 x1341 -x1342 x1343 -x1344 x1345 -x1346 -x1347 x1348 x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 x1363 x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 x1371 -x1372 x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 -x1419 x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 x1441 -x1442 x1443 x1444 -x1445 x1446 -x1447 x1448 -x1449 x1450 x1451 x1452 -x1453 x1454 -x1455 x1456 -x1457 -x1458 x1459 x1460 -x1461 -x1462 x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 x1492 -x1493 x1494 -x1495 x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 x1521 -x1522 x1523 -x1524 -x1525 x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 x1538 -x1539 x1540 -x1541 x1542 x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 x1553 -x1554 -x1555 x1556 x1557 -x1558 x1559 -x1560 -x1561 -x1562 x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 x1575 -x1576 -x1577 -x1578 x1579 -x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 x1679 x1680 -x1681 -x1682 -x1683 x1684 x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 x1719 -x1720 -x1721 -x1722 x1723 -x1724 x1725 -x1726 -x1727 x1728 -x1729 x1730 x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1740 x1741 -x1742 x1743 -x1744 x1745 x1746 -x1747 x1748 -x1749 x1750 -x1751 x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 x1759 x1760 -x1761 -x1762 -x1763 x1764 -x1765 x1766 -x1767 x1768 -x1769 x1770 x1771 -x1772 x1773 -x1774 x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 x1794 x1795 x1796 -x1797 -x1798 x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 x1837 -x1838 -x1839 x1840 -x1841 x1842 x1843 -x1844 x1845 -x1846 x1847 -x1848 x1849 -x1850 x1851 -x1852 x1853 -x1854 x1855 -x1856 x1857 x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 -x1869 x1870 x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 x1878 -x1879 x1880 -x1881 -x1882 -x1883 -x1884 x1885 x1886 -x1887 x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 x1895 -x1896 -x1897 -x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 x1912 x1913 x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1953 -x1954 x1955 -x1956 x1957 -x1958 -x1959 -x1960 x1961 -x1962 x1963 -x1964 -x1965 x1966 x1967 x1968 -x1969 x1970 -x1971 -x1972 x1973 -x1974 -x1975 x1976 -x1977 x1978 -x1979 x1980 -x1981 x1982 -x1983 x1984 -x1985 x1986 x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 x1994 x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 x2021 x2022 -x2023 x2024 x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 x2049 x2050 -x2051 x2052 -x2053 -x2054 x2055 -x2056 x2057 x2058 -x2059 x2060 x2061 -x2062 x2063 x2064 -x2065 x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 x2073 -x2074 x2075 -x2076 x2077 -x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 x2114 -x2115 -x2116 -x2117 x2118 -x2119 -x2120 x2121 x2122 -x2123 -x2124 -x2125 x2126 x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 -x2136 -x2137 x2138 -x2139 -x2140 -x2141 x2142 -x2143 -x2144 -x2145 -x2146 x2147 x2148 -x2149 -x2150 -x2151 x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 x2165 x2166 x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 x2175 -x2176 -x2177 x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2199 -x2200 x2201 x2202 x2203 x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 x2250 x2251 x2252 -x2253 x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 x2263 x2264 -x2265 x2266 -x2267 x2268 -x2269 x2270 -x2271 x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 x2281 x2282 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308 x2309 -x2310 x2311 -x2312 -x2313 -x2314 x2315 -x2316 x2317 -x2318 -x2319 x2320 -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 x2331 -x2332 -x2333 x2334 x2335 -x2336 -x2337 x2338 -x2339 -x2340 -x2341 x2342 -x2343 x2344 -x2345 x2346 x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 -x2360 x2361 -x2362 -x2363 x2364 -x2365 -x2366 x2367 x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x2380 -x2381 x2382 x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392 x2393 x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 x2418 -x2419 -x2420 -x2421 -x2422 x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 x2435 -x2436 x2437 x2438 x2439 x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 x2447 x2448 -x2449 -x2450 -x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 x2465 -x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482 -x2483 -x2484 -x2485 x2486 -x2487 x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 -x2497 -x2498 -x2499 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 x2523 -x2524 -x2525 x2526 x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 x2537 x2538 -x2539 x2540 -x2541 x2542 x2543 -x2544 x2545 -x2546 -x2547 x2548 -x2549 x2550 x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 x2568 -x2569 -x2570 x2571 -x2572 x2573 x2574 -x2575 x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 -x2589 x2590 -x2591 x2592 -x2593 x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 x2614 x2615 x2616 x2617 x2618 -x2619 x2620 -x2621 -x2622 x2623 x2624 -x2625 -x2626 x2627 -x2628 -x2629 -x2630 x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 x2641 -x2642 x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x2650 -x2651 x2652 -x2653 -x2654 x2655 x2656 -x2657 -x2658 -x2659 x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 x2685 -x2686 x2687 x2688 -x2689 -x2690 -x2691 -x2692 x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 x2706 -x2707 -x2708 x2709 x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 x2717 -x2718 x2719 -x2720 -x2721 x2722 -x2723 -x2724 -x2725 x2726 -x2727 -x2728 x2729 x2730 -x2731 -x2732 x2733 -x2734 -x2735 -x2736 -x2737 x2738 x2739 -x2740 -x2741 -x2742 -x2743 x2744 x2745 x2746 -x2747 -x2748 x2749 -x2750 x2751 -x2752 -x2753 x2754 x2755 -x2756 -x2757 -x2758 x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 x2777 x2778 -x2779 -x2780 -x2781 x2782 x2783 -x2784 x2785 x2786 -x2787 -x2788 -x2789 x2790 -x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x2800 -x2801 x2802 -x2803 -x2804 x2805 -x2806 x2807 -x2808 -x2809 x2810 -x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817 x2818 -x2819 -x2820 -x2821 x2822 -x2823 -x2824 -x2825 x2826 -x2827 -x2828 -x2829 -x2830 x2831 -x2832 -x2833 x2834 x2835 -x2836 -x2837 x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 x2846 -x2847 x2848 -x2849 -x2850 -x2851 -x2852 -x2853 x2854 -x2855 -x2856 x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 x2874 -x2875 x2876 -x2877 x2878 -x2879 x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 x2889 x2890 -x2891 -x2892 -x2893 -x2894 x2895 -x2896 -x2897 -x2898 -x2899 -x2900 x2901 -x2902 -x2903 -x2904 -x2905 x2906 -x2907 -x2908 x2909 -x2910 -x2911 x2912 -x2913 x2914 -x2915 x2916 -x2917 x2918 x2919 x2920 -x2921 -x2922 x2923 -x2924 x2925 -x2926 x2927 -x2928 x2929 -x2930 x2931 x2932 -x2933 -x2934 x2935 -x2936 x2937 -x2938 -x2939 -x2940 -x2941 x2942 -x2943 -x2944 -x2945 x2946 -x2947 -x2948 x2949 x2950 -x2951 x2952 -x2953 x2954 x2955 x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970 x2971 -x2972 x2973 -x2974 x2975 x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 x2991 -x2992 -x2993 -x2994 x2995 -x2996 x2997 -x2998 -x2999 x3000 -x3001 x3002 -x3003 x3004 -x3005 -x3006 x3007 x3008 x3009 -x3010 -x3011 x3012 x3013 -x3014 -x3015 -x3016 x3017 -x3018 -x3019 x3020 -x3021 -x3022 -x3023 x3024 x3025 x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 x4142 -x4143 -x4144 -x4145 x4146 -x4147 -x4148 -x4149 x4150 x4151 -x4152 -x4153 x4154 x4155 -x4156 x4157 x4158 x4159 x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 x4224 x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 x4250 x4251 x4252 x4253 x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 x4275 x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 x4363 x4364 -x4365 -x4366 -x4367 x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 x4389 x4390 x4391 x4392 x4393 x4394 x4395 x4396 x4397 x4398 -x4399 -x4400 -x4401 -x4402 -x4403 x4404 -x4405 -x4406 -x4407 x4408 -x4409 x4410 x4411 -x4412 x4413 -x4414 x4415 x4416 -x4417 -x4418 -x4419 -x4420 -x4421 x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 x4470 x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 x4479 -x4480 -x4481 -x4482 x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 x4508 -x4509 -x4510 -x4511 x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 x4523 x4524 -x4525 -x4526 -x4527 x4528 x4529 -x4530 x4531 -x4532 -x4533 -x4534 x4535 -x4536 x4537 -x4538 x4539 -x4540 -x4541 -x4542 x4543 x4544 x4545 -x4546 -x4547 -x4548 x4549 x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 x4567 x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 x4575 -x4576 -x4577 x4578 x4579 x4580 x4581 x4582 -x4583 -x4584 -x4585 x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 x4606 -x4607 -x4608 -x4609 x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 x4633 -x4634 -x4635 -x4636 -x4637 x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 x4647 x4648 -x4649 x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 x4657 -x4658 -x4659 x4660 x4661 x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 x4670 -x4671 x4672 -x4673 x4674 x4675 -x4676 -x4677 x4678 x4679 x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 x4690 x4691 x4692 -x4693 -x4694 x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 x4704 -x4705 -x4706 -x4707 x4708 -x4709 -x4710 -x4711 x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 x4727 -x4728 -x4729 -x4730 x4731 -x4732 x4733 -x4734 -x4735 -x4736 -x4737 x4738 -x4739 -x4740 x4741 x4742 -x4743 -x4744 x4745 -x4746 x4747 -x4748 -x4749 -x4750 -x4751 -x4752 x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 x4766 x4767 x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 x4777 -x4778 -x4779 -x4780 -x4781 x4782 -x4783 x4784 -x4785 -x4786 -x4787 -x4788 x4789 x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 x4815 -x4816 x4817 -x4818 -x4819 -x4820 x4821 -x4822 x4823 x4824 -x4825 -x4826 -x4827 x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 x4835 -x4836 x4837 x4838 -x4839 -x4840 -x4841 -x4842 -x4843 x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 x4859 -x4860 -x4861 -x4862 -x4863 x4864 -x4865 -x4866 x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 x4886 -x4887 x4888 -x4889 -x4890 x4891 x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 x4900 x4901 -x4902 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4911 x4912 -x4913 -x4914 x4915 -x4916 -x4917 -x4918 x4919 -x4920 -x4921 -x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 x4930 x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 x4954 -x4955 x4956 x4957 -x4958 x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 x4971 x4972 x4973 x4974 -x4975 -x4976 -x4977 -x4978 -x4979 x4980 -x4981 -x4982 -x4983 -x4984 x4985 -x4986 -x4987 x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 x4995 -x4996 -x4997 -x4998 -x4999 x5000 -x5001 -x5002 -x5003 -x5004 -x5005 x5006 -x5007 -x5008 x5009 -x5010 -x5011 -x5012 -x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 x5023 x5024 -x5025 -x5026 x5027 x5028 -x5029 -x5030 -x5031 -x5032 x5033 x5034 x5035 x5036 x5037 -x5038 x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 x5089 -x5090 -x5091 x5092 x5093 -x5094 x5095 x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 x5126 -x5127 -x5128 -x5129 -x5130 x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 x5138 -x5139 -x5140 x5141 x5142 -x5143 x5144 -x5145 -x5146 -x5147 x5148 -x5149 x5150 -x5151 x5152 x5153 x5154 -x5155 -x5156 x5157 x5158 x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 x5171 -x5172 x5173 x5174 -x5175 x5176 -x5177 -x5178 -x5179 x5180 -x5181 x5182 x5183 -x5184 -x5185 -x5186 x5187 x5188 x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 x5199 -x5200 x5201 -x5202 x5203 x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 x5218 -x5219 -x5220 -x5221 -x5222 x5223 -x5224 x5225 -x5226 -x5227 -x5228 -x5229 x5230 -x5231 x5232 x5233 -x5234 x5235 -x5236 -x5237 -x5238 x5239 -x5240 x5241 -x5242 -x5243 -x5244 -x5245 x5246 -x5247 -x5248 x5249 -x5250 -x5251 -x5252 x5253 x5254 -x5255 -x5256 x5257 -x5258 x5259 x5260 x5261 x5262 x5263 x5264 x5265 -x5266 -x5267 -x5268 -x5269 x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 x5283 x5284 x5285 x5286 -x5287 x5288 x5289 x5290 x5291 x5292 x5293 x5294 x5295 -x5296 x5297 x5298 -x5299 x5300 -x5301 -x5302 x5303 x5304 -x5305 x5306 x5307 x5308 -x5309 x5310 -x5311 -x5312 -x5313 x5314 -x5315 x5316 -x5317 x5318 -x5319 -x5320 -x5321 -x5322 -x5323 x5324 x5325 -x5326 x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 x5335 x5336 -x5337 -x5338 -x5339 x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 x5380 -x5381 -x5382 -x5383 x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 x5431 x5432 x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 x5475 x5476 x5477 -x5478 x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 x5488 -x5489 x5490 -x5491 -x5492 x5493 x5494 -x5495 x5496 -x5497 -x5498 x5499 -x5500 -x5501 x5502 -x5503 x5504 x5505 -x5506 -x5507 x5508 x5509 x5510 -x5511 -x5512 x5513 x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 x5544 x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 x5554 -x5555 x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 x5583 -x5584 -x5585 x5586 -x5587 -x5588 -x5589 -x5590 x5591 -x5592 -x5593 -x5594 -x5595 -x5596 x5597 x5598 -x5599 -x5600 -x5601 x5602 -x5603 x5604 -x5605 -x5606 -x5607 x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 x5641 -x5642 -x5643 x5644 x5645 -x5646 x5647 x5648 -x5649 -x5650 -x5651 x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 x5684 x5685 x5686 x5687 x5688 x5689 x5690 

OK	6576

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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 /var/tmp/evaluation-result-3498069-1307935329/watcher-3498069-1307935329 -o /var/tmp/evaluation-result-3498069-1307935329/solver-3498069-1307935329 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3498069-1307935329.opb --verbosity=0 --format=opb --randomseed=1469272049 

running on 4 cores: 1,3,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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20696
/proc/meminfo: memFree=1360668/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=8048 CPUtime=0 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 438 0 0 0 0 0 0 0 22 0 1 0 885948745 8241152 392 33554432000 4194304 6957856 140734019378352 18446744073709551615 4429446 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 2012 394 227 675 0 1328 0

[startup+0.015109 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20696
/proc/meminfo: memFree=1360668/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=8864 CPUtime=0.01 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 707 0 0 0 1 0 0 0 22 0 1 0 885948745 9076736 643 33554432000 4194304 6957856 140734019378352 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 2216 643 251 675 0 1532 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8864

[startup+0.100135 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20696
/proc/meminfo: memFree=1360668/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=15576 CPUtime=0.09 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 2364 0 0 0 9 0 0 0 22 0 1 0 885948745 15949824 2300 33554432000 4194304 6957856 140734019378352 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 3894 2301 251 675 0 3210 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15576

[startup+0.301111 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20696
/proc/meminfo: memFree=1360668/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=33256 CPUtime=0.29 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 6946 0 0 0 29 0 0 0 23 0 1 0 885948745 34054144 6715 33554432000 4194304 6957856 140734019378352 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 8314 6716 267 675 0 7630 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33256

[startup+0.70103 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20696
/proc/meminfo: memFree=1360668/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=80072 CPUtime=0.69 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 18661 0 0 0 67 2 0 0 25 0 1 0 885948745 81993728 18364 33554432000 4194304 6957856 140734019378352 18446744073709551615 5918075 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 20018 18364 268 675 0 19334 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80072

[startup+1.50088 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 20697
/proc/meminfo: memFree=1288288/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=80072 CPUtime=1.49 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 18680 0 0 0 147 2 0 0 25 0 1 0 885948745 81993728 18383 33554432000 4194304 6957856 140734019378352 18446744073709551615 4838129 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 20018 18383 282 675 0 19334 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80072

[startup+3.1006 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 20697
/proc/meminfo: memFree=1287668/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=80076 CPUtime=3.09 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 18721 0 0 0 307 2 0 0 25 0 1 0 885948745 81997824 18424 33554432000 4194304 6957856 140734019378352 18446744073709551615 5922184 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 20019 18424 285 675 0 19335 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80076

[startup+6.30102 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 20697
/proc/meminfo: memFree=1287156/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=80476 CPUtime=6.29 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 18857 0 0 0 627 2 0 0 25 0 1 0 885948745 82407424 18559 33554432000 4194304 6957856 140734019378352 18446744073709551615 5922126 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 20119 18559 285 675 0 19435 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80476

[startup+12.7009 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 20698
/proc/meminfo: memFree=1285028/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=81312 CPUtime=12.69 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 19119 0 0 0 1267 2 0 0 25 0 1 0 885948745 83263488 18821 33554432000 4194304 6957856 140734019378352 18446744073709551615 5932662 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 20328 18821 285 675 0 19644 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81312

[startup+25.5006 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 20698
/proc/meminfo: memFree=1282084/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=83048 CPUtime=25.49 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 19607 0 0 0 2547 2 0 0 25 0 1 0 885948745 85041152 19309 33554432000 4194304 6957856 140734019378352 18446744073709551615 5918214 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 20762 19309 285 675 0 20078 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83048

[startup+51.101 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 20699
/proc/meminfo: memFree=1261508/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=101764 CPUtime=51.09 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 30937 0 0 0 5105 4 0 0 25 0 1 0 885948745 104206336 24110 33554432000 4194304 6957856 140734019378352 18446744073709551615 5922313 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 25441 24110 286 675 0 24757 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 101764

[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 20700
/proc/meminfo: memFree=1222192/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=143608 CPUtime=102.29 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 44372 0 0 0 10223 6 0 0 25 0 1 0 885948745 147054592 32452 33554432000 4194304 6957856 140734019378352 18446744073709551615 4871295 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 35902 32452 286 675 0 35218 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 143608

[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 20702
/proc/meminfo: memFree=1209268/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=144204 CPUtime=162.29 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 58993 0 0 0 16220 9 0 0 25 0 1 0 885948745 147664896 34296 33554432000 4194304 6957856 140734019378352 18446744073709551615 5922021 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 36051 34296 287 675 0 35367 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 144204

[startup+222.3 s]
/proc/loadavg: 2.10 2.02 2.00 3/178 20706
/proc/meminfo: memFree=1204360/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=144204 CPUtime=222.29 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 59037 0 0 0 22220 9 0 0 25 0 1 0 885948745 147664896 34340 33554432000 4194304 6957856 140734019378352 18446744073709551615 5932573 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 36051 34340 287 675 0 35367 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 144204

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 20708
/proc/meminfo: memFree=1194832/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=144204 CPUtime=282.29 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 60227 0 0 0 28220 9 0 0 25 0 1 0 885948745 147664896 35529 33554432000 4194304 6957856 140734019378352 18446744073709551615 5922313 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 36051 35529 287 675 0 35367 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 144204

[startup+342.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20709
/proc/meminfo: memFree=1189244/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=151624 CPUtime=342.29 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 60519 0 0 0 34220 9 0 0 25 0 1 0 885948745 155262976 35821 33554432000 4194304 6957856 140734019378352 18446744073709551615 5385219 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 37906 35821 287 675 0 37222 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 151624

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20711
/proc/meminfo: memFree=1177776/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=151624 CPUtime=402.3 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 62084 0 0 0 40220 10 0 0 25 0 1 0 885948745 155262976 37384 33554432000 4194304 6957856 140734019378352 18446744073709551615 5934045 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 37906 37384 287 675 0 37222 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 151624

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20713
/proc/meminfo: memFree=1172736/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=151624 CPUtime=462.31 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 81781 0 0 0 46218 13 0 0 25 0 1 0 885948745 155262976 37384 33554432000 4194304 6957856 140734019378352 18446744073709551615 5917973 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 37906 37384 287 675 0 37222 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 151624

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20714
/proc/meminfo: memFree=1168744/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=151624 CPUtime=522.31 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 81781 0 0 0 52218 13 0 0 25 0 1 0 885948745 155262976 37384 33554432000 4194304 6957856 140734019378352 18446744073709551615 5922145 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 37906 37384 287 675 0 37222 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 151624

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20716
/proc/meminfo: memFree=1164060/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=151624 CPUtime=582.31 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 81781 0 0 0 58218 13 0 0 25 0 1 0 885948745 155262976 37384 33554432000 4194304 6957856 140734019378352 18446744073709551615 5922137 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 37906 37384 287 675 0 37222 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 151624

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20717
/proc/meminfo: memFree=1159068/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=151624 CPUtime=642.32 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 81781 0 0 0 64219 13 0 0 25 0 1 0 885948745 155262976 37384 33554432000 4194304 6957856 140734019378352 18446744073709551615 5917973 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 37906 37384 287 675 0 37222 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 151624

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20719
/proc/meminfo: memFree=1153388/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=151624 CPUtime=702.31 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 81781 0 0 0 70218 13 0 0 25 0 1 0 885948745 155262976 37384 33554432000 4194304 6957856 140734019378352 18446744073709551615 5308098 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 37906 37384 287 675 0 37222 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 151624

Solver just ended. Dumping a history of the last processes samples

[startup+716.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20719
/proc/meminfo: memFree=1152316/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=151624 CPUtime=716.71 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 81781 0 0 0 71658 13 0 0 25 0 1 0 885948745 155262976 37384 33554432000 4194304 6957856 140734019378352 18446744073709551615 5932528 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 37906 37384 287 675 0 37222 0
Current children cumulated CPU time (s) 716.71
Current children cumulated vsize (KiB) 151624

[startup+729.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20720
/proc/meminfo: memFree=1151388/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=151624 CPUtime=729.51 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 81781 0 0 0 72938 13 0 0 25 0 1 0 885948745 155262976 37384 33554432000 4194304 6957856 140734019378352 18446744073709551615 5918155 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 37906 37384 287 675 0 37222 0
Current children cumulated CPU time (s) 729.51
Current children cumulated vsize (KiB) 151624

[startup+742.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20720
/proc/meminfo: memFree=1150828/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=151624 CPUtime=742.31 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 81781 0 0 0 74218 13 0 0 25 0 1 0 885948745 155262976 37384 33554432000 4194304 6957856 140734019378352 18446744073709551615 5311760 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 37906 37384 287 675 0 37222 0
Current children cumulated CPU time (s) 742.31
Current children cumulated vsize (KiB) 151624

[startup+745.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20720
/proc/meminfo: memFree=1150488/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=151624 CPUtime=745.51 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 81781 0 0 0 74538 13 0 0 25 0 1 0 885948745 155262976 37384 33554432000 4194304 6957856 140734019378352 18446744073709551615 5932608 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 37906 37384 287 675 0 37222 0
Current children cumulated CPU time (s) 745.51
Current children cumulated vsize (KiB) 151624

[startup+748.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20720
/proc/meminfo: memFree=1150032/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=151624 CPUtime=748.71 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 81781 0 0 0 74858 13 0 0 25 0 1 0 885948745 155262976 37384 33554432000 4194304 6957856 140734019378352 18446744073709551615 5918070 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 37906 37384 287 675 0 37222 0
Current children cumulated CPU time (s) 748.71
Current children cumulated vsize (KiB) 151624

[startup+750.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20720
/proc/meminfo: memFree=1150032/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=151624 CPUtime=750.31 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 81781 0 0 0 75018 13 0 0 25 0 1 0 885948745 155262976 37384 33554432000 4194304 6957856 140734019378352 18446744073709551615 5312987 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 37906 37384 287 675 0 37222 0
Current children cumulated CPU time (s) 750.31
Current children cumulated vsize (KiB) 151624

[startup+751.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20720
/proc/meminfo: memFree=1150032/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=151624 CPUtime=751.11 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 81781 0 0 0 75098 13 0 0 25 0 1 0 885948745 155262976 37384 33554432000 4194304 6957856 140734019378352 18446744073709551615 4851187 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 37906 37384 287 675 0 37222 0
Current children cumulated CPU time (s) 751.11
Current children cumulated vsize (KiB) 151624

[startup+751.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20720
/proc/meminfo: memFree=1150136/32951124 swapFree=67054264/67111528
[pid=20696] ppid=20694 vsize=151624 CPUtime=751.32 cores=1,3,5,7
/proc/20696/stat : 20696 (minisatid-gmp) R 20694 20696 16798 0 -1 4202496 81781 0 0 0 75119 13 0 0 25 0 1 0 885948745 155262976 37384 33554432000 4194304 6957856 140734019378352 18446744073709551615 5313123 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20696/statm: 37906 37384 287 675 0 37222 0
Current children cumulated CPU time (s) 751.32
Current children cumulated vsize (KiB) 151624

Child status: 10
Real time (s): 751.327
CPU time (s): 751.345
CPU user time (s): 751.207
CPU system time (s): 0.137979
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 224344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 751.207
system time used= 0.137979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81784
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= 5
involuntary context switches= 1781

runsolver used 1.13283 second user time and 2.70059 second system time

The end

Begin job on node145 at 2011-06-13 05:22:09
IDJOB=3498069
IDBENCH=72114
IDSOLVER=1990
FILE ID=node145/3498069-1307935329
RUNJOBID= node145-1307919792-16817
PBS_JOBID= 13559634
Free space on /var/tmp= 2880 MiB

SOLVER NAME= MinisatID 2.5.2-gmp
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randcebca4.cudf.paranoid.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3498069-1307935329/watcher-3498069-1307935329 -o /var/tmp/evaluation-result-3498069-1307935329/solver-3498069-1307935329 -C 1800 -W 1900 -M 15500  HOME/minisatid-gmp HOME/instance-3498069-1307935329.opb --verbosity=0 --format=opb --randomseed=1469272049

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

MD5SUM BENCH= 18eba4fc2c6c4c36f404d480a47d1c35
RANDOM SEED=1469272049

node145.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.786
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.57
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.786
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	: 5332.76
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.786
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.74
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.786
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.83
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.786
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.82
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.786
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1361344 kB
Buffers:        111396 kB
Cached:       28931404 kB
SwapCached:       9704 kB
Active:       15568756 kB
Inactive:     15088432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1361344 kB
SwapTotal:    67111528 kB
SwapFree:     67054264 kB
Dirty:            3908 kB
Writeback:           0 kB
AnonPages:     1612072 kB
Mapped:          14084 kB
Slab:           865336 kB
PageTables:       7680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1836268 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 /var/tmp at the end= 2876 MiB
End job on node145 at 2011-06-13 05:34:40