Trace number 2692998

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.73 1800.69

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-33-100-0.wbo
MD5SUM9604cc8b4028b285fc8feb4fe9530b1c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.031994
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1804
Total number of constraints4931
Number of soft constraints3355
Number of constraints which are clauses4707
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints224
Minimum length of a constraint1
Maximum length of a constraint9
Top cost 169923
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 169922
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 64
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692998-1277913700.wbo>
0.00/0.05	c original problem has 8514 variables (5159 bin, 0 int, 0 impl, 3355 cont) and 8287 constraints
0.00/0.05	c problem read
0.00/0.05	c presolving settings loaded
0.00/0.09	c presolving:
0.09/0.10	c (round 1) 10 del vars, 3 del conss, 1 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 7323 impls, 0 clqs
0.09/0.10	c (round 2) 10 del vars, 21 del conss, 1 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 7323 impls, 0 clqs
0.09/0.12	c (round 3) 12 del vars, 23 del conss, 3354 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 7323 impls, 0 clqs
0.09/0.14	c (round 4) 14 del vars, 23 del conss, 3354 chg bounds, 112 chg sides, 224 chg coeffs, 1560 upgd conss, 7323 impls, 0 clqs
0.19/0.24	c    (0.2s) probing: 175/5147 (3.4%) - 0 fixings, 0 aggregations, 5 implications, 0 bound changes
0.19/0.24	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.24	c presolving (5 rounds):
0.19/0.24	c  14 deleted vars, 23 deleted constraints, 3354 tightened bounds, 0 added holes, 112 changed sides, 224 changed coefficients
0.19/0.24	c  7362 implications, 0 cliques
0.19/0.24	c presolved problem has 8500 variables (5147 bin, 0 int, 0 impl, 3353 cont) and 8264 constraints
0.19/0.24	c    3353 constraints of type <indicator>
0.19/0.24	c       2 constraints of type <varbound>
0.19/0.24	c      63 constraints of type <knapsack>
0.19/0.24	c    3351 constraints of type <linear>
0.19/0.24	c    1495 constraints of type <logicor>
0.19/0.24	c transformed objective value is always integral (scale: 1)
0.19/0.24	c Presolving Time: 0.14
0.19/0.24	c - non default parameters ----------------------------------------------------------------------
0.19/0.24	c # SCIP version 1.2.1.2
0.19/0.24	c 
0.19/0.24	c # frequency for displaying node information lines
0.19/0.24	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.24	c display/freq = 10000
0.19/0.24	c 
0.19/0.24	c # maximal time in seconds to run
0.19/0.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24	c limits/time = 1799.96
0.19/0.24	c 
0.19/0.24	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24	c limits/memory = 3420
0.19/0.24	c 
0.19/0.24	c # should presolving try to simplify inequalities
0.19/0.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24	c constraints/linear/simplifyinequalities = TRUE
0.19/0.24	c 
0.19/0.24	c # should presolving try to simplify knapsacks
0.19/0.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.24	c 
0.19/0.24	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.24	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.24	c separating/rapidlearning/freq = 0
0.19/0.24	c 
0.19/0.24	c -----------------------------------------------------------------------------------------------
0.19/0.24	c start solving
0.19/0.25	c 
0.19/0.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.27	c   0.2s|     1 |     0 |    67 |     - |  28M|   0 |  30 |8500 |8264 |8500 |1558 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.30	o 169693
0.29/0.30	c y 0.2s|     1 |     0 |    67 |     - |  29M|   0 |  30 |8500 |8264 |8500 |1558 |   0 |   0 |   0 | 0.000000e+00 | 1.696930e+05 |    Inf 
0.39/0.41	c   0.3s|     1 |     0 |   361 |     - |  29M|   0 | 142 |8500 |8264 |8500 |1787 | 229 |   0 |   0 | 0.000000e+00 | 1.696930e+05 |    Inf 
0.49/0.54	c   0.4s|     1 |     0 |   852 |     - |  29M|   0 | 380 |8500 |8264 |8500 |1989 | 431 |   0 |   0 | 0.000000e+00 | 1.696930e+05 |    Inf 
0.69/0.73	c   0.6s|     1 |     0 |  1152 |     - |  30M|   0 | 415 |8500 |8264 |8500 |2185 | 627 |   0 |   0 | 0.000000e+00 | 1.696930e+05 |    Inf 
0.89/0.95	c   0.8s|     1 |     0 |  1419 |     - |  30M|   0 | 399 |8500 |8264 |8500 |2342 | 784 |   0 |   0 | 0.000000e+00 | 1.696930e+05 |    Inf 
1.10/1.18	c   1.1s|     1 |     0 |  1716 |     - |  30M|   0 | 454 |8500 |8264 |8500 |2491 | 933 |   0 |   0 | 0.000000e+00 | 1.696930e+05 |    Inf 
1.39/1.44	c   1.3s|     1 |     0 |  2025 |     - |  31M|   0 | 431 |8500 |8264 |8500 |2614 |1056 |   0 |   0 | 0.000000e+00 | 1.696930e+05 |    Inf 
1.89/1.95	c   1.8s|     1 |     2 |  2025 |     - |  31M|   0 | 431 |8500 |8264 |8500 |2614 |1056 |   0 |  18 | 0.000000e+00 | 1.696930e+05 |    Inf 
75.40/75.48	c  73.5s| 10000 |  9985 | 64922 |   6.3 |  74M| 205 |   0 |8500 |8272 |8500 |2455 |  11k|   8 |2993 | 0.000000e+00 | 1.696930e+05 |    Inf 
128.10/128.15	c   125s| 20000 | 19967 |115982 |   5.7 | 107M| 209 |  28 |8500 |8285 |8500 |2421 |  20k|  22 |3552 | 0.000000e+00 | 1.696930e+05 |    Inf 
179.00/179.06	c   175s| 30000 | 29967 |146507 |   4.8 | 140M| 225 |   0 |8500 |8284 |8500 |2443 |  28k|  22 |4013 | 0.000000e+00 | 1.696930e+05 |    Inf 
230.79/230.87	c   226s| 40000 | 39963 |182916 |   4.5 | 174M| 225 |   0 |8500 |8286 |8500 |2476 |  36k|  24 |4450 | 0.000000e+00 | 1.696930e+05 |    Inf 
283.90/283.90	c   278s| 50000 | 49963 |220224 |   4.4 | 207M| 225 |   0 |8500 |8286 |8500 |2476 |  45k|  24 |5040 | 0.000000e+00 | 1.696930e+05 |    Inf 
335.10/335.16	c   328s| 60000 | 59963 |256935 |   4.2 | 240M| 233 |   0 |8500 |8286 |8500 |2483 |  53k|  24 |5268 | 0.000000e+00 | 1.696930e+05 |    Inf 
388.60/388.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
388.60/388.66	c   380s| 70000 | 69959 |294301 |   4.2 | 273M| 233 |   0 |8500 |8287 |8500 |2481 |  62k|  26 |5895 | 0.000000e+00 | 1.696930e+05 |    Inf 
441.01/441.10	c   431s| 80000 | 79957 |328315 |   4.1 | 306M| 237 |   0 |8500 |8286 |8500 |2485 |  70k|  27 |6260 | 0.000000e+00 | 1.696930e+05 |    Inf 
495.01/495.02	c   484s| 90000 | 89951 |372021 |   4.1 | 339M| 237 |   0 |8500 |8288 |8500 |2483 |  79k|  30 |7077 | 0.000000e+00 | 1.696930e+05 |    Inf 
546.11/546.15	c   534s|100000 | 99947 |404126 |   4.0 | 372M| 237 |   0 |8500 |8291 |8500 |2449 |  87k|  33 |7290 | 0.000000e+00 | 1.696930e+05 |    Inf 
596.00/596.01	c   583s|110000 |109947 |424016 |   3.8 | 405M| 241 |   0 |8500 |8290 |8500 |2479 |  92k|  33 |7394 | 0.000000e+00 | 1.696930e+05 |    Inf 
649.51/649.55	c   636s|120000 |119947 |460082 |   3.8 | 438M| 241 |   0 |8500 |8289 |8500 |2446 | 100k|  33 |7915 | 0.000000e+00 | 1.696930e+05 |    Inf 
701.60/701.65	c   687s|130000 |129945 |494899 |   3.8 | 471M| 241 |   0 |8500 |8290 |8500 |2461 | 107k|  34 |8228 | 0.000000e+00 | 1.696930e+05 |    Inf 
753.61/753.61	c   738s|140000 |139941 |531019 |   3.8 | 504M| 245 |   0 |8500 |8293 |8500 |2470 | 116k|  37 |8349 | 0.000000e+00 | 1.696930e+05 |    Inf 
804.91/804.94	c   788s|150000 |149941 |561402 |   3.7 | 537M| 245 |   0 |8500 |8293 |8500 |2454 | 124k|  37 |8372 | 0.000000e+00 | 1.696930e+05 |    Inf 
855.72/855.72	c   838s|160000 |159941 |597336 |   3.7 | 570M| 245 |   0 |8500 |8292 |8500 |2494 | 132k|  37 |8488 | 0.000000e+00 | 1.696930e+05 |    Inf 
907.01/907.09	c   888s|170000 |169941 |629285 |   3.7 | 603M| 245 |   0 |8500 |8292 |8500 |2464 | 141k|  37 |8559 | 0.000000e+00 | 1.696930e+05 |    Inf 
959.02/959.04	c   939s|180000 |179941 |656614 |   3.6 | 636M| 249 |   0 |8500 |8292 |8500 |2487 | 148k|  37 |8559 | 0.000000e+00 | 1.696930e+05 |    Inf 
1011.42/1011.45	c   991s|190000 |189941 |691208 |   3.6 | 669M| 255 |  20 |8500 |8292 |8500 |2415 | 157k|  37 |8585 | 0.000000e+00 | 1.696930e+05 |    Inf 
1063.42/1063.44	c  1042s|200000 |199941 |717969 |   3.6 | 702M| 255 |   0 |8500 |8292 |8500 |2475 | 163k|  37 |8606 | 0.000000e+00 | 1.696930e+05 |    Inf 
1115.33/1115.39	c  1093s|210000 |209941 |745502 |   3.5 | 735M| 255 |   0 |8500 |8292 |8500 |2483 | 170k|  37 |8904 | 0.000000e+00 | 1.696930e+05 |    Inf 
1168.82/1168.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1168.82/1168.84	c  1145s|220000 |219941 |776951 |   3.5 | 768M| 255 |   0 |8500 |8292 |8500 |2472 | 178k|  37 |9107 | 0.000000e+00 | 1.696930e+05 |    Inf 
1222.22/1222.28	c  1198s|230000 |229941 |807853 |   3.5 | 801M| 255 |   0 |8500 |8292 |8500 |2499 | 186k|  37 |9262 | 0.000000e+00 | 1.696930e+05 |    Inf 
1276.72/1276.70	c  1251s|240000 |239941 |835702 |   3.5 | 834M| 255 |   0 |8500 |8292 |8500 |2499 | 193k|  37 |9729 | 0.000000e+00 | 1.696930e+05 |    Inf 
1329.52/1329.55	c  1303s|250000 |249941 |862184 |   3.4 | 867M| 255 |  34 |8500 |8292 |8500 |2425 | 199k|  37 |9799 | 0.000000e+00 | 1.696930e+05 |    Inf 
1385.72/1385.70	c  1358s|260000 |259941 |900605 |   3.5 | 900M| 255 |   0 |8500 |8292 |8500 |2456 | 209k|  37 |  10k| 0.000000e+00 | 1.696930e+05 |    Inf 
1439.03/1439.04	c  1410s|270000 |269941 |929576 |   3.4 | 933M| 255 |   0 |8500 |8292 |8500 |2462 | 216k|  37 |  10k| 0.000000e+00 | 1.696930e+05 |    Inf 
1490.33/1490.39	c  1461s|280000 |279941 |953713 |   3.4 | 966M| 255 |  14 |8500 |8292 |8500 |2488 | 222k|  37 |  10k| 0.000000e+00 | 1.696930e+05 |    Inf 
1544.82/1544.86	c  1514s|290000 |289941 |989348 |   3.4 | 999M| 255 |   4 |8500 |8292 |8500 |2392 | 231k|  37 |  10k| 0.000000e+00 | 1.696930e+05 |    Inf 
1598.63/1598.64	c  1567s|300000 |299941 |  1025k|   3.4 |1032M| 255 |   0 |8500 |8292 |8500 |2474 | 240k|  37 |  10k| 0.000000e+00 | 1.696930e+05 |    Inf 
1653.53/1653.53	c  1621s|310000 |309941 |  1060k|   3.4 |1065M| 255 |   0 |8500 |8292 |8500 |2480 | 249k|  37 |  11k| 0.000000e+00 | 1.696930e+05 |    Inf 
1706.23/1706.25	c  1672s|320000 |319941 |  1084k|   3.4 |1098M| 255 |  16 |8500 |8292 |8500 |2470 | 255k|  37 |  11k| 0.000000e+00 | 1.696930e+05 |    Inf 
1759.73/1759.75	c  1725s|330000 |329941 |  1117k|   3.4 |1130M| 255 |   0 |8500 |8292 |8500 |2487 | 264k|  37 |  11k| 0.000000e+00 | 1.696930e+05 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01	c 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time (sec) : 1764.45
1800.04/1800.01	c Solving Nodes      : 337205
1800.04/1800.01	c Primal Bound       : +1.69693000000000e+05 (100 solutions)
1800.04/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.01	c Gap                : infinite
1800.14/1800.18	s SATISFIABLE
1800.14/1800.18	v -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 
1800.14/1800.18	v -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 
1800.14/1800.18	v -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 
1800.14/1800.18	v -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 
1800.14/1800.18	v -x1732 -x1731 -x1730 -x1729 x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 
1800.14/1800.18	v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 
1800.14/1800.18	v -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 
1800.14/1800.18	v -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 
1800.14/1800.18	v -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 
1800.14/1800.18	v -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 
1800.14/1800.18	v -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 
1800.14/1800.18	v -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 
1800.14/1800.18	v -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 
1800.14/1800.18	v -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 
1800.14/1800.18	v -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 
1800.14/1800.18	v -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 
1800.14/1800.18	v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 x1504 -x1503 -x1502 -x1501 -x1500 
1800.14/1800.18	v -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 
1800.14/1800.18	v -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 
1800.14/1800.18	v -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 
1800.14/1800.18	v -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 x1433 -x1432 -x1431 -x1430 -x1429 
1800.14/1800.18	v -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 
1800.14/1800.18	v -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 
1800.14/1800.18	v -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 
1800.14/1800.18	v -x1374 x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 
1800.14/1800.18	v -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 
1800.14/1800.18	v -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 
1800.14/1800.18	v -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 
1800.14/1800.18	v -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 
1800.14/1800.18	v -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 
1800.14/1800.18	v -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 x1255 -x1254 -x1253 -x1252 -x1251 -x1250 
1800.14/1800.18	v -x1249 -x1248 -x1247 -x1246 -x1245 x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 
1800.14/1800.18	v -x1231 -x1230 -x1229 x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 
1800.14/1800.18	v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 
1800.14/1800.18	v -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 
1800.14/1800.18	v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 
1800.14/1800.18	v -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 
1800.14/1800.18	v -x1141 -x1140 -x1139 -x1138 -x1137 x1136 x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 
1800.14/1800.18	v -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 
1800.14/1800.18	v -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 
1800.14/1800.18	v -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 
1800.14/1800.18	v -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 
1800.14/1800.18	v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 
1800.14/1800.18	v -x1034 -x1033 x1032 x1031 -x1030 -x1029 x1028 x1027 -x1026 -x1025 -x1024 -x1023 -x1022 x1021 -x1020 -x1019 -x1018 x1017 -x1016 
1800.14/1800.18	v -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 x998 
1800.14/1800.18	v -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 
1800.14/1800.18	v -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 
1800.14/1800.18	v -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 
1800.14/1800.18	v -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 
1800.14/1800.18	v -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 
1800.14/1800.18	v -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 
1800.14/1800.18	v -x871 x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 x862 -x861 -x860 -x859 -x858 x857 -x856 -x855 -x854 -x853 -x852 -x851 
1800.14/1800.18	v -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 
1800.14/1800.18	v -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 
1800.14/1800.18	v -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 
1800.14/1800.18	v -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 
1800.14/1800.18	v -x766 -x765 -x764 x763 x762 x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 
1800.14/1800.18	v -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 -x726 -x725 
1800.14/1800.18	v -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 
1800.14/1800.18	v -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 x687 -x686 -x685 -x684 -x683 
1800.14/1800.18	v -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 
1800.14/1800.18	v -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 
1800.14/1800.18	v -x640 -x639 -x638 x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 
1800.14/1800.18	v x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 
1800.14/1800.18	v -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 
1800.14/1800.18	v -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 
1800.14/1800.18	v -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 
1800.14/1800.18	v -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 
1800.14/1800.18	v -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 
1800.14/1800.18	v -x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 
1800.14/1800.18	v -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 
1800.14/1800.18	v -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 
1800.14/1800.18	v -x431 -x430 x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 
1800.14/1800.18	v -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 -x390 -x389 
1800.14/1800.18	v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 
1800.14/1800.18	v -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 
1800.14/1800.18	v -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 
1800.14/1800.18	v -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 
1800.14/1800.18	v -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 
1800.14/1800.18	v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 
1800.14/1800.18	v -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 
1800.14/1800.18	v -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 
1800.14/1800.18	v -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 
1800.14/1800.18	v -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 
1800.14/1800.18	v -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 
1800.14/1800.18	v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 
1800.14/1800.18	v -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 
1800.14/1800.18	v -x116 -x115 x114 x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 
1800.14/1800.18	v -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 
1800.14/1800.18	v -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 x60 -x59 x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 
1800.14/1800.18	v -x42 -x41 x40 -x39 x38 -x37 x36 -x35 -x34 -x33 -x32 x31 x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 
1800.14/1800.18	v x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.14/1800.18	c SCIP Status        : solving was interrupted [user interrupt]
1800.14/1800.18	c Solving Time       :    1764.45
1800.14/1800.18	c Original Problem   :
1800.14/1800.18	c   Problem name     : HOME/instance-2692998-1277913700.wbo
1800.14/1800.18	c   Variables        : 8514 (5159 binary, 0 integer, 0 implicit integer, 3355 continuous)
1800.14/1800.18	c   Constraints      : 8287 initial, 8287 maximal
1800.14/1800.18	c Presolved Problem  :
1800.14/1800.18	c   Problem name     : t_HOME/instance-2692998-1277913700.wbo
1800.14/1800.18	c   Variables        : 8500 (5147 binary, 0 integer, 0 implicit integer, 3353 continuous)
1800.14/1800.18	c   Constraints      : 8264 initial, 8293 maximal
1800.14/1800.18	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.14/1800.18	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.18	c   dualfix          :       0.00          4          0          0          0          0          0          0          0
1800.14/1800.18	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.18	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.18	c   implics          :       0.00          0          8          0          0          0          0          0          0
1800.14/1800.18	c   probing          :       0.08          0          0          0          0          0          0          0          0
1800.14/1800.18	c   indicator        :       0.01          0          0          0          0          0          2          0          0
1800.14/1800.18	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.18	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.18	c   linear           :       0.02          1          1          0       3354          0         21        112        224
1800.14/1800.18	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.14/1800.18	c   root node        :          -          0          -          -          0          -          -          -          -
1800.14/1800.18	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.14/1800.18	c   integral         :          0          0          0     368886          0          0          0          0          0     118748
1800.14/1800.18	c   indicator        :       3353          0     830347     309512          0          0     134434          0          0          0
1800.14/1800.18	c   varbound         :          2          6     830347     309512          0          0          0          0          0          0
1800.14/1800.18	c   knapsack         :         63          6     830347     309512          0         25      46791        232          0          0
1800.14/1800.18	c   linear           :       3351          6     830322     309512          0          0     142901     270439          0          0
1800.14/1800.18	c   logicor          :       1495+         6     481785     277801          0          3     706923          0          0          0
1800.14/1800.18	c   countsols        :          0          0          0     277801          0          0          0          0          0          0
1800.14/1800.18	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.14/1800.18	c   integral         :      59.47       0.00       0.00      59.47       0.00
1800.14/1800.18	c   indicator        :     154.72       0.00      36.36     118.36       0.00
1800.14/1800.18	c   varbound         :       0.22       0.00       0.06       0.16       0.00
1800.14/1800.18	c   knapsack         :       1.84       0.00       1.10       0.74       0.00
1800.14/1800.18	c   linear           :     233.39       0.00      30.28     203.11       0.00
1800.14/1800.18	c   logicor          :      21.23       0.00       2.77      18.46       0.00
1800.14/1800.18	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1800.14/1800.18	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.14/1800.18	c   vbounds          :       0.12       4705          0          0
1800.14/1800.18	c   rootredcost      :       0.05          1          0          0
1800.14/1800.18	c   pseudoobj        :      64.29     829996          0          0
1800.14/1800.18	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.14/1800.18	c   propagation      :       0.01         28         28         46        6.7          0        0.0          -
1800.14/1800.18	c   infeasible LP    :       0.00          2          2          2        5.0          0        0.0          0
1800.14/1800.18	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.18	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.18	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.14/1800.18	c   applied globally :          -          -          -         37        6.3          -          -          -
1800.14/1800.18	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.14/1800.18	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.14/1800.18	c   cut pool         :       0.00          5          -          -        312          -    (maximal pool size: 1497)
1800.14/1800.18	c   redcost          :      65.04     368627          0          0          0          0
1800.14/1800.18	c   impliedbounds    :       0.01          6          0          0          8          0
1800.14/1800.18	c   intobj           :       0.00          0          0          0          0          0
1800.14/1800.18	c   cgmip            :       0.00          0          0          0          0          0
1800.14/1800.18	c   gomory           :       0.14          6          0          0       1886          0
1800.14/1800.18	c   strongcg         :       0.06          6          0          0        138          0
1800.14/1800.18	c   cmir             :       0.16          6          0          0        130          0
1800.14/1800.18	c   flowcover        :       0.50          6          0          0        857          0
1800.14/1800.18	c   clique           :       0.00          6          0          0          0          0
1800.14/1800.18	c   zerohalf         :       0.00          0          0          0          0          0
1800.14/1800.18	c   mcf              :       0.00          1          0          0          0          0
1800.14/1800.18	c   rapidlearning    :       0.00          0          0          0          0          0
1800.14/1800.18	c Pricers            :       Time      Calls       Vars
1800.14/1800.18	c   problem variables:       0.00          0          0
1800.14/1800.18	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.14/1800.18	c   relpscost        :      59.37      59374          0          0          0          0     118748
1800.14/1800.18	c   pscost           :       0.00          0          0          0          0          0          0
1800.14/1800.18	c   inference        :     197.76     277801          0          0          0          0     555602
1800.14/1800.18	c   mostinf          :       0.00          0          0          0          0          0          0
1800.14/1800.18	c   leastinf         :       0.00          0          0          0          0          0          0
1800.14/1800.18	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.14/1800.18	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.14/1800.18	c   random           :       0.00          0          0          0          0          0          0
1800.14/1800.18	c Primal Heuristics  :       Time      Calls      Found
1800.14/1800.18	c   LP solutions     :       0.00          -          0
1800.14/1800.18	c   pseudo solutions :       0.00          -          0
1800.14/1800.18	c   oneopt           :       0.33          1          0
1800.14/1800.18	c   feaspump         :       0.03          1          0
1800.14/1800.18	c   intshifting      :       0.02          8          0
1800.14/1800.18	c   crossover        :       0.55         10          0
1800.14/1800.18	c   pscostdiving     :       6.87       2726          0
1800.14/1800.18	c   fracdiving       :       6.68       2726          0
1800.14/1800.18	c   veclendiving     :       6.93       2727          0
1800.14/1800.18	c   linesearchdiving :       6.68       2727          0
1800.14/1800.18	c   guideddiving     :       6.46       2727          0
1800.14/1800.18	c   coefdiving       :       6.33       2727          0
1800.14/1800.18	c   objpscostdiving  :       6.95       2723          0
1800.14/1800.18	c   rootsoldiving    :       7.26       2723          0
1800.14/1800.18	c   trivial          :       0.01          2          0
1800.14/1800.18	c   simplerounding   :       0.15      57922          0
1800.14/1800.18	c   zirounding       :       0.23       1000          0
1800.14/1800.18	c   rounding         :       0.55       3360          0
1800.14/1800.18	c   shifting         :       2.42       1013          0
1800.14/1800.18	c   twoopt           :       0.00          0          0
1800.14/1800.18	c   fixandinfer      :       0.00          0          0
1800.14/1800.18	c   intdiving        :       0.00          0          0
1800.14/1800.18	c   actconsdiving    :       0.00          0          0
1800.14/1800.18	c   octane           :       0.00          0          0
1800.14/1800.18	c   rens             :       0.06          1          0
1800.14/1800.18	c   rins             :       0.00          0          0
1800.14/1800.18	c   localbranching   :       0.00          0          0
1800.14/1800.18	c   mutation         :       0.00          0          0
1800.14/1800.18	c   dins             :       0.00          0          0
1800.14/1800.18	c   undercover       :       0.00          0          0
1800.14/1800.18	c   nlp              :       0.02          0          0
1800.14/1800.18	c   trysol           :       0.42       3923        100
1800.14/1800.18	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.14/1800.18	c   primal LP        :       0.01          0          0       0.00       0.00
1800.14/1800.18	c   dual LP          :     634.87     102782    1142863      11.12    1800.15
1800.14/1800.18	c   lex dual LP      :       0.00          0          0       0.00          -
1800.14/1800.18	c   barrier LP       :       0.00          0          0       0.00          -
1800.14/1800.18	c   diving/probing LP:       0.24        108        490       4.54    2041.67
1800.14/1800.18	c   strong branching :      58.19      12006     209240      17.43    3595.81
1800.14/1800.18	c     (at root node) :          -         18       2422     134.56          -
1800.14/1800.18	c   conflict analysis:       0.00          0          0       0.00          -
1800.14/1800.18	c B&B Tree           :
1800.14/1800.18	c   number of runs   :          1
1800.14/1800.18	c   nodes            :     337205
1800.14/1800.18	c   nodes (total)    :     337205
1800.14/1800.18	c   nodes left       :     337146
1800.14/1800.18	c   max depth        :        255
1800.14/1800.18	c   max depth (total):        255
1800.14/1800.18	c   backtracks       :       2745 (0.8%)
1800.14/1800.18	c   delayed cutoffs  :          0
1800.14/1800.18	c   repropagations   :        264 (103 domain reductions, 0 cutoffs)
1800.14/1800.18	c   avg switch length:       2.11
1800.14/1800.18	c   switching time   :      31.36
1800.14/1800.18	c Solution           :
1800.14/1800.18	c   Solutions found  :        100 (1 improvements)
1800.14/1800.18	c   First Solution   : +1.69693000000000e+05   (in run 1, after 1 nodes, 0.18 seconds, depth 0, found by <trysol>)
1800.14/1800.18	c   Primal Bound     : +1.69693000000000e+05   (in run 1, after 1 nodes, 0.18 seconds, depth 0, found by <trysol>)
1800.14/1800.18	c   Dual Bound       : +0.00000000000000e+00
1800.14/1800.18	c   Gap              :   infinite
1800.14/1800.18	c   Root Dual Bound  : +0.00000000000000e+00
1800.14/1800.18	c   Root Iterations  :       2025
1800.64/1800.68	c Time complete: 1800.72.

