Trace number 4532376

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt-log 0f876b3SAT (TO)356 3602.72 3657.6

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
MD5SUMfd0e2798224bd891f728fecfed3c6d1b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark236
Best CPU time to get the best result obtained on this benchmark12722.9
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 495618
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 495618
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4532376-1752585442.opb'
0.56/0.68	c 	read 17.23MB  (671.21ms)
0.56/0.68	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.64/0.72	c output proof to 'PROOFDIR/proof-4532376-1752585442'
0.64/0.73	c 
0.64/0.73	c make graph and approximate orbits
1.20/1.31	c	 [group: #orbits ~= 0] (583.09ms)
1.20/1.31	c 
1.20/1.31	c detect special group actions
1.20/1.31	c 	probe for Johnson action (limit=64)
1.20/1.31	c 	probe for row-column symmetry (limit=64, splits=16.78M)
1.20/1.32	c 	probe for row symmetry (limit=64, splits=16.78M)
1.20/1.33	c 	 (26.48ms)
1.20/1.33	c 
1.20/1.33	c detect symmetries on remainder
1.20/1.34	c 	[graph: #vertices 706700 #edges 2766398]
1.20/1.34	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
1.20/1.39	c 	 [group: #symmetries 1.00*10^0 #generators 0] (58.68ms)
1.20/1.39	c 
1.20/1.39	c finalize break order and special generators
1.20/1.39	c 
1.20/1.39	c generation finished
1.20/1.39	c 	[sbp: #constraints 0 #add_vars 0]
1.30/1.40	c 
1.30/1.40	c write result to 'HOME/instance-4532376-1752585442.opb.pre'
1.30/1.44	c 	wrote 17.23MB (44.35ms)
1.30/1.44	c ------------------------------------------------------------------
1.30/1.44	c                 671.21ms 46.92% parse
1.30/1.44	c                 583.09ms 40.76% approx_orbits
1.30/1.44	c                  58.68ms  4.10% detect_generic
1.30/1.44	c                  46.34ms  3.24% other
1.30/1.44	c                  44.35ms  3.10% output
1.30/1.44	c                  26.48ms  1.85% detect_special
1.30/1.44	c                   0.46ms  0.03% finalize_order
1.30/1.44	c         ───────────────────────────────────────────────
1.30/1.44	c                1430.61ms   100% total
1.30/1.44	c ------------------------------------------------------------------
1.50/1.62	c RoundingSat 2
1.50/1.62	c branch pb25
1.50/1.62	c commit 0f876b3
5.05/5.24	c #variables 10000 #constraints 656900
5.05/5.24	c objective is ce32 
5.05/5.25	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.05/5.25	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.05/5.25	c bounds - >= 0 @ 2.88771
7.34/7.51	c rational objective 177.855
11.54/11.77	c bounds 6353 >= 0 @ 9.27625
11.54/11.79	c bounds 6286 >= 0 @ 9.29645
11.64/11.80	c bounds 6245 >= 0 @ 9.3025
11.64/11.82	c bounds 6241 >= 0 @ 9.31816
11.64/11.82	c bounds 6008 >= 0 @ 9.32409
11.64/11.83	c bounds 5917 >= 0 @ 9.32993
11.64/11.84	c bounds 5849 >= 0 @ 9.3357
11.64/11.85	c bounds 5721 >= 0 @ 9.34069
11.64/11.85	c bounds 5674 >= 0 @ 9.34738
11.64/11.87	c bounds 5652 >= 0 @ 9.35758
11.64/11.87	c bounds 5563 >= 0 @ 9.36192
11.64/11.89	c bounds 5531 >= 0 @ 9.37513
11.74/11.90	c bounds 5482 >= 0 @ 9.38613
11.74/11.91	c bounds 5256 >= 0 @ 9.3907
11.74/11.92	c bounds 5135 >= 0 @ 9.39642
11.74/11.93	c bounds 5116 >= 0 @ 9.4025
11.74/11.93	c bounds 4945 >= 0 @ 9.41064
11.74/11.95	c bounds 4944 >= 0 @ 9.42316
11.74/11.96	c bounds 4859 >= 0 @ 9.4289
11.74/11.97	c bounds 4790 >= 0 @ 9.43418
11.74/11.98	c bounds 4783 >= 0 @ 9.44432
11.74/11.99	c bounds 4288 >= 0 @ 9.45175
11.95/12.11	c bounds 4270 >= 0 @ 9.56922
11.95/12.12	c bounds 4196 >= 0 @ 9.57575
11.95/12.13	c bounds 4195 >= 0 @ 9.58239
11.95/12.14	c bounds 4163 >= 0 @ 9.58909
12.14/12.32	c bounds 4159 >= 0 @ 9.75828
12.14/12.33	c bounds 4158 >= 0 @ 9.76453
12.14/12.33	c bounds 4045 >= 0 @ 9.77208
12.14/12.35	c bounds 4030 >= 0 @ 9.78065
12.14/12.36	c bounds 3916 >= 0 @ 9.78827
12.14/12.36	c bounds 3914 >= 0 @ 9.79488
12.14/12.37	c bounds 3843 >= 0 @ 9.79859
12.14/12.40	c bounds 3835 >= 0 @ 9.8168
12.23/12.42	c bounds 3834 >= 0 @ 9.83214
12.23/12.42	c bounds 3758 >= 0 @ 9.83917
12.34/12.52	c bounds 3649 >= 0 @ 9.932
12.34/12.54	c bounds 3640 >= 0 @ 9.94515
12.34/12.55	c bounds 3552 >= 0 @ 9.95566
12.34/12.56	c bounds 3398 >= 0 @ 9.96154
12.34/12.57	c bounds 3391 >= 0 @ 9.96715
12.34/12.59	c bounds 3371 >= 0 @ 9.98479
12.44/12.60	c bounds 3369 >= 0 @ 9.99981
12.44/12.61	c bounds 3263 >= 0 @ 10.0064
12.44/12.63	c bounds 3260 >= 0 @ 10.0145
12.44/12.66	c bounds 3246 >= 0 @ 10.0464
12.44/12.67	c bounds 3245 >= 0 @ 10.0504
12.64/12.80	c bounds 3203 >= 0 @ 10.1865
12.64/12.81	c bounds 3146 >= 0 @ 10.1929
12.64/12.82	c bounds 3063 >= 0 @ 10.199
12.64/12.85	c bounds 3045 >= 0 @ 10.2169
12.64/12.86	c bounds 2965 >= 0 @ 10.2242
12.64/12.88	c bounds 2929 >= 0 @ 10.2447
12.64/12.89	c bounds 2926 >= 0 @ 10.2572
12.74/12.90	c bounds 2925 >= 0 @ 10.2628
12.85/13.02	c bounds 2905 >= 0 @ 10.3743
12.85/13.02	c bounds 2903 >= 0 @ 10.3797
13.04/13.24	c bounds 2902 >= 0 @ 10.5956
13.04/13.25	c bounds 2812 >= 0 @ 10.6045
13.34/13.56	c bounds 2804 >= 0 @ 10.8999
13.34/13.57	c bounds 2798 >= 0 @ 10.9128
13.43/13.64	c bounds 2759 >= 0 @ 10.9735
13.43/13.65	c bounds 2731 >= 0 @ 10.9809
13.53/13.74	c bounds 2725 >= 0 @ 11.0672
13.53/13.75	c bounds 2692 >= 0 @ 11.0744
14.04/14.23	c bounds 2665 >= 0 @ 11.5516
14.24/14.46	c bounds 2658 >= 0 @ 11.7742
14.33/14.50	c bounds 2641 >= 0 @ 11.804
14.33/14.51	c bounds 2631 >= 0 @ 11.8159
14.33/14.52	c bounds 2587 >= 0 @ 11.8272
14.33/14.54	c bounds 2554 >= 0 @ 11.8356
14.33/14.54	c bounds 2552 >= 0 @ 11.8439
14.33/14.56	c bounds 2433 >= 0 @ 11.8525
14.53/14.73	c bounds 2417 >= 0 @ 12.02
14.63/14.84	c bounds 2401 >= 0 @ 12.1299
14.63/14.86	c bounds 2388 >= 0 @ 12.1489
14.63/14.88	c bounds 2370 >= 0 @ 12.1581
14.63/14.89	c bounds 2323 >= 0 @ 12.1691
14.73/14.90	c bounds 2255 >= 0 @ 12.1777
14.73/14.91	c bounds 2229 >= 0 @ 12.1845
14.73/14.92	c bounds 2152 >= 0 @ 12.1925
14.73/14.94	c bounds 2139 >= 0 @ 12.2102
14.73/14.95	c bounds 2080 >= 0 @ 12.2172
14.73/14.96	c bounds 2038 >= 0 @ 12.2248
14.73/14.97	c bounds 2022 >= 0 @ 12.2313
14.73/14.99	c bounds 2007 >= 0 @ 12.2392
14.73/14.99	c bounds 1991 >= 0 @ 12.2455
14.85/15.10	c bounds 1988 >= 0 @ 12.3454
14.94/15.11	c bounds 1981 >= 0 @ 12.3577
14.94/15.13	c bounds 1959 >= 0 @ 12.367
14.94/15.15	c bounds 1950 >= 0 @ 12.3834
14.94/15.16	c bounds 1863 >= 0 @ 12.3946
14.94/15.19	c bounds 1843 >= 0 @ 12.4149
15.03/15.20	c bounds 1827 >= 0 @ 12.4244
15.03/15.21	c bounds 1685 >= 0 @ 12.4327
15.03/15.28	c bounds 1676 >= 0 @ 12.5011
15.13/15.30	c bounds 1634 >= 0 @ 12.5092
15.13/15.31	c bounds 1518 >= 0 @ 12.5165
15.13/15.32	c bounds 1445 >= 0 @ 12.5247
15.13/15.34	c bounds 1444 >= 0 @ 12.5328
15.23/15.44	c bounds 1437 >= 0 @ 12.6341
15.23/15.48	c bounds 1344 >= 0 @ 12.6618
15.23/15.49	c bounds 1337 >= 0 @ 12.6695
15.33/15.50	c bounds 1331 >= 0 @ 12.6788
15.33/15.51	c bounds 1315 >= 0 @ 12.6893
15.33/15.52	c bounds 1283 >= 0 @ 12.6997
15.33/15.53	c bounds 1281 >= 0 @ 12.7062
15.33/15.55	c bounds 1170 >= 0 @ 12.7157
15.85/16.09	c bounds 1163 >= 0 @ 13.2489
16.02/16.21	c bounds 1140 >= 0 @ 13.3542
16.02/16.22	c bounds 1061 >= 0 @ 13.3632
16.02/16.24	c bounds 971 >= 0 @ 13.3725
16.02/16.28	c bounds 969 >= 0 @ 13.4041
16.02/16.29	c bounds 941 >= 0 @ 13.419
16.62/16.83	c #Conflicts:       1000 | #Constraints:     658028
16.62/16.83	c bounds 810 >= 0 @ 13.9333
16.62/16.89	c bounds 725 >= 0 @ 13.9881
17.02/17.27	c bounds 627 >= 0 @ 14.3422
17.63/17.85	c bounds 550 >= 0 @ 14.9053
19.11/19.35	c #Conflicts:       2000 | #Constraints:     659032
19.11/19.35	c INPROCESSING
19.11/19.35	c GARBAGE COLLECT
19.11/19.35	c bounds 549 >= 0 @ 16.3758
19.62/19.81	c bounds 546 >= 0 @ 16.8249
22.61/22.88	c #Conflicts:       3000 | #Constraints:     658917
22.61/22.88	c bounds 496 >= 0 @ 19.8371
22.61/22.89	c bounds 491 >= 0 @ 19.844
22.71/22.92	c bounds 490 >= 0 @ 19.8709
22.71/22.93	c bounds 483 >= 0 @ 19.8758
22.71/22.95	c bounds 481 >= 0 @ 19.8956
22.83/23.07	c bounds 480 >= 0 @ 20.0063
24.20/24.45	c bounds 476 >= 0 @ 21.3572
30.99/31.22	c #Conflicts:       4000 | #Constraints:     659925
30.99/31.22	c INPROCESSING
30.99/31.22	c GARBAGE COLLECT
30.99/31.22	c #Conflicts:       5000 | #Constraints:     659315
30.99/31.22	c bounds 413 >= 0 @ 28.0213
39.36/39.61	c #Conflicts:       6000 | #Constraints:     660316
39.36/39.61	c INPROCESSING
39.36/39.61	c GARBAGE COLLECT
39.36/39.61	c bounds 412 >= 0 @ 36.3464
40.77/41.01	c bounds 410 >= 0 @ 37.7188
51.13/51.42	c #Conflicts:       7000 | #Constraints:     659325
51.13/51.42	c #Conflicts:       8000 | #Constraints:     660325
51.13/51.42	c #Conflicts:       9000 | #Constraints:     661325
51.13/51.42	c INPROCESSING
51.13/51.42	c GARBAGE COLLECT
51.13/51.42	c rational objective 179.482
56.31/56.63	c bounds 409 >= 0 @ 53.1588
56.31/56.65	c bounds 409 >= 5 @ 53.1681
56.31/56.66	c bounds 409 >= 10 @ 53.1768
56.31/56.68	c bounds 409 >= 15 @ 53.1908
58.31/58.66	c #Conflicts:      10000 | #Constraints:     660046
58.31/58.66	c bounds 409 >= 20 @ 55.137
68.18/68.51	c #Conflicts:      11000 | #Constraints:     661058
68.18/68.51	c #Conflicts:      12000 | #Constraints:     662058
68.18/68.51	c INPROCESSING
68.18/68.51	c GARBAGE COLLECT
68.18/68.51	c rational objective 181.394
73.57/73.99	c bounds 408 >= 20 @ 70.2834
73.68/74.08	c bounds 407 >= 20 @ 70.3676
73.78/74.13	c bounds 403 >= 20 @ 70.4152
73.87/74.23	c bounds 402 >= 20 @ 70.5027
76.17/76.50	c bounds 401 >= 20 @ 72.7116
81.05/81.48	c #Conflicts:      13000 | #Constraints:     660530
81.05/81.48	c bounds 399 >= 20 @ 77.5832
81.15/81.51	c bounds 399 >= 24 @ 77.5978
89.33/89.79	c #Conflicts:      14000 | #Constraints:     661535
89.33/89.79	c #Conflicts:      15000 | #Constraints:     662535
89.33/89.79	c INPROCESSING
89.33/89.79	c GARBAGE COLLECT
89.33/89.79	c rational objective 182.798
108.36/109.70	c #Conflicts:      16000 | #Constraints:     660743
108.36/109.70	c #Conflicts:      17000 | #Constraints:     661743
108.36/109.70	c #Conflicts:      18000 | #Constraints:     662743
108.36/109.70	c INPROCESSING
108.36/109.70	c GARBAGE COLLECT
108.36/109.70	c rational objective 182.804
116.42/117.89	c #Conflicts:      19000 | #Constraints:     660751
116.42/117.89	c bounds 395 >= 24 @ 112.755
116.52/117.91	c bounds 395 >= 27 @ 112.768
127.39/128.86	c #Conflicts:      20000 | #Constraints:     661755
127.39/128.86	c #Conflicts:      21000 | #Constraints:     662755
127.39/128.86	c INPROCESSING
127.39/128.86	c GARBAGE COLLECT
127.39/128.86	c rational objective 182.959
152.41/153.95	c #Conflicts:      22000 | #Constraints:     660556
152.41/153.95	c #Conflicts:      23000 | #Constraints:     661556
152.41/153.95	c #Conflicts:      24000 | #Constraints:     662556
152.41/153.95	c #Conflicts:      25000 | #Constraints:     663556
152.41/153.95	c INPROCESSING
152.41/153.95	c GARBAGE COLLECT
152.41/153.95	c rational objective 182.96
158.96/160.92	c bounds 394 >= 27 @ 154.844
158.96/160.94	c bounds 391 >= 27 @ 154.861
159.07/161.04	c bounds 383 >= 27 @ 154.957
159.07/161.10	c bounds 380 >= 27 @ 155.012
159.17/161.15	c bounds 374 >= 27 @ 155.06
161.25/163.29	c bounds 372 >= 27 @ 157.158
161.35/163.31	c bounds 372 >= 29 @ 157.167
161.35/163.32	c bounds 372 >= 31 @ 157.173
161.35/163.34	c bounds 372 >= 33 @ 157.187
161.35/163.36	c bounds 372 >= 35 @ 157.198
161.35/163.37	c bounds 372 >= 37 @ 157.211
161.45/163.40	c bounds 372 >= 39 @ 157.227
161.45/163.43	c bounds 372 >= 41 @ 157.251
161.55/163.50	c bounds 372 >= 43 @ 157.317
163.16/165.16	c bounds 372 >= 45 @ 158.951
163.74/165.70	c #Conflicts:      26000 | #Constraints:     661239
163.74/165.70	c bounds 372 >= 47 @ 159.486
167.43/169.47	c bounds 372 >= 49 @ 163.204
243.52/245.70	c #Conflicts:      27000 | #Constraints:     662286
243.52/245.70	c #Conflicts:      28000 | #Constraints:     663287
243.52/245.70	c #Conflicts:      29000 | #Constraints:     664289
243.52/245.70	c INPROCESSING
243.52/245.70	c GARBAGE COLLECT
243.52/245.70	c #Conflicts:      30000 | #Constraints:     661661
243.52/245.70	c bounds 369 >= 49 @ 238.816
243.52/245.71	c bounds 369 >= 50 @ 238.825
243.52/245.73	c bounds 369 >= 51 @ 238.84
243.52/245.75	c bounds 369 >= 52 @ 238.85
243.52/245.77	c bounds 369 >= 53 @ 238.858
243.52/245.79	c bounds 369 >= 54 @ 238.871
243.62/245.80	c bounds 369 >= 55 @ 238.882
243.62/245.82	c bounds 369 >= 56 @ 238.891
243.62/245.84	c bounds 369 >= 57 @ 238.904
243.62/245.86	c bounds 369 >= 58 @ 238.912
243.62/245.87	c bounds 369 >= 59 @ 238.922
243.62/245.89	c bounds 369 >= 60 @ 238.932
243.72/245.91	c bounds 369 >= 61 @ 238.946
243.72/245.93	c bounds 369 >= 62 @ 238.962
243.72/245.96	c bounds 369 >= 63 @ 238.981
243.72/245.99	c bounds 369 >= 64 @ 239.012
243.83/246.03	c bounds 369 >= 65 @ 239.038
243.83/246.06	c bounds 369 >= 66 @ 239.068
243.83/246.11	c bounds 369 >= 67 @ 239.105
243.93/246.14	c bounds 369 >= 68 @ 239.127
244.02/246.20	c bounds 369 >= 69 @ 239.182
245.41/247.64	c bounds 369 >= 70 @ 240.602
245.41/247.69	c bounds 369 >= 71 @ 240.648
245.52/247.77	c bounds 369 >= 72 @ 240.716
245.62/247.88	c bounds 369 >= 73 @ 240.818
245.83/248.09	c bounds 369 >= 74 @ 241.024
246.31/248.52	c bounds 369 >= 75 @ 241.426
246.72/248.98	c #Conflicts:      31000 | #Constraints:     662879
246.72/248.98	c bounds 369 >= 76 @ 241.86
247.71/249.95	c bounds 369 >= 77 @ 242.804
250.70/252.99	c bounds 369 >= 78 @ 245.811
252.10/254.37	c bounds 369 >= 79 @ 247.134
258.28/260.59	c #Conflicts:      32000 | #Constraints:     663979
258.28/260.59	c bounds 369 >= 80 @ 253.248
408.17/410.86	c #Conflicts:      33000 | #Constraints:     665010
408.17/410.86	c INPROCESSING
408.17/410.86	c GARBAGE COLLECT
408.17/410.86	c rational objective 182.961
415.37/418.08	c bounds 369 >= 81 @ 410.078
429.21/431.93	c bounds 369 >= 82 @ 423.802
432.31/435.06	c #Conflicts:      34000 | #Constraints:     662170
432.31/435.06	c bounds 369 >= 83 @ 426.877
439.18/441.99	c #Conflicts:      35000 | #Constraints:     663194
439.18/441.99	c #Conflicts:      36000 | #Constraints:     664194
439.18/441.99	c bounds 369 >= 84 @ 433.638
459.52/462.39	c #Conflicts:      37000 | #Constraints:     665233
459.52/462.39	c INPROCESSING
459.52/462.39	c GARBAGE COLLECT
459.52/462.39	c #Conflicts:      38000 | #Constraints:     662153
459.52/462.39	c #Conflicts:      39000 | #Constraints:     663154
459.52/462.39	c bounds 369 >= 85 @ 453.744
484.24/487.14	c #Conflicts:      40000 | #Constraints:     664205
484.24/487.14	c #Conflicts:      41000 | #Constraints:     665205
484.24/487.14	c INPROCESSING
484.24/487.14	c GARBAGE COLLECT
484.24/487.14	c #Conflicts:      42000 | #Constraints:     661952
484.24/487.14	c #Conflicts:      43000 | #Constraints:     662952
484.24/487.14	c bounds 369 >= 86 @ 478.04
514.74/517.73	c #Conflicts:      44000 | #Constraints:     664000
514.74/517.73	c #Conflicts:      45000 | #Constraints:     665000
514.74/517.73	c #Conflicts:      46000 | #Constraints:     666000
514.74/517.73	c INPROCESSING
514.74/517.73	c GARBAGE COLLECT
514.74/517.73	c bounds 368 >= 86 @ 508.091
549.22/552.34	c #Conflicts:      47000 | #Constraints:     662571
549.22/552.34	c #Conflicts:      48000 | #Constraints:     663571
549.22/552.34	c #Conflicts:      49000 | #Constraints:     664572
549.22/552.34	c #Conflicts:      50000 | #Constraints:     665572
549.22/552.34	c #Conflicts:      51000 | #Constraints:     666572
549.22/552.34	c INPROCESSING
549.22/552.34	c GARBAGE COLLECT
549.22/552.34	c rational objective 182.962
556.70/559.83	c bounds 365 >= 86 @ 549.48
560.29/563.47	c bounds 363 >= 86 @ 553.057
572.15/575.30	c #Conflicts:      52000 | #Constraints:     662965
572.15/575.30	c bounds 360 >= 86 @ 564.673
590.39/593.70	c #Conflicts:      53000 | #Constraints:     663987
590.39/593.70	c #Conflicts:      54000 | #Constraints:     664987
590.39/593.70	c #Conflicts:      55000 | #Constraints:     665987
590.39/593.70	c bounds 360 >= 87 @ 582.65
598.36/601.68	c #Conflicts:      56000 | #Constraints:     667041
598.36/601.68	c INPROCESSING
598.36/601.68	c GARBAGE COLLECT
598.36/601.68	c rational objective 182.961
649.90/653.39	c #Conflicts:      57000 | #Constraints:     663194
649.90/653.39	c #Conflicts:      58000 | #Constraints:     664197
649.90/653.39	c #Conflicts:      59000 | #Constraints:     665197
649.90/653.39	c #Conflicts:      60000 | #Constraints:     666199
649.90/653.39	c #Conflicts:      61000 | #Constraints:     667199
649.90/653.39	c INPROCESSING
649.90/653.39	c GARBAGE COLLECT
649.90/653.39	c rational objective 183.333
655.48/658.94	c bounds 358 >= 87 @ 646.844
681.40/685.00	c #Conflicts:      62000 | #Constraints:     663176
681.40/685.00	c #Conflicts:      63000 | #Constraints:     664181
681.40/685.00	c #Conflicts:      64000 | #Constraints:     665197
681.40/685.00	c bounds 357 >= 87 @ 672.527
707.71/711.39	c #Conflicts:      65000 | #Constraints:     666200
707.71/711.39	c #Conflicts:      66000 | #Constraints:     667200
707.71/711.39	c INPROCESSING
707.71/711.39	c GARBAGE COLLECT
707.71/711.39	c rational objective 187.165
813.08/817.05	c #Conflicts:      67000 | #Constraints:     662977
813.08/817.05	c #Conflicts:      68000 | #Constraints:     663980
813.08/817.05	c #Conflicts:      69000 | #Constraints:     664980
813.08/817.05	c #Conflicts:      70000 | #Constraints:     665983
813.08/817.05	c #Conflicts:      71000 | #Constraints:     666983
813.08/817.05	c #Conflicts:      72000 | #Constraints:     667983
813.08/817.05	c INPROCESSING
813.08/817.05	c GARBAGE COLLECT
813.08/817.05	c rational objective 187.451
876.76/880.99	c #Conflicts:      73000 | #Constraints:     663573
876.76/880.99	c #Conflicts:      74000 | #Constraints:     664574
876.76/880.99	c #Conflicts:      75000 | #Constraints:     665574
876.76/880.99	c #Conflicts:      76000 | #Constraints:     666574
876.76/880.99	c #Conflicts:      77000 | #Constraints:     667575
876.76/880.99	c #Conflicts:      78000 | #Constraints:     668578
876.76/880.99	c INPROCESSING
876.76/880.99	c GARBAGE COLLECT
876.76/880.99	c rational objective 187.455
889.02/893.22	c #Conflicts:      79000 | #Constraints:     663972
889.02/893.22	c bounds 357 >= 88 @ 877.868
1087.95/1092.74	c #Conflicts:      80000 | #Constraints:     665033
1087.95/1092.74	c #Conflicts:      81000 | #Constraints:     666033
1087.95/1092.74	c #Conflicts:      82000 | #Constraints:     667035
1087.95/1092.74	c #Conflicts:      83000 | #Constraints:     668035
1087.95/1092.74	c #Conflicts:      84000 | #Constraints:     669036
1087.95/1092.74	c INPROCESSING
1087.95/1092.74	c GARBAGE COLLECT
1087.95/1092.74	c #Conflicts:      85000 | #Constraints:     664209
1087.95/1092.74	c #Conflicts:      86000 | #Constraints:     665215
1087.95/1092.74	c #Conflicts:      87000 | #Constraints:     666222
1087.95/1092.74	c #Conflicts:      88000 | #Constraints:     667228
1087.95/1092.74	c #Conflicts:      89000 | #Constraints:     668232
1087.95/1092.74	c #Conflicts:      90000 | #Constraints:     669237
1087.95/1092.74	c INPROCESSING
1087.95/1092.74	c GARBAGE COLLECT
1087.95/1092.74	c rational objective 182.029
1141.97/1146.99	c #Conflicts:      91000 | #Constraints:     664235
1141.97/1146.99	c #Conflicts:      92000 | #Constraints:     665235
1141.97/1146.99	c #Conflicts:      93000 | #Constraints:     666235
1141.97/1146.99	c #Conflicts:      94000 | #Constraints:     667235
1141.97/1146.99	c #Conflicts:      95000 | #Constraints:     668235
1141.97/1146.99	c #Conflicts:      96000 | #Constraints:     669235
1141.97/1146.99	c INPROCESSING
1141.97/1146.99	c GARBAGE COLLECT
1141.97/1146.99	c rational objective 182.754
1160.14/1165.16	c #Conflicts:      97000 | #Constraints:     664021
1160.14/1165.16	c #Conflicts:      98000 | #Constraints:     665021
1160.14/1165.16	c bounds 357 >= 89 @ 1146.4
1198.32/1203.42	c #Conflicts:      99000 | #Constraints:     666060
1198.32/1203.42	c #Conflicts:     100000 | #Constraints:     667060
1198.32/1203.42	c #Conflicts:     101000 | #Constraints:     668060
1198.32/1203.42	c #Conflicts:     102000 | #Constraints:     669060
1198.32/1203.42	c #Conflicts:     103000 | #Constraints:     670060
1198.32/1203.42	c INPROCESSING
1198.32/1203.42	c GARBAGE COLLECT
1198.32/1203.42	c rational objective 182.92
1312.80/1318.27	c #Conflicts:     104000 | #Constraints:     664623
1312.80/1318.27	c #Conflicts:     105000 | #Constraints:     665625
1312.80/1318.27	c #Conflicts:     106000 | #Constraints:     666626
1312.80/1318.27	c #Conflicts:     107000 | #Constraints:     667626
1312.80/1318.27	c #Conflicts:     108000 | #Constraints:     668626
1312.80/1318.27	c #Conflicts:     109000 | #Constraints:     669629
1312.80/1318.27	c #Conflicts:     110000 | #Constraints:     670630
1312.80/1318.27	c INPROCESSING
1312.80/1318.27	c GARBAGE COLLECT
1312.80/1318.27	c rational objective 182.926
1390.39/1396.01	c #Conflicts:     111000 | #Constraints:     665024
1390.39/1396.01	c #Conflicts:     112000 | #Constraints:     666025
1390.39/1396.01	c #Conflicts:     113000 | #Constraints:     667026
1390.39/1396.01	c #Conflicts:     114000 | #Constraints:     668027
1390.39/1396.01	c #Conflicts:     115000 | #Constraints:     669028
1390.39/1396.01	c #Conflicts:     116000 | #Constraints:     670029
1390.39/1396.01	c bounds 357 >= 90 @ 1374.09
1405.14/1410.80	c #Conflicts:     117000 | #Constraints:     671054
1405.14/1410.80	c INPROCESSING
1405.14/1410.80	c GARBAGE COLLECT
1405.14/1410.80	c rational objective 182.926
1524.21/1530.21	c #Conflicts:     118000 | #Constraints:     665231
1524.21/1530.21	c #Conflicts:     119000 | #Constraints:     666233
1524.21/1530.21	c #Conflicts:     120000 | #Constraints:     667233
1524.21/1530.21	c #Conflicts:     121000 | #Constraints:     668233
1524.21/1530.21	c #Conflicts:     122000 | #Constraints:     669233
1524.21/1530.21	c #Conflicts:     123000 | #Constraints:     670233
1524.21/1530.21	c #Conflicts:     124000 | #Constraints:     671233
1524.21/1530.21	c INPROCESSING
1524.21/1530.21	c GARBAGE COLLECT
1524.21/1530.21	c rational objective 182.946
1796.18/1802.90	c #Conflicts:     125000 | #Constraints:     665228
1796.18/1802.90	c #Conflicts:     126000 | #Constraints:     666229
1796.18/1802.90	c #Conflicts:     127000 | #Constraints:     667229
1796.18/1802.90	c #Conflicts:     128000 | #Constraints:     668229
1796.18/1802.90	c #Conflicts:     129000 | #Constraints:     669229
1796.18/1802.90	c #Conflicts:     130000 | #Constraints:     670229
1796.18/1802.90	c #Conflicts:     131000 | #Constraints:     671229
1796.18/1802.90	c INPROCESSING
1796.18/1802.90	c GARBAGE COLLECT
1796.18/1802.90	c bounds 357 >= 91 @ 1777.55
1999.43/2006.88	c #Conflicts:     132000 | #Constraints:     665069
1999.43/2006.88	c #Conflicts:     133000 | #Constraints:     666069
1999.43/2006.88	c #Conflicts:     134000 | #Constraints:     667070
1999.43/2006.88	c #Conflicts:     135000 | #Constraints:     668071
1999.43/2006.88	c #Conflicts:     136000 | #Constraints:     669071
1999.43/2006.88	c #Conflicts:     137000 | #Constraints:     670072
1999.43/2006.88	c #Conflicts:     138000 | #Constraints:     671072
1999.43/2006.88	c #Conflicts:     139000 | #Constraints:     672072
1999.43/2006.88	c INPROCESSING
1999.43/2006.88	c GARBAGE COLLECT
1999.43/2006.88	c rational objective 182.948
2095.72/2103.42	c #Conflicts:     140000 | #Constraints:     665676
2095.72/2103.42	c #Conflicts:     141000 | #Constraints:     666676
2095.72/2103.42	c #Conflicts:     142000 | #Constraints:     667678
2095.72/2103.42	c #Conflicts:     143000 | #Constraints:     668678
2095.72/2103.42	c #Conflicts:     144000 | #Constraints:     669679
2095.72/2103.42	c #Conflicts:     145000 | #Constraints:     670680
2095.72/2103.42	c #Conflicts:     146000 | #Constraints:     671680
2095.72/2103.42	c #Conflicts:     147000 | #Constraints:     672681
2095.72/2103.42	c INPROCESSING
2095.72/2103.42	c GARBAGE COLLECT
2095.72/2103.42	c rational objective 182.972
2171.87/2179.83	c #Conflicts:     148000 | #Constraints:     666070
2171.87/2179.83	c #Conflicts:     149000 | #Constraints:     667072
2171.87/2179.83	c #Conflicts:     150000 | #Constraints:     668072
2171.87/2179.83	c #Conflicts:     151000 | #Constraints:     669072
2171.87/2179.83	c #Conflicts:     152000 | #Constraints:     670072
2171.87/2179.83	c #Conflicts:     153000 | #Constraints:     671073
2171.87/2179.83	c #Conflicts:     154000 | #Constraints:     672073
2171.87/2179.83	c #Conflicts:     155000 | #Constraints:     673073
2171.87/2179.83	c INPROCESSING
2171.87/2179.83	c GARBAGE COLLECT
2171.87/2179.83	c rational objective 182.972
2333.03/2341.56	c #Conflicts:     156000 | #Constraints:     666264
2333.03/2341.56	c #Conflicts:     157000 | #Constraints:     667266
2333.03/2341.56	c #Conflicts:     158000 | #Constraints:     668267
2333.03/2341.56	c #Conflicts:     159000 | #Constraints:     669268
2333.03/2341.56	c #Conflicts:     160000 | #Constraints:     670268
2333.03/2341.56	c #Conflicts:     161000 | #Constraints:     671269
2333.03/2341.56	c #Conflicts:     162000 | #Constraints:     672270
2333.03/2341.56	c #Conflicts:     163000 | #Constraints:     673270
2333.03/2341.56	c INPROCESSING
2333.03/2341.56	c GARBAGE COLLECT
2333.03/2341.56	c rational objective 182.972
2376.78/2385.44	c #Conflicts:     164000 | #Constraints:     666267
2376.78/2385.44	c #Conflicts:     165000 | #Constraints:     667267
2376.78/2385.44	c #Conflicts:     166000 | #Constraints:     668287
2376.78/2385.44	c bounds 356 >= 91 @ 2353.14
2426.72/2435.54	c #Conflicts:     167000 | #Constraints:     669381
2426.72/2435.54	c #Conflicts:     168000 | #Constraints:     670381
2426.72/2435.54	c #Conflicts:     169000 | #Constraints:     671382
2426.72/2435.54	c #Conflicts:     170000 | #Constraints:     672382
2426.72/2435.54	c #Conflicts:     171000 | #Constraints:     673382
2426.72/2435.54	c INPROCESSING
2426.72/2435.54	c GARBAGE COLLECT
2426.72/2435.54	c rational objective 182.972
2521.31/2530.45	c #Conflicts:     172000 | #Constraints:     666125
2521.31/2530.45	c #Conflicts:     173000 | #Constraints:     667125
2521.31/2530.45	c #Conflicts:     174000 | #Constraints:     668125
2521.31/2530.45	c #Conflicts:     175000 | #Constraints:     669125
2521.31/2530.45	c #Conflicts:     176000 | #Constraints:     670125
2521.31/2530.45	c #Conflicts:     177000 | #Constraints:     671126
2521.31/2530.45	c #Conflicts:     178000 | #Constraints:     672126
2521.31/2530.45	c #Conflicts:     179000 | #Constraints:     673126
2521.31/2530.45	c #Conflicts:     180000 | #Constraints:     674128
2521.31/2530.45	c INPROCESSING
2521.31/2530.45	c GARBAGE COLLECT
2521.31/2530.45	c rational objective 182.972
2644.63/2654.14	c #Conflicts:     181000 | #Constraints:     666702
2644.63/2654.14	c #Conflicts:     182000 | #Constraints:     667703
2644.63/2654.14	c #Conflicts:     183000 | #Constraints:     668705
2644.63/2654.14	c #Conflicts:     184000 | #Constraints:     669705
2644.63/2654.14	c #Conflicts:     185000 | #Constraints:     670706
2644.63/2654.14	c #Conflicts:     186000 | #Constraints:     671707
2644.63/2654.14	c #Conflicts:     187000 | #Constraints:     672708
2644.63/2654.14	c #Conflicts:     188000 | #Constraints:     673709
2644.63/2654.14	c #Conflicts:     189000 | #Constraints:     674710
2644.63/2654.14	c INPROCESSING
2644.63/2654.14	c GARBAGE COLLECT
2644.63/2654.14	c rational objective 182.972
2695.26/2705.00	c #Conflicts:     190000 | #Constraints:     667082
2695.26/2705.00	c #Conflicts:     191000 | #Constraints:     668082
2695.26/2705.00	c #Conflicts:     192000 | #Constraints:     669082
2695.26/2705.00	c #Conflicts:     193000 | #Constraints:     670082
2695.26/2705.00	c #Conflicts:     194000 | #Constraints:     671082
2695.26/2705.00	c bounds 356 >= 92 @ 2667.73
2728.44/2738.20	c #Conflicts:     195000 | #Constraints:     672145
2728.44/2738.20	c #Conflicts:     196000 | #Constraints:     673146
2728.44/2738.20	c #Conflicts:     197000 | #Constraints:     674146
2728.44/2738.20	c #Conflicts:     198000 | #Constraints:     675146
2728.44/2738.20	c INPROCESSING
2728.44/2738.20	c GARBAGE COLLECT
2728.44/2738.20	c rational objective 182.972
2907.84/2918.27	c #Conflicts:     199000 | #Constraints:     667330
2907.84/2918.27	c #Conflicts:     200000 | #Constraints:     668399
2907.84/2918.27	c #Conflicts:     201000 | #Constraints:     669416
2907.84/2918.27	c #Conflicts:     202000 | #Constraints:     670419
2907.84/2918.27	c #Conflicts:     203000 | #Constraints:     671419
2907.84/2918.27	c #Conflicts:     204000 | #Constraints:     672419
2907.84/2918.27	c #Conflicts:     205000 | #Constraints:     673429
2907.84/2918.27	c #Conflicts:     206000 | #Constraints:     674441
2907.84/2918.27	c #Conflicts:     207000 | #Constraints:     675448
2907.84/2918.27	c INPROCESSING
2907.84/2918.27	c GARBAGE COLLECT
2907.84/2918.27	c rational objective 182.942
3023.75/3034.55	c #Conflicts:     208000 | #Constraints:     667388
3023.75/3034.55	c #Conflicts:     209000 | #Constraints:     668388
3023.75/3034.55	c #Conflicts:     210000 | #Constraints:     669389
3023.75/3034.55	c #Conflicts:     211000 | #Constraints:     670390
3023.75/3034.55	c #Conflicts:     212000 | #Constraints:     671391
3023.75/3034.55	c #Conflicts:     213000 | #Constraints:     672392
3023.75/3034.55	c #Conflicts:     214000 | #Constraints:     673392
3023.75/3034.55	c #Conflicts:     215000 | #Constraints:     674392
3023.75/3034.55	c #Conflicts:     216000 | #Constraints:     675394
3023.75/3034.55	c INPROCESSING
3023.75/3034.55	c GARBAGE COLLECT
3023.75/3034.55	c rational objective 182.944
3519.71/3532.16	c #Conflicts:     217000 | #Constraints:     667137
3519.71/3532.16	c #Conflicts:     218000 | #Constraints:     668138
3519.71/3532.16	c #Conflicts:     219000 | #Constraints:     669138
3519.71/3532.16	c #Conflicts:     220000 | #Constraints:     670139
3519.71/3532.16	c #Conflicts:     221000 | #Constraints:     671140
3519.71/3532.16	c #Conflicts:     222000 | #Constraints:     672140
3519.71/3532.16	c #Conflicts:     223000 | #Constraints:     673140
3519.71/3532.16	c #Conflicts:     224000 | #Constraints:     674140
3519.71/3532.16	c #Conflicts:     225000 | #Constraints:     675141
3519.71/3532.16	c #Conflicts:     226000 | #Constraints:     676141
3519.71/3532.16	c INPROCESSING
3519.71/3532.16	c GARBAGE COLLECT
3519.71/3532.16	c #Conflicts:     227000 | #Constraints:     667695
3519.71/3532.16	c #Conflicts:     228000 | #Constraints:     668695
3519.71/3532.16	c #Conflicts:     229000 | #Constraints:     669695
3519.71/3532.16	c #Conflicts:     230000 | #Constraints:     670695
3519.71/3532.16	c #Conflicts:     231000 | #Constraints:     671695
3519.71/3532.16	c #Conflicts:     232000 | #Constraints:     672695
3519.71/3532.16	c #Conflicts:     233000 | #Constraints:     673696
3519.71/3532.16	c #Conflicts:     234000 | #Constraints:     674696
3519.71/3532.16	c #Conflicts:     235000 | #Constraints:     675696
3519.71/3532.16	c #Conflicts:     236000 | #Constraints:     676696
3519.71/3532.16	c INPROCESSING
3519.71/3532.16	c GARBAGE COLLECT
3519.71/3532.16	c #Conflicts:     237000 | #Constraints:     668093
3519.71/3532.16	c #Conflicts:     238000 | #Constraints:     669093
3519.71/3532.16	c #Conflicts:     239000 | #Constraints:     670094
3519.71/3532.16	c #Conflicts:     240000 | #Constraints:     671094
3519.71/3532.16	c #Conflicts:     241000 | #Constraints:     672095
3519.71/3532.16	c #Conflicts:     242000 | #Constraints:     673096
3519.71/3532.16	c #Conflicts:     243000 | #Constraints:     674097
3519.71/3532.16	c #Conflicts:     244000 | #Constraints:     675097
3519.71/3532.16	c #Conflicts:     245000 | #Constraints:     676098
3519.71/3532.16	c #Conflicts:     246000 | #Constraints:     677099
3519.71/3532.16	c INPROCESSING
3519.71/3532.16	c GARBAGE COLLECT
3519.71/3532.16	c rational objective 182.944
3581.41/3594.10	c #Conflicts:     247000 | #Constraints:     668286
3581.41/3594.10	c #Conflicts:     248000 | #Constraints:     669286
3581.41/3594.10	c #Conflicts:     249000 | #Constraints:     670288
3581.41/3594.10	c #Conflicts:     250000 | #Constraints:     671288
3581.41/3594.10	c #Conflicts:     251000 | #Constraints:     672288
3581.41/3594.10	c #Conflicts:     252000 | #Constraints:     673289
3581.41/3594.10	c bounds 356 >= 93 @ 3544.44
3600.03/3612.71	c #Conflicts:     253000 | #Constraints:     674346
3600.03/3612.71	c #Conflicts:     254000 | #Constraints:     675347
3600.03/3612.71	c #Conflicts:     255000 | #Constraints:     676347
3600.03/3612.71	c Disabling crashed LP
3600.03/3612.71	c cpu time 3562.51 s
3600.03/3612.71	c deterministic time 92776443995 9.28e+10
3600.03/3612.71	c optimization time 18.9581 s
3600.03/3612.71	c total solve time 3540.66 s
3600.03/3612.71	c core-guided solve time 3151.7 s
3600.03/3612.71	c propagation time 1188.21 s
3600.03/3612.71	c conflict analysis time 893.04 s
3600.03/3612.71	c propagations 88716203
3600.03/3612.71	c resolve steps 3124679
3600.03/3612.71	c decisions 10433197
3600.03/3612.71	c conflicts 255035
3600.03/3612.71	c restarts 601
3600.03/3612.71	c inprocessing phases 41
3600.03/3612.71	c garbage collections 41 ,( 100.00 )
3600.03/3612.71	c input clauses 657191 ,( 99.86 )
3600.03/3612.71	c input cardinalities 352 ,( 0.05 )
3600.03/3612.71	c input general constraints 565 ,( 0.09 )
3600.03/3612.71	c input average constraint length 6.20
3600.03/3612.71	c input average constraint degree 115.38
3600.03/3612.71	c learned clauses 185283 ,( 72.50 )
3600.03/3612.71	c learned cardinalities 24 ,( 0.01 )
3600.03/3612.71	c learned general constraints 70245 ,( 27.49 )
3600.03/3612.71	c learned average constraint length 1377.27
3600.03/3612.71	c learned average constraint degree 27945292467.96
3600.03/3612.71	c watched  CF 32, 64, 128, Arb: 2095 , 0 , 0 , 0
3600.03/3612.71	c counting CF 32, 64, 128, Arb: 68716 , 0 , 0 , 0
3600.03/3612.71	c watched   constraints 2095 ,( 2.96 ) 
3600.03/3612.71	c counting  constraints 68715 ,( 97.04 ) 
3600.03/3612.71	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 38562569 , 2156632 , 633398158 ,( 9080095 , 624318063 )
3600.03/3612.71	c gcd simplifications 11873
3600.03/3612.71	c detected cardinalities 0
3600.03/3612.71	c weakened non-implied lits 1135925886
3600.03/3612.71	c weakened non-implying lits 165084
3600.03/3612.71	c original variables 10000
3600.03/3612.71	c clausal propagations 11141512
3600.03/3612.71	c cardinality propagations 358791
3600.03/3612.71	c watched propagations 49845
3600.03/3612.71	c counting propagations 74195541
3600.03/3612.71	c watch lookups 2682886000
3600.03/3612.71	c watch backjump lookups 0
3600.03/3612.71	c watch checks 2152119622
3600.03/3612.71	c propagation checks 83078424558
3600.03/3612.71	c constraint additions 4664017406
3600.03/3612.71	c trail pops 99395156
3600.03/3612.71	c formula constraints 656900
3600.03/3612.71	c learned constraints 254893
3600.03/3612.71	c bound constraints 213
3600.03/3612.71	c core-guided constraints 995
3600.03/3612.71	c encountered formula constraints 882608
3600.03/3612.71	c encountered learned constraints 1595620
3600.03/3612.71	c encountered bound constraints 10177
3600.03/3612.71	c encountered core-guided constraints 872039
3600.03/3612.71	c LP total time 2119.48 s
3600.03/3612.71	c LP solve time 1940.67 s
3600.03/3612.71	c LP constraints added 656949
3600.03/3612.71	c LP constraints removed 28
3600.03/3612.71	c LP pivots internal 255034
3600.03/3612.71	c LP pivots root 196818
3600.03/3612.71	c LP calls 666
3600.03/3612.71	c LP optimalities 144
3600.03/3612.71	c LP no pivot count 20
3600.03/3612.71	c LP infeasibilities 486
3600.03/3612.71	c LP valid Farkas constraints 483
3600.03/3612.71	c LP learned Farkas constraints 148
3600.03/3612.71	c LP basis resets 34
3600.03/3612.71	c LP cycling count 14
3600.03/3612.71	c LP singular count 12
3600.03/3612.71	c LP no primal count 0
3600.03/3612.71	c LP no farkas count 3
3600.03/3612.71	c LP other issue count 5
3600.03/3612.71	c LP Gomory cuts 28
3600.03/3612.71	c LP learned cuts 21
3600.03/3612.71	c LP deleted cuts 28
3600.03/3612.71	c LP encountered Gomory constraints 366
3600.03/3612.71	c LP encountered Farkas constraints 18678
3600.03/3612.71	c LP encountered learned Farkas constraints 78
3600.03/3612.71	c CG auxiliary variables introduced 352
3600.03/3612.71	c CG solutions found 152
3600.03/3612.71	c CG cores constructed 61
3600.03/3612.71	c CG core cardinality constraints returned 0
3600.03/3612.71	c CG unit cores 0
3600.03/3612.71	c CG single cores 61
3600.03/3612.71	c CG blocks removed during cardinality reduction 0
3600.03/3612.71	c CG first core best 0
3600.03/3612.71	c CG decision core best 0
3600.03/3612.71	c CG core reduction tie 0
3600.03/3612.71	c CG core degree average 1.00
3600.03/3612.71	c CG core slack average 821.57
3600.03/3612.71	c CG core upper bound improvements 52
3600.03/3612.71	c STR number of successful calls 0
3600.03/3612.71	c STR number of unsuccessful calls 0
3600.03/3612.71	c STR number of inconclusive calls 0
3600.03/3612.71	c STR number of successful attempts 0
3600.03/3612.71	c STR number of unsuccessful attempts 0
3600.03/3612.71	c STR number of inconclusive attempts 0
3600.03/3612.71	c STR average degree increase per successful call inf
3600.03/3612.71	c STR average degree increase per successful attempt inf
3600.03/3612.71	c STR total number of conflicts for successful attempts 0
3600.03/3612.71	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3612.71	c STR total number of conflicts for inconclusive attempts 0
3600.03/3612.71	c STR average number of conflicts per successful attempt inf
3600.03/3612.71	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3612.71	c STR average number of conflicts per inconclusive attempt inf
3600.03/3612.71	c AVG.sumWPerc 93.80 
3600.03/3612.71	c bigint constraints 0 
3600.03/3612.71	o 356
3600.03/3612.71	s SATISFIABLE
3600.03/3612.71	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/3612.71	c Program interrupted by user.

Verifier Data 

OK	356

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532376-1752585442/watcher-4532376-1752585442 -o /tmp/evaluation-result-4532376-1752585442/solver-4532376-1752585442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1752584602-132588 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532376-1752585442.opb PROOFDIR/proof-4532376-1752585442 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100069 s]*
/proc/loadavg: 4.18 3.99 2.63 5/267 132754
/proc/meminfo: memFree=110228936/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132754] ppid=132752 vsize=158976 memory=139152 CPUtime=0.09 cores=4,6
/proc/132754/stat : 132754 (pbsuma) R 132752 132752 132577 0 -1 4194304 2438 0 0 0 5 4 0 0 20 0 1 0 174223989 162791424 34788 18446744073709551615 4210688 4653049 140724626866720 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 10530816 140724626872545 140724626872880 140724626872880 140724626878447 0
/proc/132754/statm: 39744 34788 960 108 0 37152 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 163168 KiB
Current children cumulated memory: 142224 KiB

[startup+0.220008 s]*
/proc/loadavg: 4.18 3.99 2.63 5/267 132754
/proc/meminfo: memFree=110224840/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132754] ppid=132752 vsize=165748 memory=150472 CPUtime=0.18 cores=4,6
/proc/132754/stat : 132754 (pbsuma) R 132752 132752 132577 0 -1 4194304 4672 0 0 0 14 4 0 0 20 0 1 0 174223989 169725952 37618 18446744073709551615 4210688 4653049 140724626866720 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 10530816 140724626872545 140724626872880 140724626872880 140724626878447 0
/proc/132754/statm: 41437 37618 960 108 0 38845 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 169940 KiB
Current children cumulated memory: 153544 KiB

[startup+0.315765 s]*
/proc/loadavg: 4.18 3.99 2.63 6/267 132754
/proc/meminfo: memFree=110224840/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132754] ppid=132752 vsize=171092 memory=156208 CPUtime=0.27 cores=4,6
/proc/132754/stat : 132754 (pbsuma) R 132752 132752 132577 0 -1 4194304 6407 0 0 0 22 5 0 0 20 0 1 0 174223989 175198208 39052 18446744073709551615 4210688 4653049 140724626866720 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 10530816 140724626872545 140724626872880 140724626872880 140724626878447 0
/proc/132754/statm: 42773 39052 960 108 0 40181 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 175284 KiB
Current children cumulated memory: 159280 KiB

