Trace number 4489601

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 63f22adSAT (TO)423 3600.25 3616

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-4489601-1751357689.opb'
0.29/0.34	c 	read 17.23MB  (327.71ms)
0.29/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.29/0.34	c output proof to 'PROOFDIR/proof-4489601-1751357689'
0.29/0.34	c 
0.29/0.34	c make graph and approximate orbits
0.57/0.69	c	 [group: #orbits ~= 0] (355.10ms)
0.57/0.69	c 
0.57/0.69	c detect special group actions
0.57/0.69	c 	probe for Johnson action (limit=64)
0.67/0.70	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.71	c 	probe for row symmetry (limit=64, splits=16.78M)
0.67/0.72	c 	 (21.91ms)
0.67/0.72	c 
0.67/0.72	c detect symmetries on remainder
0.67/0.72	c 	[graph: #vertices 706710 #edges 2766418]
0.67/0.72	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.67/0.76	c 	 [group: #symmetries 1.00*10^0 #generators 0] (48.90ms)
0.67/0.76	c 
0.67/0.76	c finalize break order and special generators
0.67/0.77	c 
0.67/0.77	c generation finished
0.67/0.77	c 	[sbp: #constraints 0 #add_vars 0]
0.67/0.77	c 
0.67/0.77	c write result to 'HOME/instance-4489601-1751357689.opb.pre'
0.77/0.80	c 	wrote 17.23MB (35.66ms)
0.77/0.80	c ------------------------------------------------------------------
0.77/0.80	c                 355.10ms 44.77% approx_orbits
0.77/0.80	c                 327.71ms 41.32% parse
0.77/0.80	c                  48.90ms  6.17% detect_generic
0.77/0.80	c                  35.66ms  4.50% output
0.77/0.80	c                  21.91ms  2.76% detect_special
0.77/0.80	c                   3.43ms  0.43% other
0.77/0.80	c                   0.38ms  0.05% finalize_order
0.77/0.80	c         ───────────────────────────────────────────────
0.77/0.80	c                 793.09ms   100% total
0.77/0.80	c ------------------------------------------------------------------
0.86/0.94	c RoundingSat 2
0.86/0.94	c branch pb25
0.86/0.94	c commit 63f22ad
4.44/4.59	c #variables 10000 #constraints 656900
4.44/4.59	c objective is ce32 
5.34/5.48	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.34/5.48	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.34/5.48	c bounds 5543 >= 0 @ 3.7943
7.13/7.25	c rational objective 185.072
10.82/10.92	c bounds 5504 >= 0 @ 9.09358
10.82/10.95	c bounds 5439 >= 0 @ 9.11967
10.82/10.95	c bounds 5436 >= 0 @ 9.12518
10.82/10.96	c bounds 5404 >= 0 @ 9.13055
10.82/10.99	c bounds 5393 >= 0 @ 9.15805
10.82/11.00	c bounds 5318 >= 0 @ 9.16505
10.92/11.00	c bounds 5248 >= 0 @ 9.17032
10.92/11.02	c bounds 5226 >= 0 @ 9.18297
10.92/11.04	c bounds 5221 >= 0 @ 9.19992
10.92/11.05	c bounds 5171 >= 0 @ 9.21054
10.92/11.06	c bounds 5116 >= 0 @ 9.21672
10.92/11.07	c bounds 5101 >= 0 @ 9.22784
10.92/11.08	c bounds 5046 >= 0 @ 9.24153
11.03/11.10	c bounds 4967 >= 0 @ 9.26118
11.03/11.11	c bounds 4912 >= 0 @ 9.26675
11.03/11.12	c bounds 4907 >= 0 @ 9.27665
11.03/11.16	c bounds 4905 >= 0 @ 9.30824
11.03/11.17	c bounds 4848 >= 0 @ 9.31903
11.13/11.20	c bounds 4827 >= 0 @ 9.34488
11.13/11.23	c bounds 4802 >= 0 @ 9.37018
11.13/11.24	c bounds 4799 >= 0 @ 9.37558
11.13/11.26	c bounds 4780 >= 0 @ 9.40113
11.23/11.35	c bounds 4779 >= 0 @ 9.48905
11.23/11.37	c bounds 4771 >= 0 @ 9.49823
11.23/11.38	c bounds 4764 >= 0 @ 9.51582
11.23/11.39	c bounds 4565 >= 0 @ 9.52264
11.32/11.40	c bounds 4528 >= 0 @ 9.52651
11.32/11.41	c bounds 4490 >= 0 @ 9.53244
11.32/11.42	c bounds 4442 >= 0 @ 9.53831
11.32/11.42	c bounds 4320 >= 0 @ 9.54498
11.32/11.43	c bounds 4302 >= 0 @ 9.55205
11.32/11.44	c bounds 4268 >= 0 @ 9.56179
11.32/11.45	c bounds 4200 >= 0 @ 9.56704
11.32/11.47	c bounds 4172 >= 0 @ 9.58494
11.32/11.49	c bounds 4161 >= 0 @ 9.60322
11.42/11.50	c bounds 4135 >= 0 @ 9.6111
11.42/11.51	c bounds 4067 >= 0 @ 9.61883
11.52/11.69	c bounds 4026 >= 0 @ 9.79564
11.62/11.70	c bounds 3946 >= 0 @ 9.80086
11.62/11.71	c bounds 3929 >= 0 @ 9.8054
11.92/12.03	c bounds 3926 >= 0 @ 10.1163
12.02/12.16	c bounds 3911 >= 0 @ 10.2482
12.02/12.17	c bounds 3887 >= 0 @ 10.2535
12.02/12.18	c bounds 3838 >= 0 @ 10.2583
12.12/12.28	c bounds 3836 >= 0 @ 10.3564
12.32/12.43	c bounds 3832 >= 0 @ 10.4974
12.42/12.53	c bounds 3827 >= 0 @ 10.597
12.42/12.54	c bounds 3812 >= 0 @ 10.611
12.42/12.56	c bounds 3794 >= 0 @ 10.6202
12.42/12.56	c bounds 3737 >= 0 @ 10.6254
12.42/12.57	c bounds 3689 >= 0 @ 10.6297
12.52/12.67	c bounds 3671 >= 0 @ 10.7298
12.52/12.68	c bounds 3591 >= 0 @ 10.7368
12.52/12.69	c bounds 3586 >= 0 @ 10.7452
12.61/12.70	c bounds 3550 >= 0 @ 10.7517
12.72/12.81	c bounds 3543 >= 0 @ 10.8593
12.82/12.91	c bounds 3532 >= 0 @ 10.9607
12.82/12.93	c bounds 3510 >= 0 @ 10.9725
12.82/12.94	c bounds 3306 >= 0 @ 10.9775
13.12/13.22	c bounds 3305 >= 0 @ 11.2552
13.22/13.32	c bounds 3275 >= 0 @ 11.358
13.22/13.34	c bounds 3121 >= 0 @ 11.3695
13.22/13.35	c bounds 3110 >= 0 @ 11.3773
13.22/13.37	c bounds 3104 >= 0 @ 11.3925
13.22/13.38	c bounds 3016 >= 0 @ 11.3987
13.22/13.39	c bounds 2978 >= 0 @ 11.4109
13.32/13.40	c bounds 2936 >= 0 @ 11.4193
13.32/13.41	c bounds 2816 >= 0 @ 11.4245
13.32/13.43	c bounds 2788 >= 0 @ 11.4429
13.32/13.44	c bounds 2600 >= 0 @ 11.4516
13.32/13.45	c bounds 2493 >= 0 @ 11.4579
13.41/13.55	c bounds 2475 >= 0 @ 11.5456
13.41/13.56	c bounds 2462 >= 0 @ 11.5534
13.41/13.58	c bounds 2426 >= 0 @ 11.5659
13.41/13.59	c bounds 2391 >= 0 @ 11.5753
13.51/13.60	c bounds 2307 >= 0 @ 11.5809
13.51/13.61	c bounds 2267 >= 0 @ 11.5873
13.51/13.62	c bounds 2223 >= 0 @ 11.5923
13.51/13.63	c bounds 2182 >= 0 @ 11.5989
13.51/13.64	c bounds 2174 >= 0 @ 11.6045
13.51/13.66	c bounds 2132 >= 0 @ 11.6107
13.51/13.67	c bounds 2111 >= 0 @ 11.6173
13.51/13.68	c bounds 2032 >= 0 @ 11.6253
13.51/13.69	c bounds 1994 >= 0 @ 11.6324
13.61/13.70	c bounds 1989 >= 0 @ 11.6397
13.81/13.90	c bounds 1978 >= 0 @ 11.8342
13.81/13.91	c bounds 1977 >= 0 @ 11.8404
13.81/13.94	c bounds 1972 >= 0 @ 11.8696
13.81/13.96	c bounds 1942 >= 0 @ 11.8809
13.81/13.97	c bounds 1873 >= 0 @ 11.8892
13.81/13.98	c bounds 1866 >= 0 @ 11.9023
13.81/13.99	c bounds 1789 >= 0 @ 11.9094
13.92/14.01	c bounds 1781 >= 0 @ 11.9272
13.92/14.02	c bounds 1709 >= 0 @ 11.9344
13.92/14.04	c bounds 1681 >= 0 @ 11.9396
13.92/14.09	c bounds 1674 >= 0 @ 11.9852
14.02/14.12	c bounds 1667 >= 0 @ 12.0137
14.12/14.29	c bounds 1652 >= 0 @ 12.1824
14.21/14.30	c bounds 1643 >= 0 @ 12.1905
14.21/14.31	c bounds 1619 >= 0 @ 12.1985
14.32/14.49	c bounds 1597 >= 0 @ 12.3641
14.41/14.50	c bounds 1545 >= 0 @ 12.3714
14.51/14.69	c bounds 1531 >= 0 @ 12.5515
14.61/14.70	c bounds 1530 >= 0 @ 12.5579
14.61/14.71	c bounds 1529 >= 0 @ 12.5683
14.61/14.72	c bounds 1521 >= 0 @ 12.5752
14.61/14.76	c bounds 1520 >= 0 @ 12.6099
14.71/14.82	c bounds 1516 >= 0 @ 12.6621
14.71/14.83	c bounds 1463 >= 0 @ 12.6706
14.81/14.99	c bounds 1280 >= 0 @ 12.82
14.81/15.00	c bounds 1273 >= 0 @ 12.824
14.92/15.03	c bounds 1263 >= 0 @ 12.8548
14.92/15.04	c bounds 1251 >= 0 @ 12.8613
14.92/15.07	c bounds 1240 >= 0 @ 12.8827
15.02/15.14	c bounds 1234 >= 0 @ 12.9499
15.02/15.15	c bounds 1202 >= 0 @ 12.9561
15.02/15.17	c bounds 1167 >= 0 @ 12.9658
15.11/15.23	c bounds 1166 >= 0 @ 13.0246
15.11/15.26	c bounds 1064 >= 0 @ 13.0452
15.21/15.33	c bounds 1061 >= 0 @ 13.1156
15.21/15.34	c bounds 1058 >= 0 @ 13.1212
15.42/15.50	c bounds 954 >= 0 @ 13.2672
15.42/15.51	c bounds 948 >= 0 @ 13.2744
15.42/15.53	c bounds 933 >= 0 @ 13.2853
15.42/15.54	c bounds 920 >= 0 @ 13.292
15.42/15.55	c bounds 911 >= 0 @ 13.3025
15.42/15.57	c bounds 908 >= 0 @ 13.3152
15.51/15.69	c bounds 882 >= 0 @ 13.4251
15.61/15.70	c bounds 877 >= 0 @ 13.4316
15.61/15.72	c bounds 865 >= 0 @ 13.4435
15.81/15.94	c bounds 846 >= 0 @ 13.6545
15.81/15.95	c bounds 842 >= 0 @ 13.6642
15.81/15.96	c bounds 841 >= 0 @ 13.6708
17.81/17.93	c #Conflicts:       1000 | #Constraints:     658045
17.81/17.93	c bounds 833 >= 0 @ 15.6014
18.10/18.25	c bounds 725 >= 0 @ 15.9066
18.10/18.27	c bounds 677 >= 0 @ 15.9164
18.60/18.71	c bounds 649 >= 0 @ 16.3302
19.00/19.11	c bounds 566 >= 0 @ 16.7073
19.10/19.20	c bounds 565 >= 0 @ 16.7835
19.10/19.21	c bounds 565 >= 8 @ 16.7911
27.77/27.97	c #Conflicts:       2000 | #Constraints:     659063
27.77/27.97	c INPROCESSING
27.77/27.97	c GARBAGE COLLECT
27.77/27.97	c #Conflicts:       3000 | #Constraints:     658923
27.77/27.97	c #Conflicts:       4000 | #Constraints:     659923
27.77/27.97	c INPROCESSING
27.77/27.97	c GARBAGE COLLECT
27.77/27.97	c bounds 563 >= 8 @ 25.4246
27.77/27.99	c bounds 562 >= 8 @ 25.4314
28.28/28.40	c bounds 558 >= 8 @ 25.8339
28.28/28.42	c bounds 553 >= 8 @ 25.8484
28.28/28.47	c bounds 545 >= 8 @ 25.9
28.28/28.49	c bounds 537 >= 8 @ 25.9105
28.37/28.50	c bounds 534 >= 8 @ 25.917
28.37/28.52	c bounds 529 >= 8 @ 25.9333
28.48/28.68	c bounds 526 >= 8 @ 26.0894
29.07/29.21	c bounds 522 >= 8 @ 26.6134
29.07/29.22	c bounds 521 >= 8 @ 26.6244
29.07/29.26	c bounds 520 >= 8 @ 26.6528
30.37/30.54	c bounds 518 >= 8 @ 27.8984
39.94/40.12	c #Conflicts:       5000 | #Constraints:     659344
39.94/40.12	c #Conflicts:       6000 | #Constraints:     660344
39.94/40.12	c INPROCESSING
39.94/40.12	c GARBAGE COLLECT
39.94/40.12	c rational objective 187.25
47.12/47.34	c #Conflicts:       7000 | #Constraints:     659338
47.12/47.34	c bounds 515 >= 8 @ 44.5027
69.53/69.82	c #Conflicts:       8000 | #Constraints:     660340
69.53/69.82	c #Conflicts:       9000 | #Constraints:     661340
69.53/69.82	c INPROCESSING
69.53/69.82	c GARBAGE COLLECT
69.53/69.82	c #Conflicts:      10000 | #Constraints:     660033
69.53/69.82	c #Conflicts:      11000 | #Constraints:     661033
69.53/69.82	c #Conflicts:      12000 | #Constraints:     662033
69.53/69.82	c INPROCESSING
69.53/69.82	c GARBAGE COLLECT
69.53/69.82	c rational objective 187.5
87.78/88.12	c #Conflicts:      13000 | #Constraints:     660493
87.78/88.12	c #Conflicts:      14000 | #Constraints:     661493
87.78/88.12	c #Conflicts:      15000 | #Constraints:     662493
87.78/88.12	c INPROCESSING
87.78/88.12	c GARBAGE COLLECT
87.78/88.12	c rational objective 188.375
106.68/107.18	c #Conflicts:      16000 | #Constraints:     660721
106.68/107.18	c #Conflicts:      17000 | #Constraints:     661721
106.68/107.18	c #Conflicts:      18000 | #Constraints:     662721
106.68/107.18	c INPROCESSING
106.68/107.18	c GARBAGE COLLECT
106.68/107.18	c rational objective 188.403
126.81/127.32	c #Conflicts:      19000 | #Constraints:     660746
126.81/127.32	c #Conflicts:      20000 | #Constraints:     661756
126.81/127.32	c #Conflicts:      21000 | #Constraints:     662761
126.81/127.32	c INPROCESSING
126.81/127.32	c GARBAGE COLLECT
126.81/127.32	c rational objective 188.403
146.36/146.98	c #Conflicts:      22000 | #Constraints:     660570
146.36/146.98	c #Conflicts:      23000 | #Constraints:     661575
146.36/146.98	c #Conflicts:      24000 | #Constraints:     662581
146.36/146.98	c #Conflicts:      25000 | #Constraints:     663588
146.36/146.98	c INPROCESSING
146.36/146.98	c GARBAGE COLLECT
146.36/146.98	c rational objective 188.794
181.39/182.17	c #Conflicts:      26000 | #Constraints:     661178
181.39/182.17	c #Conflicts:      27000 | #Constraints:     662182
181.39/182.17	c #Conflicts:      28000 | #Constraints:     663188
181.39/182.17	c #Conflicts:      29000 | #Constraints:     664196
181.39/182.17	c INPROCESSING
181.39/182.17	c GARBAGE COLLECT
181.39/182.17	c rational objective 188.83
189.74/190.57	c bounds 509 >= 8 @ 186.12
189.74/190.58	c bounds 509 >= 13 @ 186.132
196.01/196.87	c #Conflicts:      30000 | #Constraints:     661597
196.01/196.87	c bounds 509 >= 18 @ 192.348
224.30/225.29	c #Conflicts:      31000 | #Constraints:     662607
224.30/225.29	c #Conflicts:      32000 | #Constraints:     663613
224.30/225.29	c #Conflicts:      33000 | #Constraints:     664616
224.30/225.29	c INPROCESSING
224.30/225.29	c GARBAGE COLLECT
224.30/225.29	c bounds 508 >= 18 @ 220.35
224.41/225.31	c bounds 508 >= 22 @ 220.364
245.93/246.94	c #Conflicts:      34000 | #Constraints:     661803
245.93/246.94	c #Conflicts:      35000 | #Constraints:     662803
245.93/246.94	c #Conflicts:      36000 | #Constraints:     663803
245.93/246.94	c #Conflicts:      37000 | #Constraints:     664803
245.93/246.94	c INPROCESSING
245.93/246.94	c GARBAGE COLLECT
245.93/246.94	c rational objective 188.5
251.94/253.01	c bounds 491 >= 22 @ 247.796
270.38/271.52	c #Conflicts:      38000 | #Constraints:     661783
270.38/271.52	c #Conflicts:      39000 | #Constraints:     662783
270.38/271.52	c #Conflicts:      40000 | #Constraints:     663783
270.38/271.52	c #Conflicts:      41000 | #Constraints:     664783
270.38/271.52	c INPROCESSING
270.38/271.52	c GARBAGE COLLECT
270.38/271.52	c rational objective 189
296.89/298.14	c #Conflicts:      42000 | #Constraints:     661570
296.89/298.14	c #Conflicts:      43000 | #Constraints:     662606
296.89/298.14	c #Conflicts:      44000 | #Constraints:     663738
296.89/298.14	c #Conflicts:      45000 | #Constraints:     664763
296.89/298.14	c #Conflicts:      46000 | #Constraints:     665786
296.89/298.14	c INPROCESSING
296.89/298.14	c GARBAGE COLLECT
296.89/298.14	c bounds 490 >= 22 @ 292.569
296.89/298.16	c bounds 485 >= 22 @ 292.582
296.89/298.18	c bounds 477 >= 22 @ 292.605
296.99/298.20	c bounds 475 >= 22 @ 292.622
297.09/298.30	c bounds 469 >= 22 @ 292.715
297.09/298.35	c bounds 468 >= 22 @ 292.758
297.09/298.37	c bounds 465 >= 22 @ 292.772
297.19/298.41	c bounds 462 >= 22 @ 292.811
297.19/298.46	c bounds 459 >= 22 @ 292.866
297.29/298.55	c bounds 457 >= 22 @ 292.945
297.29/298.56	c bounds 450 >= 22 @ 292.953
297.29/298.58	c bounds 442 >= 22 @ 292.964
297.80/299.00	c bounds 436 >= 22 @ 293.381
297.99/299.25	c bounds 435 >= 22 @ 293.617
298.49/299.76	c bounds 434 >= 22 @ 294.112
299.68/300.96	c bounds 431 >= 22 @ 295.272
299.68/300.97	c bounds 431 >= 24 @ 295.279
299.68/300.99	c bounds 431 >= 26 @ 295.286
299.68/301.00	c bounds 431 >= 28 @ 295.293
299.79/301.02	c bounds 431 >= 30 @ 295.306
299.79/301.03	c bounds 431 >= 32 @ 295.316
299.79/301.05	c bounds 431 >= 34 @ 295.322
299.79/301.07	c bounds 431 >= 36 @ 295.343
300.48/301.71	c bounds 431 >= 38 @ 295.973
302.37/303.61	c #Conflicts:      47000 | #Constraints:     662339
302.37/303.61	c bounds 431 >= 40 @ 297.801
302.67/303.99	c bounds 429 >= 40 @ 298.167
306.06/307.31	c bounds 426 >= 40 @ 301.425
352.92/354.35	c #Conflicts:      48000 | #Constraints:     663360
352.92/354.35	c #Conflicts:      49000 | #Constraints:     664361
352.92/354.35	c #Conflicts:      50000 | #Constraints:     665363
352.92/354.35	c #Conflicts:      51000 | #Constraints:     666368
352.92/354.35	c INPROCESSING
352.92/354.35	c GARBAGE COLLECT
352.92/354.35	c rational objective 189
358.61/360.07	c bounds 425 >= 40 @ 353.69
378.03/379.73	c #Conflicts:      52000 | #Constraints:     662684
378.03/379.73	c bounds 424 >= 40 @ 372.709
378.03/379.75	c bounds 424 >= 41 @ 372.725
378.03/379.77	c bounds 424 >= 42 @ 372.737
378.13/379.80	c bounds 424 >= 43 @ 372.757
378.13/379.82	c bounds 424 >= 44 @ 372.771
378.13/379.85	c bounds 424 >= 45 @ 372.791
378.13/379.87	c bounds 424 >= 46 @ 372.809
378.13/379.89	c bounds 424 >= 47 @ 372.827
378.24/379.91	c bounds 424 >= 48 @ 372.839
378.24/379.93	c bounds 424 >= 49 @ 372.855
378.24/379.96	c bounds 424 >= 50 @ 372.876
378.24/379.98	c bounds 424 >= 51 @ 372.894
378.34/380.01	c bounds 424 >= 52 @ 372.91
378.34/380.03	c bounds 424 >= 53 @ 372.931
378.34/380.07	c bounds 424 >= 54 @ 372.957
378.34/380.09	c bounds 424 >= 55 @ 372.975
378.43/380.13	c bounds 424 >= 56 @ 372.998
378.43/380.15	c bounds 424 >= 57 @ 373.015
378.43/380.18	c bounds 424 >= 58 @ 373.037
378.53/380.21	c #Conflicts:      53000 | #Constraints:     663786
378.53/380.21	c bounds 424 >= 59 @ 373.058
378.53/380.25	c bounds 424 >= 60 @ 373.088
378.53/380.29	c bounds 424 >= 61 @ 373.122
378.63/380.32	c bounds 424 >= 62 @ 373.151
381.22/382.92	c bounds 424 >= 63 @ 375.718
381.22/382.96	c bounds 424 >= 64 @ 375.751
381.42/383.13	c bounds 424 >= 65 @ 375.901
381.52/383.29	c bounds 424 >= 66 @ 376.057
381.72/383.49	c bounds 424 >= 67 @ 376.257
382.21/383.93	c bounds 424 >= 68 @ 376.66
382.72/384.44	c bounds 424 >= 69 @ 377.15
383.02/384.73	c bounds 424 >= 70 @ 377.433
383.71/385.40	c bounds 424 >= 71 @ 378.08
384.52/386.25	c #Conflicts:      54000 | #Constraints:     664997
384.52/386.25	c bounds 424 >= 72 @ 378.906
385.01/386.73	c bounds 424 >= 73 @ 379.361
385.90/387.61	c bounds 424 >= 74 @ 380.213
391.69/393.49	c bounds 424 >= 75 @ 386.011
392.78/394.57	c #Conflicts:      55000 | #Constraints:     666105
392.78/394.57	c bounds 424 >= 76 @ 387.062
394.09/395.82	c bounds 424 >= 77 @ 388.263
395.77/397.59	c bounds 424 >= 78 @ 389.993
465.10/467.15	c #Conflicts:      56000 | #Constraints:     667171
465.10/467.15	c INPROCESSING
465.10/467.15	c GARBAGE COLLECT
465.10/467.15	c #Conflicts:      57000 | #Constraints:     663187
465.10/467.15	c bounds 424 >= 79 @ 459.006
466.59/468.63	c bounds 424 >= 80 @ 460.433
468.98/471.04	c #Conflicts:      58000 | #Constraints:     664250
468.98/471.04	c bounds 424 >= 81 @ 462.777
473.27/475.30	c #Conflicts:      59000 | #Constraints:     665283
473.27/475.30	c bounds 424 >= 82 @ 466.932
483.74/485.88	c #Conflicts:      60000 | #Constraints:     666307
483.74/485.88	c #Conflicts:      61000 | #Constraints:     667307
483.74/485.88	c bounds 424 >= 83 @ 477.371
500.38/502.59	c INPROCESSING
500.38/502.59	c GARBAGE COLLECT
500.38/502.59	c #Conflicts:      62000 | #Constraints:     663231
500.38/502.59	c #Conflicts:      63000 | #Constraints:     664231
500.38/502.59	c bounds 424 >= 84 @ 493.844
523.31/525.50	c #Conflicts:      64000 | #Constraints:     665282
523.31/525.50	c #Conflicts:      65000 | #Constraints:     666282
523.31/525.50	c bounds 424 >= 85 @ 516.424
633.05/635.67	c #Conflicts:      66000 | #Constraints:     667321
633.05/635.67	c INPROCESSING
633.05/635.67	c GARBAGE COLLECT
633.05/635.67	c #Conflicts:      67000 | #Constraints:     663037
633.05/635.67	c bounds 424 >= 86 @ 625.946
638.34/640.90	c #Conflicts:      68000 | #Constraints:     664070
638.34/640.90	c bounds 424 >= 87 @ 631.001
655.28/657.94	c #Conflicts:      69000 | #Constraints:     665106
655.28/657.94	c bounds 424 >= 88 @ 647.844
690.19/692.90	c #Conflicts:      70000 | #Constraints:     666133
690.19/692.90	c #Conflicts:      71000 | #Constraints:     667133
690.19/692.90	c #Conflicts:      72000 | #Constraints:     668133
690.19/692.90	c INPROCESSING
690.19/692.90	c GARBAGE COLLECT
690.19/692.90	c #Conflicts:      73000 | #Constraints:     663669
690.19/692.90	c #Conflicts:      74000 | #Constraints:     664669
690.19/692.90	c #Conflicts:      75000 | #Constraints:     665669
690.19/692.90	c bounds 424 >= 89 @ 682.042
713.71/716.55	c #Conflicts:      76000 | #Constraints:     666729
713.71/716.55	c #Conflicts:      77000 | #Constraints:     667729
713.71/716.55	c #Conflicts:      78000 | #Constraints:     668729
713.71/716.55	c INPROCESSING
713.71/716.55	c GARBAGE COLLECT
713.71/716.55	c rational objective 189.232
749.41/752.33	c #Conflicts:      79000 | #Constraints:     664088
749.41/752.33	c #Conflicts:      80000 | #Constraints:     665088
749.41/752.33	c #Conflicts:      81000 | #Constraints:     666088
749.41/752.33	c #Conflicts:      82000 | #Constraints:     667089
749.41/752.33	c #Conflicts:      83000 | #Constraints:     668089
749.41/752.33	c bounds 424 >= 90 @ 740.395
867.86/871.27	c #Conflicts:      84000 | #Constraints:     669134
867.86/871.27	c INPROCESSING
867.86/871.27	c GARBAGE COLLECT
867.86/871.27	c rational objective 189.327
914.41/917.92	c #Conflicts:      85000 | #Constraints:     664295
914.41/917.92	c #Conflicts:      86000 | #Constraints:     665295
914.41/917.92	c #Conflicts:      87000 | #Constraints:     666295
914.41/917.92	c #Conflicts:      88000 | #Constraints:     667295
914.41/917.92	c #Conflicts:      89000 | #Constraints:     668295
914.41/917.92	c bounds 424 >= 91 @ 904.597
915.12/918.60	c bounds 423 >= 91 @ 905.258
1436.21/1443.05	c #Conflicts:      90000 | #Constraints:     669344
1436.21/1443.05	c INPROCESSING
1436.21/1443.05	c GARBAGE COLLECT
1436.21/1443.05	c #Conflicts:      91000 | #Constraints:     664401
1436.21/1443.05	c #Conflicts:      92000 | #Constraints:     665882
1436.21/1443.05	c #Conflicts:      93000 | #Constraints:     667428
1436.21/1443.05	c #Conflicts:      94000 | #Constraints:     668981
1436.21/1443.05	c #Conflicts:      95000 | #Constraints:     670533
1436.21/1443.05	c #Conflicts:      96000 | #Constraints:     672060
1436.21/1443.05	c INPROCESSING
1436.21/1443.05	c GARBAGE COLLECT
1436.21/1443.05	c #Conflicts:      97000 | #Constraints:     665679
1436.21/1443.05	c #Conflicts:      98000 | #Constraints:     666679
1436.21/1443.05	c #Conflicts:      99000 | #Constraints:     667679
1436.21/1443.05	c #Conflicts:     100000 | #Constraints:     668679
1436.21/1443.05	c #Conflicts:     101000 | #Constraints:     669679
1436.21/1443.05	c #Conflicts:     102000 | #Constraints:     670679
1436.21/1443.05	c #Conflicts:     103000 | #Constraints:     671679
1436.21/1443.05	c INPROCESSING
1436.21/1443.05	c GARBAGE COLLECT
1436.21/1443.05	c #Conflicts:     104000 | #Constraints:     665487
1436.21/1443.05	c #Conflicts:     105000 | #Constraints:     666487
1436.21/1443.05	c #Conflicts:     106000 | #Constraints:     667487
1436.21/1443.05	c #Conflicts:     107000 | #Constraints:     668490
1436.21/1443.05	c #Conflicts:     108000 | #Constraints:     669492
1436.21/1443.05	c #Conflicts:     109000 | #Constraints:     670492
1436.21/1443.05	c #Conflicts:     110000 | #Constraints:     671492
1436.21/1443.05	c INPROCESSING
1436.21/1443.05	c GARBAGE COLLECT
1436.21/1443.05	c rational objective 189.85
1487.76/1494.70	c #Conflicts:     111000 | #Constraints:     665502
1487.76/1494.70	c #Conflicts:     112000 | #Constraints:     666502
1487.76/1494.70	c #Conflicts:     113000 | #Constraints:     667503
1487.76/1494.70	c #Conflicts:     114000 | #Constraints:     668503
1487.76/1494.70	c #Conflicts:     115000 | #Constraints:     669503
1487.76/1494.70	c #Conflicts:     116000 | #Constraints:     670504
1487.76/1494.70	c bounds 423 >= 92 @ 1473.76
1609.55/1616.90	c #Conflicts:     117000 | #Constraints:     671549
1609.55/1616.90	c INPROCESSING
1609.55/1616.90	c GARBAGE COLLECT
1609.55/1616.90	c rational objective 190.206
1663.98/1671.57	c #Conflicts:     118000 | #Constraints:     665536
1663.98/1671.57	c #Conflicts:     119000 | #Constraints:     666536
1663.98/1671.57	c #Conflicts:     120000 | #Constraints:     667536
1663.98/1671.57	c #Conflicts:     121000 | #Constraints:     668536
1663.98/1671.57	c #Conflicts:     122000 | #Constraints:     669536
1663.98/1671.57	c bounds 423 >= 93 @ 1649.17
1688.40/1696.08	c #Conflicts:     123000 | #Constraints:     670584
1688.40/1696.08	c #Conflicts:     124000 | #Constraints:     671584
1688.40/1696.08	c INPROCESSING
1688.40/1696.08	c GARBAGE COLLECT
1688.40/1696.08	c rational objective 190.63
1754.88/1762.77	c #Conflicts:     125000 | #Constraints:     665466
1754.88/1762.77	c #Conflicts:     126000 | #Constraints:     666466
1754.88/1762.77	c #Conflicts:     127000 | #Constraints:     667466
1754.88/1762.77	c #Conflicts:     128000 | #Constraints:     668466
1754.88/1762.77	c #Conflicts:     129000 | #Constraints:     669466
1754.88/1762.77	c #Conflicts:     130000 | #Constraints:     670466
1754.88/1762.77	c #Conflicts:     131000 | #Constraints:     671466
1754.88/1762.77	c INPROCESSING
1754.88/1762.77	c GARBAGE COLLECT
1754.88/1762.77	c rational objective 190.843
1819.69/1827.72	c #Conflicts:     132000 | #Constraints:     665203
1819.69/1827.72	c #Conflicts:     133000 | #Constraints:     666203
1819.69/1827.72	c #Conflicts:     134000 | #Constraints:     667203
1819.69/1827.72	c #Conflicts:     135000 | #Constraints:     668204
1819.69/1827.72	c #Conflicts:     136000 | #Constraints:     669204
1819.69/1827.72	c #Conflicts:     137000 | #Constraints:     670204
1819.69/1827.72	c #Conflicts:     138000 | #Constraints:     671204
1819.69/1827.72	c bounds 423 >= 94 @ 1802.44
2120.05/2129.15	c #Conflicts:     139000 | #Constraints:     672267
2120.05/2129.15	c INPROCESSING
2120.05/2129.15	c GARBAGE COLLECT
2120.05/2129.15	c rational objective 190.891
2225.44/2234.89	c #Conflicts:     140000 | #Constraints:     665818
2225.44/2234.89	c #Conflicts:     141000 | #Constraints:     666819
2225.44/2234.89	c #Conflicts:     142000 | #Constraints:     667820
2225.44/2234.89	c #Conflicts:     143000 | #Constraints:     668820
2225.44/2234.89	c #Conflicts:     144000 | #Constraints:     669820
2225.44/2234.89	c #Conflicts:     145000 | #Constraints:     670820
2225.44/2234.89	c #Conflicts:     146000 | #Constraints:     671820
2225.44/2234.89	c #Conflicts:     147000 | #Constraints:     672820
2225.44/2234.89	c INPROCESSING
2225.44/2234.89	c GARBAGE COLLECT
2225.44/2234.89	c #Conflicts:     148000 | #Constraints:     666207
2225.44/2234.89	c #Conflicts:     149000 | #Constraints:     667207
2225.44/2234.89	c #Conflicts:     150000 | #Constraints:     668207
2225.44/2234.89	c #Conflicts:     151000 | #Constraints:     669207
2225.44/2234.89	c #Conflicts:     152000 | #Constraints:     670207
2225.44/2234.89	c bounds 423 >= 95 @ 2205.82
2481.62/2491.89	c #Conflicts:     153000 | #Constraints:     671261
2481.62/2491.89	c #Conflicts:     154000 | #Constraints:     672261
2481.62/2491.89	c #Conflicts:     155000 | #Constraints:     673261
2481.62/2491.89	c INPROCESSING
2481.62/2491.89	c GARBAGE COLLECT
2481.62/2491.89	c rational objective 190.891
2637.65/2648.70	c #Conflicts:     156000 | #Constraints:     666447
2637.65/2648.70	c #Conflicts:     157000 | #Constraints:     667447
2637.65/2648.70	c #Conflicts:     158000 | #Constraints:     668447
2637.65/2648.70	c #Conflicts:     159000 | #Constraints:     669448
2637.65/2648.70	c #Conflicts:     160000 | #Constraints:     670448
2637.65/2648.70	c #Conflicts:     161000 | #Constraints:     671448
2637.65/2648.70	c #Conflicts:     162000 | #Constraints:     672448
2637.65/2648.70	c #Conflicts:     163000 | #Constraints:     673448
2637.65/2648.70	c INPROCESSING
2637.65/2648.70	c GARBAGE COLLECT
2637.65/2648.70	c #Conflicts:     164000 | #Constraints:     666411
2637.65/2648.70	c #Conflicts:     165000 | #Constraints:     667412
2637.65/2648.70	c #Conflicts:     166000 | #Constraints:     668412
2637.65/2648.70	c #Conflicts:     167000 | #Constraints:     669412
2637.65/2648.70	c #Conflicts:     168000 | #Constraints:     670412
2637.65/2648.70	c #Conflicts:     169000 | #Constraints:     671414
2637.65/2648.70	c #Conflicts:     170000 | #Constraints:     672414
2637.65/2648.70	c #Conflicts:     171000 | #Constraints:     673415
2637.65/2648.70	c INPROCESSING
2637.65/2648.70	c GARBAGE COLLECT
2637.65/2648.70	c rational objective 190.891
3070.74/3083.32	c #Conflicts:     172000 | #Constraints:     666191
3070.74/3083.32	c #Conflicts:     173000 | #Constraints:     667192
3070.74/3083.32	c #Conflicts:     174000 | #Constraints:     668192
3070.74/3083.32	c #Conflicts:     175000 | #Constraints:     669192
3070.74/3083.32	c #Conflicts:     176000 | #Constraints:     670192
3070.74/3083.32	c #Conflicts:     177000 | #Constraints:     671193
3070.74/3083.32	c #Conflicts:     178000 | #Constraints:     672193
3070.74/3083.32	c #Conflicts:     179000 | #Constraints:     673193
3070.74/3083.32	c #Conflicts:     180000 | #Constraints:     674193
3070.74/3083.32	c INPROCESSING
3070.74/3083.32	c GARBAGE COLLECT
3070.74/3083.32	c #Conflicts:     181000 | #Constraints:     666800
3070.74/3083.32	c #Conflicts:     182000 | #Constraints:     667800
3070.74/3083.32	c #Conflicts:     183000 | #Constraints:     668800
3070.74/3083.32	c #Conflicts:     184000 | #Constraints:     669800
3070.74/3083.32	c #Conflicts:     185000 | #Constraints:     670800
3070.74/3083.32	c #Conflicts:     186000 | #Constraints:     671800
3070.74/3083.32	c #Conflicts:     187000 | #Constraints:     672800
3070.74/3083.32	c #Conflicts:     188000 | #Constraints:     673800
3070.74/3083.32	c #Conflicts:     189000 | #Constraints:     674800
3070.74/3083.32	c INPROCESSING
3070.74/3083.32	c GARBAGE COLLECT
3070.74/3083.32	c rational objective 190.891
3167.35/3180.29	c #Conflicts:     190000 | #Constraints:     667218
3167.35/3180.29	c #Conflicts:     191000 | #Constraints:     668219
3167.35/3180.29	c #Conflicts:     192000 | #Constraints:     669219
3167.35/3180.29	c #Conflicts:     193000 | #Constraints:     670220
3167.35/3180.29	c #Conflicts:     194000 | #Constraints:     671220
3167.35/3180.29	c #Conflicts:     195000 | #Constraints:     672220
3167.35/3180.29	c #Conflicts:     196000 | #Constraints:     673223
3167.35/3180.29	c #Conflicts:     197000 | #Constraints:     674225
3167.35/3180.29	c #Conflicts:     198000 | #Constraints:     675225
3167.35/3180.29	c INPROCESSING
3167.35/3180.29	c GARBAGE COLLECT
3167.35/3180.29	c rational objective 190.891
3369.56/3383.18	c #Conflicts:     199000 | #Constraints:     667414
3369.56/3383.18	c #Conflicts:     200000 | #Constraints:     668414
3369.56/3383.18	c #Conflicts:     201000 | #Constraints:     669414
3369.56/3383.18	c #Conflicts:     202000 | #Constraints:     670414
3369.56/3383.18	c #Conflicts:     203000 | #Constraints:     671414
3369.56/3383.18	c #Conflicts:     204000 | #Constraints:     672414
3369.56/3383.18	c #Conflicts:     205000 | #Constraints:     673414
3369.56/3383.18	c #Conflicts:     206000 | #Constraints:     674414
3369.56/3383.18	c #Conflicts:     207000 | #Constraints:     675414
3369.56/3383.18	c INPROCESSING
3369.56/3383.18	c GARBAGE COLLECT
3369.56/3383.18	c rational objective 190.891
3524.63/3538.94	c #Conflicts:     208000 | #Constraints:     667419
3524.63/3538.94	c #Conflicts:     209000 | #Constraints:     668437
3524.63/3538.94	c #Conflicts:     210000 | #Constraints:     669437
3524.63/3538.94	c #Conflicts:     211000 | #Constraints:     670438
3524.63/3538.94	c #Conflicts:     212000 | #Constraints:     671438
3524.63/3538.94	c #Conflicts:     213000 | #Constraints:     672438
3524.63/3538.94	c #Conflicts:     214000 | #Constraints:     673438
3524.63/3538.94	c #Conflicts:     215000 | #Constraints:     674438
3524.63/3538.94	c #Conflicts:     216000 | #Constraints:     675439
3524.63/3538.94	c INPROCESSING
3524.63/3538.94	c GARBAGE COLLECT
3524.63/3538.94	c rational objective 190.897
3600.01/3614.72	c #Conflicts:     217000 | #Constraints:     667233
3600.01/3614.72	c #Conflicts:     218000 | #Constraints:     668233
3600.01/3614.72	c #Conflicts:     219000 | #Constraints:     669233
3600.01/3614.72	c #Conflicts:     220000 | #Constraints:     670233
3600.01/3614.72	c #Conflicts:     221000 | #Constraints:     671233
3600.01/3614.72	c #Conflicts:     222000 | #Constraints:     672234
3600.01/3614.72	c #Conflicts:     223000 | #Constraints:     673234
3600.01/3614.72	c #Conflicts:     224000 | #Constraints:     674234
3600.01/3614.72	c #Conflicts:     225000 | #Constraints:     675235
3600.01/3614.72	c cpu time 3569.13 s
3600.01/3614.72	c deterministic time 49157951180 4.92e+10
3600.01/3614.72	c optimization time 70.832 s
3600.01/3614.72	c total solve time 3495.39 s
3600.01/3614.72	c core-guided solve time 3083.58 s
3600.01/3614.72	c propagation time 1082.5 s
3600.01/3614.72	c conflict analysis time 643.207 s
3600.01/3614.72	c propagations 79703296
3600.01/3614.72	c resolve steps 3463436
3600.01/3614.72	c decisions 9139850
3600.01/3614.72	c conflicts 225072
3600.01/3614.72	c restarts 510
3600.01/3614.72	c inprocessing phases 38
3600.01/3614.72	c garbage collections 38 ,( 100.00 )
3600.01/3614.72	c input clauses 657246 ,( 99.84 )
3600.01/3614.72	c input cardinalities 415 ,( 0.06 )
3600.01/3614.72	c input general constraints 659 ,( 0.10 )
3600.01/3614.72	c input average constraint length 6.90
3600.01/3614.72	c input average constraint degree 134.85
3600.01/3614.72	c learned clauses 169633 ,( 74.22 )
3600.01/3614.72	c learned cardinalities 20 ,( 0.01 )
3600.01/3614.72	c learned general constraints 58914 ,( 25.78 )
3600.01/3614.72	c learned average constraint length 1520.33
3600.01/3614.72	c learned average constraint degree 17641018585.26
3600.01/3614.72	c watched  CF 32, 64, 128, Arb: 2036 , 0 , 0 , 0
3600.01/3614.72	c counting CF 32, 64, 128, Arb: 57538 , 0 , 0 , 0
3600.01/3614.72	c watched   constraints 2036 ,( 3.42 ) 
3600.01/3614.72	c counting  constraints 57537 ,( 96.58 ) 
3600.01/3614.72	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 44468860 , 2384730 , 604699177 ,( 7648623 , 597050554 )
3600.01/3614.72	c gcd simplifications 8100
3600.01/3614.72	c detected cardinalities 4
3600.01/3614.72	c weakened non-implied lits 785202421
3600.01/3614.72	c weakened non-implying lits 133439
3600.01/3614.72	c original variables 10000
3600.01/3614.72	c clausal propagations 12566890
3600.01/3614.72	c cardinality propagations 384116
3600.01/3614.72	c watched propagations 57918
3600.01/3614.72	c counting propagations 63383396
3600.01/3614.72	c watch lookups 2634960897
3600.01/3614.72	c watch backjump lookups 0
3600.01/3614.72	c watch checks 2158659771
3600.01/3614.72	c propagation checks 40862714932
3600.01/3614.72	c constraint additions 3323264044
3600.01/3614.72	c trail pops 89058724
3600.01/3614.72	c formula constraints 656900
3600.01/3614.72	c learned constraints 225019
3600.01/3614.72	c bound constraints 246
3600.01/3614.72	c core-guided constraints 1174
3600.01/3614.72	c encountered formula constraints 1219942
3600.01/3614.72	c encountered learned constraints 1484377
3600.01/3614.72	c encountered bound constraints 3263
3600.01/3614.72	c encountered core-guided constraints 977175
3600.01/3614.72	c LP total time 2511.11 s
3600.01/3614.72	c LP solve time 2327.55 s
3600.01/3614.72	c LP constraints added 656939
3600.01/3614.72	c LP constraints removed 18
3600.01/3614.72	c LP pivots internal 225767
3600.01/3614.72	c LP pivots root 223898
3600.01/3614.72	c LP calls 3641
3600.01/3614.72	c LP optimalities 129
3600.01/3614.72	c LP no pivot count 5
3600.01/3614.72	c LP infeasibilities 3473
3600.01/3614.72	c LP valid Farkas constraints 3471
3600.01/3614.72	c LP learned Farkas constraints 58
3600.01/3614.72	c LP basis resets 36
3600.01/3614.72	c LP cycling count 11
3600.01/3614.72	c LP singular count 13
3600.01/3614.72	c LP no primal count 0
3600.01/3614.72	c LP no farkas count 2
3600.01/3614.72	c LP other issue count 10
3600.01/3614.72	c LP Gomory cuts 19
3600.01/3614.72	c LP learned cuts 20
3600.01/3614.72	c LP deleted cuts 18
3600.01/3614.72	c LP encountered Gomory constraints 569
3600.01/3614.72	c LP encountered Farkas constraints 3101
3600.01/3614.72	c LP encountered learned Farkas constraints 23
3600.01/3614.72	c CG auxiliary variables introduced 414
3600.01/3614.72	c CG solutions found 177
3600.01/3614.72	c CG cores constructed 68
3600.01/3614.72	c CG core cardinality constraints returned 0
3600.01/3614.72	c CG unit cores 0
3600.01/3614.72	c CG single cores 68
3600.01/3614.72	c CG blocks removed during cardinality reduction 0
3600.01/3614.72	c CG first core best 0
3600.01/3614.72	c CG decision core best 0
3600.01/3614.72	c CG core reduction tie 0
3600.01/3614.72	c CG core degree average 1.00
3600.01/3614.72	c CG core slack average 732.90
3600.01/3614.72	c CG core upper bound improvements 30
3600.01/3614.72	c STR number of successful calls 0
3600.01/3614.72	c STR number of unsuccessful calls 0
3600.01/3614.72	c STR number of inconclusive calls 0
3600.01/3614.72	c STR number of successful attempts 0
3600.01/3614.72	c STR number of unsuccessful attempts 0
3600.01/3614.72	c STR number of inconclusive attempts 0
3600.01/3614.72	c STR average degree increase per successful call inf
3600.01/3614.72	c STR average degree increase per successful attempt inf
3600.01/3614.72	c STR total number of conflicts for successful attempts 0
3600.01/3614.72	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3614.72	c STR total number of conflicts for inconclusive attempts 0
3600.01/3614.72	c STR average number of conflicts per successful attempt inf
3600.01/3614.72	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3614.72	c STR average number of conflicts per inconclusive attempt inf
3600.01/3614.72	c AVG.sumWPerc 92.02 
3600.01/3614.72	c bigint constraints 0 
3600.01/3614.72	o 423
3600.01/3614.72	s SATISFIABLE
3600.01/3614.72	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.01/3614.72	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: 63708 MiB (61974 MiB free)
  memory of node 1: 64465 MiB (53599 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489601-1751357689/watcher-4489601-1751357689 -o /tmp/evaluation-result-4489601-1751357689/solver-4489601-1751357689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751350437-48856 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4489601-1751357689.opb PROOFDIR/proof-4489601-1751357689 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10007 s]*
/proc/loadavg: 4.36 4.20 4.14 5/271 49707
/proc/meminfo: memFree=120109780/131249996 swapFree=33010684/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49707] ppid=49705 vsize=165224 memory=147932 CPUtime=0.07 cores=0,2
/proc/49707/stat : 49707 (pbsuma) R 49705 49705 48846 0 -1 4194304 4310 0 0 0 5 2 0 0 20 0 1 0 51447351 169189376 36983 18446744073709551615 4210688 4653049 140722468309616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 18747392 140722468317411 140722468317746 140722468317746 140722468323311 0
/proc/49707/statm: 41306 36983 960 108 0 38714 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 169416 KiB
Current children cumulated memory: 150876 KiB

[startup+0.205771 s]*
/proc/loadavg: 4.36 4.20 4.14 5/271 49707
/proc/meminfo: memFree=122081748/131249996 swapFree=33010684/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49707] ppid=49705 vsize=181316 memory=167852 CPUtime=0.19 cores=0,2
/proc/49707/stat : 49707 (pbsuma) R 49705 49705 48846 0 -1 4194304 8969 0 0 0 15 4 0 0 20 0 1 0 51447351 185667584 41963 18446744073709551615 4210688 4653049 140722468309616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 18747392 140722468317411 140722468317746 140722468317746 140722468323311 0
/proc/49707/statm: 45329 41963 960 108 0 42737 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 185508 KiB
Current children cumulated memory: 170796 KiB

[startup+0.305732 s]*
/proc/loadavg: 4.36 4.20 4.14 5/271 49707
/proc/meminfo: memFree=123942952/131249996 swapFree=33010684/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49707] ppid=49705 vsize=195180 memory=184468 CPUtime=0.29 cores=0,2
/proc/49707/stat : 49707 (pbsuma) R 49705 49705 48846 0 -1 4194304 12093 0 0 0 24 5 0 0 20 0 1 0 51447351 199864320 46117 18446744073709551615 4210688 4653049 140722468309616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 18747392 140722468317411 140722468317746 140722468317746 140722468323311 0
/proc/49707/statm: 48795 46117 960 108 0 46203 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 199372 KiB
Current children cumulated memory: 187412 KiB

[startup+0.700217 s]
/proc/loadavg: 4.36 4.20 4.14 5/272 49708
/proc/meminfo: memFree=127603036/131249996 swapFree=33010684/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49707] ppid=49705 vsize=319212 memory=273672 CPUtime=0.67 cores=0,2
/proc/49707/stat : 49707 (pbsuma) R 49705 49705 48846 0 -1 4194304 24512 0 0 0 59 8 0 0 20 0 1 0 51447351 326873088 68418 18446744073709551615 4210688 4653049 140722468309616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 18747392 140722468317411 140722468317746 140722468317746 140722468323311 0
/proc/49707/statm: 79803 68418 1024 108 0 77211 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 323404 KiB
Current children cumulated memory: 276616 KiB

