Trace number 433308

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
bsolo 3.0.17SAT (MO)0 276.169 276.258

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-blend.opb
MD5SUMeff6ad715055e79721cc364806b971f0
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark276.169
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables2490
Total number of constraints74
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints74
Minimum length of a constraint30
Maximum length of a constraint780
Number of terms in the objective function 660
Biggest coefficient in the objective function 14388140441600
Number of bits for the biggest coefficient in the objective function 44
Sum of the numbers in the objective function 203610440670021
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 78436840243200
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 789015556311444
Number of bits of the biggest sum of numbers50
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.01	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Memory Limit set to 1800 MB
0.00/0.01	c Instance file /tmp/evaluation/433308-1177957529/instance-433308-1177957529.opb
0.00/0.01	c File size is 215639 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Highest Coefficient sum: 7.89016e+14
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.028 s
0.00/0.03	c Var: 2490 Constr: 117 3/0/114 Lit: 21990 Watch. Lit: 5598
0.00/0.03	c Obj. Vars: 660 (26.506 % of total variables)
0.09/0.16	c Pre-processing Time: 0.16 s
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   1195      108    20107  186    14836   40214      0      0 0.16
0.09/0.19	o 0	0.181
274.91/275.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
274.91/275.01	c        0   1195      109    20474  187    16485   40948      1      0 0.18
274.91/275.01	c      101   1195      210    46328  220    16690   45043    102    433 0.23
274.91/275.01	c      352   1195      461    60825  131    17377   49548    353    931 0.38
274.91/275.01	c      827   1195      936    91585   97    17888   54503    828   1531 0.54
274.91/275.01	c     1640   1195     1749   130794   74    19303   59954   1641   2157 0.76
274.91/275.01	c     2960   1195     3069   208349   67    21683   65950   2961   2307 1.28
274.91/275.01	c     5042   1193     5151   273041   53    25801   72546   5043   2631 1.92
274.91/275.01	c     8266   1193     8375   803182   95    32704   79801   8267   2448 3.38
274.91/275.01	c    13202   1193    13311  1228191   92    42490   87782  13203   2121 6.22
274.91/275.01	c Caught signal: 15
274.91/275.01	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
274.91/275.01	v -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349
274.91/275.01	v -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318
274.91/275.01	v -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335
274.91/275.01	v -x2336 -x2337 -x2338 -x2339 -x2340 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135
274.91/275.01	v -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x181 -x182 -x183 -x184 -x185 -x186
274.91/275.01	v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
274.91/275.01	v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
274.91/275.01	v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
274.91/275.01	v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
274.91/275.01	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
274.91/275.01	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
274.91/275.01	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
274.91/275.01	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
274.91/275.01	v -x505 -x506 -x507 -x508 -x509 -x510 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915
274.91/275.01	v -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x1171 -x1172 -x1173 -x1174 -x1175
274.91/275.01	v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192
274.91/275.01	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449
274.91/275.01	v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
274.91/275.01	v -x1467 -x1468 -x1469 -x1470 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573
274.91/275.01	v -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
274.91/275.01	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697
274.91/275.01	v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1771 -x1772 -x1773 -x1774
274.91/275.01	v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791
274.91/275.01	v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018
274.91/275.01	v -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035
274.91/275.01	v -x2036 -x2037 -x2038 -x2039 -x2040 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232
274.91/275.01	v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249
274.91/275.01	v -x2250 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296
274.91/275.01	v -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2341 -x2342 -x2343
274.91/275.01	v -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
274.91/275.01	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407
274.91/275.01	v -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424
274.91/275.01	v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441
274.91/275.01	v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458
274.91/275.01	v -x2459 -x2460 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007
274.91/275.01	v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x661 -x662 -x663 -x664 -x665
274.91/275.01	v -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686
274.91/275.01	v -x687 -x688 -x689 -x690 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334
274.91/275.01	v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1651
274.91/275.01	v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668
274.91/275.01	v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1981 -x1982 -x1983 -x1984 -x1985
274.91/275.01	v -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002
274.91/275.01	v -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551
274.91/275.01	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572
274.91/275.01	v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593
274.91/275.01	v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854
274.91/275.01	v -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x1111 -x1112 -x1113 -x1114
274.91/275.01	v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131
274.91/275.01	v -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388
274.91/275.01	v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405
274.91/275.01	v -x1406 -x1407 -x1408 -x1409 -x1410 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542
274.91/275.01	v -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559
274.91/275.01	v -x1560 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116
274.91/275.01	v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x601 -x602 -x603 -x604
274.91/275.01	v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625
274.91/275.01	v -x626 -x627 -x628 -x629 -x630 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946
274.91/275.01	v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206
274.91/275.01	v -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223
274.91/275.01	v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
274.91/275.01	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617
274.91/275.01	v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634
274.91/275.01	v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x391
274.91/275.01	v -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412
274.91/275.01	v -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433
274.91/275.01	v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x2071 -x2072 -x2073
274.91/275.01	v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
274.91/275.01	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71
274.91/275.01	v -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97
274.91/275.01	v -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118
274.91/275.01	v -x119 -x120 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476
274.91/275.01	v -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x31 -x32 -x33 -x34 -x35
274.91/275.01	v -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x151
274.91/275.01	v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172
274.91/275.01	v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703
274.91/275.01	v -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x1021 -x1022 -x1023
274.91/275.01	v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
274.91/275.01	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267
274.91/275.01	v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284
274.91/275.01	v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733
274.91/275.01	v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053
274.91/275.01	v -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
274.91/275.01	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297
274.91/275.01	v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314
274.91/275.01	v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643
274.91/275.01	v -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x961 -x962 -x963 -x964
274.91/275.01	v -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985
274.91/275.01	v -x986 -x987 -x988 -x989 -x990 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243
274.91/275.01	v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
274.91/275.01	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207
274.91/275.01	v -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x511 -x512 -x513 -x514 -x515
274.91/275.01	v -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536
274.91/275.01	v -x537 -x538 -x539 -x540 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174
274.91/275.01	v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x1471
274.91/275.01	v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488
274.91/275.01	v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x301 -x302 -x303 -x304 -x305 -x306
274.91/275.01	v -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327
274.91/275.01	v -x328 -x329 -x330 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
274.91/275.01	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759
274.91/275.01	v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
274.91/275.01	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097
274.91/275.01	v -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1351 -x1352 -x1353 -x1354
274.91/275.01	v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371
274.91/275.01	v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958
274.91/275.01	v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975
274.91/275.01	v -x1976 -x1977 -x1978 -x1979 -x1980 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932
274.91/275.01	v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949
274.91/275.01	v -x1950 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756
274.91/275.01	v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x781 -x782 -x783 -x784
274.91/275.01	v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805
274.91/275.01	v -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826
274.91/275.01	v -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716
274.91/275.01	v -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733
274.91/275.01	v -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
274.91/275.01	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827
274.91/275.01	v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844
274.91/275.01	v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861
274.91/275.01	v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878
274.91/275.01	v -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895
274.91/275.01	v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912
274.91/275.01	v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509
274.91/275.01	v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526
274.91/275.01	v -x1527 -x1528 -x1529 -x1530 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053
274.91/275.01	v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
274.91/275.01	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267
274.91/275.01	v -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2131 -x2132 -x2133 -x2134
274.91/275.01	v -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151
274.91/275.01	v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378
274.91/275.01	v -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395
274.91/275.01	v -x2396 -x2397 -x2398 -x2399 -x2400 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885
274.91/275.01	v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x1141 -x1142 -x1143 -x1144 -x1145
274.91/275.01	v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162
274.91/275.01	v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419
274.91/275.01	v -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436
274.91/275.01	v -x1437 -x1438 -x1439 -x1440
274.91/275.01	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
274.91/275.01	c    9    13470   1076    19075    13579  1270488  13471     48 274.92
274.91/275.01	c Objective: 0
274.91/275.01	s SATISFIABLE
274.91/275.01	c Total time: 274.922 s

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node44/watcher-433308-1177957529 -o ROOT/results/node44/solver-433308-1177957529 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433308-1177957529/instance-433308-1177957529.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.93 3/77 9975
/proc/meminfo: memFree=1862080/2055920 swapFree=4156212/4192956
[pid=9975] ppid=9973 vsize=2332 CPUtime=0
/proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 41 0 0 0 0 0 0 0 18 0 1 0 243664621 2387968 27 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11283085 0 0 4096 0 0 0 0 17 0 0 0
/proc/9975/statm: 583 29 21 324 0 9 0

