Trace number 4504292

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
pb-oll-rs-2024 2025-05-06OPT5950590 2108.97 2114.85

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SOLVEDBYoll

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_2_mh.opb
MD5SUM1542385ac037132e9cf985b37fe6e57c
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 benchmark5950590
Best CPU time to get the best result obtained on this benchmark10.1892
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 74088000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3666159515
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 74088000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3666159515
Number of bits of the biggest sum of numbers32
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.00/0.05	c [STEP] solving
0.00/0.05	c #variables 6810 #constraints 15626
0.00/0.05	c SMALL=int, LARGE=long long
0.00/0.05	c bounds - >= -15 @ 0.032139
0.00/0.05	c stratification level: 70444997
0.00/0.09	c bounds 194537665 >= -15 @ 0.060231
0.00/0.09	c stratification level: 59319000
0.00/0.09	c bounds 191651171 >= -15 @ 0.062124
0.00/0.09	c stratification level: 56623104
0.00/0.09	c bounds 167741537 >= -15 @ 0.063759
0.00/0.09	c stratification level: 47045881
0.00/0.10	c bounds 167724944 >= -15 @ 0.066315
0.00/0.10	c stratification level: 45499293
0.08/0.10	c bounds 160807184 >= -15 @ 0.071389
0.08/0.10	c stratification level: 44361864
0.08/0.11	c bounds 160565346 >= -15 @ 0.075156
0.08/0.11	c stratification level: 43986977
0.08/0.11	c bounds 160270578 >= -15 @ 0.078197
0.08/0.11	c stratification level: 40001688
0.08/0.12	c bounds 160253985 >= -15 @ 0.081645
0.08/0.12	c stratification level: 39651821
0.08/0.12	c bounds 160240993 >= -15 @ 0.086878
0.08/0.12	c stratification level: 37595375
0.08/0.13	c bounds 90565714 >= -15 @ 0.095356
0.08/0.13	c stratification level: 32461759
0.08/0.13	c bounds 90458042 >= -15 @ 0.097478
0.08/0.13	c stratification level: 31255875
0.08/0.14	c bounds 90425808 >= -15 @ 0.102623
0.08/0.14	c stratification level: 28652616
0.08/0.15	c bounds 90416965 >= -15 @ 0.108796
0.08/0.15	c stratification level: 28372625
0.08/0.15	c bounds 90413526 >= -15 @ 0.111249
0.08/0.15	c stratification level: 27818127
0.08/0.17	c bounds 90103350 >= -15 @ 0.133006
0.08/0.17	c stratification level: 27000000
0.08/0.18	c bounds 89776646 >= -15 @ 0.135726
0.08/0.18	c stratification level: 26198073
0.08/0.18	c bounds 74050280 >= -15 @ 0.141579
0.08/0.18	c stratification level: 24642171
0.08/0.19	c bounds 73666414 >= -15 @ 0.150217
0.08/0.19	c stratification level: 24389000
0.08/0.20	c bounds 73663381 >= -15 @ 0.156161
0.08/0.20	c stratification level: 23887872
0.08/0.20	c bounds 62752180 >= -15 @ 0.158661
0.08/0.20	c stratification level: 23393656
0.08/0.20	c bounds 62599321 >= -15 @ 0.160159
0.08/0.20	c stratification level: 21952000
0.19/0.21	c bounds 62339417 >= -15 @ 0.168331
0.19/0.21	c stratification level: 21484952
0.19/0.21	c bounds 62318363 >= -15 @ 0.170939
0.19/0.21	c stratification level: 21253933
0.19/0.24	c bounds 51783790 >= -15 @ 0.197607
0.19/0.24	c stratification level: 21024576
0.19/0.25	c bounds 51706154 >= -15 @ 0.201067
0.19/0.25	c stratification level: 19683000
0.19/0.25	c bounds 51686702 >= -15 @ 0.20606
0.19/0.25	c stratification level: 18609625
0.19/0.26	c bounds 51685350 >= -15 @ 0.212383
0.19/0.26	c stratification level: 18399744
0.19/0.26	c bounds 51664296 >= -15 @ 0.216437
0.19/0.26	c stratification level: 17373979
0.19/0.27	c bounds 51283261 >= -15 @ 0.221856
0.19/0.27	c stratification level: 17173512
0.19/0.29	c bounds 44670068 >= -15 @ 0.246089
0.19/0.29	c stratification level: 16974593
0.19/0.30	c bounds 42068368 >= -15 @ 0.249247
0.19/0.30	c stratification level: 16777216
0.19/0.30	c bounds 41799592 >= -15 @ 0.253457
0.19/0.30	c stratification level: 16003008
0.19/0.30	c bounds 33912352 >= -15 @ 0.25671
0.19/0.30	c stratification level: 15252992
0.28/0.31	c bounds 33856180 >= -15 @ 0.261658
0.28/0.31	c stratification level: 15069223
0.28/0.32	c bounds 33792079 >= -15 @ 0.27228
0.28/0.32	c stratification level: 14706125
0.28/0.33	c bounds 32273078 >= -15 @ 0.285941
0.28/0.33	c stratification level: 14526784
0.28/0.35	c bounds 32234535 >= -15 @ 0.298125
0.28/0.35	c stratification level: 13651919
0.28/0.35	c bounds 32224199 >= -15 @ 0.302071
0.28/0.35	c stratification level: 13144256
0.28/0.36	c bounds 32123443 >= -15 @ 0.309073
0.28/0.36	c stratification level: 11852352
0.28/0.36	c bounds 32110579 >= -15 @ 0.313534
0.28/0.36	c stratification level: 10360232
0.28/0.37	c bounds 32093203 >= -15 @ 0.316761
0.28/0.37	c stratification level: 9938375
0.39/0.41	c bounds 31837000 >= -15 @ 0.355372
0.39/0.41	c stratification level: 9800344
0.39/0.42	c bounds 31173941 >= -15 @ 0.363867
0.39/0.42	c stratification level: 9393931
0.39/0.42	c bounds 23768653 >= -15 @ 0.366627
0.39/0.42	c stratification level: 9129329
0.39/0.42	c bounds 21215609 >= -15 @ 0.370477
0.39/0.42	c stratification level: 8365427
0.39/0.43	c bounds 19356987 >= -15 @ 0.374773
0.39/0.43	c stratification level: 7529536
0.39/0.44	c bounds 16474605 >= -15 @ 0.389048
0.39/0.44	c stratification level: 7189057
0.39/0.45	c bounds 16460246 >= -15 @ 0.39401
0.39/0.45	c stratification level: 6967871
0.39/0.45	c bounds 16341801 >= -15 @ 0.396354
0.39/0.45	c stratification level: 6859000
0.39/0.46	c bounds 16179557 >= -15 @ 0.401767
0.39/0.46	c stratification level: 6751269
0.39/0.46	c bounds 16107252 >= -15 @ 0.404299
0.39/0.46	c stratification level: 5832000
0.39/0.47	c bounds 16104250 >= -15 @ 0.4149
0.39/0.47	c stratification level: 5545233
0.39/0.49	c bounds 15994116 >= -15 @ 0.432511
0.39/0.49	c stratification level: 5451776
0.48/0.51	c bounds 15969812 >= -15 @ 0.459126
0.48/0.51	c stratification level: 5359375
0.48/0.52	c bounds 15951717 >= -15 @ 0.46211
0.48/0.52	c stratification level: 5000211
0.48/0.53	c bounds 15941467 >= -15 @ 0.475752
0.48/0.53	c stratification level: 4913000
0.48/0.54	c bounds 15921532 >= -15 @ 0.485863
0.48/0.54	c stratification level: 4826809
0.48/0.55	c bounds 15903437 >= -15 @ 0.494175
0.48/0.55	c stratification level: 4574296
0.48/0.56	c bounds 12818709 >= -15 @ 0.504002
0.48/0.56	c stratification level: 4410944
0.48/0.56	c bounds 12771101 >= -15 @ 0.508967
0.48/0.56	c stratification level: 4019679
0.48/0.59	c bounds 12766209 >= -15 @ 0.535856
0.48/0.59	c stratification level: 3511808
0.48/0.60	c bounds 12722220 >= -15 @ 0.542884
0.48/0.60	c stratification level: 3375000
0.58/0.61	c bounds 12714455 >= -15 @ 0.556833
0.58/0.61	c stratification level: 3241792
0.58/0.64	c bounds 12701948 >= -15 @ 0.581145
0.58/0.64	c stratification level: 3048625
0.58/0.64	c bounds 12677644 >= -15 @ 0.585562
0.58/0.64	c stratification level: 2924207
0.58/0.69	c bounds 9188511 >= -15 @ 0.628618
0.58/0.69	c stratification level: 2515456
0.58/0.69	c bounds 9175936 >= -15 @ 0.633272
0.58/0.69	c stratification level: 2406104
0.67/0.70	c bounds 9145041 >= -15 @ 0.643098
0.67/0.70	c stratification level: 2146689
0.67/0.71	c bounds 9134961 >= -15 @ 0.647984
0.67/0.71	c stratification level: 1906624
0.67/0.73	c bounds 8776090 >= -15 @ 0.665218
0.67/0.73	c stratification level: 1815848
0.67/0.73	c bounds 8414549 >= -15 @ 0.67024
0.67/0.73	c stratification level: 1601613
0.67/0.74	c bounds 8390245 >= -15 @ 0.677048
0.67/0.74	c stratification level: 1560896
0.67/0.74	c bounds 6721863 >= -15 @ 0.679342
0.67/0.74	c stratification level: 1442897
0.77/0.80	c bounds 6721863 >= 1442882 @ 0.680112
0.77/0.80	c bounds 6721863 >= 2885779 @ 0.699309
0.77/0.80	c finalizing WCE round: reformulating cores
1.08/1.10	c #Conflicts:       1000 | #Constraints:      16704
1.08/1.10	c bounds 6669688 >= 2885779 @ 1.01091
1.08/1.10	c bounds 6637589 >= 2885779 @ 1.02056
1.08/1.10	c stratification level: 1331000
1.08/1.11	c bounds 6613285 >= 2885779 @ 1.02505
1.08/1.11	c stratification level: 1133885
1.08/1.12	c bounds 6594335 >= 2885779 @ 1.03286
1.08/1.12	c stratification level: 1072559
1.08/1.12	c bounds 6570031 >= 2885779 @ 1.03389
1.08/1.12	c stratification level: 1030301
1.08/1.19	c bounds 6548083 >= 2885779 @ 1.09675
1.08/1.19	c stratification level: 1000000
1.17/1.20	c bounds 6523779 >= 2885779 @ 1.1061
1.17/1.20	c stratification level: 703792
1.17/1.21	c bounds 6508069 >= 2885779 @ 1.11621
1.17/1.21	c stratification level: 636056
1.27/1.39	c bounds 6508069 >= 3521835 @ 1.11952
1.27/1.39	c bounds 6508069 >= 4157891 @ 1.12019
1.27/1.39	c finalizing WCE round: reformulating cores
2.57/2.68	c bounds 6015743 >= 4157891 @ 1.37357
2.57/2.68	c #Conflicts:       2000 | #Constraints:      17724
2.57/2.68	c INPROCESSING
2.57/2.68	c GARBAGE COLLECT
2.57/2.68	c bounds 6011501 >= 4157891 @ 2.5325
2.57/2.68	c stratification level: 622166
2.67/2.73	c bounds 6003479 >= 4157891 @ 2.58038
2.67/2.73	c stratification level: 598362
9.25/9.32	c #Conflicts:       3000 | #Constraints:      17290
9.25/9.32	c #Conflicts:       4000 | #Constraints:      18290
9.25/9.32	c INPROCESSING
9.25/9.32	c GARBAGE COLLECT
9.25/9.32	c bounds 5992299 >= 4157892 @ 9.07079
9.25/9.32	c stratification level: 592704
9.25/9.33	c bounds 5975019 >= 4157892 @ 9.08172
9.25/9.33	c stratification level: 571787
17.94/18.01	c #Conflicts:       5000 | #Constraints:      17339
17.94/18.01	c #Conflicts:       6000 | #Constraints:      18339
17.94/18.01	c INPROCESSING
17.94/18.01	c GARBAGE COLLECT
17.94/18.01	c #Conflicts:       7000 | #Constraints:      17350
17.94/18.01	c bounds 5971964 >= 4157892 @ 17.6364
17.94/18.01	c stratification level: 529200
84.26/84.56	c #Conflicts:       8000 | #Constraints:      18351
84.26/84.56	c #Conflicts:       9000 | #Constraints:      19351
84.26/84.56	c INPROCESSING
84.26/84.56	c GARBAGE COLLECT
84.26/84.56	c #Conflicts:      10000 | #Constraints:      18068
84.26/84.56	c #Conflicts:      11000 | #Constraints:      19068
84.26/84.56	c #Conflicts:      12000 | #Constraints:      20068
84.26/84.56	c INPROCESSING
84.26/84.56	c GARBAGE COLLECT
84.26/84.56	c #Conflicts:      13000 | #Constraints:      18521
84.26/84.56	c #Conflicts:      14000 | #Constraints:      19521
84.26/84.56	c #Conflicts:      15000 | #Constraints:      20521
84.26/84.56	c INPROCESSING
84.26/84.56	c GARBAGE COLLECT
84.26/84.56	c #Conflicts:      16000 | #Constraints:      18764
84.26/84.56	c #Conflicts:      17000 | #Constraints:      19764
84.26/84.56	c #Conflicts:      18000 | #Constraints:      20764
84.26/84.56	c INPROCESSING
84.26/84.56	c GARBAGE COLLECT
84.26/84.56	c #Conflicts:      19000 | #Constraints:      18765
84.26/84.56	c #Conflicts:      20000 | #Constraints:      19765
84.26/84.56	c #Conflicts:      21000 | #Constraints:      20765
84.26/84.56	c bounds 5962457 >= 4157892 @ 83.5187
84.26/84.56	c stratification level: 523820
277.01/277.85	c INPROCESSING
277.01/277.85	c GARBAGE COLLECT
277.01/277.85	c #Conflicts:      22000 | #Constraints:      18573
277.01/277.85	c #Conflicts:      23000 | #Constraints:      19573
277.01/277.85	c #Conflicts:      24000 | #Constraints:      20573
277.01/277.85	c #Conflicts:      25000 | #Constraints:      21573
277.01/277.85	c INPROCESSING
277.01/277.85	c GARBAGE COLLECT
277.01/277.85	c #Conflicts:      26000 | #Constraints:      19186
277.01/277.85	c #Conflicts:      27000 | #Constraints:      20186
277.01/277.85	c #Conflicts:      28000 | #Constraints:      21186
277.01/277.85	c #Conflicts:      29000 | #Constraints:      22186
277.01/277.85	c INPROCESSING
277.01/277.85	c GARBAGE COLLECT
277.01/277.85	c #Conflicts:      30000 | #Constraints:      19591
277.01/277.85	c #Conflicts:      31000 | #Constraints:      20591
277.01/277.85	c #Conflicts:      32000 | #Constraints:      21591
277.01/277.85	c #Conflicts:      33000 | #Constraints:      22591
277.01/277.85	c INPROCESSING
277.01/277.85	c GARBAGE COLLECT
277.01/277.85	c #Conflicts:      34000 | #Constraints:      19793
277.01/277.85	c #Conflicts:      35000 | #Constraints:      20793
277.01/277.85	c #Conflicts:      36000 | #Constraints:      21793
277.01/277.85	c #Conflicts:      37000 | #Constraints:      22793
277.01/277.85	c INPROCESSING
277.01/277.85	c GARBAGE COLLECT
277.01/277.85	c #Conflicts:      38000 | #Constraints:      19791
277.01/277.85	c #Conflicts:      39000 | #Constraints:      20791
277.01/277.85	c #Conflicts:      40000 | #Constraints:      21791
277.01/277.85	c #Conflicts:      41000 | #Constraints:      22791
277.01/277.85	c INPROCESSING
277.01/277.85	c GARBAGE COLLECT
277.01/277.85	c #Conflicts:      42000 | #Constraints:      19591
277.01/277.85	c #Conflicts:      43000 | #Constraints:      20591
277.01/277.85	c #Conflicts:      44000 | #Constraints:      21591
277.01/277.85	c #Conflicts:      45000 | #Constraints:      22591
277.01/277.85	c #Conflicts:      46000 | #Constraints:      23591
277.01/277.85	c INPROCESSING
277.01/277.85	c GARBAGE COLLECT
277.01/277.85	c #Conflicts:      47000 | #Constraints:      20192
277.01/277.85	c #Conflicts:      48000 | #Constraints:      21192
277.01/277.85	c #Conflicts:      49000 | #Constraints:      22192
277.01/277.85	c #Conflicts:      50000 | #Constraints:      23192
277.01/277.85	c bounds 5961310 >= 4157892 @ 275.205
277.01/277.85	c stratification level: 511707
278.21/279.10	c bounds 5954602 >= 4157892 @ 276.449
278.21/279.10	c stratification level: 505291
447.75/449.09	c #Conflicts:      51000 | #Constraints:      24194
447.75/449.09	c INPROCESSING
447.75/449.09	c GARBAGE COLLECT
447.75/449.09	c #Conflicts:      52000 | #Constraints:      20583
447.75/449.09	c #Conflicts:      53000 | #Constraints:      21583
447.75/449.09	c #Conflicts:      54000 | #Constraints:      22583
447.75/449.09	c #Conflicts:      55000 | #Constraints:      23583
447.75/449.09	c #Conflicts:      56000 | #Constraints:      24583
447.75/449.09	c INPROCESSING
447.75/449.09	c GARBAGE COLLECT
447.75/449.09	c #Conflicts:      57000 | #Constraints:      20790
447.75/449.09	c #Conflicts:      58000 | #Constraints:      21790
447.75/449.09	c #Conflicts:      59000 | #Constraints:      22790
447.75/449.09	c #Conflicts:      60000 | #Constraints:      23790
447.75/449.09	c #Conflicts:      61000 | #Constraints:      24790
447.75/449.09	c INPROCESSING
447.75/449.09	c GARBAGE COLLECT
447.75/449.09	c #Conflicts:      62000 | #Constraints:      20798
447.75/449.09	c #Conflicts:      63000 | #Constraints:      21798
447.75/449.09	c #Conflicts:      64000 | #Constraints:      22798
447.75/449.09	c #Conflicts:      65000 | #Constraints:      23798
447.75/449.09	c #Conflicts:      66000 | #Constraints:      24798
447.75/449.09	c INPROCESSING
447.75/449.09	c GARBAGE COLLECT
447.75/449.09	c #Conflicts:      67000 | #Constraints:      20595
447.75/449.09	c #Conflicts:      68000 | #Constraints:      21595
447.75/449.09	c #Conflicts:      69000 | #Constraints:      22595
447.75/449.09	c #Conflicts:      70000 | #Constraints:      23595
447.75/449.09	c #Conflicts:      71000 | #Constraints:      24595
447.75/449.09	c #Conflicts:      72000 | #Constraints:      25595
447.75/449.09	c INPROCESSING
447.75/449.09	c GARBAGE COLLECT
447.75/449.09	c bounds 5950590 >= 4157892 @ 445.347
447.75/449.09	c stratification level: 497829
1308.54/1312.23	c #Conflicts:      73000 | #Constraints:      21217
1308.54/1312.23	c #Conflicts:      74000 | #Constraints:      22217
1308.54/1312.23	c #Conflicts:      75000 | #Constraints:      23217
1308.54/1312.23	c #Conflicts:      76000 | #Constraints:      24217
1308.54/1312.23	c #Conflicts:      77000 | #Constraints:      25217
1308.54/1312.23	c #Conflicts:      78000 | #Constraints:      26217
1308.54/1312.23	c INPROCESSING
1308.54/1312.23	c GARBAGE COLLECT
1308.54/1312.23	c #Conflicts:      79000 | #Constraints:      21630
1308.54/1312.23	c #Conflicts:      80000 | #Constraints:      22630
1308.54/1312.23	c #Conflicts:      81000 | #Constraints:      23630
1308.54/1312.23	c #Conflicts:      82000 | #Constraints:      24630
1308.54/1312.23	c #Conflicts:      83000 | #Constraints:      25630
1308.54/1312.23	c #Conflicts:      84000 | #Constraints:      26630
1308.54/1312.23	c INPROCESSING
1308.54/1312.23	c GARBAGE COLLECT
1308.54/1312.23	c #Conflicts:      85000 | #Constraints:      21821
1308.54/1312.23	c #Conflicts:      86000 | #Constraints:      22821
1308.54/1312.23	c #Conflicts:      87000 | #Constraints:      23821
1308.54/1312.23	c #Conflicts:      88000 | #Constraints:      24821
1308.54/1312.23	c #Conflicts:      89000 | #Constraints:      25821
1308.54/1312.23	c #Conflicts:      90000 | #Constraints:      26821
1308.54/1312.23	c INPROCESSING
1308.54/1312.23	c GARBAGE COLLECT
1308.54/1312.23	c #Conflicts:      91000 | #Constraints:      21821
1308.54/1312.23	c #Conflicts:      92000 | #Constraints:      22821
1308.54/1312.23	c #Conflicts:      93000 | #Constraints:      23821
1308.54/1312.23	c #Conflicts:      94000 | #Constraints:      24821
1308.54/1312.23	c #Conflicts:      95000 | #Constraints:      25821
1308.54/1312.23	c #Conflicts:      96000 | #Constraints:      26821
1308.54/1312.23	c INPROCESSING
1308.54/1312.23	c GARBAGE COLLECT
1308.54/1312.23	c #Conflicts:      97000 | #Constraints:      21638
1308.54/1312.23	c #Conflicts:      98000 | #Constraints:      22638
1308.54/1312.23	c #Conflicts:      99000 | #Constraints:      23638
1308.54/1312.23	c #Conflicts:     100000 | #Constraints:      24638
1308.54/1312.23	c #Conflicts:     101000 | #Constraints:      25638
1308.54/1312.23	c #Conflicts:     102000 | #Constraints:      26638
1308.54/1312.23	c #Conflicts:     103000 | #Constraints:      27638
1308.54/1312.23	c INPROCESSING
1308.54/1312.23	c GARBAGE COLLECT
1308.54/1312.23	c #Conflicts:     104000 | #Constraints:      22236
1308.54/1312.23	c #Conflicts:     105000 | #Constraints:      23236
1308.54/1312.23	c #Conflicts:     106000 | #Constraints:      24236
1308.54/1312.23	c #Conflicts:     107000 | #Constraints:      25236
1308.54/1312.23	c #Conflicts:     108000 | #Constraints:      26236
1308.54/1312.23	c #Conflicts:     109000 | #Constraints:      27236
1308.54/1312.23	c #Conflicts:     110000 | #Constraints:      28236
1308.54/1312.23	c INPROCESSING
1308.54/1312.23	c GARBAGE COLLECT
1308.54/1312.23	c #Conflicts:     111000 | #Constraints:      22646
1308.54/1312.23	c #Conflicts:     112000 | #Constraints:      23646
1308.54/1312.23	c #Conflicts:     113000 | #Constraints:      24646
1308.54/1312.23	c #Conflicts:     114000 | #Constraints:      25646
1308.54/1312.23	c #Conflicts:     115000 | #Constraints:      26646
1308.54/1312.23	c #Conflicts:     116000 | #Constraints:      27646
1308.54/1312.23	c #Conflicts:     117000 | #Constraints:      28646
1308.54/1312.23	c INPROCESSING
1308.54/1312.23	c GARBAGE COLLECT
1308.54/1312.23	c #Conflicts:     118000 | #Constraints:      22853
1308.54/1312.23	c #Conflicts:     119000 | #Constraints:      23853
1308.54/1312.23	c #Conflicts:     120000 | #Constraints:      24853
1308.54/1312.23	c #Conflicts:     121000 | #Constraints:      25853
1308.54/1312.23	c #Conflicts:     122000 | #Constraints:      26853
1308.54/1312.23	c #Conflicts:     123000 | #Constraints:      27853
1308.54/1312.23	c #Conflicts:     124000 | #Constraints:      28853
1308.54/1312.23	c INPROCESSING
1308.54/1312.23	c GARBAGE COLLECT
1308.54/1312.23	c #Conflicts:     125000 | #Constraints:      22857
1308.54/1312.23	c #Conflicts:     126000 | #Constraints:      23857
1308.54/1312.23	c #Conflicts:     127000 | #Constraints:      24857
1308.54/1312.23	c #Conflicts:     128000 | #Constraints:      25857
1308.54/1312.23	c #Conflicts:     129000 | #Constraints:      26857
1308.54/1312.23	c #Conflicts:     130000 | #Constraints:      27857
1308.54/1312.23	c #Conflicts:     131000 | #Constraints:      28857
1308.54/1312.23	c INPROCESSING
1308.54/1312.23	c GARBAGE COLLECT
1308.54/1312.23	c #Conflicts:     132000 | #Constraints:      22650
1308.54/1312.23	c #Conflicts:     133000 | #Constraints:      23650
1308.54/1312.23	c #Conflicts:     134000 | #Constraints:      24650
1308.54/1312.23	c #Conflicts:     135000 | #Constraints:      25650
1308.54/1312.23	c #Conflicts:     136000 | #Constraints:      26650
1308.54/1312.23	c #Conflicts:     137000 | #Constraints:      27650
1308.54/1312.23	c #Conflicts:     138000 | #Constraints:      28650
1308.54/1312.23	c #Conflicts:     139000 | #Constraints:      29650
1308.54/1312.23	c INPROCESSING
1308.54/1312.23	c GARBAGE COLLECT
1308.54/1312.23	c #Conflicts:     140000 | #Constraints:      23264
1308.54/1312.23	c #Conflicts:     141000 | #Constraints:      24264
1308.54/1312.23	c #Conflicts:     142000 | #Constraints:      25264
1308.54/1312.23	c #Conflicts:     143000 | #Constraints:      26264
1308.54/1312.23	c #Conflicts:     144000 | #Constraints:      27264
1308.54/1312.23	c #Conflicts:     145000 | #Constraints:      28264
2108.91/2114.82	c #Conflicts:     146000 | #Constraints:      29264
2108.91/2114.82	c #Conflicts:     147000 | #Constraints:      30264
2108.91/2114.82	c INPROCESSING
2108.91/2114.82	c GARBAGE COLLECT
2108.91/2114.82	c #Conflicts:     148000 | #Constraints:      23647
2108.91/2114.82	c #Conflicts:     149000 | #Constraints:      24647
2108.91/2114.82	c #Conflicts:     150000 | #Constraints:      25647
2108.91/2114.82	c #Conflicts:     151000 | #Constraints:      26647
2108.91/2114.82	c #Conflicts:     152000 | #Constraints:      27647
2108.91/2114.82	c #Conflicts:     153000 | #Constraints:      28647
2108.91/2114.82	c #Conflicts:     154000 | #Constraints:      29647
2108.91/2114.82	c #Conflicts:     155000 | #Constraints:      30647
2108.91/2114.82	c INPROCESSING
2108.91/2114.82	c GARBAGE COLLECT
2108.91/2114.82	c #Conflicts:     156000 | #Constraints:      23842
2108.91/2114.82	c #Conflicts:     157000 | #Constraints:      24842
2108.91/2114.82	c #Conflicts:     158000 | #Constraints:      25842
2108.91/2114.82	c #Conflicts:     159000 | #Constraints:      26842
2108.91/2114.82	c #Conflicts:     160000 | #Constraints:      27842
2108.91/2114.82	c #Conflicts:     161000 | #Constraints:      28842
2108.91/2114.82	c #Conflicts:     162000 | #Constraints:      29842
2108.91/2114.82	c #Conflicts:     163000 | #Constraints:      30842
2108.91/2114.82	c INPROCESSING
2108.91/2114.82	c GARBAGE COLLECT
2108.91/2114.82	c #Conflicts:     164000 | #Constraints:      23852
2108.91/2114.82	c #Conflicts:     165000 | #Constraints:      24852
2108.91/2114.82	c #Conflicts:     166000 | #Constraints:      25852
2108.91/2114.82	c #Conflicts:     167000 | #Constraints:      26852
2108.91/2114.82	c #Conflicts:     168000 | #Constraints:      27852
2108.91/2114.82	c #Conflicts:     169000 | #Constraints:      28852
2108.91/2114.82	c #Conflicts:     170000 | #Constraints:      29852
2108.91/2114.82	c #Conflicts:     171000 | #Constraints:      30852
2108.91/2114.82	c INPROCESSING
2108.91/2114.82	c GARBAGE COLLECT
2108.91/2114.82	c #Conflicts:     172000 | #Constraints:      23654
2108.91/2114.82	c #Conflicts:     173000 | #Constraints:      24654
2108.91/2114.82	c #Conflicts:     174000 | #Constraints:      25654
2108.91/2114.82	c #Conflicts:     175000 | #Constraints:      26654
2108.91/2114.82	c #Conflicts:     176000 | #Constraints:      27654
2108.91/2114.82	c #Conflicts:     177000 | #Constraints:      28654
2108.91/2114.82	c #Conflicts:     178000 | #Constraints:      29654
2108.91/2114.82	c #Conflicts:     179000 | #Constraints:      30654
2108.91/2114.82	c #Conflicts:     180000 | #Constraints:      31654
2108.91/2114.82	c INPROCESSING
2108.91/2114.82	c GARBAGE COLLECT
2108.91/2114.82	c #Conflicts:     181000 | #Constraints:      24256
2108.91/2114.82	c #Conflicts:     182000 | #Constraints:      25256
2108.91/2114.82	c #Conflicts:     183000 | #Constraints:      26256
2108.91/2114.82	c #Conflicts:     184000 | #Constraints:      27256
2108.91/2114.82	c #Conflicts:     185000 | #Constraints:      28256
2108.91/2114.82	c #Conflicts:     186000 | #Constraints:      29256
2108.91/2114.82	c #Conflicts:     187000 | #Constraints:      30256
2108.91/2114.82	c #Conflicts:     188000 | #Constraints:      31256
2108.91/2114.82	c #Conflicts:     189000 | #Constraints:      32256
2108.91/2114.82	c INPROCESSING
2108.91/2114.82	c GARBAGE COLLECT
2108.91/2114.82	c #Conflicts:     190000 | #Constraints:      24670
2108.91/2114.82	c #Conflicts:     191000 | #Constraints:      25670
2108.91/2114.82	c #Conflicts:     192000 | #Constraints:      26670
2108.91/2114.82	c #Conflicts:     193000 | #Constraints:      27670
2108.91/2114.82	c bounds 5950590 >= 4655721 @ 2102.32
2108.91/2114.82	c bounds 5950590 >= 5161012 @ 2102.77
2108.91/2114.82	c bounds 5950590 >= 5161012 @ 2103.02
2108.91/2114.82	d SOLVEDBY oll
2108.91/2114.82	c cpu time 2103.02 s
2108.91/2114.82	c deterministic time 448957384857 4.49e+11
2108.91/2114.82	c optimization time 1.00024 s
2108.91/2114.82	c total solve time 2101.99 s
2108.91/2114.82	c core-guided solve time 2101.99 s
2108.91/2114.82	c propagation time 1722.75 s
2108.91/2114.82	c conflict analysis time 337.902 s
2108.91/2114.82	c propagations 136782191
2108.91/2114.82	c resolve steps 1766199
2108.91/2114.82	c decisions 4964146
2108.91/2114.82	c conflicts 193228
2108.91/2114.82	c restarts 509
2108.91/2114.82	c inprocessing phases 35
2108.91/2114.82	c input clauses 12526
2108.91/2114.82	c input cardinalities 29
2108.91/2114.82	c input general constraints 3180
2108.91/2114.82	c input average constraint length 26.98
2108.91/2114.82	c input average constraint degree 11738307.75
2108.91/2114.82	c learned clauses 6518
2108.91/2114.82	c learned cardinalities 129
2108.91/2114.82	c learned general constraints 186581
2108.91/2114.82	c learned average constraint length 2482.45
2108.91/2114.82	c learned average constraint degree 1699289339.38
2108.91/2114.82	c watched constraints 65862
2108.91/2114.82	c counting constraints 123899
2108.91/2114.82	c gcd simplifications 1016
2108.91/2114.82	c detected cardinalities 3
2108.91/2114.82	c weakened non-implied lits 64129295
2108.91/2114.82	c weakened non-implying lits 14851
2108.91/2114.82	c original variables 6810
2108.91/2114.82	c clausal propagations 15097831
2108.91/2114.82	c cardinality propagations 2736833
2108.91/2114.82	c watched propagations 1717930
2108.91/2114.82	c counting propagations 117117202
2108.91/2114.82	c watch lookups 10626819888
2108.91/2114.82	c watch backjump lookups 10448565656
2108.91/2114.82	c watch checks 122991431895
2108.91/2114.82	c propagation checks 301607984185
2108.91/2114.82	c constraint additions 2998897996
2108.91/2114.82	c trail pops 141938899
2108.91/2114.82	c formula constraints 15626
2108.91/2114.82	c learned constraints 193228
2108.91/2114.82	c bound constraints 101
2108.91/2114.82	c core-guided constraints 8
2108.91/2114.82	c encountered formula constraints 754746
2108.91/2114.82	c encountered learned constraints 1200923
2108.91/2114.82	c encountered bound constraints 3077
2108.91/2114.82	c encountered core-guided constraints 681
2108.91/2114.82	c LP total time 0 s
2108.91/2114.82	c LP solve time 0 s
2108.91/2114.82	c LP constraints added 0
2108.91/2114.82	c LP constraints removed 0
2108.91/2114.82	c LP pivots internal 0
2108.91/2114.82	c LP pivots root 0
2108.91/2114.82	c LP calls 0
2108.91/2114.82	c LP optimalities 0
2108.91/2114.82	c LP no pivot count 0
2108.91/2114.82	c LP infeasibilities 0
2108.91/2114.82	c LP valid Farkas constraints 0
2108.91/2114.82	c LP learned Farkas constraints 0
2108.91/2114.82	c LP basis resets 0
2108.91/2114.82	c LP cycling count 0
2108.91/2114.82	c LP singular count 0
2108.91/2114.82	c LP no primal count 0
2108.91/2114.82	c LP no farkas count 0
2108.91/2114.82	c LP other issue count 0
2108.91/2114.82	c LP Gomory cuts 0
2108.91/2114.82	c LP learned cuts 0
2108.91/2114.82	c LP deleted cuts 0
2108.91/2114.82	c LP encountered Gomory constraints 0
2108.91/2114.82	c LP encountered Farkas constraints 0
2108.91/2114.82	c LP encountered learned Farkas constraints 0
2108.91/2114.82	c CG auxiliary variables introduced 4
2108.91/2114.82	c CG solutions found 91
2108.91/2114.82	c CG cores constructed 6
2108.91/2114.82	c CG core cardinality constraints returned 0
2108.91/2114.82	c CG unit cores 0
2108.91/2114.82	c CG single cores 6
2108.91/2114.82	c CG blocks removed during cardinality reduction 0
2108.91/2114.82	c CG first core best 0
2108.91/2114.82	c CG decision core best 0
2108.91/2114.82	c CG core reduction tie 0
2108.91/2114.82	c CG core degree average 1.00
2108.91/2114.82	c CG core slack average 27.50
2108.91/2114.82	c CG exhausted 0
2108.91/2114.82	c CG exhaust time 0.353814 s
2108.91/2114.82	c CG trimmed 8
2108.91/2114.82	c CG trim time 0.591963 s
2108.91/2114.82	c CG minimized 0
2108.91/2114.82	c CG minimize time 0 s
2108.91/2114.82	c CG am1 prop time 0.000632 s
2108.91/2114.82	c CG # am1s reformulated 0
2108.91/2114.82	c CG lower bound derived from am1s 0
2108.91/2114.82	c CG # clausal cores 6
2108.91/2114.82	c CG # cardinality cores 0
2108.91/2114.82	c CG # pb cores 0
2108.91/2114.82	c CG # pb reforms 0
2108.91/2114.82	c CG # cores discarded because of pb reform 0
2108.91/2114.82	d LOWERBOUND 5161012
2108.91/2114.82	d NCORES 6
2108.91/2114.82	d NPBCORES 0
2108.91/2114.82	d NPBREFORM 0
2108.91/2114.82	d NTRIMMED 8
2108.91/2114.82	d NEXHAUSTED 0
2108.91/2114.82	d NAM1S 0
2108.91/2114.82	d AM1LB 0
2108.91/2114.82	o 5950590
2108.91/2114.82	s OPTIMUM FOUND
2108.91/2114.82	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 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 x6552 -x6553 -x6554 -x6555 x6556 -x6557 -x6558 -x6559 -x6560 x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 x6578 x6579 x6580 x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 x6589 -x6590 -x6591 -x6592 -x6593 x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 x6604 -x6605 -x6606 -x6607 x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 x6728 x6729 x6730 x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 x6784 -x6785 -x6786 -x6787 -x6788 x6789 -x6790 x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 x6799 -x6800 -x6801 -x6802 x6803 -x6804 x6805 -x6806 -x6807 -x6808 -x6809 -x6810