[startup+0.700404 s]
/proc/loadavg: 4.18 3.99 2.63 5/267 132754
/proc/meminfo: memFree=110216780/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132754] ppid=132752 vsize=207700 memory=191084 CPUtime=0.64 cores=4,6
/proc/132754/stat : 132754 (pbsuma) D 132752 132752 132577 0 -1 4456448 13283 0 0 0 55 9 0 0 20 0 1 0 174223989 212684800 47771 18446744073709551615 4210688 4653049 140724626866720 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 4700520 4703148 10530816 140724626872545 140724626872880 140724626872880 140724626878447 0
/proc/132754/statm: 51925 47771 960 108 0 49333 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 211892 KiB
Current children cumulated memory: 194156 KiB

[startup+1.50039 s]
/proc/loadavg: 4.18 3.99 2.63 5/267 132754
/proc/meminfo: memFree=110115464/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132754] ppid=132752 vsize=107056 memory=100444 CPUtime=1.4 cores=4,6
/proc/132754/stat : 132754 (pbsuma) R 132752 132752 132577 0 -1 4194304 28825 0 0 0 124 16 0 0 20 0 1 0 174223989 109625344 25111 18446744073709551615 4210688 4653049 140724626866720 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 10530816 140724626872545 140724626872880 140724626872880 140724626878447 0
/proc/132754/statm: 26764 25111 992 108 0 24172 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 111248 KiB
Current children cumulated memory: 103516 KiB