Verifier Data 

OK	10182

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692998-1277913700/watcher-2692998-1277913700 -o /tmp/evaluation-result-2692998-1277913700/solver-2692998-1277913700 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692998-1277913700.wbo -t 1800 -m 3800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.72 2.77 2.51 3/178 25552
/proc/meminfo: memFree=31494920/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=10864 CPUtime=0
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 1666 0 0 0 0 0 0 0 22 0 1 0 165009500 11124736 1586 4089446400 4194304 9819077 140734409694480 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25552/statm: 2716 1586 392 1374 0 1337 0

[startup+0.0146421 s]
/proc/loadavg: 2.72 2.77 2.51 3/178 25552
/proc/meminfo: memFree=31494920/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=13976 CPUtime=0
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 2437 0 0 0 0 0 0 0 22 0 1 0 165009500 14311424 2357 4089446400 4194304 9819077 140734409694480 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25552/statm: 3494 2357 392 1374 0 2115 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13976

[startup+0.100622 s]
/proc/loadavg: 2.72 2.77 2.51 3/178 25552
/proc/meminfo: memFree=31494920/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=43788 CPUtime=0.09
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 9988 0 0 0 8 1 0 0 22 0 1 0 165009500 44838912 9554 4089446400 4194304 9819077 140734409694480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 10947 9554 487 1374 0 9568 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43788

