Trace number 34061

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, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PB-smodels 1.28SAT (TO)907 1800.67 1801.27

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-qnet1.opb
MD5SUMa5b00f1ae7deac89a36da7a8be4b1f6d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark291
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 291
Optimality of the best value was proved NO
Number of variables5380
Total number of constraints630
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints542
Minimum length of a constraint2
Maximum length of a constraint77
Number of terms in the objective function 3720
Biggest coefficient in the objective function 2115
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 527620
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262086
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527620
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	907

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node7/watcher-34061-1154037588 -o ROOT/results/node7/solver-34061-1154037588 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node7/34061-1154037588/instance-34061-1154037588.opb 217041395 ROOT/tmp/node7/34061-1154037588 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.98 0.99 3/64 29697
/proc/meminfo: memFree=669800/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=880 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) R 29695 29697 29648 0 -1 4194304 42 0 0 0 0 0 0 0 19 0 1 0 150620162 901120 25 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244668495125 0 0 4096 0 0 0 0 17 1 0 0
/proc/29697/statm: 220 25 18 169 0 8 0

[startup+10.0029 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29702
/proc/meminfo: memFree=666064/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=5360 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) S 29695 29697 29648 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620162 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29697/statm: 1340 234 195 169 0 51 0
[pid=29698] ppid=29697 vsize=12268 CPUtime=0
/proc/29698/stat : 29698 (pbsmodels-v1.28) S 29697 29697 29648 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620162 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 244680015764 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29698/statm: 3067 383 293 3 0 167 0
[pid=29699] ppid=29698 vsize=5356 CPUtime=0.3
/proc/29699/stat : 29699 (sh) S 29698 29697 29648 0 -1 4194304 311 786 0 0 0 0 30 0 16 0 1 0 150620163 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29699/statm: 1339 227 188 169 0 50 0
[pid=29701] ppid=29699 vsize=4304 CPUtime=9.8
/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 980 0 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521022 0 0 4096 0 0 0 0 17 1 0 0
/proc/29701/statm: 1076 706 212 20 0 513 0
[pid=29702] ppid=29699 vsize=12408 CPUtime=0
/proc/29702/stat : 29702 (pbout.pl) S 29699 29697 29648 0 -1 4194304 497 0 0 0 0 0 0 0 16 0 1 0 150620163 12705792 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29702/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 10.1
Current children cumulated vsize (Kb) 39696

[startup+20.0098 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29702
/proc/meminfo: memFree=666128/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=5360 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) S 29695 29697 29648 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620162 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29697/statm: 1340 234 195 169 0 51 0
[pid=29698] ppid=29697 vsize=12268 CPUtime=0
/proc/29698/stat : 29698 (pbsmodels-v1.28) S 29697 29697 29648 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620162 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 244680015764 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29698/statm: 3067 383 293 3 0 167 0
[pid=29699] ppid=29698 vsize=5356 CPUtime=0.3
/proc/29699/stat : 29699 (sh) S 29698 29697 29648 0 -1 4194304 311 786 0 0 0 0 30 0 16 0 1 0 150620163 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29699/statm: 1339 227 188 169 0 50 0
[pid=29701] ppid=29699 vsize=4304 CPUtime=19.8
/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 1980 0 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548953 0 0 4096 0 0 0 0 17 1 0 0
/proc/29701/statm: 1076 706 212 20 0 513 0
[pid=29702] ppid=29699 vsize=12408 CPUtime=0
/proc/29702/stat : 29702 (pbout.pl) S 29699 29697 29648 0 -1 4194304 497 0 0 0 0 0 0 0 16 0 1 0 150620163 12705792 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29702/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 20.1
Current children cumulated vsize (Kb) 39696

