Trace number 4503763

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_no_dombreaking 2025-06-16OPT3367493 1156.79 1160.01

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_2.opb
MD5SUM768a18ffa3b1a9fc42159a5899fb070e
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 benchmark3367493
Best CPU time to get the best result obtained on this benchmark88.7011
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 147197952
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 48050028218
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 147197952
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 48050028218
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.34/360.48	o 90581717
359.74/360.81	o 24756263
359.74/360.86	o 10243051
360.63/361.71	o 10242349
398.23/399.42	o 9975265
407.00/408.26	o 8918003
474.92/476.39	o 8916511
475.02/476.45	o 8914679
475.52/476.93	o 8913625
475.52/476.98	o 8906057
476.22/477.63	o 8900815
477.03/478.49	o 8899219
477.13/478.55	o 8890787
477.23/478.63	o 8884041
480.32/481.75	o 8883201
480.42/481.82	o 8879791
480.81/482.21	o 8878799
480.81/482.28	o 8877623
485.40/486.86	o 8875457
485.70/487.13	o 8866671
485.80/487.26	o 8866065
486.00/487.40	o 8865119
486.60/488.04	o 8860727
486.70/488.13	o 8848911
486.80/488.22	o 8847735
486.90/488.30	o 8840989
487.60/489.01	o 8834701
487.70/489.14	o 8833149
488.49/489.92	o 8832399
488.60/490.01	o 8826791
488.79/490.29	o 8825469
488.89/490.39	o 8819085
488.99/490.46	o 8818575
489.09/490.56	o 8817629
489.39/490.87	o 8810653
490.29/491.79	o 8800161
490.49/491.93	o 8768679
507.34/508.81	o 8249971
507.44/508.99	o 7728225
507.54/509.02	o 7451267
509.83/511.32	o 7364719
511.33/512.81	o 7361643
564.78/566.41	o 6769171
579.45/581.17	o 6170557
579.45/581.19	o 6132859
579.55/581.21	o 6120763
579.55/581.22	o 6116389
579.55/581.24	o 6114283
579.55/581.25	o 6108187
579.55/581.27	o 6103813
579.55/581.28	o 6081349
579.65/581.32	o 6081025
579.65/581.34	o 6074877
579.65/581.35	o 6071581
579.65/581.37	o 6067207
579.65/581.38	o 6030997
579.75/581.40	o 6007633
579.75/581.47	o 5992663
580.04/581.77	o 5990863
580.14/581.86	o 5986489
580.24/581.96	o 5984383
580.24/581.98	o 5967295
580.35/582.00	o 5955199
580.35/582.02	o 5950825
580.35/582.04	o 5940229
580.54/582.27	o 5938577
580.54/582.29	o 5936929
580.64/582.31	o 5926333
580.74/582.45	o 5924983
584.83/586.51	o 5607337
584.83/586.53	o 5145673
584.83/586.56	o 5122825
584.83/586.58	o 5117265
584.93/586.60	o 5062281
584.93/586.64	o 5047433
585.03/586.70	o 4962009
585.03/586.73	o 4901465
585.33/587.05	o 4892419
585.33/587.08	o 4881305
585.43/587.11	o 4869485
585.43/587.13	o 4855835
585.43/587.15	o 4850275
585.43/587.17	o 4837435
585.53/587.20	o 4809771
585.53/587.22	o 4785451
585.53/587.28	o 4774203
585.63/587.30	o 4744323
585.63/587.35	o 4737485
585.63/587.38	o 4723835
585.73/587.40	o 4718275
585.73/587.46	o 4717469
585.83/587.51	o 4713699
585.83/587.54	o 4708945
586.43/588.10	o 4707689
586.43/588.13	o 4702129
586.43/588.16	o 4701323
586.73/588.43	o 4700841
586.73/588.47	o 4698673
586.83/588.51	o 4692417
586.93/588.64	o 4681623
586.93/588.69	o 4664401
587.03/588.72	o 4658841
587.03/588.75	o 4655385
587.22/588.97	o 4649511
587.22/589.00	o 4646055
587.33/589.08	o 4636107
587.43/589.12	o 4635793
587.43/589.15	o 4632337
587.43/589.18	o 4626777
588.33/590.08	o 4613661
588.43/590.15	o 4598265
588.72/590.41	o 4588935
588.92/590.61	o 4585847
588.92/590.65	o 4576517
590.12/591.86	o 4528453
594.70/596.43	o 4527327
607.97/609.77	o 4518939
607.97/609.78	o 4504181
608.07/609.83	o 4362141
608.07/609.85	o 4357433
608.07/609.86	o 4343587
608.07/609.87	o 4332661
608.17/609.91	o 4327815
608.17/609.92	o 4324755
608.17/609.93	o 4322079
608.17/609.94	o 4318445
608.17/609.97	o 4311459
608.17/609.98	o 4305425
608.28/610.05	o 4304481
608.28/610.06	o 4298233
608.28/610.08	o 4284937
644.77/646.61	o 4282361
703.91/705.90	o 4280623
704.81/706.80	o 4279975
704.81/706.89	o 4279773
704.91/706.91	o 4277745
704.91/706.94	o 4276783
705.01/707.03	o 4275241
705.61/707.63	o 4271653
729.06/731.14	o 4269735
730.05/732.14	o 4268281
730.15/732.28	o 4265759
730.25/732.37	o 4262727
730.95/733.09	o 4262377
731.15/733.25	o 4261605
731.55/733.63	o 4258647
733.94/736.06	o 4256901
734.14/736.27	o 4255137
736.53/738.63	o 4254779
736.83/738.95	o 4249463
737.03/739.14	o 4246941
739.03/741.11	o 4242083
739.42/741.53	o 4239561
744.11/746.28	o 4230709
744.31/746.42	o 4229619
745.91/748.02	o 4229347
746.01/748.15	o 4224883
746.10/748.29	o 4223793
746.30/748.48	o 4219819
746.70/748.87	o 4217297
747.50/749.63	o 4215209
747.69/749.87	o 4212177
747.90/750.10	o 4211865
748.19/750.32	o 4207579
749.60/751.73	o 4195147
750.39/752.50	o 4193283
750.59/752.70	o 4189565
750.79/752.94	o 4187043
752.18/754.32	o 4186093
752.38/754.59	o 4178139
752.68/754.80	o 4175571
766.84/769.07	o 4175001
767.44/769.63	o 4173429
767.44/769.69	o 4170907
767.64/769.83	o 4170701
768.14/770.35	o 4159027
773.92/776.13	o 4158283
776.71/779.00	o 4156981
776.91/779.18	o 4156509
777.01/779.27	o 4153987
777.21/779.40	o 4147451
781.40/783.60	o 4139451
781.91/784.16	o 4137733
857.47/859.94	o 4135069
857.58/860.05	o 4134455
857.68/860.13	o 4134229
857.68/860.19	o 4130385
857.77/860.25	o 4130063
857.87/860.30	o 4126209
857.87/860.34	o 4117953
857.97/860.48	o 4115625
918.81/921.49	o 4114951
918.91/921.55	o 4113645
918.91/921.59	o 4113031
919.01/921.63	o 4108231
920.70/923.32	o 4104387
921.00/923.66	o 4100217
921.10/923.72	o 4099603
921.70/924.35	o 4099555
921.80/924.40	o 4097155
921.80/924.45	o 4091905
921.89/924.50	o 4091793
921.89/924.56	o 4089749
921.99/924.69	o 4086431
922.19/924.80	o 4084889
922.19/924.85	o 4084275
922.29/924.98	o 4083727
922.69/925.35	o 4082275
922.79/925.42	o 4082049
922.89/925.50	o 4076563
923.29/925.98	o 4076415
923.39/926.03	o 4076189
923.39/926.09	o 4075867
923.69/926.37	o 4073947
923.79/926.45	o 4065161
923.89/926.51	o 4064547
923.89/926.56	o 4062331
923.99/926.61	o 4061717
923.99/926.68	o 4061395
924.78/927.45	o 4060267
924.88/927.51	o 4059945
925.08/927.75	o 4057847
925.18/927.80	o 4057173
925.18/927.85	o 4054695
925.28/927.92	o 4054403
925.28/927.97	o 4054081
925.78/928.47	o 4050919
925.88/928.53	o 4050305
926.28/928.95	o 4050277
926.38/929.08	o 4036221
927.18/929.88	o 4035525
927.38/930.06	o 4033113
927.77/930.43	o 4033015
927.77/930.48	o 4030603
927.97/930.64	o 4029907
928.07/930.79	o 4018873
928.38/931.09	o 4018729
929.07/931.78	o 4017427
929.17/931.89	o 4013941
929.27/931.94	o 4011103
929.37/932.04	o 4010215
929.67/932.31	o 4004389
930.47/933.15	o 3996231
931.56/934.21	o 3996133
931.66/934.36	o 3991305
932.46/935.10	o 3988905
932.56/935.22	o 3988291
932.56/935.28	o 3983431
938.25/940.95	o 3982839
938.35/941.09	o 3956721
941.54/944.27	o 3953879
941.83/944.51	o 3953099
941.93/944.64	o 3951065
959.69/962.47	o 3926855
959.69/962.49	o 3924071
959.79/962.52	o 3881157
959.79/962.54	o 3880371
959.79/962.57	o 3869235
959.89/962.65	o 3868007
959.89/962.67	o 3867191
959.99/962.71	o 3833307
959.99/962.73	o 3829731
959.99/962.76	o 3814113
960.09/962.80	o 3802287
960.09/962.82	o 3799809
960.09/962.86	o 3796093
960.09/962.88	o 3793937
960.19/962.91	o 3779985
960.19/962.94	o 3779421
960.19/962.96	o 3776591
960.19/962.99	o 3776269
960.29/963.01	o 3774113
960.29/963.04	o 3764991
960.29/963.06	o 3761839
960.29/963.08	o 3758079
960.39/963.11	o 3755249
960.39/963.13	o 3754575
960.49/963.22	o 3754109
960.49/963.24	o 3750957
960.49/963.27	o 3750845
960.59/963.30	o 3749495
960.59/963.32	o 3745735
960.59/963.34	o 3745061
960.59/963.39	o 3740543
960.69/963.41	o 3739869
960.69/963.43	o 3737391
960.69/963.46	o 3733631
960.69/963.48	o 3732957
960.79/963.51	o 3730801
960.79/963.57	o 3723855
960.89/963.61	o 3721489
960.89/963.66	o 3721341
960.89/963.69	o 3720555
960.98/963.72	o 3700045
960.98/963.75	o 3696893
961.08/963.84	o 3695719
961.08/963.87	o 3682931
961.08/963.89	o 3672833
961.18/963.93	o 3672721
961.18/963.99	o 3664563
961.29/964.01	o 3663777
961.29/964.04	o 3661411
961.39/964.16	o 3659867
961.39/964.19	o 3659081
961.48/964.22	o 3655159
961.48/964.25	o 3654373
961.58/964.38	o 3649201
961.68/964.41	o 3648415
961.78/964.53	o 3643809
961.99/964.70	o 3635035
961.99/964.73	o 3634713
961.99/964.76	o 3634311
961.99/964.79	o 3634199
962.09/964.81	o 3633525
962.09/964.84	o 3628817
962.09/964.87	o 3626773
962.39/965.11	o 3625371
962.39/965.14	o 3624585
962.39/965.17	o 3623911
962.49/965.20	o 3622145
962.49/965.23	o 3619315
962.49/965.26	o 3619203
962.59/965.33	o 3610175
962.59/965.36	o 3608805
962.59/965.39	o 3608019
962.69/965.42	o 3607345
962.69/965.45	o 3607023
962.69/965.49	o 3606061
962.79/965.52	o 3605653
962.79/965.55	o 3604867
962.89/965.62	o 3604187
962.89/965.66	o 3599947
962.89/965.69	o 3599161
962.99/965.72	o 3597117
962.99/965.75	o 3596795
962.99/965.78	o 3592307
963.09/965.81	o 3591633
963.09/965.84	o 3591521
963.09/965.88	o 3589477
963.29/966.07	o 3588721
963.39/966.13	o 3588047
963.39/966.17	o 3583451
963.48/966.20	o 3582665
963.48/966.24	o 3576551
963.48/966.27	o 3574185
963.58/966.30	o 3573399
963.58/966.34	o 3571243
963.88/966.63	o 3569873
963.98/966.71	o 3565797
964.48/967.29	o 3564067
964.58/967.32	o 3563393
964.58/967.36	o 3561237
964.68/967.40	o 3560915
964.68/967.48	o 3557873
964.78/967.51	o 3557199
964.78/967.55	o 3555043
964.88/967.64	o 3553961
964.88/967.69	o 3553849
965.18/967.99	o 3550285
965.68/968.46	o 3549241
966.38/969.16	o 3548001
966.47/969.21	o 3547889
966.47/969.30	o 3544915
966.57/969.34	o 3544129
966.57/969.39	o 3543455
966.67/969.49	o 3541971
1027.52/1030.46	o 3541901
1027.62/1030.54	o 3539957
1027.62/1030.59	o 3537127
1027.72/1030.64	o 3537015
1027.72/1030.68	o 3536341
1027.82/1030.74	o 3536019
1027.82/1030.79	o 3533863
1028.02/1030.90	o 3530831
1125.36/1128.57	o 3530331
1125.46/1128.62	o 3526221
1125.46/1128.69	o 3525897
1125.56/1128.74	o 3522573
1125.56/1128.78	o 3521787
1125.86/1129.01	o 3521331
1125.86/1129.07	o 3511733
1125.96/1129.11	o 3511621
1125.96/1129.16	o 3507861
1125.96/1129.19	o 3507187
1126.15/1129.31	o 3492927
1126.55/1129.76	o 3490973
1126.55/1129.79	o 3490299
1126.75/1130.00	o 3471087
1126.86/1130.03	o 3470413
1126.86/1130.06	o 3470301
1127.45/1130.64	o 3468271
1127.55/1130.70	o 3463981
1127.55/1130.73	o 3458599
1127.65/1130.81	o 3457431
1127.65/1130.86	o 3454601
1127.75/1130.91	o 3454489
1127.85/1131.03	o 3454339
1127.95/1131.11	o 3447163
1127.95/1131.15	o 3445007
1128.25/1131.40	o 3443377
1128.25/1131.45	o 3441333
1128.25/1131.49	o 3441011
1128.44/1131.61	o 3436227
1128.74/1131.94	o 3435645
1128.74/1131.98	o 3434971
1128.85/1132.02	o 3434859
1129.35/1132.50	o 3428741
1129.35/1132.55	o 3428067
1129.85/1133.02	o 3424071
1129.95/1133.11	o 3422701
1130.05/1133.23	o 3420747
1130.05/1133.28	o 3419961
1130.25/1133.46	o 3419491
1130.35/1133.51	o 3418705
1130.45/1133.69	o 3418191
1130.55/1133.76	o 3389421
1130.65/1133.81	o 3389309
1132.84/1136.06	o 3388867
1132.94/1136.11	o 3386711
1132.94/1136.19	o 3386709
1133.04/1136.25	o 3386127
1133.04/1136.29	o 3385453
1133.14/1136.34	o 3385341
1135.03/1138.24	o 3383759
1135.13/1138.33	o 3374201
1135.23/1138.44	o 3371961
1135.43/1138.62	o 3371603
1135.43/1138.68	o 3368279
1135.53/1138.72	o 3367605
1135.53/1138.77	o 3367493
1156.67/1159.98	s OPTIMUM FOUND
1156.67/1159.98	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	3367493

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 (62468 MiB free)
  memory of node 1: 64465 MiB (63667 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503763-1751434242/watcher-4503763-1751434242 -o /tmp/evaluation-result-4503763-1751434242/solver-4503763-1751434242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751434242-62324 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2032771564 --ls=360 --inp-dombreaklim=0 HOME/instance-4503763-1751434242.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=62351, runsolver pid=62348

[startup+0.100061 s]*
/proc/loadavg: 0.86 2.90 3.65 5/254 62361
/proc/meminfo: memFree=129110596/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=44240 memory=22760 CPUtime=0.09 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 4810 0 0 0 9 0 0 0 20 0 1 0 59046760 45301760 5690 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 11060 5690 1056 1200 0 9540 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 22760 KiB

[startup+0.205382 s]*
/proc/loadavg: 0.86 2.90 3.65 3/260 62370
/proc/meminfo: memFree=129097276/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=44240 memory=22760 CPUtime=0.2 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 4810 0 0 0 20 0 0 0 20 0 1 0 59046760 45301760 5690 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 11060 5690 1056 1200 0 9540 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 22760 KiB

[startup+0.305416 s]*
/proc/loadavg: 0.86 2.90 3.65 5/264 62381
/proc/meminfo: memFree=129044080/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=44240 memory=22760 CPUtime=0.3 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 4810 0 0 0 30 0 0 0 20 0 1 0 59046760 45301760 5690 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 11060 5690 1056 1200 0 9540 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 22760 KiB

[startup+0.700159 s]
/proc/loadavg: 0.86 2.90 3.65 5/264 62381
/proc/meminfo: memFree=128932316/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=44240 memory=22760 CPUtime=0.69 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 4810 0 0 0 69 0 0 0 20 0 1 0 59046760 45301760 5690 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 11060 5690 1056 1200 0 9540 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 22760 KiB

[startup+1.50014 s]
/proc/loadavg: 1.11 2.92 3.66 5/264 62381
/proc/meminfo: memFree=128677980/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=44240 memory=22760 CPUtime=1.48 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 4810 0 0 0 148 0 0 0 20 0 1 0 59046760 45301760 5690 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 11060 5690 1056 1200 0 9540 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 22760 KiB

[startup+3.10526 s]
/proc/loadavg: 1.11 2.92 3.66 5/264 62381
/proc/meminfo: memFree=128126732/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=44240 memory=22760 CPUtime=3.08 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 4810 0 0 0 308 0 0 0 20 0 1 0 59046760 45301760 5690 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 11060 5690 1056 1200 0 9540 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 22760 KiB

[startup+6.30016 s]
/proc/loadavg: 1.34 2.94 3.66 5/264 62381
/proc/meminfo: memFree=127958340/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=44240 memory=22760 CPUtime=6.27 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 4810 0 0 0 627 0 0 0 20 0 1 0 59046760 45301760 5690 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 11060 5690 1056 1200 0 9540 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 22760 KiB

[startup+12.7002 s]
/proc/loadavg: 1.56 2.96 3.66 5/264 62381
/proc/meminfo: memFree=127958340/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=44240 memory=22760 CPUtime=12.65 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 4810 0 0 0 1265 0 0 0 20 0 1 0 59046760 45301760 5690 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 11060 5690 1056 1200 0 9540 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 22760 KiB

[startup+25.5002 s]
/proc/loadavg: 1.93 2.99 3.66 5/264 62382
/proc/meminfo: memFree=127959852/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=44240 memory=22760 CPUtime=25.41 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 4810 0 0 0 2541 0 0 0 20 0 1 0 59046760 45301760 5690 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 11060 5690 1056 1200 0 9540 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 22760 KiB

[startup+51.1054 s]
/proc/loadavg: 2.81 3.10 3.68 5/264 62382
/proc/meminfo: memFree=127967480/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=44240 memory=22760 CPUtime=50.93 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 4810 0 0 0 5093 0 0 0 20 0 1 0 59046760 45301760 5690 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 11060 5690 1056 1200 0 9540 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 22760 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 3.26 3.70 5/265 62387
/proc/meminfo: memFree=127965520/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=44240 memory=23016 CPUtime=101.96 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 4820 0 0 0 10196 0 0 0 20 0 1 0 59046760 45301760 5754 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 11060 5754 1056 1200 0 9540 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 23016 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 3.43 3.74 5/265 62389
/proc/meminfo: memFree=127950612/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=44240 memory=23016 CPUtime=161.79 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 4835 0 0 0 16179 0 0 0 20 0 1 0 59046760 45301760 5754 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 11060 5754 1056 1200 0 9540 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 23016 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.55 3.76 5/265 62391
/proc/meminfo: memFree=127950260/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=44240 memory=23016 CPUtime=221.62 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 4845 0 0 0 22162 0 0 0 20 0 1 0 59046760 45301760 5754 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 11060 5754 1056 1200 0 9540 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 23016 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.65 3.78 5/264 62393
/proc/meminfo: memFree=127948104/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=44240 memory=23016 CPUtime=281.45 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 4850 0 0 0 28145 0 0 0 20 0 1 0 59046760 45301760 5754 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 11060 5754 1056 1200 0 9540 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 23016 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.75 3.81 5/264 62400
/proc/meminfo: memFree=127954984/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=44240 memory=23016 CPUtime=341.28 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 4855 0 0 0 34128 0 0 0 20 0 1 0 59046760 45301760 5754 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 11060 5754 1056 1200 0 9540 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 23016 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.81 3.83 5/263 62402
/proc/meminfo: memFree=125183528/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=260308 memory=212592 CPUtime=401.12 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 37428 0 0 0 40096 16 0 0 20 0 1 0 59046760 266555392 53148 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 65077 53148 1280 1200 0 63557 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 260308 KiB
Current children cumulated memory: 212592 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 3.86 3.85 5/263 62404
/proc/meminfo: memFree=122272940/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=389104 memory=306760 CPUtime=460.96 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 50417 0 0 0 46063 33 0 0 20 0 1 0 59046760 398442496 76690 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 97276 76690 1280 1200 0 95756 0
Current children cumulated CPU time: 460.96 s

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

/proc/loadavg: 4.12 4.05 3.95 5/265 62421
/proc/meminfo: memFree=120873340/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=483612 memory=386632 CPUtime=819.99 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 70557 0 0 0 81920 79 0 0 20 0 1 0 59046760 495218688 96658 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 120903 96658 1280 1200 0 119383 0
Current children cumulated CPU time: 819.99 s
Current children cumulated vsize: 483612 KiB
Current children cumulated memory: 386632 KiB

[startup+882.3 s]
/proc/loadavg: 4.09 4.06 3.97 5/265 62423
/proc/meminfo: memFree=120659328/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=484580 memory=387528 CPUtime=879.81 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 70809 0 0 0 87895 86 0 0 20 0 1 0 59046760 496209920 96882 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 121145 96882 1280 1200 0 119625 0
Current children cumulated CPU time: 879.81 s
Current children cumulated vsize: 484580 KiB
Current children cumulated memory: 387528 KiB

[startup+942.3 s]
/proc/loadavg: 4.14 4.07 3.98 5/265 62428
/proc/meminfo: memFree=120627096/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=489420 memory=391624 CPUtime=939.64 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 71844 0 0 0 93872 92 0 0 20 0 1 0 59046760 501166080 97906 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 122355 97906 1280 1200 0 120835 0
Current children cumulated CPU time: 939.64 s
Current children cumulated vsize: 489420 KiB
Current children cumulated memory: 391624 KiB

[startup+1002.3 s]
/proc/loadavg: 4.10 4.07 3.99 5/267 62433
/proc/meminfo: memFree=120550108/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=493576 memory=395848 CPUtime=999.49 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 72959 0 0 0 99848 101 0 0 20 0 1 0 59046760 505421824 98962 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 123394 98962 1280 1200 0 121874 0
Current children cumulated CPU time: 999.49 s
Current children cumulated vsize: 493576 KiB
Current children cumulated memory: 395848 KiB

[startup+1062.3 s]
/proc/loadavg: 4.08 4.07 4.00 5/268 62436
/proc/meminfo: memFree=120582820/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=502284 memory=402248 CPUtime=1059.33 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 74571 0 0 0 105825 108 0 0 20 0 1 0 59046760 514338816 100562 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 125571 100562 1280 1200 0 124051 0
Current children cumulated CPU time: 1059.33 s
Current children cumulated vsize: 502284 KiB
Current children cumulated memory: 402248 KiB

[startup+1122.3 s]
/proc/loadavg: 4.13 4.09 4.01 5/268 62438
/proc/meminfo: memFree=120509692/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=502504 memory=402632 CPUtime=1119.17 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 74654 0 0 0 111802 115 0 0 20 0 1 0 59046760 514564096 100658 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 125626 100658 1280 1200 0 124106 0
Current children cumulated CPU time: 1119.17 s
Current children cumulated vsize: 502504 KiB
Current children cumulated memory: 402632 KiB

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

# cumulated CPU time of all completed processes:  user=1155.57 s, system=1.22088 s

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

[startup+1126.4 s]
/proc/loadavg: 4.12 4.09 4.01 5/268 62438
/proc/meminfo: memFree=120509944/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=502504 memory=402632 CPUtime=1123.26 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 74654 0 0 0 112210 116 0 0 20 0 1 0 59046760 514564096 100658 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 125626 100658 1280 1200 0 124106 0
Current children cumulated CPU time: 1123.26 s
Current children cumulated vsize: 502504 KiB
Current children cumulated memory: 402632 KiB

[startup+1139.2 s]
/proc/loadavg: 4.10 4.08 4.00 5/268 62439
/proc/meminfo: memFree=120519476/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=502504 memory=402632 CPUtime=1136.03 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 74655 0 0 0 113485 118 0 0 20 0 1 0 59046760 514564096 100658 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 125626 100658 1280 1200 0 124106 0
Current children cumulated CPU time: 1136.03 s
Current children cumulated vsize: 502504 KiB
Current children cumulated memory: 402632 KiB

[startup+1152 s]*
/proc/loadavg: 4.08 4.08 4.00 5/268 62440
/proc/meminfo: memFree=120511336/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=502504 memory=402632 CPUtime=1148.8 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 74662 0 0 0 114761 119 0 0 20 0 1 0 59046760 514564096 100658 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 125626 100658 1280 1200 0 124106 0
Current children cumulated CPU time: 1148.8 s
Current children cumulated vsize: 502504 KiB
Current children cumulated memory: 402632 KiB

[startup+1155.2 s]
/proc/loadavg: 4.08 4.08 4.00 5/268 62440
/proc/meminfo: memFree=120511336/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=502504 memory=402632 CPUtime=1151.98 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 74665 0 0 0 115079 119 0 0 20 0 1 0 59046760 514564096 100658 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 125626 100658 1280 1200 0 124106 0
Current children cumulated CPU time: 1151.98 s
Current children cumulated vsize: 502504 KiB
Current children cumulated memory: 402632 KiB

[startup+1158.4 s]
/proc/loadavg: 4.07 4.08 4.00 5/268 62440
/proc/meminfo: memFree=120511336/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=502504 memory=402632 CPUtime=1155.18 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 74665 0 0 0 115399 119 0 0 20 0 1 0 59046760 514564096 100658 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 125626 100658 1280 1200 0 124106 0
Current children cumulated CPU time: 1155.18 s
Current children cumulated vsize: 502504 KiB
Current children cumulated memory: 402632 KiB

[startup+1159.2 s]
/proc/loadavg: 4.07 4.08 4.00 5/268 62440
/proc/meminfo: memFree=120511336/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=502504 memory=402632 CPUtime=1155.98 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 74666 0 0 0 115478 120 0 0 20 0 1 0 59046760 514564096 100658 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 125626 100658 1280 1200 0 124106 0
Current children cumulated CPU time: 1155.98 s
Current children cumulated vsize: 502504 KiB
Current children cumulated memory: 402632 KiB

[startup+1159.6 s]
/proc/loadavg: 4.07 4.08 4.00 5/268 62440
/proc/meminfo: memFree=120511336/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=502504 memory=402632 CPUtime=1156.37 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 74668 0 0 0 115517 120 0 0 20 0 1 0 59046760 514564096 100658 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 125626 100658 1280 1200 0 124106 0
Current children cumulated CPU time: 1156.37 s
Current children cumulated vsize: 502504 KiB
Current children cumulated memory: 402632 KiB

[startup+1159.8 s]
/proc/loadavg: 4.07 4.08 4.00 5/268 62440
/proc/meminfo: memFree=120511336/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=502504 memory=402632 CPUtime=1156.57 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 74668 0 0 0 115537 120 0 0 20 0 1 0 59046760 514564096 100658 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 125626 100658 1280 1200 0 124106 0
Current children cumulated CPU time: 1156.57 s
Current children cumulated vsize: 502504 KiB
Current children cumulated memory: 402632 KiB

[startup+1159.9 s]
/proc/loadavg: 4.07 4.08 4.00 5/268 62440
/proc/meminfo: memFree=120511336/131250000 swapFree=33010684/33010684
[pid=62351] ppid=62348 vsize=502504 memory=402632 CPUtime=1156.67 cores=5,7
/proc/62351/stat : 62351 (Exact) R 62348 62351 62285 0 -1 4194304 74668 0 0 0 115547 120 0 0 20 0 1 0 59046760 514564096 100658 18446744073709551615 4198400 9112445 140737019721568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37089280 140737019730214 140737019730413 140737019730413 140737019736015 0
/proc/62351/statm: 125626 100658 1280 1200 0 124106 0
Current children cumulated CPU time: 1156.67 s
Current children cumulated vsize: 502504 KiB
Current children cumulated memory: 402632 KiB

Child status: 30

Real time (s): 1160.01
CPU time (s): 1156.79
CPU user time (s): 1155.57
CPU system time (s): 1.22088
CPU usage (%): 99.7227
Max. virtual memory (cumulated for all children) (KiB): 502504
Max. memory (cumulated for all children) (KiB): 402632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1155.57
system time used= 1.22088
maximum resident set size= 402760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74745
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= 6
involuntary context switches= 896


# summary of solver processes directly reported to runsolver:
#   pid: 62351
#   total CPU time (s): 1156.79
#   total CPU user time (s): 1155.57
#   total CPU system time (s): 1.22088

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.10669 second user time and 5.0577 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-02 07:30:42
IDJOB=4503763
IDBENCH=155603
IDSOLVER=3319
FILE ID=nodeC028/4503763-1751434242
RUNJOBID= nodeC028-1751434242-62324
SLURM_JOB_ID= 9598386
Free space on /tmp= 432644 MiB

SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503763-1751434242/watcher-4503763-1751434242 -o /tmp/evaluation-result-4503763-1751434242/solver-4503763-1751434242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751434242-62324 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2032771564 --ls=360 --inp-dombreaklim=0 HOME/instance-4503763-1751434242.opb

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

MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e
RANDOM SEED=2032771564

nodeC028 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.186
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	: 7000.16
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		: 3600.338
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	: 7000.16
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		: 3600.143
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	: 7000.16
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		: 3600.084
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	: 7000.16
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		: 3600.077
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	: 7000.16
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		: 3601.614
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	: 7000.16
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		: 3600.208
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	: 7000.16
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		: 3600.078
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	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129197692 kB
MemAvailable:   129731464 kB
Buffers:            3280 kB
Cached:          1338864 kB
SwapCached:            0 kB
Active:           401360 kB
Inactive:        1029636 kB
Active(anon):     106920 kB
Inactive(anon):        0 kB
Active(file):     294440 kB
Inactive(file):  1029636 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             56376 kB
Writeback:             0 kB
AnonPages:         91932 kB
Mapped:           104072 kB
Shmem:             18068 kB
KReclaimable:      97872 kB
Slab:             184888 kB
SReclaimable:      97872 kB
SUnreclaim:        87016 kB
KernelStack:        4036 kB
PageTables:         2548 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     357180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3712 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432508 MiB
End job on nodeC028 at 2025-07-02 07:50:03