Trace number 45473

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

Verifier Data (download as text)

OK	873

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/node55/watcher-45473-1154037464 -o ROOT/results/node55/solver-45473-1154037464 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node55/45473-1154037464/instance-45473-1154037464.opb 892012447 ROOT/tmp/node55/45473-1154037464 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.97 3/64 24304
/proc/meminfo: memFree=831392/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=9648 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) R 24304 24304 24255 0 -1 4194304 77 0 0 0 0 0 0 0 20 0 1 0 150616408 9879552 59 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248758990217 0 0 4096 0 0 0 0 17 1 0 0
/proc/24305/statm: 2412 59 44 3 0 59 0

[startup+10.003 s]
/proc/loadavg: 0.93 0.97 0.97 2/68 24309
/proc/meminfo: memFree=827344/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=12268 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) S 24304 24304 24255 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150616408 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24305/statm: 3067 383 293 3 0 167 0
[pid=24306] ppid=24305 vsize=5356 CPUtime=0.3
/proc/24306/stat : 24306 (sh) S 24305 24304 24255 0 -1 4194304 309 779 0 0 0 0 30 0 16 0 1 0 150616409 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24306/statm: 1339 227 188 169 0 50 0
[pid=24308] ppid=24306 vsize=4860 CPUtime=9.8
/proc/24308/stat : 24308 (smodels-2.31) R 24306 24304 24255 0 -1 4194304 891 0 0 0 980 0 0 0 25 0 1 0 150616409 4976640 855 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532759 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 1215 855 214 21 0 651 0
[pid=24309] ppid=24306 vsize=12408 CPUtime=0
/proc/24309/stat : 24309 (pbout.new.pl) S 24306 24304 24255 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150616409 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24309/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 10.1
Current children cumulated vsize (Kb) 40252

[startup+20.01 s]
/proc/loadavg: 0.94 0.97 0.97 2/68 24309
/proc/meminfo: memFree=826640/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=12268 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) S 24304 24304 24255 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150616408 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24305/statm: 3067 383 293 3 0 167 0
[pid=24306] ppid=24305 vsize=5356 CPUtime=0.3
/proc/24306/stat : 24306 (sh) S 24305 24304 24255 0 -1 4194304 309 779 0 0 0 0 30 0 16 0 1 0 150616409 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24306/statm: 1339 227 188 169 0 50 0
[pid=24308] ppid=24306 vsize=5520 CPUtime=19.81
/proc/24308/stat : 24308 (smodels-2.31) R 24306 24304 24255 0 -1 4194304 1071 0 0 0 1981 0 0 0 25 0 1 0 150616409 5652480 1035 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553386 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 1380 1035 214 21 0 816 0
[pid=24309] ppid=24306 vsize=12408 CPUtime=0
/proc/24309/stat : 24309 (pbout.new.pl) S 24306 24304 24255 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150616409 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24309/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 20.11
Current children cumulated vsize (Kb) 40912

[startup+30.016 s]
/proc/loadavg: 0.95 0.97 0.97 2/68 24309
/proc/meminfo: memFree=826000/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=12268 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) S 24304 24304 24255 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150616408 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24305/statm: 3067 383 293 3 0 167 0
[pid=24306] ppid=24305 vsize=5356 CPUtime=0.3
/proc/24306/stat : 24306 (sh) S 24305 24304 24255 0 -1 4194304 309 779 0 0 0 0 30 0 16 0 1 0 150616409 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24306/statm: 1339 227 188 169 0 50 0
[pid=24308] ppid=24306 vsize=6180 CPUtime=29.81
/proc/24308/stat : 24308 (smodels-2.31) R 24306 24304 24255 0 -1 4194304 1235 0 0 0 2981 0 0 0 25 0 1 0 150616409 6328320 1199 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532706 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 1545 1199 214 21 0 981 0
[pid=24309] ppid=24306 vsize=12408 CPUtime=0
/proc/24309/stat : 24309 (pbout.new.pl) S 24306 24304 24255 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150616409 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24309/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 30.11
Current children cumulated vsize (Kb) 41572

