Trace number 4427945

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
LS-MabSP 2024-07-10SAT7 2138.37 2145.17

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx75.opb
MD5SUMa11c5c9a015f48f3bddc22713bc48593
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 benchmark7
Best CPU time to get the best result obtained on this benchmark1363.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4977
Total number of constraints5494
Number of constraints which are clauses4970
Number of constraints which are cardinality constraints (but not clauses)76
Number of constraints which are nor clauses,nor cardinality constraints448
Minimum length of a constraint2
Maximum length of a constraint448
Number of terms in the objective function 7
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 7
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 947
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Filename:instance-4427945-1722809650.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00	c Use Presolve
0.10/0.15	c Parse finsih
0.10/0.18	c Start Presolve
0.51/0.56	c After Reduce Vars: 4970 Clauses: 598 Top clause weight: 1 Hard Clauses: 598
1773.67/1779.74	c Use LS-small
2138.30/2145.16	c Use postsolve
2138.30/2145.16	o 7
2138.30/2145.16	s SATISFIABLE
2138.30/2145.16	c Use postsolve
2138.30/2145.16	v x3 x4 x6 x8 x9 x10 x12 -x1533 -x1577 -x1561 -x1331 -x2011 -x2132 -x2111 -x2095 -x367 -x413 -x398 -x320 x1004 -x996 -x983 -x970 -x4062 -x4087 -x4111 -x4124 -x4665 -x4761 -x4783 -x4722 -x2742 -x2763 -x2780 -x2640 -x4269 -x4294 -x4134 -x4154 -x4180 -x4205 -x4020 -x4051 -x4956 -x4975 -x4904 -x4931 -x4843 -x4867 x4806 -x4832 -x2448 -x2446 -x2794 -x2812 -x2826 -x2844 -x2869 -x2891 -x3080 -x3056 -x3039 -x3022 -x3461 -x3484 -x3433 -x3449 -x1669 -x1689 -x1638 -x1645 -x1599 -x1613 -x1306 -x1281 -x2224 -x2244 -x2263 -x2284 -x2141 -x2157 -x2175 -x2196 -x369 -x383 -x475 -x500 -x429 -x458 -x564 -x584 -x73 -x86 -x106 x127 -x1877 -x1819 -x1834 -x1784 -x1371 -x1249 -x1266 -x1289 -x3061 -x3038 -x3018 -x3151 -x2354 -x2420 -x2400 -x2467 -x4429 -x4407 -x4389 -x4367 -x4202 -x3688 -x3669 -x3723 -x1395 -x1505 -x1508 -x1522 -x1952 -x2009 -x1985 -x1975 -x4856 -x4893 -x4919 -x4939 -x4191 -x4122 -x4145 x4258 -x3323 -x3509 -x3533 -x3554 -x2701 -x2638 -x2658 -x2922 -x2183 -x2246 -x2225 -x2293 -x4035 -x1024 -x715 -x147 -x1871 x1309 -x2654 -x2309 -x2307 -x2326 -x2345 -x2367 -x2381 -x2402 -x2426 -x2452 -x2484 -x2506 -x2525 -x2545 -x2562 -x2583 -x2606 -x2625 -x2672 -x2649 -x2720 -x2698 -x2748 -x2735 -x2785 -x2769 -x2809 -x2792 -x2845 -x2829 -x2892 -x2876 -x2930 -x2910 -x2919 -x4440 -x4460 -x4397 -x4420 -x4361 -x4385 -x4316 -x4333 -x4593 -x4613 -x4548 -x4568 -x4506 -x4525 -x4474 -x4498 -x4771 -x4753 -x4732 -x4709 -x4698 -x4678 -x4651 -x4626 -x4973 -x4953 -x4933 -x4906 -x4874 -x4846 -x2929 -x2909 -x2918 -x4439 -x4459 -x4396 -x4419 -x4360 -x4384 -x4315 -x4332 -x4592 -x4612 -x4547 -x4567 -x4505 -x4524 -x4473 -x4497 -x4770 -x4752 -x4731 -x4708 -x4697 -x4677 -x4650 -x4625 -x4972 -x4952 -x4932 -x4905 -x4873 -x4845 -x4827 -x4818 -x4798 -x3680 -x3703 -x3721 -x3738 -x3583 -x3604 -x3635 -x3660 -x3818 -x3837 -x3864 -x3891 -x3747 -x3766 -x3792 -x3812 -x4047 -x4026 -x4099 -x4072 -x3942 -x3919 -x4005 -x3979 -x4243 -x4219 -x4292 -x4268 -x4872 -x4844 -x4826 -x4817 -x4797 -x3679 -x3702 -x3720 -x3737 -x3582 -x3603 -x3634 -x3659 -x3817 -x3836 -x3863 -x3890 -x3746 -x3765 -x3791 -x3811 -x4046 -x4025 -x4098 -x4071 -x3941 -x3918 -x4004 -x3978 -x4242 -x4218 -x4291 -x4267 -x4158 -x4133 -x4118 -x4183 -x4164 -x1551 -x1539 -x1581 -x1563 -x1481 -x1468 -x1521 -x1504 -x1684 -x1665 -x1718 -x1702 -x1626 -x1593 -x1644 -x1630 -x1252 -x1268 -x1288 -x1312 -x1165 -x1189 -x1208 -x1230 -x1382 -x1401 -x4290 -x4266 -x4157 -x4132 -x4117 -x4182 -x4163 -x1550 -x1538 -x1580 -x1562 -x1480 -x1467 -x1520 -x1503 -x1683 -x1664 -x1717 -x1701 -x1625 -x1592 -x1643 -x1629 -x1251 -x1267 -x1287 -x1311 -x1164 -x1188 -x1207 -x1229 -x1381 -x1400 -x1425 -x1442 -x1320 -x1325 -x1344 -x1357 -x1376 -x2124 -x2107 -x2089 -x2070 -x2059 -x2048 -x2034 -x2017 -x2294 -x2271 -x2248 -x2228 -x2197 -x2176 -x2161 -x2144 -x1851 -x1868 -x1817 -x1836 -x1780 -x1798 -x1740 -x1760 -x1383 -x1402 -x1426 -x1443 -x1321 -x1326 -x1345 -x1358 -x1377 -x2125 -x2108 -x2090 -x2071 -x2060 -x2049 -x2035 -x2018 -x2295 -x2272 -x2249 -x2229 -x2198 -x2177 -x2162 -x2145 -x1852 -x1869 -x1818 -x1837 -x1781 -x1799 -x1741 -x1761 -x1979 -x1995 -x1946 -x1961 -x1963 -x1923 -x1939 -x1891 -x1906 -x323 -x305 -x359 -x339 -x386 -x370 -x418 -x399 -x448 -x426 -x485 -x480 -x536 -x517 -x579 -x558 -x13 -x31 -x52 -x67 -x91 -x112 -x1742 -x1762 -x1980 -x1996 -x1947 -x1962 -x1964 -x1924 -x1940 -x1892 -x1907 -x324 -x306 x360 -x340 -x387 -x371 -x419 -x400 -x449 -x427 -x486 -x481 -x537 -x518 -x580 -x559 -x14 -x32 -x53 -x68 -x92 -x113 -x129 -x152 -x172 -x184 -x202 -x196 -x211 -x226 -x244 -x258 -x276 -x934 -x918 -x905 -x886 -x994 -x981 -x966 -x952 -x1056 -x1043 -x1030 -x1010 -x1145 -x1123 -x1105 -x1084 -x625 -x640 -x586 -x607 -x93 -x114 -x130 -x153 -x173 -x185 -x203 -x197 -x212 -x227 -x245 -x259 -x277 -x935 -x919 -x906 -x887 -x995 -x982 -x967 -x953 -x1057 -x1044 -x1031 -x1011 -x1146 -x1124 -x1106 -x1085 -x626 -x641 -x587 -x608 -x696 -x712 -x658 -x677 -x775 -x797 -x786 -x732 -x747 -x838 -x857 -x806 -x822 -x4216 -x4232 -x4259 -x4281 -x4121 -x4149 -x4166 -x4189 -x4032 -x4048 -x4074 -x4102 -x3912 -x3943 -x3974 -x3994 -x3857 -x3828 -x1628 -x1609 -x1595 -x1715 -x1700 -x1682 -x1685 -x1663 -x2114 -x2164 -x2143 -x2199 x2180 -x2233 -x2213 -x2230 -x2696 -x2673 -x2650 -x2924 -x2904 -x2886 -x2864 -x2846 -x3392 -x3288 -x3263 -x3325 -x3305 -x3528 -x3507 -x3568 -x3977 -x3953 -x3913 -x4103 -x4075 -x4049 -x4027 -x4193 -x3849 -x4644 -x4624 -x4691 -x4671 -x4733 -x4712 -x4774 -x4578 -x4603 -x4623 -x562 -x581 -x519 -x538 -x482 -x2075 -x2091 -x2190 -x2212 -x1535 -x1549 -x1565 x1582 -x3538 -x3516 -x3489 -x3466 -x2897 -x2878 -x2937 -x2916 -x2355 -x2375 -x4861 -x4839 -x4431 -x4451 -x4391 -x4414 -x3622 -x3647 -x3666 -x3687 -x1820 -x522 -x545 -x566 -x7 -x69 -x47 -x1120 -x659 -x644 -x627 -x606 -x4976 -x4907 -x4929 -x4842 x4000 -x4223 -x4245 -x4270 -x3415 -x3349 -x3370 -x3463 -x2721 -x2730 -x2756 -x2775 -x513 -x534 -x476 -x499 -x430 -x453 -x4841 -x4865 -x4376 -x4353 -x4336 -x4313 -x4456 -x4438 -x4417 -x4401 -x3892 -x3865 -x3609 -x3590 -x3649 -x3623 -x3704 -x3681 -x3170 -x3143 -x3126 -x3108 -x3067 -x3057 -x3028 -x3010 -x2620 -x2599 -x2503 -x2481 -x2546 x2526 -x2407 -x2385 -x1770 -x1789 -x1726 -x1749 -x1850 -x1867 -x1815 -x1825 -x1719 -x1706 -x1162 -x1182 -x1202 -x1219 -x1235 -x1253 x2290 -x2685 -x3387 -x3982 -x3843 -x4560 -x397 -x3426 -x3477 -x2732 -x2849 -x2163 -x2178 -x1678 -x1627 -x1032 x1050 -x89 -x477 -x4875 -x4801 -x578 -x560 -x540 -x516 -x50 -x72 -x2 -x29 -x1065 -x1046 -x1108 -x1088 -x1144 -x1126 -x590 -x612 -x3670 -x3691 -x3711 -x3730 -x3577 -x3595 -x3617 -x3648 -x4484 -x4501 -x4426 -x4445 -x4387 -x4406 -x4351 -x4372 -x2569 -x2572 -x2593 -x2615 -x2316 -x2337 -x2357 -x2376 -x3105 -x3125 -x3215 -x3233 -x3176 -x3198 -x2985 -x3000 -x1255 -x1237 x1290 -x1286 -x1183 -x1163 -x1224 -x1203 -x2087 -x2139 -x2121 -x2041 -x2026 -x2067 -x2054 -x206 -x523 -x345 -x330 -x309 -x291 -x403 -x388 -x377 -x1083 -x1141 -x1118 -x898 -x880 -x930 -x916 -x959 -x3727 -x3579 -x3598 -x3620 -x3646 -x3827 -x3850 -x3886 -x4450 -x4390 -x4409 -x4343 -x4366 -x4305 -x4324 -x4604 -x2308 -x2311 -x2334 -x2356 -x2374 -x2399 -x2422 -x2442 -x3537 -x3515 -x3495 -x2986 -x3002 -x2958 x2972 -x3060 -x1330 -x1460 -x1445 -x1428 -x1409 -x1388 -x1225 -x1206 -x1887 -x1933 -x1916 -x1912 -x1958 -x1942 -x1994 -x1978 -x2803 -x2436 -x2462 -x2388 -x2395 -x2418 -x2358 -x2377 -x3438 -x3494 -x3474 -x3008 -x3027 -x3043 -x3063 -x3086 -x4120 -x4280 -x4254 -x4234 -x4210 -x3637 -x3614 -x3641 -x4795 -x4855 -x4833 -x4916 x4888 -x4963 -x4942 -x4943 -x210 -x102 -x124 -x145 -x166 -x17 -x35 -x61 -x932 -x1578 -x1329 -x1886 x2318 -x2966 -x3772 -x3467 -x3365 -x3342 -x3407 -x3386 -x3274 -x3270 -x3329 -x2840 -x2821 -x2804 -x2777 -x2761 x2743 -x2726 -x2713 -x242 -x195 -x213 -x168 -x183 -x141 -x161 -x94 -x816 -x837 -x860 -x733 -x746 -x759 -x783 -x676 -x1534 -x1362 -x1375 -x1324 -x1342 -x1439 -x1463 -x1399 -x2076 -x2128 -x2110 -x1890 -x1905 -x1922 -x1937 -x1948 -x2902 -x2835 -x2855 -x2802 -x2820 -x2447 -x2425 -x2410 x2000 -x1955 -x1161 -x666 -x20 -x4565 -x3937 -x4013 -x3990 -x4587 -x4601 -x4701 -x4681 -x4658 -x4634 -x800 -x818 -x763 -x787 -x231 -x248 -x263 -x282 -x1813 x1833 -x1919 -x1932 -x1236 -x1254 -x1271 -x1291 -x3211 -x3180 -x3172 -x3148 -x998 -x884 -x901 -x921 -x939 -x1070 -x1091 -x1112 -x412 -x366 -x382 -x342 -x354 -x302 -x319 -x552 -x4455 -x4816 -x4800 -x4862 -x4838 -x4915 -x4889 -x4964 -x3740 -x3677 -x3701 -x4184 -x4162 -x4141 -x4123 -x4279 -x3070 -x2944 -x2963 -x2978 -x2993 -x3539 -x3513 -x3570 -x2451 -x2380 -x2406 -x2347 -x2364 -x2306 -x2328 -x2939 -x2086 -x2211 -x2189 -x2169 -x2150 -x2282 -x2265 x2245 -x4728 -x4790 x4768 -x4814 -x4096 -x4110 -x4081 -x4055 -x812 -x830 -x814 -x766 -x233 -x249 -x268 -x261 -x350 -x331 -x1911 -x1926 -x2133 -x2120 -x2097 -x2083 -x1525 -x1511 -x1560 -x1544 -x84 -x656 -x1066 x1714 -x2193 -x2773 -x3462 -x3216 -x4100 x4772 -x561 -x1127 -x1569 -x2119 -x3364 -x3297 -x3318 -x3253 -x3962 -x3983 -x4007 -x4039 -x4918 -x4685 -x4707 -x4640 -x445 -x467 x491 -x368 -x1092 -x1036 -x1054 -x1003 -x1623 -x1640 -x1656 -x1662 -x1814 -x2181 -x2202 -x2148 -x408 -x390 -x773 -x796 -x744 -x758 -x839 -x861 -x809 -x823 -x628 -x629 -x645 -x594 -x615 -x709 -x729 -x674 -x686 -x1059 -x1040 -x1021 -x1008 -x1133 -x1110 -x1096 -x1077 -x929 -x915 -x891 -x870 -x989 -x988 -x978 -x962 -x945 -x3686 -x3665 -x3726 -x3710 -x3599 -x3580 -x3643 -x3621 -x3626 -x3840 -x3821 -x3897 -x3871 -x3762 -x3741 -x3799 -x3790 -x4033 -x4059 -x4077 -x4107 -x3934 -x3964 -x3992 -x3993 -x4229 -x4252 -x4274 -x4273 -x4301 -x4127 -x4150 -x4173 -x4201 -x4449 -x4430 -x4408 -x4388 -x4365 -x4344 -x4323 -x4339 -x4317 -x4606 -x4581 -x4559 -x4542 -x4534 -x4514 -x4489 -x4475 -x4769 -x4791 -x4729 -x4747 -x4679 -x4699 -x4629 -x4646 -x4951 -x4950 -x4970 -x4900 -x4928 -x4852 -x4878 -x4802 -x4823 -x2332 -x2315 -x2373 -x2353 -x2421 -x2401 -x2378 -x2458 -x2432 -x2508 -x2492 -x2547 -x2529 -x2579 -x2566 -x2630 -x2602 -x2635 -x2657 -x2681 -x2708 -x2728 -x2746 -x2768 -x2767 -x2789 -x2799 -x2815 -x2834 -x2848 -x2863 -x2896 -x2905 -x2928 -x3001 -x2990 -x2971 -x2954 -x3081 -x3072 -x3050 -x3032 -x3017 -x3167 -x3140 -x3123 -x3098 -x3236 -x3220 -x3206 -x3186 -x3302 -x3320 -x3260 -x3283 -x3399 -x3398 -x3418 -x3356 -x3377 -x3456 -x3480 -x3425 x3442 -x3547 -x3562 -x3500 -x3518 -x1699 -x1713 -x1660 -x1675 -x1693 -x1635 -x1648 -x1606 -x1618 -x1566 -x1584 -x1536 -x1546 -x1497 -x1518 -x1469 -x1483 -x1455 -x1433 -x1417 -x1416 -x1387 -x1368 -x1352 -x1337 -x1319 -x1308 -x1284 -x1269 -x1245 -x1233 -x1212 -x1185 -x1169 -x2217 -x2235 -x2258 -x2266 -x2289 -x2153 -x2166 -x2187 -x2208 -x2074 -x2093 -x2109 -x2127 -x2010 -x2030 -x2047 -x2058 -x1969 -x4700 -x4635 -x4657 -x4760 x3862 -x3936 -x3966 -x3989 -x4543 -x4605 -x4582 -x4641 -x3744 -x3893 -x3872 -x3842 -x3193 -x3247 -x3230 -x3124 -x2305 -x2619 -x2597 -x2578 -x1960 -x1982 -x1999 -x1733 -x434 -x456 -x162 -x133 -x3652 -x3628 -x3602 -x3581 -x4458 -x4435 -x4338 -x4314 -x2366 -x2344 -x2323 -x2301 -x3248 -x3229 -x2959 -x2945 -x1195 -x1213 -x1152 -x1175 x1849 -x1862 -x1737 -x1755 -x4084 -x3296 -x2760 -x2201 -x1579 -x937 x415 -x1310 -x1285 -x1336 -x1316 -x1365 -x1351 -x1408 -x1389 -x1459 -x1438 -x1470 -x1486 -x1502 -x1519 -x1530 -x1553 -x3131 -x3152 -x3096 -x3111 -x3066 -x3085 -x3023 -x3042 -x2981 -x2994 -x2951 -x2967 -x3569 -x3555 -x3535 -x3511 -x2594 -x2614 -x2475 -x2494 -x2524 -x2542 -x2398 -x2419 -x2437 -x2461 -x2298 -x2317 -x2342 -x2359 -x2899 -x2879 -x4517 -x4535 -x4482 -x4504 -x4597 -x4618 -x4550 -x4574 -x4350 -x4374 -x4312 -x4334 -x4442 -x4461 -x4403 -x4423 -x4742 -x4717 -x3759 -x3775 -x3794 -x3814 -x3832 -x3860 -x3876 -x3901 -x3578 -x3608 -x3638 -x3662 -x3671 -x3696 -x4042 x4017 -x4090 -x4068 -x961 -x943 -x993 -x980 -x893 -x874 -x925 -x910 -x1090 -x1072 -x1135 -x1114 -x840 -x865 -x741 -x755 -x780 -x793 -x404 -x389 -x375 -x361 -x352 -x335 -x313 -x301 -x573 -x553 -x1667 -x1725 -x1708 -x1619 x1214 -x2943 -x2960 -x2975 -x3517 -x3573 -x3556 -x2346 -x2793 -x2938 -x2920 -x2898 -x4903 -x4977 -x4936 -x4819 -x3925 -x4293 -x4265 -x4235 -x1103 -x1121 -x1142 -x879 -x4088 -x4114 -x3929 -x3960 -x3984 -x4009 -x4217 -x4244 -x3295 -x3315 -x3251 -x3276 -x3388 -x3408 -x3341 -x3363 -x2631 -x2598 -x2641 -x2663 -x2686 -x2709 -x2727 -x2744 -x1769 -x1788 -x1734 -x1756 -x2283 -x2264 -x2243 -x2220 -x1272 -x1293 -x1159 -x1176 -x1194 -x1215 -x1688 -x1670 -x639 -x653 -x604 -x621 -x706 -x730 -x670 -x687 -x262 -x279 -x15 -x36 -x59 -x81 -x97 x116 -x3414 -x3350 -x3371 -x3308 -x3333 -x3271 -x3291 -x3235 -x3213 -x3197 -x3179 -x3155 -x3132 -x3110 -x3091 -x3107 -x2843 -x2739 -x2757 -x2776 -x2791 -x2645 -x2665 -x2691 -x2719 -x2573 -x2556 -x2613 -x2590 -x2499 -x2480 -x2539 -x4958 -x4908 -x4930 -x4670 -x4688 -x4627 -x4645 -x4758 -x4776 -x4710 -x4730 -x4536 -x4520 -x4499 -x4481 -x4620 -x4185 -x4211 -x4246 -x4271 -x4295 -x3927 -x3952 -x3980 -x4003 -x4021 -x4052 -x4073 -x4097 -x3774 -x3753 -x3813 -x28 -x80 -x62 -x109 -x90 -x151 -x134 -x186 -x174 -x215 -x199 -x250 -x234 -x285 -x269 -x295 -x570 -x650 x632 -x614 -x592 -x710 -x694 -x678 -x655 -x798 -x781 -x754 -x738 -x869 -x845 -x831 -x1138 -x1081 -x1100 -x1259 -x1242 -x1304 -x1283 -x1187 -x1166 -x1226 -x1209 -x1404 -x1384 -x1452 -x1432 -x1335 -x3115 -x3136 -x3157 -x3019 -x2574 -x2514 -x2535 -x2471 -x1746 -x1802 -x1778 -x1840 -x1680 -x1223 -x1204 -x1184 -x1028 -x1045 -x1064 -x681 -x544 x484 -x502 -x438 -x4346 -x4330 -x4309 -x4448 -x1974 -x2006 -x2031 -x2012 -x2062 -x2050 -x2094 -x2078 -x2129 -x2105 -x2172 -x2154 -x2205 -x2188 -x2242 -x2221 -x2286 -x2279 -x2257 -x2887 -x2870 -x2931 -x2911 -x2811 -x2795 -x2854 -x2833 -x2745 -x2731 -x2786 -x2770 -x2675 -x2652 -x2702 -x2682 -x2570 -x2588 -x2607 -x2626 -x2482 -x2504 -x2530 -x2550 -x2386 -x2408 -x2427 -x2453 -x2302 -x2324 -x2335 -x2348 -x2368 -x3558 -x3545 -x3520 -x3498 -x3482 -x3458 -x3445 -x3429 -x3416 -x3395 -x3374 -x3352 -x2676 -x2653 -x2703 -x2683 -x2571 -x2589 -x2608 -x2627 -x2483 -x2505 -x2531 -x2551 -x2387 -x2409 -x2428 -x2454 -x2303 -x2325 -x2336 -x2349 -x2369 -x3559 -x3546 -x3521 -x3499 -x3483 -x3459 -x3446 -x3430 -x3417 -x3396 -x3375 -x3353 -x3327 -x3299 -x3281 -x3257 -x3221 -x3237 -x3187 -x3209 -x3144 -x3164 -x3102 -x3121 -x3058 -x3075 -x3013 -x3034 -x2976 -x2991 -x3006 -x2955 -x2968 -x4159 -x4135 -x4197 -x4176 -x4250 -x4224 -x4299 -x4277 -x3944 -x3920 -x3376 -x3354 -x3328 -x3300 -x3282 -x3258 -x3222 -x3238 -x3188 -x3210 -x3145 -x3165 -x3103 -x3122 -x3059 -x3076 -x3014 -x3035 -x2977 -x2992 -x3007 -x2956 -x2969 -x4160 -x4136 -x4198 -x4177 -x4251 -x4225 -x4300 -x4278 -x3945 -x3921 -x3995 -x3968 -x4053 -x4029 -x4108 -x4082 -x3748 -x3767 -x3786 -x3805 -x3823 -x3844 -x3869 -x3895 -x3584 -x3605 -x3629 -x3653 -x3644 -x3667 -x3689 -x3706 -x3728 -x4876 -x4847 -x4821 -x4809 -x4967 -x4947 -x4924 -x4896 -x3946 -x3922 -x3996 -x3969 -x4054 -x4030 -x4109 -x4083 -x3749 -x3768 -x3787 -x3806 -x3824 -x3845 -x3870 -x3896 -x3585 -x3606 -x3630 -x3654 -x3645 -x3668 -x3690 -x3707 -x3729 -x4877 -x4848 -x4822 -x4810 -x4968 -x4948 -x4925 -x4897 -x4693 -x4672 -x4654 -x4636 -x4787 -x4765 -x4748 -x4724 -x4509 -x4529 -x4468 -x4492 -x4584 -x4608 -x4540 -x4562 -x4358 -x4379 -x4319 -x4303 -x4325 -x4432 -x4452 -x4392 -x4410 -x362 -x380 -x392 -x406 -x292 -x314 -x4926 -x4898 -x4694 -x4673 -x4655 -x4637 -x4788 -x4766 -x4749 -x4725 -x4510 -x4530 -x4469 -x4493 -x4585 -x4609 -x4541 -x4563 -x4359 -x4380 -x4320 -x4304 -x4326 -x4433 -x4453 -x4393 -x4411 -x363 -x381 -x393 -x407 -x293 -x315 -x332 -x347 -x520 -x541 -x555 -x576 -x421 -x442 -x465 -x488 -x119 -x100 -x156 -x135 -x40 -x25 -x82 -x64 -x239 -x223 -x237 -x287 -x271 -x187 -x170 -x218 -x200 -x972 -x991 -x947 -x963 -x294 -x316 -x333 -x348 -x521 -x542 -x556 -x577 -x422 -x443 -x466 -x489 -x120 x101 -x157 -x136 -x41 -x26 -x83 -x65 -x240 -x224 -x238 -x288 -x272 -x188 -x171 -x219 -x201 -x973 -x992 -x948 -x964 -x908 -x927 -x872 -x889 -x1128 -x1131 -x1075 -x1093 -x1037 -x1061 -x1006 -x1022 -x719 -x707 -x690 -x671 -x647 -x630 -x616 -x595 -x858 -x863 -x843 -x824 -x807 -x794 -x777 -x756 -x742 -x1472 -x1488 -x949 -x965 -x909 -x928 -x873 -x890 -x1129 -x1132 -x1076 -x1094 -x1038 -x1062 -x1007 -x1023 -x720 -x708 -x691 -x672 -x648 -x631 -x617 -x596 -x859 -x864 -x844 -x825 -x808 -x795 -x778 -x757 -x743 -x1473 -x1489 -x1509 -x1526 -x1545 -x1559 -x1568 -x1587 -x1607 -x1624 -x1641 -x1654 -x1666 -x1687 -x1703 -x1716 -x1177 -x1153 -x1216 -x1196 -x1256 -x1238 -x1301 -x1279 -x1280 -x1341 -x1322 -x1372 -x1356 -x1403 -x1380 -x1444 -x1429 -x4478 x110 -x609 -x1263 -x1894 -x2781 -x3317 -x409 -x776 x1423 -x1913 -x2464 -x3156 -x3904 -x2024 -x2617 -x3159 -x3900 -x4368 x273 -x779 -x131 -x30 -x5 -x71 -x48 -x524 -x505 -x527 -x551 -x569 -x433 -x457 -x472 -x493 -x372 -x384 -x401 -x416 -x303 -x322 -x336 -x357 -x1929 -x1914 -x1896 -x1881 -x1993 -x1976 -x1959 -x1943 -x1800 -x1782 -x1763 -x1743 -x1874 -x1855 -x1841 -x1822 -x1804 -x2185 -x2206 -x2155 -x2170 -x2268 -x2287 -x2222 -x2252 -x2045 -x2063 -x2013 -x2027 -x2112 -x2130 -x2079 -x2103 -x1339 -x1317 -x1366 -x1353 -x1405 -x1385 -x1447 -x1420 -x1190 -x1783 -x1764 -x1744 -x1875 -x1856 -x1842 -x1823 -x1805 -x2186 -x2207 -x2156 -x2171 -x2269 -x2288 -x2223 -x2253 -x2046 -x2064 -x2014 -x2028 -x2113 -x2131 -x2080 -x2104 -x1340 -x1318 -x1367 -x1354 -x1406 -x1386 -x1448 -x1421 -x1191 -x1170 -x1231 -x1210 -x1264 -x1247 -x1302 -x1294 -x1277 -x1601 -x1614 -x1636 -x1649 -x1672 -x1691 -x1704 -x1720 -x1464 -x1484 -x1498 -x1516 -x1531 -x1547 -x1575 -x1590 -x3357 -x3379 -x3400 -x3419 -x3261 -x3285 -x3310 -x1422 -x1192 -x1171 -x1232 -x1211 -x1265 -x1248 -x1303 -x1295 -x1278 -x1602 -x1615 -x1637 -x1650 -x1673 -x1692 -x1705 -x1721 -x1465 -x1485 -x1499 -x1517 -x1532 -x1548 -x1576 -x1591 -x3358 -x3380 -x3401 -x3420 -x3262 -x3286 -x3311 -x3330 -x3504 -x3525 -x3548 -x3563 -x3431 -x3447 -x3452 -x3464 -x3486 -x3029 -x3015 -x3077 -x3053 -x2961 -x2947 -x2998 -x2983 -x3202 -x3189 -x3239 -x3217 -x3127 -x3092 -x3153 -x3133 -x2771 -x2787 -x2736 -x2750 -x2692 -x3287 -x3312 -x3331 -x3505 -x3526 -x3549 -x3564 -x3432 -x3448 -x3453 -x3465 -x3487 -x3030 -x3016 -x3078 -x3054 -x2962 -x2948 -x2999 -x2984 -x3203 -x3190 -x3240 -x3218 -x3128 -x3093 -x3154 -x3134 -x2772 -x2788 -x2737 -x2751 -x2693 -x2711 -x2647 -x2667 -x2914 -x2932 -x2871 -x2894 -x2827 -x2841 -x2858 -x2805 -x2822 -x2455 -x2429 -x2403 -x2382 -x2362 -x2338 -x2321 -x2299 -x2628 -x2609 -x2584 -x2563 -x2540 -x2521 -x2500 -x2478 -x4630 -x4647 -x4674 -x2752 -x2694 -x2712 -x2648 -x2668 -x2915 -x2933 -x2872 -x2895 -x2828 -x2842 -x2859 -x2806 -x2823 -x2456 -x2430 -x2404 -x2383 -x2363 -x2339 -x2322 -x2300 -x2629 -x2610 -x2585 -x2564 -x2541 -x2522 -x2501 -x2479 -x4631 -x4648 -x4675 -x4695 -x4718 -x4739 -x4755 -x4779 -x4803 -x4824 -x4850 -x4870 -x4863 -x4884 -x4912 -x4934 -x4959 -x4341 -x4321 -x4381 -x4355 -x4424 -x4404 -x4463 -x4443 -x4490 -x4470 -x4531 -x4521 -x4570 -x4551 -x4621 -x4598 -x3970 -x4649 -x4676 -x4696 -x4719 -x4740 -x4756 -x4780 -x4804 -x4825 -x4851 -x4871 -x4864 -x4885 -x4913 x4935 -x4960 -x4342 -x4322 -x4382 -x4356 -x4425 -x4405 -x4464 -x4444 -x4491 -x4471 -x4532 -x4522 -x4571 -x4552 -x4622 -x4599 -x3971 -x3998 -x3914 -x3949 -x4069 -x4094 -x4018 -x4044 -x4174 -x4199 -x4139 -x4115 -x4142 -x4263 -x4287 -x4214 -x4237 -x3655 -x3631 -x3612 -x3591 -x3732 -x3712 -x3694 -x3672 -x3807 -x3788 -x3776 -x3754 -x3905 -x3877 -x3855 -x4600 -x3972 -x3999 -x3915 -x3950 -x4070 -x4095 -x4019 -x4045 -x4175 -x4200 -x4140 -x4116 -x4143 -x4264 -x4288 -x4215 -x4238 -x3656 -x3632 -x3613 -x3592 -x3733 -x3713 -x3695 -x3673 -x3808 -x3789 -x3777 -x3755 -x3906 -x3878 -x3856 -x3833 -x1104 -x1086 -x1140 -x1119 -x1033 -x1015 -x1069 -x1049 -x956 -x940 -x955 -x997 -x984 -x902 -x883 -x933 -x920 -x805 -x813 -x835 -x855 -x735 -x749 -x764 -x789 -x667 -x680 -x698 -x716 -x585 -x4607 -x4583 -x4561 -x4544 -x137 -x158 -x27 -x42 x711 -x731 -x668 -x688 -x1014 -x1168 -x1154 -x1178 -x1661 -x1710 -x1694 -x1709 -x2140 -x2281 -x2262 -x2234 -x2868 -x2934 -x2906 -x2810 -x3716 -x3705 -x3682 -x4799 -x4813 -x4835 -x4859 -x4890 -x4362 -x4418 -x4398 -x4457 -x4441 -x4815 -x4794 x4857 -x4337 -x4364 -x4386 -x4400 -x4421 -x4436 -x4465 -x4192 -x3846 -x3624 -x3650 -x3586 -x3607 -x3722 -x3739 -x3676 -x3116 -x3142 -x3168 -x3012 -x3037 -x3049 -x3071 -x2946 -x2515 -x2532 -x2552 -x2490 -x2513 -x2431 -x2457 -x2384 -x1796 -x1779 -x1774 -x1830 -x1809 -x1863 -x1843 -x1908 -x4512 -x4533 -x4545 -x4564 -x4588 -x4610 -x4660 -x4633 -x160 -x144 -x125 -x105 -x75 -x58 -x38 -x21 -x784 -x760 -x685 -x663 -x724 -x703 -x622 -x600 -x1462 -x1440 -x1418 -x1398 -x1218 -x1201 -x1181 -x1158 -x1936 -x1920 -x1966 -x1949 -x2005 -x1991 -x1748 -x1729 -x3254 -x3272 -x3298 -x3319 -x3338 -x3359 -x3381 -x3403 -x3249 -x3226 -x2684 -x2710 -x2642 -x2664 -x2766 x2784 -x478 -x501 -x441 -x460 -x402 -x417 -x373 -x385 -x2575 -x2557 -x2543 -x2523 x2497 -x2485 -x2460 -x2435 -x3196 -x3175 -x3234 -x3214 -x3112 -x3095 -x3171 -x3147 -x3306 -x3326 -x3810 -x3795 -x3773 -x3752 -x3910 -x3861 -x4076 -x4101 -x4024 -x4050 -x4502 -x4483 -x4537 -x4519 -x4668 -x4690 -x4713 -x4734 -x4751 -x4773 -x128 -x149 -x583 -x565 -x539 -x515 -x503 -x483 -x461 -x440 -x2662 -x2639 -x3368 -x3346 -x1603 -x1616 -x2072 -x2092 -x307 -x325 -x954 x971 -x3073 -x3051 -x3902 -x3881 -x3858 -x3829 -x4538 -x4523 -x4572 -x4556 -x875 -x894 -x911 -x926 -x851 -x850 -x334 -x351 -x280 -x265 -x254 -x235 -x2001 -x1984 -x1901 x1882 -x1461 -x1437 -x1411 -x1390 -x1000 -x95 -x115 -x132 -x435 -x497 -x470 -x4828 -x4383 x4402 -x4422 -x4434 -x3651 -x3588 -x3600 -x3719 -x3166 -x3011 -x3036 -x3055 -x2555 -x2491 -x2510 -x2434 -x1775 -x1826 -x1808 -x1866 -x1596 x1307 -x636 -x140 -x4820 -x4061 -x3273 -x63 -x43 -x24 -x159 -x4659 x4937 -x4957 -x4886 -x3965 -x3991 -x4012 -x4212 -x3279 -x3382 -x3404 -x3345 -x2661 -x2679 -x2700 -x2729 -x2600 -x2291 -x2273 -x2250 -x1790 -x1727 -x1750 -x1686 -x2247 -x2226 -x99 -x117 -x447 -x424 -x490 -x463 -x1097 -x1073 -x1055 x1041 -x3935 -x3963 -x3988 -x4014 -x4894 -x4920 -x4680 -x4702 -x2801 -x2819 -x2836 -x2856 -x3530 -x3534 -x3473 -x3493 -x1668 -x1679 -x1695 -x1711 -x1754 -x1736 -x2261 -x2280 -x2917 -x2940 -x2877 -x2893 -x3468 -x3488 -x3514 -x3540 -x4262 -x4289 -x4213 -x4236 -x4687 x4703 -x4887 -x4911 -x568 -x546 -x530 -x506 -x1143 -x1125 -x1107 -x1087 -x3888 -x3875 -x3911 -x3938 -x4611 -x4586 -x4573 -x4553 -x2633 x2605 -x2502 -x2477 -x3241 -x3219 -x3204 -x3192 -x885 -x903 -x1113 -x1134 -x298 -x318 -x337 -x353 -x2270 -x2036 -x2019 -x2061 -x469 -x444 -x420 -x414 -x1115 -x1019 x1009 -x1053 -x4008 -x3933 -x3958 -x4080 -x4580 -x4638 -x4662 -x4686 -x2533 -x2507 -x2486 -x2762 -x3231 -x3117 -x3104 -x3163 -x2343 -x2365 -x2314 -x2331 -x2204 -x2184 -x1803 -x1839 -x1651 -x1639 -x1617 -x1600 -x1052 -x1034 -x1101 -x1078 -x496 -x468 -x450 x432 -x4840 -x4866 -x4721 -x4744 -x4161 -x4181 -x4119 -x4144 -x3959 -x3928 -x4113 -x4086 -x4060 -x4031 -x4188 -x4165 -x836 -x856 -x804 -x820 -x762 -x785 -x737 -x750 -x900 -x882 -x225 -x243 -x257 -x274 -x169 -x179 -x326 -x304 -x358 -x341 -x1921 -x1938 -x1893 -x1902 -x2039 -x2021 -x2126 -x2106 -x2088 -x2073 -x1323 -x1343 -x1492 -x1476 -x1515 -x1496 -x1552 -x1537 -x1583 -x1564 -x3269 -x3290 -x3541 x3574 -x3512 -x3536 -x3469 -x3485 -x3009 -x3033 -x3052 -x3074 -x2857 -x2837 -x2818 -x2800 -x2942 -x2921 -x2900 -x2881 -x2699 -x2697 -x2671 -x2651 -x2304 -x2327 -x2433 -x2450 -x2379 -x2405 -x4917 -x4892 -x4962 -x4938 -x4812 -x4793 -x4860 -x4834 -x4735 -x4711 -x4399 -x4416 -x4437 -x4454 -x4318 -x4340 -x4357 -x4378 -x4282 -x4257 -x4233 -x4209 -x4186 -x4169 -x4148 -x4129 -x3743 -x3764 -x3715 -x3736 -x3678 -x3698 -x3627 -x3657 -x3594 -x3610 -x888 -x904 -x922 -x938 -x951 -x968 -x657 -x669 -x728 -x705 -x745 -x734 -x782 -x761 -x821 -x799 -x854 -x834 -x338 -x356 -x300 -x321 -x1 -x150 x154 -x139 -x118 -x96 -x214 -x198 -x182 -x167 -x278 -x260 -x247 -x230 -x2077 -x2096 -x1824 -x1873 -x1857 -x1848 -x1753 -x1732 -x1795 -x1773 -x1965 -x1950 -x1998 -x1988 -x1900 -x1884 -x1934 -x1915 x3854 -x3885 -x3903 -x3939 -x4503 -x4596 -x4617 -x4549 -x2179 -x2160 -x2142 -x2274 -x1567 -x1610 -x1594 -x1642 -x917 -x899 -x871 -x1149 -x396 -x310 -x289 -x346 -x4868 -x4805 -x4830 -x4955 -x1020 -x723 -x3718 -x3700 -x4363 -x4415 -x2423 -x2411 -x3137 x3031 -x1298 -x1239 -x1791 -x1810 -x881 -x897 -x1130 -x1148 -x290 -x308 -x329 -x349 -x2025 -x2040 -x2122 -x2138 -x1479 -x1493 -x1514 -x1527 -x1441 -x1424 -x3557 -x3544 -x2989 -x3005 -x2957 -x2970 -x2445 -x2468 x2310 -x2333 -x3973 -x3940 -x3916 -x4296 -x4284 -x4256 -x4231 -x4207 -x4190 -x4168 -x4147 -x4126 -x3717 -x3735 -x3683 -x3699 -x3625 -x3658 -x3587 -x3601 -x3874 -x3898 -x3826 -x3851 -x3798 -x3815 -x3756 -x3780 -x267 -x283 -x236 -x253 -x209 -x222 -x176 -x191 -x181 -x143 -x164 -x104 -x123 -x57 -x79 -x19 -x45 -x572 -x550 -x526 -x508 -x495 -x474 -x455 -x437 -x411 -x395 -x379 -x365 -x344 -x328 -x312 -x297 -x811 -x829 -x849 -x252 -x208 -x221 -x175 -x190 -x180 -x142 -x163 -x103 -x122 -x56 -x78 -x18 -x44 -x571 -x549 -x525 -x507 -x494 -x473 -x454 -x436 -x410 -x394 -x378 -x364 -x343 -x327 -x311 -x296 -x810 -x828 -x848 -x868 -x740 -x753 -x770 -x768 -x791 -x665 -x684 -x700 -x722 -x603 -x620 -x634 -x652 -x1099 -x1080 -x1137 -x1117 -x1018 -x1002 -x1068 -x1048 -x958 -x942 -x986 -x975 -x896 -x878 -x924 -x914 -x1350 -x827 -x847 -x867 -x739 -x752 -x769 -x767 -x790 -x664 -x683 -x699 -x721 -x602 -x619 -x633 -x651 -x1098 -x1079 -x1136 -x1116 -x1017 -x1001 -x1067 -x1047 -x957 -x941 -x985 -x974 -x895 -x877 -x923 -x913 -x1349 -x1364 -x1315 -x1334 -x1431 -x1451 -x1454 -x1397 -x1415 -x1200 -x1221 -x1157 -x1180 -x1274 -x1297 -x1241 -x1258 -x1653 -x1634 -x1621 -x1605 -x1723 -x1697 -x1677 -x1658 -x1529 -x1513 -x1495 -x1478 -x1586 -x1572 -x1556 -x912 -x1348 -x1363 -x1314 -x1333 -x1430 -x1450 -x1453 -x1396 -x1414 -x1199 -x1220 -x1156 -x1179 -x1273 -x1296 -x1240 -x1257 -x1652 -x1633 -x1620 -x1604 -x1722 -x1696 -x1676 -x1657 -x1528 -x1512 -x1494 -x1477 -x1585 -x1571 -x1555 -x1541 -x1880 -x1898 -x1910 -x1928 -x1945 -x1954 -x1968 -x1987 -x2008 -x1731 -x1752 -x1768 -x1787 -x1807 -x1829 -x1847 -x1861 -x2168 -x2152 -x2210 -x2192 -x2237 -x2219 -x2276 -x2260 -x2038 -x2023 -x2066 -x2053 -x2100 -x1570 -x1554 -x1540 -x1879 -x1897 -x1909 -x1927 -x1944 -x1953 -x1967 -x1986 -x2007 -x1730 -x1751 -x1767 -x1786 -x1806 -x1828 -x1846 -x1860 -x2167 -x2151 -x2209 -x2191 -x2236 -x2218 -x2275 -x2259 -x2037 -x2022 -x2065 -x2052 -x2099 -x2085 -x2135 -x2116 -x2466 -x2441 -x2413 -x2394 -x2390 -x2361 -x2341 -x2320 -x2297 -x2624 -x2604 -x2582 -x2561 -x2549 -x2528 -x2512 -x2488 -x2759 -x2779 -x2725 -x2755 -x2690 -x2717 -x2644 -x2670 -x2908 -x2927 -x2875 -x2051 -x2098 -x2084 -x2134 -x2115 -x2465 -x2440 -x2412 -x2393 -x2389 -x2360 -x2340 x2319 -x2296 -x2623 -x2603 -x2581 -x2560 -x2548 -x2527 -x2511 -x2487 -x2758 -x2778 -x2724 -x2754 -x2689 -x2716 -x2643 -x2669 -x2907 -x2926 -x2874 -x2885 -x2832 -x2852 -x2798 -x2817 -x3046 -x3026 -x3084 -x3069 -x3048 -x2965 -x2950 -x2996 -x2980 -x3208 -x3185 -x3246 -x3228 -x3120 -x3101 -x3162 -x3139 -x3340 -x3362 -x3391 -x3411 -x3268 -x3293 -x3314 -x3336 -x3497 -x2925 -x2873 -x2884 -x2831 -x2851 -x2797 -x2816 -x3045 -x3025 -x3083 -x3068 -x3047 -x2964 -x2949 -x2995 -x2979 -x3207 -x3184 -x3245 -x3227 -x3119 -x3100 -x3161 -x3138 -x3339 -x3361 -x3390 -x3410 -x3267 -x3292 -x3313 -x3335 -x3496 -x3519 -x3551 -x3565 -x3428 -x3440 -x3460 -x3481 -x3642 -x3619 -x3633 -x3611 -x3593 -x3731 -x3714 -x3693 -x3674 -x3804 -x3781 -x3761 -x3742 -x3894 -x3873 -x3841 -x3820 -x3981 -x4002 -x3923 -x3951 -x4065 -x4089 -x4023 -x3907 -x3882 -x3859 -x3834 -x3809 -x3793 -x3778 -x3758 -x4371 -x4345 -x4577 -x4557 -x4619 x4602 -x4500 -x4480 -x2459 -x2439 -x2415 -x2392 -x2544 -x2517 -x2498 -x2476 -x2997 -x2982 -x3044 -x3024 -x3082 -x3062 -x3109 -x3094 -x1436 -x1456 -x1394 -x1407 -x1355 -x1369 -x1313 -x1338 -x1482 -x1466 -x1951 -x1970 -x1977 -x1992 -x1883 -x1899 -x2029 -x2020 -x2057 -x2044 -x194 -x220 -x177 -x189 -x2850 -x2862 -x2883 -x2903 -x2923 -x2655 -x2674 -x2687 -x2715 -x2738 -x2753 -x2774 -x2790 -x2493 -x2472 -x2554 -x3476 -x3427 -x3444 -x3550 -x3566 -x3506 -x3529 -x3307 -x3332 -x3266 -x3289 -x3389 -x3413 -x3347 -x3369 -x3158 -x4208 -x4227 -x4247 -x4275 -x4302 -x4131 -x4152 -x4172 -x4195 -x4015 -x4043 -x4067 -x4091 -x3926 -x3955 -x3976 -x3661 -x3636 -x3618 -x4946 -x4966 -x4902 -x4921 -x4853 -x4881 -x4808 -x4829 -x4757 -x4775 -x4720 -x4737 -x4667 -x4375 -x4352 -x4335 -x4327 -x4306 -x717 -x697 -x682 -x661 -x642 -x624 -x605 -x588 -x862 -x842 -x826 -x1071 -x1089 -x1039 -x1058 -x1063 -x1013 -x1029 -x108 -x85 -x148 -x126 x34 -x11 -x66 -x46 -x255 -x511 -x533 -x554 -x574 -x423 -x439 -x459 -x479 -x504 -x1801 -x1785 -x1766 -x1747 -x1876 -x1859 -x1838 -x1885 -x2002 -x1983 -x1971 -x1941 -x1471 -x1487 -x1510 -x1332 -x1379 -x1359 -x1410 -x1391 -x1446 -x1427 -x977 -x597 -x853 -x833 -x817 -x802 -x788 -x774 -x751 -x23 -x76 -x54 -x246 -x229 -x281 -x264 -x193 -x4488 -x4591 -x4614 -x4546 -x4569 -x4354 -x4377 -x4311 -x3760 -x3784 -x3803 -x3819 -x3835 -x3866 -x3889 -x3589 -x3250 -x3225 x3244 -x3183 -x3199 -x3146 -x3169 -x3106 x3948 -x4653 -x33 -x598 -x1160 -x1728 -x2707 -x3394 -x3423 -x3351 -x3373 -x2538 -x2520 -x2734 -x2747 -x1854 -x1870 -x1816 -x1835 -x1205 -x1222 -x1250 -x1270 -x695 -x714 -x660 -x679 -x205 -x217 -x87 -x107 -x4738 -x4715 x4781 -x4750 -x1234 -x1292 -x3572 x3436 -x2941 -x2880 -x4789 -x4796 -x4106 -x4028 -x1109 -x1026 -x547 -x532 -x4858 -x4196 -x3479 -x2847 -x1681 -x2232 x543 -x1102 -x1082 -x931 -x907 -x892 -x876 -x987 -x979 -x960 -x944 -x772 -x765 -x792 -x736 -x748 -x832 -x852 -x801 -x815 -x635 -x646 -x593 -x613 -x704 -x726 -x675 -x692 -x1674 -x1659 -x1712 -x1698 -x1612 -x1598 -x1647 -x1632 -x1558 -x1543 -x1589 -x1574 -x1491 -x1475 -x1524 -x1507 -x1501 -x1393 -x1413 -x1435 -x1458 -x1328 -x1347 -x1361 -x1374 -x1244 -x1261 -x1276 -x1300 -x1151 -x1173 -x1198 -x1228 -x2278 -x2256 -x2240 -x2216 -x1611 -x1597 -x1646 -x1631 -x1557 -x1542 -x1588 -x1573 -x1490 -x1474 -x1523 -x1506 -x1500 -x1392 -x1412 -x1434 -x1457 -x1327 -x1346 -x1360 -x1373 -x1243 -x1260 -x1275 -x1299 -x1150 -x1172 -x1197 -x1227 -x2277 -x2255 -x2239 -x2215 -x2195 -x2174 -x2159 -x2147 -x2137 -x2118 -x2102 -x2082 -x2069 -x2056 -x2043 -x2033 -x2016 -x1990 -x2004 -x1957 -x1973 -x1918 -x1931 -x1889 -x1904 -x1845 -x1865 -x1812 -x1832 -x1772 -x1793 -x1739 -x1759 -x2352 -x2372 -x2238 -x2214 -x2194 -x2173 -x2158 -x2146 -x2136 -x2117 -x2101 -x2081 -x2068 -x2055 -x2042 -x2032 -x2015 -x1989 -x2003 -x1956 -x1972 -x1917 -x1930 -x1888 -x1903 -x1844 -x1864 -x1811 -x1831 -x1771 x1792 -x1738 -x1758 -x2351 -x2371 -x2313 -x2330 -x2444 -x2470 -x2397 -x2417 -x2519 -x2537 -x2474 -x2496 -x2592 -x2612 -x2622 -x2568 -x2587 -x2705 -x2678 -x2660 -x2637 -x2783 -x2765 -x2741 -x2723 -x2861 -x2839 -x2825 -x2808 -x2936 -x2913 -x2890 -x2867 -x2350 -x2370 -x2312 -x2329 -x2443 -x2469 -x2396 -x2416 -x2518 -x2536 -x2473 -x2495 -x2591 -x2611 -x2621 -x2567 -x2586 -x2704 -x2677 -x2659 -x2636 -x2782 -x2764 -x2740 -x2722 -x2860 -x2838 -x2824 -x2807 -x2935 -x2912 -x2889 -x2866 -x2953 -x2974 -x2988 -x3004 -x3021 -x3041 -x3065 -x3088 -x3090 -x3114 -x3130 -x3150 -x3178 -x3182 -x3201 -x3224 -x3243 -x3278 -x3256 -x3322 -x3304 -x3367 -x3344 -x3406 -x3385 -x3451 -x3435 -x3491 -x3472 -x3524 -x3503 -x2888 -x2865 -x2952 -x2973 -x2987 -x3003 -x3020 -x3040 -x3064 -x3087 -x3089 -x3113 -x3129 -x3149 -x3177 -x3181 -x3200 -x3223 -x3242 -x3277 -x3255 -x3321 -x3303 -x3366 -x3343 -x3405 -x3384 -x3450 -x3434 -x3490 -x3471 -x3523 -x3502 -x3561 -x3543 -x3709 -x3725 -x3664 -x3685 -x3616 -x3640 -x3576 -x3597 -x3884 -x3909 -x3831 -x3853 -x3839 -x3783 -x3802 -x3751 -x3771 -x4105 -x4079 -x4058 -x4038 -x4011 -x3987 -x3957 -x3932 -x4286 -x4261 -x4241 -x4222 -x3522 -x3501 -x3560 -x3542 -x3708 -x3724 -x3663 -x3684 -x3615 -x3639 -x3575 -x3596 -x3883 -x3908 -x3830 -x3852 -x3838 -x3782 -x3801 -x3750 -x3770 -x4104 -x4078 -x4057 -x4037 -x4010 -x3986 -x3956 -x3931 -x4285 -x4260 -x4240 -x4221 -x4204 -x4179 -x4156 -x4138 -x4395 -x4413 -x4428 -x4447 -x4308 -x4329 -x4349 -x4370 -x4555 -x4576 -x4595 -x4590 -x4616 -x4467 -x4487 -x4508 -x4528 -x4746 -x4727 -x4785 -x4764 -x4664 -x4643 -x4706 -x4684 -x4910 -x4883 -x4239 -x4220 -x4203 -x4178 -x4155 -x4137 -x4394 -x4412 -x4427 -x4446 -x4307 -x4328 -x4348 -x4369 -x4554 -x4575 -x4594 -x4589 -x4615 -x4466 -x4486 -x4507 -x4527 -x4745 -x4726 -x4784 -x4763 -x4663 -x4642 -x4705 -x4683 -x4909 -x4882 -x4974 -x4954 -x4831 -x4807 -x4869 -x4849 -x216 -x204 -x192 -x178 -x284 -x266 -x251 -x232 -x74 -x51 -x55 -x39 -x22 -x165 -x146 -x121 -x98 -x462 -x498 -x431 -x452 -x548 -x567 -x510 -x529 -x589 -x611 -x1167 -x1186 -x1745 x1765 -x1419 -x1449 -x1981 -x1997 -x270 -x286 -x841 -x866 -x3437 -x3443 -x3457 -x3475 -x2463 -x2438 -x2414 -x2391 -x2882 -x2901 -x2830 -x2853 -x2796 -x2814 -x4331 -x4310 -x4792 -x4811 -x4837 -x4879 -x4901 -x4923 -x4945 -x4971 -x4034 -x4056 -x4170 -x4187 -x4128 -x4151 -x4276 -x4298 -x1025 -x1005 -x1060 -x1042 x969 -x946 -x990 -x976 -x531 -x512 -x487 -x464 -x446 -x425 -x405 -x391 -x2165 -x2149 -x2200 -x2182 -x2251 -x2227 -x2292 -x2254 -x2749 -x2733 -x2718 -x2695 -x2666 -x2646 -x2595 -x2616 -x2558 -x2576 -x2516 -x2534 -x2553 -x2489 -x2509 -x2424 -x3378 -x3355 -x3422 -x3397 -x3284 -x3265 -x3334 -x3309 -x3173 -x3195 -x3212 -x3232 -x3097 -x3099 -x3118 -x3141 -x4249 -x4226 -x3997 -x3967 -x3947 -x3917 -x4093 -x4066 -x4041 -x4022 -x3796 -x3816 -x3757 -x3779 -x3763 -x3868 -x4927 -x4899 -x4969 -x4949 -x4652 -x4628 -x4692 -x4666 -x4741 -x4716 -x4777 -x4759 -x4479 -x4496 -x4516 -x4513 -x4854 -x4880 -x4895 -x4922 -x4944 -x4965 -x4632 -x4656 -x4669 -x4689 -x4714 -x4736 -x4754 -x4778 -x4494 -x4477 -x4171 -x4194 -x4130 -x4153 -x4272 -x4297 -x4228 -x4248 -x3975 -x4001 x3924 -x3954 -x4064 -x4092 -x4016 -x4040 -x3697 -x3675 -x3508 -x3527 -x3552 -x3567 -x3424 -x3441 -x3455 -x3478 -x3348 -x3372 -x3393 -x3412 -x3264 -x3294 -x1797 x1777 -x2714 -x2688 -x2596 -x2618 -x2559 -x2577 -x3135 -x3160 -x3174 -x3194 -x3880 -x3899 -x3825 -x3848 -x4347 -x4373 -x4558 -x4579 -x535 -x514 -x582 -x563 -x1027 -x1012 -x1147 -x1122 -x950 -x374 x4462 -x3734 -x3079 -x2449 -x2123 -x638 -x654 -x599 -x618 -x702 -x725 -x713 -x662 -x3191 -x3205 -x3324 -x3301 -x3280 -x3259 -x3402 -x3421 -x2565 -x2580 -x2601 -x2632 -x2656 -x2634 -x2706 -x2680 -x4539 -x4566 -x4511 -x4526 -x4472 -x4485 -x4786 -x4767 -x3822 -x3847 -x3867 -x3887 -x3745 -x3769 -x3785 -x3800 x819 -x803 -x649 -x637 -x623 -x601 -x718 -x701 -x241 -x228 -x275 -x256 -x37 -x16 -x77 -x60 -x1935 -x1378 -x771 -x207 -x376 x4518 -x3879 -x3316 -x3252 -x3275 -x3383 -x3409 -x3337 -x3360 -x3470 -x3492 -x3439 -x3454 -x3553 -x3571 -x3510 -x3532 -x3692 -x3797 -x4036 -x4063 -x4085 -x4112 -x3930 -x3961 -x3985 -x4006 -x4206 -x4230 -x4255 -x4283 -x4125 -x4146 -x4167 -x4515 -x4495 -x4476 -x4762 -x4782 -x4723 -x4743 -x4682 -x4704 -x4639 -x4661 -x4940 -x4961 -x4891 -x4914 -x4836 -x70 -x88 -x111 -x138 -x155 -x451 -x428 -x492 -x471 -x528 -x509 -x575 -x557 -x317 -x299 -x355 -x643 -x591 -x610 -x693 -x727 -x673 -x689 -x1051 -x1035 -x1016 -x999 -x1139 -x1111 -x1095 -x1074 -x936 x1370 -x1246 -x1262 -x1282 -x1305 -x1155 -x1174 -x1193 -x1217 -x1690 -x1671 -x1724 -x1707 -x1622 -x1608 -x1655 -x1925 -x1878 -x1895 -x1858 -x1872 -x1821 -x1827 -x1776 -x1794 -x1735 -x1757 -x2285 -x2267 -x2241 -x2231 -x2203 -x4253 -x4941 -x2813 -x3531 -x846 -x49 x1853 
2138.30/2145.16	c Done 2138.35s