Verifier Data 

OK	5950590

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504292-1751441985/watcher-4504292-1751441985 -o /tmp/evaluation-result-4504292-1751441985/solver-4504292-1751441985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751441985-61113 --watchdog 3760 pb-oll-rs HOME/instance-4504292-1751441985.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=61161, runsolver pid=61149

[startup+0.100059 s]*
/proc/loadavg: 1.54 1.96 2.05 4/261 61167
/proc/meminfo: memFree=108972148/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=23256 memory=9956 CPUtime=0.08 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 1521 0 0 0 6 2 0 0 20 0 1 0 59877067 23814144 2489 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 5814 2489 1344 243 0 2063 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 23256 KiB
Current children cumulated memory: 9956 KiB

[startup+0.204786 s]*
/proc/loadavg: 1.54 1.96 2.05 5/265 61171
/proc/meminfo: memFree=108917068/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=26820 memory=15916 CPUtime=0.19 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 2494 0 0 0 16 3 0 0 20 0 1 0 59877067 27463680 3979 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 6705 3979 1344 243 0 2954 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26820 KiB
Current children cumulated memory: 15916 KiB

[startup+0.304752 s]*
/proc/loadavg: 1.54 1.96 2.05 5/265 61171
/proc/meminfo: memFree=108917068/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=28080 memory=18092 CPUtime=0.28 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 3020 0 0 0 25 3 0 0 20 0 1 0 59877067 28753920 4523 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 7020 4523 1344 243 0 3269 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 28080 KiB
Current children cumulated memory: 18092 KiB