[startup+30.0166 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29702
/proc/meminfo: memFree=666192/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=5360 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) S 29695 29697 29648 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620162 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29697/statm: 1340 234 195 169 0 51 0
[pid=29698] ppid=29697 vsize=12268 CPUtime=0
/proc/29698/stat : 29698 (pbsmodels-v1.28) S 29697 29697 29648 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620162 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 244680015764 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29698/statm: 3067 383 293 3 0 167 0
[pid=29699] ppid=29698 vsize=5356 CPUtime=0.3
/proc/29699/stat : 29699 (sh) S 29698 29697 29648 0 -1 4194304 311 786 0 0 0 0 30 0 16 0 1 0 150620163 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29699/statm: 1339 227 188 169 0 50 0
[pid=29701] ppid=29699 vsize=4304 CPUtime=29.8
/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 2980 0 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134523248 0 0 4096 0 0 0 0 17 1 0 0
/proc/29701/statm: 1076 706 212 20 0 513 0
[pid=29702] ppid=29699 vsize=12408 CPUtime=0
/proc/29702/stat : 29702 (pbout.pl) S 29699 29697 29648 0 -1 4194304 497 0 0 0 0 0 0 0 16 0 1 0 150620163 12705792 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29702/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 30.1
Current children cumulated vsize (Kb) 39696

[startup+40.0235 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29702
/proc/meminfo: memFree=666192/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=5360 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) S 29695 29697 29648 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620162 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29697/statm: 1340 234 195 169 0 51 0
[pid=29698] ppid=29697 vsize=12268 CPUtime=0
/proc/29698/stat : 29698 (pbsmodels-v1.28) S 29697 29697 29648 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620162 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 244680015764 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29698/statm: 3067 383 293 3 0 167 0
[pid=29699] ppid=29698 vsize=5356 CPUtime=0.3
/proc/29699/stat : 29699 (sh) S 29698 29697 29648 0 -1 4194304 311 786 0 0 0 0 30 0 16 0 1 0 150620163 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29699/statm: 1339 227 188 169 0 50 0
[pid=29701] ppid=29699 vsize=4304 CPUtime=39.81
/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 3980 1 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550212 0 0 4096 0 0 0 0 17 1 0 0
/proc/29701/statm: 1076 706 212 20 0 513 0
[pid=29702] ppid=29699 vsize=12408 CPUtime=0
/proc/29702/stat : 29702 (pbout.pl) S 29699 29697 29648 0 -1 4194304 497 0 0 0 0 0 0 0 16 0 1 0 150620163 12705792 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29702/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 40.11
Current children cumulated vsize (Kb) 39696

[startup+50.0303 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29702
/proc/meminfo: memFree=666192/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=5360 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) S 29695 29697 29648 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620162 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29697/statm: 1340 234 195 169 0 51 0
[pid=29698] ppid=29697 vsize=12268 CPUtime=0
/proc/29698/stat : 29698 (pbsmodels-v1.28) S 29697 29697 29648 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620162 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 244680015764 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29698/statm: 3067 383 293 3 0 167 0
[pid=29699] ppid=29698 vsize=5356 CPUtime=0.3
/proc/29699/stat : 29699 (sh) S 29698 29697 29648 0 -1 4194304 311 786 0 0 0 0 30 0 16 0 1 0 150620163 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29699/statm: 1339 227 188 169 0 50 0
[pid=29701] ppid=29699 vsize=4304 CPUtime=49.82
/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 4981 1 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134518533 0 0 4096 0 0 0 0 17 1 0 0
/proc/29701/statm: 1076 706 212 20 0 513 0
[pid=29702] ppid=29699 vsize=12408 CPUtime=0
/proc/29702/stat : 29702 (pbout.pl) S 29699 29697 29648 0 -1 4194304 497 0 0 0 0 0 0 0 16 0 1 0 150620163 12705792 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29702/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 50.12
Current children cumulated vsize (Kb) 39696

