Trace number 4531818

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-ls+pbsuma-log 0f876b3SAT (TO)423 3600.19 3611.56

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
MD5SUM9792288b3bfa4387008e61c6fa17d472
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 benchmark245
Best CPU time to get the best result obtained on this benchmark28904.8
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 495293
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 495293
Number of bits of the biggest sum of numbers19
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-4531818-1752683038.opb'
0.29/0.33	c 	read 17.23MB  (323.87ms)
0.29/0.33	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.29/0.33	c output proof to '/tmp/proof-4531818-1752683038'
0.29/0.33	c 
0.29/0.33	c make graph and approximate orbits
0.68/0.71	c	 [group: #orbits ~= 0] (375.50ms)
0.68/0.71	c 
0.68/0.71	c detect special group actions
0.68/0.71	c 	probe for Johnson action (limit=64)
0.68/0.71	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.68/0.72	c 	probe for row symmetry (limit=64, splits=16.78M)
0.68/0.73	c 	 (19.12ms)
0.68/0.73	c 
0.68/0.73	c detect symmetries on remainder
0.68/0.73	c 	[graph: #vertices 706710 #edges 2766418]
0.68/0.74	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.68/0.78	c 	 [group: #symmetries 1.00*10^0 #generators 0] (53.73ms)
0.68/0.78	c 
0.68/0.78	c finalize break order and special generators
0.68/0.78	c 
0.68/0.78	c generation finished
0.68/0.78	c 	[sbp: #constraints 0 #add_vars 0]
0.68/0.78	c 
0.68/0.78	c write result to 'HOME/instance-4531818-1752683038.opb.pre'
0.77/0.82	c 	wrote 17.23MB (35.72ms)
0.77/0.82	c ------------------------------------------------------------------
0.77/0.82	c                 375.50ms 46.31% approx_orbits
0.77/0.82	c                 323.87ms 39.94% parse
0.77/0.82	c                  53.73ms  6.63% detect_generic
0.77/0.82	c                  35.72ms  4.41% output
0.77/0.82	c                  19.12ms  2.36% detect_special
0.77/0.82	c                   2.45ms  0.30% other
0.77/0.82	c                   0.39ms  0.05% finalize_order
0.77/0.82	c         ───────────────────────────────────────────────
0.77/0.82	c                 810.79ms   100% total
0.77/0.82	c ------------------------------------------------------------------
0.88/0.97	c RoundingSat 2
0.88/0.97	c branch pb25
0.88/0.97	c commit 0f876b3
4.55/4.68	c #variables 10000 #constraints 656900
4.55/4.68	c objective is ce32 
5.44/5.59	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.44/5.59	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.44/5.59	c bounds 5543 >= 0 @ 3.87653
7.84/7.91	c rational objective 185.072
11.43/11.58	c bounds 5504 >= 0 @ 9.74389
11.53/11.61	c bounds 5439 >= 0 @ 9.77189
11.53/11.62	c bounds 5436 >= 0 @ 9.77715
11.53/11.62	c bounds 5404 >= 0 @ 9.78064
11.53/11.65	c bounds 5393 >= 0 @ 9.80542
11.53/11.65	c bounds 5318 >= 0 @ 9.8108
11.53/11.66	c bounds 5248 >= 0 @ 9.81468
11.53/11.67	c bounds 5226 >= 0 @ 9.82758
11.53/11.69	c bounds 5221 >= 0 @ 9.84507
11.63/11.70	c bounds 5171 >= 0 @ 9.85351
11.63/11.71	c bounds 5116 >= 0 @ 9.85885
11.63/11.72	c bounds 5101 >= 0 @ 9.86749
11.63/11.73	c bounds 5046 >= 0 @ 9.87795
11.63/11.75	c bounds 4967 >= 0 @ 9.89503
11.63/11.76	c bounds 4912 >= 0 @ 9.89963
11.63/11.77	c bounds 4907 >= 0 @ 9.90922
11.73/11.80	c bounds 4905 >= 0 @ 9.9395
11.73/11.81	c bounds 4848 >= 0 @ 9.94842
11.73/11.85	c bounds 4827 >= 0 @ 9.97839
11.73/11.87	c bounds 4802 >= 0 @ 10.0028
11.73/11.88	c bounds 4799 >= 0 @ 10.0082
11.83/11.91	c bounds 4780 >= 0 @ 10.0328
11.93/12.00	c bounds 4779 >= 0 @ 10.1267
11.93/12.01	c bounds 4771 >= 0 @ 10.1355
11.93/12.03	c bounds 4764 >= 0 @ 10.1509
11.93/12.04	c bounds 4565 >= 0 @ 10.1581
11.93/12.04	c bounds 4528 >= 0 @ 10.164
11.93/12.05	c bounds 4490 >= 0 @ 10.1678
11.93/12.06	c bounds 4442 >= 0 @ 10.173
11.93/12.06	c bounds 4320 >= 0 @ 10.178
11.93/12.07	c bounds 4302 >= 0 @ 10.184
11.93/12.08	c bounds 4268 >= 0 @ 10.1947
11.93/12.09	c bounds 4200 >= 0 @ 10.2029
12.04/12.12	c bounds 4172 >= 0 @ 10.2267
12.04/12.14	c bounds 4161 >= 0 @ 10.2459
12.04/12.15	c bounds 4135 >= 0 @ 10.2514
12.04/12.16	c bounds 4067 >= 0 @ 10.2546
12.23/12.34	c bounds 4026 >= 0 @ 10.4331
12.23/12.35	c bounds 3946 >= 0 @ 10.4396
12.23/12.36	c bounds 3929 >= 0 @ 10.4455
12.52/12.69	c bounds 3926 >= 0 @ 10.7629
12.73/12.83	c bounds 3911 >= 0 @ 10.8997
12.73/12.84	c bounds 3887 >= 0 @ 10.9076
12.73/12.84	c bounds 3838 >= 0 @ 10.9136
12.83/12.95	c bounds 3836 >= 0 @ 11.0112
12.93/13.09	c bounds 3832 >= 0 @ 11.1569
13.12/13.20	c bounds 3827 >= 0 @ 11.2571
13.12/13.21	c bounds 3812 >= 0 @ 11.2721
13.12/13.23	c bounds 3794 >= 0 @ 11.2838
13.12/13.24	c bounds 3737 >= 0 @ 11.2923
13.12/13.25	c bounds 3689 >= 0 @ 11.2995
13.22/13.35	c bounds 3671 >= 0 @ 11.4029
13.22/13.36	c bounds 3591 >= 0 @ 11.4102
13.22/13.37	c bounds 3586 >= 0 @ 11.4162
13.22/13.38	c bounds 3550 >= 0 @ 11.4232
13.42/13.50	c bounds 3543 >= 0 @ 11.5353
13.53/13.60	c bounds 3532 >= 0 @ 11.6395
13.53/13.62	c bounds 3510 >= 0 @ 11.6508
13.53/13.63	c bounds 3306 >= 0 @ 11.6571
13.83/13.92	c bounds 3305 >= 0 @ 11.9409
13.93/14.02	c bounds 3275 >= 0 @ 12.0395
13.93/14.03	c bounds 3121 >= 0 @ 12.0472
13.93/14.04	c bounds 3110 >= 0 @ 12.0528
13.93/14.06	c bounds 3104 >= 0 @ 12.0693
13.93/14.07	c bounds 3016 >= 0 @ 12.075
13.93/14.08	c bounds 2978 >= 0 @ 12.0836
13.93/14.09	c bounds 2936 >= 0 @ 12.0914
13.93/14.10	c bounds 2816 >= 0 @ 12.0983
14.03/14.12	c bounds 2788 >= 0 @ 12.1117
14.03/14.13	c bounds 2600 >= 0 @ 12.12
14.03/14.14	c bounds 2493 >= 0 @ 12.1263
14.12/14.24	c bounds 2475 >= 0 @ 12.2194
14.12/14.25	c bounds 2462 >= 0 @ 12.2257
14.12/14.26	c bounds 2426 >= 0 @ 12.2389
14.12/14.28	c bounds 2391 >= 0 @ 12.2472
14.12/14.29	c bounds 2307 >= 0 @ 12.2536
14.22/14.30	c bounds 2267 >= 0 @ 12.261
14.22/14.31	c bounds 2223 >= 0 @ 12.2664
14.22/14.32	c bounds 2182 >= 0 @ 12.274
14.22/14.33	c bounds 2174 >= 0 @ 12.2805
14.22/14.34	c bounds 2132 >= 0 @ 12.2869
14.22/14.35	c bounds 2111 >= 0 @ 12.2926
14.22/14.36	c bounds 2032 >= 0 @ 12.2998
14.22/14.38	c bounds 1994 >= 0 @ 12.306
14.22/14.38	c bounds 1989 >= 0 @ 12.3113
14.52/14.60	c bounds 1978 >= 0 @ 12.5211
14.52/14.61	c bounds 1977 >= 0 @ 12.5284
14.52/14.64	c bounds 1972 >= 0 @ 12.5567
14.52/14.65	c bounds 1942 >= 0 @ 12.5702
14.52/14.66	c bounds 1873 >= 0 @ 12.5782
14.52/14.68	c bounds 1866 >= 0 @ 12.5893
14.52/14.69	c bounds 1789 >= 0 @ 12.5962
14.63/14.71	c bounds 1781 >= 0 @ 12.613
14.63/14.72	c bounds 1709 >= 0 @ 12.6211
14.63/14.73	c bounds 1681 >= 0 @ 12.6302
14.63/14.78	c bounds 1674 >= 0 @ 12.6777
14.73/14.82	c bounds 1667 >= 0 @ 12.7083
14.82/14.99	c bounds 1652 >= 0 @ 12.8778
14.92/15.00	c bounds 1643 >= 0 @ 12.8858
14.92/15.01	c bounds 1619 >= 0 @ 12.8928
15.03/15.19	c bounds 1597 >= 0 @ 13.0637
15.12/15.20	c bounds 1545 >= 0 @ 13.0721
15.22/15.39	c bounds 1531 >= 0 @ 13.2553
15.32/15.40	c bounds 1530 >= 0 @ 13.264
15.32/15.42	c bounds 1529 >= 0 @ 13.2754
15.32/15.42	c bounds 1521 >= 0 @ 13.2795
15.32/15.46	c bounds 1520 >= 0 @ 13.3125
15.42/15.52	c bounds 1516 >= 0 @ 13.3652
15.42/15.53	c bounds 1463 >= 0 @ 13.3715
15.52/15.69	c bounds 1280 >= 0 @ 13.5164
15.62/15.70	c bounds 1273 >= 0 @ 13.5225
15.62/15.73	c bounds 1263 >= 0 @ 13.5531
15.62/15.74	c bounds 1251 >= 0 @ 13.5599
15.62/15.77	c bounds 1240 >= 0 @ 13.5844
15.72/15.85	c bounds 1234 >= 0 @ 13.6531
15.72/15.86	c bounds 1202 >= 0 @ 13.6627
15.72/15.87	c bounds 1167 >= 0 @ 13.6684
15.81/15.94	c bounds 1166 >= 0 @ 13.7301
15.81/15.96	c bounds 1064 >= 0 @ 13.7491
15.93/16.04	c bounds 1061 >= 0 @ 13.8205
15.93/16.05	c bounds 1058 >= 0 @ 13.829
16.11/16.22	c bounds 954 >= 0 @ 13.9773
16.11/16.22	c bounds 948 >= 0 @ 13.9865
16.11/16.24	c bounds 933 >= 0 @ 13.9958
16.11/16.25	c bounds 920 >= 0 @ 14.0002
16.11/16.26	c bounds 911 >= 0 @ 14.01
16.11/16.27	c bounds 908 >= 0 @ 14.0204
16.21/16.39	c bounds 882 >= 0 @ 14.132
16.32/16.40	c bounds 877 >= 0 @ 14.1391
16.32/16.42	c bounds 865 >= 0 @ 14.1508
16.52/16.64	c bounds 846 >= 0 @ 14.366
16.52/16.65	c bounds 842 >= 0 @ 14.3764
16.52/16.66	c bounds 841 >= 0 @ 14.3836
18.51/18.67	c #Conflicts:       1000 | #Constraints:     658045
18.51/18.67	c bounds 833 >= 0 @ 16.345
18.91/19.00	c bounds 725 >= 0 @ 16.6586
18.91/19.02	c bounds 677 >= 0 @ 16.6715
19.31/19.48	c bounds 649 >= 0 @ 17.1072
19.71/19.87	c bounds 566 >= 0 @ 17.4897
19.80/19.97	c bounds 565 >= 0 @ 17.5729
19.80/19.98	c bounds 565 >= 8 @ 17.5824
28.18/28.35	c #Conflicts:       2000 | #Constraints:     659063
28.18/28.35	c INPROCESSING
28.18/28.35	c GARBAGE COLLECT
28.18/28.35	c #Conflicts:       3000 | #Constraints:     658923
28.18/28.35	c #Conflicts:       4000 | #Constraints:     659923
28.18/28.35	c INPROCESSING
28.18/28.35	c GARBAGE COLLECT
28.18/28.35	c bounds 563 >= 8 @ 25.8306
28.18/28.36	c bounds 562 >= 8 @ 25.8388
28.58/28.76	c bounds 558 >= 8 @ 26.2317
28.58/28.78	c bounds 553 >= 8 @ 26.245
28.68/28.84	c bounds 545 >= 8 @ 26.2939
28.68/28.85	c bounds 537 >= 8 @ 26.3022
28.68/28.86	c bounds 534 >= 8 @ 26.3094
28.68/28.87	c bounds 529 >= 8 @ 26.324
28.89/29.03	c bounds 526 >= 8 @ 26.473
29.38/29.56	c bounds 522 >= 8 @ 26.9884
29.38/29.57	c bounds 521 >= 8 @ 26.996
29.48/29.60	c bounds 520 >= 8 @ 27.0251
30.68/30.86	c bounds 518 >= 8 @ 28.2516
40.96/41.18	c #Conflicts:       5000 | #Constraints:     659344
40.96/41.18	c #Conflicts:       6000 | #Constraints:     660344
40.96/41.18	c INPROCESSING
40.96/41.18	c GARBAGE COLLECT
40.96/41.18	c rational objective 187.25
48.03/48.29	c #Conflicts:       7000 | #Constraints:     659338
48.03/48.29	c bounds 515 >= 8 @ 45.4777
70.27/70.55	c #Conflicts:       8000 | #Constraints:     660340
70.27/70.55	c #Conflicts:       9000 | #Constraints:     661340
70.27/70.55	c INPROCESSING
70.27/70.55	c GARBAGE COLLECT
70.27/70.55	c #Conflicts:      10000 | #Constraints:     660033
70.27/70.55	c #Conflicts:      11000 | #Constraints:     661033
70.27/70.55	c #Conflicts:      12000 | #Constraints:     662033
70.27/70.55	c INPROCESSING
70.27/70.55	c GARBAGE COLLECT
70.27/70.55	c rational objective 187.5
87.72/88.05	c #Conflicts:      13000 | #Constraints:     660493
87.72/88.05	c #Conflicts:      14000 | #Constraints:     661493
87.72/88.05	c #Conflicts:      15000 | #Constraints:     662493
87.72/88.05	c INPROCESSING
87.72/88.05	c GARBAGE COLLECT
87.72/88.05	c rational objective 188.375
107.97/108.39	c #Conflicts:      16000 | #Constraints:     660721
107.97/108.39	c #Conflicts:      17000 | #Constraints:     661721
107.97/108.39	c #Conflicts:      18000 | #Constraints:     662721
107.97/108.39	c INPROCESSING
107.97/108.39	c GARBAGE COLLECT
107.97/108.39	c rational objective 188.403
129.61/130.09	c #Conflicts:      19000 | #Constraints:     660746
129.61/130.09	c #Conflicts:      20000 | #Constraints:     661756
129.61/130.09	c #Conflicts:      21000 | #Constraints:     662761
129.61/130.09	c INPROCESSING
129.61/130.09	c GARBAGE COLLECT
129.61/130.09	c rational objective 188.403
148.96/149.43	c #Conflicts:      22000 | #Constraints:     660570
148.96/149.43	c #Conflicts:      23000 | #Constraints:     661575
148.96/149.43	c #Conflicts:      24000 | #Constraints:     662581
148.96/149.43	c #Conflicts:      25000 | #Constraints:     663588
148.96/149.43	c INPROCESSING
148.96/149.43	c GARBAGE COLLECT
148.96/149.43	c rational objective 188.794
182.86/183.46	c #Conflicts:      26000 | #Constraints:     661178
182.86/183.46	c #Conflicts:      27000 | #Constraints:     662182
182.86/183.46	c #Conflicts:      28000 | #Constraints:     663188
182.86/183.46	c #Conflicts:      29000 | #Constraints:     664196
182.86/183.46	c INPROCESSING
182.86/183.46	c GARBAGE COLLECT
182.86/183.46	c rational objective 188.83
191.24/191.85	c bounds 509 >= 8 @ 187.564
191.24/191.87	c bounds 509 >= 13 @ 187.576
197.72/198.32	c #Conflicts:      30000 | #Constraints:     661597
197.72/198.32	c bounds 509 >= 18 @ 193.978
220.76/221.46	c #Conflicts:      31000 | #Constraints:     662607
220.76/221.46	c #Conflicts:      32000 | #Constraints:     663613
220.76/221.46	c #Conflicts:      33000 | #Constraints:     664616
220.76/221.46	c INPROCESSING
220.76/221.46	c GARBAGE COLLECT
220.76/221.46	c bounds 508 >= 18 @ 216.782
220.76/221.48	c bounds 508 >= 22 @ 216.793
238.70/239.42	c #Conflicts:      34000 | #Constraints:     661803
238.70/239.42	c #Conflicts:      35000 | #Constraints:     662803
238.70/239.42	c #Conflicts:      36000 | #Constraints:     663803
238.70/239.42	c #Conflicts:      37000 | #Constraints:     664803
238.70/239.42	c INPROCESSING
238.70/239.42	c GARBAGE COLLECT
238.70/239.42	c rational objective 188.5
244.69/245.40	c bounds 491 >= 22 @ 240.545
264.73/265.50	c #Conflicts:      38000 | #Constraints:     661783
264.73/265.50	c #Conflicts:      39000 | #Constraints:     662783
264.73/265.50	c #Conflicts:      40000 | #Constraints:     663783
264.73/265.50	c #Conflicts:      41000 | #Constraints:     664783
264.73/265.50	c INPROCESSING
264.73/265.50	c GARBAGE COLLECT
264.73/265.50	c rational objective 189
291.17/292.01	c #Conflicts:      42000 | #Constraints:     661570
291.17/292.01	c #Conflicts:      43000 | #Constraints:     662606
291.17/292.01	c #Conflicts:      44000 | #Constraints:     663738
291.17/292.01	c #Conflicts:      45000 | #Constraints:     664763
291.17/292.01	c #Conflicts:      46000 | #Constraints:     665786
291.17/292.01	c INPROCESSING
291.17/292.01	c GARBAGE COLLECT
291.17/292.01	c bounds 490 >= 22 @ 286.82
291.17/292.03	c bounds 485 >= 22 @ 286.836
291.17/292.06	c bounds 477 >= 22 @ 286.862
291.17/292.07	c bounds 475 >= 22 @ 286.879
291.27/292.18	c bounds 469 >= 22 @ 286.98
291.37/292.23	c bounds 468 >= 22 @ 287.016
291.37/292.24	c bounds 465 >= 22 @ 287.03
291.37/292.28	c bounds 462 >= 22 @ 287.067
291.46/292.35	c bounds 459 >= 22 @ 287.123
291.56/292.43	c bounds 457 >= 22 @ 287.201
291.56/292.44	c bounds 450 >= 22 @ 287.209
291.56/292.46	c bounds 442 >= 22 @ 287.223
291.96/292.88	c bounds 436 >= 22 @ 287.637
292.27/293.12	c bounds 435 >= 22 @ 287.873
292.76/293.63	c bounds 434 >= 22 @ 288.362
293.85/294.79	c bounds 431 >= 22 @ 289.505
293.95/294.81	c bounds 431 >= 24 @ 289.514
293.95/294.82	c bounds 431 >= 26 @ 289.52
293.95/294.83	c bounds 431 >= 28 @ 289.526
293.95/294.85	c bounds 431 >= 30 @ 289.541
293.95/294.87	c bounds 431 >= 32 @ 289.548
293.95/294.88	c bounds 431 >= 34 @ 289.558
294.05/294.90	c bounds 431 >= 36 @ 289.576
294.65/295.57	c bounds 431 >= 38 @ 290.23
296.54/297.47	c #Conflicts:      47000 | #Constraints:     662339
296.54/297.47	c bounds 431 >= 40 @ 292.065
296.94/297.84	c bounds 429 >= 40 @ 292.433
300.34/301.27	c bounds 426 >= 40 @ 295.795
347.40/348.44	c #Conflicts:      48000 | #Constraints:     663360
347.40/348.44	c #Conflicts:      49000 | #Constraints:     664361
347.40/348.44	c #Conflicts:      50000 | #Constraints:     665363
347.40/348.44	c #Conflicts:      51000 | #Constraints:     666368
347.40/348.44	c INPROCESSING
347.40/348.44	c GARBAGE COLLECT
347.40/348.44	c rational objective 189
352.99/354.05	c bounds 425 >= 40 @ 348.043
372.04/373.17	c #Conflicts:      52000 | #Constraints:     662684
372.04/373.17	c bounds 424 >= 40 @ 366.817
372.04/373.19	c bounds 424 >= 41 @ 366.828
372.14/373.21	c bounds 424 >= 42 @ 366.84
372.14/373.24	c bounds 424 >= 43 @ 366.861
372.14/373.26	c bounds 424 >= 44 @ 366.875
372.14/373.28	c bounds 424 >= 45 @ 366.893
372.24/373.31	c bounds 424 >= 46 @ 366.912
372.24/373.33	c bounds 424 >= 47 @ 366.927
372.24/373.35	c bounds 424 >= 48 @ 366.941
372.24/373.37	c bounds 424 >= 49 @ 366.956
372.24/373.39	c bounds 424 >= 50 @ 366.976
372.34/373.42	c bounds 424 >= 51 @ 366.995
372.34/373.44	c bounds 424 >= 52 @ 367.016
372.34/373.47	c bounds 424 >= 53 @ 367.034
372.44/373.50	c bounds 424 >= 54 @ 367.055
372.44/373.53	c bounds 424 >= 55 @ 367.076
372.44/373.56	c bounds 424 >= 56 @ 367.103
372.44/373.58	c bounds 424 >= 57 @ 367.12
372.54/373.61	c bounds 424 >= 58 @ 367.136
372.54/373.64	c #Conflicts:      53000 | #Constraints:     663786
372.54/373.64	c bounds 424 >= 59 @ 367.163
372.54/373.68	c bounds 424 >= 60 @ 367.19
372.64/373.72	c bounds 424 >= 61 @ 367.221
372.64/373.75	c bounds 424 >= 62 @ 367.245
375.23/376.34	c bounds 424 >= 63 @ 369.813
375.23/376.38	c bounds 424 >= 64 @ 369.846
375.43/376.54	c bounds 424 >= 65 @ 369.989
375.53/376.70	c bounds 424 >= 66 @ 370.134
375.73/376.89	c bounds 424 >= 67 @ 370.319
376.22/377.31	c bounds 424 >= 68 @ 370.708
376.63/377.79	c bounds 424 >= 69 @ 371.172
376.93/378.07	c bounds 424 >= 70 @ 371.444
377.62/378.70	c bounds 424 >= 71 @ 372.055
378.42/379.52	c #Conflicts:      54000 | #Constraints:     664997
378.42/379.52	c bounds 424 >= 72 @ 372.852
378.82/379.99	c bounds 424 >= 73 @ 373.289
379.72/380.83	c bounds 424 >= 74 @ 374.095
384.71/385.82	c bounds 424 >= 75 @ 379.011
385.70/386.85	c #Conflicts:      55000 | #Constraints:     666105
385.70/386.85	c bounds 424 >= 76 @ 380.016
386.90/388.02	c bounds 424 >= 77 @ 381.157
388.49/389.68	c bounds 424 >= 78 @ 382.782
453.91/455.21	c #Conflicts:      56000 | #Constraints:     667171
453.91/455.21	c INPROCESSING
453.91/455.21	c GARBAGE COLLECT
453.91/455.21	c #Conflicts:      57000 | #Constraints:     663187
453.91/455.21	c bounds 424 >= 79 @ 447.954
455.31/456.66	c bounds 424 >= 80 @ 449.346
457.70/459.04	c #Conflicts:      58000 | #Constraints:     664250
457.70/459.04	c bounds 424 >= 81 @ 451.655
461.89/463.20	c #Conflicts:      59000 | #Constraints:     665283
461.89/463.20	c bounds 424 >= 82 @ 455.713
472.16/473.55	c #Conflicts:      60000 | #Constraints:     666307
472.16/473.55	c #Conflicts:      61000 | #Constraints:     667307
472.16/473.55	c bounds 424 >= 83 @ 465.927
488.02/489.44	c INPROCESSING
488.02/489.44	c GARBAGE COLLECT
488.02/489.44	c #Conflicts:      62000 | #Constraints:     663231
488.02/489.44	c #Conflicts:      63000 | #Constraints:     664231
488.02/489.44	c bounds 424 >= 84 @ 481.626
510.46/511.91	c #Conflicts:      64000 | #Constraints:     665282
510.46/511.91	c #Conflicts:      65000 | #Constraints:     666282
510.46/511.91	c bounds 424 >= 85 @ 503.788
617.55/619.35	c #Conflicts:      66000 | #Constraints:     667321
617.55/619.35	c INPROCESSING
617.55/619.35	c GARBAGE COLLECT
617.55/619.35	c #Conflicts:      67000 | #Constraints:     663037
617.55/619.35	c bounds 424 >= 86 @ 610.629
622.64/624.47	c #Conflicts:      68000 | #Constraints:     664070
622.64/624.47	c bounds 424 >= 87 @ 615.615
639.20/641.07	c #Conflicts:      69000 | #Constraints:     665106
639.20/641.07	c bounds 424 >= 88 @ 632.011
674.21/676.15	c #Conflicts:      70000 | #Constraints:     666133
674.21/676.15	c #Conflicts:      71000 | #Constraints:     667133
674.21/676.15	c #Conflicts:      72000 | #Constraints:     668133
674.21/676.15	c INPROCESSING
674.21/676.15	c GARBAGE COLLECT
674.21/676.15	c #Conflicts:      73000 | #Constraints:     663669
674.21/676.15	c #Conflicts:      74000 | #Constraints:     664669
674.21/676.15	c #Conflicts:      75000 | #Constraints:     665669
674.21/676.15	c bounds 424 >= 89 @ 666.435
696.15/698.10	c #Conflicts:      76000 | #Constraints:     666729
696.15/698.10	c #Conflicts:      77000 | #Constraints:     667729
696.15/698.10	c #Conflicts:      78000 | #Constraints:     668729
696.15/698.10	c INPROCESSING
696.15/698.10	c GARBAGE COLLECT
696.15/698.10	c rational objective 189.232
730.15/732.29	c #Conflicts:      79000 | #Constraints:     664088
730.15/732.29	c #Conflicts:      80000 | #Constraints:     665088
730.15/732.29	c #Conflicts:      81000 | #Constraints:     666088
730.15/732.29	c #Conflicts:      82000 | #Constraints:     667089
730.15/732.29	c #Conflicts:      83000 | #Constraints:     668089
730.15/732.29	c bounds 424 >= 90 @ 721.685
854.00/856.47	c #Conflicts:      84000 | #Constraints:     669134
854.00/856.47	c INPROCESSING
854.00/856.47	c GARBAGE COLLECT
854.00/856.47	c rational objective 189.327
900.27/902.83	c #Conflicts:      85000 | #Constraints:     664295
900.27/902.83	c #Conflicts:      86000 | #Constraints:     665295
900.27/902.83	c #Conflicts:      87000 | #Constraints:     666295
900.27/902.83	c #Conflicts:      88000 | #Constraints:     667295
900.27/902.83	c #Conflicts:      89000 | #Constraints:     668295
900.27/902.83	c bounds 424 >= 91 @ 891.089
900.87/903.45	c bounds 423 >= 91 @ 891.685
1408.33/1412.32	c #Conflicts:      90000 | #Constraints:     669344
1408.33/1412.32	c INPROCESSING
1408.33/1412.32	c GARBAGE COLLECT
1408.33/1412.32	c #Conflicts:      91000 | #Constraints:     664401
1408.33/1412.32	c #Conflicts:      92000 | #Constraints:     665882
1408.33/1412.32	c #Conflicts:      93000 | #Constraints:     667428
1408.33/1412.32	c #Conflicts:      94000 | #Constraints:     668981
1408.33/1412.32	c #Conflicts:      95000 | #Constraints:     670533
1408.33/1412.32	c #Conflicts:      96000 | #Constraints:     672060
1408.33/1412.32	c INPROCESSING
1408.33/1412.32	c GARBAGE COLLECT
1408.33/1412.32	c #Conflicts:      97000 | #Constraints:     665679
1408.33/1412.32	c #Conflicts:      98000 | #Constraints:     666679
1408.33/1412.32	c #Conflicts:      99000 | #Constraints:     667679
1408.33/1412.32	c #Conflicts:     100000 | #Constraints:     668679
1408.33/1412.32	c #Conflicts:     101000 | #Constraints:     669679
1408.33/1412.32	c #Conflicts:     102000 | #Constraints:     670679
1408.33/1412.32	c #Conflicts:     103000 | #Constraints:     671679
1408.33/1412.32	c INPROCESSING
1408.33/1412.32	c GARBAGE COLLECT
1408.33/1412.32	c #Conflicts:     104000 | #Constraints:     665487
1408.33/1412.32	c #Conflicts:     105000 | #Constraints:     666487
1408.33/1412.32	c #Conflicts:     106000 | #Constraints:     667487
1408.33/1412.32	c #Conflicts:     107000 | #Constraints:     668490
1408.33/1412.32	c #Conflicts:     108000 | #Constraints:     669492
1408.33/1412.32	c #Conflicts:     109000 | #Constraints:     670492
1408.33/1412.32	c #Conflicts:     110000 | #Constraints:     671492
1408.33/1412.32	c INPROCESSING
1408.33/1412.32	c GARBAGE COLLECT
1408.33/1412.32	c rational objective 189.85
1467.15/1471.34	c #Conflicts:     111000 | #Constraints:     665502
1467.15/1471.34	c #Conflicts:     112000 | #Constraints:     666502
1467.15/1471.34	c #Conflicts:     113000 | #Constraints:     667503
1467.15/1471.34	c #Conflicts:     114000 | #Constraints:     668503
1467.15/1471.34	c #Conflicts:     115000 | #Constraints:     669503
1467.15/1471.34	c #Conflicts:     116000 | #Constraints:     670504
1467.15/1471.34	c bounds 423 >= 92 @ 1454.09
1595.06/1599.62	c #Conflicts:     117000 | #Constraints:     671549
1595.06/1599.62	c INPROCESSING
1595.06/1599.62	c GARBAGE COLLECT
1595.06/1599.62	c rational objective 190.206
1655.94/1660.71	c #Conflicts:     118000 | #Constraints:     665536
1655.94/1660.71	c #Conflicts:     119000 | #Constraints:     666536
1655.94/1660.71	c #Conflicts:     120000 | #Constraints:     667536
1655.94/1660.71	c #Conflicts:     121000 | #Constraints:     668536
1655.94/1660.71	c #Conflicts:     122000 | #Constraints:     669536
1655.94/1660.71	c bounds 423 >= 93 @ 1641.94
1675.48/1680.30	c #Conflicts:     123000 | #Constraints:     670584
1675.48/1680.30	c #Conflicts:     124000 | #Constraints:     671584
1675.48/1680.30	c INPROCESSING
1675.48/1680.30	c GARBAGE COLLECT
1675.48/1680.30	c rational objective 190.63
1741.45/1746.59	c #Conflicts:     125000 | #Constraints:     665466
1741.45/1746.59	c #Conflicts:     126000 | #Constraints:     666466
1741.45/1746.59	c #Conflicts:     127000 | #Constraints:     667466
1741.45/1746.59	c #Conflicts:     128000 | #Constraints:     668466
1741.45/1746.59	c #Conflicts:     129000 | #Constraints:     669466
1741.45/1746.59	c #Conflicts:     130000 | #Constraints:     670466
1741.45/1746.59	c #Conflicts:     131000 | #Constraints:     671466
1741.45/1746.59	c INPROCESSING
1741.45/1746.59	c GARBAGE COLLECT
1741.45/1746.59	c rational objective 190.843
1813.91/1819.21	c #Conflicts:     132000 | #Constraints:     665203
1813.91/1819.21	c #Conflicts:     133000 | #Constraints:     666203
1813.91/1819.21	c #Conflicts:     134000 | #Constraints:     667203
1813.91/1819.21	c #Conflicts:     135000 | #Constraints:     668204
1813.91/1819.21	c #Conflicts:     136000 | #Constraints:     669204
1813.91/1819.21	c #Conflicts:     137000 | #Constraints:     670204
1813.91/1819.21	c #Conflicts:     138000 | #Constraints:     671204
1813.91/1819.21	c bounds 423 >= 94 @ 1797.58
2117.01/2123.39	c #Conflicts:     139000 | #Constraints:     672267
2117.01/2123.39	c INPROCESSING
2117.01/2123.39	c GARBAGE COLLECT
2117.01/2123.39	c rational objective 190.891
2234.72/2241.48	c #Conflicts:     140000 | #Constraints:     665818
2234.72/2241.48	c #Conflicts:     141000 | #Constraints:     666819
2234.72/2241.48	c #Conflicts:     142000 | #Constraints:     667820
2234.72/2241.48	c #Conflicts:     143000 | #Constraints:     668820
2234.72/2241.48	c #Conflicts:     144000 | #Constraints:     669820
2234.72/2241.48	c #Conflicts:     145000 | #Constraints:     670820
2234.72/2241.48	c #Conflicts:     146000 | #Constraints:     671820
2234.72/2241.48	c #Conflicts:     147000 | #Constraints:     672820
2234.72/2241.48	c INPROCESSING
2234.72/2241.48	c GARBAGE COLLECT
2234.72/2241.48	c #Conflicts:     148000 | #Constraints:     666207
2234.72/2241.48	c #Conflicts:     149000 | #Constraints:     667207
2234.72/2241.48	c #Conflicts:     150000 | #Constraints:     668207
2234.72/2241.48	c #Conflicts:     151000 | #Constraints:     669207
2234.72/2241.48	c #Conflicts:     152000 | #Constraints:     670207
2234.72/2241.48	c bounds 423 >= 95 @ 2216.47
2492.75/2500.30	c #Conflicts:     153000 | #Constraints:     671261
2492.75/2500.30	c #Conflicts:     154000 | #Constraints:     672261
2492.75/2500.30	c #Conflicts:     155000 | #Constraints:     673261
2492.75/2500.30	c INPROCESSING
2492.75/2500.30	c GARBAGE COLLECT
2492.75/2500.30	c rational objective 190.891
2657.78/2665.96	c #Conflicts:     156000 | #Constraints:     666447
2657.78/2665.96	c #Conflicts:     157000 | #Constraints:     667447
2657.78/2665.96	c #Conflicts:     158000 | #Constraints:     668447
2657.78/2665.96	c #Conflicts:     159000 | #Constraints:     669448
2657.78/2665.96	c #Conflicts:     160000 | #Constraints:     670448
2657.78/2665.96	c #Conflicts:     161000 | #Constraints:     671448
2657.78/2665.96	c #Conflicts:     162000 | #Constraints:     672448
2657.78/2665.96	c #Conflicts:     163000 | #Constraints:     673448
2657.78/2665.96	c INPROCESSING
2657.78/2665.96	c GARBAGE COLLECT
2657.78/2665.96	c #Conflicts:     164000 | #Constraints:     666411
2657.78/2665.96	c #Conflicts:     165000 | #Constraints:     667412
2657.78/2665.96	c #Conflicts:     166000 | #Constraints:     668412
2657.78/2665.96	c #Conflicts:     167000 | #Constraints:     669412
2657.78/2665.96	c #Conflicts:     168000 | #Constraints:     670412
2657.78/2665.96	c #Conflicts:     169000 | #Constraints:     671414
2657.78/2665.96	c #Conflicts:     170000 | #Constraints:     672414
2657.78/2665.96	c #Conflicts:     171000 | #Constraints:     673415
2657.78/2665.96	c INPROCESSING
2657.78/2665.96	c GARBAGE COLLECT
2657.78/2665.96	c rational objective 190.891
3085.12/3094.71	c #Conflicts:     172000 | #Constraints:     666191
3085.12/3094.71	c #Conflicts:     173000 | #Constraints:     667192
3085.12/3094.71	c #Conflicts:     174000 | #Constraints:     668192
3085.12/3094.71	c #Conflicts:     175000 | #Constraints:     669192
3085.12/3094.71	c #Conflicts:     176000 | #Constraints:     670192
3085.12/3094.71	c #Conflicts:     177000 | #Constraints:     671193
3085.12/3094.71	c #Conflicts:     178000 | #Constraints:     672193
3085.12/3094.71	c #Conflicts:     179000 | #Constraints:     673193
3085.12/3094.71	c #Conflicts:     180000 | #Constraints:     674193
3085.12/3094.71	c INPROCESSING
3085.12/3094.71	c GARBAGE COLLECT
3085.12/3094.71	c #Conflicts:     181000 | #Constraints:     666800
3085.12/3094.71	c #Conflicts:     182000 | #Constraints:     667800
3085.12/3094.71	c #Conflicts:     183000 | #Constraints:     668800
3085.12/3094.71	c #Conflicts:     184000 | #Constraints:     669800
3085.12/3094.71	c #Conflicts:     185000 | #Constraints:     670800
3085.12/3094.71	c #Conflicts:     186000 | #Constraints:     671800
3085.12/3094.71	c #Conflicts:     187000 | #Constraints:     672800
3085.12/3094.71	c #Conflicts:     188000 | #Constraints:     673800
3085.12/3094.71	c #Conflicts:     189000 | #Constraints:     674800
3085.12/3094.71	c INPROCESSING
3085.12/3094.71	c GARBAGE COLLECT
3085.12/3094.71	c rational objective 190.891
3187.07/3197.04	c #Conflicts:     190000 | #Constraints:     667218
3187.07/3197.04	c #Conflicts:     191000 | #Constraints:     668219
3187.07/3197.04	c #Conflicts:     192000 | #Constraints:     669219
3187.07/3197.04	c #Conflicts:     193000 | #Constraints:     670220
3187.07/3197.04	c #Conflicts:     194000 | #Constraints:     671220
3187.07/3197.04	c #Conflicts:     195000 | #Constraints:     672220
3187.07/3197.04	c #Conflicts:     196000 | #Constraints:     673223
3187.07/3197.04	c #Conflicts:     197000 | #Constraints:     674225
3187.07/3197.04	c #Conflicts:     198000 | #Constraints:     675225
3187.07/3197.04	c INPROCESSING
3187.07/3197.04	c GARBAGE COLLECT
3187.07/3197.04	c rational objective 190.891
3405.02/3415.72	c #Conflicts:     199000 | #Constraints:     667414
3405.02/3415.72	c #Conflicts:     200000 | #Constraints:     668414
3405.02/3415.72	c #Conflicts:     201000 | #Constraints:     669414
3405.02/3415.72	c #Conflicts:     202000 | #Constraints:     670414
3405.02/3415.72	c #Conflicts:     203000 | #Constraints:     671414
3405.02/3415.72	c #Conflicts:     204000 | #Constraints:     672414
3405.02/3415.72	c #Conflicts:     205000 | #Constraints:     673414
3405.02/3415.72	c #Conflicts:     206000 | #Constraints:     674414
3405.02/3415.72	c #Conflicts:     207000 | #Constraints:     675414
3405.02/3415.72	c INPROCESSING
3405.02/3415.72	c GARBAGE COLLECT
3405.02/3415.72	c rational objective 190.891
3577.51/3588.88	c #Conflicts:     208000 | #Constraints:     667419
3577.51/3588.88	c #Conflicts:     209000 | #Constraints:     668437
3577.51/3588.88	c #Conflicts:     210000 | #Constraints:     669437
3577.51/3588.88	c #Conflicts:     211000 | #Constraints:     670438
3577.51/3588.88	c #Conflicts:     212000 | #Constraints:     671438
3577.51/3588.88	c #Conflicts:     213000 | #Constraints:     672438
3577.51/3588.88	c #Conflicts:     214000 | #Constraints:     673438
3577.51/3588.88	c #Conflicts:     215000 | #Constraints:     674438
3577.51/3588.88	c #Conflicts:     216000 | #Constraints:     675439
3577.51/3588.88	c INPROCESSING
3577.51/3588.88	c GARBAGE COLLECT
3577.51/3588.88	c rational objective 190.897
3600.04/3611.43	c #Conflicts:     217000 | #Constraints:     667233
3600.04/3611.43	c #Conflicts:     218000 | #Constraints:     668233
3600.04/3611.43	c cpu time 3572.45 s
3600.04/3611.43	c deterministic time 47825368413 4.78e+10
3600.04/3611.43	c optimization time 18.9889 s
3600.04/3611.43	c total solve time 3550.49 s
3600.04/3611.43	c core-guided solve time 3152.14 s
3600.04/3611.43	c propagation time 1105.78 s
3600.04/3611.43	c conflict analysis time 621.081 s
3600.04/3611.43	c propagations 76545029
3600.04/3611.43	c resolve steps 3372474
3600.04/3611.43	c decisions 9049430
3600.04/3611.43	c conflicts 218639
3600.04/3611.43	c restarts 510
3600.04/3611.43	c inprocessing phases 38
3600.04/3611.43	c garbage collections 38 ,( 100.00 )
3600.04/3611.43	c input clauses 657246 ,( 99.84 )
3600.04/3611.43	c input cardinalities 415 ,( 0.06 )
3600.04/3611.43	c input general constraints 659 ,( 0.10 )
3600.04/3611.43	c input average constraint length 6.90
3600.04/3611.43	c input average constraint degree 134.85
3600.04/3611.43	c learned clauses 164887 ,( 74.23 )
3600.04/3611.43	c learned cardinalities 20 ,( 0.01 )
3600.04/3611.43	c learned general constraints 57225 ,( 25.76 )
3600.04/3611.43	c learned average constraint length 1539.85
3600.04/3611.43	c learned average constraint degree 18145069201.62
3600.04/3611.43	c watched  CF 32, 64, 128, Arb: 1977 , 0 , 0 , 0
3600.04/3611.43	c counting CF 32, 64, 128, Arb: 55908 , 0 , 0 , 0
3600.04/3611.43	c watched   constraints 1977 ,( 3.42 ) 
3600.04/3611.43	c counting  constraints 55907 ,( 96.58 ) 
3600.04/3611.43	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 43361485 , 2305960 , 574475845 ,( 7261850 , 567213995 )
3600.04/3611.43	c gcd simplifications 7788
3600.04/3611.43	c detected cardinalities 4
3600.04/3611.43	c weakened non-implied lits 754160546
3600.04/3611.43	c weakened non-implying lits 129978
3600.04/3611.43	c original variables 10000
3600.04/3611.43	c clausal propagations 12291296
3600.04/3611.43	c cardinality propagations 368107
3600.04/3611.43	c watched propagations 57313
3600.04/3611.43	c counting propagations 60642461
3600.04/3611.43	c watch lookups 2573311256
3600.04/3611.43	c watch backjump lookups 0
3600.04/3611.43	c watch checks 2110630494
3600.04/3611.43	c propagation checks 39778748757
3600.04/3611.43	c constraint additions 3190834769
3600.04/3611.43	c trail pops 85803293
3600.04/3611.43	c formula constraints 656900
3600.04/3611.43	c learned constraints 218586
3600.04/3611.43	c bound constraints 246
3600.04/3611.43	c core-guided constraints 1174
3600.04/3611.43	c encountered formula constraints 1214950
3600.04/3611.43	c encountered learned constraints 1427545
3600.04/3611.43	c encountered bound constraints 3263
3600.04/3611.43	c encountered core-guided constraints 941604
3600.04/3611.43	c LP total time 2547.18 s
3600.04/3611.43	c LP solve time 2365.29 s
3600.04/3611.43	c LP constraints added 656939
3600.04/3611.43	c LP constraints removed 18
3600.04/3611.43	c LP pivots internal 221486
3600.04/3611.43	c LP pivots root 223898
3600.04/3611.43	c LP calls 3638
3600.04/3611.43	c LP optimalities 129
3600.04/3611.43	c LP no pivot count 5
3600.04/3611.43	c LP infeasibilities 3471
3600.04/3611.43	c LP valid Farkas constraints 3469
3600.04/3611.43	c LP learned Farkas constraints 58
3600.04/3611.43	c LP basis resets 35
3600.04/3611.43	c LP cycling count 10
3600.04/3611.43	c LP singular count 13
3600.04/3611.43	c LP no primal count 0
3600.04/3611.43	c LP no farkas count 2
3600.04/3611.43	c LP other issue count 10
3600.04/3611.43	c LP Gomory cuts 19
3600.04/3611.43	c LP learned cuts 20
3600.04/3611.43	c LP deleted cuts 18
3600.04/3611.43	c LP encountered Gomory constraints 569
3600.04/3611.43	c LP encountered Farkas constraints 3101
3600.04/3611.43	c LP encountered learned Farkas constraints 23
3600.04/3611.43	c CG auxiliary variables introduced 414
3600.04/3611.43	c CG solutions found 177
3600.04/3611.43	c CG cores constructed 68
3600.04/3611.43	c CG core cardinality constraints returned 0
3600.04/3611.43	c CG unit cores 0
3600.04/3611.43	c CG single cores 68
3600.04/3611.43	c CG blocks removed during cardinality reduction 0
3600.04/3611.43	c CG first core best 0
3600.04/3611.43	c CG decision core best 0
3600.04/3611.43	c CG core reduction tie 0
3600.04/3611.43	c CG core degree average 1.00
3600.04/3611.43	c CG core slack average 732.90
3600.04/3611.43	c CG core upper bound improvements 30
3600.04/3611.43	c STR number of successful calls 0
3600.04/3611.43	c STR number of unsuccessful calls 0
3600.04/3611.43	c STR number of inconclusive calls 0
3600.04/3611.43	c STR number of successful attempts 0
3600.04/3611.43	c STR number of unsuccessful attempts 0
3600.04/3611.43	c STR number of inconclusive attempts 0
3600.04/3611.43	c STR average degree increase per successful call inf
3600.04/3611.43	c STR average degree increase per successful attempt inf
3600.04/3611.43	c STR total number of conflicts for successful attempts 0
3600.04/3611.43	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3611.43	c STR total number of conflicts for inconclusive attempts 0
3600.04/3611.43	c STR average number of conflicts per successful attempt inf
3600.04/3611.43	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3611.43	c STR average number of conflicts per inconclusive attempt inf
3600.04/3611.43	c AVG.sumWPerc 92.01 
3600.04/3611.43	c bigint constraints 0 
3600.04/3611.43	o 423
3600.04/3611.43	s SATISFIABLE
3600.04/3611.43	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 x6597 -x6598 -x6599 -x6600 x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 x8543 -x8544 -x8545 -x8546 -x8547 x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000
3600.04/3611.43	c Program interrupted by user.

Verifier Data 

OK	423

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: 63665 MiB (48693 MiB free)
  memory of node 1: 64507 MiB (50570 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531818-1752683038/watcher-4531818-1752683038 -o /tmp/evaluation-result-4531818-1752683038/solver-4531818-1752683038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1752683038-147250 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531818-1752683038.opb /tmp/proof-4531818-1752683038 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100063 s]*
/proc/loadavg: 0.14 0.10 0.09 5/268 147313
/proc/meminfo: memFree=101209628/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147307] ppid=147301 vsize=165748 memory=150468 CPUtime=0.08 cores=4,6
/proc/147307/stat : 147307 (pbsuma) R 147301 147301 147232 0 -1 4194304 4671 0 0 0 5 3 0 0 20 0 1 0 183982714 169725952 37617 18446744073709551615 4210688 4653049 140731958971056 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 9469952 140731958974727 140731958975024 140731958975024 140731958980591 0
/proc/147307/statm: 41437 37617 960 108 0 38845 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 169940 KiB
Current children cumulated memory: 153412 KiB

[startup+0.205727 s]*
/proc/loadavg: 0.14 0.10 0.09 6/268 147313
/proc/meminfo: memFree=101151792/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147307] ppid=147301 vsize=181844 memory=167860 CPUtime=0.19 cores=4,6
/proc/147307/stat : 147307 (pbsuma) R 147301 147301 147232 0 -1 4194304 8941 0 0 0 15 4 0 0 20 0 1 0 183982714 186208256 41965 18446744073709551615 4210688 4653049 140731958971056 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 9469952 140731958974727 140731958975024 140731958975024 140731958980591 0
/proc/147307/statm: 45461 41965 960 108 0 42869 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 186036 KiB
Current children cumulated memory: 170804 KiB

[startup+0.305866 s]*
/proc/loadavg: 0.14 0.10 0.09 5/268 147313
/proc/meminfo: memFree=101087652/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147307] ppid=147301 vsize=195708 memory=184108 CPUtime=0.29 cores=4,6
/proc/147307/stat : 147307 (pbsuma) R 147301 147301 147232 0 -1 4194304 11975 0 0 0 24 5 0 0 20 0 1 0 183982714 200404992 46027 18446744073709551615 4210688 4653049 140731958971056 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 9469952 140731958974727 140731958975024 140731958975024 140731958980591 0
/proc/147307/statm: 48927 46027 960 108 0 46335 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 199900 KiB
Current children cumulated memory: 187052 KiB

[startup+0.700201 s]
/proc/loadavg: 0.14 0.10 0.09 5/268 147314
/proc/meminfo: memFree=100849568/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147307] ppid=147301 vsize=324500 memory=272568 CPUtime=0.68 cores=4,6
/proc/147307/stat : 147307 (pbsuma) R 147301 147301 147232 0 -1 4194304 21310 0 0 0 60 8 0 0 20 0 1 0 183982714 332288000 68142 18446744073709551615 4210688 4653049 140731958971056 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 9469952 140731958974727 140731958975024 140731958975024 140731958980591 0
/proc/147307/statm: 81125 68142 1024 108 0 78533 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 328692 KiB
Current children cumulated memory: 275512 KiB