[startup+0.700134 s]
/proc/loadavg: 1.54 1.96 2.05 5/265 61171
/proc/meminfo: memFree=108899112/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=44144 memory=32936 CPUtime=0.67 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 5710 0 0 0 63 4 0 0 20 0 1 0 59877067 45203456 8234 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 11036 8234 1344 243 0 7285 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 44144 KiB
Current children cumulated memory: 32936 KiB

[startup+1.50015 s]
/proc/loadavg: 1.54 1.96 2.05 5/265 61171
/proc/meminfo: memFree=108862256/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=79916 memory=61716 CPUtime=1.47 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 10857 0 0 0 139 8 0 0 20 0 1 0 59877067 81833984 15429 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 19979 15429 1344 243 0 16228 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 79916 KiB
Current children cumulated memory: 61716 KiB

[startup+3.10504 s]
/proc/loadavg: 1.54 1.96 2.05 5/265 61171
/proc/meminfo: memFree=108646972/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=120680 memory=91460 CPUtime=3.07 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 16255 0 0 0 294 13 0 0 20 0 1 0 59877067 123576320 22865 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 30170 22865 1344 243 0 26419 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 120680 KiB
Current children cumulated memory: 91460 KiB

[startup+6.30017 s]
/proc/loadavg: 1.73 2.00 2.06 5/264 61171
/proc/meminfo: memFree=108462808/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=129824 memory=115956 CPUtime=6.26 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 18836 0 0 0 609 17 0 0 20 0 1 0 59877067 132939776 28989 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 32456 28989 1344 243 0 28705 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 129824 KiB
Current children cumulated memory: 115956 KiB