[startup+0.300615 s]
/proc/loadavg: 2.72 2.77 2.51 3/178 25552
/proc/meminfo: memFree=31494920/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=57956 CPUtime=0.29
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 16005 0 0 0 25 4 0 0 22 0 1 0 165009500 59346944 12775 4089446400 4194304 9819077 140734409694480 18446744073709551615 6092011 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 14489 12775 663 1374 0 13110 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57956

[startup+0.700524 s]
/proc/loadavg: 2.72 2.77 2.51 3/178 25552
/proc/meminfo: memFree=31494920/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=60408 CPUtime=0.69
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 16941 0 0 0 63 6 0 0 24 0 1 0 165009500 61857792 13240 4089446400 4194304 9819077 140734409694480 18446744073709551615 6093279 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 15102 13240 697 1374 0 13723 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60408

[startup+1.50039 s]
/proc/loadavg: 2.72 2.77 2.51 3/179 25553
/proc/meminfo: memFree=31442832/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=91244 CPUtime=1.49
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 25338 0 0 0 140 9 0 0 25 0 1 0 165009500 93433856 20336 4089446400 4194304 9819077 140734409694480 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 22845 20347 699 1374 0 21466 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91244

[startup+3.1011 s]
/proc/loadavg: 2.72 2.77 2.51 3/179 25553
/proc/meminfo: memFree=31437872/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=68104 CPUtime=3.09
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 43572 0 0 0 297 12 0 0 25 0 1 0 165009500 69738496 15021 4089446400 4194304 9819077 140734409694480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 17026 15021 724 1374 0 15647 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68104

