Trace number 4489877

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)317 3601.52 3633.22

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
MD5SUM41281aaad41c07f4dcd6eb689ad0db2a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark220
Best CPU time to get the best result obtained on this benchmark3586.03
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 497468
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 497468
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.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4489877-1751371444.opb'
0.66/0.79	c 	read 17.23MB  (771.49ms)
0.66/0.79	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.77/8.84	c output proof to 'PROOFDIR/proof-4489877-1751371444'
0.77/8.84	c 
0.77/8.84	c make graph and approximate orbits
1.42/9.59	c	 [group: #orbits ~= 0] (752.37ms)
1.42/9.59	c 
1.42/9.59	c detect special group actions
1.42/9.59	c 	probe for Johnson action (limit=64)
1.51/9.60	c 	probe for row-column symmetry (limit=64, splits=16.78M)
1.51/9.62	c 	probe for row symmetry (limit=64, splits=16.78M)
1.51/9.63	c 	 (38.36ms)
1.51/9.63	c 
1.51/9.63	c detect symmetries on remainder
1.51/9.64	c 	[graph: #vertices 706680 #edges 2766358]
1.51/9.65	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
1.61/9.73	c 	 [group: #symmetries 1.00*10^0 #generators 0] (97.82ms)
1.61/9.73	c 
1.61/9.73	c finalize break order and special generators
1.61/9.73	c 
1.61/9.73	c generation finished
1.61/9.73	c 	[sbp: #constraints 0 #add_vars 0]
1.61/9.73	c 
1.61/9.73	c write result to 'HOME/instance-4489877-1751371444.opb.pre'
1.61/9.79	c 	wrote 17.23MB (61.09ms)
1.61/9.79	c ------------------------------------------------------------------
1.61/9.79	c                8054.53ms 82.39% other
1.61/9.79	c                 771.49ms  7.89% parse
1.61/9.79	c                 752.37ms  7.70% approx_orbits
1.61/9.79	c                  97.82ms  1.00% detect_generic
1.61/9.79	c                  61.09ms  0.62% output
1.61/9.79	c                  38.36ms  0.39% detect_special
1.61/9.79	c                   0.66ms  0.01% finalize_order
1.61/9.79	c         ───────────────────────────────────────────────
1.61/9.79	c                9776.32ms   100% total
1.61/9.79	c ------------------------------------------------------------------
1.81/10.01	c RoundingSat 2
1.81/10.01	c branch pb25
1.81/10.01	c commit 63f22ad
5.77/13.91	c #variables 10000 #constraints 656900
5.77/13.91	c objective is ce32 
6.57/14.78	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
6.57/14.78	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
6.57/14.78	c bounds 5698 >= 0 @ 3.9832
8.66/16.86	c rational objective 160.199
12.35/20.57	c bounds 5697 >= 0 @ 9.63589
12.35/20.58	c bounds 5692 >= 0 @ 9.64208
12.35/20.58	c bounds 5624 >= 0 @ 9.64618
12.35/20.59	c bounds 5537 >= 0 @ 9.65299
12.45/20.60	c bounds 5521 >= 0 @ 9.65956
12.45/20.62	c bounds 5512 >= 0 @ 9.67961
12.45/20.63	c bounds 5449 >= 0 @ 9.68617
12.45/20.66	c bounds 5382 >= 0 @ 9.71065
12.45/20.66	c bounds 5233 >= 0 @ 9.71416
12.45/20.67	c bounds 5177 >= 0 @ 9.7195
12.45/20.68	c bounds 5096 >= 0 @ 9.72294
12.55/20.73	c bounds 5057 >= 0 @ 9.77849
12.55/20.75	c bounds 5040 >= 0 @ 9.79167
12.55/20.76	c bounds 4997 >= 0 @ 9.8009
12.55/20.77	c bounds 4992 >= 0 @ 9.80493
12.55/20.78	c bounds 4948 >= 0 @ 9.81482
12.55/20.78	c bounds 4909 >= 0 @ 9.81886
12.55/20.79	c bounds 4856 >= 0 @ 9.82317
12.65/20.81	c bounds 4811 >= 0 @ 9.83953
12.65/20.82	c bounds 4740 >= 0 @ 9.84477
12.65/20.82	c bounds 4634 >= 0 @ 9.85075
12.65/20.90	c bounds 4632 >= 0 @ 9.92096
12.75/20.90	c bounds 4553 >= 0 @ 9.92688
12.75/20.91	c bounds 4463 >= 0 @ 9.93156
12.75/20.97	c bounds 4461 >= 0 @ 9.98694
12.75/20.98	c bounds 4456 >= 0 @ 10.0008
12.86/21.07	c bounds 4331 >= 0 @ 10.0781
12.86/21.08	c bounds 4277 >= 0 @ 10.0927
12.86/21.11	c bounds 4259 >= 0 @ 10.117
12.97/21.11	c bounds 4237 >= 0 @ 10.1216
13.05/21.23	c bounds 4214 >= 0 @ 10.2403
13.15/21.35	c bounds 4212 >= 0 @ 10.3511
13.15/21.35	c bounds 4210 >= 0 @ 10.3559
13.15/21.36	c bounds 4209 >= 0 @ 10.3598
13.15/21.37	c bounds 4203 >= 0 @ 10.3754
13.15/21.38	c bounds 3935 >= 0 @ 10.3797
13.15/21.39	c bounds 3931 >= 0 @ 10.3827
13.25/21.42	c bounds 3907 >= 0 @ 10.408
13.25/21.43	c bounds 3844 >= 0 @ 10.4178
13.25/21.43	c bounds 3790 >= 0 @ 10.4243
13.25/21.46	c bounds 3760 >= 0 @ 10.4442
13.25/21.47	c bounds 3747 >= 0 @ 10.4553
13.25/21.48	c bounds 3692 >= 0 @ 10.46
13.25/21.48	c bounds 3691 >= 0 @ 10.465
13.34/21.59	c bounds 3686 >= 0 @ 10.5683
13.55/21.76	c bounds 3621 >= 0 @ 10.732
13.55/21.77	c bounds 3578 >= 0 @ 10.7386
13.65/21.80	c bounds 3527 >= 0 @ 10.7655
13.65/21.81	c bounds 3390 >= 0 @ 10.7698
13.65/21.83	c bounds 3360 >= 0 @ 10.794
13.65/21.84	c bounds 3359 >= 0 @ 10.7993
13.65/21.86	c bounds 3335 >= 0 @ 10.8139
13.65/21.87	c bounds 3333 >= 0 @ 10.8204
13.74/22.00	c bounds 3323 >= 0 @ 10.942
14.14/22.34	c bounds 3311 >= 0 @ 11.2797
14.34/22.51	c bounds 3242 >= 0 @ 11.442
14.34/22.53	c bounds 3239 >= 0 @ 11.456
14.34/22.60	c bounds 3234 >= 0 @ 11.5149
14.44/22.61	c bounds 3229 >= 0 @ 11.5275
14.44/22.62	c bounds 3152 >= 0 @ 11.5336
15.64/23.81	c bounds 3145 >= 0 @ 12.6954
15.64/23.83	c bounds 3143 >= 0 @ 12.7127
16.03/24.29	c bounds 3133 >= 0 @ 13.154
17.54/25.71	c bounds 3123 >= 0 @ 14.5468
20.83/29.11	c #Conflicts:       1000 | #Constraints:     657992
20.83/29.11	c bounds 3117 >= 0 @ 17.8517
21.22/29.40	c bounds 3091 >= 0 @ 18.1443
21.22/29.43	c bounds 3067 >= 0 @ 18.1685
21.22/29.49	c bounds 3059 >= 0 @ 18.2308
21.32/29.51	c bounds 3049 >= 0 @ 18.2455
21.52/29.71	c bounds 3042 >= 0 @ 18.4364
21.52/29.72	c bounds 3014 >= 0 @ 18.4455
21.52/29.73	c bounds 2999 >= 0 @ 18.4602
21.52/29.75	c bounds 2985 >= 0 @ 18.4818
21.52/29.76	c bounds 2969 >= 0 @ 18.4908
21.52/29.78	c bounds 2940 >= 0 @ 18.5017
21.62/29.89	c bounds 2939 >= 0 @ 18.6137
21.72/29.93	c bounds 2917 >= 0 @ 18.6481
21.83/30.06	c bounds 2912 >= 0 @ 18.7695
21.83/30.08	c bounds 2907 >= 0 @ 18.7874
21.83/30.09	c bounds 2866 >= 0 @ 18.8034
21.93/30.19	c bounds 2861 >= 0 @ 18.8951
22.02/30.21	c bounds 2855 >= 0 @ 18.9131
22.02/30.22	c bounds 2810 >= 0 @ 18.9272
22.02/30.24	c bounds 2801 >= 0 @ 18.9438
22.12/30.36	c bounds 2782 >= 0 @ 19.0554
22.22/30.50	c bounds 2764 >= 0 @ 19.1901
22.32/30.51	c bounds 2728 >= 0 @ 19.2063
22.32/30.54	c bounds 2726 >= 0 @ 19.232
22.32/30.56	c bounds 2709 >= 0 @ 19.2498
22.32/30.59	c bounds 2665 >= 0 @ 19.2711
22.52/30.73	c bounds 2632 >= 0 @ 19.4174
22.52/30.79	c bounds 2611 >= 0 @ 19.4652
22.62/30.81	c bounds 2602 >= 0 @ 19.4822
22.71/30.91	c bounds 2590 >= 0 @ 19.5856
22.71/30.95	c bounds 2586 >= 0 @ 19.6201
22.71/30.96	c bounds 2571 >= 0 @ 19.634
22.83/31.07	c bounds 2557 >= 0 @ 19.7417
22.83/31.09	c bounds 2544 >= 0 @ 19.7563
22.83/31.11	c bounds 2510 >= 0 @ 19.7744
22.93/31.12	c bounds 2509 >= 0 @ 19.7843
23.02/31.22	c bounds 2493 >= 0 @ 19.8882
23.02/31.24	c bounds 2492 >= 0 @ 19.8959
23.02/31.27	c bounds 2488 >= 0 @ 19.9246
23.02/31.28	c bounds 2477 >= 0 @ 19.9346
23.12/31.31	c bounds 2466 >= 0 @ 19.9584
23.12/31.33	c bounds 2465 >= 0 @ 19.9768
23.12/31.35	c bounds 2449 >= 0 @ 19.9949
23.21/31.46	c bounds 2447 >= 0 @ 20.104
23.41/31.62	c bounds 2433 >= 0 @ 20.2584
23.41/31.63	c bounds 2401 >= 0 @ 20.2728
23.41/31.65	c bounds 2390 >= 0 @ 20.289
23.51/31.78	c bounds 2382 >= 0 @ 20.4218
23.51/31.80	c bounds 2381 >= 0 @ 20.4316
23.72/31.94	c bounds 2358 >= 0 @ 20.5698
23.72/31.95	c bounds 2318 >= 0 @ 20.5805
23.92/32.16	c bounds 2314 >= 0 @ 20.7855
24.01/32.21	c bounds 2313 >= 0 @ 20.836
24.11/32.31	c bounds 2311 >= 0 @ 20.9329
24.11/32.34	c bounds 2292 >= 0 @ 20.9523
24.11/32.37	c bounds 2291 >= 0 @ 20.9866
24.22/32.47	c bounds 2280 >= 0 @ 21.0821
25.31/33.59	c bounds 2276 >= 0 @ 22.1702
25.41/33.60	c bounds 2273 >= 0 @ 22.1804
25.41/33.61	c bounds 2271 >= 0 @ 22.1943
25.41/33.66	c bounds 2267 >= 0 @ 22.2348
25.51/33.72	c bounds 2261 >= 0 @ 22.2929
25.51/33.74	c bounds 2233 >= 0 @ 22.3162
25.60/33.86	c bounds 2215 >= 0 @ 22.4229
25.60/33.87	c bounds 2211 >= 0 @ 22.4366
25.70/33.90	c bounds 2193 >= 0 @ 22.4652
25.70/33.92	c bounds 2191 >= 0 @ 22.4792
25.82/34.03	c bounds 2177 >= 0 @ 22.5893
25.92/34.17	c bounds 2133 >= 0 @ 22.7235
26.01/34.20	c bounds 2132 >= 0 @ 22.7551
26.10/34.32	c bounds 2130 >= 0 @ 22.872
26.10/34.33	c bounds 2052 >= 0 @ 22.8825
26.51/34.70	c bounds 2046 >= 0 @ 23.2301
26.51/34.71	c bounds 2045 >= 0 @ 23.2402
26.51/34.74	c bounds 2011 >= 0 @ 23.2677
26.70/34.95	c bounds 2003 >= 0 @ 23.4703
26.70/35.00	c bounds 2001 >= 0 @ 23.5095
26.92/35.12	c bounds 1997 >= 0 @ 23.6281
26.92/35.14	c bounds 1958 >= 0 @ 23.6409
26.92/35.15	c bounds 1906 >= 0 @ 23.6499
26.92/35.17	c bounds 1892 >= 0 @ 23.6614
26.92/35.19	c bounds 1870 >= 0 @ 23.6766
27.10/35.30	c bounds 1840 >= 0 @ 23.7856
27.10/35.31	c bounds 1777 >= 0 @ 23.7952
27.49/35.73	c bounds 1756 >= 0 @ 24.2015
28.00/36.22	c bounds 1742 >= 0 @ 24.6667
28.00/36.25	c bounds 1720 >= 0 @ 24.696
29.19/37.42	c bounds 1708 >= 0 @ 25.8516
30.09/38.32	c bounds 1707 >= 0 @ 26.7153
30.09/38.35	c bounds 1701 >= 0 @ 26.742
30.19/38.47	c bounds 1657 >= 0 @ 26.8602
30.29/38.59	c bounds 1652 >= 0 @ 26.98
40.44/48.71	c #Conflicts:       2000 | #Constraints:     659121
40.44/48.71	c INPROCESSING
40.44/48.71	c GARBAGE COLLECT
40.44/48.71	c bounds 1640 >= 0 @ 37.0311
40.44/48.72	c bounds 1603 >= 0 @ 37.0411
40.44/48.74	c bounds 1573 >= 0 @ 37.0493
40.44/48.76	c bounds 1556 >= 0 @ 37.0686
40.44/48.77	c bounds 1552 >= 0 @ 37.0808
61.97/70.38	c #Conflicts:       3000 | #Constraints:     658951
61.97/70.38	c #Conflicts:       4000 | #Constraints:     659968
61.97/70.38	c INPROCESSING
61.97/70.38	c GARBAGE COLLECT
61.97/70.38	c bounds 1533 >= 0 @ 58.2872
61.97/70.39	c bounds 1532 >= 0 @ 58.2991
62.07/70.40	c bounds 1531 >= 0 @ 58.3098
62.17/70.54	c bounds 1529 >= 0 @ 58.439
62.17/70.56	c bounds 1523 >= 0 @ 58.4553
62.17/70.57	c bounds 1517 >= 0 @ 58.4682
62.17/70.59	c bounds 1514 >= 0 @ 58.4779
62.47/70.86	c bounds 1512 >= 0 @ 58.7439
62.47/70.87	c bounds 1511 >= 0 @ 58.7555
62.78/71.12	c bounds 1506 >= 0 @ 58.9985
62.97/71.32	c bounds 1503 >= 0 @ 59.1988
62.97/71.38	c bounds 1494 >= 0 @ 59.2517
63.16/71.57	c bounds 1482 >= 0 @ 59.4421
63.56/71.92	c bounds 1480 >= 0 @ 59.7785
63.56/71.93	c bounds 1467 >= 0 @ 59.7881
63.68/72.08	c bounds 1466 >= 0 @ 59.9344
63.68/72.10	c bounds 1461 >= 0 @ 59.9551
63.77/72.16	c bounds 1457 >= 0 @ 60.003
64.26/72.64	c bounds 1442 >= 0 @ 60.4709
64.56/72.95	c bounds 1424 >= 0 @ 60.7725
64.67/73.08	c bounds 1423 >= 0 @ 60.9009
65.06/73.45	c bounds 1402 >= 0 @ 61.2576
65.26/73.60	c bounds 1392 >= 0 @ 61.4144
66.35/74.71	c bounds 1388 >= 0 @ 62.4936
66.95/75.33	c bounds 1371 >= 0 @ 63.1003
66.95/75.38	c bounds 1365 >= 0 @ 63.1407
67.06/75.41	c bounds 1360 >= 0 @ 63.1747
67.06/75.43	c bounds 1337 >= 0 @ 63.1953
67.15/75.59	c bounds 1317 >= 0 @ 63.3448
67.25/75.60	c bounds 1310 >= 0 @ 63.3567
67.35/75.72	c bounds 1286 >= 0 @ 63.4761
67.35/75.73	c bounds 1264 >= 0 @ 63.4873
67.46/75.86	c bounds 1259 >= 0 @ 63.6076
67.46/75.88	c bounds 1251 >= 0 @ 63.6336
67.55/75.91	c bounds 1221 >= 0 @ 63.6555
67.55/75.93	c bounds 1218 >= 0 @ 63.6751
67.67/76.05	c bounds 1210 >= 0 @ 63.7967
67.85/76.21	c bounds 1193 >= 0 @ 63.9465
67.85/76.25	c bounds 1176 >= 0 @ 63.9842
67.95/76.37	c bounds 1172 >= 0 @ 64.0992
68.05/76.46	c bounds 1164 >= 0 @ 64.1848
68.05/76.49	c bounds 1160 >= 0 @ 64.2186
68.15/76.52	c bounds 1155 >= 0 @ 64.2408
68.15/76.53	c bounds 1142 >= 0 @ 64.2518
68.15/76.58	c bounds 1137 >= 0 @ 64.3001
68.35/76.79	c bounds 1107 >= 0 @ 64.5056
68.55/76.96	c bounds 1106 >= 0 @ 64.6653
68.55/76.99	c bounds 1095 >= 0 @ 64.6916
68.55/77.00	c bounds 1093 >= 0 @ 64.7034
68.76/77.15	c bounds 1063 >= 0 @ 64.8531
68.84/77.20	c bounds 1059 >= 0 @ 64.9003
68.84/77.22	c bounds 1057 >= 0 @ 64.919
68.84/77.24	c bounds 1052 >= 0 @ 64.9336
68.84/77.27	c bounds 1040 >= 0 @ 64.9673
68.84/77.29	c bounds 1038 >= 0 @ 64.9813
68.94/77.33	c bounds 1031 >= 0 @ 65.0172
68.94/77.35	c bounds 1013 >= 0 @ 65.0367
69.04/77.45	c bounds 1012 >= 0 @ 65.1326
69.04/77.48	c bounds 1008 >= 0 @ 65.1569
69.25/77.60	c bounds 987 >= 0 @ 65.2772
69.34/77.79	c bounds 977 >= 0 @ 65.4588
69.44/77.83	c bounds 975 >= 0 @ 65.4982
69.66/78.02	c bounds 973 >= 0 @ 65.6849
69.66/78.05	c bounds 968 >= 0 @ 65.7078
69.85/78.20	c bounds 964 >= 0 @ 65.8586
69.85/78.22	c bounds 961 >= 0 @ 65.87
69.94/78.34	c bounds 954 >= 0 @ 65.994
70.04/78.49	c bounds 946 >= 0 @ 66.1395
70.34/78.76	c bounds 943 >= 0 @ 66.4021
70.44/78.80	c bounds 924 >= 0 @ 66.4442
70.65/79.06	c #Conflicts:       5000 | #Constraints:     659445
70.65/79.06	c bounds 923 >= 0 @ 66.6963
70.65/79.10	c bounds 911 >= 0 @ 66.733
70.83/79.26	c bounds 907 >= 0 @ 66.889
71.04/79.42	c bounds 897 >= 0 @ 67.0521
71.04/79.45	c bounds 886 >= 0 @ 67.0779
71.04/79.47	c bounds 881 >= 0 @ 67.0947
71.14/79.51	c bounds 874 >= 0 @ 67.1313
71.14/79.53	c bounds 873 >= 0 @ 67.1467
71.24/79.67	c bounds 872 >= 0 @ 67.2776
71.24/79.69	c bounds 871 >= 0 @ 67.2971
71.34/79.71	c bounds 866 >= 0 @ 67.3151
71.34/79.74	c bounds 859 >= 0 @ 67.3418
71.65/80.09	c bounds 858 >= 0 @ 67.6852
71.84/80.28	c bounds 839 >= 0 @ 67.8774
72.03/80.46	c bounds 832 >= 0 @ 68.049
72.14/80.51	c bounds 827 >= 0 @ 68.0922
72.14/80.52	c bounds 823 >= 0 @ 68.1039
72.14/80.54	c bounds 820 >= 0 @ 68.1216
72.14/80.57	c bounds 805 >= 0 @ 68.1459
72.33/80.74	c bounds 802 >= 0 @ 68.305
72.33/80.78	c bounds 798 >= 0 @ 68.3437
72.44/80.89	c bounds 796 >= 0 @ 68.4519
72.64/81.09	c bounds 795 >= 0 @ 68.6422
73.03/81.47	c bounds 790 >= 0 @ 69.0132
73.23/81.68	c bounds 787 >= 0 @ 69.2225
73.43/81.88	c bounds 783 >= 0 @ 69.4156
73.74/82.11	c bounds 782 >= 0 @ 69.6421
73.74/82.13	c bounds 781 >= 0 @ 69.6613
73.92/82.30	c bounds 775 >= 0 @ 69.8194
73.92/82.33	c bounds 771 >= 0 @ 69.8471
73.92/82.38	c bounds 766 >= 0 @ 69.8928
74.02/82.48	c bounds 763 >= 0 @ 69.9921
74.13/82.50	c bounds 729 >= 0 @ 70.0077
117.60/126.13	c #Conflicts:       6000 | #Constraints:     660511
117.60/126.13	c INPROCESSING
117.60/126.13	c GARBAGE COLLECT
117.60/126.13	c bounds 728 >= 0 @ 113.181
117.79/126.39	c bounds 726 >= 0 @ 113.428
117.88/126.49	c bounds 721 >= 0 @ 113.533
117.99/126.54	c bounds 720 >= 0 @ 113.575
118.19/126.70	c bounds 706 >= 0 @ 113.73
118.49/127.02	c bounds 704 >= 0 @ 114.052
118.49/127.04	c bounds 703 >= 0 @ 114.062
118.60/127.18	c bounds 688 >= 0 @ 114.203
119.78/128.34	c bounds 685 >= 0 @ 115.339
122.59/131.19	c #Conflicts:       7000 | #Constraints:     659395
122.59/131.19	c bounds 676 >= 0 @ 118.125
132.34/140.98	c #Conflicts:       8000 | #Constraints:     660417
132.34/140.98	c bounds 663 >= 0 @ 127.733
214.59/223.47	c #Conflicts:       9000 | #Constraints:     661438
214.59/223.47	c INPROCESSING
214.59/223.47	c GARBAGE COLLECT
214.59/223.47	c #Conflicts:      10000 | #Constraints:     660074
214.59/223.47	c #Conflicts:      11000 | #Constraints:     661077
214.59/223.47	c #Conflicts:      12000 | #Constraints:     662087
214.59/223.47	c INPROCESSING
214.59/223.47	c GARBAGE COLLECT
214.59/223.47	c bounds 658 >= 0 @ 209.225
214.59/223.49	c bounds 655 >= 0 @ 209.24
214.79/223.61	c bounds 647 >= 0 @ 209.358
214.79/223.65	c bounds 646 >= 0 @ 209.394
214.79/223.68	c bounds 638 >= 0 @ 209.422
214.89/223.71	c bounds 628 >= 0 @ 209.443
217.78/226.65	c bounds 623 >= 0 @ 212.312
218.68/227.58	c bounds 622 >= 0 @ 213.217
218.68/227.59	c bounds 620 >= 0 @ 213.232
219.67/228.58	c bounds 618 >= 0 @ 214.188
220.47/229.34	c bounds 614 >= 0 @ 214.933
221.07/229.93	c bounds 601 >= 0 @ 215.5
222.18/231.03	c bounds 590 >= 0 @ 216.575
222.66/231.50	c bounds 589 >= 0 @ 217.042
222.66/231.53	c bounds 588 >= 0 @ 217.063
223.46/232.34	c bounds 572 >= 0 @ 217.868
223.66/232.55	c bounds 571 >= 0 @ 218.067
223.85/232.76	c bounds 570 >= 0 @ 218.268
223.85/232.78	c bounds 569 >= 0 @ 218.289
224.27/233.12	c #Conflicts:      13000 | #Constraints:     660547
224.27/233.12	c bounds 558 >= 0 @ 218.62
225.05/233.90	c bounds 553 >= 0 @ 219.389
315.59/324.78	c #Conflicts:      14000 | #Constraints:     661571
315.59/324.78	c #Conflicts:      15000 | #Constraints:     662586
315.59/324.78	c INPROCESSING
315.59/324.78	c GARBAGE COLLECT
315.59/324.78	c #Conflicts:      16000 | #Constraints:     660761
315.59/324.78	c #Conflicts:      17000 | #Constraints:     661771
315.59/324.78	c #Conflicts:      18000 | #Constraints:     662781
315.59/324.78	c INPROCESSING
315.59/324.78	c GARBAGE COLLECT
315.59/324.78	c rational objective 161.125
322.88/332.06	c bounds 549 >= 0 @ 316.367
341.12/350.37	c #Conflicts:      19000 | #Constraints:     660772
341.12/350.37	c bounds 547 >= 0 @ 334.374
347.01/356.22	c #Conflicts:      20000 | #Constraints:     661791
347.01/356.22	c bounds 546 >= 0 @ 340.133
359.67/368.93	c #Conflicts:      21000 | #Constraints:     662807
359.67/368.93	c INPROCESSING
359.67/368.93	c GARBAGE COLLECT
359.67/368.93	c bounds 545 >= 0 @ 352.561
360.07/369.38	c bounds 543 >= 0 @ 352.997
360.16/369.43	c bounds 542 >= 0 @ 353.036
392.78/402.20	c #Conflicts:      22000 | #Constraints:     660566
392.78/402.20	c #Conflicts:      23000 | #Constraints:     661581
392.78/402.20	c #Conflicts:      24000 | #Constraints:     662591
392.78/402.20	c #Conflicts:      25000 | #Constraints:     663602
392.78/402.20	c INPROCESSING
392.78/402.20	c GARBAGE COLLECT
392.78/402.20	c bounds 541 >= 0 @ 385.185
392.97/402.38	c bounds 539 >= 0 @ 385.361
396.55/405.99	c bounds 538 >= 0 @ 388.921
398.15/407.57	c bounds 537 >= 0 @ 390.478
398.76/408.19	c bounds 531 >= 0 @ 391.086
399.55/408.96	c bounds 530 >= 0 @ 391.845
400.54/409.91	c bounds 528 >= 0 @ 392.784
401.04/410.48	c #Conflicts:      26000 | #Constraints:     661178
401.04/410.48	c bounds 527 >= 0 @ 393.341
401.24/410.62	c bounds 515 >= 0 @ 393.472
401.75/411.12	c bounds 513 >= 0 @ 393.963
402.54/411.93	c bounds 505 >= 0 @ 394.754
402.84/412.21	c bounds 500 >= 0 @ 395.026
402.93/412.33	c bounds 499 >= 0 @ 395.143
403.04/412.49	c bounds 497 >= 0 @ 395.295
403.34/412.72	c bounds 486 >= 0 @ 395.524
403.54/412.93	c bounds 485 >= 0 @ 395.722
403.54/412.95	c bounds 481 >= 0 @ 395.738
404.04/413.44	c bounds 478 >= 0 @ 396.22
404.13/413.52	c bounds 459 >= 0 @ 396.301
404.43/413.83	c bounds 454 >= 0 @ 396.608
404.65/414.11	c bounds 451 >= 0 @ 396.875
408.32/417.78	c bounds 449 >= 0 @ 400.478
408.64/418.01	c bounds 448 >= 0 @ 400.714
409.21/418.69	c bounds 444 >= 0 @ 401.382
409.92/419.38	c bounds 442 >= 0 @ 402.052
468.25/477.88	c #Conflicts:      27000 | #Constraints:     662226
468.25/477.88	c #Conflicts:      28000 | #Constraints:     663245
468.25/477.88	c #Conflicts:      29000 | #Constraints:     664254
468.25/477.88	c INPROCESSING
468.25/477.88	c GARBAGE COLLECT
468.25/477.88	c rational objective 161.199
473.64/483.25	c bounds 441 >= 0 @ 465.364
494.88/504.55	c #Conflicts:      30000 | #Constraints:     661591
494.88/504.55	c bounds 440 >= 0 @ 486.314
521.69/531.43	c #Conflicts:      31000 | #Constraints:     662612
521.69/531.43	c #Conflicts:      32000 | #Constraints:     663625
521.69/531.43	c #Conflicts:      33000 | #Constraints:     664633
521.69/531.43	c INPROCESSING
521.69/531.43	c GARBAGE COLLECT
521.69/531.43	c bounds 438 >= 0 @ 512.733
521.80/531.50	c bounds 437 >= 0 @ 512.793
522.00/531.70	c bounds 430 >= 0 @ 512.991
522.09/531.87	c bounds 424 >= 0 @ 513.156
522.20/531.90	c bounds 416 >= 0 @ 513.185
522.20/531.92	c bounds 414 >= 0 @ 513.207
525.30/535.03	c bounds 406 >= 0 @ 516.238
529.67/539.48	c #Conflicts:      34000 | #Constraints:     661797
529.67/539.48	c bounds 393 >= 0 @ 520.617
536.46/546.24	c bounds 391 >= 0 @ 527.25
607.26/617.24	c #Conflicts:      35000 | #Constraints:     662819
607.26/617.24	c #Conflicts:      36000 | #Constraints:     663832
607.26/617.24	c #Conflicts:      37000 | #Constraints:     664840
607.26/617.24	c INPROCESSING
607.26/617.24	c GARBAGE COLLECT
607.26/617.24	c rational objective 161.539
614.25/624.22	c bounds 390 >= 0 @ 604.549
614.25/624.25	c bounds 389 >= 0 @ 604.572
614.94/624.91	c bounds 388 >= 0 @ 605.215
614.94/624.94	c bounds 387 >= 0 @ 605.238
614.94/624.97	c bounds 382 >= 0 @ 605.27
616.94/626.97	c bounds 381 >= 0 @ 607.232
617.84/627.83	c bounds 370 >= 0 @ 608.078
618.53/628.59	c bounds 369 >= 0 @ 608.826
622.32/632.36	c #Conflicts:      38000 | #Constraints:     661819
622.32/632.36	c bounds 364 >= 0 @ 612.529
625.03/635.08	c bounds 362 >= 0 @ 615.213
625.12/635.11	c bounds 360 >= 0 @ 615.24
627.41/637.41	c bounds 359 >= 0 @ 617.493
627.51/637.52	c bounds 358 >= 0 @ 617.601
627.51/637.59	c bounds 356 >= 0 @ 617.669
857.28/867.97	c #Conflicts:      39000 | #Constraints:     662850
857.28/867.97	c #Conflicts:      40000 | #Constraints:     663869
857.28/867.97	c #Conflicts:      41000 | #Constraints:     664885
857.28/867.97	c INPROCESSING
857.28/867.97	c GARBAGE COLLECT
857.28/867.97	c #Conflicts:      42000 | #Constraints:     661614
857.28/867.97	c #Conflicts:      43000 | #Constraints:     662626
857.28/867.97	c #Conflicts:      44000 | #Constraints:     663634
857.28/867.97	c #Conflicts:      45000 | #Constraints:     664645
857.28/867.97	c #Conflicts:      46000 | #Constraints:     665659
857.28/867.97	c INPROCESSING
857.28/867.97	c GARBAGE COLLECT
857.28/867.97	c #Conflicts:      47000 | #Constraints:     662195
857.28/867.97	c #Conflicts:      48000 | #Constraints:     663201
857.28/867.97	c #Conflicts:      49000 | #Constraints:     664209
857.28/867.97	c #Conflicts:      50000 | #Constraints:     665217
857.28/867.97	c #Conflicts:      51000 | #Constraints:     666225
857.28/867.97	c INPROCESSING
857.28/867.97	c GARBAGE COLLECT
857.28/867.97	c rational objective 161.54
865.55/876.20	c bounds 354 >= 0 @ 853.208
866.65/877.33	c bounds 352 >= 0 @ 854.315
1040.25/1051.48	c #Conflicts:      52000 | #Constraints:     662746
1040.25/1051.48	c #Conflicts:      53000 | #Constraints:     664060
1040.25/1051.48	c #Conflicts:      54000 | #Constraints:     665344
1040.25/1051.48	c #Conflicts:      55000 | #Constraints:     666723
1040.25/1051.48	c #Conflicts:      56000 | #Constraints:     667827
1040.25/1051.48	c INPROCESSING
1040.25/1051.48	c GARBAGE COLLECT
1040.25/1051.48	c #Conflicts:      57000 | #Constraints:     663379
1040.25/1051.48	c #Conflicts:      58000 | #Constraints:     664395
1040.25/1051.48	c #Conflicts:      59000 | #Constraints:     665404
1040.25/1051.48	c bounds 351 >= 0 @ 1026.54
1089.83/1101.12	c #Conflicts:      60000 | #Constraints:     666415
1089.83/1101.12	c #Conflicts:      61000 | #Constraints:     667423
1089.83/1101.12	c INPROCESSING
1089.83/1101.12	c GARBAGE COLLECT
1089.83/1101.12	c rational objective 161.54
1150.24/1161.72	c #Conflicts:      62000 | #Constraints:     663073
1150.24/1161.72	c #Conflicts:      63000 | #Constraints:     664077
1150.24/1161.72	c #Conflicts:      64000 | #Constraints:     665082
1150.24/1161.72	c #Conflicts:      65000 | #Constraints:     666090
1150.24/1161.72	c #Conflicts:      66000 | #Constraints:     667098
1150.24/1161.72	c INPROCESSING
1150.24/1161.72	c GARBAGE COLLECT
1150.24/1161.72	c #Conflicts:      67000 | #Constraints:     662715
1150.24/1161.72	c bounds 349 >= 0 @ 1135.5
1157.81/1169.30	c #Conflicts:      68000 | #Constraints:     663726
1157.81/1169.30	c bounds 348 >= 0 @ 1142.95
1161.20/1172.79	c bounds 345 >= 0 @ 1146.39
1161.80/1173.39	c bounds 344 >= 0 @ 1146.97
1161.90/1173.42	c bounds 343 >= 0 @ 1147
1162.00/1173.53	c bounds 342 >= 0 @ 1147.1
1162.40/1173.97	c bounds 341 >= 0 @ 1147.53
1227.12/1238.82	c #Conflicts:      69000 | #Constraints:     664745
1227.12/1238.82	c #Conflicts:      70000 | #Constraints:     665752
1227.12/1238.82	c #Conflicts:      71000 | #Constraints:     666763
1227.12/1238.82	c #Conflicts:      72000 | #Constraints:     667768
1227.12/1238.82	c INPROCESSING
1227.12/1238.82	c GARBAGE COLLECT
1227.12/1238.82	c rational objective 161.54
1236.19/1247.92	c bounds 337 >= 0 @ 1220.6
1236.49/1248.29	c bounds 335 >= 0 @ 1220.96
1238.19/1249.99	c bounds 332 >= 0 @ 1222.62
1238.98/1250.79	c bounds 331 >= 0 @ 1223.39
1240.58/1252.30	c bounds 324 >= 0 @ 1224.87
1240.58/1252.32	c bounds 323 >= 0 @ 1224.89
1240.58/1252.35	c bounds 322 >= 0 @ 1224.91
1250.65/1262.48	c #Conflicts:      73000 | #Constraints:     663264
1250.65/1262.48	c bounds 321 >= 0 @ 1234.86
1250.75/1262.51	c bounds 320 >= 0 @ 1234.89
1368.93/1381.06	c #Conflicts:      74000 | #Constraints:     664281
1368.93/1381.06	c #Conflicts:      75000 | #Constraints:     665296
1368.93/1381.06	c #Conflicts:      76000 | #Constraints:     666310
1368.93/1381.06	c #Conflicts:      77000 | #Constraints:     667320
1368.93/1381.06	c #Conflicts:      78000 | #Constraints:     668331
1368.93/1381.06	c INPROCESSING
1368.93/1381.06	c GARBAGE COLLECT
1368.93/1381.06	c rational objective 161.54
1596.92/1609.71	c #Conflicts:      79000 | #Constraints:     663629
1596.92/1609.71	c #Conflicts:      80000 | #Constraints:     664635
1596.92/1609.71	c #Conflicts:      81000 | #Constraints:     665643
1596.92/1609.71	c #Conflicts:      82000 | #Constraints:     666649
1596.92/1609.71	c #Conflicts:      83000 | #Constraints:     667656
1596.92/1609.71	c #Conflicts:      84000 | #Constraints:     668661
1596.92/1609.71	c INPROCESSING
1596.92/1609.71	c GARBAGE COLLECT
1596.92/1609.71	c #Conflicts:      85000 | #Constraints:     663800
1596.92/1609.71	c #Conflicts:      86000 | #Constraints:     664806
1596.92/1609.71	c #Conflicts:      87000 | #Constraints:     665810
1596.92/1609.71	c #Conflicts:      88000 | #Constraints:     666817
1596.92/1609.71	c #Conflicts:      89000 | #Constraints:     667823
1596.92/1609.71	c #Conflicts:      90000 | #Constraints:     668828
1596.92/1609.71	c INPROCESSING
1596.92/1609.71	c GARBAGE COLLECT
1596.92/1609.71	c rational objective 161.54
1847.72/1861.27	c #Conflicts:      91000 | #Constraints:     663811
1847.72/1861.27	c #Conflicts:      92000 | #Constraints:     664964
1847.72/1861.27	c #Conflicts:      93000 | #Constraints:     666120
1847.72/1861.27	c #Conflicts:      94000 | #Constraints:     667200
1847.72/1861.27	c #Conflicts:      95000 | #Constraints:     668309
1847.72/1861.27	c #Conflicts:      96000 | #Constraints:     669387
1847.72/1861.27	c INPROCESSING
1847.72/1861.27	c GARBAGE COLLECT
1847.72/1861.27	c #Conflicts:      97000 | #Constraints:     663886
1847.72/1861.27	c bounds 319 >= 0 @ 1828.22
2080.18/2094.39	c #Conflicts:      98000 | #Constraints:     664903
2080.18/2094.39	c #Conflicts:      99000 | #Constraints:     665919
2080.18/2094.39	c #Conflicts:     100000 | #Constraints:     666933
2080.18/2094.39	c #Conflicts:     101000 | #Constraints:     667944
2080.18/2094.39	c #Conflicts:     102000 | #Constraints:     668957
2080.18/2094.39	c #Conflicts:     103000 | #Constraints:     669962
2080.18/2094.39	c INPROCESSING
2080.18/2094.39	c GARBAGE COLLECT
2080.18/2094.39	c #Conflicts:     104000 | #Constraints:     664362
2080.18/2094.39	c #Conflicts:     105000 | #Constraints:     665371
2080.18/2094.39	c #Conflicts:     106000 | #Constraints:     666376
2080.18/2094.39	c #Conflicts:     107000 | #Constraints:     667382
2080.18/2094.39	c #Conflicts:     108000 | #Constraints:     668394
2080.18/2094.39	c #Conflicts:     109000 | #Constraints:     669397
2080.18/2094.39	c #Conflicts:     110000 | #Constraints:     670404
2080.18/2094.39	c INPROCESSING
2080.18/2094.39	c GARBAGE COLLECT
2080.18/2094.39	c rational objective 161.54
2399.45/2414.57	c #Conflicts:     111000 | #Constraints:     664675
2399.45/2414.57	c #Conflicts:     112000 | #Constraints:     665800
2399.45/2414.57	c #Conflicts:     113000 | #Constraints:     666863
2399.45/2414.57	c #Conflicts:     114000 | #Constraints:     667981
2399.45/2414.57	c #Conflicts:     115000 | #Constraints:     669425
2399.45/2414.57	c #Conflicts:     116000 | #Constraints:     670675
2399.45/2414.57	c #Conflicts:     117000 | #Constraints:     671900
2399.45/2414.57	c INPROCESSING
2399.45/2414.57	c GARBAGE COLLECT
2399.45/2414.57	c #Conflicts:     118000 | #Constraints:     665656
2399.45/2414.57	c #Conflicts:     119000 | #Constraints:     666943
2399.45/2414.57	c #Conflicts:     120000 | #Constraints:     668320
2399.45/2414.57	c #Conflicts:     121000 | #Constraints:     669499
2399.45/2414.57	c #Conflicts:     122000 | #Constraints:     670675
2399.45/2414.57	c #Conflicts:     123000 | #Constraints:     671995
2399.45/2414.57	c #Conflicts:     124000 | #Constraints:     673128
2399.45/2414.57	c INPROCESSING
2399.45/2414.57	c GARBAGE COLLECT
2399.45/2414.57	c rational objective 161.54
2680.26/2696.37	c #Conflicts:     125000 | #Constraints:     665949
2680.26/2696.37	c #Conflicts:     126000 | #Constraints:     666983
2680.26/2696.37	c #Conflicts:     127000 | #Constraints:     668017
2680.26/2696.37	c #Conflicts:     128000 | #Constraints:     669196
2680.26/2696.37	c #Conflicts:     129000 | #Constraints:     670329
2680.26/2696.37	c #Conflicts:     130000 | #Constraints:     671437
2680.26/2696.37	c #Conflicts:     131000 | #Constraints:     672525
2680.26/2696.37	c INPROCESSING
2680.26/2696.37	c GARBAGE COLLECT
2680.26/2696.37	c #Conflicts:     132000 | #Constraints:     665447
2680.26/2696.37	c #Conflicts:     133000 | #Constraints:     666460
2680.26/2696.37	c #Conflicts:     134000 | #Constraints:     667470
2680.26/2696.37	c #Conflicts:     135000 | #Constraints:     668477
2680.26/2696.37	c #Conflicts:     136000 | #Constraints:     669484
2680.26/2696.37	c #Conflicts:     137000 | #Constraints:     670492
2680.26/2696.37	c #Conflicts:     138000 | #Constraints:     671494
2680.26/2696.37	c #Conflicts:     139000 | #Constraints:     672499
2680.26/2696.37	c INPROCESSING
2680.26/2696.37	c GARBAGE COLLECT
2680.26/2696.37	c rational objective 161.54
2808.43/2824.92	c #Conflicts:     140000 | #Constraints:     665622
2808.43/2824.92	c #Conflicts:     141000 | #Constraints:     666626
2808.43/2824.92	c #Conflicts:     142000 | #Constraints:     667635
2808.43/2824.92	c #Conflicts:     143000 | #Constraints:     668639
2808.43/2824.92	c #Conflicts:     144000 | #Constraints:     669643
2808.43/2824.92	c #Conflicts:     145000 | #Constraints:     670647
2808.43/2824.92	c #Conflicts:     146000 | #Constraints:     671650
2808.43/2824.92	c #Conflicts:     147000 | #Constraints:     672651
2808.43/2824.92	c INPROCESSING
2808.43/2824.92	c GARBAGE COLLECT
2808.43/2824.92	c rational objective 161.54
2832.45/2849.02	c #Conflicts:     148000 | #Constraints:     665804
2832.45/2849.02	c bounds 318 >= 0 @ 2805.69
2832.45/2849.06	c bounds 317 >= 0 @ 2805.72
3036.44/3053.79	c #Conflicts:     149000 | #Constraints:     666832
3036.44/3053.79	c #Conflicts:     150000 | #Constraints:     667838
3036.44/3053.79	c #Conflicts:     151000 | #Constraints:     668992
3036.44/3053.79	c #Conflicts:     152000 | #Constraints:     670178
3036.44/3053.79	c #Conflicts:     153000 | #Constraints:     671393
3036.44/3053.79	c #Conflicts:     154000 | #Constraints:     672503
3036.44/3053.79	c #Conflicts:     155000 | #Constraints:     673736
3036.44/3053.79	c INPROCESSING
3036.44/3053.79	c GARBAGE COLLECT
3036.44/3053.79	c rational objective 161.541
3190.82/3208.64	c #Conflicts:     156000 | #Constraints:     666337
3190.82/3208.64	c #Conflicts:     157000 | #Constraints:     667436
3190.82/3208.64	c #Conflicts:     158000 | #Constraints:     668572
3190.82/3208.64	c #Conflicts:     159000 | #Constraints:     669588
3190.82/3208.64	c #Conflicts:     160000 | #Constraints:     670774
3190.82/3208.64	c #Conflicts:     161000 | #Constraints:     671901
3190.82/3208.64	c #Conflicts:     162000 | #Constraints:     673077
3190.82/3208.64	c #Conflicts:     163000 | #Constraints:     674215
3190.82/3208.64	c INPROCESSING
3190.82/3208.64	c GARBAGE COLLECT
3190.82/3208.64	c rational objective 161.541
3486.82/3505.69	c #Conflicts:     164000 | #Constraints:     666509
3486.82/3505.69	c #Conflicts:     165000 | #Constraints:     667645
3486.82/3505.69	c #Conflicts:     166000 | #Constraints:     668840
3486.82/3505.69	c #Conflicts:     167000 | #Constraints:     669995
3486.82/3505.69	c #Conflicts:     168000 | #Constraints:     671154
3486.82/3505.69	c #Conflicts:     169000 | #Constraints:     672245
3486.82/3505.69	c #Conflicts:     170000 | #Constraints:     673695
3486.82/3505.69	c #Conflicts:     171000 | #Constraints:     675097
3486.82/3505.69	c INPROCESSING
3486.82/3505.69	c GARBAGE COLLECT
3486.82/3505.69	c rational objective 161.541
3600.03/3619.21	c #Conflicts:     172000 | #Constraints:     666799
3600.03/3619.21	c #Conflicts:     173000 | #Constraints:     667821
3600.03/3619.21	c #Conflicts:     174000 | #Constraints:     668829
3600.03/3619.21	c #Conflicts:     175000 | #Constraints:     669835
3600.03/3619.21	c #Conflicts:     176000 | #Constraints:     670840
3600.03/3619.21	c #Conflicts:     177000 | #Constraints:     671847
3600.03/3619.21	c #Conflicts:     178000 | #Constraints:     672854
3600.03/3619.21	c #Conflicts:     179000 | #Constraints:     673865
3600.03/3619.21	c #Conflicts:     180000 | #Constraints:     674875
3600.03/3619.21	c Disabling crashed LP
3600.03/3619.21	c cpu time 3567.58 s
3600.03/3619.21	c deterministic time 421315331572 4.21e+11
3600.03/3619.21	c optimization time 102.312 s
3600.03/3619.21	c total solve time 3462.16 s
3600.03/3619.21	c core-guided solve time 2314.98 s
3600.03/3619.21	c propagation time 1701.8 s
3600.03/3619.21	c conflict analysis time 834.448 s
3600.03/3619.21	c propagations 52408402
3600.03/3619.21	c resolve steps 1671233
3600.03/3619.21	c decisions 6638912
3600.03/3619.21	c conflicts 180007
3600.03/3619.21	c restarts 504
3600.03/3619.21	c inprocessing phases 33
3600.03/3619.21	c garbage collections 33 ,( 100.00 )
3600.03/3619.21	c input clauses 656900 ,( 99.94 )
3600.03/3619.21	c input cardinalities 0 ,( 0.00 )
3600.03/3619.21	c input general constraints 375 ,( 0.06 )
3600.03/3619.21	c input average constraint length 7.73
3600.03/3619.21	c input average constraint degree 283.80
3600.03/3619.21	c learned clauses 20544 ,( 10.78 )
3600.03/3619.21	c learned cardinalities 3 ,( 0.00 )
3600.03/3619.21	c learned general constraints 170021 ,( 89.22 )
3600.03/3619.21	c learned average constraint length 7055.94
3600.03/3619.21	c learned average constraint degree 468456936204.16
3600.03/3619.21	c watched  CF 32, 64, 128, Arb: 5515 , 0 , 0 , 0
3600.03/3619.21	c counting CF 32, 64, 128, Arb: 164882 , 0 , 0 , 0
3600.03/3619.21	c watched   constraints 5515 ,( 3.24 ) 
3600.03/3619.21	c counting  constraints 164881 ,( 96.76 ) 
3600.03/3619.21	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 17858595 , 12547 , 363583754 ,( 340827 , 363242927 )
3600.03/3619.21	c gcd simplifications 1741
3600.03/3619.21	c detected cardinalities 0
3600.03/3619.21	c weakened non-implied lits 339232645
3600.03/3619.21	c weakened non-implying lits 103980
3600.03/3619.21	c original variables 10000
3600.03/3619.21	c clausal propagations 12932462
3600.03/3619.21	c cardinality propagations 0
3600.03/3619.21	c watched propagations 107
3600.03/3619.21	c counting propagations 36777864
3600.03/3619.21	c watch lookups 9657924665
3600.03/3619.21	c watch backjump lookups 0
3600.03/3619.21	c watch checks 570776910
3600.03/3619.21	c propagation checks 407706846247
3600.03/3619.21	c constraint additions 3261179077
3600.03/3619.21	c trail pops 59216791
3600.03/3619.21	c formula constraints 656900
3600.03/3619.21	c learned constraints 178595
3600.03/3619.21	c bound constraints 375
3600.03/3619.21	c core-guided constraints 0
3600.03/3619.21	c encountered formula constraints 1389298
3600.03/3619.21	c encountered learned constraints 292575
3600.03/3619.21	c encountered bound constraints 10168
3600.03/3619.21	c encountered core-guided constraints 0
3600.03/3619.21	c LP total time 1622.61 s
3600.03/3619.21	c LP solve time 1287.16 s
3600.03/3619.21	c LP constraints added 656906
3600.03/3619.21	c LP constraints removed 0
3600.03/3619.21	c LP pivots internal 180005
3600.03/3619.21	c LP pivots root 160562
3600.03/3619.21	c LP calls 10696
3600.03/3619.21	c LP optimalities 126
3600.03/3619.21	c LP no pivot count 0
3600.03/3619.21	c LP infeasibilities 10561
3600.03/3619.21	c LP valid Farkas constraints 10556
3600.03/3619.21	c LP learned Farkas constraints 1412
3600.03/3619.21	c LP basis resets 10
3600.03/3619.21	c LP cycling count 3
3600.03/3619.21	c LP singular count 1
3600.03/3619.21	c LP no primal count 0
3600.03/3619.21	c LP no farkas count 5
3600.03/3619.21	c LP other issue count 1
3600.03/3619.21	c LP Gomory cuts 5
3600.03/3619.21	c LP learned cuts 1
3600.03/3619.21	c LP deleted cuts 0
3600.03/3619.21	c LP encountered Gomory constraints 0
3600.03/3619.21	c LP encountered Farkas constraints 155697
3600.03/3619.21	c LP encountered learned Farkas constraints 2090
3600.03/3619.21	c CG auxiliary variables introduced 0
3600.03/3619.21	c CG solutions found 374
3600.03/3619.21	c CG cores constructed 0
3600.03/3619.21	c CG core cardinality constraints returned 0
3600.03/3619.21	c CG unit cores 0
3600.03/3619.21	c CG single cores 0
3600.03/3619.21	c CG blocks removed during cardinality reduction 0
3600.03/3619.21	c CG first core best 0
3600.03/3619.21	c CG decision core best 0
3600.03/3619.21	c CG core reduction tie 0
3600.03/3619.21	c CG core degree average 0.00
3600.03/3619.21	c CG core slack average 0.00
3600.03/3619.21	c CG core upper bound improvements 0
3600.03/3619.21	c STR number of successful calls 0
3600.03/3619.21	c STR number of unsuccessful calls 0
3600.03/3619.21	c STR number of inconclusive calls 0
3600.03/3619.21	c STR number of successful attempts 0
3600.03/3619.21	c STR number of unsuccessful attempts 0
3600.03/3619.21	c STR number of inconclusive attempts 0
3600.03/3619.21	c STR average degree increase per successful call inf
3600.03/3619.21	c STR average degree increase per successful attempt inf
3600.03/3619.21	c STR total number of conflicts for successful attempts 0
3600.03/3619.21	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3619.21	c STR total number of conflicts for inconclusive attempts 0
3600.03/3619.21	c STR average number of conflicts per successful attempt inf
3600.03/3619.21	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3619.21	c STR average number of conflicts per inconclusive attempt inf
3600.03/3619.21	c AVG.sumWPerc 96.16 
3600.03/3619.21	c bigint constraints 0 
3600.03/3619.21	o 317
3600.03/3619.21	s SATISFIABLE
3600.03/3619.21	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.03/3619.21	c Program interrupted by user.

Verifier Data 

OK	317

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (60632 MiB free)
  memory of node 1: 64507 MiB (59523 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=53551, runsolver pid=53548

[startup+0.100074 s]*
/proc/loadavg: 0.85 2.49 3.49 4/240 53554
/proc/meminfo: memFree=122909640/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53553] ppid=53551 vsize=157532 memory=137748 CPUtime=0.08 cores=0,2
/proc/53553/stat : 53553 (pbsuma) R 53551 53551 53513 0 -1 4194304 2026 0 0 0 3 5 0 0 20 0 1 0 52824270 161312768 34437 18446744073709551615 4210688 4653049 140725427522192 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 17854464 140725427525859 140725427526194 140725427526194 140725427531759 0
/proc/53553/statm: 39383 34437 960 108 0 36791 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 161724 KiB
Current children cumulated memory: 140820 KiB

[startup+0.21217 s]*
/proc/loadavg: 0.85 2.49 3.49 5/243 53559
/proc/meminfo: memFree=122890172/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53553] ppid=53551 vsize=165736 memory=148000 CPUtime=0.19 cores=0,2
/proc/53553/stat : 53553 (pbsuma) R 53551 53551 53513 0 -1 4194304 4438 0 0 0 13 6 0 0 20 0 1 0 52824270 169713664 37000 18446744073709551615 4210688 4653049 140725427522192 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 17854464 140725427525859 140725427526194 140725427526194 140725427531759 0
/proc/53553/statm: 41434 37000 960 108 0 38842 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 169928 KiB
Current children cumulated memory: 151072 KiB

[startup+0.312306 s]*
/proc/loadavg: 0.85 2.49 3.49 4/248 53570
/proc/meminfo: memFree=122819372/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53553] ppid=53551 vsize=170696 memory=155564 CPUtime=0.29 cores=0,2
/proc/53553/stat : 53553 (pbsuma) R 53551 53551 53513 0 -1 4194304 6240 0 0 0 22 7 0 0 20 0 1 0 52824270 174792704 38891 18446744073709551615 4210688 4653049 140725427522192 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 17854464 140725427525859 140725427526194 140725427526194 140725427531759 0
/proc/53553/statm: 42674 38891 960 108 0 40082 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 174888 KiB
Current children cumulated memory: 158636 KiB

[startup+0.700428 s]
/proc/loadavg: 0.85 2.49 3.49 5/257 53586
/proc/meminfo: memFree=122236160/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53553] ppid=53551 vsize=193728 memory=182364 CPUtime=0.66 cores=0,2
/proc/53553/stat : 53553 (pbsuma) R 53551 53551 53513 0 -1 4194304 12572 0 0 0 56 10 0 0 20 0 1 0 52824270 198377472 45591 18446744073709551615 4210688 4653049 140725427522192 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 17854464 140725427525859 140725427526194 140725427526194 140725427531759 0
/proc/53553/statm: 48432 45591 960 108 0 45840 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 197920 KiB
Current children cumulated memory: 185436 KiB

[startup+1.50045 s]
/proc/loadavg: 0.85 2.49 3.49 4/257 53586
/proc/meminfo: memFree=121900064/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53553] ppid=53551 vsize=207700 memory=190256 CPUtime=0.77 cores=0,2
/proc/53553/stat : 53553 (pbsuma) D 53551 53551 53513 0 -1 4456448 14572 0 0 0 65 12 0 0 20 0 1 0 52824270 212684800 47564 18446744073709551615 4210688 4653049 140725427522192 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 4700520 4703148 17854464 140725427525859 140725427526194 140725427526194 140725427531759 0
/proc/53553/statm: 51925 47564 992 108 0 49333 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 211892 KiB
Current children cumulated memory: 193328 KiB