[startup+60.0372 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29702
/proc/meminfo: memFree=666256/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=5360 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) S 29695 29697 29648 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620162 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29697/statm: 1340 234 195 169 0 51 0
[pid=29698] ppid=29697 vsize=12268 CPUtime=0
/proc/29698/stat : 29698 (pbsmodels-v1.28) S 29697 29697 29648 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620162 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 244680015764 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29698/statm: 3067 383 293 3 0 167 0
[pid=29699] ppid=29698 vsize=5356 CPUtime=0.3
/proc/29699/stat : 29699 (sh) S 29698 29697 29648 0 -1 4194304 311 786 0 0 0 0 30 0 16 0 1 0 150620163 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29699/statm: 1339 227 188 169 0 50 0
[pid=29701] ppid=29699 vsize=4304 CPUtime=59.82
/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 5981 1 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521449 0 0 4096 0 0 0 0 17 1 0 0
/proc/29701/statm: 1076 706 212 20 0 513 0
[pid=29702] ppid=29699 vsize=12408 CPUtime=0
/proc/29702/stat : 29702 (pbout.pl) S 29699 29697 29648 0 -1 4194304 497 0 0 0 0 0 0 0 16 0 1 0 150620163 12705792 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29702/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 60.12
Current children cumulated vsize (Kb) 39696

[startup+70.044 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29702
/proc/meminfo: memFree=666256/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=5360 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) S 29695 29697 29648 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620162 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29697/statm: 1340 234 195 169 0 51 0
[pid=29698] ppid=29697 vsize=12268 CPUtime=0
/proc/29698/stat : 29698 (pbsmodels-v1.28) S 29697 29697 29648 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620162 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 244680015764 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29698/statm: 3067 383 293 3 0 167 0
[pid=29699] ppid=29698 vsize=5356 CPUtime=0.3
/proc/29699/stat : 29699 (sh) S 29698 29697 29648 0 -1 4194304 311 786 0 0 0 0 30 0 16 0 1 0 150620163 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29699/statm: 1339 227 188 169 0 50 0
[pid=29701] ppid=29699 vsize=4304 CPUtime=69.83
/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 6982 1 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134520612 0 0 4096 0 0 0 0 17 1 0 0
/proc/29701/statm: 1076 706 212 20 0 513 0
[pid=29702] ppid=29699 vsize=12408 CPUtime=0
/proc/29702/stat : 29702 (pbout.pl) S 29699 29697 29648 0 -1 4194304 497 0 0 0 0 0 0 0 16 0 1 0 150620163 12705792 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29702/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 70.13
Current children cumulated vsize (Kb) 39696

[startup+80.0509 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 29776
/proc/meminfo: memFree=665184/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=5360 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) S 29695 29697 29648 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620162 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29697/statm: 1340 234 195 169 0 51 0
[pid=29698] ppid=29697 vsize=12268 CPUtime=0
/proc/29698/stat : 29698 (pbsmodels-v1.28) S 29697 29697 29648 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620162 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 244680015764 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29698/statm: 3067 383 293 3 0 167 0
[pid=29699] ppid=29698 vsize=5356 CPUtime=0.3
/proc/29699/stat : 29699 (sh) S 29698 29697 29648 0 -1 4194304 311 786 0 0 0 0 30 0 16 0 1 0 150620163 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29699/statm: 1339 227 188 169 0 50 0
[pid=29701] ppid=29699 vsize=4304 CPUtime=79.82
/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 7976 6 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548969 0 0 4096 0 0 0 0 17 1 0 0
/proc/29701/statm: 1076 706 212 20 0 513 0
[pid=29702] ppid=29699 vsize=12408 CPUtime=0
/proc/29702/stat : 29702 (pbout.pl) S 29699 29697 29648 0 -1 4194304 497 0 0 0 0 0 0 0 16 0 1 0 150620163 12705792 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29702/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 80.12
Current children cumulated vsize (Kb) 39696

[startup+90.0578 s]
/proc/loadavg: 0.99 0.98 0.99 2/74 29836
/proc/meminfo: memFree=665056/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=5360 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) S 29695 29697 29648 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620162 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29697/statm: 1340 234 195 169 0 51 0
[pid=29698] ppid=29697 vsize=12268 CPUtime=0
/proc/29698/stat : 29698 (pbsmodels-v1.28) S 29697 29697 29648 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620162 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 244680015764 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29698/statm: 3067 383 293 3 0 167 0
[pid=29699] ppid=29698 vsize=5356 CPUtime=0.3
/proc/29699/stat : 29699 (sh) S 29698 29697 29648 0 -1 4194304 311 786 0 0 0 0 30 0 16 0 1 0 150620163 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29699/statm: 1339 227 188 169 0 50 0
[pid=29701] ppid=29699 vsize=4304 CPUtime=89.79
/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 8973 6 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531364 0 0 4096 0 0 0 0 17 1 0 0

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