[startup+1.50019 s]
/proc/loadavg: 0.44 0.16 0.11 5/268 147317
/proc/meminfo: memFree=101216060/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=105748 memory=60096 CPUtime=0.51 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 12714 0 0 0 41 10 0 0 20 0 1 0 183982810 108285952 15024 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 26437 15024 2016 1147 0 13863 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 109940 KiB
Current children cumulated memory: 63040 KiB

[startup+3.10541 s]
/proc/loadavg: 0.44 0.16 0.11 5/268 147317
/proc/meminfo: memFree=100796856/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=262792 memory=203020 CPUtime=2.12 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 44750 0 0 0 168 44 0 0 20 0 1 0 183982810 269099008 50755 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 65698 50755 2016 1147 0 53124 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 266984 KiB
Current children cumulated memory: 205964 KiB

[startup+6.3002 s]
/proc/loadavg: 0.73 0.22 0.13 5/269 147318
/proc/meminfo: memFree=98734072/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=1067540 memory=806928 CPUtime=5.3 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 87613 0 0 0 450 80 0 0 20 0 1 0 183982810 1093160960 201732 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 266885 201732 2336 1147 0 254311 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1071732 KiB
Current children cumulated memory: 809872 KiB

[startup+12.7002 s]
/proc/loadavg: 1.07 0.30 0.16 5/269 147318
/proc/meminfo: memFree=98558488/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=1233444 memory=915384 CPUtime=11.69 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 95815 0 0 0 1077 92 0 0 20 0 1 0 183982810 1263046656 228846 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 308361 228846 2400 1147 0 295787 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1237636 KiB
Current children cumulated memory: 918328 KiB

