Trace number 4489686

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
pb-oll-rs-2024 2025-05-06SAT (TO)331 3600.06 3609.02

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
MD5SUMac2beb72083c40d036c40a53754bf1b9
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 benchmark255
Best CPU time to get the best result obtained on this benchmark30252.2
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 494728
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 494728
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch 
0.00/0.02	c commit 
0.00/0.02	c [STEP] parsing instance
1.47/1.56	c [STEP] solving
1.47/1.56	c #variables 10000 #constraints 656900
1.47/1.56	c SMALL=int, LARGE=long long
1.47/1.56	c bounds - >= 0 @ 1.11271
1.47/1.56	c stratification level: 98
1.66/1.70	c bounds 7603 >= 0 @ 1.23346
1.66/1.70	c stratification level: 97
1.66/1.70	c bounds 7598 >= 0 @ 1.2369
1.66/1.70	c stratification level: 96
1.66/1.71	c bounds 7585 >= 0 @ 1.24217
1.66/1.71	c stratification level: 95
1.66/1.72	c bounds 7357 >= 0 @ 1.24533
1.66/1.72	c stratification level: 94
1.66/1.74	c bounds 7029 >= 0 @ 1.25728
1.66/1.74	c stratification level: 93
1.66/1.75	c bounds 6713 >= 0 @ 1.2637
1.66/1.75	c stratification level: 92
1.66/1.76	c bounds 6676 >= 0 @ 1.27029
1.66/1.76	c stratification level: 91
1.66/1.76	c bounds 6437 >= 0 @ 1.27462
1.66/1.76	c stratification level: 90
1.66/1.77	c bounds 6379 >= 0 @ 1.27929
1.66/1.77	c stratification level: 89
1.66/1.78	c bounds 6179 >= 0 @ 1.28704
1.66/1.78	c stratification level: 88
1.66/1.79	c bounds 6174 >= 0 @ 1.28994
1.66/1.79	c stratification level: 87
1.76/1.80	c bounds 5726 >= 0 @ 1.2951
1.76/1.80	c stratification level: 86
1.76/1.81	c bounds 5685 >= 0 @ 1.30367
1.76/1.81	c stratification level: 85
1.76/1.82	c bounds 5584 >= 0 @ 1.30981
1.76/1.82	c stratification level: 84
1.76/1.83	c bounds 5456 >= 0 @ 1.31801
1.76/1.83	c stratification level: 83
1.76/1.83	c bounds 5364 >= 0 @ 1.32145
1.76/1.83	c stratification level: 82
1.76/1.89	c bounds 5346 >= 0 @ 1.37588
1.76/1.89	c stratification level: 81
1.86/1.90	c bounds 5333 >= 0 @ 1.38386
1.86/1.90	c stratification level: 80
1.86/1.91	c bounds 5156 >= 0 @ 1.38952
1.86/1.91	c stratification level: 79
1.86/1.92	c bounds 5099 >= 0 @ 1.39407
1.86/1.92	c stratification level: 78
1.86/1.93	c bounds 4911 >= 0 @ 1.39905
1.86/1.93	c stratification level: 77
1.86/1.93	c bounds 4886 >= 0 @ 1.40396
1.86/1.93	c stratification level: 76
1.86/1.94	c bounds 4831 >= 0 @ 1.4088
1.86/1.94	c stratification level: 75
1.86/1.95	c bounds 4708 >= 0 @ 1.41374
1.86/1.95	c stratification level: 74
1.86/1.96	c bounds 4623 >= 0 @ 1.41981
1.86/1.96	c stratification level: 73
1.86/1.97	c bounds 4531 >= 0 @ 1.42483
1.86/1.97	c stratification level: 72
1.86/1.97	c bounds 4359 >= 0 @ 1.43193
1.86/1.97	c stratification level: 71
1.86/1.99	c bounds 4352 >= 0 @ 1.44377
1.86/1.99	c stratification level: 70
1.86/2.00	c bounds 4282 >= 0 @ 1.44815
1.86/2.00	c stratification level: 69
1.97/2.01	c bounds 4244 >= 0 @ 1.45983
1.97/2.01	c stratification level: 68
1.97/2.02	c bounds 4207 >= 0 @ 1.46893
1.97/2.02	c stratification level: 67
1.97/2.05	c bounds 4201 >= 0 @ 1.48682
1.97/2.05	c stratification level: 66
1.97/2.05	c bounds 4189 >= 0 @ 1.49443
1.97/2.05	c stratification level: 65
1.97/2.06	c bounds 4028 >= 0 @ 1.50092
1.97/2.06	c stratification level: 64
1.97/2.07	c bounds 3964 >= 0 @ 1.50739
1.97/2.07	c stratification level: 63
1.97/2.08	c bounds 3903 >= 0 @ 1.51204
1.97/2.08	c stratification level: 62
1.97/2.09	c bounds 3863 >= 0 @ 1.51753
1.97/2.09	c stratification level: 61
1.97/2.10	c bounds 3841 >= 0 @ 1.52533
1.97/2.10	c stratification level: 60
2.07/2.11	c bounds 3739 >= 0 @ 1.5325
2.07/2.11	c stratification level: 59
2.07/2.12	c bounds 3537 >= 0 @ 1.53795
2.07/2.12	c stratification level: 58
2.07/2.13	c bounds 3530 >= 0 @ 1.54739
2.07/2.13	c stratification level: 57
2.07/2.14	c bounds 3518 >= 0 @ 1.55429
2.07/2.14	c stratification level: 56
2.07/2.15	c bounds 3506 >= 0 @ 1.56307
2.07/2.15	c stratification level: 55
2.07/2.16	c bounds 3428 >= 0 @ 1.57006
2.07/2.16	c stratification level: 54
2.07/2.17	c bounds 3278 >= 0 @ 1.57645
2.07/2.17	c stratification level: 53
2.07/2.18	c bounds 3172 >= 0 @ 1.58305
2.07/2.18	c stratification level: 52
2.07/2.19	c bounds 3167 >= 0 @ 1.59068
2.07/2.19	c stratification level: 51
2.16/2.21	c bounds 3156 >= 0 @ 1.60723
2.16/2.21	c stratification level: 50
2.16/2.25	c bounds 3139 >= 0 @ 1.63634
2.16/2.25	c stratification level: 49
2.16/2.26	c bounds 3011 >= 0 @ 1.65061
2.16/2.26	c stratification level: 48
2.16/2.27	c bounds 2930 >= 0 @ 1.65491
2.16/2.27	c stratification level: 47
2.16/2.28	c bounds 2784 >= 0 @ 1.65891
2.16/2.28	c stratification level: 46
2.16/2.29	c bounds 2753 >= 0 @ 1.66507
2.16/2.29	c stratification level: 45
2.26/2.30	c bounds 2708 >= 0 @ 1.66942
2.26/2.30	c stratification level: 44
2.26/2.31	c bounds 2678 >= 0 @ 1.67582
2.26/2.31	c stratification level: 43
2.26/2.32	c bounds 2485 >= 0 @ 1.68114
2.26/2.32	c stratification level: 42
2.26/2.34	c bounds 2468 >= 0 @ 1.68831
2.26/2.34	c stratification level: 41
2.26/2.35	c bounds 2351 >= 0 @ 1.694
2.26/2.35	c stratification level: 40
2.26/2.36	c bounds 2229 >= 0 @ 1.70073
2.26/2.36	c stratification level: 39
2.26/2.38	c bounds 2219 >= 0 @ 1.7182
2.26/2.38	c stratification level: 38
2.26/2.39	c bounds 2204 >= 0 @ 1.72734
2.26/2.39	c stratification level: 37
2.36/2.40	c bounds 2071 >= 0 @ 1.73591
2.36/2.40	c stratification level: 36
2.36/2.41	c bounds 1967 >= 0 @ 1.74438
2.36/2.41	c stratification level: 35
2.36/2.43	c bounds 1962 >= 0 @ 1.7564
2.36/2.43	c stratification level: 34
2.36/2.44	c bounds 1929 >= 0 @ 1.76812
2.36/2.44	c stratification level: 33
2.36/2.46	c bounds 1916 >= 0 @ 1.77628
2.36/2.46	c stratification level: 32
2.36/2.48	c bounds 1903 >= 0 @ 1.7939
2.36/2.48	c stratification level: 31
2.46/2.51	c bounds 1760 >= 0 @ 1.81308
2.46/2.51	c stratification level: 30
2.46/2.53	c bounds 1638 >= 0 @ 1.82684
2.46/2.53	c stratification level: 29
2.46/2.54	c bounds 1584 >= 0 @ 1.83598
2.46/2.54	c stratification level: 28
2.46/2.55	c bounds 1580 >= 0 @ 1.84371
2.46/2.55	c stratification level: 27
2.46/2.56	c bounds 1575 >= 0 @ 1.85042
2.46/2.56	c stratification level: 26
2.46/2.58	c bounds 1474 >= 0 @ 1.85722
2.46/2.58	c stratification level: 25
2.46/2.59	c bounds 1473 >= 0 @ 1.86495
2.46/2.59	c stratification level: 24
2.56/2.60	c bounds 1389 >= 0 @ 1.87069
2.56/2.60	c stratification level: 23
2.56/2.61	c bounds 1304 >= 0 @ 1.87881
2.56/2.61	c stratification level: 22
2.56/2.62	c bounds 1219 >= 0 @ 1.88999
2.56/2.62	c stratification level: 21
2.56/2.67	c bounds 1196 >= 0 @ 1.92715
2.56/2.67	c stratification level: 20
2.56/2.68	c bounds 1195 >= 0 @ 1.93462
2.56/2.68	c stratification level: 19
2.66/2.70	c bounds 1181 >= 0 @ 1.95303
2.66/2.70	c stratification level: 18
2.66/2.71	c bounds 1014 >= 0 @ 1.95868
2.66/2.71	c stratification level: 17
2.66/2.73	c bounds 948 >= 0 @ 1.96555
2.66/2.73	c stratification level: 16
2.66/2.75	c bounds 883 >= 0 @ 1.98491
2.66/2.75	c stratification level: 15
2.66/2.77	c bounds 862 >= 0 @ 2.00209
2.66/2.77	c stratification level: 14
2.66/2.79	c bounds 833 >= 0 @ 2.01085
2.66/2.79	c stratification level: 13
2.86/2.92	c #Conflicts:       1000 | #Constraints:     657984
2.86/2.92	c bounds 787 >= 0 @ 2.13704
2.86/2.92	c stratification level: 12
2.96/3.02	c bounds 729 >= 0 @ 2.22686
2.96/3.02	c stratification level: 11
3.06/3.11	c bounds 605 >= 0 @ 2.3087
3.06/3.11	c stratification level: 10
3.55/3.60	c bounds 604 >= 0 @ 2.77442
3.55/3.60	c stratification level: 9
3.55/3.66	c bounds 604 >= 9 @ 2.77894
3.55/3.66	c finalizing WCE round: reformulating cores
6.85/6.92	c #Conflicts:       2000 | #Constraints:     658992
6.85/6.92	c INPROCESSING
6.85/6.92	c GARBAGE COLLECT
6.85/6.92	c bounds 449 >= 9 @ 5.99206
6.85/6.92	c bounds 442 >= 9 @ 6.00216
6.85/6.92	c stratification level: 8
8.74/8.89	c #Conflicts:       3000 | #Constraints:     658911
8.74/8.89	c #Conflicts:       4000 | #Constraints:     659911
8.74/8.89	c INPROCESSING
8.74/8.89	c bounds 415 >= 9 @ 7.87737
8.74/8.89	c stratification level: 7
8.84/8.93	c bounds 384 >= 9 @ 7.90317
8.84/8.93	c stratification level: 6
120.51/120.95	c #Conflicts:       5000 | #Constraints:     659321
120.51/120.95	c #Conflicts:       6000 | #Constraints:     660321
120.51/120.95	c INPROCESSING
120.51/120.95	c GARBAGE COLLECT
120.51/120.95	c #Conflicts:       7000 | #Constraints:     659325
120.51/120.95	c #Conflicts:       8000 | #Constraints:     660325
120.51/120.95	c #Conflicts:       9000 | #Constraints:     661325
120.51/120.95	c INPROCESSING
120.51/120.95	c GARBAGE COLLECT
120.51/120.95	c #Conflicts:      10000 | #Constraints:     660035
120.51/120.95	c #Conflicts:      11000 | #Constraints:     661035
120.51/120.95	c #Conflicts:      12000 | #Constraints:     662035
120.51/120.95	c INPROCESSING
120.51/120.95	c GARBAGE COLLECT
120.51/120.95	c #Conflicts:      13000 | #Constraints:     660487
120.51/120.95	c #Conflicts:      14000 | #Constraints:     661487
120.51/120.95	c #Conflicts:      15000 | #Constraints:     662487
120.51/120.95	c INPROCESSING
120.51/120.95	c GARBAGE COLLECT
120.51/120.95	c #Conflicts:      16000 | #Constraints:     660722
120.51/120.95	c #Conflicts:      17000 | #Constraints:     661722
120.51/120.95	c #Conflicts:      18000 | #Constraints:     662722
120.51/120.95	c INPROCESSING
120.51/120.95	c GARBAGE COLLECT
120.51/120.95	c #Conflicts:      19000 | #Constraints:     660741
120.51/120.95	c #Conflicts:      20000 | #Constraints:     661741
120.51/120.95	c #Conflicts:      21000 | #Constraints:     662741
120.51/120.95	c INPROCESSING
120.51/120.95	c GARBAGE COLLECT
120.51/120.95	c #Conflicts:      22000 | #Constraints:     660555
120.51/120.95	c #Conflicts:      23000 | #Constraints:     661555
120.51/120.95	c #Conflicts:      24000 | #Constraints:     662555
120.51/120.95	c #Conflicts:      25000 | #Constraints:     663555
120.51/120.95	c INPROCESSING
120.51/120.95	c GARBAGE COLLECT
120.51/120.95	c #Conflicts:      26000 | #Constraints:     661162
120.51/120.95	c #Conflicts:      27000 | #Constraints:     662162
120.51/120.95	c #Conflicts:      28000 | #Constraints:     663162
120.51/120.95	c #Conflicts:      29000 | #Constraints:     664162
120.51/120.95	c INPROCESSING
120.51/120.95	c GARBAGE COLLECT
120.51/120.95	c #Conflicts:      30000 | #Constraints:     661565
120.51/120.95	c #Conflicts:      31000 | #Constraints:     662565
120.51/120.95	c #Conflicts:      32000 | #Constraints:     663565
120.51/120.95	c #Conflicts:      33000 | #Constraints:     664565
120.51/120.95	c INPROCESSING
120.51/120.95	c GARBAGE COLLECT
120.51/120.95	c #Conflicts:      34000 | #Constraints:     661770
120.51/120.95	c #Conflicts:      35000 | #Constraints:     662770
120.51/120.95	c #Conflicts:      36000 | #Constraints:     663770
120.51/120.95	c #Conflicts:      37000 | #Constraints:     664770
120.51/120.95	c INPROCESSING
120.51/120.95	c GARBAGE COLLECT
120.51/120.95	c #Conflicts:      38000 | #Constraints:     661770
120.51/120.95	c #Conflicts:      39000 | #Constraints:     662770
120.51/120.95	c #Conflicts:      40000 | #Constraints:     663770
120.51/120.95	c #Conflicts:      41000 | #Constraints:     664770
120.51/120.95	c INPROCESSING
120.51/120.95	c GARBAGE COLLECT
120.51/120.95	c #Conflicts:      42000 | #Constraints:     661569
120.51/120.95	c #Conflicts:      43000 | #Constraints:     662569
120.51/120.95	c #Conflicts:      44000 | #Constraints:     663569
120.51/120.95	c #Conflicts:      45000 | #Constraints:     664569
120.51/120.95	c #Conflicts:      46000 | #Constraints:     665569
120.51/120.95	c INPROCESSING
120.51/120.95	c GARBAGE COLLECT
120.51/120.95	c #Conflicts:      47000 | #Constraints:     662169
120.51/120.95	c #Conflicts:      48000 | #Constraints:     663169
120.51/120.95	c #Conflicts:      49000 | #Constraints:     664169
120.51/120.95	c #Conflicts:      50000 | #Constraints:     665169
120.51/120.95	c #Conflicts:      51000 | #Constraints:     666169
120.51/120.95	c INPROCESSING
120.51/120.95	c GARBAGE COLLECT
120.51/120.95	c #Conflicts:      52000 | #Constraints:     662568
120.51/120.95	c #Conflicts:      53000 | #Constraints:     663568
120.51/120.95	c #Conflicts:      54000 | #Constraints:     664568
120.51/120.95	c #Conflicts:      55000 | #Constraints:     665568
120.51/120.95	c #Conflicts:      56000 | #Constraints:     666568
120.51/120.95	c INPROCESSING
120.51/120.95	c GARBAGE COLLECT
120.51/120.95	c #Conflicts:      57000 | #Constraints:     662777
120.51/120.95	c #Conflicts:      58000 | #Constraints:     663777
120.51/120.95	c #Conflicts:      59000 | #Constraints:     664777
120.51/120.95	c #Conflicts:      60000 | #Constraints:     665777
120.51/120.95	c #Conflicts:      61000 | #Constraints:     666777
120.51/120.95	c INPROCESSING
120.51/120.95	c GARBAGE COLLECT
120.51/120.95	c #Conflicts:      62000 | #Constraints:     662781
120.51/120.95	c #Conflicts:      63000 | #Constraints:     663781
120.51/120.95	c #Conflicts:      64000 | #Constraints:     664781
120.51/120.95	c #Conflicts:      65000 | #Constraints:     665781
120.51/120.95	c #Conflicts:      66000 | #Constraints:     666781
120.51/120.95	c INPROCESSING
120.51/120.95	c GARBAGE COLLECT
120.51/120.95	c #Conflicts:      67000 | #Constraints:     662589
120.51/120.95	c #Conflicts:      68000 | #Constraints:     663589
120.51/120.95	c #Conflicts:      69000 | #Constraints:     664589
120.51/120.95	c #Conflicts:      70000 | #Constraints:     665589
120.51/120.95	c #Conflicts:      71000 | #Constraints:     666589
120.51/120.95	c #Conflicts:      72000 | #Constraints:     667589
120.51/120.95	c INPROCESSING
120.51/120.95	c GARBAGE COLLECT
244.27/245.01	c #Conflicts:      73000 | #Constraints:     663177
244.27/245.01	c #Conflicts:      74000 | #Constraints:     664177
244.27/245.01	c #Conflicts:      75000 | #Constraints:     665177
244.27/245.01	c #Conflicts:      76000 | #Constraints:     666177
244.27/245.01	c #Conflicts:      77000 | #Constraints:     667177
244.27/245.01	c #Conflicts:      78000 | #Constraints:     668177
244.27/245.01	c INPROCESSING
244.27/245.01	c GARBAGE COLLECT
244.27/245.01	c #Conflicts:      79000 | #Constraints:     663586
244.27/245.01	c #Conflicts:      80000 | #Constraints:     664586
244.27/245.01	c #Conflicts:      81000 | #Constraints:     665586
244.27/245.01	c #Conflicts:      82000 | #Constraints:     666586
244.27/245.01	c #Conflicts:      83000 | #Constraints:     667586
244.27/245.01	c #Conflicts:      84000 | #Constraints:     668586
244.27/245.01	c INPROCESSING
244.27/245.01	c GARBAGE COLLECT
244.27/245.01	c #Conflicts:      85000 | #Constraints:     663785
244.27/245.01	c #Conflicts:      86000 | #Constraints:     664785
244.27/245.01	c #Conflicts:      87000 | #Constraints:     665785
244.27/245.01	c #Conflicts:      88000 | #Constraints:     666785
244.27/245.01	c #Conflicts:      89000 | #Constraints:     667785
244.27/245.01	c #Conflicts:      90000 | #Constraints:     668785
244.27/245.01	c INPROCESSING
244.27/245.01	c GARBAGE COLLECT
244.27/245.01	c #Conflicts:      91000 | #Constraints:     663777
244.27/245.01	c #Conflicts:      92000 | #Constraints:     664777
244.27/245.01	c #Conflicts:      93000 | #Constraints:     665777
244.27/245.01	c #Conflicts:      94000 | #Constraints:     666777
244.27/245.01	c #Conflicts:      95000 | #Constraints:     667777
244.27/245.01	c #Conflicts:      96000 | #Constraints:     668777
244.27/245.01	c INPROCESSING
244.27/245.01	c GARBAGE COLLECT
244.27/245.01	c #Conflicts:      97000 | #Constraints:     663576
244.27/245.01	c #Conflicts:      98000 | #Constraints:     664576
244.27/245.01	c #Conflicts:      99000 | #Constraints:     665576
244.27/245.01	c #Conflicts:     100000 | #Constraints:     666576
244.27/245.01	c #Conflicts:     101000 | #Constraints:     667576
244.27/245.01	c #Conflicts:     102000 | #Constraints:     668576
244.27/245.01	c #Conflicts:     103000 | #Constraints:     669576
244.27/245.01	c INPROCESSING
244.27/245.01	c GARBAGE COLLECT
244.27/245.01	c #Conflicts:     104000 | #Constraints:     664178
244.27/245.01	c #Conflicts:     105000 | #Constraints:     665178
244.27/245.01	c #Conflicts:     106000 | #Constraints:     666178
244.27/245.01	c #Conflicts:     107000 | #Constraints:     667178
244.27/245.01	c #Conflicts:     108000 | #Constraints:     668178
244.27/245.01	c #Conflicts:     109000 | #Constraints:     669178
244.27/245.01	c #Conflicts:     110000 | #Constraints:     670178
244.27/245.01	c INPROCESSING
244.27/245.01	c GARBAGE COLLECT
244.27/245.01	c #Conflicts:     111000 | #Constraints:     664580
244.27/245.01	c #Conflicts:     112000 | #Constraints:     665580
244.27/245.01	c #Conflicts:     113000 | #Constraints:     666580
244.27/245.01	c #Conflicts:     114000 | #Constraints:     667580
244.27/245.01	c #Conflicts:     115000 | #Constraints:     668580
244.27/245.01	c #Conflicts:     116000 | #Constraints:     669580
244.27/245.01	c #Conflicts:     117000 | #Constraints:     670580
244.27/245.01	c INPROCESSING
244.27/245.01	c GARBAGE COLLECT
244.27/245.01	c #Conflicts:     118000 | #Constraints:     664783
244.27/245.01	c #Conflicts:     119000 | #Constraints:     665783
244.27/245.01	c #Conflicts:     120000 | #Constraints:     666783
244.27/245.01	c #Conflicts:     121000 | #Constraints:     667783
244.27/245.01	c #Conflicts:     122000 | #Constraints:     668783
244.27/245.01	c #Conflicts:     123000 | #Constraints:     669783
244.27/245.01	c #Conflicts:     124000 | #Constraints:     670783
244.27/245.01	c INPROCESSING
244.27/245.01	c GARBAGE COLLECT
244.27/245.01	c #Conflicts:     125000 | #Constraints:     664796
244.27/245.01	c #Conflicts:     126000 | #Constraints:     665796
244.27/245.01	c #Conflicts:     127000 | #Constraints:     666796
244.27/245.01	c #Conflicts:     128000 | #Constraints:     667796
244.27/245.01	c #Conflicts:     129000 | #Constraints:     668796
244.27/245.01	c #Conflicts:     130000 | #Constraints:     669796
244.27/245.01	c #Conflicts:     131000 | #Constraints:     670796
244.27/245.01	c INPROCESSING
244.27/245.01	c GARBAGE COLLECT
244.27/245.01	c #Conflicts:     132000 | #Constraints:     664593
244.27/245.01	c #Conflicts:     133000 | #Constraints:     665593
244.27/245.01	c #Conflicts:     134000 | #Constraints:     666593
244.27/245.01	c #Conflicts:     135000 | #Constraints:     667593
244.27/245.01	c #Conflicts:     136000 | #Constraints:     668593
244.27/245.01	c #Conflicts:     137000 | #Constraints:     669593
244.27/245.01	c #Conflicts:     138000 | #Constraints:     670593
244.27/245.01	c #Conflicts:     139000 | #Constraints:     671593
244.27/245.01	c INPROCESSING
244.27/245.01	c GARBAGE COLLECT
244.27/245.01	c #Conflicts:     140000 | #Constraints:     665192
244.27/245.01	c bounds 331 >= 9 @ 240.324
244.27/245.01	c stratification level: 5
981.95/984.61	c bounds 331 >= 14 @ 240.33
981.95/984.61	c bounds 331 >= 19 @ 240.334
981.95/984.61	c #Conflicts:     141000 | #Constraints:     666196
981.95/984.61	c #Conflicts:     142000 | #Constraints:     667196
981.95/984.61	c bounds 331 >= 24 @ 243.541
981.95/984.61	c #Conflicts:     143000 | #Constraints:     668197
981.95/984.61	c #Conflicts:     144000 | #Constraints:     669197
981.95/984.61	c #Conflicts:     145000 | #Constraints:     670197
981.95/984.61	c #Conflicts:     146000 | #Constraints:     671197
981.95/984.61	c #Conflicts:     147000 | #Constraints:     672197
981.95/984.61	c INPROCESSING
981.95/984.61	c GARBAGE COLLECT
981.95/984.61	c #Conflicts:     148000 | #Constraints:     665581
981.95/984.61	c #Conflicts:     149000 | #Constraints:     666581
981.95/984.61	c #Conflicts:     150000 | #Constraints:     667581
981.95/984.61	c #Conflicts:     151000 | #Constraints:     668581
981.95/984.61	c #Conflicts:     152000 | #Constraints:     669581
981.95/984.61	c #Conflicts:     153000 | #Constraints:     670581
981.95/984.61	c #Conflicts:     154000 | #Constraints:     671581
981.95/984.61	c #Conflicts:     155000 | #Constraints:     672581
981.95/984.61	c INPROCESSING
981.95/984.61	c #Conflicts:     156000 | #Constraints:     665762
981.95/984.61	c #Conflicts:     157000 | #Constraints:     666762
981.95/984.61	c #Conflicts:     158000 | #Constraints:     667762
981.95/984.61	c #Conflicts:     159000 | #Constraints:     668762
981.95/984.61	c #Conflicts:     160000 | #Constraints:     669762
981.95/984.61	c #Conflicts:     161000 | #Constraints:     670762
981.95/984.61	c #Conflicts:     162000 | #Constraints:     671762
981.95/984.61	c #Conflicts:     163000 | #Constraints:     672762
981.95/984.61	c INPROCESSING
981.95/984.61	c GARBAGE COLLECT
981.95/984.61	c #Conflicts:     164000 | #Constraints:     665745
981.95/984.61	c #Conflicts:     165000 | #Constraints:     666745
981.95/984.61	c #Conflicts:     166000 | #Constraints:     667745
981.95/984.61	c #Conflicts:     167000 | #Constraints:     668745
981.95/984.61	c #Conflicts:     168000 | #Constraints:     669745
981.95/984.61	c #Conflicts:     169000 | #Constraints:     670745
981.95/984.61	c #Conflicts:     170000 | #Constraints:     671745
981.95/984.61	c #Conflicts:     171000 | #Constraints:     672745
981.95/984.61	c INPROCESSING
981.95/984.61	c GARBAGE COLLECT
981.95/984.61	c #Conflicts:     172000 | #Constraints:     665535
981.95/984.61	c #Conflicts:     173000 | #Constraints:     666535
981.95/984.61	c #Conflicts:     174000 | #Constraints:     667535
981.95/984.61	c #Conflicts:     175000 | #Constraints:     668535
981.95/984.61	c #Conflicts:     176000 | #Constraints:     669535
981.95/984.61	c #Conflicts:     177000 | #Constraints:     670535
981.95/984.61	c #Conflicts:     178000 | #Constraints:     671535
981.95/984.61	c #Conflicts:     179000 | #Constraints:     672535
981.95/984.61	c #Conflicts:     180000 | #Constraints:     673535
981.95/984.61	c INPROCESSING
981.95/984.61	c GARBAGE COLLECT
981.95/984.61	c #Conflicts:     181000 | #Constraints:     666133
981.95/984.61	c #Conflicts:     182000 | #Constraints:     667133
981.95/984.61	c #Conflicts:     183000 | #Constraints:     668133
981.95/984.61	c #Conflicts:     184000 | #Constraints:     669133
981.95/984.61	c #Conflicts:     185000 | #Constraints:     670133
981.95/984.61	c #Conflicts:     186000 | #Constraints:     671133
981.95/984.61	c #Conflicts:     187000 | #Constraints:     672133
981.95/984.61	c #Conflicts:     188000 | #Constraints:     673133
981.95/984.61	c #Conflicts:     189000 | #Constraints:     674133
981.95/984.61	c INPROCESSING
981.95/984.61	c GARBAGE COLLECT
981.95/984.61	c #Conflicts:     190000 | #Constraints:     666535
981.95/984.61	c #Conflicts:     191000 | #Constraints:     667535
981.95/984.61	c #Conflicts:     192000 | #Constraints:     668535
981.95/984.61	c #Conflicts:     193000 | #Constraints:     669535
981.95/984.61	c #Conflicts:     194000 | #Constraints:     670535
981.95/984.61	c #Conflicts:     195000 | #Constraints:     671535
981.95/984.61	c #Conflicts:     196000 | #Constraints:     672535
981.95/984.61	c #Conflicts:     197000 | #Constraints:     673535
981.95/984.61	c #Conflicts:     198000 | #Constraints:     674535
981.95/984.61	c INPROCESSING
981.95/984.61	c GARBAGE COLLECT
981.95/984.61	c #Conflicts:     199000 | #Constraints:     666732
981.95/984.61	c #Conflicts:     200000 | #Constraints:     667732
981.95/984.61	c #Conflicts:     201000 | #Constraints:     668732
981.95/984.61	c #Conflicts:     202000 | #Constraints:     669732
981.95/984.61	c #Conflicts:     203000 | #Constraints:     670732
981.95/984.61	c #Conflicts:     204000 | #Constraints:     671732
981.95/984.61	c #Conflicts:     205000 | #Constraints:     672732
981.95/984.61	c #Conflicts:     206000 | #Constraints:     673732
981.95/984.61	c #Conflicts:     207000 | #Constraints:     674732
981.95/984.61	c INPROCESSING
981.95/984.61	c GARBAGE COLLECT
981.95/984.61	c #Conflicts:     208000 | #Constraints:     666725
981.95/984.61	c #Conflicts:     209000 | #Constraints:     667725
981.95/984.61	c #Conflicts:     210000 | #Constraints:     668725
981.95/984.61	c #Conflicts:     211000 | #Constraints:     669725
981.95/984.61	c #Conflicts:     212000 | #Constraints:     670725
981.95/984.61	c #Conflicts:     213000 | #Constraints:     671725
2187.07/2192.72	c #Conflicts:     214000 | #Constraints:     672725
2187.07/2192.72	c #Conflicts:     215000 | #Constraints:     673725
2187.07/2192.72	c #Conflicts:     216000 | #Constraints:     674725
2187.07/2192.72	c INPROCESSING
2187.07/2192.72	c GARBAGE COLLECT
2187.07/2192.72	c #Conflicts:     217000 | #Constraints:     666531
2187.07/2192.72	c #Conflicts:     218000 | #Constraints:     667531
2187.07/2192.72	c #Conflicts:     219000 | #Constraints:     668531
2187.07/2192.72	c #Conflicts:     220000 | #Constraints:     669531
2187.07/2192.72	c #Conflicts:     221000 | #Constraints:     670531
2187.07/2192.72	c #Conflicts:     222000 | #Constraints:     671531
2187.07/2192.72	c #Conflicts:     223000 | #Constraints:     672531
2187.07/2192.72	c #Conflicts:     224000 | #Constraints:     673531
2187.07/2192.72	c #Conflicts:     225000 | #Constraints:     674531
2187.07/2192.72	c #Conflicts:     226000 | #Constraints:     675531
2187.07/2192.72	c INPROCESSING
2187.07/2192.72	c GARBAGE COLLECT
2187.07/2192.72	c #Conflicts:     227000 | #Constraints:     667147
2187.07/2192.72	c #Conflicts:     228000 | #Constraints:     668147
2187.07/2192.72	c #Conflicts:     229000 | #Constraints:     669147
2187.07/2192.72	c #Conflicts:     230000 | #Constraints:     670147
2187.07/2192.72	c #Conflicts:     231000 | #Constraints:     671147
2187.07/2192.72	c #Conflicts:     232000 | #Constraints:     672147
2187.07/2192.72	c #Conflicts:     233000 | #Constraints:     673147
2187.07/2192.72	c #Conflicts:     234000 | #Constraints:     674147
2187.07/2192.72	c #Conflicts:     235000 | #Constraints:     675147
2187.07/2192.72	c #Conflicts:     236000 | #Constraints:     676147
2187.07/2192.72	c INPROCESSING
2187.07/2192.72	c GARBAGE COLLECT
2187.07/2192.72	c #Conflicts:     237000 | #Constraints:     667534
2187.07/2192.72	c #Conflicts:     238000 | #Constraints:     668534
2187.07/2192.72	c #Conflicts:     239000 | #Constraints:     669534
2187.07/2192.72	c #Conflicts:     240000 | #Constraints:     670534
2187.07/2192.72	c #Conflicts:     241000 | #Constraints:     671534
2187.07/2192.72	c #Conflicts:     242000 | #Constraints:     672534
2187.07/2192.72	c #Conflicts:     243000 | #Constraints:     673534
2187.07/2192.72	c #Conflicts:     244000 | #Constraints:     674534
2187.07/2192.72	c #Conflicts:     245000 | #Constraints:     675534
2187.07/2192.72	c #Conflicts:     246000 | #Constraints:     676534
2187.07/2192.72	c INPROCESSING
2187.07/2192.72	c GARBAGE COLLECT
2187.07/2192.72	c #Conflicts:     247000 | #Constraints:     667731
2187.07/2192.72	c #Conflicts:     248000 | #Constraints:     668731
2187.07/2192.72	c #Conflicts:     249000 | #Constraints:     669731
2187.07/2192.72	c #Conflicts:     250000 | #Constraints:     670731
2187.07/2192.72	c #Conflicts:     251000 | #Constraints:     671731
2187.07/2192.72	c #Conflicts:     252000 | #Constraints:     672731
2187.07/2192.72	c #Conflicts:     253000 | #Constraints:     673731
2187.07/2192.72	c #Conflicts:     254000 | #Constraints:     674731
2187.07/2192.72	c #Conflicts:     255000 | #Constraints:     675731
2187.07/2192.72	c #Conflicts:     256000 | #Constraints:     676731
2187.07/2192.72	c INPROCESSING
2187.07/2192.72	c GARBAGE COLLECT
2187.07/2192.72	c #Conflicts:     257000 | #Constraints:     667732
2187.07/2192.72	c #Conflicts:     258000 | #Constraints:     668732
2187.07/2192.72	c #Conflicts:     259000 | #Constraints:     669732
2187.07/2192.72	c #Conflicts:     260000 | #Constraints:     670732
2187.07/2192.72	c #Conflicts:     261000 | #Constraints:     671732
2187.07/2192.72	c #Conflicts:     262000 | #Constraints:     672732
2187.07/2192.72	c #Conflicts:     263000 | #Constraints:     673732
2187.07/2192.72	c #Conflicts:     264000 | #Constraints:     674732
2187.07/2192.72	c #Conflicts:     265000 | #Constraints:     675732
2187.07/2192.72	c #Conflicts:     266000 | #Constraints:     676732
2187.07/2192.72	c INPROCESSING
2187.07/2192.72	c GARBAGE COLLECT
2187.07/2192.72	c #Conflicts:     267000 | #Constraints:     667527
2187.07/2192.72	c #Conflicts:     268000 | #Constraints:     668527
2187.07/2192.72	c #Conflicts:     269000 | #Constraints:     669527
2187.07/2192.72	c #Conflicts:     270000 | #Constraints:     670527
2187.07/2192.72	c #Conflicts:     271000 | #Constraints:     671527
2187.07/2192.72	c #Conflicts:     272000 | #Constraints:     672527
2187.07/2192.72	c #Conflicts:     273000 | #Constraints:     673527
2187.07/2192.72	c #Conflicts:     274000 | #Constraints:     674527
2187.07/2192.72	c #Conflicts:     275000 | #Constraints:     675527
2187.07/2192.72	c #Conflicts:     276000 | #Constraints:     676527
2187.07/2192.72	c #Conflicts:     277000 | #Constraints:     677527
2187.07/2192.72	c INPROCESSING
2187.07/2192.72	c GARBAGE COLLECT
2187.07/2192.72	c #Conflicts:     278000 | #Constraints:     668123
2187.07/2192.72	c #Conflicts:     279000 | #Constraints:     669123
2187.07/2192.72	c #Conflicts:     280000 | #Constraints:     670123
2187.07/2192.72	c #Conflicts:     281000 | #Constraints:     671123
2187.07/2192.72	c #Conflicts:     282000 | #Constraints:     672123
2187.07/2192.72	c #Conflicts:     283000 | #Constraints:     673123
2187.07/2192.72	c #Conflicts:     284000 | #Constraints:     674123
2187.07/2192.72	c #Conflicts:     285000 | #Constraints:     675123
2187.07/2192.72	c #Conflicts:     286000 | #Constraints:     676123
2187.07/2192.72	c #Conflicts:     287000 | #Constraints:     677123
3600.03/3609.00	c #Conflicts:     288000 | #Constraints:     678123
3600.03/3609.00	c INPROCESSING
3600.03/3609.00	c GARBAGE COLLECT
3600.03/3609.00	c #Conflicts:     289000 | #Constraints:     668521
3600.03/3609.00	c #Conflicts:     290000 | #Constraints:     669521
3600.03/3609.00	c #Conflicts:     291000 | #Constraints:     670521
3600.03/3609.00	c #Conflicts:     292000 | #Constraints:     671521
3600.03/3609.00	c #Conflicts:     293000 | #Constraints:     672521
3600.03/3609.00	c #Conflicts:     294000 | #Constraints:     673521
3600.03/3609.00	c #Conflicts:     295000 | #Constraints:     674521
3600.03/3609.00	c #Conflicts:     296000 | #Constraints:     675521
3600.03/3609.00	c #Conflicts:     297000 | #Constraints:     676521
3600.03/3609.00	c #Conflicts:     298000 | #Constraints:     677521
3600.03/3609.00	c #Conflicts:     299000 | #Constraints:     678521
3600.03/3609.00	c INPROCESSING
3600.03/3609.00	c GARBAGE COLLECT
3600.03/3609.00	c #Conflicts:     300000 | #Constraints:     668724
3600.03/3609.00	c #Conflicts:     301000 | #Constraints:     669724
3600.03/3609.00	c #Conflicts:     302000 | #Constraints:     670724
3600.03/3609.00	c #Conflicts:     303000 | #Constraints:     671724
3600.03/3609.00	c #Conflicts:     304000 | #Constraints:     672724
3600.03/3609.00	c #Conflicts:     305000 | #Constraints:     673724
3600.03/3609.00	c #Conflicts:     306000 | #Constraints:     674724
3600.03/3609.00	c #Conflicts:     307000 | #Constraints:     675724
3600.03/3609.00	c #Conflicts:     308000 | #Constraints:     676724
3600.03/3609.00	c #Conflicts:     309000 | #Constraints:     677724
3600.03/3609.00	c #Conflicts:     310000 | #Constraints:     678724
3600.03/3609.00	c INPROCESSING
3600.03/3609.00	c GARBAGE COLLECT
3600.03/3609.00	c #Conflicts:     311000 | #Constraints:     668726
3600.03/3609.00	c #Conflicts:     312000 | #Constraints:     669726
3600.03/3609.00	c #Conflicts:     313000 | #Constraints:     670726
3600.03/3609.00	c #Conflicts:     314000 | #Constraints:     671726
3600.03/3609.00	c #Conflicts:     315000 | #Constraints:     672726
3600.03/3609.00	c #Conflicts:     316000 | #Constraints:     673726
3600.03/3609.00	c #Conflicts:     317000 | #Constraints:     674726
3600.03/3609.00	c #Conflicts:     318000 | #Constraints:     675726
3600.03/3609.00	c #Conflicts:     319000 | #Constraints:     676726
3600.03/3609.00	c #Conflicts:     320000 | #Constraints:     677726
3600.03/3609.00	c #Conflicts:     321000 | #Constraints:     678726
3600.03/3609.00	c INPROCESSING
3600.03/3609.00	c GARBAGE COLLECT
3600.03/3609.00	c #Conflicts:     322000 | #Constraints:     668526
3600.03/3609.00	c #Conflicts:     323000 | #Constraints:     669526
3600.03/3609.00	c #Conflicts:     324000 | #Constraints:     670526
3600.03/3609.00	c #Conflicts:     325000 | #Constraints:     671526
3600.03/3609.00	c #Conflicts:     326000 | #Constraints:     672526
3600.03/3609.00	c #Conflicts:     327000 | #Constraints:     673526
3600.03/3609.00	c #Conflicts:     328000 | #Constraints:     674526
3600.03/3609.00	c #Conflicts:     329000 | #Constraints:     675526
3600.03/3609.00	c #Conflicts:     330000 | #Constraints:     676526
3600.03/3609.00	c #Conflicts:     331000 | #Constraints:     677526
3600.03/3609.00	c #Conflicts:     332000 | #Constraints:     678526
3600.03/3609.00	c #Conflicts:     333000 | #Constraints:     679526
3600.03/3609.00	c INPROCESSING
3600.03/3609.00	c GARBAGE COLLECT
3600.03/3609.00	c #Conflicts:     334000 | #Constraints:     669141
3600.03/3609.00	c #Conflicts:     335000 | #Constraints:     670141
3600.03/3609.00	c #Conflicts:     336000 | #Constraints:     671141
3600.03/3609.00	c #Conflicts:     337000 | #Constraints:     672141
3600.03/3609.00	c #Conflicts:     338000 | #Constraints:     673141
3600.03/3609.00	c #Conflicts:     339000 | #Constraints:     674141
3600.03/3609.00	c #Conflicts:     340000 | #Constraints:     675141
3600.03/3609.00	c #Conflicts:     341000 | #Constraints:     676141
3600.03/3609.00	c #Conflicts:     342000 | #Constraints:     677141
3600.03/3609.00	c #Conflicts:     343000 | #Constraints:     678141
3600.03/3609.00	c #Conflicts:     344000 | #Constraints:     679141
3600.03/3609.00	c #Conflicts:     345000 | #Constraints:     680141
3600.03/3609.00	c INPROCESSING
3600.03/3609.00	c GARBAGE COLLECT
3600.03/3609.00	c #Conflicts:     346000 | #Constraints:     669528
3600.03/3609.00	c #Conflicts:     347000 | #Constraints:     670528
3600.03/3609.00	c #Conflicts:     348000 | #Constraints:     671528
3600.03/3609.00	c #Conflicts:     349000 | #Constraints:     672528
3600.03/3609.00	c #Conflicts:     350000 | #Constraints:     673528
3600.03/3609.00	c #Conflicts:     351000 | #Constraints:     674528
3600.03/3609.00	c #Conflicts:     352000 | #Constraints:     675528
3600.03/3609.00	c #Conflicts:     353000 | #Constraints:     676528
3600.03/3609.00	c #Conflicts:     354000 | #Constraints:     677528
3600.03/3609.00	c #Conflicts:     355000 | #Constraints:     678528
3600.03/3609.00	c #Conflicts:     356000 | #Constraints:     679528
3600.03/3609.00	c #Conflicts:     357000 | #Constraints:     680528
3600.03/3609.00	c INPROCESSING
3600.03/3609.00	c GARBAGE COLLECT
3600.03/3609.00	c #Conflicts:     358000 | #Constraints:     669722
3600.03/3609.00	c Program interrupted by user.
3600.03/3609.00	c cpu time 3589.61 s
3600.03/3609.00	c deterministic time 1079686029634 1.08e+12
3600.03/3609.00	c optimization time 25.5783 s
3600.03/3609.00	c total solve time 3562.92 s
3600.03/3609.00	c core-guided solve time 3562.92 s
3600.03/3609.00	c propagation time 2477.37 s
3600.03/3609.00	c conflict analysis time 954.694 s
3600.03/3609.00	c propagations 58953990
3600.03/3609.00	c resolve steps 6047743
3600.03/3609.00	c decisions 10111459
3600.03/3609.00	c conflicts 358926
3600.03/3609.00	c restarts 859
3600.03/3609.00	c inprocessing phases 51
3600.03/3609.00	c input clauses 656900
3600.03/3609.00	c input cardinalities 1
3600.03/3609.00	c input general constraints 99
3600.03/3609.00	c input average constraint length 3.52
3600.03/3609.00	c input average constraint degree 71.31
3600.03/3609.00	c learned clauses 174403
3600.03/3609.00	c learned cardinalities 0
3600.03/3609.00	c learned general constraints 184523
3600.03/3609.00	c learned average constraint length 5545.82
3600.03/3609.00	c learned average constraint degree 15209028.23
3600.03/3609.00	c watched constraints 2211
3600.03/3609.00	c counting constraints 182411
3600.03/3609.00	c gcd simplifications 2445
3600.03/3609.00	c detected cardinalities 0
3600.03/3609.00	c weakened non-implied lits 405455283
3600.03/3609.00	c weakened non-implying lits 85193
3600.03/3609.00	c original variables 10000
3600.03/3609.00	c clausal propagations 26661942
3600.03/3609.00	c cardinality propagations 69565
3600.03/3609.00	c watched propagations 10269
3600.03/3609.00	c counting propagations 31248829
3600.03/3609.00	c watch lookups 12948236274
3600.03/3609.00	c watch backjump lookups 12858840369
3600.03/3609.00	c watch checks 6162187593
3600.03/3609.00	c propagation checks 1042678690968
3600.03/3609.00	c constraint additions 4899594278
3600.03/3609.00	c trail pops 69414702
3600.03/3609.00	c formula constraints 656900
3600.03/3609.00	c learned constraints 358926
3600.03/3609.00	c bound constraints 98
3600.03/3609.00	c core-guided constraints 2
3600.03/3609.00	c encountered formula constraints 4834131
3600.03/3609.00	c encountered learned constraints 1566600
3600.03/3609.00	c encountered bound constraints 1642
3600.03/3609.00	c encountered core-guided constraints 4296
3600.03/3609.00	c LP total time 0 s
3600.03/3609.00	c LP solve time 0 s
3600.03/3609.00	c LP constraints added 0
3600.03/3609.00	c LP constraints removed 0
3600.03/3609.00	c LP pivots internal 0
3600.03/3609.00	c LP pivots root 0
3600.03/3609.00	c LP calls 0
3600.03/3609.00	c LP optimalities 0
3600.03/3609.00	c LP no pivot count 0
3600.03/3609.00	c LP infeasibilities 0
3600.03/3609.00	c LP valid Farkas constraints 0
3600.03/3609.00	c LP learned Farkas constraints 0
3600.03/3609.00	c LP basis resets 0
3600.03/3609.00	c LP cycling count 0
3600.03/3609.00	c LP singular count 0
3600.03/3609.00	c LP no primal count 0
3600.03/3609.00	c LP no farkas count 0
3600.03/3609.00	c LP other issue count 0
3600.03/3609.00	c LP Gomory cuts 0
3600.03/3609.00	c LP learned cuts 0
3600.03/3609.00	c LP deleted cuts 0
3600.03/3609.00	c LP encountered Gomory constraints 0
3600.03/3609.00	c LP encountered Farkas constraints 0
3600.03/3609.00	c LP encountered learned Farkas constraints 0
3600.03/3609.00	c CG auxiliary variables introduced 1
3600.03/3609.00	c CG solutions found 94
3600.03/3609.00	c CG cores constructed 4
3600.03/3609.00	c CG core cardinality constraints returned 0
3600.03/3609.00	c CG unit cores 0
3600.03/3609.00	c CG single cores 4
3600.03/3609.00	c CG blocks removed during cardinality reduction 0
3600.03/3609.00	c CG first core best 0
3600.03/3609.00	c CG decision core best 0
3600.03/3609.00	c CG core reduction tie 0
3600.03/3609.00	c CG core degree average 1.00
3600.03/3609.00	c CG core slack average 2447.50
3600.03/3609.00	c CG exhausted 0
3600.03/3609.00	c CG exhaust time 3.17725 s
3600.03/3609.00	c CG trimmed 0
3600.03/3609.00	c CG trim time 0.00751 s
3600.03/3609.00	c CG minimized 0
3600.03/3609.00	c CG minimize time 0 s
3600.03/3609.00	c CG am1 prop time 0.015603 s
3600.03/3609.00	c CG # am1s reformulated 0
3600.03/3609.00	c CG lower bound derived from am1s 0
3600.03/3609.00	c CG # clausal cores 4
3600.03/3609.00	c CG # cardinality cores 0
3600.03/3609.00	c CG # pb cores 0
3600.03/3609.00	c CG # pb reforms 0
3600.03/3609.00	c CG # cores discarded because of pb reform 0
3600.03/3609.00	d LOWERBOUND 24
3600.03/3609.00	d NCORES 4
3600.03/3609.00	d NPBCORES 0
3600.03/3609.00	d NPBREFORM 0
3600.03/3609.00	d NTRIMMED 0
3600.03/3609.00	d NEXHAUSTED 0
3600.03/3609.00	d NAM1S 0
3600.03/3609.00	d AM1LB 0
3600.03/3609.00	o 331
3600.03/3609.00	s SATISFIABLE
3600.03/3609.00	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

