Trace number 4482735

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Exact 2025-06-02OPT2899749 838.009 839.875

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_1.opb
MD5SUMd01f39fb61de71c60f300d6712f658b6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2899749
Best CPU time to get the best result obtained on this benchmark124.337
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 143877824
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 43040121046
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 143877824
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 43040121046
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

359.64/360.49	o 216670643
359.64/360.49	o 216651657
359.75/360.50	o 216605111
359.75/360.50	o 48267629
359.75/360.55	o 27187861
359.75/360.55	o 27148325
359.75/360.57	o 25262115
359.75/360.57	o 25186749
359.85/360.60	o 25132941
359.85/360.68	o 25027545
359.85/360.68	o 24973803
359.85/360.69	o 24896853
359.85/360.69	o 24880665
359.95/360.71	o 24816425
359.95/360.72	o 24757113
359.95/360.74	o 24740191
360.05/360.87	o 20169489
360.05/360.88	o 20064771
360.05/360.89	o 19985589
360.35/361.14	o 19966171
360.44/361.22	o 17939959
360.74/361.55	o 17937699
360.74/361.56	o 17932461
360.74/361.57	o 17931019
360.74/361.58	o 17923491
360.74/361.59	o 17887501
360.84/361.60	o 17884231
360.84/361.62	o 10980003
360.84/361.62	o 10955297
364.04/364.85	o 8878007
364.04/364.86	o 8839399
364.14/364.99	o 8830205
364.24/365.02	o 8825917
364.34/365.14	o 8812127
364.54/365.39	o 8810385
364.64/365.42	o 8809151
364.74/365.52	o 8806871
364.74/365.54	o 8806139
364.74/365.55	o 8801851
364.74/365.57	o 8795185
365.34/366.12	o 8794549
365.34/366.19	o 8772665
365.43/366.25	o 8765161
365.63/366.41	o 8762427
365.63/366.43	o 8755761
365.63/366.45	o 8748945
365.63/366.47	o 8742279
365.73/366.50	o 8727405
366.03/366.85	o 8719855
366.82/367.69	o 8717303
367.12/367.90	o 8712799
367.34/368.19	o 8711415
367.43/368.23	o 8692335
367.43/368.25	o 8667217
372.01/372.83	o 8662365
386.58/387.44	o 8660695
387.88/388.76	o 8658307
388.08/388.97	o 8655025
389.18/390.09	o 8651505
389.28/390.19	o 8650155
389.37/390.28	o 8648223
390.67/391.55	o 8644545
390.77/391.64	o 8641491
390.87/391.73	o 8635161
390.97/391.89	o 8632107
392.96/393.80	o 8630365
393.27/394.10	o 8626295
393.86/394.70	o 8623879
393.96/394.83	o 8618671
394.06/394.96	o 8603749
395.06/395.91	o 8603383
395.46/396.35	o 8597407
402.64/403.59	o 8575947
403.54/404.46	o 8571313
403.64/404.55	o 8569369
403.74/404.62	o 8558851
404.33/405.26	o 8550001
404.63/405.50	o 8545045
404.63/405.58	o 8519657
405.13/406.01	o 8500649
405.13/406.09	o 8498705
405.23/406.18	o 8468683
405.93/406.89	o 8451513
406.44/407.40	o 8450821
408.32/409.28	o 8447873
442.83/443.89	o 8387645
442.93/443.91	o 5623455
442.93/444.00	o 5606193
443.03/444.01	o 5599249
443.03/444.03	o 5585883
443.03/444.07	o 5583443
443.03/444.08	o 5582777
443.03/444.10	o 5547671
443.13/444.11	o 5540137
443.13/444.13	o 5539471
443.13/444.14	o 5526057
443.13/444.16	o 5501033
443.33/444.31	o 5481641
443.33/444.33	o 5473481
443.33/444.34	o 5472815
443.33/444.38	o 5457265
443.43/444.40	o 5438569
443.43/444.41	o 5413545
443.53/444.52	o 5408991
443.53/444.54	o 5400791
443.63/444.61	o 5398737
443.63/444.62	o 5398707
443.63/444.66	o 5385175
443.73/444.74	o 5379921
443.73/444.75	o 5373311
444.23/445.23	o 5369145
444.23/445.25	o 5367895
444.23/445.28	o 5367599
444.33/445.32	o 5367569
444.33/445.37	o 5367465
444.33/445.39	o 5366881
444.43/445.43	o 5363607
444.43/445.46	o 5362145
445.42/446.43	o 5356045
446.52/447.58	o 5354571
446.62/447.63	o 5352585
446.62/447.65	o 5350659
446.82/447.85	o 5349603
447.02/448.03	o 5348831
447.22/448.20	o 5348827
447.32/448.35	o 5345333
447.62/448.63	o 5337343
448.02/449.02	o 5327879
448.42/449.41	o 5323853
448.52/449.51	o 5320595
448.82/449.88	o 5315653
449.02/450.06	o 5307455
449.12/450.16	o 5304197
449.71/450.72	o 5289577
449.81/450.80	o 5281417
450.02/451.10	o 5276823
450.21/451.28	o 5267415
450.41/451.46	o 5265647
450.51/451.50	o 5257449
450.51/451.58	o 5254409
450.61/451.64	o 5250121
450.71/451.71	o 5245001
451.11/452.12	o 5242231
451.11/452.19	o 5221351
451.21/452.23	o 5207711
451.80/452.85	o 5199629
451.90/452.99	o 5195341
452.01/453.05	o 5194247
452.11/453.10	o 5190221
452.60/453.68	o 5186639
452.70/453.77	o 5182351
452.80/453.82	o 5177231
453.70/454.76	o 5174801
454.11/455.13	o 5168823
454.11/455.18	o 5163417
454.90/455.90	o 5162823
454.90/455.95	o 5159337
455.10/456.11	o 5158535
455.10/456.15	o 5155049
455.30/456.32	o 5153993
456.10/457.16	o 5150593
456.20/457.23	o 5150257
456.39/457.41	o 5149537
456.39/457.47	o 5149201
457.29/458.35	o 5148557
457.39/458.41	o 5148221
457.59/458.64	o 5143233
457.69/458.70	o 5141599
457.69/458.75	o 5138113
458.49/459.57	o 5133015
523.53/524.76	o 3945771
523.63/524.85	o 3941037
523.73/524.98	o 3933603
523.83/525.01	o 3920853
523.83/525.02	o 3911501
523.83/525.04	o 3878853
523.83/525.05	o 3871419
523.83/525.07	o 3856685
523.83/525.07	o 3849251
523.83/525.08	o 3846211
523.83/525.10	o 3843651
523.93/525.15	o 3841459
523.93/525.17	o 3819731
523.93/525.19	o 3812363
524.03/525.23	o 3810681
524.23/525.46	o 3807023
524.23/525.47	o 3804663
524.23/525.48	o 3804463
524.33/525.54	o 3797697
524.33/525.59	o 3784921
525.03/526.20	o 3772169
525.13/526.36	o 3763675
525.33/526.51	o 3763217
525.33/526.58	o 3760943
525.43/526.62	o 3757473
525.43/526.66	o 3754293
525.63/526.85	o 3745705
526.12/527.30	o 3744791
526.12/527.37	o 3737165
526.32/527.51	o 3736447
532.11/533.31	o 3734479
532.11/533.36	o 3728857
532.31/533.52	o 3728791
532.41/533.60	o 3724833
532.41/533.68	o 3718183
532.51/533.75	o 3700175
532.51/533.79	o 3697921
533.61/534.82	o 3689307
533.61/534.87	o 3686547
533.71/534.91	o 3685065
533.91/535.17	o 3677195
534.11/535.35	o 3675399
534.11/535.39	o 3673917
534.21/535.45	o 3666047
534.41/535.68	o 3664069
534.71/535.91	o 3663641
534.71/535.96	o 3662159
534.81/536.10	o 3655241
537.70/538.93	o 3653965
537.70/539.00	o 3651701
538.10/539.34	o 3650493
538.40/539.61	o 3648239
538.40/539.67	o 3646789
538.60/539.80	o 3646349
539.00/540.21	o 3642013
539.99/541.25	o 3641885
540.39/541.61	o 3640097
540.49/541.71	o 3635403
540.49/541.78	o 3633185
540.59/541.85	o 3632987
540.59/541.89	o 3632745
540.80/542.02	o 3632547
540.90/542.14	o 3629889
540.99/542.21	o 3629691
540.99/542.26	o 3629449
541.49/542.76	o 3629259
541.79/543.04	o 3628011
541.89/543.11	o 3627813
541.99/543.24	o 3625595
542.09/543.39	o 3625397
542.19/543.47	o 3625155
542.29/543.55	o 3624957
542.39/543.61	o 3624715
542.39/543.66	o 3622299
543.29/544.52	o 3617167
544.08/545.37	o 3615617
544.18/545.46	o 3615177
544.28/545.55	o 3612761
544.58/545.86	o 3612321
563.14/564.40	o 3592171
563.14/564.41	o 3589537
563.14/564.42	o 3589389
563.14/564.43	o 3575365
563.14/564.43	o 3573815
563.14/564.44	o 3571255
563.44/564.78	o 3562839
563.44/564.79	o 3562335
563.54/564.80	o 3561289
563.54/564.81	o 3560849
563.54/564.88	o 3558891
563.54/564.89	o 3557441
563.54/564.89	o 3553835
563.64/564.95	o 3552999
563.64/564.96	o 3540749
563.64/564.97	o 3539299
563.64/564.98	o 3535693
563.74/565.02	o 3531589
563.84/565.10	o 3530341
563.84/565.13	o 3528571
563.84/565.15	o 3528381
563.94/565.23	o 3522853
563.94/565.24	o 3520733
563.94/565.26	o 3520033
563.94/565.27	o 3517913
563.94/565.28	o 3514825
564.04/565.31	o 3510137
564.04/565.33	o 3508817
564.93/566.20	o 3506529
565.03/566.36	o 3505521
565.13/566.43	o 3503499
565.23/566.50	o 3498577
565.43/566.70	o 3498143
565.43/566.72	o 3493831
565.43/566.74	o 3493391
565.43/566.76	o 3491271
565.43/566.79	o 3490975
565.63/566.95	o 3486431
567.83/569.19	o 3482085
567.93/569.28	o 3478395
568.03/569.32	o 3478197
568.03/569.35	o 3477955
568.03/569.38	o 3475539
568.33/569.66	o 3472845
568.43/569.70	o 3472603
568.62/569.96	o 3470995
568.73/570.02	o 3468499
568.73/570.05	o 3468059
568.83/570.16	o 3465643
569.12/570.43	o 3458531
569.42/570.76	o 3458019
569.52/570.80	o 3457283
569.52/570.88	o 3451219
569.62/570.92	o 3442067
569.62/570.96	o 3441627
569.62/570.99	o 3439507
569.83/571.14	o 3438771
570.52/571.83	o 3434475
571.22/572.51	o 3434371
572.12/573.47	o 3433741
573.72/575.08	o 3433721
574.21/575.56	o 3429427
574.61/575.98	o 3428499
574.91/576.25	o 3424395
638.58/640.02	o 3422601
638.58/640.07	o 3415627
638.68/640.13	o 3412303
638.68/640.15	o 3396415
638.77/640.28	o 3391417
638.87/640.30	o 3388537
638.87/640.35	o 3387029
638.87/640.37	o 3386939
638.87/640.38	o 3381947
638.97/640.42	o 3365539
638.97/640.44	o 3355075
638.97/640.46	o 3352105
639.07/640.52	o 3338285
639.07/640.54	o 3332903
639.07/640.57	o 3329933
639.07/640.59	o 3328235
639.17/640.63	o 3315131
639.17/640.69	o 3308473
639.27/640.71	o 3306985
639.27/640.73	o 3306361
639.27/640.74	o 3296521
639.27/640.76	o 3293551
639.27/640.79	o 3283453
639.37/640.81	o 3273223
639.37/640.83	o 3271735
639.37/640.86	o 3263839
639.37/640.89	o 3259433
639.47/640.96	o 3249593
639.47/640.98	o 3248515
639.57/641.01	o 3248393
639.57/641.03	o 3246905
639.57/641.04	o 3234093
639.57/641.06	o 3218541
639.67/641.11	o 3215693
639.67/641.15	o 3198687
639.67/641.17	o 3188847
639.87/641.34	o 3188301
640.07/641.51	o 3188197
640.07/641.53	o 3179967
640.17/641.63	o 3175075
640.17/641.65	o 3172227
640.27/641.71	o 3165785
640.27/641.73	o 3157555
640.27/641.78	o 3148399
640.37/641.81	o 3145381
640.37/641.84	o 3145053
640.37/641.86	o 3140595
640.37/641.88	o 3140425
640.47/641.90	o 3132195
640.47/641.94	o 3130009
640.47/641.96	o 3124627
640.47/641.99	o 3120541
640.57/642.01	o 3120371
640.57/642.03	o 3117523
640.67/642.17	o 3116613
640.67/642.19	o 3115173
640.77/642.22	o 3115003
640.77/642.24	o 3112155
640.77/642.27	o 3100641
640.87/642.33	o 3095441
640.87/642.35	o 3093403
640.87/642.38	o 3089233
640.97/642.41	o 3084977
640.97/642.43	o 3082939
640.97/642.46	o 3082129
641.17/642.64	o 3078199
641.37/642.89	o 3076665
641.47/642.91	o 3076495
641.47/642.94	o 3074457
641.47/642.97	o 3073647
641.57/643.00	o 3071949
642.26/643.72	o 3069897
642.26/643.79	o 3068199
642.46/643.94	o 3068029
642.46/643.97	o 3067389
642.57/644.00	o 3067219
642.57/644.03	o 3065181
642.57/644.07	o 3065001
642.67/644.12	o 3063553
642.67/644.15	o 3055409
642.67/644.18	o 3051479
642.76/644.22	o 3048631
642.96/644.45	o 3046579
643.06/644.50	o 3044881
643.46/644.99	o 3035899
684.07/685.63	o 3022765
684.77/686.35	o 3007793
685.07/686.65	o 3002231
685.07/686.68	o 3001079
685.17/686.71	o 2980209
685.17/686.78	o 2978351
685.27/686.80	o 2977199
685.27/686.86	o 2975281
685.37/686.91	o 2969345
744.04/745.71	o 2969099
744.04/745.73	o 2968101
744.04/745.75	o 2963653
753.42/755.17	o 2961071
753.51/755.26	o 2956623
753.61/755.35	o 2956611
753.71/755.49	o 2955309
753.81/755.54	o 2950521
753.81/755.58	o 2950323
753.91/755.67	o 2947929
754.01/755.71	o 2947731
754.01/755.76	o 2942943
754.42/756.17	o 2938261
754.51/756.21	o 2938063
754.51/756.26	o 2936479
754.61/756.31	o 2931691
754.71/756.43	o 2929653
754.71/756.47	o 2929455
754.81/756.52	o 2929371
754.81/756.58	o 2922997
754.91/756.66	o 2918293
755.21/756.95	o 2914085
755.60/757.30	o 2911619
755.70/757.42	o 2909351
755.70/757.46	o 2909267
755.80/757.51	o 2904563
758.70/760.41	o 2902373
768.18/769.97	o 2902277
786.64/788.49	o 2900901
786.74/788.57	o 2899749
837.93/839.86	s OPTIMUM FOUND
837.93/839.86	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