[startup+1.5002 s]
/proc/loadavg: 4.36 4.20 4.14 5/277 49728
/proc/meminfo: memFree=127666112/131249996 swapFree=33010684/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0.9 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 241 28725 0 0 0 0 79 11 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49723] ppid=49705 vsize=108384 memory=62984 CPUtime=0.55 cores=0,2
/proc/49723/stat : 49723 (roundingsat) R 49705 49705 48846 0 -1 4194304 13473 0 0 0 45 10 0 0 20 0 1 0 51447444 110985216 15746 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 27096 15746 2016 1147 0 14523 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 112576 KiB
Current children cumulated memory: 65928 KiB

[startup+3.10566 s]
/proc/loadavg: 4.36 4.20 4.14 5/277 49729
/proc/meminfo: memFree=127399676/131249996 swapFree=33010684/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0.9 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 241 28725 0 0 0 0 79 11 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49723] ppid=49705 vsize=267012 memory=209168 CPUtime=2.15 cores=0,2
/proc/49723/stat : 49723 (roundingsat) R 49705 49705 48846 0 -1 4194304 47700 0 0 0 168 47 0 0 20 0 1 0 51447444 273420288 52292 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 66753 52292 2016 1147 0 54180 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 271204 KiB
Current children cumulated memory: 212112 KiB