Verifier Data 

OK	331

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489686-1751363225/watcher-4489686-1751363225 -o /tmp/evaluation-result-4489686-1751363225/solver-4489686-1751363225 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49201 --watchdog 3760 pb-oll-rs HOME/instance-4489686-1751363225.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100058 s]*
/proc/loadavg: 2.13 3.60 3.92 6/264 49257
/proc/meminfo: memFree=129789732/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=25604 memory=10264 CPUtime=0.07 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 1570 0 1 0 6 1 0 0 20 0 1 0 51945030 26218496 2566 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 6401 2566 1088 243 0 2650 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 25604 KiB
Current children cumulated memory: 10264 KiB

[startup+0.204753 s]*
/proc/loadavg: 2.13 3.60 3.92 6/264 49257
/proc/meminfo: memFree=129783684/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=26660 memory=12184 CPUtime=0.17 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 2051 0 1 0 13 4 0 0 20 0 1 0 51945030 27299840 3046 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 6665 3046 1088 243 0 2914 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 26660 KiB
Current children cumulated memory: 12184 KiB

[startup+0.305236 s]*
/proc/loadavg: 2.13 3.60 3.92 6/264 49257
/proc/meminfo: memFree=129776124/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=30172 memory=14744 CPUtime=0.27 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 2746 0 1 0 20 7 0 0 20 0 1 0 51945030 30896128 3686 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 7543 3686 1088 243 0 3792 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 30172 KiB
Current children cumulated memory: 14744 KiB