[startup+3.11266 s]
/proc/loadavg: 0.85 2.49 3.49 1/257 53586
/proc/meminfo: memFree=121544684/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53553] ppid=53551 vsize=207700 memory=190256 CPUtime=0.77 cores=0,2
/proc/53553/stat : 53553 (pbsuma) D 53551 53551 53513 0 -1 4456448 14572 0 0 0 65 12 0 0 20 0 1 0 52824270 212684800 47564 18446744073709551615 4210688 4653049 140725427522192 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 4700520 4703148 17854464 140725427525859 140725427526194 140725427526194 140725427531759 0
/proc/53553/statm: 51925 47564 992 108 0 49333 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 211892 KiB
Current children cumulated memory: 193328 KiB
heavy processes:

[startup+6.30033 s]
/proc/loadavg: 1.18 2.53 3.50 1/257 53586
/proc/meminfo: memFree=121545144/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53553] ppid=53551 vsize=207700 memory=190256 CPUtime=0.77 cores=0,2
/proc/53553/stat : 53553 (pbsuma) D 53551 53551 53513 0 -1 4456448 14572 0 0 0 65 12 0 0 20 0 1 0 52824270 212684800 47564 18446744073709551615 4210688 4653049 140725427522192 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 4700520 4703148 17854464 140725427525859 140725427526194 140725427526194 140725427531759 0
/proc/53553/statm: 51925 47564 992 108 0 49333 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 211892 KiB
Current children cumulated memory: 193328 KiB
heavy processes:

[startup+12.7003 s]
/proc/loadavg: 1.49 2.57 3.51 5/257 53590
/proc/meminfo: memFree=122110872/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=1.9 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 244 29527 0 0 0 0 168 22 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53587] ppid=53551 vsize=327516 memory=263288 CPUtime=2.68 cores=0,2
/proc/53587/stat : 53587 (roundingsat) R 53551 53551 53513 0 -1 4194304 52560 0 0 0 209 59 0 0 20 0 1 0 52825268 335376384 65822 18446744073709551615 4227072 8923433 140723782842096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17678336 140723782846710 140723782847016 140723782847016 140723782852586 0
/proc/53587/statm: 81879 65822 2304 1147 0 69306 0
Current children cumulated CPU time: 4.58 s
Current children cumulated vsize: 331708 KiB
Current children cumulated memory: 266360 KiB
heavy processes:

[startup+25.5004 s]
/proc/loadavg: 2.34 2.71 3.54 5/256 53605
/proc/meminfo: memFree=120987828/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=1.9 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 244 29527 0 0 0 0 168 22 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53587] ppid=53551 vsize=1258980 memory=948948 CPUtime=15.44 cores=0,2
/proc/53587/stat : 53587 (roundingsat) R 53551 53551 53513 0 -1 4194304 102365 0 0 0 1434 110 0 0 20 0 1 0 52825268 1289195520 237237 18446744073709551615 4227072 8923433 140723782842096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17678336 140723782846710 140723782847016 140723782847016 140723782852586 0
/proc/53587/statm: 314745 237237 2432 1147 0 302172 0
Current children cumulated CPU time: 17.34 s
Current children cumulated vsize: 1263172 KiB
Current children cumulated memory: 952020 KiB
heavy processes:

[startup+51.1132 s]
/proc/loadavg: 3.23 2.89 3.58 5/258 53703
/proc/meminfo: memFree=120494044/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=1.9 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 244 29527 0 0 0 0 168 22 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53587] ppid=53551 vsize=1511248 memory=1167444 CPUtime=40.96 cores=0,2
/proc/53587/stat : 53587 (roundingsat) R 53551 53551 53513 0 -1 4194304 120956 0 0 0 3937 159 0 0 20 0 1 0 52825268 1547517952 291861 18446744073709551615 4227072 8923433 140723782842096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17678336 140723782846710 140723782847016 140723782847016 140723782852586 0
/proc/53587/statm: 377812 291861 2432 1147 0 365239 0
Current children cumulated CPU time: 42.86 s
Current children cumulated vsize: 1515440 KiB
Current children cumulated memory: 1170516 KiB

[startup+102.3 s]
/proc/loadavg: 3.75 3.09 3.61 5/262 53932
/proc/meminfo: memFree=119681836/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=1.9 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 244 29527 0 0 0 0 168 22 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53587] ppid=53551 vsize=1906996 memory=1580880 CPUtime=91.97 cores=0,2
/proc/53587/stat : 53587 (roundingsat) R 53551 53551 53513 0 -1 4194304 179493 0 0 0 8945 252 0 0 20 0 1 0 52825268 1952763904 395220 18446744073709551615 4227072 8923433 140723782842096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17678336 140723782846710 140723782847016 140723782847016 140723782852586 0
/proc/53587/statm: 476749 395220 2432 1147 0 464176 0
Current children cumulated CPU time: 93.87 s
Current children cumulated vsize: 1911188 KiB
Current children cumulated memory: 1583952 KiB

