PB'05 competition: run trace

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 in four parts:
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 provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
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.
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.
General information on the benchmark

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
MD5SUM	f711bed5ebfe5c735a8c12d953afb97c
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.61454
Number of variables	2903
Total number of constraints	2066
Number of constraints which are clauses	1978
Number of constraints which are cardinality constraints (but not clauses)	88
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 41933

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-15 20:08:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25153 boxname=wulflinc5 idbench=55 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f711bed5ebfe5c735a8c12d953afb97c  /oldhome/oroussel/tmp/wulflinc5/normalized-fpga45_43_sat_pb.cnf.cr.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-fpga45_43_sat_pb.cnf.cr.opb
IDLAUNCH: 25153
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        830864 kB
Buffers:         33588 kB
Cached:         147340 kB
SwapCached:        700 kB
Active:          60340 kB
Inactive:       122652 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        830612 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15000 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 20:11:45 (client local time) WITH STATUS 10 IN 216.68 SECONDS
stats: 25153 0 216.68 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 2815/8533	Time: 26.8249/86400
c Decision: 2815/8533	Time: 29.8625/86400
c Decision: 2815/8533	Time: 33.2239/86400
c Decision: 2815/8533	Time: 36.5094/86400
c Decision: 2815/8533	Time: 39.586/86400
c Decision: 2815/8533	Time: 43.1334/86400
c Decision: 2815/8533	Time: 46.9699/86400
c Decision: 2815/8533	Time: 50.4383/86400
c Decision: 2815/8533	Time: 54.6007/86400
c Decision: 2815/8533	Time: 58.4061/86400
c Decision: 2815/8533	Time: 62.6445/86400
c Decision: 2815/8533	Time: 66.7838/86400
c Decision: 2815/8533	Time: 70.6413/86400
c Decision: 2815/8533	Time: 75.0956/86400
c Decision: 2815/8533	Time: 79.13/86400
c Decision: 2815/8533	Time: 83.8303/86400
c Decision: 2815/8533	Time: 88.5225/86400
c Decision: 2815/8533	Time: 93.2768/86400
c Decision: 2815/8533	Time: 97.7861/86400
c Decision: 2815/8533	Time: 102.137/86400
c Decision: 2815/8533	Time: 106.8/86400
c Decision: 2815/8533	Time: 111.311/86400
c Decision: 2815/8533	Time: 116.138/86400
c Decision: 2815/8533	Time: 120.604/86400
c Decision: 2815/8533	Time: 125.303/86400
c Decision: 2815/8533	Time: 129.931/86400
c Decision: 2815/8533	Time: 134.691/86400
c Decision: 2815/8533	Time: 139.611/86400
c Decision: 2815/8533	Time: 144.421/86400
c Decision: 2815/8533	Time: 149.604/86400
c Decision: 2815/8533	Time: 154.502/86400
c Decision: 2815/8533	Time: 159.474/86400
c Decision: 2815/8533	Time: 164.381/86400
c Decision: 2815/8533	Time: 169.328/86400
c Decision: 2815/8533	Time: 174.873/86400
c Decision: 2815/8533	Time: 180.149/86400
c Decision: 2815/8533	Time: 185.484/86400
c Decision: 2815/8533	Time: 190.344/86400
c Decision: 2815/8533	Time: 195.281/86400
c Decision: 2815/8533	Time: 200.344/86400
c Decision: 2815/8533	Time: 206.288/86400
c Decision: 2815/8533	Time: 211.221/86400
c Decision: 2815/8533	Time: 214.726/86400
-1809 
-1854 
-909 
-2649 
-2669 
-2761 
-1226 
-2028 
-2794 
-1808 
-2590 
-2879 
-2665 
-2752 
-2536 
-2277 
-2353 
-2003 
2356 
-2044 
-2795 
-2364 
-2304 
-2723 
-2725 
-1545 
-2719 
-2880 
-2403 
-2151 
-2881 
-1894 
-1330 
-1434 
-2882 
-2899 
-2883 
-2465 
-2884 
-1507 
-2871 
-1606 
-1833 
-2159 
-2676 
-2312 
-2424 
2229 
-2677 
-1206 
-2582 
-2482 
-2678 
-2679 
-2505 
-2319 
-2680 
-1442 
-1925 
-2381 
-2376 
-1499 
-2218 
-2618 
-2341 
-1381 
-1726 
-2681 
-2447 
-1138 
-958 
-1522 
-2682 
-2476 
-1515 
-2683 
-2434 
-2684 
-2685 
-1830 
-2686 
-2687 
-1927 
-2343 
-2609 
-1006 
-2118 
-1921 
-2666 
-1772 
-2737 
-2688 
-2855 
-1790 
-1837 
2543 
-2470 
-2394 
-1510 
-2801 
-2736 
-2119 
-1273 
-2887 
-1911 
-2574 
-2230 
-2902 
-2822 
-2186 
-2225 
-1888 
-1855 
-2803 
-2718 
-2455 
-2181 
-2550 
-2553 
-2460 
-2673 
-1601 
-2787 
-1812 
1843 
-2510 
-2877 
-2308 
-2565 
-2161 
-2715 
-2625 
-2015 
-911 
-2738 
-760 
-1003 
-2130 
-1050 
-1531 
-2477 
-2796 
-2081 
-1691 
-1225 
-1130 
-2334 
-2082 
-2083 
-2084 
-1427 
-1441 
-1222 
-2085 
-2086 
-2087 
-1928 
-1813 
-2088 
-2089 
-2090 
2091 
-2092 
-394 
-1897 
-2093 
-2026 
-1278 
-2236 
-2094 
-2095 
-2096 
-2097 
-1602 
-1769 
-2098 
-2099 
-2100 
-2101 
-2894 
-2032 
-2102 
-1887 
-2103 
-2104 
-2105 
-1805 
-1800 
-2106 
-2107 
-2578 
-2108 
-619 
-620 
-621 
-622 
-623 
-624 
-625 
-626 
-627 
-733 
-628 
-629 
630 
-631 
-632 
-633 
-634 
-635 
-636 
-637 
-2856 
-638 
-301 
-639 
-640 
-641 
-642 
-643 
-644 
-645 
-646 
-1856 
-2608 
-647 
-648 
-649 
-650 
-651 
-652 
-653 
-654 
-655 
-656 
-2019 
-657 
-658 
-659 
-660 
-661 
-662 
-1338 
-1339 
-1340 
-1341 
-1792 
-1342 
-1343 
-663 
1344 
-1345 
-1346 
-1347 
-1348 
-1349 
-1350 
-2443 
-1351 
-1198 
-1352 
-1353 
-1354 
-1355 
-1356 
-1357 
-1358 
-1359 
-2371 
-1360 
-1361 
-1362 
-1363 
-1364 
-1365 
-1366 
-300 
-1367 
-1368 
-2027 
-1369 
-1370 
-1371 
-1372 
-1373 
-1374 
-1375 
-1376 
-1377 
-1378 
-2878 
-1379 
-1904 
-1539 
-2537 
-2012 
-1281 
-2551 
-1433 
-2507 
-2432 
-2717 
-1543 
-1838 
-2730 
-2325 
-2823 
-2824 
-2690 
-1926 
-46 
-2474 
-2552 
-2825 
-2134 
-2809 
-1730 
-2468 
-2622 
-2314 
-1832 
-1004 
-2268 
-2435 
-550 
-2826 
-2827 
-2572 
-2789 
-2546 
-2806 
-2501 
-2167 
-1144 
-1147 
-1429 
-2759 
-2828 
2544 
-2614 
-2469 
-2760 
-2452 
-1815 
-2377 
-1267 
-1303 
-2274 
-2888 
-2800 
-1173 
-1518 
-506 
-2807 
-2174 
-2872 
-2873 
-1846 
-1595 
-2587 
-1132 
-2350 
-2691 
-2624 
-2728 
-2853 
-2338 
-2895 
-1447 
-2121 
-2875 
-2793 
-2830 
-1596 
-1052 
-2610 
-2592 
-1806 
-1438 
-1275 
-2457 
-2337 
-2896 
-2392 
-1556 
2897 
-1919 
-2727 
-2758 
-1553 
-2903 
-2898 
-1174 
-2620 
-2650 
-2463 
-2509 
-2316 
-2031 
-2651 
-2652 
-2616 
-2653 
-1782 
-2654 
-2655 
-1332 
-1217 
-1645 
-2146 
-1689 
-2656 
-2444 
-2034 
-370 
-2657 
-2010 
-1253 
-2658 
-1271 
-438 
-2659 
-1820 
-2782 
-1521 
-2660 
-2021 
-1270 
-2606 
-912 
1785 
-2385 
-2661 
-1444 
-1306 
-2359 
-2502 
-2662 
-2663 
-2001 
-1448 
-1966 
-1967 
-1893 
-1895 
-1857 
-2786 
-1968 
-1969 
-1970 
-1971 
-1259 
-1972 
-1973 
-1974 
1975 
-1976 
-2011 
-1977 
-1841 
-1978 
-1979 
-1835 
-1980 
-1141 
-1981 
-1423 
-1982 
-1834 
-1983 
-1915 
-1783 
-1984 
-1985 
-1986 
-1269 
-1987 
-1988 
-1831 
-2818 
-1989 
-1990 
-1922 
-1991 
-1992 
-1993 
-1994 
-1917 
-1995 
-1996 
-1251 
-1997 
-1610 
-1224 
-1611 
-1612 
-1496 
-830 
-439 
-1613 
-1614 
-2858 
-1615 
-1616 
-1617 
-1618 
-1619 
-1176 
-1620 
-1621 
-1622 
1139 
-2808 
-1623 
-1337 
-1277 
-1624 
-1625 
-1626 
-1627 
-347 
-1628 
-1607 
-2757 
-1629 
-1630 
-1508 
-1631 
-1632 
-1633 
-1634 
-1635 
-1636 
-1637 
-2332 
-1638 
-1639 
-1640 
-1641 
-1642 
-1643 
-1208 
-1382 
-1383 
-1384 
-2732 
-1385 
-1386 
-1387 
-1388 
-1389 
-1331 
-1390 
-1391 
-1392 
-935 
-1781 
-2164 
-1393 
-1394 
-1395 
-1396 
-1397 
-1398 
-1399 
-1400 
-1401 
-1402 
-2821 
-1403 
-1404 
-1405 
-1406 
1407 
-1408 
-1409 
-1410 
-1411 
-1412 
-2485 
-1413 
-1414 
-1415 
-855 
-1416 
-1417 
-1418 
-1419 
-1420 
-1421 
-2446 
-1422 
-2900 
-2713 
-1333 
-2868 
-2080 
-2378 
-2358 
-2864 
-2889 
-2331 
-2122 
-1078 
-2351 
-2456 
-2901 
-2799 
-2726 
-2109 
-1597 
-858 
-2580 
-1648 
-1802 
-2876 
-2693 
-483 
-1778 
-2138 
-2797 
-2393 
-2390 
-2647 
-2391 
-1272 
-2328 
-2870 
-2863 
-2747 
-2454 
-2783 
-2541 
-2402 
-2859 
-2869 
-2792 
-2171 
2372 
-1923 
-2696 
-2049 
-2050 
-2051 
-2052 
-2860 
-2053 
-1216 
-2054 
-528 
-2055 
-2056 
-2057 
-2058 
-2059 
-1822 
-2861 
-1801 
-2060 
-2061 
-2062 
-2063 
-2064 
-2065 
-2066 
-1799 
-2067 
-1858 
-2387 
-1213 
-2068 
2069 
-2070 
-1505 
-1896 
-1140 
-2071 
-1885 
-2072 
-2561 
-2073 
-2074 
-1533 
-1780 
-2075 
-2076 
-2033 
-2077 
-2078 
-1824 
-1771 
-2079 
-2838 
-1199 
-2712 
-416 
-2839 
-2383 
-2133 
-1436 
-2365 
-2802 
-2840 
-2306 
-2327 
-1254 
-2179 
-2036 
-2611 
-2400 
-1775 
-2348 
-2116 
-2182 
-2733 
-1136 
-1549 
-2841 
-2842 
-2748 
-2670 
-2820 
-1202 
2135 
-2628 
-2605 
-1104 
1807 
-2791 
-2716 
-2326 
-2339 
-2843 
-2439 
-2441 
-2020 
-2755 
-2239 
-2484 
-854 
-2570 
2511 
-2136 
-2272 
-1133 
-2857 
-2512 
-2513 
-2166 
-2514 
-2515 
-2516 
-1541 
-2517 
-2518 
-2479 
-2862 
-2519 
-1335 
-2520 
-2128 
-2521 
-2522 
-960 
-2508 
-2009 
-1829 
-1550 
-2217 
-2523 
-2524 
-2525 
-1431 
-1200 
-2526 
-1913 
-2527 
-2528 
-1859 
-2829 
-2529 
-2335 
-2530 
-2531 
-1784 
-2532 
-2533 
-205 
-2534 
-2535 
-2375 
-275 
-1519 
-2790 
-1149 
-1142 
-2890 
-2692 
-2579 
-2344 
1425 
-2453 
-2804 
-2220 
-2617 
-2865 
-734 
-1502 
-2571 
-2866 
-1220 
-2886 
-2819 
-2436 
-1844 
-882 
-2147 
-2891 
-1101 
-2374 
-2581 
-2695 
-2621 
-1604 
-2749 
-2440 
-2384 
-2885 
-2389 
-1435 
-1892 
-2867 
-2892 
-229 
-1535 
-1205 
-1891 
-2893 
-2844 
-2722 
-2854 
-2810 
-2785 
-831 
-1551 
-2323 
-2313 
-2143 
-1540 
-2589 
-2831 
-2382 
-2024 
-324 
-2811 
-2832 
-2226 
-2833 
-2576 
-2834 
-1209 
-2835 
-2545 
-1916 
-2340 
-2189 
-2836 
-2336 
-2458 
-2379 
-1998 
-2368 
-2425 
-2613 
-2753 
-1148 
-2837 
-1924 
-1264 
1828 
-2503 
-2784 
-2183 
-2154 
-1257 
-2231 
-2342 
-2222 
-2397 
-1860 
-2016 
-1827 
-1145 
-808 
-1334 
-2362 
-1594 
-2567 
-2593 
-2188 
-2575 
-1650 
-759 
-2480 
-2140 
-2594 
-2302 
-2430 
-2275 
-2401 
-2125 
-782 
-1651 
-1134 
-2595 
-2596 
-1901 
-2038 
-735 
-2597 
-2303 
-2014 
-2227 
-1652 
-1432 
-2042 
2598 
-2599 
-2600 
-2542 
-2153 
-2601 
-1794 
-2047 
-1653 
-2602 
-2451 
-2324 
-2603 
-2547 
-2322 
-1557 
-1558 
-1559 
-1560 
-1654 
-1561 
-1562 
-1563 
-1564 
-1276 
-1565 
-1566 
-1567 
-1568 
-1569 
-1655 
-1514 
1570 
-1547 
-1571 
-1336 
-1572 
-1573 
-1574 
-1575 
-1576 
-1500 
-1105 
-1577 
-1578 
-1579 
-1580 
-1581 
-274 
-1582 
-1583 
-1584 
-1656 
-1585 
-1516 
-1586 
-857 
-1587 
-687 
-1588 
-1589 
-1544 
-1590 
-1657 
-1591 
-2177 
-1265 
-2178 
-2235 
-2845 
-1920 
-2438 
-2788 
-2041 
-1861 
-1658 
-2361 
2846 
-2847 
-1537 
-302 
-2029 
-2398 
-2540 
-2431 
-1798 
-1221 
-2349 
-2437 
-2848 
-2380 
-2238 
-2120 
-2849 
-2112 
-2008 
-159 
-1659 
-2566 
-2850 
-1536 
-1102 
-1899 
-2851 
-2386 
-2169 
-1103 
-1770 
-1660 
-2668 
-1443 
-1883 
-2852 
-2215 
-2006 
-2 
-3 
-4 
-5 
-1150 
-6 
-7 
-8 
-9 
10 
-11 
-12 
-13 
-14 
-15 
-1661 
-16 
-17 
-18 
-19 
-20 
-21 
-22 
-809 
810 
-811 
-1203 
-812 
-813 
-814 
-815 
-816 
-817 
-818 
-819 
-820 
-821 
-1662 
-822 
-823 
-824 
-825 
-826 
-827 
-828 
-829 
-832 
-833 
-1430 
-834 
-835 
-836 
-837 
-838 
-839 
-840 
-841 
-842 
-843 
-1663 
-844 
-845 
846 
-847 
-848 
-849 
-850 
-851 
-852 
417 
-1848 
-1862 
-1664 
-418 
-419 
-420 
-421 
-422 
-423 
-424 
-425 
-426 
-427 
-1665 
-428 
-429 
-430 
-431 
-432 
-433 
-434 
-435 
-436 
-437 
-1666 
-1282 
-1283 
-1284 
-1285 
-1286 
-1287 
-1288 
-1289 
-1290 
-1291 
-1667 
-1292 
-1293 
-1294 
-1295 
-1296 
-1297 
-1298 
-1299 
-1300 
1301 
-1668 
-1302 
-597 
-598 
599 
-600 
-601 
-602 
-603 
-604 
-605 
-1669 
-606 
-607 
-608 
-609 
-610 
-611 
-612 
-613 
-614 
-615 
-1670 
-616 
-617 
-440 
-441 
-442 
-443 
-444 
-445 
446 
-447 
-1671 
-448 
-449 
-450 
-451 
-452 
-453 
-454 
-455 
-456 
-457 
-1672 
-458 
-459 
-460 
-529 
-530 
-531 
-532 
-533 
-534 
-535 
-1673 
-536 
-537 
-538 
-539 
-540 
-541 
-542 
-543 
544 
-545 
-1863 
-1542 
-546 
-547 
-548 
-549 
-462 
-463 
-464 
-465 
-466 
-467 
-1674 
-468 
-469 
-470 
-471 
-472 
-473 
-474 
-475 
-476 
-477 
-1675 
-478 
479 
-480 
-481 
-482 
-507 
-508 
-509 
-510 
-511 
-1676 
-512 
-513 
-514 
-515 
-516 
517 
-518 
-519 
-520 
-521 
-1424 
-522 
-523 
-524 
-525 
-526 
-527 
-1079 
-1080 
-1081 
-1082 
-1677 
-1083 
-1084 
-1085 
-1086 
-1087 
-1088 
-1089 
-1090 
-1091 
-1092 
-1678 
-1093 
-1094 
-1095 
-1096 
1097 
-1098 
-1099 
-325 
-326 
-327 
-1679 
-328 
-329 
-330 
-331 
332 
-333 
-334 
-335 
-336 
-337 
-1680 
-338 
-339 
-340 
-341 
-342 
-343 
-344 
-345 
-937 
-938 
-1681 
-939 
940 
-941 
-942 
-943 
-944 
-945 
-946 
-947 
-948 
-1864 
-1682 
-949 
-950 
-951 
-952 
-953 
-954 
-955 
-956 
-957 
-303 
-1683 
-304 
-305 
-306 
-307 
-308 
-309 
-310 
-311 
-312 
-313 
-1684 
-314 
-315 
-316 
-317 
-318 
-319 
-320 
-321 
-322 
323 
-1685 
-1177 
-1178 
-1179 
-1180 
-1181 
-1182 
-1183 
-1184 
-1185 
1186 
-1686 
-1187 
-1188 
-1189 
-1190 
-1191 
-1192 
-1193 
-1194 
-1195 
-1196 
1687 
-1197 
-1152 
-1153 
-1154 
-1155 
-1156 
1157 
-1158 
-1159 
-1160 
-1452 
-1161 
-1162 
-1163 
-1164 
-1165 
-1166 
-1167 
-1168 
-1169 
-1170 
-1453 
-1171 
-1172 
-115 
-116 
-117 
-118 
-119 
-120 
-121 
-122 
-1454 
-123 
-124 
-125 
-126 
-127 
-128 
-129 
-130 
-131 
-132 
-1455 
-133 
-134 
-135 
-47 
-48 
-49 
-50 
-51 
-52 
-53 
-1865 
-1456 
-54 
-55 
-56 
-57 
-58 
-59 
60 
-61 
-62 
-63 
-1457 
-64 
-65 
-66 
-67 
-575 
-576 
-577 
-578 
-579 
-580 
-1458 
-581 
-582 
-583 
-584 
-585 
-586 
587 
-588 
-589 
-590 
-1459 
-591 
-592 
-593 
-594 
-595 
-395 
-396 
-397 
-398 
-399 
-1460 
-400 
-401 
-402 
-403 
-404 
-405 
406 
-407 
-408 
-409 
-1461 
-410 
-411 
-412 
-413 
-414 
-415 
-253 
-254 
-255 
-256 
-1462 
-257 
-258 
-259 
-260 
-261 
-262 
-263 
-264 
-265 
-266 
-1463 
-267 
-268 
269 
-270 
-271 
-272 
-273 
-761 
-762 
-763 
-1464 
-764 
765 
-766 
-767 
-768 
-769 
-770 
-771 
-772 
-773 
-1465 
-774 
-775 
-776 
-777 
-778 
-779 
-780 
-781 
-1108 
-1109 
-1146 
1466 
-1110 
-1111 
-1112 
-1113 
-1114 
-1115 
-1116 
-1117 
-1118 
-1119 
-1467 
-1120 
-1121 
-1122 
-1123 
-1124 
-1125 
-1126 
-1127 
-1128 
-1129 
-1468 
-484 
-485 
-486 
487 
-488 
-489 
-490 
-491 
-492 
-493 
-1469 
-494 
-495 
-496 
-497 
-498 
-499 
-500 
-501 
-502 
-503 
-1266 
-504 
-505 
-736 
-737 
-738 
-739 
-740 
741 
-742 
-743 
-1470 
-744 
-745 
-746 
-747 
-748 
-749 
-750 
-751 
-752 
-753 
-1255 
-754 
-755 
-756 
-757 
-24 
-25 
-26 
-27 
-28 
-29 
-1471 
-30 
-31 
-32 
-33 
-34 
-35 
-36 
-37 
-38 
-39 
-1107 
-40 
-41 
-42 
-43 
-44 
45 
-348 
-349 
-350 
-351 
-1472 
-352 
-353 
-354 
-355 
-356 
-357 
-358 
-359 
-360 
-361 
1866 
-1473 
-362 
-363 
-364 
-365 
366 
-367 
-368 
-369 
-277 
-278 
-1474 
-279 
-280 
-281 
-282 
283 
-284 
-285 
-286 
-287 
-288 
-1475 
-289 
-290 
-291 
-292 
-293 
-294 
-295 
-296 
-297 
-298 
-1476 
-160 
-161 
-162 
-163 
-164 
-165 
-166 
167 
-168 
-169 
-1477 
-170 
-171 
-172 
-173 
-174 
-175 
-176 
-177 
-178 
-179 
-1478 
-180 
-181 
551 
-552 
-553 
-554 
-555 
-556 
-557 
-558 
-1479 
-559 
-560 
-561 
-562 
-563 
-564 
-565 
-566 
-567 
-568 
-1480 
-569 
-570 
-571 
-572 
-207 
-208 
209 
-210 
-211 
-212 
-1481 
-213 
-214 
-215 
-216 
-217 
-218 
-219 
-220 
-221 
-222 
-1482 
-223 
-224 
-225 
-226 
-227 
-228 
-69 
-70 
-71 
-72 
-1867 
-1483 
-73 
-74 
-75 
-76 
77 
-78 
-79 
-80 
-81 
-82 
-1484 
-83 
-84 
-85 
-86 
-87 
-88 
-89 
-90 
-1054 
-1055 
-1485 
-1056 
-1057 
-1058 
-1059 
-1060 
-1061 
-1062 
-1063 
-1064 
-1065 
-1486 
-1066 
-1067 
-1068 
-1069 
1070 
-1071 
-1072 
-1073 
-1074 
-1075 
-1487 
-860 
-861 
-862 
-863 
-864 
-865 
-866 
-867 
-868 
-869 
-1488 
-870 
-871 
872 
-873 
-874 
-875 
-876 
-877 
-878 
-879 
-1489 
-880 
-881 
-913 
-914 
-915 
-916 
-917 
-918 
-919 
-920 
-1490 
-921 
922 
-923 
-924 
-925 
-926 
-927 
-928 
-929 
-930 
-1491 
-931 
-932 
-933 
-934 
-1229 
1230 
-1231 
-1232 
-1233 
-1234 
-1492 
-1235 
-1236 
-1237 
-1238 
-1239 
-1240 
-1241 
-1242 
-1243 
-1244 
-1868 
-1493 
-1245 
-1246 
-1247 
-1248 
-1249 
-1250 
-784 
-785 
-786 
-787 
-2190 
-788 
-789 
-790 
-791 
-792 
-793 
-794 
795 
-796 
-797 
-2129 
-798 
-799 
-800 
-801 
-802 
-803 
-804 
-805 
-92 
-93 
-1821 
-94 
-95 
-96 
-97 
-98 
-99 
-100 
-101 
-102 
-103 
-2191 
-104 
-105 
106 
-107 
-108 
-109 
-110 
-111 
-112 
-113 
-2192 
-230 
-231 
-232 
-233 
-234 
-235 
-236 
-237 
-238 
-239 
-2193 
-240 
-241 
-242 
-243 
-244 
-245 
-246 
-247 
-248 
249 
-2194 
-250 
-251 
-665 
-666 
-667 
-668 
-669 
-670 
-671 
-672 
-1554 
-673 
-674 
-675 
-676 
-677 
-678 
-679 
680 
-681 
-682 
-2195 
-683 
-684 
-685 
-686 
-887 
-888 
-889 
-890 
-891 
-892 
-1869 
-1440 
-893 
-894 
-895 
-896 
897 
-898 
-899 
-900 
-901 
-902 
-1534 
-903 
-904 
-905 
-906 
-907 
-908 
-183 
-184 
-185 
-186 
-2196 
-187 
-188 
-189 
-190 
-191 
-192 
-193 
-194 
-195 
-196 
-2197 
-197 
-198 
-199 
200 
-201 
-202 
-203 
-204 
-1308 
-1309 
-2048 
-1310 
-1311 
-1312 
-1313 
-1314 
-1315 
-1316 
-1317 
-1318 
-1319 
-2113 
-1320 
1321 
-1322 
-1323 
-1324 
-1325 
-1326 
-1327 
-1328 
-1329 
-2198 
-372 
-373 
-374 
-375 
376 
-377 
-378 
-379 
-380 
-381 
-2199 
-382 
-383 
-384 
-385 
-386 
-387 
-388 
-389 
-390 
-391 
-2200 
-392 
-393 
-137 
-138 
-139 
-140 
-141 
-142 
-143 
-144 
-1644 
-145 
-146 
-147 
-148 
-149 
-150 
-151 
-152 
-153 
-154 
-1870 
-2201 
-155 
-156 
157 
-158 
-1788 
-1280 
-2202 
-2203 
-2184 
-23 
-1530 
-1817 
-2204 
-1849 
-1871 
-2205 
-2206 
-885 
-1816 
-2207 
-2208 
-1776 
2045 
-2158 
-2209 
-206 
-1511 
-1727 
-2210 
-2211 
-2212 
-2213 
-1 
-1692 
-1693 
-1694 
-1872 
-1695 
-1215 
-1696 
-1135 
-1697 
-1698 
-1207 
-1076 
-1600 
-1699 
-1873 
-1700 
-1701 
-1702 
-1703 
-1704 
-573 
-1705 
-1706 
-1707 
-1708 
-1874 
-1709 
-1710 
-1494 
-1263 
-1647 
-1711 
-1712 
-1713 
-1714 
-1715 
-1204 
-1716 
-1717 
-1718 
-1719 
-1720 
-1721 
1722 
-1723 
-1724 
-1256 
-1875 
-1725 
-961 
-884 
-962 
-963 
-964 
-965 
-966 
-967 
-968 
-1876 
-969 
-970 
-618 
-971 
-972 
-973 
-974 
-975 
-976 
-574 
-1877 
-977 
-978 
-979 
-980 
-981 
-982 
-983 
-984 
-985 
-986 
-1878 
-987 
-988 
-989 
-990 
-991 
-992 
-993 
-994 
-995 
-996 
-1850 
-1879 
-997 
-998 
-999 
-1000 
1001 
-1002 
-1773 
-2405 
-2406 
-2185 
-1880 
-2407 
-2172 
-2408 
-1260 
-1526 
-2270 
-1131 
-2233 
-2409 
-2168 
-1527 
-1223 
-2410 
-853 
-2411 
-1450 
-2412 
-2413 
-2022 
-2023 
-1910 
-1881 
-2414 
-2396 
-2415 
2370 
-2416 
-2417 
-2232 
-2418 
-2035 
-2419 
-1137 
-1428 
-1903 
-2420 
-346 
-2421 
-2149 
-2422 
-2354 
-2357 
-2309 
-1882 
-2423 
-1252 
-2629 
-2630 
-2573 
-1426 
-2228 
1795 
-1106 
-2631 
-1219 
-2538 
-1151 
-959 
-2632 
-2633 
-2634 
-1789 
-2635 
-2461 
-2636 
-2556 
-2373 
-252 
-2160 
-2637 
-2627 
-2638 
-2639 
-2640 
-2018 
-2448 
-2675 
-2641 
-2642 
-2643 
-2214 
-2644 
-2645 
-1513 
-2442 
-2163 
-2619 
-1774 
-2346 
-1593 
-2646 
-2500 
-1884 
-1900 
-2770 
-1818 
-2355 
-1999 
-1811 
-1552 
-2000 
-1777 
-2388 
-2046 
-2771 
1803 
-2772 
-2273 
-2137 
-2773 
-2548 
-1212 
-2569 
-2276 
-1823 
-2173 
-2433 
-2560 
-2584 
-2774 
-2775 
-2558 
-1965 
-1905 
-1599 
-2612 
-1445 
-2776 
-2672 
-68 
-2549 
-2583 
-2586 
-2694 
-2473 
-2037 
-1605 
-2777 
-1603 
-2778 
-2779 
-2175 
-1227 
-2557 
-2780 
-2278 
-1100 
-1258 
-2157 
-2279 
-2280 
-2281 
-2282 
-2283 
-2221 
-2284 
-2141 
-2285 
-2286 
-2287 
-2156 
-2288 
-1449 
-2289 
-2290 
-2562 
-2170 
-1210 
-2145 
-2291 
-2292 
-2293 
-1609 
-1889 
-1211 
-1305 
-2739 
-2294 
-2295 
-2269 
-1793 
-2115 
-2237 
-2296 
-2297 
2298 
-1842 
-1512 
-1380 
-2299 
-2007 
-1797 
-2300 
-2301 
-1929 
-1930 
-1931 
-1932 
-1825 
-1933 
-596 
-1934 
-1935 
-1936 
-1937 
-1938 
-1939 
-1940 
-1819 
-1851 
-2740 
-1941 
-1942 
-1943 
-1909 
-1214 
-1944 
-1945 
-1946 
-1947 
-1948 
-2311 
-1949 
-1950 
-1787 
-1951 
-1952 
-1953 
1954 
-1955 
-1814 
-1956 
-2741 
-1957 
-1608 
-1958 
-1959 
-1960 
-1961 
-1962 
-1906 
-1307 
-1963 
-2564 
-1964 
-2697 
-2607 
-2698 
-1501 
-1525 
-2699 
-1779 
-2700 
-1077 
-2735 
-2701 
-2114 
-2426 
-936 
-1886 
-2702 
-2475 
-2360 
-2005 
-2623 
-2329 
-2459 
-2017 
1845 
-2703 
-1175 
-2321 
-2704 
-2705 
-2706 
-883 
-2742 
-2585 
-2707 
-2708 
-1446 
-2305 
-2709 
-2604 
-2472 
-2132 
-2577 
-2743 
-664 
-1523 
-2710 
-1902 
-1908 
-2711 
-1439 
-2219 
-2216 
-2240 
-1274 
-2241 
-2242 
-2243 
-2244 
-461 
-2245 
-2246 
-2247 
-2248 
-2249 
-2223 
-2250 
-2162 
-2139 
-1524 
-2251 
-1005 
-2252 
-1912 
-1509 
-2253 
-1497 
-1555 
-2254 
-2255 
-2256 
-2257 
-1262 
-2258 
-2259 
-1279 
-2260 
2261 
1528 
-2262 
-1228 
-2263 
-910 
-1649 
-1495 
-2264 
-1218 
-1791 
-2265 
-2626 
-2266 
-299 
-2486 
-2127 
-1840 
-2487 
-2488 
-2142 
-2489 
-2449 
-2504 
-2363 
-1451 
-2490 
-2310 
-2491 
-1690 
-2492 
-2493 
-2467 
-2494 
-2148 
2495 
-2404 
-2234 
-2131 
-2111 
-2165 
-1918 
-2271 
-2043 
-2450 
-1914 
-1520 
-2427 
-2496 
-1053 
-2025 
-2110 
-2126 
-1532 
-91 
-2483 
-2187 
-2497 
-1437 
-2498 
-2499 
-371 
-1504 
-1731 
-1732 
-1733 
-1729 
-856 
-1734 
-1735 
-1736 
-1737 
-1738 
-1739 
-1740 
-1741 
-1742 
-1529 
-2648 
-1743 
-1744 
-1745 
-1746 
-1747 
-1748 
-1749 
-1750 
-1751 
-1498 
-2429 
-1752 
-1753 
-1754 
-1755 
-1756 
-1757 
-1758 
-1759 
-1760 
-1761 
-1852 
-1592 
-1762 
-1763 
-1051 
-1764 
1765 
-1728 
-1766 
-182 
-1767 
-1768 
-2744 
-136 
-2317 
-2615 
-2176 
-2224 
-1598 
-2345 
-1688 
-2812 
-2315 
-783 
-2754 
-2750 
-2729 
-2798 
2813 
-2307 
-2117 
-114 
-2539 
-2466 
-2671 
-2367 
-2674 
-807 
-1268 
-1646 
-1506 
-2814 
-2040 
-276 
-1304 
-2745 
-2464 
-2815 
-1804 
-2816 
-1143 
-2805 
-2462 
-2124 
-2481 
-2333 
-2746 
-2563 
-2817 
-2002 
-2689 
-2155 
-806 
-1007 
-1008 
-1009 
-1010 
-2013 
-1011 
1012 
-1013 
-1014 
-1015 
-1016 
-1017 
-1018 
-1019 
-1020 
-2123 
-1021 
-1022 
-1023 
-1024 
-1025 
-1026 
-1027 
-1028 
-1029 
-1030 
-2180 
-1031 
-1032 
-1033 
-1034 
-1035 
-1036 
-1037 
-1038 
-1039 
-859 
-1847 
-1040 
-1041 
-1042 
-1043 
-1044 
-1045 
-886 
-1046 
-1047 
-1048 
-1853 
-1836 
-1049 
-2762 
2559 
-1261 
-2320 
-2763 
-2150 
-1796 
-2555 
-2714 
-2554 
-2720 
-2731 
-2764 
-1538 
-2144 
-2734 
-2765 
-2369 
-2366 
-2352 
-2591 
-1890 
-2766 
-2767 
-1898 
-2347 
-2724 
-1786 
-2399 
-2395 
-2152 
-2318 
-2751 
-2667 
-2756 
-1546 
-2004 
-1201 
-2768 
-2267 
-1548 
-2428 
-2721 
-2506 
-2769 
-1826 
-2445 
-758 
-1839 
-688 
-689 
690 
-691 
-2588 
-692 
-693 
-694 
-695 
-696 
-697 
-698 
-699 
-700 
-701 
-2030 
-702 
-703 
-704 
-705 
-706 
-707 
-708 
-709 
-710 
-711 
-2478 
-712 
-713 
-714 
-715 
-716 
-717 
-718 
-719 
-720 
-721 
-1907 
-722 
-723 
-724 
-725 
-726 
-727 
-728 
-729 
-730 
-731 
-2471 
-732 
-1810 
-2781 
-2664 
-2039 
-2874 
-2568 
-1503 
-2330 
-1517 
s SATISFIABLE
v -v1 -v10 -v100 -v1000 -v1001 -v1002 -v1003 -v1004 -v1005 -v1006 -v1007 -v1008 -v1009 -v101 -v1010 -v1011 -v1012 -v1013 v1014 -v1015 -v1016 -v1017 -v1018 -v1019 -v102 -v1020 -v1021 -v1022 -v1023 -v1024 -v1025 -v1026 -v1027 -v1028 -v1029 -v103 -v1030 -v1031 -v1032 -v1033 -v1034 -v1035 -v1036 -v1037 -v1038 -v1039 -v104 v1040 -v1041 -v1042 -v1043 -v1044 -v1045 -v1046 -v1047 -v1048 -v1049 -v105 -v1050 -v1051 -v1052 -v1053 -v1054 -v1055 -v1056 -v1057 -v1058 -v1059 -v106 -v1060 -v1061 -v1062 -v1063 -v1064 -v1065 -v1066 -v1067 -v1068 -v1069 -v107 -v1070 -v1071 -v1072 -v1073 -v1074 -v1075 -v1076 -v1077 -v1078 -v1079 -v108 -v1080 -v1081 -v1082 -v1083 v1084 -v1085 -v1086 -v1087 -v1088 -v1089 -v109 -v1090 -v1091 -v1092 -v1093 -v1094 -v1095 -v1096 -v1097 -v1098 -v1099 -v11 -v110 -v1100 -v1101 -v1102 -v1103 -v1104 -v1105 -v1106 -v1107 -v1108 -v1109 v111 -v1110 -v1111 -v1112 -v1113 -v1114 -v1115 -v1116 -v1117 -v1118 -v1119 -v112 -v1120 -v1121 -v1122 -v1123 -v1124 -v1125 -v1126 -v1127 -v1128 -v1129 -v113 -v1130 -v1131 -v1132 -v1133 -v1134 -v1135 -v1136 -v1137 -v1138 -v1139 -v114 -v1140 -v1141 -v1142 v1143 -v1144 -v1145 -v1146 -v1147 -v1148 -v1149 -v115 -v1150 -v1151 -v1152 -v1153 -v1154 -v1155 -v1156 -v1157 -v1158 -v1159 -v116 -v1160 -v1161 -v1162 -v1163 -v1164 -v1165 -v1166 -v1167 -v1168 -v1169 -v117 -v1170 -v1171 -v1172 -v1173 -v1174 -v1175 -v1176 -v1177 -v1178 -v1179 -v118 -v1180 -v1181 v1182 -v1183 -v1184 -v1185 -v1186 -v1187 -v1188 -v1189 -v119 -v1190 -v1191 -v1192 -v1193 -v1194 -v1195 -v1196 -v1197 -v1198 -v1199 -v12 -v120 -v1200 -v1201 -v1202 -v1203 -v1204 -v1205 -v1206 -v1207 -v1208 -v1209 -v121 -v1210 -v1211 -v1212 -v1213 -v1214 -v1215 -v1216 -v1217 -v1218 -v1219 -v122 -v1220 -v1221 -v1222 v1223 -v1224 -v1225 -v1226 -v1227 -v1228 -v1229 -v123 -v1230 -v1231 -v1232 -v1233 -v1234 -v1235 -v1236 -v1237 -v1238 -v1239 -v124 -v1240 -v1241 -v1242 -v1243 -v1244 -v1245 -v1246 -v1247 -v1248 -v1249 -v125 -v1250 -v1251 -v1252 -v1253 -v1254 -v1255 -v1256 -v1257 -v1258 -v1259 -v126 -v1260 -v1261 -v1262 -v1263 -v1264 -v1265 -v1266 -v1267 -v1268 -v1269 -v127 -v1270 -v1271 -v1272 -v1273 -v1274 -v1275 -v1276 -v1277 -v1278 -v1279 -v128 -v1280 -v1281 -v1282 -v1283 -v1284 -v1285 -v1286 -v1287 -v1288 -v1289 -v129 -v1290 -v1291 -v1292 -v1293 -v1294 -v1295 -v1296 -v1297 -v1298 -v1299 -v13 -v130 -v1300 -v1301 v1302 -v1303 -v1304 -v1305 -v1306 -v1307 -v1308 -v1309 -v131 -v1310 -v1311 -v1312 -v1313 -v1314 -v1315 -v1316 -v1317 -v1318 -v1319 -v132 -v1320 -v1321 -v1322 -v1323 -v1324 -v1325 -v1326 -v1327 -v1328 -v1329 -v133 -v1330 -v1331 -v1332 -v1333 -v1334 -v1335 -v1336 -v1337 -v1338 -v1339 -v134 -v1340 -v1341 -v1342 -v1343 -v1344 v1345 -v1346 -v1347 -v1348 -v1349 -v135 -v1350 -v1351 -v1352 -v1353 -v1354 -v1355 -v1356 -v1357 -v1358 -v1359 -v136 -v1360 -v1361 -v1362 -v1363 -v1364 -v1365 -v1366 -v1367 -v1368 -v1369 -v137 -v1370 -v1371 -v1372 -v1373 -v1374 -v1375 -v1376 -v1377 -v1378 -v1379 -v138 -v1380 -v1381 -v1382 -v1383 -v1384 -v1385 v1386 -v1387 -v1388 -v1389 -v139 -v1390 -v1391 -v1392 -v1393 -v1394 -v1395 -v1396 -v1397 -v1398 -v1399 -v14 -v140 -v1400 -v1401 -v1402 -v1403 -v1404 -v1405 -v1406 -v1407 v1408 -v1409 -v141 -v1410 -v1411 -v1412 -v1413 -v1414 -v1415 -v1416 -v1417 -v1418 -v1419 -v142 -v1420 -v1421 -v1422 -v1423 -v1424 -v1425 -v1426 -v1427 -v1428 -v1429 -v143 -v1430 -v1431 -v1432 -v1433 -v1434 -v1435 -v1436 -v1437 -v1438 -v1439 -v144 -v1440 -v1441 -v1442 -v1443 -v1444 -v1445 -v1446 -v1447 -v1448 -v1449 -v145 -v1450 -v1451 -v1452 -v1453 -v1454 -v1455 -v1456 -v1457 -v1458 v1459 -v146 -v1460 -v1461 -v1462 -v1463 -v1464 -v1465 -v1466 -v1467 -v1468 -v1469 -v147 -v1470 -v1471 -v1472 -v1473 -v1474 -v1475 -v1476 -v1477 -v1478 -v1479 -v148 -v1480 -v1481 -v1482 -v1483 -v1484 -v1485 -v1486 -v1487 -v1488 -v1489 -v149 -v1490 -v1491 -v1492 -v1493 -v1494 -v1495 -v1496 -v1497 -v1498 -v1499 -v15 -v150 -v1500 -v1501 -v1502 -v1503 -v1504 -v1505 -v1506 -v1507 -v1508 -v1509 -v151 -v1510 -v1511 -v1512 -v1513 v1514 -v1515 -v1516 -v1517 -v1518 -v1519 -v152 -v1520 -v1521 -v1522 -v1523 -v1524 -v1525 -v1526 -v1527 -v1528 -v1529 -v153 -v1530 -v1531 -v1532 -v1533 -v1534 -v1535 -v1536 -v1537 -v1538 -v1539 -v154 -v1540 -v1541 -v1542 -v1543 -v1544 -v1545 -v1546 -v1547 -v1548 -v1549 -v155 -v1550 -v1551 -v1552 -v1553 -v1554 -v1555 -v1556 -v1557 -v1558 -v1559 -v156 -v1560 -v1561 -v1562 -v1563 -v1564 -v1565 -v1566 -v1567 -v1568 -v1569 -v157 -v1570 -v1571 -v1572 v1573 -v1574 -v1575 -v1576 -v1577 -v1578 -v1579 -v158 -v1580 -v1581 -v1582 -v1583 -v1584 -v1585 -v1586 -v1587 -v1588 -v1589 -v159 -v1590 -v1591 -v1592 -v1593 -v1594 -v1595 -v1596 -v1597 -v1598 -v1599 -v16 -v160 -v1600 -v1601 v1602 -v1603 -v1604 -v1605 -v1606 -v1607 -v1608 -v1609 -v161 -v1610 -v1611 -v1612 -v1613 -v1614 -v1615 -v1616 -v1617 -v1618 -v1619 -v162 -v1620 -v1621 -v1622 -v1623 -v1624 -v1625 -v1626 -v1627 -v1628 -v1629 -v163 -v1630 -v1631 -v1632 -v1633 -v1634 -v1635 -v1636 -v1637 -v1638 -v1639 -v164 -v1640 -v1641 -v1642 -v1643 -v1644 -v1645 -v1646 -v1647 -v1648 -v1649 v165 -v1650 -v1651 -v1652 v1653 -v1654 -v1655 -v1656 -v1657 -v1658 -v1659 -v166 -v1660 -v1661 -v1662 -v1663 -v1664 -v1665 v1666 -v1667 -v1668 -v1669 -v167 -v1670 -v1671 -v1672 -v1673 -v1674 -v1675 -v1676 -v1677 -v1678 -v1679 -v168 -v1680 -v1681 -v1682 -v1683 -v1684 -v1685 -v1686 -v1687 -v1688 -v1689 -v169 -v1690 -v1691 -v1692 -v1693 -v1694 -v1695 -v1696 -v1697 -v1698 -v1699 -v17 -v170 -v1700 -v1701 -v1702 -v1703 -v1704 -v1705 -v1706 -v1707 -v1708 -v1709 -v171 -v1710 -v1711 -v1712 -v1713 -v1714 -v1715 -v1716 -v1717 -v1718 v1719 -v172 -v1720 -v1721 -v1722 -v1723 -v1724 -v1725 -v1726 -v1727 -v1728 -v1729 -v173 -v1730 -v1731 -v1732 -v1733 -v1734 -v1735 -v1736 -v1737 -v1738 -v1739 -v174 -v1740 -v1741 -v1742 -v1743 -v1744 -v1745 -v1746 -v1747 -v1748 -v1749 -v175 -v1750 -v1751 -v1752 -v1753 -v1754 -v1755 -v1756 -v1757 -v1758 -v1759 -v176 -v1760 -v1761 -v1762 -v1763 -v1764 -v1765 -v1766 -v1767 -v1768 -v1769 -v177 -v1770 -v1771 -v1772 -v1773 -v1774 -v1775 -v1776 -v1777 -v1778 -v1779 -v178 -v1780 -v1781 -v1782 -v1783 -v1784 -v1785 -v1786 -v1787 -v1788 -v1789 -v179 v1790 -v1791 -v1792 -v1793 -v1794 -v1795 -v1796 -v1797 -v1798 -v1799 -v18 -v180 -v1800 -v1801 -v1802 -v1803 -v1804 -v1805 -v1806 -v1807 -v1808 -v1809 -v181 -v1810 -v1811 -v1812 -v1813 -v1814 -v1815 -v1816 -v1817 -v1818 -v1819 -v182 -v1820 -v1821 -v1822 -v1823 -v1824 -v1825 -v1826 -v1827 -v1828 -v1829 -v183 -v1830 -v1831 v1832 -v1833 -v1834 -v1835 -v1836 -v1837 -v1838 -v1839 -v184 -v1840 -v1841 -v1842 -v1843 -v1844 -v1845 -v1846 -v1847 -v1848 -v1849 -v185 -v1850 -v1851 -v1852 -v1853 -v1854 -v1855 -v1856 -v1857 -v1858 -v1859 -v186 -v1860 v1861 -v1862 -v1863 -v1864 -v1865 -v1866 -v1867 -v1868 -v1869 -v187 -v1870 -v1871 -v1872 -v1873 -v1874 -v1875 -v1876 -v1877 -v1878 -v1879 -v188 -v1880 -v1881 -v1882 -v1883 -v1884 -v1885 -v1886 -v1887 -v1888 -v1889 -v189 -v1890 -v1891 -v1892 -v1893 -v1894 -v1895 -v1896 -v1897 -v1898 -v1899 -v19 -v190 -v1900 v1901 -v1902 -v1903 -v1904 -v1905 -v1906 -v1907 -v1908 -v1909 -v191 -v1910 -v1911 -v1912 -v1913 -v1914 -v1915 -v1916 -v1917 -v1918 -v1919 -v192 -v1920 -v1921 -v1922 -v1923 -v1924 -v1925 -v1926 -v1927 -v1928 -v1929 -v193 -v1930 -v1931 -v1932 -v1933 -v1934 -v1935 -v1936 -v1937 -v1938 -v1939 -v194 -v1940 -v1941 -v1942 -v1943 v1944 -v1945 -v1946 -v1947 -v1948 -v1949 -v195 -v1950 -v1951 -v1952 -v1953 -v1954 -v1955 -v1956 -v1957 v1958 -v1959 -v196 -v1960 -v1961 -v1962 -v1963 -v1964 -v1965 -v1966 -v1967 -v1968 -v1969 -v197 -v1970 -v1971 -v1972 -v1973 -v1974 -v1975 -v1976 -v1977 -v1978 -v1979 -v198 -v1980 -v1981 -v1982 -v1983 -v1984 -v1985 -v1986 -v1987 -v1988 -v1989 -v199 -v1990 -v1991 v1992 -v1993 -v1994 -v1995 -v1996 -v1997 -v1998 v1999 -v2 -v20 -v200 -v2000 -v2001 -v2002 -v2003 -v2004 -v2005 -v2006 -v2007 -v2008 -v2009 -v201 -v2010 -v2011 -v2012 -v2013 -v2014 -v2015 -v2016 -v2017 -v2018 -v2019 -v202 -v2020 -v2021 -v2022 -v2023 -v2024 -v2025 -v2026 -v2027 -v2028 -v2029 -v203 -v2030 -v2031 -v2032 -v2033 -v2034 -v2035 -v2036 -v2037 -v2038 v2039 -v204 -v2040 -v2041 -v2042 v2043 -v2044 -v2045 -v2046 -v2047 -v2048 -v2049 -v205 -v2050 -v2051 -v2052 -v2053 -v2054 -v2055 -v2056 -v2057 -v2058 -v2059 -v206 -v2060 -v2061 -v2062 -v2063 -v2064 -v2065 -v2066 -v2067 v2068 -v2069 -v207 -v2070 -v2071 -v2072 -v2073 -v2074 -v2075 -v2076 -v2077 -v2078 -v2079 -v208 -v2080 -v2081 -v2082 -v2083 -v2084 -v2085 -v2086 -v2087 -v2088 -v2089 -v209 -v2090 -v2091 -v2092 -v2093 -v2094 -v2095 -v2096 -v2097 v2098 -v2099 -v21 -v210 -v2100 -v2101 -v2102 -v2103 -v2104 -v2105 -v2106 -v2107 -v2108 -v2109 -v211 -v2110 -v2111 -v2112 -v2113 -v2114 -v2115 -v2116 -v2117 -v2118 -v2119 -v212 -v2120 v2121 -v2122 -v2123 -v2124 -v2125 -v2126 -v2127 -v2128 -v2129 -v213 -v2130 -v2131 -v2132 -v2133 -v2134 v2135 -v2136 -v2137 -v2138 -v2139 -v214 -v2140 -v2141 -v2142 -v2143 -v2144 -v2145 -v2146 -v2147 -v2148 -v2149 -v215 -v2150 -v2151 -v2152 -v2153 -v2154 -v2155 -v2156 -v2157 -v2158 -v2159 -v216 -v2160 -v2161 -v2162 -v2163 v2164 -v2165 -v2166 -v2167 -v2168 -v2169 -v217 -v2170 -v2171 -v2172 -v2173 v2174 -v2175 -v2176 -v2177 -v2178 -v2179 -v218 -v2180 -v2181 -v2182 -v2183 -v2184 -v2185 -v2186 -v2187 -v2188 -v2189 -v219 -v2190 v2191 -v2192 -v2193 -v2194 -v2195 -v2196 -v2197 -v2198 -v2199 -v22 -v220 -v2200 -v2201 -v2202 -v2203 -v2204 -v2205 -v2206 -v2207 -v2208 -v2209 -v221 -v2210 -v2211 -v2212 -v2213 -v2214 -v2215 -v2216 -v2217 -v2218 -v2219 -v222 -v2220 -v2221 -v2222 -v2223 -v2224 -v2225 -v2226 -v2227 -v2228 v2229 -v223 -v2230 -v2231 -v2232 -v2233 -v2234 -v2235 -v2236 -v2237 -v2238 v2239 -v224 -v2240 -v2241 -v2242 -v2243 -v2244 -v2245 -v2246 -v2247 -v2248 -v2249 v225 -v2250 -v2251 -v2252 -v2253 -v2254 -v2255 v2256 -v2257 -v2258 -v2259 -v226 -v2260 -v2261 -v2262 -v2263 -v2264 -v2265 -v2266 -v2267 -v2268 -v2269 -v227 -v2270 -v2271 -v2272 -v2273 -v2274 -v2275 -v2276 -v2277 -v2278 -v2279 -v228 -v2280 -v2281 -v2282 -v2283 -v2284 -v2285 -v2286 -v2287 -v2288 -v2289 -v229 -v2290 -v2291 -v2292 -v2293 -v2294 -v2295 -v2296 -v2297 -v2298 -v2299 -v23 -v230 -v2300 -v2301 -v2302 -v2303 -v2304 -v2305 v2306 -v2307 -v2308 -v2309 -v231 -v2310 -v2311 -v2312 -v2313 -v2314 -v2315 -v2316 -v2317 -v2318 -v2319 -v232 -v2320 -v2321 -v2322 -v2323 -v2324 -v2325 v2326 -v2327 -v2328 -v2329 -v233 -v2330 -v2331 -v2332 -v2333 -v2334 -v2335 -v2336 -v2337 -v2338 -v2339 -v234 -v2340 -v2341 -v2342 -v2343 -v2344 -v2345 v2346 -v2347 -v2348 -v2349 -v235 -v2350 -v2351 -v2352 -v2353 -v2354 -v2355 -v2356 -v2357 -v2358 -v2359 -v236 -v2360 -v2361 -v2362 -v2363 -v2364 -v2365 -v2366 -v2367 -v2368 -v2369 -v237 -v2370 -v2371 v2372 -v2373 -v2374 -v2375 -v2376 -v2377 -v2378 -v2379 -v238 -v2380 v2381 -v2382 -v2383 -v2384 -v2385 -v2386 -v2387 -v2388 -v2389 -v239 -v2390 -v2391 -v2392 -v2393 -v2394 -v2395 -v2396 -v2397 -v2398 -v2399 -v24 v240 -v2400 -v2401 -v2402 -v2403 -v2404 -v2405 -v2406 -v2407 -v2408 -v2409 -v241 -v2410 -v2411 -v2412 -v2413 -v2414 -v2415 -v2416 -v2417 -v2418 -v2419 -v242 -v2420 -v2421 -v2422 v2423 -v2424 -v2425 -v2426 -v2427 -v2428 -v2429 -v243 -v2430 -v2431 -v2432 -v2433 -v2434 -v2435 -v2436 -v2437 -v2438 -v2439 -v244 -v2440 -v2441 -v2442 -v2443 -v2444 -v2445 -v2446 v2447 -v2448 -v2449 -v245 -v2450 -v2451 -v2452 -v2453 -v2454 -v2455 -v2456 -v2457 -v2458 -v2459 -v246 -v2460 -v2461 -v2462 -v2463 -v2464 -v2465 -v2466 -v2467 -v2468 -v2469 -v247 -v2470 -v2471 -v2472 -v2473 -v2474 -v2475 -v2476 -v2477 -v2478 -v2479 -v248 -v2480 -v2481 -v2482 -v2483 -v2484 v2485 -v2486 -v2487 -v2488 -v2489 -v249 -v2490 -v2491 -v2492 -v2493 -v2494 -v2495 -v2496 -v2497 -v2498 -v2499 v25 -v250 -v2500 -v2501 -v2502 -v2503 v2504 -v2505 -v2506 -v2507 -v2508 -v2509 -v251 -v2510 -v2511 -v2512 -v2513 v2514 -v2515 -v2516 -v2517 -v2518 -v2519 -v252 -v2520 -v2521 -v2522 -v2523 -v2524 -v2525 -v2526 -v2527 -v2528 -v2529 -v253 -v2530 -v2531 -v2532 -v2533 -v2534 -v2535 -v2536 v2537 -v2538 -v2539 -v254 -v2540 -v2541 -v2542 -v2543 -v2544 -v2545 -v2546 -v2547 -v2548 -v2549 -v255 -v2550 -v2551 v2552 -v2553 -v2554 -v2555 -v2556 -v2557 -v2558 -v2559 -v256 -v2560 -v2561 -v2562 -v2563 -v2564 -v2565 -v2566 -v2567 -v2568 -v2569 -v257 -v2570 -v2571 -v2572 -v2573 -v2574 -v2575 v2576 -v2577 -v2578 -v2579 -v258 -v2580 -v2581 -v2582 -v2583 -v2584 -v2585 -v2586 -v2587 -v2588 -v2589 -v259 -v2590 -v2591 -v2592 -v2593 -v2594 -v2595 -v2596 -v2597 -v2598 -v2599 -v26 -v260 -v2600 -v2601 -v2602 -v2603 v2604 -v2605 -v2606 -v2607 -v2608 -v2609 -v261 -v2610 -v2611 -v2612 -v2613 -v2614 -v2615 -v2616 -v2617 -v2618 -v2619 -v262 -v2620 -v2621 -v2622 -v2623 -v2624 -v2625 -v2626 -v2627 -v2628 -v2629 -v263 -v2630 -v2631 -v2632 -v2633 v2634 -v2635 -v2636 -v2637 -v2638 -v2639 -v264 -v2640 -v2641 -v2642 -v2643 -v2644 -v2645 -v2646 -v2647 -v2648 -v2649 -v265 -v2650 -v2651 v2652 -v2653 -v2654 -v2655 -v2656 -v2657 -v2658 -v2659 -v266 -v2660 -v2661 -v2662 -v2663 -v2664 -v2665 -v2666 -v2667 -v2668 -v2669 -v267 -v2670 v2671 -v2672 -v2673 -v2674 -v2675 -v2676 -v2677 -v2678 -v2679 -v268 -v2680 -v2681 -v2682 -v2683 -v2684 v2685 -v2686 -v2687 -v2688 -v2689 -v269 -v2690 -v2691 -v2692 -v2693 -v2694 -v2695 -v2696 -v2697 -v2698 -v2699 -v27 -v270 -v2700 -v2701 -v2702 -v2703 -v2704 -v2705 -v2706 -v2707 -v2708 -v2709 -v271 -v2710 -v2711 -v2712 -v2713 -v2714 -v2715 -v2716 v2717 -v2718 -v2719 -v272 -v2720 -v2721 -v2722 -v2723 -v2724 -v2725 -v2726 -v2727 -v2728 -v2729 -v273 -v2730 -v2731 -v2732 -v2733 -v2734 -v2735 -v2736 -v2737 -v2738 -v2739 -v274 -v2740 -v2741 v2742 -v2743 -v2744 -v2745 -v2746 -v2747 -v2748 -v2749 -v275 -v2750 -v2751 -v2752 -v2753 -v2754 -v2755 -v2756 -v2757 -v2758 -v2759 -v276 -v2760 -v2761 -v2762 -v2763 -v2764 -v2765 -v2766 -v2767 -v2768 v2769 -v277 -v2770 -v2771 -v2772 -v2773 -v2774 -v2775 -v2776 -v2777 -v2778 -v2779 -v278 -v2780 -v2781 -v2782 -v2783 -v2784 -v2785 -v2786 v2787 -v2788 -v2789 -v279 -v2790 -v2791 -v2792 -v2793 -v2794 -v2795 -v2796 -v2797 -v2798 -v2799 -v28 -v280 -v2800 -v2801 -v2802 -v2803 v2804 -v2805 -v2806 -v2807 -v2808 -v2809 -v281 -v2810 -v2811 -v2812 -v2813 -v2814 -v2815 -v2816 -v2817 -v2818 -v2819 -v282 -v2820 -v2821 -v2822 -v2823 -v2824 -v2825 -v2826 -v2827 -v2828 -v2829 -v283 -v2830 -v2831 -v2832 v2833 -v2834 -v2835 -v2836 -v2837 -v2838 -v2839 -v284 -v2840 -v2841 -v2842 -v2843 -v2844 -v2845 -v2846 -v2847 -v2848 -v2849 -v285 -v2850 v2851 -v2852 -v2853 -v2854 -v2855 -v2856 -v2857 -v2858 -v2859 -v286 -v2860 -v2861 -v2862 -v2863 v2864 -v2865 -v2866 -v2867 -v2868 -v2869 -v287 -v2870 -v2871 -v2872 -v2873 -v2874 -v2875 -v2876 -v2877 -v2878 -v2879 -v288 -v2880 -v2881 -v2882 -v2883 -v2884 -v2885 -v2886 -v2887 -v2888 -v2889 -v289 -v2890 -v2891 -v2892 -v2893 -v2894 -v2895 -v2896 -v2897 -v2898 -v2899 -v29 -v290 -v2900 -v2901 v2902 -v2903 -v291 -v292 -v293 -v294 -v295 -v296 -v297 -v298 -v299 -v3 -v30 -v300 -v301 -v302 -v303 -v304 -v305 -v306 v307 -v308 -v309 -v31 -v310 -v311 -v312 -v313 -v314 -v315 -v316 -v317 -v318 -v319 -v32 -v320 -v321 -v322 -v323 -v324 -v325 -v326 -v327 -v328 -v329 -v33 -v330 -v331 -v332 -v333 -v334 -v335 -v336 -v337 -v338 -v339 -v34 -v340 -v341 -v342 -v343 -v344 -v345 -v346 -v347 -v348 -v349 -v35 -v350 -v351 -v352 -v353 -v354 -v355 v356 -v357 -v358 -v359 -v36 -v360 -v361 -v362 -v363 -v364 -v365 -v366 -v367 -v368 -v369 -v37 -v370 -v371 -v372 -v373 -v374 -v375 -v376 -v377 -v378 -v379 -v38 -v380 -v381 -v382 -v383 -v384 -v385 -v386 -v387 -v388 -v389 -v39 -v390 -v391 -v392 -v393 -v394 -v395 -v396 -v397 -v398 -v399 -v4 -v40 -v400 -v401 -v402 -v403 v404 -v405 -v406 -v407 -v408 -v409 -v41 -v410 -v411 -v412 -v413 -v414 -v415 -v416 -v417 -v418 -v419 -v42 -v420 -v421 -v422 -v423 -v424 -v425 -v426 -v427 -v428 -v429 -v43 -v430 -v431 -v432 v433 -v434 -v435 -v436 -v437 -v438 -v439 -v44 -v440 -v441 -v442 -v443 -v444 -v445 -v446 -v447 -v448 -v449 -v45 -v450 -v451 -v452 -v453 -v454 -v455 -v456 v457 -v458 -v459 -v46 -v460 -v461 -v462 -v463 -v464 -v465 -v466 -v467 -v468 -v469 -v47 -v470 -v471 -v472 -v473 -v474 -v475 -v476 -v477 -v478 -v479 -v48 -v480 -v481 -v482 -v483 -v484 -v485 -v486 -v487 -v488 -v489 -v49 -v490 -v491 -v492 -v493 -v494 -v495 -v496 -v497 -v498 -v499 -v5 -v50 -v500 -v501 -v502 -v503 -v504 v505 -v506 -v507 -v508 -v509 -v51 -v510 -v511 -v512 -v513 -v514 -v515 -v516 -v517 -v518 -v519 -v52 -v520 -v521 -v522 -v523 -v524 -v525 -v526 -v527 -v528 -v529 -v53 -v530 -v531 -v532 -v533 -v534 -v535 -v536 -v537 -v538 -v539 -v54 -v540 -v541 -v542 -v543 -v544 -v545 -v546 -v547 -v548 -v549 -v55 -v550 -v551 -v552 -v553 -v554 -v555 -v556 -v557 -v558 -v559 -v56 -v560 -v561 -v562 -v563 -v564 -v565 -v566 -v567 -v568 -v569 -v57 -v570 -v571 -v572 -v573 -v574 -v575 -v576 -v577 v578 -v579 -v58 -v580 -v581 -v582 -v583 -v584 -v585 -v586 -v587 -v588 -v589 -v59 -v590 -v591 -v592 -v593 -v594 -v595 -v596 -v597 -v598 -v599 -v6 -v60 -v600 -v601 -v602 -v603 -v604 -v605 -v606 -v607 -v608 -v609 -v61 -v610 -v611 -v612 -v613 -v614 -v615 v616 -v617 -v618 -v619 -v62 -v620 -v621 -v622 -v623 -v624 -v625 -v626 -v627 -v628 -v629 -v63 -v630 -v631 -v632 -v633 -v634 -v635 -v636 -v637 -v638 -v639 -v64 -v640 -v641 -v642 -v643 -v644 -v645 -v646 -v647 -v648 -v649 -v65 -v650 -v651 v652 -v653 -v654 -v655 -v656 -v657 -v658 -v659 -v66 -v660 -v661 -v662 -v663 -v664 -v665 -v666 -v667 -v668 -v669 -v67 -v670 -v671 -v672 -v673 -v674 -v675 -v676 -v677 -v678 -v679 -v68 -v680 -v681 -v682 -v683 -v684 -v685 -v686 -v687 -v688 -v689 -v69 -v690 -v691 -v692 -v693 -v694 -v695 -v696 -v697 -v698 -v699 -v7 -v70 -v700 -v701 -v702 -v703 -v704 -v705 -v706 -v707 -v708 v709 v71 -v710 -v711 -v712 -v713 -v714 -v715 -v716 -v717 -v718 -v719 -v72 -v720 -v721 -v722 -v723 -v724 -v725 -v726 -v727 -v728 -v729 -v73 -v730 -v731 -v732 -v733 -v734 -v735 -v736 -v737 -v738 -v739 -v74 v740 -v741 -v742 -v743 -v744 -v745 -v746 -v747 -v748 -v749 -v75 -v750 -v751 -v752 -v753 -v754 -v755 -v756 -v757 -v758 -v759 -v76 -v760 -v761 -v762 -v763 -v764 -v765 -v766 -v767 -v768 -v769 -v77 -v770 -v771 -v772 -v773 -v774 -v775 -v776 -v777 -v778 -v779 -v78 -v780 -v781 -v782 -v783 -v784 -v785 -v786 -v787 -v788 -v789 -v79 -v790 -v791 -v792 -v793 -v794 -v795 -v796 -v797 -v798 -v799 -v8 -v80 -v800 -v801 -v802 -v803 v804 -v805 -v806 -v807 -v808 -v809 -v81 -v810 -v811 -v812 -v813 -v814 -v815 -v816 -v817 -v818 -v819 -v82 -v820 -v821 -v822 -v823 v824 -v825 -v826 -v827 -v828 -v829 -v83 -v830 -v831 -v832 -v833 -v834 -v835 -v836 -v837 -v838 -v839 -v84 -v840 -v841 -v842 -v843 -v844 -v845 -v846 -v847 -v848 -v849 -v85 -v850 -v851 -v852 -v853 -v854 -v855 -v856 -v857 -v858 -v859 -v86 -v860 v861 -v862 -v863 -v864 -v865 -v866 -v867 -v868 -v869 -v87 -v870 -v871 -v872 -v873 -v874 -v875 -v876 -v877 -v878 -v879 -v88 -v880 -v881 -v882 -v883 -v884 -v885 -v886 -v887 -v888 -v889 -v89 -v890 -v891 -v892 -v893 -v894 -v895 -v896 -v897 -v898 -v899 -v9 -v90 -v900 -v901 v902 -v903 -v904 -v905 -v906 -v907 -v908 -v909 -v91 -v910 -v911 -v912 -v913 -v914 -v915 -v916 -v917 -v918 -v919 -v92 -v920 -v921 -v922 -v923 -v924 -v925 -v926 -v927 -v928 -v929 -v93 -v930 -v931 -v932 -v933 -v934 -v935 -v936 -v937 -v938 -v939 -v94 -v940 -v941 -v942 -v943 -v944 -v945 -v946 -v947 v948 -v949 -v95 -v950 -v951 -v952 -v953 -v954 -v955 -v956 -v957 -v958 -v959 -v96 -v960 -v961 -v962 -v963 -v964 -v965 -v966 -v967 -v968 -v969 -v97 -v970 -v971 -v972 -v973 -v974 -v975 -v976 -v977 -v978 -v979 -v98 -v980 -v981 -v982 -v983 -v984 -v985 -v986 -v987 -v988 -v989 -v99 -v990 -v991 -v992 -v993 -v994 -v995 -v996 -v997 -v998 -v999 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.90 0.89 2/54 2225
Raw data (stat): 2225 (runsolver) R 2224 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964882137 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.88 0.90 0.89 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 1636 0 0 0 983 16 0 0 25 0 1 0 964882137 7335936 1216 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1791 1216 301 301 0 1490 0
vsize: 7164
[startup+20.0013 s]
Raw data (loadavg): 0.90 0.90 0.89 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 1842 0 0 0 1972 27 0 0 25 0 1 0 964882137 7602176 1422 4294967295 134512640 135730672 3221224576 3221223200 134748106 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1856 1422 301 301 0 1555 0
vsize: 7424
[startup+30.0025 s]
Raw data (loadavg): 0.92 0.91 0.89 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 2084 0 0 0 2960 39 0 0 25 0 1 0 964882137 10104832 1664 4294967295 134512640 135730672 3221224576 3221223184 134744646 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2467 1664 301 301 0 2166 0
vsize: 9868
[startup+40.0032 s]
Raw data (loadavg): 0.93 0.91 0.89 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 2259 0 0 0 3944 55 0 0 25 0 1 0 964882137 10788864 1839 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2634 1839 301 301 0 2333 0
vsize: 10536
[startup+50.0035 s]
Raw data (loadavg): 0.94 0.91 0.89 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 2556 0 0 0 4930 69 0 0 25 0 1 0 964882137 11923456 1943 4294967295 134512640 135730672 3221224576 3221223184 134744797 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2911 1943 301 301 0 2610 0
vsize: 11644
[startup+60.0038 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 2624 0 0 0 5917 82 0 0 25 0 1 0 964882137 12103680 2011 4294967295 134512640 135730672 3221224576 3221223072 134747555 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2955 2011 301 301 0 2654 0
vsize: 11820
[startup+70.0044 s]
Raw data (loadavg): 0.96 0.92 0.89 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 2674 0 0 0 6905 94 0 0 25 0 1 0 964882137 12296192 2061 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3002 2061 301 301 0 2701 0
vsize: 12008
[startup+80.0052 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 2707 0 0 0 7893 107 0 0 25 0 1 0 964882137 12386304 2094 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3024 2094 301 301 0 2723 0
vsize: 12096
[startup+90.0059 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 2771 0 0 0 8878 122 0 0 25 0 1 0 964882137 12468224 2158 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3044 2158 301 301 0 2743 0
vsize: 12176
[startup+100.006 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 2796 0 0 0 9864 136 0 0 25 0 1 0 964882137 12558336 2183 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3066 2183 301 301 0 2765 0
vsize: 12264
[startup+110.006 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 2844 0 0 0 10852 148 0 0 25 0 1 0 964882137 12652544 2231 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3089 2231 301 301 0 2788 0
vsize: 12356
[startup+120.007 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 2870 0 0 0 11841 158 0 0 25 0 1 0 964882137 12722176 2257 4294967295 134512640 135730672 3221224576 3221223200 134748145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3106 2257 301 301 0 2805 0
vsize: 12424
[startup+130.008 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 2912 0 0 0 12830 170 0 0 25 0 1 0 964882137 12791808 2299 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3123 2299 301 301 0 2822 0
vsize: 12492
[startup+140.009 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 2958 0 0 0 13817 182 0 0 25 0 1 0 964882137 12890112 2345 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3147 2345 301 301 0 2846 0
vsize: 12588
[startup+150.009 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 2984 0 0 0 14807 193 0 0 25 0 1 0 964882137 12967936 2371 4294967295 134512640 135730672 3221224576 3221223184 134744917 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3166 2371 301 301 0 2865 0
vsize: 12664
[startup+160.01 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 3014 0 0 0 15795 205 0 0 25 0 1 0 964882137 12967936 2401 4294967295 134512640 135730672 3221224576 3221223200 134748111 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3166 2401 301 301 0 2865 0
vsize: 12664
[startup+170.009 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 3040 0 0 0 16781 219 0 0 25 0 1 0 964882137 13062144 2427 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3189 2427 301 301 0 2888 0
vsize: 12756
[startup+180.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 3090 0 0 0 17769 231 0 0 25 0 1 0 964882137 13144064 2477 4294967295 134512640 135730672 3221224576 3221223264 134748549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3209 2477 301 301 0 2908 0
vsize: 12836
[startup+190.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 3129 0 0 0 18756 244 0 0 25 0 1 0 964882137 13262848 2516 4294967295 134512640 135730672 3221224576 3221223184 134744441 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3238 2516 301 301 0 2937 0
vsize: 12952
[startup+200.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 3143 0 0 0 19747 253 0 0 25 0 1 0 964882137 13262848 2530 4294967295 134512640 135730672 3221224576 3221223072 134747919 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3238 2530 301 301 0 2937 0
vsize: 12952
[startup+210.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 3153 0 0 0 20738 262 0 0 25 0 1 0 964882137 13262848 2540 4294967295 134512640 135730672 3221224576 3221223184 134744862 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3238 2540 301 301 0 2937 0
vsize: 12952
[startup+216.687 s]
Raw data (loadavg): 0.99 0.94 0.91 1/53 2225
Raw data (stat): 2225 (pb2sat-v2) R 2224 7266 7265 0 -1 0 3153 0 0 0 20738 262 0 0 25 0 1 0 964882137 13262848 2540 4294967295 134512640 135730672 3221224576 3221223184 134744862 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3238 2540 301 301 0 2937 0
vsize: 0

Child status: 10
Real time (s): 216.686
CPU time (s): 216.68
CPU user time (s): 213.961
CPU system time (s): 2.71859
CPU usage (%): 99.9973
Max. virtual memory (Kb): 12952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####