[startup+6.30021 s]
/proc/loadavg: 4.41 4.22 4.15 5/277 49729
/proc/meminfo: memFree=125871520/131249996 swapFree=33010684/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0.9 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 241 28725 0 0 0 0 79 11 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49723] ppid=49705 vsize=1064968 memory=805788 CPUtime=5.34 cores=0,2
/proc/49723/stat : 49723 (roundingsat) R 49705 49705 48846 0 -1 4194304 90771 0 0 0 452 82 0 0 20 0 1 0 51447444 1090527232 201447 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 266242 201447 2336 1147 0 253669 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1069160 KiB
Current children cumulated memory: 808732 KiB

[startup+12.7002 s]
/proc/loadavg: 4.46 4.23 4.15 5/277 49729
/proc/meminfo: memFree=125476464/131249996 swapFree=33010684/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0.9 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 241 28725 0 0 0 0 79 11 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49723] ppid=49705 vsize=1240220 memory=922720 CPUtime=11.71 cores=0,2
/proc/49723/stat : 49723 (roundingsat) R 49705 49705 48846 0 -1 4194304 96119 0 0 0 1074 97 0 0 20 0 1 0 51447444 1269985280 230680 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 310055 230680 2400 1147 0 297482 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1244412 KiB
Current children cumulated memory: 925664 KiB