Verifier Data 

OK	7

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: 64096 MiB (63152 MiB free)
  memory of node 1: 64473 MiB (63519 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427945-1722809650/watcher-4427945-1722809650 -o /tmp/evaluation-result-4427945-1722809650/solver-4427945-1722809650 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722806084-260585 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427945-1722809650.opb -t 3558 -s 893628007 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=263124, runsolver pid=263121
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 4.14 4.14 4.09 3/232 263125
/proc/meminfo: memFree=129706368/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=22084 memory=8684 CPUtime=0.1 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 1199 0 0 0 10 0 0 0 20 0 1 0 47562062 22614016 2171 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 5521 2171 1073 2753 0 2174 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22084 KiB
Current children cumulated memory: 8684 KiB

[startup+0.21314 s]*
/proc/loadavg: 4.14 4.14 4.09 3/233 263126
/proc/meminfo: memFree=129700164/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=28656 memory=15664 CPUtime=0.22 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 2933 0 0 0 21 1 0 0 20 0 1 0 47562062 29343744 3916 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 7164 3916 1105 2753 0 3817 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 28656 KiB
Current children cumulated memory: 15664 KiB

[startup+0.312834 s]*
/proc/loadavg: 4.14 4.14 4.09 3/233 263126
/proc/meminfo: memFree=129681768/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=28656 memory=15664 CPUtime=0.31 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 2933 0 0 0 30 1 0 0 20 0 1 0 47562062 29343744 3916 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 7164 3916 1105 2753 0 3817 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28656 KiB
Current children cumulated memory: 15664 KiB

[startup+0.700294 s]
/proc/loadavg: 4.14 4.14 4.09 3/233 263126
/proc/meminfo: memFree=129665556/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=55220 memory=47212 CPUtime=0.68 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 9294 0 0 0 66 2 0 0 20 0 1 0 47562062 56545280 11803 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 13805 11803 2689 2753 0 10458 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55220 KiB
Current children cumulated memory: 47212 KiB

[startup+1.50029 s]
/proc/loadavg: 4.14 4.14 4.09 3/233 263126
/proc/meminfo: memFree=129592420/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=120680 memory=108540 CPUtime=1.48 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 26013 0 0 0 141 7 0 0 20 0 1 0 47562062 123576320 27135 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 30170 27135 2833 2753 0 26823 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 120680 KiB
Current children cumulated memory: 108540 KiB

[startup+3.11265 s]
/proc/loadavg: 4.14 4.14 4.09 5/243 263250
/proc/meminfo: memFree=129502536/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=142648 memory=131236 CPUtime=3.08 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 33568 0 0 0 300 8 0 0 20 0 1 0 47562062 146071552 32809 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 35662 32809 2833 2753 0 32315 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 142648 KiB
Current children cumulated memory: 131236 KiB

[startup+6.3003 s]
/proc/loadavg: 4.13 4.14 4.09 5/243 263250
/proc/meminfo: memFree=129190432/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=159084 memory=147816 CPUtime=6.27 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 41615 0 0 0 617 10 0 0 20 0 1 0 47562062 162902016 36954 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 39771 36954 2833 2753 0 36424 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 159084 KiB
Current children cumulated memory: 147816 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.14 4.08 5/243 263250
/proc/meminfo: memFree=128998364/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=165404 memory=154724 CPUtime=12.64 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 44391 0 0 0 1254 10 0 0 20 0 1 0 47562062 169373696 38681 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 41351 38681 2833 2753 0 38004 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 165404 KiB
Current children cumulated memory: 154724 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.15 4.09 6/243 263253
/proc/meminfo: memFree=128834224/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=195884 memory=185428 CPUtime=25.4 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 58422 0 0 0 2526 14 0 0 20 0 1 0 47562062 200585216 46357 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 48971 46357 2833 2753 0 45624 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 195884 KiB
Current children cumulated memory: 185428 KiB

[startup+51.1126 s]
/proc/loadavg: 4.11 4.14 4.09 5/243 263256
/proc/meminfo: memFree=128824208/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=204860 memory=194476 CPUtime=50.92 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 76905 0 0 0 5074 18 0 0 20 0 1 0 47562062 209776640 48619 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 51215 48619 2833 2753 0 47868 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 204860 KiB
Current children cumulated memory: 194476 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.09 6/243 263265
/proc/meminfo: memFree=127821220/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=225568 memory=213724 CPUtime=101.9 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 81724 0 0 0 10171 19 0 0 20 0 1 0 47562062 230981632 53431 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 56392 53431 2833 2753 0 53045 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 225568 KiB
Current children cumulated memory: 213724 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/242 263276
/proc/meminfo: memFree=127290888/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=230116 memory=218468 CPUtime=161.66 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 82931 0 0 0 16147 19 0 0 20 0 1 0 47562062 235638784 54617 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 57529 54617 2833 2753 0 54182 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 230116 KiB
Current children cumulated memory: 218468 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/242 263288
/proc/meminfo: memFree=126890232/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=230116 memory=219704 CPUtime=221.45 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 83018 0 0 0 22126 19 0 0 20 0 1 0 47562062 235638784 54926 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 57529 54926 2833 2753 0 54182 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 230116 KiB
Current children cumulated memory: 219704 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/242 263298
/proc/meminfo: memFree=126879384/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=229976 memory=223100 CPUtime=281.27 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 84478 0 0 0 28107 20 0 0 20 0 1 0 47562062 235495424 55775 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 57494 55775 2833 2753 0 54147 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 229976 KiB
Current children cumulated memory: 223100 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/241 263309
/proc/meminfo: memFree=126687980/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=247428 memory=240496 CPUtime=341.07 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 88573 0 0 0 34087 20 0 0 20 0 1 0 47562062 253366272 60124 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 61857 60124 2833 2753 0 58510 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 247428 KiB
Current children cumulated memory: 240496 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.13 4.09 6/243 263324
/proc/meminfo: memFree=126666868/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=247428 memory=240512 CPUtime=400.91 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 88674 0 0 0 40070 21 0 0 20 0 1 0 47562062 253366272 60128 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 61857 60128 2833 2753 0 58510 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 247428 KiB
Current children cumulated memory: 240512 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/243 263334
/proc/meminfo: memFree=126400176/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=264444 memory=256200 CPUtime=460.71 cores=5,7

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

/proc/loadavg: 4.05 4.09 4.09 6/243 264156
/proc/meminfo: memFree=126063964/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=335572 memory=327204 CPUtime=1596.88 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 113852 0 0 0 159663 25 0 0 20 0 1 0 47562062 343625728 81801 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 83893 81801 2849 2753 0 80546 0
Current children cumulated CPU time: 1596.88 s
Current children cumulated vsize: 335572 KiB
Current children cumulated memory: 327204 KiB

[startup+1662.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/243 264166
/proc/meminfo: memFree=126042480/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=335572 memory=327204 CPUtime=1656.67 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 113954 0 0 0 165642 25 0 0 20 0 1 0 47562062 343625728 81801 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 83893 81801 2849 2753 0 80546 0
Current children cumulated CPU time: 1656.67 s
Current children cumulated vsize: 335572 KiB
Current children cumulated memory: 327204 KiB

[startup+1722.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/243 264177
/proc/meminfo: memFree=126041288/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=335572 memory=327204 CPUtime=1716.47 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 114056 0 0 0 171622 25 0 0 20 0 1 0 47562062 343625728 81801 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 83893 81801 2849 2753 0 80546 0
Current children cumulated CPU time: 1716.47 s
Current children cumulated vsize: 335572 KiB
Current children cumulated memory: 327204 KiB

[startup+1782.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/243 264188
/proc/meminfo: memFree=126033232/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=329612 memory=322128 CPUtime=1776.26 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 114164 0 0 0 177597 29 0 0 20 0 1 0 47562062 337522688 80532 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 82403 80532 2849 2753 0 79056 0
Current children cumulated CPU time: 1776.26 s
Current children cumulated vsize: 329612 KiB
Current children cumulated memory: 322128 KiB

[startup+1842.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/243 264198
/proc/meminfo: memFree=126031160/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=329612 memory=322128 CPUtime=1836.14 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 114171 0 0 0 183475 139 0 0 20 0 1 0 47562062 337522688 80532 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 82403 80532 2849 2753 0 79056 0
Current children cumulated CPU time: 1836.14 s
Current children cumulated vsize: 329612 KiB
Current children cumulated memory: 322128 KiB

[startup+1902.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/243 264208
/proc/meminfo: memFree=126030364/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=329612 memory=322128 CPUtime=1896 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 114178 0 0 0 189341 259 0 0 20 0 1 0 47562062 337522688 80532 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 82403 80532 2849 2753 0 79056 0
Current children cumulated CPU time: 1896 s
Current children cumulated vsize: 329612 KiB
Current children cumulated memory: 322128 KiB

[startup+1962.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/241 264219
/proc/meminfo: memFree=126028896/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=329612 memory=322128 CPUtime=1955.88 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 114185 0 0 0 195211 377 0 0 20 0 1 0 47562062 337522688 80532 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 82403 80532 2849 2753 0 79056 0
Current children cumulated CPU time: 1955.88 s
Current children cumulated vsize: 329612 KiB
Current children cumulated memory: 322128 KiB

[startup+2022.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/241 264230
/proc/meminfo: memFree=126026480/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=329612 memory=322128 CPUtime=2015.75 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 114192 0 0 0 201084 491 0 0 20 0 1 0 47562062 337522688 80532 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 82403 80532 2849 2753 0 79056 0
Current children cumulated CPU time: 2015.75 s
Current children cumulated vsize: 329612 KiB
Current children cumulated memory: 322128 KiB

[startup+2082.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/241 264240
/proc/meminfo: memFree=126025056/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=329612 memory=322128 CPUtime=2075.63 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 114199 0 0 0 206956 607 0 0 20 0 1 0 47562062 337522688 80532 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 82403 80532 2849 2753 0 79056 0
Current children cumulated CPU time: 2075.63 s
Current children cumulated vsize: 329612 KiB
Current children cumulated memory: 322128 KiB

[startup+2142.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/241 264251
/proc/meminfo: memFree=126020880/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=329612 memory=322128 CPUtime=2135.49 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 114206 0 0 0 212828 721 0 0 20 0 1 0 47562062 337522688 80532 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 82403 80532 2849 2753 0 79056 0
Current children cumulated CPU time: 2135.49 s
Current children cumulated vsize: 329612 KiB
Current children cumulated memory: 322128 KiB

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

# cumulated CPU time of all completed processes:  user=2131.1 s, system=7.2679 s

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

[startup+2142.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/241 264251
/proc/meminfo: memFree=126020880/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=329612 memory=322128 CPUtime=2135.59 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 114206 0 0 0 212838 721 0 0 20 0 1 0 47562062 337522688 80532 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 82403 80532 2849 2753 0 79056 0
Current children cumulated CPU time: 2135.59 s
Current children cumulated vsize: 329612 KiB
Current children cumulated memory: 322128 KiB

[startup+2144 s]*
/proc/loadavg: 4.11 4.09 4.09 5/241 264253
/proc/meminfo: memFree=126020796/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=329612 memory=322128 CPUtime=2137.2 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 114206 0 0 0 212996 724 0 0 20 0 1 0 47562062 337522688 80532 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 82403 80532 2849 2753 0 79056 0
Current children cumulated CPU time: 2137.2 s
Current children cumulated vsize: 329612 KiB
Current children cumulated memory: 322128 KiB

[startup+2144.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/241 264253
/proc/meminfo: memFree=126020796/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=329612 memory=322128 CPUtime=2137.99 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 114206 0 0 0 213074 725 0 0 20 0 1 0 47562062 337522688 80532 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 82403 80532 2849 2753 0 79056 0
Current children cumulated CPU time: 2137.99 s
Current children cumulated vsize: 329612 KiB
Current children cumulated memory: 322128 KiB

[startup+2145 s]*
/proc/loadavg: 4.10 4.09 4.09 5/241 264253
/proc/meminfo: memFree=126020796/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=329612 memory=322128 CPUtime=2138.2 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 114206 0 0 0 213095 725 0 0 20 0 1 0 47562062 337522688 80532 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 82403 80532 2849 2753 0 79056 0
Current children cumulated CPU time: 2138.2 s
Current children cumulated vsize: 329612 KiB
Current children cumulated memory: 322128 KiB

[startup+2145.11 s]
/proc/loadavg: 4.10 4.09 4.09 5/241 264253
/proc/meminfo: memFree=126020796/131655788 swapFree=131071996/131071996
[pid=263124] ppid=263121 vsize=329612 memory=322128 CPUtime=2138.3 cores=5,7
/proc/263124/stat : 263124 (LS-MabSP) R 263121 263124 260572 0 -1 4194304 114206 0 0 0 213105 725 0 0 20 0 1 0 47562062 337522688 80532 134679101440 4194304 15467897 140730671832096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26697728 140730671834143 140730671834245 140730671834245 140730671841261 0
/proc/263124/statm: 82403 80532 2849 2753 0 79056 0
Current children cumulated CPU time: 2138.3 s
Current children cumulated vsize: 329612 KiB
Current children cumulated memory: 322128 KiB

Child status: 0

Real time (s): 2145.17
CPU time (s): 2138.37
CPU user time (s): 2131.1
CPU system time (s): 7.2679
CPU usage (%): 99.6829
Max. virtual memory (cumulated for all children) (KiB): 335572
Max. memory (cumulated for all children) (KiB): 327204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2131.1
system time used= 7.2679
maximum resident set size= 327204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114289
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60
involuntary context switches= 871


# summary of solver processes directly reported to runsolver:
#   pid: 263124
#   total CPU time (s): 2138.37
#   total CPU user time (s): 2131.1
#   total CPU system time (s): 7.2679

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2638 second user time and 19.6427 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-08-05 00:14:10
IDJOB=4427945
IDBENCH=148775
IDSOLVER=3047
FILE ID=nodeC005/4427945-1722809650
RUNJOBID= nodeC005-1722806084-260585
SLURM_JOB_ID= 8258563
Free space on /tmp= 723732 MiB

SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427945-1722809650/watcher-4427945-1722809650 -o /tmp/evaluation-result-4427945-1722809650/solver-4427945-1722809650 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722806084-260585 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427945-1722809650.opb -t 3558 -s 893628007

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

MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=893628007

nodeC005.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	: 0xb00001f
cpu MHz		: 3494.843
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3119.338
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.353
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.340
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.211
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1866.423
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1296.720
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.212
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129716676 kB
MemAvailable:   129995208 kB
Buffers:          307044 kB
Cached:           817096 kB
SwapCached:            0 kB
Active:           550204 kB
Inactive:         925744 kB
Active(anon):       1512 kB
Inactive(anon):   387348 kB
Active(file):     548692 kB
Inactive(file):   538396 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             32524 kB
Writeback:             0 kB
AnonPages:        351172 kB
Mapped:           103024 kB
Shmem:             37704 kB
KReclaimable:      63288 kB
Slab:             145736 kB
SReclaimable:      63288 kB
SUnreclaim:        82448 kB
KernelStack:        3812 kB
PageTables:         9888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     813764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20224 kB
HardwareCorrupted:     0 kB
AnonHugePages:    282624 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:      248648 kB
DirectMap2M:    22724608 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723700 MiB
End job on nodeC005 at 2024-08-05 00:49:56