Trace number 36648

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
Pueblo 1.4SAT26 1782.74 1783.44

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos1.opb
MD5SUM374deb5d477559ba9c51d0ad1d758624
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark27.8308
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 19
Optimality of the best value was proved YES
Number of variables2112
Total number of constraints5020
Number of constraints which are clauses4128
Number of constraints which are cardinality constraints (but not clauses)216
Number of constraints which are nor clauses,nor cardinality constraints676
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 288
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 288
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 288
Number of bits of the biggest sum of numbers9
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 Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
0.11	c starting to Solve
0.11	c #variables read: 2112 - #constraints read: 5121
0.12	o 29
0.13	o 28
0.17	o 27
4.35	o 26
1783.43	c total time              : 1783 s
1783.43	s SATISFIABLE
1783.43	v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841
1783.43	v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 x1858
1783.43	v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876
1783.43	v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 -x1893
1783.43	v -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
1783.43	v -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 x1925 -x1926 -x1927 -x1928
1783.43	v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945
1783.43	v -x1946 x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963
1783.43	v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 x1973 -x1974 -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981
1783.43	v x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999
1783.43	v -x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017
1783.43	v -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035
1783.43	v -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052
1783.43	v -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069
1783.43	v -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086
1783.43	v -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103
1783.43	v -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x1 -x6 -x11 -x16 -x21 -x26 x31 -x36 -x41 -x46 -x51 -x56 -x61
1783.43	v -x66 -x71 -x76 -x81 -x86 -x91 -x96 -x101 -x106 -x111 -x116 -x121 -x126 -x131 -x136 -x141 -x146 -x151 -x156 -x62 -x67 -x72 -x77
1783.43	v -x142 -x147 -x152 -x157 -x362 -x367 -x372 -x377 -x382 -x387 -x392 -x397 -x442 -x447 -x452 x457 -x462 -x467 -x472 -x477 -x3
1783.43	v -x8 -x13 -x18 -x83 -x88 -x93 -x98 -x163 x168 -x173 -x178 -x183 -x188 -x193 -x198 -x203 -x208 -x213 -x218 -x223 -x228 -x233
1783.43	v -x238 -x24 -x29 -x34 -x39 -x104 -x109 -x114 -x119 -x204 -x209 -x214 -x219 -x224 -x229 -x234 -x239 x244 -x249 -x254 -x259 -x264
1783.43	v -x269 -x274 -x279 -x284 -x289 -x294 -x299 -x304 -x309 -x314 -x319 -x25 -x30 -x35 -x40 -x105 -x110 -x115 -x120 -x205 -x210
1783.43	v -x215 -x220 x225 -x230 -x235 -x240 -x245 -x250 -x255 -x260 -x265 -x270 -x275 -x280 -x285 -x290 -x295 -x300 -x305 -x310 -x315
1783.43	v -x320 -x721 -x726 x731 -x736 -x741 -x746 -x751 -x756 -x761 -x766 -x771 -x776 -x781 -x786 -x791 -x796 -x801 -x806 -x811 -x816
1783.43	v -x821 -x826 -x831 -x836 -x841 -x846 -x851 -x856 -x861 -x866 -x871 -x876 -x782 -x787 -x792 -x797 -x862 x867 -x872 -x877 -x1082
1783.43	v -x1087 -x1092 -x1097 -x1102 -x1107 -x1112 -x1117 -x1162 -x1167 -x1172 -x1177 -x1182 -x1187 -x1192 -x1197 -x723 -x728 -x733
1783.43	v -x738 -x803 -x808 x813 -x818 -x883 -x888 -x893 -x898 -x903 -x908 -x913 -x918 -x923 -x928 -x933 -x938 -x943 -x948 -x953 -x958
1783.43	v -x744 -x749 -x754 -x759 -x824 -x829 -x834 -x839 -x924 -x929 -x934 -x939 x944 -x949 -x954 -x959 -x964 -x969 -x974 -x979 -x984
1783.43	v -x989 -x994 -x999 -x1004 -x1009 -x1014 -x1019 -x1024 -x1029 -x1034 -x1039 -x745 -x750 -x755 -x760 -x825 -x830 -x835 -x840
1783.43	v -x925 -x930 -x935 -x940 -x945 -x950 -x955 -x960 -x965 -x970 x975 -x980 -x985 -x990 -x995 -x1000 -x1005 -x1010 -x1015 -x1020
1783.43	v -x1025 -x1030 -x1035 -x1040 -x481 -x486 -x491 -x496 -x501 -x506 -x511 -x516 -x601 -x606 x611 -x616 -x621 -x626 -x631 -x636
1783.43	v -x641 -x646 -x651 -x656 -x661 -x666 -x671 -x676 -x681 -x686 -x691 -x696 -x701 -x706 -x711 -x716 -x162 -x167 -x172 -x177 -x182
1783.43	v -x187 -x192 -x197 -x322 -x327 -x332 -x337 -x342 -x347 -x352 -x357 -x482 -x487 -x492 -x497 x502 -x507 -x512 -x517 -x443 -x448
1783.43	v -x453 -x458 -x463 -x468 -x473 -x478 -x563 -x568 x573 -x578 -x583 -x588 -x593 -x598 -x683 -x688 -x693 -x698 -x703 -x708 -x713
1783.43	v -x718 -x444 -x449 -x454 -x459 -x464 -x469 -x474 -x479 -x564 -x569 x574 -x579 -x584 -x589 -x594 -x599 -x684 -x689 -x694 -x699
1783.43	v -x704 -x709 -x714 -x719 -x325 -x330 -x335 x340 -x345 -x350 -x355 -x360 -x525 -x530 -x535 -x540 -x545 -x550 -x555 -x560 -x605
1783.43	v -x610 -x615 -x620 -x625 -x630 -x635 -x640 -x1201 -x1206 -x1211 -x1216 -x1221 -x1226 -x1231 -x1236 -x1321 -x1326 -x1331
1783.43	v -x1336 -x1341 -x1346 -x1351 -x1356 -x1361 -x1366 -x1371 -x1376 -x1381 -x1386 -x1391 -x1396 x1401 -x1406 -x1411 -x1416
1783.43	v -x1421 -x1426 -x1431 -x1436 -x882 -x887 -x892 x897 -x902 -x907 -x912 -x917 -x1042 -x1047 -x1052 -x1057 -x1062 -x1067 -x1072
1783.43	v -x1077 -x1202 -x1207 -x1212 -x1217 -x1222 -x1227 -x1232 -x1237 -x1163 -x1168 x1173 -x1178 -x1183 -x1188 -x1193 -x1198
1783.43	v -x1283 -x1288 -x1293 -x1298 -x1303 -x1308 -x1313 -x1318 -x1403 -x1408 -x1413 -x1418 -x1423 -x1428 -x1433 -x1438 -x1164
1783.43	v -x1169 x1174 -x1179 -x1184 -x1189 -x1194 -x1199 -x1284 -x1289 -x1294 -x1299 -x1304 -x1309 -x1314 -x1319 -x1404 -x1409
1783.43	v -x1414 -x1419 -x1424 -x1429 -x1434 -x1439 -x1045 -x1050 -x1055 -x1060 -x1065 -x1070 -x1075 -x1080 -x1245 -x1250 -x1255
1783.43	v -x1260 -x1265 -x1270 -x1275 -x1280 -x1325 -x1330 -x1335 -x1340 -x1345 -x1350 -x1355 -x1360 -x161 -x166 -x171 -x176 -x181
1783.43	v -x186 -x191 -x196 -x201 -x206 -x211 -x216 -x221 -x226 -x231 -x236 x241 -x246 -x251 -x256 -x261 -x266 -x271 -x276 -x281 -x286
1783.43	v -x291 -x296 -x301 -x306 -x311 -x316 -x361 -x366 -x371 -x376 -x381 -x386 -x391 -x396 -x401 -x406 -x411 -x416 -x421 -x426 -x431
1783.43	v -x436 -x441 -x446 -x451 -x456 -x461 -x466 -x471 -x476 -x321 -x326 -x331 -x336 -x341 -x346 -x351 -x356 -x521 -x526 -x531 -x536
1783.43	v -x541 -x546 -x551 -x556 -x561 -x566 -x571 -x576 -x581 -x586 -x591 -x596 -x2 -x7 -x12 -x17 -x22 -x27 -x32 -x37 -x42 -x47 -x52
1783.43	v -x57 -x82 -x87 -x92 -x97 -x102 -x107 -x112 -x117 -x122 -x127 -x132 -x137 -x202 -x207 -x212 -x217 -x222 -x227 -x232 -x237 -x242
1783.43	v -x247 -x252 -x257 -x262 -x267 -x272 -x277 -x282 -x287 -x292 -x297 -x302 -x307 -x312 -x317 -x402 -x407 -x412 -x417 -x422 -x427
1783.43	v -x432 -x437 -x522 -x527 -x532 -x537 -x542 -x547 -x552 -x557 -x602 -x607 -x612 -x617 -x622 -x627 -x632 -x637 -x562 -x567 -x572
1783.43	v -x577 -x582 -x587 -x592 -x597 -x642 -x647 -x652 -x657 -x662 -x667 -x672 -x677 -x682 -x687 x692 -x697 -x702 -x707 -x712 -x717
1783.43	v -x23 -x28 -x33 -x38 -x43 -x48 -x53 -x58 -x63 -x68 -x73 -x78 -x103 -x108 -x113 -x118 -x123 -x128 -x133 -x138 -x143 -x148 -x153
1783.43	v -x158 -x243 -x248 -x253 -x258 -x263 -x268 -x273 -x278 -x283 -x288 -x293 -x298 -x303 -x308 -x313 -x318 -x363 -x368 -x373 -x378
1783.43	v -x383 -x388 -x393 -x398 -x403 -x408 -x413 -x418 -x423 -x428 -x433 -x438 -x323 -x328 -x333 -x338 -x343 -x348 -x353 -x358 -x483
1783.43	v -x488 -x493 x498 -x503 -x508 -x513 -x518 -x523 -x528 -x533 -x538 -x543 -x548 -x553 -x558 -x603 -x608 -x613 -x618 -x623 -x628
1783.43	v -x633 -x638 -x643 -x648 -x653 -x658 x663 -x668 -x673 -x678 -x4 -x9 -x14 -x19 -x44 -x49 -x54 -x59 -x64 -x69 -x74 -x79 -x84 -x89
1783.43	v -x94 -x99 -x124 -x129 -x134 -x139 -x144 -x149 -x154 -x159 -x164 -x169 -x174 -x179 -x184 -x189 -x194 -x199 -x364 -x369 -x374
1783.43	v -x379 -x384 -x389 -x394 -x399 -x404 -x409 -x414 -x419 -x424 -x429 -x434 -x439 -x324 -x329 -x334 -x339 -x344 -x349 -x354 -x359
1783.43	v -x484 -x489 -x494 -x499 -x504 -x509 -x514 -x519 -x524 -x529 -x534 -x539 -x544 -x549 -x554 -x559 -x604 -x609 x614 -x619 -x624
1783.43	v -x629 -x634 -x639 -x644 -x649 -x654 -x659 x664 -x669 -x674 -x679 -x5 -x10 -x15 -x20 -x45 -x50 -x55 -x60 -x65 -x70 -x75 -x80
1783.43	v -x85 -x90 -x95 -x100 -x125 -x130 -x135 -x140 -x145 -x150 -x155 -x160 -x165 x170 -x175 -x180 -x185 -x190 -x195 -x200 -x365
1783.43	v -x370 -x375 -x380 -x385 -x390 -x395 -x400 -x405 -x410 -x415 -x420 -x425 -x430 -x435 -x440 -x445 -x450 -x455 -x460 -x465 -x470
1783.43	v -x475 -x480 -x485 -x490 -x495 -x500 -x505 -x510 -x515 -x520 -x565 -x570 -x575 -x580 -x585 -x590 -x595 -x600 -x645 -x650 -x655
1783.43	v -x660 -x665 -x670 -x675 -x680 -x685 -x690 -x695 -x700 -x705 -x710 -x715 -x720 -x881 -x886 -x891 -x896 -x901 -x906 -x911 -x916
1783.43	v -x921 x926 -x931 -x936 -x941 -x946 -x951 -x956 -x961 -x966 -x971 -x976 -x981 -x986 -x991 -x996 -x1001 -x1006 x1011 -x1016
1783.43	v -x1021 -x1026 -x1031 -x1036 -x1081 -x1086 -x1091 x1096 -x1101 -x1106 -x1111 -x1116 -x1121 -x1126 -x1131 -x1136 -x1141
1783.43	v -x1146 -x1151 -x1156 -x1161 -x1166 x1171 -x1176 -x1181 -x1186 -x1191 -x1196 -x1041 -x1046 -x1051 -x1056 -x1061 -x1066
1783.43	v -x1071 -x1076 -x1241 -x1246 -x1251 -x1256 -x1261 -x1266 -x1271 -x1276 -x1281 -x1286 -x1291 -x1296 -x1301 -x1306 -x1311
1783.43	v -x1316 -x722 -x727 -x732 -x737 x742 -x747 -x752 -x757 -x762 -x767 -x772 -x777 -x802 -x807 -x812 -x817 -x822 -x827 -x832 -x837
1783.43	v -x842 -x847 -x852 -x857 -x922 -x927 -x932 -x937 x942 -x947 -x952 -x957 -x962 -x967 -x972 -x977 -x982 -x987 -x992 -x997 -x1002
1783.43	v -x1007 -x1012 -x1017 -x1022 -x1027 -x1032 -x1037 -x1122 -x1127 -x1132 -x1137 -x1142 -x1147 -x1152 -x1157 -x1242 -x1247
1783.43	v -x1252 -x1257 -x1262 -x1267 -x1272 -x1277 -x1322 -x1327 -x1332 -x1337 -x1342 -x1347 -x1352 -x1357 -x1282 -x1287 -x1292
1783.43	v -x1297 -x1302 -x1307 -x1312 -x1317 -x1362 -x1367 -x1372 -x1377 -x1382 -x1387 -x1392 -x1397 -x1402 -x1407 -x1412 -x1417
1783.43	v -x1422 -x1427 -x1432 -x1437 -x743 -x748 -x753 -x758 -x763 -x768 -x773 -x778 -x783 x788 -x793 -x798 -x823 -x828 -x833 -x838
1783.43	v -x843 -x848 -x853 -x858 -x863 -x868 -x873 -x878 -x963 -x968 -x973 -x978 -x983 -x988 -x993 -x998 -x1003 -x1008 -x1013 -x1018
1783.43	v -x1023 -x1028 -x1033 -x1038 -x1083 -x1088 -x1093 -x1098 -x1103 -x1108 -x1113 -x1118 -x1123 -x1128 -x1133 -x1138 -x1143
1783.43	v -x1148 -x1153 -x1158 -x1043 -x1048 -x1053 -x1058 -x1063 -x1068 -x1073 -x1078 -x1203 -x1208 -x1213 -x1218 -x1223 -x1228
1783.43	v -x1233 -x1238 -x1243 -x1248 -x1253 -x1258 -x1263 -x1268 -x1273 -x1278 -x1323 -x1328 -x1333 -x1338 -x1343 -x1348 -x1353
1783.43	v -x1358 -x1363 -x1368 -x1373 -x1378 -x1383 -x1388 -x1393 -x1398 -x724 -x729 -x734 -x739 x764 -x769 -x774 -x779 -x784 -x789
1783.43	v -x794 -x799 -x804 -x809 x814 -x819 -x844 -x849 -x854 -x859 -x864 -x869 -x874 -x879 -x884 -x889 -x894 -x899 -x904 -x909 -x914
1783.43	v -x919 -x1084 -x1089 -x1094 x1099 -x1104 -x1109 -x1114 -x1119 -x1124 -x1129 -x1134 -x1139 -x1144 -x1149 -x1154 -x1159 -x1044
1783.43	v -x1049 -x1054 -x1059 -x1064 -x1069 -x1074 -x1079 -x1204 -x1209 -x1214 -x1219 -x1224 -x1229 -x1234 -x1239 -x1244 -x1249
1783.43	v -x1254 -x1259 -x1264 -x1269 -x1274 -x1279 -x1324 -x1329 -x1334 -x1339 -x1344 -x1349 -x1354 -x1359 -x1364 -x1369 -x1374
1783.43	v -x1379 -x1384 -x1389 -x1394 -x1399 -x725 -x730 -x735 -x740 -x765 -x770 -x775 -x780 -x785 -x790 -x795 -x800 -x805 -x810 -x815
1783.43	v -x820 -x845 -x850 -x855 -x860 -x865 -x870 -x875 -x880 -x885 -x890 -x895 -x900 -x905 -x910 -x915 -x920 -x1085 -x1090 -x1095
1783.43	v -x1100 -x1105 -x1110 -x1115 -x1120 -x1125 -x1130 -x1135 -x1140 -x1145 -x1150 -x1155 -x1160 -x1165 -x1170 -x1175 -x1180
1783.43	v -x1185 -x1190 -x1195 -x1200 -x1205 -x1210 -x1215 -x1220 -x1225 -x1230 -x1235 -x1240 -x1285 -x1290 -x1295 -x1300 -x1305
1783.43	v -x1310 -x1315 -x1320 -x1365 -x1370 -x1375 -x1380 -x1385 -x1390 -x1395 -x1400 -x1405 -x1410 -x1415 -x1420 -x1425 -x1430
1783.43	v -x1435 -x1440 -x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 x1449 -x1450 x1451 -x1452 x1453 -x1454 x1455 -x1456
1783.43	v -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473
1783.43	v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491
1783.43	v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508
1783.43	v -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526
1783.43	v -x1527 -x1528 -x1529 x1530 -x1531 x1532 -x1533 x1534 -x1535 x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544
1783.43	v -x1545 -x1546 -x1547 -x1548 x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 x1561 x1562
1783.43	v -x1563 -x1564 x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 x1573 -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580
1783.43	v x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597
1783.43	v -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615
1783.43	v x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633
1783.43	v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650
1783.43	v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667
1783.43	v -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 -x1682 x1683 x1684 -x1685
1783.43	v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 x1697 -x1698 -x1699 x1700 -x1701 -x1702 -x1703
1783.43	v x1704 x1705 -x1706 -x1707 -x1708 x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 -x1720 -x1721
1783.43	v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738
1783.43	v x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756
1783.43	v x1757 -x1758 x1759 -x1760 x1761 -x1762 x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774
1783.43	v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791
1783.43	v -x1792 x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 x1801 -x1802 x1803 -x1804 x1805 -x1806 x1807 -x1808 -x1809
1783.43	v -x1810 x1811 -x1812 x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824

