Trace number 4429641

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 (1)OPT3971977 2398.02 2404.2

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
40.68/40.82	c bounds 53595180279 >= -50 @ 0.022511
40.68/40.82	c bounds 335744027 >= -50 @ 0.805511
40.68/40.82	c bounds 289250659 >= -50 @ 0.808333
40.68/40.82	c bounds 289161557 >= -50 @ 0.814848
40.68/40.82	c bounds 288970891 >= -50 @ 0.82175
40.68/40.82	c bounds 288702429 >= -50 @ 0.858462
40.68/40.82	c bounds 257704237 >= -50 @ 0.883681
40.68/40.82	c bounds 225971967 >= -50 @ 0.891663
40.68/40.82	c bounds 225770509 >= -50 @ 0.896736
40.68/40.82	c bounds 225586255 >= -50 @ 0.902776
40.68/40.82	c bounds 225557083 >= -50 @ 1.28268
40.68/40.82	c bounds 225402253 >= -50 @ 1.32943
40.68/40.82	c bounds 225259565 >= -50 @ 1.35809
40.68/40.82	c bounds 225249471 >= -50 @ 1.495
40.68/40.82	c bounds 225037791 >= -50 @ 1.50247
40.68/40.82	c bounds 225033073 >= -50 @ 1.70012
40.68/40.82	c bounds 225022797 >= -50 @ 1.73262
40.68/40.82	c bounds 224935613 >= -50 @ 1.9224
40.68/40.82	c bounds 224914259 >= -50 @ 2.32065
40.68/40.82	c bounds 224678247 >= -50 @ 2.37881
40.68/40.82	c bounds 224657509 >= -50 @ 2.42249
40.68/40.82	c bounds 224486145 >= -50 @ 2.50934
40.68/40.82	c bounds 224423169 >= -50 @ 2.56885
40.68/40.82	c bounds 224308121 >= -50 @ 2.59722
40.68/40.82	c bounds 224273897 >= -50 @ 2.72064
40.68/40.82	c bounds 224271347 >= -50 @ 2.80922
40.68/40.82	c bounds 224259605 >= -50 @ 2.82273
40.68/40.82	c bounds 224165501 >= -50 @ 2.83577
40.68/40.82	c bounds 224131163 >= -50 @ 2.89437
40.68/40.82	c bounds 224088291 >= -50 @ 3.263
40.68/40.82	c #Conflicts:       1000 | #Constraints:      13538
40.68/40.82	c bounds 224023517 >= -50 @ 4.93599
40.68/40.82	c bounds 160278169 >= -50 @ 5.23496
40.68/40.82	c bounds 160208489 >= -50 @ 5.60721
40.68/40.82	c bounds 160196747 >= -50 @ 5.63533
40.68/40.82	c bounds 160154057 >= -50 @ 5.71259
40.68/40.82	c bounds 160119719 >= -50 @ 5.74037
40.68/40.82	c bounds 160075319 >= -50 @ 6.3151
40.68/40.82	c bounds 159948477 >= -50 @ 6.64653
40.68/40.82	c bounds 159937461 >= -50 @ 6.72129
40.68/40.82	c #Conflicts:       2000 | #Constraints:      14547
40.68/40.82	c INPROCESSING
40.68/40.82	c GARBAGE COLLECT
40.68/40.82	c bounds 159930659 >= -50 @ 9.99755
40.68/40.82	c bounds 159878085 >= -50 @ 10.1566
40.68/40.82	c bounds 156919459 >= -50 @ 12.4004
40.68/40.82	c bounds 156909283 >= -50 @ 13.5685
40.68/40.82	c #Conflicts:       3000 | #Constraints:      14528
40.68/40.82	c bounds 156864061 >= -50 @ 15.0007
40.68/40.82	c bounds 156817729 >= -50 @ 15.3859
40.68/40.82	c bounds 156815179 >= -50 @ 19.5023
40.68/40.82	c #Conflicts:       4000 | #Constraints:      15531
40.68/40.82	c INPROCESSING
40.68/40.82	c GARBAGE COLLECT
40.68/40.82	c bounds 73498133 >= -50 @ 24.787
40.68/40.82	c bounds 73336159 >= -50 @ 24.8479
40.68/40.82	c bounds 61195537 >= -50 @ 24.8823
40.68/40.82	c bounds 60627347 >= -50 @ 24.9469
40.68/40.82	c bounds 57615871 >= -50 @ 25.2652
40.68/40.82	c bounds 57494431 >= -50 @ 25.5134
40.68/40.82	c bounds 57318991 >= -50 @ 25.5522
40.68/40.82	c bounds 57272263 >= -50 @ 25.5938
40.68/40.82	c bounds 57244293 >= -50 @ 25.6458
40.68/40.82	c bounds 56486707 >= -50 @ 25.7373
40.68/40.82	c bounds 47430873 >= -50 @ 25.7695
40.68/40.82	c bounds 47367327 >= -50 @ 25.8328
40.68/40.82	c bounds 47314505 >= -50 @ 25.9207
40.68/40.82	c bounds 47299305 >= -50 @ 25.9577
40.68/40.82	c bounds 47244281 >= -50 @ 26.0065
40.68/40.82	c bounds 28853943 >= -50 @ 26.3985
40.68/40.82	c bounds 28731471 >= -50 @ 26.4546
40.68/40.82	c bounds 28677711 >= -50 @ 26.4898
40.68/40.82	c bounds 25750861 >= -50 @ 26.5656
40.68/40.82	c bounds 25702813 >= -50 @ 26.6862
40.68/40.82	c bounds 25688135 >= -50 @ 26.7804
40.68/40.82	c bounds 25620685 >= -50 @ 27.3941
40.68/40.82	c #Conflicts:       5000 | #Constraints:      14957
40.68/40.82	c bounds 25571405 >= -50 @ 27.5568
40.68/40.82	c bounds 25541285 >= -50 @ 27.6629
40.68/40.82	c bounds 25479589 >= -50 @ 28.0756
40.68/40.82	c bounds 25426757 >= -50 @ 28.1692
40.68/40.82	c bounds 25365917 >= -50 @ 28.2262
40.68/40.82	c bounds 25360877 >= -50 @ 28.2785
40.68/40.82	c bounds 21252137 >= -50 @ 30.2558
40.68/40.82	c bounds 21244039 >= -50 @ 30.3338
40.68/40.82	c bounds 21240169 >= -50 @ 30.3905
40.68/40.82	c bounds 21239595 >= -50 @ 31.1518
40.68/40.82	c bounds 21235129 >= -50 @ 31.5782
40.68/40.82	c bounds 21234059 >= -50 @ 31.6311
40.68/40.82	c bounds 19021155 >= -50 @ 31.6926
40.68/40.82	c bounds 19019795 >= -50 @ 31.7608
40.68/40.82	c bounds 18992745 >= -50 @ 31.8242
40.68/40.82	c bounds 18971211 >= -50 @ 31.9865
40.68/40.82	c bounds 18933641 >= -50 @ 32.0708
40.68/40.82	c bounds 18931361 >= -50 @ 32.3365
40.68/40.82	c bounds 18913219 >= -50 @ 32.3868
40.68/40.82	c bounds 18913169 >= -50 @ 33.1238
40.68/40.82	c #Conflicts:       6000 | #Constraints:      15977
40.68/40.82	c bounds 17895459 >= -50 @ 33.3969
40.68/40.82	c bounds 17823129 >= -50 @ 33.5734
40.68/40.82	c bounds 17821719 >= -50 @ 33.6712
40.68/40.82	c bounds 17818661 >= -50 @ 33.8693
40.68/40.82	c bounds 17799923 >= -50 @ 34.6427
40.68/40.82	c bounds 17791223 >= -50 @ 34.8363
40.68/40.82	c INPROCESSING
40.68/40.82	c GARBAGE COLLECT
40.68/40.82	c bounds 17769353 >= -50 @ 38.3991
40.68/40.82	c bounds 17755071 >= -50 @ 38.444
40.68/40.82	c bounds 17743821 >= -50 @ 38.5441
40.68/40.82	c bounds 17677821 >= -50 @ 38.6339
40.68/40.82	c bounds 17575901 >= -50 @ 39.4223
40.68/40.82	c bounds 17537109 >= -50 @ 39.5429
40.68/40.82	c bounds 17536925 >= -50 @ 39.9291
40.68/40.82	c bounds 17535515 >= -50 @ 40.0086
40.68/40.82	c bounds 17380973 >= -50 @ 40.0968
40.68/40.82	c bounds 17171785 >= -50 @ 40.2085
100.64/101.00	c bounds 17127163 >= -50 @ 40.2803
100.64/101.00	c bounds 17110675 >= -50 @ 40.3965
100.64/101.00	c bounds 14231815 >= -50 @ 40.4424
100.64/101.00	c #Conflicts:       7000 | #Constraints:      12299
100.64/101.00	c bounds 14199993 >= -50 @ 43.8448
100.64/101.00	c bounds 14159295 >= -50 @ 43.9851
100.64/101.00	c bounds 14137791 >= -50 @ 44.1306
100.64/101.00	c bounds 14057517 >= -50 @ 44.2357
100.64/101.00	c bounds 14033601 >= -50 @ 44.4699
100.64/101.00	c bounds 14011425 >= -50 @ 45.5522
100.64/101.00	c bounds 13941771 >= -50 @ 45.8125
100.64/101.00	c #Conflicts:       8000 | #Constraints:      13311
100.64/101.00	c bounds 13915371 >= -50 @ 46.3733
100.64/101.00	c bounds 13894899 >= -50 @ 46.4945
100.64/101.00	c bounds 12257667 >= -50 @ 48.6942
100.64/101.00	c bounds 12222063 >= -50 @ 48.9257
100.64/101.00	c bounds 12127561 >= -50 @ 49.0029
100.64/101.00	c #Conflicts:       9000 | #Constraints:      14318
100.64/101.00	c INPROCESSING
100.64/101.00	c GARBAGE COLLECT
100.64/101.00	c bounds 11482281 >= -50 @ 54.9932
100.64/101.00	c bounds 11462961 >= -50 @ 55.0468
100.64/101.00	c bounds 11460897 >= -50 @ 55.4869
100.64/101.00	c bounds 11406465 >= -50 @ 55.5402
100.64/101.00	c bounds 11342529 >= -50 @ 55.5965
100.64/101.00	c bounds 11285525 >= -50 @ 57.3589
100.64/101.00	c bounds 11269827 >= -50 @ 58.122
100.64/101.00	c #Conflicts:      10000 | #Constraints:      12422
100.64/101.00	c #Conflicts:      11000 | #Constraints:      13422
100.64/101.00	c #Conflicts:      12000 | #Constraints:      14422
100.64/101.00	c INPROCESSING
100.64/101.00	c GARBAGE COLLECT
100.64/101.00	c bounds 11218245 >= -50 @ 69.49
100.64/101.00	c bounds 11215843 >= -50 @ 69.7342
100.64/101.00	c bounds 11215341 >= -50 @ 70.53
100.64/101.00	c bounds 11203821 >= -50 @ 70.6005
100.64/101.00	c bounds 11158847 >= -50 @ 70.7422
100.64/101.00	c bounds 11148461 >= -50 @ 72.2217
100.64/101.00	c bounds 11146427 >= -50 @ 72.7811
100.64/101.00	c bounds 11115641 >= -50 @ 73.0599
100.64/101.00	c bounds 11108425 >= -50 @ 73.3491
100.64/101.00	c bounds 11107609 >= -50 @ 73.5573
100.64/101.00	c #Conflicts:      13000 | #Constraints:      12832
100.64/101.00	c bounds 11102635 >= -50 @ 80.4623
100.64/101.00	c bounds 11090129 >= -50 @ 80.9992
100.64/101.00	c bounds 11069195 >= -50 @ 81.5071
100.64/101.00	c #Conflicts:      14000 | #Constraints:      13835
100.64/101.00	c #Conflicts:      15000 | #Constraints:      14835
100.64/101.00	c INPROCESSING
100.64/101.00	c GARBAGE COLLECT
100.64/101.00	WSVECS04 Frhs2[2585]: 6 0 1.00004 shouldn't be
100.64/101.00	WSVECS04 Frhs2[3999]: 6 -343000 0 shouldn't be
100.64/101.00	WSVECS04 Frhs2[4000]: 6 -166375 0 shouldn't be
100.64/101.00	WSVECS04 Frhs2[4735]: 6 -343000 0 shouldn't be
100.64/101.00	WSVECS04 Frhs2[4835]: 6 -166375 0 shouldn't be
102.94/103.28	c rational objective 1.24717e+06
204.88/205.47	c bounds 11058665 >= -50 @ 103.243
204.88/205.47	c bounds 11046237 >= -50 @ 103.935
204.88/205.47	c bounds 11039247 >= -50 @ 104.305
204.88/205.47	c bounds 11011747 >= -50 @ 105.031
204.88/205.47	c bounds 11010641 >= -50 @ 109.08
204.88/205.47	c #Conflicts:      16000 | #Constraints:      13012
204.88/205.47	c bounds 10970065 >= -50 @ 109.369
204.88/205.47	c bounds 10938463 >= -50 @ 110.127
204.88/205.47	c bounds 10932673 >= -50 @ 111.629
204.88/205.47	c bounds 10932063 >= -50 @ 112.078
204.88/205.47	c bounds 10909785 >= -50 @ 112.409
204.88/205.47	c bounds 10905247 >= -50 @ 112.523
204.88/205.47	c bounds 10902527 >= -50 @ 112.826
204.88/205.47	c bounds 10888639 >= -50 @ 114.427
204.88/205.47	c bounds 10862425 >= -50 @ 116.242
204.88/205.47	c bounds 10856635 >= -50 @ 117.655
204.88/205.47	c #Conflicts:      17000 | #Constraints:      14024
204.88/205.47	c bounds 10855067 >= -50 @ 120.94
204.88/205.47	c bounds 10844299 >= -50 @ 124.39
204.88/205.47	c bounds 10843465 >= -50 @ 124.553
204.88/205.47	c #Conflicts:      18000 | #Constraints:      15028
204.88/205.47	c INPROCESSING
204.88/205.47	c GARBAGE COLLECT
204.88/205.47	c #Conflicts:      19000 | #Constraints:      13026
204.88/205.47	c bounds 10204711 >= -50 @ 142.502
204.88/205.47	c bounds 10193785 >= -50 @ 142.636
204.88/205.47	c bounds 10148953 >= -50 @ 142.787
204.88/205.47	c bounds 10138417 >= -50 @ 143.01
204.88/205.47	c bounds 10128073 >= -50 @ 143.469
204.88/205.47	c bounds 10095203 >= -50 @ 143.654
204.88/205.47	c bounds 10068853 >= -50 @ 143.948
204.88/205.47	c bounds 10047973 >= -50 @ 144.251
204.88/205.47	c bounds 9375601 >= -50 @ 144.948
204.88/205.47	c bounds 9359911 >= -50 @ 145.147
204.88/205.47	c bounds 9290041 >= -50 @ 145.296
204.88/205.47	c bounds 9288715 >= -50 @ 145.478
204.88/205.47	c bounds 9288541 >= -50 @ 145.715
204.88/205.47	c #Conflicts:      20000 | #Constraints:      14039
204.88/205.47	c bounds 6201143 >= -50 @ 156.552
204.88/205.47	c bounds 6146935 >= -50 @ 156.71
204.88/205.47	c bounds 6123575 >= -50 @ 156.882
204.88/205.47	c bounds 6109249 >= -50 @ 157.068
204.88/205.47	c bounds 6059859 >= -50 @ 157.441
204.88/205.47	c bounds 6046073 >= -50 @ 157.663
204.88/205.47	c bounds 6045859 >= -50 @ 157.839
204.88/205.47	c bounds 5990643 >= -50 @ 158.031
204.88/205.47	c bounds 5969027 >= -50 @ 158.332
204.88/205.47	c bounds 5955507 >= -50 @ 158.502
204.88/205.47	c bounds 5954277 >= -50 @ 158.674
204.88/205.47	c bounds 5930849 >= -50 @ 158.839
204.88/205.47	c bounds 5849295 >= -50 @ 159.002
204.88/205.47	c bounds 5840025 >= -50 @ 159.17
204.88/205.47	c bounds 5803395 >= -50 @ 159.337
204.88/205.47	c bounds 5781009 >= -50 @ 159.78
204.88/205.47	c bounds 5753079 >= -50 @ 159.968
204.88/205.47	c bounds 5743629 >= -50 @ 160.149
204.88/205.47	c bounds 5729391 >= -50 @ 160.321
204.88/205.47	c bounds 5693775 >= -50 @ 160.494
204.88/205.47	c bounds 5679295 >= -50 @ 160.661
204.88/205.47	c bounds 5678501 >= -50 @ 160.85
204.88/205.47	c bounds 5656061 >= -50 @ 161.536
204.88/205.47	c bounds 5598653 >= -50 @ 161.696
204.88/205.47	c bounds 5594035 >= -50 @ 162.047
204.88/205.47	c #Conflicts:      21000 | #Constraints:      15064
204.88/205.47	c bounds 5582777 >= -50 @ 162.682
204.88/205.47	c bounds 5576147 >= -50 @ 162.863
204.88/205.47	c bounds 5533187 >= -50 @ 163.198
204.88/205.47	c bounds 5505539 >= -50 @ 163.4
204.88/205.47	c bounds 5436723 >= -50 @ 163.711
204.88/205.47	c bounds 5400533 >= -50 @ 163.897
204.88/205.47	c bounds 5362079 >= -50 @ 164.413
204.88/205.47	c bounds 5349671 >= -50 @ 165.933
204.88/205.47	c bounds 5329529 >= -50 @ 166.433
204.88/205.47	c bounds 5310681 >= -50 @ 166.75
204.88/205.47	c bounds 5294889 >= -50 @ 166.944
204.88/205.47	c bounds 5291919 >= -50 @ 167.141
204.88/205.47	c INPROCESSING
204.88/205.47	c GARBAGE COLLECT
204.88/205.47	c bounds 5289535 >= -50 @ 168.024
204.88/205.47	c bounds 5286815 >= -50 @ 168.467
204.88/205.47	c bounds 5284535 >= -50 @ 168.691
204.88/205.47	c bounds 5283625 >= -50 @ 168.876
204.88/205.47	c bounds 5281415 >= -50 @ 169.433
204.88/205.47	c #Conflicts:      22000 | #Constraints:      11965
204.88/205.47	c bounds 5250005 >= -50 @ 169.571
204.88/205.47	c bounds 5229933 >= -50 @ 170.144
204.88/205.47	c #Conflicts:      23000 | #Constraints:      12967
204.88/205.47	c #Conflicts:      24000 | #Constraints:      13967
204.88/205.47	c #Conflicts:      25000 | #Constraints:      14967
204.88/205.47	c INPROCESSING
204.88/205.47	c GARBAGE COLLECT
204.88/205.47	c bounds 5216879 >= -50 @ 184.961
204.88/205.47	c bounds 5211843 >= -50 @ 185.404
204.88/205.47	c bounds 5197605 >= -50 @ 185.703
204.88/205.47	c #Conflicts:      26000 | #Constraints:      12544
204.88/205.47	c #Conflicts:      27000 | #Constraints:      13544
204.88/205.47	c bounds 5193585 >= -50 @ 190.276
204.88/205.47	c #Conflicts:      28000 | #Constraints:      14545
204.88/205.47	c #Conflicts:      29000 | #Constraints:      15545
204.88/205.47	c INPROCESSING
204.88/205.47	c GARBAGE COLLECT
204.88/205.47	c rational objective 1.24881e+06
240.20/240.85	c bounds 5191857 >= -50 @ 204.786
240.20/240.85	c bounds 5190221 >= -50 @ 205.633
240.20/240.85	c bounds 5141955 >= -50 @ 207.113
240.20/240.85	c #Conflicts:      30000 | #Constraints:      13001
240.20/240.85	c bounds 5141201 >= -50 @ 211.932
240.20/240.85	c bounds 5132427 >= -50 @ 212.046
240.20/240.85	c bounds 5129377 >= -50 @ 212.258
240.20/240.85	c bounds 5108555 >= -50 @ 212.644
240.20/240.85	c bounds 5092047 >= -50 @ 212.769
240.20/240.85	c bounds 5089429 >= -50 @ 213.241
240.20/240.85	c bounds 5050327 >= -50 @ 213.572
240.20/240.85	c bounds 4961201 >= -50 @ 214.1
240.20/240.85	c bounds 4958261 >= -50 @ 214.227
240.20/240.85	c bounds 4952203 >= -50 @ 214.36
240.20/240.85	c bounds 4916899 >= -50 @ 214.498
240.20/240.85	c #Conflicts:      31000 | #Constraints:      14013
240.20/240.85	c bounds 4885863 >= -50 @ 216.476
240.20/240.85	c bounds 4879973 >= -50 @ 216.631
240.20/240.85	c bounds 4843037 >= -50 @ 216.777
240.20/240.85	c bounds 4794781 >= -50 @ 216.925
240.20/240.85	c bounds 4771987 >= -50 @ 217.05
240.20/240.85	c bounds 4731973 >= -50 @ 217.174
240.20/240.85	c bounds 4694389 >= -50 @ 217.287
240.20/240.85	c bounds 4688503 >= -50 @ 217.423
240.20/240.85	c bounds 4641199 >= -50 @ 217.606
240.20/240.85	c bounds 4621493 >= -50 @ 217.745
240.20/240.85	c bounds 4581203 >= -50 @ 217.858
240.20/240.85	c bounds 4547939 >= -50 @ 217.99
240.20/240.85	c bounds 4523749 >= -50 @ 218.138
240.20/240.85	c bounds 4518731 >= -50 @ 218.286
240.20/240.85	c bounds 4497017 >= -50 @ 218.437
240.20/240.85	c bounds 4475609 >= -50 @ 218.673
240.20/240.85	c bounds 4446841 >= -50 @ 218.889
240.20/240.85	c bounds 4441591 >= -50 @ 219.014
240.20/240.85	c bounds 4397931 >= -50 @ 219.266
240.20/240.85	c bounds 4396457 >= -50 @ 219.412
240.20/240.85	c bounds 4379737 >= -50 @ 220.434
240.20/240.85	c bounds 4379667 >= -50 @ 220.596
240.20/240.85	c bounds 4368387 >= -50 @ 220.876
240.20/240.85	c bounds 4359873 >= -50 @ 221.607
240.20/240.85	c bounds 4357633 >= -50 @ 221.787
240.20/240.85	c bounds 4356833 >= -50 @ 221.942
240.20/240.85	c bounds 4355645 >= -50 @ 222.28
240.20/240.85	c bounds 4319741 >= -50 @ 222.407
240.20/240.85	c bounds 4314367 >= -50 @ 222.781
240.20/240.85	c #Conflicts:      32000 | #Constraints:      15052
240.20/240.85	c bounds 4308309 >= -50 @ 225.034
240.20/240.85	c bounds 4303903 >= -50 @ 225.165
240.20/240.85	c bounds 4259901 >= -50 @ 225.874
240.20/240.85	c bounds 4253309 >= -50 @ 226.007
240.20/240.85	c bounds 4251029 >= -50 @ 227.314
240.20/240.85	c bounds 4247991 >= -50 @ 230.731
240.20/240.85	c bounds 4246649 >= -50 @ 230.891
240.20/240.85	c bounds 4245545 >= -50 @ 231.07
240.20/240.85	c bounds 4239483 >= -50 @ 231.532
240.20/240.85	c bounds 4230659 >= -50 @ 231.871
240.20/240.85	c bounds 4229145 >= -50 @ 232.994
240.20/240.85	c bounds 4223449 >= -50 @ 233.782
240.20/240.85	c bounds 4211737 >= -50 @ 233.951
240.20/240.85	c bounds 4210547 >= -50 @ 235.039
240.20/240.85	c bounds 4179887 >= -50 @ 235.268
240.20/240.85	c bounds 4174387 >= -50 @ 235.535
240.20/240.85	c #Conflicts:      33000 | #Constraints:      16080
240.20/240.85	c INPROCESSING
240.20/240.85	c GARBAGE COLLECT
240.20/240.85	c rational objective 1.2489e+06
382.16/383.19	c bounds 4171447 >= -50 @ 240.3
382.16/383.19	c bounds 4169811 >= -50 @ 241.754
382.16/383.19	c #Conflicts:      34000 | #Constraints:      12939
382.16/383.19	c #Conflicts:      35000 | #Constraints:      13941
382.16/383.19	c #Conflicts:      36000 | #Constraints:      14941
382.16/383.19	c #Conflicts:      37000 | #Constraints:      15941
382.16/383.19	c INPROCESSING
382.16/383.19	c GARBAGE COLLECT
382.16/383.19	c bounds 4164749 >= -50 @ 282.104
382.16/383.19	c bounds 4162913 >= -50 @ 282.517
382.16/383.19	c bounds 4161809 >= -50 @ 282.613
382.16/383.19	c bounds 4143903 >= -50 @ 283.367
382.16/383.19	c #Conflicts:      38000 | #Constraints:      12848
382.16/383.19	c bounds 4143471 >= -50 @ 287.378
382.16/383.19	c bounds 4134957 >= -50 @ 287.9
382.16/383.19	c bounds 4131917 >= -50 @ 288.027
382.16/383.19	c bounds 4129707 >= -50 @ 288.347
382.16/383.19	c bounds 4127323 >= -50 @ 289.48
382.16/383.19	c bounds 4125121 >= -50 @ 292.354
382.16/383.19	c bounds 4120715 >= -50 @ 292.533
382.16/383.19	c #Conflicts:      39000 | #Constraints:      13860
382.16/383.19	c #Conflicts:      40000 | #Constraints:      14860
382.16/383.19	c #Conflicts:      41000 | #Constraints:      15860
382.16/383.19	c INPROCESSING
382.16/383.19	c GARBAGE COLLECT
382.16/383.19	c #Conflicts:      42000 | #Constraints:      12613
382.16/383.19	c #Conflicts:      43000 | #Constraints:      13614
382.16/383.19	c #Conflicts:      44000 | #Constraints:      14614
382.16/383.19	c #Conflicts:      45000 | #Constraints:      15614
382.16/383.19	c #Conflicts:      46000 | #Constraints:      16620
382.16/383.19	c INPROCESSING
382.16/383.19	c GARBAGE COLLECT
382.16/383.19	c #Conflicts:      47000 | #Constraints:      13135
382.16/383.19	c #Conflicts:      48000 | #Constraints:      14135
382.16/383.19	c #Conflicts:      49000 | #Constraints:      15186
382.16/383.19	c #Conflicts:      50000 | #Constraints:      16214
382.16/383.19	c #Conflicts:      51000 | #Constraints:      17214
382.16/383.19	c INPROCESSING
382.16/383.19	c GARBAGE COLLECT
382.16/383.19	c rational objective 1.24918e+06
435.93/437.04	c #Conflicts:      52000 | #Constraints:      13594
435.93/437.04	c #Conflicts:      53000 | #Constraints:      14644
435.93/437.04	c #Conflicts:      54000 | #Constraints:      15648
435.93/437.04	c #Conflicts:      55000 | #Constraints:      16649
435.93/437.04	c #Conflicts:      56000 | #Constraints:      17649
435.93/437.04	c INPROCESSING
435.93/437.04	c GARBAGE COLLECT
435.93/437.04	c rational objective 1.2504e+06
565.11/566.53	c #Conflicts:      57000 | #Constraints:      13605
565.11/566.53	c #Conflicts:      58000 | #Constraints:      14605
565.11/566.53	c #Conflicts:      59000 | #Constraints:      15605
565.11/566.53	c #Conflicts:      60000 | #Constraints:      16605
565.11/566.53	c #Conflicts:      61000 | #Constraints:      17605
565.11/566.53	c INPROCESSING
565.11/566.53	c GARBAGE COLLECT
565.11/566.53	c bounds 4118673 >= -50 @ 467.693
565.11/566.53	c bounds 4113583 >= -50 @ 467.834
565.11/566.53	c bounds 4107191 >= -50 @ 468.064
565.11/566.53	c #Conflicts:      62000 | #Constraints:      13597
565.11/566.53	c bounds 4083191 >= -50 @ 469.063
565.11/566.53	c bounds 4062655 >= -50 @ 469.699
565.11/566.53	c #Conflicts:      63000 | #Constraints:      14614
565.11/566.53	c #Conflicts:      64000 | #Constraints:      15614
565.11/566.53	c #Conflicts:      65000 | #Constraints:      16615
565.11/566.53	c #Conflicts:      66000 | #Constraints:      17616
565.11/566.53	c bounds 4056017 >= -50 @ 513.198
565.11/566.53	c INPROCESSING
565.11/566.53	c GARBAGE COLLECT
565.11/566.53	c bounds 4055175 >= -50 @ 515.059
565.11/566.53	c bounds 4041799 >= -50 @ 515.129
565.11/566.53	c bounds 4038119 >= -50 @ 515.592
565.11/566.53	c #Conflicts:      67000 | #Constraints:      13389
565.11/566.53	c #Conflicts:      68000 | #Constraints:      14396
565.11/566.53	c #Conflicts:      69000 | #Constraints:      15434
565.11/566.54	c #Conflicts:      70000 | #Constraints:      16434
565.11/566.54	c #Conflicts:      71000 | #Constraints:      17436
565.11/566.54	c #Conflicts:      72000 | #Constraints:      18437
565.11/566.54	c INPROCESSING
565.11/566.54	c GARBAGE COLLECT
565.11/566.54	WSVECS04 Frhs2[2585]: 6 0 5.61555e-07 shouldn't be
565.81/567.24	c rational objective 1.25047e+06
716.74/718.53	c bounds 4035985 >= -50 @ 566.387
716.74/718.53	c #Conflicts:      73000 | #Constraints:      13902
716.74/718.53	c #Conflicts:      74000 | #Constraints:      14910
716.74/718.53	c #Conflicts:      75000 | #Constraints:      15915
716.74/718.53	c #Conflicts:      76000 | #Constraints:      16929
716.74/718.53	c #Conflicts:      77000 | #Constraints:      17935
716.74/718.53	c #Conflicts:      78000 | #Constraints:      18951
716.74/718.53	c INPROCESSING
716.74/718.53	c GARBAGE COLLECT
716.74/718.53	c #Conflicts:      79000 | #Constraints:      14330
716.74/718.53	c #Conflicts:      80000 | #Constraints:      15341
716.74/718.53	c #Conflicts:      81000 | #Constraints:      16341
716.74/718.53	c #Conflicts:      82000 | #Constraints:      17344
716.74/718.53	c #Conflicts:      83000 | #Constraints:      18344
716.74/718.53	c #Conflicts:      84000 | #Constraints:      19344
716.74/718.53	c INPROCESSING
716.74/718.53	c GARBAGE COLLECT
716.74/718.53	c #Conflicts:      85000 | #Constraints:      14556
716.74/718.53	c #Conflicts:      86000 | #Constraints:      15817
716.74/718.53	c #Conflicts:      87000 | #Constraints:      16822
716.74/718.53	c #Conflicts:      88000 | #Constraints:      17866
716.74/718.53	c #Conflicts:      89000 | #Constraints:      18922
716.74/718.53	c #Conflicts:      90000 | #Constraints:      19923
716.74/718.53	c INPROCESSING
716.74/718.53	c GARBAGE COLLECT
716.74/718.53	WSVECS04 Frhs2[2595]: 6 0 3.06249e-07 shouldn't be
942.90/945.20	c #Conflicts:      91000 | #Constraints:      14647
942.90/945.20	c #Conflicts:      92000 | #Constraints:      15669
942.90/945.20	c #Conflicts:      93000 | #Constraints:      16680
942.90/945.20	c #Conflicts:      94000 | #Constraints:      17686
942.90/945.20	c #Conflicts:      95000 | #Constraints:      18693
942.90/945.20	c #Conflicts:      96000 | #Constraints:      19697
942.90/945.20	c INPROCESSING
942.90/945.20	c GARBAGE COLLECT
942.90/945.20	c #Conflicts:      97000 | #Constraints:      14368
942.90/945.20	c #Conflicts:      98000 | #Constraints:      15375
942.90/945.20	c #Conflicts:      99000 | #Constraints:      16375
942.90/945.20	c #Conflicts:     100000 | #Constraints:      17375
942.90/945.20	c #Conflicts:     101000 | #Constraints:      18377
942.90/945.20	c #Conflicts:     102000 | #Constraints:      19379
942.90/945.20	c #Conflicts:     103000 | #Constraints:      20379
942.90/945.20	c INPROCESSING
942.90/945.20	c GARBAGE COLLECT
942.90/945.20	c #Conflicts:     104000 | #Constraints:      14901
942.90/945.20	c #Conflicts:     105000 | #Constraints:      15902
942.90/945.20	c #Conflicts:     106000 | #Constraints:      16902
942.90/945.20	c #Conflicts:     107000 | #Constraints:      17902
942.90/945.20	c #Conflicts:     108000 | #Constraints:      18903
942.90/945.20	c #Conflicts:     109000 | #Constraints:      19907
942.90/945.20	c #Conflicts:     110000 | #Constraints:      20907
942.90/945.20	c INPROCESSING
942.90/945.20	c GARBAGE COLLECT
942.90/945.20	c rational objective 1.2528e+06
1209.24/1212.22	c #Conflicts:     111000 | #Constraints:      15278
1209.24/1212.22	c #Conflicts:     112000 | #Constraints:      16288
1209.24/1212.22	c #Conflicts:     113000 | #Constraints:      17288
1209.24/1212.22	c #Conflicts:     114000 | #Constraints:      18288
1209.24/1212.22	c #Conflicts:     115000 | #Constraints:      19288
1209.24/1212.22	c #Conflicts:     116000 | #Constraints:      20289
1209.24/1212.22	c #Conflicts:     117000 | #Constraints:      21289
1209.24/1212.22	c INPROCESSING
1209.24/1212.22	c GARBAGE COLLECT
1209.24/1212.22	c #Conflicts:     118000 | #Constraints:      15476
1209.24/1212.22	c #Conflicts:     119000 | #Constraints:      16569
1209.24/1212.22	c #Conflicts:     120000 | #Constraints:      17578
1209.24/1212.22	c #Conflicts:     121000 | #Constraints:      18578
1209.24/1212.22	c #Conflicts:     122000 | #Constraints:      19579
1209.24/1212.22	c #Conflicts:     123000 | #Constraints:      20581
1209.24/1212.22	c #Conflicts:     124000 | #Constraints:      21581
1209.24/1212.22	c INPROCESSING
1209.24/1212.22	c GARBAGE COLLECT
1209.24/1212.22	c #Conflicts:     125000 | #Constraints:      15501
1209.24/1212.22	c #Conflicts:     126000 | #Constraints:      16674
1209.24/1212.22	c #Conflicts:     127000 | #Constraints:      17678
1209.24/1212.22	c #Conflicts:     128000 | #Constraints:      18689
1209.24/1212.22	c #Conflicts:     129000 | #Constraints:      19783
1209.24/1212.22	c #Conflicts:     130000 | #Constraints:      20784
1209.24/1212.22	c #Conflicts:     131000 | #Constraints:      21784
1209.24/1212.22	c INPROCESSING
1209.24/1212.22	c GARBAGE COLLECT
1209.24/1212.22	c #Conflicts:     132000 | #Constraints:      15424
1209.24/1212.22	c #Conflicts:     133000 | #Constraints:      16424
1209.24/1212.22	c #Conflicts:     134000 | #Constraints:      17424
1209.24/1212.22	c #Conflicts:     135000 | #Constraints:      18424
1209.24/1212.22	c #Conflicts:     136000 | #Constraints:      19424
1209.24/1212.22	c #Conflicts:     137000 | #Constraints:      20424
1209.24/1212.22	c #Conflicts:     138000 | #Constraints:      21424
1209.24/1212.22	c #Conflicts:     139000 | #Constraints:      22424
1209.24/1212.22	c INPROCESSING
1209.24/1212.22	c GARBAGE COLLECT
1209.24/1212.22	c rational objective 1.2534e+06
1347.19/1350.56	c #Conflicts:     140000 | #Constraints:      15949
1347.19/1350.56	c #Conflicts:     141000 | #Constraints:      16949
1347.19/1350.56	c #Conflicts:     142000 | #Constraints:      17949
1347.19/1350.56	c #Conflicts:     143000 | #Constraints:      18949
1347.19/1350.56	c #Conflicts:     144000 | #Constraints:      19957
1347.19/1350.56	c #Conflicts:     145000 | #Constraints:      20958
1347.19/1350.56	c #Conflicts:     146000 | #Constraints:      22012
1347.19/1350.56	c #Conflicts:     147000 | #Constraints:      23677
1347.19/1350.56	c INPROCESSING
1347.19/1350.56	c GARBAGE COLLECT
1347.19/1350.56	c #Conflicts:     148000 | #Constraints:      16658
1347.19/1350.56	c #Conflicts:     149000 | #Constraints:      17663
1347.19/1350.56	c #Conflicts:     150000 | #Constraints:      18665
1347.19/1350.56	c #Conflicts:     151000 | #Constraints:      19665
1347.19/1350.56	c #Conflicts:     152000 | #Constraints:      20666
1347.19/1350.56	c #Conflicts:     153000 | #Constraints:      21666
1347.19/1350.56	c #Conflicts:     154000 | #Constraints:      22666
1347.19/1350.56	c #Conflicts:     155000 | #Constraints:      23666
1347.19/1350.56	c INPROCESSING
1347.19/1350.56	c GARBAGE COLLECT
1347.19/1350.56	c rational objective 1.25357e+06
1472.78/1476.43	c #Conflicts:     156000 | #Constraints:      16648
1472.78/1476.43	c #Conflicts:     157000 | #Constraints:      17649
1472.78/1476.43	c #Conflicts:     158000 | #Constraints:      18651
1472.78/1476.43	c #Conflicts:     159000 | #Constraints:      19651
1472.78/1476.43	c #Conflicts:     160000 | #Constraints:      20651
1472.78/1476.43	c #Conflicts:     161000 | #Constraints:      21651
1472.78/1476.43	c #Conflicts:     162000 | #Constraints:      22652
1472.78/1476.43	c #Conflicts:     163000 | #Constraints:      23652
1472.78/1476.43	c INPROCESSING
1472.78/1476.43	c GARBAGE COLLECT
1472.78/1476.43	c #Conflicts:     164000 | #Constraints:      16566
1472.78/1476.43	c #Conflicts:     165000 | #Constraints:      17566
1472.78/1476.43	c #Conflicts:     166000 | #Constraints:      18566
1472.78/1476.43	c #Conflicts:     167000 | #Constraints:      19566
1472.78/1476.43	c #Conflicts:     168000 | #Constraints:      20566
1472.78/1476.43	c #Conflicts:     169000 | #Constraints:      21566
1472.78/1476.43	c #Conflicts:     170000 | #Constraints:      22566
1472.78/1476.43	c #Conflicts:     171000 | #Constraints:      23569
1472.78/1476.43	c INPROCESSING
1472.78/1476.43	c GARBAGE COLLECT
1472.78/1476.43	c rational objective 1.25583e+06
1514.87/1518.60	c #Conflicts:     172000 | #Constraints:      15862
1514.87/1518.60	c #Conflicts:     173000 | #Constraints:      16865
1514.87/1518.60	c #Conflicts:     174000 | #Constraints:      17871
1514.87/1518.60	c #Conflicts:     175000 | #Constraints:      18872
1514.87/1518.60	c #Conflicts:     176000 | #Constraints:      19874
1514.87/1518.60	c #Conflicts:     177000 | #Constraints:      20874
1514.87/1518.60	c #Conflicts:     178000 | #Constraints:      21874
1514.87/1518.60	c #Conflicts:     179000 | #Constraints:      22874
1514.87/1518.60	c #Conflicts:     180000 | #Constraints:      23874
1514.87/1518.60	c INPROCESSING
1514.87/1518.60	c GARBAGE COLLECT
1514.87/1518.60	c rational objective 1.26325e+06
1616.12/1620.15	c #Conflicts:     181000 | #Constraints:      16507
1616.12/1620.15	c #Conflicts:     182000 | #Constraints:      17507
1616.12/1620.15	c #Conflicts:     183000 | #Constraints:      18507
1616.12/1620.15	c #Conflicts:     184000 | #Constraints:      19508
1616.12/1620.15	c bounds 4031055 >= -50 @ 1529.1
1616.12/1620.15	c #Conflicts:     185000 | #Constraints:      20509
1616.12/1620.15	c bounds 4012967 >= -50 @ 1537.26
1616.12/1620.15	c #Conflicts:     186000 | #Constraints:      21510
1616.12/1620.15	c #Conflicts:     187000 | #Constraints:      22510
1616.12/1620.15	c #Conflicts:     188000 | #Constraints:      23510
1616.12/1620.15	c #Conflicts:     189000 | #Constraints:      24511
1616.12/1620.15	c INPROCESSING
1616.12/1620.15	c GARBAGE COLLECT
1616.12/1620.15	c #Conflicts:     190000 | #Constraints:      17058
1616.12/1620.15	c #Conflicts:     191000 | #Constraints:      18058
1616.12/1620.15	c #Conflicts:     192000 | #Constraints:      19058
1616.12/1620.15	c #Conflicts:     193000 | #Constraints:      20058
1616.12/1620.15	c #Conflicts:     194000 | #Constraints:      21058
1616.12/1620.15	c #Conflicts:     195000 | #Constraints:      22058
1616.12/1620.15	c #Conflicts:     196000 | #Constraints:      23059
1616.12/1620.15	c #Conflicts:     197000 | #Constraints:      24063
1616.12/1620.15	c #Conflicts:     198000 | #Constraints:      25064
1616.12/1620.15	c INPROCESSING
1616.12/1620.15	c GARBAGE COLLECT
1616.12/1620.15	c rational objective 1.26571e+06
1670.68/1674.88	c #Conflicts:     199000 | #Constraints:      16719
1670.68/1674.88	c #Conflicts:     200000 | #Constraints:      17719
1670.68/1674.88	c #Conflicts:     201000 | #Constraints:      18719
1670.68/1674.88	c #Conflicts:     202000 | #Constraints:      19722
1670.68/1674.88	c #Conflicts:     203000 | #Constraints:      20724
1670.68/1674.88	c #Conflicts:     204000 | #Constraints:      21724
1670.68/1674.88	c #Conflicts:     205000 | #Constraints:      22724
1670.68/1674.88	c #Conflicts:     206000 | #Constraints:      23724
1670.68/1674.88	c #Conflicts:     207000 | #Constraints:      24724
1670.68/1674.88	c INPROCESSING
1670.68/1674.88	c GARBAGE COLLECT
1670.68/1674.88	c rational objective 1.26865e+06
1759.85/1764.20	c #Conflicts:     208000 | #Constraints:      17057
1759.85/1764.20	c #Conflicts:     209000 | #Constraints:      18057
1759.85/1764.20	c #Conflicts:     210000 | #Constraints:      19057
1759.85/1764.20	c #Conflicts:     211000 | #Constraints:      20057
1759.85/1764.20	c #Conflicts:     212000 | #Constraints:      21057
1759.85/1764.20	c #Conflicts:     213000 | #Constraints:      22058
1759.85/1764.20	c #Conflicts:     214000 | #Constraints:      23059
1759.85/1764.20	c #Conflicts:     215000 | #Constraints:      24059
1759.85/1764.20	c #Conflicts:     216000 | #Constraints:      25059
1759.85/1764.20	c INPROCESSING
1759.85/1764.20	c GARBAGE COLLECT
1759.85/1764.20	c rational objective 1.29035e+06
1817.71/1822.29	c #Conflicts:     217000 | #Constraints:      17028
1817.71/1822.29	c #Conflicts:     218000 | #Constraints:      18029
1817.71/1822.29	c #Conflicts:     219000 | #Constraints:      19029
1817.71/1822.29	c #Conflicts:     220000 | #Constraints:      20031
1817.71/1822.29	c #Conflicts:     221000 | #Constraints:      21031
1817.71/1822.29	c #Conflicts:     222000 | #Constraints:      22034
1817.71/1822.29	c #Conflicts:     223000 | #Constraints:      23035
1817.71/1822.29	c #Conflicts:     224000 | #Constraints:      24035
1817.71/1822.29	c #Conflicts:     225000 | #Constraints:      25035
1817.71/1822.29	c #Conflicts:     226000 | #Constraints:      26035
1817.71/1822.29	c bounds 4006537 >= -50 @ 1809.69
1817.71/1822.29	c INPROCESSING
1817.71/1822.29	c GARBAGE COLLECT
1817.71/1822.29	WSVECS04 Frhs2[2554]: 6 0 1.00004 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2556]: 6 0 1.0001 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2559]: 6 0 1.00007 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2560]: 6 0 1.00008 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2561]: 6 0 1.00004 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2562]: 6 0 1.00009 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2563]: 6 0 1.00002 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2564]: 6 0 1.00005 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2565]: 6 0 1.00001 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2566]: 6 0 1.00009 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2567]: 6 0 1.00008 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2568]: 6 0 1.0001 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2576]: 6 0 1.00007 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2577]: 6 0 1.00002 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2578]: 6 0 1.00005 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2579]: 6 0 1.00007 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2580]: 6 0 1.00007 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2582]: 6 0 1.00003 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2583]: 6 0 1.00008 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2585]: 6 0 1.00007 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2586]: 6 0 1.00009 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2590]: 6 0 1.00004 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2591]: 6 0 1.00005 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2593]: 6 0 1.00002 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2595]: 6 0 1.0001 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2597]: 6 0 1.00003 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2598]: 6 0 1.00007 shouldn't be
1817.71/1822.29	WSVECS04 Frhs2[2600]: 6 0 1.00005 shouldn't be
1817.81/1822.34	c rational objective 1.29071e+06
1881.53/1886.25	c #Conflicts:     227000 | #Constraints:      17697
1881.53/1886.25	c #Conflicts:     228000 | #Constraints:      18697
1881.53/1886.25	c #Conflicts:     229000 | #Constraints:      19697
1881.53/1886.25	c #Conflicts:     230000 | #Constraints:      20697
1881.53/1886.25	c bounds 4000417 >= -50 @ 1827.13
1881.53/1886.25	c bounds 3989319 >= -50 @ 1827.3
1881.53/1886.25	c bounds 3987703 >= -50 @ 1827.4
1881.53/1886.25	c bounds 3984441 >= -50 @ 1829.56
1881.53/1886.25	c bounds 3983191 >= -50 @ 1829.8
1881.53/1886.25	c bounds 3983177 >= -50 @ 1829.91
1881.53/1886.25	c bounds 3971977 >= -50 @ 1831.15
1881.53/1886.25	c #Conflicts:     231000 | #Constraints:      21708
1881.53/1886.25	c #Conflicts:     232000 | #Constraints:      22711
1881.53/1886.25	c #Conflicts:     233000 | #Constraints:      23713
1881.53/1886.25	c #Conflicts:     234000 | #Constraints:      24715
1881.53/1886.25	c #Conflicts:     235000 | #Constraints:      25717
1881.53/1886.25	c #Conflicts:     236000 | #Constraints:      26717
1881.53/1886.25	c INPROCESSING
1881.53/1886.25	c GARBAGE COLLECT
1881.53/1886.25	c rational objective 1.29072e+06
1969.39/1974.34	c #Conflicts:     237000 | #Constraints:      18134
1969.39/1974.34	c #Conflicts:     238000 | #Constraints:      19157
1969.39/1974.34	c #Conflicts:     239000 | #Constraints:      20174
1969.39/1974.34	c #Conflicts:     240000 | #Constraints:      21212
1969.39/1974.34	c #Conflicts:     241000 | #Constraints:      22279
1969.39/1974.34	c #Conflicts:     242000 | #Constraints:      23567
1969.39/1974.34	c #Conflicts:     243000 | #Constraints:      24611
1969.39/1974.34	c #Conflicts:     244000 | #Constraints:      25620
1969.39/1974.34	c #Conflicts:     245000 | #Constraints:      26621
1969.39/1974.34	c #Conflicts:     246000 | #Constraints:      27681
1969.39/1974.34	c INPROCESSING
1969.39/1974.34	c GARBAGE COLLECT
1969.39/1974.34	c rational objective 1.29084e+06
2035.89/2041.01	c #Conflicts:     247000 | #Constraints:      18608
2035.89/2041.01	c #Conflicts:     248000 | #Constraints:      19609
2035.89/2041.01	c #Conflicts:     249000 | #Constraints:      20609
2035.89/2041.01	c #Conflicts:     250000 | #Constraints:      21610
2035.89/2041.01	c #Conflicts:     251000 | #Constraints:      22614
2035.89/2041.01	c #Conflicts:     252000 | #Constraints:      23615
2035.89/2041.01	c #Conflicts:     253000 | #Constraints:      24658
2035.89/2041.01	c #Conflicts:     254000 | #Constraints:      25670
2035.89/2041.01	c #Conflicts:     255000 | #Constraints:      26671
2035.89/2041.01	c #Conflicts:     256000 | #Constraints:      27675
2035.89/2041.01	c INPROCESSING
2035.89/2041.01	c GARBAGE COLLECT
2035.89/2041.01	c rational objective 1.29398e+06
2173.77/2179.39	c #Conflicts:     257000 | #Constraints:      18491
2173.77/2179.39	c #Conflicts:     258000 | #Constraints:      19494
2173.77/2179.39	c #Conflicts:     259000 | #Constraints:      20495
2173.77/2179.39	c #Conflicts:     260000 | #Constraints:      21495
2173.77/2179.39	c #Conflicts:     261000 | #Constraints:      22495
2173.77/2179.39	c #Conflicts:     262000 | #Constraints:      23495
2173.77/2179.39	c #Conflicts:     263000 | #Constraints:      24497
2173.77/2179.39	c #Conflicts:     264000 | #Constraints:      25499
2173.77/2179.39	c #Conflicts:     265000 | #Constraints:      26500
2173.77/2179.39	c #Conflicts:     266000 | #Constraints:      27500
2173.77/2179.39	c INPROCESSING
2173.77/2179.39	c GARBAGE COLLECT
2173.77/2179.39	c #Conflicts:     267000 | #Constraints:      18144
2173.77/2179.39	c #Conflicts:     268000 | #Constraints:      19144
2173.77/2179.39	c #Conflicts:     269000 | #Constraints:      20144
2173.77/2179.39	c #Conflicts:     270000 | #Constraints:      21144
2173.77/2179.39	c #Conflicts:     271000 | #Constraints:      22144
2173.77/2179.39	c #Conflicts:     272000 | #Constraints:      23144
2173.77/2179.39	c #Conflicts:     273000 | #Constraints:      24144
2173.77/2179.39	c #Conflicts:     274000 | #Constraints:      25144
2173.77/2179.39	c #Conflicts:     275000 | #Constraints:      26145
2173.77/2179.39	c #Conflicts:     276000 | #Constraints:      27145
2173.77/2179.39	c #Conflicts:     277000 | #Constraints:      28145
2173.77/2179.39	c INPROCESSING
2173.77/2179.39	c GARBAGE COLLECT
2173.77/2179.39	c rational objective 1.30059e+06
2313.76/2319.73	c #Conflicts:     278000 | #Constraints:      18742
2313.76/2319.73	c #Conflicts:     279000 | #Constraints:      19742
2313.76/2319.73	c #Conflicts:     280000 | #Constraints:      20742
2313.76/2319.73	c #Conflicts:     281000 | #Constraints:      21742
2313.76/2319.73	c #Conflicts:     282000 | #Constraints:      22744
2313.76/2319.73	c #Conflicts:     283000 | #Constraints:      23753
2313.76/2319.73	c #Conflicts:     284000 | #Constraints:      24766
2313.76/2319.73	c #Conflicts:     285000 | #Constraints:      25777
2313.76/2319.73	c #Conflicts:     286000 | #Constraints:      26815
2313.76/2319.73	c #Conflicts:     287000 | #Constraints:      27867
2313.76/2319.73	c #Conflicts:     288000 | #Constraints:      28890
2313.76/2319.73	c INPROCESSING
2313.76/2319.73	c GARBAGE COLLECT
2313.76/2319.73	c #Conflicts:     289000 | #Constraints:      19209
2313.76/2319.73	c #Conflicts:     290000 | #Constraints:      20212
2313.76/2319.73	c #Conflicts:     291000 | #Constraints:      21212
2313.76/2319.73	c #Conflicts:     292000 | #Constraints:      22214
2313.76/2319.73	c #Conflicts:     293000 | #Constraints:      23214
2313.76/2319.73	c #Conflicts:     294000 | #Constraints:      24214
2313.76/2319.73	c #Conflicts:     295000 | #Constraints:      25214
2313.76/2319.73	c #Conflicts:     296000 | #Constraints:      26215
2313.76/2319.73	c #Conflicts:     297000 | #Constraints:      27216
2313.76/2319.73	c #Conflicts:     298000 | #Constraints:      28216
2313.76/2319.73	c #Conflicts:     299000 | #Constraints:      29216
2313.76/2319.73	c INPROCESSING
2313.76/2319.73	c GARBAGE COLLECT
2313.76/2319.73	c rational objective 1.29119e+06
2375.18/2381.33	c #Conflicts:     300000 | #Constraints:      19354
2375.18/2381.33	c #Conflicts:     301000 | #Constraints:      20367
2375.18/2381.33	c #Conflicts:     302000 | #Constraints:      21379
2375.18/2381.33	c #Conflicts:     303000 | #Constraints:      22379
2375.18/2381.33	c #Conflicts:     304000 | #Constraints:      23379
2375.18/2381.33	c #Conflicts:     305000 | #Constraints:      24379
2375.18/2381.33	c #Conflicts:     306000 | #Constraints:      25379
2375.18/2381.33	c #Conflicts:     307000 | #Constraints:      26379
2375.18/2381.33	c #Conflicts:     308000 | #Constraints:      27379
2375.18/2381.33	c #Conflicts:     309000 | #Constraints:      28380
2375.18/2381.33	c #Conflicts:     310000 | #Constraints:      29380
2375.18/2381.33	c INPROCESSING
2375.18/2381.33	c GARBAGE COLLECT
2375.18/2381.33	c rational objective 1.29437e+06
2397.92/2404.18	c #Conflicts:     311000 | #Constraints:      17886
2397.92/2404.18	c #Conflicts:     312000 | #Constraints:      18886
2397.92/2404.18	c #Conflicts:     313000 | #Constraints:      19886
2397.92/2404.18	c #Conflicts:     314000 | #Constraints:      20886
2397.92/2404.18	c #Conflicts:     315000 | #Constraints:      21886
2397.92/2404.18	c #Conflicts:     316000 | #Constraints:      22886
2397.92/2404.18	c #Conflicts:     317000 | #Constraints:      23886
2397.92/2404.18	c bounds 3971977 >= -50 @ 2389.69
2397.92/2404.18	c cpu time 2389.69 s
2397.92/2404.18	c deterministic time 287276285131 2.87e+11
2397.92/2404.18	c optimization time 0.289003 s
2397.92/2404.18	c total solve time 2389.38 s
2397.92/2404.18	c core-guided solve time 1307.63 s
2397.92/2404.18	c propagation time 1770.89 s
2397.92/2404.18	c conflict analysis time 470.757 s
2397.92/2404.18	c propagations 88136918
2397.92/2404.18	c resolve steps 9443504
2397.92/2404.18	c decisions 2301546
2397.92/2404.18	c conflicts 317241
2397.92/2404.18	c restarts 764
2397.92/2404.18	c inprocessing phases 47
2397.92/2404.18	c input clauses 11126
2397.92/2404.18	c input cardinalities 9
2397.92/2404.18	c input general constraints 1684
2397.92/2404.18	c input average constraint length 93.71
2397.92/2404.18	c input average constraint degree 302894796.02
2397.92/2404.18	c learned clauses 76194
2397.92/2404.18	c learned cardinalities 705
2397.92/2404.18	c learned general constraints 243224
2397.92/2404.18	c learned average constraint length 1698.38
2397.92/2404.18	c learned average constraint degree 4104174474.64
2397.92/2404.18	c watched constraints 125742
2397.92/2404.18	c counting constraints 119166
2397.92/2404.18	c gcd simplifications 11265
2397.92/2404.18	c detected cardinalities 55
2397.92/2404.18	c weakened non-implied lits 60968413
2397.92/2404.18	c weakened non-implying lits 590037
2397.92/2404.18	c original variables 5100
2397.92/2404.18	c clausal propagations 61375552
2397.92/2404.18	c cardinality propagations 1071888
2397.92/2404.18	c watched propagations 4678792
2397.92/2404.18	c counting propagations 20811216
2397.92/2404.18	c watch lookups 31250237329
2397.92/2404.18	c watch backjump lookups 30043944520
2397.92/2404.18	c watch checks 138830252254
2397.92/2404.18	c propagation checks 85522598201
2397.92/2404.18	c constraint additions 1447459513
2397.92/2404.18	c trail pops 90751804
2397.92/2404.18	c formula constraints 12510
2397.92/2404.18	c learned constraints 317092
2397.92/2404.18	c bound constraints 309
2397.92/2404.18	c core-guided constraints 0
2397.92/2404.18	c encountered formula constraints 8350246
2397.92/2404.18	c encountered learned constraints 1399130
2397.92/2404.18	c encountered bound constraints 2221
2397.92/2404.18	c encountered core-guided constraints 0
2397.92/2404.18	c LP total time 193.178 s
2397.92/2404.18	c LP solve time 172.31 s
2397.92/2404.18	c LP constraints added 12583
2397.92/2404.18	c LP constraints removed 53
2397.92/2404.18	c LP pivots internal 318100
2397.92/2404.18	c LP pivots root 284945
2397.92/2404.18	c LP calls 2993
2397.92/2404.18	c LP optimalities 86
2397.92/2404.18	c LP no pivot count 22
2397.92/2404.18	c LP infeasibilities 2879
2397.92/2404.18	c LP valid Farkas constraints 2864
2397.92/2404.18	c LP learned Farkas constraints 148
2397.92/2404.18	c LP basis resets 39
2397.92/2404.18	c LP cycling count 1
2397.92/2404.18	c LP singular count 16
2397.92/2404.18	c LP no primal count 0
2397.92/2404.18	c LP no farkas count 15
2397.92/2404.18	c LP other issue count 7
2397.92/2404.18	c LP Gomory cuts 19
2397.92/2404.18	c LP learned cuts 54
2397.92/2404.18	c LP deleted cuts 53
2397.92/2404.18	c LP encountered Gomory constraints 0
2397.92/2404.18	c LP encountered Farkas constraints 8244
2397.92/2404.18	c LP encountered learned Farkas constraints 756
2397.92/2404.18	c CG auxiliary variables introduced 0
2397.92/2404.18	c CG solutions found 309
2397.92/2404.18	c CG cores constructed 0
2397.92/2404.18	c CG core cardinality constraints returned 0
2397.92/2404.18	c CG unit cores 0
2397.92/2404.18	c CG single cores 0
2397.92/2404.18	c CG blocks removed during cardinality reduction 0
2397.92/2404.18	c CG first core best 0
2397.92/2404.18	c CG decision core best 0
2397.92/2404.18	c CG core reduction tie 0
2397.92/2404.18	c CG core degree average 0.00
2397.92/2404.18	c CG core slack average 0.00
2397.92/2404.18	o 3971977
2397.92/2404.18	s OPTIMUM FOUND
2397.92/2404.18	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 (60024 MiB free)
  memory of node 1: 64473 MiB (59927 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=810014, runsolver pid=810011

[startup+0.100624 s]*
/proc/loadavg: 4.48 4.22 4.09 5/259 810015
/proc/meminfo: memFree=122818252/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=48572 memory=18576 CPUtime=0.09 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 3995 0 0 0 7 2 0 0 20 0 1 0 157253443 49737728 4644 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 12143 4644 1770 922 0 4095 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48572 KiB
Current children cumulated memory: 18576 KiB

[startup+0.206048 s]*
/proc/loadavg: 4.48 4.22 4.09 5/259 810015
/proc/meminfo: memFree=122817524/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=48792 memory=19104 CPUtime=0.2 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 4099 0 0 0 18 2 0 0 20 0 1 0 157253443 49963008 4776 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 12198 4776 1770 922 0 4150 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48792 KiB
Current children cumulated memory: 19104 KiB

[startup+0.306058 s]*
/proc/loadavg: 4.48 4.22 4.09 5/259 810015
/proc/meminfo: memFree=122816068/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=49316 memory=19632 CPUtime=0.29 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 4248 0 0 0 27 2 0 0 20 0 1 0 157253443 50499584 4908 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 12329 4908 1770 922 0 4281 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 49316 KiB
Current children cumulated memory: 19632 KiB

[startup+0.700242 s]
/proc/loadavg: 4.48 4.22 4.09 5/259 810015
/proc/meminfo: memFree=122814064/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=49948 memory=20160 CPUtime=0.68 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 4412 0 0 0 65 3 0 0 20 0 1 0 157253443 51146752 5040 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 12487 5040 1770 922 0 4439 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49948 KiB
Current children cumulated memory: 20160 KiB

[startup+1.50023 s]
/proc/loadavg: 4.48 4.22 4.09 6/259 810015
/proc/meminfo: memFree=122808208/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=72952 memory=46324 CPUtime=1.48 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 9853 0 0 0 142 6 0 0 20 0 1 0 157253443 74702848 11581 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 18238 11581 1853 922 0 10190 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72952 KiB
Current children cumulated memory: 46324 KiB

[startup+3.10616 s]
/proc/loadavg: 4.48 4.22 4.09 6/259 810015
/proc/meminfo: memFree=122749332/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=113788 memory=85072 CPUtime=3.08 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 16468 0 0 0 298 10 0 0 20 0 1 0 157253443 116518912 21268 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 28447 21268 1853 922 0 20399 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 113788 KiB
Current children cumulated memory: 85072 KiB

[startup+6.30022 s]
/proc/loadavg: 4.44 4.22 4.09 6/259 810015
/proc/meminfo: memFree=122698420/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=168088 memory=137648 CPUtime=6.27 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 25004 0 0 0 612 15 0 0 20 0 1 0 157253443 172122112 34412 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 42022 34412 1853 922 0 33974 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 168088 KiB
Current children cumulated memory: 137648 KiB

[startup+12.7002 s]
/proc/loadavg: 4.40 4.22 4.09 6/259 810016
/proc/meminfo: memFree=122666884/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=208288 memory=164272 CPUtime=12.65 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 28781 0 0 0 1243 22 0 0 20 0 1 0 157253443 213286912 41068 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 52072 41068 1869 922 0 44024 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 208288 KiB
Current children cumulated memory: 164272 KiB

[startup+25.5002 s]
/proc/loadavg: 4.34 4.21 4.09 6/259 810018
/proc/meminfo: memFree=122577436/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=324984 memory=252964 CPUtime=25.42 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 43324 0 0 0 2509 33 0 0 20 0 1 0 157253443 332783616 63241 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 81246 63241 1869 922 0 73198 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 324984 KiB
Current children cumulated memory: 252964 KiB

[startup+51.1062 s]
/proc/loadavg: 4.28 4.20 4.09 6/259 810022
/proc/meminfo: memFree=122421852/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=347688 memory=282188 CPUtime=50.96 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 48650 0 0 0 5037 59 0 0 20 0 1 0 157253443 356032512 70547 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 86922 70547 1869 922 0 78874 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 347688 KiB
Current children cumulated memory: 282188 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.18 4.09 6/259 810032
/proc/meminfo: memFree=122328772/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=425444 memory=367264 CPUtime=102.04 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 63807 0 0 0 10119 85 0 0 20 0 1 0 157253443 435654656 91816 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 106361 91816 1869 922 0 98313 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 425444 KiB
Current children cumulated memory: 367264 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.16 4.09 6/259 810043
/proc/meminfo: memFree=122260656/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=528300 memory=399544 CPUtime=161.89 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 68907 0 0 0 16077 112 0 0 20 0 1 0 157253443 540979200 99886 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 132075 99886 1869 922 0 124027 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 528300 KiB
Current children cumulated memory: 399544 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.16 4.09 6/257 810053
/proc/meminfo: memFree=122238100/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=565852 memory=429496 CPUtime=221.74 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 76431 0 0 0 22037 137 0 0 20 0 1 0 157253443 579432448 107374 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 141463 107374 1869 922 0 133415 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 565852 KiB
Current children cumulated memory: 429496 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.15 4.09 6/258 810064
/proc/meminfo: memFree=122172000/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=573288 memory=449048 CPUtime=281.59 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 78855 0 0 0 28002 157 0 0 20 0 1 0 157253443 587046912 112262 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 143322 112262 1869 922 0 135274 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 573288 KiB
Current children cumulated memory: 449048 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.09 6/255 810075
/proc/meminfo: memFree=122167876/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=599504 memory=470732 CPUtime=341.45 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 84370 0 0 0 33967 178 0 0 20 0 1 0 157253443 613892096 117683 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 149876 117683 1869 922 0 141828 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 599504 KiB
Current children cumulated memory: 470732 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.09 6/255 810086
/proc/meminfo: memFree=122083232/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=599588 memory=471612 CPUtime=401.3 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 86221 0 0 0 39933 197 0 0 20 0 1 0 157253443 613978112 117903 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 149897 117903 2002 922 0 141849 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 599588 KiB
Current children cumulated memory: 471612 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.09 6/255 810096
/proc/meminfo: memFree=122076976/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=601248 memory=473552 CPUtime=461.16 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 86712 0 0 0 45903 213 0 0 20 0 1 0 157253443 615677952 118388 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 150312 118388 2002 922 0 142264 0

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

/proc/loadavg: 4.11 4.13 4.09 5/258 811032
/proc/meminfo: memFree=121791888/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=685540 memory=644508 CPUtime=1957.42 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 116369 0 0 0 195062 680 0 0 20 0 1 0 157253443 701992960 161127 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 171385 161127 2002 922 0 163337 0
Current children cumulated CPU time: 1957.42 s
Current children cumulated vsize: 685540 KiB
Current children cumulated memory: 644508 KiB

[startup+2022.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/258 811044
/proc/meminfo: memFree=121085072/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=840356 memory=677164 CPUtime=2017.24 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 120626 0 0 0 201024 700 0 0 20 0 1 0 157253443 860524544 169291 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 210089 169291 2002 922 0 202041 0
Current children cumulated CPU time: 2017.24 s
Current children cumulated vsize: 840356 KiB
Current children cumulated memory: 677164 KiB

[startup+2082.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/258 811054
/proc/meminfo: memFree=120484808/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=844668 memory=681476 CPUtime=2077.06 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 121914 0 0 0 206985 721 0 0 20 0 1 0 157253443 864940032 170369 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 211167 170369 2002 922 0 203119 0
Current children cumulated CPU time: 2077.06 s
Current children cumulated vsize: 844668 KiB
Current children cumulated memory: 681476 KiB

[startup+2142.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/255 811064
/proc/meminfo: memFree=120317348/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=844668 memory=681476 CPUtime=2136.89 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 122124 0 0 0 212949 740 0 0 20 0 1 0 157253443 864940032 170369 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 211167 170369 2002 922 0 203119 0
Current children cumulated CPU time: 2136.89 s
Current children cumulated vsize: 844668 KiB
Current children cumulated memory: 681476 KiB

[startup+2202.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/255 811074
/proc/meminfo: memFree=120170852/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=842276 memory=679084 CPUtime=2196.71 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 122766 0 0 0 218914 757 0 0 20 0 1 0 157253443 862490624 169771 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 210569 169771 2002 922 0 202521 0
Current children cumulated CPU time: 2196.71 s
Current children cumulated vsize: 842276 KiB
Current children cumulated memory: 679084 KiB

[startup+2262.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 811085
/proc/meminfo: memFree=119951848/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=842276 memory=679120 CPUtime=2256.53 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 123580 0 0 0 224880 773 0 0 20 0 1 0 157253443 862490624 169780 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 210569 169780 2002 922 0 202521 0
Current children cumulated CPU time: 2256.53 s
Current children cumulated vsize: 842276 KiB
Current children cumulated memory: 679120 KiB

[startup+2322.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/254 811096
/proc/meminfo: memFree=119685416/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=840740 memory=677716 CPUtime=2316.36 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 124652 0 0 0 230836 800 0 0 20 0 1 0 157253443 860917760 169429 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 210185 169429 2002 922 0 202137 0
Current children cumulated CPU time: 2316.36 s
Current children cumulated vsize: 840740 KiB
Current children cumulated memory: 677716 KiB

[startup+2382.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 811106
/proc/meminfo: memFree=119521492/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=845172 memory=682020 CPUtime=2376.18 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 126020 0 0 0 236796 822 0 0 20 0 1 0 157253443 865456128 170505 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 211293 170505 2002 922 0 203245 0
Current children cumulated CPU time: 2376.18 s
Current children cumulated vsize: 845172 KiB
Current children cumulated memory: 682020 KiB

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

# cumulated CPU time of all completed processes:  user=2389.7 s, system=8.32422 s

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

[startup+2393.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 811112
/proc/meminfo: memFree=119338660/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=845172 memory=682020 CPUtime=2387.45 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 126020 0 0 0 237917 828 0 0 20 0 1 0 157253443 865456128 170505 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 211293 170505 2002 922 0 203245 0
Current children cumulated CPU time: 2387.45 s
Current children cumulated vsize: 845172 KiB
Current children cumulated memory: 682020 KiB

[startup+2400 s]*
/proc/loadavg: 4.09 4.11 4.09 5/257 811114
/proc/meminfo: memFree=119269580/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=845172 memory=682020 CPUtime=2393.83 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 126140 0 0 0 238552 831 0 0 20 0 1 0 157253443 865456128 170505 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 211293 170505 2002 922 0 203245 0
Current children cumulated CPU time: 2393.83 s
Current children cumulated vsize: 845172 KiB
Current children cumulated memory: 682020 KiB

[startup+2401.6 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 811114
/proc/meminfo: memFree=119253996/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=845172 memory=682020 CPUtime=2395.42 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 126140 0 0 0 238711 831 0 0 20 0 1 0 157253443 865456128 170505 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 211293 170505 2002 922 0 203245 0
Current children cumulated CPU time: 2395.42 s
Current children cumulated vsize: 845172 KiB
Current children cumulated memory: 682020 KiB

[startup+2403.2 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 811114
/proc/meminfo: memFree=119219940/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=845172 memory=682020 CPUtime=2397.01 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 126140 0 0 0 238870 831 0 0 20 0 1 0 157253443 865456128 170505 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 211293 170505 2002 922 0 203245 0
Current children cumulated CPU time: 2397.01 s
Current children cumulated vsize: 845172 KiB
Current children cumulated memory: 682020 KiB

[startup+2403.6 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 811114
/proc/meminfo: memFree=119219940/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=845172 memory=682020 CPUtime=2397.41 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 126140 0 0 0 238910 831 0 0 20 0 1 0 157253443 865456128 170505 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 211293 170505 2002 922 0 203245 0
Current children cumulated CPU time: 2397.41 s
Current children cumulated vsize: 845172 KiB
Current children cumulated memory: 682020 KiB

[startup+2404 s]*
/proc/loadavg: 4.08 4.11 4.09 5/257 811115
/proc/meminfo: memFree=119204552/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=845172 memory=682020 CPUtime=2397.81 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 126140 0 0 0 238950 831 0 0 20 0 1 0 157253443 865456128 170505 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 211293 170505 2002 922 0 203245 0
Current children cumulated CPU time: 2397.81 s
Current children cumulated vsize: 845172 KiB
Current children cumulated memory: 682020 KiB

[startup+2404.11 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 811115
/proc/meminfo: memFree=119204552/131524596 swapFree=131071996/131071996
[pid=810014] ppid=810011 vsize=845172 memory=682020 CPUtime=2397.92 cores=5,7
/proc/810014/stat : 810014 (roundingsat) R 810011 810014 808409 0 -1 4194304 126140 0 0 0 238961 831 0 0 20 0 1 0 157253443 865456128 170505 134679101440 4194304 7968869 140733854762352 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28069888 140733854766014 140733854766178 140733854766178 140733854773193 0
/proc/810014/statm: 211293 170505 2002 922 0 203245 0
Current children cumulated CPU time: 2397.92 s
Current children cumulated vsize: 845172 KiB
Current children cumulated memory: 682020 KiB

Child status: 0

Real time (s): 2404.2
CPU time (s): 2398.02
CPU user time (s): 2389.7
CPU system time (s): 8.32422
CPU usage (%): 99.7431
Max. virtual memory (cumulated for all children) (KiB): 845172
Max. memory (cumulated for all children) (KiB): 682020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.7
system time used= 8.32422
maximum resident set size= 682020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126156
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= 102
involuntary context switches= 1491


# summary of solver processes directly reported to runsolver:
#   pid: 810014
#   total CPU time (s): 2398.02
#   total CPU user time (s): 2389.7
#   total CPU system time (s): 8.32422

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.22357 second user time and 11.7697 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-15 15:40:41
IDJOB=4429641
IDBENCH=155602
IDSOLVER=3051
FILE ID=nodeC034/4429641-1721050829
RUNJOBID= nodeC034-1721048998-808422
SLURM_JOB_ID= 7505472
Free space on /tmp= 890036 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-4429641-1721050829/watcher-4429641-1721050829 -o /tmp/evaluation-result-4429641-1721050829/solver-4429641-1721050829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721048998-808422 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429641-1721050829.opb

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

MD5SUM BENCH= 7079e2ef0385c9f74a24551721d50a52
RANDOM SEED=1462634880

nodeC034.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		: 3663.113
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.99
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		: 3667.671
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.58
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.282
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.99
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		: 3611.186
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.58
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		: 3663.055
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.99
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		: 3665.547
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.58
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.220
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.99
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		: 3658.091
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        122830804 kB
MemAvailable:   126244624 kB
Buffers:          362512 kB
Cached:          3849472 kB
SwapCached:            0 kB
Active:           648836 kB
Inactive:        7360616 kB
Active(anon):       1524 kB
Inactive(anon):  3833368 kB
Active(file):     647312 kB
Inactive(file):  3527248 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5736 kB
Writeback:             0 kB
AnonPages:       3796076 kB
Mapped:           112904 kB
Shmem:             37720 kB
KReclaimable:     158164 kB
Slab:             271800 kB
SReclaimable:     158164 kB
SUnreclaim:       113636 kB
KernelStack:        4204 kB
PageTables:        17148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    4730892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62144 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2865152 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:      238292 kB
DirectMap2M:    26798080 kB
DirectMap1G:    109051904 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC034 at 2024-07-15 16:20:46