[startup+12.7002 s]
/proc/loadavg: 1.92 2.03 2.07 5/264 61171
/proc/meminfo: memFree=108164604/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=195124 memory=151160 CPUtime=12.65 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 25576 0 0 0 1239 26 0 0 20 0 1 0 59877067 199806976 37790 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 48781 37790 1344 243 0 45030 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 195124 KiB
Current children cumulated memory: 151160 KiB

[startup+25.5002 s]
/proc/loadavg: 2.38 2.13 2.10 5/264 61171
/proc/meminfo: memFree=107492300/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=261444 memory=198900 CPUtime=25.41 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 31895 0 0 0 2502 39 0 0 20 0 1 0 59877067 267718656 49725 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 65361 49725 1344 243 0 61610 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 261444 KiB
Current children cumulated memory: 198900 KiB

[startup+51.1055 s]
/proc/loadavg: 2.99 2.29 2.16 5/265 61173
/proc/meminfo: memFree=106495948/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=292844 memory=234552 CPUtime=50.95 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 37234 0 0 0 5038 57 0 0 20 0 1 0 59877067 299872256 58638 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 73211 58638 1344 243 0 69460 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 292844 KiB
Current children cumulated memory: 234552 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 2.58 2.26 5/266 61175
/proc/meminfo: memFree=104630528/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=343532 memory=287316 CPUtime=102.01 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 46361 0 0 0 10110 91 0 0 20 0 1 0 59877067 351776768 71829 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 85883 71829 1344 243 0 82132 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 343532 KiB
Current children cumulated memory: 287316 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.85 2.38 5/266 61177
/proc/meminfo: memFree=104243356/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=435292 memory=319520 CPUtime=161.84 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 50320 0 0 0 16054 130 0 0 20 0 1 0 59877067 445739008 79880 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 108823 79880 1344 243 0 105072 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 435292 KiB
Current children cumulated memory: 319520 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.08 2.49 5/266 61179
/proc/meminfo: memFree=103458244/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=444148 memory=355808 CPUtime=221.66 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 54287 0 0 0 22002 164 0 0 20 0 1 0 59877067 454807552 88952 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 111037 88952 1344 243 0 107286 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 444148 KiB
Current children cumulated memory: 355808 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.27 2.59 5/266 61183
/proc/meminfo: memFree=103379208/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=452608 memory=378416 CPUtime=281.49 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 56934 0 0 0 27961 188 0 0 20 0 1 0 59877067 463470592 94604 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 113152 94604 1344 243 0 109401 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 452608 KiB
Current children cumulated memory: 378416 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.43 2.69 5/264 61189
/proc/meminfo: memFree=103214808/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=453808 memory=384372 CPUtime=341.33 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 57384 0 0 0 33923 210 0 0 20 0 1 0 59877067 464699392 96093 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 113452 96093 1344 243 0 109701 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 453808 KiB
Current children cumulated memory: 384372 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.55 2.78 5/262 61191
/proc/meminfo: memFree=102931100/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=458128 memory=402000 CPUtime=401.17 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 59239 0 0 0 39884 233 0 0 20 0 1 0 59877067 469123072 100500 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 114532 100500 1344 243 0 110781 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 458128 KiB
Current children cumulated memory: 402000 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.67 2.87 5/262 61193
/proc/meminfo: memFree=102206052/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=480948 memory=424616 CPUtime=461.01 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 62884 0 0 0 45847 254 0 0 20 0 1 0 59877067 492490752 106154 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 120237 106154 1344 243 0 116486 0
Current children cumulated CPU time: 461.01 s

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