/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 179326 7 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550207 0 0 4096 0 0 0 0 17 1 0 0
/proc/29701/statm: 1076 706 212 20 0 513 0
[pid=29702] ppid=29699 vsize=12408 CPUtime=0
/proc/29702/stat : 29702 (pbout.pl) S 29699 29697 29648 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 150620163 12705792 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29702/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1793.63
Current children cumulated vsize (Kb) 39696

[startup+1795.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29900
/proc/meminfo: memFree=666000/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=5360 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) S 29695 29697 29648 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620162 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29697/statm: 1340 234 195 169 0 51 0
[pid=29698] ppid=29697 vsize=12268 CPUtime=0
/proc/29698/stat : 29698 (pbsmodels-v1.28) S 29697 29697 29648 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620162 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 244680015764 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29698/statm: 3067 383 293 3 0 167 0
[pid=29699] ppid=29698 vsize=5356 CPUtime=0.3
/proc/29699/stat : 29699 (sh) S 29698 29697 29648 0 -1 4194304 311 786 0 0 0 0 30 0 16 0 1 0 150620163 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29699/statm: 1339 227 188 169 0 50 0
[pid=29701] ppid=29699 vsize=4304 CPUtime=1794.33
/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 179426 7 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521059 0 0 4096 0 0 0 0 17 1 0 0
/proc/29701/statm: 1076 706 212 20 0 513 0
[pid=29702] ppid=29699 vsize=12408 CPUtime=0
/proc/29702/stat : 29702 (pbout.pl) S 29699 29697 29648 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 150620163 12705792 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29702/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (Kb) 39696

[startup+1796.22 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29900
/proc/meminfo: memFree=666000/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=5360 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) S 29695 29697 29648 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620162 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29697/statm: 1340 234 195 169 0 51 0
[pid=29698] ppid=29697 vsize=12268 CPUtime=0
/proc/29698/stat : 29698 (pbsmodels-v1.28) S 29697 29697 29648 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620162 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 244680015764 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29698/statm: 3067 383 293 3 0 167 0
[pid=29699] ppid=29698 vsize=5356 CPUtime=0.3
/proc/29699/stat : 29699 (sh) S 29698 29697 29648 0 -1 4194304 311 786 0 0 0 0 30 0 16 0 1 0 150620163 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29699/statm: 1339 227 188 169 0 50 0
[pid=29701] ppid=29699 vsize=4304 CPUtime=1795.34
/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 179527 7 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531376 0 0 4096 0 0 0 0 17 1 0 0
/proc/29701/statm: 1076 706 212 20 0 513 0
[pid=29702] ppid=29699 vsize=12408 CPUtime=0
/proc/29702/stat : 29702 (pbout.pl) S 29699 29697 29648 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 150620163 12705792 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29702/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1795.64
Current children cumulated vsize (Kb) 39696

[startup+1797.23 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29900
/proc/meminfo: memFree=666000/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=5360 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) S 29695 29697 29648 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620162 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29697/statm: 1340 234 195 169 0 51 0
[pid=29698] ppid=29697 vsize=12268 CPUtime=0
/proc/29698/stat : 29698 (pbsmodels-v1.28) S 29697 29697 29648 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620162 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 244680015764 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29698/statm: 3067 383 293 3 0 167 0
[pid=29699] ppid=29698 vsize=5356 CPUtime=0.3
/proc/29699/stat : 29699 (sh) S 29698 29697 29648 0 -1 4194304 311 786 0 0 0 0 30 0 16 0 1 0 150620163 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29699/statm: 1339 227 188 169 0 50 0
[pid=29701] ppid=29699 vsize=4304 CPUtime=1796.34
/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 179627 7 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531172 0 0 4096 0 0 0 0 17 1 0 0
/proc/29701/statm: 1076 706 212 20 0 513 0
[pid=29702] ppid=29699 vsize=12408 CPUtime=0
/proc/29702/stat : 29702 (pbout.pl) S 29699 29697 29648 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 150620163 12705792 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29702/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1796.64
Current children cumulated vsize (Kb) 39696