[startup+3.11428 s]
/proc/loadavg: 4.18 3.99 2.63 5/266 132759
/proc/meminfo: memFree=110222436/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=1.5 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 242 28828 0 0 0 0 134 16 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132755] ppid=132752 vsize=114248 memory=69496 CPUtime=1.47 cores=4,6
/proc/132755/stat : 132755 (roundingsat) R 132752 132752 132577 0 -1 4194304 14939 0 0 0 115 32 0 0 20 0 1 0 174224149 116989952 17374 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 28562 17374 1952 1147 0 15988 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 118440 KiB
Current children cumulated memory: 72568 KiB

[startup+6.3004 s]
/proc/loadavg: 4.16 3.99 2.64 5/266 132759
/proc/meminfo: memFree=109551792/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=1.5 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 242 28828 0 0 0 0 134 16 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132755] ppid=132752 vsize=914896 memory=667700 CPUtime=4.65 cores=4,6
/proc/132755/stat : 132755 (roundingsat) R 132752 132752 132577 0 -1 4194304 54070 0 0 0 386 79 0 0 20 0 1 0 174224149 936853504 166925 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 228724 166925 2304 1147 0 216150 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 919088 KiB
Current children cumulated memory: 670772 KiB

[startup+12.7004 s]
/proc/loadavg: 4.15 4.00 2.65 5/266 132759
/proc/meminfo: memFree=109555228/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=1.5 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 242 28828 0 0 0 0 134 16 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132755] ppid=132752 vsize=1076260 memory=769580 CPUtime=11.04 cores=4,6
/proc/132755/stat : 132755 (roundingsat) R 132752 132752 132577 0 -1 4194304 59572 0 0 0 1008 96 0 0 20 0 1 0 174224149 1102090240 192395 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 269065 192395 2368 1147 0 256491 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 1080452 KiB
Current children cumulated memory: 772652 KiB