[startup+0.700115 s]
/proc/loadavg: 2.13 3.60 3.92 6/264 49257
/proc/meminfo: memFree=129759744/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=39080 memory=26396 CPUtime=0.66 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 5529 0 1 0 49 17 0 0 20 0 1 0 51945030 40017920 6599 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 9770 6599 1088 243 0 6019 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 39080 KiB
Current children cumulated memory: 26396 KiB

[startup+1.50012 s]
/proc/loadavg: 2.13 3.60 3.92 6/264 49257
/proc/meminfo: memFree=129704052/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=66648 memory=49960 CPUtime=1.47 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 10875 0 1 0 107 40 0 0 20 0 1 0 51945030 68247552 12490 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 16662 12490 1088 243 0 12911 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 66648 KiB
Current children cumulated memory: 49960 KiB

[startup+3.1047 s]
/proc/loadavg: 2.13 3.60 3.92 6/264 49257
/proc/meminfo: memFree=129572160/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=101260 memory=78888 CPUtime=3.06 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 14951 0 1 0 230 76 0 0 20 0 1 0 51945030 103690240 19722 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 25315 19722 1312 243 0 21564 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 101260 KiB
Current children cumulated memory: 78888 KiB

[startup+6.30011 s]
/proc/loadavg: 2.36 3.63 3.93 6/264 49257
/proc/meminfo: memFree=129415580/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=177144 memory=147592 CPUtime=6.25 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 27196 0 1 0 540 85 0 0 20 0 1 0 51945030 181395456 36898 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 44286 36898 1312 243 0 40535 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 177144 KiB
Current children cumulated memory: 147592 KiB

