Trace number 45484

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.31SAT (TO)922 1800.82 1801.29

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

Verifier Data (download as text)

OK	922

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/node19/watcher-45484-1154037598 -o ROOT/results/node19/solver-45484-1154037598 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node19/45484-1154037598/instance-45484-1154037598.opb 369980706 ROOT/tmp/node19/45484-1154037598 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.99 3/64 21050
/proc/meminfo: memFree=1149304/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=2504 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) R 21050 21050 21001 0 -1 4194304 44 0 0 0 0 0 0 0 20 0 1 0 150620259 2564096 26 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255233946901 0 0 4096 0 0 0 0 17 1 0 0
/proc/21051/statm: 626 26 19 3 0 5 0

[startup+10.0028 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 21055
/proc/meminfo: memFree=1144984/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=12268 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) S 21050 21050 21001 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620259 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21051/statm: 3067 383 293 3 0 167 0
[pid=21052] ppid=21051 vsize=5356 CPUtime=0.31
/proc/21052/stat : 21052 (sh) S 21051 21050 21001 0 -1 4194304 309 779 0 0 0 0 31 0 16 0 1 0 150620260 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21052/statm: 1339 227 188 169 0 50 0
[pid=21054] ppid=21052 vsize=4844 CPUtime=9.8
/proc/21054/stat : 21054 (smodels-2.31) R 21052 21050 21001 0 -1 4194304 900 0 0 0 980 0 0 0 25 0 1 0 150620260 4960256 864 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553465 0 0 4096 0 0 0 0 17 1 0 0
/proc/21054/statm: 1211 864 214 21 0 647 0
[pid=21055] ppid=21052 vsize=12408 CPUtime=0
/proc/21055/stat : 21055 (pbout.new.pl) S 21052 21050 21001 0 -1 4194304 496 0 0 0 0 0 0 0 16 0 1 0 150620260 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/21055/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 10.11
Current children cumulated vsize (Kb) 40236

[startup+20.0099 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 21055
/proc/meminfo: memFree=1144536/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=12268 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) S 21050 21050 21001 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620259 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21051/statm: 3067 383 293 3 0 167 0
[pid=21052] ppid=21051 vsize=5356 CPUtime=0.31
/proc/21052/stat : 21052 (sh) S 21051 21050 21001 0 -1 4194304 309 779 0 0 0 0 31 0 16 0 1 0 150620260 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21052/statm: 1339 227 188 169 0 50 0
[pid=21054] ppid=21052 vsize=5504 CPUtime=19.8
/proc/21054/stat : 21054 (smodels-2.31) R 21052 21050 21001 0 -1 4194304 1057 0 0 0 1980 0 0 0 25 0 1 0 150620260 5636096 1021 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134520885 0 0 4096 0 0 0 0 17 1 0 0
/proc/21054/statm: 1376 1021 214 21 0 812 0
[pid=21055] ppid=21052 vsize=12408 CPUtime=0
/proc/21055/stat : 21055 (pbout.new.pl) S 21052 21050 21001 0 -1 4194304 496 0 0 0 0 0 0 0 16 0 1 0 150620260 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/21055/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 20.11
Current children cumulated vsize (Kb) 40896

[startup+30.017 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 21055
/proc/meminfo: memFree=1144088/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=12268 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) S 21050 21050 21001 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620259 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21051/statm: 3067 383 293 3 0 167 0
[pid=21052] ppid=21051 vsize=5356 CPUtime=0.31
/proc/21052/stat : 21052 (sh) S 21051 21050 21001 0 -1 4194304 309 779 0 0 0 0 31 0 16 0 1 0 150620260 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21052/statm: 1339 227 188 169 0 50 0
[pid=21054] ppid=21052 vsize=6164 CPUtime=29.8
/proc/21054/stat : 21054 (smodels-2.31) R 21052 21050 21001 0 -1 4194304 1222 0 0 0 2980 0 0 0 25 0 1 0 150620260 6311936 1186 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532715 0 0 4096 0 0 0 0 17 1 0 0
/proc/21054/statm: 1541 1186 214 21 0 977 0
[pid=21055] ppid=21052 vsize=12408 CPUtime=0
/proc/21055/stat : 21055 (pbout.new.pl) S 21052 21050 21001 0 -1 4194304 496 0 0 0 0 0 0 0 16 0 1 0 150620260 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/21055/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 30.11
Current children cumulated vsize (Kb) 41556

