Trace number 3488769

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 NameAnswerobjective functionCPU timeWall clock time
SCIP spx E_2 2011-06-10 (fixed)? 1797.24 1797.21

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g125.18.opb
MD5SUM18a894a2ba4f3cf6bad1b497c8fca8eb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4500
Total number of constraints72413
Number of constraints which are clauses72413
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint18
Number of terms in the objective function 4500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4500
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4500
Number of bits of the biggest sum of numbers13
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 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 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-3488769-1307766918.opb>
0.28/0.36	c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 72413 constraints
0.28/0.36	c problem read
0.28/0.36	c presolving settings loaded
0.39/0.44	c presolving:
0.79/0.85	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 70163 upgd conss, 415692 impls, 0 clqs
0.89/0.92	c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 72413 upgd conss, 415692 impls, 0 clqs
10.99/11.03	c    (11.0s) probing: 1000/4500 (22.2%) - 0 fixings, 0 aggregations, 18393 implications, 0 bound changes
21.29/21.32	c    (21.3s) probing: 2000/4500 (44.4%) - 0 fixings, 0 aggregations, 35514 implications, 0 bound changes
21.29/21.33	c    (21.3s) probing: 2001/4500 (44.5%) - 0 fixings, 0 aggregations, 35532 implications, 0 bound changes
21.29/21.33	c    (21.3s) probing aborted: 2000/2000 successive useless probings
21.29/21.33	c presolving (3 rounds):
21.29/21.33	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
21.29/21.33	c  547164 implications, 0 cliques
21.29/21.33	c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 72413 constraints
21.29/21.33	c   72288 constraints of type <setppc>
21.29/21.33	c     125 constraints of type <logicor>
21.29/21.33	c transformed objective value is always integral (scale: 1)
21.29/21.33	c Presolving Time: 20.90
21.29/21.33	c - non default parameters ----------------------------------------------------------------------
21.29/21.33	c # SCIP version 2.0.1.5
21.29/21.33	c 
21.29/21.33	c # frequency for displaying node information lines
21.29/21.33	c # [type: int, range: [-1,2147483647], default: 100]
21.29/21.33	c display/freq = 10000
21.29/21.33	c 
21.29/21.33	c # maximal time in seconds to run
21.29/21.33	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
21.29/21.33	c limits/time = 1797
21.29/21.33	c 
21.29/21.33	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
21.29/21.33	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
21.29/21.33	c limits/memory = 13950
21.29/21.33	c 
21.29/21.33	c # default clock type (1: CPU user seconds, 2: wall clock time)
21.29/21.33	c # [type: int, range: [1,2], default: 1]
21.29/21.33	c timing/clocktype = 2
21.29/21.33	c 
21.29/21.33	c # belongs reading time to solving time?
21.29/21.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
21.29/21.33	c timing/reading = TRUE
21.29/21.33	c 
21.29/21.33	c # should presolving try to simplify inequalities
21.29/21.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
21.29/21.33	c constraints/linear/simplifyinequalities = TRUE
21.29/21.33	c 
21.29/21.33	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
21.29/21.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
21.29/21.33	c constraints/indicator/addCouplingCons = TRUE
21.29/21.33	c 
21.29/21.33	c # should presolving try to simplify knapsacks
21.29/21.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
21.29/21.33	c constraints/knapsack/simplifyinequalities = TRUE
21.29/21.33	c 
21.29/21.33	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
21.29/21.33	c # [type: int, range: [-1,2147483647], default: -1]
21.29/21.33	c separating/rapidlearning/freq = 0
21.29/21.33	c 
21.29/21.33	c -----------------------------------------------------------------------------------------------
21.29/21.33	c start solving
21.29/21.33	c 
24.59/24.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
24.59/24.63	c  24.6s|     1 |     0 |  2666 |     - | 110M|   0 |2500 |4500 |  72k|4500 |  72k|   0 |  42 |   0 | 1.250000e+03 |      --      |    Inf 
28.89/28.92	c  28.9s|     1 |     0 |  3925 |     - | 110M|   0 |2478 |4500 |  72k|4500 |  72k|  23 |  42 |   0 | 1.261000e+03 |      --      |    Inf 
31.09/31.16	c  31.2s|     1 |     0 |  4362 |     - | 110M|   0 |2403 |4500 |  72k|4500 |  72k|  82 |  42 |   0 | 1.298500e+03 |      --      |    Inf 
33.89/33.95	c  34.0s|     1 |     0 |  4729 |     - | 110M|   0 |2373 |4500 |  72k|4500 |  72k| 116 |  42 |   0 | 1.313500e+03 |      --      |    Inf 
37.09/37.15	c  37.2s|     1 |     0 |  5342 |     - | 110M|   0 |2355 |4500 |  72k|4500 |  72k| 165 |  42 |   0 | 1.334000e+03 |      --      |    Inf 
40.99/41.02	c  41.0s|     1 |     0 |  6069 |     - | 110M|   0 |2305 |4500 |  72k|4500 |  72k| 202 |  42 |   0 | 1.351750e+03 |      --      |    Inf 
44.79/44.83	c  44.8s|     1 |     0 |  6680 |     - | 110M|   0 |2270 |4500 |  72k|4500 |  72k| 255 |  42 |   0 | 1.376250e+03 |      --      |    Inf 
48.89/48.98	c  49.0s|     1 |     0 |  7323 |     - | 110M|   0 |2220 |4500 |  72k|4500 |  72k| 306 |  42 |   0 | 1.395750e+03 |      --      |    Inf 
52.99/53.06	c  53.1s|     1 |     0 |  8014 |     - | 110M|   0 |2206 |4500 |  72k|4500 |  72k| 351 |  42 |   0 | 1.409083e+03 |      --      |    Inf 
57.59/57.68	c  57.7s|     1 |     0 |  8690 |     - | 111M|   0 |2164 |4500 |  72k|4500 |  72k| 389 |  42 |   0 | 1.424750e+03 |      --      |    Inf 
62.49/62.54	c  62.5s|     1 |     0 |  9639 |     - | 111M|   0 |2141 |4500 |  72k|4500 |  72k| 445 |  42 |   0 | 1.440983e+03 |      --      |    Inf 
64.69/64.72	c  64.7s|     1 |     0 | 10540 |     - | 111M|   0 |2092 |4500 |  72k|4500 |  72k| 502 |  42 |   0 | 1.463917e+03 |      --      |    Inf 
67.29/67.32	c  67.3s|     1 |     0 | 11622 |     - | 112M|   0 |2084 |4500 |  72k|4500 |  72k| 551 |  42 |   0 | 1.480922e+03 |      --      |    Inf 
69.89/69.94	c  69.9s|     1 |     0 | 12774 |     - | 112M|   0 |2041 |4500 |  72k|4500 |  73k| 597 |  42 |   0 | 1.496320e+03 |      --      |    Inf 
72.50/72.57	c  72.6s|     1 |     0 | 13826 |     - | 112M|   0 |2046 |4500 |  72k|4500 |  73k| 646 |  42 |   0 | 1.508810e+03 |      --      |    Inf 
75.09/75.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
75.09/75.12	c  75.1s|     1 |     0 | 14868 |     - | 113M|   0 |2058 |4500 |  72k|4500 |  73k| 701 |  42 |   0 | 1.523373e+03 |      --      |    Inf 
78.29/78.30	c  78.3s|     1 |     0 | 16865 |     - | 114M|   0 |2006 |4500 |  72k|4500 |  73k| 751 |  42 |   0 | 1.538033e+03 |      --      |    Inf 
81.09/81.16	c  81.2s|     1 |     0 | 18310 |     - | 114M|   0 |1970 |4500 |  72k|4500 |  73k| 809 |  42 |   0 | 1.550220e+03 |      --      |    Inf 
83.89/83.90	c  83.9s|     1 |     0 | 19694 |     - | 115M|   0 |1950 |4500 |  72k|4500 |  73k| 865 |  42 |   0 | 1.561034e+03 |      --      |    Inf 
86.99/87.06	c  87.1s|     1 |     0 | 21558 |     - | 115M|   0 |1912 |4500 |  72k|4500 |  73k| 914 |  42 |   0 | 1.569504e+03 |      --      |    Inf 
89.69/89.77	c  89.8s|     1 |     0 | 22988 |     - | 115M|   0 |1881 |4500 |  72k|4500 |  73k| 971 |  42 |   0 | 1.577042e+03 |      --      |    Inf 
94.49/94.51	c  94.5s|     1 |     0 | 26587 |     - | 116M|   0 |1888 |4500 |  72k|4500 |  73k|1023 |  42 |   0 | 1.587238e+03 |      --      |    Inf 
97.19/97.29	c  97.3s|     1 |     0 | 28395 |     - | 116M|   0 |1881 |4500 |  72k|4500 |  73k|1073 |  42 |   0 | 1.598214e+03 |      --      |    Inf 
101.99/102.06	c   102s|     1 |     0 | 31706 |     - | 116M|   0 |1851 |4500 |  72k|4500 |  73k|1127 |  42 |   0 | 1.607452e+03 |      --      |    Inf 
104.59/104.61	c   105s|     1 |     0 | 33396 |     - | 116M|   0 |1838 |4500 |  72k|4500 |  73k|1180 |  42 |   0 | 1.615312e+03 |      --      |    Inf 
107.50/107.57	c   108s|     1 |     0 | 35516 |     - | 117M|   0 |1839 |4500 |  72k|4500 |  73k|1244 |  42 |   0 | 1.624774e+03 |      --      |    Inf 
110.09/110.16	c   110s|     1 |     0 | 37268 |     - | 117M|   0 |1849 |4500 |  72k|4500 |  73k|1303 |  42 |   0 | 1.636100e+03 |      --      |    Inf 
114.19/114.26	c   114s|     1 |     0 | 40711 |     - | 117M|   0 |1766 |4500 |  72k|4500 |  73k|1362 |  42 |   0 | 1.645125e+03 |      --      |    Inf 
117.49/117.57	c   118s|     1 |     0 | 43407 |     - | 117M|   0 |1785 |4500 |  72k|4500 |  73k|1420 |  42 |   0 | 1.655756e+03 |      --      |    Inf 
120.09/120.16	c   120s|     1 |     0 | 45387 |     - | 117M|   0 |1733 |4500 |  72k|4500 |  73k|1487 |  42 |   0 | 1.665725e+03 |      --      |    Inf 
123.59/123.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
123.59/123.63	c   124s|     1 |     0 | 47504 |     - | 118M|   0 |1734 |4500 |  72k|4500 |  73k|1545 |  42 |   0 | 1.671697e+03 |      --      |    Inf 
130.09/130.11	c   130s|     1 |     0 | 52634 |     - | 118M|   0 |1733 |4500 |  72k|4500 |  73k|1598 |  42 |   0 | 1.676553e+03 |      --      |    Inf 
133.59/133.60	c   134s|     1 |     0 | 55448 |     - | 118M|   0 |1722 |4500 |  72k|4500 |  73k|1656 |  42 |   0 | 1.683193e+03 |      --      |    Inf 
137.50/137.52	c   138s|     1 |     0 | 58477 |     - | 119M|   0 |1748 |4500 |  72k|4500 |  73k|1716 |  42 |   0 | 1.686696e+03 |      --      |    Inf 
143.89/143.94	c   144s|     1 |     0 | 63314 |     - | 119M|   0 |1727 |4500 |  72k|4500 |  73k|1781 |  42 |   0 | 1.692971e+03 |      --      |    Inf 
146.99/147.01	c   147s|     1 |     0 | 66138 |     - | 119M|   0 |1741 |4500 |  72k|4500 |  73k|1836 |  42 |   0 | 1.699700e+03 |      --      |    Inf 
149.39/149.41	c   149s|     1 |     0 | 67651 |     - | 119M|   0 |1749 |4500 |  72k|4500 |  73k|1888 |  42 |   0 | 1.704667e+03 |      --      |    Inf 
159.29/159.39	c   159s|     1 |     0 | 75031 |     - | 120M|   0 |1770 |4500 |  72k|4500 |  73k|1942 |  42 |   0 | 1.709229e+03 |      --      |    Inf 
165.99/166.02	c   166s|     1 |     0 | 79947 |     - | 120M|   0 |1710 |4500 |  72k|4500 |  73k|1997 |  42 |   0 | 1.714214e+03 |      --      |    Inf 
171.70/171.79	c   172s|     1 |     0 | 84332 |     - | 120M|   0 |1712 |4500 |  72k|4500 |  73k|2057 |  42 |   0 | 1.718952e+03 |      --      |    Inf 
174.80/174.87	c   175s|     1 |     0 | 86353 |     - | 121M|   0 |1747 |4500 |  72k|4500 |  73k|2121 |  42 |   0 | 1.724893e+03 |      --      |    Inf 
180.49/180.59	c   181s|     1 |     0 | 90114 |     - | 121M|   0 |1707 |4500 |  72k|4500 |  73k|2174 |  42 |   0 | 1.729715e+03 |      --      |    Inf 
185.29/185.31	c   185s|     1 |     0 | 93184 |     - | 121M|   0 |1710 |4500 |  72k|4500 |  73k|2222 |  42 |   0 | 1.732875e+03 |      --      |    Inf 
193.50/193.51	c   194s|     1 |     0 | 99865 |     - | 121M|   0 |1664 |4500 |  72k|4500 |  73k|2274 |  42 |   0 | 1.738042e+03 |      --      |    Inf 
199.79/199.86	c   200s|     1 |     0 |104887 |     - | 122M|   0 |1671 |4500 |  72k|4500 |  73k|2329 |  42 |   0 | 1.743144e+03 |      --      |    Inf 
206.49/206.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
206.49/206.57	c   207s|     1 |     0 |109851 |     - | 122M|   0 |1650 |4500 |  72k|4500 |  73k|2380 |  42 |   0 | 1.748133e+03 |      --      |    Inf 
211.70/211.75	c   212s|     1 |     0 |114621 |     - | 123M|   0 |1712 |4500 |  72k|4500 |  73k|2444 |  42 |   0 | 1.752021e+03 |      --      |    Inf 
219.09/219.13	c   219s|     1 |     0 |120953 |     - | 123M|   0 |1697 |4500 |  72k|4500 |  73k|2502 |  42 |   0 | 1.759360e+03 |      --      |    Inf 
222.29/222.36	c   222s|     1 |     0 |123392 |     - | 123M|   0 |1629 |4500 |  72k|4500 |  73k|2563 |  42 |   0 | 1.763500e+03 |      --      |    Inf 
227.49/227.54	c   228s|     1 |     0 |127042 |     - | 124M|   0 |1663 |4500 |  72k|4500 |  73k|2618 |  42 |   0 | 1.766375e+03 |      --      |    Inf 
232.99/233.03	c   233s|     1 |     0 |130317 |     - | 124M|   0 |1661 |4500 |  72k|4500 |  73k|2670 |  42 |   0 | 1.769321e+03 |      --      |    Inf 
237.19/237.22	c   237s|     1 |     0 |133173 |     - | 124M|   0 |1597 |4500 |  72k|4500 |  73k|2728 |  42 |   0 | 1.775593e+03 |      --      |    Inf 
243.99/244.01	c   244s|     1 |     0 |138599 |     - | 124M|   0 |1633 |4500 |  72k|4500 |  73k|2786 |  42 |   0 | 1.781397e+03 |      --      |    Inf 
248.29/248.33	c   248s|     1 |     0 |142033 |     - | 125M|   0 |1710 |4500 |  72k|4500 |  73k|2852 |  42 |   0 | 1.787215e+03 |      --      |    Inf 
255.49/255.52	c   256s|     1 |     0 |147439 |     - | 125M|   0 |1655 |4500 |  72k|4500 |  73k|2909 |  42 |   0 | 1.793218e+03 |      --      |    Inf 
263.79/263.83	c   264s|     1 |     0 |153786 |     - | 125M|   0 |1614 |4500 |  72k|4500 |  73k|2964 |  42 |   0 | 1.798476e+03 |      --      |    Inf 
269.70/269.72	c   270s|     1 |     0 |157095 |     - | 126M|   0 |1630 |4500 |  72k|4500 |  73k|3018 |  42 |   0 | 1.803801e+03 |      --      |    Inf 
275.69/275.79	c   276s|     1 |     0 |160578 |     - | 126M|   0 |1612 |4500 |  72k|4500 |  73k|3072 |  42 |   0 | 1.805167e+03 |      --      |    Inf 
282.80/282.81	c   283s|     1 |     0 |164388 |     - | 126M|   0 |1601 |4500 |  72k|4500 |  73k|3132 |  42 |   0 | 1.807125e+03 |      --      |    Inf 
304.39/304.42	c   304s|     1 |     0 |175762 |     - | 126M|   0 |1594 |4500 |  72k|4500 |  73k|3198 |  42 |   0 | 1.808600e+03 |      --      |    Inf 
309.10/309.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
309.10/309.12	c   309s|     1 |     0 |179225 |     - | 127M|   0 |1581 |4500 |  72k|4500 |  74k|3280 |  42 |   0 | 1.814167e+03 |      --      |    Inf 
313.29/313.30	c   313s|     1 |     0 |182097 |     - | 127M|   0 |1611 |4500 |  72k|4500 |  74k|3341 |  42 |   0 | 1.817140e+03 |      --      |    Inf 
323.00/323.02	c   323s|     1 |     0 |188709 |     - | 127M|   0 |1658 |4500 |  72k|4500 |  73k|3398 |  42 |   0 | 1.819518e+03 |      --      |    Inf 
325.79/325.90	c   326s|     1 |     0 |190360 |     - | 128M|   0 |1586 |4500 |  72k|4500 |  73k|3446 |  42 |   0 | 1.821407e+03 |      --      |    Inf 
330.00/330.08	c   330s|     1 |     0 |193301 |     - | 128M|   0 |1555 |4500 |  72k|4500 |  73k|3516 |  42 |   0 | 1.825974e+03 |      --      |    Inf 
349.30/349.30	c   349s|     1 |     0 |204082 |     - | 128M|   0 |1587 |4500 |  72k|4500 |  74k|3573 |  42 |   0 | 1.829155e+03 |      --      |    Inf 
353.19/353.28	c   353s|     1 |     0 |207337 |     - | 129M|   0 |1638 |4500 |  72k|4500 |  74k|3637 |  42 |   0 | 1.833183e+03 |      --      |    Inf 
361.00/361.05	c   361s|     1 |     0 |212652 |     - | 129M|   0 |1654 |4500 |  72k|4500 |  74k|3694 |  42 |   0 | 1.837234e+03 |      --      |    Inf 
366.69/366.71	c   367s|     1 |     0 |216681 |     - | 129M|   0 |1655 |4500 |  72k|4500 |  73k|3760 |  42 |   0 | 1.840192e+03 |      --      |    Inf 
386.40/386.42	c   386s|     1 |     0 |227760 |     - | 130M|   0 |1667 |4500 |  72k|4500 |  74k|3827 |  42 |   0 | 1.842067e+03 |      --      |    Inf 
391.29/391.36	c   391s|     1 |     0 |230731 |     - | 130M|   0 |1628 |4500 |  72k|4500 |  74k|3888 |  42 |   0 | 1.844692e+03 |      --      |    Inf 
402.60/402.62	c   403s|     1 |     0 |238544 |     - | 130M|   0 |1669 |4500 |  72k|4500 |  74k|3941 |  42 |   0 | 1.846130e+03 |      --      |    Inf 
408.70/408.71	c   409s|     1 |     0 |241978 |     - | 131M|   0 |1779 |4500 |  72k|4500 |  74k|3997 |  42 |   0 | 1.847407e+03 |      --      |    Inf 
415.81/415.85	c   416s|     1 |     0 |245701 |     - | 131M|   0 |1772 |4500 |  72k|4500 |  74k|4052 |  42 |   0 | 1.849581e+03 |      --      |    Inf 
425.00/425.01	c   425s|     1 |     0 |250872 |     - | 131M|   0 |1704 |4500 |  72k|4500 |  74k|4114 |  42 |   0 | 1.851729e+03 |      --      |    Inf 
433.60/433.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
433.60/433.65	c   434s|     1 |     0 |256306 |     - | 132M|   0 |1684 |4500 |  72k|4500 |  74k|4172 |  42 |   0 | 1.856208e+03 |      --      |    Inf 
441.70/441.73	c   442s|     1 |     0 |261853 |     - | 132M|   0 |1664 |4500 |  72k|4500 |  74k|4241 |  42 |   0 | 1.859220e+03 |      --      |    Inf 
448.90/448.96	c   449s|     1 |     0 |265973 |     - | 132M|   0 |1690 |4500 |  72k|4500 |  74k|4304 |  42 |   0 | 1.861143e+03 |      --      |    Inf 
457.60/457.67	c   458s|     1 |     0 |271546 |     - | 133M|   0 |1757 |4500 |  72k|4500 |  74k|4352 |  42 |   0 | 1.862763e+03 |      --      |    Inf 
470.40/470.46	c   470s|     1 |     0 |278791 |     - | 133M|   0 |1777 |4500 |  72k|4500 |  74k|4397 |  42 |   0 | 1.864060e+03 |      --      |    Inf 
485.69/485.79	c   486s|     1 |     0 |287233 |     - | 133M|   0 |1729 |4500 |  72k|4500 |  74k|4450 |  42 |   0 | 1.867050e+03 |      --      |    Inf 
492.30/492.39	c   492s|     1 |     0 |291280 |     - | 134M|   0 |1781 |4500 |  72k|4500 |  74k|4500 |  42 |   0 | 1.869354e+03 |      --      |    Inf 
498.20/498.24	c   498s|     1 |     0 |294824 |     - | 134M|   0 |1801 |4500 |  72k|4500 |  74k|4558 |  42 |   0 | 1.871819e+03 |      --      |    Inf 
507.60/507.69	c   508s|     1 |     0 |299851 |     - | 135M|   0 |1782 |4500 |  72k|4500 |  74k|4617 |  42 |   0 | 1.874544e+03 |      --      |    Inf 
518.40/518.44	c   518s|     1 |     0 |306529 |     - | 135M|   0 |1819 |4500 |  72k|4500 |  74k|4680 |  42 |   0 | 1.875896e+03 |      --      |    Inf 
525.70/525.76	c   526s|     1 |     0 |310701 |     - | 135M|   0 |1778 |4500 |  72k|4500 |  74k|4731 |  42 |   0 | 1.877185e+03 |      --      |    Inf 
538.10/538.17	c   538s|     1 |     0 |317634 |     - | 136M|   0 |1849 |4500 |  72k|4500 |  74k|4779 |  42 |   0 | 1.878650e+03 |      --      |    Inf 
545.90/545.92	c   546s|     1 |     0 |322690 |     - | 136M|   0 |1773 |4500 |  72k|4500 |  74k|4822 |  42 |   0 | 1.881248e+03 |      --      |    Inf 
553.50/553.57	c   554s|     1 |     0 |327365 |     - | 136M|   0 |1821 |4500 |  72k|4500 |  74k|4883 |  42 |   0 | 1.883488e+03 |      --      |    Inf 
561.01/561.09	c   561s|     1 |     0 |332235 |     - | 137M|   0 |1816 |4500 |  72k|4500 |  74k|4944 |  42 |   0 | 1.885877e+03 |      --      |    Inf 
567.40/567.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
567.40/567.43	c   567s|     1 |     0 |335520 |     - | 137M|   0 |1866 |4500 |  72k|4500 |  74k|4993 |  42 |   0 | 1.888839e+03 |      --      |    Inf 
586.00/586.09	c   586s|     1 |     0 |345633 |     - | 137M|   0 |1856 |4500 |  72k|4500 |  74k|5038 |  42 |   0 | 1.889913e+03 |      --      |    Inf 
592.40/592.44	c   592s|     1 |     0 |349131 |     - | 138M|   0 |1818 |4500 |  72k|4500 |  74k|5085 |  42 |   0 | 1.890851e+03 |      --      |    Inf 
602.60/602.64	c   603s|     1 |     0 |354347 |     - | 138M|   0 |1882 |4500 |  72k|4500 |  74k|5133 |  42 |   0 | 1.892230e+03 |      --      |    Inf 
631.90/631.96	c   632s|     1 |     0 |366045 |     - | 138M|   0 |1886 |4500 |  72k|4500 |  74k|5185 |  42 |   0 | 1.895006e+03 |      --      |    Inf 
641.10/641.18	c   641s|     1 |     0 |370594 |     - | 138M|   0 |1918 |4500 |  72k|4500 |  74k|5223 |  42 |   0 | 1.896182e+03 |      --      |    Inf 
651.30/651.32	c   651s|     1 |     0 |376211 |     - | 139M|   0 |1894 |4500 |  72k|4500 |  74k|5274 |  42 |   0 | 1.897627e+03 |      --      |    Inf 
660.40/660.44	c   660s|     1 |     0 |382640 |     - | 139M|   0 |1916 |4500 |  72k|4500 |  74k|5323 |  42 |   0 | 1.899466e+03 |      --      |    Inf 
671.20/671.27	c   671s|     1 |     0 |387998 |     - | 139M|   0 |1835 |4500 |  72k|4500 |  74k|5372 |  42 |   0 | 1.901352e+03 |      --      |    Inf 
683.70/683.70	c   684s|     1 |     0 |394143 |     - | 140M|   0 |1804 |4500 |  72k|4500 |  74k|5410 |  42 |   0 | 1.901649e+03 |      --      |    Inf 
692.00/692.04	c   692s|     1 |     0 |397999 |     - | 140M|   0 |1897 |4500 |  72k|4500 |  74k|5455 |  42 |   0 | 1.901968e+03 |      --      |    Inf 
705.80/705.87	c   706s|     1 |     0 |404146 |     - | 141M|   0 |1856 |4500 |  72k|4500 |  74k|5501 |  42 |   0 | 1.903077e+03 |      --      |    Inf 
717.60/717.69	c   718s|     1 |     0 |409703 |     - | 141M|   0 |1913 |4500 |  72k|4500 |  74k|5541 |  42 |   0 | 1.904855e+03 |      --      |    Inf 
730.31/730.37	c   730s|     1 |     0 |415875 |     - | 141M|   0 |1940 |4500 |  72k|4500 |  74k|5585 |  42 |   0 | 1.905697e+03 |      --      |    Inf 
738.80/738.89	c   739s|     1 |     0 |419384 |     - | 142M|   0 |1911 |4500 |  72k|4500 |  74k|5617 |  42 |   0 | 1.907236e+03 |      --      |    Inf 
748.90/748.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
748.90/748.97	c   749s|     1 |     0 |424455 |     - | 142M|   0 |1916 |4500 |  72k|4500 |  74k|5651 |  42 |   0 | 1.908677e+03 |      --      |    Inf 
757.91/757.99	c   758s|     1 |     0 |428658 |     - | 142M|   0 |1942 |4500 |  72k|4500 |  74k|5690 |  42 |   0 | 1.909567e+03 |      --      |    Inf 
769.61/769.65	c   770s|     1 |     0 |433878 |     - | 142M|   0 |2012 |4500 |  72k|4500 |  74k|5740 |  42 |   0 | 1.911361e+03 |      --      |    Inf 
797.20/797.28	c   797s|     1 |     0 |444496 |     - | 143M|   0 |1982 |4500 |  72k|4500 |  74k|5777 |  42 |   0 | 1.912674e+03 |      --      |    Inf 
814.70/814.73	c   815s|     1 |     0 |451879 |     - | 143M|   0 |1925 |4500 |  72k|4500 |  74k|5815 |  42 |   0 | 1.914236e+03 |      --      |    Inf 
831.00/831.03	c   831s|     1 |     0 |458853 |     - | 143M|   0 |1951 |4500 |  72k|4500 |  74k|5850 |  42 |   0 | 1.914636e+03 |      --      |    Inf 
839.90/839.93	c   840s|     1 |     0 |463135 |     - | 143M|   0 |1946 |4500 |  72k|4500 |  74k|5880 |  42 |   0 | 1.916046e+03 |      --      |    Inf 
847.31/847.30	c   847s|     1 |     0 |466452 |     - | 143M|   0 |1952 |4500 |  72k|4500 |  74k|5914 |  42 |   0 | 1.916684e+03 |      --      |    Inf 
860.70/860.78	c   861s|     1 |     0 |472115 |     - | 143M|   0 |1953 |4500 |  72k|4500 |  74k|5946 |  42 |   0 | 1.917523e+03 |      --      |    Inf 
873.20/873.23	c   873s|     1 |     0 |477738 |     - | 143M|   0 |2065 |4500 |  72k|4500 |  74k|5984 |  42 |   0 | 1.918200e+03 |      --      |    Inf 
890.91/890.94	c   891s|     1 |     0 |485852 |     - | 143M|   0 |2004 |4500 |  72k|4500 |  74k|6015 |  42 |   0 | 1.919565e+03 |      --      |    Inf 
903.51/903.50	c   903s|     1 |     0 |491495 |     - | 143M|   0 |1989 |4500 |  72k|4500 |  74k|6045 |  42 |   0 | 1.921053e+03 |      --      |    Inf 
922.41/922.45	c   922s|     1 |     0 |500143 |     - | 142M|   0 |1995 |4500 |  72k|4500 |  74k|6078 |  42 |   0 | 1.922173e+03 |      --      |    Inf 
936.90/936.99	c   937s|     1 |     0 |507698 |     - | 142M|   0 |2027 |4500 |  72k|4500 |  74k|6108 |  42 |   0 | 1.922749e+03 |      --      |    Inf 
966.40/966.48	c   966s|     1 |     0 |519507 |     - | 142M|   0 |1980 |4500 |  72k|4500 |  74k|6139 |  42 |   0 | 1.923779e+03 |      --      |    Inf 
982.50/982.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
982.50/982.55	c   983s|     1 |     0 |528537 |     - | 142M|   0 |1993 |4500 |  72k|4500 |  74k|6166 |  42 |   0 | 1.925302e+03 |      --      |    Inf 
996.00/996.06	c   996s|     1 |     0 |534768 |     - | 142M|   0 |1988 |4500 |  72k|4500 |  74k|6204 |  42 |   0 | 1.926655e+03 |      --      |    Inf 
1021.71/1021.79	c  1022s|     1 |     0 |545972 |     - | 143M|   0 |2006 |4500 |  72k|4500 |  74k|6229 |  42 |   0 | 1.927795e+03 |      --      |    Inf 
1046.30/1046.37	c  1046s|     1 |     0 |556780 |     - | 143M|   0 |1989 |4500 |  72k|4500 |  74k|6261 |  42 |   0 | 1.928577e+03 |      --      |    Inf 
1056.50/1056.51	c  1057s|     1 |     0 |561654 |     - | 143M|   0 |2006 |4500 |  72k|4500 |  74k|6284 |  42 |   0 | 1.929249e+03 |      --      |    Inf 
1068.11/1068.18	c  1068s|     1 |     0 |567316 |     - | 143M|   0 |1982 |4500 |  72k|4500 |  74k|6314 |  42 |   0 | 1.930327e+03 |      --      |    Inf 
1078.90/1078.98	c  1079s|     1 |     0 |571680 |     - | 143M|   0 |1978 |4500 |  72k|4500 |  74k|6353 |  42 |   0 | 1.931786e+03 |      --      |    Inf 
1091.00/1091.07	c  1091s|     1 |     0 |577173 |     - | 143M|   0 |1996 |4500 |  72k|4500 |  74k|6394 |  42 |   0 | 1.932257e+03 |      --      |    Inf 
1104.01/1104.00	c  1104s|     1 |     0 |582456 |     - | 144M|   0 |2046 |4500 |  72k|4500 |  74k|6424 |  42 |   0 | 1.932437e+03 |      --      |    Inf 
1123.31/1123.39	c  1123s|     1 |     0 |589874 |     - | 144M|   0 |2119 |4500 |  72k|4500 |  74k|6456 |  42 |   0 | 1.932875e+03 |      --      |    Inf 
1152.51/1152.54	c  1153s|     1 |     0 |600125 |     - | 144M|   0 |2089 |4500 |  72k|4500 |  74k|6481 |  42 |   0 | 1.933313e+03 |      --      |    Inf 
1176.01/1176.03	c  1176s|     1 |     0 |608639 |     - | 144M|   0 |2053 |4500 |  72k|4500 |  74k|6505 |  42 |   0 | 1.934194e+03 |      --      |    Inf 
1201.11/1201.19	c  1201s|     1 |     0 |619052 |     - | 144M|   0 |2046 |4500 |  72k|4500 |  74k|6529 |  42 |   0 | 1.934518e+03 |      --      |    Inf 
1209.81/1209.85	c  1210s|     1 |     0 |623528 |     - | 145M|   0 |2045 |4500 |  72k|4500 |  74k|6558 |  42 |   0 | 1.935192e+03 |      --      |    Inf 
1230.41/1230.48	c  1230s|     1 |     0 |633551 |     - | 145M|   0 |2073 |4500 |  72k|4500 |  74k|6581 |  42 |   0 | 1.936165e+03 |      --      |    Inf 
1258.31/1258.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1258.31/1258.32	c  1258s|     1 |     0 |644204 |     - | 145M|   0 |2045 |4500 |  72k|4500 |  74k|6606 |  42 |   0 | 1.937489e+03 |      --      |    Inf 
1273.51/1273.53	c  1274s|     1 |     0 |649840 |     - | 145M|   0 |2034 |4500 |  72k|4500 |  74k|6628 |  42 |   0 | 1.937555e+03 |      --      |    Inf 
1296.41/1296.41	c  1296s|     1 |     0 |658445 |     - | 145M|   0 |2062 |4500 |  72k|4500 |  74k|6653 |  42 |   0 | 1.937671e+03 |      --      |    Inf 
1331.51/1331.54	c  1332s|     1 |     0 |668748 |     - | 145M|   0 |2039 |4500 |  72k|4500 |  74k|6683 |  42 |   0 | 1.938728e+03 |      --      |    Inf 
1354.31/1354.39	c  1354s|     1 |     0 |679217 |     - | 145M|   0 |2010 |4500 |  72k|4500 |  74k|6717 |  42 |   0 | 1.939700e+03 |      --      |    Inf 
1362.72/1362.80	c  1363s|     1 |     0 |683417 |     - | 145M|   0 |2012 |4500 |  72k|4500 |  74k|6742 |  42 |   0 | 1.940566e+03 |      --      |    Inf 
1375.51/1375.50	c  1375s|     1 |     0 |688882 |     - | 145M|   0 |2018 |4500 |  72k|4500 |  74k|6767 |  42 |   0 | 1.941600e+03 |      --      |    Inf 
1385.31/1385.35	c  1385s|     1 |     0 |693243 |     - | 146M|   0 |2032 |4500 |  72k|4500 |  74k|6794 |  42 |   0 | 1.942284e+03 |      --      |    Inf 
1404.41/1404.43	c  1404s|     1 |     0 |700287 |     - | 146M|   0 |1998 |4500 |  72k|4500 |  74k|6821 |  42 |   0 | 1.943312e+03 |      --      |    Inf 
1413.52/1413.53	c  1414s|     1 |     0 |703920 |     - | 146M|   0 |1978 |4500 |  72k|4500 |  74k|6842 |  42 |   0 | 1.944137e+03 |      --      |    Inf 
1425.81/1425.86	c  1426s|     1 |     0 |709636 |     - | 146M|   0 |2018 |4500 |  72k|4500 |  75k|6867 |  42 |   0 | 1.944795e+03 |      --      |    Inf 
1438.21/1438.28	c  1438s|     1 |     0 |715325 |     - | 146M|   0 |2040 |4500 |  72k|4500 |  74k|6895 |  42 |   0 | 1.945332e+03 |      --      |    Inf 
1450.21/1450.21	c  1450s|     1 |     0 |720954 |     - | 146M|   0 |2049 |4500 |  72k|4500 |  74k|6918 |  42 |   0 | 1.946023e+03 |      --      |    Inf 
1469.52/1469.52	c  1470s|     1 |     0 |725031 |     - | 146M|   0 |2042 |4500 |  72k|4500 |  75k|6946 |  42 |   0 | 1.946328e+03 |      --      |    Inf 
1488.71/1488.72	c  1489s|     1 |     0 |729172 |     - | 147M|   0 |2045 |4500 |  72k|4500 |  75k|6970 |  42 |   0 | 1.947009e+03 |      --      |    Inf 
1510.52/1510.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1510.52/1510.52	c  1511s|     1 |     0 |734821 |     - | 146M|   0 |2027 |4500 |  72k|4500 |  75k|6992 |  42 |   0 | 1.947515e+03 |      --      |    Inf 
1531.92/1531.90	c  1532s|     1 |     0 |739320 |     - | 146M|   0 |2046 |4500 |  72k|4500 |  75k|7007 |  42 |   0 | 1.947957e+03 |      --      |    Inf 
1543.02/1543.02	c  1543s|     1 |     0 |742391 |     - | 146M|   0 |2053 |4500 |  72k|4500 |  74k|7027 |  42 |   0 | 1.948604e+03 |      --      |    Inf 
1554.61/1554.67	c  1555s|     1 |     0 |746415 |     - | 146M|   0 |2067 |4500 |  72k|4500 |  74k|7046 |  42 |   0 | 1.949416e+03 |      --      |    Inf 
1588.91/1588.94	c  1589s|     1 |     0 |752377 |     - | 146M|   0 |2055 |4500 |  72k|4500 |  74k|7068 |  42 |   0 | 1.950198e+03 |      --      |    Inf 
1598.61/1598.64	c  1599s|     1 |     0 |756237 |     - | 147M|   0 |2065 |4500 |  72k|4500 |  75k|7093 |  42 |   0 | 1.950805e+03 |      --      |    Inf 
1626.51/1626.54	c  1627s|     1 |     0 |762750 |     - | 146M|   0 |2050 |4500 |  72k|4500 |  75k|7116 |  42 |   0 | 1.951458e+03 |      --      |    Inf 
1637.11/1637.17	c  1637s|     1 |     0 |767136 |     - | 147M|   0 |2055 |4500 |  72k|4500 |  75k|7137 |  42 |   0 | 1.952058e+03 |      --      |    Inf 
1663.41/1663.43	c  1663s|     1 |     0 |770520 |     - | 147M|   0 |2044 |4500 |  72k|4500 |  74k|7156 |  42 |   0 | 1.952858e+03 |      --      |    Inf 
1672.52/1672.58	c  1673s|     1 |     0 |774286 |     - | 147M|   0 |2061 |4500 |  72k|4500 |  74k|7177 |  42 |   0 | 1.953669e+03 |      --      |    Inf 
1711.52/1711.51	c  1712s|     1 |     0 |777012 |     - | 147M|   0 |2057 |4500 |  72k|4500 |  74k|7195 |  42 |   0 | 1.954555e+03 |      --      |    Inf 
1727.11/1727.17	c  1727s|     1 |     0 |782891 |     - | 147M|   0 |2049 |4500 |  72k|4500 |  75k|7217 |  42 |   0 | 1.955224e+03 |      --      |    Inf 
1759.52/1759.57	c  1760s|     1 |     0 |786409 |     - | 147M|   0 |2071 |4500 |  72k|4500 |  75k|7237 |  42 |   0 | 1.955468e+03 |      --      |    Inf 
1772.52/1772.54	c  1773s|     1 |     0 |791461 |     - | 147M|   0 |2073 |4500 |  72k|4500 |  75k|7254 |  42 |   0 | 1.956186e+03 |      --      |    Inf 
1794.62/1794.63	c  1795s|     1 |     0 |795161 |     - | 147M|   0 |2068 |4500 |  72k|4500 |  74k|7271 |  42 |   0 | 1.956633e+03 |      --      |    Inf 
1797.02/1797.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1797.02/1797.00	c  1797s|     1 |     0 |795161 |     - | 147M|   0 |   - |4500 |  72k|4500 |  74k|7285 |  42 |   0 | 1.956633e+03 |      --      |    Inf 
1797.02/1797.02	c  1797s|     1 |     2 |795161 |     - | 147M|   0 |   - |4500 |  72k|4500 |  74k|7285 |  42 |   0 | 1.956633e+03 |      --      |    Inf 
1797.02/1797.02	c 
1797.02/1797.02	c SCIP Status        : solving was interrupted [time limit reached]
1797.02/1797.02	c Solving Time (sec) : 1797.02
1797.02/1797.02	c Solving Nodes      : 1
1797.02/1797.02	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.02/1797.02	c Dual Bound         : +1.95663253903717e+03
1797.02/1797.02	c Gap                : infinite
1797.02/1797.02	s UNKNOWN
1797.02/1797.02	c SCIP Status        : solving was interrupted [time limit reached]
1797.02/1797.02	c Total Time         :    1797.02
1797.02/1797.02	c   solving          :    1797.02
1797.02/1797.02	c   presolving       :      20.90 (included in solving)
1797.02/1797.02	c   reading          :       0.36 (included in solving)
1797.02/1797.02	c Original Problem   :
1797.02/1797.02	c   Problem name     : HOME/instance-3488769-1307766918.opb
1797.02/1797.02	c   Variables        : 4500 (4500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.02	c   Constraints      : 72413 initial, 72413 maximal
1797.02/1797.02	c Presolved Problem  :
1797.02/1797.02	c   Problem name     : t_HOME/instance-3488769-1307766918.opb
1797.02/1797.02	c   Variables        : 4500 (4500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.02	c   Constraints      : 72413 initial, 72455 maximal
1797.02/1797.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.02/1797.02	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.02	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.02	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.02	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.02	c   probing          :      20.38          0          0          0          0          0          0          0          0          0
1797.02/1797.02	c   setppc           :       0.08          0          0          0          0          0          0          0          0          0
1797.02/1797.02	c   linear           :       0.38          0          0          0          0          0          0          0          0          0
1797.02/1797.02	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.02	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.02/1797.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.02/1797.02	c   integral         :          0          0          0          0          0          4          0          0          0          0          0          0
1797.02/1797.02	c   setppc           :      72288        165       6906          0          1          3       2445          1          0          0          0          0
1797.02/1797.02	c   logicor          :        125+       165        894          0          1          0        622         14          0          0          0          0
1797.02/1797.02	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1797.02/1797.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.02/1797.02	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.02/1797.02	c   setppc           :      19.15       0.92      18.20       0.00       0.02       0.01       0.00
1797.02/1797.02	c   logicor          :       0.03       0.00       0.03       0.00       0.00       0.00       0.00
1797.02/1797.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.02/1797.02	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.02/1797.02	c   vbounds          :          0          0          0          0
1797.02/1797.02	c   rootredcost      :          0          0          0          0
1797.02/1797.02	c   pseudoobj        :       1071          0          0          0
1797.02/1797.02	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.02/1797.02	c   vbounds          :       0.00       0.00       0.00
1797.02/1797.02	c   rootredcost      :       0.00       0.00       0.00
1797.02/1797.02	c   pseudoobj        :       0.01       0.01       0.00
1797.02/1797.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.02/1797.02	c   propagation      :       0.00         15         15        115       91.2          0        0.0          -
1797.02/1797.02	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.02/1797.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.02/1797.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.02/1797.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.02/1797.02	c   applied globally :          -          -          -         42       62.7          -          -          -
1797.02/1797.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.02/1797.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.02/1797.02	c   cut pool         :       0.81        164          -          -       3957          -    (maximal pool size: 15621)
1797.02/1797.02	c   redcost          :       0.02        165          0          0          0          0
1797.02/1797.02	c   impliedbounds    :       0.61        165          0          0          0          0
1797.02/1797.02	c   intobj           :       0.00          0          0          0          0          0
1797.02/1797.02	c   gomory           :     346.71        165          0          0      81943          0
1797.02/1797.02	c   cgmip            :       0.00          0          0          0          0          0
1797.02/1797.02	c   closecuts        :       0.00          0          0          0          0          0
1797.02/1797.02	c   strongcg         :       4.68         20          0          0      10000          0
1797.02/1797.02	c   cmir             :       8.21         10          0          0          0          0
1797.02/1797.02	c   flowcover        :       9.26         10          0          0          0          0
1797.02/1797.02	c   clique           :      14.13        164          0          0       1599          0
1797.02/1797.02	c   zerohalf         :       0.00          0          0          0          0          0
1797.02/1797.02	c   mcf              :       0.07          1          0          0          0          0
1797.02/1797.02	c   oddcycle         :       0.00          0          0          0          0          0
1797.02/1797.02	c   rapidlearning    :       0.00          0          0          0          0          0
1797.02/1797.02	c Pricers            :       Time      Calls       Vars
1797.02/1797.02	c   problem variables:       0.00          0          0
1797.02/1797.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.02/1797.02	c   relpscost        :       0.00          0          0          0          0          0          0
1797.02/1797.02	c   pscost           :       0.00          0          0          0          0          0          0
1797.02/1797.02	c   inference        :       0.00          1          0          0          0          0          2
1797.02/1797.02	c   mostinf          :       0.00          0          0          0          0          0          0
1797.02/1797.02	c   leastinf         :       0.00          0          0          0          0          0          0
1797.02/1797.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.02/1797.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.02/1797.02	c   random           :       0.00          0          0          0          0          0          0
1797.02/1797.02	c Primal Heuristics  :       Time      Calls      Found
1797.02/1797.02	c   LP solutions     :       0.00          -          0
1797.02/1797.02	c   pseudo solutions :       0.00          -          0
1797.02/1797.02	c   oneopt           :       0.00          0          0
1797.02/1797.02	c   trivial          :       0.03          2          0
1797.02/1797.02	c   shiftandpropagate:       0.90          1          0
1797.02/1797.02	c   simplerounding   :       0.00          0          0
1797.02/1797.02	c   zirounding       :       0.00          0          0
1797.02/1797.02	c   rounding         :       0.75        100          0
1797.02/1797.02	c   shifting         :      14.49        100          0
1797.02/1797.02	c   intshifting      :       0.00          0          0
1797.02/1797.02	c   twoopt           :       0.00          0          0
1797.02/1797.02	c   fixandinfer      :       0.00          0          0
1797.02/1797.02	c   feaspump         :       1.83          1          0
1797.02/1797.02	c   clique           :       0.00          0          0
1797.02/1797.02	c   coefdiving       :       0.00          0          0
1797.02/1797.02	c   pscostdiving     :       0.00          0          0
1797.02/1797.02	c   fracdiving       :       0.00          0          0
1797.02/1797.02	c   veclendiving     :       0.00          0          0
1797.02/1797.02	c   intdiving        :       0.00          0          0
1797.02/1797.02	c   actconsdiving    :       0.00          0          0
1797.02/1797.02	c   objpscostdiving  :       0.00          0          0
1797.02/1797.02	c   rootsoldiving    :       0.00          0          0
1797.02/1797.02	c   linesearchdiving :       0.00          0          0
1797.02/1797.02	c   guideddiving     :       0.00          0          0
1797.02/1797.02	c   octane           :       0.00          0          0
1797.02/1797.02	c   rens             :       0.00          0          0
1797.02/1797.02	c   rins             :       0.00          0          0
1797.02/1797.02	c   localbranching   :       0.00          0          0
1797.02/1797.02	c   mutation         :       0.00          0          0
1797.02/1797.02	c   crossover        :       0.00          0          0
1797.02/1797.02	c   dins             :       0.00          0          0
1797.02/1797.02	c   vbounds          :       0.00          0          0
1797.02/1797.02	c   undercover       :       0.00          0          0
1797.02/1797.02	c   subnlp           :       0.00          0          0
1797.02/1797.02	c   trysol           :       0.00          0          0
1797.02/1797.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.02/1797.02	c   primal LP        :       0.68          0          0       0.00       0.00
1797.02/1797.02	c   dual LP          :    1369.32        165     794224    4813.48     580.01
1797.02/1797.02	c   lex dual LP      :       0.00          0          0       0.00          -
1797.02/1797.02	c   barrier LP       :       0.00          0          0       0.00          -
1797.02/1797.02	c   diving/probing LP:       1.37         69        937      13.58     684.58
1797.02/1797.02	c   strong branching :       0.00          0          0       0.00          -
1797.02/1797.02	c     (at root node) :          -          0          0       0.00          -
1797.02/1797.02	c   conflict analysis:       0.00          0          0       0.00          -
1797.02/1797.02	c B&B Tree           :
1797.02/1797.02	c   number of runs   :          1
1797.02/1797.02	c   nodes            :          1
1797.02/1797.02	c   nodes (total)    :          1
1797.02/1797.02	c   nodes left       :          2
1797.02/1797.02	c   max depth        :          0
1797.02/1797.02	c   max depth (total):          0
1797.02/1797.02	c   backtracks       :          0 (0.0%)
1797.02/1797.02	c   delayed cutoffs  :          0
1797.02/1797.02	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.02/1797.02	c   avg switch length:       1.00
1797.02/1797.02	c   switching time   :       0.00
1797.02/1797.02	c Solution           :
1797.02/1797.02	c   Solutions found  :          0 (0 improvements)
1797.02/1797.02	c   Primal Bound     :          -
1797.02/1797.02	c   Dual Bound       : +1.95663253903717e+03
1797.02/1797.02	c   Gap              :   infinite
1797.02/1797.02	c   Root Dual Bound  : +1.95663253903717e+03
1797.02/1797.02	c   Root Iterations  :     795161
1797.22/1797.20	c Time complete: 1797.22.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488769-1307766918/watcher-3488769-1307766918 -o /tmp/evaluation-result-3488769-1307766918/solver-3488769-1307766918 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488769-1307766918.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20709
/proc/meminfo: memFree=31689716/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=10944 CPUtime=0 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 1810 0 0 0 0 0 0 0 25 0 1 0 888290502 11206656 1764 33554432000 4194304 9016284 140736180560736 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20709/statm: 2736 1778 340 1178 0 1554 0

[startup+0.0618121 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20709
/proc/meminfo: memFree=31689716/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=22884 CPUtime=0.05 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 4730 0 0 0 5 0 0 0 25 0 1 0 888290502 23433216 4684 33554432000 4194304 9016284 140736180560736 18446744073709551615 7764604 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20709/statm: 5721 4684 360 1178 0 4539 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 22884

[startup+0.100803 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20709
/proc/meminfo: memFree=31689716/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=25316 CPUtime=0.09 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 5342 0 0 0 9 0 0 0 25 0 1 0 888290502 25923584 5296 33554432000 4194304 9016284 140736180560736 18446744073709551615 4536647 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20709/statm: 6329 5296 360 1178 0 5147 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25316

[startup+0.300883 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20709
/proc/meminfo: memFree=31689716/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=40700 CPUtime=0.28 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 8953 0 0 0 28 0 0 0 25 0 1 0 888290502 41676800 8907 33554432000 4194304 9016284 140736180560736 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20709/statm: 10175 8937 360 1178 0 8993 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 40700

[startup+0.70082 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20709
/proc/meminfo: memFree=31689716/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=125020 CPUtime=0.69 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 29925 0 0 0 67 2 0 0 25 0 1 0 888290502 128020480 29849 33554432000 4194304 9016284 140736180560736 18446744073709551615 4445973 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 31255 29849 475 1178 0 30073 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 125020

[startup+1.50069 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20710
/proc/meminfo: memFree=31533116/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=131704 CPUtime=1.49 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 37317 0 0 0 145 4 0 0 25 0 1 0 888290502 134864896 31555 33554432000 4194304 9016284 140736180560736 18446744073709551615 4330619 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 32926 31555 512 1178 0 31744 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131704

[startup+3.10038 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20710
/proc/meminfo: memFree=31532372/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=131704 CPUtime=3.09 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 37319 0 0 0 305 4 0 0 25 0 1 0 888290502 134864896 31557 33554432000 4194304 9016284 140736180560736 18446744073709551615 5512299 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 32926 31557 512 1178 0 31744 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 131704

[startup+6.30083 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20710
/proc/meminfo: memFree=31529996/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=131704 CPUtime=6.29 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 37321 0 0 0 625 4 0 0 25 0 1 0 888290502 134864896 31559 33554432000 4194304 9016284 140736180560736 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 32926 31559 512 1178 0 31744 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 131704

[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20710
/proc/meminfo: memFree=31530080/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=131704 CPUtime=12.69 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 37327 0 0 0 1265 4 0 0 25 0 1 0 888290502 134864896 31565 33554432000 4194304 9016284 140736180560736 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 32926 31565 517 1178 0 31744 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 131704

[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20711
/proc/meminfo: memFree=31423916/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=246740 CPUtime=25.49 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 72177 0 0 0 2540 9 0 0 25 0 1 0 888290502 252661760 58643 33554432000 4194304 9016284 140736180560736 18446744073709551615 7227419 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 61685 58643 673 1178 0 60503 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 246740

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20711
/proc/meminfo: memFree=31409964/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=264116 CPUtime=51.09 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 89615 0 0 0 5096 13 0 0 25 0 1 0 888290502 270454784 61890 33554432000 4194304 9016284 140736180560736 18446744073709551615 6270523 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 66029 61890 730 1178 0 64847 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 264116

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20713
/proc/meminfo: memFree=31376564/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=288408 CPUtime=102.29 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 105200 0 0 0 10205 24 0 0 25 0 1 0 888290502 295329792 69991 33554432000 4194304 9016284 140736180560736 18446744073709551615 6520767 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 72102 69991 719 1178 0 70920 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 288408

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20714
/proc/meminfo: memFree=31370760/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=294900 CPUtime=162.29 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 106796 0 0 0 16191 38 0 0 25 0 1 0 888290502 301977600 71584 33554432000 4194304 9016284 140736180560736 18446744073709551615 7178149 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 73725 71584 716 1178 0 72543 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 294900

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20754
/proc/meminfo: memFree=31337532/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=298540 CPUtime=222.29 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 109411 0 0 0 22176 53 0 0 25 0 1 0 888290502 305704960 73530 33554432000 4194304 9016284 140736180560736 18446744073709551615 7204773 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 74635 73530 1073 1178 0 73453 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 298540

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20755
/proc/meminfo: memFree=31325508/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=304768 CPUtime=282.3 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 111166 0 0 0 28163 67 0 0 25 0 1 0 888290502 312082432 75079 33554432000 4194304 9016284 140736180560736 18446744073709551615 7180745 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 76192 75079 867 1178 0 75010 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 304768

[startup+342.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/178 20795
/proc/meminfo: memFree=31321540/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=304768 CPUtime=342.29 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 111171 0 0 0 34148 81 0 0 25 0 1 0 888290502 312082432 75082 33554432000 4194304 9016284 140736180560736 18446744073709551615 7180528 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 76192 75082 867 1178 0 75010 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 304768

[startup+402.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 20797
/proc/meminfo: memFree=31321932/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=304768 CPUtime=402.29 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 111321 0 0 0 40135 94 0 0 25 0 1 0 888290502 312082432 75082 33554432000 4194304 9016284 140736180560736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 76192 75082 717 1178 0 75010 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 304768

[startup+462.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 20798
/proc/meminfo: memFree=31318520/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=310148 CPUtime=462.29 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 116852 0 0 0 46122 107 0 0 25 0 1 0 888290502 317591552 75927 33554432000 4194304 9016284 140736180560736 18446744073709551615 7181009 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 77537 75927 717 1178 0 76355 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 310148

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 20838
/proc/meminfo: memFree=31315216/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=304208 CPUtime=522.3 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 121441 0 0 0 52111 119 0 0 25 0 1 0 888290502 311508992 73377 33554432000 4194304 9016284 140736180560736 18446744073709551615 7189360 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 76052 73377 716 1178 0 74870 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 304208

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 20839
/proc/meminfo: memFree=31313864/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=305464 CPUtime=582.3 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 129120 0 0 0 58095 135 0 0 25 0 1 0 888290502 312795136 73695 33554432000 4194304 9016284 140736180560736 18446744073709551615 7157158 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 76366 73695 716 1178 0 75184 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 305464

[startup+642.301 s]

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

/proc/meminfo: memFree=31279184/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=320656 CPUtime=1122.31 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 141899 0 0 0 111992 239 0 0 25 0 1 0 888290502 328351744 78065 33554432000 4194304 9016284 140736180560736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 80164 78065 715 1178 0 78982 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 320656

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20855
/proc/meminfo: memFree=31277660/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=320656 CPUtime=1182.3 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 141900 0 0 0 117982 248 0 0 25 0 1 0 888290502 328351744 78066 33554432000 4194304 9016284 140736180560736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 80164 78066 715 1178 0 78982 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 320656

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20857
/proc/meminfo: memFree=31276244/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=320656 CPUtime=1242.31 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 141901 0 0 0 123971 260 0 0 25 0 1 0 888290502 328351744 78067 33554432000 4194304 9016284 140736180560736 18446744073709551615 6855193 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 80164 78067 715 1178 0 78982 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 320656

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20859
/proc/meminfo: memFree=31275088/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=320656 CPUtime=1302.31 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 141901 0 0 0 129960 271 0 0 25 0 1 0 888290502 328351744 78067 33554432000 4194304 9016284 140736180560736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 80164 78067 715 1178 0 78982 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 320656

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20860
/proc/meminfo: memFree=31273568/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=320656 CPUtime=1362.32 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 141903 0 0 0 135950 282 0 0 25 0 1 0 888290502 328351744 78069 33554432000 4194304 9016284 140736180560736 18446744073709551615 7181032 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 80164 78069 715 1178 0 78982 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 320656

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20862
/proc/meminfo: memFree=31268300/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=334836 CPUtime=1422.32 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 156464 0 0 0 141938 294 0 0 25 0 1 0 888290502 342872064 79074 33554432000 4194304 9016284 140736180560736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 83709 79074 715 1178 0 82527 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 334836

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20863
/proc/meminfo: memFree=31274592/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=325916 CPUtime=1482.32 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 159240 0 0 0 147928 304 0 0 25 0 1 0 888290502 333737984 77847 33554432000 4194304 9016284 140736180560736 18446744073709551615 7180913 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 81479 77847 1166 1178 0 80297 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 325916

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20865
/proc/meminfo: memFree=31268076/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=332264 CPUtime=1542.31 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 164609 0 0 0 153916 315 0 0 25 0 1 0 888290502 340238336 79240 33554432000 4194304 9016284 140736180560736 18446744073709551615 7180913 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 83066 79240 1198 1178 0 81884 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 332264

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20876
/proc/meminfo: memFree=31269544/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=334776 CPUtime=1602.32 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 168768 0 0 0 159905 327 0 0 25 0 1 0 888290502 342810624 79196 33554432000 4194304 9016284 140736180560736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 83694 79196 1778 1178 0 82512 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 334776

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 20877
/proc/meminfo: memFree=31269380/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=335012 CPUtime=1662.31 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 172309 0 0 0 165893 338 0 0 25 0 1 0 888290502 343052288 79165 33554432000 4194304 9016284 140736180560736 18446744073709551615 7180872 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 83753 79165 1842 1178 0 82571 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 335012

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20879
/proc/meminfo: memFree=31263628/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=334612 CPUtime=1722.31 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 178126 0 0 0 171881 350 0 0 25 0 1 0 888290502 342642688 80978 33554432000 4194304 9016284 140736180560736 18446744073709551615 7152978 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 83653 80978 2240 1178 0 82471 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 334612

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20921
/proc/meminfo: memFree=31086660/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=334780 CPUtime=1782.32 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 178204 0 0 0 177871 361 0 0 25 0 1 0 888290502 342814720 81029 33554432000 4194304 9016284 140736180560736 18446744073709551615 7875929 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 83695 81029 2213 1178 0 82513 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 334780

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20921
/proc/meminfo: memFree=31082636/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=334780 CPUtime=1785.52 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 178204 0 0 0 178190 362 0 0 25 0 1 0 888290502 342814720 81029 33554432000 4194304 9016284 140736180560736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 83695 81029 2213 1178 0 82513 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 334780

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20922
/proc/meminfo: memFree=31076052/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=334924 CPUtime=1791.93 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 178254 0 0 0 178830 363 0 0 25 0 1 0 888290502 342962176 81061 33554432000 4194304 9016284 140736180560736 18446744073709551615 7180882 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 83731 81061 2195 1178 0 82549 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 334924

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20922
/proc/meminfo: memFree=31091228/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=325196 CPUtime=1795.13 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 178542 0 0 0 179149 364 0 0 25 0 1 0 888290502 333000704 76883 33554432000 4194304 9016284 140736180560736 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 81299 76883 1627 1178 0 80117 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 325196

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20922
/proc/meminfo: memFree=31091228/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=325196 CPUtime=1795.92 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 178542 0 0 0 179228 364 0 0 25 0 1 0 888290502 333000704 76883 33554432000 4194304 9016284 140736180560736 18446744073709551615 6578107 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 81299 76883 1627 1178 0 80117 0
Current children cumulated CPU time (s) 1795.92
Current children cumulated vsize (KiB) 325196

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20922
/proc/meminfo: memFree=31091228/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=325196 CPUtime=1796.72 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 178542 0 0 0 179308 364 0 0 25 0 1 0 888290502 333000704 76883 33554432000 4194304 9016284 140736180560736 18446744073709551615 6922736 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20709/statm: 81299 76883 1627 1178 0 80117 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 325196

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20922
/proc/meminfo: memFree=31091228/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=325196 CPUtime=1797.12 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 178561 0 0 0 179348 364 0 0 25 0 1 0 888290502 333000704 76902 33554432000 4194304 9016284 140736180560736 18446744073709551615 6817720 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20709/statm: 81299 76902 1635 1178 0 80117 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 325196

[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20922
/proc/meminfo: memFree=31091228/32950928 swapFree=67050648/67111528
[pid=20709] ppid=20707 vsize=197632 CPUtime=1797.22 cores=0,2,4,6
/proc/20709/stat : 20709 (scip-2.0.1.4b_2) R 20707 20709 19488 0 -1 4202496 178565 0 0 0 179357 365 0 0 25 0 1 0 888290502 202375168 48689 33554432000 4194304 9016284 140736180560736 18446744073709551615 7933303 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20709/statm: 49171 48452 727 1178 0 47989 0
Current children cumulated CPU time (s) 1797.22
Current children cumulated vsize (KiB) 197632

Child status: 0
Real time (s): 1797.21
CPU time (s): 1797.24
CPU user time (s): 1793.58
CPU system time (s): 3.65844
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 335288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.58
system time used= 3.65844
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178570
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= 6
involuntary context switches= 2812

runsolver used 2.74558 second user time and 6.14007 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-11 06:35:18
IDJOB=3488769
IDBENCH=2173
IDSOLVER=1979
FILE ID=node126/3488769-1307766918
RUNJOBID= node126-1307759435-19506
PBS_JOBID= 13550866
Free space on /tmp= 74160 MiB

SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.18.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3488769-1307766918/watcher-3488769-1307766918 -o /tmp/evaluation-result-3488769-1307766918/solver-3488769-1307766918 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488769-1307766918.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 18a894a2ba4f3cf6bad1b497c8fca8eb
RANDOM SEED=1982853788

node126.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.783
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.56
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.783
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.783
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.74
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.783
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.74
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.783
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.80
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.783
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.783
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.82
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31698344 kB
Buffers:        266656 kB
Cached:         766396 kB
SwapCached:      14888 kB
Active:         485356 kB
Inactive:       567968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31698344 kB
SwapTotal:    67111528 kB
SwapFree:     67050648 kB
Dirty:           35660 kB
Writeback:           0 kB
AnonPages:       17000 kB
Mapped:           8952 kB
Slab:           133884 kB
PageTables:       3576 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   185440 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= 74132 MiB
End job on node126 at 2011-06-11 07:05:15