Trace number 4484553

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
UWrMaxSat 2025-06-04SAT (TO)224 3600.1 3610.12

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
MD5SUMb5103574c4a35f60a2227b90ce19b385
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 benchmark5
Best CPU time to get the best result obtained on this benchmark0.748043
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4447
Total number of constraints4926
Number of constraints which are clauses4205
Number of constraints which are cardinality constraints (but not clauses)721
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint27
Number of terms in the objective function 4447
Biggest coefficient in the objective function 2128
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 12580
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2128
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 12580
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	224

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: 63794 MiB (62049 MiB free)
  memory of node 1: 64507 MiB (62943 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484553-1751284986/watcher-4484553-1751284986 -o /tmp/evaluation-result-4484553-1751284986/solver-4484553-1751284986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751281373-39355 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4484553-1751284986.opb -mem-lim=31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100068 s]*
/proc/loadavg: 4.61 4.41 4.19 5/246 39731
/proc/meminfo: memFree=127992284/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=10792 memory=9720 CPUtime=0.1 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 2109 0 0 0 10 0 0 0 20 0 1 0 44177983 11051008 2430 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 2698 2430 480 484 0 2109 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10792 KiB
Current children cumulated memory: 9720 KiB

[startup+0.213132 s]*
/proc/loadavg: 4.61 4.41 4.19 4/246 39738
/proc/meminfo: memFree=127980504/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=24536 memory=22820 CPUtime=0.21 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 6130 0 0 0 19 2 0 0 20 0 1 0 44177983 25124864 5705 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 6134 5705 480 484 0 5545 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 24536 KiB
Current children cumulated memory: 22820 KiB

[startup+0.31364 s]*
/proc/loadavg: 4.61 4.41 4.19 4/246 39738
/proc/meminfo: memFree=127978248/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=25472 memory=22704 CPUtime=0.31 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 6769 0 0 0 29 2 0 0 20 0 1 0 44177983 26083328 5676 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 6368 5676 480 484 0 5779 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 25472 KiB
Current children cumulated memory: 22704 KiB

[startup+0.700291 s]
/proc/loadavg: 4.61 4.41 4.19 4/246 39738
/proc/meminfo: memFree=127978248/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=25604 memory=22960 CPUtime=0.68 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 6811 0 0 0 66 2 0 0 20 0 1 0 44177983 26218496 5740 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 6401 5740 512 484 0 5812 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 25604 KiB
Current children cumulated memory: 22960 KiB

[startup+1.50034 s]
/proc/loadavg: 4.61 4.41 4.19 5/248 39747
/proc/meminfo: memFree=127977044/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=36740 memory=34224 CPUtime=1.47 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 9578 0 0 0 143 4 0 0 20 0 1 0 44177983 37621760 8556 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 9185 8556 544 484 0 8596 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 36740 KiB
Current children cumulated memory: 34224 KiB

[startup+3.11317 s]
/proc/loadavg: 4.61 4.41 4.19 5/246 39807
/proc/meminfo: memFree=128431976/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=36740 memory=34224 CPUtime=3.08 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 9582 0 0 0 304 4 0 0 20 0 1 0 44177983 37621760 8556 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 9185 8556 544 484 0 8596 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 36740 KiB
Current children cumulated memory: 34224 KiB

[startup+6.30032 s]
/proc/loadavg: 4.64 4.42 4.20 5/250 39820
/proc/meminfo: memFree=128390320/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=36740 memory=34224 CPUtime=6.25 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 9598 0 0 0 621 4 0 0 20 0 1 0 44177983 37621760 8556 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 9185 8556 544 484 0 8596 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 36740 KiB
Current children cumulated memory: 34224 KiB

[startup+12.7003 s]
/proc/loadavg: 4.59 4.41 4.20 5/250 39821
/proc/meminfo: memFree=128380680/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=36740 memory=34352 CPUtime=12.64 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 9603 0 0 0 1260 4 0 0 20 0 1 0 44177983 37621760 8588 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 9185 8588 544 484 0 8596 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 36740 KiB
Current children cumulated memory: 34352 KiB

[startup+25.5003 s]
/proc/loadavg: 4.46 4.39 4.19 5/250 39821
/proc/meminfo: memFree=128337144/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=62728 memory=60344 CPUtime=25.39 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 28205 0 0 0 2529 10 0 0 20 0 1 0 44177983 64233472 15086 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 15682 15086 544 484 0 15093 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 62728 KiB
Current children cumulated memory: 60344 KiB