[startup+6.30054 s]
/proc/loadavg: 2.66 2.76 2.51 3/179 25554
/proc/meminfo: memFree=31438128/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=68080 CPUtime=6.29
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 62497 0 0 0 613 16 0 0 25 0 1 0 165009500 69713920 15006 4089446400 4194304 9819077 140734409694480 18446744073709551615 6713350 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 17063 15027 724 1374 0 15684 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68080

[startup+12.7004 s]
/proc/loadavg: 2.61 2.75 2.50 3/179 25554
/proc/meminfo: memFree=31438260/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=68160 CPUtime=12.69
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 113251 0 0 0 1242 27 0 0 25 0 1 0 165009500 69795840 15117 4089446400 4194304 9819077 140734409694480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 17040 15117 724 1374 0 15661 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68160

[startup+25.5002 s]
/proc/loadavg: 2.47 2.71 2.49 3/179 25555
/proc/meminfo: memFree=31428072/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=78592 CPUtime=25.49
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 247931 0 0 0 2490 59 0 0 25 0 1 0 165009500 80478208 17999 4089446400 4194304 9819077 140734409694480 18446744073709551615 6513023 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 19648 17999 729 1374 0 18269 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 78592

[startup+51.1007 s]
/proc/loadavg: 2.31 2.65 2.48 3/179 25555
/proc/meminfo: memFree=31413260/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=95276 CPUtime=51.1
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 408331 0 0 0 4988 122 0 0 25 0 1 0 165009500 97562624 21901 4089446400 4194304 9819077 140734409694480 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 23819 21901 729 1374 0 22440 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 95276