[startup+40.022 s]
/proc/loadavg: 0.95 0.97 0.97 2/68 24309
/proc/meminfo: memFree=825296/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=12268 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) S 24304 24304 24255 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150616408 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24305/statm: 3067 383 293 3 0 167 0
[pid=24306] ppid=24305 vsize=5356 CPUtime=0.3
/proc/24306/stat : 24306 (sh) S 24305 24304 24255 0 -1 4194304 309 779 0 0 0 0 30 0 16 0 1 0 150616409 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24306/statm: 1339 227 188 169 0 50 0
[pid=24308] ppid=24306 vsize=6972 CPUtime=39.81
/proc/24308/stat : 24308 (smodels-2.31) R 24306 24304 24255 0 -1 4194304 1409 0 0 0 3981 0 0 0 25 0 1 0 150616409 7139328 1373 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134520901 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 1743 1373 214 21 0 1179 0
[pid=24309] ppid=24306 vsize=12408 CPUtime=0
/proc/24309/stat : 24309 (pbout.new.pl) S 24306 24304 24255 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150616409 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24309/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 40.11
Current children cumulated vsize (Kb) 42364

[startup+50.029 s]
/proc/loadavg: 0.96 0.97 0.97 2/68 24309
/proc/meminfo: memFree=824720/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=12268 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) S 24304 24304 24255 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150616408 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24305/statm: 3067 383 293 3 0 167 0
[pid=24306] ppid=24305 vsize=5356 CPUtime=0.3
/proc/24306/stat : 24306 (sh) S 24305 24304 24255 0 -1 4194304 309 779 0 0 0 0 30 0 16 0 1 0 150616409 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24306/statm: 1339 227 188 169 0 50 0
[pid=24308] ppid=24306 vsize=7632 CPUtime=49.81
/proc/24308/stat : 24308 (smodels-2.31) R 24306 24304 24255 0 -1 4194304 1572 0 0 0 4981 0 0 0 25 0 1 0 150616409 7815168 1536 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538368 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 1908 1536 214 21 0 1344 0
[pid=24309] ppid=24306 vsize=12408 CPUtime=0
/proc/24309/stat : 24309 (pbout.new.pl) S 24306 24304 24255 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150616409 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24309/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 50.11
Current children cumulated vsize (Kb) 43024

[startup+60.035 s]
/proc/loadavg: 0.97 0.97 0.97 2/68 24309
/proc/meminfo: memFree=824144/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=12268 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) S 24304 24304 24255 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150616408 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24305/statm: 3067 383 293 3 0 167 0
[pid=24306] ppid=24305 vsize=5356 CPUtime=0.3
/proc/24306/stat : 24306 (sh) S 24305 24304 24255 0 -1 4194304 309 779 0 0 0 0 30 0 16 0 1 0 150616409 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24306/statm: 1339 227 188 169 0 50 0
[pid=24308] ppid=24306 vsize=8160 CPUtime=59.82
/proc/24308/stat : 24308 (smodels-2.31) R 24306 24304 24255 0 -1 4194304 1710 0 0 0 5982 0 0 0 25 0 1 0 150616409 8355840 1674 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134519892 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 2040 1674 214 21 0 1476 0
[pid=24309] ppid=24306 vsize=12408 CPUtime=0
/proc/24309/stat : 24309 (pbout.new.pl) S 24306 24304 24255 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150616409 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24309/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 60.12
Current children cumulated vsize (Kb) 43552

[startup+70.042 s]
/proc/loadavg: 0.97 0.97 0.97 2/68 24309
/proc/meminfo: memFree=823504/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=12268 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) S 24304 24304 24255 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150616408 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24305/statm: 3067 383 293 3 0 167 0
[pid=24306] ppid=24305 vsize=5356 CPUtime=0.3
/proc/24306/stat : 24306 (sh) S 24305 24304 24255 0 -1 4194304 309 779 0 0 0 0 30 0 16 0 1 0 150616409 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24306/statm: 1339 227 188 169 0 50 0
[pid=24308] ppid=24306 vsize=8820 CPUtime=69.82
/proc/24308/stat : 24308 (smodels-2.31) R 24306 24304 24255 0 -1 4194304 1880 0 0 0 6982 0 0 0 25 0 1 0 150616409 9031680 1844 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 2205 1844 214 21 0 1641 0
[pid=24309] ppid=24306 vsize=12408 CPUtime=0
/proc/24309/stat : 24309 (pbout.new.pl) S 24306 24304 24255 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150616409 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24309/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 70.12
Current children cumulated vsize (Kb) 44212