[startup+40.0231 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 21055
/proc/meminfo: memFree=1143448/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=12268 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) S 21050 21050 21001 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620259 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21051/statm: 3067 383 293 3 0 167 0
[pid=21052] ppid=21051 vsize=5356 CPUtime=0.31
/proc/21052/stat : 21052 (sh) S 21051 21050 21001 0 -1 4194304 309 779 0 0 0 0 31 0 16 0 1 0 150620260 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21052/statm: 1339 227 188 169 0 50 0
[pid=21054] ppid=21052 vsize=6824 CPUtime=39.8
/proc/21054/stat : 21054 (smodels-2.31) R 21052 21050 21001 0 -1 4194304 1382 0 0 0 3980 0 0 0 25 0 1 0 150620260 6987776 1346 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550862 0 0 4096 0 0 0 0 17 1 0 0
/proc/21054/statm: 1706 1346 214 21 0 1142 0
[pid=21055] ppid=21052 vsize=12408 CPUtime=0
/proc/21055/stat : 21055 (pbout.new.pl) S 21052 21050 21001 0 -1 4194304 496 0 0 0 0 0 0 0 16 0 1 0 150620260 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/21055/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 40.11
Current children cumulated vsize (Kb) 42216

[startup+50.0301 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 21055
/proc/meminfo: memFree=1142808/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=12268 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) S 21050 21050 21001 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620259 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21051/statm: 3067 383 293 3 0 167 0
[pid=21052] ppid=21051 vsize=5356 CPUtime=0.31
/proc/21052/stat : 21052 (sh) S 21051 21050 21001 0 -1 4194304 309 779 0 0 0 0 31 0 16 0 1 0 150620260 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21052/statm: 1339 227 188 169 0 50 0
[pid=21054] ppid=21052 vsize=7484 CPUtime=49.81
/proc/21054/stat : 21054 (smodels-2.31) R 21052 21050 21001 0 -1 4194304 1540 0 0 0 4981 0 0 0 25 0 1 0 150620260 7663616 1504 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553391 0 0 4096 0 0 0 0 17 1 0 0
/proc/21054/statm: 1871 1504 214 21 0 1307 0
[pid=21055] ppid=21052 vsize=12408 CPUtime=0
/proc/21055/stat : 21055 (pbout.new.pl) S 21052 21050 21001 0 -1 4194304 496 0 0 0 0 0 0 0 16 0 1 0 150620260 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/21055/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 50.12
Current children cumulated vsize (Kb) 42876

[startup+60.0362 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 21055
/proc/meminfo: memFree=1142296/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=12268 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) S 21050 21050 21001 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620259 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21051/statm: 3067 383 293 3 0 167 0
[pid=21052] ppid=21051 vsize=5356 CPUtime=0.31
/proc/21052/stat : 21052 (sh) S 21051 21050 21001 0 -1 4194304 309 779 0 0 0 0 31 0 16 0 1 0 150620260 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21052/statm: 1339 227 188 169 0 50 0
[pid=21054] ppid=21052 vsize=8012 CPUtime=59.81
/proc/21054/stat : 21054 (smodels-2.31) R 21052 21050 21001 0 -1 4194304 1675 0 0 0 5981 0 0 0 25 0 1 0 150620260 8204288 1639 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0
/proc/21054/statm: 2003 1639 214 21 0 1439 0
[pid=21055] ppid=21052 vsize=12408 CPUtime=0
/proc/21055/stat : 21055 (pbout.new.pl) S 21052 21050 21001 0 -1 4194304 496 0 0 0 0 0 0 0 16 0 1 0 150620260 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/21055/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 60.12
Current children cumulated vsize (Kb) 43404

