Trace number 4431630

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
IPBHS-GUROBI 2024-07-09OPT42 992.421 995.33

DiagnosticValue
CARDINALITY_CORES_IN_OPTIMIZER0
CLAUSAL_CORES_IN_OPTIMIZER0
CORES_EXTRACTED0
CORES_IN_OPTIMIZER0
ITERATIONS2
PB_CORES_IN_OPTIMIZER0
SIS0
SIS_OUT_OF_BUDGET0
SIS_SAT0
SIS_UNSAT0
TIME_EXTRACT_CORES0.17
TIME_OPTIMIZE983.42
TIME_SIS0

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
MD5SUM6ff458260e5cc7a1e00e7b04a599a648
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 benchmark42
Best CPU time to get the best result obtained on this benchmark992.421
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7840
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint34
Maximum length of a constraint64
Number of terms in the objective function 7840
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7840
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7840
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

992.39/995.30	c initialize IPBHS solver
992.39/995.30	c IPBHS 0.0.0 beta (471c63a-dirty, Jul  9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
992.39/995.30	c optimizer = "gurobi"
992.39/995.30	c pbsolver = "roundingsat"
992.39/995.30	c load symmetries from file ""
992.39/995.30	c set time limit for symmetry computation to 100 seconds.
992.39/995.30	c set interchangeable summation variable limit to 3
992.39/995.30	c set abs symmetric core budget per WCE-iteration to 100
992.39/995.30	c set rel symmetric core budget per WCE-iteration to 0
992.39/995.30	c set lit symmetric core budget per WCE-iteration to 0
992.39/995.30	c set sym generation to 's'
992.39/995.30	c set abstraction set creation to 10 iterations without LB change
992.39/995.30	c set abstraction set inputs to 0
992.39/995.30	c set abstraction set cluster min size to 2
992.39/995.30	c set abstraction set cluster max size to 100000000
992.39/995.30	c set abstraction set cluster activation limit to 2
992.39/995.30	c enable abstraction set require equal cost
992.39/995.30	c set abstraction set assumptions to 0
992.39/995.30	c set abstraction set constraint type to 0
992.39/995.30	c set abstract core extraction strategy to b
992.39/995.30	c set core extraction strategy to 2
992.39/995.30	c set core extraction shuffles 10
992.39/995.30	c set cores per iteration to 5
992.39/995.30	c set optimizer bound usage strategy to 2
992.39/995.30	c set optimizer max non-optimal iterations to 1000
992.39/995.30	c set small core cardinality limit to 2
992.39/995.30	c set max coef in cores to 1000000000
992.39/995.30	c set SIS iterations to 5
992.39/995.30	c set SIS budget abs to 1000
992.39/995.30	c set SIS budget rel to 0.05
992.39/995.30	c limit for coefficient in constraints and objective to 9223372036854775807
992.39/995.30	c will solve HOME/instance-4431630-1721129104.opb
992.39/995.30	c [0.92] solve iteration 1, LB=0, UB=7841
992.39/995.30	c [12.24] solve iteration 2, LB=34, UB=609
992.39/995.30	c LB=UB after core extraction
992.39/995.30	c instance solved in 987.93s (IP-solver: 983.42s, core-extraction: 0.17s, SIS: 0s), 2 iterations, LB=42, UB=42, 
992.39/995.30	d ITERATIONS 2
992.39/995.30	d SIS 0
992.39/995.30	d SIS_SAT 0
992.39/995.30	d SIS_UNSAT 0
992.39/995.30	d SIS_OUT_OF_BUDGET 0
992.39/995.30	d CORES_EXTRACTED 0
992.39/995.30	d CORES_IN_OPTIMIZER 0
992.39/995.30	d CLAUSAL_CORES_IN_OPTIMIZER 0
992.39/995.30	d CARDINALITY_CORES_IN_OPTIMIZER 0
992.39/995.30	d PB_CORES_IN_OPTIMIZER 0
992.39/995.30	d TIME_EXTRACT_CORES 0.170000
992.39/995.30	d TIME_OPTIMIZE 983.420000
992.39/995.30	d TIME_SIS 0.000000
992.39/995.30	c solve_time: 987.930000
992.39/995.30	s OPTIMUM FOUND
992.39/995.30	o 42
992.39/995.30	v x1 -x6 -x32 -x94 -x133 -x173 -x177 -x418 -x455 -x545 -x559 -x597 x1150 -x1183 -x1191 -x1211 -x1380 -x1425 -x1463 -x1507 -x2598 -x2645 x2701 -x2704 -x2713 -x2764 -x2841 -x2848 -x3020 -x3045 -x3095 -x3113 -x3128 x4230 -x4243 -x4257 -x4308 -x4327 -x4441 x4445 -x4448 -x4459 -x4532 -x4807 -x4817 -x4857 -x4863 -x4899 -x5421 -x5435 -x5503 -x5507 -x5611 -x5623 -x5631 -x6042 -x6105 -x6143 x6245 -x6262 -x6318 -x6333 -x6357 -x6633 -x6667 -x6679 -x6695 -x6703 -x7233 -x7279 -x7321 -x7323 -x7409 -x7441 x3412 -x3423 -x3467 -x3475 -x3520 -x3597 -x3622 -x3633 -x3845 -x3861 -x3867 -x3925 -x5735 -x5781 -x5823 -x5825 -x5911 -x5943 -x7535 -x7549 -x7617 -x7621 -x7725 -x7737 -x7745 -x1875 x1883 x1887 -x1890 -x1918 -x1925 -x2090 -x2109 -x2151 -x2158 -x2201 -x3223 -x3239 -x3245 -x3303 -x5133 -x5167 -x5179 -x5195 -x5203 -x5667 -x5699 -x6919 -x6929 -x6969 -x6975 -x7011 -x7481 -x7493 -x7501 -x4034 -x4059 -x4109 -x4127 -x4142 -x5983 -x5995 -x6003 -x7781 -x7813 -x421 -x438 -x445 -x457 -x510 -x561 -x1360 -x1383 -x1427 -x1435 -x1471 -x2771 -x2803 -x2807 -x3103 -x4232 -x4295 -x4335 -x4825 -x5423 -x5471 -x5599 x6035 -x6045 -x6061 -x6110 -x6125 -x6613 -x6615 -x7225 -x7237 -x7413 -x3574 -x3657 -x3665 -x3929 -x3945 -x5727 -x5739 -x5915 -x7537 -x7585 -x7713 -x2098 -x2145 -x2177 -x2225 -x3307 -x3323 -x5113 -x5115 -x5671 -x6937 -x7469 -x4117 -x5971 -x7785 -x782 -x821 -x909 -x925 -x949 -x1632 -x1679 -x1711 -x1759 -x2888 -x2971 -x2979 -x3167 -x3183 x4623 -x4640 -x4696 -x4711 -x4735 -x4989 -x5001 -x5017 -x5025 -x5563 -x5565 -x5655 -x6431 x6435 -x6438 -x6449 -x6522 -x6791 -x6797 -x6833 -x7357 -x7361 -x7449 -x7457 -x3721 -x3753 -x3757 -x3977 -x5859 -x5863 -x5951 -x5959 -x7677 -x7679 -x7769 -x2338 -x2361 -x2405 -x2413 -x2449 -x3355 -x5291 -x5297 -x5333 -x5707 -x5715 -x7101 -x7113 -x7129 -x7137 -x7525 -x4181 -x4197 -x6027 -x7821 -x7829 -x793 -x808 -x817 -x827 -x894 -x931 -x1624 -x1643 -x1685 -x1692 -x1735 -x2911 -x2936 -x2947 -x3163 -x3714 -x3791 -x3798 -x3987 -x4002 -x2358 -x2403 -x2441 -x2485 -x3365 -x3380 -x4177 -x108 -x126 -x169 -x534 -x564 -x1176 -x1198 -x1207 -x1483 x2596 -x2609 -x2651 -x2661 -x2783 -x2804 -x2819 -x3031 -x3044 -x3051 -x3109 -x4301 -x4338 -x4516 -x4529 -x4555 -x4828 -x4881 -x4891 -x4898 -x5429 -x5605 -x6116 -x6137 -x6340 -x6627 -x6706 -x7228 -x7243 -x7310 -x7315 -x7419 -x7433 -x7437 -x3420 -x3465 -x3586 -x3842 -x3865 -x5730 -x5745 -x5812 -x5817 -x5921 -x5935 -x5939 -x7543 -x7719 -x1907 -x1915 -x1934 -x2189 -x2231 -x3220 -x3243 -x5127 -x5206 -x5677 -x5691 -x5695 -x6940 -x6993 -x7003 -x7010 -x7475 -x4045 -x4058 -x4065 -x4123 -x5977 -x7791 -x7805 -x7809 -x543 -x558 -x589 -x1459 -x1505 -x2760 -x4306 -x4323 -x4813 -x5420 -x5433 -x5609 -x6103 -x6142 -x6632 -x7231 -x7407 -x3593 -x3621 -x3629 -x3923 -x5733 -x5909 -x7534 -x7547 -x7723 -x2197 -x3301 -x5132 -x5665 -x6925 -x7479 -x5981 -x7779 -x886 -x930 -x1731 -x2907 -x2935 -x2943 -x3161 -x4718 -x5028 -x5552 -x5557 -x5647 -x5651 -x6506 -x6519 -x6545 -x6815 -x6825 -x6832 -x3710 -x7666 -x7671 -x7761 -x7765 -x2437 -x2483 -x5315 -x5325 -x5332 -x7140 -x7517 -x7521 -x4175 -x6019 -x6023 -x915 -x928 -x973 -x1723 -x1765 -x2900 -x3733 -x3754 -x3769 -x3983 -x2461 -x3361 -x258 -x295 -x334 -x345 -x683 -x696 -x741 -x1281 -x1289 -x1308 -x1547 -x1589 -x2729 -x4382 -x4403 -x4590 -x4845 -x4956 -x5489 -x5533 -x5535 -x5639 -x6179 -x6216 -x6378 -x6391 -x6417 -x6658 -x6743 -x6753 -x6760 x3546 -x3549 -x3558 -x3683 -x3690 -x3917 -x3955 -x3970 -x7603 -x7647 -x7649 -x7753 -x1994 -x2016 -x2025 -x2285 -x3295 -x3333 -x3348 -x5158 -x5243 -x5253 -x5260 -x6957 -x7068 -x7509 -x6011 -x654 -x698 -x1555 -x2863 -x2871 -x3135 -x3151 -x4369 -x4408 -x4850 -x6184 -x6201 -x6643 -x7293 -x5795 -x2261 -x2307 -x5143 -x6962 -x4149 -x4165 -x1047 -x1062 -x1093 -x1795 -x1841 -x4756 -x4769 -x4795 -x5065 -x5075 -x5082 -x6580 -x6890 -x7387 -x7389 -x7465 -x3813 -x3821 -x4009 -x4025 -x5889 -x5891 -x5967 -x2533 -x3387 -x3403 -x5390 -x5723 -x7177 -x7187 -x7194 -x7837 -x1038 -x1068 -x1819 -x2997 -x3004 -x3193 -x3208 -x2525 -x2567 -x4207 -x4222 -x264 -x278 -x325 -x662 -x699 -x1264 -x1292 -x1299 -x1559 -x4371 -x4409 -x4568 -x4583 -x4607 -x4851 -x4929 -x4945 -x4953 -x6186 -x6205 -x6394 -x6647 -x6761 -x2001 -x2009 -x2029 -x2265 -x2309 -x5147 -x5261 -x6963 -x7041 -x7057 -x7065 -x677 -x693 -x717 -x1535 -x1583 -x4376 -x4391 -x4833 -x6173 -x6213 -x6655 -x2273 -x5155 -x6945 -x1014 -x1065 -x1807 -x4772 -x5083 -x6558 -x6573 -x6597 -x6863 -x6879 -x6887 -x2513 -x2561 -x5363 -x5379 -x5387 -x7195 -x1049 -x1063 -x1101 -x1799 -x1843 -x2537 -x34 -x97 -x135 -x174 -x189 -x413 -x454 -x593 -x1155 x1162 x1165 -x1179 -x1363 -x1385 -x1477 -x2601 -x2648 -x2714 -x2839 -x2847 -x3033 -x3106 x4229 -x4241 -x4256 -x4451 -x4461 -x4533 -x4826 -x4862 -x4885 -x5504 -x5510 -x5602 -x5635 -x6040 -x6263 -x6321 -x6335 -x6363 -x6621 -x6665 -x6670 -x7278 -x7324 -x7416 -x7435 x3413 -x3427 -x3470 -x3481 -x3631 -x3843 -x3914 -x3930 -x5780 -x5826 -x5918 -x5937 -x7618 -x7624 -x7716 -x7749 x1874 -x1908 -x2099 -x2183 -x2228 -x3221 -x3292 -x3308 -x5121 -x5165 -x5170 -x5674 -x5693 -x6938 -x6974 -x6997 -x7472 -x7505 -x4047 -x4120 -x5974 -x6007 -x7788 -x7807 -x425 -x439 -x451 -x460 -x1381 -x1469 -x1510 -x2821 -x3114 -x4238 -x4823 -x5474 -x5614 x6036 -x6051 -x6064 -x6634 -x7412 -x3659 -x3666 -x3928 -x5914 -x7588 -x7728 -x2093 -x2111 -x2207 -x3306 -x5134 -x5670 -x6935 -x7484 -x4128 -x5986 -x7784 -x785 -x824 -x977 -x1627 -x1645 -x1741 -x2973 -x2980 -x3166 -x4641 -x4699 -x4713 -x4741 -x4987 -x4992 -x5566 -x5649 -x6441 -x6451 -x6523 -x6796 -x6819 -x7358 -x7364 -x7461 -x3771 -x3988 -x5860 -x5866 -x5963 -x7680 -x7763 -x2359 -x2447 -x2488 -x3366 -x5296 -x5319 -x5719 -x7099 -x7104 -x7519 -x4180 -x6021 -x7833 -x789 -x805 -x815 -x826 -x1633 -x1717 -x1762 -x2945 -x3168 -x3789 -x3797 -x3980 -x2341 -x2363 -x2455 -x3358 -x4182 -x102 -x117 -x167 -x1184 -x1457 -x1504 x2593 -x2605 -x2650 -x2659 -x2809 -x3021 -x4511 -x4527 -x4553 -x4811 -x5608 -x5625 -x6337 -x6631 -x6683 -x7309 -x7314 -x7406 -x3415 -x3464 -x3847 -x3922 -x5811 -x5816 -x5908 -x7722 -x7739 -x1893 -x2195 -x3225 -x3300 -x5131 -x5183 -x5664 -x6923 -x7478 -x7495 -x4035 -x5980 -x5997 -x7778 -x601 -x1481 -x3108 -x4827 -x5604 -x6625 -x7418 -x3635 -x5920 -x7718 -x2187 -x2230 -x5125 -x5676 -x6939 -x7474 -x4122 -x5976 -x7790 -x1721 -x1764 -x2949 -x4715 -x5005 -x5551 -x5556 -x6501 -x6517 -x6543 -x7451 -x3982 -x5953 -x7665 -x7670 -x2459 -x3360 -x5709 -x7117 -x7823 -x953 -x1729 -x3160 -x3759 -x2435 -x2482 -x4174 -x253 -x293 -x333 -x341 -x721 -x1267 -x1553 -x3100 -x3136 -x4587 -x4849 -x4933 -x5488 -x5536 -x6373 -x6389 -x6415 -x6641 -x7445 -x3559 -x3681 -x3689 -x5947 -x7602 -x7650 -x2002 -x2259 -x2306 -x5141 -x5703 -x6961 -x7045 -x4114 -x4150 -x7817 -x1545 -x1588 -x2865 -x2872 -x4843 -x6657 -x7296 -x3956 -x5798 -x2283 -x3334 -x5157 -x6955 -x1105 -x1817 -x3194 -x4751 -x4767 -x4793 -x5659 -x6577 -x6867 -x7390 -x3815 -x3822 -x5892 -x7773 -x2523 -x2566 -x5367 -x7529 -x4208 -x6031 -x1793 -x1840 -x2995 -x3003 -x4010 -x2531 -x3388 -x266 -x285 -x331 -x1282 -x1541 -x1586 -x4571 -x4585 -x4613 -x4839 -x6395 -x6656 -x6747 -x1997 -x2279 -x5156 -x5247 -x6951 -x745 -x1565 -x4852 -x6653 -x2271 -x2312 -x5153 -x6964 -x1805 -x1846 -x4773 -x5069 -x6561 -x6575 -x6603 -x2543 -x7181 -x1097 -x1813 -x2519 -x2564 -x37 -x53 -x1185 -x1375 -x2811 -x3023 -x3111 -x4455 -x5517 -x5627 -x6253 -x6265 -x6687 -x3530 -x3849 -x7631 -x7741 -x1897 -x2081 -x2105 -x3227 -x5187 -x7497 -x4037 -x4125 -x5999 -x605 -x1367 -x1387 -x3637 -x3931 -x2101 -x3309 -x1635 -x2951 -x3169 -x4631 -x4643 -x5009 -x6445 -x7371 -x7453 -x5873 -x5955 -x2345 -x2365 -x5711 -x7121 -x4183 -x7825 -x957 -x1615 -x1639 -x3761 -x3985 -x2353 -x3363 -x581 -x1167 -x3027 -x4873 -x7429 -x3625 -x3837 -x5931 -x1905 -x3215 -x5687 -x6985 -x4041 -x7801 -x2815 -x965 -x5643 -x6807 -x3765 -x7757 -x5307 -x7513 -x6015 -x2939 -x1279 -x2739 -x6735 -x7341 -x3953 -x5843 -x1985 -x3331 -x5235 -x733 -x3137 -x4151 -x5057 -x5583 -x4011 -x7697 -x3389 -x7169 -x1085 -x3191 -x4205 -x725 -x1271 -x4937 -x2003 -x7049 -x1109 -x6871 -x5371 -x42 -x55 -x1172 -x1372 -x1389 -x2817 -x3029 -x4458 -x4877 -x5518 -x6258 -x6267 -x7431 -x3533 -x3840 -x3932 -x5933 -x7632 -x1906 -x2104 -x3218 -x3310 -x5689 -x6989 -x4043 -x7803 -x585 -x1378 -x3112 -x3627 -x2086 -x2107 -x4126 -x1620 -x1641 -x2941 -x4636 -x4645 -x5645 -x6448 -x6811 -x7372 -x3986 -x5874 -x7759 -x2356 -x3364 -x5311 -x7515 -x6017 -x969 -x1638 -x3170 -x3767 -x2350 -x2367 -x4184 -x609 -x1186 -x3026 -x5629 -x6691 -x3639 -x3851 -x7743 -x1902 -x3229 -x5191 -x7499 -x4040 -x6001 -x2813 -x961 -x5013 -x7455 -x3763 -x5957 -x5713 -x7125 -x7827 -x2953 -x1276 -x2742 -x3138 -x4941 -x7342 -x5844 -x2004 -x7053 -x4152 -x729 -x3954 -x3332 -x3192 -x5584 -x6875 -x7698 -x5375 -x4206 -x1113 -x4012 -x3390 -x737 -x1280 -x6739 -x1990 -x5239 -x1089 -x5061 -x7173 -x62 -x218 -x229 -x485 -x621 -x1229 -x1248 -x1439 -x2675 -x2720 -x2855 -x3073 -x3131 -x4271 -x4287 -x4479 -x4491 -x4808 -x4920 -x5513 -x5633 -x6070 -x6293 -x6369 -x6717 -x6724 -x7285 -x7331 -x3497 -x3507 -x3645 -x3888 -x3895 -x5787 -x5833 -x7627 -x7747 x1888 -x1956 -x1965 -x2165 -x2173 -x3266 -x3273 -x5217 -x5224 -x6920 -x7032 -x7503 -x4087 -x4145 -x6005 -x481 -x491 -x1445 -x1452 -x2835 -x4268 -x5481 -x6081 -x6095 -x6614 -x3674 -x3950 -x7595 -x2163 -x3328 -x5114 -x855 -x1005 -x1697 -x2988 -x3188 -x4671 -x4747 -x5039 -x5046 -x5573 -x6469 -x6481 -x6854 -x7367 -x7459 -x3785 -x5869 -x5961 -x7687 -x2423 -x2430 -x5354 -x5717 -x7151 -x7158 -x4202 -x7831 -x845 -x857 -x1699 -x1707 -x2959 -x3805 -x4005 -x2417 -x3383 -x209 -x1232 -x1239 -x2677 -x2685 -x2823 -x3069 -x3075 -x4559 -x4909 -x4917 -x6725 -x7317 -x7439 -x3491 -x3889 -x5819 -x5941 -x1949 -x1969 -x3267 -x5225 -x5697 -x7021 -x7029 -x4083 -x4089 -x7811 -x629 -x3649 -x2963 -x5047 -x5559 -x5653 -x6549 -x6843 -x6851 -x7673 -x7767 -x5343 -x5351 -x7159 -x7523 -x6025 -x981 -x3773 -x377 -x381 -x749 -x1323 -x1343 -x4975 -x5495 -x5543 -x6421 -x6771 -x6779 -x3565 -x3697 -x3973 -x7609 -x7657 -x2050 -x2057 -x3351 -x5271 -x5279 -x7087 -x2880 -x3156 -x7303 -x5805 -x4170 -x1133 -x4799 -x5093 -x5101 -x6909 -x7397 -x3830 -x4030 -x5899 -x3408 -x5409 -x7205 -x7213 -x3011 -x3211 -x4225 -x373 -x1330 -x1339 -x4619 -x4967 -x4974 -x6782 -x2047 -x2066 -x5282 -x7079 -x7086 -x773 -x5104 -x6609 -x6901 -x6908 -x5401 -x5408 -x7216 -x1125 -x68 -x217 -x225 -x488 -x633 x1166 -x2674 -x2723 -x2856 -x4277 -x4290 -x4484 -x4493 -x5512 -x6076 -x6296 -x6367 -x7288 -x7332 -x3496 -x3505 -x3651 -x5790 -x5834 -x7626 -x479 -x490 -x2825 -x4266 -x5480 -x6079 -x6094 -x3673 -x7594 -x854 -x985 -x2987 -x4674 -x4745 -x5574 -x6474 -x6483 -x7366 -x3775 -x5868 -x7688 -x851 -x860 -x2965 -x3806 -x215 -x2680 -x2691 -x2837 -x4565 -x7320 -x3494 -x5822 -x625 -x3647 -x2961 -x5562 -x6555 -x7676 -x1009 -x3787 -x378 -x393 -x777 -x5498 -x5544 -x6427 -x3568 -x3698 -x7612 -x7658 -x2879 -x7302 -x5804 -x1129 -x4805 -x7398 -x3829 -x5900 -x3012 -x371 -x4617 -x753 -x6607 -x1137 -x70 -x85 -x2831 -x4488 -x5525 -x6286 -x6297 -x3539 -x7639 -x613 -x3641 -x2955 -x4664 -x4675 -x6478 -x7379 -x5881 -x997 -x3781 -x637 -x3653 -x2827 -x989 -x3777 -x2967 -x2748 -x7349 -x5851 -x757 -x5591 -x7705 -x1141 -x765 -x1117 -x73 -x87 -x2829 -x4489 -x5526 -x6289 -x6299 -x3540 -x7640 -x641 -x3655 -x2969 -x4667 -x4677 -x6479 -x7380 -x5882 -x993 -x3779 -x617 -x3643 -x2833 -x1001 -x3783 -x2957 -x2749 -x7350 -x5852 -x769 -x5592 -x7706 -x1121 -x761 -x1145 x7 -x29 -x93 -x134 -x179 -x419 -x546 -x599 -x1153 -x1161 -x1195 -x1205 -x1369 -x1430 -x1436 -x1480 -x2599 -x2705 -x2712 -x2765 -x2842 -x3043 -x3050 -x3107 -x4235 -x4299 -x4337 -x4440 -x4513 -x4552 -x4858 -x5428 -x5473 -x5515 -x5624 -x6049 -x6063 -x6113 -x6135 -x6248 -x6251 -x6255 -x6681 -x6696 -x7227 -x7242 -x7313 x3411 -x3425 -x3476 -x3599 -x3634 -x3864 -x3913 -x3946 -x5729 -x5744 -x5815 -x7542 -x7587 -x7629 -x7738 -x1871 -x1913 -x1933 -x2148 -x2186 -x2229 -x3242 -x3291 -x3324 -x5181 -x5196 -x6970 -x7494 -x4057 -x4064 -x4121 -x5996 -x423 -x437 -x446 -x513 -x1424 -x1456 -x1503 -x2773 -x2808 -x3127 -x4239 -x4255 -x4303 -x4321 -x5419 -x5432 -x6037 -x6101 -x6141 -x7230 -x7277 -x3575 -x3658 -x3921 -x5732 -x5779 -x7533 -x7546 -x2083 -x2150 -x2157 -x2194 -x3299 -x4141 -x783 -x910 -x951 -x1617 -x1684 -x1691 -x1728 -x2889 -x2972 -x3159 -x4626 -x4629 -x4633 -x5003 -x5018 -x5555 -x6430 -x6503 -x6542 -x6792 -x7369 -x7450 -x3723 -x3758 -x4001 -x5871 -x5952 -x7669 -x2402 -x2434 -x2481 -x3379 -x5292 -x5708 -x7115 -x7130 -x4173 -x7822 -x795 -x807 -x818 -x897 -x1682 -x1720 -x1763 -x2913 -x2948 -x3184 -x3715 -x3792 -x3981 -x2347 -x2408 -x2414 -x2458 -x3359 -x4198 -x105 -x129 -x537 -x1193 -x1212 -x1468 -x1509 x2595 -x2611 -x2662 -x2785 -x2820 -x3048 -x4309 -x4333 -x4883 -x4892 -x5422 -x5438 -x5509 -x6107 -x6144 -x6323 -x6362 -x7236 -x7434 -x3421 -x3587 -x3862 -x3870 -x3927 -x5738 -x5936 -x7536 -x7552 -x7623 -x1919 -x1931 -x2206 -x3240 -x3248 -x3305 -x5692 -x6995 -x7004 -x4062 -x7806 -x544 -x591 -x1476 -x2761 -x3105 -x4297 -x4336 -x5426 -x6111 -x6131 -x7226 -x7240 -x3595 -x3630 -x5728 -x5742 -x7540 -x2182 -x2227 -x4119 -x889 -x1716 -x1761 -x2909 -x2944 -x4701 -x4740 -x5648 -x6817 -x6826 -x7363 -x3711 -x3979 -x5865 -x7762 -x2454 -x3357 -x5317 -x5326 -x7518 -x6020 -x916 -x975 -x1740 -x2901 -x3165 -x3735 -x3770 -x2446 -x2487 -x4179 -x257 -x296 -x347 -x684 -x743 -x1293 -x1305 -x1564 -x3099 -x3152 -x4373 -x4410 -x4573 -x4612 -x6187 -x6211 -x6745 -x6754 -x7295 -x7339 -x3550 -x3557 -x3684 -x5797 -x5841 -x2011 -x2030 -x2270 -x2311 -x5245 -x5254 -x4113 -x4166 -x657 -x1540 -x1585 -x2864 -x4377 -x4397 -x5487 -x6175 -x6214 -x3969 -x7601 -x2278 -x3347 -x1048 -x1095 -x1812 -x3207 -x5067 -x5076 -x5581 -x6563 -x6602 -x3814 -x7695 -x2518 -x2563 -x7179 -x7188 -x4221 -x1041 -x1804 -x1845 -x2998 -x4026 -x2542 -x3404 -x261 -x281 -x665 -x1287 -x1307 -x1544 -x1587 -x4379 -x4401 -x4931 -x4946 -x6177 -x6215 -x6375 -x6414 -x2013 -x2023 -x2282 -x7043 -x7058 -x678 -x719 -x1552 -x4367 -x4407 -x6181 -x6199 -x2258 -x2305 -x1017 -x1792 -x1839 -x4753 -x4792 -x6865 -x6880 -x2530 -x5365 -x5380 -x1050 -x1103 -x1816 -x2522 -x2565 -x35 -x98 -x136 -x191 -x416 -x595 -x1151 -x1462 -x1506 -x2604 -x2715 -x2840 -x3096 -x4233 -x4518 -x4558 -x4887 -x5472 -x6047 -x6062 -x6260 -x6666 -x7316 -x7436 x3414 -x3429 -x3482 -x3632 -x3924 -x5818 -x5938 -x7586 -x1877 -x1884 -x2088 -x2200 -x3302 -x5166 -x5694 -x6999 -x4110 -x7808 -x427 -x440 -x452 -x1374 -x1486 -x2822 -x3110 -x4245 -x4258 -x6043 -x7280 -x3660 -x5782 -x2192 -x2232 -x4124 -x788 -x979 -x1726 -x1766 -x2974 -x4638 -x4988 -x5558 -x5650 -x6508 -x6548 -x6821 -x3772 -x3984 -x7672 -x7764 -x2352 -x2464 -x3362 -x5321 -x7100 -x7520 -x6022 -x791 -x806 -x816 -x1622 -x1734 -x2946 -x3162 -x3790 -x2440 -x2484 -x4176 -x103 -x122 -x1474 x2594 -x2607 -x2660 -x2810 -x3104 -x5508 -x5626 -x6320 -x6360 -x6685 -x3418 -x7622 -x7740 -x2180 -x2226 -x5185 -x7496 -x4118 -x5998 -x603 -x1466 -x1508 -x3636 -x3926 -x2204 -x3304 -x1738 -x2950 -x3164 -x4698 -x4738 -x5007 -x7362 -x7452 -x5864 -x5954 -x2444 -x2486 -x5710 -x7119 -x4178 -x7824 -x955 -x1714 -x1760 -x3760 -x3978 -x2452 -x3356 -x254 -x294 -x343 -x723 -x1538 -x1584 -x4570 -x4610 -x4935 -x7294 -x3560 -x3682 -x3918 -x5796 -x2276 -x3296 -x7047 -x1562 -x2866 -x5490 -x7604 -x2268 -x2310 -x1107 -x1802 -x1844 -x6560 -x6600 -x6869 -x3816 -x2540 -x5369 -x1810 -x2996 -x2516 -x2562 -x267 -x290 -x1558 -x6380 -x6420 -x6749 -x2264 -x2308 -x5249 -x747 -x1550 -x1590 -x2288 -x1822 -x4758 -x4798 -x5071 -x2528 -x2568 -x7183 -x1099 -x1798 -x1842 -x2536 -x38 -x54 -x1362 -x2812 -x4450 -x5628 -x6689 -x3531 -x7742 -x5189 -x7498 -x6000 -x607 -x3638 -x2092 -x1626 -x2952 -x5011 -x6440 -x7454 -x5956 -x5712 -x7123 -x7826 -x959 -x3762 -x2340 -x583 -x4875 -x7430 -x3626 -x5932 -x5688 -x6987 -x7802 -x2816 -x967 -x5644 -x6809 -x3766 -x7758 -x5309 -x7514 -x6016 -x2940 -x2740 -x6737 -x5237 -x735 -x5059 -x7171 -x1087 -x727 -x4939 -x7051 -x1111 -x6873 -x5373 -x41 -x56 -x2818 -x4453 -x4879 -x7432 -x3532 -x5934 -x2095 -x5690 -x6991 -x7804 -x587 -x1365 -x3628 -x2942 -x5646 -x6443 -x6813 -x7760 -x2343 -x5313 -x7516 -x6018 -x971 -x1629 -x3768 -x611 -x5630 -x6693 -x3640 -x7744 -x5193 -x7500 -x6002 -x2814 -x963 -x5015 -x7456 -x3764 -x5958 -x5714 -x7127 -x7828 -x2954 -x2741 -x4943 -x7055 -x731 -x6877 -x5377 -x1115 -x739 -x6741 -x5241 -x1091 -x5063 -x7175 -x63 -x231 -x623 -x1233 -x1245 -x1444 -x1451 -x2721 -x3070 -x3078 -x4263 -x4564 -x5479 -x6077 -x6093 -x6288 -x6718 -x7319 -x3508 -x3646 -x3892 -x3949 -x5821 -x7593 -x1951 -x1970 -x2162 -x3270 -x3327 -x5218 -x4084 -x4092 -x482 -x1442 -x2836 -x3132 -x4275 -x4289 -x6073 -x7287 -x5789 -x2168 -x2174 -x4146 -x1007 -x1702 -x1708 -x4666 -x5040 -x5561 -x6554 -x3786 -x4006 -x7675 -x2420 -x3384 -x7152 -x846 -x1696 -x2960 -x3187 -x2422 -x2429 -x4201 -x1227 -x1247 -x2686 -x2824 -x3072 -x4910 -x5511 -x6366 -x3887 -x3894 -x7625 -x1953 -x1963 -x3265 -x3272 -x7022 -x4086 -x631 -x3650 -x2964 -x4744 -x6844 -x7365 -x5867 -x5344 -x983 -x3774 -x383 -x751 -x1327 -x1337 -x3155 -x4616 -x6772 -x7301 -x3566 -x5803 -x2045 -x2065 -x5272 -x4169 -x5497 -x3974 -x7611 -x3352 -x1135 -x3212 -x5094 -x6606 -x7206 -x4226 -x4029 -x3407 -x1325 -x1344 -x4968 -x6426 -x2051 -x2063 -x7080 -x775 -x4804 -x6902 -x5402 -x1127 -x65 -x227 -x635 -x2722 -x4269 -x4562 -x5482 -x6083 -x6096 -x6291 -x7318 -x3506 -x3652 -x5820 -x7596 -x480 -x2826 -x4273 -x4288 -x6071 -x7286 -x5788 -x987 -x4669 -x5560 -x6552 -x3776 -x7674 -x852 -x2966 -x2692 -x2838 -x5514 -x6372 -x7628 -x627 -x3648 -x2962 -x4750 -x7368 -x5870 -x1011 -x3788 -x395 -x779 -x4622 -x7304 -x3567 -x5806 -x5496 -x7610 -x1131 -x6612 -x6424 -x755 -x4802 -x1139 -x69 -x86 -x2832 -x4481 -x3538 -x615 -x3642 -x2956 -x6471 -x999 -x3782 -x639 -x3654 -x2828 -x991 -x3778 -x2968 -x2747 -x759 -x1143 -x767 -x1119 -x74 -x88 -x2830 -x4486 -x3541 -x643 -x3656 -x2970 -x6476 -x995 -x3780 -x619 -x3644 -x2834 -x1003 -x3784 -x2958 -x2750 -x771 -x1123 -x763 -x1147 -x9 -x541 -x1359 -x2657 -x2755 -x4447 -x4889 -x6317 -x6663 -x3522 -x3589 -x5163 -x7001 -x449 -x525 -x2779 -x3581 -x2089 -x913 -x1623 -x2895 -x4695 -x4985 -x6437 -x6823 -x3729 -x5323 -x7097 -x813 -x877 -x2903 -x3705 -x2337 -x185 -x517 -x2775 -x4515 -x6697 -x3479 -x3577 -x5197 -x547 -x2767 -x3601 -x901 -x2915 -x5019 -x6505 -x3717 -x7131 -x911 -x2891 -x3725 -x679 -x2731 -x4947 -x6377 -x7059 -x669 -x1051 -x4755 -x6881 -x5381 -x1021 -x337 -x645 -x4567 -x6751 -x5251 -x681 -x1029 -x5073 -x6557 -x7185 -x1045 -x2663 -x4452 -x4859 -x6322 -x2094 -x6971 -x447 -x1364 -x4700 -x6442 -x6793 -x2342 -x5293 -x819 -x1628 -x181 -x4512 -x3477 -x6502 -x6374 -x4752 -x349 -x4572 -x6562 -x1368 -x6254 -x2082 -x1616 -x4632 -x2346 -x6257 -x2085 -x1371 -x4635 -x2349 -x1619 -x2689 -x4480 -x4911 -x7023 -x477 -x6470 -x6845 -x5345 -x849 -x221 -x6715 -x3503 -x5215 -x5037 -x7149 -x4965 -x7077 -x6899 -x5399 -x389 -x6773 -x5273 -x5095 -x7207 -x2687 -x4483 -x483 -x6473 -x847 -x233 -x3509 -x385 -x6285 -x4663 -x6290 -x4668 -x11 -x542 -x2658 -x2758 -x4514 -x4890 -x6256 -x6664 -x3523 -x3591 -x2084 -x5164 -x7002 -x450 -x530 -x1370 -x2781 -x3584 -x914 -x2898 -x4634 -x4986 -x6504 -x6824 -x3731 -x2348 -x5324 -x7098 -x814 -x882 -x1618 -x2905 -x3708 -x187 -x522 -x2777 -x6324 -x6698 -x3480 -x3580 -x5198 -x548 -x2770 -x3603 -x906 -x2917 -x4702 -x5020 -x3720 -x7132 -x912 -x2894 -x3727 -x680 -x2732 -x4574 -x4948 -x7060 -x674 -x1052 -x6564 -x6882 -x5382 -x1026 -x339 -x650 -x6376 -x6752 -x5252 -x682 -x1034 -x4754 -x5074 -x7186 -x1046 -x1373 -x2664 -x4517 -x4860 -x6259 -x6972 -x448 -x2087 -x1621 -x4637 -x6507 -x6794 -x5294 -x820 -x2351 -x183 -x6319 -x3478 -x4697 -x4569 -x6559 -x351 -x6379 -x4757 -x4449 -x2091 -x1361 -x6439 -x2339 -x1625 -x1366 -x4454 -x2096 -x1630 -x6444 -x2344 -x2690 -x4912 -x6287 -x7024 -x478 -x4665 -x6846 -x5346 -x850 -x223 -x6716 -x3504 -x5216 -x5038 -x7150 -x4966 -x7078 -x6900 -x5400 -x391 -x6774 -x5274 -x5096 -x7208 -x2688 -x6292 -x484 -x4670 -x848 -x235 -x3510 -x387 -x4482 -x6472 -x4485 -x6475 -x17 -x157 -x193 -x465 -x569 -x1163 -x1215 -x1407 -x1437 -x2621 -x2708 -x2851 -x3061 -x4259 -x4343 x4446 -x4471 -x4543 -x4867 -x4903 -x5455 -x5505 -x5637 -x6165 -x6273 -x6345 -x6675 -x6711 -x7253 -x7327 -x7438 -x3447 -x3483 -x3623 -x3875 -x3937 -x5755 -x5829 -x5940 -x7569 -x7619 -x7751 -x1945 -x2121 -x2241 -x3253 -x3315 -x5175 -x5211 -x5696 -x6979 -x7015 -x7507 -x4075 -x6009 -x7810 -x443 -x471 -x575 -x1403 -x1523 -x2806 -x3121 -x4361 -x5451 -x6067 -x6157 -x7265 -x3670 -x5767 -x7565 -x2133 -x2160 -x4135 -x835 -x939 -x1667 -x1694 -x2984 -x4651 -x4723 -x4997 -x5033 -x5569 -x5652 x6436 -x6461 -x6533 -x6801 -x6837 -x7359 -x7463 -x3756 -x3995 -x5861 -x5965 -x7683 -x7766 -x2381 -x2501 -x3373 -x5301 -x5337 -x5721 -x7109 -x7145 -x7522 -x6024 -x7835 -x809 -x837 -x941 -x1655 -x1775 -x2937 -x3175 -x3801 -x2385 -x2415 -x4189 -x149 -x574 -x1224 -x1521 -x2633 -x2669 -x2805 -x3059 -x4360 -x4541 -x4906 -x5449 -x5632 -x6153 -x6351 -x6710 -x7263 -x7312 -x3443 -x3881 -x5765 -x5814 -x7563 -x7746 -x1941 -x3259 -x5210 -x7018 -x7502 -x4073 -x6004 -x572 -x4355 -x5461 -x6168 -x7259 -x3624 -x5761 -x7575 -x2247 -x944 -x1781 -x2938 -x4729 -x5032 -x5554 -x6531 -x6840 -x7458 -x5960 -x7668 -x5340 -x5716 -x7144 -x7830 -x938 -x3755 -x2499 -x319 -x361 -x706 -x1315 -x3143 -x4419 -x4601 -x4960 -x5539 -x6238 -x6403 -x6768 -x7447 -x3553 -x3693 -x5949 -x7653 -x2042 -x2323 -x5268 -x5705 -x7072 -x4157 -x7819 -x712 -x1605 -x2876 -x4434 -x6233 -x3963 -x3341 -x1076 -x3201 -x4781 -x5090 -x5661 -x6591 -x6894 -x7393 -x3826 -x5895 -x7775 -x2583 -x5394 -x7202 -x7531 -x4215 -x6033 -x1078 -x1857 -x3007 -x4017 -x3395 -x301 -x709 -x1319 -x1599 -x4431 -x4595 -x4961 -x6221 -x6405 -x6765 -x2033 -x5265 -x7073 -x707 -x4423 -x6239 -x2325 -x1079 -x1859 -x4783 -x5087 -x6585 -x6895 -x5395 -x7199 -x1073 -x2577 -x159 -x205 -x468 -x1406 -x1526 -x2626 -x2852 -x3122 -x4262 -x4473 -x4546 -x4870 -x5506 -x6276 -x6347 -x6674 -x7328 -x7443 -x3451 -x3489 -x5830 -x5945 -x7620 -x1886 -x2135 -x5174 -x5701 -x6982 -x4136 -x7815 -x442 -x470 -x1409 -x6066 -x3669 -x3938 -x2124 -x2244 -x3316 -x834 -x1658 -x1778 -x2983 -x3176 -x4654 -x4725 -x4996 -x5570 -x5657 -x6463 -x6536 -x6804 -x7360 -x5862 -x7684 -x7771 -x2387 -x5304 -x7108 -x7527 -x4190 -x6029 -x812 -x840 -x1669 -x3802 -x3996 -x2384 -x2504 -x3374 -x142 -x2629 -x2667 -x4539 -x6350 -x7311 -x3440 -x5813 -x2246 -x1520 -x4728 -x5553 -x6529 -x7667 -x2498 -x1780 -x317 -x357 -x1604 -x4600 -x5540 -x5641 -x6401 -x3694 -x3964 -x7654 -x7755 -x3342 -x7511 -x6013 -x2875 -x3144 -x2322 -x4158 -x1856 -x4779 -x6590 -x7394 -x7467 -x3825 -x4018 -x5896 -x5969 -x3396 -x5725 -x7839 -x3008 -x3202 -x2582 -x4216 -x310 -x4597 -x6408 -x2328 -x1602 -x4786 -x6587 -x2580 -x1862 -x57 -x1411 -x4468 -x5521 -x6277 -x3939 -x7635 -x2126 -x3317 -x1400 -x3119 -x2129 -x4133 -x1663 -x4655 -x6458 -x7375 -x3993 -x5877 -x2378 -x3371 -x1660 -x3177 -x2389 -x4191 -x3145 -x7345 -x5847 -x4159 -x3961 -x3339 -x3199 -x5587 -x7701 -x4213 -x4019 -x3397 -x59 -x1401 -x3120 -x4469 -x5522 -x6279 -x7636 -x2131 -x4134 -x1413 -x3940 -x2127 -x3318 -x1661 -x3178 -x4657 -x6459 -x7376 -x5878 -x2391 -x4192 -x1665 -x3994 -x2379 -x3372 -x7346 -x3962 -x5848 -x3340 -x3146 -x4160 -x5588 -x4020 -x7702 -x3398 -x3200 -x4214 -x245 -x499 -x1255 -x1454 -x2860 -x3089 -x4293 -x4503 -x4924 -x6306 -x6732 -x7335 -x7440 -x3515 -x3903 -x5837 -x5942 -x1982 -x3281 -x5232 -x5698 -x7036 -x4103 -x7812 -x501 -x6097 -x3677 -x2175 -x865 -x1709 -x2991 -x4684 -x5054 -x5577 -x5654 -x6493 -x6858 -x7691 -x7768 -x5358 -x7166 -x7524 -x6026 -x871 -x3810 -x2432 -x1259 -x2693 -x3083 -x4925 -x5634 -x6729 -x3905 -x7748 -x1973 -x3283 -x5229 -x7037 -x7504 -x4097 -x6006 -x5051 -x6859 -x7460 -x5962 -x5359 -x5718 -x7163 -x7832 -x397 -x1347 -x4979 -x5547 -x6787 -x3702 -x7661 -x2077 -x5287 -x7091 -x2883 -x5109 -x6913 -x7401 -x3833 -x5903 -x5413 -x7221 -x3016 -x1356 -x4982 -x6786 -x2073 -x5286 -x7094 -x5108 -x6916 -x5416 -x7220 -x241 -x498 -x2859 -x4292 -x4505 -x6307 -x7336 -x3513 -x5838 -x504 -x6100 -x3678 -x868 -x2992 -x4685 -x5578 -x6495 -x7692 -x870 -x3809 -x2699 -x409 -x5548 -x3701 -x7662 -x2884 -x7402 -x3834 -x5904 -x3015 -x89 -x4499 -x5529 -x6309 -x7643 -x4687 -x6489 -x7383 -x5885 -x7353 -x5855 -x5595 -x7709 -x91 -x4502 -x5530 -x6311 -x7644 -x4689 -x6492 -x7384 -x5886 -x7354 -x5856 -x5596 -x7710 -x20 -x158 -x195 -x1223 -x1519 -x2624 -x2709 -x3058 -x4359 -x5448 -x6065 -x6151 -x6252 -x7262 -x3449 -x3484 -x3880 -x5764 -x7562 x1885 -x1939 -x2159 -x3258 -x4072 -x444 -x1438 -x4261 -x4353 -x5460 -x6167 -x7258 -x5760 -x7574 -x2245 -x1779 -x4630 -x2416 -x810 -x1693 -x2497 -x154 -x1221 -x2635 -x2670 -x3064 -x4349 -x5458 -x6166 -x7256 -x3446 -x3878 -x5758 -x7572 -x1946 -x2243 -x3256 -x4078 -x1525 -x4362 -x5454 -x6163 -x7268 -x5770 -x7568 -x2503 -x1777 -x320 -x363 -x1320 -x1601 -x4432 -x6227 -x3554 -x2039 -x4429 -x6240 -x2327 -x1861 -x2579 -x306 -x1313 -x4417 -x6237 -x2041 -x2321 -x1603 -x4433 -x6231 -x2581 -x1855 -x160 -x207 x1164 -x2627 -x6068 -x3453 -x3490 -x2248 -x441 -x1522 -x4260 -x2500 -x811 -x1782 -x145 -x1524 -x2631 -x2668 -x3441 -x2242 -x1776 -x2502 -x318 -x359 -x2326 -x1600 -x2578 -x1860 -x313 -x1606 -x2324 -x1858 -x2584 -x58 -x60 -x247 -x1260 -x3086 -x6099 -x3516 -x3908 -x1979 -x2176 -x3286 -x4100 -x1453 -x4291 -x2431 -x1710 -x1253 -x2694 -x3088 -x3902 -x1981 -x3280 -x4102 -x399 -x1355 -x2071 -x1353 -x2078 -x243 -x6098 -x3514 -x4294 -x2700 -x411 -x90 -x92 -x21 -x2665 -x3526 -x201 -x3487 -x2735 -x353 -x2671 -x197 -x3485 -x365 -x2697 -x237 -x3511 -x405 -x2695 -x249 -x3517 -x401 -x23 -x2666 -x3527 -x203 -x3488 -x2736 -x355 -x2672 -x199 -x3486 -x367 -x2698 -x239 -x3512 -x407 -x2696 -x251 -x3518 -x403 x2 -x5 -x31 -x96 -x178 -x414 -x453 -x557 -x582 x1149 -x1192 -x1376 -x1423 -x1455 -x2606 -x2649 -x2702 -x2772 -x3028 -x3049 -x4231 -x4296 -x4439 -x4456 -x4528 -x4551 -x4861 -x4874 -x4897 -x5431 -x5607 -x6046 -x6109 -x6126 -x6247 -x6266 -x6338 -x6616 -x6669 -x6705 -x7229 -x7405 -x3416 -x3463 x3519 -x3573 -x3838 -x3863 -x5731 -x5907 -x7545 -x7721 -x1876 -x1892 -x1917 -x1926 -x2106 -x2149 -x2193 -x3216 -x3241 -x5116 -x5169 -x5205 -x5663 -x6973 -x6986 -x7009 -x7477 -x4042 -x4063 -x5979 -x7777 -x426 -x459 -x527 -x563 -x1388 -x1429 -x1479 -x2763 -x4244 -x4307 -x4328 -x4818 -x5427 -x5603 -x6041 -x6106 -x7241 -x7417 -x3598 -x5743 -x5919 -x7541 -x7717 -x2102 -x2147 -x2185 -x5675 -x6930 -x7473 -x5975 -x7789 -x786 -x823 -x927 -x966 -x1636 -x1681 -x1719 -x2912 -x4625 -x4644 -x4716 -x4991 -x5027 -x6429 -x6446 -x6518 -x6541 -x6795 -x6808 -x6831 -x3713 -x2366 -x2407 -x2457 -x5295 -x5308 -x5331 -x7103 -x7139 -x790 -x825 -x879 -x929 -x1640 -x1683 -x1727 -x2887 -x3722 -x2354 -x2401 -x2433 -x107 -x128 -x170 -x519 -x562 -x1178 -x1197 -x1208 -x1475 -x2602 -x2647 -x2759 -x3024 -x3047 -x4305 -x4324 -x4534 -x4814 -x4900 -x5425 -x5601 -x6104 -x6336 -x6361 -x6688 -x6704 -x7239 -x7415 -x3428 -x3469 -x3594 -x3850 -x3869 -x5741 -x5917 -x7539 -x7715 -x1916 -x2181 -x3228 -x3247 -x5188 -x5204 -x5673 -x6926 -x7012 -x7471 -x4038 -x4061 -x5973 -x7787 -x560 -x606 -x1467 -x2784 -x4302 -x5437 -x5613 -x6115 -x6138 -x6628 -x7235 -x7411 -x3585 -x5737 -x5913 -x7551 -x7727 -x2205 -x5128 -x5669 -x7483 -x5985 -x7783 -x903 -x932 -x1739 -x2899 -x4714 -x4739 -x5010 -x5026 -x6524 -x6834 -x3734 -x2445 -x5334 -x7122 -x7138 -x926 -x958 -x1715 -x2908 -x3709 -x2453 -x260 -x346 -x694 -x726 -x1290 -x1539 x2728 -x4370 -x4586 -x4611 -x4938 -x4954 -x6183 -x6202 -x6396 -x6644 -x6762 -x3547 -x1996 -x2015 -x2026 -x2277 -x5144 -x5262 -x7050 -x7066 -x671 -x700 -x1563 -x4381 -x4404 -x4846 -x6180 -x2269 -x6958 -x1064 -x1110 -x1803 -x4774 -x5084 -x6576 -x6601 -x6872 -x6888 -x2541 -x5372 -x5388 -x7196 -x1023 -x1066 -x1811 -x2517 -x263 -x280 -x326 -x647 -x697 -x1266 -x1291 -x1300 -x1551 -x4375 -x4392 -x4588 -x4834 -x4955 -x6174 -x6390 -x6413 -x6736 -x6759 -x2010 -x2257 -x5236 -x5259 -x6946 -x7067 -x695 -x734 -x1543 -x4372 -x6185 -x6206 -x6648 -x2281 -x5148 -x1031 -x1067 -x1815 -x4768 -x4791 -x5058 -x5081 -x6578 -x6889 -x2521 -x5389 -x7170 -x7193 -x1061 -x1086 -x1791 -x2529 -x33 -x99 -x190 -x417 -x456 -x610 -x1156 -x1181 -x1390 -x1485 -x2610 -x2652 -x3025 -x4237 -x4457 -x4530 -x4557 -x4824 -x4864 -x5606 -x6052 -x6268 -x6339 -x6668 -x6692 -x7420 -x3419 -x3466 -x3852 -x5922 -x7720 x1873 -x2103 -x2191 -x3230 -x5168 -x5192 -x5678 -x6936 -x6976 -x7476 -x4039 -x5978 -x7792 -x422 -x458 -x1377 -x1461 -x4242 -x5610 -x6039 -x6622 -x7408 -x5910 -x7724 -x2108 -x2199 -x5122 -x5666 -x7480 -x5982 -x7780 -x781 -x822 -x962 -x1642 -x1733 -x4646 -x4717 -x4990 -x5014 -x6447 -x6520 -x6547 -x6798 -x2355 -x2439 -x5298 -x7102 -x7126 -x794 -x828 -x1637 -x1725 -x2368 -x2463 -x101 -x119 -x168 -x1465 -x2597 -x2646 -x3030 -x4531 -x4878 -x5612 -x6334 -x6359 -x6626 -x7410 -x3424 -x3468 -x3839 -x5912 -x7726 -x1895 -x2203 -x3217 -x5126 -x5668 -x6990 -x7482 -x4044 -x5984 -x7782 -x586 -x1473 -x4812 -x5600 -x7414 -x5916 -x7714 -x2179 -x5672 -x6924 -x7470 -x5972 -x7786 -x1713 -x4712 -x4737 -x6521 -x6812 -x2451 -x5312 -x970 -x1737 -x2443 -x255 -x342 -x738 -x1269 -x1561 -x4584 -x4609 -x4844 -x6393 -x6740 -x2267 -x5240 -x6956 -x1537 -x6642 -x2275 -x5142 -x1090 -x1809 -x4771 -x5062 -x6574 -x6599 -x2515 -x7174 -x1801 -x2539 -x265 -x287 -x332 -x1549 -x4589 -x4942 -x6392 -x6419 -x6654 -x1999 -x2287 -x5154 -x7054 -x730 -x1557 -x4840 -x2263 -x6952 -x1797 -x4770 -x4797 -x6579 -x6876 -x2535 -x5376 -x1114 -x1821 -x2527 -x39 -x1379 -x3032 -x4460 -x4882 -x6261 -x3841 -x1899 -x2110 -x3219 -x6994 -x4046 -x590 -x1384 -x2097 -x1631 -x4639 -x6450 -x6816 -x2362 -x5316 -x974 -x1644 -x2357 -x598 -x1169 -x3019 -x6680 -x3846 -x3224 -x5180 -x4033 -x950 -x5002 -x7114 -x4930 -x1987 -x7042 -x718 -x6864 -x5364 -x1102 -x742 -x1273 -x6744 -x5244 -x1094 -x5066 -x7178 -x44 -x1174 -x1386 -x3022 -x4462 -x6264 -x6684 -x3848 -x2100 -x3226 -x5184 -x4036 -x602 -x1382 -x2112 -x1646 -x4642 -x5006 -x6452 -x2360 -x7118 -x954 -x1634 -x2364 -x594 -x3034 -x4886 -x3844 -x1904 -x3222 -x6998 -x4048 -x978 -x6820 -x5320 -x1278 -x6748 -x5248 -x746 -x5070 -x7182 -x1098 -x722 -x4934 -x1992 -x7046 -x1106 -x6868 -x5368 -x61 -x230 -x487 -x638 -x1230 -x1441 -x2679 -x3077 -x4267 -x4487 -x4563 -x4918 -x6082 -x6298 -x6726 -x3493 -x3891 -x1955 -x1966 -x2167 -x3269 -x5226 -x7030 -x4091 -x489 -x1443 -x4272 -x6069 -x2161 -x853 -x990 -x1695 -x4676 -x5048 -x6477 -x6553 -x6852 -x2421 -x5352 -x7160 -x859 -x1701 -x2419 -x210 -x1231 -x1240 -x2673 -x3071 -x4919 -x6365 -x6723 -x3495 -x3893 -x1950 -x3271 -x5223 -x7031 -x4085 -x614 -x4743 -x5045 -x6853 -x5353 -x7157 -x998 -x382 -x766 -x1324 -x4615 -x4973 -x6781 -x2049 -x2058 -x5281 -x7085 -x1118 -x5103 -x6605 -x6907 -x5407 -x7215 -x374 -x1329 -x1340 -x4976 -x6425 -x6780 -x2048 -x5280 -x7088 -x758 -x4803 -x5102 -x6910 -x5410 -x7214 -x1142 -x67 -x226 -x486 -x618 -x2678 -x4265 -x4490 -x4561 -x6080 -x6300 -x3492 -x492 -x4278 -x6075 -x856 -x1002 -x4678 -x6480 -x6551 -x858 -x216 -x2676 -x6371 -x3498 -x642 -x4749 -x994 -x394 -x762 -x4621 -x1146 -x6611 -x372 -x6423 -x770 -x4801 -x1122 -x72 -x4492 -x6294 -x630 -x4672 -x6482 -x982 -x622 -x1006 -x774 -x1126 -x750 -x1134 -x75 -x4494 -x6295 -x626 -x4673 -x6484 -x1010 -x634 -x986 -x754 -x1138 -x778 -x1130 -x8 -x30 -x95 -x180 -x415 -x584 -x1154 -x1196 -x1206 -x1428 -x1472 -x2608 -x2774 -x3046 -x4240 -x4304 -x4322 -x4442 -x4876 -x5424 -x6038 -x6102 x6246 -x6358 -x7238 -x3417 -x3576 -x3868 -x5740 -x7538 -x1872 -x1914 -x2146 -x2178 -x3246 -x6988 -x4060 -x428 -x532 -x1426 -x1464 -x2766 -x4236 -x4300 -x5436 -x6050 -x6114 -x6136 -x7234 -x3600 -x5736 -x7550 -x2152 -x2202 -x787 -x968 -x1686 -x1736 -x2914 x4624 -x4736 -x6432 -x6810 -x3716 -x2404 -x2442 -x5310 -x792 -x884 -x1680 -x1712 -x2890 -x3724 -x2406 -x2450 -x106 -x131 -x524 -x1194 -x1460 -x2603 -x2762 -x3052 -x4298 -x4556 -x5434 -x6112 -x6132 -x6690 -x7232 -x3430 -x3596 -x3866 -x5734 -x7548 -x1920 -x1932 -x2198 -x3244 -x5190 -x4066 -x608 -x1484 -x2786 -x4310 -x4334 -x5430 -x6108 -x7244 -x3588 -x5746 -x7544 -x2190 -x908 -x1724 -x2902 -x5012 -x6546 -x3736 -x2462 -x7124 -x960 -x1732 -x2910 -x3712 -x2438 -x259 -x348 -x728 -x1294 -x1306 -x1556 -x4378 -x4398 -x4940 -x6176 -x6418 -x2012 -x2262 -x7052 -x676 -x1548 -x4374 -x6188 -x6212 -x2286 -x1112 -x1820 -x4796 -x6874 -x2526 -x5374 -x1028 -x1796 -x2534 -x262 -x283 -x652 -x1288 -x1536 -x4368 -x4608 -x6182 -x6200 -x6738 -x2014 -x2024 -x2274 -x5238 -x736 -x1560 -x4380 -x4402 -x6178 -x2266 -x1036 -x1800 -x5060 -x6598 -x2538 -x7172 -x1088 -x1808 -x2514 -x36 -x100 -x192 -x420 -x612 -x1152 -x1470 -x2612 -x4246 -x6044 -x6364 -x6694 -x3422 -x1878 -x2208 -x5194 -x424 -x1478 -x4234 -x6048 -x2184 -x784 -x964 -x1718 -x4742 -x5016 -x2456 -x7128 -x796 -x1742 -x2448 -x104 -x124 -x1482 -x2600 -x4554 -x4880 -x3426 -x2188 -x6992 -x588 -x1458 -x2196 -x1730 -x6544 -x6814 -x2436 -x5314 -x972 -x1722 -x2460 -x256 -x344 -x740 -x1546 -x6416 -x6742 -x2284 -x5242 -x1554 -x2260 -x1092 -x1794 -x4794 -x5064 -x2532 -x7176 -x1818 -x2524 -x268 -x292 -x1566 -x4614 -x4944 -x2272 -x7056 -x732 -x1542 -x2280 -x1814 -x6604 -x6878 -x2520 -x5378 -x1116 -x1806 -x2544 -x40 -x4884 -x6996 -x592 -x6818 -x5318 -x976 -x600 -x6682 -x5182 -x952 -x5004 -x7116 -x4932 -x7044 -x720 -x6866 -x5366 -x1104 -x744 -x6746 -x5246 -x1096 -x5068 -x7180 -x43 -x6686 -x5186 -x604 -x5008 -x7120 -x956 -x596 -x4888 -x7000 -x980 -x6822 -x5322 -x6750 -x5250 -x748 -x5072 -x7184 -x1100 -x724 -x4936 -x7048 -x1108 -x6870 -x5370 -x64 -x232 -x640 -x1234 -x1246 -x1446 -x3074 -x4276 -x6074 -x6370 -x3896 -x1952 -x2164 -x3274 -x4088 -x1440 -x4264 -x6078 -x2166 -x992 -x1700 -x4748 -x2418 -x1698 -x2424 -x1228 -x3076 -x4560 -x3890 -x1954 -x1964 -x3268 -x4090 -x616 -x6550 -x1000 -x384 -x768 -x1328 -x1338 -x6422 -x2046 -x1120 -x4800 -x1326 -x4620 -x2052 -x2064 -x760 -x6610 -x1144 -x66 -x228 -x620 -x4274 -x6072 -x6368 -x4270 -x6084 -x1004 -x4746 -x4566 -x644 -x6556 -x996 -x396 -x764 -x6428 -x1148 -x4806 -x4618 -x772 -x6608 -x1124 -x71 -x632 -x984 -x624 -x1008 -x776 -x1128 -x752 -x1136 -x76 -x628 -x1012 -x636 -x988 -x756 -x1140 -x780 -x1132 -x10 -x2780 -x3582 -x512 -x2756 -x3590 -x2904 -x3706 -x896 -x2896 -x3730 -x186 -x536 -x2768 -x3602 -x2776 -x3578 -x888 -x2892 -x3726 -x2916 -x3718 -x656 -x1040 -x338 -x664 -x1016 -x182 -x350 -x222 -x390 -x234 -x386 -x12 -x2782 -x3583 -x515 -x2757 -x3592 -x2906 -x3707 -x899 -x2897 -x3732 -x188 -x539 -x2769 -x3604 -x2778 -x3579 -x891 -x2893 -x3728 -x2918 -x3719 -x659 -x1043 -x340 -x667 -x1019 -x184 -x352 -x224 -x392 -x236 -x388 x18 -x194 -x467 -x571 -x1216 -x1412 -x2630 -x3057 -x4467 -x4540 -x4869 -x4905 -x5459 -x6158 -x6278 -x6349 -x6673 -x6709 -x7257 -x3439 -x3879 -x5759 -x7573 -x2125 -x3257 -x5173 -x5209 -x6981 -x7017 -x4071 -x469 -x573 -x1399 -x4344 -x5447 -x7261 -x5763 -x7561 -x2130 -x833 -x937 -x1664 -x4656 -x4727 -x4995 -x5031 -x6457 -x6530 -x6803 -x6839 -x2377 -x5303 -x5339 -x7107 -x7143 -x839 -x943 -x1659 -x2390 -x151 -x576 -x2625 -x3063 -x4356 -x4545 -x4904 -x5453 -x6348 -x6712 -x7267 -x3452 -x3877 -x5769 -x7567 -x1942 -x3255 -x5212 -x7016 -x4077 -x570 -x5457 -x6154 -x7255 -x5757 -x7571 -x942 -x4726 -x5034 -x6535 -x6838 -x5338 -x7146 -x940 -x362 -x708 -x1316 -x4598 -x4962 -x6234 -x6407 -x6766 -x5266 -x7074 -x710 -x4420 -x1074 -x4785 -x5088 -x6588 -x6896 -x5396 -x7200 -x1080 -x303 -x711 -x4424 -x4599 -x4959 -x6402 -x6767 -x2034 -x5267 -x7071 -x705 -x6222 -x1077 -x4780 -x5089 -x6589 -x6893 -x5393 -x7201 -x1075 -x206 -x466 -x1402 -x2634 -x4470 -x4542 -x4868 -x6280 -x6352 -x6676 -x3444 -x2132 -x5176 -x6980 -x472 -x1414 -x2128 -x836 -x1662 -x4658 -x4730 -x4998 -x6460 -x6532 -x6802 -x2392 -x5302 -x7110 -x838 -x1666 -x2380 -x144 -x2622 -x4544 -x6346 -x3448 -x4724 -x6534 -x358 -x4596 -x6406 -x4784 -x6586 -x312 -x4602 -x6404 -x4782 -x6592 -x1408 -x4472 -x6274 -x2122 -x1404 -x2134 -x1668 -x4652 -x6462 -x2382 -x1656 -x2386 -x1405 -x4474 -x6275 -x2136 -x1410 -x2123 -x1657 -x4653 -x6464 -x2388 -x1670 -x2383 -x246 -x497 -x1256 -x3085 -x4500 -x4926 -x6310 -x6730 -x3907 -x3285 -x5230 -x7038 -x4099 -x503 -x867 -x4688 -x5052 -x6490 -x6860 -x5360 -x7164 -x869 -x3087 -x4923 -x6731 -x3901 -x1974 -x3279 -x5231 -x7035 -x4101 -x5053 -x6857 -x5357 -x7165 -x398 -x1348 -x4981 -x6785 -x5285 -x7093 -x5107 -x6915 -x5415 -x7219 -x4980 -x6788 -x2074 -x5288 -x7092 -x5110 -x6914 -x5414 -x7222 -x242 -x500 -x4501 -x6312 -x502 -x866 -x4690 -x6491 -x872 -x410 -x4504 -x6305 -x4683 -x6494 -x4506 -x6308 -x4686 -x6496 -x19 -x196 -x2632 -x3062 -x4354 -x5452 -x7266 -x3442 -x3876 -x5768 -x7566 -x1940 -x3254 -x4076 -x5456 -x6152 -x7254 -x5756 -x7570 -x156 -x1222 -x2628 -x3060 -x5462 -x6164 -x7260 -x3454 -x3882 -x5762 -x7576 -x3260 -x4074 -x4350 -x5450 -x7264 -x5766 -x7564 -x364 -x4430 -x2040 -x6228 -x308 -x1314 -x6232 -x4418 -x208 -x2636 -x3445 -x147 -x2623 -x3450 -x360 -x315 -x248 -x3090 -x3904 -x1980 -x3282 -x4104 -x1254 -x3084 -x3906 -x3284 -x4098 -x400 -x2072 -x1354 -x244 -x412 -x22 -x202 -x354 -x198 -x366 -x238 -x406 -x250 -x402 -x24 -x204 -x356 -x200 -x368 -x240 -x408 -x252 -x404 x3 -x139 -x176 -x551 -x1189 -x1214 -x1513 -x2706 -x2717 -x2843 -x2849 -x3097 -x3115 -x3129 -x4340 -x4524 -x4830 -x4895 -x5475 -x5516 -x5519 -x5636 -x6053 -x6119 -x6129 -x6249 -x6269 -x6344 -x6619 -x6671 -x6708 -x7247 -x7423 -x3435 -x3473 -x3521 -x3609 -x3857 -x3873 -x5749 -x5925 -x7589 -x7630 -x7633 -x7750 -x1879 -x1898 -x1923 -x1929 -x2113 -x2153 -x2213 -x3235 -x3251 -x5119 -x5171 -x5208 -x5681 -x6942 -x7007 -x7506 -x4111 -x4129 -x4143 -x6008 -x7795 -x433 -x463 -x533 -x568 -x1395 -x1433 -x1499 -x2799 -x4251 -x4317 -x4331 -x4821 -x5445 -x5621 -x6148 -x6638 -x7283 -x3663 -x3668 -x3935 -x3948 -x5785 -x7559 -x7735 -x2239 -x3313 -x3326 -x5138 -x6933 -x7491 -x5993 -x923 -x1773 -x2977 -x2982 -x3173 -x3186 -x4627 -x4647 -x4722 -x4993 -x5030 -x6514 -x6829 -x7370 -x7373 -x7462 -x3749 -x5872 -x5875 -x5964 -x2373 -x2411 -x2477 -x5329 -x5720 -x7105 -x7142 -x4187 -x4200 -x7834 -x797 -x829 -x885 -x934 -x1647 -x1687 -x1747 -x2923 -x3793 -x3799 -x3989 -x4003 -x2491 -x3367 -x3381 -x111 -x118 -x165 -x509 -x565 -x1168 -x1199 -x1203 -x1487 -x2613 -x2653 -x2787 -x3035 -x3053 -x4311 -x4319 -x4536 -x4809 -x4901 -x5439 -x5615 -x6145 -x6326 -x6635 -x6699 -x7553 -x7729 -x1909 -x1935 -x2233 -x5135 -x5199 -x6921 -x7013 -x7485 -x4049 -x4067 -x5987 -x553 -x1515 -x4341 -x4831 -x6121 -x6133 -x6623 -x7249 -x7425 -x3613 -x5751 -x5927 -x2217 -x5123 -x5683 -x6943 -x7797 -x893 -x935 -x1751 -x2927 -x4704 -x5021 -x6526 -x6835 -x2493 -x5335 -x7133 -x917 -x1767 -x3737 -x2465 -x297 -x335 -x685 -x1283 -x1309 -x1591 -x2730 -x4411 -x4576 -x4853 -x4949 -x6189 -x6197 -x6398 -x6639 -x6763 -x7297 -x7340 -x7343 -x7446 -x3551 -x3562 -x3685 -x3691 -x3919 -x3957 -x3971 -x5799 -x5842 -x5845 -x5948 -x1986 -x2017 -x2021 -x2289 -x3297 -x3335 -x3349 -x5139 -x5263 -x5704 -x6965 -x7061 -x7818 -x661 -x703 -x1575 -x2869 -x2874 -x3141 -x3154 -x4387 -x4399 -x4841 -x5493 -x6219 -x6661 -x7607 -x2317 -x5161 -x6953 -x4155 -x4168 -x1057 -x1851 -x4776 -x5085 -x5582 -x5585 -x5660 -x6566 -x6883 -x3819 -x3824 -x4015 -x4028 -x7696 -x7699 -x7774 -x2553 -x3393 -x3406 -x5383 -x7197 -x7530 -x6032 -x1013 -x1069 -x1823 -x2999 -x3005 -x3195 -x3209 -x2569 -x4209 -x4223 -x275 -x286 -x329 -x653 -x702 -x1272 -x1297 -x1303 -x1571 -x4385 -x4395 -x4594 -x4837 -x4958 -x6218 -x6386 -x6660 -x6757 -x2007 -x2032 -x2315 -x5160 -x5257 -x6949 -x7070 -x691 -x1597 -x4414 -x4856 -x6195 -x6209 -x6651 -x2301 -x5151 -x6968 -x1037 -x1072 -x1835 -x4764 -x5079 -x6584 -x6892 -x2575 -x5392 -x7191 -x1055 -x1849 -x2549 -x137 -x175 -x1159 -x1171 -x1397 -x1497 -x2718 -x2845 -x2850 -x3037 -x4519 -x4819 -x4866 -x5478 -x5520 -x5620 -x6059 -x6271 -x6341 -x6637 -x7442 -x3431 -x3472 -x3916 -x3936 -x5944 -x7592 -x7634 -x7734 -x1910 -x2238 -x3294 -x3314 -x5137 -x5700 -x6931 -x6978 -x7490 -x4051 -x5992 -x7814 -x429 -x462 -x1512 -x3116 -x4249 -x4829 -x6617 -x7282 -x7422 -x3661 -x3667 -x5784 -x5924 -x2115 -x2211 -x5117 -x5680 -x6941 -x4130 -x7794 -x1649 -x1745 -x2975 -x2981 -x4649 -x4719 -x5656 -x6509 -x6800 -x7374 -x3990 -x5876 -x7770 -x2490 -x3368 -x5300 -x7526 -x6028 -x801 -x832 -x1772 -x3174 -x3795 -x3800 -x2375 -x2475 -x4188 -x113 -x125 -x171 -x1190 -x1518 -x2617 -x2656 -x4537 -x4832 -x6329 -x6629 -x7428 -x3859 -x5930 -x1901 -x2223 -x3237 -x5129 -x5686 -x6944 -x7800 -x1493 -x4815 -x5618 -x6636 -x7732 -x2236 -x5136 -x6927 -x7488 -x5990 -x1770 -x4707 -x6527 -x2471 -x1757 -x2496 -x299 -x336 -x1275 -x1581 -x3102 -x3142 -x4579 -x4847 -x5640 -x6399 -x6662 -x7300 -x7344 -x3563 -x3687 -x3692 -x5802 -x5846 -x7754 -x2008 -x2320 -x5162 -x6959 -x7510 -x4116 -x4156 -x6012 -x1594 -x2867 -x2873 -x4854 -x5492 -x6645 -x3958 -x7606 -x2295 -x3336 -x5145 -x6966 -x1829 -x3196 -x4777 -x5586 -x6569 -x7466 -x3817 -x3823 -x5968 -x7700 -x2572 -x5724 -x4210 -x7838 -x1854 -x3001 -x3006 -x4016 -x2559 -x3394 -x269 -x277 -x327 -x1284 -x1596 -x4591 -x4855 -x6381 -x6649 -x1989 -x2299 -x5149 -x6967 -x1569 -x4835 -x6659 -x2314 -x5159 -x6947 -x1848 -x4759 -x6581 -x2547 -x1833 -x2574 -x45 -x1187 -x3117 -x4463 -x7325 -x3534 -x3853 -x5827 -x1889 -x2117 -x3231 -x4131 -x1391 -x3933 -x3311 -x3171 -x5567 -x6453 -x7681 -x2369 -x4185 -x1651 -x3991 -x3369 -x1175 -x3039 -x1911 -x4053 -x1285 -x2743 -x5537 -x3959 -x7651 -x1993 -x3337 -x3139 -x4153 -x7391 -x4013 -x5893 -x3391 -x3197 -x4211 -x1263 -x2005 -x50 -x1180 -x1393 -x3041 -x4465 -x7326 -x3537 -x3934 -x5828 -x1912 -x3312 -x4055 -x3118 -x2119 -x4132 -x1653 -x5568 -x6455 -x3992 -x7682 -x3370 -x3172 -x2371 -x4186 -x1188 -x3855 -x1894 -x3233 -x1268 -x2746 -x3140 -x5538 -x7652 -x2006 -x4154 -x3960 -x3338 -x3198 -x7392 -x5894 -x4212 -x4014 -x3392 -x1286 -x1998 -x219 -x1249 -x2724 -x2858 -x3134 -x4913 -x5485 -x5527 -x6089 -x6301 -x6727 -x3499 -x3897 -x7599 -x7641 -x1957 -x1961 -x2171 -x3275 -x5227 -x7025 -x4148 -x493 -x1447 -x4279 -x7289 -x3675 -x3951 -x5791 -x3329 -x2989 -x3189 -x4679 -x5049 -x6847 -x7381 -x5883 -x2425 -x5347 -x7161 -x4203 -x863 -x1705 -x3808 -x4008 -x3386 -x213 -x1237 -x1243 -x2683 -x3081 -x4922 -x6721 -x1972 -x5221 -x7034 -x4095 -x5043 -x6856 -x5356 -x7155 -x380 -x1346 -x4971 -x6784 -x7307 -x7351 -x3569 -x3700 -x3976 -x5809 -x5853 -x2055 -x2061 -x3354 -x5284 -x7083 -x2881 -x3157 -x5499 -x7613 -x4171 -x5106 -x5593 -x6905 -x3831 -x4031 -x7707 -x3409 -x5405 -x7218 -x3014 -x3214 -x4228 -x369 -x1331 -x1335 -x4977 -x6775 -x2067 -x5275 -x7089 -x5097 -x6911 -x5411 -x7209 -x220 -x2727 -x2857 -x5484 -x5528 -x6087 -x6303 -x3502 -x7598 -x7642 -x496 -x4285 -x7292 -x3676 -x5794 -x2990 -x4681 -x7382 -x5884 -x862 -x3807 -x211 -x2682 -x379 -x7306 -x7352 -x3572 -x3699 -x5808 -x5854 -x2882 -x5502 -x7616 -x5594 -x3832 -x7708 -x3013 -x375 -x78 -x4495 -x7333 -x3543 -x5835 -x5575 -x6485 -x7689 -x2752 -x5545 -x7659 -x7399 -x5901 -x81 -x4497 -x7334 -x3544 -x5836 -x5576 -x6487 -x7690 -x2753 -x5546 -x7660 -x7400 -x5902 -x140 -x552 -x1157 -x1202 -x1209 -x1432 -x1492 -x2707 -x2716 -x2844 -x3056 -x4247 -x4314 -x4325 -x4444 -x4896 -x5442 -x6146 -x6331 -x7281 -x7322 -x3437 -x3611 -x3915 -x3947 -x5783 -x5824 -x7556 -x1936 -x2235 -x3293 -x3325 -x7008 -x4070 -x435 -x538 -x1517 -x2801 -x3130 -x4342 -x5477 -x6057 -x6124 -x6139 -x7252 -x3664 -x5754 -x7591 -x2156 -x2222 -x4144 -x924 -x1690 -x1756 -x2978 -x4709 -x5564 -x6434 -x6830 -x3751 -x4004 -x7678 -x2495 -x3382 -x5330 -x799 -x890 -x1769 -x2925 -x3185 -x3794 -x2410 -x2470 -x4199 -x110 -x121 -x514 -x1213 -x1511 -x2615 -x2789 -x4339 -x4521 -x6118 -x6127 -x6700 -x7246 -x3872 -x5748 -x1922 -x1927 -x2210 -x3250 -x5200 -x554 -x1496 -x4316 -x4329 -x5444 -x6147 -x3615 -x7558 -x2237 -x898 -x1771 -x2929 -x5022 -x6511 -x2474 -x7134 -x918 -x1744 -x3739 -x2489 -x298 -x686 -x1296 -x1301 -x1568 -x3101 -x3153 -x4384 -x4393 -x4950 -x5491 -x5534 -x6217 -x6383 -x3552 -x3561 -x3686 -x7605 -x7648 -x2031 -x2313 -x7062 -x4115 -x4167 -x666 -x1595 -x2870 -x4413 -x6194 -x6207 -x7299 -x3972 -x5801 -x2298 -x3350 -x1058 -x1832 -x3210 -x4761 -x6884 -x7388 -x3820 -x5890 -x2573 -x5384 -x4224 -x1018 -x1847 -x3000 -x4027 -x2546 -x3405 -x274 -x289 -x658 -x1310 -x1593 -x4412 -x4581 -x6192 -x6203 -x6758 -x2020 -x2027 -x2294 -x5258 -x692 -x1580 -x4390 -x4405 -x6220 -x2319 -x1042 -x1853 -x5080 -x6571 -x2558 -x7192 -x1056 -x1828 -x2571 -x138 -x1516 -x2719 -x2846 -x3098 -x4253 -x6328 -x7284 -x3433 -x5786 -x1881 -x2220 -x4112 -x431 -x1490 -x5476 -x6055 -x3662 -x7590 -x2234 -x1768 -x2976 -x4706 -x2468 -x803 -x1754 -x3796 -x2494 -x116 -x130 -x1502 -x2619 -x4526 -x2240 -x1514 -x2216 -x1750 -x6516 -x2492 -x1774 -x2480 -x300 -x1598 -x5494 -x6388 -x3564 -x3688 -x3920 -x7608 -x2304 -x3298 -x1574 -x2868 -x7298 -x5800 -x2316 -x1850 -x4766 -x3818 -x2552 -x1838 -x3002 -x2576 -x272 -x282 -x1578 -x4578 -x2318 -x1592 -x2292 -x1826 -x6568 -x2570 -x1852 -x2556 -x46 -x3535 -x2744 -x49 -x3536 -x2745 -x1236 -x1241 -x1450 -x2725 -x3080 -x4283 -x4914 -x7291 -x3952 -x5793 -x1971 -x3330 -x7026 -x4094 -x3133 -x5483 -x6085 -x7597 -x2170 -x4147 -x1704 -x6848 -x4007 -x3385 -x5348 -x3190 -x2428 -x4204 -x1250 -x6722 -x3900 -x1960 -x1967 -x3278 -x5222 -x5044 -x7156 -x1334 -x1341 -x3158 -x4972 -x5501 -x3570 -x7615 -x2068 -x7084 -x4172 -x7305 -x3975 -x5807 -x3353 -x3213 -x6906 -x5406 -x4227 -x4032 -x3410 -x1345 -x6776 -x2054 -x2059 -x5276 -x5098 -x7210 -x2726 -x4281 -x7290 -x5792 -x5486 -x6091 -x7600 -x5500 -x3571 -x7614 -x7308 -x5810 -x77 -x3542 -x2751 -x82 -x3545 -x2754 -x13 -x555 -x4523 -x6701 -x3524 -x3617 -x5201 -x518 -x2791 -x919 -x5023 -x6513 -x3741 -x7135 -x902 -x2931 -x526 -x2795 -x4893 -x6325 -x7005 -x549 -x3605 -x878 -x2919 -x4703 -x6827 -x5327 -x921 -x3745 -x689 -x2733 -x4575 -x6755 -x5255 -x646 -x1053 -x5077 -x6565 -x7189 -x1030 -x670 -x4951 -x6385 -x7063 -x687 -x1022 -x4763 -x6885 -x5385 -x1059 -x4520 -x6510 -x6330 -x4708 -x4580 -x6570 -x6382 -x4760 -x6719 -x5219 -x5041 -x7153 -x4915 -x7027 -x6849 -x5349 -x6777 -x5277 -x5099 -x7211 -x4969 -x7081 -x6903 -x5403 -x15 -x556 -x6332 -x6702 -x3525 -x3619 -x5202 -x521 -x2793 -x920 -x4710 -x5024 -x3743 -x7136 -x905 -x2933 -x529 -x2797 -x4522 -x4894 -x7006 -x550 -x3607 -x881 -x2921 -x6512 -x6828 -x5328 -x922 -x3747 -x690 -x2734 -x6384 -x6756 -x5256 -x649 -x1054 -x4762 -x5078 -x7190 -x1033 -x673 -x4582 -x4952 -x7064 -x688 -x1025 -x6572 -x6886 -x5386 -x1060 -x6327 -x4705 -x4525 -x6515 -x6387 -x4765 -x4577 -x6567 -x6720 -x5220 -x5042 -x7154 -x4916 -x7028 -x6850 -x5350 -x6778 -x5278 -x5100 -x7212 -x4970 -x7082 -x6904 -x5404 -x163 -x1219 -x1419 -x2710 -x2854 -x3067 -x4366 -x4871 -x4908 -x5523 -x6161 -x6281 -x6355 -x7275 -x7444 -x3459 -x3943 -x5777 -x5946 -x7637 -x1948 -x2255 -x3321 -x5702 -x6983 -x7020 -x4081 -x7816 -x473 -x578 -x1529 -x3123 -x4347 -x5465 -x6170 -x3671 -x7579 -x2137 -x4137 -x1671 -x2985 -x4659 -x4733 -x5658 -x6805 -x6842 -x7377 -x3997 -x5879 -x7772 -x2507 -x3375 -x5305 -x5342 -x7528 -x6030 -x843 -x948 -x1789 -x3181 -x3804 -x2397 -x4195 -x141 -x579 -x1225 -x1531 -x2637 -x4351 -x4547 -x5467 -x6171 -x6713 -x3883 -x7581 -x1937 -x3261 -x5213 -x4363 -x6149 -x7269 -x5771 -x2249 -x945 -x1783 -x5035 -x6537 -x7147 -x2509 -x321 -x1311 -x3149 -x4437 -x4963 -x5642 -x6229 -x6409 -x7347 -x3555 -x3696 -x5849 -x7756 -x2043 -x2333 -x7075 -x7512 -x4163 -x6014 -x713 -x1607 -x2877 -x4415 -x6241 -x3965 -x3343 -x3203 -x4787 -x5589 -x6897 -x7468 -x3827 -x5970 -x7703 -x2585 -x5397 -x5726 -x4217 -x7840 -x1083 -x1867 -x3010 -x4023 -x3401 -x309 -x716 -x1322 -x1613 -x4427 -x4605 -x6244 -x6770 -x2037 -x5270 -x4436 -x6225 -x2331 -x1082 -x1865 -x5092 -x6595 -x7204 -x2591 -x161 -x1528 -x2853 -x3124 -x5524 -x5638 -x6283 -x6354 -x6678 -x3455 -x7638 -x7752 -x2139 -x5178 -x7508 -x4138 -x6010 -x476 -x1421 -x3672 -x3944 -x2254 -x3322 -x1788 -x2986 -x3182 -x4661 -x4732 -x5000 -x7378 -x7464 -x5880 -x5966 -x2399 -x5722 -x7112 -x4196 -x7836 -x842 -x1673 -x3803 -x3998 -x2506 -x3376 -x150 -x2641 -x4550 -x2252 -x1534 -x6540 -x2512 -x1786 -x323 -x1610 -x6412 -x7348 -x7448 -x3695 -x3966 -x5850 -x5950 -x3344 -x5706 -x7820 -x2878 -x3150 -x2336 -x4164 -x1870 -x4790 -x5590 -x5662 -x3828 -x4024 -x7704 -x7776 -x3402 -x7532 -x6034 -x3009 -x3204 -x2588 -x4218 -x302 -x4604 -x2330 -x1612 -x6594 -x2590 -x1864 -x1415 -x4475 -x7329 -x3941 -x5831 -x3319 -x3125 -x2141 -x4139 -x1675 -x5571 -x6465 -x3999 -x7685 -x3377 -x3179 -x2393 -x4193 -x3147 -x5541 -x7655 -x4161 -x3967 -x3345 -x3205 -x7395 -x5897 -x4219 -x4021 -x3399 -x3126 -x4477 -x7330 -x5832 -x2143 -x4140 -x1417 -x3942 -x3320 -x3180 -x5572 -x6467 -x7686 -x2395 -x4194 -x1677 -x4000 -x3378 -x5542 -x3968 -x7656 -x3346 -x3148 -x4162 -x7396 -x4022 -x5898 -x3400 -x3206 -x4220 -x1251 -x2861 -x3091 -x4927 -x5531 -x6313 -x7645 -x1983 -x7039 -x4105 -x507 -x3680 -x2994 -x4691 -x6861 -x7385 -x5887 -x5361 -x873 -x3811 -x1262 -x6734 -x3911 -x1977 -x3289 -x5234 -x5056 -x7168 -x1351 -x4984 -x7355 -x3703 -x5857 -x2080 -x7096 -x2886 -x5597 -x6918 -x3836 -x7711 -x5418 -x3017 -x1357 -x6789 -x2069 -x5289 -x5111 -x7223 -x2862 -x5532 -x6315 -x7646 -x506 -x3679 -x2993 -x4693 -x7386 -x5888 -x876 -x3812 -x7356 -x3704 -x5858 -x2885 -x5598 -x3835 -x7712 -x3018 -x4507 -x7337 -x5839 -x5579 -x6497 -x7693 -x5549 -x7663 -x7403 -x5905 -x4509 -x7338 -x5840 -x5580 -x6499 -x7694 -x5550 -x7664 -x7404 -x5906 -x164 -x1226 -x1533 -x2711 -x4357 -x5470 -x6172 -x3461 -x3886 -x7584 -x1943 -x3264 -x4364 -x6155 -x7272 -x5774 -x2251 -x1785 -x2511 -x146 -x1217 -x2639 -x3066 -x4365 -x6159 -x7274 -x5776 -x1947 -x2253 -x4080 -x1527 -x4345 -x5464 -x6169 -x7578 -x2505 -x1787 -x322 -x1321 -x1611 -x4425 -x6243 -x3556 -x2035 -x4435 -x6223 -x2329 -x1863 -x2589 -x314 -x1317 -x4438 -x6235 -x2044 -x2335 -x1609 -x4421 -x6242 -x2587 -x1869 -x162 -x3457 -x2250 -x1532 -x2510 -x1784 -x153 -x1530 -x2643 -x2256 -x1790 -x2508 -x324 -x2332 -x1614 -x2592 -x1866 -x305 -x1608 -x2334 -x1868 -x2586 -x1261 -x3910 -x1975 -x3288 -x1257 -x3094 -x1984 -x4108 -x1358 -x2075 -x1349 -x2079 -x25 -x3528 -x2737 -x27 -x3529 -x2738 x4 -x2618 -x2655 -x2703 -x2800 -x3040 -x3055 -x4252 -x4318 -x4332 -x4443 -x4464 -x4538 -x4822 -x4865 -x4902 -x7251 -x7427 -x5753 -x5929 -x1880 -x1900 -x1924 -x1930 -x2118 -x2155 -x2221 -x5685 -x6934 -x6977 -x7014 -x4054 -x4069 -x7799 -x430 -x461 -x520 -x566 -x1392 -x1431 -x1491 -x5441 -x5617 -x6054 -x6120 -x6130 -x6620 -x3610 -x7555 -x7731 -x5120 -x7487 -x5989 -x2924 -x6433 -x6454 -x6528 -x6799 -x6836 -x2370 -x2409 -x2469 -x5299 -x5336 -x802 -x831 -x904 -x936 -x1652 -x1689 -x1755 -x3750 -x112 -x120 -x166 -x528 -x567 -x1170 -x1200 -x1204 -x1495 -x5443 -x5619 -x6122 -x6134 -x6342 -x6624 -x6707 -x3432 -x3471 -x3614 -x3854 -x3871 -x7557 -x7733 -x3232 -x3249 -x5124 -x5207 -x7489 -x5991 -x2788 -x4312 -x4320 -x4810 -x7245 -x7421 -x5747 -x5923 -x2209 -x5679 -x6922 -x7793 -x880 -x933 -x1743 -x4720 -x5029 -x3738 -x7141 -x2928 -x2473 -x4388 -x4400 -x4592 -x4842 -x4957 -x3548 -x1988 -x2018 -x2022 -x2297 -x6954 -x7069 -x648 -x701 -x1567 -x6190 -x6198 -x6640 -x5140 -x6582 -x6891 -x2545 -x5391 -x1032 -x1071 -x1831 -x276 -x288 -x330 -x672 -x704 -x1274 -x1298 -x1304 -x1579 -x6196 -x6210 -x6400 -x6652 -x6764 -x5152 -x5264 -x4386 -x4396 -x4838 -x2293 -x6950 -x1024 -x1070 -x1827 -x4778 -x5086 -x7198 -x2557 -x1160 -x1173 -x1394 -x1489 -x2614 -x2654 -x4250 -x4466 -x4535 -x5616 -x6618 -x6672 -x3856 -x7730 -x3234 -x5118 -x5172 -x7486 -x5988 -x434 -x464 -x4820 -x6060 -x7426 -x5928 -x2120 -x2219 -x5684 -x6932 -x7798 -x1654 -x1753 -x4994 -x6456 -x6525 -x7106 -x798 -x830 -x2372 -x2467 -x114 -x127 -x172 -x3042 -x4816 -x6343 -x7424 -x3436 -x3474 -x5926 -x1903 -x2215 -x5682 -x6928 -x4056 -x7796 -x1501 -x5622 -x6630 -x7736 -x5130 -x7492 -x5994 -x4721 -x2479 -x1749 -x1277 -x1573 -x4593 -x6646 -x5146 -x4848 -x2303 -x6960 -x1837 -x6583 -x2551 -x270 -x279 -x328 -x4836 -x6397 -x1991 -x2291 -x6948 -x1577 -x6650 -x5150 -x4775 -x2555 -x1825 -x47 -x3036 -x6270 -x1891 -x2114 -x4050 -x1396 -x4648 -x2374 -x1648 -x1177 -x3858 -x3236 -x1995 -x1265 -x52 -x1182 -x1398 -x6272 -x3860 -x3238 -x2116 -x1650 -x4650 -x2376 -x3038 -x1896 -x4052 -x1270 -x2000 -x2681 -x3079 -x4280 -x4496 -x4921 -x1958 -x1962 -x2169 -x7033 -x4093 -x495 -x1449 -x6090 -x6486 -x6855 -x2427 -x5355 -x861 -x1703 -x214 -x1238 -x1244 -x6728 -x3501 -x3899 -x3277 -x5228 -x5050 -x7162 -x4978 -x2056 -x2062 -x7090 -x6912 -x5412 -x370 -x1332 -x1336 -x6783 -x5283 -x5105 -x7217 -x2684 -x4286 -x4498 -x494 -x6088 -x6488 -x864 -x212 -x3500 -x376 -x80 -x6302 -x4680 -x83 -x6304 -x4682 -x1158 -x1201 -x1210 -x1434 -x1500 -x2620 -x2802 -x5446 -x6058 -x6123 -x6140 -x6250 -x3874 -x7560 -x3252 -x432 -x523 -x4248 -x4313 -x4326 -x7248 -x3612 -x5750 -x2154 -x2214 -x1688 -x1748 -x2926 -x4628 -x804 -x907 -x3752 -x2412 -x2478 -x109 -x123 -x531 -x3054 -x4315 -x4330 -x7250 -x3434 -x3616 -x5752 -x1921 -x1928 -x2218 -x4068 -x1488 -x2790 -x5440 -x6117 -x6128 -x7554 -x883 -x3740 -x2466 -x1752 -x2930 -x1295 -x1302 -x1576 -x6193 -x6208 -x651 -x4383 -x4394 -x2290 -x1824 -x1035 -x2554 -x273 -x291 -x675 -x4389 -x4406 -x2019 -x2028 -x2302 -x1572 -x6191 -x6204 -x1027 -x2550 -x1836 -x2616 -x6056 -x1882 -x2212 -x436 -x1498 -x4254 -x2476 -x800 -x1746 -x115 -x132 -x1494 -x3438 -x2224 -x1758 -x2472 -x2296 -x1582 -x2560 -x1830 -x271 -x284 -x1570 -x2300 -x1834 -x2548 -x48 -x51 -x1235 -x1242 -x1448 -x6086 -x3898 -x3276 -x4284 -x2172 -x1706 -x2426 -x3082 -x1959 -x1968 -x4096 -x1333 -x1342 -x2053 -x2060 -x6092 -x4282 -x79 -x84 -x14 -x2792 -x535 -x3618 -x2932 -x887 -x3742 -x511 -x3606 -x2796 -x895 -x3746 -x2920 -x663 -x1015 -x655 -x1039 -x16 -x2794 -x540 -x3620 -x2934 -x892 -x3744 -x516 -x3608 -x2798 -x900 -x3748 -x2922 -x668 -x1020 -x660 -x1044 -x1220 -x1416 -x2642 -x4348 -x4476 -x4549 -x6677 -x6714 -x7271 -x3885 -x5773 -x3263 -x5177 -x5214 -x475 -x580 -x5469 -x6162 -x7583 -x2142 -x1676 -x4999 -x5036 -x6466 -x6539 -x7111 -x7148 -x841 -x946 -x2394 -x143 -x577 -x3065 -x4907 -x5463 -x6150 -x6353 -x3456 -x7577 -x1938 -x7019 -x4079 -x4352 -x7273 -x5775 -x947 -x4731 -x6841 -x5341 -x1312 -x4416 -x4603 -x6769 -x5269 -x715 -x6230 -x5091 -x6593 -x7203 -x1081 -x311 -x714 -x4964 -x6226 -x6411 -x2038 -x7076 -x4428 -x1084 -x4789 -x6898 -x5398 -x2638 -x4478 -x4548 -x4872 -x2144 -x6984 -x474 -x1418 -x6468 -x6538 -x6806 -x2396 -x5306 -x844 -x1678 -x152 -x6356 -x3460 -x4734 -x4606 -x6596 -x304 -x6410 -x4788 -x1420 -x6282 -x2138 -x1672 -x4660 -x2398 -x6284 -x2140 -x1422 -x4662 -x2400 -x1674 -x1252 -x4508 -x6733 -x3909 -x3287 -x5233 -x505 -x5055 -x6498 -x7167 -x875 -x3093 -x4928 -x1978 -x7040 -x4107 -x6862 -x5362 -x1352 -x6790 -x5290 -x5112 -x7224 -x4983 -x2070 -x7095 -x6917 -x5417 -x4510 -x508 -x6500 -x874 -x6314 -x4692 -x6316 -x4694 -x2644 -x3068 -x5466 -x6156 -x7580 -x1944 -x4082 -x4358 -x7276 -x5778 -x148 -x1218 -x4346 -x7270 -x3458 -x3884 -x5772 -x3262 -x5468 -x6160 -x7582 -x6224 -x2036 -x4426 -x316 -x1318 -x4422 -x6236 -x2640 -x155 -x3462 -x307 -x3092 -x1976 -x4106 -x1258 -x3912 -x3290 -x2076 -x1350 -x26 -x28

Verifier Data 

OK	42

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: 63968 MiB (62680 MiB free)
  memory of node 1: 64473 MiB (62779 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431630-1721129104/watcher-4431630-1721129104 -o /tmp/evaluation-result-4431630-1721129104/solver-4431630-1721129104 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721129116-857499 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431630-1721129104.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100187 s]*
/proc/loadavg: 1.88 2.59 3.38 6/258 857560
/proc/meminfo: memFree=128408548/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=94108 memory=14240 CPUtime=0.06 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 2175 0 24 0 6 0 0 0 20 0 1 0 165076579 96366592 3560 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 0 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 23527 3560 1617 46 0 4142 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 104036 KiB
Current children cumulated memory: 17016 KiB

[startup+0.206109 s]*
/proc/loadavg: 1.88 2.59 3.38 5/258 857560
/proc/meminfo: memFree=128331436/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=103868 memory=24072 CPUtime=0.17 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 4689 0 24 0 16 1 0 0 20 0 1 0 165076579 106360832 6018 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 0 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 25967 6018 1617 46 0 6582 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 113796 KiB
Current children cumulated memory: 26848 KiB

[startup+0.305812 s]*
/proc/loadavg: 1.88 2.59 3.38 6/258 857560
/proc/meminfo: memFree=128259308/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=113356 memory=33440 CPUtime=0.26 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 7141 0 24 0 25 1 0 0 20 0 1 0 165076579 116076544 8360 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 0 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 28339 8360 1617 46 0 8954 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 123284 KiB
Current children cumulated memory: 36216 KiB

[startup+0.700253 s]
/proc/loadavg: 1.88 2.59 3.38 6/258 857560
/proc/meminfo: memFree=128117592/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=149228 memory=69072 CPUtime=0.66 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 16362 0 24 0 62 4 0 0 20 0 1 0 165076579 152809472 17268 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 0 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 37307 17268 1617 46 0 17922 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 159156 KiB
Current children cumulated memory: 71848 KiB

[startup+1.5002 s]
/proc/loadavg: 1.88 2.59 3.38 5/259 857561
/proc/meminfo: memFree=127777148/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=297040 memory=181888 CPUtime=1.45 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 40513 0 24 0 133 12 0 0 20 0 2 0 165076579 304168960 45472 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 74260 45472 2653 46 0 46855 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 306968 KiB
Current children cumulated memory: 184664 KiB

[startup+3.106 s]
/proc/loadavg: 1.88 2.59 3.38 5/266 857575
/proc/meminfo: memFree=126723284/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=652588 memory=529204 CPUtime=3.06 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 55831 0 24 0 277 29 0 0 20 0 2 0 165076579 668250112 132301 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 163147 132301 2988 46 0 135742 0
[pid=857543/tid=857562] ppid=857537 vsize=652588 memory=0 CPUtime=0 cores=0,2
/proc/857543/task/857562/stat : 857562 (ld-linux-x86-64) S 857537 857537 857489 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 165076690 668250112 132301 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 662516 KiB
Current children cumulated memory: 531980 KiB

[startup+6.3002 s]
/proc/loadavg: 2.05 2.61 3.38 5/266 857575
/proc/meminfo: memFree=126163372/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=908328 memory=566116 CPUtime=6.23 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 102356 0 24 0 579 44 0 0 20 0 2 0 165076579 930127872 141529 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 227082 141529 3349 46 0 199677 0
[pid=857543/tid=857562] ppid=857537 vsize=908328 memory=0 CPUtime=0 cores=0,2
/proc/857543/task/857562/stat : 857562 (ld-linux-x86-64) S 857537 857537 857489 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 2 0 165076690 930127872 141529 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 918256 KiB
Current children cumulated memory: 568892 KiB

[startup+12.7003 s]
/proc/loadavg: 2.29 2.65 3.39 5/266 857577
/proc/meminfo: memFree=125104012/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=910908 memory=571448 CPUtime=12.62 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 124564 0 24 0 1205 57 0 0 20 0 2 0 165076579 932769792 142862 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 227727 142862 3517 46 0 200322 0
[pid=857543/tid=857562] ppid=857537 vsize=910908 memory=11664 CPUtime=0 cores=0,2
/proc/857543/task/857562/stat : 857562 (ld-linux-x86-64) S 857537 857537 857489 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 2 0 165076690 932769792 142862 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 920836 KiB
Current children cumulated memory: 574224 KiB

[startup+25.5003 s]
/proc/loadavg: 2.73 2.74 3.40 5/267 857579
/proc/meminfo: memFree=123459728/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=1815612 memory=1050280 CPUtime=25.37 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 239268 0 24 0 2435 102 0 0 20 0 2 0 165076579 1859186688 262570 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 453903 262570 3936 46 0 426498 0
[pid=857543/tid=857562] ppid=857537 vsize=1815612 memory=2776 CPUtime=0.01 cores=0,2
/proc/857543/task/857562/stat : 857562 (ld-linux-x86-64) S 857537 857537 857489 0 -1 1077936192 16 0 0 0 0 1 0 0 20 0 2 0 165076690 1859186688 262570 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1825540 KiB
Current children cumulated memory: 1053056 KiB

[startup+51.1066 s]
/proc/loadavg: 3.17 2.84 3.42 5/267 857584
/proc/meminfo: memFree=117731832/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=1358900 memory=882528 CPUtime=50.92 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 329150 0 24 0 4959 133 0 0 20 0 2 0 165076579 1391513600 220632 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 339725 220632 3962 46 0 312320 0
[pid=857543/tid=857562] ppid=857537 vsize=1358900 memory=41840 CPUtime=0.04 cores=0,2
/proc/857543/task/857562/stat : 857562 (ld-linux-x86-64) S 857537 857537 857489 0 -1 1077936192 22 0 0 0 1 3 0 0 20 0 2 0 165076690 1391513600 220632 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1368828 KiB
Current children cumulated memory: 885304 KiB

[startup+102.3 s]
/proc/loadavg: 3.68 3.03 3.46 5/267 857641
/proc/meminfo: memFree=117512868/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=1465368 memory=997128 CPUtime=101.98 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 413796 0 24 0 10042 156 0 0 20 0 2 0 165076579 1500536832 249282 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 366342 249282 3963 46 0 338937 0
[pid=857543/tid=857562] ppid=857537 vsize=1465368 memory=997128 CPUtime=0.11 cores=0,2
/proc/857543/task/857562/stat : 857562 (ld-linux-x86-64) S 857537 857537 857489 0 -1 1077936192 34 0 0 0 3 8 0 0 20 0 2 0 165076690 1500536832 249282 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1475296 KiB
Current children cumulated memory: 999904 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 3.26 3.51 5/267 857653
/proc/meminfo: memFree=116679964/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=1450904 memory=995752 CPUtime=161.82 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 485700 0 24 0 16008 174 0 0 20 0 2 0 165076579 1485725696 248938 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 362726 248938 3979 46 0 335321 0
[pid=857543/tid=857562] ppid=857537 vsize=1450904 memory=2776 CPUtime=0.19 cores=0,2
/proc/857543/task/857562/stat : 857562 (ld-linux-x86-64) S 857537 857537 857489 0 -1 1077936192 40 0 0 0 6 13 0 0 20 0 2 0 165076690 1485725696 248938 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0

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

/proc/loadavg: 4.14 4.07 3.88 5/266 858026
/proc/meminfo: memFree=116520076/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=1654820 memory=1174696 CPUtime=939.53 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 800998 0 24 0 93625 328 0 0 20 0 2 0 165076579 1694535680 293674 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 413705 293674 3979 46 0 386300 0
[pid=857543/tid=857562] ppid=857537 vsize=1654820 memory=2776 CPUtime=1.13 cores=0,2
/proc/857543/task/857562/stat : 857562 (ld-linux-x86-64) S 857537 857537 857489 0 -1 1077936192 78 0 0 0 37 76 0 0 20 0 2 0 165076690 1694535680 293674 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
Current children cumulated CPU time: 939.53 s
Current children cumulated vsize: 1664748 KiB
Current children cumulated memory: 1177472 KiB

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

# cumulated CPU time of all completed processes:  user=988.942 s, system=3.47883 s

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

[startup+947.2 s]
/proc/loadavg: 4.13 4.07 3.88 5/265 858026
/proc/meminfo: memFree=116520148/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=1654820 memory=1174700 CPUtime=944.42 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 801503 0 24 0 94113 329 0 0 20 0 2 0 165076579 1694535680 293675 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 413705 293675 3979 46 0 386300 0
[pid=857543/tid=857562] ppid=857537 vsize=1654820 memory=12420 CPUtime=1.14 cores=0,2
/proc/857543/task/857562/stat : 857562 (ld-linux-x86-64) S 857537 857537 857489 0 -1 1077936192 78 0 0 0 38 76 0 0 20 0 2 0 165076690 1694535680 293675 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
Current children cumulated CPU time: 944.42 s
Current children cumulated vsize: 1664748 KiB
Current children cumulated memory: 1177476 KiB

[startup+972.8 s]
/proc/loadavg: 4.17 4.08 3.89 5/265 858030
/proc/meminfo: memFree=116516504/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=1620516 memory=1170452 CPUtime=969.95 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 805674 0 24 0 96657 338 0 0 20 0 2 0 165076579 1659408384 292613 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 405129 292613 3979 46 0 377724 0
[pid=857543/tid=857562] ppid=857537 vsize=1620516 memory=41840 CPUtime=1.17 cores=0,2
/proc/857543/task/857562/stat : 857562 (ld-linux-x86-64) S 857537 857537 857489 0 -1 1077936192 78 0 0 0 38 79 0 0 20 0 2 0 165076690 1659408384 292613 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
Current children cumulated CPU time: 969.95 s
Current children cumulated vsize: 1630444 KiB
Current children cumulated memory: 1173228 KiB

[startup+985.6 s]
/proc/loadavg: 4.13 4.07 3.90 5/265 858033
/proc/meminfo: memFree=116486920/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=1491780 memory=1157916 CPUtime=982.72 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 807259 0 24 0 97931 341 0 0 20 0 2 0 165076579 1527582720 289479 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 372945 289479 3979 46 0 345540 0
[pid=857543/tid=857562] ppid=857537 vsize=1491780 memory=1186796 CPUtime=1.19 cores=0,2
/proc/857543/task/857562/stat : 857562 (ld-linux-x86-64) S 857537 857537 857489 0 -1 1077936192 78 0 0 0 39 80 0 0 20 0 2 0 165076690 1527582720 289479 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
Current children cumulated CPU time: 982.72 s
Current children cumulated vsize: 1501708 KiB
Current children cumulated memory: 1160692 KiB

[startup+992 s]*
/proc/loadavg: 4.12 4.07 3.90 5/265 858035
/proc/meminfo: memFree=116488012/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=1614632 memory=1172764 CPUtime=989.1 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 808525 0 24 0 98567 343 0 0 20 0 2 0 165076579 1653383168 293191 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 403658 293191 3979 46 0 376253 0
[pid=857543/tid=857562] ppid=857537 vsize=1614632 memory=8114253462088489372 CPUtime=1.2 cores=0,2
/proc/857543/task/857562/stat : 857562 (ld-linux-x86-64) S 857537 857537 857489 0 -1 1077936192 81 0 0 0 39 81 0 0 20 0 2 0 165076690 1653383168 293191 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
Current children cumulated CPU time: 989.1 s
Current children cumulated vsize: 1624560 KiB
Current children cumulated memory: 1175540 KiB

[startup+993.6 s]
/proc/loadavg: 4.12 4.07 3.90 5/265 858035
/proc/meminfo: memFree=116446792/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=1654820 memory=1174088 CPUtime=990.7 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 809025 0 24 0 98726 344 0 0 20 0 2 0 165076579 1694535680 293522 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 413705 293522 3979 46 0 386300 0
[pid=857543/tid=857562] ppid=857537 vsize=1654820 memory=2776 CPUtime=1.2 cores=0,2
/proc/857543/task/857562/stat : 857562 (ld-linux-x86-64) S 857537 857537 857489 0 -1 1077936192 81 0 0 0 39 81 0 0 20 0 2 0 165076690 1694535680 293522 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
Current children cumulated CPU time: 990.7 s
Current children cumulated vsize: 1664748 KiB
Current children cumulated memory: 1176864 KiB

[startup+994.4 s]
/proc/loadavg: 4.12 4.07 3.90 5/265 858035
/proc/meminfo: memFree=116446812/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=1654820 memory=1176136 CPUtime=991.49 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 809026 0 24 0 98805 344 0 0 20 0 2 0 165076579 1694535680 294034 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 413705 294034 3979 46 0 386300 0
[pid=857543/tid=857562] ppid=857537 vsize=1654820 memory=4956 CPUtime=1.2 cores=0,2
/proc/857543/task/857562/stat : 857562 (ld-linux-x86-64) S 857537 857537 857489 0 -1 1077936192 81 0 0 0 39 81 0 0 20 0 2 0 165076690 1694535680 294034 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
Current children cumulated CPU time: 991.49 s
Current children cumulated vsize: 1664748 KiB
Current children cumulated memory: 1178912 KiB

[startup+994.8 s]
/proc/loadavg: 4.12 4.07 3.90 5/265 858035
/proc/meminfo: memFree=116446812/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=1614560 memory=1169316 CPUtime=991.89 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 809399 0 24 0 98845 344 0 0 20 0 2 0 165076579 1653309440 292329 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 403640 292329 3979 46 0 376235 0
[pid=857543/tid=857562] ppid=857537 vsize=1614560 memory=4956 CPUtime=1.2 cores=0,2
/proc/857543/task/857562/stat : 857562 (ld-linux-x86-64) S 857537 857537 857489 0 -1 1077936192 81 0 0 0 39 81 0 0 20 0 2 0 165076690 1653309440 292329 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
Current children cumulated CPU time: 991.89 s
Current children cumulated vsize: 1624488 KiB
Current children cumulated memory: 1172092 KiB

[startup+995.2 s]
/proc/loadavg: 4.11 4.07 3.90 5/265 858035
/proc/meminfo: memFree=116542772/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=1491780 memory=1157916 CPUtime=992.28 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 809607 0 24 0 98882 346 0 0 20 0 2 0 165076579 1527582720 289479 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 372945 289479 3979 46 0 345540 0
[pid=857543/tid=857562] ppid=857537 vsize=1491780 memory=2776 CPUtime=1.2 cores=0,2
/proc/857543/task/857562/stat : 857562 (ld-linux-x86-64) S 857537 857537 857489 0 -1 1077936192 81 0 0 0 39 81 0 0 20 0 2 0 165076690 1527582720 289479 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
Current children cumulated CPU time: 992.28 s
Current children cumulated vsize: 1501708 KiB
Current children cumulated memory: 1160692 KiB

[startup+995.3 s]
/proc/loadavg: 4.11 4.07 3.90 5/265 858035
/proc/meminfo: memFree=116542772/131524600 swapFree=131071996/131071996
[pid=857537] ppid=857533 vsize=9928 memory=2776 CPUtime=0 cores=0,2
/proc/857537/stat : 857537 (run-glibc-2.34.) S 857533 857537 857489 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 165076578 10166272 694 134679101440 94640666091520 94640667170840 140722668560048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94640669269296 94640669316484 94640677400576 140722668561355 140722668561500 140722668561500 140722668568515 0
/proc/857537/statm: 2482 694 614 264 0 133 0
[pid=857543] ppid=857537 vsize=1491780 memory=1157916 CPUtime=992.39 cores=0,2
/proc/857543/stat : 857543 (ld-linux-x86-64) R 857537 857537 857489 0 -1 4194304 812605 0 24 0 98892 347 0 0 20 0 2 0 165076579 1527582720 289479 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
/proc/857543/statm: 372945 289479 3979 46 0 345540 0
[pid=857543/tid=857562] ppid=857537 vsize=1491780 memory=1170644 CPUtime=1.2 cores=0,2
/proc/857543/task/857562/stat : 857562 (ld-linux-x86-64) S 857537 857537 857489 0 -1 1077936192 81 0 0 0 39 81 0 0 20 0 2 0 165076690 1527582720 289479 134679101440 140667030290432 140667030478044 140725864305888 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140667032578944 140667032588392 93825014542336 140725864313699 140725864313851 140725864313851 140725864320946 0
Current children cumulated CPU time: 992.39 s
Current children cumulated vsize: 1501708 KiB
Current children cumulated memory: 1160692 KiB

Child status: 0

Real time (s): 995.33
CPU time (s): 992.421
CPU user time (s): 988.942
CPU system time (s): 3.47883
CPU usage (%): 99.7078
Max. virtual memory (cumulated for all children) (KiB): 1985820
Max. memory (cumulated for all children) (KiB): 1231416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 988.942
system time used= 3.47883
maximum resident set size= 1280696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 813867
page faults= 24
swaps= 0
block input operations= 5144
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98605
involuntary context switches= 6952


# summary of solver processes directly reported to runsolver:
#   pid: 857537
#   total CPU time (s): 992.421
#   total CPU user time (s): 988.942
#   total CPU system time (s): 3.47883

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.0662 second user time and 5.12107 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-16 13:25:17
IDJOB=4431630
IDBENCH=155400
IDSOLVER=3056
FILE ID=nodeC026/4431630-1721129104
RUNJOBID= nodeC026-1721129116-857499
SLURM_JOB_ID= 7505694
Free space on /tmp= 889912 MiB

SOLVER NAME= IPBHS-GUROBI 2024-07-09
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_9_shg.opb
COMMAND LINE= run-glibc-2.34.sh ./ipbhs_gurobi BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431630-1721129104/watcher-4431630-1721129104 -o /tmp/evaluation-result-4431630-1721129104/solver-4431630-1721129104 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721129116-857499 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431630-1721129104.opb

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

MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=1800727893

nodeC026.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		: 3596.850
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.74
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		: 3674.649
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	: 7005.45
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		: 3653.970
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.74
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		: 3653.615
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	: 7005.45
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		: 3588.606
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.74
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		: 3644.406
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	: 7005.45
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		: 3647.447
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.74
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		: 3861.271
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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128491544 kB
MemAvailable:   129743152 kB
Buffers:          418568 kB
Cached:          1663872 kB
SwapCached:            0 kB
Active:           762332 kB
Inactive:        1662112 kB
Active(anon):       1456 kB
Inactive(anon):   378600 kB
Active(file):     760876 kB
Inactive(file):  1283512 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            317336 kB
Writeback:             0 kB
AnonPages:        339360 kB
Mapped:           104044 kB
Shmem:             37720 kB
KReclaimable:      94088 kB
Slab:             200068 kB
SReclaimable:      94088 kB
SUnreclaim:       105980 kB
KernelStack:        3856 kB
PageTables:         9668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     635980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62976 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 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:      232148 kB
DirectMap2M:    20512768 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 889224 MiB
End job on nodeC026 at 2024-07-16 13:41:52