[startup+25.5004 s]
/proc/loadavg: 4.12 4.00 2.67 5/266 132759
/proc/meminfo: memFree=108969808/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=1.5 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 242 28828 0 0 0 0 134 16 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132755] ppid=132752 vsize=1176696 memory=875784 CPUtime=23.8 cores=4,6
/proc/132755/stat : 132755 (roundingsat) R 132752 132752 132577 0 -1 4194304 68877 0 0 0 2238 142 0 0 20 0 1 0 174224149 1204936704 218946 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 294174 218946 2368 1147 0 281600 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 1180888 KiB
Current children cumulated memory: 878856 KiB

[startup+51.1146 s]
/proc/loadavg: 4.16 4.02 2.71 5/266 132760
/proc/meminfo: memFree=108629008/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=1.5 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 242 28828 0 0 0 0 134 16 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132755] ppid=132752 vsize=1185676 memory=898596 CPUtime=49.34 cores=4,6
/proc/132755/stat : 132755 (roundingsat) R 132752 132752 132577 0 -1 4194304 69439 0 0 0 4769 165 0 0 20 0 1 0 174224149 1214132224 224649 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 296419 224649 2368 1147 0 283845 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 1189868 KiB
Current children cumulated memory: 901668 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.03 2.79 5/264 132761
/proc/meminfo: memFree=106615440/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=1.5 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 242 28828 0 0 0 0 134 16 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132755] ppid=132752 vsize=1578200 memory=1205624 CPUtime=99.48 cores=4,6
/proc/132755/stat : 132755 (roundingsat) R 132752 132752 132577 0 -1 4194304 103962 0 0 0 9727 221 0 0 20 0 1 0 174224149 1616076800 301406 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 394550 301406 2400 1147 0 381976 0
Current children cumulated CPU time: 100.98 s
Current children cumulated vsize: 1582392 KiB
Current children cumulated memory: 1208696 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.04 2.87 5/261 132764
/proc/meminfo: memFree=106054444/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=1.5 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 242 28828 0 0 0 0 134 16 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132755] ppid=132752 vsize=1578200 memory=1209864 CPUtime=158.85 cores=4,6
/proc/132755/stat : 132755 (roundingsat) R 132752 132752 132577 0 -1 4194304 104172 0 0 0 15618 267 0 0 20 0 1 0 174224149 1616076800 302466 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 394550 302466 2400 1147 0 381976 0
Current children cumulated CPU time: 160.35 s
Current children cumulated vsize: 1582392 KiB
Current children cumulated memory: 1212936 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.06 2.95 6/261 132767
/proc/meminfo: memFree=104932692/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=1.5 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 242 28828 0 0 0 0 134 16 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132755] ppid=132752 vsize=1616336 memory=1267688 CPUtime=218.68 cores=4,6
/proc/132755/stat : 132755 (roundingsat) R 132752 132752 132577 0 -1 4194304 110022 0 0 0 21566 302 0 0 20 0 1 0 174224149 1655128064 316922 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 404084 316922 2400 1147 0 391510 0
Current children cumulated CPU time: 220.18 s

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