[startup+70.0433 s]
/proc/loadavg: 0.99 0.97 0.99 2/74 21129
/proc/meminfo: memFree=1140328/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=12268 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) S 21050 21050 21001 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620259 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21051/statm: 3067 383 293 3 0 167 0
[pid=21052] ppid=21051 vsize=5356 CPUtime=0.31
/proc/21052/stat : 21052 (sh) S 21051 21050 21001 0 -1 4194304 309 779 0 0 0 0 31 0 16 0 1 0 150620260 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21052/statm: 1339 227 188 169 0 50 0
[pid=21054] ppid=21052 vsize=8672 CPUtime=69.81
/proc/21054/stat : 21054 (smodels-2.31) R 21052 21050 21001 0 -1 4194304 1834 0 0 0 6978 3 0 0 25 0 1 0 150620260 8880128 1798 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552542 0 0 4096 0 0 0 0 17 1 0 0
/proc/21054/statm: 2168 1798 214 21 0 1604 0
[pid=21055] ppid=21052 vsize=12408 CPUtime=0
/proc/21055/stat : 21055 (pbout.new.pl) S 21052 21050 21001 0 -1 4194304 496 0 0 0 0 0 0 0 16 0 1 0 150620260 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/21055/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 70.12
Current children cumulated vsize (Kb) 44064

[startup+80.0514 s]
/proc/loadavg: 0.99 0.97 0.99 2/74 21189
/proc/meminfo: memFree=1139808/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=12268 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) S 21050 21050 21001 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620259 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21051/statm: 3067 383 293 3 0 167 0
[pid=21052] ppid=21051 vsize=5356 CPUtime=0.31
/proc/21052/stat : 21052 (sh) S 21051 21050 21001 0 -1 4194304 309 779 0 0 0 0 31 0 16 0 1 0 150620260 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21052/statm: 1339 227 188 169 0 50 0
[pid=21054] ppid=21052 vsize=9068 CPUtime=79.79
/proc/21054/stat : 21054 (smodels-2.31) R 21052 21050 21001 0 -1 4194304 1938 0 0 0 7976 3 0 0 25 0 1 0 150620260 9285632 1902 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521666 0 0 4096 0 0 0 0 17 1 0 0
/proc/21054/statm: 2267 1902 214 21 0 1703 0
[pid=21055] ppid=21052 vsize=12408 CPUtime=0
/proc/21055/stat : 21055 (pbout.new.pl) S 21052 21050 21001 0 -1 4194304 496 0 0 0 0 0 0 0 16 0 1 0 150620260 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/21055/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 80.1
Current children cumulated vsize (Kb) 44460

[startup+90.0585 s]
/proc/loadavg: 0.99 0.97 0.99 2/74 21237
/proc/meminfo: memFree=1139168/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=12268 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) S 21050 21050 21001 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620259 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21051/statm: 3067 383 293 3 0 167 0
[pid=21052] ppid=21051 vsize=5356 CPUtime=0.31
/proc/21052/stat : 21052 (sh) S 21051 21050 21001 0 -1 4194304 309 779 0 0 0 0 31 0 16 0 1 0 150620260 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0

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

/proc/21054/stat : 21054 (smodels-2.31) R 21052 21050 21001 0 -1 4194304 4370 0 0 0 179342 5 0 0 25 0 1 0 150620260 19288064 4334 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532900 0 0 4096 0 0 0 0 17 1 0 0
/proc/21054/statm: 4709 4334 214 21 0 4145 0
[pid=21055] ppid=21052 vsize=12408 CPUtime=0
/proc/21055/stat : 21055 (pbout.new.pl) S 21052 21050 21001 0 -1 4194304 496 0 0 0 0 0 0 0 16 0 1 0 150620260 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/21055/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1793.78
Current children cumulated vsize (Kb) 54228

