Trace number 4482731

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-02OPT3367493 690.066 691.603

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.66/360.46	o 121433033
359.66/360.46	o 96867169
359.76/360.57	o 75932637
359.86/360.63	o 16225585
359.86/360.63	o 7156551
359.86/360.63	o 7154801
359.86/360.63	o 7110315
359.86/360.64	o 7041563
359.86/360.64	o 7002459
359.86/360.64	o 6991219
359.86/360.64	o 6947955
360.06/360.82	o 6828113
360.06/360.83	o 6644183
363.26/364.01	o 6303793
363.36/364.16	o 6300781
363.36/364.18	o 6296083
363.36/364.19	o 5717365
363.55/364.37	o 5699853
363.95/364.78	o 5555977
364.05/364.80	o 5555529
364.05/364.81	o 5550113
364.05/364.82	o 5529033
364.05/364.83	o 5523617
365.05/365.83	o 5520397
392.88/393.70	o 5519457
392.98/393.83	o 5515767
393.58/394.43	o 5500805
394.08/394.99	o 5493333
394.18/395.04	o 5487405
394.67/395.56	o 5484845
394.77/395.63	o 5479751
395.28/396.17	o 5477997
395.37/396.22	o 5467679
396.07/396.91	o 5461979
396.07/396.96	o 5457979
396.28/397.12	o 5431839
397.67/398.50	o 5424681
398.57/399.46	o 5423163
398.67/399.52	o 5422939
398.67/399.58	o 5412621
398.77/399.67	o 5409763
398.87/399.73	o 5409539
399.57/400.44	o 5409521
401.27/402.11	o 5409041
401.27/402.18	o 5408817
401.36/402.25	o 5408809
403.46/404.31	o 5407659
403.56/404.46	o 5404809
403.66/404.58	o 5404801
403.76/404.64	o 5404577
427.11/428.05	o 5401543
427.30/428.24	o 5349165
427.30/428.28	o 5339857
427.40/428.30	o 5277847
427.40/428.35	o 5259455
427.50/428.43	o 5258087
427.50/428.49	o 5241175
427.60/428.54	o 5222783
427.70/428.69	o 5208617
428.20/429.12	o 5197121
428.20/429.16	o 5195847
428.20/429.19	o 5191457
428.30/429.24	o 5187879
428.30/429.28	o 5177445
428.40/429.34	o 5162661
428.50/429.45	o 5159053
428.50/429.47	o 5158663
428.50/429.49	o 5153327
428.60/429.51	o 5152999
428.70/429.64	o 5143431
429.00/429.94	o 5141561
429.00/429.97	o 5140287
429.00/429.99	o 5139959
429.10/430.01	o 5135897
429.29/430.22	o 5132969
429.29/430.24	o 5132641
429.29/430.27	o 5131367
429.29/430.29	o 5127305
429.59/430.52	o 5110697
429.59/430.56	o 5109423
429.99/430.96	o 5105383
429.99/430.99	o 5098655
430.10/431.02	o 5098265
430.10/431.05	o 5096991
430.10/431.09	o 5077845
430.20/431.13	o 5077455
430.20/431.15	o 5071791
430.69/431.67	o 5069795
430.79/431.70	o 5067129
430.79/431.76	o 5064999
430.79/431.79	o 5064609
430.99/431.91	o 5044383
431.09/432.02	o 5041863
431.29/432.24	o 5041167
431.29/432.27	o 5039893
431.39/432.32	o 5039445
431.39/432.35	o 5033781
431.39/432.39	o 5032685
431.49/432.43	o 5028623
446.25/447.24	o 5016069
446.25/447.28	o 5009773
446.25/447.29	o 4979533
446.35/447.32	o 4970597
446.35/447.36	o 4963523
446.35/447.37	o 4960043
446.45/447.40	o 4941299
446.45/447.44	o 4936709
446.45/447.46	o 4929635
446.45/447.47	o 4928563
446.45/447.49	o 4920795
446.55/447.51	o 4915979
446.55/447.56	o 4906733
446.55/447.57	o 4884237
446.55/447.58	o 4875603
446.65/447.60	o 4875251
446.65/447.64	o 4864035
446.75/447.71	o 4857891
446.75/447.72	o 4854181
446.75/447.74	o 4846127
446.75/447.75	o 4841507
446.75/447.77	o 4837797
446.95/447.97	o 4833435
446.95/448.00	o 4827021
447.06/448.02	o 4823311
447.06/448.04	o 4816851
447.55/448.54	o 4811675
447.75/448.70	o 4809641
447.75/448.72	o 4809395
447.85/448.80	o 4805907
447.85/448.83	o 4801161
447.85/448.86	o 4795191
448.05/449.08	o 4791821
448.15/449.11	o 4788111
448.15/449.13	o 4787865
448.25/449.26	o 4787329
448.35/449.34	o 4785973
448.35/449.37	o 4780249
448.45/449.40	o 4780003
448.55/449.53	o 4779193
448.55/449.56	o 4778947
448.55/449.59	o 4776587
448.65/449.62	o 4770863
448.65/449.64	o 4770617
449.25/450.20	o 4769887
449.25/450.24	o 4769641
449.25/450.27	o 4766177
449.35/450.30	o 4765931
449.45/450.45	o 4764485
449.45/450.48	o 4760775
449.64/450.69	o 4752387
449.74/450.73	o 4748923
449.74/450.76	o 4748677
450.15/451.11	o 4746617
450.15/451.14	o 4746371
450.24/451.24	o 4745531
450.24/451.29	o 4739291
450.74/451.74	o 4731769
450.74/451.79	o 4728059
451.05/452.00	o 4727671
451.15/452.11	o 4685363
451.15/452.16	o 4681899
451.24/452.20	o 4681653
451.44/452.40	o 4678283
451.44/452.44	o 4674573
451.64/452.65	o 4670589
451.64/452.69	o 4667051
452.24/453.25	o 4656363
452.54/453.51	o 4646957
452.54/453.57	o 4646399
452.64/453.69	o 4639987
453.33/454.33	o 4638877
453.43/454.48	o 4636003
455.23/456.23	o 4624641
458.72/459.75	o 4622327
458.72/459.79	o 4582359
458.82/459.82	o 4581015
458.92/459.90	o 4580581
458.92/459.97	o 4561553
458.92/460.00	o 4557563
459.02/460.04	o 4531453
459.12/460.11	o 4269293
459.12/460.14	o 4265303
459.12/460.16	o 4260017
459.12/460.19	o 4255727
459.42/460.46	o 4247175
459.42/460.49	o 4237599
459.52/460.52	o 4234533
459.62/460.60	o 4230375
459.91/460.92	o 4220179
459.91/460.96	o 4216705
459.91/460.99	o 4210945
460.02/461.01	o 4204679
460.02/461.04	o 4201613
460.02/461.06	o 4197745
460.31/461.32	o 4195761
464.91/465.99	o 4191893
500.01/501.12	o 4191131
500.11/501.24	o 4189887
500.11/501.26	o 4188791
500.11/501.27	o 4156661
502.70/503.88	o 4155595
502.80/503.97	o 4151347
502.90/504.01	o 4150251
504.00/505.11	o 4148933
504.09/505.22	o 4148789
504.09/505.26	o 4140759
504.19/505.30	o 4137367
504.19/505.37	o 4136271
504.29/505.48	o 4130363
505.39/506.52	o 4130069
505.39/506.58	o 4120683
505.69/506.80	o 4111815
505.69/506.85	o 4111003
505.69/506.89	o 4106615
505.79/507.00	o 4103605
505.89/507.07	o 4092163
506.29/507.47	o 4082269
517.16/518.30	o 4075899
517.16/518.31	o 4072507
517.16/518.33	o 4058557
517.16/518.36	o 4048557
517.36/518.51	o 4038363
518.36/519.59	o 4037107
519.75/520.98	o 4033975
521.65/522.86	o 4031079
522.45/523.61	o 4027929
522.45/523.68	o 4027117
527.54/528.74	o 4023869
527.64/528.81	o 4020369
527.74/528.90	o 4019453
527.74/528.96	o 4012359
527.84/529.03	o 4006471
527.84/529.08	o 3992647
587.69/589.00	o 3989631
587.69/589.01	o 3987715
587.69/589.03	o 3986417
587.69/589.04	o 3986379
587.69/589.07	o 3985883
587.69/589.08	o 3984743
587.69/589.09	o 3983967
587.98/589.34	o 3983913
587.98/589.35	o 3981667
587.98/589.37	o 3980451
587.98/589.38	o 3978517
587.98/589.39	o 3978479
588.08/589.44	o 3977633
588.08/589.45	o 3976811
588.08/589.46	o 3971225
588.08/589.48	o 3971187
588.18/589.52	o 3971149
588.18/589.53	o 3969565
588.18/589.55	o 3967357
588.28/589.69	o 3965961
588.38/589.71	o 3963549
588.38/589.73	o 3962401
588.48/589.88	o 3961067
588.58/589.90	o 3961029
588.58/589.91	o 3951535
588.58/589.93	o 3943959
588.58/589.96	o 3941751
588.58/589.97	o 3941713
588.69/590.02	o 3936337
588.88/590.27	o 3935641
588.88/590.29	o 3933433
589.08/590.43	o 3932039
589.08/590.47	o 3929513
589.18/590.50	o 3927267
589.18/590.53	o 3920305
589.38/590.73	o 3917363
589.58/590.91	o 3911825
589.58/590.93	o 3884871
589.58/590.96	o 3879639
589.68/591.01	o 3878423
589.68/591.04	o 3873913
589.68/591.06	o 3870063
590.07/591.44	o 3863041
590.07/591.48	o 3861825
590.18/591.53	o 3858885
590.98/592.33	o 3854123
590.98/592.36	o 3850767
591.08/592.41	o 3849633
591.08/592.47	o 3848399
591.18/592.51	o 3845925
591.18/592.53	o 3839191
591.18/592.57	o 3835791
591.28/592.60	o 3834847
591.28/592.65	o 3829615
591.38/592.71	o 3828317
591.38/592.76	o 3828279
591.58/592.90	o 3827583
591.58/592.95	o 3826675
591.68/593.07	o 3822689
591.78/593.12	o 3821993
591.78/593.18	o 3817341
591.88/593.21	o 3816783
591.88/593.25	o 3814409
591.88/593.28	o 3814371
591.98/593.31	o 3811551
592.58/593.92	o 3785833
593.07/594.46	o 3784239
593.17/594.50	o 3783543
593.27/594.60	o 3780691
593.68/595.00	o 3779895
593.68/595.04	o 3779199
593.78/595.10	o 3772581
593.97/595.38	o 3768007
594.17/595.50	o 3765155
594.47/595.85	o 3761141
612.03/613.45	o 3759923
612.03/613.49	o 3758895
612.23/613.65	o 3756605
612.53/613.96	o 3754281
612.63/614.03	o 3751357
612.63/614.06	o 3748249
612.73/614.15	o 3737041
613.32/614.71	o 3735907
613.73/615.15	o 3733493
613.92/615.36	o 3727457
613.92/615.39	o 3725045
614.02/615.44	o 3724349
614.02/615.47	o 3722315
614.72/616.18	o 3718479
614.82/616.27	o 3718335
614.92/616.38	o 3717639
624.91/626.32	o 3716577
625.01/626.40	o 3706273
625.01/626.46	o 3704239
625.11/626.52	o 3703461
625.11/626.57	o 3697671
625.61/627.04	o 3695915
625.71/627.15	o 3693573
655.93/657.48	o 3688669
656.03/657.52	o 3688047
656.03/657.56	o 3687319
656.13/657.61	o 3665281
656.13/657.64	o 3664495
656.13/657.68	o 3660735
656.33/657.80	o 3656567
656.33/657.85	o 3646957
656.33/657.88	o 3644127
656.43/657.92	o 3641153
656.43/657.96	o 3640367
656.73/658.21	o 3633889
656.73/658.26	o 3632539
656.82/658.32	o 3629387
656.82/658.35	o 3625627
656.92/658.44	o 3620911
657.03/658.50	o 3616203
657.03/658.54	o 3615529
657.13/658.67	o 3615179
657.23/658.71	o 3611353
657.23/658.75	o 3606243
657.23/658.78	o 3603413
657.54/659.05	o 3597975
657.54/659.09	o 3597367
657.64/659.13	o 3597045
657.64/659.18	o 3594215
657.83/659.34	o 3565117
657.83/659.38	o 3564509
657.93/659.45	o 3561357
658.03/659.58	o 3560999
658.73/660.23	o 3560303
658.73/660.27	o 3559629
658.93/660.45	o 3559305
659.33/660.83	o 3551855
659.43/660.90	o 3551193
659.43/660.95	o 3548827
659.43/660.98	o 3548715
659.53/661.04	o 3543433
659.53/661.08	o 3529881
659.63/661.16	o 3529317
659.73/661.23	o 3529205
659.83/661.35	o 3528531
659.92/661.40	o 3526053
659.92/661.47	o 3524011
660.02/661.57	o 3477931
660.12/661.62	o 3477257
660.12/661.67	o 3463021
660.22/661.79	o 3460977
660.42/662.00	o 3453951
672.30/673.83	o 3452343
672.70/674.20	o 3443875
672.70/674.25	o 3433349
672.70/674.29	o 3429175
672.79/674.32	o 3415623
672.79/674.35	o 3409593
672.79/674.38	o 3406917
672.89/674.41	o 3388999
673.39/674.98	o 3387451
673.50/675.00	o 3386665
673.50/675.03	o 3385991
673.50/675.06	o 3385669
673.50/675.08	o 3384299
673.60/675.11	o 3383513
673.60/675.15	o 3374201
676.39/677.93	o 3373383
676.39/677.97	o 3372801
676.49/678.01	o 3369971
676.49/678.04	o 3369649
676.49/678.09	o 3367493
689.95/691.59	s OPTIMUM FOUND
689.95/691.59	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 (62328 MiB free)
  memory of node 1: 64465 MiB (63942 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482731-1751438514/watcher-4482731-1751438514 -o /tmp/evaluation-result-4482731-1751438514/solver-4482731-1751438514 -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=8968824 --ls=360 HOME/instance-4482731-1751438514.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
Current StackSize limit: 8192 KiB

solver pid=61214, runsolver pid=61211

[startup+0.100057 s]*
/proc/loadavg: 1.11 1.09 1.10 2/246 61215
/proc/meminfo: memFree=129289452/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=44240 memory=20712 CPUtime=0.09 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 4809 0 0 0 9 0 0 0 20 0 1 0 59529811 45301760 5178 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 11060 5178 1056 1200 0 9540 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 20712 KiB

[startup+0.205292 s]*
/proc/loadavg: 1.11 1.09 1.10 2/246 61215
/proc/meminfo: memFree=129289452/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=44240 memory=20712 CPUtime=0.19 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 4809 0 0 0 19 0 0 0 20 0 1 0 59529811 45301760 5178 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 11060 5178 1056 1200 0 9540 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 20712 KiB

[startup+0.304355 s]*
/proc/loadavg: 1.11 1.09 1.10 2/246 61215
/proc/meminfo: memFree=129289452/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=44240 memory=20712 CPUtime=0.29 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 4809 0 0 0 29 0 0 0 20 0 1 0 59529811 45301760 5178 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 11060 5178 1056 1200 0 9540 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 20712 KiB

[startup+0.700093 s]
/proc/loadavg: 1.11 1.09 1.10 2/246 61215
/proc/meminfo: memFree=129289452/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=44240 memory=20712 CPUtime=0.68 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 4809 0 0 0 68 0 0 0 20 0 1 0 59529811 45301760 5178 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 11060 5178 1056 1200 0 9540 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 20712 KiB

[startup+1.50009 s]
/proc/loadavg: 1.11 1.09 1.10 2/246 61215
/proc/meminfo: memFree=129289452/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=44240 memory=20712 CPUtime=1.48 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 4809 0 0 0 148 0 0 0 20 0 1 0 59529811 45301760 5178 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 11060 5178 1056 1200 0 9540 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 20712 KiB

[startup+3.10414 s]
/proc/loadavg: 1.10 1.09 1.10 2/246 61215
/proc/meminfo: memFree=129289704/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=44240 memory=20712 CPUtime=3.08 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 4809 0 0 0 308 0 0 0 20 0 1 0 59529811 45301760 5178 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 11060 5178 1056 1200 0 9540 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 20712 KiB

[startup+6.30009 s]
/proc/loadavg: 1.10 1.09 1.10 2/246 61215
/proc/meminfo: memFree=129289956/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=44240 memory=20712 CPUtime=6.27 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 4809 0 0 0 627 0 0 0 20 0 1 0 59529811 45301760 5178 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 11060 5178 1056 1200 0 9540 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 20712 KiB

[startup+12.7001 s]
/proc/loadavg: 1.09 1.09 1.10 2/246 61215
/proc/meminfo: memFree=129290208/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=44240 memory=20712 CPUtime=12.65 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 4809 0 0 0 1265 0 0 0 20 0 1 0 59529811 45301760 5178 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 11060 5178 1056 1200 0 9540 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 20712 KiB

[startup+25.5001 s]
/proc/loadavg: 1.07 1.08 1.10 2/246 61216
/proc/meminfo: memFree=129290964/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=44240 memory=20712 CPUtime=25.42 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 4809 0 0 0 2542 0 0 0 20 0 1 0 59529811 45301760 5178 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 11060 5178 1056 1200 0 9540 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 20712 KiB

[startup+51.1041 s]
/proc/loadavg: 1.20 1.11 1.11 2/246 61216
/proc/meminfo: memFree=129275588/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=44240 memory=21608 CPUtime=50.97 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 4819 0 0 0 5097 0 0 0 20 0 1 0 59529811 45301760 5402 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 11060 5402 1056 1200 0 9540 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 21608 KiB

[startup+102.3 s]
/proc/loadavg: 1.19 1.13 1.11 2/246 61219
/proc/meminfo: memFree=129277396/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=44240 memory=21608 CPUtime=102.06 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 4834 0 0 0 10206 0 0 0 20 0 1 0 59529811 45301760 5402 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 11060 5402 1056 1200 0 9540 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 21608 KiB

[startup+162.3 s]
/proc/loadavg: 1.17 1.14 1.11 2/246 61221
/proc/meminfo: memFree=129278384/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=44240 memory=21608 CPUtime=161.95 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 4844 0 0 0 16195 0 0 0 20 0 1 0 59529811 45301760 5402 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 11060 5402 1056 1200 0 9540 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 21608 KiB

[startup+222.3 s]
/proc/loadavg: 1.11 1.13 1.11 2/246 61223
/proc/meminfo: memFree=129279032/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=44240 memory=21608 CPUtime=221.83 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 4849 0 0 0 22183 0 0 0 20 0 1 0 59529811 45301760 5402 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 11060 5402 1056 1200 0 9540 0
Current children cumulated CPU time: 221.83 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 21608 KiB

[startup+282.3 s]
/proc/loadavg: 1.11 1.12 1.10 2/245 61225
/proc/meminfo: memFree=129279316/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=44240 memory=21608 CPUtime=281.71 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 4854 0 0 0 28171 0 0 0 20 0 1 0 59529811 45301760 5402 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 11060 5402 1056 1200 0 9540 0
Current children cumulated CPU time: 281.71 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 21608 KiB

[startup+342.3 s]
/proc/loadavg: 1.10 1.11 1.09 2/245 61227
/proc/meminfo: memFree=129279552/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=44240 memory=21608 CPUtime=341.59 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 4859 0 0 0 34159 0 0 0 20 0 1 0 59529811 45301760 5402 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 11060 5402 1056 1200 0 9540 0
Current children cumulated CPU time: 341.59 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 21608 KiB

[startup+402.3 s]
/proc/loadavg: 1.08 1.10 1.09 2/244 61229
/proc/meminfo: memFree=129078736/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=246972 memory=209284 CPUtime=401.46 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 35958 0 0 0 40132 14 0 0 20 0 1 0 59529811 252899328 52321 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 61743 52321 1280 1200 0 60223 0
Current children cumulated CPU time: 401.46 s
Current children cumulated vsize: 246972 KiB
Current children cumulated memory: 209284 KiB

[startup+462.3 s]
/proc/loadavg: 1.06 1.10 1.09 2/247 61236
/proc/meminfo: memFree=128987500/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=363348 memory=280992 CPUtime=461.32 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 46383 0 0 0 46103 29 0 0 20 0 1 0 59529811 372068352 70248 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 90837 70248 1280 1200 0 89317 0
Current children cumulated CPU time: 461.32 s
Current children cumulated vsize: 363348 KiB
Current children cumulated memory: 280992 KiB

[startup+522.3 s]
/proc/loadavg: 1.07 1.09 1.09 2/247 61238
/proc/meminfo: memFree=128964536/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=392308 memory=307232 CPUtime=521.15 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 51690 0 0 0 52076 39 0 0 20 0 1 0 59529811 401723392 76808 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 98077 76808 1280 1200 0 96557 0
Current children cumulated CPU time: 521.15 s
Current children cumulated vsize: 392308 KiB
Current children cumulated memory: 307232 KiB

[startup+582.3 s]
/proc/loadavg: 1.14 1.10 1.09 2/247 61245
/proc/meminfo: memFree=128912960/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=409644 memory=347296 CPUtime=581 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 55270 0 0 0 58050 50 0 0 20 0 1 0 59529811 419475456 86824 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 102411 86824 1280 1200 0 100891 0
Current children cumulated CPU time: 581 s
Current children cumulated vsize: 409644 KiB
Current children cumulated memory: 347296 KiB

[startup+642.3 s]
/proc/loadavg: 1.11 1.10 1.09 2/247 61247
/proc/meminfo: memFree=128914744/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=416768 memory=354336 CPUtime=640.87 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 56692 0 0 0 64028 59 0 0 20 0 1 0 59529811 426770432 88584 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 104192 88584 1280 1200 0 102672 0
Current children cumulated CPU time: 640.87 s
Current children cumulated vsize: 416768 KiB
Current children cumulated memory: 354336 KiB

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

# cumulated CPU time of all completed processes:  user=689.4 s, system=0.665514 s

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

[startup+665.6 s]
/proc/loadavg: 1.08 1.09 1.09 2/247 61248
/proc/meminfo: memFree=128917940/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=417436 memory=354976 CPUtime=664.11 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 56867 0 0 0 66349 62 0 0 20 0 1 0 59529811 427454464 88744 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 104359 88744 1280 1200 0 102839 0
Current children cumulated CPU time: 664.11 s
Current children cumulated vsize: 417436 KiB
Current children cumulated memory: 354976 KiB

[startup+678.4 s]
/proc/loadavg: 1.06 1.08 1.09 2/247 61248
/proc/meminfo: memFree=128917940/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=417836 memory=355232 CPUtime=676.89 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 56909 0 0 0 67624 65 0 0 20 0 1 0 59529811 427864064 88808 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 104459 88808 1280 1200 0 102939 0
Current children cumulated CPU time: 676.89 s
Current children cumulated vsize: 417836 KiB
Current children cumulated memory: 355232 KiB

[startup+684.8 s]
/proc/loadavg: 1.06 1.08 1.09 2/247 61248
/proc/meminfo: memFree=128917388/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=417988 memory=355488 CPUtime=683.26 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 56975 0 0 0 68261 65 0 0 20 0 1 0 59529811 428019712 88872 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 104497 88872 1280 1200 0 102977 0
Current children cumulated CPU time: 683.26 s
Current children cumulated vsize: 417988 KiB
Current children cumulated memory: 355488 KiB

[startup+688 s]*
/proc/loadavg: 1.05 1.08 1.09 2/247 61248
/proc/meminfo: memFree=128910212/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=419460 memory=356512 CPUtime=686.47 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 57240 0 0 0 68581 66 0 0 20 0 1 0 59529811 429527040 89128 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 104865 89128 1280 1200 0 103345 0
Current children cumulated CPU time: 686.47 s
Current children cumulated vsize: 419460 KiB
Current children cumulated memory: 356512 KiB

[startup+689.6 s]
/proc/loadavg: 1.05 1.08 1.09 2/247 61248
/proc/meminfo: memFree=128913984/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=420020 memory=357024 CPUtime=688.06 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 57376 0 0 0 68740 66 0 0 20 0 1 0 59529811 430100480 89256 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 105005 89256 1280 1200 0 103485 0
Current children cumulated CPU time: 688.06 s
Current children cumulated vsize: 420020 KiB
Current children cumulated memory: 357024 KiB

[startup+690.4 s]
/proc/loadavg: 1.05 1.08 1.09 2/247 61248
/proc/meminfo: memFree=128915616/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=420020 memory=357024 CPUtime=688.86 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 57376 0 0 0 68820 66 0 0 20 0 1 0 59529811 430100480 89256 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 105005 89256 1280 1200 0 103485 0
Current children cumulated CPU time: 688.86 s
Current children cumulated vsize: 420020 KiB
Current children cumulated memory: 357024 KiB

[startup+691.2 s]
/proc/loadavg: 1.05 1.08 1.09 2/247 61248
/proc/meminfo: memFree=128915904/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=420308 memory=357152 CPUtime=689.66 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 57409 0 0 0 68900 66 0 0 20 0 1 0 59529811 430395392 89288 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 105077 89288 1280 1200 0 103557 0
Current children cumulated CPU time: 689.66 s
Current children cumulated vsize: 420308 KiB
Current children cumulated memory: 357152 KiB

[startup+691.6 s]
/proc/loadavg: 1.05 1.08 1.09 2/247 61248
/proc/meminfo: memFree=128915904/131249996 swapFree=33010160/33010684
[pid=61214] ppid=61211 vsize=252252 memory=245520 CPUtime=690.05 cores=0,2
/proc/61214/stat : 61214 (Exact) R 61211 61214 60782 0 -1 4194304 57440 0 0 0 68939 66 0 0 20 0 1 0 59529811 258306048 61380 18446744073709551615 4198400 9112445 140734598446128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 46776320 140734598449469 140734598449645 140734598449645 140734598455247 0
/proc/61214/statm: 63063 61380 1280 1200 0 61543 0
Current children cumulated CPU time: 690.05 s
Current children cumulated vsize: 252252 KiB
Current children cumulated memory: 245520 KiB

Child status: 30

Real time (s): 691.603
CPU time (s): 690.066
CPU user time (s): 689.4
CPU system time (s): 0.665514
CPU usage (%): 99.7778
Max. virtual memory (cumulated for all children) (KiB): 420308
Max. memory (cumulated for all children) (KiB): 357280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 689.4
system time used= 0.665514
maximum resident set size= 357280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57441
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= 65
involuntary context switches= 1543


# summary of solver processes directly reported to runsolver:
#   pid: 61214
#   total CPU time (s): 690.066
#   total CPU user time (s): 689.4
#   total CPU system time (s): 0.665514

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.12841 second user time and 2.41139 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-02 08:41:54
IDJOB=4482731
IDBENCH=155603
IDSOLVER=3317
FILE ID=nodeC029/4482731-1751438514
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_2.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-4482731-1751438514/watcher-4482731-1751438514 -o /tmp/evaluation-result-4482731-1751438514/solver-4482731-1751438514 -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=8968824 --ls=360 HOME/instance-4482731-1751438514.opb

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

MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e
RANDOM SEED=8968824

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		: 3597.790
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.663
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.723
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		: 3700.000
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		: 3700.000
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		: 3700.000
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		: 1849.935
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.994
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:        129301044 kB
MemAvailable:   129743436 kB
Buffers:            2128 kB
Cached:          1242984 kB
SwapCached:           40 kB
Active:           504064 kB
Inactive:         803980 kB
Active(anon):      76184 kB
Inactive(anon):     4768 kB
Active(file):     427880 kB
Inactive(file):   799212 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7452 kB
Writeback:             0 kB
AnonPages:         65960 kB
Mapped:           103280 kB
Shmem:             18020 kB
KReclaimable:     109080 kB
Slab:             197644 kB
SReclaimable:     109080 kB
SUnreclaim:        88564 kB
KernelStack:        3984 kB
PageTables:         2580 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:      150312 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 08:53:26