[startup+25.5002 s]
/proc/loadavg: 1.52 0.43 0.20 5/269 147319
/proc/meminfo: memFree=97774892/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=1350296 memory=1037652 CPUtime=24.45 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 105195 0 0 0 2300 145 0 0 20 0 1 0 183982810 1382703104 259413 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 337574 259413 2432 1147 0 325000 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1354488 KiB
Current children cumulated memory: 1040596 KiB

[startup+51.1055 s]
/proc/loadavg: 2.71 0.82 0.34 5/269 147319
/proc/meminfo: memFree=96182328/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=1435080 memory=1125304 CPUtime=49.98 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 117379 0 0 0 4822 176 0 0 20 0 1 0 183982810 1469521920 281326 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 358770 281326 2432 1147 0 346196 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1439272 KiB
Current children cumulated memory: 1128248 KiB

[startup+102.3 s]
/proc/loadavg: 3.79 1.42 0.57 5/271 147323
/proc/meminfo: memFree=94325560/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=1505700 memory=1177772 CPUtime=101.05 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 119394 0 0 0 9890 215 0 0 20 0 1 0 183982810 1541836800 294443 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 376425 294443 2432 1147 0 363851 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1509892 KiB
Current children cumulated memory: 1180716 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 1.95 0.81 5/272 147326
/proc/meminfo: memFree=92498188/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=1587760 memory=1266104 CPUtime=160.88 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 125906 0 0 0 15824 264 0 0 20 0 1 0 183982810 1625866240 316526 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 396940 316526 2432 1147 0 384366 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1591952 KiB
Current children cumulated memory: 1269048 KiB

