Trace number 4462390

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-07-19SAT (TO)-9548 3600.07 3612.36

DiagnosticValue
AM1LB230165
LOWERBOUND-846688
NAM1S811
NCORES39
NEXHAUSTED0
NPBCORES0
NPBREFORM30
NTRIMMED4

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_340_006.opb
MD5SUM7aeed99d365b459b07e7d3797ec462bd
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 benchmark-10524
Best CPU time to get the best result obtained on this benchmark0.096059
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9483
Total number of constraints257
Number of constraints which are clauses10
Number of constraints which are cardinality constraints (but not clauses)247
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2317
Number of terms in the objective function 9482
Biggest coefficient in the objective function 251
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 1080340
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 251
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 1080340
Number of bits of the biggest sum of numbers21
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.01	c [STEP] solving
0.00/0.01	c #variables 9483 #constraints 257
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= -1080340 @ 0.014538
0.00/0.01	c stratification level: 250
0.00/0.02	c bounds -752 >= -1079589 @ 0.018277
0.00/0.02	c stratification level: 249
0.00/0.03	c bounds -754 >= -1079340 @ 0.022293
0.00/0.03	c stratification level: 244
0.00/0.04	c bounds -1488 >= -1078605 @ 0.024287
0.00/0.04	c stratification level: 243
0.00/0.05	c bounds -1552 >= -1078362 @ 0.030484
0.00/0.05	c stratification level: 242
0.00/0.05	c bounds -1784 >= -1077631 @ 0.033921
0.00/0.05	c stratification level: 240
0.00/0.06	c bounds -1934 >= -1076667 @ 0.039179
0.00/0.06	c stratification level: 239
0.00/0.06	c bounds -2017 >= -1076667 @ 0.041226
0.00/0.06	c stratification level: 238
0.00/0.07	c bounds -2253 >= -1076193 @ 0.044535
0.00/0.07	c stratification level: 237
0.00/0.08	c bounds -2253 >= -1075007 @ 0.045874
0.00/0.08	c finalizing WCE round: reformulating cores
0.00/0.09	c bounds -2290 >= -1075007 @ 0.054117
0.00/0.09	c bounds -2467 >= -1075007 @ 0.057087
0.00/0.09	c stratification level: 236
0.10/0.10	c bounds -2950 >= -1074535 @ 0.059672
0.10/0.10	c stratification level: 235
0.10/0.10	c bounds -3206 >= -1073125 @ 0.062735
0.10/0.10	c stratification level: 234
0.10/0.11	c bounds -3206 >= -1072891 @ 0.067007
0.10/0.11	c finalizing WCE round: reformulating cores
0.10/0.13	c bounds -3598 >= -1072891 @ 0.072026
0.10/0.13	c bounds -3731 >= -1072891 @ 0.074811
0.10/0.13	c stratification level: 233
0.10/0.13	c bounds -3734 >= -1071726 @ 0.079049
0.10/0.13	c stratification level: 232
0.10/0.14	c bounds -3956 >= -1071492 @ 0.08099
0.10/0.14	c stratification level: 231
0.10/0.14	c bounds -4121 >= -1070106 @ 0.083456
0.10/0.14	c stratification level: 230
0.10/0.14	c bounds -4343 >= -1069414 @ 0.086976
0.10/0.14	c stratification level: 229
0.10/0.15	c bounds -4567 >= -1068041 @ 0.090462
0.10/0.15	c stratification level: 228
0.10/0.15	c bounds -4627 >= -1067129 @ 0.095377
0.10/0.15	c stratification level: 227
0.10/0.16	c bounds -5079 >= -1066675 @ 0.099343
0.10/0.16	c stratification level: 226
0.10/0.20	c bounds -5079 >= -1065319 @ 0.101306
0.10/0.20	c finalizing WCE round: reformulating cores
0.20/0.22	c bounds -5207 >= -1065319 @ 0.15238
0.20/0.22	c bounds -5210 >= -1065319 @ 0.153654
0.20/0.22	c stratification level: 225
0.20/0.29	c bounds -5240 >= -1063294 @ 0.217104
0.20/0.29	c stratification level: 224
0.20/0.30	c bounds -5301 >= -1062622 @ 0.223277
0.20/0.30	c stratification level: 223
0.30/0.31	c bounds -5343 >= -1061284 @ 0.229743
0.30/0.31	c stratification level: 222
0.30/0.32	c bounds -5411 >= -1058837 @ 0.242308
0.30/0.32	c stratification level: 221
0.30/0.34	c bounds -5505 >= -1057511 @ 0.254553
0.30/0.34	c stratification level: 220
0.30/0.35	c bounds -5596 >= -1055311 @ 0.262448
0.30/0.35	c stratification level: 219
0.30/0.37	c bounds -5648 >= -1053778 @ 0.273026
0.30/0.37	c stratification level: 218
0.30/0.38	c bounds -5655 >= -1051379 @ 0.278233
0.30/0.38	c stratification level: 217
0.30/0.39	c bounds -5662 >= -1049643 @ 0.287531
0.30/0.39	c stratification level: 216
0.30/0.40	c bounds -5666 >= -1047699 @ 0.294265
0.30/0.40	c stratification level: 215
0.40/0.42	c bounds -5666 >= -1045332 @ 0.297001
0.40/0.42	c finalizing WCE round: reformulating cores
0.40/0.46	c bounds -5772 >= -1045332 @ 0.340763
0.40/0.46	c bounds -5852 >= -1045332 @ 0.345051
0.40/0.46	c stratification level: 214
0.40/0.47	c bounds -5852 >= -1043611 @ 0.347285
0.40/0.47	c finalizing WCE round: reformulating cores
0.40/0.50	c bounds -5918 >= -1043611 @ 0.369168
0.40/0.50	c bounds -6028 >= -1043611 @ 0.372312
0.40/0.50	c stratification level: 213
0.50/0.51	c bounds -6028 >= -1041265 @ 0.376285
0.50/0.51	c finalizing WCE round: reformulating cores
0.50/0.53	c bounds -6185 >= -1041265 @ 0.392853
0.50/0.53	c bounds -6186 >= -1041265 @ 0.396562
0.50/0.53	c stratification level: 212
0.50/0.54	c bounds -6264 >= -1038087 @ 0.404337
0.50/0.54	c stratification level: 211
0.50/0.55	c bounds -6333 >= -1035343 @ 0.414199
0.50/0.55	c stratification level: 210
0.50/0.56	c bounds -6396 >= -1033663 @ 0.421265
0.50/0.56	c stratification level: 209
0.50/0.57	c bounds -6396 >= -1030109 @ 0.427491
0.50/0.57	c finalizing WCE round: reformulating cores
0.50/0.59	c bounds -6413 >= -1030109 @ 0.436658
0.50/0.59	c bounds -6425 >= -1030109 @ 0.440435
0.50/0.59	c stratification level: 208
0.50/0.60	c bounds -6461 >= -1027612 @ 0.448354
0.50/0.60	c stratification level: 207
0.59/0.61	c bounds -6461 >= -1025749 @ 0.451056
0.59/0.61	c finalizing WCE round: reformulating cores
0.59/0.62	c bounds -6516 >= -1025749 @ 0.463366
0.59/0.62	c bounds -6557 >= -1025749 @ 0.466164
0.59/0.62	c stratification level: 206
0.59/0.63	c bounds -6610 >= -1023483 @ 0.471838
0.59/0.63	c stratification level: 205
0.59/0.65	c bounds -6610 >= -1020608 @ 0.476342
0.59/0.65	c finalizing WCE round: reformulating cores
0.59/0.67	c bounds -6666 >= -1020608 @ 0.496707
0.59/0.67	c bounds -6673 >= -1020608 @ 0.497919
0.59/0.67	c stratification level: 204
0.59/0.67	c bounds -6674 >= -1018157 @ 0.50284
0.59/0.67	c stratification level: 203
0.69/0.74	c bounds -6749 >= -1014706 @ 0.565297
0.69/0.74	c stratification level: 202
0.69/0.76	c bounds -6749 >= -1011269 @ 0.569443
0.69/0.76	c finalizing WCE round: reformulating cores
0.69/0.77	c bounds -6869 >= -1011269 @ 0.581752
0.69/0.77	c bounds -6876 >= -1011269 @ 0.583724
0.69/0.77	c stratification level: 201
0.69/0.78	c bounds -6933 >= -1009054 @ 0.591603
0.69/0.78	c stratification level: 200
0.79/0.83	c bounds -6933 >= -1005634 @ 0.595762
0.79/0.83	c finalizing WCE round: reformulating cores
3.57/3.67	c bounds -6972 >= -1005634 @ 3.41969
3.57/3.67	c bounds -7780 >= -1005634 @ 3.42601
3.57/3.67	c stratification level: 199
3.98/4.03	c #Conflicts:       1000 | #Constraints:       1658
3.98/4.03	c bounds -7783 >= -1001652 @ 3.7873
3.98/4.03	c stratification level: 198
3.98/4.07	c bounds -7783 >= -999060 @ 3.79747
3.98/4.07	c finalizing WCE round: reformulating cores
5.08/5.12	c bounds -7833 >= -999060 @ 4.83717
5.08/5.12	c bounds -7868 >= -999060 @ 4.84388
5.08/5.12	c stratification level: 197
5.37/5.40	c bounds -7868 >= -995895 @ 4.85039
5.37/5.40	c finalizing WCE round: reformulating cores
6.67/6.73	c bounds -7881 >= -995895 @ 6.40545
6.67/6.73	c bounds -8080 >= -995895 @ 6.41617
6.67/6.73	c stratification level: 196
7.27/7.37	c bounds -8080 >= -992718 @ 6.42219
7.27/7.37	c finalizing WCE round: reformulating cores
7.37/7.40	c bounds -8086 >= -992718 @ 7.04779
7.37/7.40	c bounds -8099 >= -992718 @ 7.06713
7.37/7.40	c stratification level: 195
7.56/7.69	c bounds -8099 >= -988826 @ 7.07484
7.56/7.69	c finalizing WCE round: reformulating cores
11.45/11.50	c #Conflicts:       2000 | #Constraints:       2737
11.45/11.50	c INPROCESSING
11.45/11.50	c GARBAGE COLLECT
11.45/11.50	c bounds -8147 >= -988826 @ 10.7731
11.45/11.50	c bounds -8184 >= -988826 @ 11.1076
11.45/11.50	c stratification level: 194
13.85/13.93	c bounds -8184 >= -982800 @ 11.1196
13.85/13.93	c #Conflicts:       3000 | #Constraints:       2685
13.85/13.93	c finalizing WCE round: reformulating cores
13.85/13.97	c bounds -8338 >= -982800 @ 13.5039
13.85/13.97	c bounds -8339 >= -982800 @ 13.5348
13.85/13.97	c stratification level: 193
16.24/16.39	c bounds -8339 >= -978157 @ 13.5499
16.24/16.39	c #Conflicts:       4000 | #Constraints:       3705
16.24/16.39	c finalizing WCE round: reformulating cores
16.44/16.59	c bounds -8491 >= -978157 @ 15.9228
16.44/16.59	c bounds -8499 >= -978157 @ 16.107
16.44/16.59	c stratification level: 192
22.82/22.91	c bounds -8499 >= -974683 @ 16.1189
22.82/22.91	c INPROCESSING
22.82/22.91	c GARBAGE COLLECT
22.82/22.91	c #Conflicts:       5000 | #Constraints:       3124
22.82/22.91	c finalizing WCE round: reformulating cores
29.80/29.94	c #Conflicts:       6000 | #Constraints:       4127
29.80/29.94	c bounds -8542 >= -974683 @ 26.3265
29.80/29.94	c bounds -8547 >= -974683 @ 29.3245
29.80/29.94	c stratification level: 191
39.57/39.73	c bounds -8547 >= -969326 @ 29.347
39.57/39.73	c INPROCESSING
39.57/39.73	c GARBAGE COLLECT
39.57/39.73	c #Conflicts:       7000 | #Constraints:       3157
39.57/39.73	c #Conflicts:       8000 | #Constraints:       4157
39.57/39.73	c finalizing WCE round: reformulating cores
54.71/55.00	c #Conflicts:       9000 | #Constraints:       5160
54.71/55.00	c INPROCESSING
54.71/55.00	c GARBAGE COLLECT
54.71/55.00	c bounds -8551 >= -969326 @ 46.4646
54.71/55.00	c #Conflicts:      10000 | #Constraints:       3866
54.71/55.00	c #Conflicts:      11000 | #Constraints:       4866
54.71/55.00	c bounds -8573 >= -969326 @ 54.1378
54.71/55.00	c stratification level: 190
60.99/61.22	c bounds -8573 >= -963394 @ 54.8107
60.99/61.22	c finalizing WCE round: reformulating cores
64.98/65.25	c #Conflicts:      12000 | #Constraints:       5890
64.98/65.25	c INPROCESSING
64.98/65.25	c GARBAGE COLLECT
64.98/65.25	c bounds -8692 >= -963394 @ 62.1191
64.98/65.25	c bounds -8734 >= -963394 @ 64.2785
64.98/65.25	c stratification level: 189
71.55/71.86	c #Conflicts:      13000 | #Constraints:       4346
71.55/71.86	c bounds -8739 >= -959789 @ 70.8401
71.55/71.86	c stratification level: 188
106.65/107.01	c bounds -8739 >= -953570 @ 71.2856
106.65/107.01	c #Conflicts:      14000 | #Constraints:       5365
106.65/107.01	c #Conflicts:      15000 | #Constraints:       6365
106.65/107.01	c INPROCESSING
106.65/107.01	c GARBAGE COLLECT
106.65/107.01	c #Conflicts:      16000 | #Constraints:       4597
106.65/107.01	c #Conflicts:      17000 | #Constraints:       5597
106.65/107.01	c finalizing WCE round: reformulating cores
107.04/107.48	c bounds -8744 >= -953570 @ 106.032
107.04/107.48	c bounds -8846 >= -953570 @ 106.232
107.04/107.48	c stratification level: 187
169.32/169.92	c bounds -8846 >= -949851 @ 107.055
169.32/169.92	c #Conflicts:      18000 | #Constraints:       6619
169.32/169.92	c INPROCESSING
169.32/169.92	c GARBAGE COLLECT
169.32/169.92	c #Conflicts:      19000 | #Constraints:       4646
169.32/169.92	c #Conflicts:      20000 | #Constraints:       5646
169.32/169.92	c #Conflicts:      21000 | #Constraints:       6646
169.32/169.92	c INPROCESSING
169.32/169.92	c GARBAGE COLLECT
169.32/169.92	c #Conflicts:      22000 | #Constraints:       4445
169.32/169.92	c #Conflicts:      23000 | #Constraints:       5445
169.32/169.92	c #Conflicts:      24000 | #Constraints:       6445
169.32/169.92	c #Conflicts:      25000 | #Constraints:       7445
169.32/169.92	c INPROCESSING
169.32/169.92	c GARBAGE COLLECT
169.32/169.92	c #Conflicts:      26000 | #Constraints:       5059
169.32/169.92	c finalizing WCE round: reformulating cores
172.01/172.69	c bounds -8891 >= -949851 @ 170.306
172.01/172.69	c bounds -8975 >= -949851 @ 170.974
172.01/172.69	c stratification level: 186
242.48/243.36	c #Conflicts:      27000 | #Constraints:       6078
242.48/243.36	c #Conflicts:      28000 | #Constraints:       7078
242.48/243.36	c #Conflicts:      29000 | #Constraints:       8078
242.48/243.36	c INPROCESSING
242.48/243.36	c GARBAGE COLLECT
242.48/243.36	c #Conflicts:      30000 | #Constraints:       5468
242.48/243.36	c #Conflicts:      31000 | #Constraints:       6468
242.48/243.36	c #Conflicts:      32000 | #Constraints:       7468
242.48/243.36	c #Conflicts:      33000 | #Constraints:       8468
242.48/243.36	c INPROCESSING
242.48/243.36	c GARBAGE COLLECT
242.48/243.36	c #Conflicts:      34000 | #Constraints:       5673
242.48/243.36	c bounds -8978 >= -946881 @ 241.214
242.48/243.36	c stratification level: 185
305.47/306.59	c bounds -8978 >= -942797 @ 242.46
305.47/306.59	c #Conflicts:      35000 | #Constraints:       6693
305.47/306.59	c #Conflicts:      36000 | #Constraints:       7693
305.47/306.59	c #Conflicts:      37000 | #Constraints:       8693
305.47/306.59	c INPROCESSING
305.47/306.59	c GARBAGE COLLECT
305.47/306.59	c #Conflicts:      38000 | #Constraints:       5699
305.47/306.59	c #Conflicts:      39000 | #Constraints:       6699
305.47/306.59	c #Conflicts:      40000 | #Constraints:       7699
305.47/306.59	c #Conflicts:      41000 | #Constraints:       8699
305.47/306.59	c INPROCESSING
305.47/306.59	c GARBAGE COLLECT
305.47/306.59	c finalizing WCE round: reformulating cores
312.25/313.37	c #Conflicts:      42000 | #Constraints:       5503
312.25/313.37	c bounds -8980 >= -942797 @ 310.283
312.25/313.37	c bounds -8982 >= -942797 @ 310.826
312.25/313.37	c stratification level: 184
321.82/322.97	c bounds -8982 >= -935981 @ 312.795
321.82/322.97	c #Conflicts:      43000 | #Constraints:       6524
321.82/322.97	c finalizing WCE round: reformulating cores
336.17/337.34	c #Conflicts:      44000 | #Constraints:       7527
336.17/337.34	c bounds -8984 >= -935981 @ 327.398
336.17/337.34	c bounds -8991 >= -935981 @ 334.67
336.17/337.34	c stratification level: 183
375.24/376.58	c bounds -8991 >= -930119 @ 337.308
375.24/376.58	c #Conflicts:      45000 | #Constraints:       8549
375.24/376.58	c #Conflicts:      46000 | #Constraints:       9549
375.24/376.58	c INPROCESSING
375.24/376.58	c GARBAGE COLLECT
375.24/376.58	c #Conflicts:      47000 | #Constraints:       6138
375.24/376.58	c #Conflicts:      48000 | #Constraints:       7138
375.24/376.58	c finalizing WCE round: reformulating cores
452.49/454.08	c #Conflicts:      49000 | #Constraints:       8141
452.49/454.08	c bounds -9016 >= -930119 @ 397.76
452.49/454.08	c #Conflicts:      50000 | #Constraints:       9141
452.49/454.08	c #Conflicts:      51000 | #Constraints:      10141
452.49/454.08	c INPROCESSING
452.49/454.08	c GARBAGE COLLECT
452.49/454.08	c #Conflicts:      52000 | #Constraints:       6545
452.49/454.08	c #Conflicts:      53000 | #Constraints:       7545
452.49/454.08	c #Conflicts:      54000 | #Constraints:       8545
452.49/454.08	c bounds -9018 >= -930119 @ 450.772
452.49/454.08	c stratification level: 182
469.23/470.87	c bounds -9018 >= -925924 @ 452.723
469.23/470.87	c #Conflicts:      55000 | #Constraints:       9560
469.23/470.87	c finalizing WCE round: reformulating cores
506.60/508.32	c #Conflicts:      56000 | #Constraints:      10563
506.60/508.32	c INPROCESSING
506.60/508.32	c GARBAGE COLLECT
506.60/508.32	c bounds -9023 >= -925924 @ 488.043
506.60/508.32	c #Conflicts:      57000 | #Constraints:       6774
506.60/508.32	c #Conflicts:      58000 | #Constraints:       7774
506.60/508.32	c bounds -9075 >= -925924 @ 504.703
506.60/508.32	c stratification level: 181
520.37/522.17	c bounds -9075 >= -921218 @ 506.602
520.37/522.17	c #Conflicts:      59000 | #Constraints:       8790
520.37/522.17	c finalizing WCE round: reformulating cores
565.60/567.51	c bounds -9104 >= -921218 @ 527.817
565.60/567.51	c #Conflicts:      60000 | #Constraints:       9793
565.60/567.51	c #Conflicts:      61000 | #Constraints:      10793
565.60/567.51	c INPROCESSING
565.60/567.51	c GARBAGE COLLECT
565.60/567.51	c #Conflicts:      62000 | #Constraints:       6794
565.60/567.51	c #Conflicts:      63000 | #Constraints:       7794
565.60/567.51	c #Conflicts:      64000 | #Constraints:       8794
565.60/567.51	c bounds -9149 >= -921218 @ 563.574
565.60/567.51	c stratification level: 180
596.90/598.92	c bounds -9149 >= -916174 @ 565.259
596.90/598.92	c #Conflicts:      65000 | #Constraints:       9813
596.90/598.92	c #Conflicts:      66000 | #Constraints:      10813
596.90/598.92	c finalizing WCE round: reformulating cores
764.12/766.76	c INPROCESSING
764.12/766.76	c GARBAGE COLLECT
764.12/766.76	c #Conflicts:      67000 | #Constraints:       6612
764.12/766.76	c bounds -9160 >= -916174 @ 611.051
764.12/766.76	c #Conflicts:      68000 | #Constraints:       7612
764.12/766.76	c #Conflicts:      69000 | #Constraints:       8612
764.12/766.76	c #Conflicts:      70000 | #Constraints:       9612
764.12/766.76	c #Conflicts:      71000 | #Constraints:      10612
764.12/766.76	c #Conflicts:      72000 | #Constraints:      11612
764.12/766.76	c INPROCESSING
764.12/766.76	c GARBAGE COLLECT
764.12/766.76	c #Conflicts:      73000 | #Constraints:       7198
764.12/766.76	c #Conflicts:      74000 | #Constraints:       8198
764.12/766.76	c #Conflicts:      75000 | #Constraints:       9198
764.12/766.76	c #Conflicts:      76000 | #Constraints:      10198
764.12/766.76	c #Conflicts:      77000 | #Constraints:      11198
764.12/766.76	c #Conflicts:      78000 | #Constraints:      12198
764.12/766.76	c INPROCESSING
764.12/766.76	c GARBAGE COLLECT
764.12/766.76	c #Conflicts:      79000 | #Constraints:       7597
764.12/766.76	c #Conflicts:      80000 | #Constraints:       8597
764.12/766.76	c #Conflicts:      81000 | #Constraints:       9597
764.12/766.76	c bounds -9164 >= -916174 @ 761.683
764.12/766.76	c stratification level: 179
800.40/803.10	c bounds -9164 >= -911867 @ 763.579
800.40/803.10	c #Conflicts:      82000 | #Constraints:      10619
800.40/803.10	c #Conflicts:      83000 | #Constraints:      11619
800.40/803.10	c #Conflicts:      84000 | #Constraints:      12619
800.40/803.10	c INPROCESSING
800.40/803.10	c GARBAGE COLLECT
800.40/803.10	c #Conflicts:      85000 | #Constraints:       7815
800.40/803.10	c finalizing WCE round: reformulating cores
866.56/869.53	c bounds -9166 >= -911867 @ 815.976
866.56/869.53	c #Conflicts:      86000 | #Constraints:       8818
866.56/869.53	c #Conflicts:      87000 | #Constraints:       9818
866.56/869.53	c #Conflicts:      88000 | #Constraints:      10818
866.56/869.53	c #Conflicts:      89000 | #Constraints:      11818
866.56/869.53	c #Conflicts:      90000 | #Constraints:      12818
866.56/869.53	c INPROCESSING
866.56/869.53	c GARBAGE COLLECT
866.56/869.53	c bounds -9167 >= -911867 @ 863.928
866.56/869.53	c stratification level: 178
906.43/909.56	c bounds -9167 >= -906164 @ 866.048
906.43/909.56	c #Conflicts:      91000 | #Constraints:       7844
906.43/909.56	c #Conflicts:      92000 | #Constraints:       8844
906.43/909.56	c #Conflicts:      93000 | #Constraints:       9844
906.43/909.56	c #Conflicts:      94000 | #Constraints:      10844
906.43/909.56	c finalizing WCE round: reformulating cores
910.71/913.88	c bounds -9248 >= -906164 @ 905.003
910.71/913.88	c bounds -9253 >= -906164 @ 908.051
910.71/913.88	c stratification level: 177
931.94/935.11	c bounds -9253 >= -901207 @ 910.913
931.94/935.11	c #Conflicts:      95000 | #Constraints:      11867
931.94/935.11	c #Conflicts:      96000 | #Constraints:      12867
931.94/935.11	c INPROCESSING
931.94/935.11	c GARBAGE COLLECT
931.94/935.11	c finalizing WCE round: reformulating cores
939.91/943.18	c #Conflicts:      97000 | #Constraints:       7665
939.91/943.18	c bounds -9254 >= -901207 @ 935.664
939.91/943.18	c bounds -9289 >= -901207 @ 937.18
939.91/943.18	c stratification level: 176
946.19/949.46	c bounds -9289 >= -896081 @ 939.248
946.19/949.46	c #Conflicts:      98000 | #Constraints:       8691
946.19/949.46	c finalizing WCE round: reformulating cores
947.78/951.08	c bounds -9315 >= -896081 @ 944.508
947.78/951.08	c bounds -9360 >= -896081 @ 945.036
947.78/951.08	c stratification level: 175
975.09/978.42	c bounds -9360 >= -889942 @ 947.566
975.09/978.42	c #Conflicts:      99000 | #Constraints:       9713
975.09/978.42	c #Conflicts:     100000 | #Constraints:      10713
975.09/978.42	c finalizing WCE round: reformulating cores
976.29/979.65	c bounds -9410 >= -889942 @ 972.828
976.29/979.65	c bounds -9416 >= -889942 @ 973.449
976.29/979.65	c stratification level: 174
1133.65/1137.58	c bounds -9416 >= -884028 @ 975.293
1133.65/1137.58	c #Conflicts:     101000 | #Constraints:      11738
1133.65/1137.58	c #Conflicts:     102000 | #Constraints:      12738
1133.65/1137.58	c #Conflicts:     103000 | #Constraints:      13738
1133.65/1137.58	c INPROCESSING
1133.65/1137.58	c GARBAGE COLLECT
1133.65/1137.58	c #Conflicts:     104000 | #Constraints:       8326
1133.65/1137.58	c #Conflicts:     105000 | #Constraints:       9326
1133.65/1137.58	c #Conflicts:     106000 | #Constraints:      10326
1133.65/1137.58	c #Conflicts:     107000 | #Constraints:      11326
1133.65/1137.58	c #Conflicts:     108000 | #Constraints:      12326
1133.65/1137.58	c #Conflicts:     109000 | #Constraints:      13326
1133.65/1137.58	c #Conflicts:     110000 | #Constraints:      14326
1133.65/1137.58	c INPROCESSING
1133.65/1137.58	c GARBAGE COLLECT
1133.65/1137.58	c #Conflicts:     111000 | #Constraints:       8731
1133.65/1137.58	c #Conflicts:     112000 | #Constraints:       9731
1133.65/1137.58	c #Conflicts:     113000 | #Constraints:      10731
1133.65/1137.58	c finalizing WCE round: reformulating cores
1177.79/1181.80	c bounds -9422 >= -884028 @ 1141.65
1177.79/1181.80	c #Conflicts:     114000 | #Constraints:      11734
1177.79/1181.80	c #Conflicts:     115000 | #Constraints:      12734
1177.79/1181.80	c #Conflicts:     116000 | #Constraints:      13734
1177.79/1181.80	c bounds -9478 >= -884028 @ 1174.52
1177.79/1181.80	c stratification level: 173
1219.56/1223.77	c bounds -9478 >= -876929 @ 1177.99
1219.56/1223.77	c #Conflicts:     117000 | #Constraints:      14755
1219.56/1223.77	c INPROCESSING
1219.56/1223.77	c GARBAGE COLLECT
1219.56/1223.77	c #Conflicts:     118000 | #Constraints:       8957
1219.56/1223.77	c finalizing WCE round: reformulating cores
1366.76/1371.42	c #Conflicts:     119000 | #Constraints:       9960
1366.76/1371.42	c bounds -9481 >= -876929 @ 1241.08
1366.76/1371.42	c #Conflicts:     120000 | #Constraints:      10960
1366.76/1371.42	c #Conflicts:     121000 | #Constraints:      11960
1366.76/1371.42	c #Conflicts:     122000 | #Constraints:      12960
1366.76/1371.42	c #Conflicts:     123000 | #Constraints:      13960
1366.76/1371.42	c #Conflicts:     124000 | #Constraints:      14960
1366.76/1371.42	c INPROCESSING
1366.76/1371.42	c GARBAGE COLLECT
1366.76/1371.42	c #Conflicts:     125000 | #Constraints:       8948
1366.76/1371.42	c #Conflicts:     126000 | #Constraints:       9948
1366.76/1371.42	c bounds -9491 >= -876929 @ 1363.18
1366.76/1371.42	c stratification level: 172
1517.64/1522.80	c bounds -9491 >= -871079 @ 1366.26
1517.64/1522.80	c #Conflicts:     127000 | #Constraints:      10973
1517.64/1522.80	c #Conflicts:     128000 | #Constraints:      11973
1517.64/1522.80	c #Conflicts:     129000 | #Constraints:      12973
1517.64/1522.80	c #Conflicts:     130000 | #Constraints:      13973
1517.64/1522.80	c #Conflicts:     131000 | #Constraints:      14973
1517.64/1522.80	c INPROCESSING
1517.64/1522.80	c GARBAGE COLLECT
1517.64/1522.80	c #Conflicts:     132000 | #Constraints:       8780
1517.64/1522.80	c #Conflicts:     133000 | #Constraints:       9780
1517.64/1522.80	c #Conflicts:     134000 | #Constraints:      10780
1517.64/1522.80	c finalizing WCE round: reformulating cores
1733.02/1738.91	c bounds -9495 >= -871079 @ 1541.43
1733.02/1738.91	c #Conflicts:     135000 | #Constraints:      11783
1733.02/1738.91	c #Conflicts:     136000 | #Constraints:      12783
1733.02/1738.91	c #Conflicts:     137000 | #Constraints:      13783
1733.02/1738.91	c #Conflicts:     138000 | #Constraints:      14783
1733.02/1738.91	c #Conflicts:     139000 | #Constraints:      15783
1733.02/1738.91	c INPROCESSING
1733.02/1738.91	c GARBAGE COLLECT
1733.02/1738.91	c #Conflicts:     140000 | #Constraints:       9389
1733.02/1738.91	c #Conflicts:     141000 | #Constraints:      10389
1733.02/1738.91	c #Conflicts:     142000 | #Constraints:      11389
1733.02/1738.91	c #Conflicts:     143000 | #Constraints:      12389
1733.02/1738.91	c #Conflicts:     144000 | #Constraints:      13389
1733.02/1738.91	c #Conflicts:     145000 | #Constraints:      14389
1733.02/1738.91	c #Conflicts:     146000 | #Constraints:      15389
1733.02/1738.91	c #Conflicts:     147000 | #Constraints:      16389
1733.02/1738.91	c INPROCESSING
1733.02/1738.91	c GARBAGE COLLECT
1733.02/1738.91	c bounds -9517 >= -871079 @ 1728.76
1733.02/1738.91	c stratification level: 171
1791.62/1797.74	c #Conflicts:     148000 | #Constraints:       9824
1791.62/1797.74	c #Conflicts:     149000 | #Constraints:      10824
1791.62/1797.74	c #Conflicts:     150000 | #Constraints:      11824
1791.62/1797.74	c #Conflicts:     151000 | #Constraints:      12824
1791.62/1797.74	c bounds -9536 >= -864238 @ 1787.33
1791.62/1797.74	c stratification level: 170
1951.88/1958.54	c bounds -9536 >= -858779 @ 1791.43
1951.88/1958.54	c #Conflicts:     152000 | #Constraints:      13848
1951.88/1958.54	c #Conflicts:     153000 | #Constraints:      14848
1951.88/1958.54	c #Conflicts:     154000 | #Constraints:      15848
1951.88/1958.54	c #Conflicts:     155000 | #Constraints:      16848
1951.88/1958.54	c INPROCESSING
1951.88/1958.54	c GARBAGE COLLECT
1951.88/1958.54	c #Conflicts:     156000 | #Constraints:      10047
1951.88/1958.54	c #Conflicts:     157000 | #Constraints:      11047
1951.88/1958.54	c #Conflicts:     158000 | #Constraints:      12047
1951.88/1958.54	c #Conflicts:     159000 | #Constraints:      13047
1951.88/1958.54	c #Conflicts:     160000 | #Constraints:      14047
1951.88/1958.54	c #Conflicts:     161000 | #Constraints:      15047
1951.88/1958.54	c finalizing WCE round: reformulating cores
2247.86/2255.55	c #Conflicts:     162000 | #Constraints:      16050
2247.86/2255.55	c bounds -9542 >= -858779 @ 1975.18
2247.86/2255.55	c #Conflicts:     163000 | #Constraints:      17050
2247.86/2255.55	c INPROCESSING
2247.86/2255.55	c GARBAGE COLLECT
2247.86/2255.55	c #Conflicts:     164000 | #Constraints:      10058
2247.86/2255.55	c #Conflicts:     165000 | #Constraints:      11058
2247.86/2255.55	c #Conflicts:     166000 | #Constraints:      12058
2247.86/2255.55	c #Conflicts:     167000 | #Constraints:      13058
2247.86/2255.55	c #Conflicts:     168000 | #Constraints:      14058
2247.86/2255.55	c #Conflicts:     169000 | #Constraints:      15058
2247.86/2255.55	c #Conflicts:     170000 | #Constraints:      16058
2247.86/2255.55	c #Conflicts:     171000 | #Constraints:      17058
2247.86/2255.55	c INPROCESSING
2247.86/2255.55	c GARBAGE COLLECT
2247.86/2255.55	c #Conflicts:     172000 | #Constraints:       9851
2247.86/2255.55	c #Conflicts:     173000 | #Constraints:      10851
2247.86/2255.55	c #Conflicts:     174000 | #Constraints:      11851
2247.86/2255.55	c #Conflicts:     175000 | #Constraints:      12851
2247.86/2255.55	c #Conflicts:     176000 | #Constraints:      13851
2247.86/2255.55	c #Conflicts:     177000 | #Constraints:      14851
2247.86/2255.55	c #Conflicts:     178000 | #Constraints:      15851
2247.86/2255.55	c bounds -9544 >= -858779 @ 2242.9
2247.86/2255.55	c stratification level: 169
2494.03/2502.56	c bounds -9544 >= -853434 @ 2247.32
2494.03/2502.56	c #Conflicts:     179000 | #Constraints:      16878
2494.03/2502.56	c #Conflicts:     180000 | #Constraints:      17878
2494.03/2502.56	c INPROCESSING
2494.03/2502.56	c GARBAGE COLLECT
2494.03/2502.56	c #Conflicts:     181000 | #Constraints:      10480
2494.03/2502.56	c #Conflicts:     182000 | #Constraints:      11480
2494.03/2502.56	c #Conflicts:     183000 | #Constraints:      12480
2494.03/2502.56	c #Conflicts:     184000 | #Constraints:      13480
2494.03/2502.56	c #Conflicts:     185000 | #Constraints:      14480
2494.03/2502.56	c #Conflicts:     186000 | #Constraints:      15480
2494.03/2502.56	c #Conflicts:     187000 | #Constraints:      16480
2494.03/2502.56	c #Conflicts:     188000 | #Constraints:      17480
2494.03/2502.56	c #Conflicts:     189000 | #Constraints:      18480
2494.03/2502.56	c INPROCESSING
2494.03/2502.56	c GARBAGE COLLECT
2494.03/2502.56	c #Conflicts:     190000 | #Constraints:      10897
2494.03/2502.56	c finalizing WCE round: reformulating cores
2742.08/2751.40	c bounds -9545 >= -853434 @ 2494.88
2742.08/2751.40	c #Conflicts:     191000 | #Constraints:      11900
2742.08/2751.40	c #Conflicts:     192000 | #Constraints:      12900
2742.08/2751.40	c #Conflicts:     193000 | #Constraints:      13900
2742.08/2751.40	c #Conflicts:     194000 | #Constraints:      14900
2742.08/2751.40	c #Conflicts:     195000 | #Constraints:      15900
2742.08/2751.40	c #Conflicts:     196000 | #Constraints:      16900
2742.08/2751.40	c #Conflicts:     197000 | #Constraints:      17900
2742.08/2751.40	c #Conflicts:     198000 | #Constraints:      18900
2742.08/2751.40	c INPROCESSING
2742.08/2751.40	c GARBAGE COLLECT
2742.08/2751.40	c #Conflicts:     199000 | #Constraints:      11097
2742.08/2751.40	c #Conflicts:     200000 | #Constraints:      12097
2742.08/2751.40	c #Conflicts:     201000 | #Constraints:      13097
2742.08/2751.40	c #Conflicts:     202000 | #Constraints:      14097
2742.08/2751.40	c #Conflicts:     203000 | #Constraints:      15097
2742.08/2751.40	c #Conflicts:     204000 | #Constraints:      16097
2742.08/2751.40	c #Conflicts:     205000 | #Constraints:      17097
2742.08/2751.40	c bounds -9548 >= -853434 @ 2736.4
2742.08/2751.40	c stratification level: 168
3600.01/3612.32	c bounds -9548 >= -846688 @ 2740.88
3600.01/3612.32	c #Conflicts:     206000 | #Constraints:      18123
3600.01/3612.32	c #Conflicts:     207000 | #Constraints:      19123
3600.01/3612.32	c INPROCESSING
3600.01/3612.32	c GARBAGE COLLECT
3600.01/3612.32	c #Conflicts:     208000 | #Constraints:      11114
3600.01/3612.32	c #Conflicts:     209000 | #Constraints:      12114
3600.01/3612.32	c #Conflicts:     210000 | #Constraints:      13114
3600.01/3612.32	c #Conflicts:     211000 | #Constraints:      14114
3600.01/3612.32	c #Conflicts:     212000 | #Constraints:      15114
3600.01/3612.32	c #Conflicts:     213000 | #Constraints:      16114
3600.01/3612.32	c #Conflicts:     214000 | #Constraints:      17114
3600.01/3612.32	c #Conflicts:     215000 | #Constraints:      18114
3600.01/3612.32	c #Conflicts:     216000 | #Constraints:      19114
3600.01/3612.32	c INPROCESSING
3600.01/3612.32	c GARBAGE COLLECT
3600.01/3612.32	c #Conflicts:     217000 | #Constraints:      10926
3600.01/3612.32	c #Conflicts:     218000 | #Constraints:      11926
3600.01/3612.32	c #Conflicts:     219000 | #Constraints:      12926
3600.01/3612.32	c #Conflicts:     220000 | #Constraints:      13926
3600.01/3612.32	c #Conflicts:     221000 | #Constraints:      14926
3600.01/3612.32	c #Conflicts:     222000 | #Constraints:      15926
3600.01/3612.32	c #Conflicts:     223000 | #Constraints:      16926
3600.01/3612.32	c #Conflicts:     224000 | #Constraints:      17926
3600.01/3612.32	c #Conflicts:     225000 | #Constraints:      18926
3600.01/3612.32	c #Conflicts:     226000 | #Constraints:      19926
3600.01/3612.32	c INPROCESSING
3600.01/3612.32	c GARBAGE COLLECT
3600.01/3612.32	c #Conflicts:     227000 | #Constraints:      11527
3600.01/3612.32	c #Conflicts:     228000 | #Constraints:      12527
3600.01/3612.32	c #Conflicts:     229000 | #Constraints:      13527
3600.01/3612.32	c #Conflicts:     230000 | #Constraints:      14527
3600.01/3612.32	c #Conflicts:     231000 | #Constraints:      15527
3600.01/3612.32	c #Conflicts:     232000 | #Constraints:      16527
3600.01/3612.32	c #Conflicts:     233000 | #Constraints:      17527
3600.01/3612.32	c #Conflicts:     234000 | #Constraints:      18527
3600.01/3612.32	c #Conflicts:     235000 | #Constraints:      19527
3600.01/3612.32	c #Conflicts:     236000 | #Constraints:      20527
3600.01/3612.32	c INPROCESSING
3600.01/3612.32	c GARBAGE COLLECT
3600.01/3612.32	c #Conflicts:     237000 | #Constraints:      11937
3600.01/3612.32	c #Conflicts:     238000 | #Constraints:      12937
3600.01/3612.32	c #Conflicts:     239000 | #Constraints:      13937
3600.01/3612.32	c #Conflicts:     240000 | #Constraints:      14937
3600.01/3612.32	c #Conflicts:     241000 | #Constraints:      15937
3600.01/3612.32	c #Conflicts:     242000 | #Constraints:      16937
3600.01/3612.32	c #Conflicts:     243000 | #Constraints:      17937
3600.01/3612.32	c #Conflicts:     244000 | #Constraints:      18937
3600.01/3612.32	c #Conflicts:     245000 | #Constraints:      19937
3600.01/3612.32	c #Conflicts:     246000 | #Constraints:      20937
3600.01/3612.32	c INPROCESSING
3600.01/3612.32	c GARBAGE COLLECT
3600.01/3612.32	c Program interrupted by user.
3600.01/3612.32	c cpu time 3593.2 s
3600.01/3612.32	c deterministic time 499312625816 4.99e+11
3600.01/3612.32	c optimization time 286.565 s
3600.01/3612.32	c total solve time 3306.63 s
3600.01/3612.32	c core-guided solve time 3306.63 s
3600.01/3612.32	c propagation time 2411.92 s
3600.01/3612.32	c conflict analysis time 894.525 s
3600.01/3612.32	c propagations 72809787
3600.01/3612.32	c resolve steps 1573623
3600.01/3612.32	c decisions 2903951
3600.01/3612.32	c conflicts 246710
3600.01/3612.32	c restarts 573
3600.01/3612.32	c inprocessing phases 41
3600.01/3612.32	c input clauses 840
3600.01/3612.32	c input cardinalities 255
3600.01/3612.32	c input general constraints 257
3600.01/3612.32	c input average constraint length 1250.66
3600.01/3612.32	c input average constraint degree 4200.02
3600.01/3612.32	c learned clauses 6006
3600.01/3612.32	c learned cardinalities 664
3600.01/3612.32	c learned general constraints 240056
3600.01/3612.32	c learned average constraint length 6390.24
3600.01/3612.32	c learned average constraint degree 239569090.97
3600.01/3612.32	c watched constraints 129139
3600.01/3612.32	c counting constraints 111174
3600.01/3612.32	c gcd simplifications 1328
3600.01/3612.32	c detected cardinalities 18
3600.01/3612.32	c weakened non-implied lits 442249064
3600.01/3612.32	c weakened non-implying lits 386325
3600.01/3612.32	c original variables 9483
3600.01/3612.32	c clausal propagations 5150822
3600.01/3612.32	c cardinality propagations 23660047
3600.01/3612.32	c watched propagations 3935017
3600.01/3612.32	c counting propagations 37522558
3600.01/3612.32	c watch lookups 30704187542
3600.01/3612.32	c watch backjump lookups 30475526642
3600.01/3612.32	c watch checks 200475102251
3600.01/3612.32	c propagation checks 231459218682
3600.01/3612.32	c constraint additions 6046926687
3600.01/3612.32	c trail pops 75950273
3600.01/3612.32	c formula constraints 257
3600.01/3612.32	c learned constraints 246726
3600.01/3612.32	c bound constraints 175
3600.01/3612.32	c core-guided constraints 920
3600.01/3612.32	c encountered formula constraints 861369
3600.01/3612.32	c encountered learned constraints 751071
3600.01/3612.32	c encountered bound constraints 2876
3600.01/3612.32	c encountered core-guided constraints 205017
3600.01/3612.32	c LP total time 0 s
3600.01/3612.32	c LP solve time 0 s
3600.01/3612.32	c LP constraints added 0
3600.01/3612.32	c LP constraints removed 0
3600.01/3612.32	c LP pivots internal 0
3600.01/3612.32	c LP pivots root 0
3600.01/3612.32	c LP calls 0
3600.01/3612.32	c LP optimalities 0
3600.01/3612.32	c LP no pivot count 0
3600.01/3612.32	c LP infeasibilities 0
3600.01/3612.32	c LP valid Farkas constraints 0
3600.01/3612.32	c LP learned Farkas constraints 0
3600.01/3612.32	c LP basis resets 0
3600.01/3612.32	c LP cycling count 0
3600.01/3612.32	c LP singular count 0
3600.01/3612.32	c LP no primal count 0
3600.01/3612.32	c LP no farkas count 0
3600.01/3612.32	c LP other issue count 0
3600.01/3612.32	c LP Gomory cuts 0
3600.01/3612.32	c LP learned cuts 0
3600.01/3612.32	c LP deleted cuts 0
3600.01/3612.32	c LP encountered Gomory constraints 0
3600.01/3612.32	c LP encountered Farkas constraints 0
3600.01/3612.32	c LP encountered learned Farkas constraints 0
3600.01/3612.32	c CG auxiliary variables introduced 860
3600.01/3612.32	c CG solutions found 115
3600.01/3612.32	c CG cores constructed 39
3600.01/3612.32	c CG core cardinality constraints returned 2
3600.01/3612.32	c CG unit cores 0
3600.01/3612.32	c CG single cores 38
3600.01/3612.32	c CG blocks removed during cardinality reduction 0
3600.01/3612.32	c CG first core best 0
3600.01/3612.32	c CG decision core best 0
3600.01/3612.32	c CG core reduction tie 1
3600.01/3612.32	c CG core degree average 1.08
3600.01/3612.32	c CG core slack average 2.33
3600.01/3612.32	c CG exhausted 0
3600.01/3612.32	c CG exhaust time 232.888 s
3600.01/3612.32	c CG trimmed 4
3600.01/3612.32	c CG trim time 1.89264 s
3600.01/3612.32	c CG minimized 0
3600.01/3612.32	c CG minimize time 0 s
3600.01/3612.32	c CG am1 prop time 40.9126 s
3600.01/3612.32	c CG # am1s reformulated 811
3600.01/3612.32	c CG lower bound derived from am1s 230165
3600.01/3612.32	c CG # clausal cores 38
3600.01/3612.32	c CG # cardinality cores 2
3600.01/3612.32	c CG # pb cores 0
3600.01/3612.32	c CG # pb reforms 30
3600.01/3612.32	c CG # cores discarded because of pb reform 0
3600.01/3612.32	d LOWERBOUND -846688
3600.01/3612.32	d NCORES 39
3600.01/3612.32	d NPBCORES 0
3600.01/3612.32	d NPBREFORM 30
3600.01/3612.32	d NTRIMMED 4
3600.01/3612.32	d NEXHAUSTED 0
3600.01/3612.32	d NAM1S 811
3600.01/3612.32	d AM1LB 230165
3600.01/3612.32	o -9548
3600.01/3612.32	s SATISFIABLE
3600.01/3612.32	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