[startup+102.307 s]
/proc/loadavg: 2.13 2.55 2.45 3/179 25557
/proc/meminfo: memFree=31380352/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=126580 CPUtime=102.3
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 838609 0 0 0 9967 263 0 0 25 0 1 0 165009500 129617920 29661 4089446400 4194304 9819077 140734409694480 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 31645 29661 729 1374 0 30266 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 126580

[startup+162.301 s]
/proc/loadavg: 2.05 2.45 2.42 3/179 25558
/proc/meminfo: memFree=31340276/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=164396 CPUtime=162.29
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 1114466 0 0 0 15844 385 0 0 25 0 1 0 165009500 168341504 39101 4089446400 4194304 9819077 140734409694480 18446744073709551615 8875210 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 41089 39101 729 1374 0 39710 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 164396

[startup+222.301 s]
/proc/loadavg: 1.98 2.35 2.39 4/179 25608
/proc/meminfo: memFree=31326560/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=204660 CPUtime=222.3
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 1392577 0 0 0 21724 506 0 0 25 0 1 0 165009500 209571840 49194 4089446400 4194304 9819077 140734409694480 18446744073709551615 4241166 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 51165 49194 729 1374 0 49786 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 204660

[startup+282.301 s]
/proc/loadavg: 1.99 2.28 2.36 3/179 25610
/proc/meminfo: memFree=31283492/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=239864 CPUtime=282.3
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 1721965 0 0 0 27599 631 0 0 25 0 1 0 165009500 245620736 58028 4089446400 4194304 9819077 140734409694480 18446744073709551615 6628233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 59966 58028 729 1374 0 58587 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 239864

