summaryrefslogtreecommitdiff
path: root/tests/long/40.perlbmk/ref/arm/linux/simple-atomic/simout
blob: 6f1aaca4d5367b62ca30ab21e7496f73d9b01f25 (plain)
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
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
1274
1275
1276
1277
1278
1279
1280
1281
1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
1336
1337
1338
1339
1340
1341
1342
1343
1344
1345
1346
1347
1348
1349
1350
1351
1352
1353
1354
1355
1356
1357
1358
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
M5 Simulator System

Copyright (c) 2001-2008
The Regents of The University of Michigan
All Rights Reserved


M5 compiled Oct 11 2010 18:37:23
M5 revision c4e3d74d9a68 7726 default ext/mp_boot.patch qtip tip
M5 started Oct 11 2010 19:04:52
M5 executing on aus-bc3-b4
command line: build/ARM_SE/m5.opt -d build/ARM_SE/tests/opt/long/40.perlbmk/arm/linux/simple-atomic -re tests/run.py build/ARM_SE/tests/opt/long/40.perlbmk/arm/linux/simple-atomic
Global frequency set at 1000000000000 ticks per second
info: Entering event queue @ 0.  Starting simulation...
info: Increasing stack size by one page.
info: Increasing stack size by one page.
1375000: 2038431008
1374000: 3487365506
1373000: 4184770123
1372000: 1943746837
1371000: 2651673663
1370000: 1493817016
1369000: 2894014801
1368000: 1932092157
1367000: 1670009799
1366000: 828662248
1365000: 1816650195
1364000: 4173139012
1363000: 3990577549
1362000: 1330366815
1361000: 3316935553
1360000: 961300001
1359000: 344963924
1358000: 1930356625
1357000: 1640964266
1356000: 3777883312
1355000: 1651132665
1354000: 1971433151
1353000: 3024027448
1352000: 1956387036
1351000: 1490224841
1350000: 3286956460
1349000: 2793131848
1348000: 2529224907
1347000: 2622295253
1346000: 1414103189
1345000: 3861617587
1344000: 3506378216
1343000: 1667466720
1342000: 2899224065
1341000: 1681491556
1340000: 1076311729
1339000: 4066972664
1338000: 3438059028
1337000: 2938359730
1336000: 1214615378
1335000: 3814432458
1334000: 2944038793
1333000: 3428045644
1332000: 2815822229
1331000: 1093465585
1330000: 3012217108
1329000: 2230916791
1328000: 208547885
1327000: 3592585825
1326000: 3948677052
1325000: 1817805162
1324000: 135366494
1323000: 3309148112
1322000: 1685035744
1321000: 3293068577
1320000: 4097808567
1319000: 1594097274
1318000: 2607196971
1317000: 1763785306
1316000: 2157394178
1315000: 2399031328
1314000: 2954547004
1313000: 82348686
1312000: 3120930785
1311000: 2192747320
1310000: 1580299400
1309000: 4085061477
1308000: 3627048345
1307000: 3756533178
1306000: 77997329
1305000: 1343359499
1304000: 1124031730
1303000: 1161755432
1302000: 1855858423
1301000: 3985872257
1300000: 3188250811
1299000: 3621615933
1298000: 962624248
1297000: 447138785
1296000: 1459144309
1295000: 3454504226
1294000: 2154913347
1293000: 2356291788
1292000: 458348817
1291000: 3639562699
1290000: 3596847973
1289000: 117168222
1288000: 3531023849
1287000: 3135920051
1286000: 234987844
1285000: 2048767180
1284000: 2437301839
1283000: 522886780
1282000: 2274133042
1281000: 1415703448
1280000: 4145574054
1279000: 4283494580
1278000: 3305365779
1277000: 604711974
1276000: 2031548723
1275000: 1809515149
1274000: 1664703088
1273000: 4149809153
1272000: 4045608138
1271000: 1687605659
1270000: 1292294527
1269000: 3120968162
1268000: 3502898850
1267000: 371380256
1266000: 1683884245
1265000: 1849576817
1264000: 1559050991
1263000: 66820972
1262000: 4023539201
1261000: 3452295398
1260000: 4188778026
1259000: 2008091854
1258000: 2691158394
1257000: 2030818206
1256000: 2715523403
1255000: 3473414015
1254000: 138826953
1253000: 69386516
1252000: 1174725971
1251000: 4130510373
1250000: 1649788328
1249000: 1589122801
1248000: 1108688101
1247000: 2906355484
1246000: 379539929
1245000: 914026021
1244000: 4074858468
1243000: 505989635
1242000: 2487288773
1241000: 1991248111
1240000: 2415456875
1239000: 2571192525
1238000: 2897090536
1237000: 2761178989
1236000: 1296601829
1235000: 594696756
1234000: 264562726
1233000: 3630852367
1232000: 1605618457
1231000: 2857419452
1230000: 3028672437
1229000: 361833758
1228000: 4046013938
1227000: 1031775583
1226000: 3475227831
1225000: 802168737
1224000: 3819194009
1223000: 851157666
1222000: 2656457905
1221000: 2579045204
1220000: 2091024410
1219000: 4070633834
1218000: 1926611791
1217000: 1903813761
1216000: 3107168794
1215000: 2975081979
1214000: 4097089273
1213000: 328943233
1212000: 2912404803
1211000: 181334180
1210000: 863898367
1209000: 1894902343
1208000: 1531985231
1207000: 1412503751
1206000: 662457490
1205000: 3447925432
1204000: 2320889638
1203000: 303282255
1202000: 1568632659
1201000: 1108711074
1200000: 953936964
1199000: 3576987258
1198000: 466163300
1197000: 1159551420
1196000: 529807534
1195000: 1528979627
1194000: 1795576953
1193000: 2050917610
1192000: 4068219994
1191000: 3573497288
1190000: 776005286
1189000: 2643125982
1188000: 2240857507
1187000: 43353719
1186000: 2474198261
1185000: 1711347056
1184000: 3046018343
1183000: 664346074
1182000: 3532392595
1181000: 3145347726
1180000: 2203928246
1179000: 4275910811
1178000: 3260065240
1177000: 3216083720
1176000: 3588515377
1175000: 1432542416
1174000: 173159992
1173000: 4115057268
1172000: 223456174
1171000: 1192164227
1170000: 2059254624
1169000: 279921804
1168000: 1100495449
1167000: 264813624
1166000: 2839280440
1165000: 301796904
1164000: 1331933822
1163000: 647427882
1162000: 3872813324
1161000: 2231068824
1160000: 4222672618
1159000: 3629229584
1158000: 2262586804
1157000: 2837951671
1156000: 1780662312
1155000: 31553143
1154000: 3230861653
1153000: 1991458597
1152000: 2277829165
1151000: 3864184029
1150000: 630158826
1149000: 4028889917
1148000: 1662505287
1147000: 4121796538
1146000: 3215277282
1145000: 2019794999
1144000: 4124433286
1143000: 181819953
1142000: 2704380222
1141000: 2487909897
1140000: 1753570204
1139000: 2337507591
1138000: 3235449912
1137000: 3819353806
1136000: 3435413746
1135000: 3288196653
1134000: 2705083758
1133000: 997301031
1132000: 1871866706
1131000: 2298991521
1130000: 1516060457
1129000: 3393393053
1128000: 2795526466
1127000: 1177801041
1126000: 4226698729
1125000: 567826718
1124000: 2425735007
1123000: 1090360485
1122000: 2508061782
1121000: 3476086116
1120000: 2952087827
1119000: 2238445545
1118000: 2937037425
1117000: 1773353797
1116000: 3033333765
1115000: 3086246055
1114000: 944390435
1113000: 2944932895
1112000: 534683663
1111000: 2002175399
1110000: 1876265996
1109000: 4148000592
1108000: 3857174625
1107000: 843045539
1106000: 307772960
1105000: 4161975075
1104000: 3675447412
1103000: 1232242543
1102000: 1019583281
1101000: 1983565552
1100000: 2490901544
1099000: 2990982808
1098000: 1586955629
1097000: 1629138000
1096000: 1870655270
1095000: 2201093764
1094000: 696079363
1093000: 1526904315
1092000: 553848190
1091000: 4234411636
1090000: 1027439894
1089000: 1319115149
1088000: 1147708285
1087000: 3364503693
1086000: 528432422
1085000: 3289100476
1084000: 3074065438
1083000: 3664250869
1082000: 2950591670
1081000: 4207904839
1080000: 3425353965
1079000: 1069646286
1078000: 1004956209
1077000: 2642475281
1076000: 364759474
1075000: 2334969932
1074000: 3907002684
1073000: 273633783
1072000: 4113182592
1071000: 1404306188
1070000: 3286171051
1069000: 3531039414
1068000: 4147513318
1067000: 2466290219
1066000: 2089005579
1065000: 2617563073
1064000: 3124838472
1063000: 3731008114
1062000: 4154022628
1061000: 3389258714
1060000: 3915149371
1059000: 2280932986
1058000: 2872952978
1057000: 2381277834
1056000: 1236179469
1055000: 3256417375
1054000: 2700213407
1053000: 3418122897
1052000: 3130247908
1051000: 1897033028
1050000: 2349143738
1049000: 3789736749
1048000: 409522147
1047000: 3149279018
1046000: 1323133366
1045000: 3881472077
1044000: 3363874422
1043000: 3931657349
1042000: 1220007174
1041000: 3634450249
1040000: 695184634
1039000: 529508167
1038000: 449827627
1037000: 2817424280
1036000: 1613482057
1035000: 2632612792
1034000: 852422020
1033000: 4098325966
1032000: 177298753
1031000: 2286807874
1030000: 2745349553
1029000: 2387386570
1028000: 2004317534
1027000: 971343564
1026000: 1583732447
1025000: 2340780818
1024000: 561110245
1023000: 3012020895
1022000: 1677066870
1021000: 3046208682
1020000: 2695506079
1019000: 780536149
1018000: 4225713741
1017000: 420500410
1016000: 3642094643
1015000: 608695027
1014000: 2161592269
1013000: 930784800
1012000: 1924051276
1011000: 1889733886
1010000: 1476038251
1009000: 2908577467
1008000: 2584082136
1007000: 1713214537
1006000: 3374346754
1005000: 1173203719
1004000: 1142288559
1003000: 4195961973
1002000: 1211260974
1001000: 474231127
1000000: 3967090782
999000: 1543103493
998000: 1018646803
997000: 1799037982
996000: 3416426509
995000: 3581729971
994000: 3044504127
993000: 2975704335
992000: 280018795
991000: 330300280
990000: 3557016064
989000: 3856724468
988000: 2124201285
987000: 3683893247
986000: 3331663795
985000: 1980057740
984000: 2908437859
983000: 4074086941
982000: 1162307093
981000: 3855413476
980000: 2799155731
979000: 2477822501
978000: 497762075
977000: 1650233426
976000: 3061573902
975000: 2224673611
974000: 868725340
973000: 1630206962
972000: 2549398924
971000: 602424332
970000: 1172502721
969000: 2923795552
968000: 1394164637
967000: 1088479837
966000: 898709052
965000: 3983150961
964000: 2463803866
963000: 4181117626
962000: 2151137820
961000: 1342513757
960000: 1507689687
959000: 3652624918
958000: 4169721124
957000: 531022334
956000: 3161389505
955000: 1197637232
954000: 2927231791
953000: 2552305374
952000: 2988512039
951000: 2448639370
950000: 3560951660
949000: 948988399
948000: 2488188856
947000: 2804177113
946000: 1991587461
945000: 2480044082
944000: 1954588624
943000: 924231798
942000: 3269047595
941000: 2078696579
940000: 2822989969
939000: 2295885951
938000: 1815612561
937000: 4182254074
936000: 2753223967
935000: 2840201908
934000: 4058383142
933000: 4270167260
932000: 1203124158
931000: 3039861400
930000: 4247472610
929000: 2297661055
928000: 2376159704
927000: 3861417958
926000: 1968685250
925000: 1156966624
924000: 3568580529
923000: 866582344
922000: 2263113297
921000: 3643523016
920000: 3252268544
919000: 2413309783
918000: 3463124619
917000: 3965291932
916000: 1309181143
915000: 2321282614
914000: 2286584604
913000: 3271924727
912000: 1719841316
911000: 3966124343
910000: 607707072
909000: 61942114
908000: 903881820
907000: 4136948835
906000: 3663861210
905000: 3251888710
904000: 227984688
903000: 495030333
902000: 863290992
901000: 3297482717
900000: 3821175085
899000: 1679874522
898000: 2033358728
897000: 3495513776
896000: 1613181881
895000: 1729312232
894000: 2171317375
893000: 2508603694
892000: 151095866
891000: 1926096901
890000: 4292888210
889000: 2716307666
888000: 737310728
887000: 4172392976
886000: 2322084662
885000: 1034961047
884000: 665072958
883000: 368014441
882000: 1914585160
881000: 3836900884
880000: 2073827187
879000: 1650543625
878000: 3581099222
877000: 147580905
876000: 4009421518
875000: 3294244820
874000: 2786720968
873000: 1682434702
872000: 620473876
871000: 742752376
870000: 385116650
869000: 3882475387
868000: 4259210265
867000: 1329675866
866000: 539876515
865000: 2761681036
864000: 2192063038
863000: 1512848001
862000: 3911973718
861000: 399349760
860000: 1449497249
859000: 4241714042
858000: 18611709
857000: 1550083097
856000: 3322762748
855000: 283796511
854000: 227907270
853000: 3162559866
852000: 1331946455
851000: 2328467927
850000: 1640242501
849000: 3390154083
848000: 22088346
847000: 636412590
846000: 1550672808
845000: 763937899
844000: 430123910
843000: 3413971543
842000: 900018421
841000: 3295874222
840000: 2470678073
839000: 821401909
838000: 3923898844
837000: 429069328
836000: 2030779868
835000: 464625222
834000: 3593024182
833000: 3564354808
832000: 2794783695
831000: 97817593
830000: 4197446076
829000: 2367560230
828000: 2180262123
827000: 3149571964
826000: 1364436763
825000: 21599634
824000: 448490256
823000: 3775294409
822000: 1132631425
821000: 2046352434
820000: 3380435217
819000: 3672496486
818000: 1634548077
817000: 2881316258
816000: 1808599559
815000: 3298310748
814000: 3744285741
813000: 3540737709
812000: 1143844515
811000: 3091026783
810000: 3771757792
809000: 631375816
808000: 1353831646
807000: 3047756240
806000: 818136890
805000: 783072818
804000: 3923416267
803000: 3233085529
802000: 674747602
801000: 758523180
800000: 2232308489
799000: 2919643710
798000: 623631722
797000: 1302202741
796000: 1083055596
795000: 2358048936
794000: 2836842068
793000: 1612571734
792000: 4243459584
791000: 1585511173
790000: 1493369943
789000: 3649557715
788000: 3223859588
787000: 4001130195
786000: 2949323631
785000: 3887611007
784000: 4091766333
783000: 2954277998
782000: 1281850218
781000: 771664458
780000: 2242576209
779000: 3865479146
778000: 1885013114
777000: 2032659742
776000: 4221167450
775000: 1962824751
774000: 209539683
773000: 262945027
772000: 452388820
771000: 2006266573
770000: 990063860
769000: 1377951885
768000: 4240978277
767000: 2206801004
766000: 258015097
765000: 1990217201
764000: 1336410303
763000: 1004853228
762000: 1404152873
761000: 3356554358
760000: 4052430907
759000: 2833671166
758000: 1561723151
757000: 1752620777
756000: 2622547462
755000: 1843933196
754000: 3728801998
753000: 2776832730
752000: 2626131293
751000: 1528525830
750000: 2716112581
749000: 3306039713
748000: 915271993
747000: 4205133363
746000: 3136321783
745000: 1203154793
744000: 3370017183
743000: 4036456207
742000: 3377556743
741000: 3688568185
740000: 3349738887
739000: 1606411092
738000: 331980874
737000: 744409647
736000: 3845688101
735000: 3654026084
734000: 786733128
733000: 1938791337
732000: 843210299
731000: 622237260
730000: 2851984401
729000: 874906210
728000: 485670931
727000: 1522238607
726000: 2167917076
725000: 2304482464
724000: 1053513779
723000: 3535437378
722000: 2842397393
721000: 864490421
720000: 920591184
719000: 238249003
718000: 400999105
717000: 2476588521
716000: 2501770197
715000: 2307183887
714000: 2461504446
713000: 1055961242
712000: 2112756603
711000: 1691285107
710000: 2318101701
709000: 1113470660
708000: 2880817109
707000: 2105866601
706000: 1441912219
705000: 1684930572
704000: 1652788290
703000: 2359919145
702000: 554008403
701000: 3292620387
700000: 3528106952
699000: 3096375697
698000: 4201459210
697000: 1450879661
696000: 3743939389
695000: 3595614062
694000: 4101634764
693000: 364538097
692000: 4204120947
691000: 3706729229
690000: 23134581
689000: 2585120038
688000: 488096133
687000: 3437179533
686000: 4233790378
685000: 3093374794
684000: 4054579709
683000: 1275606548
682000: 1966964511
681000: 354765069
680000: 3812578933
679000: 781104418
678000: 3281747368
677000: 38547527
676000: 1005246555
675000: 74753563
674000: 676561715
673000: 1571462591
672000: 1876054379
671000: 1899005137
670000: 4188106842
669000: 1210903253
668000: 2909261468
667000: 3100970839
666000: 758568698
665000: 2456763236
664000: 686978785
663000: 349808361
662000: 2804776250
661000: 2660993423
660000: 1758165672
659000: 2116094507
658000: 473425247
657000: 563682488
656000: 1454194093
655000: 3211379305
654000: 1298793267
653000: 3374836733
652000: 586356525
651000: 1490379306
650000: 2444980288
649000: 47671514
648000: 568687171
647000: 452676234
646000: 2752247721
645000: 1473254180
644000: 4189470166
643000: 2619721788
642000: 348627393
641000: 675341258
640000: 3183922211
639000: 1266115377
638000: 2331844572
637000: 250721255
636000: 4017517385
635000: 1279621530
634000: 1500904407
633000: 2495457137
632000: 1919479114
631000: 1900388354
630000: 370039669
629000: 1207459690
628000: 2314286843
627000: 80099285
626000: 2465533600
625000: 1056979505
624000: 4289445503
623000: 1234007489
622000: 2015973003
621000: 2281387627
620000: 1115405564
619000: 1407699260
618000: 3940256761
617000: 3639431367
616000: 3498942818
615000: 2982957031
614000: 3800830694
613000: 1454837486
612000: 158454584
611000: 3414923339
610000: 3752581462
609000: 195868045
608000: 3165948362
607000: 2335822431
606000: 3229210414
605000: 1963422803
604000: 2355005929
603000: 2009365872
602000: 1343084455
601000: 2935056539
600000: 2354171524
599000: 3621510708
598000: 3992266416
597000: 682368260
596000: 3290472265
595000: 2215475388
594000: 258049456
593000: 365234760
592000: 291875022
591000: 3307168950
590000: 2233802778
589000: 1944100586
588000: 7070250
587000: 882601802
586000: 1231725137
585000: 4169259917
584000: 2123453163
583000: 631823798
582000: 2039925673
581000: 2238172862
580000: 1479379031
579000: 2363652063
578000: 3186953219
577000: 1893181853
576000: 2598096173
575000: 938779920
574000: 927622241
573000: 3105026014
572000: 2412852365
571000: 644810722
570000: 3576393744
569000: 2625468928
568000: 2167447563
567000: 3391359662
566000: 3178493511
565000: 24044406
564000: 3298992941
563000: 2054886551
562000: 42479754
561000: 2681525651
560000: 1110769583
559000: 2140540905
558000: 780964175
557000: 1320986796
556000: 3624725635
555000: 2920977559
554000: 4017386186
553000: 1800018968
552000: 2137743255
551000: 2282561617
550000: 1466333871
549000: 2567190002
548000: 3280136825
547000: 1761114084
546000: 413841088
545000: 829808286
544000: 283842712
543000: 3524860517
542000: 1853927454
541000: 3087398009
540000: 2535138654
539000: 2224833733
538000: 1673737994
537000: 3963575809
536000: 289926670
535000: 2411609896
534000: 1866933324
533000: 259728174
532000: 786327819
531000: 870136645
530000: 3603849411
529000: 1687141824
528000: 2973109656
527000: 2120372902
526000: 3554894341
525000: 369365218
524000: 2336210870
523000: 1352671703
522000: 4093185231
521000: 44309897
520000: 1308207751
519000: 1489447779
518000: 497784082
517000: 2370135551
516000: 2393982064
515000: 3453216376
514000: 349616264
513000: 1057922348
512000: 2061823561
511000: 2221803921
510000: 2518047997
509000: 2783356981
508000: 3842023593
507000: 3105321997
506000: 3540124104
505000: 334821209
504000: 2867156116
503000: 3824184936
502000: 2432119674
501000: 3759474841
500000: 3381305904
499000: 3106640260
498000: 4241569809
497000: 2499659818
496000: 3971155346
495000: 2297624439
494000: 3455216298
493000: 2152855317
492000: 3915728702
491000: 1087687366
490000: 3976823873
489000: 1813936857
488000: 2803197060
487000: 4026575712
486000: 3867909271
485000: 644795069
484000: 1051897856
483000: 3091023530
482000: 558963440
481000: 2516346710
480000: 2405618228
479000: 1595155902
478000: 1699460683
477000: 645434559
476000: 1457238083
475000: 101746166
474000: 1054127445
473000: 1703635926
472000: 3228750510
471000: 2570095523
470000: 2671516672
469000: 219569232
468000: 245973042
467000: 1785352151
466000: 1828704556
465000: 2993350381
464000: 1802995474
463000: 3689392931
462000: 2612188341
461000: 1970287287
460000: 179729165
459000: 1971694777
458000: 3031333568
457000: 844564594
456000: 979968160
455000: 2169589334
454000: 2315813244
453000: 2333801403
452000: 27632567
451000: 3752181065
450000: 3965825733
449000: 969798494
448000: 1028884180
447000: 1127216392
446000: 2477366335
445000: 3752023316
444000: 1679036165
443000: 4241934865
442000: 3360200587
441000: 3533494907
440000: 1888455616
439000: 2668699748
438000: 2728196631
437000: 31348508
436000: 2192326452
435000: 286955043
434000: 4097630027
433000: 1185622743
432000: 2870795553
431000: 2246074692
430000: 14797454
429000: 2606207217
428000: 2143322684
427000: 1289559127
426000: 3922285071
425000: 590638427
424000: 1098669098
423000: 1597510568
422000: 1623191243
421000: 558862770
420000: 3846690181
419000: 3187756225
418000: 2520849981
417000: 492022774
416000: 1621927303
415000: 2828836994
414000: 2840605981
413000: 4260845378
412000: 2200645444
411000: 393061550
410000: 3334889686
409000: 1926958198
408000: 2939424440
407000: 4207748941
406000: 4155428743
405000: 89797563
404000: 427509452
403000: 1154877029
402000: 4023324583
401000: 359413604
400000: 964788206
399000: 3843097093
398000: 1871599521
397000: 2361845870
396000: 4103568192
395000: 622493054
394000: 954921337
393000: 3664395297
392000: 2429042528
391000: 1361036260
390000: 1944048082
389000: 1452288555
388000: 1619598577
387000: 481096019
386000: 3719595713
385000: 1840199850
384000: 421723640
383000: 2976677668
382000: 618336385
381000: 1777037748
380000: 901802032
379000: 621392881
378000: 3857241587
377000: 3115040335
376000: 3173790487
375000: 2517831056
374000: 4125976072
373000: 2294107866
372000: 4127359945
371000: 333946663
370000: 3307391606
369000: 4268094300
368000: 91056295
367000: 882600429
366000: 730521557
365000: 3957048081
364000: 2139992409
363000: 3504327478
362000: 2637042137
361000: 2718540805
360000: 903036675
359000: 1858031956
358000: 1868403889
357000: 2677157063
356000: 1865569815
355000: 224528281
354000: 3144318856
353000: 1968806079
352000: 2836077060
351000: 1981309964
350000: 3105869514
349000: 3793296439
348000: 1267294125
347000: 1962520375
346000: 2150839102
345000: 3811064048
344000: 1298671776
343000: 2150950779
342000: 3522997671
341000: 1378798782
340000: 2213936395
339000: 2117978968
338000: 2444486361
337000: 3928234621
336000: 1645335376
335000: 540013781
334000: 1103798645
333000: 1723781016
332000: 1805323374
331000: 3590394804
330000: 4178797476
329000: 3350975600
328000: 1556948383
327000: 2282601074
326000: 1709618426
325000: 637957139
324000: 2719080929
323000: 1847444832
322000: 547261068
321000: 581409575
320000: 586567018
319000: 1579880779
318000: 1049735969
317000: 3233747918
316000: 351376358
315000: 3446473138
314000: 2099035319
313000: 2827833754
312000: 2717063452
311000: 2212978977
310000: 1583494069
309000: 3119642323
308000: 2946038826
307000: 167580491
306000: 3916319765
305000: 3480693946
304000: 2709010304
303000: 3265576420
302000: 3439318492
301000: 1896109937
300000: 339896540
299000: 313850585
298000: 2600289987
297000: 4060531515
296000: 3894455718
295000: 3183544633
294000: 1551799240
293000: 3574197425
292000: 2380783887
291000: 3130665581
290000: 1135162832
289000: 3460550191
288000: 3366619355
287000: 501626025
286000: 1070097358
285000: 1023235560
284000: 925313877
283000: 3758987940
282000: 1935539406
281000: 3727463323
280000: 4040081802
279000: 2462105177
278000: 322183212
277000: 2437872102
276000: 1085894622
275000: 2118601354
274000: 1720719726
273000: 56294175
272000: 2046218040
271000: 2871320919
270000: 3111863367
269000: 726835633
268000: 916866344
267000: 1208374677
266000: 2914608557
265000: 449456198
264000: 2645640532
263000: 997311800
262000: 2872564998
261000: 1964496124
260000: 2802080932
259000: 387636194
258000: 3813984224
257000: 1921258264
256000: 1414333533
255000: 997845727
254000: 3671258247
253000: 3244313331
252000: 44297738
251000: 1055697350
250000: 403951609
249000: 3558182356
248000: 3441722116
247000: 3598259825
246000: 2495236386
245000: 4150113079
244000: 4092477475
243000: 1352323466
242000: 4228179784
241000: 3509286314
240000: 1117669666
239000: 1821539001
238000: 2685425558
237000: 3282158412
236000: 976807931
235000: 1960913234
234000: 675404937
233000: 2016845981
232000: 3778769531
231000: 1321297859
230000: 84609577
229000: 2736973360
228000: 1143462599
227000: 1152334102
226000: 2661675401
225000: 3384049744
224000: 3321570349
223000: 2151575803
222000: 2950365334
221000: 2791341163
220000: 2912181889
219000: 700726300
218000: 3236687629
217000: 384678680
216000: 3027284798
215000: 2124466541
214000: 1634885735
213000: 3025139089
212000: 1913485355
211000: 2451444114
210000: 1597224573
209000: 2863042887
208000: 1462999033
207000: 853998677
206000: 1532111742
205000: 3533822378
204000: 1057056422
203000: 2585913344
202000: 1776380902
201000: 2652271540
200000: 2500553547
199000: 3943435104
198000: 615742187
197000: 2089667313
196000: 1649690458
195000: 582691711
194000: 1197398266
193000: 2682453813
192000: 1739971049
191000: 1543584807
190000: 4224852565
189000: 2330603128
188000: 2738873539
187000: 2462336661
186000: 538134005
185000: 618406175
184000: 3258203829
183000: 3565635398
182000: 2437456159
181000: 1103703144
180000: 3142082412
179000: 3635072449
178000: 2831183465
177000: 3067391696
176000: 4243880329
175000: 3847103503
174000: 1886736895
173000: 3994782354
172000: 2180961421
171000: 2657714328
170000: 1783032069
169000: 3288794122
168000: 4214505744
167000: 3893811403
166000: 301673242
165000: 1008606441
164000: 4241744599
163000: 4077366883
162000: 947408771
161000: 2893412067
160000: 4239854096
159000: 837488883
158000: 1035341013
157000: 2979612216
156000: 622879904
155000: 2239033946
154000: 1793603359
153000: 3403674755
152000: 1757769702
151000: 3104338771
150000: 4050901279
149000: 1064027760
148000: 1232980113
147000: 1940798204
146000: 1520506974
145000: 1602654645
144000: 3827165041
143000: 2333560581
142000: 1078945096
141000: 4164769913
140000: 1004088705
139000: 1918334274
138000: 2376094733
137000: 2114404244
136000: 610887654
135000: 2061314834
134000: 2934949429
133000: 1384359308
132000: 2214638498
131000: 4091637905
130000: 1178600936
129000: 3673332079
128000: 335936353
127000: 1680711257
126000: 1535342908
125000: 1797602927
124000: 1277174958
123000: 3114077321
122000: 149498793
121000: 864366602
120000: 104510626
119000: 1518395286
118000: 3111302078
117000: 3110116836
116000: 3233967498
115000: 1017896311
114000: 692827001
113000: 3779537224
112000: 2905474934
111000: 3465999202
110000: 1915694049
109000: 2628022627
108000: 875271541
107000: 2022225002
106000: 1671971011
105000: 3334748297
104000: 1332184097
103000: 1555681497
102000: 3406253965
101000: 4045141299
100000: 3058680000
99000: 555036606
98000: 46275609
97000: 3853135904
96000: 4229006385
95000: 4108164708
94000: 2566945975
93000: 3797900910
92000: 3355992329
91000: 1635484145
90000: 1382023482
89000: 3690432221
88000: 1892056918
87000: 1120722079
86000: 2675052236
85000: 4165748502
84000: 10230467
83000: 4138070209
82000: 1570296924
81000: 3126342757
80000: 598265835
79000: 541475291
78000: 2784920265
77000: 4169891577
76000: 1101249184
75000: 2090307927
74000: 3780559777
73000: 19873425
72000: 1118190767
71000: 3485912405
70000: 1322638834
69000: 1096526516
68000: 1370553703
67000: 3631120381
66000: 1806420191
65000: 2701118072
64000: 483879470
63000: 2124403158
62000: 1877513812
61000: 1289006766
60000: 3733667461
59000: 3457358686
58000: 732502949
57000: 3971773677
56000: 883589946
55000: 290212168
54000: 2244967385
53000: 3848247179
52000: 2228476206
51000: 2372703555
50000: 1200411530
49000: 2060190456
48000: 2511902942
47000: 4007272287
46000: 2854231300
45000: 2518671311
44000: 815143404
43000: 1972543143
42000: 3063716128
41000: 3326571310
40000: 3180391453
39000: 2568545510
38000: 573110821
37000: 3814257324
36000: 4163248735
35000: 943584186
34000: 387069186
33000: 3519377243
32000: 3861206003
31000: 2378381393
30000: 3259365221
29000: 3960625204
28000: 3476394666
27000: 1995310421
26000: 1884341166
25000: 3181801013
24000: 116492838
23000: 3276567587
22000: 3693343729
21000: 2595820568
20000: 2397879436
19000: 2692679578
18000: 2368648652
17000: 3098196844
16000: 3913788179
15000: 1240694507
14000: 1586030084
13000: 1211450031
12000: 3458253062
11000: 1804606651
10000: 2128587109
9000: 1894810186
8000: 2221431098
7000: 113605713
6000: 4020003580
5000: 2988041351
4000: 2310084217
3000: 1475476779
2000: 760651391
1000: 4031656975
0: 2206428413
Exiting @ tick 924828408500 because target called exit()