[startup+222.3 s]
/proc/loadavg: 4.35 2.40 1.04 5/272 147328
/proc/meminfo: memFree=89410192/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=1610100 memory=1309028 CPUtime=220.71 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 133281 0 0 0 21760 311 0 0 20 0 1 0 183982810 1648742400 327257 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 402525 327257 2496 1147 0 389951 0
Current children cumulated CPU time: 221.65 s

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

[pid=147316] ppid=147301 vsize=3329272 memory=3000832 CPUtime=3091.75 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 381810 0 0 0 306898 2277 0 0 20 0 1 0 183982810 3409174528 750208 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 832318 750208 2528 1147 0 819744 0
Current children cumulated CPU time: 3092.69 s
Current children cumulated vsize: 3333464 KiB
Current children cumulated memory: 3003776 KiB

[startup+3162.3 s]
/proc/loadavg: 4.47 4.39 4.29 5/272 147501
/proc/meminfo: memFree=1327616/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=3329272 memory=3000832 CPUtime=3151.56 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 381818 0 0 0 312805 2351 0 0 20 0 1 0 183982810 3409174528 750208 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 832318 750208 2528 1147 0 819744 0
Current children cumulated CPU time: 3152.5 s
Current children cumulated vsize: 3333464 KiB
Current children cumulated memory: 3003776 KiB

