Trace number 4497840

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 63f22adOPT21 822.026 824.127

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.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4497840-1751398803.opb'
0.00/0.02	c 	read 0.62MB  (10.07ms)
0.00/0.02	c	 [cnf: #variables 6076 #clauses 21394 #duplicates 8 #arr 55042]
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.03	c	 [group: #orbits ~= 2] (10.73ms)
0.00/0.03	c 
0.00/0.03	c detect special group actions
0.00/0.03	c 	probe for Johnson action (limit=64)
0.00/0.03	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03	c 	 found row 5x2, generating row predicate
0.00/0.03	c 	 (1.73ms)
0.00/0.03	c 
0.00/0.03	c detect symmetries on remainder
0.00/0.03	c 	[graph: #vertices 45706 #edges 146556]
0.00/0.03	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.04	c 	 [group: #symmetries 1.00*10^0 #generators 0] (3.58ms)
0.00/0.04	c 
0.00/0.04	c finalize break order and special generators
0.00/0.04	c 
0.00/0.04	c generation finished
0.00/0.04	c 	[sbp: #constraints 4 #add_vars 0]
0.00/0.04	c 
0.00/0.04	c write result to 'HOME/instance-4497840-1751398803.opb.pre'
0.00/0.04	c 	wrote 0.64MB (1.58ms)
0.00/0.04	c ------------------------------------------------------------------
0.00/0.04	c                  10.73ms 37.74% approx_orbits
0.00/0.04	c                  10.06ms 35.41% parse
0.00/0.04	c                   3.58ms 12.61% detect_generic
0.00/0.04	c                   1.73ms  6.07% detect_special
0.00/0.04	c                   1.58ms  5.55% output
0.00/0.04	c                   0.54ms  1.92% other
0.00/0.04	c                   0.20ms  0.70% finalize_order
0.00/0.04	c         ───────────────────────────────────────────────
0.00/0.04	c                  28.42ms   100% total
0.00/0.04	c ------------------------------------------------------------------
0.00/0.05	c RoundingSat 2
0.00/0.05	c branch pb25
0.00/0.05	c commit 63f22ad
0.07/0.14	c #variables 6076 #constraints 21393
0.07/0.14	c objective is ce32 
0.07/0.14	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.14	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.14	c bounds - >= 0 @ 0.05585
0.18/0.28	c bounds 31 >= 0 @ 0.189378
0.28/0.33	c bounds 31 >= 6 @ 0.236423
0.28/0.33	c bounds 31 >= 7 @ 0.237778
0.28/0.33	c bounds 30 >= 7 @ 0.239395
0.28/0.33	c bounds 30 >= 8 @ 0.239722
0.48/0.53	c bounds 29 >= 8 @ 0.433841
0.48/0.53	c bounds 29 >= 9 @ 0.434736
0.48/0.53	c bounds 29 >= 10 @ 0.435542
0.48/0.53	c bounds 29 >= 11 @ 0.436313
0.48/0.55	c bounds 29 >= 12 @ 0.447715
0.57/0.66	c bounds 29 >= 13 @ 0.560355
1.87/1.98	c #Conflicts:       1000 | #Constraints:      22432
1.87/1.98	c bounds 29 >= 14 @ 1.87061
4.86/5.00	c #Conflicts:       2000 | #Constraints:      23444
4.86/5.00	c INPROCESSING
4.86/5.00	c GARBAGE COLLECT
4.86/5.00	c bounds 29 >= 15 @ 4.83425
5.06/5.12	c bounds 29 >= 16 @ 4.95868
5.65/5.73	c #Conflicts:       3000 | #Constraints:      23457
5.65/5.73	c #Conflicts:       4000 | #Constraints:      24457
5.65/5.73	c INPROCESSING
5.65/5.73	c GARBAGE COLLECT
5.65/5.73	c bounds 29 >= 17 @ 5.5484
9.34/9.46	c #Conflicts:       5000 | #Constraints:      23860
9.34/9.46	c #Conflicts:       6000 | #Constraints:      24860
9.34/9.46	c INPROCESSING
9.34/9.46	c GARBAGE COLLECT
9.34/9.46	c rational objective 17
11.53/11.65	c #Conflicts:       7000 | #Constraints:      23876
11.53/11.65	c #Conflicts:       8000 | #Constraints:      24876
11.53/11.65	c #Conflicts:       9000 | #Constraints:      25876
11.53/11.65	c INPROCESSING
11.53/11.65	c GARBAGE COLLECT
11.53/11.65	c rational objective 17
18.81/18.90	c #Conflicts:      10000 | #Constraints:      24575
18.81/18.90	c #Conflicts:      11000 | #Constraints:      25577
18.81/18.90	c #Conflicts:      12000 | #Constraints:      26578
18.81/18.90	c INPROCESSING
18.81/18.90	c GARBAGE COLLECT
18.81/18.90	c rational objective 17
35.88/36.00	c #Conflicts:      13000 | #Constraints:      25019
35.88/36.00	c #Conflicts:      14000 | #Constraints:      26019
35.88/36.00	c #Conflicts:      15000 | #Constraints:      27019
35.88/36.00	c INPROCESSING
35.88/36.00	c GARBAGE COLLECT
35.88/36.00	c #Conflicts:      16000 | #Constraints:      25257
35.88/36.00	c #Conflicts:      17000 | #Constraints:      26260
35.88/36.00	c #Conflicts:      18000 | #Constraints:      27262
35.88/36.00	c INPROCESSING
35.88/36.00	c GARBAGE COLLECT
35.88/36.00	c #Conflicts:      19000 | #Constraints:      25271
35.88/36.00	c #Conflicts:      20000 | #Constraints:      26274
35.88/36.00	c #Conflicts:      21000 | #Constraints:      27276
35.88/36.00	c INPROCESSING
35.88/36.00	c GARBAGE COLLECT
35.88/36.00	c #Conflicts:      22000 | #Constraints:      25084
35.88/36.00	c #Conflicts:      23000 | #Constraints:      26084
35.88/36.00	c #Conflicts:      24000 | #Constraints:      27084
35.88/36.00	c #Conflicts:      25000 | #Constraints:      28084
35.88/36.00	c INPROCESSING
35.88/36.00	c GARBAGE COLLECT
35.88/36.00	c rational objective 17
37.77/37.90	c #Conflicts:      26000 | #Constraints:      25730
37.77/37.90	c #Conflicts:      27000 | #Constraints:      26730
37.77/37.90	c bounds 28 >= 17 @ 37.3284
37.77/37.96	c bounds 27 >= 17 @ 37.3811
41.46/41.69	c #Conflicts:      28000 | #Constraints:      27734
41.46/41.69	c #Conflicts:      29000 | #Constraints:      28735
41.46/41.69	c INPROCESSING
41.46/41.69	c GARBAGE COLLECT
41.46/41.69	c rational objective 17
54.84/55.08	c #Conflicts:      30000 | #Constraints:      26108
54.84/55.08	c #Conflicts:      31000 | #Constraints:      27108
54.84/55.08	c #Conflicts:      32000 | #Constraints:      28108
54.84/55.08	c #Conflicts:      33000 | #Constraints:      29108
54.84/55.08	c INPROCESSING
54.84/55.08	c GARBAGE COLLECT
54.84/55.08	c #Conflicts:      34000 | #Constraints:      26305
54.84/55.08	c #Conflicts:      35000 | #Constraints:      27305
54.84/55.08	c #Conflicts:      36000 | #Constraints:      28305
54.84/55.08	c #Conflicts:      37000 | #Constraints:      29305
54.84/55.08	c INPROCESSING
54.84/55.08	c GARBAGE COLLECT
54.84/55.08	c rational objective 17
61.81/62.05	c #Conflicts:      38000 | #Constraints:      26365
61.81/62.05	c #Conflicts:      39000 | #Constraints:      27365
61.81/62.05	c #Conflicts:      40000 | #Constraints:      28366
61.81/62.05	c #Conflicts:      41000 | #Constraints:      29366
61.81/62.05	c INPROCESSING
61.81/62.05	c GARBAGE COLLECT
61.81/62.05	c rational objective 17
70.99/71.25	c #Conflicts:      42000 | #Constraints:      26123
70.99/71.25	c #Conflicts:      43000 | #Constraints:      27124
70.99/71.25	c #Conflicts:      44000 | #Constraints:      28124
70.99/71.25	c #Conflicts:      45000 | #Constraints:      29124
70.99/71.25	c #Conflicts:      46000 | #Constraints:      30124
70.99/71.25	c INPROCESSING
70.99/71.25	c GARBAGE COLLECT
70.99/71.25	c rational objective 17
73.28/73.50	c #Conflicts:      47000 | #Constraints:      26705
73.28/73.50	c bounds 27 >= 18 @ 72.4869
83.65/83.90	c #Conflicts:      48000 | #Constraints:      27720
83.65/83.90	c #Conflicts:      49000 | #Constraints:      28721
83.65/83.90	c #Conflicts:      50000 | #Constraints:      29721
83.65/83.90	c #Conflicts:      51000 | #Constraints:      30721
83.65/83.90	c INPROCESSING
83.65/83.90	c GARBAGE COLLECT
83.65/83.90	c #Conflicts:      52000 | #Constraints:      27112
83.65/83.90	c #Conflicts:      53000 | #Constraints:      28112
83.65/83.90	c #Conflicts:      54000 | #Constraints:      29112
83.65/83.90	c #Conflicts:      55000 | #Constraints:      30112
83.65/83.90	c #Conflicts:      56000 | #Constraints:      31112
83.65/83.90	c INPROCESSING
83.65/83.90	c GARBAGE COLLECT
83.65/83.90	c rational objective 18
83.86/84.10	c bounds 26 >= 18 @ 82.9646
87.55/87.88	c #Conflicts:      57000 | #Constraints:      27378
87.55/87.88	c #Conflicts:      58000 | #Constraints:      28378
87.55/87.88	c #Conflicts:      59000 | #Constraints:      29378
87.55/87.88	c #Conflicts:      60000 | #Constraints:      30378
87.55/87.88	c #Conflicts:      61000 | #Constraints:      31378
87.55/87.88	c INPROCESSING
87.55/87.88	c GARBAGE COLLECT
87.55/87.88	c rational objective 18
89.14/89.41	c #Conflicts:      62000 | #Constraints:      27358
89.14/89.41	c bounds 26 >= 19 @ 88.1782
93.04/93.37	c #Conflicts:      63000 | #Constraints:      28397
93.04/93.37	c #Conflicts:      64000 | #Constraints:      29397
93.04/93.37	c #Conflicts:      65000 | #Constraints:      30397
93.04/93.37	c #Conflicts:      66000 | #Constraints:      31397
93.04/93.37	c INPROCESSING
93.04/93.37	c GARBAGE COLLECT
93.04/93.37	c rational objective 19
94.13/94.47	c #Conflicts:      67000 | #Constraints:      27253
94.13/94.47	c #Conflicts:      68000 | #Constraints:      28254
94.13/94.47	c bounds 25 >= 19 @ 93.1676
94.83/95.14	c bounds 24 >= 19 @ 93.8295
97.22/97.58	c #Conflicts:      69000 | #Constraints:      29256
97.22/97.58	c #Conflicts:      70000 | #Constraints:      30256
97.22/97.58	c #Conflicts:      71000 | #Constraints:      31256
97.22/97.58	c bounds 23 >= 19 @ 96.24
98.22/98.52	c #Conflicts:      72000 | #Constraints:      32257
98.22/98.52	c INPROCESSING
98.22/98.52	c GARBAGE COLLECT
98.22/98.52	c rational objective 19
104.31/104.65	c #Conflicts:      73000 | #Constraints:      27870
104.31/104.65	c #Conflicts:      74000 | #Constraints:      28870
104.31/104.65	c #Conflicts:      75000 | #Constraints:      29870
104.31/104.65	c #Conflicts:      76000 | #Constraints:      30870
104.31/104.65	c #Conflicts:      77000 | #Constraints:      31870
104.31/104.65	c #Conflicts:      78000 | #Constraints:      32870
104.31/104.65	c INPROCESSING
104.31/104.65	c GARBAGE COLLECT
104.31/104.65	c rational objective 19
109.89/110.28	c #Conflicts:      79000 | #Constraints:      28358
109.89/110.28	c #Conflicts:      80000 | #Constraints:      29358
109.89/110.28	c #Conflicts:      81000 | #Constraints:      30358
109.89/110.28	c #Conflicts:      82000 | #Constraints:      31358
109.89/110.28	c #Conflicts:      83000 | #Constraints:      32358
109.89/110.28	c #Conflicts:      84000 | #Constraints:      33358
109.89/110.28	c INPROCESSING
109.89/110.28	c GARBAGE COLLECT
109.89/110.28	c rational objective 19
120.67/121.08	c #Conflicts:      85000 | #Constraints:      28571
120.67/121.08	c #Conflicts:      86000 | #Constraints:      29571
120.67/121.08	c #Conflicts:      87000 | #Constraints:      30571
120.67/121.08	c #Conflicts:      88000 | #Constraints:      31571
120.67/121.08	c #Conflicts:      89000 | #Constraints:      32571
120.67/121.08	c #Conflicts:      90000 | #Constraints:      33571
120.67/121.08	c INPROCESSING
120.67/121.08	c GARBAGE COLLECT
120.67/121.08	c rational objective 19
134.13/134.57	c #Conflicts:      91000 | #Constraints:      28529
134.13/134.57	c #Conflicts:      92000 | #Constraints:      29529
134.13/134.57	c #Conflicts:      93000 | #Constraints:      30529
134.13/134.57	c #Conflicts:      94000 | #Constraints:      31529
134.13/134.57	c #Conflicts:      95000 | #Constraints:      32529
134.13/134.57	c #Conflicts:      96000 | #Constraints:      33529
134.13/134.57	c INPROCESSING
134.13/134.57	c GARBAGE COLLECT
134.13/134.57	c rational objective 19
139.01/139.43	c #Conflicts:      97000 | #Constraints:      28355
139.01/139.43	c #Conflicts:      98000 | #Constraints:      29355
139.01/139.43	c #Conflicts:      99000 | #Constraints:      30355
139.01/139.43	c #Conflicts:     100000 | #Constraints:      31355
139.01/139.43	c #Conflicts:     101000 | #Constraints:      32355
139.01/139.43	c #Conflicts:     102000 | #Constraints:      33355
139.01/139.43	c #Conflicts:     103000 | #Constraints:      34355
139.01/139.43	c INPROCESSING
139.01/139.43	c GARBAGE COLLECT
139.01/139.43	c rational objective 19
147.30/147.74	c #Conflicts:     104000 | #Constraints:      28942
147.30/147.74	c #Conflicts:     105000 | #Constraints:      29942
147.30/147.74	c #Conflicts:     106000 | #Constraints:      30942
147.30/147.74	c #Conflicts:     107000 | #Constraints:      31942
147.30/147.74	c #Conflicts:     108000 | #Constraints:      32942
147.30/147.74	c #Conflicts:     109000 | #Constraints:      33942
147.30/147.74	c #Conflicts:     110000 | #Constraints:      34942
147.30/147.74	c INPROCESSING
147.30/147.74	c GARBAGE COLLECT
147.30/147.74	c rational objective 19
154.58/155.08	c #Conflicts:     111000 | #Constraints:      29326
154.58/155.08	c #Conflicts:     112000 | #Constraints:      30326
154.58/155.08	c #Conflicts:     113000 | #Constraints:      31326
154.58/155.08	c #Conflicts:     114000 | #Constraints:      32326
154.58/155.08	c #Conflicts:     115000 | #Constraints:      33326
154.58/155.08	c #Conflicts:     116000 | #Constraints:      34326
154.58/155.08	c #Conflicts:     117000 | #Constraints:      35326
154.58/155.08	c INPROCESSING
154.58/155.08	c GARBAGE COLLECT
154.58/155.08	c rational objective 19
166.05/166.53	c #Conflicts:     118000 | #Constraints:      29537
166.05/166.53	c #Conflicts:     119000 | #Constraints:      30537
166.05/166.53	c #Conflicts:     120000 | #Constraints:      31537
166.05/166.53	c #Conflicts:     121000 | #Constraints:      32537
166.05/166.53	c #Conflicts:     122000 | #Constraints:      33537
166.05/166.53	c #Conflicts:     123000 | #Constraints:      34537
166.05/166.53	c #Conflicts:     124000 | #Constraints:      35537
166.05/166.53	c INPROCESSING
166.05/166.53	c GARBAGE COLLECT
166.05/166.53	c rational objective 19
175.63/176.15	c #Conflicts:     125000 | #Constraints:      29573
175.63/176.15	c #Conflicts:     126000 | #Constraints:      30573
175.63/176.15	c #Conflicts:     127000 | #Constraints:      31573
175.63/176.15	c #Conflicts:     128000 | #Constraints:      32573
175.63/176.15	c #Conflicts:     129000 | #Constraints:      33573
175.63/176.15	c #Conflicts:     130000 | #Constraints:      34573
175.63/176.15	c #Conflicts:     131000 | #Constraints:      35573
175.63/176.15	c INPROCESSING
175.63/176.15	c GARBAGE COLLECT
175.63/176.15	c rational objective 19
185.10/185.62	c #Conflicts:     132000 | #Constraints:      29469
185.10/185.62	c #Conflicts:     133000 | #Constraints:      30469
185.10/185.62	c #Conflicts:     134000 | #Constraints:      31469
185.10/185.62	c #Conflicts:     135000 | #Constraints:      32469
185.10/185.62	c #Conflicts:     136000 | #Constraints:      33469
185.10/185.62	c #Conflicts:     137000 | #Constraints:      34469
185.10/185.62	c bounds 23 >= 20 @ 183.452
187.00/187.54	c #Conflicts:     138000 | #Constraints:      35511
187.00/187.54	c #Conflicts:     139000 | #Constraints:      36511
187.00/187.54	c INPROCESSING
187.00/187.54	c GARBAGE COLLECT
187.00/187.54	c rational objective 20
193.38/193.98	c #Conflicts:     140000 | #Constraints:      30078
193.38/193.98	c #Conflicts:     141000 | #Constraints:      31078
193.38/193.98	c #Conflicts:     142000 | #Constraints:      32079
193.38/193.98	c #Conflicts:     143000 | #Constraints:      33079
193.38/193.98	c bounds 22 >= 20 @ 191.737
199.97/200.58	c #Conflicts:     144000 | #Constraints:      34080
199.97/200.58	c #Conflicts:     145000 | #Constraints:      35080
199.97/200.58	c #Conflicts:     146000 | #Constraints:      36080
199.97/200.58	c #Conflicts:     147000 | #Constraints:      37080
199.97/200.58	c INPROCESSING
199.97/200.58	c GARBAGE COLLECT
199.97/200.58	c rational objective 20
211.54/212.15	c #Conflicts:     148000 | #Constraints:      30425
211.54/212.15	c #Conflicts:     149000 | #Constraints:      31425
211.54/212.15	c #Conflicts:     150000 | #Constraints:      32425
211.54/212.15	c #Conflicts:     151000 | #Constraints:      33425
211.54/212.15	c #Conflicts:     152000 | #Constraints:      34425
211.54/212.15	c #Conflicts:     153000 | #Constraints:      35425
211.54/212.15	c #Conflicts:     154000 | #Constraints:      36425
211.54/212.15	c #Conflicts:     155000 | #Constraints:      37425
211.54/212.15	c INPROCESSING
211.54/212.15	c GARBAGE COLLECT
211.54/212.15	c rational objective 20
222.01/222.60	c #Conflicts:     156000 | #Constraints:      30660
222.01/222.60	c #Conflicts:     157000 | #Constraints:      31660
222.01/222.60	c #Conflicts:     158000 | #Constraints:      32660
222.01/222.60	c #Conflicts:     159000 | #Constraints:      33660
222.01/222.60	c #Conflicts:     160000 | #Constraints:      34660
222.01/222.60	c #Conflicts:     161000 | #Constraints:      35660
222.01/222.60	c #Conflicts:     162000 | #Constraints:      36660
222.01/222.60	c #Conflicts:     163000 | #Constraints:      37660
222.01/222.60	c INPROCESSING
222.01/222.60	c GARBAGE COLLECT
222.01/222.60	c rational objective 20
234.08/234.74	c #Conflicts:     164000 | #Constraints:      30745
234.08/234.74	c #Conflicts:     165000 | #Constraints:      31745
234.08/234.74	c #Conflicts:     166000 | #Constraints:      32745
234.08/234.74	c #Conflicts:     167000 | #Constraints:      33745
234.08/234.74	c #Conflicts:     168000 | #Constraints:      34745
234.08/234.74	c #Conflicts:     169000 | #Constraints:      35745
234.08/234.74	c #Conflicts:     170000 | #Constraints:      36745
234.08/234.74	c #Conflicts:     171000 | #Constraints:      37745
234.08/234.74	c INPROCESSING
234.08/234.74	c GARBAGE COLLECT
234.08/234.74	c rational objective 20
248.34/249.08	c #Conflicts:     172000 | #Constraints:      30491
248.34/249.08	c #Conflicts:     173000 | #Constraints:      31491
248.34/249.08	c #Conflicts:     174000 | #Constraints:      32491
248.34/249.08	c #Conflicts:     175000 | #Constraints:      33491
248.34/249.08	c #Conflicts:     176000 | #Constraints:      34491
248.34/249.08	c #Conflicts:     177000 | #Constraints:      35491
248.34/249.08	c #Conflicts:     178000 | #Constraints:      36491
248.34/249.08	c #Conflicts:     179000 | #Constraints:      37491
248.34/249.08	c #Conflicts:     180000 | #Constraints:      38491
248.34/249.08	c INPROCESSING
248.34/249.08	c GARBAGE COLLECT
248.34/249.08	c rational objective 20
249.23/249.99	c bounds 21 >= 20 @ 247.293
263.41/264.18	c #Conflicts:     181000 | #Constraints:      31134
263.41/264.18	c #Conflicts:     182000 | #Constraints:      32134
263.41/264.18	c #Conflicts:     183000 | #Constraints:      33134
263.41/264.18	c #Conflicts:     184000 | #Constraints:      34134
263.41/264.18	c #Conflicts:     185000 | #Constraints:      35134
263.41/264.18	c #Conflicts:     186000 | #Constraints:      36134
263.41/264.18	c #Conflicts:     187000 | #Constraints:      37134
263.41/264.18	c #Conflicts:     188000 | #Constraints:      38134
263.41/264.18	c #Conflicts:     189000 | #Constraints:      39134
263.41/264.18	c INPROCESSING
263.41/264.18	c GARBAGE COLLECT
263.41/264.18	c rational objective 20
279.56/280.31	c #Conflicts:     190000 | #Constraints:      31571
279.56/280.31	c #Conflicts:     191000 | #Constraints:      32571
279.56/280.31	c #Conflicts:     192000 | #Constraints:      33571
279.56/280.31	c #Conflicts:     193000 | #Constraints:      34571
279.56/280.31	c #Conflicts:     194000 | #Constraints:      35571
279.56/280.31	c #Conflicts:     195000 | #Constraints:      36571
279.56/280.31	c #Conflicts:     196000 | #Constraints:      37571
279.56/280.31	c #Conflicts:     197000 | #Constraints:      38571
279.56/280.31	c #Conflicts:     198000 | #Constraints:      39571
279.56/280.31	c INPROCESSING
279.56/280.31	c GARBAGE COLLECT
279.56/280.31	c rational objective 20
295.92/296.71	c #Conflicts:     199000 | #Constraints:      31759
295.92/296.71	c #Conflicts:     200000 | #Constraints:      32759
295.92/296.71	c #Conflicts:     201000 | #Constraints:      33759
295.92/296.71	c #Conflicts:     202000 | #Constraints:      34759
295.92/296.71	c #Conflicts:     203000 | #Constraints:      35759
295.92/296.71	c #Conflicts:     204000 | #Constraints:      36759
295.92/296.71	c #Conflicts:     205000 | #Constraints:      37759
295.92/296.71	c #Conflicts:     206000 | #Constraints:      38759
295.92/296.71	c #Conflicts:     207000 | #Constraints:      39759
295.92/296.71	c INPROCESSING
295.92/296.71	c GARBAGE COLLECT
295.92/296.71	c rational objective 20
308.99/309.85	c #Conflicts:     208000 | #Constraints:      31802
308.99/309.85	c #Conflicts:     209000 | #Constraints:      32802
308.99/309.85	c #Conflicts:     210000 | #Constraints:      33802
308.99/309.85	c #Conflicts:     211000 | #Constraints:      34802
308.99/309.85	c #Conflicts:     212000 | #Constraints:      35802
308.99/309.85	c #Conflicts:     213000 | #Constraints:      36802
308.99/309.85	c #Conflicts:     214000 | #Constraints:      37802
308.99/309.85	c #Conflicts:     215000 | #Constraints:      38802
308.99/309.85	c #Conflicts:     216000 | #Constraints:      39802
308.99/309.85	c INPROCESSING
308.99/309.85	c GARBAGE COLLECT
308.99/309.85	c rational objective 20
329.24/330.16	c #Conflicts:     217000 | #Constraints:      31577
329.24/330.16	c #Conflicts:     218000 | #Constraints:      32577
329.24/330.16	c #Conflicts:     219000 | #Constraints:      33577
329.24/330.16	c #Conflicts:     220000 | #Constraints:      34577
329.24/330.16	c #Conflicts:     221000 | #Constraints:      35577
329.24/330.16	c #Conflicts:     222000 | #Constraints:      36577
329.24/330.16	c #Conflicts:     223000 | #Constraints:      37577
329.24/330.16	c #Conflicts:     224000 | #Constraints:      38577
329.24/330.16	c #Conflicts:     225000 | #Constraints:      39577
329.24/330.16	c #Conflicts:     226000 | #Constraints:      40577
329.24/330.16	c INPROCESSING
329.24/330.16	c GARBAGE COLLECT
329.24/330.16	c rational objective 20
350.19/351.11	c #Conflicts:     227000 | #Constraints:      32132
350.19/351.11	c #Conflicts:     228000 | #Constraints:      33132
350.19/351.11	c #Conflicts:     229000 | #Constraints:      34132
350.19/351.11	c #Conflicts:     230000 | #Constraints:      35132
350.19/351.11	c #Conflicts:     231000 | #Constraints:      36132
350.19/351.11	c #Conflicts:     232000 | #Constraints:      37132
350.19/351.11	c #Conflicts:     233000 | #Constraints:      38132
350.19/351.11	c #Conflicts:     234000 | #Constraints:      39132
350.19/351.11	c #Conflicts:     235000 | #Constraints:      40132
350.19/351.11	c #Conflicts:     236000 | #Constraints:      41132
350.19/351.11	c INPROCESSING
350.19/351.11	c GARBAGE COLLECT
350.19/351.11	c rational objective 20
366.94/367.96	c #Conflicts:     237000 | #Constraints:      32630
366.94/367.96	c #Conflicts:     238000 | #Constraints:      33630
366.94/367.96	c #Conflicts:     239000 | #Constraints:      34630
366.94/367.96	c #Conflicts:     240000 | #Constraints:      35630
366.94/367.96	c #Conflicts:     241000 | #Constraints:      36630
366.94/367.96	c #Conflicts:     242000 | #Constraints:      37630
366.94/367.96	c #Conflicts:     243000 | #Constraints:      38630
366.94/367.96	c #Conflicts:     244000 | #Constraints:      39630
366.94/367.96	c #Conflicts:     245000 | #Constraints:      40630
366.94/367.96	c #Conflicts:     246000 | #Constraints:      41630
366.94/367.96	c INPROCESSING
366.94/367.96	c GARBAGE COLLECT
366.94/367.96	c rational objective 20
387.19/388.25	c #Conflicts:     247000 | #Constraints:      32868
387.19/388.25	c #Conflicts:     248000 | #Constraints:      33868
387.19/388.25	c #Conflicts:     249000 | #Constraints:      34868
387.19/388.25	c #Conflicts:     250000 | #Constraints:      35868
387.19/388.25	c #Conflicts:     251000 | #Constraints:      36868
387.19/388.25	c #Conflicts:     252000 | #Constraints:      37868
387.19/388.25	c #Conflicts:     253000 | #Constraints:      38868
387.19/388.25	c #Conflicts:     254000 | #Constraints:      39868
387.19/388.25	c #Conflicts:     255000 | #Constraints:      40868
387.19/388.25	c #Conflicts:     256000 | #Constraints:      41868
387.19/388.25	c INPROCESSING
387.19/388.25	c GARBAGE COLLECT
387.19/388.25	c rational objective 20
410.14/411.27	c #Conflicts:     257000 | #Constraints:      32898
410.14/411.27	c #Conflicts:     258000 | #Constraints:      33898
410.14/411.27	c #Conflicts:     259000 | #Constraints:      34898
410.14/411.27	c #Conflicts:     260000 | #Constraints:      35898
410.14/411.27	c #Conflicts:     261000 | #Constraints:      36898
410.14/411.27	c #Conflicts:     262000 | #Constraints:      37898
410.14/411.27	c #Conflicts:     263000 | #Constraints:      38898
410.14/411.27	c #Conflicts:     264000 | #Constraints:      39898
410.14/411.27	c #Conflicts:     265000 | #Constraints:      40898
410.14/411.27	c #Conflicts:     266000 | #Constraints:      41898
410.14/411.27	c INPROCESSING
410.14/411.27	c GARBAGE COLLECT
410.14/411.27	c rational objective 20
433.58/434.71	c #Conflicts:     267000 | #Constraints:      32757
433.58/434.71	c #Conflicts:     268000 | #Constraints:      33757
433.58/434.71	c #Conflicts:     269000 | #Constraints:      34757
433.58/434.71	c #Conflicts:     270000 | #Constraints:      35757
433.58/434.71	c #Conflicts:     271000 | #Constraints:      36757
433.58/434.71	c #Conflicts:     272000 | #Constraints:      37757
433.58/434.71	c #Conflicts:     273000 | #Constraints:      38757
433.58/434.71	c #Conflicts:     274000 | #Constraints:      39757
433.58/434.71	c #Conflicts:     275000 | #Constraints:      40757
433.58/434.71	c #Conflicts:     276000 | #Constraints:      41757
433.58/434.71	c #Conflicts:     277000 | #Constraints:      42757
433.58/434.71	c INPROCESSING
433.58/434.71	c GARBAGE COLLECT
433.58/434.71	c rational objective 20
456.21/457.47	c #Conflicts:     278000 | #Constraints:      33309
456.21/457.47	c #Conflicts:     279000 | #Constraints:      34309
456.21/457.47	c #Conflicts:     280000 | #Constraints:      35309
456.21/457.47	c #Conflicts:     281000 | #Constraints:      36309
456.21/457.47	c #Conflicts:     282000 | #Constraints:      37309
456.21/457.47	c #Conflicts:     283000 | #Constraints:      38309
456.21/457.47	c #Conflicts:     284000 | #Constraints:      39309
456.21/457.47	c #Conflicts:     285000 | #Constraints:      40309
456.21/457.47	c #Conflicts:     286000 | #Constraints:      41309
456.21/457.47	c #Conflicts:     287000 | #Constraints:      42309
456.21/457.47	c #Conflicts:     288000 | #Constraints:      43309
456.21/457.47	c INPROCESSING
456.21/457.47	c GARBAGE COLLECT
456.21/457.47	c rational objective 20
478.56/479.86	c #Conflicts:     289000 | #Constraints:      33779
478.56/479.86	c #Conflicts:     290000 | #Constraints:      34779
478.56/479.86	c #Conflicts:     291000 | #Constraints:      35779
478.56/479.86	c #Conflicts:     292000 | #Constraints:      36779
478.56/479.86	c #Conflicts:     293000 | #Constraints:      37779
478.56/479.86	c #Conflicts:     294000 | #Constraints:      38779
478.56/479.86	c #Conflicts:     295000 | #Constraints:      39779
478.56/479.86	c #Conflicts:     296000 | #Constraints:      40779
478.56/479.86	c #Conflicts:     297000 | #Constraints:      41779
478.56/479.86	c #Conflicts:     298000 | #Constraints:      42779
478.56/479.86	c #Conflicts:     299000 | #Constraints:      43779
478.56/479.86	c INPROCESSING
478.56/479.86	c GARBAGE COLLECT
478.56/479.86	c rational objective 20
503.00/504.38	c #Conflicts:     300000 | #Constraints:      34054
503.00/504.38	c #Conflicts:     301000 | #Constraints:      35054
503.00/504.38	c #Conflicts:     302000 | #Constraints:      36054
503.00/504.38	c #Conflicts:     303000 | #Constraints:      37054
503.00/504.38	c #Conflicts:     304000 | #Constraints:      38054
503.00/504.38	c #Conflicts:     305000 | #Constraints:      39054
503.00/504.38	c #Conflicts:     306000 | #Constraints:      40054
503.00/504.38	c #Conflicts:     307000 | #Constraints:      41054
503.00/504.38	c #Conflicts:     308000 | #Constraints:      42054
503.00/504.38	c #Conflicts:     309000 | #Constraints:      43054
503.00/504.38	c #Conflicts:     310000 | #Constraints:      44054
503.00/504.38	c INPROCESSING
503.00/504.38	c GARBAGE COLLECT
503.00/504.38	c rational objective 20
531.43/532.82	c #Conflicts:     311000 | #Constraints:      33974
531.43/532.82	c #Conflicts:     312000 | #Constraints:      34974
531.43/532.82	c #Conflicts:     313000 | #Constraints:      35974
531.43/532.82	c #Conflicts:     314000 | #Constraints:      36974
531.43/532.82	c #Conflicts:     315000 | #Constraints:      37974
531.43/532.82	c #Conflicts:     316000 | #Constraints:      38974
531.43/532.82	c #Conflicts:     317000 | #Constraints:      39974
531.43/532.82	c #Conflicts:     318000 | #Constraints:      40974
531.43/532.82	c #Conflicts:     319000 | #Constraints:      41974
531.43/532.82	c #Conflicts:     320000 | #Constraints:      42974
531.43/532.82	c #Conflicts:     321000 | #Constraints:      43974
531.43/532.82	c INPROCESSING
531.43/532.82	c GARBAGE COLLECT
531.43/532.82	c rational objective 20
554.47/555.93	c #Conflicts:     322000 | #Constraints:      33801
554.47/555.93	c #Conflicts:     323000 | #Constraints:      34801
554.47/555.93	c #Conflicts:     324000 | #Constraints:      35801
554.47/555.93	c #Conflicts:     325000 | #Constraints:      36801
554.47/555.93	c #Conflicts:     326000 | #Constraints:      37801
554.47/555.93	c #Conflicts:     327000 | #Constraints:      38801
554.47/555.93	c #Conflicts:     328000 | #Constraints:      39801
554.47/555.93	c #Conflicts:     329000 | #Constraints:      40801
554.47/555.93	c #Conflicts:     330000 | #Constraints:      41801
554.47/555.93	c #Conflicts:     331000 | #Constraints:      42801
554.47/555.93	c #Conflicts:     332000 | #Constraints:      43801
554.47/555.93	c #Conflicts:     333000 | #Constraints:      44801
554.47/555.93	c INPROCESSING
554.47/555.93	c GARBAGE COLLECT
554.47/555.93	c rational objective 20
581.00/582.54	c #Conflicts:     334000 | #Constraints:      34308
581.00/582.54	c #Conflicts:     335000 | #Constraints:      35308
581.00/582.54	c #Conflicts:     336000 | #Constraints:      36308
581.00/582.54	c #Conflicts:     337000 | #Constraints:      37308
581.00/582.54	c #Conflicts:     338000 | #Constraints:      38308
581.00/582.54	c #Conflicts:     339000 | #Constraints:      39308
581.00/582.54	c #Conflicts:     340000 | #Constraints:      40308
581.00/582.54	c #Conflicts:     341000 | #Constraints:      41308
581.00/582.54	c #Conflicts:     342000 | #Constraints:      42308
581.00/582.54	c #Conflicts:     343000 | #Constraints:      43308
581.00/582.54	c #Conflicts:     344000 | #Constraints:      44308
581.00/582.54	c #Conflicts:     345000 | #Constraints:      45308
581.00/582.54	c INPROCESSING
581.00/582.54	c GARBAGE COLLECT
581.00/582.54	c rational objective 20
609.33/610.91	c #Conflicts:     346000 | #Constraints:      34736
609.33/610.91	c #Conflicts:     347000 | #Constraints:      35736
609.33/610.91	c #Conflicts:     348000 | #Constraints:      36736
609.33/610.91	c #Conflicts:     349000 | #Constraints:      37736
609.33/610.91	c #Conflicts:     350000 | #Constraints:      38736
609.33/610.91	c #Conflicts:     351000 | #Constraints:      39736
609.33/610.91	c #Conflicts:     352000 | #Constraints:      40736
609.33/610.91	c #Conflicts:     353000 | #Constraints:      41736
609.33/610.91	c #Conflicts:     354000 | #Constraints:      42736
609.33/610.91	c #Conflicts:     355000 | #Constraints:      43736
609.33/610.91	c #Conflicts:     356000 | #Constraints:      44736
609.33/610.91	c #Conflicts:     357000 | #Constraints:      45736
609.33/610.91	c INPROCESSING
609.33/610.91	c GARBAGE COLLECT
609.33/610.91	c rational objective 20
640.55/642.20	c #Conflicts:     358000 | #Constraints:      34980
640.55/642.20	c #Conflicts:     359000 | #Constraints:      35980
640.55/642.20	c #Conflicts:     360000 | #Constraints:      36980
640.55/642.20	c #Conflicts:     361000 | #Constraints:      37980
640.55/642.20	c #Conflicts:     362000 | #Constraints:      38980
640.55/642.20	c #Conflicts:     363000 | #Constraints:      39980
640.55/642.20	c #Conflicts:     364000 | #Constraints:      40980
640.55/642.20	c #Conflicts:     365000 | #Constraints:      41980
640.55/642.20	c #Conflicts:     366000 | #Constraints:      42980
640.55/642.20	c #Conflicts:     367000 | #Constraints:      43980
640.55/642.20	c #Conflicts:     368000 | #Constraints:      44980
640.55/642.20	c #Conflicts:     369000 | #Constraints:      45980
640.55/642.20	c INPROCESSING
640.55/642.20	c GARBAGE COLLECT
640.55/642.20	c rational objective 20
667.68/669.43	c #Conflicts:     370000 | #Constraints:      34938
667.68/669.43	c #Conflicts:     371000 | #Constraints:      35938
667.68/669.43	c #Conflicts:     372000 | #Constraints:      36938
667.68/669.43	c #Conflicts:     373000 | #Constraints:      37938
667.68/669.43	c #Conflicts:     374000 | #Constraints:      38938
667.68/669.43	c #Conflicts:     375000 | #Constraints:      39938
667.68/669.43	c #Conflicts:     376000 | #Constraints:      40938
667.68/669.43	c #Conflicts:     377000 | #Constraints:      41938
667.68/669.43	c #Conflicts:     378000 | #Constraints:      42938
667.68/669.43	c #Conflicts:     379000 | #Constraints:      43938
667.68/669.43	c #Conflicts:     380000 | #Constraints:      44938
667.68/669.43	c #Conflicts:     381000 | #Constraints:      45938
667.68/669.43	c INPROCESSING
667.68/669.43	c GARBAGE COLLECT
667.68/669.43	c rational objective 20
698.90/700.77	c #Conflicts:     382000 | #Constraints:      34712
698.90/700.77	c #Conflicts:     383000 | #Constraints:      35712
698.90/700.77	c #Conflicts:     384000 | #Constraints:      36712
698.90/700.77	c #Conflicts:     385000 | #Constraints:      37712
698.90/700.77	c #Conflicts:     386000 | #Constraints:      38712
698.90/700.77	c #Conflicts:     387000 | #Constraints:      39712
698.90/700.77	c #Conflicts:     388000 | #Constraints:      40712
698.90/700.77	c #Conflicts:     389000 | #Constraints:      41712
698.90/700.77	c #Conflicts:     390000 | #Constraints:      42712
698.90/700.77	c #Conflicts:     391000 | #Constraints:      43712
698.90/700.77	c #Conflicts:     392000 | #Constraints:      44712
698.90/700.77	c #Conflicts:     393000 | #Constraints:      45712
698.90/700.77	c #Conflicts:     394000 | #Constraints:      46712
698.90/700.77	c INPROCESSING
698.90/700.77	c GARBAGE COLLECT
698.90/700.77	c rational objective 20
732.22/734.13	c #Conflicts:     395000 | #Constraints:      35349
732.22/734.13	c #Conflicts:     396000 | #Constraints:      36349
732.22/734.13	c #Conflicts:     397000 | #Constraints:      37349
732.22/734.13	c #Conflicts:     398000 | #Constraints:      38349
732.22/734.13	c #Conflicts:     399000 | #Constraints:      39349
732.22/734.13	c #Conflicts:     400000 | #Constraints:      40349
732.22/734.13	c #Conflicts:     401000 | #Constraints:      41349
732.22/734.13	c #Conflicts:     402000 | #Constraints:      42349
732.22/734.13	c #Conflicts:     403000 | #Constraints:      43349
732.22/734.13	c #Conflicts:     404000 | #Constraints:      44349
732.22/734.13	c #Conflicts:     405000 | #Constraints:      45349
732.22/734.13	c #Conflicts:     406000 | #Constraints:      46349
732.22/734.13	c #Conflicts:     407000 | #Constraints:      47349
732.22/734.13	c INPROCESSING
732.22/734.13	c GARBAGE COLLECT
732.22/734.13	c rational objective 20
767.72/769.75	c #Conflicts:     408000 | #Constraints:      35814
767.72/769.75	c #Conflicts:     409000 | #Constraints:      36814
767.72/769.75	c #Conflicts:     410000 | #Constraints:      37814
767.72/769.75	c #Conflicts:     411000 | #Constraints:      38814
767.72/769.75	c #Conflicts:     412000 | #Constraints:      39814
767.72/769.75	c #Conflicts:     413000 | #Constraints:      40814
767.72/769.75	c #Conflicts:     414000 | #Constraints:      41814
767.72/769.75	c #Conflicts:     415000 | #Constraints:      42814
767.72/769.75	c #Conflicts:     416000 | #Constraints:      43814
767.72/769.75	c #Conflicts:     417000 | #Constraints:      44814
767.72/769.75	c #Conflicts:     418000 | #Constraints:      45814
767.72/769.75	c #Conflicts:     419000 | #Constraints:      46814
767.72/769.75	c #Conflicts:     420000 | #Constraints:      47814
767.72/769.75	c INPROCESSING
767.72/769.75	c GARBAGE COLLECT
767.72/769.75	c rational objective 20
796.96/799.01	c #Conflicts:     421000 | #Constraints:      36012
796.96/799.01	c #Conflicts:     422000 | #Constraints:      37012
796.96/799.01	c #Conflicts:     423000 | #Constraints:      38012
796.96/799.01	c #Conflicts:     424000 | #Constraints:      39012
796.96/799.01	c #Conflicts:     425000 | #Constraints:      40012
796.96/799.01	c #Conflicts:     426000 | #Constraints:      41012
796.96/799.01	c #Conflicts:     427000 | #Constraints:      42012
796.96/799.01	c #Conflicts:     428000 | #Constraints:      43012
796.96/799.01	c #Conflicts:     429000 | #Constraints:      44012
796.96/799.01	c #Conflicts:     430000 | #Constraints:      45012
796.96/799.01	c #Conflicts:     431000 | #Constraints:      46012
796.96/799.01	c #Conflicts:     432000 | #Constraints:      47012
796.96/799.01	c #Conflicts:     433000 | #Constraints:      48012
796.96/799.01	c INPROCESSING
796.96/799.01	c GARBAGE COLLECT
796.96/799.01	c rational objective 20
821.99/824.11	c #Conflicts:     434000 | #Constraints:      35980
821.99/824.11	c #Conflicts:     435000 | #Constraints:      36980
821.99/824.11	c #Conflicts:     436000 | #Constraints:      37980
821.99/824.11	c #Conflicts:     437000 | #Constraints:      38980
821.99/824.11	c #Conflicts:     438000 | #Constraints:      39980
821.99/824.11	c #Conflicts:     439000 | #Constraints:      40980
821.99/824.11	c #Conflicts:     440000 | #Constraints:      41980
821.99/824.11	c #Conflicts:     441000 | #Constraints:      42980
821.99/824.11	c #Conflicts:     442000 | #Constraints:      43980
821.99/824.11	c #Conflicts:     443000 | #Constraints:      44980
821.99/824.11	c bounds 21 >= 21 @ 817.637
821.99/824.11	c cpu time 817.637 s
821.99/824.11	c deterministic time 31695666258 3.17e+10
821.99/824.11	c optimization time 0.005121 s
821.99/824.11	c total solve time 817.576 s
821.99/824.11	c core-guided solve time 372.629 s
821.99/824.11	c propagation time 318.191 s
821.99/824.11	c conflict analysis time 452.829 s
821.99/824.11	c propagations 317308193
821.99/824.11	c resolve steps 50122931
821.99/824.11	c decisions 2075196
821.99/824.11	c conflicts 443015
821.99/824.11	c restarts 1021
821.99/824.11	c inprocessing phases 57
821.99/824.11	c garbage collections 57 ,( 100.00 )
821.99/824.11	c input clauses 21450 ,( 99.26 )
821.99/824.11	c input cardinalities 97 ,( 0.45 )
821.99/824.11	c input general constraints 62 ,( 0.29 )
821.99/824.11	c input average constraint length 3.71
821.99/824.11	c input average constraint degree 1.53
821.99/824.11	c learned clauses 385797 ,( 87.07 )
821.99/824.11	c learned cardinalities 2532 ,( 0.57 )
821.99/824.11	c learned general constraints 54749 ,( 12.36 )
821.99/824.11	c learned average constraint length 774.75
821.99/824.11	c learned average constraint degree 62297123.00
821.99/824.11	c watched  CF 32, 64, 128, Arb: 32116 , 0 , 0 , 0
821.99/824.11	c counting CF 32, 64, 128, Arb: 22696 , 0 , 0 , 0
821.99/824.11	c watched   constraints 32116 ,( 58.59 ) 
821.99/824.11	c counting  constraints 22695 ,( 41.41 ) 
821.99/824.11	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 474863166 , 13490942 , 1257403574 ,( 362987233 , 894416341 )
821.99/824.11	c gcd simplifications 804
821.99/824.11	c detected cardinalities 14
821.99/824.11	c weakened non-implied lits 40491224
821.99/824.11	c weakened non-implying lits 49687
821.99/824.11	c original variables 6076
821.99/824.11	c clausal propagations 275905058
821.99/824.11	c cardinality propagations 4742512
821.99/824.11	c watched propagations 1931421
821.99/824.11	c counting propagations 32032113
821.99/824.11	c watch lookups 7911376948
821.99/824.11	c watch backjump lookups 0
821.99/824.11	c watch checks 19242126871
821.99/824.11	c propagation checks 2984899793
821.99/824.11	c constraint additions 917552230
821.99/824.11	c trail pops 319826347
821.99/824.11	c formula constraints 21393
821.99/824.11	c learned constraints 442989
821.99/824.11	c bound constraints 33
821.99/824.11	c core-guided constraints 183
821.99/824.11	c encountered formula constraints 42354115
821.99/824.11	c encountered learned constraints 7934818
821.99/824.11	c encountered bound constraints 424
821.99/824.11	c encountered core-guided constraints 274227
821.99/824.11	c LP total time 133.772 s
821.99/824.11	c LP solve time 114.46 s
821.99/824.11	c LP constraints added 21827
821.99/824.11	c LP constraints removed 414
821.99/824.11	c LP pivots internal 443448
821.99/824.11	c LP pivots root 57231
821.99/824.11	c LP calls 324
821.99/824.11	c LP optimalities 290
821.99/824.11	c LP no pivot count 47
821.99/824.11	c LP infeasibilities 30
821.99/824.11	c LP valid Farkas constraints 30
821.99/824.11	c LP learned Farkas constraints 30
821.99/824.11	c LP basis resets 0
821.99/824.11	c LP cycling count 0
821.99/824.11	c LP singular count 0
821.99/824.11	c LP no primal count 0
821.99/824.11	c LP no farkas count 0
821.99/824.11	c LP other issue count 0
821.99/824.11	c LP Gomory cuts 29
821.99/824.11	c LP learned cuts 405
821.99/824.11	c LP deleted cuts 414
821.99/824.11	c LP encountered Gomory constraints 2
821.99/824.11	c LP encountered Farkas constraints 2160
821.99/824.11	c LP encountered learned Farkas constraints 170
821.99/824.11	c CG auxiliary variables introduced 65
821.99/824.11	c CG solutions found 11
821.99/824.11	c CG cores constructed 16
821.99/824.11	c CG core cardinality constraints returned 0
821.99/824.11	c CG unit cores 0
821.99/824.11	c CG single cores 16
821.99/824.11	c CG blocks removed during cardinality reduction 0
821.99/824.11	c CG first core best 0
821.99/824.11	c CG decision core best 0
821.99/824.11	c CG core reduction tie 0
821.99/824.11	c CG core degree average 1.00
821.99/824.11	c CG core slack average 43.56
821.99/824.11	c CG core upper bound improvements 36
821.99/824.11	c STR number of successful calls 0
821.99/824.11	c STR number of unsuccessful calls 0
821.99/824.11	c STR number of inconclusive calls 0
821.99/824.11	c STR number of successful attempts 0
821.99/824.11	c STR number of unsuccessful attempts 0
821.99/824.11	c STR number of inconclusive attempts 0
821.99/824.11	c STR average degree increase per successful call inf
821.99/824.11	c STR average degree increase per successful attempt inf
821.99/824.11	c STR total number of conflicts for successful attempts 0
821.99/824.11	c STR total number of conflicts for unsuccessful attempts 0
821.99/824.11	c STR total number of conflicts for inconclusive attempts 0
821.99/824.11	c STR average number of conflicts per successful attempt inf
821.99/824.11	c STR average number of conflicts per unsuccessful attempt inf
821.99/824.11	c STR average number of conflicts per inconclusive attempt inf
821.99/824.11	c AVG.sumWPerc 36.47 
821.99/824.11	c bigint constraints 0 
821.99/824.11	o 21
821.99/824.11	s OPTIMUM FOUND
821.99/824.11	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

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497840-1751398803/watcher-4497840-1751398803 -o /tmp/evaluation-result-4497840-1751398803/solver-4497840-1751398803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751398701-54920 --watchdog 3760 run-opt-break.sh HOME/instance-4497840-1751398803.opb 

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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB

solver pid=55083, runsolver pid=55080

[startup+0.100059 s]*
/proc/loadavg: 3.37 1.82 1.70 5/270 55086
/proc/meminfo: memFree=128752704/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=57932 memory=12716 CPUtime=0.04 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 1028 0 0 0 3 1 0 0 20 0 1 0 55502880 59322368 3179 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 14483 3179 1888 1147 0 1910 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62124 KiB
Current children cumulated memory: 15788 KiB

[startup+0.205565 s]*
/proc/loadavg: 3.37 1.82 1.70 5/270 55086
/proc/meminfo: memFree=128736636/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=87764 memory=39056 CPUtime=0.15 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 6881 0 0 0 12 3 0 0 20 0 1 0 55502880 89870336 9764 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 21941 9764 2304 1147 0 9368 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 91956 KiB
Current children cumulated memory: 42128 KiB

[startup+0.305747 s]*
/proc/loadavg: 3.37 1.82 1.70 5/270 55086
/proc/meminfo: memFree=128736636/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=88056 memory=39312 CPUtime=0.25 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 6931 0 0 0 21 4 0 0 20 0 1 0 55502880 90169344 9828 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 22014 9828 2336 1147 0 9441 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 92248 KiB
Current children cumulated memory: 42384 KiB

[startup+0.700178 s]
/proc/loadavg: 3.37 1.82 1.70 5/270 55086
/proc/meminfo: memFree=128736636/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=89576 memory=40664 CPUtime=0.63 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 7331 0 0 0 59 4 0 0 20 0 1 0 55502880 91725824 10166 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 22394 10166 2368 1147 0 9821 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 93768 KiB
Current children cumulated memory: 43736 KiB

[startup+1.50016 s]
/proc/loadavg: 3.37 1.82 1.70 5/270 55086
/proc/meminfo: memFree=128737952/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=89844 memory=42936 CPUtime=1.44 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 7394 0 0 0 139 5 0 0 20 0 1 0 55502880 92000256 10734 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 22461 10734 2368 1147 0 9888 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 94036 KiB
Current children cumulated memory: 46008 KiB

[startup+3.10534 s]
/proc/loadavg: 3.42 1.86 1.71 5/270 55086
/proc/meminfo: memFree=128727468/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=100260 memory=52784 CPUtime=3.03 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 9315 0 0 0 296 7 0 0 20 0 1 0 55502880 102666240 13196 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 25065 13196 2400 1147 0 12492 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 104452 KiB
Current children cumulated memory: 55856 KiB

[startup+6.30015 s]
/proc/loadavg: 3.42 1.86 1.71 5/270 55086
/proc/meminfo: memFree=128727720/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=101088 memory=54448 CPUtime=6.22 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 9723 0 0 0 611 11 0 0 20 0 1 0 55502880 103514112 13612 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 25272 13612 2400 1147 0 12699 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 105280 KiB
Current children cumulated memory: 57520 KiB

[startup+12.7001 s]
/proc/loadavg: 3.55 1.91 1.73 5/270 55087
/proc/meminfo: memFree=128701500/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=130616 memory=76068 CPUtime=12.6 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 14635 0 0 0 1243 17 0 0 20 0 1 0 55502880 133750784 19017 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 32654 19017 2400 1147 0 20081 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 134808 KiB
Current children cumulated memory: 79140 KiB

[startup+25.5002 s]
/proc/loadavg: 3.65 2.01 1.77 5/270 55087
/proc/meminfo: memFree=128668356/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=148920 memory=90760 CPUtime=25.37 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 16764 0 0 0 2507 30 0 0 20 0 1 0 55502880 152494080 22690 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 37230 22690 2400 1147 0 24657 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 153112 KiB
Current children cumulated memory: 93832 KiB

[startup+51.1053 s]
/proc/loadavg: 3.77 2.17 1.83 5/270 55087
/proc/meminfo: memFree=128634892/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=157024 memory=103520 CPUtime=50.91 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 18944 0 0 0 5034 57 0 0 20 0 1 0 55502880 160792576 25880 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 39256 25880 2400 1147 0 26683 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 161216 KiB
Current children cumulated memory: 106592 KiB

[startup+102.3 s]
/proc/loadavg: 4.02 2.49 1.96 5/271 55094
/proc/meminfo: memFree=128533684/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=187356 memory=120752 CPUtime=101.98 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 22208 0 0 0 10090 108 0 0 20 0 1 0 55502880 191852544 30188 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 46839 30188 2400 1147 0 34266 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 191548 KiB
Current children cumulated memory: 123824 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 2.78 2.09 5/271 55096
/proc/meminfo: memFree=128324304/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=192500 memory=128040 CPUtime=161.83 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 23617 0 0 0 16035 148 0 0 20 0 1 0 55502880 197120000 32010 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 48125 32010 2400 1147 0 35552 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 196692 KiB
Current children cumulated memory: 131112 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.01 2.21 5/270 55098
/proc/meminfo: memFree=128232832/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=194840 memory=134592 CPUtime=221.67 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 24210 0 0 0 21981 186 0 0 20 0 1 0 55502880 199516160 33648 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 48710 33648 2400 1147 0 36137 0
Current children cumulated CPU time: 221.7 s

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

/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 25476 0 0 0 45810 298 0 0 20 0 1 0 55502880 203452416 37426 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 49671 37426 2400 1147 0 37098 0
Current children cumulated CPU time: 461.11 s
Current children cumulated vsize: 202876 KiB
Current children cumulated memory: 152776 KiB

[startup+522.3 s]
/proc/loadavg: 4.14 3.72 2.75 5/269 55108
/proc/meminfo: memFree=127924356/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=201032 memory=151880 CPUtime=520.92 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 26022 0 0 0 51773 319 0 0 20 0 1 0 55502880 205856768 37970 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 50258 37970 2400 1147 0 37685 0
Current children cumulated CPU time: 520.95 s
Current children cumulated vsize: 205224 KiB
Current children cumulated memory: 154952 KiB

[startup+582.3 s]
/proc/loadavg: 4.16 3.80 2.84 5/268 55113
/proc/meminfo: memFree=127912216/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=232112 memory=155604 CPUtime=580.77 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 26423 0 0 0 57731 346 0 0 20 0 1 0 55502880 237682688 38901 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 58028 38901 2400 1147 0 45455 0
Current children cumulated CPU time: 580.8 s
Current children cumulated vsize: 236304 KiB
Current children cumulated memory: 158676 KiB

[startup+642.3 s]
/proc/loadavg: 4.06 3.84 2.92 5/267 55115
/proc/meminfo: memFree=127867412/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=232112 memory=155604 CPUtime=640.62 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 26423 0 0 0 63697 365 0 0 20 0 1 0 55502880 237682688 38901 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 58028 38901 2400 1147 0 45455 0
Current children cumulated CPU time: 640.65 s
Current children cumulated vsize: 236304 KiB
Current children cumulated memory: 158676 KiB

[startup+702.3 s]
/proc/loadavg: 4.14 3.90 3.00 5/267 55121
/proc/meminfo: memFree=127859284/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=232112 memory=163936 CPUtime=700.47 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 26474 0 0 0 69655 392 0 0 20 0 1 0 55502880 237682688 40984 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 58028 40984 2400 1147 0 45455 0
Current children cumulated CPU time: 700.5 s
Current children cumulated vsize: 236304 KiB
Current children cumulated memory: 167008 KiB

[startup+762.3 s]
/proc/loadavg: 4.11 3.94 3.07 5/268 55124
/proc/meminfo: memFree=127834660/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=232804 memory=164704 CPUtime=760.31 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 26666 0 0 0 75620 411 0 0 20 0 1 0 55502880 238391296 41176 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 58201 41176 2400 1147 0 45628 0
Current children cumulated CPU time: 760.34 s
Current children cumulated vsize: 236996 KiB
Current children cumulated memory: 167776 KiB

[startup+822.3 s]
/proc/loadavg: 4.09 3.97 3.14 5/268 55126
/proc/meminfo: memFree=127827160/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=232804 memory=164704 CPUtime=820.16 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 26668 0 0 0 81583 433 0 0 20 0 1 0 55502880 238391296 41176 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 58201 41176 2400 1147 0 45628 0
Current children cumulated CPU time: 820.19 s
Current children cumulated vsize: 236996 KiB
Current children cumulated memory: 167776 KiB

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

# cumulated CPU time of all completed processes:  user=817.665 s, system=4.36043 s

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

[startup+822.4 s]
/proc/loadavg: 4.09 3.97 3.14 5/268 55126
/proc/meminfo: memFree=127827160/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=232804 memory=164704 CPUtime=820.26 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 26668 0 0 0 81593 433 0 0 20 0 1 0 55502880 238391296 41176 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 58201 41176 2400 1147 0 45628 0
Current children cumulated CPU time: 820.29 s
Current children cumulated vsize: 236996 KiB
Current children cumulated memory: 167776 KiB

[startup+823.2 s]
/proc/loadavg: 4.08 3.97 3.14 5/268 55126
/proc/meminfo: memFree=127827160/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=232804 memory=164704 CPUtime=821.06 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 26668 0 0 0 81672 434 0 0 20 0 1 0 55502880 238391296 41176 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 58201 41176 2400 1147 0 45628 0
Current children cumulated CPU time: 821.09 s
Current children cumulated vsize: 236996 KiB
Current children cumulated memory: 167776 KiB

[startup+823.6 s]
/proc/loadavg: 4.08 3.97 3.14 5/268 55126
/proc/meminfo: memFree=127827160/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=232804 memory=164704 CPUtime=821.46 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 26668 0 0 0 81712 434 0 0 20 0 1 0 55502880 238391296 41176 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 58201 41176 2400 1147 0 45628 0
Current children cumulated CPU time: 821.49 s
Current children cumulated vsize: 236996 KiB
Current children cumulated memory: 167776 KiB

[startup+824 s]*
/proc/loadavg: 4.08 3.97 3.14 5/268 55126
/proc/meminfo: memFree=127827160/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=232804 memory=164704 CPUtime=821.86 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 26668 0 0 0 81752 434 0 0 20 0 1 0 55502880 238391296 41176 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 58201 41176 2400 1147 0 45628 0
Current children cumulated CPU time: 821.89 s
Current children cumulated vsize: 236996 KiB
Current children cumulated memory: 167776 KiB

[startup+824.105 s]
/proc/loadavg: 4.08 3.97 3.14 5/268 55126
/proc/meminfo: memFree=127827160/131250000 swapFree=33010684/33010684
[pid=55083] ppid=55080 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/55083/stat : 55083 (run-opt-break.s) S 55080 55083 54907 0 -1 4194304 238 4856 0 0 0 0 2 1 20 0 1 0 55502875 4292608 768 18446744073709551615 94702041300992 94702042195525 140730738451600 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94702042434576 94702042482320 94702061133824 140730738456929 140730738457058 140730738457058 140730738462660 0
/proc/55083/statm: 1048 768 704 219 0 110 0
[pid=55086] ppid=55083 vsize=232804 memory=164704 CPUtime=821.96 cores=0,2
/proc/55086/stat : 55086 (roundingsat) R 55083 55083 54907 0 -1 4194304 26668 0 0 0 81762 434 0 0 20 0 1 0 55502880 238391296 41176 18446744073709551615 4227072 8923433 140732946823408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26914816 140732946831716 140732946831912 140732946831912 140732946837482 0
/proc/55086/statm: 58201 41176 2400 1147 0 45628 0
Current children cumulated CPU time: 821.99 s
Current children cumulated vsize: 236996 KiB
Current children cumulated memory: 167776 KiB

Child status: 0

Real time (s): 824.127
CPU time (s): 822.026
CPU user time (s): 817.665
CPU system time (s): 4.36043
CPU usage (%): 99.745
Max. virtual memory (cumulated for all children) (KiB): 236996
Max. memory (cumulated for all children) (KiB): 167776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 817.665
system time used= 4.36043
maximum resident set size= 164704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31785
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 1189


# summary of solver processes directly reported to runsolver:
#   pid: 55083
#   total CPU time (s): 822.026
#   total CPU user time (s): 817.665
#   total CPU system time (s): 4.36043

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.55147 second user time and 3.43404 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-01 21:40:04
IDJOB=4497840
IDBENCH=148194
IDSOLVER=3359
FILE ID=nodeC028/4497840-1751398803
RUNJOBID= nodeC028-1751398701-54920
SLURM_JOB_ID= 9598282
Free space on /tmp= 433012 MiB

SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497840-1751398803/watcher-4497840-1751398803 -o /tmp/evaluation-result-4497840-1751398803/solver-4497840-1751398803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751398701-54920 --watchdog 3760  run-opt-break.sh HOME/instance-4497840-1751398803.opb

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

MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=1798394137

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128760740 kB
MemAvailable:   128792144 kB
Buffers:            3280 kB
Cached:           837952 kB
SwapCached:            0 kB
Active:          1350332 kB
Inactive:         529424 kB
Active(anon):    1056596 kB
Inactive(anon):        0 kB
Active(file):     293736 kB
Inactive(file):   529424 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7792 kB
Writeback:             0 kB
AnonPages:       1041680 kB
Mapped:           116936 kB
Shmem:             18068 kB
KReclaimable:      94964 kB
Slab:             181160 kB
SReclaimable:      94964 kB
SUnreclaim:        86196 kB
KernelStack:        4384 kB
PageTables:         5416 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1518312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3712 kB
HardwareCorrupted:     0 kB
AnonHugePages:    477184 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433004 MiB
End job on nodeC028 at 2025-07-01 21:53:48