Trace number 2666855

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1800.26 1800.68

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-4-c.opb
MD5SUM28753ff2e44c4cedb2d3a2e783f8d1a4
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 variables2666
Total number of constraints6659
Number of constraints which are clauses6659
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 constraint3
Number of terms in the objective function 2666
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 2666
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2666
Number of bits of the biggest sum of numbers12
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: SoPlex 1.4.2] [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-2666855-1276448478.opb>
0.09/0.13	c original problem has 2666 variables (2666 bin, 0 int, 0 impl, 0 cont) and 6659 constraints
0.09/0.13	c problem read
0.09/0.13	c presolving settings loaded
0.09/0.18	c presolving:
0.29/0.33	c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6535 upgd conss, 5642 impls, 0 clqs
0.29/0.35	c (round 2) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6536 upgd conss, 5642 impls, 0 clqs
0.29/0.37	c (round 3) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 5642 impls, 0 clqs
0.39/0.43	c (round 4) 50 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7104 impls, 0 clqs
0.39/0.44	c (round 5) 53 del vars, 127 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7142 impls, 0 clqs
0.39/0.47	c (round 6) 53 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7142 impls, 0 clqs
0.59/0.65	c (round 7) 103 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 27330 impls, 0 clqs
0.70/0.78	c (round 8) 153 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 46786 impls, 0 clqs
0.89/0.93	c    (0.7s) probing: 548/2666 (20.6%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.93	c    (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.93	c (round 9) 188 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 48388 impls, 0 clqs
0.89/0.95	c    (0.7s) probing: 558/2666 (20.9%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.95	c    (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.95	c presolving (10 rounds):
0.89/0.95	c  188 deleted vars, 129 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.89/0.95	c  48388 implications, 0 cliques
0.89/0.95	c presolved problem has 2478 variables (2478 bin, 0 int, 0 impl, 0 cont) and 6530 constraints
0.89/0.95	c    6530 constraints of type <logicor>
0.89/0.95	c transformed objective value is always integral (scale: 1)
0.89/0.95	c Presolving Time: 0.70
0.89/0.95	c - non default parameters ----------------------------------------------------------------------
0.89/0.95	c # SCIP version 1.2.1.2
0.89/0.95	c 
0.89/0.95	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.95	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.95	c conflict/interconss = 0
0.89/0.95	c 
0.89/0.95	c # should binary conflicts be preferred?
0.89/0.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95	c conflict/preferbinary = TRUE
0.89/0.95	c 
0.89/0.95	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.95	c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.95	c constraints/agelimit = 1
0.89/0.95	c 
0.89/0.95	c # should enforcement of pseudo solution be disabled?
0.89/0.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95	c constraints/disableenfops = TRUE
0.89/0.95	c 
0.89/0.95	c # frequency for displaying node information lines
0.89/0.95	c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.95	c display/freq = 10000
0.89/0.95	c 
0.89/0.95	c # maximal time in seconds to run
0.89/0.95	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.95	c limits/time = 1799.87
0.89/0.95	c 
0.89/0.95	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.95	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.95	c limits/memory = 1620
0.89/0.95	c 
0.89/0.95	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.95	c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.95	c lp/solvefreq = 0
0.89/0.95	c 
0.89/0.95	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.89/0.95	c # [type: char, range: {lafpsqd}, default: l]
0.89/0.95	c lp/pricing = a
0.89/0.95	c 
0.89/0.95	c # should presolving try to simplify inequalities
0.89/0.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95	c constraints/linear/simplifyinequalities = TRUE
0.89/0.95	c 
0.89/0.95	c # should presolving try to simplify knapsacks
0.89/0.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95	c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.95	c 
0.89/0.95	c # priority of node selection rule <dfs> in standard mode
0.89/0.95	c # [type: int, range: [-536870912,536870911], default: 0]
0.89/0.95	c nodeselection/dfs/stdpriority = 1000000
0.89/0.95	c 
0.89/0.95	c -----------------------------------------------------------------------------------------------
0.89/0.95	c start solving
0.89/0.96	c 
4.59/4.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.59/4.64	c   4.3s|     1 |     0 |  5044 |     - |  15M|   0 |1753 |2478 |6530 |2478 |6343 |   0 |   0 |   0 | 7.986569e+02 |      --      |    Inf 
20.49/20.52	c  20.1s|     1 |     0 | 15611 |     - |  20M|   0 |1974 |2478 |6530 |2478 |7409 |1066 |   0 |   0 | 8.234726e+02 |      --      |    Inf 
22.99/23.03	c  22.6s|     1 |     0 | 16998 |     - |  27M|   0 |2227 |2478 |6530 |2478 |7436 |1093 |   0 |   0 | 8.278169e+02 |      --      |    Inf 
25.98/26.08	c  25.6s|     1 |     0 | 18597 |     - |  29M|   0 |1562 |2478 |6530 |2478 |7472 |1129 |   0 |   0 | 8.324829e+02 |      --      |    Inf 
27.98/28.01	c  27.5s|     1 |     0 | 19648 |     - |  31M|   0 |1546 |2478 |6530 |2478 |7513 |1170 |   0 |   0 | 8.369248e+02 |      --      |    Inf 
30.49/30.59	c  30.1s|     1 |     0 | 20837 |     - |  34M|   0 |1566 |2478 |6530 |2478 |7542 |1199 |   0 |   0 | 8.387865e+02 |      --      |    Inf 
34.48/34.58	c  34.0s|     1 |     0 | 22803 |     - |  37M|   0 |1610 |2478 |6530 |2478 |7579 |1236 |   0 |   0 | 8.416091e+02 |      --      |    Inf 
37.79/37.83	c  37.2s|     1 |     0 | 24576 |     - |  39M|   0 |1589 |2478 |6530 |2478 |7618 |1275 |   0 |   0 | 8.434840e+02 |      --      |    Inf 
42.58/42.61	c  42.0s|     1 |     0 | 26847 |     - |  42M|   0 |1521 |2478 |6530 |2478 |7660 |1317 |   0 |   0 | 8.472886e+02 |      --      |    Inf 
47.78/47.87	c  47.2s|     1 |     0 | 29409 |     - |  45M|   0 |1538 |2478 |6530 |2478 |7705 |1362 |   0 |   0 | 8.510470e+02 |      --      |    Inf 
51.78/51.84	c  51.1s|     1 |     0 | 31081 |     - |  47M|   0 |1576 |2478 |6530 |2478 |7741 |1398 |   0 |   0 | 8.543916e+02 |      --      |    Inf 
55.68/55.76	c  55.0s|     1 |     0 | 32825 |     - |  51M|   0 |1556 |2478 |6530 |2478 |7785 |1442 |   0 |   0 | 8.588080e+02 |      --      |    Inf 
61.28/61.32	c  60.5s|     1 |     0 | 35215 |     - |  56M|   0 |1574 |2478 |6530 |2478 |7813 |1470 |   0 |   0 | 8.599717e+02 |      --      |    Inf 
69.78/69.85	c  68.9s|     1 |     0 | 38378 |     - |  60M|   0 |1957 |2478 |6530 |2478 |6797 |1506 |   0 |   0 | 8.635346e+02 |      --      |    Inf 
75.98/76.04	c  75.1s|     1 |     0 | 41010 |     - |  66M|   0 |1895 |2478 |6530 |2478 |6840 |1549 |   0 |   0 | 8.795759e+02 |      --      |    Inf 
80.18/80.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
80.18/80.26	c  79.3s|     1 |     0 | 43001 |     - |  69M|   0 |1529 |2478 |6530 |2478 |6872 |1581 |   0 |   0 | 8.812723e+02 |      --      |    Inf 
83.07/83.13	c  82.1s|     1 |     0 | 44352 |     - |  72M|   0 |1577 |2478 |6530 |2478 |6907 |1616 |   0 |   0 | 8.844810e+02 |      --      |    Inf 
87.17/87.27	c  86.2s|     1 |     0 | 46394 |     - |  76M|   0 |1578 |2478 |6530 |2478 |6935 |1644 |   0 |   0 | 8.872855e+02 |      --      |    Inf 
93.17/93.24	c  92.1s|     1 |     0 | 48869 |     - |  80M|   0 |1667 |2478 |6530 |2478 |6964 |1673 |   0 |   0 | 8.894482e+02 |      --      |    Inf 
98.07/98.18	c  97.0s|     1 |     0 | 51077 |     - |  84M|   0 |1623 |2478 |6530 |2478 |6837 |1708 |   0 |   0 | 8.920242e+02 |      --      |    Inf 
101.97/102.00	c   101s|     1 |     0 | 53187 |     - |  87M|   0 |2037 |2478 |6530 |2478 |6865 |1736 |   0 |   0 | 8.945922e+02 |      --      |    Inf 
109.07/109.18	c   108s|     1 |     0 | 56585 |     - |  89M|   0 |1686 |2478 |6530 |2478 |6910 |1781 |   0 |   0 | 9.003238e+02 |      --      |    Inf 
111.56/111.69	c   110s|     1 |     0 | 57928 |     - |  90M|   0 |1685 |2478 |6530 |2478 |6947 |1818 |   0 |   0 | 9.045682e+02 |      --      |    Inf 
119.16/119.21	c   118s|     1 |     0 | 61342 |     - |  91M|   0 |1656 |2478 |6530 |2478 |6988 |1859 |   0 |   0 | 9.062106e+02 |      --      |    Inf 
125.76/125.84	c   124s|     1 |     0 | 64424 |     - |  92M|   0 |1710 |2478 |6530 |2478 |7039 |1910 |   0 |   0 | 9.098918e+02 |      --      |    Inf 
134.86/134.95	c   133s|     1 |     0 | 68568 |     - |  93M|   0 |1735 |2478 |6530 |2478 |6897 |1947 |   0 |   0 | 9.119702e+02 |      --      |    Inf 
140.36/140.41	c   139s|     1 |     0 | 70880 |     - |  94M|   0 |1730 |2478 |6530 |2478 |6962 |2012 |   0 |   0 | 9.258063e+02 |      --      |    Inf 
146.06/146.12	c   145s|     1 |     0 | 73893 |     - |  95M|   0 |1685 |2478 |6530 |2478 |6999 |2049 |   0 |   0 | 9.276625e+02 |      --      |    Inf 
151.85/151.98	c   150s|     1 |     0 | 76890 |     - |  97M|   0 |1661 |2478 |6530 |2478 |7052 |2102 |   0 |   0 | 9.304257e+02 |      --      |    Inf 
157.45/157.56	c   156s|     1 |     0 | 79585 |     - |  99M|   0 |1771 |2478 |6530 |2478 |7089 |2139 |   0 |   0 | 9.326733e+02 |      --      |    Inf 
165.05/165.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
165.05/165.19	c   163s|     1 |     0 | 82659 |     - | 100M|   0 |1658 |2478 |6530 |2478 |7157 |2207 |   0 |   0 | 9.454299e+02 |      --      |    Inf 
176.85/176.90	c   175s|     1 |     0 | 87670 |     - | 102M|   0 |1631 |2478 |6530 |2478 |7041 |2237 |   0 |   0 | 9.480681e+02 |      --      |    Inf 
182.56/182.66	c   181s|     1 |     0 | 90459 |     - | 105M|   0 |1628 |2478 |6530 |2478 |7070 |2266 |   0 |   0 | 9.497670e+02 |      --      |    Inf 
190.25/190.35	c   188s|     1 |     0 | 94104 |     - | 106M|   0 |1672 |2478 |6530 |2478 |7113 |2309 |   0 |   0 | 9.536668e+02 |      --      |    Inf 
199.44/199.51	c   198s|     1 |     0 | 98257 |     - | 107M|   0 |1688 |2478 |6530 |2478 |7164 |2360 |   0 |   0 | 9.586422e+02 |      --      |    Inf 
205.55/205.65	c   204s|     1 |     0 |101118 |     - | 108M|   0 |1771 |2478 |6530 |2478 |7211 |2407 |   0 |   0 | 9.610884e+02 |      --      |    Inf 
212.74/212.88	c   211s|     1 |     0 |104321 |     - | 110M|   0 |1837 |2478 |6530 |2478 |7254 |2450 |   0 |   0 | 9.636555e+02 |      --      |    Inf 
226.14/226.28	c   224s|     1 |     0 |109411 |     - | 111M|   0 |1762 |2478 |6530 |2478 |7113 |2496 |   0 |   0 | 9.656718e+02 |      --      |    Inf 
233.05/233.10	c   231s|     1 |     0 |112478 |     - | 114M|   0 |1839 |2478 |6530 |2478 |7142 |2525 |   0 |   0 | 9.666278e+02 |      --      |    Inf 
245.03/245.19	c   243s|     1 |     0 |117196 |     - | 116M|   0 |1768 |2478 |6530 |2478 |7191 |2574 |   0 |   0 | 9.693286e+02 |      --      |    Inf 
256.83/256.94	c   255s|     1 |     0 |121437 |     - | 116M|   0 |1787 |2478 |6530 |2478 |7252 |2635 |   0 |   0 | 9.807190e+02 |      --      |    Inf 
264.03/264.13	c   262s|     1 |     0 |124503 |     - | 118M|   0 |1847 |2478 |6530 |2478 |7298 |2681 |   0 |   0 | 9.858389e+02 |      --      |    Inf 
278.53/278.61	c   276s|     1 |     0 |129954 |     - | 119M|   0 |1805 |2478 |6530 |2478 |7356 |2739 |   0 |   0 | 9.996548e+02 |      --      |    Inf 
284.22/284.34	c   282s|     1 |     0 |132631 |     - | 120M|   0 |1850 |2478 |6530 |2478 |7221 |2779 |   0 |   0 | 1.000513e+03 |      --      |    Inf 
295.52/295.68	c   293s|     1 |     0 |137345 |     - | 121M|   0 |1875 |2478 |6530 |2478 |7280 |2838 |   0 |   0 | 1.011275e+03 |      --      |    Inf 
301.93/302.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
301.93/302.08	c   299s|     1 |     0 |139918 |     - | 122M|   0 |1856 |2478 |6530 |2478 |7339 |2897 |   0 |   0 | 1.016783e+03 |      --      |    Inf 
308.02/308.11	c   305s|     1 |     0 |142549 |     - | 123M|   0 |1875 |2478 |6530 |2478 |7380 |2938 |   0 |   0 | 1.017633e+03 |      --      |    Inf 
316.52/316.69	c   314s|     1 |     0 |145951 |     - | 124M|   0 |1864 |2478 |6530 |2478 |7429 |2987 |   0 |   0 | 1.022254e+03 |      --      |    Inf 
325.92/326.04	c   323s|     1 |     0 |149979 |     - | 125M|   0 |1985 |2478 |6530 |2478 |7477 |3035 |   0 |   0 | 1.023565e+03 |      --      |    Inf 
338.01/338.16	c   335s|     1 |     0 |154404 |     - | 126M|   0 |2000 |2478 |6530 |2478 |7349 |3096 |   0 |   0 | 1.031872e+03 |      --      |    Inf 
346.01/346.15	c   343s|     1 |     0 |157712 |     - | 127M|   0 |1797 |2478 |6530 |2478 |7418 |3165 |   0 |   0 | 1.047447e+03 |      --      |    Inf 
349.61/349.80	c   347s|     1 |     0 |159464 |     - | 129M|   0 |1815 |2478 |6530 |2478 |7452 |3199 |   0 |   0 | 1.052271e+03 |      --      |    Inf 
353.31/353.49	c   350s|     1 |     0 |161005 |     - | 130M|   0 |1877 |2478 |6530 |2478 |7488 |3235 |   0 |   0 | 1.053729e+03 |      --      |    Inf 
359.81/359.96	c   357s|     1 |     0 |163840 |     - | 132M|   0 |1934 |2478 |6530 |2478 |7524 |3271 |   0 |   0 | 1.054505e+03 |      --      |    Inf 
376.50/376.67	c   373s|     1 |     0 |169905 |     - | 132M|   0 |1826 |2478 |6530 |2478 |7612 |3359 |   0 |   0 | 1.068352e+03 |      --      |    Inf 
382.51/382.64	c   379s|     1 |     0 |172362 |     - | 133M|   0 |1906 |2478 |6530 |2478 |7445 |3434 |   0 |   0 | 1.077161e+03 |      --      |    Inf 
388.50/388.65	c   385s|     1 |     0 |175062 |     - | 134M|   0 |1925 |2478 |6530 |2478 |7489 |3478 |   0 |   0 | 1.079366e+03 |      --      |    Inf 
396.91/397.01	c   394s|     1 |     0 |178754 |     - | 135M|   0 |1885 |2478 |6530 |2478 |7536 |3525 |   0 |   0 | 1.081544e+03 |      --      |    Inf 
404.90/405.02	c   401s|     1 |     0 |182383 |     - | 137M|   0 |1889 |2478 |6530 |2478 |7583 |3572 |   0 |   0 | 1.085907e+03 |      --      |    Inf 
410.21/410.38	c   407s|     1 |     0 |184692 |     - | 138M|   0 |1941 |2478 |6530 |2478 |7632 |3621 |   0 |   0 | 1.087286e+03 |      --      |    Inf 
417.29/417.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
417.29/417.46	c   414s|     1 |     0 |187851 |     - | 139M|   0 |1906 |2478 |6530 |2478 |7671 |3660 |   0 |   0 | 1.088883e+03 |      --      |    Inf 
424.20/424.34	c   421s|     1 |     0 |190825 |     - | 140M|   0 |1869 |2478 |6530 |2478 |7443 |3712 |   0 |   0 | 1.091659e+03 |      --      |    Inf 
428.59/428.78	c   425s|     1 |     0 |192813 |     - | 142M|   0 |2032 |2478 |6530 |2478 |7481 |3750 |   0 |   0 | 1.093816e+03 |      --      |    Inf 
438.09/438.21	c   434s|     1 |     0 |196478 |     - | 143M|   0 |2020 |2478 |6530 |2478 |7538 |3807 |   0 |   0 | 1.096546e+03 |      --      |    Inf 
449.19/449.33	c   445s|     1 |     0 |200875 |     - | 144M|   0 |1855 |2478 |6530 |2478 |7622 |3891 |   0 |   0 | 1.108305e+03 |      --      |    Inf 
455.98/456.15	c   452s|     1 |     0 |204119 |     - | 146M|   0 |1909 |2478 |6530 |2478 |7669 |3938 |   0 |   0 | 1.111824e+03 |      --      |    Inf 
459.09/459.23	c   455s|     1 |     0 |205159 |     - | 147M|   0 |1936 |2478 |6530 |2478 |7715 |3984 |   0 |   0 | 1.112968e+03 |      --      |    Inf 
467.59/467.73	c   464s|     1 |     0 |208266 |     - | 148M|   0 |1919 |2478 |6530 |2478 |7459 |4026 |   0 |   0 | 1.121898e+03 |      --      |    Inf 
470.79/470.96	c   467s|     1 |     0 |209733 |     - | 150M|   0 |2004 |2478 |6530 |2478 |7487 |4054 |   0 |   0 | 1.122673e+03 |      --      |    Inf 
474.78/474.93	c   471s|     1 |     0 |211260 |     - | 151M|   0 |1996 |2478 |6530 |2478 |7528 |4095 |   0 |   0 | 1.123493e+03 |      --      |    Inf 
481.18/481.30	c   477s|     1 |     0 |213760 |     - | 152M|   0 |1943 |2478 |6530 |2478 |7574 |4141 |   0 |   0 | 1.125949e+03 |      --      |    Inf 
486.58/486.76	c   483s|     1 |     0 |215738 |     - | 153M|   0 |2014 |2478 |6530 |2478 |7628 |4195 |   0 |   0 | 1.127416e+03 |      --      |    Inf 
498.98/499.16	c   495s|     1 |     0 |220254 |     - | 154M|   0 |1941 |2478 |6530 |2478 |7693 |4260 |   0 |   0 | 1.139661e+03 |      --      |    Inf 
505.07/505.25	c   501s|     1 |     0 |222879 |     - | 155M|   0 |1942 |2478 |6530 |2478 |7503 |4307 |   0 |   0 | 1.142981e+03 |      --      |    Inf 
507.98/508.17	c   504s|     1 |     0 |224314 |     - | 157M|   0 |1946 |2478 |6530 |2478 |7545 |4349 |   0 |   0 | 1.144880e+03 |      --      |    Inf 
515.57/515.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
515.57/515.75	c   511s|     1 |     0 |227629 |     - | 157M|   0 |1977 |2478 |6530 |2478 |7607 |4411 |   0 |   0 | 1.151801e+03 |      --      |    Inf 
519.57/519.76	c   515s|     1 |     0 |229605 |     - | 160M|   0 |1922 |2478 |6530 |2478 |7635 |4439 |   0 |   0 | 1.153937e+03 |      --      |    Inf 
523.77/523.91	c   519s|     1 |     0 |231651 |     - | 161M|   0 |1995 |2478 |6530 |2478 |7671 |4475 |   0 |   0 | 1.154715e+03 |      --      |    Inf 
530.17/530.34	c   526s|     1 |     0 |234704 |     - | 162M|   0 |1974 |2478 |6530 |2478 |7705 |4509 |   0 |   0 | 1.155802e+03 |      --      |    Inf 
533.96/534.17	c   530s|     1 |     0 |236381 |     - | 163M|   0 |1966 |2478 |6530 |2478 |7506 |4557 |   0 |   0 | 1.156898e+03 |      --      |    Inf 
540.16/540.31	c   536s|     1 |     0 |238814 |     - | 164M|   0 |1917 |2478 |6530 |2478 |7582 |4633 |   0 |   0 | 1.163900e+03 |      --      |    Inf 
543.36/543.54	c   539s|     1 |     0 |240507 |     - | 165M|   0 |1972 |2478 |6530 |2478 |7634 |4685 |   0 |   0 | 1.167078e+03 |      --      |    Inf 
552.26/552.45	c   548s|     1 |     0 |244205 |     - | 165M|   0 |2087 |2478 |6530 |2478 |7686 |4737 |   0 |   0 | 1.173101e+03 |      --      |    Inf 
559.17/559.39	c   555s|     1 |     0 |247035 |     - | 166M|   0 |2017 |2478 |6530 |2478 |7724 |4775 |   0 |   0 | 1.176578e+03 |      --      |    Inf 
565.17/565.36	c   561s|     1 |     0 |249428 |     - | 167M|   0 |1988 |2478 |6530 |2478 |7774 |4825 |   0 |   0 | 1.179335e+03 |      --      |    Inf 
569.46/569.69	c   565s|     1 |     0 |251462 |     - | 168M|   0 |1996 |2478 |6530 |2478 |7555 |4868 |   0 |   0 | 1.181859e+03 |      --      |    Inf 
573.16/573.32	c   568s|     1 |     0 |252990 |     - | 168M|   0 |2047 |2478 |6530 |2478 |7608 |4921 |   0 |   0 | 1.183204e+03 |      --      |    Inf 
577.45/577.62	c   573s|     1 |     0 |254896 |     - | 169M|   0 |2027 |2478 |6530 |2478 |7646 |4959 |   0 |   0 | 1.184174e+03 |      --      |    Inf 
581.76/581.95	c   577s|     1 |     0 |256969 |     - | 170M|   0 |2069 |2478 |6530 |2478 |7683 |4996 |   0 |   0 | 1.185872e+03 |      --      |    Inf 
588.66/588.87	c   584s|     1 |     0 |260240 |     - | 171M|   0 |2094 |2478 |6530 |2478 |7727 |5040 |   0 |   0 | 1.187736e+03 |      --      |    Inf 
593.45/593.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
593.45/593.65	c   589s|     1 |     0 |262218 |     - | 172M|   0 |2081 |2478 |6530 |2478 |7759 |5072 |   0 |   0 | 1.188155e+03 |      --      |    Inf 
599.95/600.19	c   595s|     1 |     0 |264750 |     - | 173M|   0 |2097 |2478 |6530 |2478 |7554 |5113 |   0 |   0 | 1.189830e+03 |      --      |    Inf 
607.06/607.29	c   602s|     1 |     0 |267788 |     - | 174M|   0 |2096 |2478 |6530 |2478 |7616 |5175 |   0 |   0 | 1.196341e+03 |      --      |    Inf 
617.15/617.34	c   612s|     1 |     0 |272602 |     - | 175M|   0 |2090 |2478 |6530 |2478 |7654 |5213 |   0 |   0 | 1.197773e+03 |      --      |    Inf 
625.94/626.18	c   621s|     1 |     0 |276729 |     - | 175M|   0 |1937 |2478 |6530 |2478 |7719 |5278 |   0 |   0 | 1.204312e+03 |      --      |    Inf 
629.24/629.47	c   624s|     1 |     0 |278403 |     - | 176M|   0 |1983 |2478 |6530 |2478 |7751 |5310 |   0 |   0 | 1.205313e+03 |      --      |    Inf 
634.45/634.67	c   629s|     1 |     0 |281133 |     - | 178M|   0 |1994 |2478 |6530 |2478 |7784 |5343 |   0 |   0 | 1.206234e+03 |      --      |    Inf 
641.75/641.91	c   636s|     1 |     0 |284387 |     - | 178M|   0 |2031 |2478 |6530 |2478 |7587 |5387 |   0 |   0 | 1.209371e+03 |      --      |    Inf 
648.75/649.00	c   644s|     1 |     0 |287709 |     - | 178M|   0 |2001 |2478 |6530 |2478 |7629 |5429 |   0 |   0 | 1.213101e+03 |      --      |    Inf 
651.64/651.89	c   646s|     1 |     0 |288986 |     - | 180M|   0 |2009 |2478 |6530 |2478 |7655 |5455 |   0 |   0 | 1.214233e+03 |      --      |    Inf 
657.04/657.30	c   652s|     1 |     0 |291199 |     - | 180M|   0 |1928 |2478 |6530 |2478 |7679 |5479 |   0 |   0 | 1.215154e+03 |      --      |    Inf 
660.74/660.98	c   655s|     1 |     0 |293108 |     - | 181M|   0 |1955 |2478 |6530 |2478 |7715 |5515 |   0 |   0 | 1.217127e+03 |      --      |    Inf 
664.04/664.29	c   659s|     1 |     0 |294887 |     - | 177M|   0 |2026 |2478 |6530 |2478 |7743 |5543 |   0 |   0 | 1.218289e+03 |      --      |    Inf 
667.93/668.13	c   662s|     1 |     0 |296229 |     - | 172M|   0 |2030 |2478 |6530 |2478 |7523 |5566 |   0 |   0 | 1.219186e+03 |      --      |    Inf 
672.74/672.90	c   667s|     1 |     0 |298253 |     - | 170M|   0 |2036 |2478 |6530 |2478 |7556 |5599 |   0 |   0 | 1.219961e+03 |      --      |    Inf 
678.34/678.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
678.34/678.52	c   673s|     1 |     0 |300425 |     - | 169M|   0 |2061 |2478 |6530 |2478 |7604 |5647 |   0 |   0 | 1.222691e+03 |      --      |    Inf 
681.53/681.73	c   676s|     1 |     0 |301827 |     - | 167M|   0 |1984 |2478 |6530 |2478 |7647 |5690 |   0 |   0 | 1.224153e+03 |      --      |    Inf 
684.33/684.51	c   679s|     1 |     0 |303111 |     - | 166M|   0 |2004 |2478 |6530 |2478 |7672 |5715 |   0 |   0 | 1.224698e+03 |      --      |    Inf 
690.93/691.16	c   685s|     1 |     0 |305785 |     - | 164M|   0 |2022 |2478 |6530 |2478 |7715 |5758 |   0 |   0 | 1.227389e+03 |      --      |    Inf 
696.43/696.67	c   691s|     1 |     0 |308162 |     - | 162M|   0 |2076 |2478 |6530 |2478 |7490 |5794 |   0 |   0 | 1.228945e+03 |      --      |    Inf 
702.03/702.22	c   696s|     1 |     0 |309514 |     - | 160M|   0 |2076 |2478 |6530 |2478 |7539 |5843 |   0 |   0 | 1.232145e+03 |      --      |    Inf 
709.24/709.48	c   704s|     1 |     0 |312259 |     - | 159M|   0 |2033 |2478 |6530 |2478 |7595 |5899 |   0 |   0 | 1.236160e+03 |      --      |    Inf 
711.83/712.08	c   706s|     1 |     0 |313556 |     - | 155M|   0 |1978 |2478 |6530 |2478 |7624 |5928 |   0 |   0 | 1.236438e+03 |      --      |    Inf 
714.42/714.60	c   709s|     1 |     0 |314745 |     - | 151M|   0 |2052 |2478 |6530 |2478 |7648 |5952 |   0 |   0 | 1.237353e+03 |      --      |    Inf 
716.32/716.56	c   711s|     1 |     0 |315297 |     - | 149M|   0 |2055 |2478 |6530 |2478 |7670 |5974 |   0 |   0 | 1.237536e+03 |      --      |    Inf 
718.93/719.18	c   713s|     1 |     0 |316356 |     - | 144M|   0 |2139 |2478 |6530 |2478 |7517 |5992 |   0 |   0 | 1.237769e+03 |      --      |    Inf 
725.83/726.07	c   720s|     1 |     0 |319154 |     - | 141M|   0 |2097 |2478 |6530 |2478 |7570 |6045 |   0 |   0 | 1.242002e+03 |      --      |    Inf 
728.23/728.45	c   722s|     1 |     0 |320477 |     - | 139M|   0 |2182 |2478 |6530 |2478 |7595 |6070 |   0 |   0 | 1.244006e+03 |      --      |    Inf 
731.62/731.87	c   726s|     1 |     0 |321531 |     - | 135M|   0 |2140 |2478 |6530 |2478 |7619 |6094 |   0 |   0 | 1.244809e+03 |      --      |    Inf 
736.32/736.58	c   730s|     1 |     0 |323444 |     - | 132M|   0 |2036 |2478 |6530 |2478 |7653 |6128 |   0 |   0 | 1.247520e+03 |      --      |    Inf 
739.22/739.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
739.22/739.44	c   733s|     1 |     0 |325058 |     - | 129M|   0 |2054 |2478 |6530 |2478 |7692 |6167 |   0 |   0 | 1.248490e+03 |      --      |    Inf 
744.62/744.81	c   739s|     1 |     0 |327393 |     - | 126M|   0 |2112 |2478 |6530 |2478 |7513 |6220 |   0 |   0 | 1.252785e+03 |      --      |    Inf 
747.42/747.68	c   741s|     1 |     0 |328600 |     - | 125M|   0 |2097 |2478 |6530 |2478 |7541 |6248 |   0 |   0 | 1.254124e+03 |      --      |    Inf 
750.02/750.24	c   744s|     1 |     0 |329742 |     - | 124M|   0 |2089 |2478 |6530 |2478 |7573 |6280 |   0 |   0 | 1.254512e+03 |      --      |    Inf 
753.12/753.33	c   747s|     1 |     0 |330794 |     - | 124M|   0 |2079 |2478 |6530 |2478 |7598 |6305 |   0 |   0 | 1.254629e+03 |      --      |    Inf 
757.51/757.74	c   751s|     1 |     0 |332611 |     - | 123M|   0 |2093 |2478 |6530 |2478 |7623 |6330 |   0 |   0 | 1.256016e+03 |      --      |    Inf 
759.51/759.79	c   753s|     1 |     0 |333376 |     - | 122M|   0 |2081 |2478 |6530 |2478 |7652 |6359 |   0 |   0 | 1.256318e+03 |      --      |    Inf 
764.51/764.79	c   758s|     1 |     0 |335171 |     - | 122M|   0 |2061 |2478 |6530 |2478 |7556 |6392 |   0 |   0 | 1.257931e+03 |      --      |    Inf 
768.21/768.41	c   762s|     1 |     0 |336589 |     - | 121M|   0 |2103 |2478 |6530 |2478 |7587 |6423 |   0 |   0 | 1.261611e+03 |      --      |    Inf 
774.71/774.93	c   768s|     1 |     0 |339300 |     - | 120M|   0 |2109 |2478 |6530 |2478 |7622 |6458 |   0 |   0 | 1.264314e+03 |      --      |    Inf 
779.72/779.96	c   773s|     1 |     0 |340972 |     - | 118M|   0 |2060 |2478 |6530 |2478 |7654 |6490 |   0 |   0 | 1.267039e+03 |      --      |    Inf 
781.82/782.08	c   775s|     1 |     0 |341473 |     - | 117M|   0 |2079 |2478 |6530 |2478 |7669 |6505 |   0 |   0 | 1.267166e+03 |      --      |    Inf 
784.51/784.70	c   778s|     1 |     0 |341880 |     - | 115M|   0 |2057 |2478 |6530 |2478 |7688 |6524 |   0 |   0 | 1.267923e+03 |      --      |    Inf 
785.91/786.13	c   780s|     1 |     0 |342236 |     - | 114M|   0 |2070 |2478 |6530 |2478 |7528 |6540 |   0 |   0 | 1.268168e+03 |      --      |    Inf 
789.21/789.46	c   783s|     1 |     0 |343282 |     - | 112M|   0 |2093 |2478 |6530 |2478 |7538 |6550 |   0 |   0 | 1.268811e+03 |      --      |    Inf 
792.40/792.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
792.40/792.61	c   786s|     1 |     0 |344268 |     - | 112M|   0 |2086 |2478 |6530 |2478 |7547 |6559 |   0 |   0 | 1.268987e+03 |      --      |    Inf 
795.40/795.65	c   789s|     1 |     0 |344760 |     - | 111M|   0 |2064 |2478 |6530 |2478 |7559 |6571 |   0 |   0 | 1.269440e+03 |      --      |    Inf 
799.91/800.12	c   793s|     1 |     0 |346384 |     - | 110M|   0 |2094 |2478 |6530 |2478 |7573 |6585 |   0 |   0 | 1.269814e+03 |      --      |    Inf 
803.21/803.44	c   797s|     1 |     0 |347152 |     - | 108M|   0 |2098 |2478 |6530 |2478 |7593 |6605 |   0 |   0 | 1.271000e+03 |      --      |    Inf 
807.01/807.25	c   800s|     1 |     0 |348026 |     - | 105M|   0 |2047 |2478 |6530 |2478 |7437 |6622 |   0 |   0 | 1.272214e+03 |      --      |    Inf 
809.80/810.05	c   803s|     1 |     0 |348450 |     - | 104M|   0 |2025 |2478 |6530 |2478 |7441 |6626 |   0 |   0 | 1.272251e+03 |      --      |    Inf 
813.90/814.12	c   807s|     1 |     0 |349691 |     - | 103M|   0 |2074 |2478 |6530 |2478 |7456 |6641 |   0 |   0 | 1.272877e+03 |      --      |    Inf 
817.70/817.93	c   811s|     1 |     0 |350730 |     - | 102M|   0 |2051 |2478 |6530 |2478 |7469 |6654 |   0 |   0 | 1.273402e+03 |      --      |    Inf 
820.51/820.79	c   814s|     1 |     0 |351460 |     - | 101M|   0 |2092 |2478 |6530 |2478 |7489 |6674 |   0 |   0 | 1.274200e+03 |      --      |    Inf 
825.20/825.42	c   819s|     1 |     0 |352819 |     - | 100M|   0 |2026 |2478 |6530 |2478 |7505 |6690 |   0 |   0 | 1.274553e+03 |      --      |    Inf 
828.60/828.86	c   822s|     1 |     0 |353761 |     - |  99M|   0 |2106 |2478 |6530 |2478 |7435 |6712 |   0 |   0 | 1.275898e+03 |      --      |    Inf 
831.80/832.04	c   825s|     1 |     0 |354519 |     - |  99M|   0 |2134 |2478 |6530 |2478 |7441 |6718 |   0 |   0 | 1.276963e+03 |      --      |    Inf 
835.30/835.54	c   829s|     1 |     0 |355265 |     - |  98M|   0 |2093 |2478 |6530 |2478 |7462 |6739 |   0 |   0 | 1.277545e+03 |      --      |    Inf 
839.11/839.32	c   832s|     1 |     0 |356495 |     - |  97M|   0 |2114 |2478 |6530 |2478 |7482 |6759 |   0 |   0 | 1.278545e+03 |      --      |    Inf 
842.90/843.18	c   836s|     1 |     0 |357136 |     - |  96M|   0 |2080 |2478 |6530 |2478 |7505 |6782 |   0 |   0 | 1.278927e+03 |      --      |    Inf 
846.99/847.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
846.99/847.25	c   840s|     1 |     0 |357853 |     - |  94M|   0 |2096 |2478 |6530 |2478 |7518 |6795 |   0 |   0 | 1.279037e+03 |      --      |    Inf 
851.59/851.81	c   845s|     1 |     0 |359256 |     - |  94M|   0 |2066 |2478 |6530 |2478 |7466 |6822 |   0 |   0 | 1.279698e+03 |      --      |    Inf 
854.20/854.45	c   847s|     1 |     0 |360123 |     - |  92M|   0 |2084 |2478 |6530 |2478 |7482 |6838 |   0 |   0 | 1.280252e+03 |      --      |    Inf 
857.19/857.42	c   850s|     1 |     0 |360931 |     - |  92M|   0 |2089 |2478 |6530 |2478 |7514 |6870 |   0 |   0 | 1.281533e+03 |      --      |    Inf 
860.40/860.67	c   854s|     1 |     0 |361904 |     - |  91M|   0 |2038 |2478 |6530 |2478 |7537 |6893 |   0 |   0 | 1.282483e+03 |      --      |    Inf 
864.50/864.71	c   858s|     1 |     0 |363599 |     - |  91M|   0 |2046 |2478 |6530 |2478 |7568 |6924 |   0 |   0 | 1.284356e+03 |      --      |    Inf 
867.90/868.18	c   861s|     1 |     0 |365174 |     - |  90M|   0 |2032 |2478 |6530 |2478 |7593 |6949 |   0 |   0 | 1.285671e+03 |      --      |    Inf 
870.90/871.17	c   864s|     1 |     0 |366193 |     - |  90M|   0 |2084 |2478 |6530 |2478 |7542 |6967 |   0 |   0 | 1.286204e+03 |      --      |    Inf 
873.59/873.85	c   867s|     1 |     0 |366565 |     - |  89M|   0 |2108 |2478 |6530 |2478 |7557 |6982 |   0 |   0 | 1.286381e+03 |      --      |    Inf 
876.19/876.48	c   869s|     1 |     0 |367223 |     - |  87M|   0 |2104 |2478 |6530 |2478 |7566 |6991 |   0 |   0 | 1.286666e+03 |      --      |    Inf 
879.59/879.84	c   873s|     1 |     0 |368079 |     - |  87M|   0 |2139 |2478 |6530 |2478 |7577 |7002 |   0 |   0 | 1.287014e+03 |      --      |    Inf 
883.19/883.48	c   876s|     1 |     0 |369138 |     - |  87M|   0 |2086 |2478 |6530 |2478 |7590 |7015 |   0 |   0 | 1.287650e+03 |      --      |    Inf 
886.58/886.86	c   880s|     1 |     0 |369740 |     - |  86M|   0 |2056 |2478 |6530 |2478 |7598 |7023 |   0 |   0 | 1.287900e+03 |      --      |    Inf 
889.09/889.33	c   882s|     1 |     0 |369858 |     - |  85M|   0 |2042 |2478 |6530 |2478 |7499 |7030 |   0 |   0 | 1.288150e+03 |      --      |    Inf 
891.79/892.04	c   885s|     1 |     0 |369957 |     - |  83M|   0 |2100 |2478 |6530 |2478 |7502 |7033 |   0 |   0 | 1.288317e+03 |      --      |    Inf 
894.49/894.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
894.49/894.71	c   887s|     1 |     0 |370018 |     - |  82M|   0 |2045 |2478 |6530 |2478 |7507 |7038 |   0 |   0 | 1.288343e+03 |      --      |    Inf 
897.29/897.55	c   890s|     1 |     0 |370492 |     - |  81M|   0 |2109 |2478 |6530 |2478 |7512 |7043 |   0 |   0 | 1.288488e+03 |      --      |    Inf 
899.79/900.04	c   893s|     1 |     0 |370706 |     - |  80M|   0 |2089 |2478 |6530 |2478 |7518 |7049 |   0 |   0 | 1.288499e+03 |      --      |    Inf 
902.08/902.33	c   895s|     1 |     0 |370769 |     - |  79M|   0 |2094 |2478 |6530 |2478 |7523 |7054 |   0 |   0 | 1.288562e+03 |      --      |    Inf 
904.88/905.10	c   898s|     1 |     0 |371258 |     - |  77M|   0 |2043 |2478 |6530 |2478 |7422 |7060 |   0 |   0 | 1.288696e+03 |      --      |    Inf 
907.68/907.97	c   900s|     1 |     0 |371700 |     - |  76M|   0 |2039 |2478 |6530 |2478 |7430 |7068 |   0 |   0 | 1.288711e+03 |      --      |    Inf 
910.59/910.82	c   903s|     1 |     0 |371993 |     - |  75M|   0 |2039 |2478 |6530 |2478 |7440 |7078 |   0 |   0 | 1.288789e+03 |      --      |    Inf 
913.88/914.17	c   907s|     1 |     0 |372585 |     - |  74M|   0 |2063 |2478 |6530 |2478 |7444 |7082 |   0 |   0 | 1.289008e+03 |      --      |    Inf 
917.37/917.63	c   910s|     1 |     0 |373426 |     - |  73M|   0 |2077 |2478 |6530 |2478 |7450 |7088 |   0 |   0 | 1.289060e+03 |      --      |    Inf 
921.17/921.48	c   914s|     1 |     0 |374639 |     - |  72M|   0 |2094 |2478 |6530 |2478 |7457 |7095 |   0 |   0 | 1.289166e+03 |      --      |    Inf 
924.89/925.19	c   918s|     1 |     0 |375618 |     - |  71M|   0 |2103 |2478 |6530 |2478 |7418 |7103 |   0 |   0 | 1.289323e+03 |      --      |    Inf 
927.78/928.02	c   920s|     1 |     0 |375714 |     - |  70M|   0 |2110 |2478 |6530 |2478 |7431 |7116 |   0 |   0 | 1.289323e+03 |      --      |    Inf 
931.08/931.36	c   924s|     1 |     0 |376071 |     - |  69M|   0 |2040 |2478 |6530 |2478 |7437 |7122 |   0 |   0 | 1.289323e+03 |      --      |    Inf 
933.68/933.96	c   926s|     1 |     0 |376393 |     - |  67M|   0 |2084 |2478 |6530 |2478 |7443 |7128 |   0 |   0 | 1.289329e+03 |      --      |    Inf 
936.58/936.83	c   929s|     1 |     0 |376835 |     - |  66M|   0 |2044 |2478 |6530 |2478 |7449 |7134 |   0 |   0 | 1.289330e+03 |      --      |    Inf 
939.18/939.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
939.18/939.49	c   932s|     1 |     0 |377230 |     - |  65M|   0 |2087 |2478 |6530 |2478 |7453 |7138 |   0 |   0 | 1.289354e+03 |      --      |    Inf 
955.68/955.93	c   948s|     1 |     2 |377230 |     - |  65M|   0 |2087 |2478 |6530 |2478 |7453 |7138 |   0 |  32 | 1.289354e+03 |      --      |    Inf 
1028.96/1029.23	c  1020s| 10000 |    46 |377230 |   0.0 |  66M|  76 |   - |2478 |6592 |   0 |   0 |7138 |6639 |  32 | 1.289426e+03 |      --      |    Inf 
1138.73/1139.02	c  1127s| 20000 |    48 |377230 |   0.0 |  66M|  76 |   - |2478 |6567 |   0 |   0 |7138 |  13k|  32 | 1.289426e+03 |      --      |    Inf 
1245.50/1245.88	c  1232s| 30000 |    47 |377230 |   0.0 |  66M|  76 |   - |2478 |6597 |   0 |   0 |7138 |  19k|  32 | 1.289426e+03 |      --      |    Inf 
1336.48/1336.84	c  1321s| 40000 |    46 |377230 |   0.0 |  66M|  76 |   - |2478 |6598 |   0 |   0 |7138 |  26k|  32 | 1.289426e+03 |      --      |    Inf 
1415.37/1415.77	c  1397s| 50000 |    47 |377230 |   0.0 |  66M|  76 |   - |2478 |6602 |   0 |   0 |7138 |  33k|  32 | 1.289426e+03 |      --      |    Inf 
1485.35/1485.74	c  1465s| 60000 |    47 |377230 |   0.0 |  66M|  76 |   - |2478 |6589 |   0 |   0 |7138 |  40k|  32 | 1.289426e+03 |      --      |    Inf 
1553.84/1554.24	c  1532s| 70000 |    43 |377230 |   0.0 |  66M|  76 |   - |2478 |6621 |   0 |   0 |7138 |  46k|  32 | 1.289426e+03 |      --      |    Inf 
1615.42/1615.84	c  1593s| 80000 |    46 |377230 |   0.0 |  66M|  76 |   - |2478 |6600 |   0 |   0 |7138 |  53k|  32 | 1.289426e+03 |      --      |    Inf 
1682.60/1683.06	c  1658s| 90000 |    44 |377230 |   0.0 |  66M|  76 |   - |2478 |6600 |   0 |   0 |7138 |  60k|  32 | 1.289426e+03 |      --      |    Inf 
1755.59/1756.06	c  1729s|100000 |    43 |377230 |   0.0 |  66M|  76 |   - |2478 |6610 |   0 |   0 |7138 |  66k|  32 | 1.289426e+03 |      --      |    Inf 
1800.09/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.51	c 
1800.09/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.51	c Solving Time (sec) : 1772.83
1800.09/1800.51	c Solving Nodes      : 106373
1800.09/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.09/1800.51	c Dual Bound         : +1.28942649695779e+03
1800.09/1800.51	c Gap                : infinite
1800.09/1800.51	s UNKNOWN
1800.09/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.51	c Solving Time       :    1772.83
1800.09/1800.51	c Original Problem   :
1800.09/1800.51	c   Problem name     : HOME/instance-2666855-1276448478.opb
1800.09/1800.51	c   Variables        : 2666 (2666 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.51	c   Constraints      : 6659 initial, 6659 maximal
1800.09/1800.51	c Presolved Problem  :
1800.09/1800.51	c   Problem name     : t_HOME/instance-2666855-1276448478.opb
1800.09/1800.51	c   Variables        : 2478 (2478 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.51	c   Constraints      : 6530 initial, 6664 maximal
1800.09/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.09/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.51	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1800.09/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.51	c   implics          :       0.00          0          3          0          0          0          0          0          0
1800.09/1800.51	c   probing          :       0.41          2        183          0          0          0          0          0          0
1800.09/1800.51	c   linear           :       0.11          0          0          0          0          0        122        122          0
1800.09/1800.51	c   logicor          :       0.15          0          0          0          0          0          7          0          0
1800.09/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.09/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.51	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.09/1800.51	c   logicor          :       6530+       180    3742354          0          0      70809   40600932          0          0          0
1800.09/1800.51	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.09/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.09/1800.51	c   integral         :      16.18       0.00       0.00      16.18       0.00
1800.09/1800.51	c   logicor          :     213.48       0.15     213.33       0.00       0.00
1800.09/1800.51	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.09/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.09/1800.51	c   vbounds          :       2.31          2          0          0
1800.09/1800.51	c   rootredcost      :       2.49          0          0          0
1800.09/1800.51	c   pseudoobj        :     409.63    3807348          0          0
1800.09/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.09/1800.51	c   propagation      :      53.05      70807      70807      70807       42.6        407       21.1          -
1800.09/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.09/1800.51	c   applied globally :          -          -          -      71214       42.4          -          -          -
1800.09/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.09/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.09/1800.51	c   cut pool         :       7.74        179          -          -       8977          -    (maximal pool size: 36797)
1800.09/1800.51	c   redcost          :       0.03        180          0          0          0          0
1800.09/1800.51	c   impliedbounds    :       0.22        180          0          0       2344          0
1800.09/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.09/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.09/1800.51	c   gomory           :     253.39        180          0          0      75832          0
1800.09/1800.51	c   strongcg         :       6.42         20          0          0      10000          0
1800.09/1800.51	c   cmir             :       0.63         10          0          0          0          0
1800.09/1800.51	c   flowcover        :       0.56         10          0          0          0          0
1800.09/1800.51	c   clique           :       0.51        180          0          0        104          0
1800.09/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.09/1800.51	c   mcf              :       0.01          1          0          0          0          0
1800.09/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.09/1800.51	c Pricers            :       Time      Calls       Vars
1800.09/1800.51	c   problem variables:       0.00          0          0
1800.09/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.51	c   relpscost        :      16.18          1          0          0          0          0          2
1800.09/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.09/1800.51	c   inference        :      41.57      70939          0          0          0          0     141878
1800.09/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.09/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.09/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.09/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.09/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.09/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.09/1800.51	c   LP solutions     :       0.00          -          0
1800.09/1800.51	c   pseudo solutions :       0.00          -          0
1800.09/1800.51	c   oneopt           :       0.02          0          0
1800.09/1800.51	c   crossover        :       0.00          0          0
1800.09/1800.51	c   trivial          :       0.01          2          0
1800.09/1800.51	c   simplerounding   :       0.00          0          0
1800.09/1800.51	c   zirounding       :       0.00          1          0
1800.09/1800.51	c   rounding         :       0.31        100          0
1800.09/1800.51	c   shifting         :       2.28        100          0
1800.09/1800.51	c   intshifting      :       0.00          0          0
1800.09/1800.51	c   twoopt           :       0.00          0          0
1800.09/1800.51	c   fixandinfer      :       0.00          0          0
1800.09/1800.51	c   feaspump         :       9.98          1          0
1800.09/1800.51	c   coefdiving       :       0.00          0          0
1800.09/1800.51	c   pscostdiving     :       0.00          0          0
1800.09/1800.51	c   fracdiving       :       0.00          0          0
1800.09/1800.51	c   veclendiving     :       0.00          0          0
1800.09/1800.51	c   intdiving        :       0.00          0          0
1800.09/1800.51	c   actconsdiving    :       0.00          0          0
1800.09/1800.51	c   objpscostdiving  :       0.00          0          0
1800.09/1800.51	c   rootsoldiving    :       0.00          0          0
1800.09/1800.51	c   linesearchdiving :       0.00          0          0
1800.09/1800.51	c   guideddiving     :       0.00          0          0
1800.09/1800.51	c   octane           :       0.00          0          0
1800.09/1800.51	c   rens             :       0.01          0          0
1800.09/1800.51	c   rins             :       0.00          0          0
1800.09/1800.51	c   localbranching   :       0.00          0          0
1800.09/1800.51	c   mutation         :       0.00          0          0
1800.09/1800.51	c   dins             :       0.00          0          0
1800.09/1800.51	c   undercover       :       0.00          0          0
1800.09/1800.51	c   nlp              :       0.04          0          0
1800.09/1800.51	c   trysol           :       0.05          0          0
1800.09/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.09/1800.51	c   primal LP        :       0.38          0          0       0.00       0.00
1800.09/1800.51	c   dual LP          :     645.82        181     370295    2045.83     573.37
1800.09/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.09/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.09/1800.51	c   diving/probing LP:       9.91         16       6935     433.44     699.80
1800.09/1800.51	c   strong branching :      16.18         32      10629     332.16     656.92
1800.09/1800.51	c     (at root node) :          -         32      10629     332.16          -
1800.09/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.09/1800.51	c B&B Tree           :
1800.09/1800.51	c   number of runs   :          1
1800.09/1800.51	c   nodes            :     106373
1800.09/1800.51	c   nodes (total)    :     106373
1800.09/1800.51	c   nodes left       :         45
1800.09/1800.51	c   max depth        :         76
1800.09/1800.51	c   max depth (total):         76
1800.09/1800.51	c   backtracks       :      35400 (33.3%)
1800.09/1800.51	c   delayed cutoffs  :      35463
1800.09/1800.51	c   repropagations   :     105393 (20359277 domain reductions, 35374 cutoffs)
1800.09/1800.51	c   avg switch length:       2.65
1800.09/1800.51	c   switching time   :     104.89
1800.09/1800.51	c Solution           :
1800.09/1800.51	c   Solutions found  :          0 (0 improvements)
1800.09/1800.51	c   Primal Bound     :          -
1800.09/1800.51	c   Dual Bound       : +1.28942649695779e+03
1800.09/1800.51	c   Gap              :   infinite
1800.09/1800.51	c   Root Dual Bound  : +1.28935380354962e+03
1800.09/1800.51	c   Root Iterations  :     377230
1800.19/1800.67	c Time complete: 1800.25.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666855-1276448478/watcher-2666855-1276448478 -o /tmp/evaluation-result-2666855-1276448478/solver-2666855-1276448478 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666855-1276448478.opb -t 1800 -m 1800 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 24346
/proc/meminfo: memFree=1814864/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=6696 CPUtime=0
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 985 0 0 0 0 0 0 0 24 0 1 0 18503241 6856704 905 1992294400 4194304 8223781 140734137385376 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24346/statm: 1674 906 343 984 0 687 0

[startup+0.011511 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 24346
/proc/meminfo: memFree=1814864/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=8752 CPUtime=0
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 1495 0 0 0 0 0 0 0 24 0 1 0 18503241 8962048 1414 1992294400 4194304 8223781 140734137385376 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24346/statm: 2188 1426 348 984 0 1201 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8752

[startup+0.101517 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 24346
/proc/meminfo: memFree=1814864/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=13924 CPUtime=0.09
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 2789 0 0 0 9 0 0 0 24 0 1 0 18503241 14258176 2708 1992294400 4194304 8223781 140734137385376 18446744073709551615 4240589 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24346/statm: 3481 2708 365 984 0 2494 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13924

[startup+0.301532 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 24346
/proc/meminfo: memFree=1814864/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=31196 CPUtime=0.29
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 7460 0 0 0 26 3 0 0 25 0 1 0 18503241 31944704 6758 1992294400 4194304 8223781 140734137385376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 7799 6758 443 984 0 6812 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31196

[startup+0.701565 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 24346
/proc/meminfo: memFree=1814864/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=31888 CPUtime=0.7
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 10660 0 0 0 61 9 0 0 25 0 1 0 18503241 32653312 6949 1992294400 4194304 8223781 140734137385376 18446744073709551615 4660122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 7972 6949 463 984 0 6985 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 31888

[startup+1.50163 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 24347
/proc/meminfo: memFree=1780136/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=42588 CPUtime=1.49
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 15084 0 0 0 136 13 0 0 25 0 1 0 18503241 43610112 9407 1992294400 4194304 8223781 140734137385376 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 10647 9407 533 984 0 9660 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42588

[startup+3.10176 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 24349
/proc/meminfo: memFree=1778152/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=43244 CPUtime=3.09
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 16836 0 0 0 295 14 0 0 25 0 1 0 18503241 44281856 9622 1992294400 4194304 8223781 140734137385376 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 10811 9622 542 984 0 9824 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43244

[startup+6.30101 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 24349
/proc/meminfo: memFree=1777160/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=43640 CPUtime=6.29
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 20390 0 0 0 612 17 0 0 25 0 1 0 18503241 44687360 9777 1992294400 4194304 8223781 140734137385376 18446744073709551615 6565934 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 10910 9777 540 984 0 9923 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43640

[startup+12.7015 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 24349
/proc/meminfo: memFree=1776912/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=43640 CPUtime=12.69
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 26762 0 0 0 1247 22 0 0 25 0 1 0 18503241 44687360 9817 1992294400 4194304 8223781 140734137385376 18446744073709551615 6569718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 10910 9817 540 984 0 9923 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43640

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 24349
/proc/meminfo: memFree=1754716/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=67368 CPUtime=25.48
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 44046 0 0 0 2513 35 0 0 25 0 1 0 18503241 68984832 15426 1992294400 4194304 8223781 140734137385376 18446744073709551615 6569630 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 16842 15426 569 984 0 15855 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67368

[startup+51.1006 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 24349
/proc/meminfo: memFree=1732520/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=91144 CPUtime=51.08
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 73080 0 0 0 5047 61 0 0 25 0 1 0 18503241 93331456 20865 1992294400 4194304 8223781 140734137385376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 22786 20865 567 984 0 21799 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 91144

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 24351
/proc/meminfo: memFree=1680440/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=145352 CPUtime=102.28
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 136591 0 0 0 10122 106 0 0 25 0 1 0 18503241 148840448 33932 1992294400 4194304 8223781 140734137385376 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 36338 33932 567 984 0 35351 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 145352

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 24353
/proc/meminfo: memFree=1669280/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=156784 CPUtime=162.26
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 198049 0 0 0 16073 153 0 0 25 0 1 0 18503241 160546816 36730 1992294400 4194304 8223781 140734137385376 18446744073709551615 6560195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 39196 36730 567 984 0 38209 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 156784

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 24353
/proc/meminfo: memFree=1656508/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=169876 CPUtime=222.24
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 258959 0 0 0 22025 199 0 0 25 0 1 0 18503241 173953024 39904 1992294400 4194304 8223781 140734137385376 18446744073709551615 6567192 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 42469 39904 567 984 0 41482 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 169876

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 24355
/proc/meminfo: memFree=1648572/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=178872 CPUtime=282.22
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 314475 0 0 0 27978 244 0 0 25 0 1 0 18503241 183164928 41867 1992294400 4194304 8223781 140734137385376 18446744073709551615 6568426 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 44718 41867 567 984 0 43731 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 178872

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 24357
/proc/meminfo: memFree=1639520/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=187544 CPUtime=342.21
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 370671 0 0 0 33934 287 0 0 25 0 1 0 18503241 192045056 44086 1992294400 4194304 8223781 140734137385376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 46886 44086 567 984 0 45899 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 187544

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 24359
/proc/meminfo: memFree=1628360/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=198324 CPUtime=402.2
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 427685 0 0 0 39888 332 0 0 25 0 1 0 18503241 203083776 46866 1992294400 4194304 8223781 140734137385376 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 49581 46866 567 984 0 48594 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 198324

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 24361
/proc/meminfo: memFree=1619556/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=210244 CPUtime=462.19
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 485144 0 0 0 45842 377 0 0 25 0 1 0 18503241 215289856 49050 1992294400 4194304 8223781 140734137385376 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 52561 49050 567 984 0 51574 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 210244

[startup+522.301 s]
/proc/loadavg: 1.05 1.00 1.00 2/107 24361
/proc/meminfo: memFree=1603436/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=226364 CPUtime=522.18
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 545232 0 0 0 51795 423 0 0 25 0 1 0 18503241 231796736 53045 1992294400 4194304 8223781 140734137385376 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 56591 53045 567 984 0 55604 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 226364

[startup+582.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 24363
/proc/meminfo: memFree=1594384/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=233832 CPUtime=582.16
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 603590 0 0 0 57747 469 0 0 25 0 1 0 18503241 239443968 55241 1992294400 4194304 8223781 140734137385376 18446744073709551615 6047040 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 58458 55241 567 984 0 57471 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 233832

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24365
/proc/meminfo: memFree=1588556/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=239116 CPUtime=642.15
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 660576 0 0 0 63699 516 0 0 25 0 1 0 18503241 244854784 56671 1992294400 4194304 8223781 140734137385376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 59779 56671 567 984 0 58792 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 239116

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24371
/proc/meminfo: memFree=1589424/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=237176 CPUtime=882.08
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 823993 0 0 0 87509 699 0 0 25 0 1 0 18503241 242868224 56338 1992294400 4194304 8223781 140734137385376 18446744073709551615 6448624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 59294 56338 567 984 0 58307 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 237176

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24373
/proc/meminfo: memFree=1596492/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=230600 CPUtime=942.07
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 852475 0 0 0 93464 743 0 0 25 0 1 0 18503241 236134400 54698 1992294400 4194304 8223781 140734137385376 18446744073709551615 6596780 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 57650 54698 576 984 0 56663 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 230600

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24375
/proc/meminfo: memFree=1581736/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=244332 CPUtime=1002.06
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 904475 0 0 0 99340 866 0 0 25 0 1 0 18503241 250195968 58312 1992294400 4194304 8223781 140734137385376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 61083 58312 580 984 0 60096 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 244332

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24377
/proc/meminfo: memFree=1570948/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=256280 CPUtime=1062.05
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 907417 0 0 0 105204 1001 0 0 25 0 1 0 18503241 262430720 61254 1992294400 4194304 8223781 140734137385376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 64070 61254 580 984 0 63083 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 256280

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24377
/proc/meminfo: memFree=1550736/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=275368 CPUtime=1122.03
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 912171 0 0 0 111077 1126 0 0 25 0 1 0 18503241 281976832 66008 1992294400 4194304 8223781 140734137385376 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 68842 66008 580 984 0 67855 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 275368

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24379
/proc/meminfo: memFree=1549372/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=276676 CPUtime=1182.02
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 912483 0 0 0 116951 1251 0 0 25 0 1 0 18503241 283316224 66320 1992294400 4194304 8223781 140734137385376 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 69169 66320 580 984 0 68182 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 276676

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24381
/proc/meminfo: memFree=1546272/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=279872 CPUtime=1242.01
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 913270 0 0 0 122813 1388 0 0 25 0 1 0 18503241 286588928 67107 1992294400 4194304 8223781 140734137385376 18446744073709551615 5909879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 69968 67107 580 984 0 68981 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 279872

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24383
/proc/meminfo: memFree=1540692/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=285196 CPUtime=1302
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 914617 0 0 0 128683 1517 0 0 25 0 1 0 18503241 292040704 68454 1992294400 4194304 8223781 140734137385376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 71299 68454 580 984 0 70312 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 285196

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24385
/proc/meminfo: memFree=1538708/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=287292 CPUtime=1361.98
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 915107 0 0 0 134550 1648 0 0 25 0 1 0 18503241 294187008 68944 1992294400 4194304 8223781 140734137385376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 71823 68944 580 984 0 70836 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 287292

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24385
/proc/meminfo: memFree=1538584/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=287432 CPUtime=1421.97
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 915149 0 0 0 140387 1810 0 0 25 0 1 0 18503241 294330368 68986 1992294400 4194304 8223781 140734137385376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 71858 68986 580 984 0 70871 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 287432

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24387
/proc/meminfo: memFree=1538460/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=287584 CPUtime=1481.95
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 915186 0 0 0 146219 1976 0 0 25 0 1 0 18503241 294486016 69023 1992294400 4194304 8223781 140734137385376 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 71896 69023 580 984 0 70909 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 287584

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24389
/proc/meminfo: memFree=1537964/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=288188 CPUtime=1541.93
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 915323 0 0 0 152081 2112 0 0 25 0 1 0 18503241 295104512 69160 1992294400 4194304 8223781 140734137385376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 72047 69160 580 984 0 71060 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 288188

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24391
/proc/meminfo: memFree=1537220/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=289060 CPUtime=1601.92
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 915501 0 0 0 157949 2243 0 0 25 0 1 0 18503241 295997440 69338 1992294400 4194304 8223781 140734137385376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 72265 69338 580 984 0 71278 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 289060

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24393
/proc/meminfo: memFree=1536972/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=289200 CPUtime=1661.91
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 915539 0 0 0 163812 2379 0 0 25 0 1 0 18503241 296140800 69376 1992294400 4194304 8223781 140734137385376 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 72300 69376 580 984 0 71313 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 289200

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24393
/proc/meminfo: memFree=1536848/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=289332 CPUtime=1721.9
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 915546 0 0 0 169662 2528 0 0 25 0 1 0 18503241 296275968 69383 1992294400 4194304 8223781 140734137385376 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 72333 69383 580 984 0 71346 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 289332

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24395
/proc/meminfo: memFree=1536476/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=289492 CPUtime=1781.88
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 915592 0 0 0 175518 2670 0 0 25 0 1 0 18503241 296439808 69429 1992294400 4194304 8223781 140734137385376 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 72373 69429 580 984 0 71386 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 289492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24395
/proc/meminfo: memFree=1536476/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=289492 CPUtime=1800.09
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 915596 0 0 0 177295 2714 0 0 25 0 1 0 18503241 296439808 69433 1992294400 4194304 8223781 140734137385376 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24346/statm: 72373 69433 580 984 0 71386 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 289492

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24396
/proc/meminfo: memFree=1541180/2059040 swapFree=4136636/4192956
[pid=24346] ppid=24344 vsize=271140 CPUtime=1800.19
/proc/24346/stat : 24346 (pbscip.linux.x8) R 24344 24346 24321 0 -1 4202496 915599 0 0 0 177305 2714 0 0 25 0 1 0 18503241 277647360 64859 1992294400 4194304 8223781 140734137385376 18446744073709551615 4333587 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24346/statm: 67785 64859 583 984 0 66798 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 271140

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.26
CPU user time (s): 1773.08
CPU system time (s): 27.1789
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 289492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.08
system time used= 27.1789
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 915603
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= 1
involuntary context switches= 3958

runsolver used 2.87956 second user time and 8.61169 second system time

The end

Launcher Data 

Begin job on node026 at 2010-06-13 19:01:18
IDJOB=2666855
IDBENCH=2134
IDSOLVER=1169
FILE ID=node026/2666855-1276448478
PBS_JOBID= 11173340
Free space on /tmp= 62508 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666855-1276448478/watcher-2666855-1276448478 -o /tmp/evaluation-result-2666855-1276448478/solver-2666855-1276448478 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666855-1276448478.opb -t 1800 -m 1800

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

MD5SUM BENCH= 28753ff2e44c4cedb2d3a2e783f8d1a4
RANDOM SEED=1046596587

node026.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1815268 kB
Buffers:         41096 kB
Cached:         125532 kB
SwapCached:       9336 kB
Active:          71040 kB
Inactive:       107704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1815268 kB
SwapTotal:     4192956 kB
SwapFree:      4136636 kB
Dirty:            4852 kB
Writeback:           0 kB
AnonPages:       10764 kB
Mapped:           9132 kB
Slab:            43180 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180120 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62504 MiB
End job on node026 at 2010-06-13 19:31:21