Verifier Data (download as text)

OK	26

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
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node45/watcher-36648-1149366748 -o ROOT/results/node45/solver-36648-1149366748 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node45/36648-1149366748/instance-36648-1149366748.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1466240/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=2572 CPUtime=0
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 1 0 98112550 2633728 226 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 643 229 193 16 0 84 0

[startup+10.0024 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1462088/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=6668 CPUtime=9.99
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 1269 0 0 0 983 16 0 0 25 0 1 0 98112550 6828032 1240 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 1667 1240 205 16 0 1108 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 6668

[startup+20.0092 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1460808/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=7992 CPUtime=19.99
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 1600 0 0 0 1974 25 0 0 25 0 1 0 98112550 8183808 1571 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 1998 1571 205 16 0 1439 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 7992

[startup+30.0161 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1460616/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=8120 CPUtime=30
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 1648 0 0 0 2961 39 0 0 25 0 1 0 98112550 8314880 1619 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 2030 1619 205 16 0 1471 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 8120

[startup+40.0219 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1459912/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=8892 CPUtime=40
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 1832 0 0 0 3949 51 0 0 25 0 1 0 98112550 9105408 1803 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 2223 1803 205 16 0 1664 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 8892

[startup+50.0287 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1459784/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=9028 CPUtime=50
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 1860 0 0 0 4937 63 0 0 25 0 1 0 98112550 9244672 1831 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 2257 1831 205 16 0 1698 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 9028

[startup+60.0345 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1459400/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=9420 CPUtime=60.01
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 1962 0 0 0 5920 81 0 0 25 0 1 0 98112550 9646080 1933 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 2355 1933 205 16 0 1796 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 9420

[startup+70.0404 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1458632/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=10180 CPUtime=70.01
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2149 0 0 0 6910 91 0 0 25 0 1 0 98112550 10424320 2120 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 2545 2120 205 16 0 1986 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 10180

[startup+80.0462 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1458376/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=10440 CPUtime=80
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2212 0 0 0 7900 100 0 0 25 0 1 0 98112550 10690560 2183 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 2610 2183 205 16 0 2051 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 10440

[startup+90.052 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1457736/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=11072 CPUtime=90.01
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2367 0 0 0 8889 112 0 0 25 0 1 0 98112550 11337728 2338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 2768 2338 205 16 0 2209 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 11072

[startup+100.058 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1456904/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=11976 CPUtime=100.01
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2582 0 0 0 9879 122 0 0 25 0 1 0 98112550 12263424 2553 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 2994 2553 205 16 0 2435 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 11976

[startup+110.064 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1456904/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=11976 CPUtime=110.02
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2582 0 0 0 10867 135 0 0 25 0 1 0 98112550 12263424 2553 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 2994 2553 205 16 0 2435 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 11976

[startup+120.069 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1456904/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=11976 CPUtime=120.02
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2582 0 0 0 11853 149 0 0 25 0 1 0 98112550 12263424 2553 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 2994 2553 205 16 0 2435 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 11976

[startup+130.075 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1456904/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=11976 CPUtime=130.02
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2584 0 0 0 12847 155 0 0 25 0 1 0 98112550 12263424 2555 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 2994 2555 205 16 0 2435 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 11976

[startup+140.081 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1456776/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=12112 CPUtime=140.03
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2615 0 0 0 13840 163 0 0 25 0 1 0 98112550 12402688 2586 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 3028 2586 205 16 0 2469 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 12112

[startup+150.087 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1456456/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=12380 CPUtime=150.02
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2681 0 0 0 14829 173 0 0 25 0 1 0 98112550 12677120 2652 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 3095 2652 205 16 0 2536 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 12380

[startup+160.093 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1456200/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=12648 CPUtime=160.03
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2748 0 0 0 15824 179 0 0 25 0 1 0 98112550 12951552 2719 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 3162 2719 205 16 0 2603 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 12648

[startup+170.099 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1453768/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=15092 CPUtime=170.03
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 3355 0 0 0 16818 185 0 0 25 0 1 0 98112550 15454208 3326 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 3773 3326 205 16 0 3214 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 15092

[startup+180.104 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1452040/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=16780 CPUtime=180.04
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 3793 0 0 0 17815 189 0 0 25 0 1 0 98112550 17182720 3764 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528544 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 4195 3764 205 16 0 3636 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 16780

[startup+190.11 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1451976/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=16780 CPUtime=190.04
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 3793 0 0 0 18811 193 0 0 25 0 1 0 98112550 17182720 3764 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 4195 3764 205 16 0 3636 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 16780

[startup+200.116 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1451976/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=16780 CPUtime=200.04
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 3793 0 0 0 19807 197 0 0 25 0 1 0 98112550 17182720 3764 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527236 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 4195 3764 205 16 0 3636 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 16780

[startup+210.122 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 30184
/proc/meminfo: memFree=1452040/2055920 swapFree=4191900/4192956

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

/proc/30184/statm: 8362 7867 205 16 0 7803 0
Current children cumulated CPU time (s) 1590.4
Current children cumulated vsize (Kb) 33448

[startup+1600.98 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30184
/proc/meminfo: memFree=1434504/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=34484 CPUtime=1600.4
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8228 0 0 0 159052 988 0 0 25 0 1 0 98112550 35311616 8098 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8621 8098 205 16 0 8062 0
Current children cumulated CPU time (s) 1600.4
Current children cumulated vsize (Kb) 34484

[startup+1610.99 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30184
/proc/meminfo: memFree=1433480/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=35416 CPUtime=1610.4
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8478 0 0 0 160049 991 0 0 25 0 1 0 98112550 36265984 8348 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520198 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8854 8348 205 16 0 8295 0
Current children cumulated CPU time (s) 1610.4
Current children cumulated vsize (Kb) 35416

[startup+1620.99 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30184
/proc/meminfo: memFree=1433480/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=35400 CPUtime=1620.41
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8478 0 0 0 161046 995 0 0 25 0 1 0 98112550 36249600 8348 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8850 8348 205 16 0 8291 0
Current children cumulated CPU time (s) 1620.41
Current children cumulated vsize (Kb) 35400

[startup+1631 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30184
/proc/meminfo: memFree=1433480/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=35400 CPUtime=1630.41
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8478 0 0 0 162040 1001 0 0 25 0 1 0 98112550 36249600 8348 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8850 8348 205 16 0 8291 0
Current children cumulated CPU time (s) 1630.41
Current children cumulated vsize (Kb) 35400

[startup+1641.01 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30184
/proc/meminfo: memFree=1433480/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=35400 CPUtime=1640.42
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8478 0 0 0 163034 1008 0 0 25 0 1 0 98112550 36249600 8348 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8850 8348 205 16 0 8291 0
Current children cumulated CPU time (s) 1640.42
Current children cumulated vsize (Kb) 35400

[startup+1651.01 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30184
/proc/meminfo: memFree=1433480/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=35400 CPUtime=1650.41
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8478 0 0 0 164030 1011 0 0 25 0 1 0 98112550 36249600 8348 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8850 8348 205 16 0 8291 0
Current children cumulated CPU time (s) 1650.41
Current children cumulated vsize (Kb) 35400

[startup+1661.02 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30184
/proc/meminfo: memFree=1433416/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=35400 CPUtime=1660.42
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8478 0 0 0 165026 1016 0 0 25 0 1 0 98112550 36249600 8348 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8850 8348 205 16 0 8291 0
Current children cumulated CPU time (s) 1660.42
Current children cumulated vsize (Kb) 35400

[startup+1671.03 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30184
/proc/meminfo: memFree=1433416/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=35400 CPUtime=1670.42
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8478 0 0 0 166020 1022 0 0 25 0 1 0 98112550 36249600 8348 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8850 8348 205 16 0 8291 0
Current children cumulated CPU time (s) 1670.42
Current children cumulated vsize (Kb) 35400

[startup+1681.03 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30184
/proc/meminfo: memFree=1433416/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=35208 CPUtime=1680.42
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8479 0 0 0 167015 1027 0 0 25 0 1 0 98112550 36052992 8307 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8802 8307 205 16 0 8243 0
Current children cumulated CPU time (s) 1680.42
Current children cumulated vsize (Kb) 35208

[startup+1691.04 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30184
/proc/meminfo: memFree=1433928/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=34740 CPUtime=1690.42
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8479 0 0 0 168010 1032 0 0 25 0 1 0 98112550 35573760 8190 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8685 8190 205 16 0 8126 0
Current children cumulated CPU time (s) 1690.42
Current children cumulated vsize (Kb) 34740

[startup+1701.04 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30184
/proc/meminfo: memFree=1433928/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=34740 CPUtime=1700.43
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8479 0 0 0 169007 1036 0 0 25 0 1 0 98112550 35573760 8190 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8685 8190 205 16 0 8126 0
Current children cumulated CPU time (s) 1700.43
Current children cumulated vsize (Kb) 34740

[startup+1711.05 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30184
/proc/meminfo: memFree=1433928/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=34740 CPUtime=1710.43
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8479 0 0 0 170000 1043 0 0 25 0 1 0 98112550 35573760 8190 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8685 8190 205 16 0 8126 0
Current children cumulated CPU time (s) 1710.43
Current children cumulated vsize (Kb) 34740

[startup+1721.06 s]
/proc/loadavg: 1.00 1.00 0.97 2/70 30247
/proc/meminfo: memFree=1432920/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=34740 CPUtime=1720.42
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 170991 1051 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8685 8191 205 16 0 8126 0
Current children cumulated CPU time (s) 1720.42
Current children cumulated vsize (Kb) 34740

[startup+1731.06 s]
/proc/loadavg: 1.00 1.00 0.97 2/70 30297
/proc/meminfo: memFree=1432792/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=34740 CPUtime=1730.41
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 171981 1060 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8685 8191 205 16 0 8126 0
Current children cumulated CPU time (s) 1730.41
Current children cumulated vsize (Kb) 34740

[startup+1741.07 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30379
/proc/meminfo: memFree=1433784/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=34740 CPUtime=1740.38
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 172973 1065 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8685 8191 205 16 0 8126 0
Current children cumulated CPU time (s) 1740.38
Current children cumulated vsize (Kb) 34740

[startup+1751.08 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30379
/proc/meminfo: memFree=1433856/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=34740 CPUtime=1750.38
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 173970 1068 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8685 8191 205 16 0 8126 0
Current children cumulated CPU time (s) 1750.38
Current children cumulated vsize (Kb) 34740

[startup+1761.08 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30379
/proc/meminfo: memFree=1433928/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=34740 CPUtime=1760.38
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 174965 1073 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8685 8191 205 16 0 8126 0
Current children cumulated CPU time (s) 1760.38
Current children cumulated vsize (Kb) 34740

[startup+1771.09 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30379
/proc/meminfo: memFree=1433928/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=34740 CPUtime=1770.38
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 175961 1077 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8685 8191 205 16 0 8126 0
Current children cumulated CPU time (s) 1770.38
Current children cumulated vsize (Kb) 34740

[startup+1781.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30379
/proc/meminfo: memFree=1433928/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=34740 CPUtime=1780.39
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 176957 1082 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8685 8191 205 16 0 8126 0
Current children cumulated CPU time (s) 1780.39
Current children cumulated vsize (Kb) 34740

[startup+1782.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30379
/proc/meminfo: memFree=1433928/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=34740 CPUtime=1781.39
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 177056 1083 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8685 8191 205 16 0 8126 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (Kb) 34740

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 30379
/proc/meminfo: memFree=1433928/2055920 swapFree=4191900/4192956
[pid=30184] ppid=30182 vsize=34740 CPUtime=1782.39
/proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 177156 1083 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30184/statm: 8685 8191 205 16 0 8126 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (Kb) 34740

Child status: 10
Real time (s): 1783.44
CPU time (s): 1782.74
CPU user time (s): 1771.89
CPU system time (s): 10.8454
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (Kb): 35416

Launcher Data (download as text)

Begin job on node45 on Sat Jun  3 20:32:28 UTC 2006


FILE ID= 36648-1149366748

PBS_JOBID= 311881

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node45/36648-1149366748/instance-36648-1149366748.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-36648-1149366748 -o ROOT/results/node45/solver-36648-1149366748 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node45/36648-1149366748/instance-36648-1149366748.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  374deb5d477559ba9c51d0ad1d758624

RANDOM SEED= 422479541


/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.263
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.263
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:       1466448 kB
Buffers:         30224 kB
Cached:         482712 kB
SwapCached:        260 kB
Active:          54772 kB
Inactive:       472048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1466448 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          23016 kB
Slab:            48708 kB
Committed_AS:   306268 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node45 on Sat Jun  3 21:02:11 UTC 2006