-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathreq9.log.backup
2943 lines (2943 loc) · 230 KB
/
req9.log.backup
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
[14:25:16.186 verbose] Detected PBES extension.
[14:25:16.186 verbose] pbes2bool parameters:
[14:25:16.186 verbose] input file: model/model.req9.pbes
[14:25:16.186 verbose] data rewriter: jittyc
[14:25:16.186 verbose] pbes rewriter: 1
[14:25:16.220 verbose] using 'mcrl2compilerewriter' to compile rewriter.
[14:25:16.244 verbose] compiling rewriter...
[14:25:23.038 verbose] loading rewriter...
[14:25:23.039 verbose] Retrieving pbes_equations from equation system...
[14:25:23.044 verbose] Computing a BES from the PBES....
[14:25:23.797 verbose] Processed 1000 and generated 2222 boolean variables
[14:25:24.536 verbose] Processed 2000 and generated 3789 boolean variables
[14:25:25.338 verbose] Processed 3000 and generated 5266 boolean variables
[14:25:26.205 verbose] Processed 4000 and generated 6572 boolean variables
[14:25:27.005 verbose] Processed 5000 and generated 7826 boolean variables
[14:25:27.731 verbose] Processed 6000 and generated 9019 boolean variables
[14:25:28.834 verbose] Processed 7000 and generated 10154 boolean variables
[14:25:29.560 verbose] Processed 8000 and generated 11509 boolean variables
[14:25:30.332 verbose] Processed 9000 and generated 12613 boolean variables
[14:25:31.476 verbose] Processed 10000 and generated 13708 boolean variables
[14:25:32.224 verbose] Processed 11000 and generated 15034 boolean variables
[14:25:32.943 verbose] Processed 12000 and generated 16165 boolean variables
[14:25:33.990 verbose] Processed 13000 and generated 17365 boolean variables
[14:25:35.086 verbose] Processed 14000 and generated 18445 boolean variables
[14:25:35.962 verbose] Processed 15000 and generated 19827 boolean variables
[14:25:36.784 verbose] Processed 16000 and generated 20957 boolean variables
[14:25:37.751 verbose] Processed 17000 and generated 22151 boolean variables
[14:25:38.927 verbose] Processed 18000 and generated 23210 boolean variables
[14:25:39.878 verbose] Processed 19000 and generated 24522 boolean variables
[14:25:40.648 verbose] Processed 20000 and generated 25745 boolean variables
[14:25:41.497 verbose] Processed 21000 and generated 26875 boolean variables
[14:25:42.493 verbose] Processed 22000 and generated 28032 boolean variables
[14:25:43.720 verbose] Processed 23000 and generated 29151 boolean variables
[14:25:44.708 verbose] Processed 24000 and generated 30283 boolean variables
[14:25:45.613 verbose] Processed 25000 and generated 31579 boolean variables
[14:25:46.504 verbose] Processed 26000 and generated 32685 boolean variables
[14:25:47.390 verbose] Processed 27000 and generated 33860 boolean variables
[14:25:48.549 verbose] Processed 28000 and generated 34913 boolean variables
[14:25:49.777 verbose] Processed 29000 and generated 36012 boolean variables
[14:25:50.861 verbose] Processed 30000 and generated 37102 boolean variables
[14:25:51.814 verbose] Processed 31000 and generated 38327 boolean variables
[14:25:52.660 verbose] Processed 32000 and generated 39470 boolean variables
[14:25:53.559 verbose] Processed 33000 and generated 40569 boolean variables
[14:25:54.482 verbose] Processed 34000 and generated 41640 boolean variables
[14:25:55.689 verbose] Processed 35000 and generated 42730 boolean variables
[14:25:56.935 verbose] Processed 36000 and generated 43765 boolean variables
[14:25:58.015 verbose] Processed 37000 and generated 44800 boolean variables
[14:25:58.988 verbose] Processed 38000 and generated 46013 boolean variables
[14:25:59.912 verbose] Processed 39000 and generated 47236 boolean variables
[14:26:00.834 verbose] Processed 40000 and generated 48309 boolean variables
[14:26:01.972 verbose] Processed 41000 and generated 49337 boolean variables
[14:26:02.843 verbose] Processed 42000 and generated 50407 boolean variables
[14:26:04.102 verbose] Processed 43000 and generated 51557 boolean variables
[14:26:05.346 verbose] Processed 44000 and generated 52602 boolean variables
[14:26:06.419 verbose] Processed 45000 and generated 53675 boolean variables
[14:26:07.356 verbose] Processed 46000 and generated 54989 boolean variables
[14:26:08.266 verbose] Processed 47000 and generated 56313 boolean variables
[14:26:09.246 verbose] Processed 48000 and generated 57325 boolean variables
[14:26:10.159 verbose] Processed 49000 and generated 58470 boolean variables
[14:26:11.097 verbose] Processed 50000 and generated 59496 boolean variables
[14:26:12.365 verbose] Processed 51000 and generated 60750 boolean variables
[14:26:13.622 verbose] Processed 52000 and generated 61936 boolean variables
[14:26:14.800 verbose] Processed 53000 and generated 63138 boolean variables
[14:26:15.739 verbose] Processed 54000 and generated 64355 boolean variables
[14:26:16.725 verbose] Processed 55000 and generated 65651 boolean variables
[14:26:17.696 verbose] Processed 56000 and generated 67020 boolean variables
[14:26:18.610 verbose] Processed 57000 and generated 68140 boolean variables
[14:26:19.438 verbose] Processed 58000 and generated 69549 boolean variables
[14:26:20.430 verbose] Processed 59000 and generated 70684 boolean variables
[14:26:21.265 verbose] Processed 60000 and generated 71870 boolean variables
[14:26:22.544 verbose] Processed 61000 and generated 73099 boolean variables
[14:26:23.978 verbose] Processed 62000 and generated 74411 boolean variables
[14:26:25.176 verbose] Processed 63000 and generated 75626 boolean variables
[14:26:26.173 verbose] Processed 64000 and generated 76940 boolean variables
[14:26:27.171 verbose] Processed 65000 and generated 78244 boolean variables
[14:26:28.230 verbose] Processed 66000 and generated 79498 boolean variables
[14:26:29.102 verbose] Processed 67000 and generated 80887 boolean variables
[14:26:29.949 verbose] Processed 68000 and generated 82171 boolean variables
[14:26:30.829 verbose] Processed 69000 and generated 83544 boolean variables
[14:26:31.699 verbose] Processed 70000 and generated 84757 boolean variables
[14:26:32.654 verbose] Processed 71000 and generated 85986 boolean variables
[14:26:33.538 verbose] Processed 72000 and generated 87271 boolean variables
[14:26:34.822 verbose] Processed 73000 and generated 88499 boolean variables
[14:26:36.127 verbose] Processed 74000 and generated 89844 boolean variables
[14:26:37.366 verbose] Processed 75000 and generated 91107 boolean variables
[14:26:38.448 verbose] Processed 76000 and generated 92344 boolean variables
[14:26:39.552 verbose] Processed 77000 and generated 93558 boolean variables
[14:26:40.813 verbose] Processed 78000 and generated 94758 boolean variables
[14:26:41.748 verbose] Processed 79000 and generated 96076 boolean variables
[14:26:42.918 verbose] Processed 80000 and generated 97467 boolean variables
[14:26:43.627 verbose] Processed 81000 and generated 98817 boolean variables
[14:26:44.427 verbose] Processed 82000 and generated 100136 boolean variables
[14:26:45.354 verbose] Processed 83000 and generated 101470 boolean variables
[14:26:46.136 verbose] Processed 84000 and generated 102668 boolean variables
[14:26:47.019 verbose] Processed 85000 and generated 103854 boolean variables
[14:26:47.928 verbose] Processed 86000 and generated 105127 boolean variables
[14:26:48.735 verbose] Processed 87000 and generated 106271 boolean variables
[14:26:49.924 verbose] Processed 88000 and generated 107535 boolean variables
[14:26:51.188 verbose] Processed 89000 and generated 108798 boolean variables
[14:26:52.426 verbose] Processed 90000 and generated 110070 boolean variables
[14:26:53.972 verbose] Processed 91000 and generated 111185 boolean variables
[14:26:55.111 verbose] Processed 92000 and generated 112294 boolean variables
[14:26:56.135 verbose] Processed 93000 and generated 113368 boolean variables
[14:26:57.074 verbose] Processed 94000 and generated 114655 boolean variables
[14:26:58.194 verbose] Processed 95000 and generated 115850 boolean variables
[14:26:59.060 verbose] Processed 96000 and generated 117149 boolean variables
[14:27:00.334 verbose] Processed 97000 and generated 118443 boolean variables
[14:27:01.223 verbose] Processed 98000 and generated 119908 boolean variables
[14:27:01.926 verbose] Processed 99000 and generated 121113 boolean variables
[14:27:02.764 verbose] Processed 100000 and generated 122379 boolean variables
[14:27:03.810 verbose] Processed 101000 and generated 123561 boolean variables
[14:27:04.605 verbose] Processed 102000 and generated 124799 boolean variables
[14:27:05.501 verbose] Processed 103000 and generated 125828 boolean variables
[14:27:06.487 verbose] Processed 104000 and generated 126986 boolean variables
[14:27:07.426 verbose] Processed 105000 and generated 128259 boolean variables
[14:27:08.252 verbose] Processed 106000 and generated 129285 boolean variables
[14:27:09.409 verbose] Processed 107000 and generated 130369 boolean variables
[14:27:10.643 verbose] Processed 108000 and generated 131576 boolean variables
[14:27:11.972 verbose] Processed 109000 and generated 132787 boolean variables
[14:27:13.237 verbose] Processed 110000 and generated 133948 boolean variables
[14:27:14.692 verbose] Processed 111000 and generated 134928 boolean variables
[14:27:15.879 verbose] Processed 112000 and generated 135990 boolean variables
[14:27:16.904 verbose] Processed 113000 and generated 136928 boolean variables
[14:27:17.964 verbose] Processed 114000 and generated 138103 boolean variables
[14:27:18.801 verbose] Processed 115000 and generated 139349 boolean variables
[14:27:19.913 verbose] Processed 116000 and generated 140626 boolean variables
[14:27:20.771 verbose] Processed 117000 and generated 141793 boolean variables
[14:27:22.051 verbose] Processed 118000 and generated 142975 boolean variables
[14:27:23.171 verbose] Processed 119000 and generated 144271 boolean variables
[14:27:24.009 verbose] Processed 120000 and generated 145630 boolean variables
[14:27:24.781 verbose] Processed 121000 and generated 146814 boolean variables
[14:27:25.717 verbose] Processed 122000 and generated 147949 boolean variables
[14:27:26.627 verbose] Processed 123000 and generated 149058 boolean variables
[14:27:27.572 verbose] Processed 124000 and generated 150275 boolean variables
[14:27:28.417 verbose] Processed 125000 and generated 151334 boolean variables
[14:27:29.389 verbose] Processed 126000 and generated 152295 boolean variables
[14:27:30.403 verbose] Processed 127000 and generated 153371 boolean variables
[14:27:31.391 verbose] Processed 128000 and generated 154555 boolean variables
[14:27:32.181 verbose] Processed 129000 and generated 155582 boolean variables
[14:27:33.276 verbose] Processed 130000 and generated 156555 boolean variables
[14:27:34.513 verbose] Processed 131000 and generated 157727 boolean variables
[14:27:35.861 verbose] Processed 132000 and generated 158863 boolean variables
[14:27:37.233 verbose] Processed 133000 and generated 159983 boolean variables
[14:27:38.537 verbose] Processed 134000 and generated 161046 boolean variables
[14:27:39.778 verbose] Processed 135000 and generated 161962 boolean variables
[14:27:41.040 verbose] Processed 136000 and generated 162965 boolean variables
[14:27:42.119 verbose] Processed 137000 and generated 163860 boolean variables
[14:27:43.302 verbose] Processed 138000 and generated 165022 boolean variables
[14:27:44.119 verbose] Processed 139000 and generated 166265 boolean variables
[14:27:45.327 verbose] Processed 140000 and generated 167370 boolean variables
[14:27:46.208 verbose] Processed 141000 and generated 168645 boolean variables
[14:27:47.297 verbose] Processed 142000 and generated 169688 boolean variables
[14:27:48.627 verbose] Processed 143000 and generated 170867 boolean variables
[14:27:49.760 verbose] Processed 144000 and generated 172162 boolean variables
[14:27:50.853 verbose] Processed 145000 and generated 173449 boolean variables
[14:27:51.601 verbose] Processed 146000 and generated 174850 boolean variables
[14:27:52.497 verbose] Processed 147000 and generated 175956 boolean variables
[14:27:54.112 verbose] Processed 148000 and generated 176988 boolean variables
[14:27:55.065 verbose] Processed 149000 and generated 178001 boolean variables
[14:27:56.026 verbose] Processed 150000 and generated 179167 boolean variables
[14:27:56.925 verbose] Processed 151000 and generated 180251 boolean variables
[14:27:57.860 verbose] Processed 152000 and generated 181290 boolean variables
[14:27:58.850 verbose] Processed 153000 and generated 182195 boolean variables
[14:28:00.045 verbose] Processed 154000 and generated 183237 boolean variables
[14:28:00.807 verbose] Processed 155000 and generated 184358 boolean variables
[14:28:01.721 verbose] Processed 156000 and generated 185364 boolean variables
[14:28:02.904 verbose] Processed 157000 and generated 186431 boolean variables
[14:28:04.137 verbose] Processed 158000 and generated 187511 boolean variables
[14:28:05.386 verbose] Processed 159000 and generated 188633 boolean variables
[14:28:06.677 verbose] Processed 160000 and generated 189788 boolean variables
[14:28:07.914 verbose] Processed 161000 and generated 190789 boolean variables
[14:28:09.796 verbose] Processed 162000 and generated 191725 boolean variables
[14:28:11.014 verbose] Processed 163000 and generated 192726 boolean variables
[14:28:12.076 verbose] Processed 164000 and generated 193718 boolean variables
[14:28:13.176 verbose] Processed 165000 and generated 194833 boolean variables
[14:28:13.000 verbose] Processed 166000 and generated 196060 boolean variables
[14:28:15.065 verbose] Processed 167000 and generated 197104 boolean variables
[14:28:16.201 verbose] Processed 168000 and generated 198309 boolean variables
[14:28:16.924 verbose] Processed 169000 and generated 199524 boolean variables
[14:28:18.117 verbose] Processed 170000 and generated 200600 boolean variables
[14:28:19.363 verbose] Processed 171000 and generated 201886 boolean variables
[14:28:20.408 verbose] Processed 172000 and generated 203191 boolean variables
[14:28:21.642 verbose] Processed 173000 and generated 204491 boolean variables
[14:28:22.329 verbose] Processed 174000 and generated 205866 boolean variables
[14:28:23.072 verbose] Processed 175000 and generated 207211 boolean variables
[14:28:24.014 verbose] Processed 176000 and generated 208284 boolean variables
[14:28:25.005 verbose] Processed 177000 and generated 209295 boolean variables
[14:28:26.009 verbose] Processed 178000 and generated 210275 boolean variables
[14:28:27.015 verbose] Processed 179000 and generated 211407 boolean variables
[14:28:27.955 verbose] Processed 180000 and generated 212540 boolean variables
[14:28:28.888 verbose] Processed 181000 and generated 213611 boolean variables
[14:28:29.898 verbose] Processed 182000 and generated 214610 boolean variables
[14:28:31.102 verbose] Processed 183000 and generated 215533 boolean variables
[14:28:31.977 verbose] Processed 184000 and generated 216722 boolean variables
[14:28:32.890 verbose] Processed 185000 and generated 217745 boolean variables
[14:28:33.984 verbose] Processed 186000 and generated 218879 boolean variables
[14:28:35.211 verbose] Processed 187000 and generated 219950 boolean variables
[14:28:36.446 verbose] Processed 188000 and generated 221059 boolean variables
[14:28:37.756 verbose] Processed 189000 and generated 222334 boolean variables
[14:28:39.046 verbose] Processed 190000 and generated 223382 boolean variables
[14:28:40.336 verbose] Processed 191000 and generated 224436 boolean variables
[14:28:41.598 verbose] Processed 192000 and generated 225454 boolean variables
[14:28:42.824 verbose] Processed 193000 and generated 226549 boolean variables
[14:28:43.948 verbose] Processed 194000 and generated 227684 boolean variables
[14:28:44.955 verbose] Processed 195000 and generated 228829 boolean variables
[14:28:45.848 verbose] Processed 196000 and generated 230112 boolean variables
[14:28:46.914 verbose] Processed 197000 and generated 231151 boolean variables
[14:28:48.143 verbose] Processed 198000 and generated 232432 boolean variables
[14:28:49.387 verbose] Processed 199000 and generated 233702 boolean variables
[14:28:50.426 verbose] Processed 200000 and generated 234772 boolean variables
[14:28:51.666 verbose] Processed 201000 and generated 236061 boolean variables
[14:28:52.917 verbose] Processed 202000 and generated 237315 boolean variables
[14:28:53.964 verbose] Processed 203000 and generated 238606 boolean variables
[14:28:55.173 verbose] Processed 204000 and generated 239831 boolean variables
[14:28:56.115 verbose] Processed 205000 and generated 241153 boolean variables
[14:28:56.851 verbose] Processed 206000 and generated 242512 boolean variables
[14:28:57.587 verbose] Processed 207000 and generated 243854 boolean variables
[14:28:58.643 verbose] Processed 208000 and generated 244896 boolean variables
[14:28:59.656 verbose] Processed 209000 and generated 245995 boolean variables
[14:29:00.650 verbose] Processed 210000 and generated 247032 boolean variables
[14:29:01.769 verbose] Processed 211000 and generated 248088 boolean variables
[14:29:02.696 verbose] Processed 212000 and generated 249245 boolean variables
[14:29:03.675 verbose] Processed 213000 and generated 250414 boolean variables
[14:29:04.782 verbose] Processed 214000 and generated 251625 boolean variables
[14:29:06.007 verbose] Processed 215000 and generated 252565 boolean variables
[14:29:07.296 verbose] Processed 216000 and generated 253651 boolean variables
[14:29:08.291 verbose] Processed 217000 and generated 254882 boolean variables
[14:29:09.302 verbose] Processed 218000 and generated 256016 boolean variables
[14:29:10.495 verbose] Processed 219000 and generated 257249 boolean variables
[14:29:11.738 verbose] Processed 220000 and generated 258318 boolean variables
[14:29:12.974 verbose] Processed 221000 and generated 259411 boolean variables
[14:29:14.283 verbose] Processed 222000 and generated 260659 boolean variables
[14:29:15.592 verbose] Processed 223000 and generated 261789 boolean variables
[14:29:16.871 verbose] Processed 224000 and generated 262878 boolean variables
[14:29:18.148 verbose] Processed 225000 and generated 263976 boolean variables
[14:29:19.445 verbose] Processed 226000 and generated 265115 boolean variables
[14:29:20.543 verbose] Processed 227000 and generated 266307 boolean variables
[14:29:21.754 verbose] Processed 228000 and generated 267507 boolean variables
[14:29:22.745 verbose] Processed 229000 and generated 268731 boolean variables
[14:29:23.598 verbose] Processed 230000 and generated 269964 boolean variables
[14:29:24.662 verbose] Processed 231000 and generated 271046 boolean variables
[14:29:25.890 verbose] Processed 232000 and generated 272333 boolean variables
[14:29:26.873 verbose] Processed 233000 and generated 273546 boolean variables
[14:29:27.691 verbose] Processed 234000 and generated 274746 boolean variables
[14:29:28.882 verbose] Processed 235000 and generated 275801 boolean variables
[14:29:30.181 verbose] Processed 236000 and generated 277119 boolean variables
[14:29:31.479 verbose] Processed 237000 and generated 278330 boolean variables
[14:29:32.804 verbose] Processed 238000 and generated 279612 boolean variables
[14:29:33.819 verbose] Processed 239000 and generated 280725 boolean variables
[14:29:35.118 verbose] Processed 240000 and generated 281933 boolean variables
[14:29:36.102 verbose] Processed 241000 and generated 283159 boolean variables
[14:29:36.945 verbose] Processed 242000 and generated 284439 boolean variables
[14:29:37.702 verbose] Processed 243000 and generated 285758 boolean variables
[14:29:38.580 verbose] Processed 244000 and generated 286984 boolean variables
[14:29:39.720 verbose] Processed 245000 and generated 288012 boolean variables
[14:29:40.818 verbose] Processed 246000 and generated 289178 boolean variables
[14:29:41.858 verbose] Processed 247000 and generated 290289 boolean variables
[14:29:43.031 verbose] Processed 248000 and generated 291471 boolean variables
[14:29:44.007 verbose] Processed 249000 and generated 292624 boolean variables
[14:29:45.039 verbose] Processed 250000 and generated 293862 boolean variables
[14:29:46.010 verbose] Processed 251000 and generated 295050 boolean variables
[14:29:47.065 verbose] Processed 252000 and generated 296168 boolean variables
[14:29:48.285 verbose] Processed 253000 and generated 297269 boolean variables
[14:29:49.347 verbose] Processed 254000 and generated 298496 boolean variables
[14:29:50.304 verbose] Processed 255000 and generated 299637 boolean variables
[14:29:51.261 verbose] Processed 256000 and generated 300841 boolean variables
[14:29:52.433 verbose] Processed 257000 and generated 301952 boolean variables
[14:29:53.709 verbose] Processed 258000 and generated 303061 boolean variables
[14:29:54.999 verbose] Processed 259000 and generated 304153 boolean variables
[14:29:56.329 verbose] Processed 260000 and generated 305269 boolean variables
[14:29:57.657 verbose] Processed 261000 and generated 306567 boolean variables
[14:29:59.008 verbose] Processed 262000 and generated 307632 boolean variables
[14:30:00.348 verbose] Processed 263000 and generated 308748 boolean variables
[14:30:01.629 verbose] Processed 264000 and generated 309878 boolean variables
[14:30:02.976 verbose] Processed 265000 and generated 311030 boolean variables
[14:30:04.129 verbose] Processed 266000 and generated 312173 boolean variables
[14:30:05.339 verbose] Processed 267000 and generated 313381 boolean variables
[14:30:06.497 verbose] Processed 268000 and generated 314476 boolean variables
[14:30:07.531 verbose] Processed 269000 and generated 315609 boolean variables
[14:30:08.410 verbose] Processed 270000 and generated 316732 boolean variables
[14:30:09.506 verbose] Processed 271000 and generated 317879 boolean variables
[14:30:10.767 verbose] Processed 272000 and generated 319059 boolean variables
[14:30:12.026 verbose] Processed 273000 and generated 320117 boolean variables
[14:30:12.840 verbose] Processed 274000 and generated 321301 boolean variables
[14:30:13.785 verbose] Processed 275000 and generated 322449 boolean variables
[14:30:15.041 verbose] Processed 276000 and generated 323557 boolean variables
[14:30:16.355 verbose] Processed 277000 and generated 324820 boolean variables
[14:30:17.676 verbose] Processed 278000 and generated 325997 boolean variables
[14:30:19.006 verbose] Processed 279000 and generated 327251 boolean variables
[14:30:20.203 verbose] Processed 280000 and generated 328327 boolean variables
[14:30:22.636 verbose] Processed 281000 and generated 329406 boolean variables
[14:30:23.896 verbose] Processed 282000 and generated 330617 boolean variables
[14:30:24.860 verbose] Processed 283000 and generated 331767 boolean variables
[14:30:25.625 verbose] Processed 284000 and generated 332963 boolean variables
[14:30:26.458 verbose] Processed 285000 and generated 334332 boolean variables
[14:30:27.233 verbose] Processed 286000 and generated 335557 boolean variables
[14:30:28.164 verbose] Processed 287000 and generated 336677 boolean variables
[14:30:30.724 verbose] Processed 288000 and generated 337766 boolean variables
[14:30:31.783 verbose] Processed 289000 and generated 338956 boolean variables
[14:30:32.755 verbose] Processed 290000 and generated 340092 boolean variables
[14:30:33.874 verbose] Processed 291000 and generated 341265 boolean variables
[14:30:34.827 verbose] Processed 292000 and generated 342484 boolean variables
[14:30:35.816 verbose] Processed 293000 and generated 343622 boolean variables
[14:30:36.777 verbose] Processed 294000 and generated 344869 boolean variables
[14:30:37.701 verbose] Processed 295000 and generated 345951 boolean variables
[14:30:38.740 verbose] Processed 296000 and generated 347026 boolean variables
[14:30:39.818 verbose] Processed 297000 and generated 348167 boolean variables
[14:30:40.992 verbose] Processed 298000 and generated 349343 boolean variables
[14:30:41.797 verbose] Processed 299000 and generated 350591 boolean variables
[14:30:42.764 verbose] Processed 300000 and generated 351726 boolean variables
[14:30:43.728 verbose] Processed 301000 and generated 352779 boolean variables
[14:30:44.858 verbose] Processed 302000 and generated 353811 boolean variables
[14:30:46.070 verbose] Processed 303000 and generated 354859 boolean variables
[14:30:47.285 verbose] Processed 304000 and generated 355909 boolean variables
[14:30:48.550 verbose] Processed 305000 and generated 356968 boolean variables
[14:30:49.784 verbose] Processed 306000 and generated 358203 boolean variables
[14:30:51.050 verbose] Processed 307000 and generated 359335 boolean variables
[14:30:52.339 verbose] Processed 308000 and generated 360417 boolean variables
[14:30:53.615 verbose] Processed 309000 and generated 361542 boolean variables
[14:30:54.830 verbose] Processed 310000 and generated 362530 boolean variables
[14:30:56.114 verbose] Processed 311000 and generated 363643 boolean variables
[14:30:57.214 verbose] Processed 312000 and generated 364644 boolean variables
[14:30:58.309 verbose] Processed 313000 and generated 365735 boolean variables
[14:30:59.488 verbose] Processed 314000 and generated 366803 boolean variables
[14:31:00.438 verbose] Processed 315000 and generated 367849 boolean variables
[14:31:01.352 verbose] Processed 316000 and generated 368927 boolean variables
[14:31:02.311 verbose] Processed 317000 and generated 370011 boolean variables
[14:31:03.370 verbose] Processed 318000 and generated 371129 boolean variables
[14:31:04.559 verbose] Processed 319000 and generated 372146 boolean variables
[14:31:05.739 verbose] Processed 320000 and generated 373108 boolean variables
[14:31:06.622 verbose] Processed 321000 and generated 374177 boolean variables
[14:31:07.407 verbose] Processed 322000 and generated 375322 boolean variables
[14:31:08.575 verbose] Processed 323000 and generated 376395 boolean variables
[14:31:09.805 verbose] Processed 324000 and generated 377600 boolean variables
[14:31:11.046 verbose] Processed 325000 and generated 378778 boolean variables
[14:31:12.321 verbose] Processed 326000 and generated 379882 boolean variables
[14:31:13.572 verbose] Processed 327000 and generated 381112 boolean variables
[14:31:14.825 verbose] Processed 328000 and generated 382101 boolean variables
[14:31:15.817 verbose] Processed 329000 and generated 383156 boolean variables
[14:31:17.022 verbose] Processed 330000 and generated 384256 boolean variables
[14:31:18.272 verbose] Processed 331000 and generated 385307 boolean variables
[14:31:19.071 verbose] Processed 332000 and generated 386520 boolean variables
[14:31:19.899 verbose] Processed 333000 and generated 387692 boolean variables
[14:31:20.774 verbose] Processed 334000 and generated 389048 boolean variables
[14:31:21.562 verbose] Processed 335000 and generated 390158 boolean variables
[14:31:22.413 verbose] Processed 336000 and generated 391338 boolean variables
[14:31:23.552 verbose] Processed 337000 and generated 392432 boolean variables
[14:31:24.694 verbose] Processed 338000 and generated 393612 boolean variables
[14:31:25.846 verbose] Processed 339000 and generated 394810 boolean variables
[14:31:26.836 verbose] Processed 340000 and generated 395916 boolean variables
[14:31:27.940 verbose] Processed 341000 and generated 397021 boolean variables
[14:31:29.046 verbose] Processed 342000 and generated 398136 boolean variables
[14:31:30.013 verbose] Processed 343000 and generated 399196 boolean variables
[14:31:31.078 verbose] Processed 344000 and generated 400437 boolean variables
[14:31:32.064 verbose] Processed 345000 and generated 401530 boolean variables
[14:31:33.018 verbose] Processed 346000 and generated 402511 boolean variables
[14:31:34.098 verbose] Processed 347000 and generated 403516 boolean variables
[14:31:35.185 verbose] Processed 348000 and generated 404554 boolean variables
[14:31:36.463 verbose] Processed 349000 and generated 405705 boolean variables
[14:31:37.413 verbose] Processed 350000 and generated 406956 boolean variables
[14:31:38.385 verbose] Processed 351000 and generated 407983 boolean variables
[14:31:39.295 verbose] Processed 352000 and generated 408978 boolean variables
[14:31:40.346 verbose] Processed 353000 and generated 409951 boolean variables
[14:31:41.547 verbose] Processed 354000 and generated 410940 boolean variables
[14:31:42.785 verbose] Processed 355000 and generated 411943 boolean variables
[14:31:44.910 verbose] Processed 356000 and generated 412898 boolean variables
[14:31:46.172 verbose] Processed 357000 and generated 413950 boolean variables
[14:31:47.395 verbose] Processed 358000 and generated 415063 boolean variables
[14:31:48.682 verbose] Processed 359000 and generated 416227 boolean variables
[14:31:49.999 verbose] Processed 360000 and generated 417210 boolean variables
[14:31:51.235 verbose] Processed 361000 and generated 418183 boolean variables
[14:31:52.503 verbose] Processed 362000 and generated 419194 boolean variables
[14:31:53.823 verbose] Processed 363000 and generated 420096 boolean variables
[14:31:55.107 verbose] Processed 364000 and generated 421067 boolean variables
[14:31:56.169 verbose] Processed 365000 and generated 422055 boolean variables
[14:31:57.317 verbose] Processed 366000 and generated 423064 boolean variables
[14:31:58.495 verbose] Processed 367000 and generated 423992 boolean variables
[14:31:59.448 verbose] Processed 368000 and generated 425012 boolean variables
[14:32:00.325 verbose] Processed 369000 and generated 426037 boolean variables
[14:32:01.329 verbose] Processed 370000 and generated 427132 boolean variables
[14:32:02.408 verbose] Processed 371000 and generated 428243 boolean variables
[14:32:03.568 verbose] Processed 372000 and generated 429126 boolean variables
[14:32:04.743 verbose] Processed 373000 and generated 429995 boolean variables
[14:32:05.679 verbose] Processed 374000 and generated 430997 boolean variables
[14:32:06.588 verbose] Processed 375000 and generated 432135 boolean variables
[14:32:07.664 verbose] Processed 376000 and generated 433204 boolean variables
[14:32:08.873 verbose] Processed 377000 and generated 434216 boolean variables
[14:32:10.088 verbose] Processed 378000 and generated 435362 boolean variables
[14:32:11.350 verbose] Processed 379000 and generated 436470 boolean variables
[14:32:12.571 verbose] Processed 380000 and generated 437526 boolean variables
[14:32:13.816 verbose] Processed 381000 and generated 438637 boolean variables
[14:32:15.090 verbose] Processed 382000 and generated 439576 boolean variables
[14:32:16.104 verbose] Processed 383000 and generated 440590 boolean variables
[14:32:17.271 verbose] Processed 384000 and generated 441580 boolean variables
[14:32:18.564 verbose] Processed 385000 and generated 442699 boolean variables
[14:32:19.534 verbose] Processed 386000 and generated 443777 boolean variables
[14:32:20.294 verbose] Processed 387000 and generated 444884 boolean variables
[14:32:21.365 verbose] Processed 388000 and generated 446073 boolean variables
[14:32:22.144 verbose] Processed 389000 and generated 447381 boolean variables
[14:32:22.941 verbose] Processed 390000 and generated 448531 boolean variables
[14:32:23.906 verbose] Processed 391000 and generated 449622 boolean variables
[14:32:24.946 verbose] Processed 392000 and generated 450677 boolean variables
[14:32:26.186 verbose] Processed 393000 and generated 451863 boolean variables
[14:32:27.198 verbose] Processed 394000 and generated 453012 boolean variables
[14:32:28.428 verbose] Processed 395000 and generated 454125 boolean variables
[14:32:29.403 verbose] Processed 396000 and generated 455116 boolean variables
[14:32:30.544 verbose] Processed 397000 and generated 456142 boolean variables
[14:32:31.642 verbose] Processed 398000 and generated 457108 boolean variables
[14:32:32.639 verbose] Processed 399000 and generated 458100 boolean variables
[14:32:33.710 verbose] Processed 400000 and generated 459216 boolean variables
[14:32:34.743 verbose] Processed 401000 and generated 460336 boolean variables
[14:32:35.763 verbose] Processed 402000 and generated 461290 boolean variables
[14:32:36.858 verbose] Processed 403000 and generated 462211 boolean variables
[14:32:37.977 verbose] Processed 404000 and generated 463065 boolean variables
[14:32:39.217 verbose] Processed 405000 and generated 464049 boolean variables
[14:32:40.452 verbose] Processed 406000 and generated 465026 boolean variables
[14:32:41.389 verbose] Processed 407000 and generated 466258 boolean variables
[14:32:42.472 verbose] Processed 408000 and generated 467164 boolean variables
[14:32:43.411 verbose] Processed 409000 and generated 468116 boolean variables
[14:32:44.514 verbose] Processed 410000 and generated 469027 boolean variables
[14:32:45.752 verbose] Processed 411000 and generated 469967 boolean variables
[14:32:47.047 verbose] Processed 412000 and generated 470912 boolean variables
[14:32:48.327 verbose] Processed 413000 and generated 471822 boolean variables
[14:32:49.640 verbose] Processed 414000 and generated 472830 boolean variables
[14:32:50.908 verbose] Processed 415000 and generated 473885 boolean variables
[14:32:52.266 verbose] Processed 416000 and generated 475031 boolean variables
[14:32:53.616 verbose] Processed 417000 and generated 476000 boolean variables
[14:32:54.919 verbose] Processed 418000 and generated 476878 boolean variables
[14:32:56.250 verbose] Processed 419000 and generated 477823 boolean variables
[14:32:57.537 verbose] Processed 420000 and generated 478668 boolean variables
[14:32:58.838 verbose] Processed 421000 and generated 479549 boolean variables
[14:32:59.956 verbose] Processed 422000 and generated 480502 boolean variables
[14:33:01.161 verbose] Processed 423000 and generated 481451 boolean variables
[14:33:02.368 verbose] Processed 424000 and generated 482317 boolean variables
[14:33:03.362 verbose] Processed 425000 and generated 483327 boolean variables
[14:33:04.325 verbose] Processed 426000 and generated 484358 boolean variables
[14:33:05.382 verbose] Processed 427000 and generated 485367 boolean variables
[14:33:06.526 verbose] Processed 428000 and generated 486476 boolean variables
[14:33:07.739 verbose] Processed 429000 and generated 487325 boolean variables
[14:33:08.949 verbose] Processed 430000 and generated 488172 boolean variables
[14:33:09.989 verbose] Processed 431000 and generated 489089 boolean variables
[14:33:10.968 verbose] Processed 432000 and generated 490202 boolean variables
[14:33:12.106 verbose] Processed 433000 and generated 491239 boolean variables
[14:33:13.350 verbose] Processed 434000 and generated 492186 boolean variables
[14:33:14.585 verbose] Processed 435000 and generated 493290 boolean variables
[14:33:15.881 verbose] Processed 436000 and generated 494391 boolean variables
[14:33:17.157 verbose] Processed 437000 and generated 495368 boolean variables
[14:33:18.394 verbose] Processed 438000 and generated 496392 boolean variables
[14:33:19.720 verbose] Processed 439000 and generated 497391 boolean variables
[14:33:20.910 verbose] Processed 440000 and generated 498351 boolean variables
[14:33:22.010 verbose] Processed 441000 and generated 499350 boolean variables
[14:33:23.231 verbose] Processed 442000 and generated 500373 boolean variables
[14:33:24.549 verbose] Processed 443000 and generated 501465 boolean variables
[14:33:25.454 verbose] Processed 444000 and generated 502555 boolean variables
[14:33:26.326 verbose] Processed 445000 and generated 503646 boolean variables
[14:33:27.444 verbose] Processed 446000 and generated 504836 boolean variables
[14:33:28.288 verbose] Processed 447000 and generated 506050 boolean variables
[14:33:29.155 verbose] Processed 448000 and generated 507277 boolean variables
[14:33:30.109 verbose] Processed 449000 and generated 508393 boolean variables
[14:33:31.160 verbose] Processed 450000 and generated 509460 boolean variables
[14:33:32.368 verbose] Processed 451000 and generated 510558 boolean variables
[14:33:33.640 verbose] Processed 452000 and generated 511686 boolean variables
[14:33:34.734 verbose] Processed 453000 and generated 512815 boolean variables
[14:33:36.066 verbose] Processed 454000 and generated 513893 boolean variables
[14:33:37.158 verbose] Processed 455000 and generated 514742 boolean variables
[14:33:38.376 verbose] Processed 456000 and generated 515651 boolean variables
[14:33:39.560 verbose] Processed 457000 and generated 516539 boolean variables
[14:33:40.613 verbose] Processed 458000 and generated 517466 boolean variables
[14:33:41.760 verbose] Processed 459000 and generated 518494 boolean variables
[14:33:42.847 verbose] Processed 460000 and generated 519529 boolean variables
[14:33:43.976 verbose] Processed 461000 and generated 520477 boolean variables
[14:33:45.072 verbose] Processed 462000 and generated 521358 boolean variables
[14:33:46.242 verbose] Processed 463000 and generated 522167 boolean variables
[14:33:47.509 verbose] Processed 464000 and generated 522996 boolean variables
[14:33:48.833 verbose] Processed 465000 and generated 523860 boolean variables
[14:33:49.841 verbose] Processed 466000 and generated 524990 boolean variables
[14:33:50.934 verbose] Processed 467000 and generated 525865 boolean variables
[14:33:51.978 verbose] Processed 468000 and generated 526811 boolean variables
[14:33:53.131 verbose] Processed 469000 and generated 527698 boolean variables
[14:33:54.396 verbose] Processed 470000 and generated 528634 boolean variables
[14:33:55.712 verbose] Processed 471000 and generated 529561 boolean variables
[14:33:57.036 verbose] Processed 472000 and generated 530510 boolean variables
[14:33:58.388 verbose] Processed 473000 and generated 531483 boolean variables
[14:33:59.698 verbose] Processed 474000 and generated 532495 boolean variables
[14:34:01.069 verbose] Processed 475000 and generated 533697 boolean variables
[14:34:02.463 verbose] Processed 476000 and generated 534689 boolean variables
[14:34:03.802 verbose] Processed 477000 and generated 535533 boolean variables
[14:34:05.144 verbose] Processed 478000 and generated 536461 boolean variables
[14:34:06.506 verbose] Processed 479000 and generated 537322 boolean variables
[14:34:07.759 verbose] Processed 480000 and generated 538280 boolean variables
[14:34:08.956 verbose] Processed 481000 and generated 539177 boolean variables
[14:34:10.205 verbose] Processed 482000 and generated 540060 boolean variables
[14:34:11.269 verbose] Processed 483000 and generated 541159 boolean variables
[14:34:12.378 verbose] Processed 484000 and generated 542178 boolean variables
[14:34:13.408 verbose] Processed 485000 and generated 543248 boolean variables
[14:34:14.512 verbose] Processed 486000 and generated 544315 boolean variables
[14:34:15.785 verbose] Processed 487000 and generated 545219 boolean variables
[14:34:17.042 verbose] Processed 488000 and generated 546101 boolean variables
[14:34:18.208 verbose] Processed 489000 and generated 547025 boolean variables
[14:34:19.267 verbose] Processed 490000 and generated 548015 boolean variables
[14:34:20.338 verbose] Processed 491000 and generated 549083 boolean variables
[14:34:21.631 verbose] Processed 492000 and generated 550038 boolean variables
[14:34:22.871 verbose] Processed 493000 and generated 551153 boolean variables
[14:34:24.184 verbose] Processed 494000 and generated 552285 boolean variables
[14:34:25.501 verbose] Processed 495000 and generated 553396 boolean variables
[14:34:26.752 verbose] Processed 496000 and generated 554291 boolean variables
[14:34:28.087 verbose] Processed 497000 and generated 555279 boolean variables
[14:34:29.426 verbose] Processed 498000 and generated 556310 boolean variables
[14:34:30.502 verbose] Processed 499000 and generated 557406 boolean variables
[14:34:31.723 verbose] Processed 500000 and generated 558361 boolean variables
[14:34:33.060 verbose] Processed 501000 and generated 559567 boolean variables
[14:34:34.172 verbose] Processed 502000 and generated 560684 boolean variables
[14:34:35.116 verbose] Processed 503000 and generated 561735 boolean variables
[14:34:36.101 verbose] Processed 504000 and generated 562792 boolean variables
[14:34:37.334 verbose] Processed 505000 and generated 564001 boolean variables
[14:34:38.170 verbose] Processed 506000 and generated 565156 boolean variables
[14:34:39.147 verbose] Processed 507000 and generated 566402 boolean variables
[14:34:40.057 verbose] Processed 508000 and generated 567621 boolean variables
[14:34:41.200 verbose] Processed 509000 and generated 568683 boolean variables
[14:34:42.224 verbose] Processed 510000 and generated 569838 boolean variables
[14:34:43.602 verbose] Processed 511000 and generated 570943 boolean variables
[14:34:44.791 verbose] Processed 512000 and generated 571961 boolean variables
[14:34:45.969 verbose] Processed 513000 and generated 573115 boolean variables
[14:34:47.309 verbose] Processed 514000 and generated 574128 boolean variables
[14:34:48.467 verbose] Processed 515000 and generated 574882 boolean variables
[14:34:49.712 verbose] Processed 516000 and generated 575699 boolean variables
[14:34:50.806 verbose] Processed 517000 and generated 576630 boolean variables
[14:34:51.983 verbose] Processed 518000 and generated 577571 boolean variables
[14:34:53.170 verbose] Processed 519000 and generated 578570 boolean variables
[14:34:54.245 verbose] Processed 520000 and generated 579613 boolean variables
[14:34:57.042 verbose] Processed 521000 and generated 580510 boolean variables
[14:34:58.106 verbose] Processed 522000 and generated 581435 boolean variables
[14:34:59.259 verbose] Processed 523000 and generated 582199 boolean variables
[14:35:00.480 verbose] Processed 524000 and generated 583045 boolean variables
[14:35:01.449 verbose] Processed 525000 and generated 584118 boolean variables
[14:35:02.572 verbose] Processed 526000 and generated 585067 boolean variables
[14:35:03.510 verbose] Processed 527000 and generated 585966 boolean variables
[14:35:04.578 verbose] Processed 528000 and generated 586946 boolean variables
[14:35:05.803 verbose] Processed 529000 and generated 587976 boolean variables
[14:35:07.036 verbose] Processed 530000 and generated 588945 boolean variables
[14:35:08.290 verbose] Processed 531000 and generated 589897 boolean variables
[14:35:09.507 verbose] Processed 532000 and generated 590941 boolean variables
[14:35:10.788 verbose] Processed 533000 and generated 592063 boolean variables
[14:35:12.123 verbose] Processed 534000 and generated 593219 boolean variables
[14:35:13.455 verbose] Processed 535000 and generated 594234 boolean variables
[14:35:14.741 verbose] Processed 536000 and generated 595138 boolean variables
[14:35:15.994 verbose] Processed 537000 and generated 596180 boolean variables
[14:35:17.259 verbose] Processed 538000 and generated 597189 boolean variables
[14:35:18.354 verbose] Processed 539000 and generated 598122 boolean variables
[14:35:19.536 verbose] Processed 540000 and generated 599108 boolean variables
[14:35:20.625 verbose] Processed 541000 and generated 600253 boolean variables
[14:35:21.639 verbose] Processed 542000 and generated 601394 boolean variables
[14:35:22.571 verbose] Processed 543000 and generated 602573 boolean variables
[14:35:23.714 verbose] Processed 544000 and generated 603630 boolean variables
[14:35:24.841 verbose] Processed 545000 and generated 604584 boolean variables
[14:35:26.057 verbose] Processed 546000 and generated 605607 boolean variables
[14:35:27.210 verbose] Processed 547000 and generated 606636 boolean variables
[14:35:28.215 verbose] Processed 548000 and generated 607630 boolean variables
[14:35:29.191 verbose] Processed 549000 and generated 608753 boolean variables
[14:35:30.405 verbose] Processed 550000 and generated 609768 boolean variables
[14:35:31.608 verbose] Processed 551000 and generated 610915 boolean variables
[14:35:32.837 verbose] Processed 552000 and generated 612115 boolean variables
[14:35:34.101 verbose] Processed 553000 and generated 613254 boolean variables
[14:35:35.316 verbose] Processed 554000 and generated 614219 boolean variables
[14:35:36.578 verbose] Processed 555000 and generated 615267 boolean variables
[14:35:37.891 verbose] Processed 556000 and generated 616288 boolean variables
[14:35:38.986 verbose] Processed 557000 and generated 617469 boolean variables
[14:35:40.080 verbose] Processed 558000 and generated 618437 boolean variables
[14:35:41.333 verbose] Processed 559000 and generated 619686 boolean variables
[14:35:42.659 verbose] Processed 560000 and generated 620926 boolean variables
[14:35:43.622 verbose] Processed 561000 and generated 622023 boolean variables
[14:35:44.496 verbose] Processed 562000 and generated 623087 boolean variables
[14:35:45.470 verbose] Processed 563000 and generated 624151 boolean variables
[14:35:46.726 verbose] Processed 564000 and generated 625314 boolean variables
[14:35:47.548 verbose] Processed 565000 and generated 626543 boolean variables
[14:35:48.524 verbose] Processed 566000 and generated 627824 boolean variables
[14:35:49.313 verbose] Processed 567000 and generated 629030 boolean variables
[14:35:50.416 verbose] Processed 568000 and generated 630056 boolean variables
[14:35:51.464 verbose] Processed 569000 and generated 631240 boolean variables
[14:35:52.533 verbose] Processed 570000 and generated 632374 boolean variables
[14:35:53.901 verbose] Processed 571000 and generated 633438 boolean variables
[14:35:55.097 verbose] Processed 572000 and generated 634424 boolean variables
[14:35:56.270 verbose] Processed 573000 and generated 635654 boolean variables
[14:35:57.556 verbose] Processed 574000 and generated 636718 boolean variables
[14:35:58.671 verbose] Processed 575000 and generated 637550 boolean variables
[14:35:59.867 verbose] Processed 576000 and generated 638436 boolean variables
[14:36:00.894 verbose] Processed 577000 and generated 639378 boolean variables
[14:36:02.093 verbose] Processed 578000 and generated 640304 boolean variables
[14:36:03.154 verbose] Processed 579000 and generated 641365 boolean variables
[14:36:04.201 verbose] Processed 580000 and generated 642407 boolean variables
[14:36:05.174 verbose] Processed 581000 and generated 643496 boolean variables
[14:36:06.295 verbose] Processed 582000 and generated 644464 boolean variables
[14:36:07.586 verbose] Processed 583000 and generated 645372 boolean variables
[14:36:08.628 verbose] Processed 584000 and generated 646406 boolean variables
[14:36:09.795 verbose] Processed 585000 and generated 647399 boolean variables
[14:36:10.773 verbose] Processed 586000 and generated 648383 boolean variables
[14:36:11.866 verbose] Processed 587000 and generated 649517 boolean variables
[14:36:13.169 verbose] Processed 588000 and generated 650604 boolean variables
[14:36:14.468 verbose] Processed 589000 and generated 651644 boolean variables
[14:36:15.789 verbose] Processed 590000 and generated 652652 boolean variables
[14:36:17.069 verbose] Processed 591000 and generated 653702 boolean variables
[14:36:18.408 verbose] Processed 592000 and generated 654866 boolean variables
[14:36:19.776 verbose] Processed 593000 and generated 656041 boolean variables
[14:36:21.156 verbose] Processed 594000 and generated 657086 boolean variables
[14:36:22.487 verbose] Processed 595000 and generated 658069 boolean variables
[14:36:23.742 verbose] Processed 596000 and generated 659210 boolean variables
[14:36:25.034 verbose] Processed 597000 and generated 660250 boolean variables
[14:36:26.156 verbose] Processed 598000 and generated 661331 boolean variables
[14:36:27.362 verbose] Processed 599000 and generated 662388 boolean variables
[14:36:28.501 verbose] Processed 600000 and generated 663633 boolean variables
[14:36:29.614 verbose] Processed 601000 and generated 664795 boolean variables
[14:36:30.574 verbose] Processed 602000 and generated 666013 boolean variables
[14:36:31.677 verbose] Processed 603000 and generated 666994 boolean variables
[14:36:32.837 verbose] Processed 604000 and generated 668179 boolean variables
[14:36:34.062 verbose] Processed 605000 and generated 669303 boolean variables
[14:36:35.347 verbose] Processed 606000 and generated 670446 boolean variables
[14:36:36.541 verbose] Processed 607000 and generated 671473 boolean variables
[14:36:37.481 verbose] Processed 608000 and generated 672690 boolean variables
[14:36:38.548 verbose] Processed 609000 and generated 673721 boolean variables
[14:36:39.791 verbose] Processed 610000 and generated 674803 boolean variables
[14:36:40.001 verbose] Processed 611000 and generated 675953 boolean variables
[14:36:42.285 verbose] Processed 612000 and generated 677118 boolean variables
[14:36:43.588 verbose] Processed 613000 and generated 678370 boolean variables
[14:36:44.872 verbose] Processed 614000 and generated 679459 boolean variables
[14:36:46.170 verbose] Processed 615000 and generated 680446 boolean variables
[14:36:47.550 verbose] Processed 616000 and generated 681538 boolean variables
[14:36:48.733 verbose] Processed 617000 and generated 682740 boolean variables
[14:36:49.876 verbose] Processed 618000 and generated 683834 boolean variables
[14:36:51.098 verbose] Processed 619000 and generated 684954 boolean variables
[14:36:52.421 verbose] Processed 620000 and generated 686091 boolean variables
[14:36:53.796 verbose] Processed 621000 and generated 687405 boolean variables
[14:36:54.784 verbose] Processed 622000 and generated 688486 boolean variables
[14:36:55.682 verbose] Processed 623000 and generated 689565 boolean variables
[14:36:56.709 verbose] Processed 624000 and generated 690667 boolean variables
[14:36:58.022 verbose] Processed 625000 and generated 691873 boolean variables
[14:36:58.912 verbose] Processed 626000 and generated 693232 boolean variables
[14:36:59.890 verbose] Processed 627000 and generated 694482 boolean variables
[14:37:00.882 verbose] Processed 628000 and generated 695777 boolean variables
[14:37:01.700 verbose] Processed 629000 and generated 696910 boolean variables
[14:37:02.862 verbose] Processed 630000 and generated 697858 boolean variables
[14:37:04.003 verbose] Processed 631000 and generated 699028 boolean variables
[14:37:05.080 verbose] Processed 632000 and generated 700169 boolean variables
[14:37:06.366 verbose] Processed 633000 and generated 701208 boolean variables
[14:37:07.729 verbose] Processed 634000 and generated 702307 boolean variables
[14:37:08.973 verbose] Processed 635000 and generated 703465 boolean variables
[14:37:10.362 verbose] Processed 636000 and generated 704581 boolean variables
[14:37:11.825 verbose] Processed 637000 and generated 705667 boolean variables
[14:37:13.108 verbose] Processed 638000 and generated 706702 boolean variables
[14:37:14.395 verbose] Processed 639000 and generated 707731 boolean variables
[14:37:15.632 verbose] Processed 640000 and generated 708612 boolean variables
[14:37:16.783 verbose] Processed 641000 and generated 709670 boolean variables
[14:37:17.831 verbose] Processed 642000 and generated 710804 boolean variables
[14:37:18.797 verbose] Processed 643000 and generated 711950 boolean variables
[14:37:19.880 verbose] Processed 644000 and generated 713129 boolean variables
[14:37:21.114 verbose] Processed 645000 and generated 714158 boolean variables
[14:37:22.366 verbose] Processed 646000 and generated 715249 boolean variables
[14:37:23.384 verbose] Processed 647000 and generated 716324 boolean variables
[14:37:26.474 verbose] Processed 648000 and generated 717340 boolean variables
[14:37:27.482 verbose] Processed 649000 and generated 718486 boolean variables
[14:37:28.690 verbose] Processed 650000 and generated 719646 boolean variables
[14:37:29.964 verbose] Processed 651000 and generated 720694 boolean variables
[14:37:31.255 verbose] Processed 652000 and generated 721725 boolean variables
[14:37:32.543 verbose] Processed 653000 and generated 722774 boolean variables
[14:37:33.798 verbose] Processed 654000 and generated 723855 boolean variables
[14:37:35.142 verbose] Processed 655000 and generated 725105 boolean variables
[14:37:36.477 verbose] Processed 656000 and generated 726203 boolean variables
[14:37:37.824 verbose] Processed 657000 and generated 727243 boolean variables
[14:37:39.118 verbose] Processed 658000 and generated 728285 boolean variables
[14:37:40.344 verbose] Processed 659000 and generated 729387 boolean variables
[14:37:41.641 verbose] Processed 660000 and generated 730477 boolean variables
[14:37:42.758 verbose] Processed 661000 and generated 731616 boolean variables
[14:37:43.910 verbose] Processed 662000 and generated 732749 boolean variables
[14:37:45.157 verbose] Processed 663000 and generated 733860 boolean variables
[14:37:46.196 verbose] Processed 664000 and generated 734999 boolean variables
[14:37:47.326 verbose] Processed 665000 and generated 736154 boolean variables
[14:37:48.284 verbose] Processed 666000 and generated 737342 boolean variables
[14:37:49.367 verbose] Processed 667000 and generated 738298 boolean variables
[14:37:50.547 verbose] Processed 668000 and generated 739569 boolean variables
[14:37:51.775 verbose] Processed 669000 and generated 740658 boolean variables
[14:37:53.093 verbose] Processed 670000 and generated 741786 boolean variables
[14:37:54.452 verbose] Processed 671000 and generated 742939 boolean variables
[14:37:55.512 verbose] Processed 672000 and generated 744063 boolean variables
[14:37:56.448 verbose] Processed 673000 and generated 745293 boolean variables
[14:37:57.878 verbose] Processed 674000 and generated 746222 boolean variables
[14:37:59.122 verbose] Processed 675000 and generated 747282 boolean variables
[14:38:00.329 verbose] Processed 676000 and generated 748389 boolean variables
[14:38:01.593 verbose] Processed 677000 and generated 749500 boolean variables
[14:38:02.870 verbose] Processed 678000 and generated 750743 boolean variables
[14:38:04.181 verbose] Processed 679000 and generated 751869 boolean variables
[14:38:05.476 verbose] Processed 680000 and generated 752955 boolean variables
[14:38:06.807 verbose] Processed 681000 and generated 754060 boolean variables
[14:38:08.166 verbose] Processed 682000 and generated 755230 boolean variables
[14:38:09.327 verbose] Processed 683000 and generated 756346 boolean variables
[14:38:10.437 verbose] Processed 684000 and generated 757421 boolean variables
[14:38:11.701 verbose] Processed 685000 and generated 758492 boolean variables
[14:38:12.995 verbose] Processed 686000 and generated 759602 boolean variables
[14:38:14.391 verbose] Processed 687000 and generated 760900 boolean variables
[14:38:15.443 verbose] Processed 688000 and generated 761992 boolean variables
[14:38:16.427 verbose] Processed 689000 and generated 763233 boolean variables
[14:38:17.386 verbose] Processed 690000 and generated 764271 boolean variables
[14:38:18.414 verbose] Processed 691000 and generated 765480 boolean variables
[14:38:19.825 verbose] Processed 692000 and generated 766899 boolean variables
[14:38:20.692 verbose] Processed 693000 and generated 768299 boolean variables
[14:38:21.575 verbose] Processed 694000 and generated 769680 boolean variables
[14:38:22.664 verbose] Processed 695000 and generated 770850 boolean variables
[14:38:23.681 verbose] Processed 696000 and generated 771984 boolean variables
[14:38:24.534 verbose] Processed 697000 and generated 773015 boolean variables
[14:38:25.720 verbose] Processed 698000 and generated 773958 boolean variables
[14:38:26.927 verbose] Processed 699000 and generated 775075 boolean variables
[14:38:28.006 verbose] Processed 700000 and generated 776126 boolean variables
[14:38:29.242 verbose] Processed 701000 and generated 777310 boolean variables
[14:38:30.617 verbose] Processed 702000 and generated 778552 boolean variables
[14:38:31.808 verbose] Processed 703000 and generated 779632 boolean variables
[14:38:33.161 verbose] Processed 704000 and generated 780986 boolean variables
[14:38:34.438 verbose] Processed 705000 and generated 782034 boolean variables
[14:38:35.602 verbose] Processed 706000 and generated 783134 boolean variables
[14:38:36.773 verbose] Processed 707000 and generated 784288 boolean variables
[14:38:37.863 verbose] Processed 708000 and generated 785281 boolean variables
[14:38:39.060 verbose] Processed 709000 and generated 786231 boolean variables
[14:38:40.254 verbose] Processed 710000 and generated 787474 boolean variables
[14:38:41.382 verbose] Processed 711000 and generated 788569 boolean variables
[14:38:42.335 verbose] Processed 712000 and generated 789717 boolean variables
[14:38:43.433 verbose] Processed 713000 and generated 790909 boolean variables
[14:38:44.614 verbose] Processed 714000 and generated 792098 boolean variables
[14:38:45.949 verbose] Processed 715000 and generated 793211 boolean variables
[14:38:46.877 verbose] Processed 716000 and generated 794341 boolean variables
[14:38:47.980 verbose] Processed 717000 and generated 795361 boolean variables
[14:38:48.971 verbose] Processed 718000 and generated 796545 boolean variables
[14:38:50.082 verbose] Processed 719000 and generated 797718 boolean variables
[14:38:51.391 verbose] Processed 720000 and generated 798748 boolean variables
[14:38:52.719 verbose] Processed 721000 and generated 799734 boolean variables
[14:38:54.066 verbose] Processed 722000 and generated 800773 boolean variables
[14:38:55.393 verbose] Processed 723000 and generated 801863 boolean variables
[14:38:56.725 verbose] Processed 724000 and generated 802999 boolean variables
[14:38:58.170 verbose] Processed 725000 and generated 804188 boolean variables
[14:38:59.561 verbose] Processed 726000 and generated 805276 boolean variables
[14:39:00.980 verbose] Processed 727000 and generated 806284 boolean variables
[14:39:02.316 verbose] Processed 728000 and generated 807365 boolean variables
[14:39:03.660 verbose] Processed 729000 and generated 808390 boolean variables
[14:39:04.949 verbose] Processed 730000 and generated 809476 boolean variables
[14:39:06.250 verbose] Processed 731000 and generated 810586 boolean variables
[14:39:07.342 verbose] Processed 732000 and generated 811765 boolean variables
[14:39:08.573 verbose] Processed 733000 and generated 812824 boolean variables
[14:39:09.855 verbose] Processed 734000 and generated 813840 boolean variables
[14:39:10.948 verbose] Processed 735000 and generated 814950 boolean variables
[14:39:12.118 verbose] Processed 736000 and generated 816033 boolean variables
[14:39:13.175 verbose] Processed 737000 and generated 817111 boolean variables
[14:39:14.245 verbose] Processed 738000 and generated 818158 boolean variables
[14:39:15.493 verbose] Processed 739000 and generated 819311 boolean variables
[14:39:16.706 verbose] Processed 740000 and generated 820477 boolean variables
[14:39:17.933 verbose] Processed 741000 and generated 821538 boolean variables
[14:39:19.246 verbose] Processed 742000 and generated 822611 boolean variables
[14:39:20.533 verbose] Processed 743000 and generated 823676 boolean variables
[14:39:21.639 verbose] Processed 744000 and generated 824946 boolean variables
[14:39:22.703 verbose] Processed 745000 and generated 826101 boolean variables
[14:39:23.832 verbose] Processed 746000 and generated 827041 boolean variables
[14:39:25.113 verbose] Processed 747000 and generated 828037 boolean variables
[14:39:26.339 verbose] Processed 748000 and generated 829146 boolean variables
[14:39:27.655 verbose] Processed 749000 and generated 830218 boolean variables
[14:39:28.971 verbose] Processed 750000 and generated 831245 boolean variables
[14:39:30.326 verbose] Processed 751000 and generated 832452 boolean variables
[14:39:31.681 verbose] Processed 752000 and generated 833620 boolean variables
[14:39:32.991 verbose] Processed 753000 and generated 834787 boolean variables
[14:39:34.355 verbose] Processed 754000 and generated 835783 boolean variables
[14:39:35.755 verbose] Processed 755000 and generated 836836 boolean variables
[14:39:36.001 verbose] Processed 756000 and generated 837957 boolean variables
[14:39:38.162 verbose] Processed 757000 and generated 839085 boolean variables
[14:39:39.457 verbose] Processed 758000 and generated 840048 boolean variables
[14:39:40.817 verbose] Processed 759000 and generated 841020 boolean variables
[14:39:42.168 verbose] Processed 760000 and generated 842191 boolean variables
[14:39:43.581 verbose] Processed 761000 and generated 843347 boolean variables
[14:39:44.633 verbose] Processed 762000 and generated 844521 boolean variables
[14:39:45.589 verbose] Processed 763000 and generated 845925 boolean variables
[14:39:46.622 verbose] Processed 764000 and generated 846967 boolean variables
[14:39:47.643 verbose] Processed 765000 and generated 848160 boolean variables
[14:39:51.523 verbose] Processed 766000 and generated 849490 boolean variables
[14:39:52.922 verbose] Processed 767000 and generated 850890 boolean variables
[14:39:53.763 verbose] Processed 768000 and generated 852289 boolean variables
[14:39:54.528 verbose] Processed 769000 and generated 853719 boolean variables
[14:39:55.552 verbose] Processed 770000 and generated 854842 boolean variables
[14:39:56.746 verbose] Processed 771000 and generated 856013 boolean variables
[14:39:57.726 verbose] Processed 772000 and generated 857077 boolean variables
[14:39:58.565 verbose] Processed 773000 and generated 858106 boolean variables
[14:39:59.837 verbose] Processed 774000 and generated 858961 boolean variables
[14:40:00.003 verbose] Processed 775000 and generated 860029 boolean variables
[14:40:02.096 verbose] Processed 776000 and generated 861053 boolean variables
[14:40:03.343 verbose] Processed 777000 and generated 862239 boolean variables
[14:40:04.739 verbose] Processed 778000 and generated 863520 boolean variables
[14:40:06.024 verbose] Processed 779000 and generated 864704 boolean variables
[14:40:07.253 verbose] Processed 780000 and generated 865879 boolean variables
[14:40:08.561 verbose] Processed 781000 and generated 867218 boolean variables
[14:40:09.816 verbose] Processed 782000 and generated 868333 boolean variables
[14:40:11.006 verbose] Processed 783000 and generated 869394 boolean variables
[14:40:12.153 verbose] Processed 784000 and generated 870533 boolean variables
[14:40:13.236 verbose] Processed 785000 and generated 871597 boolean variables
[14:40:14.436 verbose] Processed 786000 and generated 872546 boolean variables
[14:40:15.535 verbose] Processed 787000 and generated 873702 boolean variables
[14:40:16.562 verbose] Processed 788000 and generated 874809 boolean variables
[14:40:17.707 verbose] Processed 789000 and generated 875964 boolean variables
[14:40:18.701 verbose] Processed 790000 and generated 877154 boolean variables
[14:40:19.845 verbose] Processed 791000 and generated 878267 boolean variables
[14:40:21.013 verbose] Processed 792000 and generated 879440 boolean variables
[14:40:22.334 verbose] Processed 793000 and generated 880552 boolean variables
[14:40:23.274 verbose] Processed 794000 and generated 881772 boolean variables
[14:40:24.342 verbose] Processed 795000 and generated 882781 boolean variables
[14:40:25.375 verbose] Processed 796000 and generated 883949 boolean variables
[14:40:26.417 verbose] Processed 797000 and generated 885147 boolean variables
[14:40:27.664 verbose] Processed 798000 and generated 886223 boolean variables
[14:40:28.968 verbose] Processed 799000 and generated 887177 boolean variables
[14:40:30.290 verbose] Processed 800000 and generated 888201 boolean variables
[14:40:31.682 verbose] Processed 801000 and generated 889256 boolean variables
[14:40:32.969 verbose] Processed 802000 and generated 890365 boolean variables
[14:40:34.291 verbose] Processed 803000 and generated 891500 boolean variables
[14:40:35.657 verbose] Processed 804000 and generated 892651 boolean variables
[14:40:37.061 verbose] Processed 805000 and generated 893763 boolean variables
[14:40:38.445 verbose] Processed 806000 and generated 894726 boolean variables
[14:40:39.825 verbose] Processed 807000 and generated 895763 boolean variables
[14:40:41.134 verbose] Processed 808000 and generated 896768 boolean variables
[14:40:42.456 verbose] Processed 809000 and generated 897857 boolean variables
[14:40:43.794 verbose] Processed 810000 and generated 898921 boolean variables
[14:40:44.975 verbose] Processed 811000 and generated 900035 boolean variables
[14:40:46.103 verbose] Processed 812000 and generated 901213 boolean variables
[14:40:47.377 verbose] Processed 813000 and generated 902210 boolean variables
[14:40:48.622 verbose] Processed 814000 and generated 903118 boolean variables
[14:40:49.701 verbose] Processed 815000 and generated 904219 boolean variables
[14:40:50.882 verbose] Processed 816000 and generated 905226 boolean variables
[14:40:51.950 verbose] Processed 817000 and generated 906267 boolean variables
[14:40:53.083 verbose] Processed 818000 and generated 907275 boolean variables
[14:40:54.296 verbose] Processed 819000 and generated 908373 boolean variables
[14:40:55.495 verbose] Processed 820000 and generated 909569 boolean variables
[14:40:56.731 verbose] Processed 821000 and generated 910703 boolean variables
[14:40:57.994 verbose] Processed 822000 and generated 911586 boolean variables
[14:40:59.296 verbose] Processed 823000 and generated 912688 boolean variables
[14:41:00.599 verbose] Processed 824000 and generated 913723 boolean variables
[14:41:01.663 verbose] Processed 825000 and generated 915062 boolean variables
[14:41:02.752 verbose] Processed 826000 and generated 916169 boolean variables
[14:41:03.845 verbose] Processed 827000 and generated 917114 boolean variables
[14:41:05.170 verbose] Processed 828000 and generated 918093 boolean variables
[14:41:06.405 verbose] Processed 829000 and generated 919179 boolean variables
[14:41:07.695 verbose] Processed 830000 and generated 920282 boolean variables
[14:41:09.012 verbose] Processed 831000 and generated 921214 boolean variables
[14:41:10.310 verbose] Processed 832000 and generated 922452 boolean variables
[14:41:11.623 verbose] Processed 833000 and generated 923438 boolean variables
[14:41:12.946 verbose] Processed 834000 and generated 924629 boolean variables
[14:41:14.283 verbose] Processed 835000 and generated 925743 boolean variables
[14:41:15.640 verbose] Processed 836000 and generated 926645 boolean variables
[14:41:16.996 verbose] Processed 837000 and generated 927662 boolean variables
[14:41:18.248 verbose] Processed 838000 and generated 928757 boolean variables
[14:41:19.365 verbose] Processed 839000 and generated 929873 boolean variables
[14:41:20.631 verbose] Processed 840000 and generated 930815 boolean variables
[14:41:21.936 verbose] Processed 841000 and generated 931766 boolean variables
[14:41:23.335 verbose] Processed 842000 and generated 932857 boolean variables
[14:41:24.717 verbose] Processed 843000 and generated 934039 boolean variables
[14:41:25.915 verbose] Processed 844000 and generated 935136 boolean variables
[14:41:27.029 verbose] Processed 845000 and generated 936394 boolean variables
[14:41:27.771 verbose] Processed 846000 and generated 937675 boolean variables
[14:41:28.881 verbose] Processed 847000 and generated 938805 boolean variables
[14:41:29.858 verbose] Processed 848000 and generated 939980 boolean variables
[14:41:31.010 verbose] Processed 849000 and generated 941230 boolean variables
[14:41:32.464 verbose] Processed 850000 and generated 942571 boolean variables
[14:41:33.820 verbose] Processed 851000 and generated 943855 boolean variables
[14:41:34.607 verbose] Processed 852000 and generated 945185 boolean variables
[14:41:35.450 verbose] Processed 853000 and generated 946663 boolean variables
[14:41:36.396 verbose] Processed 854000 and generated 947788 boolean variables
[14:41:37.499 verbose] Processed 855000 and generated 948847 boolean variables
[14:41:38.779 verbose] Processed 856000 and generated 949988 boolean variables
[14:41:39.841 verbose] Processed 857000 and generated 951123 boolean variables
[14:41:40.734 verbose] Processed 858000 and generated 952105 boolean variables
[14:41:41.999 verbose] Processed 859000 and generated 952928 boolean variables
[14:41:43.245 verbose] Processed 860000 and generated 953915 boolean variables
[14:41:44.410 verbose] Processed 861000 and generated 954875 boolean variables
[14:41:45.680 verbose] Processed 862000 and generated 956054 boolean variables
[14:41:47.055 verbose] Processed 863000 and generated 957244 boolean variables
[14:41:48.497 verbose] Processed 864000 and generated 958528 boolean variables
[14:41:49.687 verbose] Processed 865000 and generated 959693 boolean variables
[14:41:51.004 verbose] Processed 866000 and generated 960834 boolean variables
[14:41:52.436 verbose] Processed 867000 and generated 962070 boolean variables
[14:41:53.590 verbose] Processed 868000 and generated 963198 boolean variables
[14:41:54.963 verbose] Processed 869000 and generated 964304 boolean variables
[14:41:56.157 verbose] Processed 870000 and generated 965298 boolean variables
[14:41:57.375 verbose] Processed 871000 and generated 966326 boolean variables
[14:41:58.471 verbose] Processed 872000 and generated 967255 boolean variables
[14:41:59.617 verbose] Processed 873000 and generated 968443 boolean variables
[14:42:00.854 verbose] Processed 874000 and generated 969550 boolean variables
[14:42:01.965 verbose] Processed 875000 and generated 970624 boolean variables
[14:42:03.155 verbose] Processed 876000 and generated 971762 boolean variables
[14:42:04.189 verbose] Processed 877000 and generated 972902 boolean variables
[14:42:05.342 verbose] Processed 878000 and generated 974005 boolean variables
[14:42:06.535 verbose] Processed 879000 and generated 975156 boolean variables
[14:42:07.866 verbose] Processed 880000 and generated 976189 boolean variables
[14:42:09.156 verbose] Processed 881000 and generated 977341 boolean variables
[14:42:10.053 verbose] Processed 882000 and generated 978538 boolean variables
[14:42:11.240 verbose] Processed 883000 and generated 979560 boolean variables
[14:42:12.270 verbose] Processed 884000 and generated 980712 boolean variables
[14:42:13.393 verbose] Processed 885000 and generated 981828 boolean variables
[14:42:14.551 verbose] Processed 886000 and generated 982938 boolean variables
[14:42:15.906 verbose] Processed 887000 and generated 983900 boolean variables
[14:42:17.258 verbose] Processed 888000 and generated 984938 boolean variables
[14:42:18.626 verbose] Processed 889000 and generated 986010 boolean variables
[14:42:19.956 verbose] Processed 890000 and generated 987108 boolean variables
[14:42:21.287 verbose] Processed 891000 and generated 988201 boolean variables
[14:42:22.654 verbose] Processed 892000 and generated 989323 boolean variables
[14:42:24.057 verbose] Processed 893000 and generated 990493 boolean variables
[14:42:25.434 verbose] Processed 894000 and generated 991582 boolean variables
[14:42:26.869 verbose] Processed 895000 and generated 992547 boolean variables
[14:42:28.243 verbose] Processed 896000 and generated 993595 boolean variables
[14:42:29.591 verbose] Processed 897000 and generated 994633 boolean variables
[14:42:30.912 verbose] Processed 898000 and generated 995703 boolean variables
[14:42:32.285 verbose] Processed 899000 and generated 996778 boolean variables
[14:42:33.551 verbose] Processed 900000 and generated 997883 boolean variables
[14:42:34.697 verbose] Processed 901000 and generated 999019 boolean variables
[14:42:35.979 verbose] Processed 902000 and generated 999980 boolean variables
[14:42:37.269 verbose] Processed 903000 and generated 1000918 boolean variables
[14:42:38.471 verbose] Processed 904000 and generated 1001966 boolean variables
[14:42:39.577 verbose] Processed 905000 and generated 1002984 boolean variables
[14:42:40.774 verbose] Processed 906000 and generated 1003969 boolean variables
[14:42:41.886 verbose] Processed 907000 and generated 1004939 boolean variables
[14:42:43.123 verbose] Processed 908000 and generated 1005946 boolean variables
[14:42:44.473 verbose] Processed 909000 and generated 1007082 boolean variables
[14:42:45.691 verbose] Processed 910000 and generated 1008210 boolean variables
[14:42:46.927 verbose] Processed 911000 and generated 1009232 boolean variables
[14:42:48.266 verbose] Processed 912000 and generated 1010214 boolean variables
[14:42:49.572 verbose] Processed 913000 and generated 1011271 boolean variables
[14:42:50.951 verbose] Processed 914000 and generated 1012354 boolean variables
[14:42:51.948 verbose] Processed 915000 and generated 1013564 boolean variables
[14:42:53.138 verbose] Processed 916000 and generated 1014623 boolean variables
[14:42:54.232 verbose] Processed 917000 and generated 1015647 boolean variables
[14:42:55.557 verbose] Processed 918000 and generated 1016628 boolean variables
[14:42:56.859 verbose] Processed 919000 and generated 1017686 boolean variables
[14:42:58.164 verbose] Processed 920000 and generated 1018823 boolean variables
[14:42:59.440 verbose] Processed 921000 and generated 1019794 boolean variables
[14:43:00.750 verbose] Processed 922000 and generated 1020906 boolean variables
[14:43:02.109 verbose] Processed 923000 and generated 1022045 boolean variables
[14:43:03.457 verbose] Processed 924000 and generated 1023176 boolean variables
[14:43:04.777 verbose] Processed 925000 and generated 1024264 boolean variables
[14:43:06.124 verbose] Processed 926000 and generated 1025134 boolean variables
[14:43:07.528 verbose] Processed 927000 and generated 1026057 boolean variables
[14:43:08.855 verbose] Processed 928000 and generated 1027233 boolean variables
[14:43:10.130 verbose] Processed 929000 and generated 1028237 boolean variables
[14:43:11.280 verbose] Processed 930000 and generated 1029373 boolean variables
[14:43:12.542 verbose] Processed 931000 and generated 1030344 boolean variables
[14:43:13.821 verbose] Processed 932000 and generated 1031312 boolean variables
[14:43:15.247 verbose] Processed 933000 and generated 1032354 boolean variables
[14:43:16.678 verbose] Processed 934000 and generated 1033506 boolean variables
[14:43:17.933 verbose] Processed 935000 and generated 1034576 boolean variables
[14:43:18.959 verbose] Processed 936000 and generated 1035778 boolean variables
[14:43:19.973 verbose] Processed 937000 and generated 1037089 boolean variables
[14:43:20.928 verbose] Processed 938000 and generated 1038226 boolean variables
[14:43:22.006 verbose] Processed 939000 and generated 1039307 boolean variables
[14:43:23.106 verbose] Processed 940000 and generated 1040478 boolean variables
[14:43:28.368 verbose] Processed 941000 and generated 1041721 boolean variables
[14:43:29.737 verbose] Processed 942000 and generated 1042827 boolean variables
[14:43:31.169 verbose] Processed 943000 and generated 1044204 boolean variables
[14:43:32.314 verbose] Processed 944000 and generated 1045404 boolean variables
[14:43:33.137 verbose] Processed 945000 and generated 1046677 boolean variables
[14:43:34.024 verbose] Processed 946000 and generated 1048051 boolean variables
[14:43:34.747 verbose] Processed 947000 and generated 1049312 boolean variables
[14:43:35.818 verbose] Processed 948000 and generated 1050342 boolean variables
[14:43:36.986 verbose] Processed 949000 and generated 1051303 boolean variables
[14:43:38.296 verbose] Processed 950000 and generated 1052514 boolean variables
[14:43:39.316 verbose] Processed 951000 and generated 1053627 boolean variables
[14:43:40.247 verbose] Processed 952000 and generated 1054715 boolean variables
[14:43:41.371 verbose] Processed 953000 and generated 1055553 boolean variables
[14:43:42.700 verbose] Processed 954000 and generated 1056473 boolean variables
[14:43:43.866 verbose] Processed 955000 and generated 1057415 boolean variables
[14:43:45.059 verbose] Processed 956000 and generated 1058605 boolean variables
[14:43:46.326 verbose] Processed 957000 and generated 1059798 boolean variables
[14:43:47.816 verbose] Processed 958000 and generated 1061033 boolean variables
[14:43:49.093 verbose] Processed 959000 and generated 1062127 boolean variables
[14:43:50.204 verbose] Processed 960000 and generated 1063334 boolean variables
[14:43:51.543 verbose] Processed 961000 and generated 1064379 boolean variables
[14:43:52.000 verbose] Processed 962000 and generated 1065557 boolean variables
[14:43:54.094 verbose] Processed 963000 and generated 1066705 boolean variables
[14:43:55.492 verbose] Processed 964000 and generated 1067714 boolean variables
[14:43:56.624 verbose] Processed 965000 and generated 1068748 boolean variables
[14:43:57.901 verbose] Processed 966000 and generated 1069755 boolean variables
[14:43:58.959 verbose] Processed 967000 and generated 1070775 boolean variables
[14:44:00.210 verbose] Processed 968000 and generated 1071864 boolean variables
[14:44:01.613 verbose] Processed 969000 and generated 1072978 boolean variables
[14:44:02.609 verbose] Processed 970000 and generated 1074070 boolean variables
[14:44:03.857 verbose] Processed 971000 and generated 1075111 boolean variables
[14:44:04.866 verbose] Processed 972000 and generated 1076225 boolean variables
[14:44:05.905 verbose] Processed 973000 and generated 1077312 boolean variables
[14:44:07.058 verbose] Processed 974000 and generated 1078443 boolean variables
[14:44:08.220 verbose] Processed 975000 and generated 1079555 boolean variables
[14:44:09.464 verbose] Processed 976000 and generated 1080555 boolean variables
[14:44:10.729 verbose] Processed 977000 and generated 1081631 boolean variables
[14:44:11.631 verbose] Processed 978000 and generated 1082877 boolean variables
[14:44:12.572 verbose] Processed 979000 and generated 1083916 boolean variables
[14:44:13.749 verbose] Processed 980000 and generated 1085053 boolean variables
[14:44:14.705 verbose] Processed 981000 and generated 1086156 boolean variables
[14:44:15.761 verbose] Processed 982000 and generated 1087235 boolean variables
[14:44:16.932 verbose] Processed 983000 and generated 1088361 boolean variables
[14:44:18.210 verbose] Processed 984000 and generated 1089337 boolean variables
[14:44:19.495 verbose] Processed 985000 and generated 1090425 boolean variables
[14:44:20.768 verbose] Processed 986000 and generated 1091529 boolean variables
[14:44:22.061 verbose] Processed 987000 and generated 1092609 boolean variables
[14:44:23.294 verbose] Processed 988000 and generated 1093758 boolean variables
[14:44:24.581 verbose] Processed 989000 and generated 1094818 boolean variables
[14:44:25.860 verbose] Processed 990000 and generated 1095957 boolean variables