Trace number 4462376

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-02SAT (TO)-9548 3600.17 3608.87

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.012835
0.00/0.01	c stratification level: 250
0.00/0.02	c bounds -752 >= -1079589 @ 0.020205
0.00/0.02	c stratification level: 249
0.00/0.03	c bounds -754 >= -1079340 @ 0.024359
0.00/0.03	c stratification level: 244
0.00/0.04	c bounds -1488 >= -1078605 @ 0.028908
0.00/0.04	c stratification level: 243
0.00/0.05	c bounds -1552 >= -1078362 @ 0.034593
0.00/0.05	c stratification level: 242
0.00/0.05	c bounds -1784 >= -1077631 @ 0.03876
0.00/0.05	c stratification level: 240
0.00/0.06	c bounds -1934 >= -1076667 @ 0.04034
0.00/0.06	c stratification level: 239
0.00/0.06	c bounds -2017 >= -1076667 @ 0.042612
0.00/0.06	c stratification level: 238
0.00/0.07	c bounds -2253 >= -1076193 @ 0.045863
0.00/0.07	c stratification level: 237
0.00/0.08	c bounds -2253 >= -1075007 @ 0.047416
0.00/0.08	c finalizing WCE round: reformulating cores
0.00/0.09	c bounds -2290 >= -1075007 @ 0.052634
0.00/0.09	c bounds -2467 >= -1075007 @ 0.056563
0.00/0.09	c stratification level: 236
0.00/0.10	c bounds -2950 >= -1074535 @ 0.060568
0.00/0.10	c stratification level: 235
0.10/0.10	c bounds -3206 >= -1073125 @ 0.063551
0.10/0.10	c stratification level: 234
0.10/0.11	c bounds -3206 >= -1072891 @ 0.067572
0.10/0.11	c finalizing WCE round: reformulating cores
0.10/0.12	c bounds -3598 >= -1072891 @ 0.073378
0.10/0.12	c bounds -3731 >= -1072891 @ 0.07925
0.10/0.12	c stratification level: 233
0.10/0.13	c bounds -3734 >= -1071726 @ 0.082477
0.10/0.13	c stratification level: 232
0.10/0.13	c bounds -3956 >= -1071492 @ 0.085088
0.10/0.13	c stratification level: 231
0.10/0.14	c bounds -4121 >= -1070106 @ 0.087786
0.10/0.14	c stratification level: 230
0.10/0.14	c bounds -4343 >= -1069414 @ 0.090436
0.10/0.14	c stratification level: 229
0.10/0.15	c bounds -4567 >= -1068041 @ 0.094959
0.10/0.15	c stratification level: 228
0.10/0.15	c bounds -4627 >= -1067129 @ 0.09778
0.10/0.15	c stratification level: 227
0.10/0.16	c bounds -5079 >= -1066675 @ 0.100769
0.10/0.16	c stratification level: 226
0.10/0.20	c bounds -5079 >= -1065319 @ 0.102719
0.10/0.20	c finalizing WCE round: reformulating cores
0.20/0.22	c bounds -5207 >= -1065319 @ 0.156886
0.20/0.22	c bounds -5210 >= -1065319 @ 0.158294
0.20/0.22	c stratification level: 225
0.20/0.29	c bounds -5240 >= -1063294 @ 0.22565
0.20/0.29	c stratification level: 224
0.20/0.30	c bounds -5301 >= -1062622 @ 0.231892
0.20/0.30	c stratification level: 223
0.30/0.31	c bounds -5343 >= -1061284 @ 0.240551
0.30/0.31	c stratification level: 222
0.30/0.32	c bounds -5411 >= -1058837 @ 0.256287
0.30/0.32	c stratification level: 221
0.30/0.34	c bounds -5505 >= -1057511 @ 0.269161
0.30/0.34	c stratification level: 220
0.30/0.35	c bounds -5596 >= -1055311 @ 0.279209
0.30/0.35	c stratification level: 219
0.30/0.37	c bounds -5648 >= -1053778 @ 0.28997
0.30/0.37	c stratification level: 218
0.30/0.38	c bounds -5655 >= -1051379 @ 0.294229
0.30/0.38	c stratification level: 217
0.30/0.39	c bounds -5662 >= -1049643 @ 0.30338
0.30/0.39	c stratification level: 216
0.30/0.40	c bounds -5666 >= -1047699 @ 0.309123
0.30/0.40	c stratification level: 215
0.40/0.42	c bounds -5666 >= -1045332 @ 0.311854
0.40/0.42	c finalizing WCE round: reformulating cores
0.40/0.46	c bounds -5772 >= -1045332 @ 0.35596
0.40/0.46	c bounds -5852 >= -1045332 @ 0.359395
0.40/0.46	c stratification level: 214
0.40/0.47	c bounds -5852 >= -1043611 @ 0.360721
0.40/0.47	c finalizing WCE round: reformulating cores
0.40/0.50	c bounds -5918 >= -1043611 @ 0.382548
0.40/0.50	c bounds -6028 >= -1043611 @ 0.385587
0.40/0.50	c stratification level: 213
0.49/0.51	c bounds -6028 >= -1041265 @ 0.388777
0.49/0.51	c finalizing WCE round: reformulating cores
0.49/0.53	c bounds -6185 >= -1041265 @ 0.403309
0.49/0.53	c bounds -6186 >= -1041265 @ 0.406498
0.49/0.53	c stratification level: 212
0.49/0.54	c bounds -6264 >= -1038087 @ 0.416927
0.49/0.54	c stratification level: 211
0.49/0.55	c bounds -6333 >= -1035343 @ 0.425857
0.49/0.55	c stratification level: 210
0.49/0.57	c bounds -6396 >= -1033663 @ 0.43518
0.49/0.57	c stratification level: 209
0.49/0.58	c bounds -6396 >= -1030109 @ 0.444051
0.49/0.58	c finalizing WCE round: reformulating cores
0.49/0.59	c bounds -6413 >= -1030109 @ 0.453608
0.49/0.59	c bounds -6425 >= -1030109 @ 0.456401
0.49/0.59	c stratification level: 208
0.59/0.60	c bounds -6461 >= -1027612 @ 0.464287
0.59/0.60	c stratification level: 207
0.59/0.61	c bounds -6461 >= -1025749 @ 0.467137
0.59/0.61	c finalizing WCE round: reformulating cores
0.59/0.63	c bounds -6516 >= -1025749 @ 0.479558
0.59/0.63	c bounds -6557 >= -1025749 @ 0.48146
0.59/0.63	c stratification level: 206
0.59/0.63	c bounds -6610 >= -1023483 @ 0.486246
0.59/0.63	c stratification level: 205
0.59/0.65	c bounds -6610 >= -1020608 @ 0.490754
0.59/0.65	c finalizing WCE round: reformulating cores
0.59/0.67	c bounds -6666 >= -1020608 @ 0.518114
0.59/0.67	c bounds -6673 >= -1020608 @ 0.520413
0.59/0.67	c stratification level: 204
0.59/0.68	c bounds -6674 >= -1018157 @ 0.527445
0.59/0.68	c stratification level: 203
0.68/0.75	c bounds -6749 >= -1014706 @ 0.592183
0.68/0.75	c stratification level: 202
0.68/0.77	c bounds -6749 >= -1011269 @ 0.596563
0.68/0.77	c finalizing WCE round: reformulating cores
0.68/0.78	c bounds -6869 >= -1011269 @ 0.610472
0.68/0.78	c bounds -6876 >= -1011269 @ 0.613541
0.68/0.78	c stratification level: 201
0.68/0.79	c bounds -6933 >= -1009054 @ 0.620997
0.68/0.79	c stratification level: 200
0.79/0.84	c bounds -6933 >= -1005634 @ 0.624927
0.79/0.84	c finalizing WCE round: reformulating cores
3.58/3.68	c bounds -6972 >= -1005634 @ 3.44496
3.58/3.68	c bounds -7780 >= -1005634 @ 3.45117
3.58/3.68	c stratification level: 199
3.99/4.04	c #Conflicts:       1000 | #Constraints:       1658
3.99/4.04	c bounds -7783 >= -1001652 @ 3.81247
3.99/4.04	c stratification level: 198
3.99/4.08	c bounds -7783 >= -999060 @ 3.82184
3.99/4.08	c finalizing WCE round: reformulating cores
5.08/5.14	c bounds -7833 >= -999060 @ 4.8595
5.08/5.14	c bounds -7868 >= -999060 @ 4.86848
5.08/5.14	c stratification level: 197
5.37/5.41	c bounds -7868 >= -995895 @ 4.87542
5.37/5.41	c finalizing WCE round: reformulating cores
6.67/6.74	c bounds -7881 >= -995895 @ 6.43014
6.67/6.74	c bounds -8080 >= -995895 @ 6.43911
6.67/6.74	c stratification level: 196
7.27/7.37	c bounds -8080 >= -992718 @ 6.4453
7.27/7.37	c finalizing WCE round: reformulating cores
7.37/7.41	c bounds -8086 >= -992718 @ 7.07235
7.37/7.41	c bounds -8099 >= -992718 @ 7.09368
7.37/7.41	c stratification level: 195
7.68/7.70	c bounds -8099 >= -988826 @ 7.10147
7.68/7.70	c finalizing WCE round: reformulating cores
11.47/11.51	c #Conflicts:       2000 | #Constraints:       2737
11.47/11.51	c INPROCESSING
11.47/11.51	c GARBAGE COLLECT
11.47/11.51	c bounds -8147 >= -988826 @ 10.8141
11.47/11.51	c bounds -8184 >= -988826 @ 11.1459
11.47/11.51	c stratification level: 194
13.85/13.92	c bounds -8184 >= -982800 @ 11.1589
13.85/13.92	c #Conflicts:       3000 | #Constraints:       2685
13.85/13.92	c finalizing WCE round: reformulating cores
13.85/13.97	c bounds -8338 >= -982800 @ 13.5351
13.85/13.97	c bounds -8339 >= -982800 @ 13.5643
13.85/13.97	c stratification level: 193
16.25/16.37	c bounds -8339 >= -978157 @ 13.5793
16.25/16.37	c #Conflicts:       4000 | #Constraints:       3705
16.25/16.37	c finalizing WCE round: reformulating cores
16.45/16.57	c bounds -8491 >= -978157 @ 15.9421
16.45/16.57	c bounds -8499 >= -978157 @ 16.123
16.45/16.57	c stratification level: 192
22.74/22.81	c bounds -8499 >= -974683 @ 16.1346
22.74/22.81	c INPROCESSING
22.74/22.81	c GARBAGE COLLECT
22.74/22.81	c #Conflicts:       5000 | #Constraints:       3124
22.74/22.81	c finalizing WCE round: reformulating cores
29.62/29.77	c #Conflicts:       6000 | #Constraints:       4127
29.62/29.77	c bounds -8542 >= -974683 @ 26.2398
29.62/29.77	c bounds -8547 >= -974683 @ 29.2047
29.62/29.77	c stratification level: 191
39.29/39.40	c bounds -8547 >= -969326 @ 29.2254
39.29/39.40	c INPROCESSING
39.29/39.40	c GARBAGE COLLECT
39.29/39.40	c #Conflicts:       7000 | #Constraints:       3157
39.29/39.40	c #Conflicts:       8000 | #Constraints:       4157
39.29/39.40	c finalizing WCE round: reformulating cores
54.07/54.26	c #Conflicts:       9000 | #Constraints:       5160
54.07/54.26	c INPROCESSING
54.07/54.26	c GARBAGE COLLECT
54.07/54.26	c bounds -8551 >= -969326 @ 45.9717
54.07/54.26	c #Conflicts:      10000 | #Constraints:       3866
54.07/54.26	c #Conflicts:      11000 | #Constraints:       4866
54.07/54.26	c bounds -8573 >= -969326 @ 53.4601
54.07/54.26	c stratification level: 190
60.05/60.24	c bounds -8573 >= -963394 @ 54.0882
60.05/60.24	c finalizing WCE round: reformulating cores
63.95/64.13	c #Conflicts:      12000 | #Constraints:       5890
63.95/64.13	c INPROCESSING
63.95/64.13	c GARBAGE COLLECT
63.95/64.13	c bounds -8692 >= -963394 @ 61.1367
63.95/64.13	c bounds -8734 >= -963394 @ 63.222
63.95/64.13	c stratification level: 189
70.32/70.55	c #Conflicts:      13000 | #Constraints:       4346
70.32/70.55	c bounds -8739 >= -959789 @ 69.6078
70.32/70.55	c stratification level: 188
104.54/104.83	c bounds -8739 >= -953570 @ 70.0177
104.54/104.83	c #Conflicts:      14000 | #Constraints:       5365
104.54/104.83	c #Conflicts:      15000 | #Constraints:       6365
104.54/104.83	c INPROCESSING
104.54/104.83	c GARBAGE COLLECT
104.54/104.83	c #Conflicts:      16000 | #Constraints:       4597
104.54/104.83	c #Conflicts:      17000 | #Constraints:       5597
104.54/104.83	c finalizing WCE round: reformulating cores
104.95/105.28	c bounds -8744 >= -953570 @ 103.942
104.95/105.28	c bounds -8846 >= -953570 @ 104.134
104.95/105.28	c stratification level: 187
166.00/166.44	c bounds -8846 >= -949851 @ 104.925
166.00/166.44	c #Conflicts:      18000 | #Constraints:       6619
166.00/166.44	c INPROCESSING
166.00/166.44	c GARBAGE COLLECT
166.00/166.44	c #Conflicts:      19000 | #Constraints:       4646
166.00/166.44	c #Conflicts:      20000 | #Constraints:       5646
166.00/166.44	c #Conflicts:      21000 | #Constraints:       6646
166.00/166.44	c INPROCESSING
166.00/166.44	c GARBAGE COLLECT
166.00/166.44	c #Conflicts:      22000 | #Constraints:       4445
166.00/166.44	c #Conflicts:      23000 | #Constraints:       5445
166.00/166.44	c #Conflicts:      24000 | #Constraints:       6445
166.00/166.44	c #Conflicts:      25000 | #Constraints:       7445
166.00/166.44	c INPROCESSING
166.00/166.44	c GARBAGE COLLECT
166.00/166.44	c #Conflicts:      26000 | #Constraints:       5059
166.00/166.44	c finalizing WCE round: reformulating cores
168.69/169.14	c bounds -8891 >= -949851 @ 166.948
168.69/169.14	c bounds -8975 >= -949851 @ 167.601
168.69/169.14	c stratification level: 186
237.43/238.04	c #Conflicts:      27000 | #Constraints:       6078
237.43/238.04	c #Conflicts:      28000 | #Constraints:       7078
237.43/238.04	c #Conflicts:      29000 | #Constraints:       8078
237.43/238.04	c INPROCESSING
237.43/238.04	c GARBAGE COLLECT
237.43/238.04	c #Conflicts:      30000 | #Constraints:       5468
237.43/238.04	c #Conflicts:      31000 | #Constraints:       6468
237.43/238.04	c #Conflicts:      32000 | #Constraints:       7468
237.43/238.04	c #Conflicts:      33000 | #Constraints:       8468
237.43/238.04	c INPROCESSING
237.43/238.04	c GARBAGE COLLECT
237.43/238.04	c #Conflicts:      34000 | #Constraints:       5673
237.43/238.04	c bounds -8978 >= -946881 @ 236.118
237.43/238.04	c stratification level: 185
298.38/299.17	c bounds -8978 >= -942797 @ 237.357
298.38/299.17	c #Conflicts:      35000 | #Constraints:       6693
298.38/299.17	c #Conflicts:      36000 | #Constraints:       7693
298.38/299.17	c #Conflicts:      37000 | #Constraints:       8693
298.38/299.17	c INPROCESSING
298.38/299.17	c GARBAGE COLLECT
298.38/299.17	c #Conflicts:      38000 | #Constraints:       5699
298.38/299.17	c #Conflicts:      39000 | #Constraints:       6699
298.38/299.17	c #Conflicts:      40000 | #Constraints:       7699
298.38/299.17	c #Conflicts:      41000 | #Constraints:       8699
298.38/299.17	c INPROCESSING
298.38/299.17	c GARBAGE COLLECT
298.38/299.17	c finalizing WCE round: reformulating cores
304.77/305.57	c #Conflicts:      42000 | #Constraints:       5503
304.77/305.57	c bounds -8980 >= -942797 @ 302.788
304.77/305.57	c bounds -8982 >= -942797 @ 303.323
304.77/305.57	c stratification level: 184
313.95/314.79	c bounds -8982 >= -935981 @ 305.275
313.95/314.79	c #Conflicts:      43000 | #Constraints:       6524
313.95/314.79	c finalizing WCE round: reformulating cores
327.71/328.56	c #Conflicts:      44000 | #Constraints:       7527
327.71/328.56	c bounds -8984 >= -935981 @ 319.24
327.71/328.56	c bounds -8991 >= -935981 @ 326.199
327.71/328.56	c stratification level: 183
365.42/366.33	c bounds -8991 >= -930119 @ 328.801
365.42/366.33	c #Conflicts:      45000 | #Constraints:       8549
365.42/366.33	c #Conflicts:      46000 | #Constraints:       9549
365.42/366.33	c INPROCESSING
365.42/366.33	c GARBAGE COLLECT
365.42/366.33	c #Conflicts:      47000 | #Constraints:       6138
365.42/366.33	c #Conflicts:      48000 | #Constraints:       7138
365.42/366.33	c finalizing WCE round: reformulating cores
439.83/440.97	c #Conflicts:      49000 | #Constraints:       8141
439.83/440.97	c bounds -9016 >= -930119 @ 387.286
439.83/440.97	c #Conflicts:      50000 | #Constraints:       9141
439.83/440.97	c #Conflicts:      51000 | #Constraints:      10141
439.83/440.97	c INPROCESSING
439.83/440.97	c GARBAGE COLLECT
439.83/440.97	c #Conflicts:      52000 | #Constraints:       6545
439.83/440.97	c #Conflicts:      53000 | #Constraints:       7545
439.83/440.97	c #Conflicts:      54000 | #Constraints:       8545
439.83/440.97	c bounds -9018 >= -930119 @ 438.081
439.83/440.97	c stratification level: 182
456.09/457.22	c bounds -9018 >= -925924 @ 440.024
456.09/457.22	c #Conflicts:      55000 | #Constraints:       9560
456.09/457.22	c finalizing WCE round: reformulating cores
491.81/493.04	c #Conflicts:      56000 | #Constraints:      10563
491.81/493.04	c INPROCESSING
491.81/493.04	c GARBAGE COLLECT
491.81/493.04	c bounds -9023 >= -925924 @ 473.916
491.81/493.04	c #Conflicts:      57000 | #Constraints:       6774
491.81/493.04	c #Conflicts:      58000 | #Constraints:       7774
491.81/493.04	c bounds -9075 >= -925924 @ 489.888
491.81/493.04	c stratification level: 181
505.27/506.59	c bounds -9075 >= -921218 @ 491.761
505.27/506.59	c #Conflicts:      59000 | #Constraints:       8790
505.27/506.59	c finalizing WCE round: reformulating cores
548.96/550.31	c bounds -9104 >= -921218 @ 512.384
548.96/550.31	c #Conflicts:      60000 | #Constraints:       9793
548.96/550.31	c #Conflicts:      61000 | #Constraints:      10793
548.96/550.31	c INPROCESSING
548.96/550.31	c GARBAGE COLLECT
548.96/550.31	c #Conflicts:      62000 | #Constraints:       6794
548.96/550.31	c #Conflicts:      63000 | #Constraints:       7794
548.96/550.31	c #Conflicts:      64000 | #Constraints:       8794
548.96/550.31	c bounds -9149 >= -921218 @ 546.869
548.96/550.31	c stratification level: 180
578.88/580.32	c bounds -9149 >= -916174 @ 548.501
578.88/580.32	c #Conflicts:      65000 | #Constraints:       9813
578.88/580.32	c #Conflicts:      66000 | #Constraints:      10813
578.88/580.32	c finalizing WCE round: reformulating cores
739.08/740.91	c INPROCESSING
739.08/740.91	c GARBAGE COLLECT
739.08/740.91	c #Conflicts:      67000 | #Constraints:       6612
739.08/740.91	c bounds -9160 >= -916174 @ 592.11
739.08/740.91	c #Conflicts:      68000 | #Constraints:       7612
739.08/740.91	c #Conflicts:      69000 | #Constraints:       8612
739.08/740.91	c #Conflicts:      70000 | #Constraints:       9612
739.08/740.91	c #Conflicts:      71000 | #Constraints:      10612
739.08/740.91	c #Conflicts:      72000 | #Constraints:      11612
739.08/740.91	c INPROCESSING
739.08/740.91	c GARBAGE COLLECT
739.08/740.91	c #Conflicts:      73000 | #Constraints:       7198
739.08/740.91	c #Conflicts:      74000 | #Constraints:       8198
739.08/740.91	c #Conflicts:      75000 | #Constraints:       9198
739.08/740.91	c #Conflicts:      76000 | #Constraints:      10198
739.08/740.91	c #Conflicts:      77000 | #Constraints:      11198
739.08/740.91	c #Conflicts:      78000 | #Constraints:      12198
739.08/740.91	c INPROCESSING
739.08/740.91	c GARBAGE COLLECT
739.08/740.91	c #Conflicts:      79000 | #Constraints:       7597
739.08/740.91	c #Conflicts:      80000 | #Constraints:       8597
739.08/740.91	c #Conflicts:      81000 | #Constraints:       9597
739.08/740.91	c bounds -9164 >= -916174 @ 736.559
739.08/740.91	c stratification level: 179
773.90/775.83	c bounds -9164 >= -911867 @ 738.417
773.90/775.83	c #Conflicts:      82000 | #Constraints:      10619
773.90/775.83	c #Conflicts:      83000 | #Constraints:      11619
773.90/775.83	c #Conflicts:      84000 | #Constraints:      12619
773.90/775.83	c INPROCESSING
773.90/775.83	c GARBAGE COLLECT
773.90/775.83	c #Conflicts:      85000 | #Constraints:       7815
773.90/775.83	c finalizing WCE round: reformulating cores
837.63/839.71	c bounds -9166 >= -911867 @ 788.951
837.63/839.71	c #Conflicts:      86000 | #Constraints:       8818
837.63/839.71	c #Conflicts:      87000 | #Constraints:       9818
837.63/839.71	c #Conflicts:      88000 | #Constraints:      10818
837.63/839.71	c #Conflicts:      89000 | #Constraints:      11818
837.63/839.71	c #Conflicts:      90000 | #Constraints:      12818
837.63/839.71	c INPROCESSING
837.63/839.71	c GARBAGE COLLECT
837.63/839.71	c bounds -9167 >= -911867 @ 834.922
837.63/839.71	c stratification level: 178
875.64/877.83	c bounds -9167 >= -906164 @ 837.012
875.64/877.83	c #Conflicts:      91000 | #Constraints:       7844
875.64/877.83	c #Conflicts:      92000 | #Constraints:       8844
875.64/877.83	c #Conflicts:      93000 | #Constraints:       9844
875.64/877.83	c #Conflicts:      94000 | #Constraints:      10844
875.64/877.83	c finalizing WCE round: reformulating cores
879.83/882.03	c bounds -9248 >= -906164 @ 874.121
879.83/882.03	c bounds -9253 >= -906164 @ 877.051
879.83/882.03	c stratification level: 177
900.17/902.46	c bounds -9253 >= -901207 @ 879.913
900.17/902.46	c #Conflicts:      95000 | #Constraints:      11867
900.17/902.46	c #Conflicts:      96000 | #Constraints:      12867
900.17/902.46	c INPROCESSING
900.17/902.46	c GARBAGE COLLECT
900.17/902.46	c finalizing WCE round: reformulating cores
907.95/910.29	c #Conflicts:      97000 | #Constraints:       7665
907.95/910.29	c bounds -9254 >= -901207 @ 903.682
907.95/910.29	c bounds -9289 >= -901207 @ 905.186
907.95/910.29	c stratification level: 176
914.03/916.34	c bounds -9289 >= -896081 @ 907.228
914.03/916.34	c #Conflicts:      98000 | #Constraints:       8691
914.03/916.34	c finalizing WCE round: reformulating cores
915.63/917.93	c bounds -9315 >= -896081 @ 912.273
915.63/917.93	c bounds -9360 >= -896081 @ 912.793
915.63/917.93	c stratification level: 175
942.06/944.46	c bounds -9360 >= -889942 @ 915.287
942.06/944.46	c #Conflicts:      99000 | #Constraints:       9713
942.06/944.46	c #Conflicts:     100000 | #Constraints:      10713
942.06/944.46	c finalizing WCE round: reformulating cores
943.26/945.69	c bounds -9410 >= -889942 @ 939.793
943.26/945.69	c bounds -9416 >= -889942 @ 940.409
943.26/945.69	c stratification level: 174
1095.37/1098.14	c bounds -9416 >= -884028 @ 942.235
1095.37/1098.14	c #Conflicts:     101000 | #Constraints:      11738
1095.37/1098.14	c #Conflicts:     102000 | #Constraints:      12738
1095.37/1098.14	c #Conflicts:     103000 | #Constraints:      13738
1095.37/1098.14	c INPROCESSING
1095.37/1098.14	c GARBAGE COLLECT
1095.37/1098.14	c #Conflicts:     104000 | #Constraints:       8326
1095.37/1098.14	c #Conflicts:     105000 | #Constraints:       9326
1095.37/1098.14	c #Conflicts:     106000 | #Constraints:      10326
1095.37/1098.14	c #Conflicts:     107000 | #Constraints:      11326
1095.37/1098.14	c #Conflicts:     108000 | #Constraints:      12326
1095.37/1098.14	c #Conflicts:     109000 | #Constraints:      13326
1095.37/1098.14	c #Conflicts:     110000 | #Constraints:      14326
1095.37/1098.14	c INPROCESSING
1095.37/1098.14	c GARBAGE COLLECT
1095.37/1098.14	c #Conflicts:     111000 | #Constraints:       8731
1095.37/1098.14	c #Conflicts:     112000 | #Constraints:       9731
1095.37/1098.14	c #Conflicts:     113000 | #Constraints:      10731
1095.37/1098.14	c finalizing WCE round: reformulating cores
1137.85/1140.74	c bounds -9422 >= -884028 @ 1102.92
1137.85/1140.74	c #Conflicts:     114000 | #Constraints:      11734
1137.85/1140.74	c #Conflicts:     115000 | #Constraints:      12734
1137.85/1140.74	c #Conflicts:     116000 | #Constraints:      13734
1137.85/1140.74	c bounds -9478 >= -884028 @ 1134.6
1137.85/1140.74	c stratification level: 173
1178.16/1181.14	c bounds -9478 >= -876929 @ 1138.01
1178.16/1181.14	c #Conflicts:     117000 | #Constraints:      14755
1178.16/1181.14	c INPROCESSING
1178.16/1181.14	c GARBAGE COLLECT
1178.16/1181.14	c #Conflicts:     118000 | #Constraints:       8957
1178.16/1181.14	c finalizing WCE round: reformulating cores
1319.70/1323.01	c #Conflicts:     119000 | #Constraints:       9960
1319.70/1323.01	c bounds -9481 >= -876929 @ 1199.09
1319.70/1323.01	c #Conflicts:     120000 | #Constraints:      10960
1319.70/1323.01	c #Conflicts:     121000 | #Constraints:      11960
1319.70/1323.01	c #Conflicts:     122000 | #Constraints:      12960
1319.70/1323.01	c #Conflicts:     123000 | #Constraints:      13960
1319.70/1323.01	c #Conflicts:     124000 | #Constraints:      14960
1319.70/1323.01	c INPROCESSING
1319.70/1323.01	c GARBAGE COLLECT
1319.70/1323.01	c #Conflicts:     125000 | #Constraints:       8948
1319.70/1323.01	c #Conflicts:     126000 | #Constraints:       9948
1319.70/1323.01	c bounds -9491 >= -876929 @ 1316.15
1319.70/1323.01	c stratification level: 172
1457.53/1461.29	c bounds -9491 >= -871079 @ 1319.12
1457.53/1461.29	c #Conflicts:     127000 | #Constraints:      10973
1457.53/1461.29	c #Conflicts:     128000 | #Constraints:      11973
1457.53/1461.29	c #Conflicts:     129000 | #Constraints:      12973
1457.53/1461.29	c #Conflicts:     130000 | #Constraints:      13973
1457.53/1461.29	c #Conflicts:     131000 | #Constraints:      14973
1457.53/1461.29	c INPROCESSING
1457.53/1461.29	c GARBAGE COLLECT
1457.53/1461.29	c #Conflicts:     132000 | #Constraints:       8780
1457.53/1461.29	c #Conflicts:     133000 | #Constraints:       9780
1457.53/1461.29	c #Conflicts:     134000 | #Constraints:      10780
1457.53/1461.29	c finalizing WCE round: reformulating cores
1650.78/1654.95	c bounds -9495 >= -871079 @ 1477.25
1650.78/1654.95	c #Conflicts:     135000 | #Constraints:      11783
1650.78/1654.95	c #Conflicts:     136000 | #Constraints:      12783
1650.78/1654.95	c #Conflicts:     137000 | #Constraints:      13783
1650.78/1654.95	c #Conflicts:     138000 | #Constraints:      14783
1650.78/1654.95	c #Conflicts:     139000 | #Constraints:      15783
1650.78/1654.95	c INPROCESSING
1650.78/1654.95	c GARBAGE COLLECT
1650.78/1654.95	c #Conflicts:     140000 | #Constraints:       9389
1650.78/1654.95	c #Conflicts:     141000 | #Constraints:      10389
1650.78/1654.95	c #Conflicts:     142000 | #Constraints:      11389
1650.78/1654.95	c #Conflicts:     143000 | #Constraints:      12389
1650.78/1654.95	c #Conflicts:     144000 | #Constraints:      13389
1650.78/1654.95	c #Conflicts:     145000 | #Constraints:      14389
1650.78/1654.95	c #Conflicts:     146000 | #Constraints:      15389
1650.78/1654.95	c #Conflicts:     147000 | #Constraints:      16389
1650.78/1654.95	c INPROCESSING
1650.78/1654.95	c GARBAGE COLLECT
1650.78/1654.95	c bounds -9517 >= -871079 @ 1646.72
1650.78/1654.95	c stratification level: 171
1702.36/1706.65	c #Conflicts:     148000 | #Constraints:       9824
1702.36/1706.65	c #Conflicts:     149000 | #Constraints:      10824
1702.36/1706.65	c #Conflicts:     150000 | #Constraints:      11824
1702.36/1706.65	c #Conflicts:     151000 | #Constraints:      12824
1702.36/1706.65	c bounds -9536 >= -864238 @ 1698.25
1702.36/1706.65	c stratification level: 170
1845.23/1849.88	c bounds -9536 >= -858779 @ 1701.92
1845.23/1849.88	c #Conflicts:     152000 | #Constraints:      13848
1845.23/1849.88	c #Conflicts:     153000 | #Constraints:      14848
1845.23/1849.88	c #Conflicts:     154000 | #Constraints:      15848
1845.23/1849.88	c #Conflicts:     155000 | #Constraints:      16848
1845.23/1849.88	c INPROCESSING
1845.23/1849.88	c GARBAGE COLLECT
1845.23/1849.88	c #Conflicts:     156000 | #Constraints:      10047
1845.23/1849.88	c #Conflicts:     157000 | #Constraints:      11047
1845.23/1849.88	c #Conflicts:     158000 | #Constraints:      12047
1845.23/1849.88	c #Conflicts:     159000 | #Constraints:      13047
1845.23/1849.88	c #Conflicts:     160000 | #Constraints:      14047
1845.23/1849.88	c #Conflicts:     161000 | #Constraints:      15047
1845.23/1849.88	c finalizing WCE round: reformulating cores
2111.71/2116.97	c #Conflicts:     162000 | #Constraints:      16050
2111.71/2116.97	c bounds -9542 >= -858779 @ 1865.35
2111.71/2116.97	c #Conflicts:     163000 | #Constraints:      17050
2111.71/2116.97	c INPROCESSING
2111.71/2116.97	c GARBAGE COLLECT
2111.71/2116.97	c #Conflicts:     164000 | #Constraints:      10058
2111.71/2116.97	c #Conflicts:     165000 | #Constraints:      11058
2111.71/2116.97	c #Conflicts:     166000 | #Constraints:      12058
2111.71/2116.97	c #Conflicts:     167000 | #Constraints:      13058
2111.71/2116.97	c #Conflicts:     168000 | #Constraints:      14058
2111.71/2116.97	c #Conflicts:     169000 | #Constraints:      15058
2111.71/2116.97	c #Conflicts:     170000 | #Constraints:      16058
2111.71/2116.97	c #Conflicts:     171000 | #Constraints:      17058
2111.71/2116.97	c INPROCESSING
2111.71/2116.97	c GARBAGE COLLECT
2111.71/2116.97	c #Conflicts:     172000 | #Constraints:       9851
2111.71/2116.97	c #Conflicts:     173000 | #Constraints:      10851
2111.71/2116.97	c #Conflicts:     174000 | #Constraints:      11851
2111.71/2116.97	c #Conflicts:     175000 | #Constraints:      12851
2111.71/2116.97	c #Conflicts:     176000 | #Constraints:      13851
2111.71/2116.97	c #Conflicts:     177000 | #Constraints:      14851
2111.71/2116.97	c #Conflicts:     178000 | #Constraints:      15851
2111.71/2116.97	c bounds -9544 >= -858779 @ 2107.04
2111.71/2116.97	c stratification level: 169
2342.06/2347.87	c bounds -9544 >= -853434 @ 2110.99
2342.06/2347.87	c #Conflicts:     179000 | #Constraints:      16878
2342.06/2347.87	c #Conflicts:     180000 | #Constraints:      17878
2342.06/2347.87	c INPROCESSING
2342.06/2347.87	c GARBAGE COLLECT
2342.06/2347.87	c #Conflicts:     181000 | #Constraints:      10480
2342.06/2347.87	c #Conflicts:     182000 | #Constraints:      11480
2342.06/2347.87	c #Conflicts:     183000 | #Constraints:      12480
2342.06/2347.87	c #Conflicts:     184000 | #Constraints:      13480
2342.06/2347.87	c #Conflicts:     185000 | #Constraints:      14480
2342.06/2347.87	c #Conflicts:     186000 | #Constraints:      15480
2342.06/2347.87	c #Conflicts:     187000 | #Constraints:      16480
2342.06/2347.87	c #Conflicts:     188000 | #Constraints:      17480
2342.06/2347.87	c #Conflicts:     189000 | #Constraints:      18480
2342.06/2347.87	c INPROCESSING
2342.06/2347.87	c GARBAGE COLLECT
2342.06/2347.87	c #Conflicts:     190000 | #Constraints:      10897
2342.06/2347.87	c finalizing WCE round: reformulating cores
2569.21/2575.50	c bounds -9545 >= -853434 @ 2342.56
2569.21/2575.50	c #Conflicts:     191000 | #Constraints:      11900
2569.21/2575.50	c #Conflicts:     192000 | #Constraints:      12900
2569.21/2575.50	c #Conflicts:     193000 | #Constraints:      13900
2569.21/2575.50	c #Conflicts:     194000 | #Constraints:      14900
2569.21/2575.50	c #Conflicts:     195000 | #Constraints:      15900
2569.21/2575.50	c #Conflicts:     196000 | #Constraints:      16900
2569.21/2575.50	c #Conflicts:     197000 | #Constraints:      17900
2569.21/2575.50	c #Conflicts:     198000 | #Constraints:      18900
2569.21/2575.50	c INPROCESSING
2569.21/2575.50	c GARBAGE COLLECT
2569.21/2575.50	c #Conflicts:     199000 | #Constraints:      11097
2569.21/2575.50	c #Conflicts:     200000 | #Constraints:      12097
2569.21/2575.50	c #Conflicts:     201000 | #Constraints:      13097
2569.21/2575.50	c #Conflicts:     202000 | #Constraints:      14097
2569.21/2575.50	c #Conflicts:     203000 | #Constraints:      15097
2569.21/2575.50	c #Conflicts:     204000 | #Constraints:      16097
2569.21/2575.50	c #Conflicts:     205000 | #Constraints:      17097
2569.21/2575.50	c bounds -9548 >= -853434 @ 2563.99
2569.21/2575.50	c stratification level: 168
3600.09/3608.83	c bounds -9548 >= -846688 @ 2568.04
3600.09/3608.83	c #Conflicts:     206000 | #Constraints:      18123
3600.09/3608.83	c #Conflicts:     207000 | #Constraints:      19123
3600.09/3608.83	c INPROCESSING
3600.09/3608.83	c GARBAGE COLLECT
3600.09/3608.83	c #Conflicts:     208000 | #Constraints:      11114
3600.09/3608.83	c #Conflicts:     209000 | #Constraints:      12114
3600.09/3608.83	c #Conflicts:     210000 | #Constraints:      13114
3600.09/3608.83	c #Conflicts:     211000 | #Constraints:      14114
3600.09/3608.83	c #Conflicts:     212000 | #Constraints:      15114
3600.09/3608.83	c #Conflicts:     213000 | #Constraints:      16114
3600.09/3608.83	c #Conflicts:     214000 | #Constraints:      17114
3600.09/3608.83	c #Conflicts:     215000 | #Constraints:      18114
3600.09/3608.83	c #Conflicts:     216000 | #Constraints:      19114
3600.09/3608.83	c INPROCESSING
3600.09/3608.83	c GARBAGE COLLECT
3600.09/3608.83	c #Conflicts:     217000 | #Constraints:      10926
3600.09/3608.83	c #Conflicts:     218000 | #Constraints:      11926
3600.09/3608.83	c #Conflicts:     219000 | #Constraints:      12926
3600.09/3608.83	c #Conflicts:     220000 | #Constraints:      13926
3600.09/3608.83	c #Conflicts:     221000 | #Constraints:      14926
3600.09/3608.83	c #Conflicts:     222000 | #Constraints:      15926
3600.09/3608.83	c #Conflicts:     223000 | #Constraints:      16926
3600.09/3608.83	c #Conflicts:     224000 | #Constraints:      17926
3600.09/3608.83	c #Conflicts:     225000 | #Constraints:      18926
3600.09/3608.83	c #Conflicts:     226000 | #Constraints:      19926
3600.09/3608.83	c INPROCESSING
3600.09/3608.83	c GARBAGE COLLECT
3600.09/3608.83	c #Conflicts:     227000 | #Constraints:      11527
3600.09/3608.83	c #Conflicts:     228000 | #Constraints:      12527
3600.09/3608.83	c #Conflicts:     229000 | #Constraints:      13527
3600.09/3608.83	c #Conflicts:     230000 | #Constraints:      14527
3600.09/3608.83	c #Conflicts:     231000 | #Constraints:      15527
3600.09/3608.83	c #Conflicts:     232000 | #Constraints:      16527
3600.09/3608.83	c #Conflicts:     233000 | #Constraints:      17527
3600.09/3608.83	c #Conflicts:     234000 | #Constraints:      18527
3600.09/3608.83	c #Conflicts:     235000 | #Constraints:      19527
3600.09/3608.83	c #Conflicts:     236000 | #Constraints:      20527
3600.09/3608.83	c INPROCESSING
3600.09/3608.83	c GARBAGE COLLECT
3600.09/3608.83	c #Conflicts:     237000 | #Constraints:      11937
3600.09/3608.83	c #Conflicts:     238000 | #Constraints:      12937
3600.09/3608.83	c #Conflicts:     239000 | #Constraints:      13937
3600.09/3608.83	c #Conflicts:     240000 | #Constraints:      14937
3600.09/3608.83	c #Conflicts:     241000 | #Constraints:      15937
3600.09/3608.83	c #Conflicts:     242000 | #Constraints:      16937
3600.09/3608.83	c #Conflicts:     243000 | #Constraints:      17937
3600.09/3608.83	c #Conflicts:     244000 | #Constraints:      18937
3600.09/3608.83	c #Conflicts:     245000 | #Constraints:      19937
3600.09/3608.83	c #Conflicts:     246000 | #Constraints:      20937
3600.09/3608.83	c INPROCESSING
3600.09/3608.83	c GARBAGE COLLECT
3600.09/3608.83	c #Conflicts:     247000 | #Constraints:      12136
3600.09/3608.83	c #Conflicts:     248000 | #Constraints:      13136
3600.09/3608.83	c #Conflicts:     249000 | #Constraints:      14136
3600.09/3608.83	c #Conflicts:     250000 | #Constraints:      15136
3600.09/3608.83	c #Conflicts:     251000 | #Constraints:      16136
3600.09/3608.83	c #Conflicts:     252000 | #Constraints:      17136
3600.09/3608.83	c #Conflicts:     253000 | #Constraints:      18136
3600.09/3608.83	c #Conflicts:     254000 | #Constraints:      19136
3600.09/3608.83	c #Conflicts:     255000 | #Constraints:      20136
3600.09/3608.83	c #Conflicts:     256000 | #Constraints:      21136
3600.09/3608.83	c INPROCESSING
3600.09/3608.83	c GARBAGE COLLECT
3600.09/3608.83	c #Conflicts:     257000 | #Constraints:      12138
3600.09/3608.83	c Program interrupted by user.
3600.09/3608.83	c cpu time 3593.72 s
3600.09/3608.83	c deterministic time 548768575315 5.49e+11
3600.09/3608.83	c optimization time 292.418 s
3600.09/3608.83	c total solve time 3301.29 s
3600.09/3608.83	c core-guided solve time 3301.29 s
3600.09/3608.83	c propagation time 2418.3 s
3600.09/3608.83	c conflict analysis time 883.875 s
3600.09/3608.83	c propagations 74450809
3600.09/3608.83	c resolve steps 1663958
3600.09/3608.83	c decisions 2967165
3600.09/3608.83	c conflicts 257889
3600.09/3608.83	c restarts 607
3600.09/3608.83	c inprocessing phases 42
3600.09/3608.83	c input clauses 840
3600.09/3608.83	c input cardinalities 255
3600.09/3608.83	c input general constraints 257
3600.09/3608.83	c input average constraint length 1250.66
3600.09/3608.83	c input average constraint degree 4200.02
3600.09/3608.83	c learned clauses 6203
3600.09/3608.83	c learned cardinalities 668
3600.09/3608.83	c learned general constraints 251035
3600.09/3608.83	c learned average constraint length 6424.00
3600.09/3608.83	c learned average constraint degree 258799184.91
3600.09/3608.83	c watched constraints 134231
3600.09/3608.83	c counting constraints 117061
3600.09/3608.83	c gcd simplifications 1407
3600.09/3608.83	c detected cardinalities 18
3600.09/3608.83	c weakened non-implied lits 460483631
3600.09/3608.83	c weakened non-implying lits 408694
3600.09/3608.83	c original variables 9483
3600.09/3608.83	c clausal propagations 5461916
3600.09/3608.83	c cardinality propagations 24238825
3600.09/3608.83	c watched propagations 3979385
3600.09/3608.83	c counting propagations 38217041
3600.09/3608.83	c watch lookups 32298852280
3600.09/3608.83	c watch backjump lookups 32057586157
3600.09/3608.83	c watch checks 213638179511
3600.09/3608.83	c propagation checks 264163290018
3600.09/3608.83	c constraint additions 6455583495
3600.09/3608.83	c trail pops 77665879
3600.09/3608.83	c formula constraints 257
3600.09/3608.83	c learned constraints 257906
3600.09/3608.83	c bound constraints 175
3600.09/3608.83	c core-guided constraints 920
3600.09/3608.83	c encountered formula constraints 897377
3600.09/3608.83	c encountered learned constraints 799179
3600.09/3608.83	c encountered bound constraints 3076
3600.09/3608.83	c encountered core-guided constraints 222215
3600.09/3608.83	c LP total time 0 s
3600.09/3608.83	c LP solve time 0 s
3600.09/3608.83	c LP constraints added 0
3600.09/3608.83	c LP constraints removed 0
3600.09/3608.83	c LP pivots internal 0
3600.09/3608.83	c LP pivots root 0
3600.09/3608.83	c LP calls 0
3600.09/3608.83	c LP optimalities 0
3600.09/3608.83	c LP no pivot count 0
3600.09/3608.83	c LP infeasibilities 0
3600.09/3608.83	c LP valid Farkas constraints 0
3600.09/3608.83	c LP learned Farkas constraints 0
3600.09/3608.83	c LP basis resets 0
3600.09/3608.83	c LP cycling count 0
3600.09/3608.83	c LP singular count 0
3600.09/3608.83	c LP no primal count 0
3600.09/3608.83	c LP no farkas count 0
3600.09/3608.83	c LP other issue count 0
3600.09/3608.83	c LP Gomory cuts 0
3600.09/3608.83	c LP learned cuts 0
3600.09/3608.83	c LP deleted cuts 0
3600.09/3608.83	c LP encountered Gomory constraints 0
3600.09/3608.83	c LP encountered Farkas constraints 0
3600.09/3608.83	c LP encountered learned Farkas constraints 0
3600.09/3608.83	c CG auxiliary variables introduced 860
3600.09/3608.83	c CG solutions found 115
3600.09/3608.83	c CG cores constructed 39
3600.09/3608.83	c CG core cardinality constraints returned 2
3600.09/3608.83	c CG unit cores 0
3600.09/3608.83	c CG single cores 38
3600.09/3608.83	c CG blocks removed during cardinality reduction 0
3600.09/3608.83	c CG first core best 0
3600.09/3608.83	c CG decision core best 0
3600.09/3608.83	c CG core reduction tie 1
3600.09/3608.83	c CG core degree average 1.08
3600.09/3608.83	c CG core slack average 2.33
3600.09/3608.83	c CG exhausted 0
3600.09/3608.83	c CG exhaust time 219.158 s
3600.09/3608.83	c CG trimmed 4
3600.09/3608.83	c CG trim time 1.83299 s
3600.09/3608.83	c CG minimized 0
3600.09/3608.83	c CG minimize time 0 s
3600.09/3608.83	c CG am1 prop time 38.7519 s
3600.09/3608.83	c CG # am1s reformulated 811
3600.09/3608.83	c CG lower bound derived from am1s 230165
3600.09/3608.83	c CG # clausal cores 38
3600.09/3608.83	c CG # cardinality cores 2
3600.09/3608.83	c CG # pb cores 0
3600.09/3608.83	c CG # pb reforms 30
3600.09/3608.83	c CG # cores discarded because of pb reform 0
3600.09/3608.83	d LOWERBOUND -846688
3600.09/3608.83	d NCORES 39
3600.09/3608.83	d NPBCORES 0
3600.09/3608.83	d NPBREFORM 30
3600.09/3608.83	d NTRIMMED 4
3600.09/3608.83	d NEXHAUSTED 0
3600.09/3608.83	d NAM1S 811
3600.09/3608.83	d AM1LB 230165
3600.09/3608.83	o -9548
3600.09/3608.83	s SATISFIABLE
3600.09/3608.83	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 (49286 MiB free)
  memory of node 1: 64510 MiB (60068 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=400207, runsolver pid=400204

[startup+0.100081 s]*
/proc/loadavg: 0.16 0.11 0.09 5/253 400212
/proc/meminfo: memFree=111959428/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=44676 memory=13608 CPUtime=0.1 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 2214 0 0 0 6 4 0 0 20 0 1 0 60181846 45748224 3402 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 11169 3402 1376 291 0 2703 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44676 KiB
Current children cumulated memory: 13608 KiB

[startup+0.20542 s]*
/proc/loadavg: 0.16 0.11 0.09 5/254 400217
/proc/meminfo: memFree=111946576/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=44824 memory=14132 CPUtime=0.2 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 2340 0 0 0 14 6 0 0 20 0 1 0 60181846 45899776 3533 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 11206 3533 1376 291 0 2740 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44824 KiB
Current children cumulated memory: 14132 KiB

[startup+0.305275 s]*
/proc/loadavg: 0.16 0.11 0.09 5/257 400223
/proc/meminfo: memFree=111878772/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=47692 memory=16232 CPUtime=0.3 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 2883 0 0 0 23 7 0 0 20 0 1 0 60181846 48836608 4058 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 11923 4058 1376 291 0 3457 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47692 KiB
Current children cumulated memory: 16232 KiB

[startup+0.70023 s]
/proc/loadavg: 0.16 0.11 0.09 5/257 400223
/proc/meminfo: memFree=111875568/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=60976 memory=24300 CPUtime=0.68 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 3833 0 0 0 53 15 0 0 20 0 1 0 60181846 62439424 6075 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 15244 6075 1376 291 0 6778 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60976 KiB
Current children cumulated memory: 24300 KiB

[startup+1.50022 s]
/proc/loadavg: 0.16 0.11 0.09 5/257 400223
/proc/meminfo: memFree=111798948/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=73528 memory=40832 CPUtime=1.48 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 4927 0 0 0 130 18 0 0 20 0 1 0 60181846 75292672 10208 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 18382 10208 1376 291 0 9916 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 73528 KiB
Current children cumulated memory: 40832 KiB

[startup+3.1055 s]
/proc/loadavg: 0.47 0.17 0.12 5/257 400223
/proc/meminfo: memFree=111651348/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=124248 memory=70660 CPUtime=3.09 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 6279 0 0 0 288 21 0 0 20 0 1 0 60181846 127229952 17665 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 31062 17665 1376 291 0 22596 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 124248 KiB
Current children cumulated memory: 70660 KiB

[startup+6.30021 s]
/proc/loadavg: 0.47 0.17 0.12 5/258 400226
/proc/meminfo: memFree=111499060/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=177528 memory=125272 CPUtime=6.28 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 7631 0 0 0 600 28 0 0 20 0 1 0 60181846 181788672 31318 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 44382 31318 1392 291 0 35916 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 177528 KiB
Current children cumulated memory: 125272 KiB

[startup+12.7002 s]
/proc/loadavg: 1.01 0.30 0.16 5/258 400226
/proc/meminfo: memFree=111245576/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=270192 memory=164124 CPUtime=12.66 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 10650 0 0 0 1231 35 0 0 20 0 1 0 60181846 276676608 41031 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 67548 41031 1454 291 0 59082 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 270192 KiB
Current children cumulated memory: 164124 KiB

[startup+25.5002 s]
/proc/loadavg: 1.47 0.42 0.20 5/258 400229
/proc/meminfo: memFree=110862108/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=295628 memory=244760 CPUtime=25.43 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 17064 0 0 0 2496 47 0 0 20 0 1 0 60181846 302723072 61190 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 73907 61190 1454 291 0 65441 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 295628 KiB
Current children cumulated memory: 244760 KiB

[startup+51.1057 s]
/proc/loadavg: 2.41 0.73 0.31 5/257 400232
/proc/meminfo: memFree=110292364/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=540176 memory=398028 CPUtime=50.98 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 45277 0 0 0 5032 66 0 0 20 0 1 0 60181846 553140224 99507 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 135044 99507 1454 291 0 126578 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 540176 KiB
Current children cumulated memory: 398028 KiB

[startup+102.3 s]
/proc/loadavg: 3.43 1.30 0.53 5/257 400241
/proc/meminfo: memFree=109550336/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=635572 memory=512788 CPUtime=102.05 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 66885 0 0 0 10118 87 0 0 20 0 1 0 60181846 650825728 128197 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 158893 128197 1454 291 0 150427 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 635572 KiB
Current children cumulated memory: 512788 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 1.80 0.75 5/256 400252
/proc/meminfo: memFree=108831336/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=752552 memory=686928 CPUtime=161.9 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 94239 0 0 0 16079 111 0 0 20 0 1 0 60181846 770613248 171732 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 188138 171732 1454 291 0 179672 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 752552 KiB
Current children cumulated memory: 686928 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.24 0.97 5/256 400263
/proc/meminfo: memFree=108306652/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=808204 memory=750416 CPUtime=221.76 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 109037 0 0 0 22044 132 0 0 20 0 1 0 60181846 827600896 187604 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 202051 187604 1454 291 0 193585 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 808204 KiB
Current children cumulated memory: 750416 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 2.58 1.17 5/256 400273
/proc/meminfo: memFree=107762484/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=1036856 memory=794180 CPUtime=281.63 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 112893 0 0 0 28018 145 0 0 20 0 1 0 60181846 1061740544 198545 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 259214 198545 1454 291 0 250748 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 1036856 KiB
Current children cumulated memory: 794180 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 2.85 1.35 5/254 400285
/proc/meminfo: memFree=107533188/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=1156692 memory=905536 CPUtime=341.48 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 137682 0 0 0 33985 163 0 0 20 0 1 0 60181846 1184452608 226384 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 289173 226384 1454 291 0 280707 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 1156692 KiB
Current children cumulated memory: 905536 KiB

[startup+402.3 s]
/proc/loadavg: 4.71 3.31 1.61 5/255 400296
/proc/meminfo: memFree=107399652/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=1184028 memory=943556 CPUtime=401.33 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 144718 0 0 0 39958 175 0 0 20 0 1 0 60181846 1212444672 235889 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 296007 235889 1454 291 0 287541 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 1184028 KiB
Current children cumulated memory: 943556 KiB

[startup+462.3 s]
/proc/loadavg: 4.26 3.44 1.76 5/258 400314
/proc/meminfo: memFree=107032236/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=1221988 memory=1034900 CPUtime=461.18 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 154303 0 0 0 45928 190 0 0 20 0 1 0 60181846 1251315712 258725 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 305497 258725 1454 291 0 297031 0

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

Current children cumulated memory: 2137060 KiB

[startup+2862.3 s]
/proc/loadavg: 4.30 4.16 4.01 5/257 401366
/proc/meminfo: memFree=101207604/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=2903272 memory=2137060 CPUtime=2855.35 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 309981 0 0 0 284968 567 0 0 20 0 1 0 60181846 2972950528 534265 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 725818 534265 1454 291 0 717352 0
Current children cumulated CPU time: 2855.35 s
Current children cumulated vsize: 2903272 KiB
Current children cumulated memory: 2137060 KiB

[startup+2922.3 s]
/proc/loadavg: 4.22 4.16 4.01 5/257 401377
/proc/meminfo: memFree=101127080/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=2903272 memory=2137064 CPUtime=2915.21 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 310793 0 0 0 290949 572 0 0 20 0 1 0 60181846 2972950528 534266 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 725818 534266 1454 291 0 717352 0
Current children cumulated CPU time: 2915.21 s
Current children cumulated vsize: 2903272 KiB
Current children cumulated memory: 2137064 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.16 4.02 5/257 401388
/proc/meminfo: memFree=100837340/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=2950344 memory=2254800 CPUtime=2975.06 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 321572 0 0 0 296925 581 0 0 20 0 1 0 60181846 3021152256 563700 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 737586 563700 1454 291 0 729120 0
Current children cumulated CPU time: 2975.06 s
Current children cumulated vsize: 2950344 KiB
Current children cumulated memory: 2254800 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.02 5/257 401399
/proc/meminfo: memFree=100526204/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=2950344 memory=2254800 CPUtime=3034.92 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 322216 0 0 0 302906 586 0 0 20 0 1 0 60181846 3021152256 563700 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 737586 563700 1454 291 0 729120 0
Current children cumulated CPU time: 3034.92 s
Current children cumulated vsize: 2950344 KiB
Current children cumulated memory: 2254800 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.02 5/257 401410
/proc/meminfo: memFree=100442940/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=2950344 memory=2254808 CPUtime=3094.78 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 322903 0 0 0 308887 591 0 0 20 0 1 0 60181846 3021152256 563702 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 737586 563702 1454 291 0 729120 0
Current children cumulated CPU time: 3094.78 s
Current children cumulated vsize: 2950344 KiB
Current children cumulated memory: 2254808 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.02 5/257 401805
/proc/meminfo: memFree=100438144/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=2950344 memory=2255196 CPUtime=3154.64 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 323869 0 0 0 314869 595 0 0 20 0 1 0 60181846 3021152256 563799 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 737586 563799 1454 291 0 729120 0
Current children cumulated CPU time: 3154.64 s
Current children cumulated vsize: 2950344 KiB
Current children cumulated memory: 2255196 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.02 5/257 401815
/proc/meminfo: memFree=100403980/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=2950344 memory=2255476 CPUtime=3214.5 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 324604 0 0 0 320848 602 0 0 20 0 1 0 60181846 3021152256 563869 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 737586 563869 1454 291 0 729120 0
Current children cumulated CPU time: 3214.5 s
Current children cumulated vsize: 2950344 KiB
Current children cumulated memory: 2255476 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.03 5/257 401827
/proc/meminfo: memFree=100371296/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=2950344 memory=2255476 CPUtime=3274.36 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 325406 0 0 0 326829 607 0 0 20 0 1 0 60181846 3021152256 563869 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 737586 563869 1454 291 0 729120 0
Current children cumulated CPU time: 3274.36 s
Current children cumulated vsize: 2950344 KiB
Current children cumulated memory: 2255476 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.03 5/258 402006
/proc/meminfo: memFree=100364892/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=2950344 memory=2256300 CPUtime=3334.22 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 326825 0 0 0 332810 612 0 0 20 0 1 0 60181846 3021152256 564075 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 737586 564075 1454 291 0 729120 0
Current children cumulated CPU time: 3334.22 s
Current children cumulated vsize: 2950344 KiB
Current children cumulated memory: 2256300 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.04 5/258 402017
/proc/meminfo: memFree=100297708/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=2969800 memory=2309560 CPUtime=3394.08 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 331765 0 0 0 338786 622 0 0 20 0 1 0 60181846 3041075200 577390 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 742450 577390 1454 291 0 733984 0
Current children cumulated CPU time: 3394.08 s
Current children cumulated vsize: 2969800 KiB
Current children cumulated memory: 2309560 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.05 5/259 402033
/proc/meminfo: memFree=100291632/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=2969800 memory=2309560 CPUtime=3453.94 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 332372 0 0 0 344767 627 0 0 20 0 1 0 60181846 3041075200 577390 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 742450 577390 1454 291 0 733984 0
Current children cumulated CPU time: 3453.94 s
Current children cumulated vsize: 2969800 KiB
Current children cumulated memory: 2309560 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.05 5/259 402054
/proc/meminfo: memFree=100274456/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=2969800 memory=2309568 CPUtime=3513.8 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 333178 0 0 0 350749 631 0 0 20 0 1 0 60181846 3041075200 577392 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 742450 577392 1454 291 0 733984 0
Current children cumulated CPU time: 3513.8 s
Current children cumulated vsize: 2969800 KiB
Current children cumulated memory: 2309568 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.05 5/259 402065
/proc/meminfo: memFree=100167968/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=3016140 memory=2372360 CPUtime=3573.65 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 343499 0 0 0 356726 639 0 0 20 0 1 0 60181846 3088527360 593090 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 754035 593090 1454 291 0 745569 0
Current children cumulated CPU time: 3573.65 s
Current children cumulated vsize: 3016140 KiB
Current children cumulated memory: 2372360 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.09 4.12 4.05 5/259 402071
/proc/meminfo: memFree=100153332/131524600 swapFree=131054224/131071996
[pid=400207] ppid=400204 vsize=3016140 memory=2372540 CPUtime=3600.09 cores=4,6
/proc/400207/stat : 400207 (pb-oll-rs) R 400204 400207 400149 0 -1 4194304 343755 0 0 0 359368 641 0 0 20 0 1 0 60181846 3088527360 593135 134679101440 4194304 5384005 140732050345440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22155264 140732050351126 140732050351203 140732050351203 140732050358219 0
/proc/400207/statm: 754035 593135 1454 291 0 745569 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3016140 KiB
Current children cumulated memory: 2372540 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.72 s, system=6.45064 s

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

Child status: 0

Real time (s): 3608.87
CPU time (s): 3600.17
CPU user time (s): 3593.72
CPU system time (s): 6.45064
CPU usage (%): 99.759
Max. virtual memory (cumulated for all children) (KiB): 3016140
Max. memory (cumulated for all children) (KiB): 2372540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.72
system time used= 6.45064
maximum resident set size= 2372764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 343771
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= 138
involuntary context switches= 6334


# summary of solver processes directly reported to runsolver:
#   pid: 400207
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3593.72
#   total CPU system time (s): 6.45064

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.90106 second user time and 17.9628 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-29 09:02:57
IDJOB=4462376
IDBENCH=178884
IDSOLVER=3067
FILE ID=nodeC034/4462376-1722236577
RUNJOBID= nodeC034-1722236576-400160
SLURM_JOB_ID= 8248769
Free space on /tmp= 890080 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
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-4462376-1722236577/watcher-4462376-1722236577 -o /tmp/evaluation-result-4462376-1722236577/solver-4462376-1722236577 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722236576-400160 --watchdog 3760  pb-oll-rs HOME/instance-4462376-1722236577.opb

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

MD5SUM BENCH= 7aeed99d365b459b07e7d3797ec462bd
RANDOM SEED=697437227

nodeC034.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		: 2480.927
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.92
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		: 3627.270
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	: 7006.84
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		: 2235.671
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.92
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		: 3640.586
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	: 7006.84
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		: 3367.645
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.92
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		: 3640.725
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	: 7006.84
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		: 3549.838
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.92
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		: 3609.397
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	: 7006.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        111980888 kB
MemAvailable:   129667540 kB
Buffers:          401636 kB
Cached:         18036692 kB
SwapCached:          112 kB
Active:          1880668 kB
Inactive:       16919360 kB
Active(anon):       1916 kB
Inactive(anon):   410568 kB
Active(file):    1878752 kB
Inactive(file): 16508792 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054224 kB
Dirty:              6604 kB
Writeback:             0 kB
AnonPages:        360724 kB
Mapped:            99000 kB
Shmem:             50772 kB
KReclaimable:     277508 kB
Slab:             394376 kB
SReclaimable:     277508 kB
SUnreclaim:       116868 kB
KernelStack:        3920 kB
PageTables:        10172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     702020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16416 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 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:      361172 kB
DirectMap2M:    49743872 kB
DirectMap1G:    85983232 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC034 at 2024-07-29 10:03:06