[startup+1798.23 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29900
/proc/meminfo: memFree=666000/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=5360 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) S 29695 29697 29648 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620162 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29697/statm: 1340 234 195 169 0 51 0
[pid=29698] ppid=29697 vsize=12268 CPUtime=0
/proc/29698/stat : 29698 (pbsmodels-v1.28) S 29697 29697 29648 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620162 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 244680015764 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29698/statm: 3067 383 293 3 0 167 0
[pid=29699] ppid=29698 vsize=5356 CPUtime=0.3
/proc/29699/stat : 29699 (sh) S 29698 29697 29648 0 -1 4194304 311 786 0 0 0 0 30 0 16 0 1 0 150620163 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29699/statm: 1339 227 188 169 0 50 0
[pid=29701] ppid=29699 vsize=4304 CPUtime=1797.35
/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 179728 7 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521294 0 0 4096 0 0 0 0 17 1 0 0
/proc/29701/statm: 1076 706 212 20 0 513 0
[pid=29702] ppid=29699 vsize=12408 CPUtime=0
/proc/29702/stat : 29702 (pbout.pl) S 29699 29697 29648 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 150620163 12705792 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29702/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (Kb) 39696

[startup+1799.24 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29900
/proc/meminfo: memFree=666000/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=5360 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) S 29695 29697 29648 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620162 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29697/statm: 1340 234 195 169 0 51 0
[pid=29698] ppid=29697 vsize=12268 CPUtime=0
/proc/29698/stat : 29698 (pbsmodels-v1.28) S 29697 29697 29648 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620162 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 244680015764 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29698/statm: 3067 383 293 3 0 167 0
[pid=29699] ppid=29698 vsize=5356 CPUtime=0.3
/proc/29699/stat : 29699 (sh) S 29698 29697 29648 0 -1 4194304 311 786 0 0 0 0 30 0 16 0 1 0 150620163 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29699/statm: 1339 227 188 169 0 50 0
[pid=29701] ppid=29699 vsize=4304 CPUtime=1798.35
/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 179828 7 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550997 0 0 4096 0 0 0 0 17 1 0 0
/proc/29701/statm: 1076 706 212 20 0 513 0
[pid=29702] ppid=29699 vsize=12408 CPUtime=0
/proc/29702/stat : 29702 (pbout.pl) S 29699 29697 29648 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 150620163 12705792 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29702/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (Kb) 39696

[startup+1800.24 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29900
/proc/meminfo: memFree=666000/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=5360 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) S 29695 29697 29648 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620162 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29697/statm: 1340 234 195 169 0 51 0
[pid=29698] ppid=29697 vsize=12268 CPUtime=0
/proc/29698/stat : 29698 (pbsmodels-v1.28) S 29697 29697 29648 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620162 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 244680015764 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29698/statm: 3067 383 293 3 0 167 0
[pid=29699] ppid=29698 vsize=5356 CPUtime=0.3
/proc/29699/stat : 29699 (sh) S 29698 29697 29648 0 -1 4194304 311 786 0 0 0 0 30 0 16 0 1 0 150620163 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29699/statm: 1339 227 188 169 0 50 0
[pid=29701] ppid=29699 vsize=4304 CPUtime=1799.36
/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 179929 7 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134520098 0 0 4096 0 0 0 0 17 1 0 0
/proc/29701/statm: 1076 706 212 20 0 513 0
[pid=29702] ppid=29699 vsize=12408 CPUtime=0
/proc/29702/stat : 29702 (pbout.pl) S 29699 29697 29648 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 150620163 12705792 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29702/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (Kb) 39696