[startup+25.5002 s]
/proc/loadavg: 4.66 4.28 4.17 5/277 49729
/proc/meminfo: memFree=124935284/131249996 swapFree=33010684/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0.9 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 241 28725 0 0 0 0 79 11 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49723] ppid=49705 vsize=1350128 memory=1034192 CPUtime=24.48 cores=0,2
/proc/49723/stat : 49723 (roundingsat) R 49705 49705 48846 0 -1 4194304 104797 0 0 0 2296 152 0 0 20 0 1 0 51447444 1382531072 258548 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 337532 258548 2432 1147 0 324959 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1354320 KiB
Current children cumulated memory: 1037136 KiB

[startup+51.1057 s]
/proc/loadavg: 4.68 4.32 4.19 5/277 49730
/proc/meminfo: memFree=124353328/131249996 swapFree=33010684/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0.9 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 241 28725 0 0 0 0 79 11 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49723] ppid=49705 vsize=1429476 memory=1116252 CPUtime=50.02 cores=0,2
/proc/49723/stat : 49723 (roundingsat) R 49705 49705 48846 0 -1 4194304 116096 0 0 0 4819 183 0 0 20 0 1 0 51447444 1463783424 279063 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 357369 279063 2432 1147 0 344796 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1433668 KiB
Current children cumulated memory: 1119196 KiB