[startup+80.049 s]
/proc/loadavg: 0.98 0.97 0.97 2/68 24309
/proc/meminfo: memFree=823120/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=12268 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) S 24304 24304 24255 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150616408 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24305/statm: 3067 383 293 3 0 167 0
[pid=24306] ppid=24305 vsize=5356 CPUtime=0.3
/proc/24306/stat : 24306 (sh) S 24305 24304 24255 0 -1 4194304 309 779 0 0 0 0 30 0 16 0 1 0 150616409 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24306/statm: 1339 227 188 169 0 50 0
[pid=24308] ppid=24306 vsize=9216 CPUtime=79.83
/proc/24308/stat : 24308 (smodels-2.31) R 24306 24304 24255 0 -1 4194304 1988 0 0 0 7982 1 0 0 25 0 1 0 150616409 9437184 1952 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134547344 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 2304 1952 214 21 0 1740 0
[pid=24309] ppid=24306 vsize=12408 CPUtime=0
/proc/24309/stat : 24309 (pbout.new.pl) S 24306 24304 24255 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150616409 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24309/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 80.13
Current children cumulated vsize (Kb) 44608

[startup+90.0549 s]
/proc/loadavg: 0.98 0.97 0.97 2/68 24309
/proc/meminfo: memFree=822672/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=12268 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) S 24304 24304 24255 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150616408 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24305/statm: 3067 383 293 3 0 167 0
[pid=24306] ppid=24305 vsize=5356 CPUtime=0.3
/proc/24306/stat : 24306 (sh) S 24305 24304 24255 0 -1 4194304 309 779 0 0 0 0 30 0 16 0 1 0 150616409 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0

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

/proc/24308/stat : 24308 (smodels-2.31) R 24306 24304 24255 0 -1 4194304 4073 0 0 0 179339 5 0 0 25 0 1 0 150616409 17952768 4037 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552532 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 4383 4037 214 21 0 3819 0
[pid=24309] ppid=24306 vsize=12408 CPUtime=0
/proc/24309/stat : 24309 (pbout.new.pl) S 24306 24304 24255 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150616409 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24309/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1793.74
Current children cumulated vsize (Kb) 52924

[startup+1795.21 s]
/proc/loadavg: 0.99 0.97 0.97 2/68 24507
/proc/meminfo: memFree=814352/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=12268 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) S 24304 24304 24255 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150616408 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24305/statm: 3067 383 293 3 0 167 0
[pid=24306] ppid=24305 vsize=5356 CPUtime=0.3
/proc/24306/stat : 24306 (sh) S 24305 24304 24255 0 -1 4194304 309 779 0 0 0 0 30 0 16 0 1 0 150616409 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24306/statm: 1339 227 188 169 0 50 0
[pid=24308] ppid=24306 vsize=17532 CPUtime=1794.44
/proc/24308/stat : 24308 (smodels-2.31) R 24306 24304 24255 0 -1 4194304 4073 0 0 0 179439 5 0 0 25 0 1 0 150616409 17952768 4037 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521724 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 4383 4037 214 21 0 3819 0
[pid=24309] ppid=24306 vsize=12408 CPUtime=0
/proc/24309/stat : 24309 (pbout.new.pl) S 24306 24304 24255 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150616409 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24309/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (Kb) 52924

[startup+1796.21 s]
/proc/loadavg: 0.99 0.97 0.97 2/68 24507
/proc/meminfo: memFree=814352/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=12268 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) S 24304 24304 24255 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150616408 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24305/statm: 3067 383 293 3 0 167 0
[pid=24306] ppid=24305 vsize=5356 CPUtime=0.3
/proc/24306/stat : 24306 (sh) S 24305 24304 24255 0 -1 4194304 309 779 0 0 0 0 30 0 16 0 1 0 150616409 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24306/statm: 1339 227 188 169 0 50 0
[pid=24308] ppid=24306 vsize=17532 CPUtime=1795.45
/proc/24308/stat : 24308 (smodels-2.31) R 24306 24304 24255 0 -1 4194304 4073 0 0 0 179540 5 0 0 25 0 1 0 150616409 17952768 4037 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553340 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 4383 4037 214 21 0 3819 0
[pid=24309] ppid=24306 vsize=12408 CPUtime=0
/proc/24309/stat : 24309 (pbout.new.pl) S 24306 24304 24255 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150616409 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24309/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1795.75
Current children cumulated vsize (Kb) 52924