[startup+342.3 s]
/proc/loadavg: 1.99 2.23 2.33 3/179 25612
/proc/meminfo: memFree=31235848/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=280612 CPUtime=342.3
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 1979572 0 0 0 33482 748 0 0 25 0 1 0 165009500 287346688 68343 4089446400 4194304 9819077 140734409694480 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 70153 68343 729 1374 0 68774 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 280612

[startup+402.301 s]
/proc/loadavg: 1.99 2.18 2.31 3/179 25614
/proc/meminfo: memFree=31190048/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=318504 CPUtime=402.3
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 2277976 0 0 0 39362 868 0 0 25 0 1 0 165009500 326148096 77284 4089446400 4194304 9819077 140734409694480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 79626 77284 729 1374 0 78247 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 318504

[startup+462.3 s]
/proc/loadavg: 1.99 2.15 2.29 3/179 25615
/proc/meminfo: memFree=31142520/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=356936 CPUtime=462.3
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 2715255 0 0 0 45221 1009 0 0 25 0 1 0 165009500 365502464 86912 4089446400 4194304 9819077 140734409694480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 89234 86912 729 1374 0 87855 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 356936

[startup+522.301 s]
/proc/loadavg: 1.99 2.12 2.27 3/179 25616
/proc/meminfo: memFree=31093016/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=394972 CPUtime=522.31
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 3062255 0 0 0 51090 1141 0 0 25 0 1 0 165009500 404451328 96635 4089446400 4194304 9819077 140734409694480 18446744073709551615 4697577 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 98743 96635 729 1374 0 97364 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 394972