[startup+0.059231 s]
/proc/loadavg: 0.92 0.97 0.93 3/77 9975
/proc/meminfo: memFree=1862080/2055920 swapFree=4156212/4192956
[pid=9975] ppid=9973 vsize=5036 CPUtime=0.05
/proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 699 0 0 0 5 0 0 0 18 0 1 0 243664621 5156864 616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9975/statm: 1259 616 303 324 0 329 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5036

[startup+0.102236 s]
/proc/loadavg: 0.92 0.97 0.93 3/77 9975
/proc/meminfo: memFree=1862080/2055920 swapFree=4156212/4192956
[pid=9975] ppid=9973 vsize=5104 CPUtime=0.09
/proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 739 0 0 0 9 0 0 0 18 0 1 0 243664621 5226496 656 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9975/statm: 1276 656 305 324 0 346 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5104

[startup+0.301256 s]
/proc/loadavg: 0.92 0.97 0.93 3/77 9975
/proc/meminfo: memFree=1862080/2055920 swapFree=4156212/4192956
[pid=9975] ppid=9973 vsize=5496 CPUtime=0.28
/proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 830 0 0 0 28 0 0 0 19 0 1 0 243664621 5627904 747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9975/statm: 1374 747 311 324 0 444 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5496

[startup+0.701297 s]
/proc/loadavg: 0.92 0.97 0.93 3/77 9975
/proc/meminfo: memFree=1862080/2055920 swapFree=4156212/4192956
[pid=9975] ppid=9973 vsize=6404 CPUtime=0.68
/proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 1048 0 0 0 68 0 0 0 23 0 1 0 243664621 6557696 965 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9975/statm: 1601 965 311 324 0 671 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6404