[startup+1797.22 s]
/proc/loadavg: 0.99 0.97 0.97 2/68 24507
/proc/meminfo: memFree=814352/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=12268 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) S 24304 24304 24255 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150616408 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24305/statm: 3067 383 293 3 0 167 0
[pid=24306] ppid=24305 vsize=5356 CPUtime=0.3
/proc/24306/stat : 24306 (sh) S 24305 24304 24255 0 -1 4194304 309 779 0 0 0 0 30 0 16 0 1 0 150616409 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24306/statm: 1339 227 188 169 0 50 0
[pid=24308] ppid=24306 vsize=17532 CPUtime=1796.45
/proc/24308/stat : 24308 (smodels-2.31) R 24306 24304 24255 0 -1 4194304 4073 0 0 0 179640 5 0 0 25 0 1 0 150616409 17952768 4037 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532721 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 4383 4037 214 21 0 3819 0
[pid=24309] ppid=24306 vsize=12408 CPUtime=0
/proc/24309/stat : 24309 (pbout.new.pl) S 24306 24304 24255 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150616409 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24309/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (Kb) 52924

[startup+1798.22 s]
/proc/loadavg: 0.99 0.97 0.97 2/68 24507
/proc/meminfo: memFree=814352/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=12268 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) S 24304 24304 24255 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150616408 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24305/statm: 3067 383 293 3 0 167 0
[pid=24306] ppid=24305 vsize=5356 CPUtime=0.3
/proc/24306/stat : 24306 (sh) S 24305 24304 24255 0 -1 4194304 309 779 0 0 0 0 30 0 16 0 1 0 150616409 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24306/statm: 1339 227 188 169 0 50 0
[pid=24308] ppid=24306 vsize=17532 CPUtime=1797.46
/proc/24308/stat : 24308 (smodels-2.31) R 24306 24304 24255 0 -1 4194304 4073 0 0 0 179741 5 0 0 25 0 1 0 150616409 17952768 4037 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553538 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 4383 4037 214 21 0 3819 0
[pid=24309] ppid=24306 vsize=12408 CPUtime=0
/proc/24309/stat : 24309 (pbout.new.pl) S 24306 24304 24255 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150616409 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24309/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (Kb) 52924

[startup+1799.23 s]
/proc/loadavg: 0.99 0.97 0.97 2/68 24507
/proc/meminfo: memFree=814352/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=12268 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) S 24304 24304 24255 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150616408 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24305/statm: 3067 383 293 3 0 167 0
[pid=24306] ppid=24305 vsize=5356 CPUtime=0.3
/proc/24306/stat : 24306 (sh) S 24305 24304 24255 0 -1 4194304 309 779 0 0 0 0 30 0 16 0 1 0 150616409 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24306/statm: 1339 227 188 169 0 50 0
[pid=24308] ppid=24306 vsize=17532 CPUtime=1798.46
/proc/24308/stat : 24308 (smodels-2.31) R 24306 24304 24255 0 -1 4194304 4073 0 0 0 179841 5 0 0 25 0 1 0 150616409 17952768 4037 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552469 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 4383 4037 214 21 0 3819 0
[pid=24309] ppid=24306 vsize=12408 CPUtime=0
/proc/24309/stat : 24309 (pbout.new.pl) S 24306 24304 24255 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150616409 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24309/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1798.76
Current children cumulated vsize (Kb) 52924