[startup+3222.3 s]
/proc/loadavg: 4.44 4.40 4.29 5/272 147503
/proc/meminfo: memFree=1281124/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=3334088 memory=3005724 CPUtime=3211.33 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 383968 0 0 0 318725 2408 0 0 20 0 1 0 183982810 3414106112 751431 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 833522 751431 2528 1147 0 820948 0
Current children cumulated CPU time: 3212.27 s
Current children cumulated vsize: 3338280 KiB
Current children cumulated memory: 3008668 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.35 4.28 5/272 147505
/proc/meminfo: memFree=1415644/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=3334088 memory=3005724 CPUtime=3271.14 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 385044 0 0 0 324632 2482 0 0 20 0 1 0 183982810 3414106112 751431 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 833522 751431 2528 1147 0 820948 0
Current children cumulated CPU time: 3272.08 s
Current children cumulated vsize: 3338280 KiB
Current children cumulated memory: 3008668 KiB

[startup+3342.3 s]
/proc/loadavg: 4.39 4.38 4.29 5/270 147507
/proc/meminfo: memFree=1412052/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=3334088 memory=3005724 CPUtime=3330.92 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 386151 0 0 0 330591 2501 0 0 20 0 1 0 183982810 3414106112 751431 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 833522 751431 2528 1147 0 820948 0
Current children cumulated CPU time: 3331.86 s
Current children cumulated vsize: 3338280 KiB
Current children cumulated memory: 3008668 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.34 4.28 5/271 147510
/proc/meminfo: memFree=1211972/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=3334088 memory=3005724 CPUtime=3390.72 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 386221 0 0 0 336567 2505 0 0 20 0 1 0 183982810 3414106112 751431 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 833522 751431 2528 1147 0 820948 0
Current children cumulated CPU time: 3391.66 s
Current children cumulated vsize: 3338280 KiB
Current children cumulated memory: 3008668 KiB