[startup+1795.23 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 21253
/proc/meminfo: memFree=1130776/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=12268 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) S 21050 21050 21001 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620259 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21051/statm: 3067 383 293 3 0 167 0
[pid=21052] ppid=21051 vsize=5356 CPUtime=0.31
/proc/21052/stat : 21052 (sh) S 21051 21050 21001 0 -1 4194304 309 779 0 0 0 0 31 0 16 0 1 0 150620260 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21052/statm: 1339 227 188 169 0 50 0
[pid=21054] ppid=21052 vsize=18836 CPUtime=1794.48
/proc/21054/stat : 21054 (smodels-2.31) R 21052 21050 21001 0 -1 4194304 4370 0 0 0 179443 5 0 0 25 0 1 0 150620260 19288064 4334 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550883 0 0 4096 0 0 0 0 17 1 0 0
/proc/21054/statm: 4709 4334 214 21 0 4145 0
[pid=21055] ppid=21052 vsize=12408 CPUtime=0
/proc/21055/stat : 21055 (pbout.new.pl) S 21052 21050 21001 0 -1 4194304 496 0 0 0 0 0 0 0 16 0 1 0 150620260 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/21055/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (Kb) 54228

[startup+1796.23 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 21253
/proc/meminfo: memFree=1130776/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=12268 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) S 21050 21050 21001 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620259 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21051/statm: 3067 383 293 3 0 167 0
[pid=21052] ppid=21051 vsize=5356 CPUtime=0.31
/proc/21052/stat : 21052 (sh) S 21051 21050 21001 0 -1 4194304 309 779 0 0 0 0 31 0 16 0 1 0 150620260 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21052/statm: 1339 227 188 169 0 50 0
[pid=21054] ppid=21052 vsize=18836 CPUtime=1795.48
/proc/21054/stat : 21054 (smodels-2.31) R 21052 21050 21001 0 -1 4194304 4370 0 0 0 179543 5 0 0 25 0 1 0 150620260 19288064 4334 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553347 0 0 4096 0 0 0 0 17 1 0 0
/proc/21054/statm: 4709 4334 214 21 0 4145 0
[pid=21055] ppid=21052 vsize=12408 CPUtime=0
/proc/21055/stat : 21055 (pbout.new.pl) S 21052 21050 21001 0 -1 4194304 496 0 0 0 0 0 0 0 16 0 1 0 150620260 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/21055/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1795.79
Current children cumulated vsize (Kb) 54228

[startup+1797.24 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 21253
/proc/meminfo: memFree=1130776/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=12268 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) S 21050 21050 21001 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620259 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21051/statm: 3067 383 293 3 0 167 0
[pid=21052] ppid=21051 vsize=5356 CPUtime=0.31
/proc/21052/stat : 21052 (sh) S 21051 21050 21001 0 -1 4194304 309 779 0 0 0 0 31 0 16 0 1 0 150620260 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21052/statm: 1339 227 188 169 0 50 0
[pid=21054] ppid=21052 vsize=18836 CPUtime=1796.49
/proc/21054/stat : 21054 (smodels-2.31) R 21052 21050 21001 0 -1 4194304 4370 0 0 0 179644 5 0 0 25 0 1 0 150620260 19288064 4334 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550853 0 0 4096 0 0 0 0 17 1 0 0
/proc/21054/statm: 4709 4334 214 21 0 4145 0
[pid=21055] ppid=21052 vsize=12408 CPUtime=0
/proc/21055/stat : 21055 (pbout.new.pl) S 21052 21050 21001 0 -1 4194304 496 0 0 0 0 0 0 0 16 0 1 0 150620260 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/21055/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (Kb) 54228