[startup+1800.24 s]
/proc/loadavg: 0.99 0.97 0.97 2/68 24507
/proc/meminfo: memFree=814352/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=12268 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) S 24304 24304 24255 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150616408 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24305/statm: 3067 383 293 3 0 167 0
[pid=24306] ppid=24305 vsize=5356 CPUtime=0.3
/proc/24306/stat : 24306 (sh) S 24305 24304 24255 0 -1 4194304 309 779 0 0 0 0 30 0 16 0 1 0 150616409 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24306/statm: 1339 227 188 169 0 50 0
[pid=24308] ppid=24306 vsize=17532 CPUtime=1799.47
/proc/24308/stat : 24308 (smodels-2.31) R 24306 24304 24255 0 -1 4194304 4073 0 0 0 179942 5 0 0 25 0 1 0 150616409 17952768 4037 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552526 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 4383 4037 214 21 0 3819 0
[pid=24309] ppid=24306 vsize=12408 CPUtime=0
/proc/24309/stat : 24309 (pbout.new.pl) S 24306 24304 24255 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150616409 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24309/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1799.77
Current children cumulated vsize (Kb) 52924

[startup+1801.24 s]
/proc/loadavg: 0.99 0.97 0.97 2/68 24507
/proc/meminfo: memFree=814352/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=12268 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) S 24304 24304 24255 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150616408 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24305/statm: 3067 383 293 3 0 167 0
[pid=24306] ppid=24305 vsize=5356 CPUtime=0.3
/proc/24306/stat : 24306 (sh) S 24305 24304 24255 0 -1 4194304 309 779 0 0 0 0 30 0 16 0 1 0 150616409 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24306/statm: 1339 227 188 169 0 50 0
[pid=24308] ppid=24306 vsize=17532 CPUtime=1800.47
/proc/24308/stat : 24308 (smodels-2.31) R 24306 24304 24255 0 -1 4194304 4073 0 0 0 180042 5 0 0 25 0 1 0 150616409 17952768 4037 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533216 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 4383 4037 214 21 0 3819 0
[pid=24309] ppid=24306 vsize=12408 CPUtime=0
/proc/24309/stat : 24309 (pbout.new.pl) S 24306 24304 24255 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150616409 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24309/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1800.77
Current children cumulated vsize (Kb) 52924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.24 s]
/proc/loadavg: 0.99 0.97 0.97 2/68 24507
/proc/meminfo: memFree=814352/2055920 swapFree=4182936/4192956
[pid=24304] ppid=24302 vsize=5360 CPUtime=0
/proc/24304/stat : 24304 (runpbsmodels) S 24302 24304 24255 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150616408 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24304/statm: 1340 234 195 169 0 51 0
[pid=24305] ppid=24304 vsize=12268 CPUtime=0
/proc/24305/stat : 24305 (pbsmodels-v1.31) S 24304 24304 24255 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150616408 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24305/statm: 3067 383 293 3 0 167 0
[pid=24306] ppid=24305 vsize=5356 CPUtime=0.3
/proc/24306/stat : 24306 (sh) S 24305 24304 24255 0 -1 4194304 309 779 0 0 0 0 30 0 16 0 1 0 150616409 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24306/statm: 1339 227 188 169 0 50 0
[pid=24308] ppid=24306 vsize=17532 CPUtime=1800.48
/proc/24308/stat : 24308 (smodels-2.31) R 24306 24304 24255 0 -1 4194304 4073 0 0 0 180043 5 0 0 25 0 1 0 150616409 17952768 4037 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134519887 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 4383 4037 214 21 0 3819 0
[pid=24309] ppid=24306 vsize=12408 CPUtime=0
/proc/24309/stat : 24309 (pbout.new.pl) S 24306 24304 24255 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150616409 12705792 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24309/statm: 3102 456 333 3 0 202 0
Current children cumulated CPU time (s) 1800.78
Current children cumulated vsize (Kb) 52924

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 24304 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.78

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.78
CPU user time (s): 1800.73
CPU system time (s): 0.05
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (Kb): 52924
The end

Launcher Data (download as text)

Begin job on node55 on Thu Jul 27 21:57:44 UTC 2006


FILE ID= 45473-1154037464

PBS_JOBID= 881183

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

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  8b204aeb505cc1c787aa4db3220d0b5a

RANDOM SEED= 892012447

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.216
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.216
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:        831600 kB
Buffers:         36464 kB
Cached:        1099696 kB
SwapCached:       4132 kB
Active:         376592 kB
Inactive:       768564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        831600 kB
SwapTotal:     4192956 kB
SwapFree:      4182936 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14696 kB
Slab:            65204 kB
Committed_AS:   573432 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node55 on Thu Jul 27 22:27:45 UTC 2006