Current children cumulated CPU time: 3330.52 s
Current children cumulated vsize: 3204364 KiB
Current children cumulated memory: 2785128 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/259 133132
/proc/meminfo: memFree=66407896/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=1.5 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 242 28828 0 0 0 0 134 16 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132755] ppid=132752 vsize=3200172 memory=2782056 CPUtime=3388.83 cores=4,6
/proc/132755/stat : 132755 (roundingsat) R 132752 132752 132577 0 -1 4194304 339319 0 0 0 335560 3323 0 0 20 0 1 0 174224149 3276976128 695514 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 800043 695514 2496 1147 0 787469 0
Current children cumulated CPU time: 3390.33 s
Current children cumulated vsize: 3204364 KiB
Current children cumulated memory: 2785128 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/259 133134
/proc/meminfo: memFree=65410196/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=1.5 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 242 28828 0 0 0 0 134 16 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132755] ppid=132752 vsize=3200172 memory=2782056 CPUtime=3448.63 cores=4,6
/proc/132755/stat : 132755 (roundingsat) R 132752 132752 132577 0 -1 4194304 341223 0 0 0 341449 3414 0 0 20 0 1 0 174224149 3276976128 695514 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 800043 695514 2496 1147 0 787469 0
Current children cumulated CPU time: 3450.13 s
Current children cumulated vsize: 3204364 KiB
Current children cumulated memory: 2785128 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.13 5/259 133136
/proc/meminfo: memFree=64967712/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=1.5 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 242 28828 0 0 0 0 134 16 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132755] ppid=132752 vsize=3200172 memory=2782056 CPUtime=3508.43 cores=4,6
/proc/132755/stat : 132755 (roundingsat) R 132752 132752 132577 0 -1 4194304 341235 0 0 0 347395 3448 0 0 20 0 1 0 174224149 3276976128 695514 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 800043 695514 2496 1147 0 787469 0
Current children cumulated CPU time: 3509.93 s
Current children cumulated vsize: 3204364 KiB
Current children cumulated memory: 2785128 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/258 133138
/proc/meminfo: memFree=64036432/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=1.5 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 242 28828 0 0 0 0 134 16 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132755] ppid=132752 vsize=3200172 memory=2782056 CPUtime=3568.23 cores=4,6
/proc/132755/stat : 132755 (roundingsat) R 132752 132752 132577 0 -1 4194304 343853 0 0 0 353297 3526 0 0 20 0 1 0 174224149 3276976128 695514 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 800043 695514 2496 1147 0 787469 0
Current children cumulated CPU time: 3569.73 s
Current children cumulated vsize: 3204364 KiB
Current children cumulated memory: 2785128 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 4.08 4.10 4.12 5/260 133142
/proc/meminfo: memFree=63276080/131382112 swapFree=33010416/33010684
[pid=132752] ppid=132749 vsize=4192 memory=3072 CPUtime=1.5 cores=4,6
/proc/132752/stat : 132752 (run-opt-break-l) S 132749 132752 132577 0 -1 4194304 242 28828 0 0 0 0 134 16 20 0 1 0 174223988 4292608 768 18446744073709551615 94285653221376 94285654115909 140734223287248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94285654354960 94285654402704 94285670150144 140734223292691 140734223292892 140734223292892 140734223298496 0
/proc/132752/statm: 1048 768 704 219 0 110 0
[pid=132755] ppid=132752 vsize=3200172 memory=2782056 CPUtime=3598.53 cores=4,6
/proc/132755/stat : 132755 (roundingsat) R 132752 132752 132577 0 -1 4194304 344483 0 0 0 356250 3603 0 0 20 0 1 0 174224149 3276976128 695514 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 800043 695514 2496 1147 0 787469 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3204364 KiB
Current children cumulated memory: 2785128 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=1.34148 s, system=0.17208 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.15 4.12 4.13 4/259 133143
/proc/meminfo: memFree=63729936/131382112 swapFree=33010416/33010684
[pid=132755] ppid=132749 vsize=2454320 memory=2255176 CPUtime=3599.79 cores=4,6
/proc/132755/stat : 132755 (roundingsat) D 132749 132752 132577 0 -1 4194304 344490 0 0 0 356251 3728 0 0 20 0 1 0 174224149 2513223680 563794 18446744073709551615 4227072 8923577 140725888163760 0 0 256 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 9
/proc/132755/statm: 613580 563794 2528 1147 0 601006 0
??? kill 132755 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3563.93 s, system=38.7924 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+3612.81 s]*
/proc/loadavg: 4.08 4.10 4.12 7/259 133142
/proc/meminfo: memFree=63792960/131382112 swapFree=33010416/33010684
[pid=132755] ppid=132749 vsize=2454320 memory=2255176 CPUtime=3598.64 cores=4,6
/proc/132755/stat : 132755 (roundingsat) R 132749 132752 132577 0 -1 4194304 344490 0 0 0 356251 3613 0 0 20 0 1 0 174224149 2513223680 563794 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 613580 563794 2528 1147 0 601006 0
Current cumulated CPU time of completed processes: 1.51356 s
Current children cumulated CPU time: 3598.64 s
Current children cumulated vsize: 2454320 KiB
Current children cumulated memory: 2255176 KiB