/proc/loadavg: 4.16 4.11 3.81 5/264 61260
/proc/meminfo: memFree=99405316/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=802980 memory=710624 CPUtime=1657.65 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 102562 0 0 0 165242 523 0 0 20 0 1 0 59877067 822251520 177656 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 200745 177656 1344 243 0 196994 0
Current children cumulated CPU time: 1657.65 s
Current children cumulated vsize: 802980 KiB
Current children cumulated memory: 710624 KiB

[startup+1722.3 s]
/proc/loadavg: 4.12 4.11 3.83 5/264 61262
/proc/meminfo: memFree=99368392/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=802980 memory=710880 CPUtime=1717.48 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 102608 0 0 0 171218 530 0 0 20 0 1 0 59877067 822251520 177720 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 200745 177720 1344 243 0 196994 0
Current children cumulated CPU time: 1717.48 s
Current children cumulated vsize: 802980 KiB
Current children cumulated memory: 710880 KiB

[startup+1782.3 s]
/proc/loadavg: 4.09 4.10 3.85 5/264 61264
/proc/meminfo: memFree=99241064/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=811684 memory=729864 CPUtime=1777.32 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 104801 0 0 0 177188 544 0 0 20 0 1 0 59877067 831164416 182466 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 202921 182466 1344 243 0 199170 0
Current children cumulated CPU time: 1777.32 s
Current children cumulated vsize: 811684 KiB
Current children cumulated memory: 729864 KiB