[startup+102.3 s]
/proc/loadavg: 4.34 4.29 4.18 5/276 49731
/proc/meminfo: memFree=122444208/131249996 swapFree=33010684/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0.9 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 241 28725 0 0 0 0 79 11 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49723] ppid=49705 vsize=1489832 memory=1159612 CPUtime=100.99 cores=0,2
/proc/49723/stat : 49723 (roundingsat) R 49705 49705 48846 0 -1 4194304 117367 0 0 0 9881 218 0 0 20 0 1 0 51447444 1525587968 289903 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 372458 289903 2432 1147 0 359885 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 1494024 KiB
Current children cumulated memory: 1162556 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.26 4.18 5/276 49733
/proc/meminfo: memFree=120601944/131249996 swapFree=33010684/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0.9 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 241 28725 0 0 0 0 79 11 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49723] ppid=49705 vsize=1585532 memory=1259028 CPUtime=160.76 cores=0,2
/proc/49723/stat : 49723 (roundingsat) R 49705 49705 48846 0 -1 4194304 125118 0 0 0 15807 269 0 0 20 0 1 0 51447444 1623584768 314757 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 396383 314757 2432 1147 0 383810 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 1589724 KiB
Current children cumulated memory: 1261972 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.21 4.17 5/275 49735
/proc/meminfo: memFree=119192648/131249996 swapFree=33010684/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0.9 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 241 28725 0 0 0 0 79 11 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49723] ppid=49705 vsize=1523824 memory=1216588 CPUtime=220.52 cores=0,2
/proc/49723/stat : 49723 (roundingsat) R 49705 49705 48846 0 -1 4194304 126279 0 0 0 21744 308 0 0 20 0 1 0 51447444 1560395776 304147 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 380956 304147 2528 1147 0 368383 0

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