[startup+582.3 s]
/proc/loadavg: 1.99 2.09 2.25 3/179 25618
/proc/meminfo: memFree=31046228/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=431064 CPUtime=582.31
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 3245543 0 0 0 56991 1240 0 0 25 0 1 0 165009500 441409536 105618 4089446400 4194304 9819077 140734409694480 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 107766 105618 729 1374 0 106387 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 431064

[startup+642.301 s]
/proc/loadavg: 1.99 2.07 2.23 3/179 25620
/proc/meminfo: memFree=30996608/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=471380 CPUtime=642.31
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 3612913 0 0 0 62859 1372 0 0 25 0 1 0 165009500 482693120 115709 4089446400 4194304 9819077 140734409694480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 117845 115709 729 1374 0 116466 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 471380

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.99 2.02 2.16 3/179 25628
/proc/meminfo: memFree=30714784/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=658876 CPUtime=942.31
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 4962793 0 0 0 92270 1961 0 0 25 0 1 0 165009500 674689024 162809 4089446400 4194304 9819077 140734409694480 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 164719 162809 729 1374 0 163340 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 658876

[startup+1002.3 s]
/proc/loadavg: 2.05 2.03 2.15 3/179 25630
/proc/meminfo: memFree=30649400/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=698744 CPUtime=1002.32
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 5191796 0 0 0 98157 2075 0 0 25 0 1 0 165009500 715513856 172829 4089446400 4194304 9819077 140734409694480 18446744073709551615 4903021 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 174686 172829 729 1374 0 173307 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 698744