[startup+162.3 s]
/proc/loadavg: 4.02 3.29 3.65 5/262 53981
/proc/meminfo: memFree=117345372/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=1.9 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 244 29527 0 0 0 0 168 22 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53587] ppid=53551 vsize=2287860 memory=1806936 CPUtime=151.78 cores=0,2
/proc/53587/stat : 53587 (roundingsat) R 53551 53551 53513 0 -1 4194304 216291 0 0 0 14873 305 0 0 20 0 1 0 52825268 2342768640 451734 18446744073709551615 4227072 8923433 140723782842096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17678336 140723782846710 140723782847016 140723782847016 140723782852586 0
/proc/53587/statm: 571965 451734 2432 1147 0 559392 0
Current children cumulated CPU time: 153.68 s
Current children cumulated vsize: 2292052 KiB
Current children cumulated memory: 1810008 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 3.42 3.67 5/262 53983
/proc/meminfo: memFree=114888396/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=1.9 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 244 29527 0 0 0 0 168 22 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0

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

[startup+3282.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/260 54287
/proc/meminfo: memFree=10051584/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=1.9 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 244 29527 0 0 0 0 168 22 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53587] ppid=53551 vsize=5742664 memory=4905740 CPUtime=3262.38 cores=0,2
/proc/53587/stat : 53587 (roundingsat) R 53551 53551 53513 0 -1 4194304 631910 0 0 0 323445 2793 0 0 20 0 1 0 52825268 5880487936 1226435 18446744073709551615 4227072 8923433 140723782842096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17678336 140723782846710 140723782847016 140723782847016 140723782852586 0
/proc/53587/statm: 1435666 1226435 2528 1147 0 1423093 0
Current children cumulated CPU time: 3264.28 s
Current children cumulated vsize: 5746856 KiB
Current children cumulated memory: 4908812 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 54290
/proc/meminfo: memFree=8561788/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=1.9 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 244 29527 0 0 0 0 168 22 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53587] ppid=53551 vsize=5742664 memory=4905740 CPUtime=3322.17 cores=0,2
/proc/53587/stat : 53587 (roundingsat) R 53551 53551 53513 0 -1 4194304 633442 0 0 0 329372 2845 0 0 20 0 1 0 52825268 5880487936 1226435 18446744073709551615 4227072 8923433 140723782842096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17678336 140723782846710 140723782847016 140723782847016 140723782852586 0
/proc/53587/statm: 1435666 1226435 2528 1147 0 1423093 0
Current children cumulated CPU time: 3324.07 s
Current children cumulated vsize: 5746856 KiB
Current children cumulated memory: 4908812 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.15 4.10 5/261 54292
/proc/meminfo: memFree=7476888/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=1.9 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 244 29527 0 0 0 0 168 22 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53587] ppid=53551 vsize=5744328 memory=4907404 CPUtime=3381.96 cores=0,2
/proc/53587/stat : 53587 (roundingsat) R 53551 53551 53513 0 -1 4194304 633943 0 0 0 335323 2873 0 0 20 0 1 0 52825268 5882191872 1226851 18446744073709551615 4227072 8923433 140723782842096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17678336 140723782846710 140723782847016 140723782847016 140723782852586 0
/proc/53587/statm: 1436082 1226851 2528 1147 0 1423509 0
Current children cumulated CPU time: 3383.86 s
Current children cumulated vsize: 5748520 KiB
Current children cumulated memory: 4910476 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/261 54305
/proc/meminfo: memFree=6565708/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=1.9 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 244 29527 0 0 0 0 168 22 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53587] ppid=53551 vsize=5744328 memory=4907404 CPUtime=3441.76 cores=0,2
/proc/53587/stat : 53587 (roundingsat) R 53551 53551 53513 0 -1 4194304 634100 0 0 0 341299 2877 0 0 20 0 1 0 52825268 5882191872 1226851 18446744073709551615 4227072 8923433 140723782842096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17678336 140723782846710 140723782847016 140723782847016 140723782852586 0
/proc/53587/statm: 1436082 1226851 2528 1147 0 1423509 0
Current children cumulated CPU time: 3443.66 s
Current children cumulated vsize: 5748520 KiB
Current children cumulated memory: 4910476 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.16 4.10 5/261 54307
/proc/meminfo: memFree=5540416/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=1.9 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 244 29527 0 0 0 0 168 22 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53587] ppid=53551 vsize=5744328 memory=4907404 CPUtime=3501.56 cores=0,2
/proc/53587/stat : 53587 (roundingsat) R 53551 53551 53513 0 -1 4194304 635420 0 0 0 347264 2892 0 0 20 0 1 0 52825268 5882191872 1226851 18446744073709551615 4227072 8923433 140723782842096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17678336 140723782846710 140723782847016 140723782847016 140723782852586 0
/proc/53587/statm: 1436082 1226851 2528 1147 0 1423509 0
Current children cumulated CPU time: 3503.46 s
Current children cumulated vsize: 5748520 KiB
Current children cumulated memory: 4910476 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/263 54313
/proc/meminfo: memFree=3712908/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=1.9 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 244 29527 0 0 0 0 168 22 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53587] ppid=53551 vsize=5869784 memory=5032968 CPUtime=3561.36 cores=0,2
/proc/53587/stat : 53587 (roundingsat) R 53551 53551 53513 0 -1 4194304 640755 0 0 0 353169 2967 0 0 20 0 1 0 52825268 6010658816 1258242 18446744073709551615 4227072 8923433 140723782842096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17678336 140723782846710 140723782847016 140723782847016 140723782852586 0
/proc/53587/statm: 1467446 1258242 2528 1147 0 1454873 0
Current children cumulated CPU time: 3563.26 s
Current children cumulated vsize: 5873976 KiB
Current children cumulated memory: 5036040 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3619.2 s]
/proc/loadavg: 4.12 4.14 4.10 5/263 54319
/proc/meminfo: memFree=1504456/131382112 swapFree=33010684/33010684
[pid=53551] ppid=53548 vsize=4192 memory=3072 CPUtime=1.9 cores=0,2
/proc/53551/stat : 53551 (run-opt-ls-log.) S 53548 53551 53513 0 -1 4194304 244 29527 0 0 0 0 168 22 20 0 1 0 52824269 4292608 768 18446744073709551615 94706129702912 94706130597445 140733896886096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706130836496 94706130884240 94706149990400 140733896894747 140733896894945 140733896894945 140733896900547 0
/proc/53551/statm: 1048 768 704 219 0 110 0
[pid=53587] ppid=53551 vsize=7601940 memory=6089348 CPUtime=3598.13 cores=0,2
/proc/53587/stat : 53587 (roundingsat) R 53551 53551 53513 0 -1 4194304 880011 0 0 0 356757 3056 0 0 20 0 1 0 52825268 7784386560 1522337 18446744073709551615 4227072 8923433 140723782842096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17678336 140723782846710 140723782847016 140723782847016 140723782852586 0
/proc/53587/statm: 1900485 1522337 2528 1147 0 1887912 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 7606132 KiB
Current children cumulated memory: 6092420 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=1.68756 s, system=0.231543 s
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.12 4.14 4.10 4/262 54319
/proc/meminfo: memFree=1772240/131382112 swapFree=33010684/33010684
[pid=53587] ppid=53548 vsize=6994540 memory=5701744 CPUtime=3598.73 cores=0,2
/proc/53587/stat : 53587 (roundingsat) D 53548 53551 53513 0 -1 4194304 880017 0 0 0 356758 3115 0 0 20 0 1 0 52825268 7162408960 1425436 18446744073709551615 4227072 8923433 140723782842096 0 0 256 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 17678336 140723782846710 140723782847016 140723782847016 140723782852586 9
/proc/53587/statm: 1748635 1425436 2592 1147 0 1736062 0
??? kill 53587 sig 9
??? end of watcher thread