[startup+1801.25 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29900
/proc/meminfo: memFree=666000/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=5360 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) S 29695 29697 29648 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620162 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29697/statm: 1340 234 195 169 0 51 0
[pid=29698] ppid=29697 vsize=12268 CPUtime=0
/proc/29698/stat : 29698 (pbsmodels-v1.28) S 29697 29697 29648 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620162 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 244680015764 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29698/statm: 3067 383 293 3 0 167 0
[pid=29699] ppid=29698 vsize=5356 CPUtime=0.3
/proc/29699/stat : 29699 (sh) S 29698 29697 29648 0 -1 4194304 311 786 0 0 0 0 30 0 16 0 1 0 150620163 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29699/statm: 1339 227 188 169 0 50 0
[pid=29701] ppid=29699 vsize=4304 CPUtime=1800.36
/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 180029 7 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548981 0 0 4096 0 0 0 0 17 1 0 0
/proc/29701/statm: 1076 706 212 20 0 513 0
[pid=29702] ppid=29699 vsize=12408 CPUtime=0
/proc/29702/stat : 29702 (pbout.pl) S 29699 29697 29648 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 150620163 12705792 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29702/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (Kb) 39696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.25 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29900
/proc/meminfo: memFree=666000/2055920 swapFree=4182852/4192956
[pid=29697] ppid=29695 vsize=5360 CPUtime=0
/proc/29697/stat : 29697 (runpbsmodels) S 29695 29697 29648 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620162 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29697/statm: 1340 234 195 169 0 51 0
[pid=29698] ppid=29697 vsize=12268 CPUtime=0
/proc/29698/stat : 29698 (pbsmodels-v1.28) S 29697 29697 29648 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620162 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 244680015764 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29698/statm: 3067 383 293 3 0 167 0
[pid=29699] ppid=29698 vsize=5356 CPUtime=0.3
/proc/29699/stat : 29699 (sh) S 29698 29697 29648 0 -1 4194304 311 786 0 0 0 0 30 0 16 0 1 0 150620163 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29699/statm: 1339 227 188 169 0 50 0
[pid=29701] ppid=29699 vsize=4304 CPUtime=1800.37
/proc/29701/stat : 29701 (smodels) R 29699 29697 29648 0 -1 4194304 742 0 0 0 180030 7 0 0 25 0 1 0 150620163 4407296 706 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134518743 0 0 4096 0 0 0 0 17 1 0 0
/proc/29701/statm: 1076 706 212 20 0 513 0
[pid=29702] ppid=29699 vsize=12408 CPUtime=0
/proc/29702/stat : 29702 (pbout.pl) S 29699 29697 29648 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 150620163 12705792 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29702/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (Kb) 39696

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

Child ended because it received signal 15 (SIGTERM)

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 29697 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=1999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=0
CPU time returned by wait4() is 0.001999
while last known CPU time is 1800.67

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1801.27
CPU time (s): 1800.67
CPU user time (s): 1800.6
CPU system time (s): 0.07
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (Kb): 39696
The end

Launcher Data (download as text)

Begin job on node7 on Thu Jul 27 21:59:48 UTC 2006


FILE ID= 34061-1154037588

PBS_JOBID= 881190

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-qnet1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node7/34061-1154037588/instance-34061-1154037588.opb 217041395  ROOT/tmp/node7/34061-1154037588
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-34061-1154037588 -o ROOT/results/node7/solver-34061-1154037588 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node7/34061-1154037588/instance-34061-1154037588.opb 217041395  ROOT/tmp/node7/34061-1154037588

MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0
MD5SUM BENCH=  a5b00f1ae7deac89a36da7a8be4b1f6d

RANDOM SEED= 217041395

TIMEOUT= 1800 seconds


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        670008 kB
Buffers:         42484 kB
Cached:        1262848 kB
SwapCached:       4484 kB
Active:         241216 kB
Inactive:      1073524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        670008 kB
SwapTotal:     4192956 kB
SwapFree:      4182852 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          14492 kB
Slab:            57116 kB
Committed_AS:   631768 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node7 on Thu Jul 27 22:29:49 UTC 2006