[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.14 3/179 25631
/proc/meminfo: memFree=30586244/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=739884 CPUtime=1062.31
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 5369491 0 0 0 104054 2177 0 0 25 0 1 0 165009500 757641216 182168 4089446400 4194304 9819077 140734409694480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 184971 182168 729 1374 0 183592 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 739884

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/179 25632
/proc/meminfo: memFree=30524972/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=776980 CPUtime=1122.31
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 5608647 0 0 0 109946 2285 0 0 25 0 1 0 165009500 795627520 191447 4089446400 4194304 9819077 140734409694480 18446744073709551615 6361644 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 194245 191447 729 1374 0 192866 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 776980

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/179 25634
/proc/meminfo: memFree=30473716/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=814484 CPUtime=1182.32
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 5825802 0 0 0 115842 2390 0 0 25 0 1 0 165009500 834031616 200899 4089446400 4194304 9819077 140734409694480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 203621 200899 729 1374 0 202242 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 814484

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/179 25636
/proc/meminfo: memFree=30425056/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=847012 CPUtime=1242.32
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 6091913 0 0 0 121729 2503 0 0 25 0 1 0 165009500 867340288 209028 4089446400 4194304 9819077 140734409694480 18446744073709551615 5893838 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 211753 209028 729 1374 0 210374 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 847012

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 25638
/proc/meminfo: memFree=30371332/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=885228 CPUtime=1302.33
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 6327362 0 0 0 127618 2615 0 0 25 0 1 0 165009500 906473472 218640 4089446400 4194304 9819077 140734409694480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 221307 218640 729 1374 0 219928 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 885228

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 25639
/proc/meminfo: memFree=30313396/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=919244 CPUtime=1362.32
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 6590789 0 0 0 133500 2732 0 0 25 0 1 0 165009500 941305856 227207 4089446400 4194304 9819077 140734409694480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 229811 227207 729 1374 0 228432 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 919244

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 25640
/proc/meminfo: memFree=30251476/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=955612 CPUtime=1422.34
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 6890791 0 0 0 139378 2856 0 0 25 0 1 0 165009500 978546688 236339 4089446400 4194304 9819077 140734409694480 18446744073709551615 4641963 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 238903 236339 729 1374 0 237524 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 955612

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 25642
/proc/meminfo: memFree=30183612/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=992608 CPUtime=1482.33
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 7068366 0 0 0 145269 2964 0 0 25 0 1 0 165009500 1016430592 245633 4089446400 4194304 9819077 140734409694480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 248152 245633 729 1374 0 246773 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 992608

[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.07 3/179 25644
/proc/meminfo: memFree=30113032/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=1028060 CPUtime=1542.32
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 7355603 0 0 0 151150 3082 0 0 25 0 1 0 165009500 1052733440 254516 4089446400 4194304 9819077 140734409694480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 257015 254516 729 1374 0 255636 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1028060

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.07 3/179 25646
/proc/meminfo: memFree=30035876/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=1065916 CPUtime=1602.33
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 7581661 0 0 0 157038 3195 0 0 25 0 1 0 165009500 1091497984 264021 4089446400 4194304 9819077 140734409694480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 266479 264021 729 1374 0 265100 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1065916

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.06 3/179 25647
/proc/meminfo: memFree=29957352/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=1102756 CPUtime=1662.33
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 7850088 0 0 0 162921 3312 0 0 25 0 1 0 165009500 1129222144 273296 4089446400 4194304 9819077 140734409694480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 275689 273296 729 1374 0 274310 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1102756

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 25648
/proc/meminfo: memFree=29879564/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=1136608 CPUtime=1722.34
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 8027604 0 0 0 168821 3413 0 0 25 0 1 0 165009500 1163886592 281819 4089446400 4194304 9819077 140734409694480 18446744073709551615 4965891 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 284152 281819 729 1374 0 282773 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1136608

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 25650
/proc/meminfo: memFree=29802652/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=1172960 CPUtime=1782.33
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 8300103 0 0 0 174711 3522 0 0 25 0 1 0 165009500 1201111040 290911 4089446400 4194304 9819077 140734409694480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 293240 290911 729 1374 0 291861 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1172960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 25650
/proc/meminfo: memFree=29779336/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=1183376 CPUtime=1800.04
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 8378263 0 0 0 176448 3556 0 0 25 0 1 0 165009500 1211777024 293556 4089446400 4194304 9819077 140734409694480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25552/statm: 295844 293556 729 1374 0 294465 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1183376

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 25650
/proc/meminfo: memFree=29779336/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=1183232 CPUtime=1800.23
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 8378330 0 0 0 176467 3556 0 0 25 0 1 0 165009500 1211629568 293523 4089446400 4194304 9819077 140734409694480 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25552/statm: 295808 293523 730 1374 0 294429 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 1183232

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.05 3/180 25651
/proc/meminfo: memFree=30522452/32951124 swapFree=67111528/67111528
[pid=25552] ppid=25550 vsize=414148 CPUtime=1800.64
/proc/25552/stat : 25552 (pbscip.linux.x8) R 25550 25552 25351 0 -1 4202496 8378330 0 0 0 176505 3559 0 0 25 0 1 0 165009500 424087552 101262 4089446400 4194304 9819077 140734409694480 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25552/statm: 103537 101262 730 1374 0 102158 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 414148

Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.73
CPU user time (s): 1765.11
CPU system time (s): 35.6196
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1186752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1765.11
system time used= 35.6196
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8378334
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= 2
involuntary context switches= 2781

runsolver used 2.42463 second user time and 5.81611 second system time

The end

Launcher Data 

Begin job on node119 at 2010-06-30 18:01:40
IDJOB=2692998
IDBENCH=79021
IDSOLVER=1205
FILE ID=node119/2692998-1277913700
PBS_JOBID= 11197321
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692998-1277913700/watcher-2692998-1277913700 -o /tmp/evaluation-result-2692998-1277913700/solver-2692998-1277913700 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692998-1277913700.wbo -t 1800 -m 3800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 9604cc8b4028b285fc8feb4fe9530b1c
RANDOM SEED=1983641878

node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.802
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.802
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.802
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.802
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.802
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.802
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.802
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.802
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31495200 kB
Buffers:        199608 kB
Cached:         959556 kB
SwapCached:          0 kB
Active:         672100 kB
Inactive:       638348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31495200 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6644 kB
Writeback:           0 kB
AnonPages:      150952 kB
Mapped:          17236 kB
Slab:            79828 kB
PageTables:       5456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   301580 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node119 at 2010-06-30 18:31:42