[startup+3633.22 s]
# the end of solver process 53587 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

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

Solver just ended.
Dumping a history of the last processes samples

[startup+3620 s]*
/proc/loadavg: 4.12 4.14 4.10 4/262 54319
/proc/meminfo: memFree=1800840/131382112 swapFree=33010684/33010684
[pid=53587] ppid=53548 vsize=6994540 memory=5701744 CPUtime=3598.73 cores=0,2
/proc/53587/stat : 53587 (roundingsat) D 53548 53551 53513 0 -1 4194304 880017 0 0 0 356758 3115 0 0 20 0 1 0 52825268 7162408960 1425436 18446744073709551615 4227072 8923433 140723782842096 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 17678336 140723782846710 140723782847016 140723782847016 140723782852586 0
/proc/53587/statm: 1748635 1425436 2592 1147 0 1736062 0
Current cumulated CPU time of completed processes: 1.91911 s
Current children cumulated CPU time: 3598.73 s
Current children cumulated vsize: 6994540 KiB
Current children cumulated memory: 5701744 KiB

[startup+3620.8 s]
/proc/loadavg: 4.12 4.14 4.10 4/262 54319
/proc/meminfo: memFree=1800840/131382112 swapFree=33010684/33010684
[pid=53587] ppid=53548 vsize=6994540 memory=5701744 CPUtime=3598.73 cores=0,2
/proc/53587/stat : 53587 (roundingsat) D 53548 53551 53513 0 -1 4194304 880017 0 0 0 356758 3115 0 0 20 0 1 0 52825268 7162408960 1425436 18446744073709551615 4227072 8923433 140723782842096 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 17678336 140723782846710 140723782847016 140723782847016 140723782852586 0
/proc/53587/statm: 1748635 1425436 2592 1147 0 1736062 0
Current cumulated CPU time of completed processes: 1.91911 s
Current children cumulated CPU time: 3598.73 s
Current children cumulated vsize: 6994540 KiB
Current children cumulated memory: 5701744 KiB