[startup+51.1132 s]
/proc/loadavg: 4.38 4.38 4.19 5/250 39821
/proc/meminfo: memFree=128320008/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=78872 memory=76564 CPUtime=50.93 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 40926 0 0 0 5078 15 0 0 20 0 1 0 44177983 80764928 19141 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 19718 19141 544 484 0 19129 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 78872 KiB
Current children cumulated memory: 76564 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.32 4.18 5/250 39823
/proc/meminfo: memFree=128301408/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=112448 memory=110228 CPUtime=101.96 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 45978 0 0 0 10178 18 0 0 20 0 1 0 44177983 115146752 27557 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 28112 27557 544 484 0 27523 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 112448 KiB
Current children cumulated memory: 110228 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.27 4.17 5/250 39825
/proc/meminfo: memFree=128229120/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=137616 memory=135828 CPUtime=161.8 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 49925 0 0 0 16159 21 0 0 20 0 1 0 44177983 140918784 33957 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 34404 33957 544 484 0 33815 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 137616 KiB
Current children cumulated memory: 135828 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.25 4.17 5/250 39827
/proc/meminfo: memFree=128173868/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=143604 memory=141860 CPUtime=221.64 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 52823 0 0 0 22141 23 0 0 20 0 1 0 44177983 147050496 35465 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 35901 35465 544 484 0 35312 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 143604 KiB
Current children cumulated memory: 141860 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.23 4.17 5/249 39829
/proc/meminfo: memFree=128165316/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=145760 memory=141956 CPUtime=281.47 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 59772 0 0 0 28120 27 0 0 20 0 1 0 44177983 149258240 35489 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 36440 35489 544 484 0 35851 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 145760 KiB
Current children cumulated memory: 141956 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.19 4.16 5/251 39839
/proc/meminfo: memFree=128148500/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=151200 memory=149456 CPUtime=341.31 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 62389 0 0 0 34101 30 0 0 20 0 1 0 44177983 154828800 37364 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 37800 37364 544 484 0 37211 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 151200 KiB
Current children cumulated memory: 149456 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.18 4.16 5/251 39841
/proc/meminfo: memFree=128141152/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=170144 memory=168340 CPUtime=401.15 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 64080 0 0 0 40085 30 0 0 20 0 1 0 44177983 174227456 42085 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 42536 42085 544 484 0 41947 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 170144 KiB
Current children cumulated memory: 168340 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.16 4.15 5/251 39844
/proc/meminfo: memFree=127917220/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=362252 memory=344408 CPUtime=460.98 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 91304 0 0 0 46058 40 0 0 20 0 1 0 44177983 370946048 86102 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 90563 86102 544 484 0 89974 0
Current children cumulated CPU time: 460.98 s

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

Current children cumulated memory: 506020 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.13 4.14 5/251 40276
/proc/meminfo: memFree=124426340/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=513356 memory=504464 CPUtime=2914.09 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 151336 0 0 0 291249 160 0 0 20 0 1 0 44177983 525676544 126116 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 128339 126116 544 484 0 127750 0
Current children cumulated CPU time: 2914.09 s
Current children cumulated vsize: 513356 KiB
Current children cumulated memory: 504464 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/250 40278
/proc/meminfo: memFree=124395696/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=515564 memory=506672 CPUtime=2973.93 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 151481 0 0 0 297231 162 0 0 20 0 1 0 44177983 527937536 126668 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 128891 126668 544 484 0 128302 0
Current children cumulated CPU time: 2973.93 s
Current children cumulated vsize: 515564 KiB
Current children cumulated memory: 506672 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/250 40280
/proc/meminfo: memFree=124409736/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=515456 memory=506564 CPUtime=3033.77 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 152566 0 0 0 303212 165 0 0 20 0 1 0 44177983 527826944 126641 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 128864 126641 544 484 0 128275 0
Current children cumulated CPU time: 3033.77 s
Current children cumulated vsize: 515456 KiB
Current children cumulated memory: 506564 KiB