[startup+3462.3 s]
/proc/loadavg: 4.50 4.39 4.30 5/271 147512
/proc/meminfo: memFree=1239808/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=3334088 memory=3005724 CPUtime=3450.52 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 386486 0 0 0 342507 2545 0 0 20 0 1 0 183982810 3414106112 751431 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 833522 751431 2528 1147 0 820948 0
Current children cumulated CPU time: 3451.46 s
Current children cumulated vsize: 3338280 KiB
Current children cumulated memory: 3008668 KiB

[startup+3522.3 s]
/proc/loadavg: 4.53 4.42 4.32 5/270 147514
/proc/meminfo: memFree=1343856/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=3334088 memory=3005724 CPUtime=3510.31 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 386794 0 0 0 348402 2629 0 0 20 0 1 0 183982810 3414106112 751431 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 833522 751431 2528 1147 0 820948 0
Current children cumulated CPU time: 3511.25 s
Current children cumulated vsize: 3338280 KiB
Current children cumulated memory: 3008668 KiB

[startup+3582.3 s]
/proc/loadavg: 4.51 4.42 4.32 5/270 147516
/proc/meminfo: memFree=1372824/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=3334088 memory=3005724 CPUtime=3570.1 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 386828 0 0 0 354374 2636 0 0 20 0 1 0 183982810 3414106112 751431 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 833522 751431 2528 1147 0 820948 0
Current children cumulated CPU time: 3571.04 s
Current children cumulated vsize: 3338280 KiB
Current children cumulated memory: 3008668 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 4.41 4.40 4.32 3/261 147540
/proc/meminfo: memFree=8777596/131249988 swapFree=33010160/33010684
[pid=147301] ppid=147296 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/147301/stat : 147301 (run-opt-ls-log.) S 147296 147301 147232 0 -1 4194304 235 27666 0 0 0 0 83 11 20 0 1 0 183982713 4292608 736 18446744073709551615 94115861598208 94115862492741 140723229204528 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94115862731792 94115862779536 94115893252096 140723229206847 140723229207007 140723229207007 140723229212611 0
/proc/147301/statm: 1048 736 672 219 0 110 0
[pid=147316] ppid=147301 vsize=3364500 memory=3036136 CPUtime=3599.1 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147301 147301 147232 0 -1 4194304 388467 0 0 0 357244 2666 0 0 20 0 1 0 183982810 3445248000 759034 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 841125 759034 2528 1147 0 828551 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3368692 KiB
Current children cumulated memory: 3039080 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.4 s]
# the end of solver process 147301 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.834809 s, system=0.116131 s