[startup+3621.2 s]
/proc/loadavg: 4.12 4.14 4.10 4/262 54319
/proc/meminfo: memFree=1780304/131382112 swapFree=33010684/33010684
[pid=53587] ppid=53548 vsize=6994540 memory=5701744 CPUtime=3598.73 cores=0,2
/proc/53587/stat : 53587 (roundingsat) D 53548 53551 53513 0 -1 4194304 880017 0 0 0 356758 3115 0 0 20 0 1 0 52825268 7162408960 1425436 18446744073709551615 4227072 8923433 140723782842096 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 17678336 140723782846710 140723782847016 140723782847016 140723782852586 0
/proc/53587/statm: 1748635 1425436 2592 1147 0 1736062 0
Current cumulated CPU time of completed processes: 1.91911 s
Current children cumulated CPU time: 3598.73 s
Current children cumulated vsize: 6994540 KiB
Current children cumulated memory: 5701744 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3633.22
CPU time (s): 3601.52
CPU user time (s): 3569.38
CPU system time (s): 32.1398
CPU usage (%): 99.1276
Max. virtual memory (cumulated for all children) (KiB): 7606132
Max. memory (cumulated for all children) (KiB): 6092420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.38
system time used= 32.1398
maximum resident set size= 6089476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 909788
page faults= 0
swaps= 0
block input operations= 0
block output operations= 70817488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 182662
involuntary context switches= 8475