[startup+1.50138 s]
/proc/loadavg: 0.92 0.97 0.93 2/78 9976
/proc/meminfo: memFree=1858616/2055920 swapFree=4156212/4192956
[pid=9975] ppid=9973 vsize=8096 CPUtime=1.49
/proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 1473 0 0 0 148 1 0 0 25 0 1 0 243664621 8290304 1390 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9975/statm: 2024 1390 311 324 0 1094 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8096

[startup+3.10154 s]
/proc/loadavg: 0.92 0.97 0.93 2/78 9976
/proc/meminfo: memFree=1856312/2055920 swapFree=4156212/4192956
[pid=9975] ppid=9973 vsize=14420 CPUtime=3.08
/proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 3064 0 0 0 307 1 0 0 25 0 1 0 243664621 14766080 2981 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9975/statm: 3605 2981 311 324 0 2675 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14420

[startup+6.30187 s]
/proc/loadavg: 0.93 0.97 0.93 2/78 9976
/proc/meminfo: memFree=1845176/2055920 swapFree=4156212/4192956
[pid=9975] ppid=9973 vsize=22176 CPUtime=6.29
/proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 4993 0 0 0 627 2 0 0 25 0 1 0 243664621 22708224 4910 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9975/statm: 5544 4910 311 324 0 4614 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22176

[startup+12.7015 s]
/proc/loadavg: 0.93 0.97 0.93 2/78 9976
/proc/meminfo: memFree=1803264/2055920 swapFree=4156212/4192956
[pid=9975] ppid=9973 vsize=67468 CPUtime=12.69
/proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 16325 0 0 0 1263 6 0 0 25 0 1 0 243664621 69087232 16159 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9975/statm: 16867 16159 311 324 0 15937 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67468

[startup+25.5018 s]
/proc/loadavg: 0.95 0.97 0.93 2/78 9976
/proc/meminfo: memFree=1709120/2055920 swapFree=4156212/4192956
[pid=9975] ppid=9973 vsize=159676 CPUtime=25.48
/proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 39411 0 0 0 2534 14 0 0 25 0 1 0 243664621 163508224 38922 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9975/statm: 39919 38922 311 324 0 38989 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 159676

