Trace number 4443682

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 40.4495 40.5452

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
MD5SUMedc49dd1b51fcfed98bb9be45944fb6c
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 benchmark1.82204
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2800
Total number of constraints990001
Number of constraints which are clauses986760
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints3160
Minimum length of a constraint2
Maximum length of a constraint1200
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 338
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1239
Number of bits of the biggest sum of numbers11
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-4443682-1721310082.opb (Picat 3.6#12)
40.40/40.53	s SATISFIABLE
40.40/40.53	v ~x2681 ~x344 ~x767 ~x1838 ~x1189 ~x2260 ~x2682 x345 ~x768 ~x1839 
40.40/40.53	v ~x1190 ~x2261 ~x2683 ~x346 ~x769 ~x1840 ~x1191 ~x2262 ~x2684 ~x347 
40.40/40.53	v ~x770 ~x1841 ~x1192 ~x2263 ~x2685 ~x348 ~x771 ~x1842 ~x1193 ~x2264 
40.40/40.53	v ~x2686 ~x349 ~x772 ~x1843 ~x1194 ~x2265 ~x2687 ~x350 ~x773 ~x1844 
40.40/40.53	v ~x1195 ~x2266 ~x2688 ~x351 ~x774 ~x1845 ~x1196 ~x2267 ~x2689 ~x352 
40.40/40.53	v ~x775 ~x1846 ~x1197 ~x2268 ~x2690 ~x353 ~x776 ~x1847 ~x1198 ~x2269 
40.40/40.53	v ~x2691 ~x354 ~x777 ~x1848 ~x1199 ~x2270 ~x2692 ~x355 ~x778 ~x1849 
40.40/40.53	v ~x1200 ~x2271 ~x2693 ~x356 ~x779 ~x1850 ~x1201 ~x2272 ~x2694 ~x357 
40.40/40.53	v ~x780 ~x1851 x1202 ~x2273 ~x2695 ~x358 ~x781 ~x1852 ~x1203 ~x2274 
40.40/40.53	v ~x2696 ~x359 ~x782 ~x1853 ~x1204 ~x2275 ~x2697 ~x360 ~x783 ~x1854 
40.40/40.53	v ~x1205 ~x2276 ~x2698 ~x361 ~x784 ~x1855 ~x1206 ~x2277 ~x2699 ~x362 
40.40/40.53	v ~x785 ~x1856 ~x1207 ~x2278 ~x2700 ~x363 ~x786 ~x1857 ~x1208 x2279 
40.40/40.53	v ~x2701 ~x364 ~x787 ~x1858 ~x1209 ~x2280 ~x2702 ~x365 ~x788 ~x1859 
40.40/40.53	v ~x1210 ~x2281 ~x2703 ~x366 ~x789 ~x1860 ~x1211 ~x2282 ~x2704 ~x367 
40.40/40.53	v ~x790 ~x1861 ~x1212 ~x2283 ~x2705 ~x368 x791 ~x1862 ~x1213 ~x2284 
40.40/40.53	v ~x2706 ~x369 ~x792 ~x1863 ~x1214 ~x2285 ~x2707 ~x370 ~x793 ~x1864 
40.40/40.53	v ~x1215 ~x2286 ~x2708 ~x371 ~x794 ~x1865 ~x1216 ~x2287 ~x2709 ~x372 
40.40/40.53	v ~x795 ~x1866 ~x1217 ~x2288 ~x2710 ~x373 ~x796 ~x1867 ~x1218 ~x2289 
40.40/40.53	v ~x2711 ~x374 ~x797 ~x1868 ~x1219 ~x2290 ~x2712 ~x375 ~x798 ~x1869 
40.40/40.53	v ~x1220 ~x2291 ~x2713 ~x376 ~x799 ~x1870 ~x1221 ~x2292 ~x2714 ~x377 
40.40/40.53	v ~x800 ~x1871 ~x1222 ~x2293 ~x2715 ~x378 ~x801 ~x1872 ~x1223 ~x2294 
40.40/40.53	v ~x2716 ~x379 ~x802 ~x1873 ~x1224 ~x2295 ~x2717 ~x380 ~x803 ~x1874 
40.40/40.53	v ~x1225 ~x2296 ~x2718 ~x381 ~x804 ~x1875 ~x1226 ~x2297 ~x2719 ~x382 
40.40/40.53	v ~x805 ~x1876 ~x1227 ~x2298 ~x2720 ~x383 ~x806 ~x1877 ~x1228 ~x2299 
40.40/40.53	v ~x2721 ~x384 ~x807 ~x1878 ~x1229 ~x2300 ~x2722 ~x385 ~x808 ~x1879 
40.40/40.53	v ~x1230 ~x2301 ~x2723 ~x386 ~x809 ~x1880 ~x1231 ~x2302 ~x2724 ~x387 
40.40/40.53	v ~x810 ~x1881 ~x1232 ~x2303 ~x2725 ~x388 ~x811 ~x1882 ~x1233 ~x2304 
40.40/40.53	v ~x2726 ~x389 ~x812 ~x1883 ~x1234 ~x2305 ~x2727 ~x390 ~x813 ~x1884 
40.40/40.53	v ~x1235 ~x2306 ~x2728 ~x391 ~x814 ~x1885 ~x1236 ~x2307 ~x2729 ~x392 
40.40/40.53	v ~x815 ~x1886 ~x1237 ~x2308 ~x2730 ~x393 ~x816 ~x1887 ~x1238 ~x2309 
40.40/40.53	v ~x2731 ~x394 ~x817 ~x1888 ~x1239 ~x2310 ~x2732 ~x395 ~x818 ~x1889 
40.40/40.53	v ~x1240 ~x2311 ~x2733 x396 ~x819 ~x1890 ~x1241 ~x2312 ~x2734 ~x397 
40.40/40.53	v ~x820 ~x1891 ~x1242 ~x2313 ~x2735 ~x398 ~x821 ~x1892 ~x1243 ~x2314 
40.40/40.53	v ~x2736 ~x399 x822 ~x1893 ~x1244 ~x2315 ~x2737 ~x400 ~x823 ~x1894 
40.40/40.53	v ~x1245 ~x2316 ~x2738 ~x401 ~x824 ~x1895 ~x1246 ~x2317 ~x2739 ~x402 
40.40/40.53	v ~x825 ~x1896 ~x1247 ~x2318 ~x2740 ~x403 ~x826 ~x1897 ~x1248 x2319 
40.40/40.53	v ~x2741 ~x404 ~x827 ~x1898 ~x1249 ~x2320 ~x2742 ~x405 ~x828 ~x1899 
40.40/40.53	v ~x1250 x2321 ~x2743 ~x406 ~x829 x1900 ~x1251 x2322 ~x2744 ~x407 
40.40/40.53	v ~x830 ~x1901 x1252 ~x2323 ~x2745 ~x408 ~x831 ~x1902 ~x1253 x2324 
40.40/40.53	v x2746 ~x409 ~x832 ~x1903 ~x1254 ~x2325 ~x2747 ~x410 ~x833 ~x1904 
40.40/40.53	v ~x1255 ~x2326 x2748 ~x411 ~x834 ~x1905 ~x1256 ~x2327 ~x2749 ~x412 
40.40/40.53	v ~x835 ~x1906 ~x1257 ~x2328 ~x2750 ~x413 ~x836 ~x1907 ~x1258 ~x2329 
40.40/40.53	v ~x2751 ~x414 ~x837 ~x1908 ~x1259 ~x2330 ~x2752 ~x415 ~x838 ~x1909 
40.40/40.53	v ~x1260 ~x2331 ~x2753 ~x416 ~x839 ~x1910 ~x1261 ~x2332 ~x2754 ~x417 
40.40/40.53	v ~x840 ~x1911 ~x1262 x2333 ~x2755 ~x418 ~x841 ~x1912 ~x1263 x2334 
40.40/40.53	v ~x2756 ~x419 ~x842 ~x1913 ~x1264 ~x2335 ~x2757 ~x420 ~x843 ~x1914 
40.40/40.53	v ~x1265 ~x2336 ~x2758 ~x421 ~x844 ~x1915 ~x1266 ~x2337 ~x2759 ~x422 
40.40/40.53	v ~x845 ~x1916 ~x1267 ~x2338 x2760 ~x423 ~x846 x1917 ~x1268 ~x2339 
40.40/40.53	v ~x2761 ~x424 ~x847 ~x1918 ~x1269 ~x2340 ~x2762 ~x425 ~x848 ~x1919 
40.40/40.53	v ~x1270 ~x2341 ~x2763 ~x426 ~x849 ~x1920 ~x1271 ~x2342 ~x2764 ~x427 
40.40/40.53	v ~x850 ~x1921 ~x1272 ~x2343 ~x2765 x428 x851 ~x1922 ~x1273 ~x2344 
40.40/40.53	v x2766 ~x429 ~x852 ~x1923 ~x1274 ~x2345 ~x2767 ~x430 ~x853 ~x1924 
40.40/40.53	v ~x1275 ~x2346 ~x2768 ~x431 ~x854 ~x1925 ~x1276 ~x2347 ~x2769 ~x432 
40.40/40.53	v ~x855 ~x1926 ~x1277 ~x2348 ~x2770 ~x433 ~x856 ~x1927 ~x1278 x2349 
40.40/40.53	v x2771 ~x434 ~x857 ~x1928 ~x1279 ~x2350 ~x2772 ~x435 ~x858 ~x1929 
40.40/40.53	v ~x1280 ~x2351 ~x2773 ~x436 ~x859 ~x1930 ~x1281 ~x2352 ~x2774 ~x437 
40.40/40.53	v ~x860 ~x1931 ~x1282 ~x2353 ~x2775 ~x438 ~x861 ~x1932 ~x1283 ~x2354 
40.40/40.53	v ~x2776 ~x439 ~x862 ~x1933 ~x1284 ~x2355 ~x2777 ~x440 ~x863 ~x1934 
40.40/40.53	v ~x1285 ~x2356 ~x2778 ~x441 ~x864 ~x1935 ~x1286 x2357 ~x2779 ~x442 
40.40/40.53	v ~x865 ~x1936 ~x1287 ~x2358 ~x2780 ~x443 ~x866 ~x1937 ~x1288 ~x2359 
40.40/40.53	v ~x2781 ~x444 ~x867 ~x1938 ~x1289 ~x2360 ~x2782 ~x445 ~x868 ~x1939 
40.40/40.53	v x1290 ~x2361 ~x2783 ~x446 ~x869 ~x1940 ~x1291 ~x2362 ~x2784 ~x447 
40.40/40.53	v ~x870 ~x1941 ~x1292 x2363 ~x2785 ~x448 ~x871 ~x1942 ~x1293 ~x2364 
40.40/40.53	v ~x2786 ~x449 ~x872 ~x1943 ~x1294 ~x2365 ~x2787 ~x450 ~x873 ~x1944 
40.40/40.53	v ~x1295 ~x2366 ~x2788 ~x451 ~x874 ~x1945 ~x1296 ~x2367 ~x2789 ~x452 
40.40/40.53	v ~x875 ~x1946 ~x1297 ~x2368 ~x2790 ~x453 ~x876 ~x1947 ~x1298 ~x2369 
40.40/40.53	v ~x2791 ~x454 ~x877 ~x1948 ~x1299 ~x2370 ~x2792 ~x455 ~x878 ~x1949 
40.40/40.53	v ~x1300 ~x2371 ~x2793 ~x456 ~x879 ~x1950 ~x1301 ~x2372 ~x2794 ~x457 
40.40/40.53	v ~x880 ~x1951 ~x1302 ~x2373 ~x2795 ~x458 ~x881 ~x1952 ~x1303 ~x2374 
40.40/40.53	v ~x2796 ~x459 ~x882 ~x1953 ~x1304 ~x2375 ~x2797 ~x460 ~x883 ~x1954 
40.40/40.53	v ~x1305 ~x2376 ~x2798 ~x461 ~x884 ~x1955 ~x1306 ~x2377 ~x2799 ~x462 
40.40/40.53	v ~x885 ~x1956 ~x1307 ~x2378 ~x2800 ~x463 ~x886 ~x1957 ~x1308 ~x2379 
40.40/40.53	v ~x41 x464 ~x887 ~x1958 ~x1309 ~x2380 ~x42 ~x465 ~x888 ~x1959 
40.40/40.53	v ~x1310 ~x2381 x43 ~x466 ~x889 ~x1960 ~x1311 ~x2382 ~x44 ~x467 
40.40/40.53	v ~x890 ~x1961 ~x1312 ~x2383 ~x45 ~x468 ~x891 ~x1962 ~x1313 ~x2384 
40.40/40.53	v ~x46 ~x469 ~x892 ~x1963 ~x1314 ~x2385 ~x47 ~x470 ~x893 ~x1964 
40.40/40.53	v ~x1315 ~x2386 ~x48 ~x471 ~x894 ~x1965 ~x1316 ~x2387 ~x49 ~x472 
40.40/40.53	v ~x895 ~x1966 ~x1317 ~x2388 ~x50 ~x473 ~x896 ~x1967 ~x1318 ~x2389 
40.40/40.53	v ~x51 ~x474 ~x897 ~x1968 ~x1319 ~x2390 ~x52 ~x475 ~x898 ~x1969 
40.40/40.53	v ~x1320 ~x2391 ~x53 ~x476 ~x899 ~x1970 ~x1321 ~x2392 ~x54 ~x477 
40.40/40.53	v ~x900 ~x1971 ~x1322 ~x2393 ~x55 ~x478 ~x901 ~x1972 ~x1323 ~x2394 
40.40/40.53	v ~x56 ~x479 ~x902 ~x1973 ~x1324 ~x2395 ~x57 ~x480 ~x903 x1974 
40.40/40.53	v ~x1325 ~x2396 ~x58 ~x481 ~x904 ~x1975 ~x1326 ~x2397 ~x59 ~x482 
40.40/40.53	v ~x905 ~x1976 ~x1327 ~x2398 ~x60 ~x2 ~x483 ~x906 ~x1977 ~x1328 
40.40/40.53	v ~x2399 ~x61 ~x1601 ~x484 x907 ~x1978 ~x1329 ~x2400 ~x62 ~x485 
40.40/40.53	v ~x908 ~x1979 ~x1330 ~x2401 ~x63 ~x486 ~x909 ~x3 ~x1980 ~x1331 
40.40/40.53	v ~x2402 ~x64 ~x487 ~x910 ~x1602 ~x1981 ~x1332 ~x2403 ~x65 ~x488 
40.40/40.53	v ~x911 ~x4 ~x1982 ~x1333 ~x2404 ~x66 ~x489 ~x912 ~x1603 ~x1983 
40.40/40.53	v x1334 ~x2405 ~x67 ~x490 ~x913 ~x5 ~x1984 ~x1335 ~x2406 ~x68 
40.40/40.53	v ~x491 ~x1604 ~x1985 ~x1336 ~x2407 ~x69 ~x492 x6 ~x1986 ~x914 
40.40/40.53	v ~x1337 x2408 ~x70 ~x493 ~x1605 ~x1987 ~x915 ~x1338 ~x2409 ~x71 
40.40/40.53	v ~x494 ~x7 ~x1988 ~x916 ~x1339 ~x2410 ~x72 ~x495 ~x1606 ~x1989 
40.40/40.53	v ~x917 ~x1340 ~x2411 ~x73 ~x496 ~x8 ~x1990 ~x918 ~x1341 ~x2412 
40.40/40.53	v ~x74 ~x497 ~x1607 ~x1991 ~x919 ~x1342 ~x2413 ~x75 ~x498 ~x1992 
40.40/40.53	v ~x920 ~x1343 ~x2414 ~x76 ~x499 ~x1993 ~x921 ~x9 ~x1344 ~x2415 
40.40/40.53	v ~x77 ~x500 ~x1994 ~x922 ~x1608 ~x1345 ~x2416 ~x78 ~x501 ~x1995 
40.40/40.53	v ~x923 ~x10 ~x1346 ~x2417 ~x79 ~x502 ~x1996 ~x924 ~x1609 ~x1347 
40.40/40.53	v ~x2418 ~x80 ~x503 ~x1997 ~x925 ~x11 ~x1348 ~x2419 ~x81 ~x504 
40.40/40.53	v ~x1998 ~x926 ~x1610 ~x1349 ~x2420 ~x82 ~x505 ~x1999 ~x927 ~x13 
40.40/40.53	v ~x1350 ~x2421 ~x83 ~x506 ~x2000 ~x928 ~x1611 ~x1351 ~x2422 ~x84 
40.40/40.53	v ~x507 ~x2001 ~x929 ~x14 ~x1352 ~x2423 ~x85 ~x508 ~x2002 ~x930 
40.40/40.53	v ~x1612 ~x1353 ~x2424 ~x86 ~x509 ~x2003 ~x931 ~x16 ~x1354 ~x2425 
40.40/40.53	v ~x87 ~x510 ~x2004 ~x932 ~x1613 ~x1355 ~x2426 ~x88 ~x511 ~x2005 
40.40/40.53	v x933 ~x17 ~x1356 ~x2427 ~x89 ~x512 ~x2006 ~x934 ~x1614 ~x1357 
40.40/40.53	v ~x2428 ~x90 ~x513 ~x2007 ~x935 ~x21 ~x1358 ~x2429 ~x91 ~x514 
40.40/40.53	v ~x2008 ~x936 ~x1615 ~x1359 ~x2430 ~x92 ~x515 ~x2009 ~x937 ~x22 
40.40/40.53	v ~x1360 ~x2431 ~x93 ~x516 ~x2010 ~x938 ~x1616 ~x1361 ~x2432 ~x94 
40.40/40.53	v ~x517 ~x2011 ~x939 ~x1362 ~x2433 ~x95 x518 ~x2012 ~x940 ~x1363 
40.40/40.53	v ~x25 ~x2434 ~x96 ~x519 ~x2013 ~x941 ~x1364 ~x1617 ~x2435 ~x97 
40.40/40.53	v ~x520 ~x2014 ~x942 ~x1365 ~x2436 ~x26 ~x98 ~x521 ~x2015 ~x943 
40.40/40.53	v ~x1366 ~x1618 ~x2437 ~x99 ~x522 ~x2016 ~x944 ~x1367 ~x28 ~x2438 
40.40/40.53	v ~x100 ~x523 ~x2017 ~x945 ~x1368 ~x1619 ~x2439 ~x101 ~x524 ~x2018 
40.40/40.53	v ~x946 ~x1369 ~x29 ~x2440 ~x102 x525 ~x2019 ~x947 ~x1370 ~x1620 
40.40/40.53	v ~x2441 ~x103 ~x526 ~x2020 ~x948 ~x1371 ~x30 ~x2442 ~x104 ~x527 
40.40/40.53	v ~x2021 ~x949 ~x1372 ~x1621 ~x2443 ~x105 ~x528 ~x2022 ~x950 ~x1373 
40.40/40.53	v ~x31 ~x2444 ~x106 ~x529 x2023 ~x951 ~x1374 ~x1622 ~x2445 ~x107 
40.40/40.53	v ~x530 ~x2024 ~x952 ~x1375 ~x32 ~x2446 ~x108 ~x531 ~x2025 ~x953 
40.40/40.53	v ~x1376 ~x1623 ~x2447 ~x109 ~x532 ~x2026 ~x954 ~x1377 ~x33 ~x2448 
40.40/40.53	v ~x110 ~x533 ~x2027 ~x955 ~x1378 ~x1624 ~x2449 ~x111 ~x534 ~x2028 
40.40/40.53	v ~x956 ~x1379 ~x34 ~x2450 ~x112 ~x535 ~x2029 ~x957 ~x1380 ~x1625 
40.40/40.53	v ~x2451 ~x113 ~x536 ~x2030 ~x958 ~x1381 ~x35 ~x2452 x114 ~x537 
40.40/40.53	v ~x2031 ~x959 ~x1382 ~x1626 ~x2453 ~x115 ~x538 ~x2032 ~x960 ~x1383 
40.40/40.53	v ~x36 ~x2454 ~x116 ~x539 ~x2033 ~x961 ~x1384 ~x1627 ~x2455 ~x117 
40.40/40.53	v ~x540 ~x2034 ~x962 ~x1385 ~x37 ~x2456 ~x118 ~x541 ~x2035 ~x963 
40.40/40.53	v ~x1386 ~x1628 ~x2457 ~x119 ~x542 ~x2036 ~x964 ~x1387 ~x39 ~x2458 
40.40/40.53	v ~x120 ~x543 ~x2037 ~x965 ~x1388 ~x1629 ~x2459 ~x121 ~x544 ~x2038 
40.40/40.53	v ~x966 ~x1389 ~x1 ~x2460 ~x122 ~x545 ~x2039 ~x967 ~x1390 ~x1630 
40.40/40.53	v ~x2461 ~x123 ~x546 ~x2040 ~x968 ~x1391 ~x1631 ~x2462 ~x124 ~x547 
40.40/40.53	v ~x2041 ~x969 ~x1392 ~x1632 ~x2463 ~x125 ~x548 ~x2042 ~x970 ~x1393 
40.40/40.53	v ~x1633 ~x2464 ~x126 ~x549 ~x2043 ~x971 ~x1394 ~x2465 ~x127 ~x550 
40.40/40.53	v ~x2044 ~x972 x1395 ~x2466 ~x1634 ~x128 ~x551 x2045 ~x973 ~x1396 
40.40/40.53	v ~x2467 ~x1635 ~x129 ~x552 ~x2046 ~x974 ~x1397 ~x2468 ~x12 ~x130 
40.40/40.53	v ~x553 ~x2047 ~x975 ~x1398 ~x2469 ~x1636 ~x131 ~x554 ~x2048 ~x976 
40.40/40.53	v ~x1399 ~x2470 ~x1637 ~x132 ~x555 ~x2049 ~x977 ~x1400 ~x2471 ~x18 
40.40/40.53	v ~x133 ~x556 ~x2050 ~x978 ~x1401 ~x2472 ~x1638 ~x134 ~x557 ~x2051 
40.40/40.53	v ~x979 ~x1402 ~x2473 ~x19 ~x135 ~x558 ~x2052 ~x980 ~x1403 ~x2474 
40.40/40.53	v ~x1639 ~x136 ~x559 ~x2053 ~x981 ~x1404 ~x2475 ~x20 ~x137 ~x560 
40.40/40.53	v ~x2054 ~x982 ~x1405 ~x2476 ~x1640 x138 ~x561 ~x2055 ~x983 ~x1406 
40.40/40.53	v ~x2477 ~x1641 ~x139 ~x562 ~x2056 ~x984 ~x1407 ~x2478 ~x1642 ~x140 
40.40/40.53	v ~x563 ~x2057 ~x985 ~x1408 ~x2479 ~x24 ~x141 ~x564 ~x2058 ~x986 
40.40/40.53	v ~x1409 ~x2480 ~x1643 ~x142 ~x565 ~x2059 ~x987 ~x1410 ~x2481 ~x1644 
40.40/40.53	v ~x143 ~x566 ~x2060 ~x988 ~x1411 ~x2482 ~x27 ~x144 ~x567 ~x2061 
40.40/40.53	v ~x989 ~x1412 ~x2483 ~x1645 ~x145 ~x568 ~x2062 x990 ~x1413 ~x2484 
40.40/40.53	v ~x1646 ~x146 ~x569 ~x2063 ~x991 ~x1414 ~x2485 ~x1647 ~x147 ~x570 
40.40/40.53	v ~x2064 ~x992 ~x1415 ~x2486 ~x1648 ~x148 ~x571 ~x2065 ~x993 ~x1416 
40.40/40.53	v ~x2487 ~x1649 ~x149 ~x572 ~x2066 ~x994 ~x1417 ~x2488 x1650 ~x150 
40.40/40.53	v ~x573 ~x2067 ~x995 ~x1418 ~x2489 ~x1651 ~x151 ~x574 ~x2068 ~x996 
40.40/40.53	v ~x1419 ~x2490 ~x38 ~x152 x575 ~x2069 ~x997 ~x1420 ~x2491 ~x1652 
40.40/40.53	v ~x153 ~x576 ~x2070 ~x998 ~x1421 ~x2492 ~x1653 ~x154 ~x577 ~x2071 
40.40/40.53	v ~x999 ~x1422 ~x2493 ~x40 ~x155 ~x578 ~x2072 ~x1000 ~x1423 ~x2494 
40.40/40.53	v ~x1654 ~x156 ~x579 ~x2073 x1001 ~x1424 ~x2495 ~x1655 ~x157 ~x580 
40.40/40.53	v ~x2074 ~x1002 ~x1425 ~x2496 ~x1656 ~x158 ~x581 ~x2075 ~x1003 ~x1426 
40.40/40.53	v ~x2497 ~x1657 ~x159 ~x582 ~x2076 ~x1004 ~x1427 ~x2498 ~x1658 ~x160 
40.40/40.53	v ~x583 ~x2077 ~x1005 ~x1428 ~x2499 ~x1659 ~x161 ~x584 ~x2078 ~x1006 
40.40/40.53	v ~x1429 ~x2500 ~x1660 ~x162 ~x585 ~x2079 ~x1007 ~x1430 ~x2501 ~x1661 
40.40/40.53	v ~x163 ~x586 ~x2080 ~x1008 ~x1431 ~x2502 ~x1662 ~x164 ~x587 ~x2081 
40.40/40.53	v ~x1009 ~x1432 ~x2503 ~x1663 ~x165 ~x588 ~x2082 ~x1010 x1433 ~x2504 
40.40/40.53	v ~x1664 ~x166 ~x589 ~x2083 ~x1011 ~x1434 ~x2505 ~x1665 ~x167 ~x590 
40.40/40.53	v ~x1012 ~x1435 ~x2506 ~x1666 ~x168 ~x591 ~x1013 ~x1436 ~x2084 ~x2507 
40.40/40.53	v ~x15 ~x169 ~x592 ~x1014 ~x1437 ~x2085 ~x2508 x1667 ~x170 ~x593 
40.40/40.53	v ~x1015 ~x1438 ~x2086 ~x2509 ~x1668 ~x171 ~x594 ~x1016 ~x1439 ~x2087 
40.40/40.53	v ~x2510 ~x1669 ~x172 ~x595 ~x1017 ~x1440 ~x2088 ~x2511 ~x1670 ~x173 
40.40/40.53	v ~x596 ~x1018 ~x1441 ~x2089 ~x2512 ~x1671 ~x174 ~x597 ~x1019 ~x1442 
40.40/40.53	v ~x2090 ~x2513 ~x1672 ~x175 ~x598 ~x1020 ~x1443 ~x2091 ~x2514 ~x1673 
40.40/40.53	v ~x176 ~x599 ~x1021 ~x1444 ~x2092 ~x2515 ~x1674 ~x177 ~x600 ~x1022 
40.40/40.53	v ~x1445 ~x2093 ~x2516 ~x23 ~x178 ~x601 ~x1023 ~x1446 ~x2094 ~x2517 
40.40/40.53	v ~x1675 ~x179 ~x602 ~x1024 ~x1447 ~x2095 ~x2518 ~x1676 ~x180 ~x603 
40.40/40.53	v ~x1025 ~x1448 ~x2096 ~x2519 ~x1677 ~x181 ~x604 ~x1026 ~x1449 ~x2097 
40.40/40.53	v ~x2520 ~x1678 ~x182 ~x605 ~x1027 ~x1450 ~x2098 ~x2521 ~x1679 ~x183 
40.40/40.53	v ~x606 ~x1028 ~x1451 ~x2099 ~x2522 ~x1680 ~x184 ~x607 ~x1029 ~x1452 
40.40/40.53	v ~x2100 ~x2523 ~x1681 ~x185 ~x608 ~x1030 ~x1453 ~x2101 ~x2524 ~x1682 
40.40/40.53	v ~x186 ~x609 ~x1031 ~x1454 ~x2102 ~x2525 ~x1683 ~x187 ~x610 ~x1032 
40.40/40.53	v ~x1455 ~x2103 ~x2526 ~x1684 ~x188 ~x611 ~x1033 ~x1456 ~x2104 ~x2527 
40.40/40.53	v x1685 ~x189 ~x612 ~x1034 ~x1457 ~x2105 ~x2528 ~x1686 ~x190 ~x613 
40.40/40.53	v ~x1035 ~x1458 ~x2106 ~x2529 ~x1687 ~x191 ~x614 ~x1036 x1459 ~x2107 
40.40/40.53	v x2530 ~x1688 ~x192 ~x615 ~x1037 ~x1460 ~x2108 ~x2531 ~x1689 ~x193 
40.40/40.53	v x616 ~x1038 ~x1461 ~x2109 ~x2532 ~x194 ~x617 ~x1039 ~x1462 ~x2110 
40.40/40.53	v ~x2533 ~x195 ~x1690 ~x618 ~x1040 ~x1463 ~x2111 ~x2534 ~x196 ~x1691 
40.40/40.53	v ~x619 ~x1041 ~x1464 ~x2112 ~x2535 ~x197 ~x1692 ~x620 ~x1042 ~x1465 
40.40/40.53	v ~x2113 ~x2536 ~x198 ~x1693 ~x621 ~x1043 ~x1466 ~x2114 ~x2537 x199 
40.40/40.53	v ~x1694 ~x622 ~x1044 ~x1467 ~x2115 ~x2538 ~x200 ~x1695 ~x623 ~x1045 
40.40/40.53	v ~x1468 ~x2116 ~x2539 ~x201 ~x1696 ~x624 ~x1046 ~x1469 ~x2117 ~x2540 
40.40/40.53	v ~x202 ~x1697 ~x625 x1047 ~x1470 ~x2118 ~x2541 ~x203 ~x1698 ~x626 
40.40/40.53	v ~x1048 ~x1471 ~x2119 ~x2542 ~x204 ~x1699 ~x627 ~x1049 ~x1472 x2120 
40.40/40.53	v ~x2543 ~x205 ~x1700 ~x628 ~x1050 ~x1473 ~x2121 ~x2544 ~x206 ~x1701 
40.40/40.53	v ~x629 ~x1051 ~x1474 ~x2122 ~x2545 ~x207 ~x1702 ~x630 ~x1052 ~x1475 
40.40/40.53	v ~x2123 ~x2546 ~x208 ~x1703 ~x631 ~x1053 ~x1476 ~x2124 ~x2547 ~x209 
40.40/40.53	v ~x1704 ~x632 ~x1054 ~x1477 ~x2125 ~x2548 ~x210 ~x1705 ~x633 ~x1055 
40.40/40.53	v ~x1478 ~x2126 ~x2549 ~x211 ~x1706 ~x634 ~x1056 ~x1479 ~x2127 ~x2550 
40.40/40.53	v ~x212 ~x1707 ~x635 ~x1057 ~x1480 ~x2128 ~x2551 ~x213 ~x1708 ~x636 
40.40/40.53	v ~x1058 ~x1481 ~x2129 ~x2552 ~x214 ~x1709 ~x637 ~x1059 ~x1482 ~x2130 
40.40/40.53	v ~x2553 ~x215 ~x1710 ~x638 ~x1060 ~x1483 ~x2131 ~x2554 ~x216 ~x1711 
40.40/40.53	v ~x639 ~x1061 ~x1484 ~x2132 ~x2555 ~x217 ~x1712 ~x640 ~x1062 ~x1485 
40.40/40.53	v ~x2133 ~x2556 ~x218 ~x1713 ~x641 ~x1063 ~x1486 ~x2134 ~x2557 ~x219 
40.40/40.53	v ~x1714 ~x642 ~x1064 ~x1487 ~x2135 ~x2558 ~x220 ~x1715 ~x643 ~x1065 
40.40/40.53	v x1488 ~x2136 ~x2559 ~x221 ~x1716 ~x644 ~x1066 ~x1489 ~x2137 ~x2560 
40.40/40.53	v ~x222 ~x1717 ~x645 ~x1067 ~x1490 ~x2138 ~x2561 ~x223 ~x1718 ~x646 
40.40/40.53	v ~x1068 ~x1491 ~x2139 ~x2562 ~x224 ~x1719 ~x647 ~x1069 ~x1492 ~x2140 
40.40/40.53	v ~x2563 ~x225 ~x1720 ~x648 ~x1070 ~x1493 ~x2141 ~x2564 ~x226 ~x1721 
40.40/40.53	v ~x649 ~x1071 ~x1494 ~x2142 ~x2565 ~x227 ~x1722 ~x650 ~x1072 ~x1495 
40.40/40.53	v ~x2143 ~x2566 ~x228 ~x1723 ~x651 ~x1073 ~x1496 ~x2144 ~x2567 ~x229 
40.40/40.53	v ~x1724 ~x652 ~x1074 ~x1497 ~x2145 ~x2568 ~x230 ~x1725 ~x653 ~x1075 
40.40/40.53	v ~x1498 ~x2146 ~x2569 ~x231 ~x1726 ~x654 ~x1076 ~x1499 ~x2147 ~x2570 
40.40/40.53	v x232 ~x1727 ~x655 ~x1077 ~x1500 ~x2148 ~x2571 ~x233 ~x1728 ~x656 
40.40/40.53	v ~x1078 ~x1501 ~x2149 ~x2572 ~x234 ~x1729 ~x657 ~x1079 ~x1502 ~x2150 
40.40/40.53	v ~x2573 ~x235 ~x1730 ~x658 ~x1080 ~x1503 ~x2151 ~x2574 ~x236 ~x1731 
40.40/40.53	v ~x659 ~x1081 ~x1504 ~x2152 ~x2575 ~x237 ~x1732 ~x660 ~x1082 ~x1505 
40.40/40.53	v x2153 ~x2576 ~x238 ~x1733 x661 ~x1083 ~x1506 ~x2154 ~x2577 ~x239 
40.40/40.53	v ~x1734 ~x662 x1084 ~x1507 ~x2155 ~x2578 ~x240 ~x1735 ~x663 ~x1085 
40.40/40.53	v ~x1508 ~x2156 ~x2579 ~x241 ~x1736 ~x664 ~x1086 ~x1509 ~x2157 ~x2580 
40.40/40.53	v ~x242 ~x1737 ~x665 ~x1087 ~x1510 ~x2158 ~x2581 ~x243 ~x1738 ~x666 
40.40/40.53	v ~x1088 ~x1511 ~x2159 ~x2582 ~x244 ~x1739 ~x667 ~x1089 ~x1512 ~x2160 
40.40/40.53	v ~x2583 ~x245 ~x1740 ~x668 ~x1090 ~x1513 ~x2161 ~x2584 ~x246 ~x1741 
40.40/40.53	v ~x669 ~x1091 ~x1514 ~x2162 ~x2585 ~x247 ~x1742 ~x670 ~x1092 ~x1515 
40.40/40.53	v ~x2163 ~x2586 ~x248 ~x1743 ~x671 ~x1093 ~x1516 ~x2164 ~x2587 ~x249 
40.40/40.53	v ~x1744 ~x672 ~x1094 ~x1517 ~x2165 ~x2588 ~x250 ~x1745 ~x673 ~x1095 
40.40/40.53	v ~x1518 ~x2166 ~x2589 ~x251 ~x1746 ~x674 ~x1096 ~x1519 ~x2167 ~x2590 
40.40/40.53	v ~x252 ~x1747 ~x675 ~x1097 ~x1520 ~x2168 ~x2591 ~x253 ~x1748 ~x676 
40.40/40.53	v ~x1098 ~x1521 ~x2169 ~x2592 ~x254 ~x1749 ~x677 ~x1099 ~x1522 ~x2170 
40.40/40.53	v ~x2593 ~x255 ~x1750 ~x678 ~x1100 ~x1523 ~x2171 ~x2594 ~x256 ~x1751 
40.40/40.53	v ~x679 ~x1101 ~x1524 ~x2172 ~x2595 ~x257 ~x1752 ~x680 ~x1102 ~x1525 
40.40/40.53	v ~x2173 x2596 ~x258 x1753 ~x681 ~x1103 ~x1526 ~x2174 x2597 ~x259 
40.40/40.53	v ~x1754 ~x682 ~x1104 ~x1527 ~x2175 ~x2598 ~x260 ~x1755 ~x683 ~x1105 
40.40/40.53	v ~x1528 ~x2176 ~x2599 ~x261 ~x1756 ~x684 ~x1106 ~x1529 ~x2177 ~x2600 
40.40/40.53	v ~x262 ~x1757 ~x685 ~x1107 ~x1530 ~x2178 ~x2601 ~x263 x1758 ~x686 
40.40/40.53	v ~x1108 ~x1531 ~x2179 ~x2602 ~x264 ~x1759 ~x687 ~x1109 ~x1532 ~x2180 
40.40/40.53	v ~x2603 ~x265 ~x1760 ~x688 ~x1110 ~x1533 ~x2181 ~x2604 ~x266 ~x1761 
40.40/40.53	v ~x689 ~x1111 ~x1534 ~x2182 ~x2605 ~x267 ~x1762 ~x690 ~x1112 ~x1535 
40.40/40.53	v ~x2183 ~x2606 ~x268 ~x1763 ~x691 ~x1113 ~x1536 ~x2184 x2607 ~x269 
40.40/40.53	v ~x1764 ~x692 ~x1114 ~x1537 ~x2185 ~x2608 ~x270 ~x1765 ~x693 ~x1115 
40.40/40.53	v ~x1538 ~x2186 ~x2609 ~x271 ~x1766 ~x694 ~x1116 ~x1539 ~x2187 ~x2610 
40.40/40.53	v ~x272 x1767 ~x695 ~x1117 ~x1540 ~x2188 ~x2611 ~x273 ~x1768 ~x696 
40.40/40.53	v ~x1118 ~x1541 ~x2189 ~x274 ~x1769 ~x697 ~x1119 ~x1542 ~x2190 ~x2612 
40.40/40.53	v ~x275 ~x1770 ~x698 ~x1120 ~x1543 x2191 ~x2613 ~x276 ~x1771 ~x699 
40.40/40.53	v ~x1121 ~x1544 ~x2192 ~x2614 ~x277 ~x1772 ~x700 ~x1122 ~x1545 ~x2193 
40.40/40.53	v ~x2615 ~x278 x1773 ~x701 ~x1123 ~x1546 ~x2194 ~x2616 ~x279 ~x1774 
40.40/40.53	v ~x702 ~x1124 ~x1547 ~x2195 ~x2617 x280 ~x1775 ~x703 ~x1125 ~x1548 
40.40/40.53	v ~x2196 ~x2618 ~x281 ~x1776 ~x704 ~x1126 ~x1549 ~x2197 ~x2619 ~x282 
40.40/40.53	v ~x1777 ~x705 ~x1127 ~x1550 x2198 ~x2620 ~x283 ~x1778 ~x706 ~x1128 
40.40/40.53	v ~x1551 ~x2199 ~x2621 ~x284 ~x1779 ~x707 ~x1129 ~x1552 ~x2200 ~x2622 
40.40/40.53	v ~x285 ~x1780 ~x708 ~x1130 ~x1553 ~x2201 ~x2623 ~x286 ~x1781 x709 
40.40/40.53	v ~x1131 ~x1554 ~x2202 ~x2624 ~x287 ~x1782 ~x710 ~x1132 ~x1555 ~x2203 
40.40/40.53	v ~x2625 ~x288 ~x1783 ~x711 ~x1133 ~x1556 ~x2204 ~x2626 ~x289 ~x1784 
40.40/40.53	v ~x712 ~x1134 x1557 ~x2205 ~x2627 ~x290 ~x1785 ~x713 ~x1135 ~x1558 
40.40/40.53	v ~x2206 ~x2628 ~x291 ~x1786 ~x714 ~x1136 ~x1559 ~x2207 ~x2629 ~x292 
40.40/40.53	v ~x1787 ~x715 ~x1137 ~x1560 ~x2208 ~x2630 ~x293 ~x1788 ~x716 ~x1138 
40.40/40.53	v ~x1561 ~x2209 ~x2631 ~x294 ~x1789 ~x717 ~x1139 ~x1562 ~x2210 ~x2632 
40.40/40.53	v ~x295 ~x1790 ~x718 x1140 ~x1563 ~x2211 ~x2633 ~x296 ~x1791 ~x719 
40.40/40.53	v ~x1141 ~x1564 ~x2212 ~x2634 ~x297 ~x1792 ~x720 ~x1142 ~x1565 ~x2213 
40.40/40.53	v ~x2635 ~x298 ~x1793 ~x721 ~x1143 ~x1566 ~x2214 ~x2636 ~x299 ~x1794 
40.40/40.53	v ~x722 ~x1144 ~x1567 ~x2215 ~x2637 ~x300 ~x1795 ~x723 ~x1145 ~x1568 
40.40/40.53	v ~x2216 ~x2638 ~x301 ~x1796 ~x724 ~x1146 ~x1569 ~x2217 ~x2639 ~x302 
40.40/40.53	v ~x1797 ~x725 ~x1147 ~x1570 ~x2218 ~x2640 ~x303 ~x1798 ~x726 ~x1148 
40.40/40.53	v ~x1571 ~x2219 ~x2641 ~x304 ~x1799 ~x727 ~x1149 ~x1572 ~x2220 ~x2642 
40.40/40.53	v ~x305 ~x1800 ~x728 ~x1150 ~x1573 ~x2221 x2643 x306 ~x1801 ~x729 
40.40/40.53	v ~x1151 ~x1574 ~x2222 ~x2644 ~x307 ~x730 ~x1802 ~x1152 ~x1575 ~x2223 
40.40/40.53	v ~x2645 ~x308 ~x731 ~x1803 ~x1153 ~x1576 ~x2224 ~x2646 ~x309 ~x732 
40.40/40.53	v ~x1804 ~x1154 x1577 ~x2225 ~x2647 ~x310 ~x1805 ~x733 ~x1155 ~x1578 
40.40/40.53	v ~x2226 ~x2648 ~x311 ~x1806 ~x734 ~x1156 ~x1579 ~x2227 ~x2649 ~x312 
40.40/40.53	v ~x1807 ~x735 ~x1157 ~x1580 ~x2228 ~x2650 ~x313 ~x1808 ~x736 ~x1158 
40.40/40.53	v ~x1581 ~x2229 ~x2651 ~x314 ~x1809 ~x737 ~x1159 ~x1582 ~x2230 ~x2652 
40.40/40.53	v ~x315 ~x1810 ~x738 ~x1160 ~x1583 ~x2231 ~x2653 ~x316 ~x1811 ~x739 
40.40/40.53	v ~x1161 ~x1584 ~x2232 ~x2654 ~x317 ~x1812 ~x740 ~x1162 ~x1585 ~x2233 
40.40/40.53	v ~x2655 ~x318 ~x1813 ~x741 ~x1163 ~x1586 ~x2234 ~x2656 ~x319 ~x1814 
40.40/40.53	v ~x742 ~x1164 ~x1587 ~x2235 ~x2657 ~x320 ~x1815 x743 ~x1165 ~x1588 
40.40/40.53	v ~x2236 ~x2658 ~x321 ~x1816 ~x744 ~x1166 ~x1589 ~x2237 x2659 ~x322 
40.40/40.53	v ~x1817 ~x745 ~x1167 ~x1590 ~x2238 ~x2660 ~x323 ~x1818 ~x746 ~x1168 
40.40/40.53	v ~x1591 ~x2239 ~x2661 ~x324 ~x1819 ~x747 x1169 ~x1592 ~x2240 ~x2662 
40.40/40.53	v ~x325 ~x748 ~x1170 ~x1593 ~x2241 x2663 ~x326 ~x749 ~x1820 ~x1171 
40.40/40.53	v ~x1594 ~x2242 ~x2664 ~x327 ~x750 ~x1821 ~x1172 ~x1595 ~x2243 ~x2665 
40.40/40.53	v ~x328 ~x751 ~x1822 ~x1173 ~x1596 ~x2244 ~x2666 ~x329 ~x752 ~x1823 
40.40/40.53	v ~x1174 ~x1597 ~x2245 ~x2667 ~x330 ~x753 ~x1824 ~x1175 ~x1598 ~x2246 
40.40/40.53	v ~x2668 ~x331 ~x754 ~x1825 ~x1176 ~x1599 ~x2247 ~x2669 ~x332 ~x755 
40.40/40.53	v ~x1826 ~x1177 ~x1600 ~x2248 ~x2670 ~x333 ~x756 ~x1827 ~x1178 ~x2249 
40.40/40.53	v ~x2671 ~x334 ~x757 ~x1828 ~x1179 ~x2250 ~x2672 ~x335 ~x758 ~x1829 
40.40/40.53	v ~x1180 ~x2251 ~x2673 ~x336 ~x759 ~x1830 ~x1181 ~x2252 ~x2674 ~x337 
40.40/40.53	v ~x760 ~x1831 ~x1182 ~x2253 ~x2675 ~x338 ~x761 ~x1832 ~x1183 ~x2254 
40.40/40.53	v ~x2676 ~x339 ~x762 ~x1833 ~x1184 ~x2255 ~x2677 ~x340 ~x763 ~x1834 
40.40/40.53	v ~x1185 ~x2256 ~x2678 ~x341 ~x764 ~x1835 ~x1186 ~x2257 ~x2679 ~x342 
40.40/40.53	v ~x765 ~x1836 ~x1187 ~x2258 ~x2680 ~x343 ~x766 ~x1837 ~x1188 ~x2259

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: 63931 MiB (58293 MiB free)
  memory of node 1: 64510 MiB (53616 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443682-1721310082/watcher-4443682-1721310082 -o /tmp/evaluation-result-4443682-1721310082/solver-4443682-1721310082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721306176-984427 --watchdog 3760 pb_picat HOME/instance-4443682-1721310082.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=987602, runsolver pid=987599

[startup+0.100969 s]*
/proc/loadavg: 4.13 4.13 4.08 5/259 987603
/proc/meminfo: memFree=114566240/131524600 swapFree=131071996/131071996
[pid=987602] ppid=987599 vsize=2033608 memory=35576 CPUtime=0.09 cores=4,6
/proc/987602/stat : 987602 (pb_picat) R 987599 987602 984416 0 -1 4194304 435 0 0 0 9 0 0 0 20 0 1 0 183173551 2082414592 8894 134679101440 4194304 5989780 140730645643024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20123648 140730645648408 140730645648484 140730645648484 140730645655500 0
/proc/987602/statm: 508402 8894 1489 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 35576 KiB

[startup+0.205662 s]*
/proc/loadavg: 4.13 4.13 4.08 5/259 987603
/proc/meminfo: memFree=114549604/131524600 swapFree=131071996/131071996
[pid=987602] ppid=987599 vsize=2033608 memory=54008 CPUtime=0.2 cores=4,6
/proc/987602/stat : 987602 (pb_picat) R 987599 987602 984416 0 -1 4194304 445 0 0 0 19 1 0 0 20 0 1 0 183173551 2082414592 13502 134679101440 4194304 5989780 140730645643024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20123648 140730645648408 140730645648484 140730645648484 140730645655500 0
/proc/987602/statm: 508402 13502 1489 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 54008 KiB

[startup+0.305563 s]*
/proc/loadavg: 4.13 4.13 4.08 5/259 987603
/proc/meminfo: memFree=114528956/131524600 swapFree=131071996/131071996
[pid=987602] ppid=987599 vsize=2033608 memory=72440 CPUtime=0.3 cores=4,6
/proc/987602/stat : 987602 (pb_picat) R 987599 987602 984416 0 -1 4194304 454 0 0 0 29 1 0 0 20 0 1 0 183173551 2082414592 18110 134679101440 4194304 5989780 140730645643024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20123648 140730645648408 140730645648484 140730645648484 140730645655500 0
/proc/987602/statm: 508402 18110 1489 439 0 503831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 72440 KiB

[startup+0.700202 s]
/proc/loadavg: 4.13 4.13 4.08 5/259 987603
/proc/meminfo: memFree=114493944/131524600 swapFree=131071996/131071996
[pid=987602] ppid=987599 vsize=2033608 memory=142220 CPUtime=0.69 cores=4,6
/proc/987602/stat : 987602 (pb_picat) R 987599 987602 984416 0 -1 4194304 489 0 0 0 67 2 0 0 20 0 1 0 183173551 2082414592 35555 134679101440 4194304 5989780 140730645643024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20123648 140730645648408 140730645648484 140730645648484 140730645655500 0
/proc/987602/statm: 508402 35555 1489 439 0 503831 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 142220 KiB

[startup+1.5002 s]
/proc/loadavg: 4.12 4.13 4.08 5/259 987603
/proc/meminfo: memFree=114401532/131524600 swapFree=131071996/131071996
[pid=987602] ppid=987599 vsize=2033608 memory=285584 CPUtime=1.49 cores=4,6
/proc/987602/stat : 987602 (pb_picat) R 987599 987602 984416 0 -1 4194304 560 0 0 0 143 6 0 0 20 0 1 0 183173551 2082414592 71396 134679101440 4194304 5989780 140730645643024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20123648 140730645648408 140730645648484 140730645648484 140730645655500 0
/proc/987602/statm: 508402 71396 1489 439 0 503831 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 285584 KiB

[startup+3.10545 s]
/proc/loadavg: 4.12 4.13 4.08 5/259 987605
/proc/meminfo: memFree=113690752/131524600 swapFree=131071996/131071996
[pid=987602] ppid=987599 vsize=2033608 memory=574360 CPUtime=3.09 cores=4,6
/proc/987602/stat : 987602 (pb_picat) R 987599 987602 984416 0 -1 4194304 746 0 0 0 297 12 0 0 20 0 1 0 183173551 2082414592 143590 134679101440 4194304 5989780 140730645643024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20123648 140730645648408 140730645648484 140730645648484 140730645655500 0
/proc/987602/statm: 508402 143590 1489 439 0 503831 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 574360 KiB

[startup+6.30019 s]
/proc/loadavg: 4.11 4.13 4.08 5/259 987605
/proc/meminfo: memFree=113266904/131524600 swapFree=131071996/131071996
[pid=987602] ppid=987599 vsize=2033608 memory=1145756 CPUtime=6.27 cores=4,6
/proc/987602/stat : 987602 (pb_picat) R 987599 987602 984416 0 -1 4194304 1035 0 0 0 603 24 0 0 20 0 1 0 183173551 2082414592 286439 134679101440 4194304 5989780 140730645643024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20123648 140730645648408 140730645648484 140730645648484 140730645655500 0
/proc/987602/statm: 508402 286439 1489 439 0 503831 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 1145756 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.13 4.08 5/259 987605
/proc/meminfo: memFree=111946372/131524600 swapFree=131071996/131071996
[pid=987602] ppid=987599 vsize=3810016 memory=2475628 CPUtime=12.66 cores=4,6
/proc/987602/stat : 987602 (pb_picat) R 987599 987602 984416 0 -1 4194304 8544 0 0 0 1214 52 0 0 20 0 1 0 183173551 3901456384 618907 134679101440 4194304 5989780 140730645643024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20123648 140730645648408 140730645648484 140730645648484 140730645655500 0
/proc/987602/statm: 952504 618907 1662 439 0 947933 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 3810016 KiB
Current children cumulated memory: 2475628 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.08 5/257 987622
/proc/meminfo: memFree=116070596/131524600 swapFree=131071996/131071996
[pid=987602] ppid=987599 vsize=4306980 memory=2721984 CPUtime=25.43 cores=4,6
/proc/987602/stat : 987602 (pb_picat) R 987599 987602 984416 0 -1 4194304 17582 0 0 0 2453 90 0 0 20 0 1 0 183173551 4410347520 680496 134679101440 4194304 5989780 140730645643024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20123648 140730645648408 140730645648484 140730645648484 140730645655500 0
/proc/987602/statm: 1076745 680496 1726 439 0 1072174 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 4306980 KiB
Current children cumulated memory: 2721984 KiB

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

# cumulated CPU time of all completed processes:  user=39.4418 s, system=1.00777 s

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

[startup+25.6002 s]
/proc/loadavg: 4.16 4.14 4.08 5/257 987622
/proc/meminfo: memFree=116070596/131524600 swapFree=131071996/131071996
[pid=987602] ppid=987599 vsize=4306980 memory=2724824 CPUtime=25.53 cores=4,6
/proc/987602/stat : 987602 (pb_picat) R 987599 987602 984416 0 -1 4194304 17774 0 0 0 2463 90 0 0 20 0 1 0 183173551 4410347520 681206 134679101440 4194304 5989780 140730645643024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20123648 140730645648408 140730645648484 140730645648484 140730645655500 0
/proc/987602/statm: 1076745 681206 1726 439 0 1072174 0
Current children cumulated CPU time: 25.53 s
Current children cumulated vsize: 4306980 KiB
Current children cumulated memory: 2724824 KiB

[startup+32.0002 s]*
/proc/loadavg: 4.14 4.13 4.08 5/257 987622
/proc/meminfo: memFree=117094388/131524600 swapFree=131071996/131071996
[pid=987602] ppid=987599 vsize=4306980 memory=2782380 CPUtime=31.92 cores=4,6
/proc/987602/stat : 987602 (pb_picat) R 987599 987602 984416 0 -1 4194304 18260 0 0 0 3100 92 0 0 20 0 1 0 183173551 4410347520 695595 134679101440 4194304 5989780 140730645643024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20123648 140730645648408 140730645648484 140730645648484 140730645655500 0
/proc/987602/statm: 1076745 695595 1726 439 0 1072174 0
Current children cumulated CPU time: 31.92 s
Current children cumulated vsize: 4306980 KiB
Current children cumulated memory: 2782380 KiB

[startup+35.2002 s]
/proc/loadavg: 4.14 4.13 4.08 5/259 987655
/proc/meminfo: memFree=116760184/131524600 swapFree=131071996/131071996
[pid=987602] ppid=987599 vsize=4306980 memory=2724824 CPUtime=35.11 cores=4,6
/proc/987602/stat : 987602 (pb_picat) R 987599 987602 984416 0 -1 4194304 19839 0 0 0 3416 95 0 0 20 0 1 0 183173551 4410347520 681206 134679101440 4194304 5989780 140730645643024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20123648 140730645648408 140730645648484 140730645648484 140730645655500 0
/proc/987602/statm: 1076745 681206 1726 439 0 1072174 0
Current children cumulated CPU time: 35.11 s
Current children cumulated vsize: 4306980 KiB
Current children cumulated memory: 2724824 KiB

[startup+38.4002 s]
/proc/loadavg: 4.21 4.15 4.08 5/259 987655
/proc/meminfo: memFree=116348524/131524600 swapFree=131071996/131071996
[pid=987602] ppid=987599 vsize=4175908 memory=2696364 CPUtime=38.3 cores=4,6
/proc/987602/stat : 987602 (pb_picat) R 987599 987602 984416 0 -1 4194304 20961 0 0 0 3733 97 0 0 20 0 1 0 183173551 4276129792 674091 134679101440 4194304 5989780 140730645643024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20123648 140730645648408 140730645648484 140730645648484 140730645655500 0
/proc/987602/statm: 1043977 674091 1726 439 0 1039406 0
Current children cumulated CPU time: 38.3 s
Current children cumulated vsize: 4175908 KiB
Current children cumulated memory: 2696364 KiB

[startup+39.2002 s]
/proc/loadavg: 4.21 4.15 4.08 5/259 987655
/proc/meminfo: memFree=115937220/131524600 swapFree=131071996/131071996
[pid=987602] ppid=987599 vsize=4306980 memory=2725012 CPUtime=39.09 cores=4,6
/proc/987602/stat : 987602 (pb_picat) R 987599 987602 984416 0 -1 4194304 21486 0 0 0 3811 98 0 0 20 0 1 0 183173551 4410347520 681253 134679101440 4194304 5989780 140730645643024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20123648 140730645648408 140730645648484 140730645648484 140730645655500 0
/proc/987602/statm: 1076745 681253 1726 439 0 1072174 0
Current children cumulated CPU time: 39.09 s
Current children cumulated vsize: 4306980 KiB
Current children cumulated memory: 2725012 KiB

[startup+40.0002 s]*
/proc/loadavg: 4.21 4.15 4.08 5/259 987655
/proc/meminfo: memFree=115594560/131524600 swapFree=131071996/131071996
[pid=987602] ppid=987599 vsize=4306980 memory=2729108 CPUtime=39.9 cores=4,6
/proc/987602/stat : 987602 (pb_picat) R 987599 987602 984416 0 -1 4194304 21488 0 0 0 3891 99 0 0 20 0 1 0 183173551 4410347520 682277 134679101440 4194304 5989780 140730645643024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20123648 140730645648408 140730645648484 140730645648484 140730645655500 0
/proc/987602/statm: 1076745 682277 1726 439 0 1072174 0
Current children cumulated CPU time: 39.9 s
Current children cumulated vsize: 4306980 KiB
Current children cumulated memory: 2729108 KiB

[startup+40.4002 s]
/proc/loadavg: 4.21 4.15 4.08 5/259 987655
/proc/meminfo: memFree=115594560/131524600 swapFree=131071996/131071996
[pid=987602] ppid=987599 vsize=4306980 memory=2733204 CPUtime=40.3 cores=4,6
/proc/987602/stat : 987602 (pb_picat) R 987599 987602 984416 0 -1 4194304 21490 0 0 0 3931 99 0 0 20 0 1 0 183173551 4410347520 683301 134679101440 4194304 5989780 140730645643024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20123648 140730645648408 140730645648484 140730645648484 140730645655500 0
/proc/987602/statm: 1076745 683301 1726 439 0 1072174 0
Current children cumulated CPU time: 40.3 s
Current children cumulated vsize: 4306980 KiB
Current children cumulated memory: 2733204 KiB

[startup+40.5002 s]
/proc/loadavg: 4.21 4.15 4.08 5/259 987655
/proc/meminfo: memFree=115594560/131524600 swapFree=131071996/131071996
[pid=987602] ppid=987599 vsize=4306980 memory=2733204 CPUtime=40.4 cores=4,6
/proc/987602/stat : 987602 (pb_picat) R 987599 987602 984416 0 -1 4194304 21490 0 0 0 3941 99 0 0 20 0 1 0 183173551 4410347520 683301 134679101440 4194304 5989780 140730645643024 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20123648 140730645648408 140730645648484 140730645648484 140730645655500 0
/proc/987602/statm: 1076745 683301 1726 439 0 1072174 0
Current children cumulated CPU time: 40.4 s
Current children cumulated vsize: 4306980 KiB
Current children cumulated memory: 2733204 KiB

Child status: 0

Real time (s): 40.5452
CPU time (s): 40.4495
CPU user time (s): 39.4418
CPU system time (s): 1.00777
CPU usage (%): 99.764
Max. virtual memory (cumulated for all children) (KiB): 4342676
Max. memory (cumulated for all children) (KiB): 2811712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.4418
system time used= 1.00777
maximum resident set size= 2811712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21501
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= 56


# summary of solver processes directly reported to runsolver:
#   pid: 987602
#   total CPU time (s): 40.4495
#   total CPU user time (s): 39.4418
#   total CPU system time (s): 1.00777

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083652 second user time and 0.213217 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-18 15:41:35
IDJOB=4443682
IDBENCH=147882
IDSOLVER=3068
FILE ID=nodeC025/4443682-1721310082
RUNJOBID= nodeC025-1721306176-984427
SLURM_JOB_ID= 7542640
Free space on /tmp= 889896 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443682-1721310082/watcher-4443682-1721310082 -o /tmp/evaluation-result-4443682-1721310082/solver-4443682-1721310082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721306176-984427 --watchdog 3760  pb_picat HOME/instance-4443682-1721310082.opb

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

MD5SUM BENCH= edc49dd1b51fcfed98bb9be45944fb6c
RANDOM SEED=878690003

nodeC025.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		: 3679.062
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3688.927
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	: 7007.09
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		: 3599.918
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.060
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	: 7007.09
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		: 3682.662
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3688.946
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	: 7007.09
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		: 3635.262
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.892
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	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        114596500 kB
MemAvailable:   120713168 kB
Buffers:          512992 kB
Cached:          6365704 kB
SwapCached:            0 kB
Active:          1141852 kB
Inactive:       14995964 kB
Active(anon):       1552 kB
Inactive(anon):  9294964 kB
Active(file):    1140300 kB
Inactive(file):  5701000 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             37520 kB
Writeback:             0 kB
AnonPages:       9253040 kB
Mapped:           115496 kB
Shmem:             37720 kB
KReclaimable:     230028 kB
Slab:             357536 kB
SReclaimable:     230028 kB
SUnreclaim:       127508 kB
KernelStack:        4140 kB
PageTables:        27576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   17874232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69472 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7090176 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:      318164 kB
DirectMap2M:    43495424 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 889948 MiB
End job on nodeC025 at 2024-07-18 15:42:15