[startup+12.7001 s]
/proc/loadavg: 2.49 3.63 3.93 6/264 49257
/proc/meminfo: memFree=129311572/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=259980 memory=218024 CPUtime=12.63 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 34602 0 1 0 1159 104 0 0 20 0 1 0 51945030 266219520 54506 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 64995 54506 1312 243 0 61244 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 259980 KiB
Current children cumulated memory: 218024 KiB

[startup+25.5001 s]
/proc/loadavg: 2.83 3.65 3.93 6/264 49258
/proc/meminfo: memFree=129262572/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=260112 memory=220296 CPUtime=25.39 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 34646 0 1 0 2411 128 0 0 20 0 1 0 51945030 266354688 55074 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 65028 55074 1312 243 0 61277 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 260112 KiB
Current children cumulated memory: 220296 KiB

[startup+51.1048 s]
/proc/loadavg: 3.29 3.70 3.94 6/264 49258
/proc/meminfo: memFree=129221384/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=260376 memory=228664 CPUtime=50.92 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 34705 0 1 0 4924 168 0 0 20 0 1 0 51945030 266625024 57166 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 65094 57166 1312 243 0 61343 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 260376 KiB
Current children cumulated memory: 228664 KiB

[startup+102.3 s]
/proc/loadavg: 3.76 3.76 3.95 6/264 49264
/proc/meminfo: memFree=129146152/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=342160 memory=251632 CPUtime=101.97 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 35334 0 1 0 9965 232 0 0 20 0 1 0 51945030 350371840 62908 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 85540 62908 1312 243 0 81789 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 342160 KiB
Current children cumulated memory: 251632 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 3.82 3.96 6/264 49266
/proc/meminfo: memFree=129065108/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=342424 memory=274372 CPUtime=161.8 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 35449 0 1 0 15887 293 0 0 20 0 1 0 51945030 350642176 68593 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 85606 68593 1312 243 0 81855 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 342424 KiB
Current children cumulated memory: 274372 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 3.89 3.98 6/264 49268
/proc/meminfo: memFree=129002700/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=342688 memory=289028 CPUtime=221.63 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 35533 0 1 0 21796 367 0 0 20 0 1 0 51945030 350912512 72257 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 85672 72257 1312 243 0 81921 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 342688 KiB
Current children cumulated memory: 289028 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.93 3.99 6/263 49272
/proc/meminfo: memFree=128656636/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=687028 memory=585512 CPUtime=281.45 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 87746 0 1 0 27719 426 0 0 20 0 1 0 51945030 703516672 146378 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 171757 146378 1312 243 0 168006 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 687028 KiB
Current children cumulated memory: 585512 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.96 4.00 6/262 49274
/proc/meminfo: memFree=127680012/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=1940588 memory=1489356 CPUtime=341.27 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 221723 0 1 0 33639 488 0 0 20 0 1 0 51945030 1987162112 372339 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 485147 372339 1312 243 0 481396 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 1940588 KiB
Current children cumulated memory: 1489356 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.00 4.01 6/262 49276
/proc/meminfo: memFree=127160744/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=2175652 memory=1992940 CPUtime=401.09 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 285951 0 1 0 39587 522 0 0 20 0 1 0 51945030 2227867648 498235 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 543913 498235 1312 243 0 540162 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 2175652 KiB
Current children cumulated memory: 1992940 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.01 4.01 6/262 49278
/proc/meminfo: memFree=126947244/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=2786936 memory=2196400 CPUtime=460.93 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 312070 0 1 0 45545 548 0 0 20 0 1 0 51945030 2853822464 549100 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 696734 549100 1312 243 0 692983 0
Current children cumulated CPU time: 460.93 s

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

