Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Fri Apr 22 14:51:38 2016 Msieve v. 1.52 (SVN exported)
- Fri Apr 22 14:51:38 2016 random seeds: af2a7d40 604941aa
- Fri Apr 22 14:51:38 2016 factoring 2188631741508591403562986651632391146379880884734645955005812183277583487899017905891245273673542274647836721631476604265405152233693016534178740852390420954793799826044483718604333023557056283828855655156707029152010737589839 (226 digits)
- Fri Apr 22 14:51:41 2016 searching for 15-digit factors
- Fri Apr 22 14:51:44 2016 commencing number field sieve (226-digit input)
- Fri Apr 22 14:51:44 2016 R0: -19673250936660415417029531820024397824
- Fri Apr 22 14:51:44 2016 R1: 514166125484246966737602341678133311989
- Fri Apr 22 14:51:44 2016 A0: 141158161
- Fri Apr 22 14:51:44 2016 A1: 0
- Fri Apr 22 14:51:44 2016 A2: 0
- Fri Apr 22 14:51:44 2016 A3: 0
- Fri Apr 22 14:51:44 2016 A4: 0
- Fri Apr 22 14:51:44 2016 A5: 0
- Fri Apr 22 14:51:44 2016 A6: 118
- Fri Apr 22 14:51:44 2016 skew 1.00, size 5.392e-13, alpha 1.626, combined = 6.784e-14 rroots = 0
- Fri Apr 22 14:51:44 2016
- Fri Apr 22 14:51:44 2016 commencing relation filtering
- Fri Apr 22 14:51:44 2016 setting target matrix density to 130.0
- Fri Apr 22 14:51:44 2016 estimated available RAM is 64392.0 MB
- Fri Apr 22 14:51:44 2016 commencing duplicate removal, pass 1
- Fri Apr 22 15:15:02 2016 error -5 reading relation 57962203
- Fri Apr 22 15:21:22 2016 error -9 reading relation 73468529
- Fri Apr 22 15:21:22 2016 error -1 reading relation 73468530
- Fri Apr 22 15:24:39 2016 error -15 reading relation 81844967
- Fri Apr 22 15:24:39 2016 error -9 reading relation 81852356
- Fri Apr 22 15:44:42 2016 error -15 reading relation 132971161
- Fri Apr 22 15:53:20 2016 error -9 reading relation 155517887
- Fri Apr 22 15:55:08 2016 error -15 reading relation 160708101
- Fri Apr 22 15:55:08 2016 error -15 reading relation 160708137
- Fri Apr 22 15:55:08 2016 error -15 reading relation 160712442
- Fri Apr 22 15:55:08 2016 error -15 reading relation 160712478
- Fri Apr 22 15:57:24 2016 error -15 reading relation 166502945
- Fri Apr 22 16:03:14 2016 error -9 reading relation 181589230
- Fri Apr 22 16:03:14 2016 error -1 reading relation 181591821
- Fri Apr 22 16:03:14 2016 error -15 reading relation 181593199
- Fri Apr 22 16:03:50 2016 error -11 reading relation 183283253
- Fri Apr 22 16:03:50 2016 error -9 reading relation 183283290
- Fri Apr 22 16:03:50 2016 error -11 reading relation 183283754
- Fri Apr 22 16:03:50 2016 error -9 reading relation 183283790
- Fri Apr 22 16:06:09 2016 error -11 reading relation 189484723
- Fri Apr 22 16:06:09 2016 error -9 reading relation 189484759
- Fri Apr 22 16:06:09 2016 error -9 reading relation 189489000
- Fri Apr 22 16:06:09 2016 error -9 reading relation 189489036
- Fri Apr 22 16:10:36 2016 error -9 reading relation 202088584
- Fri Apr 22 16:10:36 2016 error -5 reading relation 202089787
- Fri Apr 22 16:10:36 2016 error -15 reading relation 202090233
- Fri Apr 22 16:10:36 2016 error -9 reading relation 202092176
- Fri Apr 22 16:12:02 2016 error -15 reading relation 206026943
- Fri Apr 22 16:15:26 2016 error -1 reading relation 215417835
- Fri Apr 22 16:15:38 2016 error -15 reading relation 215911277
- Fri Apr 22 16:15:38 2016 error -11 reading relation 215911278
- Fri Apr 22 16:16:03 2016 error -15 reading relation 216951484
- Fri Apr 22 16:16:24 2016 error -9 reading relation 217806336
- Fri Apr 22 16:16:56 2016 error -15 reading relation 219085781
- Fri Apr 22 16:16:56 2016 error -15 reading relation 219085818
- Fri Apr 22 16:17:50 2016 error -1 reading relation 221311694
- Fri Apr 22 16:18:41 2016 error -15 reading relation 223459149
- Fri Apr 22 16:19:14 2016 error -9 reading relation 224768769
- Fri Apr 22 16:19:14 2016 error -15 reading relation 224770483
- Fri Apr 22 16:19:14 2016 error -5 reading relation 224770641
- Fri Apr 22 16:21:37 2016 error -9 reading relation 230736096
- Fri Apr 22 16:24:04 2016 error -1 reading relation 236891296
- Fri Apr 22 16:27:38 2016 error -9 reading relation 246079804
- Fri Apr 22 16:30:42 2016 error -15 reading relation 253513924
- Fri Apr 22 16:31:22 2016 error -5 reading relation 255133713
- Fri Apr 22 16:31:44 2016 error -15 reading relation 256024846
- Fri Apr 22 16:35:53 2016 error -15 reading relation 266675342
- Fri Apr 22 16:35:53 2016 error -15 reading relation 266675378
- Fri Apr 22 16:35:54 2016 error -11 reading relation 266687692
- Fri Apr 22 16:35:54 2016 error -9 reading relation 266687728
- Fri Apr 22 16:35:54 2016 error -11 reading relation 266689355
- Fri Apr 22 16:35:54 2016 error -9 reading relation 266689391
- Fri Apr 22 16:35:55 2016 error -11 reading relation 266740859
- Fri Apr 22 16:35:55 2016 error -9 reading relation 266740895
- Fri Apr 22 16:38:07 2016 error -9 reading relation 272447336
- Fri Apr 22 16:40:31 2016 error -5 reading relation 279323981
- Fri Apr 22 16:42:01 2016 error -15 reading relation 284517852
- Fri Apr 22 16:42:19 2016 error -15 reading relation 285547192
- Fri Apr 22 16:42:21 2016 error -9 reading relation 285700167
- Fri Apr 22 16:42:46 2016 error -9 reading relation 287130224
- Fri Apr 22 16:42:49 2016 error -15 reading relation 287307777
- Fri Apr 22 16:43:47 2016 error -5 reading relation 290541259
- Fri Apr 22 16:45:08 2016 error -15 reading relation 295162294
- Fri Apr 22 16:45:46 2016 error -11 reading relation 297319157
- Fri Apr 22 16:45:46 2016 error -9 reading relation 297319193
- Fri Apr 22 16:45:46 2016 error -11 reading relation 297320982
- Fri Apr 22 16:45:46 2016 error -9 reading relation 297321018
- Fri Apr 22 16:45:47 2016 error -1 reading relation 297359160
- Fri Apr 22 16:45:47 2016 error -1 reading relation 297359197
- Fri Apr 22 16:45:47 2016 error -15 reading relation 297360546
- Fri Apr 22 16:45:47 2016 error -15 reading relation 297360582
- Fri Apr 22 16:45:49 2016 error -9 reading relation 297476429
- Fri Apr 22 16:45:50 2016 error -15 reading relation 297564562
- Fri Apr 22 16:45:56 2016 error -15 reading relation 297914007
- Fri Apr 22 16:45:58 2016 error -11 reading relation 298013757
- Fri Apr 22 16:46:09 2016 error -1 reading relation 298626227
- Fri Apr 22 16:46:17 2016 error -15 reading relation 299030691
- Fri Apr 22 16:46:27 2016 error -9 reading relation 299614324
- Fri Apr 22 16:46:31 2016 error -9 reading relation 299887297
- Fri Apr 22 16:46:55 2016 error -5 reading relation 301228285
- Fri Apr 22 16:47:01 2016 error -15 reading relation 301615996
- Fri Apr 22 16:47:29 2016 error -15 reading relation 303203841
- Fri Apr 22 16:47:40 2016 error -9 reading relation 303811243
- Fri Apr 22 16:48:56 2016 error -9 reading relation 307932213
- Fri Apr 22 16:48:59 2016 error -15 reading relation 308090711
- Fri Apr 22 16:48:59 2016 error -9 reading relation 308091278
- Fri Apr 22 16:49:07 2016 error -9 reading relation 308388792
- Fri Apr 22 16:49:07 2016 error -9 reading relation 308389195
- Fri Apr 22 16:52:25 2016 error -5 reading relation 316740558
- Fri Apr 22 16:53:00 2016 error -15 reading relation 318273582
- Fri Apr 22 16:53:00 2016 error -15 reading relation 318273618
- Fri Apr 22 16:54:36 2016 error -9 reading relation 322026029
- Fri Apr 22 16:54:52 2016 error -5 reading relation 322823376
- Fri Apr 22 16:55:00 2016 error -1 reading relation 323173545
- Fri Apr 22 16:55:00 2016 error -1 reading relation 323173582
- Fri Apr 22 16:55:00 2016 error -9 reading relation 323175507
- Fri Apr 22 16:55:00 2016 error -9 reading relation 323175543
- Fri Apr 22 16:55:16 2016 error -15 reading relation 323880525
- Fri Apr 22 16:55:16 2016 error -15 reading relation 323880561
- Fri Apr 22 16:55:19 2016 error -1 reading relation 324034079
- Fri Apr 22 17:03:06 2016 error -15 reading relation 344056070
- Fri Apr 22 17:03:41 2016 error -5 reading relation 345461329
- Fri Apr 22 17:03:41 2016 error -1 reading relation 345461366
- Fri Apr 22 17:03:46 2016 error -15 reading relation 345666542
- Fri Apr 22 17:03:46 2016 error -15 reading relation 345666577
- Fri Apr 22 17:03:46 2016 error -9 reading relation 345667549
- Fri Apr 22 17:03:46 2016 error -9 reading relation 345667586
- Fri Apr 22 17:03:46 2016 error -15 reading relation 345668129
- Fri Apr 22 17:03:46 2016 error -15 reading relation 345668165
- Fri Apr 22 17:03:53 2016 error -15 reading relation 346024647
- Fri Apr 22 17:03:53 2016 error -15 reading relation 346024682
- Fri Apr 22 17:03:58 2016 error -9 reading relation 346274596
- Fri Apr 22 17:03:58 2016 error -9 reading relation 346274632
- Fri Apr 22 17:03:58 2016 error -11 reading relation 346275179
- Fri Apr 22 17:03:58 2016 error -9 reading relation 346275215
- Fri Apr 22 17:03:58 2016 error -15 reading relation 346275993
- Fri Apr 22 17:03:58 2016 error -15 reading relation 346276028
- Fri Apr 22 17:05:25 2016 error -15 reading relation 349812503
- Fri Apr 22 17:09:22 2016 error -9 reading relation 359492520
- Fri Apr 22 17:09:54 2016 error -15 reading relation 360871936
- Fri Apr 22 17:11:07 2016 error -5 reading relation 363895999
- Fri Apr 22 17:11:18 2016 error -15 reading relation 364393367
- Fri Apr 22 17:11:45 2016 error -9 reading relation 365422811
- Fri Apr 22 17:12:27 2016 error -9 reading relation 367239434
- Fri Apr 22 17:13:26 2016 error -9 reading relation 369566729
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820204
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820205
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820206
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820207
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820208
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820209
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820210
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820211
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820212
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820213
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820214
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820215
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820216
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820217
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820218
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820219
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820220
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820221
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820222
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820223
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820224
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820225
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820226
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820227
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820228
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820229
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820230
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820231
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820232
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820233
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820234
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820235
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820236
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820237
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820238
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820239
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820240
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820241
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820242
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820243
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820244
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820245
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820246
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820247
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820248
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820249
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820250
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820251
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820252
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820253
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820254
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820255
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820256
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820257
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820258
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820259
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820260
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820261
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820262
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820263
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820264
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820265
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820266
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820267
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820268
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820269
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820270
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820271
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820272
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820273
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820274
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820275
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820276
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820277
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820278
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820279
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820280
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820281
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820282
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820283
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820284
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820285
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820286
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820287
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820288
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820289
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820290
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820291
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820292
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820293
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820294
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820295
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820296
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820297
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820298
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820299
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820300
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820301
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820302
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820303
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820304
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820305
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820306
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820307
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820308
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820309
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820310
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820311
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820312
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820313
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820314
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820315
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820316
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820317
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820318
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820319
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820320
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820321
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820322
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820323
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820324
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820325
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820326
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820327
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820328
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820329
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820330
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820331
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820332
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820333
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820334
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820335
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820336
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820337
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820338
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820339
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820340
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820341
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820342
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820343
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820344
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820345
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820346
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820347
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820348
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820349
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820350
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820351
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820352
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820353
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820354
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820355
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820356
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820357
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820358
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820359
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820360
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820361
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820362
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820363
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820364
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820365
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820366
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820367
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820368
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820369
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820370
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820371
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820372
- Fri Apr 22 17:13:55 2016 error -1 reading relation 370820373
- Fri Apr 22 17:15:26 2016 error -5 reading relation 374614830
- Fri Apr 22 17:15:26 2016 error -5 reading relation 374614866
- Fri Apr 22 17:18:10 2016 error -15 reading relation 381656479
- Fri Apr 22 17:18:10 2016 error -15 reading relation 381656515
- Fri Apr 22 17:19:30 2016 error -11 reading relation 386009598
- Fri Apr 22 17:19:58 2016 error -9 reading relation 387568670
- Fri Apr 22 17:21:33 2016 error -15 reading relation 392327035
- Fri Apr 22 17:22:05 2016 error -5 reading relation 393634991
- Fri Apr 22 17:22:05 2016 error -1 reading relation 393634992
- Fri Apr 22 17:23:43 2016 error -9 reading relation 397655914
- Fri Apr 22 17:25:00 2016 error -1 reading relation 401198150
- Fri Apr 22 17:26:23 2016 error -9 reading relation 405038563
- Fri Apr 22 17:26:30 2016 error -15 reading relation 405360427
- Fri Apr 22 17:26:42 2016 error -15 reading relation 405868113
- Fri Apr 22 17:27:02 2016 error -15 reading relation 406672623
- Fri Apr 22 17:28:31 2016 error -15 reading relation 410524443
- Fri Apr 22 17:28:31 2016 error -15 reading relation 410531116
- Fri Apr 22 17:29:00 2016 error -9 reading relation 411802903
- Fri Apr 22 17:29:06 2016 error -15 reading relation 412076834
- Fri Apr 22 17:29:08 2016 error -15 reading relation 412180374
- Fri Apr 22 17:29:17 2016 error -15 reading relation 412611041
- Fri Apr 22 17:29:26 2016 error -9 reading relation 413054217
- Fri Apr 22 17:29:33 2016 error -5 reading relation 413448154
- Fri Apr 22 17:29:42 2016 error -9 reading relation 413833015
- Fri Apr 22 17:29:52 2016 error -15 reading relation 414267184
- Fri Apr 22 17:29:55 2016 error -9 reading relation 414401605
- Fri Apr 22 17:29:55 2016 error -1 reading relation 414406857
- Fri Apr 22 17:29:57 2016 error -15 reading relation 414466602
- Fri Apr 22 17:29:59 2016 error -15 reading relation 414565455
- Fri Apr 22 17:29:59 2016 error -15 reading relation 414569719
- Fri Apr 22 17:30:06 2016 error -15 reading relation 414869944
- Fri Apr 22 17:30:06 2016 error -15 reading relation 414870527
- Fri Apr 22 17:30:16 2016 error -1 reading relation 415297889
- Fri Apr 22 17:30:27 2016 error -9 reading relation 415824468
- Fri Apr 22 17:30:27 2016 error -15 reading relation 415830392
- Fri Apr 22 17:30:32 2016 error -5 reading relation 416066747
- Fri Apr 22 17:30:37 2016 error -9 reading relation 416277838
- Fri Apr 22 17:30:37 2016 error -15 reading relation 416278379
- Fri Apr 22 17:30:50 2016 error -15 reading relation 416847046
- Fri Apr 22 17:30:50 2016 error -9 reading relation 416847580
- Fri Apr 22 17:31:06 2016 error -9 reading relation 417610543
- Fri Apr 22 17:31:06 2016 error -15 reading relation 417611181
- Fri Apr 22 17:31:37 2016 error -9 reading relation 419151512
- Fri Apr 22 17:31:56 2016 error -15 reading relation 419983084
- Fri Apr 22 17:31:56 2016 error -15 reading relation 419994981
- Fri Apr 22 17:31:56 2016 error -5 reading relation 419994982
- Fri Apr 22 17:32:11 2016 error -1 reading relation 420604994
- Fri Apr 22 17:32:13 2016 error -9 reading relation 420697676
- Fri Apr 22 17:32:34 2016 error -9 reading relation 421640064
- Fri Apr 22 17:32:57 2016 error -5 reading relation 422782372
- Fri Apr 22 17:33:02 2016 error -15 reading relation 423008032
- Fri Apr 22 17:33:24 2016 error -15 reading relation 423987630
- Fri Apr 22 17:33:41 2016 error -9 reading relation 424674692
- Fri Apr 22 17:34:35 2016 error -15 reading relation 427191239
- Fri Apr 22 17:34:35 2016 error -5 reading relation 427191240
- Fri Apr 22 17:34:44 2016 error -1 reading relation 427628579
- Fri Apr 22 17:34:48 2016 error -15 reading relation 427836080
- Fri Apr 22 17:35:20 2016 error -15 reading relation 429197203
- Fri Apr 22 17:36:14 2016 error -15 reading relation 431700769
- Fri Apr 22 17:36:17 2016 error -15 reading relation 431861821
- Fri Apr 22 17:37:19 2016 error -15 reading relation 434649658
- Fri Apr 22 17:37:44 2016 error -9 reading relation 435872588
- Fri Apr 22 17:37:46 2016 error -15 reading relation 435956864
- Fri Apr 22 17:37:50 2016 error -9 reading relation 436117789
- Fri Apr 22 17:38:01 2016 error -15 reading relation 436657668
- Fri Apr 22 17:38:10 2016 error -9 reading relation 437068169
- Fri Apr 22 17:38:19 2016 error -15 reading relation 437472578
- Fri Apr 22 17:38:19 2016 error -9 reading relation 437488635
- Fri Apr 22 17:38:46 2016 error -15 reading relation 438673098
- Fri Apr 22 17:39:22 2016 error -9 reading relation 440376228
- Fri Apr 22 17:39:37 2016 error -15 reading relation 441129560
- Fri Apr 22 17:39:40 2016 error -15 reading relation 441273163
- Fri Apr 22 17:39:41 2016 error -9 reading relation 441309591
- Fri Apr 22 17:39:41 2016 error -9 reading relation 441317645
- Fri Apr 22 17:40:11 2016 error -5 reading relation 442683167
- Fri Apr 22 17:40:24 2016 error -15 reading relation 443268840
- Fri Apr 22 17:40:25 2016 error -9 reading relation 443301589
- Fri Apr 22 17:40:38 2016 error -15 reading relation 443846130
- Fri Apr 22 17:40:38 2016 error -15 reading relation 443846166
- Fri Apr 22 17:40:39 2016 error -5 reading relation 443859275
- Fri Apr 22 17:41:02 2016 error -15 reading relation 444904338
- Fri Apr 22 17:41:10 2016 error -9 reading relation 445216799
- Fri Apr 22 17:41:23 2016 error -15 reading relation 445849777
- Fri Apr 22 17:41:30 2016 error -15 reading relation 446178383
- Fri Apr 22 17:41:30 2016 error -15 reading relation 446178418
- Fri Apr 22 17:41:34 2016 error -9 reading relation 446411174
- Fri Apr 22 17:41:34 2016 error -9 reading relation 446411210
- Fri Apr 22 17:42:05 2016 error -15 reading relation 447930505
- Fri Apr 22 17:42:05 2016 error -15 reading relation 447930540
- Fri Apr 22 17:42:30 2016 error -15 reading relation 449107114
- Fri Apr 22 17:42:36 2016 error -9 reading relation 449418322
- Fri Apr 22 17:42:39 2016 error -9 reading relation 449527422
- Fri Apr 22 17:43:51 2016 error -9 reading relation 452772771
- Fri Apr 22 17:44:06 2016 error -15 reading relation 453446801
- Fri Apr 22 17:44:22 2016 error -1 reading relation 454220493
- Fri Apr 22 17:44:23 2016 error -1 reading relation 454238973
- Fri Apr 22 17:44:24 2016 error -9 reading relation 454306490
- Fri Apr 22 17:44:51 2016 error -15 reading relation 455594828
- Fri Apr 22 17:44:51 2016 error -9 reading relation 455600718
- Fri Apr 22 17:44:51 2016 error -15 reading relation 455601519
- Fri Apr 22 17:45:00 2016 error -9 reading relation 455995831
- Fri Apr 22 17:45:00 2016 error -9 reading relation 455995867
- Fri Apr 22 17:45:09 2016 error -15 reading relation 456397069
- Fri Apr 22 17:45:09 2016 error -15 reading relation 456397104
- Fri Apr 22 17:45:09 2016 error -15 reading relation 456431758
- Fri Apr 22 17:45:10 2016 error -9 reading relation 456448278
- Fri Apr 22 17:45:40 2016 error -9 reading relation 457914632
- Fri Apr 22 17:45:40 2016 error -9 reading relation 457914668
- Fri Apr 22 17:45:56 2016 error -9 reading relation 458673919
- Fri Apr 22 17:45:56 2016 error -15 reading relation 458676769
- Fri Apr 22 17:46:46 2016 error -15 reading relation 460867696
- Fri Apr 22 17:46:46 2016 error -15 reading relation 460867731
- Fri Apr 22 17:46:46 2016 error -11 reading relation 460868016
- Fri Apr 22 17:46:46 2016 error -9 reading relation 460868051
- Fri Apr 22 17:47:41 2016 error -15 reading relation 463404737
- Fri Apr 22 17:47:42 2016 error -15 reading relation 463426737
- Fri Apr 22 17:47:52 2016 error -15 reading relation 463827948
- Fri Apr 22 17:47:52 2016 error -15 reading relation 463827983
- Fri Apr 22 17:48:45 2016 error -5 reading relation 465928171
- Fri Apr 22 17:48:47 2016 error -15 reading relation 466010326
- Fri Apr 22 17:49:20 2016 error -15 reading relation 467306300
- Fri Apr 22 17:50:28 2016 skipped 66 relations with b > 2^32
- Fri Apr 22 17:50:28 2016 found 94849677 hash collisions in 470331341 relations
- Fri Apr 22 17:50:59 2016 added 1219323 free relations
- Fri Apr 22 17:50:59 2016 commencing duplicate removal, pass 2
- Fri Apr 22 19:27:03 2016 found 79059594 duplicates and 392491070 unique relations
- Fri Apr 22 19:27:03 2016 memory use: 2387.0 MB
- Fri Apr 22 19:27:04 2016 reading ideals above 199950336
- Fri Apr 22 19:27:04 2016 commencing singleton removal, initial pass
- Fri Apr 22 22:18:17 2016 memory use: 6024.0 MB
- Fri Apr 22 22:18:18 2016 reading all ideals from disk
- Fri Apr 22 22:19:32 2016 memory use: 6900.7 MB
- Fri Apr 22 22:20:03 2016 commencing in-memory singleton removal
- Fri Apr 22 22:20:35 2016 begin with 392491070 relations and 317497586 unique ideals
- Fri Apr 22 22:27:04 2016 reduce to 264353161 relations and 176973712 ideals in 14 passes
- Fri Apr 22 22:27:04 2016 max relations containing the same ideal: 61
- Fri Apr 22 22:27:30 2016 reading ideals above 720000
- Fri Apr 22 22:27:31 2016 commencing singleton removal, initial pass
- Sat Apr 23 00:44:48 2016 memory use: 5512.0 MB
- Sat Apr 23 00:44:49 2016 reading all ideals from disk
- Sat Apr 23 00:47:47 2016 memory use: 10926.7 MB
- Sat Apr 23 00:48:48 2016 keeping 197712574 ideals with weight <= 200, target excess is 1414541
- Sat Apr 23 00:49:59 2016 commencing in-memory singleton removal
- Sat Apr 23 00:50:45 2016 begin with 264353161 relations and 197712574 unique ideals
- Sat Apr 23 00:52:29 2016 reduce to 264353146 relations and 197712559 ideals in 2 passes
- Sat Apr 23 00:52:29 2016 max relations containing the same ideal: 200
- Sat Apr 23 00:55:56 2016 removing 11906324 relations and 9906324 ideals in 2000000 cliques
- Sat Apr 23 00:56:06 2016 commencing in-memory singleton removal
- Sat Apr 23 00:56:47 2016 begin with 252446822 relations and 197712559 unique ideals
- Sat Apr 23 01:01:54 2016 reduce to 252069776 relations and 187425531 ideals in 7 passes
- Sat Apr 23 01:01:54 2016 max relations containing the same ideal: 200
- Sat Apr 23 01:05:09 2016 removing 8968699 relations and 6968699 ideals in 2000000 cliques
- Sat Apr 23 01:05:18 2016 commencing in-memory singleton removal
- Sat Apr 23 01:05:59 2016 begin with 243101077 relations and 187425531 unique ideals
- Sat Apr 23 01:10:40 2016 reduce to 242855501 relations and 180209121 ideals in 7 passes
- Sat Apr 23 01:10:40 2016 max relations containing the same ideal: 197
- Sat Apr 23 01:13:43 2016 removing 8038887 relations and 6038887 ideals in 2000000 cliques
- Sat Apr 23 01:13:52 2016 commencing in-memory singleton removal
- Sat Apr 23 01:14:26 2016 begin with 234816614 relations and 180209121 unique ideals
- Sat Apr 23 01:18:47 2016 reduce to 234605098 relations and 173956979 ideals in 7 passes
- Sat Apr 23 01:18:47 2016 max relations containing the same ideal: 194
- Sat Apr 23 01:21:33 2016 removing 7525006 relations and 5525006 ideals in 2000000 cliques
- Sat Apr 23 01:21:40 2016 commencing in-memory singleton removal
- Sat Apr 23 01:22:17 2016 begin with 227080092 relations and 173956979 unique ideals
- Sat Apr 23 01:26:08 2016 reduce to 226887941 relations and 168238189 ideals in 6 passes
- Sat Apr 23 01:26:08 2016 max relations containing the same ideal: 192
- Sat Apr 23 01:28:58 2016 removing 7187184 relations and 5187184 ideals in 2000000 cliques
- Sat Apr 23 01:29:06 2016 commencing in-memory singleton removal
- Sat Apr 23 01:29:38 2016 begin with 219700757 relations and 168238189 unique ideals
- Sat Apr 23 01:33:16 2016 reduce to 219519614 relations and 162868319 ideals in 6 passes
- Sat Apr 23 01:33:16 2016 max relations containing the same ideal: 187
- Sat Apr 23 01:35:59 2016 removing 6946911 relations and 4946911 ideals in 2000000 cliques
- Sat Apr 23 01:36:06 2016 commencing in-memory singleton removal
- Sat Apr 23 01:36:38 2016 begin with 212572703 relations and 162868319 unique ideals
- Sat Apr 23 01:39:57 2016 reduce to 212399216 relations and 157746337 ideals in 6 passes
- Sat Apr 23 01:39:57 2016 max relations containing the same ideal: 182
- Sat Apr 23 01:42:28 2016 removing 6765024 relations and 4765024 ideals in 2000000 cliques
- Sat Apr 23 01:42:35 2016 commencing in-memory singleton removal
- Sat Apr 23 01:43:06 2016 begin with 205634192 relations and 157746337 unique ideals
- Sat Apr 23 01:47:13 2016 reduce to 205466211 relations and 152811769 ideals in 7 passes
- Sat Apr 23 01:47:13 2016 max relations containing the same ideal: 178
- Sat Apr 23 01:49:42 2016 removing 6622478 relations and 4622478 ideals in 2000000 cliques
- Sat Apr 23 01:49:49 2016 commencing in-memory singleton removal
- Sat Apr 23 01:50:19 2016 begin with 198843733 relations and 152811769 unique ideals
- Sat Apr 23 01:53:24 2016 reduce to 198679826 relations and 148023874 ideals in 6 passes
- Sat Apr 23 01:53:24 2016 max relations containing the same ideal: 177
- Sat Apr 23 01:55:52 2016 removing 6504460 relations and 4504460 ideals in 2000000 cliques
- Sat Apr 23 01:55:59 2016 commencing in-memory singleton removal
- Sat Apr 23 01:56:28 2016 begin with 192175366 relations and 148023874 unique ideals
- Sat Apr 23 01:59:58 2016 reduce to 192012170 relations and 143354712 ideals in 7 passes
- Sat Apr 23 01:59:58 2016 max relations containing the same ideal: 171
- Sat Apr 23 02:02:19 2016 removing 6412453 relations and 4412453 ideals in 2000000 cliques
- Sat Apr 23 02:02:26 2016 commencing in-memory singleton removal
- Sat Apr 23 02:02:56 2016 begin with 185599717 relations and 143354712 unique ideals
- Sat Apr 23 02:06:18 2016 reduce to 185438424 relations and 138779302 ideals in 6 passes
- Sat Apr 23 02:06:18 2016 max relations containing the same ideal: 167
- Sat Apr 23 02:08:37 2016 removing 6331949 relations and 4331949 ideals in 2000000 cliques
- Sat Apr 23 02:08:44 2016 commencing in-memory singleton removal
- Sat Apr 23 02:09:10 2016 begin with 179106475 relations and 138779302 unique ideals
- Sat Apr 23 02:12:11 2016 reduce to 178946480 relations and 134285575 ideals in 6 passes
- Sat Apr 23 02:12:11 2016 max relations containing the same ideal: 165
- Sat Apr 23 02:14:35 2016 removing 6266575 relations and 4266575 ideals in 2000000 cliques
- Sat Apr 23 02:14:41 2016 commencing in-memory singleton removal
- Sat Apr 23 02:15:07 2016 begin with 172679905 relations and 134285575 unique ideals
- Sat Apr 23 02:17:56 2016 reduce to 172519724 relations and 129856908 ideals in 6 passes
- Sat Apr 23 02:17:56 2016 max relations containing the same ideal: 160
- Sat Apr 23 02:20:04 2016 removing 6210200 relations and 4210200 ideals in 2000000 cliques
- Sat Apr 23 02:20:10 2016 commencing in-memory singleton removal
- Sat Apr 23 02:20:36 2016 begin with 166309524 relations and 129856908 unique ideals
- Sat Apr 23 02:23:37 2016 reduce to 166147972 relations and 125483248 ideals in 6 passes
- Sat Apr 23 02:23:37 2016 max relations containing the same ideal: 156
- Sat Apr 23 02:25:58 2016 removing 6165435 relations and 4165435 ideals in 2000000 cliques
- Sat Apr 23 02:26:05 2016 commencing in-memory singleton removal
- Sat Apr 23 02:26:28 2016 begin with 159982537 relations and 125483248 unique ideals
- Sat Apr 23 02:29:12 2016 reduce to 159818619 relations and 121151947 ideals in 6 passes
- Sat Apr 23 02:29:12 2016 max relations containing the same ideal: 154
- Sat Apr 23 02:31:23 2016 removing 6122326 relations and 4122326 ideals in 2000000 cliques
- Sat Apr 23 02:31:29 2016 commencing in-memory singleton removal
- Sat Apr 23 02:31:52 2016 begin with 153696293 relations and 121151947 unique ideals
- Sat Apr 23 02:33:56 2016 reduce to 153530129 relations and 116861308 ideals in 5 passes
- Sat Apr 23 02:33:56 2016 max relations containing the same ideal: 149
- Sat Apr 23 02:36:04 2016 removing 6088358 relations and 4088358 ideals in 2000000 cliques
- Sat Apr 23 02:36:10 2016 commencing in-memory singleton removal
- Sat Apr 23 02:36:33 2016 begin with 147441771 relations and 116861308 unique ideals
- Sat Apr 23 02:38:55 2016 reduce to 147271853 relations and 112600795 ideals in 6 passes
- Sat Apr 23 02:38:55 2016 max relations containing the same ideal: 145
- Sat Apr 23 02:40:50 2016 removing 6062269 relations and 4062269 ideals in 2000000 cliques
- Sat Apr 23 02:40:56 2016 commencing in-memory singleton removal
- Sat Apr 23 02:41:19 2016 begin with 141209584 relations and 112600795 unique ideals
- Sat Apr 23 02:43:32 2016 reduce to 141036687 relations and 108363295 ideals in 6 passes
- Sat Apr 23 02:43:32 2016 max relations containing the same ideal: 141
- Sat Apr 23 02:45:19 2016 removing 6033908 relations and 4033908 ideals in 2000000 cliques
- Sat Apr 23 02:45:24 2016 commencing in-memory singleton removal
- Sat Apr 23 02:45:44 2016 begin with 135002779 relations and 108363295 unique ideals
- Sat Apr 23 02:47:58 2016 reduce to 134827109 relations and 104151129 ideals in 6 passes
- Sat Apr 23 02:47:58 2016 max relations containing the same ideal: 137
- Sat Apr 23 02:49:35 2016 removing 6018327 relations and 4018327 ideals in 2000000 cliques
- Sat Apr 23 02:49:41 2016 commencing in-memory singleton removal
- Sat Apr 23 02:49:59 2016 begin with 128808782 relations and 104151129 unique ideals
- Sat Apr 23 02:52:22 2016 reduce to 128625714 relations and 99946972 ideals in 6 passes
- Sat Apr 23 02:52:22 2016 max relations containing the same ideal: 131
- Sat Apr 23 02:53:59 2016 removing 6004656 relations and 4004656 ideals in 2000000 cliques
- Sat Apr 23 02:54:05 2016 commencing in-memory singleton removal
- Sat Apr 23 02:54:22 2016 begin with 122621058 relations and 99946972 unique ideals
- Sat Apr 23 02:56:13 2016 reduce to 122432688 relations and 95751059 ideals in 6 passes
- Sat Apr 23 02:56:13 2016 max relations containing the same ideal: 127
- Sat Apr 23 02:57:42 2016 removing 5993884 relations and 3993884 ideals in 2000000 cliques
- Sat Apr 23 02:57:47 2016 commencing in-memory singleton removal
- Sat Apr 23 02:58:03 2016 begin with 116438804 relations and 95751059 unique ideals
- Sat Apr 23 02:59:50 2016 reduce to 116244113 relations and 91559415 ideals in 6 passes
- Sat Apr 23 02:59:50 2016 max relations containing the same ideal: 121
- Sat Apr 23 03:01:20 2016 removing 5990883 relations and 3990883 ideals in 2000000 cliques
- Sat Apr 23 03:01:25 2016 commencing in-memory singleton removal
- Sat Apr 23 03:01:40 2016 begin with 110253230 relations and 91559415 unique ideals
- Sat Apr 23 03:03:22 2016 reduce to 110050131 relations and 87362093 ideals in 6 passes
- Sat Apr 23 03:03:22 2016 max relations containing the same ideal: 118
- Sat Apr 23 03:04:42 2016 removing 5989833 relations and 3989833 ideals in 2000000 cliques
- Sat Apr 23 03:04:47 2016 commencing in-memory singleton removal
- Sat Apr 23 03:05:02 2016 begin with 104060298 relations and 87362093 unique ideals
- Sat Apr 23 03:06:33 2016 reduce to 103848693 relations and 83156965 ideals in 6 passes
- Sat Apr 23 03:06:33 2016 max relations containing the same ideal: 113
- Sat Apr 23 03:07:56 2016 removing 5992436 relations and 3992436 ideals in 2000000 cliques
- Sat Apr 23 03:08:02 2016 commencing in-memory singleton removal
- Sat Apr 23 03:08:15 2016 begin with 97856257 relations and 83156965 unique ideals
- Sat Apr 23 03:09:46 2016 reduce to 97633401 relations and 78937596 ideals in 6 passes
- Sat Apr 23 03:09:46 2016 max relations containing the same ideal: 113
- Sat Apr 23 03:11:00 2016 removing 6004089 relations and 4004089 ideals in 2000000 cliques
- Sat Apr 23 03:11:04 2016 commencing in-memory singleton removal
- Sat Apr 23 03:11:17 2016 begin with 91629312 relations and 78937596 unique ideals
- Sat Apr 23 03:12:43 2016 reduce to 91393898 relations and 74693448 ideals in 6 passes
- Sat Apr 23 03:12:43 2016 max relations containing the same ideal: 109
- Sat Apr 23 03:13:53 2016 removing 6017783 relations and 4017783 ideals in 2000000 cliques
- Sat Apr 23 03:13:57 2016 commencing in-memory singleton removal
- Sat Apr 23 03:14:09 2016 begin with 85376115 relations and 74693448 unique ideals
- Sat Apr 23 03:15:58 2016 reduce to 85125086 relations and 70419474 ideals in 7 passes
- Sat Apr 23 03:15:58 2016 max relations containing the same ideal: 102
- Sat Apr 23 03:17:06 2016 removing 6039638 relations and 4039638 ideals in 2000000 cliques
- Sat Apr 23 03:17:11 2016 commencing in-memory singleton removal
- Sat Apr 23 03:17:22 2016 begin with 79085448 relations and 70419474 unique ideals
- Sat Apr 23 03:18:35 2016 reduce to 78816254 relations and 66104924 ideals in 6 passes
- Sat Apr 23 03:18:35 2016 max relations containing the same ideal: 97
- Sat Apr 23 03:19:35 2016 removing 6067513 relations and 4067513 ideals in 2000000 cliques
- Sat Apr 23 03:19:39 2016 commencing in-memory singleton removal
- Sat Apr 23 03:19:49 2016 begin with 72748741 relations and 66104924 unique ideals
- Sat Apr 23 03:21:22 2016 reduce to 72457086 relations and 61739112 ideals in 7 passes
- Sat Apr 23 03:21:22 2016 max relations containing the same ideal: 89
- Sat Apr 23 03:22:19 2016 removing 6104385 relations and 4104385 ideals in 2000000 cliques
- Sat Apr 23 03:22:24 2016 commencing in-memory singleton removal
- Sat Apr 23 03:22:33 2016 begin with 66352701 relations and 61739112 unique ideals
- Sat Apr 23 03:23:42 2016 reduce to 66033037 relations and 57307280 ideals in 6 passes
- Sat Apr 23 03:23:42 2016 max relations containing the same ideal: 83
- Sat Apr 23 03:24:36 2016 removing 6144494 relations and 4144494 ideals in 2000000 cliques
- Sat Apr 23 03:24:41 2016 commencing in-memory singleton removal
- Sat Apr 23 03:24:49 2016 begin with 59888543 relations and 57307280 unique ideals
- Sat Apr 23 03:25:53 2016 reduce to 59533762 relations and 52798675 ideals in 7 passes
- Sat Apr 23 03:25:53 2016 max relations containing the same ideal: 78
- Sat Apr 23 03:26:44 2016 removing 6202129 relations and 4202129 ideals in 2000000 cliques
- Sat Apr 23 03:26:48 2016 commencing in-memory singleton removal
- Sat Apr 23 03:26:55 2016 begin with 53331633 relations and 52798675 unique ideals
- Sat Apr 23 03:27:53 2016 reduce to 52929091 relations and 48182509 ideals in 7 passes
- Sat Apr 23 03:27:53 2016 max relations containing the same ideal: 75
- Sat Apr 23 03:28:34 2016 removing 6271600 relations and 4271600 ideals in 2000000 cliques
- Sat Apr 23 03:28:38 2016 commencing in-memory singleton removal
- Sat Apr 23 03:28:44 2016 begin with 46657491 relations and 48182509 unique ideals
- Sat Apr 23 03:29:35 2016 reduce to 46186160 relations and 43424760 ideals in 7 passes
- Sat Apr 23 03:29:35 2016 max relations containing the same ideal: 66
- Sat Apr 23 03:30:11 2016 removing 3933988 relations and 2813456 ideals in 1120532 cliques
- Sat Apr 23 03:30:14 2016 commencing in-memory singleton removal
- Sat Apr 23 03:30:19 2016 begin with 42252172 relations and 43424760 unique ideals
- Sat Apr 23 03:31:06 2016 reduce to 42025609 relations and 40379975 ideals in 7 passes
- Sat Apr 23 03:31:06 2016 max relations containing the same ideal: 62
- Sat Apr 23 03:31:50 2016 relations with 0 large ideals: 53991
- Sat Apr 23 03:31:50 2016 relations with 1 large ideals: 32616
- Sat Apr 23 03:31:50 2016 relations with 2 large ideals: 416649
- Sat Apr 23 03:31:50 2016 relations with 3 large ideals: 2229338
- Sat Apr 23 03:31:50 2016 relations with 4 large ideals: 6269893
- Sat Apr 23 03:31:50 2016 relations with 5 large ideals: 10397009
- Sat Apr 23 03:31:50 2016 relations with 6 large ideals: 10755229
- Sat Apr 23 03:31:50 2016 relations with 7+ large ideals: 11870884
- Sat Apr 23 03:31:50 2016 commencing 2-way merge
- Sat Apr 23 03:32:31 2016 reduce to 27721189 relation sets and 26075555 unique ideals
- Sat Apr 23 03:32:31 2016 commencing full merge
- Sat Apr 23 03:50:50 2016 memory use: 3517.4 MB
- Sat Apr 23 03:50:54 2016 found 12472394 cycles, need 12355755
- Sat Apr 23 03:51:00 2016 weight of 12355755 cycles is about 1606531757 (130.02/cycle)
- Sat Apr 23 03:51:00 2016 distribution of cycle lengths:
- Sat Apr 23 03:51:00 2016 1 relations: 401937
- Sat Apr 23 03:51:00 2016 2 relations: 596838
- Sat Apr 23 03:51:00 2016 3 relations: 735188
- Sat Apr 23 03:51:00 2016 4 relations: 799955
- Sat Apr 23 03:51:00 2016 5 relations: 859281
- Sat Apr 23 03:51:00 2016 6 relations: 882448
- Sat Apr 23 03:51:00 2016 7 relations: 889738
- Sat Apr 23 03:51:00 2016 8 relations: 875814
- Sat Apr 23 03:51:00 2016 9 relations: 839961
- Sat Apr 23 03:51:00 2016 10+ relations: 5474595
- Sat Apr 23 03:51:00 2016 heaviest cycle: 28 relations
- Sat Apr 23 03:51:06 2016 commencing cycle optimization
- Sat Apr 23 03:51:43 2016 start with 116180809 relations
- Sat Apr 23 03:59:11 2016 pruned 6093673 relations
- Sat Apr 23 03:59:11 2016 memory use: 2932.3 MB
- Sat Apr 23 03:59:11 2016 distribution of cycle lengths:
- Sat Apr 23 03:59:11 2016 1 relations: 401937
- Sat Apr 23 03:59:11 2016 2 relations: 611513
- Sat Apr 23 03:59:11 2016 3 relations: 766853
- Sat Apr 23 03:59:11 2016 4 relations: 837497
- Sat Apr 23 03:59:11 2016 5 relations: 909058
- Sat Apr 23 03:59:11 2016 6 relations: 935420
- Sat Apr 23 03:59:11 2016 7 relations: 949225
- Sat Apr 23 03:59:11 2016 8 relations: 932911
- Sat Apr 23 03:59:11 2016 9 relations: 895103
- Sat Apr 23 03:59:11 2016 10+ relations: 5116238
- Sat Apr 23 03:59:11 2016 heaviest cycle: 28 relations
- Sat Apr 23 03:59:52 2016 RelProcTime: 47288
- Sat Apr 23 03:59:52 2016 elapsed time 13:08:14
- Sat Apr 23 04:08:45 2016 Msieve v. 1.52 (SVN exported)
- Sat Apr 23 04:08:45 2016 random seeds: 41048d03 080256dd
- Sat Apr 23 04:08:45 2016 MPI process 0 of 2
- Sat Apr 23 04:08:45 2016 factoring 2188631741508591403562986651632391146379880884734645955005812183277583487899017905891245273673542274647836721631476604265405152233693016534178740852390420954793799826044483718604333023557056283828855655156707029152010737589839 (226 digits)
- Sat Apr 23 04:08:48 2016 searching for 15-digit factors
- Sat Apr 23 04:08:50 2016 commencing number field sieve (226-digit input)
- Sat Apr 23 04:08:50 2016 R0: -19673250936660415417029531820024397824
- Sat Apr 23 04:08:50 2016 R1: 514166125484246966737602341678133311989
- Sat Apr 23 04:08:50 2016 A0: 141158161
- Sat Apr 23 04:08:50 2016 A1: 0
- Sat Apr 23 04:08:50 2016 A2: 0
- Sat Apr 23 04:08:50 2016 A3: 0
- Sat Apr 23 04:08:50 2016 A4: 0
- Sat Apr 23 04:08:50 2016 A5: 0
- Sat Apr 23 04:08:50 2016 A6: 118
- Sat Apr 23 04:08:50 2016 skew 1.00, size 5.392e-13, alpha 1.626, combined = 6.784e-14 rroots = 0
- Sat Apr 23 04:08:50 2016
- Sat Apr 23 04:08:50 2016 commencing linear algebra
- Sat Apr 23 04:08:50 2016 initialized process (0,0) of 1 x 2 grid
- Sat Apr 23 04:08:53 2016 read 12355755 cycles
- Sat Apr 23 04:09:45 2016 cycles contain 41250935 unique relations
- Sat Apr 23 05:34:44 2016 read 41250935 relations
- Sat Apr 23 05:37:16 2016 using 20 quadratic characters above 4294917296
- Sat Apr 23 05:42:19 2016 building initial matrix
- Sat Apr 23 05:58:42 2016 memory use: 5435.8 MB
- Sat Apr 23 05:59:05 2016 read 12355755 cycles
- Sat Apr 23 05:59:09 2016 matrix is 12355577 x 12355755 (6190.3 MB) with weight 1773077105 (143.50/col)
- Sat Apr 23 05:59:09 2016 sparse part has weight 1486828932 (120.33/col)
- Sat Apr 23 06:05:51 2016 filtering completed in 2 passes
- Sat Apr 23 06:05:56 2016 matrix is 12355348 x 12355526 (6190.2 MB) with weight 1773067597 (143.50/col)
- Sat Apr 23 06:05:56 2016 sparse part has weight 1486824789 (120.34/col)
- Sat Apr 23 06:08:09 2016 matrix starts at (0, 0)
- Sat Apr 23 06:08:11 2016 matrix is 12355348 x 6177739 (3095.1 MB) with weight 886520911 (143.50/col)
- Sat Apr 23 06:08:11 2016 sparse part has weight 743412589 (120.34/col)
- Sat Apr 23 06:08:11 2016 saving the first 48 matrix rows for later
- Sat Apr 23 06:08:14 2016 matrix includes 64 packed rows
- Sat Apr 23 06:08:16 2016 matrix is 12355300 x 6177739 (2963.9 MB) with weight 762873220 (123.49/col)
- Sat Apr 23 06:08:16 2016 sparse part has weight 715195542 (115.77/col)
- Sat Apr 23 06:08:16 2016 using block size 8192 and superblock size 1474560 for processor cache size 15360 kB
- Sat Apr 23 06:09:11 2016 commencing Lanczos iteration (12 threads)
- Sat Apr 23 06:09:11 2016 memory use: 2590.4 MB
- Sat Apr 23 06:09:49 2016 linear algebra at 0.0%, ETA 79h23m
- Sat Apr 23 06:10:01 2016 checkpointing every 160000 dimensions
- Tue Apr 26 13:00:58 2016 lanczos halted after 195385 iterations (dim = 12355300)
- Tue Apr 26 13:01:15 2016 recovered 39 nontrivial dependencies
- Tue Apr 26 13:01:15 2016 BLanczosTime: 291145
- Tue Apr 26 13:01:15 2016 elapsed time 80:52:30
- Tue Apr 26 13:11:06 2016 Msieve v. 1.52 (SVN exported)
- Tue Apr 26 13:11:06 2016 random seeds: f5198602 80c26efe
- Tue Apr 26 13:11:06 2016 factoring 2188631741508591403562986651632391146379880884734645955005812183277583487899017905891245273673542274647836721631476604265405152233693016534178740852390420954793799826044483718604333023557056283828855655156707029152010737589839 (226 digits)
- Tue Apr 26 13:11:09 2016 searching for 15-digit factors
- Tue Apr 26 13:11:11 2016 commencing number field sieve (226-digit input)
- Tue Apr 26 13:11:11 2016 R0: -19673250936660415417029531820024397824
- Tue Apr 26 13:11:11 2016 R1: 514166125484246966737602341678133311989
- Tue Apr 26 13:11:11 2016 A0: 141158161
- Tue Apr 26 13:11:11 2016 A1: 0
- Tue Apr 26 13:11:11 2016 A2: 0
- Tue Apr 26 13:11:11 2016 A3: 0
- Tue Apr 26 13:11:11 2016 A4: 0
- Tue Apr 26 13:11:11 2016 A5: 0
- Tue Apr 26 13:11:11 2016 A6: 118
- Tue Apr 26 13:11:11 2016 skew 1.00, size 5.392e-13, alpha 1.626, combined = 6.784e-14 rroots = 0
- Tue Apr 26 13:11:11 2016
- Tue Apr 26 13:11:11 2016 commencing square root phase
- Tue Apr 26 13:11:11 2016 handling dependencies 2 to 2
- Tue Apr 26 13:11:11 2016 reading relations for dependency 2
- Tue Apr 26 13:11:13 2016 read 6176426 cycles
- Tue Apr 26 13:11:34 2016 cycles contain 20624816 unique relations
- Tue Apr 26 14:33:41 2016 read 20624816 relations
- Tue Apr 26 14:36:21 2016 multiplying 20624816 relations
- Tue Apr 26 15:09:28 2016 multiply complete, coefficients have about 714.92 million bits
- Tue Apr 26 15:09:33 2016 initial square root is modulo 2593561
- Tue Apr 26 15:45:09 2016 sqrtTime: 9238
- Tue Apr 26 15:45:09 2016 prp74 factor: 54039142379036458573520405642433922005099747170882928486641358710895981161
- Tue Apr 26 15:45:09 2016 prp152 factor: 40500860027668256640598753096581819658060984036996776059094038215194989866159732457546116908800757760268876979274652554346646143510899715996818192810999
- Tue Apr 26 15:45:09 2016 elapsed time 02:34:03
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement