0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 0/100 clauses 0/102 units 0
0.00/0.01	c vars 5100
0.09/0.19	c 0.179972 40.1562 93 10243
0.09/0.19	o 4544
0.18/0.21	c 0.186971 41.0547 95 10800
0.18/0.21	o 2512
0.18/0.22	c 0.197969 41.0547 105 15638
0.18/0.22	o 2260
0.18/0.23	c 0.203968 41.0547 105 17675
0.18/0.23	o 1573
0.18/0.24	c 0.210967 41.0547 105 19441
0.18/0.24	o 1567
0.18/0.25	c 0.218966 41.0547 105 20944
0.18/0.25	o 1563
0.18/0.26	c 0.227965 41.0547 106 22889
0.18/0.26	o 1511
0.18/0.27	c 0.230964 41.0547 106 24397
0.18/0.27	o 1506
0.18/0.28	c 0.237963 41.0547 106 26433
0.18/0.28	o 1399
0.18/0.29	c 0.243962 41.0547 106 28233
0.18/0.29	o 1375
0.29/0.30	c 0.248962 41.0547 106 29687
0.29/0.30	o 1352
0.29/0.31	c 0.255961 41.0547 106 31088
0.29/0.31	o 1351
0.29/0.32	c 0.26196 41.0547 106 32513
0.29/0.32	o 1340
0.29/0.33	c 0.269958 41.0547 106 34116
0.29/0.33	o 1104
0.29/0.34	c 0.276957 41.0547 106 35472
0.29/0.34	o 1102
0.29/0.35	c 0.284956 41.0547 106 36822
0.29/0.35	o 1099
0.29/0.36	c 0.289955 41.0547 106 37926
0.29/0.36	o 1097
0.29/0.37	c 0.294955 41.0547 106 39021
0.29/0.37	o 1093
0.29/0.38	c 0.300954 41.0547 106 40360
0.29/0.38	o 1092
0.29/0.39	c 0.302953 41.0547 106 41565
0.29/0.39	o 1089
0.39/0.40	c 0.309952 41.0547 106 42999
0.39/0.40	o 1088
0.39/0.41	c 0.315951 41.0547 107 44251
0.39/0.41	o 1084
0.39/0.42	c 0.321951 41.0547 107 45662
0.39/0.42	o 1073
0.39/0.43	c 0.32795 41.0547 107 46861
0.39/0.43	o 1072
0.39/0.44	c 0.332949 41.0547 107 48176
0.39/0.44	o 1065
0.39/0.45	c 0.336948 41.0547 107 49482
0.39/0.45	o 1061
0.39/0.46	c 0.343947 41.0547 107 50748
0.39/0.46	o 1055
0.39/0.47	c 0.350946 41.0547 107 52080
0.39/0.47	o 1035
0.39/0.48	c 0.357945 41.0547 107 53335
0.39/0.48	o 1032
0.39/0.49	c 0.365944 41.0547 107 54634
0.39/0.49	o 1031
0.49/0.50	c 0.371943 41.0547 107 55883
0.49/0.50	o 1029
0.49/0.51	c 0.376942 41.0547 107 57076
0.49/0.51	o 1027
0.49/0.52	c 0.383941 41.0547 107 58328
0.49/0.52	o 1022
0.49/0.53	c 0.39194 41.0547 107 59566
0.49/0.53	o 1019
0.49/0.54	c 0.397939 41.0547 107 60810
0.49/0.54	o 1015
0.49/0.55	c 0.402938 41.0547 107 61815
0.49/0.55	o 1010
0.49/0.56	c 0.409937 41.0547 107 62761
0.49/0.56	o 1006
0.49/0.57	c 0.413937 41.0547 107 64157
0.49/0.57	o 1003
0.49/0.58	c 0.422935 41.0547 108 65408
0.49/0.58	o 1002
0.49/0.59	c 0.428934 41.0547 108 66657
0.49/0.59	o 1001
0.59/0.60	c 0.433934 41.0547 109 67848
0.59/0.60	o 999
0.59/0.62	c 0.440932 41.0547 109 68891
0.59/0.62	o 995
0.59/0.63	c 0.446932 41.0547 109 70285
0.59/0.63	o 991
0.59/0.64	c 0.45493 41.0547 109 71477
0.59/0.64	o 989
0.59/0.65	c 0.462929 41.0547 110 72780
0.59/0.65	o 988
0.59/0.66	c 0.465929 41.0547 110 74078
0.59/0.66	o 987
0.59/0.67	c 0.471928 41.0547 110 75281
0.59/0.67	o 983
0.59/0.68	c 0.476927 41.0547 110 76423
0.59/0.68	o 978
0.59/0.69	c 0.484926 41.0547 110 77684
0.59/0.69	o 969
0.69/0.70	c 0.489925 41.0547 110 78936
0.69/0.70	o 968
0.69/0.71	c 0.497924 41.0547 110 80186
0.69/0.71	o 963
0.69/0.72	c 0.502923 41.0547 111 81283
0.69/0.72	o 961
0.69/0.73	c 0.509922 41.0547 111 82383
0.69/0.73	o 958
0.69/0.74	c 0.515921 41.0547 112 83581
0.69/0.74	o 955
0.69/0.75	c 0.52192 41.0547 112 84878
0.69/0.75	o 951
0.69/0.76	c 0.528919 41.0547 112 85931
0.69/0.76	o 944
0.69/0.77	c 0.536918 41.0547 112 87076
0.69/0.77	o 940
0.69/0.78	c 0.544917 41.0547 112 88281
0.69/0.78	o 938
0.69/0.79	c 0.551916 41.0547 113 89333
0.69/0.79	o 935
0.79/0.80	c 0.557915 41.0547 113 90324
0.79/0.80	o 933
0.79/0.81	c 0.561914 41.0547 113 91420
0.79/0.81	o 928
0.79/0.82	c 0.567913 41.0547 113 92565
0.79/0.82	o 926
0.79/0.83	c 0.574912 41.0547 113 93716
0.79/0.83	o 923
0.79/0.84	c 0.583911 41.0547 113 94873
0.79/0.84	o 914
0.79/0.85	c 0.59091 41.0547 114 95919
0.79/0.85	o 910
0.79/0.86	c 0.598908 41.0547 114 97013
0.79/0.86	o 909
0.79/0.87	c 0.604908 41.0547 114 98168
0.79/0.87	o 905
0.79/0.88	c 0.610907 41.0547 114 99320
0.79/0.88	o 904
0.79/0.89	c 0.617906 41.0547 114 100570
0.79/0.89	o 903
0.89/0.90	c 0.623905 41.0547 114 101725
0.89/0.90	o 898
0.89/0.91	c 0.630904 41.0547 114 102636
0.89/0.91	o 894
0.89/0.92	c 0.637903 41.0547 114 103747
0.89/0.92	o 888
0.89/0.93	c 0.645901 41.0547 115 104895
0.89/0.93	o 886
0.89/0.94	c 0.6529 41.0547 115 106042
0.89/0.94	o 885
0.89/0.95	c 0.659899 41.0547 115 107229
0.89/0.95	o 868
0.89/0.96	c 0.664898 41.0547 116 108431
0.89/0.96	o 867
0.89/0.97	c 0.669898 41.0547 116 109652
0.89/0.97	o 850
0.89/0.98	c 0.675897 41.0547 116 110712
0.89/0.98	o 841
0.89/0.99	c 0.682896 41.0547 116 111855
0.89/0.99	o 840
0.89/1.00	c 0.688895 41.0547 116 112957
0.89/1.00	o 839
0.99/1.01	c 0.698893 41.0547 116 114091
0.99/1.01	o 838
0.99/1.02	c 0.703892 41.0547 116 115046
0.99/1.02	o 833
0.99/1.03	c 0.709892 41.0547 116 116323
0.99/1.03	o 818
0.99/1.04	c 0.715891 41.0547 116 117284
0.99/1.04	o 815
0.99/1.05	c 0.72189 41.0547 116 118438
0.99/1.05	o 812
0.99/1.06	c 0.729889 41.0547 116 119391
0.99/1.06	o 807
0.99/1.07	c 0.737887 41.0547 116 120536
0.99/1.07	o 802
0.99/1.08	c 0.745886 41.0547 116 121437
0.99/1.08	o 800
0.99/1.09	c 0.752885 41.0547 116 122534
0.99/1.09	o 797
1.09/1.10	c 0.760884 41.0547 116 123731
1.09/1.10	o 793
1.09/1.11	c 0.769882 41.0547 116 124792
1.09/1.11	o 785
1.09/1.12	c 0.773882 41.0547 116 125694
1.09/1.12	o 781
1.09/1.13	c 0.78288 41.0547 117 126638
1.09/1.13	o 778
1.09/1.14	c 0.789879 41.0547 117 127679
1.09/1.14	o 774
1.09/1.15	c 0.796878 41.0547 117 128874
1.09/1.15	o 773
1.09/1.16	c 0.804877 41.0547 117 130012
1.09/1.16	o 772
1.09/1.17	c 0.810876 41.0547 117 131019
1.09/1.17	o 766
1.09/1.18	c 0.816875 41.0547 117 132263
1.09/1.18	o 765
1.09/1.19	c 0.825874 41.0547 117 133217
1.09/1.19	o 764
1.19/1.20	c 0.833873 41.0547 117 134394
1.19/1.20	o 756
1.19/1.21	c 0.841872 41.0547 117 135699
1.19/1.21	o 751
1.19/1.23	c 0.84987 41.0547 118 136764
1.19/1.23	o 746
1.19/1.24	c 0.855869 41.0547 118 137846
1.19/1.24	o 744
1.19/1.25	c 0.863868 41.0547 118 138901
1.19/1.25	o 737
1.19/1.26	c 0.870867 41.0547 118 139804
1.19/1.26	o 736
1.19/1.27	c 0.876866 41.1836 118 140859
1.19/1.27	o 731
1.19/1.28	c 0.882865 41.1836 118 141857
1.19/1.28	o 729
1.19/1.29	c 0.892864 41.1836 118 142835
1.19/1.29	o 726
1.29/1.30	c 0.899863 41.1836 118 143890
1.29/1.30	o 721
1.29/1.31	c 0.906862 41.1836 119 145131
1.29/1.31	o 718
1.29/1.32	c 0.913861 41.1836 119 146029
1.29/1.32	o 716
1.29/1.33	c 0.92086 41.1836 119 147136
1.29/1.33	o 710
1.29/1.34	c 0.924859 41.1836 120 148046
1.29/1.34	o 705
1.29/1.35	c 0.932858 41.1836 120 148997
1.29/1.35	o 702
1.29/1.36	c 0.942856 41.1836 120 150092
1.29/1.36	o 700
1.29/1.37	c 0.949855 41.1836 120 151108
1.29/1.37	o 671
1.29/1.38	c 0.955854 41.1836 120 152060
1.29/1.38	o 667
1.29/1.39	c 0.960853 41.1836 120 153146
1.29/1.39	o 652
1.39/1.40	c 0.967852 41.1836 120 154017
1.39/1.40	o 646
1.39/1.41	c 0.974851 41.1836 120 154915
1.39/1.41	o 645
1.39/1.42	c 0.98185 41.1836 120 155921
1.39/1.42	o 643
1.39/1.43	c 0.989849 41.1836 120 156881
1.39/1.43	o 639
1.39/1.44	c 0.995848 41.1836 120 157863
1.39/1.44	o 625
1.39/1.45	c 1.00385 41.1836 120 158668
1.39/1.45	o 622
1.39/1.46	c 1.00685 41.1836 120 159725
1.39/1.46	o 615
1.39/1.47	c 1.01484 41.1836 120 160382
1.39/1.47	o 611
1.39/1.48	c 1.02184 41.1836 120 161226
1.39/1.48	o 607
1.39/1.49	c 1.02584 41.1836 121 162078
1.39/1.49	o 602
1.49/1.50	c 1.03284 41.1836 131 162855
1.49/1.50	o 596
1.49/1.51	c 1.03984 41.1836 131 163883
1.49/1.51	o 595
1.49/1.52	c 1.04884 41.1836 131 165060
1.49/1.52	o 594
1.49/1.53	c 1.05284 41.1836 132 166114
1.49/1.53	o 583
1.49/1.54	c 1.06184 41.1836 133 167337
1.49/1.54	o 581
1.49/1.55	c 1.06984 41.1836 136 168348
1.49/1.55	o 574
1.49/1.56	c 1.07584 41.1836 136 169280
1.49/1.56	o 572
1.49/1.57	c 1.07883 41.1836 136 170262
1.49/1.57	o 569
1.49/1.58	c 1.08384 41.1836 137 171256
1.49/1.58	o 540
1.59/1.61	c 1.10383 41.3125 238 173166
1.59/1.61	o 539
1.59/1.62	c 1.10983 41.3125 238 174398
1.59/1.62	o 534
1.59/1.63	c 1.11483 41.3125 238 175546
1.59/1.63	o 530
1.59/1.64	c 1.12183 41.3125 238 176923
1.59/1.64	o 524
1.59/1.65	c 1.12783 41.3125 240 178315
1.59/1.65	o 514
1.59/1.66	c 1.13783 41.3125 240 179601
1.59/1.66	o 509
1.59/1.67	c 1.14482 41.3125 240 180705
1.59/1.67	o 501
1.59/1.68	c 1.15082 41.3125 241 181920
1.59/1.68	o 500
1.59/1.69	c 1.15982 41.3125 241 183089
1.59/1.69	o 496
1.69/1.70	c 1.16582 41.3125 241 184332
1.69/1.70	o 486
1.69/1.71	c 1.17282 41.3125 243 185627
1.69/1.71	o 474
1.69/1.72	c 1.17782 41.3125 244 186614
1.69/1.72	o 471
1.69/1.73	c 1.18382 41.3125 245 187706
1.69/1.73	o 462
1.69/1.74	c 1.19082 41.3125 245 188685
1.69/1.74	o 458
1.69/1.75	c 1.19782 41.3125 245 189704
1.69/1.75	o 454
1.69/1.76	c 1.20182 41.3125 247 190765
1.69/1.76	o 449
1.69/1.77	c 1.21081 41.3125 248 192117
1.69/1.77	o 443
1.69/1.78	c 1.21881 41.3125 249 193449
1.69/1.78	o 437
1.69/1.79	c 1.22381 41.3125 252 194473
1.69/1.79	o 434
1.79/1.81	c 1.23081 41.3125 253 195809
1.79/1.81	o 378
1.79/1.82	c 1.23581 41.3125 253 196838
1.79/1.82	o 358
1.79/1.83	c 1.24481 41.3125 254 197877
1.79/1.83	o 354
1.79/1.84	c 1.24881 41.4414 254 198953
1.79/1.84	o 353
1.79/1.85	c 1.25381 41.4414 254 199935
1.79/1.85	o 349
1.79/1.86	c 1.26181 41.4414 255 201110
1.79/1.86	o 348
1.79/1.87	c 1.26881 41.4414 255 202030
1.79/1.87	o 343
1.79/1.88	c 1.27481 41.4414 255 202978
1.79/1.88	o 337
1.79/1.89	c 1.2838 41.4414 256 204011
1.79/1.89	o 335
1.89/1.90	c 1.2898 41.4414 257 204920
1.89/1.90	o 334
1.89/1.91	c 1.2958 41.4414 257 205907
1.89/1.91	o 331
1.89/1.92	c 1.3008 41.4414 257 206894
1.89/1.92	o 325
1.89/1.93	c 1.3068 41.4414 259 207925
1.89/1.93	o 324
1.89/1.94	c 1.3138 41.4414 260 208998
1.89/1.94	o 323
1.89/1.95	c 1.3228 41.4414 261 209861
1.89/1.95	o 318
1.89/1.96	c 1.3298 41.4414 261 210772
1.89/1.96	o 316
1.89/1.97	c 1.3368 41.4414 261 211685
1.89/1.97	o 314
1.89/1.98	c 1.34279 41.4414 262 212553
1.89/1.98	o 312
1.89/1.99	c 1.35179 41.4414 264 213473
1.89/1.99	o 305
1.99/2.00	c 1.35779 41.4414 264 214461
1.99/2.00	o 272
1.99/2.01	c 1.36579 41.4414 264 215389
1.99/2.01	o 270
1.99/2.03	c 1.37479 41.4414 265 216351
1.99/2.03	o 265
1.99/2.04	c 1.37979 41.4414 265 217166
1.99/2.04	o 261
1.99/2.05	c 1.38979 41.4414 265 217922
1.99/2.05	o 260
1.99/2.06	c 1.39879 41.4414 265 218830
1.99/2.06	o 238
1.99/2.07	c 1.40479 41.4414 266 219771
1.99/2.07	o 207
1.99/2.08	c 1.41478 41.4414 266 220733
1.99/2.08	o 206
1.99/2.09	c 1.42278 41.4414 267 221592
1.99/2.09	o 203
1.99/2.10	c 1.43178 41.4414 268 222528
1.99/2.10	o 194
2.10/2.11	c 1.44078 41.4414 271 223587
2.10/2.11	o 181
2.10/2.12	c 1.44778 41.4414 271 224519
2.10/2.12	o 171
2.10/2.13	c 1.45278 41.4414 271 225193
2.10/2.13	o 170
2.10/2.14	c 1.45978 41.4414 272 226015
2.10/2.14	o 167
2.10/2.15	c 1.46778 41.4414 272 226930
2.10/2.15	o 159
2.10/2.16	c 1.47477 41.4414 272 227694
2.10/2.16	o 156
2.10/2.17	c 1.48277 41.4414 272 228455
2.10/2.17	o 155
2.10/2.18	c 1.49077 41.4414 272 229137
2.10/2.18	o 154
2.10/2.19	c 1.49677 41.4414 272 229883
2.10/2.19	o 153
2.20/2.20	c 1.50277 41.4414 272 230564
2.20/2.20	o 151
2.20/2.21	c 1.51277 41.4414 272 231330
2.20/2.21	o 124
2.20/2.22	c 1.52077 41.4414 272 232164
2.20/2.22	o 119
2.20/2.23	c 1.52477 41.4414 273 233011
2.20/2.23	o 117
2.20/2.24	c 1.53177 41.5703 274 233669
2.20/2.24	o 116
2.20/2.25	c 1.53777 41.5703 274 234458
2.20/2.25	o 114
2.20/2.26	c 1.54377 41.5703 275 235180
2.20/2.27	o 110
2.20/2.28	c 1.55176 41.5703 275 235906
2.20/2.28	o 108
2.20/2.29	c 1.55876 41.5703 275 236575
2.20/2.29	o 103
2.29/2.30	c 1.56876 41.5703 275 237270
2.29/2.30	o 89
2.29/2.31	c 1.57476 41.5703 275 237987
2.29/2.31	o 83
2.29/2.32	c 1.58376 41.5703 301 238657
2.29/2.32	o 81
2.29/2.33	c 1.58976 41.5703 301 239447
2.29/2.33	o 76
2.29/2.36	c 1.60776 41.5703 404 241504
2.29/2.36	o 73
2.29/2.37	c 1.61475 41.5703 405 242625
2.29/2.37	o 62
2.29/2.38	c 1.62075 41.5703 407 244173
2.29/2.38	o 61
2.29/2.39	c 1.62975 41.5703 408 245351
2.29/2.39	o 59
2.39/2.40	c 1.63675 41.5703 408 246611
2.39/2.40	o 54
2.39/2.41	c 1.64175 41.5703 409 247689
2.39/2.41	o 53
2.39/2.44	c 1.65675 41.6992 510 250057
2.39/2.44	o 52
2.49/2.55	c 1.74174 42.3438 1213 257793
2.49/2.55	o 41
2.49/2.56	c 1.74973 42.3438 1215 259523
2.49/2.56	o 40
2.49/2.59	c 1.77173 42.3438 1319 263191
2.49/2.59	o 35
2.59/2.60	c 1.77873 42.3438 1322 265214
2.59/2.60	o 24
2.59/2.61	c 1.78673 42.4727 1324 267113
2.59/2.61	o 22
2.59/2.63	c 1.79273 42.4727 1325 269023
2.59/2.63	o 11
2.59/2.69	c 1.84372 42.8594 1827 274849
2.59/2.69	o 9
2.69/2.70	c 1.85372 42.8594 1829 276711
2.69/2.70	o 6
2.69/2.77	c 1.90871 43.1172 2136 285513
2.69/2.77	o 3
1800.05/1800.00	s SATISFIABLE
1800.05/1800.00	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 x2462 -x2463 -x2464 -x2465 x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 x2480 x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 x2522 -x2523 x2524 -x2525 -x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 x2535 -x2536 -x2537 -x2538 -x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 x3812 -x3813 x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 x5095 -x5096 -x5097 -x5098 -x5099 -x5100

OK	3

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699261-1278463804/watcher-2699261-1278463804 -o /tmp/evaluation-result-2699261-1278463804/solver-2699261-1278463804 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699261-1278463804.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13241
/proc/meminfo: memFree=30553856/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=2136 CPUtime=0
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 245 0 0 0 0 0 0 0 23 0 1 0 14593378 2187264 164 4089446400 134512640 136422188 4291562720 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13241/statm: 534 164 143 467 0 65 0

[startup+0.084278 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13241
/proc/meminfo: memFree=30553856/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=22228 CPUtime=0.07
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 5283 0 0 0 7 0 0 0 25 0 1 0 14593378 22761472 5104 4089446400 134512640 136422188 4291562720 18446744073709551615 134784375 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13241/statm: 5557 5105 193 467 0 5088 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22228

[startup+0.100272 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13241
/proc/meminfo: memFree=30553856/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=25320 CPUtime=0.09
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 6093 0 0 0 9 0 0 0 25 0 1 0 14593378 25927680 5875 4089446400 134512640 136422188 4291562720 18446744073709551615 135642974 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13241/statm: 6330 5875 193 467 0 5861 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25320

[startup+0.300236 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13241
/proc/meminfo: memFree=30553856/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=42036 CPUtime=0.29
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 10422 0 0 0 24 5 0 0 25 0 1 0 14593378 43044864 9701 4089446400 134512640 136422188 4291562720 18446744073709551615 135028402 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13241/statm: 10509 9701 236 467 0 10040 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42036

[startup+0.700165 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13241
/proc/meminfo: memFree=30553856/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=42036 CPUtime=0.69
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 10462 0 0 0 48 21 0 0 25 0 1 0 14593378 43044864 9702 4089446400 134512640 136422188 4291562720 18446744073709551615 135686890 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13241/statm: 10509 9702 236 467 0 10040 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42036

[startup+1.50102 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13242
/proc/meminfo: memFree=30515664/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=42168 CPUtime=1.49
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 10593 0 0 0 102 47 0 0 25 0 1 0 14593378 43180032 9754 4089446400 134512640 136422188 4291562720 18446744073709551615 135032448 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13241/statm: 10542 9754 236 467 0 10073 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42168

[startup+3.10074 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13242
/proc/meminfo: memFree=30514920/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=46128 CPUtime=3.1
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 11705 0 0 0 217 93 0 0 18 0 1 0 14593378 47235072 10771 4089446400 134512640 136422188 4291562720 18446744073709551615 134862381 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13241/statm: 11532 10771 237 467 0 11063 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 46128

[startup+6.30017 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13242
/proc/meminfo: memFree=30500380/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=57896 CPUtime=6.29
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 14644 0 0 0 512 117 0 0 25 0 1 0 14593378 59285504 13710 4089446400 134512640 136422188 4291562720 18446744073709551615 134860008 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13241/statm: 14474 13710 237 467 0 14005 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 57896

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13243
/proc/meminfo: memFree=30495788/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=61600 CPUtime=12.69
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 15545 0 0 0 1073 196 0 0 25 0 1 0 14593378 63078400 14611 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13241/statm: 15400 14611 237 467 0 14931 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61600

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13243
/proc/meminfo: memFree=30490708/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=67048 CPUtime=25.5
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 16921 0 0 0 2232 318 0 0 25 0 1 0 14593378 68657152 15987 4089446400 134512640 136422188 4291562720 18446744073709551615 134860071 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13241/statm: 16762 15987 237 467 0 16293 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 67048

[startup+51.1001 s]
/proc/loadavg: 1.93 1.98 1.93 3/179 13271
/proc/meminfo: memFree=30593964/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=72252 CPUtime=51.1
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 18217 0 0 0 4440 670 0 0 25 0 1 0 14593378 73986048 17283 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 18063 17283 237 467 0 17594 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 72252

[startup+102.306 s]
/proc/loadavg: 1.97 1.98 1.93 3/179 13273
/proc/meminfo: memFree=30576784/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=80048 CPUtime=102.3
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 20170 0 0 0 8437 1793 0 0 25 0 1 0 14593378 81969152 19236 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 20012 19236 237 467 0 19543 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 80048

[startup+162.3 s]
/proc/loadavg: 2.02 2.00 1.93 3/179 13275
/proc/meminfo: memFree=30564212/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=88112 CPUtime=162.3
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 22157 0 0 0 13055 3175 0 0 25 0 1 0 14593378 90226688 21223 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 22028 21223 237 467 0 21559 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 88112

[startup+222.301 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 13276
/proc/meminfo: memFree=30552272/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=96720 CPUtime=222.29
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 24308 0 0 0 17900 4329 0 0 25 0 1 0 14593378 99041280 23374 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 24180 23374 237 467 0 23711 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 96720

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13277
/proc/meminfo: memFree=30548148/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=97776 CPUtime=282.3
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 24583 0 0 0 22543 5687 0 0 25 0 1 0 14593378 100122624 23649 4089446400 134512640 136422188 4291562720 18446744073709551615 134862334 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 24444 23649 237 467 0 23975 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 97776

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13279
/proc/meminfo: memFree=30536556/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=104836 CPUtime=342.3
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 26440 0 0 0 26925 7305 0 0 25 0 1 0 14593378 107352064 25411 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 26209 25411 237 467 0 25740 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 104836

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13281
/proc/meminfo: memFree=30527084/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=114392 CPUtime=402.3
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 28818 0 0 0 32095 8135 0 0 25 0 1 0 14593378 117137408 27789 4089446400 134512640 136422188 4291562720 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 28598 27789 237 467 0 28129 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 114392

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13283
/proc/meminfo: memFree=30527036/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=114392 CPUtime=462.31
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 28819 0 0 0 37261 8970 0 0 25 0 1 0 14593378 117137408 27790 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 28598 27790 237 467 0 28129 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 114392

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13284
/proc/meminfo: memFree=30520408/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=115392 CPUtime=522.31
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 29257 0 0 0 41916 10315 0 0 25 0 1 0 14593378 118161408 28040 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 28848 28040 237 467 0 28379 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 115392

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13285
/proc/meminfo: memFree=30518132/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=117792 CPUtime=582.31
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 29955 0 0 0 46491 11740 0 0 25 0 1 0 14593378 120619008 28637 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 29448 28637 237 467 0 28979 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 117792

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13287
/proc/meminfo: memFree=30515608/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=120160 CPUtime=642.31
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 30914 0 0 0 51019 13212 0 0 25 0 1 0 14593378 123043840 29225 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 30040 29225 237 467 0 29571 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 120160

[startup+702.301 s]

################
# More data... #
################

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13301
/proc/meminfo: memFree=30487608/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=137780 CPUtime=822.31
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 35301 0 0 0 65325 16906 0 0 25 0 1 0 14593378 141086720 33612 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 34445 33612 237 467 0 33976 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 137780

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13302
/proc/meminfo: memFree=30487692/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=137780 CPUtime=882.32
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 35302 0 0 0 70027 18205 0 0 25 0 1 0 14593378 141086720 33613 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 34445 33613 237 467 0 33976 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 137780

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13304
/proc/meminfo: memFree=30483544/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=142136 CPUtime=942.32
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 36363 0 0 0 75375 18857 0 0 25 0 1 0 14593378 145547264 34674 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 35534 34674 237 467 0 35065 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 142136

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13306
/proc/meminfo: memFree=30481148/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=144644 CPUtime=1002.32
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 37014 0 0 0 80756 19476 0 0 25 0 1 0 14593378 148115456 35325 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 36161 35325 237 467 0 35692 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 144644

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13308
/proc/meminfo: memFree=30477616/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=148076 CPUtime=1062.32
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 37873 0 0 0 86017 20215 0 0 25 0 1 0 14593378 151629824 36184 4089446400 134512640 136422188 4291562720 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 37019 36184 237 467 0 36550 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 148076

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13309
/proc/meminfo: memFree=30472112/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=153752 CPUtime=1122.32
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 39269 0 0 0 91278 20954 0 0 25 0 1 0 14593378 157442048 37580 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 38438 37580 237 467 0 37969 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 153752

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13310
/proc/meminfo: memFree=30466492/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=153332 CPUtime=1182.32
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 39269 0 0 0 96507 21725 0 0 25 0 1 0 14593378 157011968 37503 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 38333 37503 237 467 0 37864 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 153332

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/179 13312
/proc/meminfo: memFree=30466196/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=153240 CPUtime=1242.32
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 39663 0 0 0 101121 23111 0 0 25 0 1 0 14593378 156917760 37480 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 38310 37480 237 467 0 37841 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 153240

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 13314
/proc/meminfo: memFree=30466036/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=153240 CPUtime=1302.33
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 39664 0 0 0 105646 24587 0 0 25 0 1 0 14593378 156917760 37481 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 38310 37481 237 467 0 37841 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 153240

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 13316
/proc/meminfo: memFree=30466112/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=153240 CPUtime=1362.33
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 39664 0 0 0 110188 26045 0 0 25 0 1 0 14593378 156917760 37481 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 38310 37481 237 467 0 37841 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 153240

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13317
/proc/meminfo: memFree=30466312/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=153240 CPUtime=1422.34
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 39664 0 0 0 115545 26689 0 0 25 0 1 0 14593378 156917760 37481 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 38310 37481 237 467 0 37841 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 153240

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13318
/proc/meminfo: memFree=30466268/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=153240 CPUtime=1482.33
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 39664 0 0 0 119958 28275 0 0 25 0 1 0 14593378 156917760 37481 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 38310 37481 237 467 0 37841 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 153240

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13320
/proc/meminfo: memFree=30464500/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=153240 CPUtime=1542.34
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 39664 0 0 0 124655 29579 0 0 25 0 1 0 14593378 156917760 37481 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 38310 37481 237 467 0 37841 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 153240

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13322
/proc/meminfo: memFree=30464564/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=153240 CPUtime=1602.34
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 39665 0 0 0 129253 30981 0 0 25 0 1 0 14593378 156917760 37482 4089446400 134512640 136422188 4291562720 18446744073709551615 134862616 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 38310 37482 237 467 0 37841 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 153240

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13324
/proc/meminfo: memFree=30436980/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=180828 CPUtime=1662.33
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 46561 0 0 0 134409 31824 0 0 25 0 1 0 14593378 185167872 44378 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 45207 44378 237 467 0 44738 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 180828

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13327
/proc/meminfo: memFree=30434564/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=180828 CPUtime=1722.34
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 46561 0 0 0 139171 33063 0 0 25 0 1 0 14593378 185167872 44378 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 45207 44378 237 467 0 44738 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 180828

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13329
/proc/meminfo: memFree=30434448/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=180828 CPUtime=1782.34
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 46561 0 0 0 143789 34445 0 0 25 0 1 0 14593378 185167872 44378 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 45207 44378 237 467 0 44738 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 180828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.07 2.02 1.95 3/179 13330
/proc/meminfo: memFree=30434424/32951124 swapFree=67111528/67111528
[pid=13241] ppid=13239 vsize=180828 CPUtime=1800.05
/proc/13241/stat : 13241 (pbct) R 13239 13241 12718 0 -1 4202496 46561 0 0 0 145236 34769 0 0 25 0 1 0 14593378 185167872 44378 4089446400 134512640 136422188 4291562720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13241/statm: 45207 44378 237 467 0 44738 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 180828

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.06
CPU user time (s): 1452.37
CPU system time (s): 347.698
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 180828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1452.37
system time used= 347.698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46562
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 5262

runsolver used 2.76558 second user time and 6.01609 second system time

The end

Begin job on node146 at 2010-07-07 02:50:04
IDJOB=2699261
IDBENCH=79164
IDSOLVER=1212
FILE ID=node146/2699261-1278463804
PBS_JOBID= 11233701
Free space on /tmp= 73832 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699261-1278463804/watcher-2699261-1278463804 -o /tmp/evaluation-result-2699261-1278463804/solver-2699261-1278463804 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699261-1278463804.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= b6d6940e1e32d980df9f418447a42cea
RANDOM SEED=1420194684

node146.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.870
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.870
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.870
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.870
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.870
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.870
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.870
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.870
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30554384 kB
Buffers:        112940 kB
Cached:        1957428 kB
SwapCached:          0 kB
Active:        1212592 kB
Inactive:      1051192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30554384 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1996 kB
Writeback:           0 kB
AnonPages:      193492 kB
Mapped:          15452 kB
Slab:            70520 kB
PageTables:       4668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   338036 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73832 MiB
End job on node146 at 2010-07-07 03:20:06