[startup+1798.24 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 21253
/proc/meminfo: memFree=1130776/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=12268 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) S 21050 21050 21001 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620259 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21051/statm: 3067 383 293 3 0 167 0
[pid=21052] ppid=21051 vsize=5356 CPUtime=0.31
/proc/21052/stat : 21052 (sh) S 21051 21050 21001 0 -1 4194304 309 779 0 0 0 0 31 0 16 0 1 0 150620260 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21052/statm: 1339 227 188 169 0 50 0
[pid=21054] ppid=21052 vsize=18836 CPUtime=1797.49
/proc/21054/stat : 21054 (smodels-2.31) R 21052 21050 21001 0 -1 4194304 4370 0 0 0 179744 5 0 0 25 0 1 0 150620260 19288064 4334 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134546483 0 0 4096 0 0 0 0 17 1 0 0
/proc/21054/statm: 4709 4334 214 21 0 4145 0
[pid=21055] ppid=21052 vsize=12408 CPUtime=0
/proc/21055/stat : 21055 (pbout.new.pl) S 21052 21050 21001 0 -1 4194304 496 0 0 0 0 0 0 0 16 0 1 0 150620260 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/21055/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (Kb) 54228

[startup+1799.25 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 21253
/proc/meminfo: memFree=1130776/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=12268 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) S 21050 21050 21001 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620259 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21051/statm: 3067 383 293 3 0 167 0
[pid=21052] ppid=21051 vsize=5356 CPUtime=0.31
/proc/21052/stat : 21052 (sh) S 21051 21050 21001 0 -1 4194304 309 779 0 0 0 0 31 0 16 0 1 0 150620260 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21052/statm: 1339 227 188 169 0 50 0
[pid=21054] ppid=21052 vsize=18836 CPUtime=1798.5
/proc/21054/stat : 21054 (smodels-2.31) R 21052 21050 21001 0 -1 4194304 4370 0 0 0 179845 5 0 0 25 0 1 0 150620260 19288064 4334 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532868 0 0 4096 0 0 0 0 17 1 0 0
/proc/21054/statm: 4709 4334 214 21 0 4145 0
[pid=21055] ppid=21052 vsize=12408 CPUtime=0
/proc/21055/stat : 21055 (pbout.new.pl) S 21052 21050 21001 0 -1 4194304 496 0 0 0 0 0 0 0 16 0 1 0 150620260 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/21055/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (Kb) 54228

[startup+1800.25 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 21253
/proc/meminfo: memFree=1130776/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=12268 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) S 21050 21050 21001 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620259 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21051/statm: 3067 383 293 3 0 167 0
[pid=21052] ppid=21051 vsize=5356 CPUtime=0.31
/proc/21052/stat : 21052 (sh) S 21051 21050 21001 0 -1 4194304 309 779 0 0 0 0 31 0 16 0 1 0 150620260 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21052/statm: 1339 227 188 169 0 50 0
[pid=21054] ppid=21052 vsize=18836 CPUtime=1799.5
/proc/21054/stat : 21054 (smodels-2.31) R 21052 21050 21001 0 -1 4194304 4370 0 0 0 179945 5 0 0 25 0 1 0 150620260 19288064 4334 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521316 0 0 4096 0 0 0 0 17 1 0 0
/proc/21054/statm: 4709 4334 214 21 0 4145 0
[pid=21055] ppid=21052 vsize=12408 CPUtime=0
/proc/21055/stat : 21055 (pbout.new.pl) S 21052 21050 21001 0 -1 4194304 496 0 0 0 0 0 0 0 16 0 1 0 150620260 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/21055/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1799.81
Current children cumulated vsize (Kb) 54228