[startup+1842.3 s]
/proc/loadavg: 4.18 4.12 3.88 5/263 61266
/proc/meminfo: memFree=99062412/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=811684 memory=729864 CPUtime=1837.15 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 104802 0 0 0 183165 550 0 0 20 0 1 0 59877067 831164416 182466 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 202921 182466 1344 243 0 199170 0
Current children cumulated CPU time: 1837.15 s
Current children cumulated vsize: 811684 KiB
Current children cumulated memory: 729864 KiB

[startup+1902.3 s]
/proc/loadavg: 4.07 4.10 3.89 5/263 61269
/proc/meminfo: memFree=99025432/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=811940 memory=730248 CPUtime=1896.99 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 104908 0 0 0 189139 560 0 0 20 0 1 0 59877067 831426560 182562 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 202985 182562 1344 243 0 199234 0
Current children cumulated CPU time: 1896.99 s
Current children cumulated vsize: 811940 KiB
Current children cumulated memory: 730248 KiB

[startup+1962.3 s]
/proc/loadavg: 4.06 4.09 3.91 5/262 61271
/proc/meminfo: memFree=99007744/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=811940 memory=730248 CPUtime=1956.81 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 104908 0 0 0 195113 568 0 0 20 0 1 0 59877067 831426560 182562 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 202985 182562 1344 243 0 199234 0
Current children cumulated CPU time: 1956.81 s
Current children cumulated vsize: 811940 KiB
Current children cumulated memory: 730248 KiB