Verifier Data 

OK	2899749

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62277 MiB free)
  memory of node 1: 64465 MiB (63947 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482735-1751442818/watcher-4482735-1751442818 -o /tmp/evaluation-result-4482735-1751442818/solver-4482735-1751442818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751434903-60818 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1405167311 --ls=360 HOME/instance-4482735-1751442818.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=61514, runsolver pid=61511

[startup+0.10006 s]*
/proc/loadavg: 1.10 1.09 1.09 2/245 61515
/proc/meminfo: memFree=129246424/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=44224 memory=22012 CPUtime=0.09 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 4620 0 0 0 9 0 0 0 20 0 1 0 59960254 45285376 5503 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 11056 5503 1056 1200 0 9536 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44224 KiB
Current children cumulated memory: 22012 KiB

[startup+0.20519 s]*
/proc/loadavg: 1.10 1.09 1.09 2/245 61515
/proc/meminfo: memFree=129246424/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=44224 memory=22012 CPUtime=0.2 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 4620 0 0 0 20 0 0 0 20 0 1 0 59960254 45285376 5503 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 11056 5503 1056 1200 0 9536 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44224 KiB
Current children cumulated memory: 22012 KiB

[startup+0.304247 s]*
/proc/loadavg: 1.10 1.09 1.09 2/245 61515
/proc/meminfo: memFree=129246492/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=44224 memory=22012 CPUtime=0.29 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 4620 0 0 0 29 0 0 0 20 0 1 0 59960254 45285376 5503 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 11056 5503 1056 1200 0 9536 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44224 KiB
Current children cumulated memory: 22012 KiB

[startup+0.700095 s]
/proc/loadavg: 1.10 1.09 1.09 2/245 61515
/proc/meminfo: memFree=129246492/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=44224 memory=22012 CPUtime=0.69 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 4620 0 0 0 69 0 0 0 20 0 1 0 59960254 45285376 5503 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 11056 5503 1056 1200 0 9536 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44224 KiB
Current children cumulated memory: 22012 KiB

[startup+1.50009 s]
/proc/loadavg: 1.10 1.09 1.09 2/245 61515
/proc/meminfo: memFree=129246492/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=44224 memory=22012 CPUtime=1.48 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 4620 0 0 0 148 0 0 0 20 0 1 0 59960254 45285376 5503 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 11056 5503 1056 1200 0 9536 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44224 KiB
Current children cumulated memory: 22012 KiB

[startup+3.10403 s]
/proc/loadavg: 1.09 1.09 1.09 2/245 61515
/proc/meminfo: memFree=129246492/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=44224 memory=22012 CPUtime=3.08 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 4620 0 0 0 308 0 0 0 20 0 1 0 59960254 45285376 5503 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 11056 5503 1056 1200 0 9536 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44224 KiB
Current children cumulated memory: 22012 KiB

[startup+6.30009 s]
/proc/loadavg: 1.09 1.09 1.09 2/245 61515
/proc/meminfo: memFree=129246492/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=44224 memory=22012 CPUtime=6.27 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 4620 0 0 0 627 0 0 0 20 0 1 0 59960254 45285376 5503 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 11056 5503 1056 1200 0 9536 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44224 KiB
Current children cumulated memory: 22012 KiB

[startup+12.7001 s]
/proc/loadavg: 1.08 1.09 1.09 2/245 61516
/proc/meminfo: memFree=129238300/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=44224 memory=22012 CPUtime=12.65 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 4624 0 0 0 1265 0 0 0 20 0 1 0 59960254 45285376 5503 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 11056 5503 1056 1200 0 9536 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 44224 KiB
Current children cumulated memory: 22012 KiB

[startup+25.5001 s]
/proc/loadavg: 1.15 1.10 1.09 2/245 61516
/proc/meminfo: memFree=129238300/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=44224 memory=22012 CPUtime=25.43 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 4632 0 0 0 2543 0 0 0 20 0 1 0 59960254 45285376 5503 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 11056 5503 1056 1200 0 9536 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 44224 KiB
Current children cumulated memory: 22012 KiB

[startup+51.104 s]
/proc/loadavg: 1.10 1.09 1.09 2/245 61516
/proc/meminfo: memFree=129238300/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=44224 memory=22012 CPUtime=50.98 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 4636 0 0 0 5098 0 0 0 20 0 1 0 59960254 45285376 5503 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 11056 5503 1056 1200 0 9536 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 44224 KiB
Current children cumulated memory: 22012 KiB

[startup+102.3 s]
/proc/loadavg: 1.04 1.07 1.08 2/246 61519
/proc/meminfo: memFree=129246688/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=44224 memory=22012 CPUtime=102.07 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 4644 0 0 0 10207 0 0 0 20 0 1 0 59960254 45285376 5503 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 11056 5503 1056 1200 0 9536 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 44224 KiB
Current children cumulated memory: 22012 KiB

[startup+162.3 s]
/proc/loadavg: 1.11 1.09 1.09 2/246 61521
/proc/meminfo: memFree=129246268/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=44224 memory=22012 CPUtime=161.95 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 4648 0 0 0 16195 0 0 0 20 0 1 0 59960254 45285376 5503 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 11056 5503 1056 1200 0 9536 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 44224 KiB
Current children cumulated memory: 22012 KiB

[startup+222.3 s]
/proc/loadavg: 1.09 1.09 1.09 2/246 61523
/proc/meminfo: memFree=129246680/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=44224 memory=22012 CPUtime=221.82 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 4656 0 0 0 22182 0 0 0 20 0 1 0 59960254 45285376 5503 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 11056 5503 1056 1200 0 9536 0
Current children cumulated CPU time: 221.82 s
Current children cumulated vsize: 44224 KiB
Current children cumulated memory: 22012 KiB

[startup+282.3 s]
/proc/loadavg: 1.07 1.08 1.09 2/246 61525
/proc/meminfo: memFree=129247040/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=44224 memory=22012 CPUtime=281.7 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 4656 0 0 0 28170 0 0 0 20 0 1 0 59960254 45285376 5503 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 11056 5503 1056 1200 0 9536 0
Current children cumulated CPU time: 281.7 s
Current children cumulated vsize: 44224 KiB
Current children cumulated memory: 22012 KiB

[startup+342.3 s]
/proc/loadavg: 1.08 1.08 1.09 2/246 61527
/proc/meminfo: memFree=129248584/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=44224 memory=22012 CPUtime=341.58 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 4660 0 0 0 34158 0 0 0 20 0 1 0 59960254 45285376 5503 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 11056 5503 1056 1200 0 9536 0
Current children cumulated CPU time: 341.58 s
Current children cumulated vsize: 44224 KiB
Current children cumulated memory: 22012 KiB

[startup+402.3 s]
/proc/loadavg: 1.07 1.08 1.09 2/244 61531
/proc/meminfo: memFree=129038932/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=262136 memory=230464 CPUtime=401.44 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 38901 0 0 0 40128 16 0 0 20 0 1 0 59960254 268427264 57616 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 65534 57616 1280 1200 0 64014 0
Current children cumulated CPU time: 401.44 s
Current children cumulated vsize: 262136 KiB
Current children cumulated memory: 230464 KiB

[startup+462.3 s]
/proc/loadavg: 1.13 1.09 1.09 2/244 61544
/proc/meminfo: memFree=128940480/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=400636 memory=317720 CPUtime=461.28 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 53014 0 0 0 46096 32 0 0 20 0 1 0 59960254 410251264 79430 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 100159 79430 1280 1200 0 98639 0
Current children cumulated CPU time: 461.28 s
Current children cumulated vsize: 400636 KiB
Current children cumulated memory: 317720 KiB

[startup+522.3 s]
/proc/loadavg: 1.05 1.08 1.09 2/246 61552
/proc/meminfo: memFree=128901700/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=426980 memory=344600 CPUtime=521.13 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 58134 0 0 0 52070 43 0 0 20 0 1 0 59960254 437227520 86150 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 106745 86150 1280 1200 0 105225 0
Current children cumulated CPU time: 521.13 s
Current children cumulated vsize: 426980 KiB
Current children cumulated memory: 344600 KiB

[startup+582.3 s]
/proc/loadavg: 1.13 1.09 1.09 2/246 61554
/proc/meminfo: memFree=128864768/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=436884 memory=381464 CPUtime=581 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 59910 0 0 0 58049 51 0 0 20 0 1 0 59960254 447369216 95366 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 109221 95366 1280 1200 0 107701 0
Current children cumulated CPU time: 581 s
Current children cumulated vsize: 436884 KiB
Current children cumulated memory: 381464 KiB

[startup+642.3 s]
/proc/loadavg: 1.11 1.09 1.09 2/248 61559
/proc/meminfo: memFree=128841636/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=438688 memory=382872 CPUtime=640.87 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 60277 0 0 0 64026 61 0 0 20 0 1 0 59960254 449216512 95718 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 109672 95718 1280 1200 0 108152 0
Current children cumulated CPU time: 640.87 s
Current children cumulated vsize: 438688 KiB
Current children cumulated memory: 382872 KiB

[startup+702.3 s]
/proc/loadavg: 1.09 1.09 1.09 2/248 61561
/proc/meminfo: memFree=128843024/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=438688 memory=383000 CPUtime=700.74 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 60292 0 0 0 70002 72 0 0 20 0 1 0 59960254 449216512 95750 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 109672 95750 1280 1200 0 108152 0
Current children cumulated CPU time: 700.74 s
Current children cumulated vsize: 438688 KiB
Current children cumulated memory: 383000 KiB

[startup+762.3 s]
/proc/loadavg: 1.10 1.08 1.09 2/248 61563
/proc/meminfo: memFree=128858588/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=452596 memory=393496 CPUtime=760.6 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 63064 0 0 0 75977 83 0 0 20 0 1 0 59960254 463458304 98374 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 113149 98374 1280 1200 0 111629 0
Current children cumulated CPU time: 760.6 s
Current children cumulated vsize: 452596 KiB
Current children cumulated memory: 393496 KiB

[startup+822.3 s]
/proc/loadavg: 1.09 1.08 1.09 2/246 61565
/proc/meminfo: memFree=128850884/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=454340 memory=395672 CPUtime=820.46 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 63610 0 0 0 81955 91 0 0 20 0 1 0 59960254 465244160 98918 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 113585 98918 1280 1200 0 112065 0
Current children cumulated CPU time: 820.46 s
Current children cumulated vsize: 454340 KiB
Current children cumulated memory: 395672 KiB

[startup+839.875 s]
# the end of solver process 61514 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=837.034 s, system=0.974867 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+832 s]*
/proc/loadavg: 1.07 1.08 1.09 2/246 61565
/proc/meminfo: memFree=128850884/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=456068 memory=396824 CPUtime=830.14 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 63922 0 0 0 82922 92 0 0 20 0 1 0 59960254 467013632 99206 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 114017 99206 1280 1200 0 112497 0
Current children cumulated CPU time: 830.14 s
Current children cumulated vsize: 456068 KiB
Current children cumulated memory: 396824 KiB

[startup+835.2 s]
/proc/loadavg: 1.07 1.08 1.09 2/246 61565
/proc/meminfo: memFree=128850884/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=457832 memory=397976 CPUtime=833.33 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 64200 0 0 0 83240 93 0 0 20 0 1 0 59960254 468819968 99494 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 114458 99494 1280 1200 0 112938 0
Current children cumulated CPU time: 833.33 s
Current children cumulated vsize: 457832 KiB
Current children cumulated memory: 397976 KiB

[startup+838.4 s]
/proc/loadavg: 1.14 1.09 1.09 2/246 61565
/proc/meminfo: memFree=128850884/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=457992 memory=398232 CPUtime=836.53 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 64275 0 0 0 83556 97 0 0 20 0 1 0 59960254 468983808 99558 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 114498 99558 1280 1200 0 112978 0
Current children cumulated CPU time: 836.53 s
Current children cumulated vsize: 457992 KiB
Current children cumulated memory: 398232 KiB

[startup+839.2 s]
/proc/loadavg: 1.14 1.09 1.09 2/246 61565
/proc/meminfo: memFree=128850884/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=457992 memory=398232 CPUtime=837.33 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 64275 0 0 0 83636 97 0 0 20 0 1 0 59960254 468983808 99558 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 114498 99558 1280 1200 0 112978 0
Current children cumulated CPU time: 837.33 s
Current children cumulated vsize: 457992 KiB
Current children cumulated memory: 398232 KiB

[startup+839.6 s]
/proc/loadavg: 1.14 1.09 1.09 2/246 61565
/proc/meminfo: memFree=128850884/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=457992 memory=398232 CPUtime=837.73 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 64275 0 0 0 83676 97 0 0 20 0 1 0 59960254 468983808 99558 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 114498 99558 1280 1200 0 112978 0
Current children cumulated CPU time: 837.73 s
Current children cumulated vsize: 457992 KiB
Current children cumulated memory: 398232 KiB

[startup+839.8 s]
/proc/loadavg: 1.14 1.09 1.09 2/246 61565
/proc/meminfo: memFree=128850884/131249996 swapFree=33010160/33010684
[pid=61514] ppid=61511 vsize=458420 memory=398488 CPUtime=837.93 cores=0,2
/proc/61514/stat : 61514 (Exact) R 61511 61514 60782 0 -1 4194304 64370 0 0 0 83696 97 0 0 20 0 1 0 59960254 469422080 99622 18446744073709551615 4198400 9112445 140721281008896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42811392 140721281014074 140721281014253 140721281014253 140721281019855 0
/proc/61514/statm: 114605 99622 1280 1200 0 113085 0
Current children cumulated CPU time: 837.93 s
Current children cumulated vsize: 458420 KiB
Current children cumulated memory: 398488 KiB

Child status: 30

Real time (s): 839.875
CPU time (s): 838.009
CPU user time (s): 837.034
CPU system time (s): 0.974867
CPU usage (%): 99.7778
Max. virtual memory (cumulated for all children) (KiB): 461376
Max. memory (cumulated for all children) (KiB): 398488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 837.034
system time used= 0.974867
maximum resident set size= 398488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64383
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= 57
involuntary context switches= 1874


# summary of solver processes directly reported to runsolver:
#   pid: 61514
#   total CPU time (s): 838.009
#   total CPU user time (s): 837.034
#   total CPU system time (s): 0.974867

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42341 second user time and 2.88008 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-02 09:53:38
IDJOB=4482735
IDBENCH=155610
IDSOLVER=3317
FILE ID=nodeC029/4482735-1751442818
RUNJOBID= nodeC029-1751434903-60818
SLURM_JOB_ID= 9598387
Free space on /tmp= 432464 MiB

SOLVER NAME= Exact 2025-06-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4482735-1751442818/watcher-4482735-1751442818 -o /tmp/evaluation-result-4482735-1751442818/solver-4482735-1751442818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751434903-60818 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1405167311 --ls=360 HOME/instance-4482735-1751442818.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= d01f39fb61de71c60f300d6712f658b6
RANDOM SEED=1405167311

nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.229
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1200.036
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.726
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1652.106
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3616.773
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1199.942
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3597.804
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1199.907
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129254236 kB
MemAvailable:   129698112 kB
Buffers:            2128 kB
Cached:          1244440 kB
SwapCached:           40 kB
Active:           503848 kB
Inactive:         805436 kB
Active(anon):      75968 kB
Inactive(anon):     4768 kB
Active(file):     427880 kB
Inactive(file):   800668 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7452 kB
Writeback:            44 kB
AnonPages:         65760 kB
Mapped:           103384 kB
Shmem:             18020 kB
KReclaimable:     109132 kB
Slab:             197664 kB
SReclaimable:     109132 kB
SUnreclaim:        88532 kB
KernelStack:        3952 kB
PageTables:         2648 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     327104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150296 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432456 MiB
End job on nodeC029 at 2025-07-02 10:07:38