[startup+3613.6 s]
/proc/loadavg: 4.08 4.10 4.12 6/259 133142
/proc/meminfo: memFree=63798348/131382112 swapFree=33010416/33010684
[pid=132755] ppid=132749 vsize=2454320 memory=2255176 CPUtime=3599.42 cores=4,6
/proc/132755/stat : 132755 (roundingsat) R 132749 132752 132577 0 -1 4194304 344490 0 0 0 356251 3691 0 0 20 0 1 0 174224149 2513223680 563794 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 613580 563794 2528 1147 0 601006 0
Current cumulated CPU time of completed processes: 1.51356 s
Current children cumulated CPU time: 3599.42 s
Current children cumulated vsize: 2454320 KiB
Current children cumulated memory: 2255176 KiB

[startup+3614.4 s]
/proc/loadavg: 4.08 4.10 4.12 5/259 133143
/proc/meminfo: memFree=63727532/131382112 swapFree=33010416/33010684
[pid=132755] ppid=132749 vsize=2454320 memory=2255176 CPUtime=3599.76 cores=4,6
/proc/132755/stat : 132755 (roundingsat) D 132749 132752 132577 0 -1 4194304 344490 0 0 0 356251 3725 0 0 20 0 1 0 174224149 2513223680 563794 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 613580 563794 2528 1147 0 601006 0
Current cumulated CPU time of completed processes: 1.51356 s
Current children cumulated CPU time: 3599.76 s
Current children cumulated vsize: 2454320 KiB
Current children cumulated memory: 2255176 KiB

