Trace number 4455357

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
RoundingSat nolog (2)OPT3971977 2347.08 2352.95

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_4.opb
MD5SUM7079e2ef0385c9f74a24551721d50a52
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 benchmark3971977
Best CPU time to get the best result obtained on this benchmark338.862
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 119095488
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 53595180278
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 119095488
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 53595180278
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

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.03	c #variables 5100 #constraints 12510
41.19/41.32	c bounds - >= -50 @ 0.0205
41.19/41.32	c bounds 335744027 >= -50 @ 0.814624
41.19/41.32	c bounds 289250659 >= -50 @ 0.81761
41.19/41.32	c bounds 289161557 >= -50 @ 0.824124
41.19/41.32	c bounds 288970891 >= -50 @ 0.831873
41.19/41.32	c bounds 288702429 >= -50 @ 0.871955
41.19/41.32	c bounds 257704237 >= -50 @ 0.894498
41.19/41.32	c bounds 225971967 >= -50 @ 0.901786
41.19/41.32	c bounds 225770509 >= -50 @ 0.905424
41.19/41.32	c bounds 225586255 >= -50 @ 0.911008
41.19/41.32	c bounds 225557083 >= -50 @ 1.27299
41.19/41.32	c bounds 225402253 >= -50 @ 1.31271
41.19/41.32	c bounds 225259565 >= -50 @ 1.34084
41.19/41.32	c bounds 225249471 >= -50 @ 1.48269
41.19/41.32	c bounds 225037791 >= -50 @ 1.49027
41.19/41.32	c bounds 225033073 >= -50 @ 1.68381
41.19/41.32	c bounds 225022797 >= -50 @ 1.71265
41.19/41.32	c bounds 224935613 >= -50 @ 1.88205
41.19/41.32	c bounds 224914259 >= -50 @ 2.25427
41.19/41.32	c bounds 224678247 >= -50 @ 2.31473
41.19/41.32	c bounds 224657509 >= -50 @ 2.3582
41.19/41.32	c bounds 224486145 >= -50 @ 2.44359
41.19/41.32	c bounds 224423169 >= -50 @ 2.5025
41.19/41.32	c bounds 224308121 >= -50 @ 2.53042
41.19/41.32	c bounds 224273897 >= -50 @ 2.66067
41.19/41.32	c bounds 224271347 >= -50 @ 2.75155
41.19/41.32	c bounds 224259605 >= -50 @ 2.76477
41.19/41.32	c bounds 224165501 >= -50 @ 2.77862
41.19/41.32	c bounds 224131163 >= -50 @ 2.84149
41.19/41.32	c bounds 224088291 >= -50 @ 3.23198
41.19/41.32	c #Conflicts:       1000 | #Constraints:      13538
41.19/41.32	c bounds 224023517 >= -50 @ 4.95398
41.19/41.32	c bounds 160278169 >= -50 @ 5.2529
41.19/41.32	c bounds 160208489 >= -50 @ 5.62451
41.19/41.32	c bounds 160196747 >= -50 @ 5.65149
41.19/41.32	c bounds 160154057 >= -50 @ 5.72863
41.19/41.32	c bounds 160119719 >= -50 @ 5.7547
41.19/41.32	c bounds 160075319 >= -50 @ 6.32316
41.19/41.32	c bounds 159948477 >= -50 @ 6.64774
41.19/41.32	c bounds 159937461 >= -50 @ 6.72315
41.19/41.32	c #Conflicts:       2000 | #Constraints:      14547
41.19/41.32	c INPROCESSING
41.19/41.32	c GARBAGE COLLECT
41.19/41.32	c bounds 159930659 >= -50 @ 10.0293
41.19/41.32	c bounds 159878085 >= -50 @ 10.1791
41.19/41.32	c bounds 156919459 >= -50 @ 12.3283
41.19/41.32	c bounds 156909283 >= -50 @ 13.4225
41.19/41.32	c #Conflicts:       3000 | #Constraints:      14528
41.19/41.32	c bounds 156864061 >= -50 @ 14.8349
41.19/41.32	c bounds 156817729 >= -50 @ 15.2244
41.19/41.32	c bounds 156815179 >= -50 @ 19.3795
41.19/41.32	c #Conflicts:       4000 | #Constraints:      15531
41.19/41.32	c INPROCESSING
41.19/41.32	c GARBAGE COLLECT
41.19/41.32	c bounds 73498133 >= -50 @ 24.7535
41.19/41.32	c bounds 73336159 >= -50 @ 24.8126
41.19/41.32	c bounds 61195537 >= -50 @ 24.8467
41.19/41.32	c bounds 60627347 >= -50 @ 24.9081
41.19/41.32	c bounds 57615871 >= -50 @ 25.2285
41.19/41.32	c bounds 57494431 >= -50 @ 25.4874
41.19/41.32	c bounds 57318991 >= -50 @ 25.5259
41.19/41.32	c bounds 57272263 >= -50 @ 25.5704
41.19/41.32	c bounds 57244293 >= -50 @ 25.626
41.19/41.32	c bounds 56486707 >= -50 @ 25.7178
41.19/41.32	c bounds 47430873 >= -50 @ 25.7519
41.19/41.32	c bounds 47367327 >= -50 @ 25.8213
41.19/41.32	c bounds 47314505 >= -50 @ 25.9095
41.19/41.32	c bounds 47299305 >= -50 @ 25.9473
41.19/41.32	c bounds 47244281 >= -50 @ 25.9998
41.19/41.32	c bounds 28853943 >= -50 @ 26.3989
41.19/41.32	c bounds 28731471 >= -50 @ 26.4584
41.19/41.32	c bounds 28677711 >= -50 @ 26.4952
41.19/41.32	c bounds 25750861 >= -50 @ 26.571
41.19/41.32	c bounds 25702813 >= -50 @ 26.6976
41.19/41.32	c bounds 25688135 >= -50 @ 26.7931
41.19/41.32	c bounds 25620685 >= -50 @ 27.3974
41.19/41.32	c #Conflicts:       5000 | #Constraints:      14957
41.19/41.32	c bounds 25571405 >= -50 @ 27.5679
41.19/41.32	c bounds 25541285 >= -50 @ 27.6775
41.19/41.32	c bounds 25479589 >= -50 @ 28.1176
41.19/41.32	c bounds 25426757 >= -50 @ 28.2133
41.19/41.32	c bounds 25365917 >= -50 @ 28.2699
41.19/41.32	c bounds 25360877 >= -50 @ 28.3256
41.19/41.32	c bounds 21252137 >= -50 @ 30.3088
41.19/41.32	c bounds 21244039 >= -50 @ 30.39
41.19/41.32	c bounds 21240169 >= -50 @ 30.45
41.19/41.32	c bounds 21239595 >= -50 @ 31.2557
41.19/41.32	c bounds 21235129 >= -50 @ 31.6975
41.19/41.32	c bounds 21234059 >= -50 @ 31.7507
41.19/41.32	c bounds 19021155 >= -50 @ 31.8137
41.19/41.32	c bounds 19019795 >= -50 @ 31.8836
41.19/41.32	c bounds 18992745 >= -50 @ 31.9483
41.19/41.32	c bounds 18971211 >= -50 @ 32.1174
41.19/41.32	c bounds 18933641 >= -50 @ 32.2115
41.19/41.32	c bounds 18931361 >= -50 @ 32.5016
41.19/41.32	c bounds 18913219 >= -50 @ 32.558
41.19/41.32	c bounds 18913169 >= -50 @ 33.3461
41.19/41.32	c #Conflicts:       6000 | #Constraints:      15977
41.19/41.32	c bounds 17895459 >= -50 @ 33.6381
41.19/41.32	c bounds 17823129 >= -50 @ 33.8388
41.19/41.32	c bounds 17821719 >= -50 @ 33.9474
41.19/41.32	c bounds 17818661 >= -50 @ 34.1626
41.19/41.32	c bounds 17799923 >= -50 @ 34.9883
41.19/41.32	c bounds 17791223 >= -50 @ 35.1929
41.19/41.32	c INPROCESSING
41.19/41.32	c GARBAGE COLLECT
41.19/41.32	c bounds 17769353 >= -50 @ 38.8163
41.19/41.32	c bounds 17755071 >= -50 @ 38.8625
41.19/41.32	c bounds 17743821 >= -50 @ 38.9637
41.19/41.32	c bounds 17677821 >= -50 @ 39.0558
41.19/41.32	c bounds 17575901 >= -50 @ 39.8506
41.19/41.32	c bounds 17537109 >= -50 @ 39.9705
41.19/41.32	c bounds 17536925 >= -50 @ 40.3489
41.19/41.32	c bounds 17535515 >= -50 @ 40.4301
41.19/41.32	c bounds 17380973 >= -50 @ 40.5182
41.19/41.32	c bounds 17171785 >= -50 @ 40.629
41.19/41.32	c bounds 17127163 >= -50 @ 40.7018
102.04/102.35	c bounds 17110675 >= -50 @ 40.819
102.04/102.35	c bounds 14231815 >= -50 @ 40.866
102.04/102.35	c #Conflicts:       7000 | #Constraints:      12299
102.04/102.35	c bounds 14199993 >= -50 @ 44.2789
102.04/102.35	c bounds 14159295 >= -50 @ 44.4154
102.04/102.35	c bounds 14137791 >= -50 @ 44.5697
102.04/102.35	c bounds 14057517 >= -50 @ 44.6726
102.04/102.35	c bounds 14033601 >= -50 @ 44.9262
102.04/102.35	c bounds 14011425 >= -50 @ 46.0544
102.04/102.35	c bounds 13941771 >= -50 @ 46.3285
102.04/102.35	c #Conflicts:       8000 | #Constraints:      13311
102.04/102.35	c bounds 13915371 >= -50 @ 46.9051
102.04/102.35	c bounds 13894899 >= -50 @ 47.0335
102.04/102.35	c bounds 12257667 >= -50 @ 49.2683
102.04/102.35	c bounds 12222063 >= -50 @ 49.5123
102.04/102.35	c bounds 12127561 >= -50 @ 49.59
102.04/102.35	c #Conflicts:       9000 | #Constraints:      14318
102.04/102.35	c INPROCESSING
102.04/102.35	c GARBAGE COLLECT
102.04/102.35	c bounds 11482281 >= -50 @ 55.7591
102.04/102.35	c bounds 11462961 >= -50 @ 55.8151
102.04/102.35	c bounds 11460897 >= -50 @ 56.2712
102.04/102.35	c bounds 11406465 >= -50 @ 56.329
102.04/102.35	c bounds 11342529 >= -50 @ 56.39
102.04/102.35	c bounds 11285525 >= -50 @ 58.2187
102.04/102.35	c bounds 11269827 >= -50 @ 59.0301
102.04/102.35	c #Conflicts:      10000 | #Constraints:      12422
102.04/102.35	c #Conflicts:      11000 | #Constraints:      13422
102.04/102.35	c #Conflicts:      12000 | #Constraints:      14422
102.04/102.35	c INPROCESSING
102.04/102.35	c GARBAGE COLLECT
102.04/102.35	c bounds 11218245 >= -50 @ 70.8299
102.04/102.35	c bounds 11215843 >= -50 @ 71.0829
102.04/102.35	c bounds 11215341 >= -50 @ 71.9279
102.04/102.35	c bounds 11203821 >= -50 @ 71.9989
102.04/102.35	c bounds 11158847 >= -50 @ 72.152
102.04/102.35	c bounds 11148461 >= -50 @ 73.7344
102.04/102.35	c bounds 11146427 >= -50 @ 74.3371
102.04/102.35	c bounds 11115641 >= -50 @ 74.6153
102.04/102.35	c bounds 11108425 >= -50 @ 74.8994
102.04/102.35	c bounds 11107609 >= -50 @ 75.1076
102.04/102.35	c #Conflicts:      13000 | #Constraints:      12832
102.04/102.35	c bounds 11102635 >= -50 @ 82.1789
102.04/102.35	c bounds 11090129 >= -50 @ 82.6948
102.04/102.35	c bounds 11069195 >= -50 @ 83.188
102.04/102.35	c #Conflicts:      14000 | #Constraints:      13835
102.04/102.35	c #Conflicts:      15000 | #Constraints:      14835
102.04/102.35	c INPROCESSING
102.04/102.35	c GARBAGE COLLECT
102.04/102.35	WSVECS04 Frhs2[2585]: 6 0 1.00004 shouldn't be
102.04/102.35	WSVECS04 Frhs2[3999]: 6 -343000 0 shouldn't be
102.04/102.35	WSVECS04 Frhs2[4000]: 6 -166375 0 shouldn't be
102.04/102.35	WSVECS04 Frhs2[4735]: 6 -343000 0 shouldn't be
102.04/102.35	WSVECS04 Frhs2[4835]: 6 -166375 0 shouldn't be
104.33/104.62	c rational objective 1.24717e+06
201.19/201.72	c bounds 11058665 >= -50 @ 104.566
201.19/201.72	c bounds 11046237 >= -50 @ 105.208
201.19/201.72	c bounds 11039247 >= -50 @ 105.556
201.19/201.72	c bounds 11011747 >= -50 @ 106.235
201.19/201.72	c bounds 11010641 >= -50 @ 110.093
201.19/201.72	c #Conflicts:      16000 | #Constraints:      13012
201.19/201.72	c bounds 10970065 >= -50 @ 110.372
201.19/201.72	c bounds 10938463 >= -50 @ 111.089
201.19/201.72	c bounds 10932673 >= -50 @ 112.528
201.19/201.72	c bounds 10932063 >= -50 @ 112.953
201.19/201.72	c bounds 10909785 >= -50 @ 113.268
201.19/201.72	c bounds 10905247 >= -50 @ 113.379
201.19/201.72	c bounds 10902527 >= -50 @ 113.672
201.19/201.72	c bounds 10888639 >= -50 @ 115.237
201.19/201.72	c bounds 10862425 >= -50 @ 116.995
201.19/201.72	c bounds 10856635 >= -50 @ 118.332
201.19/201.72	c #Conflicts:      17000 | #Constraints:      14024
201.19/201.72	c bounds 10855067 >= -50 @ 121.483
201.19/201.72	c bounds 10844299 >= -50 @ 124.846
201.19/201.72	c bounds 10843465 >= -50 @ 125.006
201.19/201.72	c #Conflicts:      18000 | #Constraints:      15028
201.19/201.72	c INPROCESSING
201.19/201.72	c GARBAGE COLLECT
201.19/201.72	c #Conflicts:      19000 | #Constraints:      13026
201.19/201.72	c bounds 10204711 >= -50 @ 142.006
201.19/201.72	c bounds 10193785 >= -50 @ 142.141
201.19/201.72	c bounds 10148953 >= -50 @ 142.284
201.19/201.72	c bounds 10138417 >= -50 @ 142.504
201.19/201.72	c bounds 10128073 >= -50 @ 142.931
201.19/201.72	c bounds 10095203 >= -50 @ 143.101
201.19/201.72	c bounds 10068853 >= -50 @ 143.377
201.19/201.72	c bounds 10047973 >= -50 @ 143.665
201.19/201.72	c bounds 9375601 >= -50 @ 144.323
201.19/201.72	c bounds 9359911 >= -50 @ 144.521
201.19/201.72	c bounds 9290041 >= -50 @ 144.658
201.19/201.72	c bounds 9288715 >= -50 @ 144.825
201.19/201.72	c bounds 9288541 >= -50 @ 145.038
201.19/201.72	c #Conflicts:      20000 | #Constraints:      14039
201.19/201.72	c bounds 6201143 >= -50 @ 155.242
201.19/201.72	c bounds 6146935 >= -50 @ 155.395
201.19/201.72	c bounds 6123575 >= -50 @ 155.557
201.19/201.72	c bounds 6109249 >= -50 @ 155.731
201.19/201.72	c bounds 6059859 >= -50 @ 156.088
201.19/201.72	c bounds 6046073 >= -50 @ 156.295
201.19/201.72	c bounds 6045859 >= -50 @ 156.458
201.19/201.72	c bounds 5990643 >= -50 @ 156.639
201.19/201.72	c bounds 5969027 >= -50 @ 156.918
201.19/201.72	c bounds 5955507 >= -50 @ 157.08
201.19/201.72	c bounds 5954277 >= -50 @ 157.24
201.19/201.72	c bounds 5930849 >= -50 @ 157.396
201.19/201.72	c bounds 5849295 >= -50 @ 157.557
201.19/201.72	c bounds 5840025 >= -50 @ 157.718
201.19/201.72	c bounds 5803395 >= -50 @ 157.879
201.19/201.72	c bounds 5781009 >= -50 @ 158.283
201.19/201.72	c bounds 5753079 >= -50 @ 158.454
201.19/201.72	c bounds 5743629 >= -50 @ 158.627
201.19/201.72	c bounds 5729391 >= -50 @ 158.787
201.19/201.72	c bounds 5693775 >= -50 @ 158.948
201.19/201.72	c bounds 5679295 >= -50 @ 159.108
201.19/201.72	c bounds 5678501 >= -50 @ 159.288
201.19/201.72	c bounds 5656061 >= -50 @ 159.921
201.19/201.72	c bounds 5598653 >= -50 @ 160.073
201.19/201.72	c bounds 5594035 >= -50 @ 160.387
201.19/201.72	c #Conflicts:      21000 | #Constraints:      15064
201.19/201.72	c bounds 5582777 >= -50 @ 160.966
201.19/201.72	c bounds 5576147 >= -50 @ 161.137
201.19/201.72	c bounds 5533187 >= -50 @ 161.436
201.19/201.72	c bounds 5505539 >= -50 @ 161.627
201.19/201.72	c bounds 5436723 >= -50 @ 161.923
201.19/201.72	c bounds 5400533 >= -50 @ 162.105
201.19/201.72	c bounds 5362079 >= -50 @ 162.595
201.19/201.72	c bounds 5349671 >= -50 @ 163.97
201.19/201.72	c bounds 5329529 >= -50 @ 164.449
201.19/201.72	c bounds 5310681 >= -50 @ 164.757
201.19/201.72	c bounds 5294889 >= -50 @ 164.942
201.19/201.72	c bounds 5291919 >= -50 @ 165.134
201.19/201.72	c INPROCESSING
201.19/201.72	c GARBAGE COLLECT
201.19/201.72	c bounds 5289535 >= -50 @ 165.975
201.19/201.72	c bounds 5286815 >= -50 @ 166.382
201.19/201.72	c bounds 5284535 >= -50 @ 166.591
201.19/201.72	c bounds 5283625 >= -50 @ 166.76
201.19/201.72	c bounds 5281415 >= -50 @ 167.298
201.19/201.72	c #Conflicts:      22000 | #Constraints:      11965
201.19/201.72	c bounds 5250005 >= -50 @ 167.428
201.19/201.72	c bounds 5229933 >= -50 @ 167.954
201.19/201.72	c #Conflicts:      23000 | #Constraints:      12967
201.19/201.72	c #Conflicts:      24000 | #Constraints:      13967
201.19/201.72	c #Conflicts:      25000 | #Constraints:      14967
201.19/201.72	c INPROCESSING
201.19/201.72	c GARBAGE COLLECT
201.19/201.72	c bounds 5216879 >= -50 @ 181.706
201.19/201.72	c bounds 5211843 >= -50 @ 182.114
201.19/201.72	c bounds 5197605 >= -50 @ 182.394
201.19/201.72	c #Conflicts:      26000 | #Constraints:      12544
201.19/201.72	c #Conflicts:      27000 | #Constraints:      13544
201.19/201.72	c bounds 5193585 >= -50 @ 186.827
201.19/201.72	c #Conflicts:      28000 | #Constraints:      14545
201.19/201.72	c #Conflicts:      29000 | #Constraints:      15545
201.19/201.72	c INPROCESSING
201.19/201.72	c GARBAGE COLLECT
201.19/201.72	c rational objective 1.24881e+06
235.81/236.42	c bounds 5191857 >= -50 @ 201.116
235.81/236.42	c bounds 5190221 >= -50 @ 201.998
235.81/236.42	c bounds 5141955 >= -50 @ 203.435
235.81/236.42	c #Conflicts:      30000 | #Constraints:      13001
235.81/236.42	c bounds 5141201 >= -50 @ 208.142
235.81/236.42	c bounds 5132427 >= -50 @ 208.251
235.81/236.42	c bounds 5129377 >= -50 @ 208.459
235.81/236.42	c bounds 5108555 >= -50 @ 208.833
235.81/236.42	c bounds 5092047 >= -50 @ 208.953
235.81/236.42	c bounds 5089429 >= -50 @ 209.401
235.81/236.42	c bounds 5050327 >= -50 @ 209.724
235.81/236.42	c bounds 4961201 >= -50 @ 210.244
235.81/236.42	c bounds 4958261 >= -50 @ 210.372
235.81/236.42	c bounds 4952203 >= -50 @ 210.506
235.81/236.42	c bounds 4916899 >= -50 @ 210.648
235.81/236.42	c #Conflicts:      31000 | #Constraints:      14013
235.81/236.42	c bounds 4885863 >= -50 @ 212.666
235.81/236.42	c bounds 4879973 >= -50 @ 212.822
235.81/236.42	c bounds 4843037 >= -50 @ 212.969
235.81/236.42	c bounds 4794781 >= -50 @ 213.113
235.81/236.42	c bounds 4771987 >= -50 @ 213.231
235.81/236.42	c bounds 4731973 >= -50 @ 213.352
235.81/236.42	c bounds 4694389 >= -50 @ 213.464
235.81/236.42	c bounds 4688503 >= -50 @ 213.601
235.81/236.42	c bounds 4641199 >= -50 @ 213.789
235.81/236.42	c bounds 4621493 >= -50 @ 213.932
235.81/236.42	c bounds 4581203 >= -50 @ 214.045
235.81/236.42	c bounds 4547939 >= -50 @ 214.174
235.81/236.42	c bounds 4523749 >= -50 @ 214.315
235.81/236.42	c bounds 4518731 >= -50 @ 214.454
235.81/236.42	c bounds 4497017 >= -50 @ 214.606
235.81/236.42	c bounds 4475609 >= -50 @ 214.847
235.81/236.42	c bounds 4446841 >= -50 @ 215.068
235.81/236.42	c bounds 4441591 >= -50 @ 215.185
235.81/236.42	c bounds 4397931 >= -50 @ 215.43
235.81/236.42	c bounds 4396457 >= -50 @ 215.573
235.81/236.42	c bounds 4379737 >= -50 @ 216.586
235.81/236.42	c bounds 4379667 >= -50 @ 216.741
235.81/236.42	c bounds 4368387 >= -50 @ 217.017
235.81/236.42	c bounds 4359873 >= -50 @ 217.731
235.81/236.42	c bounds 4357633 >= -50 @ 217.91
235.81/236.42	c bounds 4356833 >= -50 @ 218.063
235.81/236.42	c bounds 4355645 >= -50 @ 218.399
235.81/236.42	c bounds 4319741 >= -50 @ 218.525
235.81/236.42	c bounds 4314367 >= -50 @ 218.887
235.81/236.42	c #Conflicts:      32000 | #Constraints:      15052
235.81/236.42	c bounds 4308309 >= -50 @ 221.057
235.81/236.42	c bounds 4303903 >= -50 @ 221.192
235.81/236.42	c bounds 4259901 >= -50 @ 221.892
235.81/236.42	c bounds 4253309 >= -50 @ 222.023
235.81/236.42	c bounds 4251029 >= -50 @ 223.238
235.81/236.42	c bounds 4247991 >= -50 @ 226.549
235.81/236.42	c bounds 4246649 >= -50 @ 226.708
235.81/236.42	c bounds 4245545 >= -50 @ 226.886
235.81/236.42	c bounds 4239483 >= -50 @ 227.348
235.81/236.42	c bounds 4230659 >= -50 @ 227.678
235.81/236.42	c bounds 4229145 >= -50 @ 228.771
235.81/236.42	c bounds 4223449 >= -50 @ 229.543
235.81/236.42	c bounds 4211737 >= -50 @ 229.708
235.81/236.42	c bounds 4210547 >= -50 @ 230.742
235.81/236.42	c bounds 4179887 >= -50 @ 230.963
235.81/236.42	c bounds 4174387 >= -50 @ 231.223
235.81/236.42	c #Conflicts:      33000 | #Constraints:      16080
235.81/236.42	c INPROCESSING
235.81/236.42	c GARBAGE COLLECT
235.81/236.42	c rational objective 1.2489e+06
371.27/372.29	c bounds 4171447 >= -50 @ 235.946
371.27/372.29	c bounds 4169811 >= -50 @ 237.313
371.27/372.29	c #Conflicts:      34000 | #Constraints:      12939
371.27/372.29	c #Conflicts:      35000 | #Constraints:      13941
371.27/372.29	c #Conflicts:      36000 | #Constraints:      14941
371.27/372.29	c #Conflicts:      37000 | #Constraints:      15941
371.27/372.29	c INPROCESSING
371.27/372.29	c GARBAGE COLLECT
371.27/372.29	c bounds 4164749 >= -50 @ 276.214
371.27/372.29	c bounds 4162913 >= -50 @ 276.596
371.27/372.29	c bounds 4161809 >= -50 @ 276.684
371.27/372.29	c bounds 4143903 >= -50 @ 277.38
371.27/372.29	c #Conflicts:      38000 | #Constraints:      12848
371.27/372.29	c bounds 4143471 >= -50 @ 281.077
371.27/372.29	c bounds 4134957 >= -50 @ 281.589
371.27/372.29	c bounds 4131917 >= -50 @ 281.714
371.27/372.29	c bounds 4129707 >= -50 @ 282.023
371.27/372.29	c bounds 4127323 >= -50 @ 283.109
371.27/372.29	c bounds 4125121 >= -50 @ 285.894
371.27/372.29	c bounds 4120715 >= -50 @ 286.066
371.27/372.29	c #Conflicts:      39000 | #Constraints:      13860
371.27/372.29	c #Conflicts:      40000 | #Constraints:      14860
371.27/372.29	c #Conflicts:      41000 | #Constraints:      15860
371.27/372.29	c INPROCESSING
371.27/372.29	c GARBAGE COLLECT
371.27/372.29	c #Conflicts:      42000 | #Constraints:      12613
371.27/372.29	c #Conflicts:      43000 | #Constraints:      13614
371.27/372.29	c #Conflicts:      44000 | #Constraints:      14614
371.27/372.29	c #Conflicts:      45000 | #Constraints:      15614
371.27/372.29	c #Conflicts:      46000 | #Constraints:      16620
371.27/372.29	c INPROCESSING
371.27/372.29	c GARBAGE COLLECT
371.27/372.29	c #Conflicts:      47000 | #Constraints:      13135
371.27/372.29	c #Conflicts:      48000 | #Constraints:      14135
371.27/372.29	c #Conflicts:      49000 | #Constraints:      15186
371.27/372.29	c #Conflicts:      50000 | #Constraints:      16214
371.27/372.29	c #Conflicts:      51000 | #Constraints:      17214
371.27/372.29	c INPROCESSING
371.27/372.29	c GARBAGE COLLECT
371.27/372.29	c rational objective 1.24918e+06
422.83/423.93	c #Conflicts:      52000 | #Constraints:      13594
422.83/423.93	c #Conflicts:      53000 | #Constraints:      14644
422.83/423.93	c #Conflicts:      54000 | #Constraints:      15648
422.83/423.93	c #Conflicts:      55000 | #Constraints:      16649
422.83/423.93	c #Conflicts:      56000 | #Constraints:      17649
422.83/423.93	c INPROCESSING
422.83/423.93	c GARBAGE COLLECT
422.83/423.93	c rational objective 1.2504e+06
547.33/548.70	c #Conflicts:      57000 | #Constraints:      13605
547.33/548.70	c #Conflicts:      58000 | #Constraints:      14605
547.33/548.70	c #Conflicts:      59000 | #Constraints:      15605
547.33/548.70	c #Conflicts:      60000 | #Constraints:      16605
547.33/548.70	c #Conflicts:      61000 | #Constraints:      17605
547.33/548.70	c INPROCESSING
547.33/548.70	c GARBAGE COLLECT
547.33/548.70	c bounds 4118673 >= -50 @ 452.621
547.33/548.70	c bounds 4113583 >= -50 @ 452.75
547.33/548.70	c bounds 4107191 >= -50 @ 452.955
547.33/548.70	c #Conflicts:      62000 | #Constraints:      13597
547.33/548.70	c bounds 4083191 >= -50 @ 453.837
547.33/548.70	c bounds 4062655 >= -50 @ 454.407
547.33/548.70	c #Conflicts:      63000 | #Constraints:      14614
547.33/548.70	c #Conflicts:      64000 | #Constraints:      15614
547.33/548.70	c #Conflicts:      65000 | #Constraints:      16615
547.33/548.70	c #Conflicts:      66000 | #Constraints:      17616
547.33/548.70	c bounds 4056017 >= -50 @ 497.131
547.33/548.70	c INPROCESSING
547.33/548.70	c GARBAGE COLLECT
547.33/548.70	c bounds 4055175 >= -50 @ 498.966
547.33/548.70	c bounds 4041799 >= -50 @ 499.032
547.33/548.70	c bounds 4038119 >= -50 @ 499.461
547.33/548.70	c #Conflicts:      67000 | #Constraints:      13389
547.33/548.70	c #Conflicts:      68000 | #Constraints:      14396
547.33/548.70	c #Conflicts:      69000 | #Constraints:      15434
547.33/548.70	c #Conflicts:      70000 | #Constraints:      16434
547.33/548.70	c #Conflicts:      71000 | #Constraints:      17436
547.33/548.70	c #Conflicts:      72000 | #Constraints:      18437
547.33/548.70	c INPROCESSING
547.33/548.70	c GARBAGE COLLECT
547.33/548.70	WSVECS04 Frhs2[2585]: 6 0 5.61555e-07 shouldn't be
548.03/549.40	c rational objective 1.25047e+06
693.66/695.41	c bounds 4035985 >= -50 @ 548.664
693.66/695.41	c #Conflicts:      73000 | #Constraints:      13902
693.66/695.41	c #Conflicts:      74000 | #Constraints:      14910
693.66/695.41	c #Conflicts:      75000 | #Constraints:      15915
693.66/695.41	c #Conflicts:      76000 | #Constraints:      16929
693.66/695.41	c #Conflicts:      77000 | #Constraints:      17935
693.66/695.41	c #Conflicts:      78000 | #Constraints:      18951
693.66/695.41	c INPROCESSING
693.66/695.41	c GARBAGE COLLECT
693.66/695.41	c #Conflicts:      79000 | #Constraints:      14330
693.66/695.41	c #Conflicts:      80000 | #Constraints:      15341
693.66/695.41	c #Conflicts:      81000 | #Constraints:      16341
693.66/695.41	c #Conflicts:      82000 | #Constraints:      17344
693.66/695.41	c #Conflicts:      83000 | #Constraints:      18344
693.66/695.41	c #Conflicts:      84000 | #Constraints:      19344
693.66/695.41	c INPROCESSING
693.66/695.41	c GARBAGE COLLECT
693.66/695.41	c #Conflicts:      85000 | #Constraints:      14556
693.66/695.41	c #Conflicts:      86000 | #Constraints:      15817
693.66/695.41	c #Conflicts:      87000 | #Constraints:      16822
693.66/695.41	c #Conflicts:      88000 | #Constraints:      17866
693.66/695.41	c #Conflicts:      89000 | #Constraints:      18922
693.66/695.41	c #Conflicts:      90000 | #Constraints:      19923
693.66/695.41	c INPROCESSING
693.66/695.41	c GARBAGE COLLECT
693.66/695.41	WSVECS04 Frhs2[2595]: 6 0 3.06249e-07 shouldn't be
908.83/911.11	c #Conflicts:      91000 | #Constraints:      14647
908.83/911.11	c #Conflicts:      92000 | #Constraints:      15669
908.83/911.11	c #Conflicts:      93000 | #Constraints:      16680
908.83/911.11	c #Conflicts:      94000 | #Constraints:      17686
908.83/911.11	c #Conflicts:      95000 | #Constraints:      18693
908.83/911.11	c #Conflicts:      96000 | #Constraints:      19697
908.83/911.11	c INPROCESSING
908.83/911.11	c GARBAGE COLLECT
908.83/911.11	c #Conflicts:      97000 | #Constraints:      14368
908.83/911.11	c #Conflicts:      98000 | #Constraints:      15375
908.83/911.11	c #Conflicts:      99000 | #Constraints:      16375
908.83/911.11	c #Conflicts:     100000 | #Constraints:      17375
908.83/911.11	c #Conflicts:     101000 | #Constraints:      18377
908.83/911.11	c #Conflicts:     102000 | #Constraints:      19379
908.83/911.11	c #Conflicts:     103000 | #Constraints:      20379
908.83/911.11	c INPROCESSING
908.83/911.11	c GARBAGE COLLECT
908.83/911.11	c #Conflicts:     104000 | #Constraints:      14901
908.83/911.11	c #Conflicts:     105000 | #Constraints:      15902
908.83/911.11	c #Conflicts:     106000 | #Constraints:      16902
908.83/911.11	c #Conflicts:     107000 | #Constraints:      17902
908.83/911.11	c #Conflicts:     108000 | #Constraints:      18903
908.83/911.11	c #Conflicts:     109000 | #Constraints:      19907
908.83/911.11	c #Conflicts:     110000 | #Constraints:      20907
908.83/911.11	c INPROCESSING
908.83/911.11	c GARBAGE COLLECT
908.83/911.11	c rational objective 1.2528e+06
1181.31/1184.38	c #Conflicts:     111000 | #Constraints:      15278
1181.31/1184.38	c #Conflicts:     112000 | #Constraints:      16288
1181.31/1184.38	c #Conflicts:     113000 | #Constraints:      17288
1181.31/1184.38	c #Conflicts:     114000 | #Constraints:      18288
1181.31/1184.38	c #Conflicts:     115000 | #Constraints:      19288
1181.31/1184.38	c #Conflicts:     116000 | #Constraints:      20289
1181.31/1184.38	c #Conflicts:     117000 | #Constraints:      21289
1181.31/1184.38	c INPROCESSING
1181.31/1184.38	c GARBAGE COLLECT
1181.31/1184.38	c #Conflicts:     118000 | #Constraints:      15476
1181.31/1184.38	c #Conflicts:     119000 | #Constraints:      16569
1181.31/1184.38	c #Conflicts:     120000 | #Constraints:      17578
1181.31/1184.38	c #Conflicts:     121000 | #Constraints:      18578
1181.31/1184.38	c #Conflicts:     122000 | #Constraints:      19579
1181.31/1184.38	c #Conflicts:     123000 | #Constraints:      20581
1181.31/1184.38	c #Conflicts:     124000 | #Constraints:      21581
1181.31/1184.38	c INPROCESSING
1181.31/1184.38	c GARBAGE COLLECT
1181.31/1184.38	c #Conflicts:     125000 | #Constraints:      15501
1181.31/1184.38	c #Conflicts:     126000 | #Constraints:      16674
1181.31/1184.38	c #Conflicts:     127000 | #Constraints:      17678
1181.31/1184.38	c #Conflicts:     128000 | #Constraints:      18689
1181.31/1184.38	c #Conflicts:     129000 | #Constraints:      19783
1181.31/1184.38	c #Conflicts:     130000 | #Constraints:      20784
1181.31/1184.38	c #Conflicts:     131000 | #Constraints:      21784
1181.31/1184.38	c INPROCESSING
1181.31/1184.38	c GARBAGE COLLECT
1181.31/1184.38	c #Conflicts:     132000 | #Constraints:      15424
1181.31/1184.38	c #Conflicts:     133000 | #Constraints:      16424
1181.31/1184.38	c #Conflicts:     134000 | #Constraints:      17424
1181.31/1184.38	c #Conflicts:     135000 | #Constraints:      18424
1181.31/1184.38	c #Conflicts:     136000 | #Constraints:      19424
1181.31/1184.38	c #Conflicts:     137000 | #Constraints:      20424
1181.31/1184.38	c #Conflicts:     138000 | #Constraints:      21424
1181.31/1184.38	c #Conflicts:     139000 | #Constraints:      22424
1181.31/1184.38	c INPROCESSING
1181.31/1184.38	c GARBAGE COLLECT
1181.31/1184.38	c rational objective 1.2534e+06
1322.03/1325.44	c #Conflicts:     140000 | #Constraints:      15949
1322.03/1325.44	c #Conflicts:     141000 | #Constraints:      16949
1322.03/1325.44	c #Conflicts:     142000 | #Constraints:      17949
1322.03/1325.44	c #Conflicts:     143000 | #Constraints:      18949
1322.03/1325.44	c #Conflicts:     144000 | #Constraints:      19957
1322.03/1325.44	c #Conflicts:     145000 | #Constraints:      20958
1322.03/1325.44	c #Conflicts:     146000 | #Constraints:      22012
1322.03/1325.44	c #Conflicts:     147000 | #Constraints:      23677
1322.03/1325.44	c INPROCESSING
1322.03/1325.44	c GARBAGE COLLECT
1322.03/1325.44	c #Conflicts:     148000 | #Constraints:      16658
1322.03/1325.44	c #Conflicts:     149000 | #Constraints:      17663
1322.03/1325.44	c #Conflicts:     150000 | #Constraints:      18665
1322.03/1325.44	c #Conflicts:     151000 | #Constraints:      19665
1322.03/1325.44	c #Conflicts:     152000 | #Constraints:      20666
1322.03/1325.44	c #Conflicts:     153000 | #Constraints:      21666
1322.03/1325.44	c #Conflicts:     154000 | #Constraints:      22666
1322.03/1325.44	c #Conflicts:     155000 | #Constraints:      23666
1322.03/1325.44	c INPROCESSING
1322.03/1325.44	c GARBAGE COLLECT
1322.03/1325.44	c rational objective 1.25357e+06
1434.53/1438.22	c #Conflicts:     156000 | #Constraints:      16648
1434.53/1438.22	c #Conflicts:     157000 | #Constraints:      17649
1434.53/1438.22	c #Conflicts:     158000 | #Constraints:      18651
1434.53/1438.22	c #Conflicts:     159000 | #Constraints:      19651
1434.53/1438.22	c #Conflicts:     160000 | #Constraints:      20651
1434.53/1438.22	c #Conflicts:     161000 | #Constraints:      21651
1434.53/1438.22	c #Conflicts:     162000 | #Constraints:      22652
1434.53/1438.22	c #Conflicts:     163000 | #Constraints:      23652
1434.53/1438.22	c INPROCESSING
1434.53/1438.22	c GARBAGE COLLECT
1434.53/1438.22	c #Conflicts:     164000 | #Constraints:      16566
1434.53/1438.22	c #Conflicts:     165000 | #Constraints:      17566
1434.53/1438.22	c #Conflicts:     166000 | #Constraints:      18566
1434.53/1438.22	c #Conflicts:     167000 | #Constraints:      19566
1434.53/1438.22	c #Conflicts:     168000 | #Constraints:      20566
1434.53/1438.22	c #Conflicts:     169000 | #Constraints:      21566
1434.53/1438.22	c #Conflicts:     170000 | #Constraints:      22566
1434.53/1438.22	c #Conflicts:     171000 | #Constraints:      23569
1434.53/1438.22	c INPROCESSING
1434.53/1438.22	c GARBAGE COLLECT
1434.53/1438.22	c rational objective 1.25583e+06
1474.62/1478.46	c #Conflicts:     172000 | #Constraints:      15862
1474.62/1478.46	c #Conflicts:     173000 | #Constraints:      16865
1474.62/1478.46	c #Conflicts:     174000 | #Constraints:      17871
1474.62/1478.46	c #Conflicts:     175000 | #Constraints:      18872
1474.62/1478.46	c #Conflicts:     176000 | #Constraints:      19874
1474.62/1478.46	c #Conflicts:     177000 | #Constraints:      20874
1474.62/1478.46	c #Conflicts:     178000 | #Constraints:      21874
1474.62/1478.46	c #Conflicts:     179000 | #Constraints:      22874
1474.62/1478.46	c #Conflicts:     180000 | #Constraints:      23874
1474.62/1478.46	c INPROCESSING
1474.62/1478.46	c GARBAGE COLLECT
1474.62/1478.46	c rational objective 1.26325e+06
1569.99/1574.01	c #Conflicts:     181000 | #Constraints:      16507
1569.99/1574.01	c #Conflicts:     182000 | #Constraints:      17507
1569.99/1574.01	c #Conflicts:     183000 | #Constraints:      18507
1569.99/1574.01	c #Conflicts:     184000 | #Constraints:      19508
1569.99/1574.01	c bounds 4031055 >= -50 @ 1488.58
1569.99/1574.01	c #Conflicts:     185000 | #Constraints:      20509
1569.99/1574.01	c bounds 4012967 >= -50 @ 1496.07
1569.99/1574.01	c #Conflicts:     186000 | #Constraints:      21510
1569.99/1574.01	c #Conflicts:     187000 | #Constraints:      22510
1569.99/1574.01	c #Conflicts:     188000 | #Constraints:      23510
1569.99/1574.01	c #Conflicts:     189000 | #Constraints:      24511
1569.99/1574.01	c INPROCESSING
1569.99/1574.01	c GARBAGE COLLECT
1569.99/1574.01	c #Conflicts:     190000 | #Constraints:      17058
1569.99/1574.01	c #Conflicts:     191000 | #Constraints:      18058
1569.99/1574.01	c #Conflicts:     192000 | #Constraints:      19058
1569.99/1574.01	c #Conflicts:     193000 | #Constraints:      20058
1569.99/1574.01	c #Conflicts:     194000 | #Constraints:      21058
1569.99/1574.01	c #Conflicts:     195000 | #Constraints:      22058
1569.99/1574.01	c #Conflicts:     196000 | #Constraints:      23059
1569.99/1574.01	c #Conflicts:     197000 | #Constraints:      24063
1569.99/1574.01	c #Conflicts:     198000 | #Constraints:      25064
1569.99/1574.01	c INPROCESSING
1569.99/1574.01	c GARBAGE COLLECT
1569.99/1574.01	c rational objective 1.26571e+06
1618.67/1622.86	c #Conflicts:     199000 | #Constraints:      16719
1618.67/1622.86	c #Conflicts:     200000 | #Constraints:      17719
1618.67/1622.86	c #Conflicts:     201000 | #Constraints:      18719
1618.67/1622.86	c #Conflicts:     202000 | #Constraints:      19722
1618.67/1622.86	c #Conflicts:     203000 | #Constraints:      20724
1618.67/1622.86	c #Conflicts:     204000 | #Constraints:      21724
1618.67/1622.86	c #Conflicts:     205000 | #Constraints:      22724
1618.67/1622.86	c #Conflicts:     206000 | #Constraints:      23724
1618.67/1622.86	c #Conflicts:     207000 | #Constraints:      24724
1618.67/1622.86	c INPROCESSING
1618.67/1622.86	c GARBAGE COLLECT
1618.67/1622.86	c rational objective 1.26865e+06
1706.06/1710.41	c #Conflicts:     208000 | #Constraints:      17057
1706.06/1710.41	c #Conflicts:     209000 | #Constraints:      18057
1706.06/1710.41	c #Conflicts:     210000 | #Constraints:      19057
1706.06/1710.41	c #Conflicts:     211000 | #Constraints:      20057
1706.06/1710.41	c #Conflicts:     212000 | #Constraints:      21057
1706.06/1710.41	c #Conflicts:     213000 | #Constraints:      22058
1706.06/1710.41	c #Conflicts:     214000 | #Constraints:      23059
1706.06/1710.41	c #Conflicts:     215000 | #Constraints:      24059
1706.06/1710.41	c #Conflicts:     216000 | #Constraints:      25059
1706.06/1710.41	c INPROCESSING
1706.06/1710.41	c GARBAGE COLLECT
1706.06/1710.41	c rational objective 1.29035e+06
1763.63/1768.13	c #Conflicts:     217000 | #Constraints:      17028
1763.63/1768.13	c #Conflicts:     218000 | #Constraints:      18029
1763.63/1768.13	c #Conflicts:     219000 | #Constraints:      19029
1763.63/1768.13	c #Conflicts:     220000 | #Constraints:      20031
1763.63/1768.13	c #Conflicts:     221000 | #Constraints:      21031
1763.63/1768.13	c #Conflicts:     222000 | #Constraints:      22034
1763.63/1768.13	c #Conflicts:     223000 | #Constraints:      23035
1763.63/1768.13	c #Conflicts:     224000 | #Constraints:      24035
1763.63/1768.13	c #Conflicts:     225000 | #Constraints:      25035
1763.63/1768.13	c #Conflicts:     226000 | #Constraints:      26035
1763.63/1768.13	c bounds 4006537 >= -50 @ 1755.9
1763.63/1768.13	c INPROCESSING
1763.63/1768.13	c GARBAGE COLLECT
1763.63/1768.13	WSVECS04 Frhs2[2554]: 6 0 1.00004 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2556]: 6 0 1.0001 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2559]: 6 0 1.00007 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2560]: 6 0 1.00008 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2561]: 6 0 1.00004 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2562]: 6 0 1.00009 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2563]: 6 0 1.00002 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2564]: 6 0 1.00005 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2565]: 6 0 1.00001 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2566]: 6 0 1.00009 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2567]: 6 0 1.00008 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2568]: 6 0 1.0001 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2576]: 6 0 1.00007 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2577]: 6 0 1.00002 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2578]: 6 0 1.00005 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2579]: 6 0 1.00007 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2580]: 6 0 1.00007 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2582]: 6 0 1.00003 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2583]: 6 0 1.00008 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2585]: 6 0 1.00007 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2586]: 6 0 1.00009 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2590]: 6 0 1.00004 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2591]: 6 0 1.00005 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2593]: 6 0 1.00002 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2595]: 6 0 1.0001 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2597]: 6 0 1.00003 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2598]: 6 0 1.00007 shouldn't be
1763.63/1768.13	WSVECS04 Frhs2[2600]: 6 0 1.00005 shouldn't be
1763.63/1768.17	c rational objective 1.29071e+06
1827.48/1832.18	c #Conflicts:     227000 | #Constraints:      17697
1827.48/1832.18	c #Conflicts:     228000 | #Constraints:      18697
1827.48/1832.18	c #Conflicts:     229000 | #Constraints:      19697
1827.48/1832.18	c #Conflicts:     230000 | #Constraints:      20697
1827.48/1832.18	c bounds 4000417 >= -50 @ 1773.51
1827.48/1832.18	c bounds 3989319 >= -50 @ 1773.68
1827.48/1832.18	c bounds 3987703 >= -50 @ 1773.77
1827.48/1832.18	c bounds 3984441 >= -50 @ 1775.93
1827.48/1832.18	c bounds 3983191 >= -50 @ 1776.18
1827.48/1832.18	c bounds 3983177 >= -50 @ 1776.28
1827.48/1832.18	c bounds 3971977 >= -50 @ 1777.52
1827.48/1832.18	c #Conflicts:     231000 | #Constraints:      21708
1827.48/1832.18	c #Conflicts:     232000 | #Constraints:      22711
1827.48/1832.18	c #Conflicts:     233000 | #Constraints:      23713
1827.48/1832.18	c #Conflicts:     234000 | #Constraints:      24715
1827.48/1832.18	c #Conflicts:     235000 | #Constraints:      25717
1827.48/1832.18	c #Conflicts:     236000 | #Constraints:      26717
1827.48/1832.18	c INPROCESSING
1827.48/1832.18	c GARBAGE COLLECT
1827.48/1832.18	c rational objective 1.29072e+06
1915.87/1920.76	c #Conflicts:     237000 | #Constraints:      18134
1915.87/1920.76	c #Conflicts:     238000 | #Constraints:      19157
1915.87/1920.76	c #Conflicts:     239000 | #Constraints:      20174
1915.87/1920.76	c #Conflicts:     240000 | #Constraints:      21212
1915.87/1920.76	c #Conflicts:     241000 | #Constraints:      22279
1915.87/1920.76	c #Conflicts:     242000 | #Constraints:      23567
1915.87/1920.76	c #Conflicts:     243000 | #Constraints:      24611
1915.87/1920.76	c #Conflicts:     244000 | #Constraints:      25620
1915.87/1920.76	c #Conflicts:     245000 | #Constraints:      26621
1915.87/1920.76	c #Conflicts:     246000 | #Constraints:      27681
1915.87/1920.76	c INPROCESSING
1915.87/1920.76	c GARBAGE COLLECT
1915.87/1920.76	c rational objective 1.29084e+06
1980.71/1985.72	c #Conflicts:     247000 | #Constraints:      18608
1980.71/1985.72	c #Conflicts:     248000 | #Constraints:      19609
1980.71/1985.72	c #Conflicts:     249000 | #Constraints:      20609
1980.71/1985.72	c #Conflicts:     250000 | #Constraints:      21610
1980.71/1985.72	c #Conflicts:     251000 | #Constraints:      22614
1980.71/1985.72	c #Conflicts:     252000 | #Constraints:      23615
1980.71/1985.72	c #Conflicts:     253000 | #Constraints:      24658
1980.71/1985.72	c #Conflicts:     254000 | #Constraints:      25670
1980.71/1985.72	c #Conflicts:     255000 | #Constraints:      26671
1980.71/1985.72	c #Conflicts:     256000 | #Constraints:      27675
1980.71/1985.72	c INPROCESSING
1980.71/1985.72	c GARBAGE COLLECT
1980.71/1985.72	c rational objective 1.29398e+06
2120.47/2125.86	c #Conflicts:     257000 | #Constraints:      18491
2120.47/2125.86	c #Conflicts:     258000 | #Constraints:      19494
2120.47/2125.86	c #Conflicts:     259000 | #Constraints:      20495
2120.47/2125.86	c #Conflicts:     260000 | #Constraints:      21495
2120.47/2125.86	c #Conflicts:     261000 | #Constraints:      22495
2120.47/2125.86	c #Conflicts:     262000 | #Constraints:      23495
2120.47/2125.86	c #Conflicts:     263000 | #Constraints:      24497
2120.47/2125.86	c #Conflicts:     264000 | #Constraints:      25499
2120.47/2125.86	c #Conflicts:     265000 | #Constraints:      26500
2120.47/2125.86	c #Conflicts:     266000 | #Constraints:      27500
2120.47/2125.86	c INPROCESSING
2120.47/2125.86	c GARBAGE COLLECT
2120.47/2125.86	c #Conflicts:     267000 | #Constraints:      18144
2120.47/2125.86	c #Conflicts:     268000 | #Constraints:      19144
2120.47/2125.86	c #Conflicts:     269000 | #Constraints:      20144
2120.47/2125.86	c #Conflicts:     270000 | #Constraints:      21144
2120.47/2125.86	c #Conflicts:     271000 | #Constraints:      22144
2120.47/2125.86	c #Conflicts:     272000 | #Constraints:      23144
2120.47/2125.86	c #Conflicts:     273000 | #Constraints:      24144
2120.47/2125.86	c #Conflicts:     274000 | #Constraints:      25144
2120.47/2125.86	c #Conflicts:     275000 | #Constraints:      26145
2120.47/2125.86	c #Conflicts:     276000 | #Constraints:      27145
2120.47/2125.86	c #Conflicts:     277000 | #Constraints:      28145
2120.47/2125.86	c INPROCESSING
2120.47/2125.86	c GARBAGE COLLECT
2120.47/2125.86	c rational objective 1.30059e+06
2261.34/2267.05	c #Conflicts:     278000 | #Constraints:      18742
2261.34/2267.05	c #Conflicts:     279000 | #Constraints:      19742
2261.34/2267.05	c #Conflicts:     280000 | #Constraints:      20742
2261.34/2267.05	c #Conflicts:     281000 | #Constraints:      21742
2261.34/2267.05	c #Conflicts:     282000 | #Constraints:      22744
2261.34/2267.05	c #Conflicts:     283000 | #Constraints:      23753
2261.34/2267.05	c #Conflicts:     284000 | #Constraints:      24766
2261.34/2267.05	c #Conflicts:     285000 | #Constraints:      25777
2261.34/2267.05	c #Conflicts:     286000 | #Constraints:      26815
2261.34/2267.05	c #Conflicts:     287000 | #Constraints:      27867
2261.34/2267.05	c #Conflicts:     288000 | #Constraints:      28890
2261.34/2267.05	c INPROCESSING
2261.34/2267.05	c GARBAGE COLLECT
2261.34/2267.05	c #Conflicts:     289000 | #Constraints:      19209
2261.34/2267.05	c #Conflicts:     290000 | #Constraints:      20212
2261.34/2267.05	c #Conflicts:     291000 | #Constraints:      21212
2261.34/2267.05	c #Conflicts:     292000 | #Constraints:      22214
2261.34/2267.05	c #Conflicts:     293000 | #Constraints:      23214
2261.34/2267.05	c #Conflicts:     294000 | #Constraints:      24214
2261.34/2267.05	c #Conflicts:     295000 | #Constraints:      25214
2261.34/2267.05	c #Conflicts:     296000 | #Constraints:      26215
2261.34/2267.05	c #Conflicts:     297000 | #Constraints:      27216
2261.34/2267.05	c #Conflicts:     298000 | #Constraints:      28216
2261.34/2267.05	c #Conflicts:     299000 | #Constraints:      29216
2261.34/2267.05	c INPROCESSING
2261.34/2267.05	c GARBAGE COLLECT
2261.34/2267.05	c rational objective 1.29119e+06
2323.78/2329.66	c #Conflicts:     300000 | #Constraints:      19354
2323.78/2329.66	c #Conflicts:     301000 | #Constraints:      20367
2323.78/2329.66	c #Conflicts:     302000 | #Constraints:      21379
2323.78/2329.66	c #Conflicts:     303000 | #Constraints:      22379
2323.78/2329.66	c #Conflicts:     304000 | #Constraints:      23379
2323.78/2329.66	c #Conflicts:     305000 | #Constraints:      24379
2323.78/2329.66	c #Conflicts:     306000 | #Constraints:      25379
2323.78/2329.66	c #Conflicts:     307000 | #Constraints:      26379
2323.78/2329.66	c #Conflicts:     308000 | #Constraints:      27379
2323.78/2329.66	c #Conflicts:     309000 | #Constraints:      28380
2323.78/2329.66	c #Conflicts:     310000 | #Constraints:      29380
2323.78/2329.66	c INPROCESSING
2323.78/2329.66	c GARBAGE COLLECT
2323.78/2329.66	c rational objective 1.29437e+06
2347.02/2352.94	c #Conflicts:     311000 | #Constraints:      17886
2347.02/2352.94	c #Conflicts:     312000 | #Constraints:      18886
2347.02/2352.94	c #Conflicts:     313000 | #Constraints:      19886
2347.02/2352.94	c #Conflicts:     314000 | #Constraints:      20886
2347.02/2352.94	c #Conflicts:     315000 | #Constraints:      21886
2347.02/2352.94	c #Conflicts:     316000 | #Constraints:      22886
2347.02/2352.94	c #Conflicts:     317000 | #Constraints:      23886
2347.02/2352.94	c bounds 3971977 >= -50 @ 2339.18
2347.02/2352.94	c cpu time 2339.18 s
2347.02/2352.94	c deterministic time 287276285131 2.87e+11
2347.02/2352.94	c optimization time 0.290625 s
2347.02/2352.94	c total solve time 2338.87 s
2347.02/2352.94	c core-guided solve time 1275.38 s
2347.02/2352.94	c propagation time 1730.44 s
2347.02/2352.94	c conflict analysis time 462.107 s
2347.02/2352.94	c propagations 88136918
2347.02/2352.94	c resolve steps 9443504
2347.02/2352.94	c decisions 2301546
2347.02/2352.94	c conflicts 317241
2347.02/2352.94	c restarts 764
2347.02/2352.94	c inprocessing phases 47
2347.02/2352.94	c input clauses 11126
2347.02/2352.94	c input cardinalities 9
2347.02/2352.94	c input general constraints 1684
2347.02/2352.94	c input average constraint length 93.71
2347.02/2352.94	c input average constraint degree 302894796.02
2347.02/2352.94	c learned clauses 76194
2347.02/2352.94	c learned cardinalities 705
2347.02/2352.94	c learned general constraints 243224
2347.02/2352.94	c learned average constraint length 1698.38
2347.02/2352.94	c learned average constraint degree 4104174474.64
2347.02/2352.94	c watched constraints 125742
2347.02/2352.94	c counting constraints 119166
2347.02/2352.94	c gcd simplifications 11265
2347.02/2352.94	c detected cardinalities 55
2347.02/2352.94	c weakened non-implied lits 60968413
2347.02/2352.94	c weakened non-implying lits 590037
2347.02/2352.94	c original variables 5100
2347.02/2352.94	c clausal propagations 61375552
2347.02/2352.94	c cardinality propagations 1071888
2347.02/2352.94	c watched propagations 4678792
2347.02/2352.94	c counting propagations 20811216
2347.02/2352.94	c watch lookups 31250237329
2347.02/2352.94	c watch backjump lookups 30043944520
2347.02/2352.94	c watch checks 138830252254
2347.02/2352.94	c propagation checks 85522598201
2347.02/2352.94	c constraint additions 1447459513
2347.02/2352.94	c trail pops 90751804
2347.02/2352.94	c formula constraints 12510
2347.02/2352.94	c learned constraints 317092
2347.02/2352.94	c bound constraints 309
2347.02/2352.94	c core-guided constraints 0
2347.02/2352.94	c encountered formula constraints 8350246
2347.02/2352.94	c encountered learned constraints 1399130
2347.02/2352.94	c encountered bound constraints 2221
2347.02/2352.94	c encountered core-guided constraints 0
2347.02/2352.94	c LP total time 192.367 s
2347.02/2352.94	c LP solve time 171.27 s
2347.02/2352.94	c LP constraints added 12583
2347.02/2352.94	c LP constraints removed 53
2347.02/2352.94	c LP pivots internal 318100
2347.02/2352.94	c LP pivots root 284945
2347.02/2352.94	c LP calls 2993
2347.02/2352.94	c LP optimalities 86
2347.02/2352.94	c LP no pivot count 22
2347.02/2352.94	c LP infeasibilities 2879
2347.02/2352.94	c LP valid Farkas constraints 2864
2347.02/2352.94	c LP learned Farkas constraints 148
2347.02/2352.94	c LP basis resets 39
2347.02/2352.94	c LP cycling count 1
2347.02/2352.94	c LP singular count 16
2347.02/2352.94	c LP no primal count 0
2347.02/2352.94	c LP no farkas count 15
2347.02/2352.94	c LP other issue count 7
2347.02/2352.94	c LP Gomory cuts 19
2347.02/2352.94	c LP learned cuts 54
2347.02/2352.94	c LP deleted cuts 53
2347.02/2352.94	c LP encountered Gomory constraints 0
2347.02/2352.94	c LP encountered Farkas constraints 8244
2347.02/2352.94	c LP encountered learned Farkas constraints 756
2347.02/2352.94	c CG auxiliary variables introduced 0
2347.02/2352.94	c CG solutions found 309
2347.02/2352.94	c CG cores constructed 0
2347.02/2352.94	c CG core cardinality constraints returned 0
2347.02/2352.94	c CG unit cores 0
2347.02/2352.94	c CG single cores 0
2347.02/2352.94	c CG blocks removed during cardinality reduction 0
2347.02/2352.94	c CG first core best 0
2347.02/2352.94	c CG decision core best 0
2347.02/2352.94	c CG core reduction tie 0
2347.02/2352.94	c CG core degree average 0.00
2347.02/2352.94	c CG core slack average 0.00
2347.02/2352.94	o 3971977
2347.02/2352.94	s OPTIMUM FOUND
2347.02/2352.94	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	3971977

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: 63968 MiB (60342 MiB free)
  memory of node 1: 64473 MiB (62563 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455357-1721462631/watcher-4455357-1721462631 -o /tmp/evaluation-result-4455357-1721462631/solver-4455357-1721462631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721460068-1056504 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455357-1721462631.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1058627, runsolver pid=1058624
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 4.07 4.11 4.01 5/256 1058628
/proc/meminfo: memFree=125842700/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=48568 memory=18512 CPUtime=0.1 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 3991 0 0 0 8 2 0 0 20 0 1 0 198429284 49733632 4628 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 12142 4628 1755 922 0 4094 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48568 KiB
Current children cumulated memory: 18512 KiB

[startup+0.205671 s]*
/proc/loadavg: 4.07 4.11 4.01 5/256 1058628
/proc/meminfo: memFree=125842196/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=48948 memory=19304 CPUtime=0.2 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 4150 0 0 0 18 2 0 0 20 0 1 0 198429284 50122752 4826 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 12237 4826 1755 922 0 4189 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48948 KiB
Current children cumulated memory: 19304 KiB

[startup+0.305477 s]*
/proc/loadavg: 4.07 4.11 4.01 5/256 1058628
/proc/meminfo: memFree=125841412/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=49312 memory=19568 CPUtime=0.3 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 4244 0 0 0 28 2 0 0 20 0 1 0 198429284 50495488 4892 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 12328 4892 1755 922 0 4280 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49312 KiB
Current children cumulated memory: 19568 KiB

[startup+0.700223 s]
/proc/loadavg: 4.07 4.11 4.01 5/256 1058628
/proc/meminfo: memFree=125840936/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=49944 memory=20096 CPUtime=0.69 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 4407 0 0 0 66 3 0 0 20 0 1 0 198429284 51142656 5024 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 12486 5024 1755 922 0 4438 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49944 KiB
Current children cumulated memory: 20096 KiB

[startup+1.5002 s]
/proc/loadavg: 4.07 4.11 4.01 5/256 1058628
/proc/meminfo: memFree=125834080/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=73220 memory=47124 CPUtime=1.49 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 9524 0 0 0 143 6 0 0 20 0 1 0 198429284 74977280 11781 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 18305 11781 1848 922 0 10257 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 73220 KiB
Current children cumulated memory: 47124 KiB

[startup+3.1055 s]
/proc/loadavg: 4.07 4.11 4.01 5/256 1058628
/proc/meminfo: memFree=125774732/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=114264 memory=85312 CPUtime=3.09 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 16024 0 0 0 300 9 0 0 20 0 1 0 198429284 117006336 21328 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 28566 21328 1848 922 0 20518 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 114264 KiB
Current children cumulated memory: 85312 KiB

[startup+6.30021 s]
/proc/loadavg: 4.06 4.11 4.01 5/256 1058630
/proc/meminfo: memFree=125725784/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=168084 memory=137620 CPUtime=6.28 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 24466 0 0 0 614 14 0 0 20 0 1 0 198429284 172118016 34405 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 42021 34405 1848 922 0 33973 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 168084 KiB
Current children cumulated memory: 137620 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.01 5/256 1058631
/proc/meminfo: memFree=125693592/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=208284 memory=164084 CPUtime=12.66 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 28232 0 0 0 1244 22 0 0 20 0 1 0 198429284 213282816 41021 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 52071 41021 1864 922 0 44023 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 208284 KiB
Current children cumulated memory: 164084 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.13 4.02 5/256 1058634
/proc/meminfo: memFree=125599388/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=324980 memory=252940 CPUtime=25.43 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 42769 0 0 0 2509 34 0 0 20 0 1 0 198429284 332779520 63235 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 81245 63235 1864 922 0 73197 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 324980 KiB
Current children cumulated memory: 252940 KiB

[startup+51.1054 s]
/proc/loadavg: 4.12 4.12 4.01 5/255 1058637
/proc/meminfo: memFree=125568248/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=347684 memory=281904 CPUtime=50.97 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 48089 0 0 0 5037 60 0 0 20 0 1 0 198429284 356028416 70476 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 86921 70476 1864 922 0 78873 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 347684 KiB
Current children cumulated memory: 281904 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.13 4.02 5/255 1058645
/proc/meminfo: memFree=125473156/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=425280 memory=366980 CPUtime=102.04 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 63224 0 0 0 10122 82 0 0 20 0 1 0 198429284 435486720 91745 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 106320 91745 1864 922 0 98272 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 366980 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.10 4.01 5/255 1058656
/proc/meminfo: memFree=125432412/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=528456 memory=399516 CPUtime=161.89 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 68377 0 0 0 16080 109 0 0 20 0 1 0 198429284 541138944 99879 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 132114 99879 1864 922 0 124066 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 528456 KiB
Current children cumulated memory: 399516 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.01 5/254 1058667
/proc/meminfo: memFree=125395464/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=565848 memory=429212 CPUtime=221.74 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 75883 0 0 0 22041 133 0 0 20 0 1 0 198429284 579428352 107303 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 141462 107303 1864 922 0 133414 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 565848 KiB
Current children cumulated memory: 429212 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.02 5/254 1058678
/proc/meminfo: memFree=125370800/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=573284 memory=448832 CPUtime=281.59 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 78286 0 0 0 28006 153 0 0 20 0 1 0 198429284 587042816 112208 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 143321 112208 1864 922 0 135273 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 573284 KiB
Current children cumulated memory: 448832 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.12 4.03 5/254 1058688
/proc/meminfo: memFree=125341364/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=599696 memory=471468 CPUtime=341.44 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 83934 0 0 0 33972 172 0 0 20 0 1 0 198429284 614088704 117867 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 149924 117867 1991 922 0 141876 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 599696 KiB
Current children cumulated memory: 471468 KiB

[startup+402.3 s]
/proc/loadavg: 4.33 4.18 4.06 5/256 1058702
/proc/meminfo: memFree=125336604/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=601244 memory=473204 CPUtime=401.29 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 86109 0 0 0 39937 192 0 0 20 0 1 0 198429284 615673856 118301 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 150311 118301 1991 922 0 142263 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 601244 KiB
Current children cumulated memory: 473204 KiB

[startup+462.3 s]
/proc/loadavg: 4.24 4.18 4.06 5/256 1058714
/proc/meminfo: memFree=125215320/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=600960 memory=473408 CPUtime=461.14 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 87771 0 0 0 45903 211 0 0 20 0 1 0 198429284 615383040 118352 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 150240 118352 1991 922 0 142192 0

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

/proc/loadavg: 4.13 4.15 4.11 5/255 1059738
/proc/meminfo: memFree=119035476/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=840352 memory=676956 CPUtime=1957.37 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 121132 0 0 0 195072 665 0 0 20 0 1 0 198429284 860520448 169239 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 210088 169239 1991 922 0 202040 0
Current children cumulated CPU time: 1957.37 s
Current children cumulated vsize: 840352 KiB
Current children cumulated memory: 676956 KiB

[startup+2022.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/254 1059750
/proc/meminfo: memFree=118824244/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=844664 memory=681268 CPUtime=2017.22 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 122420 0 0 0 201037 685 0 0 20 0 1 0 198429284 864935936 170317 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 211166 170317 1991 922 0 203118 0
Current children cumulated CPU time: 2017.22 s
Current children cumulated vsize: 844664 KiB
Current children cumulated memory: 681268 KiB

[startup+2082.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/254 1059760
/proc/meminfo: memFree=117963892/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=844664 memory=681268 CPUtime=2077.08 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 122747 0 0 0 207006 702 0 0 20 0 1 0 198429284 864935936 170317 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 211166 170317 1991 922 0 203118 0
Current children cumulated CPU time: 2077.08 s
Current children cumulated vsize: 844664 KiB
Current children cumulated memory: 681268 KiB

[startup+2142.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/254 1059770
/proc/meminfo: memFree=117221556/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=842272 memory=678876 CPUtime=2136.93 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 123348 0 0 0 212977 716 0 0 20 0 1 0 198429284 862486528 169719 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 210568 169719 1991 922 0 202520 0
Current children cumulated CPU time: 2136.93 s
Current children cumulated vsize: 842272 KiB
Current children cumulated memory: 678876 KiB

[startup+2202.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/257 1059785
/proc/meminfo: memFree=116873332/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=842272 memory=678876 CPUtime=2196.78 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 123673 0 0 0 218949 729 0 0 20 0 1 0 198429284 862486528 169719 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 210568 169719 1991 922 0 202520 0
Current children cumulated CPU time: 2196.78 s
Current children cumulated vsize: 842272 KiB
Current children cumulated memory: 678876 KiB

[startup+2262.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1059797
/proc/meminfo: memFree=115386028/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=840736 memory=677508 CPUtime=2256.64 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 124706 0 0 0 224908 756 0 0 20 0 1 0 198429284 860913664 169377 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 210184 169377 1991 922 0 202136 0
Current children cumulated CPU time: 2256.64 s
Current children cumulated vsize: 840736 KiB
Current children cumulated memory: 677508 KiB

[startup+2322.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1059807
/proc/meminfo: memFree=115206112/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=845168 memory=681812 CPUtime=2316.5 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 126110 0 0 0 230874 776 0 0 20 0 1 0 198429284 865452032 170453 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 211292 170453 1991 922 0 203244 0
Current children cumulated CPU time: 2316.5 s
Current children cumulated vsize: 845168 KiB
Current children cumulated memory: 681812 KiB

[startup+2352.95 s]
# the end of solver process 1058627 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=2339.18 s, system=7.90189 s

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

[startup+2329.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1059809
/proc/meminfo: memFree=115185820/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=845168 memory=681812 CPUtime=2323.78 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 126201 0 0 0 231597 781 0 0 20 0 1 0 198429284 865452032 170453 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 211292 170453 1991 922 0 203244 0
Current children cumulated CPU time: 2323.78 s
Current children cumulated vsize: 845168 KiB
Current children cumulated memory: 681812 KiB

[startup+2342.4 s]
/proc/loadavg: 4.22 4.14 4.10 5/257 1059810
/proc/meminfo: memFree=115148392/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=845168 memory=681812 CPUtime=2336.55 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 126201 0 0 0 232868 787 0 0 20 0 1 0 198429284 865452032 170453 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 211292 170453 1991 922 0 203244 0
Current children cumulated CPU time: 2336.55 s
Current children cumulated vsize: 845168 KiB
Current children cumulated memory: 681812 KiB

[startup+2348.8 s]
/proc/loadavg: 4.20 4.14 4.10 5/257 1059813
/proc/meminfo: memFree=115131716/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=845168 memory=681812 CPUtime=2342.93 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 126319 0 0 0 233505 788 0 0 20 0 1 0 198429284 865452032 170453 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 211292 170453 1991 922 0 203244 0
Current children cumulated CPU time: 2342.93 s
Current children cumulated vsize: 845168 KiB
Current children cumulated memory: 681812 KiB

[startup+2350.4 s]
/proc/loadavg: 4.27 4.15 4.10 5/257 1059813
/proc/meminfo: memFree=115126764/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=845168 memory=681812 CPUtime=2344.53 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 126319 0 0 0 233664 789 0 0 20 0 1 0 198429284 865452032 170453 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 211292 170453 1991 922 0 203244 0
Current children cumulated CPU time: 2344.53 s
Current children cumulated vsize: 845168 KiB
Current children cumulated memory: 681812 KiB

[startup+2352 s]*
/proc/loadavg: 4.27 4.15 4.10 5/257 1059813
/proc/meminfo: memFree=115122988/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=845168 memory=681812 CPUtime=2346.13 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 126319 0 0 0 233824 789 0 0 20 0 1 0 198429284 865452032 170453 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 211292 170453 1991 922 0 203244 0
Current children cumulated CPU time: 2346.13 s
Current children cumulated vsize: 845168 KiB
Current children cumulated memory: 681812 KiB

[startup+2352.4 s]
/proc/loadavg: 4.27 4.15 4.10 5/257 1059813
/proc/meminfo: memFree=115122988/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=845168 memory=681812 CPUtime=2346.53 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 126319 0 0 0 233864 789 0 0 20 0 1 0 198429284 865452032 170453 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 211292 170453 1991 922 0 203244 0
Current children cumulated CPU time: 2346.53 s
Current children cumulated vsize: 845168 KiB
Current children cumulated memory: 681812 KiB

[startup+2352.8 s]
/proc/loadavg: 4.27 4.15 4.10 5/257 1059813
/proc/meminfo: memFree=115122988/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=845168 memory=681812 CPUtime=2346.93 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 126319 0 0 0 233904 789 0 0 20 0 1 0 198429284 865452032 170453 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 211292 170453 1991 922 0 203244 0
Current children cumulated CPU time: 2346.93 s
Current children cumulated vsize: 845168 KiB
Current children cumulated memory: 681812 KiB

[startup+2352.9 s]
/proc/loadavg: 4.27 4.15 4.10 5/257 1059813
/proc/meminfo: memFree=115122988/131524600 swapFree=131071996/131071996
[pid=1058627] ppid=1058624 vsize=845168 memory=681812 CPUtime=2347.02 cores=1,3
/proc/1058627/stat : 1058627 (roundingsat) R 1058624 1058627 1056492 0 -1 4194304 126319 0 0 0 233913 789 0 0 20 0 1 0 198429284 865452032 170453 134679101440 4194304 7968373 140735416744992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18223104 140735416751036 140735416751200 140735416751200 140735416758217 0
/proc/1058627/statm: 211292 170453 1991 922 0 203244 0
Current children cumulated CPU time: 2347.02 s
Current children cumulated vsize: 845168 KiB
Current children cumulated memory: 681812 KiB

Child status: 0

Real time (s): 2352.95
CPU time (s): 2347.08
CPU user time (s): 2339.18
CPU system time (s): 7.90189
CPU usage (%): 99.7508
Max. virtual memory (cumulated for all children) (KiB): 845240
Max. memory (cumulated for all children) (KiB): 681812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2339.18
system time used= 7.90189
maximum resident set size= 681812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126338
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= 84
involuntary context switches= 1446


# summary of solver processes directly reported to runsolver:
#   pid: 1058627
#   total CPU time (s): 2347.08
#   total CPU user time (s): 2339.18
#   total CPU system time (s): 7.90189

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.81383 second user time and 10.3436 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-20 10:04:04
IDJOB=4455357
IDBENCH=155602
IDSOLVER=3084
FILE ID=nodeC026/4455357-1721462631
RUNJOBID= nodeC026-1721460068-1056504
SLURM_JOB_ID= 7545710
Free space on /tmp= 890052 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_4.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455357-1721462631/watcher-4455357-1721462631 -o /tmp/evaluation-result-4455357-1721462631/solver-4455357-1721462631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721460068-1056504 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455357-1721462631.opb

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

MD5SUM BENCH= 7079e2ef0385c9f74a24551721d50a52
RANDOM SEED=1659036737

nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3650.768
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3655.562
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
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.163
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3658.146
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
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		: 3650.897
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3667.120
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
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.109
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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.502
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125854816 kB
MemAvailable:   127628528 kB
Buffers:          598820 kB
Cached:          2004928 kB
SwapCached:            0 kB
Active:          1135492 kB
Inactive:        3885612 kB
Active(anon):       1548 kB
Inactive(anon):  2461716 kB
Active(file):    1133944 kB
Inactive(file):  1423896 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5828 kB
Writeback:             0 kB
AnonPages:       2412036 kB
Mapped:           113488 kB
Shmem:             45912 kB
KReclaimable:     111392 kB
Slab:             225568 kB
SReclaimable:     111392 kB
SUnreclaim:       114176 kB
KernelStack:        4144 kB
PageTables:        13916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3301152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1712128 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      283348 kB
DirectMap2M:    33044480 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC026 at 2024-07-20 10:43:17