[startup+1801.26 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 21253
/proc/meminfo: memFree=1130776/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=12268 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) S 21050 21050 21001 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620259 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21051/statm: 3067 383 293 3 0 167 0
[pid=21052] ppid=21051 vsize=5356 CPUtime=0.31
/proc/21052/stat : 21052 (sh) S 21051 21050 21001 0 -1 4194304 309 779 0 0 0 0 31 0 16 0 1 0 150620260 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21052/statm: 1339 227 188 169 0 50 0
[pid=21054] ppid=21052 vsize=18836 CPUtime=1800.51
/proc/21054/stat : 21054 (smodels-2.31) R 21052 21050 21001 0 -1 4194304 4370 0 0 0 180046 5 0 0 25 0 1 0 150620260 19288064 4334 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134551078 0 0 4096 0 0 0 0 17 1 0 0
/proc/21054/statm: 4709 4334 214 21 0 4145 0
[pid=21055] ppid=21052 vsize=12408 CPUtime=0
/proc/21055/stat : 21055 (pbout.new.pl) S 21052 21050 21001 0 -1 4194304 496 0 0 0 0 0 0 0 16 0 1 0 150620260 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/21055/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (Kb) 54228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.26 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 21253
/proc/meminfo: memFree=1130776/2055920 swapFree=4182840/4192956
[pid=21050] ppid=21048 vsize=5360 CPUtime=0
/proc/21050/stat : 21050 (runpbsmodels) S 21048 21050 21001 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150620259 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21050/statm: 1340 234 195 169 0 51 0
[pid=21051] ppid=21050 vsize=12268 CPUtime=0
/proc/21051/stat : 21051 (pbsmodels-v1.31) S 21050 21050 21001 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150620259 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/21051/statm: 3067 383 293 3 0 167 0
[pid=21052] ppid=21051 vsize=5356 CPUtime=0.31
/proc/21052/stat : 21052 (sh) S 21051 21050 21001 0 -1 4194304 309 779 0 0 0 0 31 0 16 0 1 0 150620260 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21052/statm: 1339 227 188 169 0 50 0
[pid=21054] ppid=21052 vsize=18836 CPUtime=1800.51
/proc/21054/stat : 21054 (smodels-2.31) R 21052 21050 21001 0 -1 4194304 4370 0 0 0 180046 5 0 0 25 0 1 0 150620260 19288064 4334 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521404 0 0 4096 0 0 0 0 17 1 0 0
/proc/21054/statm: 4709 4334 214 21 0 4145 0
[pid=21055] ppid=21052 vsize=12408 CPUtime=0
/proc/21055/stat : 21055 (pbout.new.pl) S 21052 21050 21001 0 -1 4194304 496 0 0 0 0 0 0 0 16 0 1 0 150620260 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/21055/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (Kb) 54228

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 21050 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=999
CPU time returned by wait4() is 0.001998
while last known CPU time is 1800.82

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

Real time (s): 1801.29
CPU time (s): 1800.82
CPU user time (s): 1800.77
CPU system time (s): 0.05
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (Kb): 54228
The end

Launcher Data (download as text)

Begin job on node19 on Thu Jul 27 21:59:58 UTC 2006


FILE ID= 45484-1154037598

PBS_JOBID= 881191

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-v1.31/runpbsmodels ROOT/tmp/node19/45484-1154037598/instance-45484-1154037598.opb 369980706  ROOT/tmp/node19/45484-1154037598
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-45484-1154037598 -o ROOT/results/node19/solver-45484-1154037598 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node19/45484-1154037598/instance-45484-1154037598.opb 369980706  ROOT/tmp/node19/45484-1154037598

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  a5b00f1ae7deac89a36da7a8be4b1f6d

RANDOM SEED= 369980706

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.233
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.233
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:       1149512 kB
Buffers:         27172 kB
Cached:         818624 kB
SwapCached:       3796 kB
Active:         252736 kB
Inactive:       601852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1149512 kB
SwapTotal:     4192956 kB
SwapFree:      4182840 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          14512 kB
Slab:            37844 kB
Committed_AS:   715192 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node19 on Thu Jul 27 22:29:59 UTC 2006