[startup+3614.6 s]
/proc/loadavg: 4.08 4.10 4.12 5/259 133143
/proc/meminfo: memFree=63727532/131382112 swapFree=33010416/33010684
[pid=132755] ppid=132749 vsize=2454320 memory=2255176 CPUtime=3599.78 cores=4,6
/proc/132755/stat : 132755 (roundingsat) D 132749 132752 132577 0 -1 4194304 344490 0 0 0 356251 3727 0 0 20 0 1 0 174224149 2513223680 563794 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 613580 563794 2528 1147 0 601006 0
Current cumulated CPU time of completed processes: 1.51356 s
Current children cumulated CPU time: 3599.78 s
Current children cumulated vsize: 2454320 KiB
Current children cumulated memory: 2255176 KiB

[startup+3614.7 s]
/proc/loadavg: 4.08 4.10 4.12 5/259 133143
/proc/meminfo: memFree=63727532/131382112 swapFree=33010416/33010684
[pid=132755] ppid=132749 vsize=2454320 memory=2255176 CPUtime=3599.78 cores=4,6
/proc/132755/stat : 132755 (roundingsat) D 132749 132752 132577 0 -1 4194304 344490 0 0 0 356251 3727 0 0 20 0 1 0 174224149 2513223680 563794 18446744073709551615 4227072 8923577 140725888163760 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 19087360 140725888170258 140725888170534 140725888170534 140725888176106 0
/proc/132755/statm: 613580 563794 2528 1147 0 601006 0
Current cumulated CPU time of completed processes: 1.51356 s
Current children cumulated CPU time: 3599.78 s
Current children cumulated vsize: 2454320 KiB
Current children cumulated memory: 2255176 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3657.6
CPU time (s): 3602.72
CPU user time (s): 3563.93
CPU system time (s): 38.7924
CPU usage (%): 98.4996
Max. virtual memory (cumulated for all children) (KiB): 3240476
Max. memory (cumulated for all children) (KiB): 2821064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.93
system time used= 38.7924
maximum resident set size= 2817992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373560
page faults= 0
swaps= 0
block input operations= 0
block output operations= 78399248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 307061
involuntary context switches= 3930