Current children cumulated memory: 4008620 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/263 49402
/proc/meminfo: memFree=120557944/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=4051396 memory=4008620 CPUtime=2855.06 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 539204 0 1 0 284564 942 0 0 20 0 1 0 51945030 4148629504 1002155 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 1012849 1002155 1312 243 0 1009098 0
Current children cumulated CPU time: 2855.06 s
Current children cumulated vsize: 4051396 KiB
Current children cumulated memory: 4008620 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.09 6/263 49404
/proc/meminfo: memFree=120549284/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=4051396 memory=4008620 CPUtime=2914.93 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 539852 0 1 0 290548 945 0 0 20 0 1 0 51945030 4148629504 1002155 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 1012849 1002155 1312 243 0 1009098 0
Current children cumulated CPU time: 2914.93 s
Current children cumulated vsize: 4051396 KiB
Current children cumulated memory: 4008620 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/263 49406
/proc/meminfo: memFree=120545808/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=4051396 memory=4008620 CPUtime=2974.79 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 539893 0 1 0 296532 947 0 0 20 0 1 0 51945030 4148629504 1002155 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 1012849 1002155 1312 243 0 1009098 0
Current children cumulated CPU time: 2974.79 s
Current children cumulated vsize: 4051396 KiB
Current children cumulated memory: 4008620 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/263 49411
/proc/meminfo: memFree=120520024/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=4059844 memory=4012972 CPUtime=3034.66 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 541715 0 1 0 302517 949 0 0 20 0 1 0 51945030 4157280256 1003243 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 1014961 1003243 1312 243 0 1011210 0
Current children cumulated CPU time: 3034.66 s
Current children cumulated vsize: 4059844 KiB
Current children cumulated memory: 4012972 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/265 49419
/proc/meminfo: memFree=120496616/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=4083400 memory=4033012 CPUtime=3094.52 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 545222 0 1 0 308501 951 0 0 20 0 1 0 51945030 4181401600 1008253 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 1020850 1008253 1312 243 0 1017099 0
Current children cumulated CPU time: 3094.52 s
Current children cumulated vsize: 4083400 KiB
Current children cumulated memory: 4033012 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/265 49421
/proc/meminfo: memFree=120296756/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=5018948 memory=4100872 CPUtime=3154.39 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 548604 0 1 0 314485 954 0 0 20 0 1 0 51945030 5139402752 1025218 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 1254737 1025218 1312 243 0 1250986 0
Current children cumulated CPU time: 3154.39 s
Current children cumulated vsize: 5018948 KiB
Current children cumulated memory: 4100872 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/265 49423
/proc/meminfo: memFree=120220476/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=5027908 memory=4150044 CPUtime=3214.25 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 551799 0 1 0 320463 962 0 0 20 0 1 0 51945030 5148577792 1037511 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 1256977 1037511 1312 243 0 1253226 0
Current children cumulated CPU time: 3214.25 s
Current children cumulated vsize: 5027908 KiB
Current children cumulated memory: 4150044 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/265 49425
/proc/meminfo: memFree=120219768/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=5027908 memory=4150044 CPUtime=3274.1 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 551799 0 1 0 326430 980 0 0 20 0 1 0 51945030 5148577792 1037511 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 1256977 1037511 1312 243 0 1253226 0
Current children cumulated CPU time: 3274.1 s
Current children cumulated vsize: 5027908 KiB
Current children cumulated memory: 4150044 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/265 49427
/proc/meminfo: memFree=120215516/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=5028164 memory=4150044 CPUtime=3333.96 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 552706 0 1 0 332403 993 0 0 20 0 1 0 51945030 5148839936 1037511 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 1257041 1037511 1312 243 0 1253290 0
Current children cumulated CPU time: 3333.96 s
Current children cumulated vsize: 5028164 KiB
Current children cumulated memory: 4150044 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/263 49429
/proc/meminfo: memFree=120211660/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=5028164 memory=4150212 CPUtime=3393.82 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 554730 0 1 0 338373 1009 0 0 20 0 1 0 51945030 5148839936 1037553 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 1257041 1037553 1312 243 0 1253290 0
Current children cumulated CPU time: 3393.82 s
Current children cumulated vsize: 5028164 KiB
Current children cumulated memory: 4150212 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/263 49431
/proc/meminfo: memFree=120211220/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=5028164 memory=4150212 CPUtime=3453.67 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 554821 0 1 0 344354 1013 0 0 20 0 1 0 51945030 5148839936 1037553 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 1257041 1037553 1312 243 0 1253290 0
Current children cumulated CPU time: 3453.67 s
Current children cumulated vsize: 5028164 KiB
Current children cumulated memory: 4150212 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/263 49433
/proc/meminfo: memFree=120169472/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=5028164 memory=4150212 CPUtime=3513.54 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 556755 0 1 0 350335 1019 0 0 20 0 1 0 51945030 5148839936 1037553 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 1257041 1037553 1312 243 0 1253290 0
Current children cumulated CPU time: 3513.54 s
Current children cumulated vsize: 5028164 KiB
Current children cumulated memory: 4150212 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/263 49435
/proc/meminfo: memFree=120157664/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=5032004 memory=4169472 CPUtime=3573.38 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 557622 0 1 0 356304 1034 0 0 20 0 1 0 51945030 5152772096 1042368 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 1258001 1042368 1312 243 0 1254250 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 5032004 KiB
Current children cumulated memory: 4169472 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.09 4.10 4.09 5/262 49439
/proc/meminfo: memFree=120665976/131250000 swapFree=33010684/33010684
[pid=49256] ppid=49241 vsize=5032516 memory=4176128 CPUtime=3600.03 cores=5,7
/proc/49256/stat : 49256 (pb-oll-rs) R 49241 49256 49188 0 -1 4194304 559384 0 1 0 358961 1042 0 0 20 0 1 0 51945030 5153296384 1044032 18446744073709551615 4218880 5211445 140722089859552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 34189312 140722089863580 140722089863657 140722089863657 140722089869259 0
/proc/49256/statm: 1258129 1044032 1312 243 0 1254378 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 5032516 KiB
Current children cumulated memory: 4176128 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.62 s, system=10.4416 s

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