[startup+3102.3 s]
/proc/loadavg: 4.19 4.14 4.13 5/250 40282
/proc/meminfo: memFree=124405904/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=516208 memory=507316 CPUtime=3093.62 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 152944 0 0 0 309195 167 0 0 20 0 1 0 44177983 528596992 126829 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 129052 126829 544 484 0 128463 0
Current children cumulated CPU time: 3093.62 s
Current children cumulated vsize: 516208 KiB
Current children cumulated memory: 507316 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/249 40284
/proc/meminfo: memFree=124406136/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=515936 memory=507044 CPUtime=3153.46 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 153688 0 0 0 315177 169 0 0 20 0 1 0 44177983 528318464 126761 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 128984 126761 544 484 0 128395 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 515936 KiB
Current children cumulated memory: 507044 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/250 40287
/proc/meminfo: memFree=124404752/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=516668 memory=507776 CPUtime=3213.29 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 154245 0 0 0 321159 170 0 0 20 0 1 0 44177983 529068032 126944 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 129167 126944 544 484 0 128578 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 516668 KiB
Current children cumulated memory: 507776 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/250 40289
/proc/meminfo: memFree=124422592/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=522292 memory=513400 CPUtime=3273.14 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 154546 0 0 0 327142 172 0 0 20 0 1 0 44177983 534827008 128350 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 130573 128350 544 484 0 129984 0
Current children cumulated CPU time: 3273.14 s
Current children cumulated vsize: 522292 KiB
Current children cumulated memory: 513400 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/250 40291
/proc/meminfo: memFree=124385940/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=517436 memory=508544 CPUtime=3332.98 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 155835 0 0 0 333123 175 0 0 20 0 1 0 44177983 529854464 127136 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 129359 127136 544 484 0 128770 0
Current children cumulated CPU time: 3332.98 s
Current children cumulated vsize: 517436 KiB
Current children cumulated memory: 508544 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/251 40300
/proc/meminfo: memFree=124413596/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=517436 memory=508544 CPUtime=3392.82 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 155866 0 0 0 339107 175 0 0 20 0 1 0 44177983 529854464 127136 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 129359 127136 544 484 0 128770 0
Current children cumulated CPU time: 3392.82 s
Current children cumulated vsize: 517436 KiB
Current children cumulated memory: 508544 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/251 40302
/proc/meminfo: memFree=124376672/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=517868 memory=508976 CPUtime=3452.66 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 156077 0 0 0 345090 176 0 0 20 0 1 0 44177983 530296832 127244 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 129467 127244 544 484 0 128878 0
Current children cumulated CPU time: 3452.66 s
Current children cumulated vsize: 517868 KiB
Current children cumulated memory: 508976 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/251 40315
/proc/meminfo: memFree=124384032/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=518188 memory=509332 CPUtime=3512.5 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 157008 0 0 0 351072 178 0 0 20 0 1 0 44177983 530624512 127333 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 129547 127333 544 484 0 128958 0
Current children cumulated CPU time: 3512.5 s
Current children cumulated vsize: 518188 KiB
Current children cumulated memory: 509332 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/251 40318
/proc/meminfo: memFree=124374496/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=519464 memory=510572 CPUtime=3572.35 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 157644 0 0 0 357055 180 0 0 20 0 1 0 44177983 531931136 127643 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 129866 127643 544 484 0 129277 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 519464 KiB
Current children cumulated memory: 510572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.04 4.08 4.09 5/251 40318
/proc/meminfo: memFree=124382624/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=519500 memory=510608 CPUtime=3600.08 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 157746 0 0 0 359827 181 0 0 20 0 1 0 44177983 531968000 127652 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 129875 127652 544 484 0 129286 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 519500 KiB
Current children cumulated memory: 510608 KiB

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

[startup+3610.12 s]
# the end of solver process 39729 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.28 s, system=1.82094 s

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

[startup+3610.11 s]
/proc/loadavg: 4.04 4.08 4.09 5/251 40318
/proc/meminfo: memFree=124382624/131382120 swapFree=33010416/33010684
[pid=39729] ppid=39726 vsize=519500 memory=510608 CPUtime=3600.08 cores=5,7
/proc/39729/stat : 39729 (uwrmaxsat) R 39726 39729 39342 0 -1 4194304 157746 0 0 0 359827 181 0 0 20 0 1 0 44177983 531968000 127652 18446744073709551615 4198400 6176925 140734341666032 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 31764480 140734341671274 140734341671401 140734341671401 140734341677003 0
/proc/39729/statm: 129875 127652 544 484 0 129286 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 519500 KiB
Current children cumulated memory: 510608 KiB

Child status: 10

Real time (s): 3610.12
CPU time (s): 3600.1
CPU user time (s): 3598.28
CPU system time (s): 1.82094
CPU usage (%): 99.7226
Max. virtual memory (cumulated for all children) (KiB): 829460
Max. memory (cumulated for all children) (KiB): 808352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.28
system time used= 1.82094
maximum resident set size= 815860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157753
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= 56
involuntary context switches= 1476


# summary of solver processes directly reported to runsolver:
#   pid: 39729
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3598.28
#   total CPU system time (s): 1.82094

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6335 second user time and 36.3152 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-06-30 14:03:06
IDJOB=4484553
IDBENCH=146659
IDSOLVER=3372
FILE ID=nodeC006/4484553-1751284986
RUNJOBID= nodeC006-1751281373-39355
SLURM_JOB_ID= 9594234
Free space on /tmp= 433052 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484553-1751284986/watcher-4484553-1751284986 -o /tmp/evaluation-result-4484553-1751284986/solver-4484553-1751284986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751281373-39355 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4484553-1751284986.opb -mem-lim=31000

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

MD5SUM BENCH= b5103574c4a35f60a2227b90ce19b385
RANDOM SEED=2130293227

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.657
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
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		: 3508.456
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
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.292
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
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.695
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
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		: 3491.718
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
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		: 1197.142
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
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		: 1197.668
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
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.208
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        127544512 kB
MemAvailable:   128773592 kB
Buffers:            2128 kB
Cached:          2032704 kB
SwapCached:           12 kB
Active:          1493732 kB
Inactive:        1761808 kB
Active(anon):    1225920 kB
Inactive(anon):    12736 kB
Active(file):     267812 kB
Inactive(file):  1749072 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2608 kB
Writeback:            16 kB
AnonPages:       1223516 kB
Mapped:           109392 kB
Shmem:             17948 kB
KReclaimable:     103264 kB
Slab:             185288 kB
SReclaimable:     103264 kB
SUnreclaim:        82024 kB
KernelStack:        4064 kB
PageTables:         5352 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    1579320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1134592 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC006 at 2025-06-30 15:03:17