[startup+2022.3 s]
/proc/loadavg: 4.12 4.10 3.92 5/262 61273
/proc/meminfo: memFree=98942420/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=811940 memory=730248 CPUtime=2016.65 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 104962 0 0 0 201090 575 0 0 20 0 1 0 59877067 831426560 182562 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 202985 182562 1344 243 0 199234 0
Current children cumulated CPU time: 2016.65 s
Current children cumulated vsize: 811940 KiB
Current children cumulated memory: 730248 KiB

[startup+2082.3 s]
/proc/loadavg: 4.10 4.10 3.93 5/264 61279
/proc/meminfo: memFree=98917060/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=814248 memory=752908 CPUtime=2076.49 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 107056 0 0 0 207062 587 0 0 20 0 1 0 59877067 833789952 188227 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 203562 188227 1344 243 0 199811 0
Current children cumulated CPU time: 2076.49 s
Current children cumulated vsize: 814248 KiB
Current children cumulated memory: 752908 KiB

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

# cumulated CPU time of all completed processes:  user=2103.03 s, system=5.94146 s

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

[startup+2099.2 s]
/proc/loadavg: 4.07 4.09 3.94 5/264 61279
/proc/meminfo: memFree=98913020/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=814248 memory=752908 CPUtime=2093.35 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 107056 0 0 0 208746 589 0 0 20 0 1 0 59877067 833789952 188227 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 203562 188227 1344 243 0 199811 0
Current children cumulated CPU time: 2093.35 s
Current children cumulated vsize: 814248 KiB
Current children cumulated memory: 752908 KiB