Child status: 0

Real time (s): 3609.02
CPU time (s): 3600.06
CPU user time (s): 3589.62
CPU system time (s): 10.4416
CPU usage (%): 99.7516
Max. virtual memory (cumulated for all children) (KiB): 5044500
Max. memory (cumulated for all children) (KiB): 4186780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.62
system time used= 10.4416
maximum resident set size= 4186780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 559400
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 454
involuntary context switches= 2082


# summary of solver processes directly reported to runsolver:
#   pid: 49256
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3589.62
#   total CPU system time (s): 10.4416

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0839 second user time and 12.7178 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-01 11:47:05
IDJOB=4489686
IDBENCH=147561
IDSOLVER=3345
FILE ID=nodeC028/4489686-1751363225
RUNJOBID= nodeC028-1751363225-49201
SLURM_JOB_ID= 9598179
Free space on /tmp= 432996 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489686-1751363225/watcher-4489686-1751363225 -o /tmp/evaluation-result-4489686-1751363225/solver-4489686-1751363225 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49201 --watchdog 3760  pb-oll-rs HOME/instance-4489686-1751363225.opb

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

MD5SUM BENCH= ac2beb72083c40d036c40a53754bf1b9
RANDOM SEED=843059325

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129806220 kB
MemAvailable:   129744984 kB
Buffers:            3280 kB
Cached:           746372 kB
SwapCached:            0 kB
Active:           323492 kB
Inactive:         489600 kB
Active(anon):      81620 kB
Inactive(anon):        0 kB
Active(file):     241872 kB
Inactive(file):   489600 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             74064 kB
Writeback:             0 kB
AnonPages:         66640 kB
Mapped:           103080 kB
Shmem:             18068 kB
KReclaimable:      93060 kB
Slab:             179304 kB
SReclaimable:      93060 kB
SUnreclaim:        86244 kB
KernelStack:        4080 kB
PageTables:         2928 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     330856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3712 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432988 MiB
End job on nodeC028 at 2025-07-01 12:47:14