[startup+3611.56 s]
# the end of solver process 147316 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3573.36 s, system=26.836 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3611.5 s]*
/proc/loadavg: 4.41 4.40 4.32 3/260 147540
/proc/meminfo: memFree=9889520/131249988 swapFree=33010160/33010684
[pid=147316] ppid=147296 vsize=1903760 memory=1830192 CPUtime=3599.18 cores=4,6
/proc/147316/stat : 147316 (roundingsat) R 147296 147301 147232 0 -1 4194304 388477 0 2 0 357251 2667 0 0 20 0 1 0 183982810 1949450240 457548 18446744073709551615 4227072 8923577 140727123042672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 36990976 140727123044634 140727123044902 140727123044902 140727123050474 0
/proc/147316/statm: 475940 457548 2560 1147 0 463366 0
Current cumulated CPU time of completed processes: 0.95094 s
Current children cumulated CPU time: 3599.18 s
Current children cumulated vsize: 1903760 KiB
Current children cumulated memory: 1830192 KiB

Child status: 2

Real time (s): 3611.56
CPU time (s): 3600.19
CPU user time (s): 3573.36
CPU system time (s): 26.836
CPU usage (%): 99.6853
Max. virtual memory (cumulated for all children) (KiB): 3377404
Max. memory (cumulated for all children) (KiB): 3047720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.36
system time used= 26.836
maximum resident set size= 3075144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 416393
page faults= 2
swaps= 0
block input operations= 3272
block output operations= 51661696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 246
involuntary context switches= 3101