[startup+2105.6 s]
/proc/loadavg: 4.06 4.09 3.94 5/264 61284
/proc/meminfo: memFree=98912800/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=814248 memory=752908 CPUtime=2099.73 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 107056 0 0 0 209383 590 0 0 20 0 1 0 59877067 833789952 188227 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 203562 188227 1344 243 0 199811 0
Current children cumulated CPU time: 2099.73 s
Current children cumulated vsize: 814248 KiB
Current children cumulated memory: 752908 KiB

[startup+2108.8 s]
/proc/loadavg: 4.06 4.09 3.94 5/264 61284
/proc/meminfo: memFree=98912912/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=814248 memory=752908 CPUtime=2102.92 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 107056 0 0 0 209702 590 0 0 20 0 1 0 59877067 833789952 188227 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 203562 188227 1344 243 0 199811 0
Current children cumulated CPU time: 2102.92 s
Current children cumulated vsize: 814248 KiB
Current children cumulated memory: 752908 KiB

[startup+2112 s]*
/proc/loadavg: 4.06 4.09 3.94 5/264 61284
/proc/meminfo: memFree=98912664/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=814248 memory=752908 CPUtime=2106.11 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 107056 0 0 0 210021 590 0 0 20 0 1 0 59877067 833789952 188227 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 203562 188227 1344 243 0 199811 0
Current children cumulated CPU time: 2106.11 s
Current children cumulated vsize: 814248 KiB
Current children cumulated memory: 752908 KiB

[startup+2113.6 s]
/proc/loadavg: 4.06 4.09 3.94 5/264 61284
/proc/meminfo: memFree=98912860/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=814248 memory=752908 CPUtime=2107.71 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 107056 0 0 0 210180 591 0 0 20 0 1 0 59877067 833789952 188227 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 203562 188227 1344 243 0 199811 0
Current children cumulated CPU time: 2107.71 s
Current children cumulated vsize: 814248 KiB
Current children cumulated memory: 752908 KiB

[startup+2114.4 s]
/proc/loadavg: 4.06 4.09 3.94 5/264 61284
/proc/meminfo: memFree=98912868/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=814248 memory=752908 CPUtime=2108.51 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 107057 0 0 0 210260 591 0 0 20 0 1 0 59877067 833789952 188227 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 203562 188227 1344 243 0 199811 0
Current children cumulated CPU time: 2108.51 s
Current children cumulated vsize: 814248 KiB
Current children cumulated memory: 752908 KiB

[startup+2114.8 s]
/proc/loadavg: 4.06 4.09 3.94 5/264 61284
/proc/meminfo: memFree=98912868/131249988 swapFree=33010416/33010684
[pid=61161] ppid=61149 vsize=814248 memory=752908 CPUtime=2108.91 cores=4,6
/proc/61161/stat : 61161 (pb-oll-rs) R 61149 61161 61102 0 -1 4194304 107057 0 0 0 210300 591 0 0 20 0 1 0 59877067 833789952 188227 18446744073709551615 4218880 5211445 140722865534880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 8105984 140722865543580 140722865543657 140722865543657 140722865549259 0
/proc/61161/statm: 203562 188227 1344 243 0 199811 0
Current children cumulated CPU time: 2108.91 s
Current children cumulated vsize: 814248 KiB
Current children cumulated memory: 752908 KiB

Child status: 0

Real time (s): 2114.85
CPU time (s): 2108.97
CPU user time (s): 2103.03
CPU system time (s): 5.94146
CPU usage (%): 99.7218
Max. virtual memory (cumulated for all children) (KiB): 814248
Max. memory (cumulated for all children) (KiB): 752908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2103.03
system time used= 5.94146
maximum resident set size= 752908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107068
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= 105
involuntary context switches= 1199


# summary of solver processes directly reported to runsolver:
#   pid: 61161
#   total CPU time (s): 2108.97
#   total CPU user time (s): 2103.03
#   total CPU system time (s): 5.94146

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.0305 second user time and 9.38896 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-02 09:39:45
IDJOB=4504292
IDBENCH=155651
IDSOLVER=3345
FILE ID=nodeC031/4504292-1751441985
RUNJOBID= nodeC031-1751441985-61113
SLURM_JOB_ID= 9598408
Free space on /tmp= 432096 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat15_5_3_2_mh.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504292-1751441985/watcher-4504292-1751441985 -o /tmp/evaluation-result-4504292-1751441985/solver-4504292-1751441985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751441985-61113 --watchdog 3760  pb-oll-rs HOME/instance-4504292-1751441985.opb

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

MD5SUM BENCH= 1542385ac037132e9cf985b37fe6e57c
RANDOM SEED=822580656

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        108999896 kB
MemAvailable:   129609792 kB
Buffers:            2128 kB
Cached:         21295724 kB
SwapCached:           12 kB
Active:           496052 kB
Inactive:       20889416 kB
Active(anon):      95236 kB
Inactive(anon):    10472 kB
Active(file):     400816 kB
Inactive(file): 20878944 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22092 kB
Writeback:             4 kB
AnonPages:         90808 kB
Mapped:           103840 kB
Shmem:             18052 kB
KReclaimable:     338748 kB
Slab:             430596 kB
SReclaimable:     338748 kB
SUnreclaim:        91848 kB
KernelStack:        4080 kB
PageTables:         2832 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     357360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432060 MiB
End job on nodeC031 at 2025-07-02 10:15:00