Verifier Data 

OK	-9548

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: 63931 MiB (59050 MiB free)
  memory of node 1: 64510 MiB (60896 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462390-1722240189/watcher-4462390-1722240189 -o /tmp/evaluation-result-4462390-1722240189/solver-4462390-1722240189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722236576-411089 --watchdog 3760 pb-oll-rs HOME/instance-4462390-1722240189.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=413173, runsolver pid=413170

[startup+0.10075 s]*
/proc/loadavg: 4.12 4.22 4.13 5/259 413174
/proc/meminfo: memFree=122806916/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=44676 memory=11860 CPUtime=0.1 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 2294 0 0 0 6 4 0 0 20 0 1 0 60548154 45748224 2965 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 11169 2965 1385 291 0 2703 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44676 KiB
Current children cumulated memory: 11860 KiB

[startup+0.205561 s]*
/proc/loadavg: 4.12 4.22 4.13 5/259 413174
/proc/meminfo: memFree=122800776/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=44824 memory=14696 CPUtime=0.2 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 2449 0 0 0 14 6 0 0 20 0 1 0 60548154 45899776 3674 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 11206 3674 1385 291 0 2740 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44824 KiB
Current children cumulated memory: 14696 KiB

[startup+0.305433 s]*
/proc/loadavg: 4.12 4.22 4.13 5/259 413174
/proc/meminfo: memFree=122791372/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=47692 memory=17788 CPUtime=0.3 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 2703 0 0 0 23 7 0 0 20 0 1 0 60548154 48836608 4447 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 11923 4447 1385 291 0 3457 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47692 KiB
Current children cumulated memory: 17788 KiB

[startup+0.700187 s]
/proc/loadavg: 4.12 4.22 4.13 5/259 413174
/proc/meminfo: memFree=122783608/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=60976 memory=24404 CPUtime=0.69 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 3869 0 0 0 52 17 0 0 20 0 1 0 60548154 62439424 6101 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 15244 6101 1385 291 0 6778 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60976 KiB
Current children cumulated memory: 24404 KiB

[startup+1.50019 s]
/proc/loadavg: 4.12 4.22 4.13 5/259 413174
/proc/meminfo: memFree=122755076/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=73528 memory=41660 CPUtime=1.49 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 4614 0 0 0 129 20 0 0 20 0 1 0 60548154 75292672 10415 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 18382 10415 1385 291 0 9916 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 73528 KiB
Current children cumulated memory: 41660 KiB

[startup+3.10564 s]
/proc/loadavg: 4.12 4.22 4.13 5/259 413174
/proc/meminfo: memFree=122671248/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=124248 memory=71492 CPUtime=3.08 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 5966 0 0 0 286 22 0 0 20 0 1 0 60548154 127229952 17873 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 31062 17873 1385 291 0 22596 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 124248 KiB
Current children cumulated memory: 71492 KiB

[startup+6.3002 s]
/proc/loadavg: 4.19 4.24 4.13 5/259 413174
/proc/meminfo: memFree=122539804/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=177676 memory=126044 CPUtime=6.26 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 7333 0 0 0 598 28 0 0 20 0 1 0 60548154 181940224 31511 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 44419 31511 1385 291 0 35953 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 177676 KiB
Current children cumulated memory: 126044 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.23 4.13 5/257 413175
/proc/meminfo: memFree=122372440/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=270192 memory=164944 CPUtime=12.65 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 10847 0 0 0 1228 37 0 0 20 0 1 0 60548154 276676608 41236 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 67548 41236 1462 291 0 59082 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 270192 KiB
Current children cumulated memory: 164944 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.22 4.13 5/258 413180
/proc/meminfo: memFree=122087696/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=295176 memory=243008 CPUtime=25.41 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 17141 0 0 0 2492 49 0 0 20 0 1 0 60548154 302260224 60752 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 73794 60752 1462 291 0 65328 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 295176 KiB
Current children cumulated memory: 243008 KiB

[startup+51.1055 s]
/proc/loadavg: 4.17 4.22 4.13 5/258 413185
/proc/meminfo: memFree=121602416/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=537072 memory=393908 CPUtime=50.93 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 44719 0 0 0 5028 65 0 0 20 0 1 0 60548154 549961728 98477 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 134268 98477 1462 291 0 125802 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 537072 KiB
Current children cumulated memory: 393908 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.21 4.13 5/258 413194
/proc/meminfo: memFree=121002648/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=627992 memory=507336 CPUtime=101.96 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 65290 0 0 0 10110 86 0 0 20 0 1 0 60548154 643063808 126834 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 156998 126834 1462 291 0 148532 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 627992 KiB
Current children cumulated memory: 507336 KiB

[startup+162.3 s]
/proc/loadavg: 4.34 4.24 4.14 5/256 413204
/proc/meminfo: memFree=120310820/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=746740 memory=673724 CPUtime=161.74 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 92689 0 0 0 16065 109 0 0 20 0 1 0 60548154 764661760 168431 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 186685 168431 1462 291 0 178219 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 746740 KiB
Current children cumulated memory: 673724 KiB

[startup+222.3 s]
/proc/loadavg: 4.27 4.25 4.15 5/256 413215
/proc/meminfo: memFree=119894392/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=785000 memory=722332 CPUtime=221.55 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 103453 0 0 0 22028 127 0 0 20 0 1 0 60548154 803840000 180583 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 196250 180583 1462 291 0 187784 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 785000 KiB
Current children cumulated memory: 722332 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.22 4.15 5/256 413225
/proc/meminfo: memFree=119402068/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=1036228 memory=795112 CPUtime=281.35 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 112541 0 0 0 27994 141 0 0 20 0 1 0 60548154 1061097472 198778 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 259057 198778 1462 291 0 250591 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 1036228 KiB
Current children cumulated memory: 795112 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.21 4.15 5/255 413235
/proc/meminfo: memFree=119240760/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=1147616 memory=896972 CPUtime=341.15 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 135503 0 0 0 33958 157 0 0 20 0 1 0 60548154 1175158784 224243 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 286904 224243 1462 291 0 278438 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 1147616 KiB
Current children cumulated memory: 896972 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 4.21 4.15 5/255 413245
/proc/meminfo: memFree=119157756/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=1168400 memory=916264 CPUtime=400.96 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 140451 0 0 0 39927 169 0 0 20 0 1 0 60548154 1196441600 229066 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 292100 229066 1462 291 0 283634 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 1168400 KiB
Current children cumulated memory: 916264 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.17 4.14 5/260 413267
/proc/meminfo: memFree=121175940/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=1207080 memory=997616 CPUtime=460.76 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 150653 0 0 0 45893 183 0 0 20 0 1 0 60548154 1236049920 249404 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0

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

Current children cumulated memory: 1912240 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.11 4.13 5/257 414338
/proc/meminfo: memFree=116634616/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=2242512 memory=1965728 CPUtime=2912.39 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 294511 0 0 0 290643 596 0 0 20 0 1 0 60548154 2296332288 491432 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 560628 491432 1462 291 0 552162 0
Current children cumulated CPU time: 2912.39 s
Current children cumulated vsize: 2242512 KiB
Current children cumulated memory: 1965728 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/257 414348
/proc/meminfo: memFree=116417176/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=2903272 memory=2111364 CPUtime=2972.19 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 318205 0 0 0 296608 611 0 0 20 0 1 0 60548154 2972950528 527841 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 725818 527841 1462 291 0 717352 0
Current children cumulated CPU time: 2972.19 s
Current children cumulated vsize: 2903272 KiB
Current children cumulated memory: 2111364 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.13 5/257 414359
/proc/meminfo: memFree=116110532/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=2903272 memory=2111448 CPUtime=3031.98 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 318440 0 0 0 302580 618 0 0 20 0 1 0 60548154 2972950528 527862 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 725818 527862 1462 291 0 717352 0
Current children cumulated CPU time: 3031.98 s
Current children cumulated vsize: 2903272 KiB
Current children cumulated memory: 2111448 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.12 5/257 414369
/proc/meminfo: memFree=115986964/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=2903272 memory=2111508 CPUtime=3091.77 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 318892 0 0 0 308552 625 0 0 20 0 1 0 60548154 2972950528 527877 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 725818 527877 1462 291 0 717352 0
Current children cumulated CPU time: 3091.77 s
Current children cumulated vsize: 2903272 KiB
Current children cumulated memory: 2111508 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/257 414764
/proc/meminfo: memFree=115952080/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=2911684 memory=2145612 CPUtime=3151.56 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 322475 0 0 0 314524 632 0 0 20 0 1 0 60548154 2981564416 536403 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 727921 536403 1462 291 0 719455 0
Current children cumulated CPU time: 3151.56 s
Current children cumulated vsize: 2911684 KiB
Current children cumulated memory: 2145612 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/257 414774
/proc/meminfo: memFree=115799512/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=2950344 memory=2238052 CPUtime=3211.36 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 331660 0 0 0 320494 642 0 0 20 0 1 0 60548154 3021152256 559513 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 737586 559513 1462 291 0 729120 0
Current children cumulated CPU time: 3211.36 s
Current children cumulated vsize: 2950344 KiB
Current children cumulated memory: 2238052 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/257 414785
/proc/meminfo: memFree=115776316/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=2950344 memory=2238488 CPUtime=3271.15 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 332408 0 0 0 326466 649 0 0 20 0 1 0 60548154 3021152256 559622 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 737586 559622 1462 291 0 729120 0
Current children cumulated CPU time: 3271.15 s
Current children cumulated vsize: 2950344 KiB
Current children cumulated memory: 2238488 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/259 414965
/proc/meminfo: memFree=115765620/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=2950344 memory=2240116 CPUtime=3330.94 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 333222 0 0 0 332439 655 0 0 20 0 1 0 60548154 3021152256 560029 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 737586 560029 1462 291 0 729120 0
Current children cumulated CPU time: 3330.94 s
Current children cumulated vsize: 2950344 KiB
Current children cumulated memory: 2240116 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/259 414975
/proc/meminfo: memFree=115681744/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=2950344 memory=2243168 CPUtime=3390.74 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 334534 0 0 0 338413 661 0 0 20 0 1 0 60548154 3021152256 560792 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 737586 560792 1462 291 0 729120 0
Current children cumulated CPU time: 3390.74 s
Current children cumulated vsize: 2950344 KiB
Current children cumulated memory: 2243168 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.14 4.12 5/258 414989
/proc/meminfo: memFree=115666784/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=2950344 memory=2251604 CPUtime=3450.53 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 335369 0 0 0 344385 668 0 0 20 0 1 0 60548154 3021152256 562901 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 737586 562901 1462 291 0 729120 0
Current children cumulated CPU time: 3450.53 s
Current children cumulated vsize: 2950344 KiB
Current children cumulated memory: 2251604 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/258 415011
/proc/meminfo: memFree=115650124/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=2950344 memory=2258132 CPUtime=3510.32 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 336101 0 0 0 350358 674 0 0 20 0 1 0 60548154 3021152256 564533 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 737586 564533 1462 291 0 729120 0
Current children cumulated CPU time: 3510.32 s
Current children cumulated vsize: 2950344 KiB
Current children cumulated memory: 2258132 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/258 415021
/proc/meminfo: memFree=115608788/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=2950344 memory=2279312 CPUtime=3570.1 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 337434 0 0 0 356331 679 0 0 20 0 1 0 60548154 3021152256 569828 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 737586 569828 1462 291 0 729120 0
Current children cumulated CPU time: 3570.1 s
Current children cumulated vsize: 2950344 KiB
Current children cumulated memory: 2279312 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 3.85 4.06 4.08 2/237 415119
/proc/meminfo: memFree=123018384/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=2969800 memory=2343724 CPUtime=3600.01 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 341567 0 0 0 359318 683 0 0 20 0 1 0 60548154 3041075200 585931 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 742450 585931 1462 291 0 733984 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2969800 KiB
Current children cumulated memory: 2343724 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.21 s, system=6.86301 s

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

[startup+3612.3 s]
/proc/loadavg: 3.85 4.06 4.08 2/237 415119
/proc/meminfo: memFree=123018384/131524600 swapFree=131053920/131071996
[pid=413173] ppid=413170 vsize=2969800 memory=2343724 CPUtime=3600.01 cores=0,2
/proc/413173/stat : 413173 (pb-oll-rs) R 413170 413173 411079 0 -1 4194304 341567 0 0 0 359318 683 0 0 20 0 1 0 60548154 3041075200 585931 134679101440 4194304 5384485 140722756729904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17985536 140722756736022 140722756736099 140722756736099 140722756743115 0
/proc/413173/statm: 742450 585931 1462 291 0 733984 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2969800 KiB
Current children cumulated memory: 2343724 KiB

Child status: 0

Real time (s): 3612.36
CPU time (s): 3600.07
CPU user time (s): 3593.21
CPU system time (s): 6.86301
CPU usage (%): 99.6599
Max. virtual memory (cumulated for all children) (KiB): 2969800
Max. memory (cumulated for all children) (KiB): 2343724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.21
system time used= 6.86301
maximum resident set size= 2343880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341583
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86
involuntary context switches= 24742


# summary of solver processes directly reported to runsolver:
#   pid: 413173
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3593.21
#   total CPU system time (s): 6.86301

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19203 second user time and 16.196 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-29 10:03:09
IDJOB=4462390
IDBENCH=178884
IDSOLVER=3082
FILE ID=nodeC023/4462390-1722240189
RUNJOBID= nodeC023-1722236576-411089
SLURM_JOB_ID= 8248759
Free space on /tmp= 890068 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_340_006.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462390-1722240189/watcher-4462390-1722240189 -o /tmp/evaluation-result-4462390-1722240189/solver-4462390-1722240189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722236576-411089 --watchdog 3760  pb-oll-rs HOME/instance-4462390-1722240189.opb

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

MD5SUM BENCH= 7aeed99d365b459b07e7d3797ec462bd
RANDOM SEED=1039064206

nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3641.591
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3681.565
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
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		: 3635.557
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.289
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
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		: 3679.150
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3681.558
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
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		: 3619.004
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.957
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122827176 kB
MemAvailable:   129527716 kB
Buffers:          404300 kB
Cached:          7081744 kB
SwapCached:          208 kB
Active:          1767308 kB
Inactive:        6234924 kB
Active(anon):       2316 kB
Inactive(anon):   566024 kB
Active(file):    1764992 kB
Inactive(file):  5668900 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131053920 kB
Dirty:             16644 kB
Writeback:             0 kB
AnonPages:        513156 kB
Mapped:           100612 kB
Shmem:             52148 kB
KReclaimable:     212588 kB
Slab:             334448 kB
SReclaimable:     212588 kB
SUnreclaim:       121860 kB
KernelStack:        4204 kB
PageTables:        10356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     992672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21632 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      410324 kB
DirectMap2M:    61229056 kB
DirectMap1G:    74448896 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC023 at 2024-07-29 11:03:21