Trace number 4450662

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 NameAnswerCPU timeWall clock time
Picat 2024-06-18SAT 291.525 292.4

General information on the benchmark

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

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (60190 MiB free)
  memory of node 1: 64473 MiB (60332 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450662-1721418000/watcher-4450662-1721418000 -o /tmp/evaluation-result-4450662-1721418000/solver-4450662-1721418000 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721410767-1027285 --watchdog 3760 pb_picat HOME/instance-4450662-1721418000.opb 

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1031959, runsolver pid=1031956

[startup+0.100802 s]*
/proc/loadavg: 4.52 4.27 4.17 5/254 1031960
/proc/meminfo: memFree=123382720/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2033608 memory=34304 CPUtime=0.09 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 995 0 0 0 9 0 0 0 20 0 1 0 193970526 2082414592 8576 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 508402 8576 1615 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 34304 KiB

[startup+0.205748 s]*
/proc/loadavg: 4.52 4.27 4.17 5/254 1031960
/proc/meminfo: memFree=123377672/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2035220 memory=40256 CPUtime=0.2 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 1357 0 0 0 19 1 0 0 20 0 1 0 193970526 2084065280 10064 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 508805 10064 1787 439 0 504234 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2035220 KiB
Current children cumulated memory: 40256 KiB

[startup+0.305655 s]*
/proc/loadavg: 4.52 4.27 4.17 6/254 1031960
/proc/meminfo: memFree=123373640/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2039272 memory=43492 CPUtime=0.29 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 2328 0 0 0 28 1 0 0 20 0 1 0 193970526 2088214528 10873 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 509818 10873 1787 439 0 505247 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2039272 KiB
Current children cumulated memory: 43492 KiB

[startup+0.700182 s]
/proc/loadavg: 4.52 4.27 4.17 5/254 1031960
/proc/meminfo: memFree=123366600/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2042172 memory=46760 CPUtime=0.69 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 4618 0 0 0 66 3 0 0 20 0 1 0 193970526 2091184128 11690 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 510543 11690 1787 439 0 505972 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2042172 KiB
Current children cumulated memory: 46760 KiB

[startup+1.50021 s]
/proc/loadavg: 4.52 4.27 4.17 5/254 1031960
/proc/meminfo: memFree=123359560/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2043852 memory=45768 CPUtime=1.48 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 6767 0 0 0 145 3 0 0 20 0 1 0 193970526 2092904448 11442 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 510963 11442 1787 439 0 506392 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2043852 KiB
Current children cumulated memory: 45768 KiB

[startup+3.10562 s]
/proc/loadavg: 4.48 4.27 4.17 5/254 1031960
/proc/meminfo: memFree=123333052/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2044084 memory=45748 CPUtime=3.08 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 9377 0 0 0 305 3 0 0 20 0 1 0 193970526 2093142016 11437 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 511021 11437 1787 439 0 506450 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2044084 KiB
Current children cumulated memory: 45748 KiB

[startup+6.30022 s]
/proc/loadavg: 4.48 4.27 4.17 5/254 1031960
/proc/meminfo: memFree=123377680/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2044084 memory=46924 CPUtime=6.27 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 13390 0 0 0 623 4 0 0 20 0 1 0 193970526 2093142016 11731 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 511021 11731 1787 439 0 506450 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2044084 KiB
Current children cumulated memory: 46924 KiB

[startup+12.7002 s]
/proc/loadavg: 4.44 4.26 4.17 5/254 1031962
/proc/meminfo: memFree=123357940/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2044296 memory=48848 CPUtime=12.65 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 23743 0 0 0 1259 6 0 0 20 0 1 0 193970526 2093359104 12212 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 511074 12212 1787 439 0 506503 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2044296 KiB
Current children cumulated memory: 48848 KiB

[startup+25.5002 s]
/proc/loadavg: 4.34 4.25 4.17 5/257 1032107
/proc/meminfo: memFree=123520132/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2048488 memory=53476 CPUtime=25.42 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 44477 0 0 0 2532 10 0 0 20 0 1 0 193970526 2097651712 13369 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 512122 13369 1787 439 0 507551 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2048488 KiB
Current children cumulated memory: 53476 KiB

[startup+51.1057 s]
/proc/loadavg: 4.29 4.25 4.17 5/257 1032112
/proc/meminfo: memFree=123469104/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2061012 memory=58732 CPUtime=50.96 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 76672 0 0 0 5077 19 0 0 20 0 1 0 193970526 2110476288 14683 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 515253 14683 1787 439 0 510682 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2061012 KiB
Current children cumulated memory: 58732 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.22 4.16 5/257 1032166
/proc/meminfo: memFree=123470124/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2045328 memory=49588 CPUtime=102.02 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 131016 0 0 0 10166 36 0 0 20 0 1 0 193970526 2094415872 12397 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 511332 12397 1787 439 0 506761 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2045328 KiB
Current children cumulated memory: 49588 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.19 4.16 5/257 1032223
/proc/meminfo: memFree=123418020/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2061712 memory=63596 CPUtime=161.83 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 191571 0 0 0 16128 55 0 0 20 0 1 0 193970526 2111193088 15899 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 515428 15899 1787 439 0 510857 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2061712 KiB
Current children cumulated memory: 63596 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.19 4.16 5/257 1032233
/proc/meminfo: memFree=123454120/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2057572 memory=62804 CPUtime=221.64 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 245504 0 0 0 22092 72 0 0 20 0 1 0 193970526 2106953728 15701 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 514393 15701 1787 439 0 509822 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 2057572 KiB
Current children cumulated memory: 62804 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.17 4.15 5/257 1032245
/proc/meminfo: memFree=123436956/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2053652 memory=51912 CPUtime=281.45 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 302829 0 0 0 28052 93 0 0 20 0 1 0 193970526 2102939648 12978 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 513413 12978 1787 439 0 508842 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 2053652 KiB
Current children cumulated memory: 51912 KiB

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

# cumulated CPU time of all completed processes:  user=290.556 s, system=0.969164 s

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

[startup+288 s]*
/proc/loadavg: 4.09 4.16 4.15 5/257 1032245
/proc/meminfo: memFree=123455848/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2061844 memory=60276 CPUtime=287.14 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 307691 0 0 0 28619 95 0 0 20 0 1 0 193970526 2111328256 15069 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 515461 15069 1787 439 0 510890 0
Current children cumulated CPU time: 287.14 s
Current children cumulated vsize: 2061844 KiB
Current children cumulated memory: 60276 KiB

[startup+289.6 s]
/proc/loadavg: 4.09 4.16 4.15 5/257 1032246
/proc/meminfo: memFree=123425392/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2078228 memory=73048 CPUtime=288.72 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 309686 0 0 0 28777 95 0 0 20 0 1 0 193970526 2128105472 18262 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 519557 18262 1787 439 0 514986 0
Current children cumulated CPU time: 288.72 s
Current children cumulated vsize: 2078228 KiB
Current children cumulated memory: 73048 KiB

[startup+291.2 s]
/proc/loadavg: 4.09 4.16 4.15 5/257 1032246
/proc/meminfo: memFree=123445668/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2057748 memory=60776 CPUtime=290.32 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 311162 0 0 0 28937 95 0 0 20 0 1 0 193970526 2107133952 15194 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 514437 15194 1787 439 0 509866 0
Current children cumulated CPU time: 290.32 s
Current children cumulated vsize: 2057748 KiB
Current children cumulated memory: 60776 KiB

[startup+292 s]*
/proc/loadavg: 4.09 4.16 4.15 5/257 1032246
/proc/meminfo: memFree=123447564/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2078228 memory=69800 CPUtime=291.13 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 311838 0 0 0 29017 96 0 0 20 0 1 0 193970526 2128105472 17450 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 519557 17450 1787 439 0 514986 0
Current children cumulated CPU time: 291.13 s
Current children cumulated vsize: 2078228 KiB
Current children cumulated memory: 69800 KiB

[startup+292.2 s]
/proc/loadavg: 4.09 4.16 4.15 5/257 1032246
/proc/meminfo: memFree=123447564/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2078228 memory=71848 CPUtime=291.32 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 311868 0 0 0 29036 96 0 0 20 0 1 0 193970526 2128105472 17962 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 519557 17962 1787 439 0 514986 0
Current children cumulated CPU time: 291.32 s
Current children cumulated vsize: 2078228 KiB
Current children cumulated memory: 71848 KiB

[startup+292.3 s]
/proc/loadavg: 4.09 4.16 4.15 5/257 1032246
/proc/meminfo: memFree=123447564/131524596 swapFree=131071996/131071996
[pid=1031959] ppid=1031956 vsize=2078228 memory=71848 CPUtime=291.42 cores=5,7
/proc/1031959/stat : 1031959 (pb_picat) R 1031956 1031959 1027272 0 -1 4194304 311882 0 0 0 29046 96 0 0 20 0 1 0 193970526 2128105472 17962 134679101440 4194304 5989780 140737428600528 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36786176 140737428603927 140737428604003 140737428604003 140737428611020 0
/proc/1031959/statm: 519557 17962 1787 439 0 514986 0
Current children cumulated CPU time: 291.42 s
Current children cumulated vsize: 2078228 KiB
Current children cumulated memory: 71848 KiB

Child status: 0

Real time (s): 292.4
CPU time (s): 291.525
CPU user time (s): 290.556
CPU system time (s): 0.969164
CPU usage (%): 99.7009
Max. virtual memory (cumulated for all children) (KiB): 2078228
Max. memory (cumulated for all children) (KiB): 76836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 290.556
system time used= 0.969164
maximum resident set size= 77080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311906
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= 4
involuntary context switches= 391


# summary of solver processes directly reported to runsolver:
#   pid: 1031959
#   total CPU time (s): 291.525
#   total CPU user time (s): 290.556
#   total CPU system time (s): 0.969164

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.606391 second user time and 1.35713 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-19 21:40:12
IDJOB=4450662
IDBENCH=162192
IDSOLVER=3068
FILE ID=nodeC034/4450662-1721418000
RUNJOBID= nodeC034-1721410767-1027285
SLURM_JOB_ID= 7545473
Free space on /tmp= 890072 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size112-round22-3.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450662-1721418000/watcher-4450662-1721418000 -o /tmp/evaluation-result-4450662-1721418000/solver-4450662-1721418000 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721410767-1027285 --watchdog 3760  pb_picat HOME/instance-4450662-1721418000.opb

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

MD5SUM BENCH= fa6ba6ab9373c7e836356a3f9ed023a2
RANDOM SEED=410507

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3647.903
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3657.740
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.071
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.306
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3648.013
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3654.574
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.076
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3653.003
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        123415180 kB
MemAvailable:   129302168 kB
Buffers:          522548 kB
Cached:          6137764 kB
SwapCached:            0 kB
Active:          1045292 kB
Inactive:        6288780 kB
Active(anon):       1508 kB
Inactive(anon):   717868 kB
Active(file):    1043784 kB
Inactive(file):  5570912 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3920 kB
Writeback:            12 kB
AnonPages:        670836 kB
Mapped:           117572 kB
Shmem:             45912 kB
KReclaimable:     224232 kB
Slab:             354644 kB
SReclaimable:     224232 kB
SUnreclaim:       130412 kB
KernelStack:        4076 kB
PageTables:        10544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    6941180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73312 kB
HardwareCorrupted:     0 kB
AnonHugePages:    464896 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:      320212 kB
DirectMap2M:    44541952 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC034 at 2024-07-19 21:45:05