# summary of solver processes directly reported to runsolver:
#   pid: 132752,132755
#   total CPU time (s): 3602.72
#   total CPU user time (s): 3563.93
#   total CPU system time (s): 38.7924

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2908 second user time and 39.8417 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-15 15:17:23
IDJOB=4532376
IDBENCH=147557
IDSOLVER=3393
FILE ID=nodeC012/4532376-1752585442
RUNJOBID= nodeC012-1752584602-132588
SLURM_JOB_ID= 9684342
Free space on /tmp= 432392 MiB

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

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

MD5SUM BENCH= fd0e2798224bd891f728fecfed3c6d1b
RANDOM SEED=1603195766

nodeC012 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		: 3661.709
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.39
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		: 3662.404
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        110355848 kB
MemAvailable:   127592952 kB
Buffers:            2136 kB
Cached:         18010668 kB
SwapCached:           16 kB
Active:          3003644 kB
Inactive:       17386792 kB
Active(anon):    2390668 kB
Inactive(anon):     4948 kB
Active(file):     612976 kB
Inactive(file): 17381844 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            330760 kB
Writeback:             0 kB
AnonPages:       2379940 kB
Mapped:           120508 kB
Shmem:             17944 kB
KReclaimable:     163436 kB
Slab:             263304 kB
SReclaimable:     163436 kB
SUnreclaim:        99868 kB
KernelStack:        4304 kB
PageTables:         8088 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    3111564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149672 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1538048 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432372 MiB
End job on nodeC012 at 2025-07-15 16:18:21