[startup+3282.3 s]
/proc/loadavg: 4.06 4.14 4.12 5/273 49902
/proc/meminfo: memFree=6641260/131249996 swapFree=33010684/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0.9 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 241 28725 0 0 0 0 79 11 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49723] ppid=49705 vsize=3322688 memory=2992532 CPUtime=3268.22 cores=0,2
/proc/49723/stat : 49723 (roundingsat) R 49705 49705 48846 0 -1 4194304 378393 0 0 0 324097 2725 0 0 20 0 1 0 51447444 3402432512 748133 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 830672 748133 2528 1147 0 818099 0
Current children cumulated CPU time: 3269.12 s
Current children cumulated vsize: 3326880 KiB
Current children cumulated memory: 2995476 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/274 49906
/proc/meminfo: memFree=5647404/131249996 swapFree=33010684/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0.9 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 241 28725 0 0 0 0 79 11 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49723] ppid=49705 vsize=3322688 memory=2992532 CPUtime=3328 cores=0,2
/proc/49723/stat : 49723 (roundingsat) R 49705 49705 48846 0 -1 4194304 378516 0 0 0 330068 2732 0 0 20 0 1 0 51447444 3402432512 748133 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 830672 748133 2528 1147 0 818099 0
Current children cumulated CPU time: 3328.9 s
Current children cumulated vsize: 3326880 KiB
Current children cumulated memory: 2995476 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.15 4.12 5/275 49915
/proc/meminfo: memFree=2978540/131249996 swapFree=33010684/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0.9 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 241 28725 0 0 0 0 79 11 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49723] ppid=49705 vsize=3322688 memory=2992532 CPUtime=3387.79 cores=0,2
/proc/49723/stat : 49723 (roundingsat) R 49705 49705 48846 0 -1 4194304 378788 0 0 0 336020 2759 0 0 20 0 1 0 51447444 3402432512 748133 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 830672 748133 2528 1147 0 818099 0
Current children cumulated CPU time: 3388.69 s
Current children cumulated vsize: 3326880 KiB
Current children cumulated memory: 2995476 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.12 5/276 49918
/proc/meminfo: memFree=865632/131249996 swapFree=33010160/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0.9 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 241 28725 0 0 0 0 79 11 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49723] ppid=49705 vsize=3322688 memory=2992532 CPUtime=3447.55 cores=0,2
/proc/49723/stat : 49723 (roundingsat) R 49705 49705 48846 0 -1 4194304 378788 0 0 0 341913 2842 0 0 20 0 1 0 51447444 3402432512 748133 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 830672 748133 2528 1147 0 818099 0
Current children cumulated CPU time: 3448.45 s
Current children cumulated vsize: 3326880 KiB
Current children cumulated memory: 2995476 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/276 49920
/proc/meminfo: memFree=645956/131249996 swapFree=33010160/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0.9 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 241 28725 0 0 0 0 79 11 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49723] ppid=49705 vsize=3322688 memory=2992532 CPUtime=3507.18 cores=0,2
/proc/49723/stat : 49723 (roundingsat) R 49705 49705 48846 0 -1 4194304 378914 0 0 0 347854 2864 0 0 20 0 1 0 51447444 3402432512 748133 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 830672 748133 2528 1147 0 818099 0
Current children cumulated CPU time: 3508.08 s
Current children cumulated vsize: 3326880 KiB
Current children cumulated memory: 2995476 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/275 49922
/proc/meminfo: memFree=640428/131249996 swapFree=33010160/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0.9 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 241 28725 0 0 0 0 79 11 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49723] ppid=49705 vsize=3353096 memory=3022940 CPUtime=3566.98 cores=0,2
/proc/49723/stat : 49723 (roundingsat) R 49705 49705 48846 0 -1 4194304 380782 0 0 0 353756 2942 0 0 20 0 1 0 51447444 3433570304 755735 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 838274 755735 2528 1147 0 825701 0
Current children cumulated CPU time: 3567.88 s
Current children cumulated vsize: 3357288 KiB
Current children cumulated memory: 3025884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.7 s]
/proc/loadavg: 4.13 4.13 4.11 4/271 49953
/proc/meminfo: memFree=6615756/131249996 swapFree=33010160/33010684
[pid=49705] ppid=49702 vsize=4192 memory=2944 CPUtime=0.9 cores=0,2
/proc/49705/stat : 49705 (run-opt-ls-log.) S 49702 49705 48846 0 -1 4194304 241 28725 0 0 0 0 79 11 20 0 1 0 51447351 4292608 736 18446744073709551615 94327418028032 94327418922565 140732000066720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327419161616 94327419209360 94327450492928 140732000074011 140732000074209 140732000074209 140732000079811 0
/proc/49705/statm: 1048 736 672 219 0 110 0
[pid=49723] ppid=49705 vsize=3353096 memory=3022900 CPUtime=3599.11 cores=0,2
/proc/49723/stat : 49723 (roundingsat) R 49705 49705 48846 0 -1 4194304 381372 0 0 0 356913 2998 0 0 20 0 1 0 51447444 3433570304 755725 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 838274 755725 2528 1147 0 825701 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3357288 KiB
Current children cumulated memory: 3025844 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.797897 s, system=0.113111 s

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

