Trace number 4497841

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt-log 63f22adOPT cert.21 900.801 908.541

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM529ae296d86301d65a8fd4e36abb4ed9
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 benchmark21
Best CPU time to get the best result obtained on this benchmark24.4815
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
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.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4497841-1751401668.opb'
0.00/0.04	c 	read 0.62MB  (25.95ms)
0.00/0.04	c	 [cnf: #variables 6076 #clauses 21394 #duplicates 8 #arr 55042]
0.00/0.04	c output proof to 'PROOFDIR/proof-4497841-1751401668'
0.00/0.05	c 
0.00/0.05	c make graph and approximate orbits
0.00/0.07	c	 [group: #orbits ~= 2] (27.71ms)
0.00/0.07	c 
0.00/0.07	c detect special group actions
0.00/0.07	c 	probe for Johnson action (limit=64)
0.00/0.07	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.08	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.08	c 	 found row 5x2, generating row predicate
0.00/0.08	c 	 (4.77ms)
0.00/0.08	c 
0.00/0.08	c detect symmetries on remainder
0.00/0.08	c 	[graph: #vertices 45706 #edges 146556]
0.00/0.08	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.09	c 	 [group: #symmetries 1.00*10^0 #generators 0] (9.78ms)
0.00/0.09	c 
0.00/0.09	c finalize break order and special generators
0.00/0.09	c 
0.00/0.09	c generation finished
0.00/0.09	c 	[sbp: #constraints 4 #add_vars 0]
0.00/0.09	c 
0.00/0.09	c write result to 'HOME/instance-4497841-1751401668.opb.pre'
0.00/0.09	c 	wrote 0.64MB (4.44ms)
0.00/0.09	c ------------------------------------------------------------------
0.00/0.09	c                  27.71ms 36.61% approx_orbits
0.00/0.09	c                  25.95ms 34.28% parse
0.00/0.09	c                   9.78ms 12.92% detect_generic
0.00/0.09	c                   4.77ms  6.30% detect_special
0.00/0.09	c                   4.44ms  5.86% output
0.00/0.09	c                   2.49ms  3.29% other
0.00/0.09	c                   0.56ms  0.73% finalize_order
0.00/0.09	c         ───────────────────────────────────────────────
0.00/0.09	c                  75.69ms   100% total
0.00/0.09	c ------------------------------------------------------------------
0.08/0.13	c RoundingSat 2
0.08/0.13	c branch pb25
0.08/0.13	c commit 63f22ad
0.37/0.47	c #variables 6076 #constraints 21393
0.37/0.47	c objective is ce32 
0.37/0.47	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.37/0.47	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.37/0.47	c bounds - >= 0 @ 0.27776
0.64/0.77	c bounds 31 >= 0 @ 0.554693
0.74/0.87	c bounds 31 >= 6 @ 0.652851
0.74/0.87	c bounds 31 >= 7 @ 0.655651
0.74/0.87	c bounds 30 >= 7 @ 0.658273
0.74/0.88	c bounds 30 >= 8 @ 0.660234
1.14/1.25	c bounds 29 >= 8 @ 1.02757
1.14/1.26	c bounds 29 >= 9 @ 1.02918
1.14/1.26	c bounds 29 >= 10 @ 1.0307
1.14/1.26	c bounds 29 >= 11 @ 1.03215
1.14/1.28	c bounds 29 >= 12 @ 1.05185
1.34/1.46	c bounds 29 >= 13 @ 1.23499
2.95/3.06	c #Conflicts:       1000 | #Constraints:      22432
2.95/3.06	c bounds 29 >= 14 @ 2.8191
6.04/6.16	c #Conflicts:       2000 | #Constraints:      23444
6.04/6.16	c INPROCESSING
6.04/6.16	c GARBAGE COLLECT
6.04/6.16	c bounds 29 >= 15 @ 5.85567
6.23/6.30	c bounds 29 >= 16 @ 5.99375
6.82/6.98	c #Conflicts:       3000 | #Constraints:      23457
6.82/6.98	c #Conflicts:       4000 | #Constraints:      24457
6.82/6.98	c INPROCESSING
6.82/6.98	c GARBAGE COLLECT
6.82/6.98	c bounds 29 >= 17 @ 6.64287
10.81/10.97	c #Conflicts:       5000 | #Constraints:      23860
10.81/10.97	c #Conflicts:       6000 | #Constraints:      24860
10.81/10.97	c INPROCESSING
10.81/10.97	c GARBAGE COLLECT
10.81/10.97	c rational objective 17
13.60/13.72	c #Conflicts:       7000 | #Constraints:      23876
13.60/13.72	c #Conflicts:       8000 | #Constraints:      24876
13.60/13.72	c #Conflicts:       9000 | #Constraints:      25876
13.60/13.72	c INPROCESSING
13.60/13.72	c GARBAGE COLLECT
13.60/13.72	c rational objective 17
21.78/21.95	c #Conflicts:      10000 | #Constraints:      24575
21.78/21.95	c #Conflicts:      11000 | #Constraints:      25577
21.78/21.95	c #Conflicts:      12000 | #Constraints:      26578
21.78/21.95	c INPROCESSING
21.78/21.95	c GARBAGE COLLECT
21.78/21.95	c rational objective 17
41.23/41.56	c #Conflicts:      13000 | #Constraints:      25019
41.23/41.56	c #Conflicts:      14000 | #Constraints:      26019
41.23/41.56	c #Conflicts:      15000 | #Constraints:      27019
41.23/41.56	c INPROCESSING
41.23/41.56	c GARBAGE COLLECT
41.23/41.56	c #Conflicts:      16000 | #Constraints:      25257
41.23/41.56	c #Conflicts:      17000 | #Constraints:      26260
41.23/41.56	c #Conflicts:      18000 | #Constraints:      27262
41.23/41.56	c INPROCESSING
41.23/41.56	c GARBAGE COLLECT
41.23/41.56	c #Conflicts:      19000 | #Constraints:      25271
41.23/41.56	c #Conflicts:      20000 | #Constraints:      26274
41.23/41.56	c #Conflicts:      21000 | #Constraints:      27276
41.23/41.56	c INPROCESSING
41.23/41.56	c GARBAGE COLLECT
41.23/41.56	c #Conflicts:      22000 | #Constraints:      25084
41.23/41.56	c #Conflicts:      23000 | #Constraints:      26084
41.23/41.56	c #Conflicts:      24000 | #Constraints:      27084
41.23/41.56	c #Conflicts:      25000 | #Constraints:      28084
41.23/41.56	c INPROCESSING
41.23/41.56	c GARBAGE COLLECT
41.23/41.56	c rational objective 17
43.53/43.85	c #Conflicts:      26000 | #Constraints:      25730
43.53/43.85	c #Conflicts:      27000 | #Constraints:      26730
43.53/43.85	c bounds 28 >= 17 @ 42.8673
43.62/43.91	c bounds 27 >= 17 @ 42.9322
47.52/47.80	c #Conflicts:      28000 | #Constraints:      27734
47.52/47.80	c #Conflicts:      29000 | #Constraints:      28735
47.52/47.80	c INPROCESSING
47.52/47.80	c GARBAGE COLLECT
47.52/47.80	c rational objective 17
62.68/63.08	c #Conflicts:      30000 | #Constraints:      26108
62.68/63.08	c #Conflicts:      31000 | #Constraints:      27108
62.68/63.08	c #Conflicts:      32000 | #Constraints:      28108
62.68/63.08	c #Conflicts:      33000 | #Constraints:      29108
62.68/63.08	c INPROCESSING
62.68/63.08	c GARBAGE COLLECT
62.68/63.08	c #Conflicts:      34000 | #Constraints:      26305
62.68/63.08	c #Conflicts:      35000 | #Constraints:      27305
62.68/63.08	c #Conflicts:      36000 | #Constraints:      28305
62.68/63.08	c #Conflicts:      37000 | #Constraints:      29305
62.68/63.08	c INPROCESSING
62.68/63.08	c GARBAGE COLLECT
62.68/63.08	c rational objective 17
70.77/71.24	c #Conflicts:      38000 | #Constraints:      26365
70.77/71.24	c #Conflicts:      39000 | #Constraints:      27365
70.77/71.24	c #Conflicts:      40000 | #Constraints:      28366
70.77/71.24	c #Conflicts:      41000 | #Constraints:      29366
70.77/71.24	c INPROCESSING
70.77/71.24	c GARBAGE COLLECT
70.77/71.24	c rational objective 17
81.43/81.92	c #Conflicts:      42000 | #Constraints:      26123
81.43/81.92	c #Conflicts:      43000 | #Constraints:      27124
81.43/81.92	c #Conflicts:      44000 | #Constraints:      28124
81.43/81.92	c #Conflicts:      45000 | #Constraints:      29124
81.43/81.92	c #Conflicts:      46000 | #Constraints:      30124
81.43/81.92	c INPROCESSING
81.43/81.92	c GARBAGE COLLECT
81.43/81.92	c rational objective 17
84.72/85.21	c #Conflicts:      47000 | #Constraints:      26705
84.72/85.21	c bounds 27 >= 18 @ 83.5866
95.89/96.42	c #Conflicts:      48000 | #Constraints:      27720
95.89/96.42	c #Conflicts:      49000 | #Constraints:      28721
95.89/96.42	c #Conflicts:      50000 | #Constraints:      29721
95.89/96.42	c #Conflicts:      51000 | #Constraints:      30721
95.89/96.42	c INPROCESSING
95.89/96.42	c GARBAGE COLLECT
95.89/96.42	c #Conflicts:      52000 | #Constraints:      27112
95.89/96.42	c #Conflicts:      53000 | #Constraints:      28112
95.89/96.42	c #Conflicts:      54000 | #Constraints:      29112
95.89/96.42	c #Conflicts:      55000 | #Constraints:      30112
95.89/96.42	c #Conflicts:      56000 | #Constraints:      31112
95.89/96.42	c INPROCESSING
95.89/96.42	c GARBAGE COLLECT
95.89/96.42	c rational objective 18
96.14/96.81	c bounds 26 >= 18 @ 94.8864
100.13/100.88	c #Conflicts:      57000 | #Constraints:      27378
100.13/100.88	c #Conflicts:      58000 | #Constraints:      28378
100.13/100.88	c #Conflicts:      59000 | #Constraints:      29378
100.13/100.88	c #Conflicts:      60000 | #Constraints:      30378
100.13/100.88	c #Conflicts:      61000 | #Constraints:      31378
100.13/100.88	c INPROCESSING
100.13/100.88	c GARBAGE COLLECT
100.13/100.88	c rational objective 18
102.22/102.99	c #Conflicts:      62000 | #Constraints:      27358
102.22/102.99	c bounds 26 >= 19 @ 100.927
106.52/107.28	c #Conflicts:      63000 | #Constraints:      28397
106.52/107.28	c #Conflicts:      64000 | #Constraints:      29397
106.52/107.28	c #Conflicts:      65000 | #Constraints:      30397
106.52/107.28	c #Conflicts:      66000 | #Constraints:      31397
106.52/107.28	c INPROCESSING
106.52/107.28	c GARBAGE COLLECT
106.52/107.28	c rational objective 19
107.91/108.68	c #Conflicts:      67000 | #Constraints:      27253
107.91/108.68	c #Conflicts:      68000 | #Constraints:      28254
107.91/108.68	c bounds 25 >= 19 @ 106.511
108.60/109.39	c bounds 24 >= 19 @ 107.207
111.31/112.04	c #Conflicts:      69000 | #Constraints:      29256
111.31/112.04	c #Conflicts:      70000 | #Constraints:      30256
111.31/112.04	c #Conflicts:      71000 | #Constraints:      31256
111.31/112.04	c bounds 23 >= 19 @ 109.811
112.31/113.03	c #Conflicts:      72000 | #Constraints:      32257
112.31/113.03	c INPROCESSING
112.31/113.03	c GARBAGE COLLECT
112.31/113.03	c rational objective 19
118.88/119.69	c #Conflicts:      73000 | #Constraints:      27870
118.88/119.69	c #Conflicts:      74000 | #Constraints:      28870
118.88/119.69	c #Conflicts:      75000 | #Constraints:      29870
118.88/119.69	c #Conflicts:      76000 | #Constraints:      30870
118.88/119.69	c #Conflicts:      77000 | #Constraints:      31870
118.88/119.69	c #Conflicts:      78000 | #Constraints:      32870
118.88/119.69	c INPROCESSING
118.88/119.69	c GARBAGE COLLECT
118.88/119.69	c rational objective 19
125.06/125.81	c #Conflicts:      79000 | #Constraints:      28358
125.06/125.81	c #Conflicts:      80000 | #Constraints:      29358
125.06/125.81	c #Conflicts:      81000 | #Constraints:      30358
125.06/125.81	c #Conflicts:      82000 | #Constraints:      31358
125.06/125.81	c #Conflicts:      83000 | #Constraints:      32358
125.06/125.81	c #Conflicts:      84000 | #Constraints:      33358
125.06/125.81	c INPROCESSING
125.06/125.81	c GARBAGE COLLECT
125.06/125.81	c rational objective 19
136.74/137.60	c #Conflicts:      85000 | #Constraints:      28571
136.74/137.60	c #Conflicts:      86000 | #Constraints:      29571
136.74/137.60	c #Conflicts:      87000 | #Constraints:      30571
136.74/137.60	c #Conflicts:      88000 | #Constraints:      31571
136.74/137.60	c #Conflicts:      89000 | #Constraints:      32571
136.74/137.60	c #Conflicts:      90000 | #Constraints:      33571
136.74/137.60	c INPROCESSING
136.74/137.60	c GARBAGE COLLECT
136.74/137.60	c rational objective 19
151.31/152.27	c #Conflicts:      91000 | #Constraints:      28529
151.31/152.27	c #Conflicts:      92000 | #Constraints:      29529
151.31/152.27	c #Conflicts:      93000 | #Constraints:      30529
151.31/152.27	c #Conflicts:      94000 | #Constraints:      31529
151.31/152.27	c #Conflicts:      95000 | #Constraints:      32529
151.31/152.27	c #Conflicts:      96000 | #Constraints:      33529
151.31/152.27	c INPROCESSING
151.31/152.27	c GARBAGE COLLECT
151.31/152.27	c rational objective 19
157.25/158.26	c #Conflicts:      97000 | #Constraints:      28355
157.25/158.26	c #Conflicts:      98000 | #Constraints:      29355
157.25/158.26	c #Conflicts:      99000 | #Constraints:      30355
157.25/158.26	c #Conflicts:     100000 | #Constraints:      31355
157.25/158.26	c #Conflicts:     101000 | #Constraints:      32355
157.25/158.26	c #Conflicts:     102000 | #Constraints:      33355
157.25/158.26	c #Conflicts:     103000 | #Constraints:      34355
157.25/158.26	c INPROCESSING
157.25/158.26	c GARBAGE COLLECT
157.25/158.26	c rational objective 19
166.72/167.70	c #Conflicts:     104000 | #Constraints:      28942
166.72/167.70	c #Conflicts:     105000 | #Constraints:      29942
166.72/167.70	c #Conflicts:     106000 | #Constraints:      30942
166.72/167.70	c #Conflicts:     107000 | #Constraints:      31942
166.72/167.70	c #Conflicts:     108000 | #Constraints:      32942
166.72/167.70	c #Conflicts:     109000 | #Constraints:      33942
166.72/167.70	c #Conflicts:     110000 | #Constraints:      34942
166.72/167.70	c INPROCESSING
166.72/167.70	c GARBAGE COLLECT
166.72/167.70	c rational objective 19
174.60/175.68	c #Conflicts:     111000 | #Constraints:      29326
174.60/175.68	c #Conflicts:     112000 | #Constraints:      30326
174.60/175.68	c #Conflicts:     113000 | #Constraints:      31326
174.60/175.68	c #Conflicts:     114000 | #Constraints:      32326
174.60/175.68	c #Conflicts:     115000 | #Constraints:      33326
174.60/175.68	c #Conflicts:     116000 | #Constraints:      34326
174.60/175.68	c #Conflicts:     117000 | #Constraints:      35326
174.60/175.68	c INPROCESSING
174.60/175.68	c GARBAGE COLLECT
174.60/175.68	c rational objective 19
187.62/188.77	c #Conflicts:     118000 | #Constraints:      29537
187.62/188.77	c #Conflicts:     119000 | #Constraints:      30537
187.62/188.77	c #Conflicts:     120000 | #Constraints:      31537
187.62/188.77	c #Conflicts:     121000 | #Constraints:      32537
187.62/188.77	c #Conflicts:     122000 | #Constraints:      33537
187.62/188.77	c #Conflicts:     123000 | #Constraints:      34537
187.62/188.77	c #Conflicts:     124000 | #Constraints:      35537
187.62/188.77	c INPROCESSING
187.62/188.77	c GARBAGE COLLECT
187.62/188.77	c rational objective 19
198.80/199.95	c #Conflicts:     125000 | #Constraints:      29573
198.80/199.95	c #Conflicts:     126000 | #Constraints:      30573
198.80/199.95	c #Conflicts:     127000 | #Constraints:      31573
198.80/199.95	c #Conflicts:     128000 | #Constraints:      32573
198.80/199.95	c #Conflicts:     129000 | #Constraints:      33573
198.80/199.95	c #Conflicts:     130000 | #Constraints:      34573
198.80/199.95	c #Conflicts:     131000 | #Constraints:      35573
198.80/199.95	c INPROCESSING
198.80/199.95	c GARBAGE COLLECT
198.80/199.95	c rational objective 19
209.46/210.63	c #Conflicts:     132000 | #Constraints:      29469
209.46/210.63	c #Conflicts:     133000 | #Constraints:      30469
209.46/210.63	c #Conflicts:     134000 | #Constraints:      31469
209.46/210.63	c #Conflicts:     135000 | #Constraints:      32469
209.46/210.63	c #Conflicts:     136000 | #Constraints:      33469
209.46/210.63	c #Conflicts:     137000 | #Constraints:      34469
209.46/210.63	c bounds 23 >= 20 @ 207.191
211.46/212.67	c #Conflicts:     138000 | #Constraints:      35511
211.46/212.67	c #Conflicts:     139000 | #Constraints:      36511
211.46/212.67	c INPROCESSING
211.46/212.67	c GARBAGE COLLECT
211.46/212.67	c rational objective 20
219.42/222.44	c #Conflicts:     140000 | #Constraints:      30078
219.42/222.44	c #Conflicts:     141000 | #Constraints:      31078
219.42/222.44	c #Conflicts:     142000 | #Constraints:      32079
219.42/222.44	c #Conflicts:     143000 | #Constraints:      33079
219.42/222.44	c bounds 22 >= 20 @ 217.065
226.69/229.75	c #Conflicts:     144000 | #Constraints:      34080
226.69/229.75	c #Conflicts:     145000 | #Constraints:      35080
226.69/229.75	c #Conflicts:     146000 | #Constraints:      36080
226.69/229.75	c #Conflicts:     147000 | #Constraints:      37080
226.69/229.75	c INPROCESSING
226.69/229.75	c GARBAGE COLLECT
226.69/229.75	c rational objective 20
238.98/242.05	c #Conflicts:     148000 | #Constraints:      30425
238.98/242.05	c #Conflicts:     149000 | #Constraints:      31425
238.98/242.05	c #Conflicts:     150000 | #Constraints:      32425
238.98/242.05	c #Conflicts:     151000 | #Constraints:      33425
238.98/242.05	c #Conflicts:     152000 | #Constraints:      34425
238.98/242.05	c #Conflicts:     153000 | #Constraints:      35425
238.98/242.05	c #Conflicts:     154000 | #Constraints:      36425
238.98/242.05	c #Conflicts:     155000 | #Constraints:      37425
238.98/242.05	c INPROCESSING
238.98/242.05	c GARBAGE COLLECT
238.98/242.05	c rational objective 20
250.30/253.44	c #Conflicts:     156000 | #Constraints:      30660
250.30/253.44	c #Conflicts:     157000 | #Constraints:      31660
250.30/253.44	c #Conflicts:     158000 | #Constraints:      32660
250.30/253.44	c #Conflicts:     159000 | #Constraints:      33660
250.30/253.44	c #Conflicts:     160000 | #Constraints:      34660
250.30/253.44	c #Conflicts:     161000 | #Constraints:      35660
250.30/253.44	c #Conflicts:     162000 | #Constraints:      36660
250.30/253.44	c #Conflicts:     163000 | #Constraints:      37660
250.30/253.44	c INPROCESSING
250.30/253.44	c GARBAGE COLLECT
250.30/253.44	c rational objective 20
263.05/266.25	c #Conflicts:     164000 | #Constraints:      30745
263.05/266.25	c #Conflicts:     165000 | #Constraints:      31745
263.05/266.25	c #Conflicts:     166000 | #Constraints:      32745
263.05/266.25	c #Conflicts:     167000 | #Constraints:      33745
263.05/266.25	c #Conflicts:     168000 | #Constraints:      34745
263.05/266.25	c #Conflicts:     169000 | #Constraints:      35745
263.05/266.25	c #Conflicts:     170000 | #Constraints:      36745
263.05/266.25	c #Conflicts:     171000 | #Constraints:      37745
263.05/266.25	c INPROCESSING
263.05/266.25	c GARBAGE COLLECT
263.05/266.25	c rational objective 20
278.49/281.79	c #Conflicts:     172000 | #Constraints:      30491
278.49/281.79	c #Conflicts:     173000 | #Constraints:      31491
278.49/281.79	c #Conflicts:     174000 | #Constraints:      32491
278.49/281.79	c #Conflicts:     175000 | #Constraints:      33491
278.49/281.79	c #Conflicts:     176000 | #Constraints:      34491
278.49/281.79	c #Conflicts:     177000 | #Constraints:      35491
278.49/281.79	c #Conflicts:     178000 | #Constraints:      36491
278.49/281.79	c #Conflicts:     179000 | #Constraints:      37491
278.49/281.79	c #Conflicts:     180000 | #Constraints:      38491
278.49/281.79	c INPROCESSING
278.49/281.79	c GARBAGE COLLECT
278.49/281.79	c rational objective 20
279.79/283.06	c bounds 21 >= 20 @ 277.027
294.85/298.16	c #Conflicts:     181000 | #Constraints:      31134
294.85/298.16	c #Conflicts:     182000 | #Constraints:      32134
294.85/298.16	c #Conflicts:     183000 | #Constraints:      33134
294.85/298.16	c #Conflicts:     184000 | #Constraints:      34134
294.85/298.16	c #Conflicts:     185000 | #Constraints:      35134
294.85/298.16	c #Conflicts:     186000 | #Constraints:      36134
294.85/298.16	c #Conflicts:     187000 | #Constraints:      37134
294.85/298.16	c #Conflicts:     188000 | #Constraints:      38134
294.85/298.16	c #Conflicts:     189000 | #Constraints:      39134
294.85/298.16	c INPROCESSING
294.85/298.16	c GARBAGE COLLECT
294.85/298.16	c rational objective 20
312.33/315.73	c #Conflicts:     190000 | #Constraints:      31571
312.33/315.73	c #Conflicts:     191000 | #Constraints:      32571
312.33/315.73	c #Conflicts:     192000 | #Constraints:      33571
312.33/315.73	c #Conflicts:     193000 | #Constraints:      34571
312.33/315.73	c #Conflicts:     194000 | #Constraints:      35571
312.33/315.73	c #Conflicts:     195000 | #Constraints:      36571
312.33/315.73	c #Conflicts:     196000 | #Constraints:      37571
312.33/315.73	c #Conflicts:     197000 | #Constraints:      38571
312.33/315.73	c #Conflicts:     198000 | #Constraints:      39571
312.33/315.73	c INPROCESSING
312.33/315.73	c GARBAGE COLLECT
312.33/315.73	c rational objective 20
331.28/334.75	c #Conflicts:     199000 | #Constraints:      31759
331.28/334.75	c #Conflicts:     200000 | #Constraints:      32759
331.28/334.75	c #Conflicts:     201000 | #Constraints:      33759
331.28/334.75	c #Conflicts:     202000 | #Constraints:      34759
331.28/334.75	c #Conflicts:     203000 | #Constraints:      35759
331.28/334.75	c #Conflicts:     204000 | #Constraints:      36759
331.28/334.75	c #Conflicts:     205000 | #Constraints:      37759
331.28/334.75	c #Conflicts:     206000 | #Constraints:      38759
331.28/334.75	c #Conflicts:     207000 | #Constraints:      39759
331.28/334.75	c INPROCESSING
331.28/334.75	c GARBAGE COLLECT
331.28/334.75	c rational objective 20
345.24/348.79	c #Conflicts:     208000 | #Constraints:      31802
345.24/348.79	c #Conflicts:     209000 | #Constraints:      32802
345.24/348.79	c #Conflicts:     210000 | #Constraints:      33802
345.24/348.79	c #Conflicts:     211000 | #Constraints:      34802
345.24/348.79	c #Conflicts:     212000 | #Constraints:      35802
345.24/348.79	c #Conflicts:     213000 | #Constraints:      36802
345.24/348.79	c #Conflicts:     214000 | #Constraints:      37802
345.24/348.79	c #Conflicts:     215000 | #Constraints:      38802
345.24/348.79	c #Conflicts:     216000 | #Constraints:      39802
345.24/348.79	c INPROCESSING
345.24/348.79	c GARBAGE COLLECT
345.24/348.79	c rational objective 20
367.15/370.79	c #Conflicts:     217000 | #Constraints:      31577
367.15/370.79	c #Conflicts:     218000 | #Constraints:      32577
367.15/370.79	c #Conflicts:     219000 | #Constraints:      33577
367.15/370.79	c #Conflicts:     220000 | #Constraints:      34577
367.15/370.79	c #Conflicts:     221000 | #Constraints:      35577
367.15/370.79	c #Conflicts:     222000 | #Constraints:      36577
367.15/370.79	c #Conflicts:     223000 | #Constraints:      37577
367.15/370.79	c #Conflicts:     224000 | #Constraints:      38577
367.15/370.79	c #Conflicts:     225000 | #Constraints:      39577
367.15/370.79	c #Conflicts:     226000 | #Constraints:      40577
367.15/370.79	c INPROCESSING
367.15/370.79	c GARBAGE COLLECT
367.15/370.79	c rational objective 20
389.59/393.34	c #Conflicts:     227000 | #Constraints:      32132
389.59/393.34	c #Conflicts:     228000 | #Constraints:      33132
389.59/393.34	c #Conflicts:     229000 | #Constraints:      34132
389.59/393.34	c #Conflicts:     230000 | #Constraints:      35132
389.59/393.34	c #Conflicts:     231000 | #Constraints:      36132
389.59/393.34	c #Conflicts:     232000 | #Constraints:      37132
389.59/393.34	c #Conflicts:     233000 | #Constraints:      38132
389.59/393.34	c #Conflicts:     234000 | #Constraints:      39132
389.59/393.34	c #Conflicts:     235000 | #Constraints:      40132
389.59/393.34	c #Conflicts:     236000 | #Constraints:      41132
389.59/393.34	c INPROCESSING
389.59/393.34	c GARBAGE COLLECT
389.59/393.34	c rational objective 20
407.33/411.17	c #Conflicts:     237000 | #Constraints:      32630
407.33/411.17	c #Conflicts:     238000 | #Constraints:      33630
407.33/411.17	c #Conflicts:     239000 | #Constraints:      34630
407.33/411.17	c #Conflicts:     240000 | #Constraints:      35630
407.33/411.17	c #Conflicts:     241000 | #Constraints:      36630
407.33/411.17	c #Conflicts:     242000 | #Constraints:      37630
407.33/411.17	c #Conflicts:     243000 | #Constraints:      38630
407.33/411.17	c #Conflicts:     244000 | #Constraints:      39630
407.33/411.17	c #Conflicts:     245000 | #Constraints:      40630
407.33/411.17	c #Conflicts:     246000 | #Constraints:      41630
407.33/411.17	c INPROCESSING
407.33/411.17	c GARBAGE COLLECT
407.33/411.17	c rational objective 20
428.95/432.89	c #Conflicts:     247000 | #Constraints:      32868
428.95/432.89	c #Conflicts:     248000 | #Constraints:      33868
428.95/432.89	c #Conflicts:     249000 | #Constraints:      34868
428.95/432.89	c #Conflicts:     250000 | #Constraints:      35868
428.95/432.89	c #Conflicts:     251000 | #Constraints:      36868
428.95/432.89	c #Conflicts:     252000 | #Constraints:      37868
428.95/432.89	c #Conflicts:     253000 | #Constraints:      38868
428.95/432.89	c #Conflicts:     254000 | #Constraints:      39868
428.95/432.89	c #Conflicts:     255000 | #Constraints:      40868
428.95/432.89	c #Conflicts:     256000 | #Constraints:      41868
428.95/432.89	c INPROCESSING
428.95/432.89	c GARBAGE COLLECT
428.95/432.89	c rational objective 20
453.29/457.29	c #Conflicts:     257000 | #Constraints:      32898
453.29/457.29	c #Conflicts:     258000 | #Constraints:      33898
453.29/457.29	c #Conflicts:     259000 | #Constraints:      34898
453.29/457.29	c #Conflicts:     260000 | #Constraints:      35898
453.29/457.29	c #Conflicts:     261000 | #Constraints:      36898
453.29/457.29	c #Conflicts:     262000 | #Constraints:      37898
453.29/457.29	c #Conflicts:     263000 | #Constraints:      38898
453.29/457.29	c #Conflicts:     264000 | #Constraints:      39898
453.29/457.29	c #Conflicts:     265000 | #Constraints:      40898
453.29/457.29	c #Conflicts:     266000 | #Constraints:      41898
453.29/457.29	c INPROCESSING
453.29/457.29	c GARBAGE COLLECT
453.29/457.29	c rational objective 20
478.19/482.21	c #Conflicts:     267000 | #Constraints:      32757
478.19/482.21	c #Conflicts:     268000 | #Constraints:      33757
478.19/482.21	c #Conflicts:     269000 | #Constraints:      34757
478.19/482.21	c #Conflicts:     270000 | #Constraints:      35757
478.19/482.21	c #Conflicts:     271000 | #Constraints:      36757
478.19/482.21	c #Conflicts:     272000 | #Constraints:      37757
478.19/482.21	c #Conflicts:     273000 | #Constraints:      38757
478.19/482.21	c #Conflicts:     274000 | #Constraints:      39757
478.19/482.21	c #Conflicts:     275000 | #Constraints:      40757
478.19/482.21	c #Conflicts:     276000 | #Constraints:      41757
478.19/482.21	c #Conflicts:     277000 | #Constraints:      42757
478.19/482.21	c INPROCESSING
478.19/482.21	c GARBAGE COLLECT
478.19/482.21	c rational objective 20
502.37/506.58	c #Conflicts:     278000 | #Constraints:      33309
502.37/506.58	c #Conflicts:     279000 | #Constraints:      34309
502.37/506.58	c #Conflicts:     280000 | #Constraints:      35309
502.37/506.58	c #Conflicts:     281000 | #Constraints:      36309
502.37/506.58	c #Conflicts:     282000 | #Constraints:      37309
502.37/506.58	c #Conflicts:     283000 | #Constraints:      38309
502.37/506.58	c #Conflicts:     284000 | #Constraints:      39309
502.37/506.58	c #Conflicts:     285000 | #Constraints:      40309
502.37/506.58	c #Conflicts:     286000 | #Constraints:      41309
502.37/506.58	c #Conflicts:     287000 | #Constraints:      42309
502.37/506.58	c #Conflicts:     288000 | #Constraints:      43309
502.37/506.58	c INPROCESSING
502.37/506.58	c GARBAGE COLLECT
502.37/506.58	c rational objective 20
525.98/530.27	c #Conflicts:     289000 | #Constraints:      33779
525.98/530.27	c #Conflicts:     290000 | #Constraints:      34779
525.98/530.27	c #Conflicts:     291000 | #Constraints:      35779
525.98/530.27	c #Conflicts:     292000 | #Constraints:      36779
525.98/530.27	c #Conflicts:     293000 | #Constraints:      37779
525.98/530.27	c #Conflicts:     294000 | #Constraints:      38779
525.98/530.27	c #Conflicts:     295000 | #Constraints:      39779
525.98/530.27	c #Conflicts:     296000 | #Constraints:      40779
525.98/530.27	c #Conflicts:     297000 | #Constraints:      41779
525.98/530.27	c #Conflicts:     298000 | #Constraints:      42779
525.98/530.27	c #Conflicts:     299000 | #Constraints:      43779
525.98/530.27	c INPROCESSING
525.98/530.27	c GARBAGE COLLECT
525.98/530.27	c rational objective 20
552.18/556.55	c #Conflicts:     300000 | #Constraints:      34054
552.18/556.55	c #Conflicts:     301000 | #Constraints:      35054
552.18/556.55	c #Conflicts:     302000 | #Constraints:      36054
552.18/556.55	c #Conflicts:     303000 | #Constraints:      37054
552.18/556.55	c #Conflicts:     304000 | #Constraints:      38054
552.18/556.55	c #Conflicts:     305000 | #Constraints:      39054
552.18/556.55	c #Conflicts:     306000 | #Constraints:      40054
552.18/556.55	c #Conflicts:     307000 | #Constraints:      41054
552.18/556.55	c #Conflicts:     308000 | #Constraints:      42054
552.18/556.55	c #Conflicts:     309000 | #Constraints:      43054
552.18/556.55	c #Conflicts:     310000 | #Constraints:      44054
552.18/556.55	c INPROCESSING
552.18/556.55	c GARBAGE COLLECT
552.18/556.55	c rational objective 20
582.34/586.89	c #Conflicts:     311000 | #Constraints:      33974
582.34/586.89	c #Conflicts:     312000 | #Constraints:      34974
582.34/586.89	c #Conflicts:     313000 | #Constraints:      35974
582.34/586.89	c #Conflicts:     314000 | #Constraints:      36974
582.34/586.89	c #Conflicts:     315000 | #Constraints:      37974
582.34/586.89	c #Conflicts:     316000 | #Constraints:      38974
582.34/586.89	c #Conflicts:     317000 | #Constraints:      39974
582.34/586.89	c #Conflicts:     318000 | #Constraints:      40974
582.34/586.89	c #Conflicts:     319000 | #Constraints:      41974
582.34/586.89	c #Conflicts:     320000 | #Constraints:      42974
582.34/586.89	c #Conflicts:     321000 | #Constraints:      43974
582.34/586.89	c INPROCESSING
582.34/586.89	c GARBAGE COLLECT
582.34/586.89	c rational objective 20
607.25/611.81	c #Conflicts:     322000 | #Constraints:      33801
607.25/611.81	c #Conflicts:     323000 | #Constraints:      34801
607.25/611.81	c #Conflicts:     324000 | #Constraints:      35801
607.25/611.81	c #Conflicts:     325000 | #Constraints:      36801
607.25/611.81	c #Conflicts:     326000 | #Constraints:      37801
607.25/611.81	c #Conflicts:     327000 | #Constraints:      38801
607.25/611.81	c #Conflicts:     328000 | #Constraints:      39801
607.25/611.81	c #Conflicts:     329000 | #Constraints:      40801
607.25/611.81	c #Conflicts:     330000 | #Constraints:      41801
607.25/611.81	c #Conflicts:     331000 | #Constraints:      42801
607.25/611.81	c #Conflicts:     332000 | #Constraints:      43801
607.25/611.81	c #Conflicts:     333000 | #Constraints:      44801
607.25/611.81	c INPROCESSING
607.25/611.81	c GARBAGE COLLECT
607.25/611.81	c rational objective 20
636.47/641.12	c #Conflicts:     334000 | #Constraints:      34308
636.47/641.12	c #Conflicts:     335000 | #Constraints:      35308
636.47/641.12	c #Conflicts:     336000 | #Constraints:      36308
636.47/641.12	c #Conflicts:     337000 | #Constraints:      37308
636.47/641.12	c #Conflicts:     338000 | #Constraints:      38308
636.47/641.12	c #Conflicts:     339000 | #Constraints:      39308
636.47/641.12	c #Conflicts:     340000 | #Constraints:      40308
636.47/641.12	c #Conflicts:     341000 | #Constraints:      41308
636.47/641.12	c #Conflicts:     342000 | #Constraints:      42308
636.47/641.12	c #Conflicts:     343000 | #Constraints:      43308
636.47/641.12	c #Conflicts:     344000 | #Constraints:      44308
636.47/641.12	c #Conflicts:     345000 | #Constraints:      45308
636.47/641.12	c INPROCESSING
636.47/641.12	c GARBAGE COLLECT
636.47/641.12	c rational objective 20
668.89/674.70	c #Conflicts:     346000 | #Constraints:      34736
668.89/674.70	c #Conflicts:     347000 | #Constraints:      35736
668.89/674.70	c #Conflicts:     348000 | #Constraints:      36736
668.89/674.70	c #Conflicts:     349000 | #Constraints:      37736
668.89/674.70	c #Conflicts:     350000 | #Constraints:      38736
668.89/674.70	c #Conflicts:     351000 | #Constraints:      39736
668.89/674.70	c #Conflicts:     352000 | #Constraints:      40736
668.89/674.70	c #Conflicts:     353000 | #Constraints:      41736
668.89/674.70	c #Conflicts:     354000 | #Constraints:      42736
668.89/674.70	c #Conflicts:     355000 | #Constraints:      43736
668.89/674.70	c #Conflicts:     356000 | #Constraints:      44736
668.89/674.70	c #Conflicts:     357000 | #Constraints:      45736
668.89/674.70	c INPROCESSING
668.89/674.70	c GARBAGE COLLECT
668.89/674.70	c rational objective 20
703.67/710.15	c #Conflicts:     358000 | #Constraints:      34980
703.67/710.15	c #Conflicts:     359000 | #Constraints:      35980
703.67/710.15	c #Conflicts:     360000 | #Constraints:      36980
703.67/710.15	c #Conflicts:     361000 | #Constraints:      37980
703.67/710.15	c #Conflicts:     362000 | #Constraints:      38980
703.67/710.15	c #Conflicts:     363000 | #Constraints:      39980
703.67/710.15	c #Conflicts:     364000 | #Constraints:      40980
703.67/710.15	c #Conflicts:     365000 | #Constraints:      41980
703.67/710.15	c #Conflicts:     366000 | #Constraints:      42980
703.67/710.15	c #Conflicts:     367000 | #Constraints:      43980
703.67/710.15	c #Conflicts:     368000 | #Constraints:      44980
703.67/710.15	c #Conflicts:     369000 | #Constraints:      45980
703.67/710.15	c INPROCESSING
703.67/710.15	c GARBAGE COLLECT
703.67/710.15	c rational objective 20
732.24/738.81	c #Conflicts:     370000 | #Constraints:      34938
732.24/738.81	c #Conflicts:     371000 | #Constraints:      35938
732.24/738.81	c #Conflicts:     372000 | #Constraints:      36938
732.24/738.81	c #Conflicts:     373000 | #Constraints:      37938
732.24/738.81	c #Conflicts:     374000 | #Constraints:      38938
732.24/738.81	c #Conflicts:     375000 | #Constraints:      39938
732.24/738.81	c #Conflicts:     376000 | #Constraints:      40938
732.24/738.81	c #Conflicts:     377000 | #Constraints:      41938
732.24/738.81	c #Conflicts:     378000 | #Constraints:      42938
732.24/738.81	c #Conflicts:     379000 | #Constraints:      43938
732.24/738.81	c #Conflicts:     380000 | #Constraints:      44938
732.24/738.81	c #Conflicts:     381000 | #Constraints:      45938
732.24/738.81	c INPROCESSING
732.24/738.81	c GARBAGE COLLECT
732.24/738.81	c rational objective 20
766.13/772.86	c #Conflicts:     382000 | #Constraints:      34712
766.13/772.86	c #Conflicts:     383000 | #Constraints:      35712
766.13/772.86	c #Conflicts:     384000 | #Constraints:      36712
766.13/772.86	c #Conflicts:     385000 | #Constraints:      37712
766.13/772.86	c #Conflicts:     386000 | #Constraints:      38712
766.13/772.86	c #Conflicts:     387000 | #Constraints:      39712
766.13/772.86	c #Conflicts:     388000 | #Constraints:      40712
766.13/772.86	c #Conflicts:     389000 | #Constraints:      41712
766.13/772.86	c #Conflicts:     390000 | #Constraints:      42712
766.13/772.86	c #Conflicts:     391000 | #Constraints:      43712
766.13/772.86	c #Conflicts:     392000 | #Constraints:      44712
766.13/772.86	c #Conflicts:     393000 | #Constraints:      45712
766.13/772.86	c #Conflicts:     394000 | #Constraints:      46712
766.13/772.86	c INPROCESSING
766.13/772.86	c GARBAGE COLLECT
766.13/772.86	c rational objective 20
802.70/809.77	c #Conflicts:     395000 | #Constraints:      35349
802.70/809.77	c #Conflicts:     396000 | #Constraints:      36349
802.70/809.77	c #Conflicts:     397000 | #Constraints:      37349
802.70/809.77	c #Conflicts:     398000 | #Constraints:      38349
802.70/809.77	c #Conflicts:     399000 | #Constraints:      39349
802.70/809.77	c #Conflicts:     400000 | #Constraints:      40349
802.70/809.77	c #Conflicts:     401000 | #Constraints:      41349
802.70/809.77	c #Conflicts:     402000 | #Constraints:      42349
802.70/809.77	c #Conflicts:     403000 | #Constraints:      43349
802.70/809.77	c #Conflicts:     404000 | #Constraints:      44349
802.70/809.77	c #Conflicts:     405000 | #Constraints:      45349
802.70/809.77	c #Conflicts:     406000 | #Constraints:      46349
802.70/809.77	c #Conflicts:     407000 | #Constraints:      47349
802.70/809.77	c INPROCESSING
802.70/809.77	c GARBAGE COLLECT
802.70/809.77	c rational objective 20
840.95/848.18	c #Conflicts:     408000 | #Constraints:      35814
840.95/848.18	c #Conflicts:     409000 | #Constraints:      36814
840.95/848.18	c #Conflicts:     410000 | #Constraints:      37814
840.95/848.18	c #Conflicts:     411000 | #Constraints:      38814
840.95/848.18	c #Conflicts:     412000 | #Constraints:      39814
840.95/848.18	c #Conflicts:     413000 | #Constraints:      40814
840.95/848.18	c #Conflicts:     414000 | #Constraints:      41814
840.95/848.18	c #Conflicts:     415000 | #Constraints:      42814
840.95/848.18	c #Conflicts:     416000 | #Constraints:      43814
840.95/848.18	c #Conflicts:     417000 | #Constraints:      44814
840.95/848.18	c #Conflicts:     418000 | #Constraints:      45814
840.95/848.18	c #Conflicts:     419000 | #Constraints:      46814
840.95/848.18	c #Conflicts:     420000 | #Constraints:      47814
840.95/848.18	c INPROCESSING
840.95/848.18	c GARBAGE COLLECT
840.95/848.18	c rational objective 20
872.90/880.26	c #Conflicts:     421000 | #Constraints:      36012
872.90/880.26	c #Conflicts:     422000 | #Constraints:      37012
872.90/880.26	c #Conflicts:     423000 | #Constraints:      38012
872.90/880.26	c #Conflicts:     424000 | #Constraints:      39012
872.90/880.26	c #Conflicts:     425000 | #Constraints:      40012
872.90/880.26	c #Conflicts:     426000 | #Constraints:      41012
872.90/880.26	c #Conflicts:     427000 | #Constraints:      42012
872.90/880.26	c #Conflicts:     428000 | #Constraints:      43012
872.90/880.26	c #Conflicts:     429000 | #Constraints:      44012
872.90/880.26	c #Conflicts:     430000 | #Constraints:      45012
872.90/880.26	c #Conflicts:     431000 | #Constraints:      46012
872.90/880.26	c #Conflicts:     432000 | #Constraints:      47012
872.90/880.26	c #Conflicts:     433000 | #Constraints:      48012
872.90/880.26	c INPROCESSING
872.90/880.26	c GARBAGE COLLECT
872.90/880.26	c rational objective 20
900.75/908.53	c #Conflicts:     434000 | #Constraints:      35980
900.75/908.53	c #Conflicts:     435000 | #Constraints:      36980
900.75/908.53	c #Conflicts:     436000 | #Constraints:      37980
900.75/908.53	c #Conflicts:     437000 | #Constraints:      38980
900.75/908.53	c #Conflicts:     438000 | #Constraints:      39980
900.75/908.53	c #Conflicts:     439000 | #Constraints:      40980
900.75/908.53	c #Conflicts:     440000 | #Constraints:      41980
900.75/908.53	c #Conflicts:     441000 | #Constraints:      42980
900.75/908.53	c #Conflicts:     442000 | #Constraints:      43980
900.75/908.53	c #Conflicts:     443000 | #Constraints:      44980
900.75/908.53	c bounds 21 >= 21 @ 894.879
900.75/908.53	c cpu time 894.879 s
900.75/908.53	c deterministic time 31695666258 3.17e+10
900.75/908.53	c optimization time 0.017533 s
900.75/908.53	c total solve time 894.584 s
900.75/908.53	c core-guided solve time 402.701 s
900.75/908.53	c propagation time 325.579 s
900.75/908.53	c conflict analysis time 499.391 s
900.75/908.53	c propagations 317308193
900.75/908.53	c resolve steps 50122931
900.75/908.53	c decisions 2075196
900.75/908.53	c conflicts 443015
900.75/908.53	c restarts 1021
900.75/908.53	c inprocessing phases 57
900.75/908.53	c garbage collections 57 ,( 100.00 )
900.75/908.53	c input clauses 21450 ,( 99.26 )
900.75/908.53	c input cardinalities 97 ,( 0.45 )
900.75/908.53	c input general constraints 62 ,( 0.29 )
900.75/908.53	c input average constraint length 3.71
900.75/908.53	c input average constraint degree 1.53
900.75/908.53	c learned clauses 385797 ,( 87.07 )
900.75/908.53	c learned cardinalities 2532 ,( 0.57 )
900.75/908.53	c learned general constraints 54749 ,( 12.36 )
900.75/908.53	c learned average constraint length 774.75
900.75/908.53	c learned average constraint degree 62297123.00
900.75/908.53	c watched  CF 32, 64, 128, Arb: 32116 , 0 , 0 , 0
900.75/908.53	c counting CF 32, 64, 128, Arb: 22696 , 0 , 0 , 0
900.75/908.53	c watched   constraints 32116 ,( 58.59 ) 
900.75/908.53	c counting  constraints 22695 ,( 41.41 ) 
900.75/908.53	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 474863166 , 13490942 , 1257403574 ,( 362987233 , 894416341 )
900.75/908.53	c gcd simplifications 804
900.75/908.53	c detected cardinalities 14
900.75/908.53	c weakened non-implied lits 40491224
900.75/908.53	c weakened non-implying lits 49687
900.75/908.53	c original variables 6076
900.75/908.53	c clausal propagations 275905058
900.75/908.53	c cardinality propagations 4742512
900.75/908.53	c watched propagations 1931421
900.75/908.53	c counting propagations 32032113
900.75/908.53	c watch lookups 7911376948
900.75/908.53	c watch backjump lookups 0
900.75/908.53	c watch checks 19242126871
900.75/908.53	c propagation checks 2984899793
900.75/908.53	c constraint additions 917552230
900.75/908.53	c trail pops 319826347
900.75/908.53	c formula constraints 21393
900.75/908.53	c learned constraints 442989
900.75/908.53	c bound constraints 33
900.75/908.53	c core-guided constraints 183
900.75/908.53	c encountered formula constraints 42354115
900.75/908.53	c encountered learned constraints 7934818
900.75/908.53	c encountered bound constraints 424
900.75/908.53	c encountered core-guided constraints 274227
900.75/908.53	c LP total time 155.712 s
900.75/908.53	c LP solve time 114.66 s
900.75/908.53	c LP constraints added 21827
900.75/908.53	c LP constraints removed 414
900.75/908.53	c LP pivots internal 443448
900.75/908.53	c LP pivots root 57231
900.75/908.53	c LP calls 324
900.75/908.53	c LP optimalities 290
900.75/908.53	c LP no pivot count 47
900.75/908.53	c LP infeasibilities 30
900.75/908.53	c LP valid Farkas constraints 30
900.75/908.53	c LP learned Farkas constraints 30
900.75/908.53	c LP basis resets 0
900.75/908.53	c LP cycling count 0
900.75/908.53	c LP singular count 0
900.75/908.53	c LP no primal count 0
900.75/908.53	c LP no farkas count 0
900.75/908.53	c LP other issue count 0
900.75/908.53	c LP Gomory cuts 29
900.75/908.53	c LP learned cuts 405
900.75/908.53	c LP deleted cuts 414
900.75/908.53	c LP encountered Gomory constraints 2
900.75/908.53	c LP encountered Farkas constraints 2160
900.75/908.53	c LP encountered learned Farkas constraints 170
900.75/908.53	c CG auxiliary variables introduced 65
900.75/908.53	c CG solutions found 11
900.75/908.53	c CG cores constructed 16
900.75/908.53	c CG core cardinality constraints returned 0
900.75/908.53	c CG unit cores 0
900.75/908.53	c CG single cores 16
900.75/908.53	c CG blocks removed during cardinality reduction 0
900.75/908.53	c CG first core best 0
900.75/908.53	c CG decision core best 0
900.75/908.53	c CG core reduction tie 0
900.75/908.53	c CG core degree average 1.00
900.75/908.53	c CG core slack average 43.56
900.75/908.53	c CG core upper bound improvements 36
900.75/908.53	c STR number of successful calls 0
900.75/908.53	c STR number of unsuccessful calls 0
900.75/908.53	c STR number of inconclusive calls 0
900.75/908.53	c STR number of successful attempts 0
900.75/908.53	c STR number of unsuccessful attempts 0
900.75/908.53	c STR number of inconclusive attempts 0
900.75/908.53	c STR average degree increase per successful call inf
900.75/908.53	c STR average degree increase per successful attempt inf
900.75/908.53	c STR total number of conflicts for successful attempts 0
900.75/908.53	c STR total number of conflicts for unsuccessful attempts 0
900.75/908.53	c STR total number of conflicts for inconclusive attempts 0
900.75/908.53	c STR average number of conflicts per successful attempt inf
900.75/908.53	c STR average number of conflicts per unsuccessful attempt inf
900.75/908.53	c STR average number of conflicts per inconclusive attempt inf
900.75/908.53	c AVG.sumWPerc 36.47 
900.75/908.53	c bigint constraints 0 
900.75/908.53	o 21
900.75/908.53	s OPTIMUM FOUND
900.75/908.53	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

Verifier Data 

OK	21

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Tue Jul  1 22:48:04 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 21 <= obj <= 21
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 21 <= obj <= 21
--summary--
ALL OK

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: 63794 MiB (58660 MiB free)
  memory of node 1: 64507 MiB (54454 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497841-1751401668/watcher-4497841-1751401668 -o /tmp/evaluation-result-4497841-1751401668/solver-4497841-1751401668 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751398041-54954 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4497841-1751401668.opb PROOFDIR/proof-4497841-1751401668 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=55357, runsolver pid=55354

[startup+0.100067 s]*
/proc/loadavg: 4.07 4.08 4.06 5/260 55359
/proc/meminfo: memFree=115825364/131382112 swapFree=33010160/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) R 55354 55357 54941 0 -1 4194304 220 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 81922 4 65536 0 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+0.216924 s]*
/proc/loadavg: 4.07 4.08 4.06 5/260 55360
/proc/meminfo: memFree=115826036/131382112 swapFree=33010160/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=57316 memory=12532 CPUtime=0.09 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 894 0 0 0 8 1 0 0 20 0 1 0 55845677 58691584 3133 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 14329 3133 1952 1147 0 1756 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 61508 KiB
Current children cumulated memory: 15604 KiB

[startup+0.31361 s]*
/proc/loadavg: 4.07 4.08 4.06 5/260 55360
/proc/meminfo: memFree=115826036/131382112 swapFree=33010160/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=58336 memory=13428 CPUtime=0.19 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 1159 0 0 0 15 4 0 0 20 0 1 0 55845677 59736064 3357 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 14584 3357 1952 1147 0 2011 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 62528 KiB
Current children cumulated memory: 16500 KiB

[startup+0.700342 s]
/proc/loadavg: 4.07 4.08 4.06 5/260 55360
/proc/meminfo: memFree=115801148/131382112 swapFree=33010160/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=89084 memory=40284 CPUtime=0.56 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 7231 0 0 0 48 8 0 0 20 0 1 0 55845677 91222016 10071 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 22271 10071 2304 1147 0 9698 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 93276 KiB
Current children cumulated memory: 43356 KiB

[startup+1.50033 s]
/proc/loadavg: 4.07 4.08 4.06 5/260 55360
/proc/meminfo: memFree=115801148/131382112 swapFree=33010160/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=91184 memory=42012 CPUtime=1.36 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 7707 0 0 0 127 9 0 0 20 0 1 0 55845677 93372416 10503 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 22796 10503 2368 1147 0 10223 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 95376 KiB
Current children cumulated memory: 45084 KiB

[startup+3.11329 s]
/proc/loadavg: 4.07 4.08 4.06 5/260 55360
/proc/meminfo: memFree=115785560/131382112 swapFree=33010160/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=92000 memory=44952 CPUtime=2.97 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 7924 0 0 0 287 10 0 0 20 0 1 0 55845677 94208000 11238 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 23000 11238 2368 1147 0 10427 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 96192 KiB
Current children cumulated memory: 48024 KiB

[startup+6.30031 s]
/proc/loadavg: 4.06 4.08 4.06 5/260 55360
/proc/meminfo: memFree=115760348/131382112 swapFree=33010160/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=102532 memory=54552 CPUtime=6.15 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 10293 0 0 0 599 16 0 0 20 0 1 0 55845677 104992768 13638 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 25633 13638 2400 1147 0 13060 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 106724 KiB
Current children cumulated memory: 57624 KiB

[startup+12.7003 s]
/proc/loadavg: 4.06 4.08 4.06 4/254 55432
/proc/meminfo: memFree=121500616/131382112 swapFree=33010160/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=128288 memory=77312 CPUtime=12.53 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 14985 0 0 0 1229 24 0 0 20 0 1 0 55845677 131366912 19328 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 32072 19328 2400 1147 0 19499 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 132480 KiB
Current children cumulated memory: 80384 KiB

[startup+25.5003 s]
/proc/loadavg: 4.05 4.08 4.06 5/260 55452
/proc/meminfo: memFree=122946484/131382112 swapFree=33010160/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=156536 memory=97788 CPUtime=25.29 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 19072 0 0 0 2487 42 0 0 20 0 1 0 55845677 160292864 24447 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 39134 24447 2400 1147 0 26561 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 160728 KiB
Current children cumulated memory: 100860 KiB

[startup+51.1133 s]
/proc/loadavg: 4.16 4.10 4.07 5/260 55456
/proc/meminfo: memFree=120660736/131382112 swapFree=33010160/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=163792 memory=109896 CPUtime=50.73 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 21085 0 0 0 5000 73 0 0 20 0 1 0 55845677 167723008 27474 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 40948 27474 2400 1147 0 28375 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 167984 KiB
Current children cumulated memory: 112968 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.12 4.07 5/261 55509
/proc/meminfo: memFree=109707872/131382112 swapFree=33010160/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=197928 memory=132560 CPUtime=101.55 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 25213 0 0 0 10024 131 0 0 20 0 1 0 55845677 202678272 33140 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 49482 33140 2400 1147 0 36909 0
Current children cumulated CPU time: 101.63 s
Current children cumulated vsize: 202120 KiB
Current children cumulated memory: 135632 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/262 55512
/proc/meminfo: memFree=107039088/131382112 swapFree=33010160/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=204004 memory=139276 CPUtime=161.25 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 26976 0 0 0 15940 185 0 0 20 0 1 0 55845677 208900096 34819 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 51001 34819 2400 1147 0 38428 0
Current children cumulated CPU time: 161.33 s
Current children cumulated vsize: 208196 KiB
Current children cumulated memory: 142348 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/263 55516
/proc/meminfo: memFree=100867740/131382112 swapFree=33010160/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=205696 memory=141068 CPUtime=219.24 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 27432 0 0 0 21692 232 0 0 20 0 1 0 55845677 210632704 35267 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 51424 35267 2400 1147 0 38851 0
Current children cumulated CPU time: 219.32 s
Current children cumulated vsize: 209888 KiB
Current children cumulated memory: 144140 KiB

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

/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 30240 0 0 0 69098 482 0 0 20 0 1 0 55845677 250429440 42493 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 61140 42493 2400 1147 0 48567 0
Current children cumulated CPU time: 695.88 s
Current children cumulated vsize: 248752 KiB
Current children cumulated memory: 173044 KiB

[startup+762.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/262 55695
/proc/meminfo: memFree=43340696/131382112 swapFree=33009904/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=244560 memory=178176 CPUtime=755.58 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 30251 0 0 0 75043 515 0 0 20 0 1 0 55845677 250429440 44544 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 61140 44544 2400 1147 0 48567 0
Current children cumulated CPU time: 755.66 s
Current children cumulated vsize: 248752 KiB
Current children cumulated memory: 181248 KiB

[startup+822.3 s]
/proc/loadavg: 4.24 4.18 4.12 5/262 55697
/proc/meminfo: memFree=35426304/131382112 swapFree=33009904/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=244764 memory=178432 CPUtime=815.16 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 30312 0 0 0 80974 542 0 0 20 0 1 0 55845677 250638336 44608 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 61191 44608 2400 1147 0 48618 0
Current children cumulated CPU time: 815.24 s
Current children cumulated vsize: 248956 KiB
Current children cumulated memory: 181504 KiB

[startup+882.3 s]
/proc/loadavg: 4.48 4.24 4.14 5/262 55699
/proc/meminfo: memFree=29889764/131382112 swapFree=33009904/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=244764 memory=178432 CPUtime=874.91 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 30312 0 0 0 86924 567 0 0 20 0 1 0 55845677 250638336 44608 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 61191 44608 2400 1147 0 48618 0
Current children cumulated CPU time: 874.99 s
Current children cumulated vsize: 248956 KiB
Current children cumulated memory: 181504 KiB

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

# cumulated CPU time of all completed processes:  user=894.954 s, system=5.84724 s

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

[startup+883.2 s]
/proc/loadavg: 4.48 4.24 4.14 5/262 55699
/proc/meminfo: memFree=29857508/131382112 swapFree=33009904/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=244764 memory=178432 CPUtime=875.82 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 30312 0 0 0 87014 568 0 0 20 0 1 0 55845677 250638336 44608 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 61191 44608 2400 1147 0 48618 0
Current children cumulated CPU time: 875.9 s
Current children cumulated vsize: 248956 KiB
Current children cumulated memory: 181504 KiB

[startup+896 s]*
/proc/loadavg: 4.37 4.23 4.14 6/262 55699
/proc/meminfo: memFree=28660544/131382112 swapFree=33009904/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=244764 memory=178432 CPUtime=888.58 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 30312 0 0 0 88283 575 0 0 20 0 1 0 55845677 250638336 44608 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 61191 44608 2400 1147 0 48618 0
Current children cumulated CPU time: 888.66 s
Current children cumulated vsize: 248956 KiB
Current children cumulated memory: 181504 KiB

[startup+902.4 s]
/proc/loadavg: 4.34 4.23 4.13 5/262 55699
/proc/meminfo: memFree=27954900/131382112 swapFree=33009904/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=244764 memory=178432 CPUtime=894.93 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 30312 0 0 0 88915 578 0 0 20 0 1 0 55845677 250638336 44608 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 61191 44608 2400 1147 0 48618 0
Current children cumulated CPU time: 895.01 s
Current children cumulated vsize: 248956 KiB
Current children cumulated memory: 181504 KiB

[startup+905.6 s]
/proc/loadavg: 4.34 4.23 4.13 5/262 55699
/proc/meminfo: memFree=27604272/131382112 swapFree=33009904/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=244764 memory=178432 CPUtime=898.13 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 30312 0 0 0 89233 580 0 0 20 0 1 0 55845677 250638336 44608 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 61191 44608 2400 1147 0 48618 0
Current children cumulated CPU time: 898.21 s
Current children cumulated vsize: 248956 KiB
Current children cumulated memory: 181504 KiB

[startup+907.2 s]
/proc/loadavg: 4.39 4.24 4.14 5/262 55700
/proc/meminfo: memFree=27559440/131382112 swapFree=33009904/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=244764 memory=178432 CPUtime=899.72 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 30312 0 0 0 89391 581 0 0 20 0 1 0 55845677 250638336 44608 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 61191 44608 2400 1147 0 48618 0
Current children cumulated CPU time: 899.8 s
Current children cumulated vsize: 248956 KiB
Current children cumulated memory: 181504 KiB

[startup+908 s]*
/proc/loadavg: 4.39 4.24 4.14 6/262 55700
/proc/meminfo: memFree=27567932/131382112 swapFree=33009904/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=244764 memory=178432 CPUtime=900.53 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 30312 0 0 0 89472 581 0 0 20 0 1 0 55845677 250638336 44608 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 61191 44608 2400 1147 0 48618 0
Current children cumulated CPU time: 900.61 s
Current children cumulated vsize: 248956 KiB
Current children cumulated memory: 181504 KiB

[startup+908.4 s]
/proc/loadavg: 4.39 4.24 4.14 6/262 55700
/proc/meminfo: memFree=27567932/131382112 swapFree=33009904/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=244764 memory=178432 CPUtime=900.61 cores=0,2
/proc/55360/stat : 55360 (roundingsat) D 55357 55357 54941 0 -1 4194304 30312 0 0 0 89480 581 0 0 20 0 1 0 55845677 250638336 44608 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 61191 44608 2400 1147 0 48618 0
Current children cumulated CPU time: 900.69 s
Current children cumulated vsize: 248956 KiB
Current children cumulated memory: 181504 KiB

[startup+908.5 s]
/proc/loadavg: 4.39 4.24 4.14 6/262 55700
/proc/meminfo: memFree=27567932/131382112 swapFree=33009904/33010684
[pid=55357] ppid=55354 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/55357/stat : 55357 (run-opt-break-l) S 55354 55357 54941 0 -1 4194304 239 4857 0 0 0 0 6 2 20 0 1 0 55845665 4292608 768 18446744073709551615 94200782864384 94200783758917 140721179852656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200783997968 94200784045712 94200803930112 140721179855125 140721179855326 140721179855326 140721179860928 0
/proc/55357/statm: 1048 768 704 219 0 110 0
[pid=55360] ppid=55357 vsize=244764 memory=178432 CPUtime=900.67 cores=0,2
/proc/55360/stat : 55360 (roundingsat) R 55357 55357 54941 0 -1 4194304 30312 0 0 0 89485 582 0 0 20 0 1 0 55845677 250638336 44608 18446744073709551615 4227072 8923433 140736408082176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22708224 140736408090900 140736408091176 140736408091176 140736408096746 0
/proc/55360/statm: 61191 44608 2400 1147 0 48618 0
Current children cumulated CPU time: 900.75 s
Current children cumulated vsize: 248956 KiB
Current children cumulated memory: 181504 KiB

Child status: 0

Real time (s): 908.541
CPU time (s): 900.801
CPU user time (s): 894.954
CPU system time (s): 5.84724
CPU usage (%): 99.1481
Max. virtual memory (cumulated for all children) (KiB): 248956
Max. memory (cumulated for all children) (KiB): 181504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 894.954
system time used= 5.84723
maximum resident set size= 178432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35433
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3228272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 334
involuntary context switches= 2276


# summary of solver processes directly reported to runsolver:
#   pid: 55357
#   total CPU time (s): 900.801
#   total CPU user time (s): 894.954
#   total CPU system time (s): 5.84724

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.90309 second user time and 9.404 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-01 22:27:48
IDJOB=4497841
IDBENCH=148194
IDSOLVER=3360
FILE ID=nodeC001/4497841-1751401668
RUNJOBID= nodeC001-1751398041-54954
SLURM_JOB_ID= 9598279
Free space on /tmp= 433028 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497841-1751401668/watcher-4497841-1751401668 -o /tmp/evaluation-result-4497841-1751401668/solver-4497841-1751401668 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751398041-54954 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4497841-1751401668.opb PROOFDIR/proof-4497841-1751401668

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

MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=1513162452

nodeC001 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	: 0xb00001f
cpu MHz		: 1197.176
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3591.546
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.278
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.373
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3662.171
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3661.667
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.559
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.755
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        115829748 kB
MemAvailable:   127477144 kB
Buffers:            2128 kB
Cached:         12441936 kB
SwapCached:           28 kB
Active:          2822424 kB
Inactive:       12141968 kB
Active(anon):    2528284 kB
Inactive(anon):    10380 kB
Active(file):     294140 kB
Inactive(file): 12131588 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             23228 kB
Writeback:           152 kB
AnonPages:       2521460 kB
Mapped:           116372 kB
Shmem:             17932 kB
KReclaimable:     122208 kB
Slab:             205640 kB
SReclaimable:     122208 kB
SUnreclaim:        83432 kB
KernelStack:        4224 kB
PageTables:         8256 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    3094332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149576 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1710080 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431960 MiB
End job on nodeC001 at 2025-07-01 22:42:57