# summary of solver processes directly reported to runsolver:
#   pid: 53551,53587
#   total CPU time (s): 3601.52
#   total CPU user time (s): 3569.38
#   total CPU system time (s): 32.1398

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.4216 second user time and 34.6926 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-01 14:04:05
IDJOB=4489877
IDBENCH=147565
IDSOLVER=3356
FILE ID=nodeC009/4489877-1751371444
RUNJOBID= nodeC009-1751371444-53523
SLURM_JOB_ID= 9598195
Free space on /tmp= 432448 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.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-4489877-1751371444/watcher-4489877-1751371444 -o /tmp/evaluation-result-4489877-1751371444/solver-4489877-1751371444 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751371444-53523 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4489877-1751371444.opb PROOFDIR/proof-4489877-1751371444

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

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=891863430

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        123039624 kB
MemAvailable:   129894672 kB
Buffers:            3280 kB
Cached:          7627248 kB
SwapCached:            0 kB
Active:           385148 kB
Inactive:        7327004 kB
Active(anon):      99264 kB
Inactive(anon):      968 kB
Active(file):     285884 kB
Inactive(file):  7326036 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            166220 kB
Writeback:             0 kB
AnonPages:         85648 kB
Mapped:           102780 kB
Shmem:             17960 kB
KReclaimable:     165128 kB
Slab:             248996 kB
SReclaimable:     165128 kB
SUnreclaim:        83868 kB
KernelStack:        3848 kB
PageTables:         2680 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     348392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432596 MiB
End job on nodeC009 at 2025-07-01 15:04:38