# cumulated CPU time of all completed processes:  user=3570.01 s, system=30.2392 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+3615.2 s]
/proc/loadavg: 4.13 4.13 4.11 2/266 49965
/proc/meminfo: memFree=6587996/131249996 swapFree=33010160/33010684
[pid=49723] ppid=49702 vsize=3353096 memory=3023156 CPUtime=3599.17 cores=0,2
/proc/49723/stat : 49723 (roundingsat) D 49702 49705 48846 0 -1 4194304 381373 0 2 0 356913 3004 0 0 20 0 1 0 51447444 3433570304 755789 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 838274 755789 2592 1147 0 825701 0
Current cumulated CPU time of completed processes: 0.911008 s
Current children cumulated CPU time: 3599.17 s
Current children cumulated vsize: 3353096 KiB
Current children cumulated memory: 3023156 KiB

[startup+3615.6 s]
/proc/loadavg: 4.13 4.13 4.11 2/266 49965
/proc/meminfo: memFree=6587996/131249996 swapFree=33010160/33010684
[pid=49723] ppid=49702 vsize=3353096 memory=3023156 CPUtime=3599.18 cores=0,2
/proc/49723/stat : 49723 (roundingsat) D 49702 49705 48846 0 -1 4194304 381373 0 2 0 356913 3005 0 0 20 0 1 0 51447444 3433570304 755789 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 838274 755789 2592 1147 0 825701 0
Current cumulated CPU time of completed processes: 0.911008 s
Current children cumulated CPU time: 3599.18 s
Current children cumulated vsize: 3353096 KiB
Current children cumulated memory: 3023156 KiB