[startup+51.1013 s]
/proc/loadavg: 0.96 0.97 0.93 2/78 9976
/proc/meminfo: memFree=1540544/2055920 swapFree=4156212/4192956
[pid=9975] ppid=9973 vsize=331196 CPUtime=51.07
/proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 82386 0 0 0 5074 33 0 0 25 0 1 0 243664621 339144704 81469 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9975/statm: 82799 81469 311 324 0 81869 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 331196

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.93 2/78 9976
/proc/meminfo: memFree=1196480/2055920 swapFree=4156212/4192956
[pid=9975] ppid=9973 vsize=673708 CPUtime=102.26
/proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 168258 0 0 0 10157 69 0 0 25 0 1 0 243664621 689876992 166486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9975/statm: 168427 166486 311 324 0 167497 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 673708

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 9976
/proc/meminfo: memFree=800960/2055920 swapFree=4156212/4192956
[pid=9975] ppid=9973 vsize=1079684 CPUtime=162.23
/proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 269632 0 0 0 16108 115 0 0 25 0 1 0 243664621 1105596416 266152 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716165 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9975/statm: 269921 266153 311 324 0 268991 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1079684

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 9976
/proc/meminfo: memFree=398016/2055920 swapFree=4156212/4192956
[pid=9975] ppid=9973 vsize=1475420 CPUtime=222.22
/proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 369336 0 0 0 22066 156 0 0 25 0 1 0 243664621 1510830080 365856 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9975/statm: 368855 365856 311 324 0 367925 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1475420



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+275.005 s]
/proc/loadavg: 1.05 0.99 0.93 2/78 9976
/proc/meminfo: memFree=45888/2055920 swapFree=4156212/4192956
[pid=9975] ppid=9973 vsize=1843456 CPUtime=274.91
/proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 460318 0 0 0 27294 197 0 0 25 0 1 0 243664621 1887698944 453423 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9975/statm: 460864 453423 311 324 0 459934 0
Current children cumulated CPU time (s) 274.91
Current children cumulated vsize (KiB) 1843456

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

Solver just ended. Dumping a history of the last processes samples

[startup+275.801 s]
/proc/loadavg: 1.05 0.99 0.93 2/78 9976
/proc/meminfo: memFree=45888/2055920 swapFree=4156212/4192956
[pid=9975] ppid=9973 vsize=1843456 CPUtime=275.7
/proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 460318 0 0 0 27373 197 0 0 25 0 1 0 243664621 1887698944 453423 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11398257 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/9975/statm: 460864 453423 311 324 0 459934 0
Current children cumulated CPU time (s) 275.7
Current children cumulated vsize (KiB) 1843456

[startup+276.202 s]
/proc/loadavg: 1.05 0.99 0.93 2/79 9977
/proc/meminfo: memFree=198712/2055920 swapFree=4156212/4192956
[pid=9975] ppid=9973 vsize=1843456 CPUtime=276.11
/proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 460318 0 0 0 27391 220 0 0 25 0 1 0 243664621 1887698944 132911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/9975/statm: 460864 132911 48994 324 0 459934 0
Current children cumulated CPU time (s) 276.11
Current children cumulated vsize (KiB) 1843456

Child status: 15
Real time (s): 276.258
CPU time (s): 276.169
CPU user time (s): 273.912
CPU system time (s): 2.25666
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 1843456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 273.912
system time used= 2.25666
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460322
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 5497

runsolver used 0.251961 second user time and 0.574912 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Mon Apr 30 18:25:29 UTC 2007

IDJOB= 433308
IDBENCH= 2462
IDSOLVER= 199
FILE ID= node44/433308-1177957529

PBS_JOBID= 4727687

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-blend.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433308-1177957529/instance-433308-1177957529.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-433308-1177957529 -o ROOT/results/node44/solver-433308-1177957529 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433308-1177957529/instance-433308-1177957529.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  eff6ad715055e79721cc364806b971f0

RANDOM SEED= 113564818

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.234
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.234
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:       1862552 kB
Buffers:         31308 kB
Cached:          71896 kB
SwapCached:      13620 kB
Active:          75656 kB
Inactive:        53024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1862552 kB
SwapTotal:     4192956 kB
SwapFree:      4156212 kB
Dirty:            6880 kB
Writeback:           0 kB
Mapped:          33664 kB
Slab:            50252 kB
Committed_AS:  1550472 kB
PageTables:       1736 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node44 on Mon Apr 30 18:30:06 UTC 2007