Trace number 37798

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.3SAT22 1782.74 1783.34

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

Verifier Data (download as text)

OK	22

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/node23/watcher-37798-1149366808 -o ROOT/results/node23/solver-37798-1149366808 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node23/37798-1149366808/instance-37798-1149366808.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 27945
/proc/meminfo: memFree=1840536/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=2572 CPUtime=0
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 202344441 2633728 231 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134546703 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 643 231 193 16 0 84 0

[startup+10.0021 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 27945
/proc/meminfo: memFree=1836272/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=6784 CPUtime=9.99
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 1290 0 0 0 979 20 0 0 25 0 1 0 202344441 6946816 1261 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 1696 1261 205 16 0 1137 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 6784

[startup+20.0083 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 27945
/proc/meminfo: memFree=1835440/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=7600 CPUtime=19.99
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 1509 0 0 0 1958 41 0 0 25 0 1 0 202344441 7782400 1480 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 1900 1480 205 16 0 1341 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 7600

[startup+30.0144 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 27945
/proc/meminfo: memFree=1834544/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=8504 CPUtime=29.99
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 1730 0 0 0 2946 53 0 0 25 0 1 0 202344441 8708096 1701 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 2126 1701 205 16 0 1567 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 8504

[startup+40.0205 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 27945
/proc/meminfo: memFree=1833968/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=9160 CPUtime=40
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 1874 0 0 0 3929 71 0 0 25 0 1 0 202344441 9379840 1845 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528028 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 2290 1845 205 16 0 1731 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 9160

[startup+50.0267 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 27945
/proc/meminfo: memFree=1833904/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=9160 CPUtime=50.01
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 1879 0 0 0 4917 84 0 0 25 0 1 0 202344441 9379840 1850 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 2290 1850 205 16 0 1731 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 9160

[startup+60.0328 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 27945
/proc/meminfo: memFree=1832624/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=10448 CPUtime=60.01
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2203 0 0 0 5902 99 0 0 25 0 1 0 202344441 10698752 2174 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 2612 2174 205 16 0 2053 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 10448

[startup+70.039 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 27945
/proc/meminfo: memFree=1832624/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=10584 CPUtime=70.01
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2216 0 0 0 6891 110 0 0 25 0 1 0 202344441 10838016 2187 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 2646 2187 205 16 0 2087 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 10584

[startup+80.0451 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 27945
/proc/meminfo: memFree=1831920/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=11228 CPUtime=80.02
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2388 0 0 0 7882 120 0 0 25 0 1 0 202344441 11497472 2359 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 2807 2359 205 16 0 2248 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 11228

[startup+90.0512 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 27945
/proc/meminfo: memFree=1831408/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=11740 CPUtime=90.02
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2510 0 0 0 8867 135 0 0 25 0 1 0 202344441 12021760 2481 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 2935 2481 205 16 0 2376 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 11740

[startup+100.057 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 27945
/proc/meminfo: memFree=1830576/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=12640 CPUtime=100.02
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2732 0 0 0 9855 147 0 0 25 0 1 0 202344441 12943360 2703 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 3160 2703 205 16 0 2601 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 12640

[startup+110.063 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 27945
/proc/meminfo: memFree=1830384/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=12768 CPUtime=110.02
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2777 0 0 0 10844 158 0 0 25 0 1 0 202344441 13074432 2748 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 3192 2748 205 16 0 2633 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 12768

[startup+120.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27946
/proc/meminfo: memFree=1830320/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=12768 CPUtime=120.03
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2777 0 0 0 11826 177 0 0 25 0 1 0 202344441 13074432 2748 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558861 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 3192 2748 205 16 0 2633 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 12768

[startup+130.076 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27946
/proc/meminfo: memFree=1829872/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=13280 CPUtime=130.03
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2899 0 0 0 12816 187 0 0 25 0 1 0 202344441 13598720 2870 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 3320 2870 205 16 0 2761 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 13280

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27947
/proc/meminfo: memFree=1829872/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=13280 CPUtime=140.03
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2900 0 0 0 13799 204 0 0 25 0 1 0 202344441 13598720 2871 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 3320 2871 205 16 0 2761 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 13280

[startup+150.089 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27947
/proc/meminfo: memFree=1829872/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=13280 CPUtime=150.03
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2900 0 0 0 14786 217 0 0 25 0 1 0 202344441 13598720 2871 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 3320 2871 205 16 0 2761 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 13280

[startup+160.095 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27947
/proc/meminfo: memFree=1829616/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=13544 CPUtime=160.04
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2962 0 0 0 15777 227 0 0 25 0 1 0 202344441 13869056 2933 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 3386 2933 205 16 0 2827 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 13544

[startup+170.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27947
/proc/meminfo: memFree=1829552/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=13688 CPUtime=170.05
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2977 0 0 0 16763 242 0 0 25 0 1 0 202344441 14016512 2948 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 3422 2948 205 16 0 2863 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 13688

[startup+180.106 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27947
/proc/meminfo: memFree=1829488/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=13688 CPUtime=180.05
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2989 0 0 0 17748 257 0 0 25 0 1 0 202344441 14016512 2960 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 3422 2960 205 16 0 2863 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 13688

[startup+190.113 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27947
/proc/meminfo: memFree=1829360/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=13848 CPUtime=190.05
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 3021 0 0 0 18738 267 0 0 25 0 1 0 202344441 14180352 2992 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 3462 2992 205 16 0 2903 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 13848

[startup+200.119 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27947
/proc/meminfo: memFree=1829296/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=13848 CPUtime=200.05
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 3040 0 0 0 19722 283 0 0 25 0 1 0 202344441 14180352 3011 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 3462 3011 205 16 0 2903 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 13848

[startup+210.125 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27947
/proc/meminfo: memFree=1828976/2055920 swapFree=4180884/4192956

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

/proc/27945/statm: 7833 7319 205 16 0 7274 0
Current children cumulated CPU time (s) 1590.49
Current children cumulated vsize (Kb) 31332

[startup+1600.97 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27947
/proc/meminfo: memFree=1811696/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=31332 CPUtime=1600.49
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7509 0 0 0 158265 1784 0 0 25 0 1 0 202344441 32083968 7321 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 7833 7321 205 16 0 7274 0
Current children cumulated CPU time (s) 1600.49
Current children cumulated vsize (Kb) 31332

[startup+1610.97 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27947
/proc/meminfo: memFree=1811696/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=31332 CPUtime=1610.49
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 159257 1792 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 7833 7322 205 16 0 7274 0
Current children cumulated CPU time (s) 1610.49
Current children cumulated vsize (Kb) 31332

[startup+1620.98 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27947
/proc/meminfo: memFree=1811696/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=31332 CPUtime=1620.5
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 160249 1801 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 7833 7322 205 16 0 7274 0
Current children cumulated CPU time (s) 1620.5
Current children cumulated vsize (Kb) 31332

[startup+1630.98 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27947
/proc/meminfo: memFree=1811696/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=31332 CPUtime=1630.5
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 161244 1806 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 7833 7322 205 16 0 7274 0
Current children cumulated CPU time (s) 1630.5
Current children cumulated vsize (Kb) 31332

[startup+1640.99 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27947
/proc/meminfo: memFree=1811632/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=31332 CPUtime=1640.51
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 162236 1815 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 7833 7322 205 16 0 7274 0
Current children cumulated CPU time (s) 1640.51
Current children cumulated vsize (Kb) 31332

[startup+1651 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27947
/proc/meminfo: memFree=1811632/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=31332 CPUtime=1650.51
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 163226 1825 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 7833 7322 205 16 0 7274 0
Current children cumulated CPU time (s) 1650.51
Current children cumulated vsize (Kb) 31332

[startup+1661 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 28010
/proc/meminfo: memFree=1810424/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=31332 CPUtime=1660.5
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 164209 1841 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 7833 7322 205 16 0 7274 0
Current children cumulated CPU time (s) 1660.5
Current children cumulated vsize (Kb) 31332

[startup+1671.01 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 28060
/proc/meminfo: memFree=1810224/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=31332 CPUtime=1670.48
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 165192 1856 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 7833 7322 205 16 0 7274 0
Current children cumulated CPU time (s) 1670.48
Current children cumulated vsize (Kb) 31332

[startup+1681.02 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28142
/proc/meminfo: memFree=1811296/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=31332 CPUtime=1680.44
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 166179 1865 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 7833 7322 205 16 0 7274 0
Current children cumulated CPU time (s) 1680.44
Current children cumulated vsize (Kb) 31332

[startup+1691.02 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28142
/proc/meminfo: memFree=1811304/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=31332 CPUtime=1690.44
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 167169 1875 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 7833 7322 205 16 0 7274 0
Current children cumulated CPU time (s) 1690.44
Current children cumulated vsize (Kb) 31332

[startup+1701.03 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28142
/proc/meminfo: memFree=1811312/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=31332 CPUtime=1700.44
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 168156 1888 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 7833 7322 205 16 0 7274 0
Current children cumulated CPU time (s) 1700.44
Current children cumulated vsize (Kb) 31332

[startup+1711.04 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28142
/proc/meminfo: memFree=1811312/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=31332 CPUtime=1710.45
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 169143 1902 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 7833 7322 205 16 0 7274 0
Current children cumulated CPU time (s) 1710.45
Current children cumulated vsize (Kb) 31332

[startup+1721.04 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28142
/proc/meminfo: memFree=1810352/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=32488 CPUtime=1720.45
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7800 0 0 0 170136 1909 0 0 25 0 1 0 202344441 33267712 7612 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 2938138 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 8122 7612 205 16 0 7563 0
Current children cumulated CPU time (s) 1720.45
Current children cumulated vsize (Kb) 32488

[startup+1731.05 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28142
/proc/meminfo: memFree=1810224/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=32616 CPUtime=1730.46
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7824 0 0 0 171131 1915 0 0 25 0 1 0 202344441 33398784 7636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 8154 7636 205 16 0 7595 0
Current children cumulated CPU time (s) 1730.46
Current children cumulated vsize (Kb) 32616

[startup+1741.05 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28142
/proc/meminfo: memFree=1810224/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=32616 CPUtime=1740.46
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7824 0 0 0 172125 1921 0 0 25 0 1 0 202344441 33398784 7636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 8154 7636 205 16 0 7595 0
Current children cumulated CPU time (s) 1740.46
Current children cumulated vsize (Kb) 32616

[startup+1751.06 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28142
/proc/meminfo: memFree=1810224/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=32616 CPUtime=1750.46
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7824 0 0 0 173118 1928 0 0 25 0 1 0 202344441 33398784 7636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 8154 7636 205 16 0 7595 0
Current children cumulated CPU time (s) 1750.46
Current children cumulated vsize (Kb) 32616

[startup+1761.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28142
/proc/meminfo: memFree=1810224/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=32616 CPUtime=1760.46
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7824 0 0 0 174104 1942 0 0 25 0 1 0 202344441 33398784 7636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 8154 7636 205 16 0 7595 0
Current children cumulated CPU time (s) 1760.46
Current children cumulated vsize (Kb) 32616

[startup+1771.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28142
/proc/meminfo: memFree=1810160/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=32556 CPUtime=1770.47
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7827 0 0 0 175094 1953 0 0 25 0 1 0 202344441 33337344 7639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516698 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 8139 7639 205 16 0 7580 0
Current children cumulated CPU time (s) 1770.47
Current children cumulated vsize (Kb) 32556

[startup+1781.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28142
/proc/meminfo: memFree=1810160/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=32556 CPUtime=1780.47
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7827 0 0 0 176081 1966 0 0 25 0 1 0 202344441 33337344 7639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 8139 7639 205 16 0 7580 0
Current children cumulated CPU time (s) 1780.47
Current children cumulated vsize (Kb) 32556

[startup+1782.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28142
/proc/meminfo: memFree=1810160/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=32556 CPUtime=1781.48
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7827 0 0 0 176181 1967 0 0 25 0 1 0 202344441 33337344 7639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 8139 7639 205 16 0 7580 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (Kb) 32556

[startup+1783.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28142
/proc/meminfo: memFree=1810160/2055920 swapFree=4180884/4192956
[pid=27945] ppid=27943 vsize=32556 CPUtime=1782.48
/proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7827 0 0 0 176280 1968 0 0 25 0 1 0 202344441 33337344 7639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27945/statm: 8139 7639 205 16 0 7580 0
Current children cumulated CPU time (s) 1782.48
Current children cumulated vsize (Kb) 32556

Child status: 10
Real time (s): 1783.34
CPU time (s): 1782.74
CPU user time (s): 1763.04
CPU system time (s): 19.694
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (Kb): 32616

Launcher Data (download as text)

Begin job on node23 on Sat Jun  3 20:33:28 UTC 2006


FILE ID= 37798-1149366808

PBS_JOBID= 311887

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/Pueblo13 ROOT/tmp/node23/37798-1149366808/instance-37798-1149366808.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-37798-1149366808 -o ROOT/results/node23/solver-37798-1149366808 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node23/37798-1149366808/instance-37798-1149366808.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  374deb5d477559ba9c51d0ad1d758624

RANDOM SEED= 734037280


/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.213
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	: 5931.00
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.213
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:       1840744 kB
Buffers:         14704 kB
Cached:         143656 kB
SwapCached:       3412 kB
Active:          27212 kB
Inactive:       139520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1840744 kB
SwapTotal:     4192956 kB
SwapFree:      4180884 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14696 kB
Slab:            34484 kB
Committed_AS:   382284 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node23 on Sat Jun  3 21:03:11 UTC 2006