[startup+3615.8 s]
/proc/loadavg: 4.13 4.13 4.11 2/266 49965
/proc/meminfo: memFree=6587996/131249996 swapFree=33010160/33010684
[pid=49723] ppid=49702 vsize=3353096 memory=3023156 CPUtime=3599.19 cores=0,2
/proc/49723/stat : 49723 (roundingsat) D 49702 49705 48846 0 -1 4194304 381373 0 2 0 356914 3005 0 0 20 0 1 0 51447444 3433570304 755789 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 838274 755789 2592 1147 0 825701 0
Current cumulated CPU time of completed processes: 0.911008 s
Current children cumulated CPU time: 3599.19 s
Current children cumulated vsize: 3353096 KiB
Current children cumulated memory: 3023156 KiB

[startup+3615.9 s]
/proc/loadavg: 4.13 4.13 4.11 2/266 49965
/proc/meminfo: memFree=6587996/131249996 swapFree=33010160/33010684
[pid=49723] ppid=49702 vsize=3336472 memory=3011896 CPUtime=3599.24 cores=0,2
/proc/49723/stat : 49723 (roundingsat) R 49702 49705 48846 0 -1 4194304 381379 0 2 0 356918 3006 0 0 20 0 1 0 51447444 3416547328 752974 18446744073709551615 4227072 8923433 140732224482560 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 23437312 140732224489718 140732224490024 140732224490024 140732224495594 0
/proc/49723/statm: 834118 752974 2592 1147 0 821545 0
Current cumulated CPU time of completed processes: 0.911008 s
Current children cumulated CPU time: 3599.24 s
Current children cumulated vsize: 3336472 KiB
Current children cumulated memory: 3011896 KiB

Child status: 2

Real time (s): 3616
CPU time (s): 3600.25
CPU user time (s): 3570.01
CPU system time (s): 30.2392
CPU usage (%): 99.5646
Max. virtual memory (cumulated for all children) (KiB): 3396412
Max. memory (cumulated for all children) (KiB): 3064960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.01
system time used= 30.2392
maximum resident set size= 3062016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 410362
page faults= 2
swaps= 0
block input operations= 3272
block output operations= 53883704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22765
involuntary context switches= 9660


# summary of solver processes directly reported to runsolver:
#   pid: 49705,49723
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3570.01
#   total CPU system time (s): 30.2392

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.50868 second user time and 17.428 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-01 10:14:49
IDJOB=4489601
IDBENCH=147558
IDSOLVER=3356
FILE ID=nodeC029/4489601-1751357689
RUNJOBID= nodeC029-1751350437-48856
SLURM_JOB_ID= 9598138
Free space on /tmp= 432924 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
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 --file-size-limit 102400 -w /tmp/evaluation-result-4489601-1751357689/watcher-4489601-1751357689 -o /tmp/evaluation-result-4489601-1751357689/solver-4489601-1751357689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751350437-48856 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4489601-1751357689.opb PROOFDIR/proof-4489601-1751357689

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

MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472
RANDOM SEED=1450135855

nodeC029 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.726
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.46
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.745
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.410
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.250
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.46
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.714
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.46
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.786
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.46
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		: 3697.985
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.46
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		: 3599.856
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        117179368 kB
MemAvailable:   127923344 kB
Buffers:            3280 kB
Cached:         11538288 kB
SwapCached:            0 kB
Active:          1954716 kB
Inactive:       11281004 kB
Active(anon):    1712216 kB
Inactive(anon):        0 kB
Active(file):     242500 kB
Inactive(file): 11281004 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             89892 kB
Writeback:            12 kB
AnonPages:       1696900 kB
Mapped:           112756 kB
Shmem:             18060 kB
KReclaimable:     119420 kB
Slab:             210808 kB
SReclaimable:     119420 kB
SUnreclaim:        91388 kB
KernelStack:        4304 kB
PageTables:         6364 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2465036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1001472 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432900 MiB
End job on nodeC029 at 2025-07-01 11:15:05