# summary of solver processes directly reported to runsolver:
#   pid: 147301,147316
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3573.36
#   total CPU system time (s): 26.836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02377 second user time and 17.0179 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-16 18:23:59
IDJOB=4531818
IDBENCH=147558
IDSOLVER=3392
FILE ID=nodeC034/4531818-1752683038
RUNJOBID= nodeC034-1752683038-147250
SLURM_JOB_ID= 9686929
Free space on /tmp= 431804 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4531818-1752683038/watcher-4531818-1752683038 -o /tmp/evaluation-result-4531818-1752683038/solver-4531818-1752683038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1752683038-147250 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531818-1752683038.opb /tmp/proof-4531818-1752683038

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

MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472
RANDOM SEED=210464024

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        101638352 kB
MemAvailable:   129612852 kB
Buffers:            2128 kB
Cached:         28714604 kB
SwapCached:           36 kB
Active:          1000488 kB
Inactive:       27853796 kB
Active(anon):     161656 kB
Inactive(anon):     2156 kB
Active(file):     838832 kB
Inactive(file): 27851640 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             79780 kB
Writeback:             0 kB
AnonPages:        141052 kB
Mapped:           108860 kB
Shmem:             26260 kB
KReclaimable:     246132 kB
Slab:             344384 kB
SReclaimable:     246132 kB
SUnreclaim:        98252 kB
KernelStack:        4128 kB
PageTables:         3068 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     444504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 302544 MiB
End job on nodeC034 at 2025-07-16 19:24:10