Trace number 3450840

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 SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1801.49 1801.43

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.29.opb
MD5SUMb0a7c1cc13cb603591c6d50e3dba1a47
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 variables14500
Total number of constraints461872
Number of constraints which are clauses461872
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 constraint29
Number of terms in the objective function 14500
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 14500
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 14500
Number of bits of the biggest sum of numbers14
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.01	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-3450840-1307081671.opb>
2.68/2.75	c original problem has 14500 variables (14500 bin, 0 int, 0 impl, 0 cont) and 461872 constraints
2.68/2.75	c problem read
2.68/2.75	c presolving settings loaded
3.20/3.31	c presolving:
5.40/5.41	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 454622 upgd conss, 923244 impls, 0 clqs
5.79/5.83	c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 461872 upgd conss, 923244 impls, 0 clqs
78.29/78.34	c    (78.3s) probing: 1000/14500 (6.9%) - 0 fixings, 0 aggregations, 138232 implications, 0 bound changes
161.09/161.12	c    (161.1s) probing: 2000/14500 (13.8%) - 0 fixings, 0 aggregations, 269674 implications, 0 bound changes
161.19/161.20	c    (161.2s) probing: 2001/14500 (13.8%) - 0 fixings, 0 aggregations, 269803 implications, 0 bound changes
161.19/161.20	c    (161.2s) probing aborted: 2000/2000 successive useless probings
161.19/161.20	c presolving (3 rounds):
161.19/161.20	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
161.19/161.20	c  1922840 implications, 0 cliques
161.19/161.20	c presolved problem has 14500 variables (14500 bin, 0 int, 0 impl, 0 cont) and 461872 constraints
161.19/161.20	c  461622 constraints of type <setppc>
161.19/161.20	c     250 constraints of type <logicor>
161.19/161.20	c transformed objective value is always integral (scale: 1)
161.19/161.20	c Presolving Time: 158.01
161.19/161.20	c - non default parameters ----------------------------------------------------------------------
161.19/161.20	c # SCIP version 2.0.1.5
161.19/161.20	c 
161.19/161.20	c # frequency for displaying node information lines
161.19/161.20	c # [type: int, range: [-1,2147483647], default: 100]
161.19/161.20	c display/freq = 10000
161.19/161.20	c 
161.19/161.20	c # maximal time in seconds to run
161.19/161.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
161.19/161.20	c limits/time = 1800
161.19/161.20	c 
161.19/161.20	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
161.19/161.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
161.19/161.20	c limits/memory = 13950
161.19/161.20	c 
161.19/161.20	c # default clock type (1: CPU user seconds, 2: wall clock time)
161.19/161.20	c # [type: int, range: [1,2], default: 1]
161.19/161.20	c timing/clocktype = 2
161.19/161.20	c 
161.19/161.20	c # belongs reading time to solving time?
161.19/161.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
161.19/161.20	c timing/reading = TRUE
161.19/161.20	c 
161.19/161.20	c # should presolving try to simplify inequalities
161.19/161.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
161.19/161.20	c constraints/linear/simplifyinequalities = TRUE
161.19/161.20	c 
161.19/161.20	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
161.19/161.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
161.19/161.20	c constraints/indicator/addCouplingCons = TRUE
161.19/161.20	c 
161.19/161.20	c # should presolving try to simplify knapsacks
161.19/161.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
161.19/161.20	c constraints/knapsack/simplifyinequalities = TRUE
161.19/161.20	c 
161.19/161.20	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
161.19/161.20	c # [type: int, range: [-1,2147483647], default: -1]
161.19/161.20	c separating/rapidlearning/freq = 0
161.19/161.20	c 
161.19/161.20	c -----------------------------------------------------------------------------------------------
161.19/161.20	c start solving
161.19/161.22	c 
229.60/229.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
229.60/229.67	c   230s|     1 |     0 |  8352 |     - | 621M|   0 |7750 |  14k| 461k|  14k| 461k|   0 |  58 |   0 | 3.875000e+03 |      --      |    Inf 
303.00/303.06	c   303s|     1 |     0 | 25044 |     - | 621M|   0 |7692 |  14k| 461k|  14k| 461k|  33 |  58 |   0 | 3.904000e+03 |      --      |    Inf 
331.90/331.90	c   332s|     1 |     0 | 25665 |     - | 621M|   0 |7624 |  14k| 461k|  14k| 461k|  78 |  58 |   0 | 3.938000e+03 |      --      |    Inf 
369.80/369.86	c   370s|     1 |     0 | 26488 |     - | 621M|   0 |7528 |  14k| 461k|  14k| 462k| 161 |  58 |   0 | 3.986000e+03 |      --      |    Inf 
418.90/418.95	c   419s|     1 |     0 | 27077 |     - | 622M|   0 |7470 |  14k| 461k|  14k| 462k| 236 |  58 |   0 | 4.018000e+03 |      --      |    Inf 
476.80/476.82	c   477s|     1 |     0 | 27753 |     - | 622M|   0 |7406 |  14k| 461k|  14k| 462k| 310 |  58 |   0 | 4.051750e+03 |      --      |    Inf 
541.40/541.49	c   541s|     1 |     0 | 28414 |     - | 622M|   0 |7368 |  14k| 461k|  14k| 462k| 379 |  58 |   0 | 4.071250e+03 |      --      |    Inf 
613.01/613.08	c   613s|     1 |     0 | 29173 |     - | 622M|   0 |7295 |  14k| 461k|  14k| 462k| 462 |  58 |   0 | 4.107750e+03 |      --      |    Inf 
691.31/691.38	c   691s|     1 |     0 | 29764 |     - | 622M|   0 |7247 |  14k| 461k|  14k| 462k| 519 |  58 |   0 | 4.133750e+03 |      --      |    Inf 
778.11/778.12	c   778s|     1 |     0 | 30845 |     - | 622M|   0 |7199 |  14k| 461k|  14k| 462k| 584 |  58 |   0 | 4.161417e+03 |      --      |    Inf 
869.03/869.04	c   869s|     1 |     0 | 31603 |     - | 622M|   0 |7168 |  14k| 461k|  14k| 462k| 651 |  58 |   0 | 4.181750e+03 |      --      |    Inf 
890.02/890.00	c   890s|     1 |     0 | 32736 |     - | 623M|   0 |7151 |  14k| 461k|  14k| 462k| 727 |  58 |   0 | 4.206500e+03 |      --      |    Inf 
910.73/910.72	c   911s|     1 |     0 | 34083 |     - | 623M|   0 |7131 |  14k| 461k|  14k| 462k| 797 |  58 |   0 | 4.230357e+03 |      --      |    Inf 
935.82/935.88	c   936s|     1 |     0 | 36072 |     - | 624M|   0 |7071 |  14k| 461k|  14k| 462k| 873 |  58 |   0 | 4.259708e+03 |      --      |    Inf 
956.32/956.35	c   956s|     1 |     0 | 37428 |     - | 624M|   0 |6999 |  14k| 461k|  14k| 462k| 955 |  58 |   0 | 4.282363e+03 |      --      |    Inf 
980.42/980.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
980.42/980.44	c   980s|     1 |     0 | 39115 |     - | 625M|   0 |6978 |  14k| 461k|  14k| 462k|1029 |  58 |   0 | 4.304472e+03 |      --      |    Inf 
1005.72/1005.71	c  1006s|     1 |     0 | 41130 |     - | 625M|   0 |6924 |  14k| 461k|  14k| 462k|1108 |  58 |   0 | 4.328750e+03 |      --      |    Inf 
1031.13/1031.11	c  1031s|     1 |     0 | 43288 |     - | 626M|   0 |6882 |  14k| 461k|  14k| 463k|1183 |  58 |   0 | 4.352167e+03 |      --      |    Inf 
1055.72/1055.76	c  1056s|     1 |     0 | 45415 |     - | 626M|   0 |6861 |  14k| 461k|  14k| 463k|1265 |  58 |   0 | 4.375536e+03 |      --      |    Inf 
1080.82/1080.82	c  1081s|     1 |     0 | 47487 |     - | 627M|   0 |6816 |  14k| 461k|  14k| 463k|1352 |  58 |   0 | 4.395283e+03 |      --      |    Inf 
1104.33/1104.38	c  1104s|     1 |     0 | 49591 |     - | 627M|   0 |6770 |  14k| 461k|  14k| 463k|1441 |  58 |   0 | 4.421783e+03 |      --      |    Inf 
1126.53/1126.55	c  1127s|     1 |     0 | 51838 |     - | 628M|   0 |6741 |  14k| 461k|  14k| 463k|1526 |  58 |   0 | 4.439856e+03 |      --      |    Inf 
1155.13/1155.10	c  1155s|     1 |     0 | 54843 |     - | 628M|   0 |6674 |  14k| 461k|  14k| 463k|1615 |  58 |   0 | 4.462333e+03 |      --      |    Inf 
1180.23/1180.21	c  1180s|     1 |     0 | 57518 |     - | 629M|   0 |6654 |  14k| 461k|  14k| 463k|1706 |  58 |   0 | 4.481250e+03 |      --      |    Inf 
1204.23/1204.27	c  1204s|     1 |     0 | 60387 |     - | 629M|   0 |6608 |  14k| 461k|  14k| 463k|1800 |  58 |   0 | 4.504526e+03 |      --      |    Inf 
1232.73/1232.74	c  1233s|     1 |     0 | 63780 |     - | 629M|   0 |6576 |  14k| 461k|  14k| 463k|1891 |  58 |   0 | 4.528396e+03 |      --      |    Inf 
1262.85/1262.86	c  1263s|     1 |     0 | 67303 |     - | 630M|   0 |6545 |  14k| 461k|  14k| 463k|1989 |  58 |   0 | 4.556516e+03 |      --      |    Inf 
1292.33/1292.37	c  1292s|     1 |     0 | 70747 |     - | 630M|   0 |6512 |  14k| 461k|  14k| 463k|2084 |  58 |   0 | 4.576460e+03 |      --      |    Inf 
1326.73/1326.73	c  1327s|     1 |     0 | 74576 |     - | 631M|   0 |6442 |  14k| 461k|  14k| 463k|2181 |  58 |   0 | 4.603250e+03 |      --      |    Inf 
1352.03/1352.01	c  1352s|     1 |     0 | 77757 |     - | 631M|   0 |6412 |  14k| 461k|  14k| 463k|2280 |  58 |   0 | 4.623708e+03 |      --      |    Inf 
1393.64/1393.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1393.64/1393.69	c  1394s|     1 |     0 | 82290 |     - | 632M|   0 |6363 |  14k| 461k|  14k| 463k|2371 |  58 |   0 | 4.643464e+03 |      --      |    Inf 
1420.93/1420.94	c  1421s|     1 |     0 | 85879 |     - | 632M|   0 |6320 |  14k| 461k|  14k| 463k|2474 |  58 |   0 | 4.663155e+03 |      --      |    Inf 
1447.04/1447.00	c  1447s|     1 |     0 | 88887 |     - | 632M|   0 |6313 |  14k| 461k|  14k| 463k|2557 |  58 |   0 | 4.685893e+03 |      --      |    Inf 
1506.64/1506.64	c  1507s|     1 |     0 | 96701 |     - | 633M|   0 |6288 |  14k| 461k|  14k| 463k|2649 |  58 |   0 | 4.702641e+03 |      --      |    Inf 
1542.64/1542.66	c  1543s|     1 |     0 |101245 |     - | 633M|   0 |6258 |  14k| 461k|  14k| 463k|2739 |  58 |   0 | 4.722097e+03 |      --      |    Inf 
1570.54/1570.50	c  1570s|     1 |     0 |104993 |     - | 634M|   0 |6191 |  14k| 461k|  14k| 464k|2841 |  58 |   0 | 4.744333e+03 |      --      |    Inf 
1599.04/1599.01	c  1599s|     1 |     0 |108700 |     - | 634M|   0 |6177 |  14k| 461k|  14k| 464k|2930 |  58 |   0 | 4.763500e+03 |      --      |    Inf 
1653.55/1653.55	c  1654s|     1 |     0 |115592 |     - | 635M|   0 |6107 |  14k| 461k|  14k| 463k|3011 |  58 |   0 | 4.778042e+03 |      --      |    Inf 
1691.75/1691.75	c  1692s|     1 |     0 |120459 |     - | 635M|   0 |6078 |  14k| 461k|  14k| 463k|3094 |  58 |   0 | 4.795711e+03 |      --      |    Inf 
1720.74/1720.73	c  1721s|     1 |     0 |124293 |     - | 636M|   0 |6069 |  14k| 461k|  14k| 463k|3184 |  58 |   0 | 4.811844e+03 |      --      |    Inf 
1769.45/1769.44	c  1769s|     1 |     0 |130437 |     - | 636M|   0 |5984 |  14k| 461k|  14k| 464k|3295 |  58 |   0 | 4.830500e+03 |      --      |    Inf 
1800.17/1800.14	c  1800s|     1 |     0 |133892 |     - | 637M|   0 |   - |  14k| 461k|  14k| 464k|3396 |  58 |   0 | 4.830500e+03 |      --      |    Inf 
1800.25/1800.29	c  1800s|     1 |     2 |133892 |     - | 637M|   0 |   - |  14k| 461k|  14k| 464k|3396 |  58 |   0 | 4.830500e+03 |      --      |    Inf 
1800.25/1800.29	c 
1800.25/1800.29	c SCIP Status        : solving was interrupted [user interrupt]
1800.25/1800.29	c Solving Time (sec) : 1800.29
1800.25/1800.29	c Solving Nodes      : 1
1800.25/1800.29	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.25/1800.29	c Dual Bound         : +4.83050000000000e+03
1800.25/1800.29	c Gap                : infinite
1800.25/1800.29	s UNKNOWN
1800.25/1800.29	c SCIP Status        : solving was interrupted [user interrupt]
1800.25/1800.29	c Total Time         :    1800.29
1800.25/1800.29	c   solving          :    1800.29
1800.25/1800.29	c   presolving       :     158.01 (included in solving)
1800.25/1800.29	c   reading          :       2.74 (included in solving)
1800.25/1800.29	c Original Problem   :
1800.25/1800.29	c   Problem name     : HOME/instance-3450840-1307081671.opb
1800.25/1800.29	c   Variables        : 14500 (14500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.25/1800.29	c   Constraints      : 461872 initial, 461872 maximal
1800.25/1800.29	c Presolved Problem  :
1800.25/1800.29	c   Problem name     : t_HOME/instance-3450840-1307081671.opb
1800.25/1800.29	c   Variables        : 14500 (14500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.25/1800.29	c   Constraints      : 461872 initial, 461930 maximal
1800.25/1800.29	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.25/1800.29	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1800.25/1800.29	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1800.25/1800.29	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.25/1800.29	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.25/1800.29	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1800.25/1800.29	c   implics          :       0.01          0          0          0          0          0          0          0          0          0
1800.25/1800.29	c   probing          :     155.12          0          0          0          0          0          0          0          0          0
1800.25/1800.29	c   setppc           :       0.64          0          0          0          0          0          0          0          0          0
1800.25/1800.29	c   linear           :       1.73          0          0          0          0          0          0          0          0          0
1800.25/1800.29	c   logicor          :       0.01          0          0          0          0          0          0          0          0          0
1800.25/1800.29	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.25/1800.29	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.25/1800.29	c   integral         :          0          0          0          0          0          4          0          0          0          0          0          0
1800.25/1800.29	c   setppc           :     461622         41       8784          0          1          3       2516          1          0          0          0          0
1800.25/1800.29	c   logicor          :        250+        41       1196          0          1          0        711         14          0          0          0          0
1800.25/1800.29	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1800.25/1800.29	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.25/1800.29	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.25/1800.29	c   setppc           :     178.26       1.60     176.42       0.00       0.15       0.10       0.00
1800.25/1800.29	c   logicor          :       0.06       0.00       0.06       0.00       0.00       0.00       0.00
1800.25/1800.29	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.25/1800.29	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.25/1800.29	c   vbounds          :          0          0          0          0
1800.25/1800.29	c   rootredcost      :          0          0          0          0
1800.25/1800.29	c   pseudoobj        :       2825          0          0          0
1800.25/1800.29	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.25/1800.29	c   vbounds          :       0.00       0.00       0.00
1800.25/1800.29	c   rootredcost      :       0.00       0.00       0.00
1800.25/1800.29	c   pseudoobj        :       0.03       0.03       0.00
1800.25/1800.29	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.25/1800.29	c   propagation      :       0.01         15         15        147       59.2          0        0.0          -
1800.25/1800.29	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.25/1800.29	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.25/1800.29	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.25/1800.29	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.25/1800.29	c   applied globally :          -          -          -         58       52.6          -          -          -
1800.25/1800.29	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.25/1800.29	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.25/1800.29	c   cut pool         :       0.05         40          -          -        885          -    (maximal pool size: 6916)
1800.25/1800.29	c   redcost          :       0.02         41          0          0          0          0
1800.25/1800.29	c   impliedbounds    :       0.97         41          0          0          0          0
1800.25/1800.29	c   intobj           :       0.00          0          0          0          0          0
1800.25/1800.29	c   gomory           :     105.39         41          0          0      20500          0
1800.25/1800.29	c   cgmip            :       0.00          0          0          0          0          0
1800.25/1800.29	c   closecuts        :       0.00          0          0          0          0          0
1800.25/1800.29	c   strongcg         :      46.93         20          0          0      10000          0
1800.25/1800.29	c   cmir             :     190.47         10          0          0          0          0
1800.25/1800.29	c   flowcover        :     210.13         10          0          0          0          0
1800.25/1800.29	c   clique           :      32.02         41          0          0        394          0
1800.25/1800.29	c   zerohalf         :       0.00          0          0          0          0          0
1800.25/1800.29	c   mcf              :       3.44          1          0          0          0          0
1800.25/1800.29	c   oddcycle         :       0.00          0          0          0          0          0
1800.25/1800.29	c   rapidlearning    :       0.00          0          0          0          0          0
1800.25/1800.29	c Pricers            :       Time      Calls       Vars
1800.25/1800.29	c   problem variables:       0.00          0          0
1800.25/1800.29	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.25/1800.29	c   relpscost        :       0.00          0          0          0          0          0          0
1800.25/1800.29	c   pscost           :       0.00          0          0          0          0          0          0
1800.25/1800.29	c   inference        :       0.00          1          0          0          0          0          2
1800.25/1800.29	c   mostinf          :       0.00          0          0          0          0          0          0
1800.25/1800.29	c   leastinf         :       0.00          0          0          0          0          0          0
1800.25/1800.29	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.25/1800.29	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.25/1800.29	c   random           :       0.00          0          0          0          0          0          0
1800.25/1800.29	c Primal Heuristics  :       Time      Calls      Found
1800.25/1800.29	c   LP solutions     :       0.00          -          0
1800.25/1800.29	c   pseudo solutions :       0.00          -          0
1800.25/1800.29	c   oneopt           :       0.00          0          0
1800.25/1800.29	c   trivial          :       0.21          2          0
1800.25/1800.29	c   shiftandpropagate:      35.25          1          0
1800.25/1800.29	c   simplerounding   :       0.00          0          0
1800.25/1800.29	c   zirounding       :       0.00          0          0
1800.25/1800.29	c   rounding         :       1.62         41          0
1800.25/1800.29	c   shifting         :     215.95         41          0
1800.25/1800.29	c   intshifting      :       0.00          0          0
1800.25/1800.29	c   twoopt           :       0.00          0          0
1800.25/1800.29	c   fixandinfer      :       0.00          0          0
1800.25/1800.29	c   feaspump         :      45.25          1          0
1800.25/1800.29	c   clique           :       0.00          0          0
1800.25/1800.29	c   coefdiving       :       0.00          0          0
1800.25/1800.29	c   pscostdiving     :       0.00          0          0
1800.25/1800.29	c   fracdiving       :       0.00          0          0
1800.25/1800.29	c   veclendiving     :       0.00          0          0
1800.25/1800.29	c   intdiving        :       0.00          0          0
1800.25/1800.29	c   actconsdiving    :       0.00          0          0
1800.25/1800.29	c   objpscostdiving  :       0.00          0          0
1800.25/1800.29	c   rootsoldiving    :       0.00          0          0
1800.25/1800.29	c   linesearchdiving :       0.00          0          0
1800.25/1800.29	c   guideddiving     :       0.00          0          0
1800.25/1800.29	c   octane           :       0.00          0          0
1800.25/1800.29	c   rens             :       0.00          0          0
1800.25/1800.29	c   rins             :       0.00          0          0
1800.25/1800.29	c   localbranching   :       0.00          0          0
1800.25/1800.29	c   mutation         :       0.00          0          0
1800.25/1800.29	c   crossover        :       0.00          0          0
1800.25/1800.29	c   dins             :       0.00          0          0
1800.25/1800.29	c   vbounds          :       0.00          0          0
1800.25/1800.29	c   undercover       :       0.00          0          0
1800.25/1800.29	c   subnlp           :       0.00          0          0
1800.25/1800.29	c   trysol           :       0.00          0          0
1800.25/1800.29	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.25/1800.29	c   primal LP        :       0.93          0          0       0.00       0.00
1800.25/1800.29	c   dual LP          :     746.02         42     117993    2809.36     158.16
1800.25/1800.29	c   lex dual LP      :       0.00          0          0       0.00          -
1800.25/1800.29	c   barrier LP       :       0.00          0          0       0.00          -
1800.25/1800.29	c   diving/probing LP:      41.36        106      15899     149.99     384.41
1800.25/1800.29	c   strong branching :       0.00          0          0       0.00          -
1800.25/1800.29	c     (at root node) :          -          0          0       0.00          -
1800.25/1800.29	c   conflict analysis:       0.00          0          0       0.00          -
1800.25/1800.29	c B&B Tree           :
1800.25/1800.29	c   number of runs   :          1
1800.25/1800.29	c   nodes            :          1
1800.25/1800.29	c   nodes (total)    :          1
1800.25/1800.29	c   nodes left       :          2
1800.25/1800.29	c   max depth        :          0
1800.25/1800.29	c   max depth (total):          0
1800.25/1800.29	c   backtracks       :          0 (0.0%)
1800.25/1800.29	c   delayed cutoffs  :          0
1800.25/1800.29	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.25/1800.29	c   avg switch length:       1.00
1800.25/1800.29	c   switching time   :       0.00
1800.25/1800.29	c Solution           :
1800.25/1800.29	c   Solutions found  :          0 (0 improvements)
1800.25/1800.29	c   Primal Bound     :          -
1800.25/1800.29	c   Dual Bound       : +4.83050000000000e+03
1800.25/1800.29	c   Gap              :   infinite
1800.25/1800.29	c   Root Dual Bound  : +4.83050000000000e+03
1800.25/1800.29	c   Root Iterations  :     133892
1801.45/1801.43	c Time complete: 1801.48.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3450840-1307081671/watcher-3450840-1307081671 -o /tmp/evaluation-result-3450840-1307081671/solver-3450840-1307081671 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450840-1307081671.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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: 1.92 1.99 1.99 3/455 15285
/proc/meminfo: memFree=24537264/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=10064 CPUtime=0 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 1620 0 0 0 0 0 0 0 21 0 1 0 800583006 10305536 1573 33554432000 4194304 9163163 140735164530960 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15285/statm: 2516 1573 373 1214 0 1298 0

[startup+0.059688 s]
/proc/loadavg: 1.92 1.99 1.99 3/455 15285
/proc/meminfo: memFree=24537264/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=27372 CPUtime=0.05 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 5885 0 0 0 5 0 0 0 21 0 1 0 800583006 28028928 5830 33554432000 4194304 9163163 140735164530960 18446744073709551615 8041844 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15285/statm: 6843 5830 395 1214 0 5625 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27372

[startup+0.100678 s]
/proc/loadavg: 1.92 1.99 1.99 3/455 15285
/proc/meminfo: memFree=24537264/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=29960 CPUtime=0.09 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 6504 0 0 0 9 0 0 0 21 0 1 0 800583006 30679040 6449 33554432000 4194304 9163163 140735164530960 18446744073709551615 8041210 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15285/statm: 7490 6449 395 1214 0 6272 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29960

[startup+0.300641 s]
/proc/loadavg: 1.92 1.99 1.99 3/455 15285
/proc/meminfo: memFree=24537264/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=41932 CPUtime=0.29 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 9528 0 0 0 29 0 0 0 22 0 1 0 800583006 42938368 9454 33554432000 4194304 9163163 140735164530960 18446744073709551615 6169573 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15285/statm: 10483 9454 395 1214 0 9265 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41932

[startup+0.70058 s]
/proc/loadavg: 1.92 1.99 1.99 3/455 15285
/proc/meminfo: memFree=24537264/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=66968 CPUtime=0.69 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 15764 0 0 0 69 0 0 0 23 0 1 0 800583006 68575232 15690 33554432000 4194304 9163163 140735164530960 18446744073709551615 7956067 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15285/statm: 16742 15690 395 1214 0 15524 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66968

[startup+1.50042 s]
/proc/loadavg: 1.92 1.99 1.99 3/456 15286
/proc/meminfo: memFree=24456600/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=116860 CPUtime=1.48 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 28218 0 0 0 146 2 0 0 25 0 1 0 800583006 119664640 28144 33554432000 4194304 9163163 140735164530960 18446744073709551615 8031070 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15285/statm: 29215 28144 395 1214 0 27997 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 116860

[startup+3.10113 s]
/proc/loadavg: 1.92 1.99 1.99 3/456 15286
/proc/meminfo: memFree=24388648/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=426656 CPUtime=3.09 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 105345 0 0 0 297 12 0 0 25 0 1 0 800583006 436895744 105269 33554432000 4194304 9163163 140735164530960 18446744073709551615 8045084 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 106664 105269 439 1214 0 105446 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 426656

[startup+6.30054 s]
/proc/loadavg: 1.93 1.99 1.99 3/456 15286
/proc/meminfo: memFree=24012460/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=533184 CPUtime=6.29 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 196023 0 0 0 608 21 0 0 25 0 1 0 800583006 545980416 131113 33554432000 4194304 9163163 140735164530960 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 133296 131113 560 1214 0 132078 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 533184

[startup+12.7004 s]
/proc/loadavg: 1.93 1.99 1.99 3/456 15287
/proc/meminfo: memFree=24007008/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=538324 CPUtime=12.69 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 197308 0 0 0 1247 22 0 0 25 0 1 0 800583006 551243776 132398 33554432000 4194304 9163163 140735164530960 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 134581 132398 560 1214 0 133363 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 538324

[startup+25.501 s]
/proc/loadavg: 1.95 1.99 1.99 3/456 15287
/proc/meminfo: memFree=24004328/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=539972 CPUtime=25.49 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 197722 0 0 0 2527 22 0 0 25 0 1 0 800583006 552931328 132812 33554432000 4194304 9163163 140735164530960 18446744073709551615 5459044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 134993 132812 560 1214 0 133775 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 539972

[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 1.99 3/456 15288
/proc/meminfo: memFree=23999276/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=544068 CPUtime=51.09 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 198747 0 0 0 5087 22 0 0 25 0 1 0 800583006 557125632 133837 33554432000 4194304 9163163 140735164530960 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 136017 133837 560 1214 0 134799 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 544068

[startup+102.317 s]
/proc/loadavg: 1.98 1.99 1.99 3/456 15289
/proc/meminfo: memFree=23990436/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=551548 CPUtime=102.31 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 200650 0 0 0 10209 22 0 0 25 0 1 0 800583006 564785152 135737 33554432000 4194304 9163163 140735164530960 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 137887 135737 561 1214 0 136669 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 551548

[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/456 15291
/proc/meminfo: memFree=23825000/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=939644 CPUtime=162.3 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 307513 0 0 0 16196 34 0 0 25 0 1 0 800583006 962195456 226069 33554432000 4194304 9163163 140735164530960 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 234911 226069 645 1214 0 233693 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 939644

[startup+222.301 s]
/proc/loadavg: 2.15 2.04 2.01 3/456 15292
/proc/meminfo: memFree=23285440/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1309204 CPUtime=222.29 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 408979 0 0 0 22181 48 0 0 25 0 1 0 800583006 1340624896 312018 33554432000 4194304 9163163 140735164530960 18446744073709551615 7345653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 327301 312018 913 1214 0 326083 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1309204

[startup+282.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/456 15294
/proc/meminfo: memFree=23348164/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1222624 CPUtime=282.3 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 436233 0 0 0 28170 60 0 0 25 0 1 0 800583006 1251966976 296857 33554432000 4194304 9163163 140735164530960 18446744073709551615 7111056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 305656 296857 1674 1214 0 304438 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1222624

[startup+342.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/456 15295
/proc/meminfo: memFree=23241876/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1382124 CPUtime=342.3 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 499614 0 0 0 34161 69 0 0 25 0 1 0 800583006 1415294976 322848 33554432000 4194304 9163163 140735164530960 18446744073709551615 7051396 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 345531 322848 890 1214 0 344313 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1382124

[startup+402.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/456 15297
/proc/meminfo: memFree=23265664/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1382140 CPUtime=402.3 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 514020 0 0 0 40158 72 0 0 25 0 1 0 800583006 1415311360 316026 33554432000 4194304 9163163 140735164530960 18446744073709551615 6284276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 345535 316026 890 1214 0 344317 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1382140

[startup+462.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/456 15299
/proc/meminfo: memFree=23263524/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1382164 CPUtime=462.3 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 523970 0 0 0 46157 73 0 0 25 0 1 0 800583006 1415335936 316021 33554432000 4194304 9163163 140735164530960 18446744073709551615 6284278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 345541 316021 889 1214 0 344323 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1382164

[startup+522.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/456 15327
/proc/meminfo: memFree=23263840/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1382336 CPUtime=522.3 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 540893 0 0 0 52154 76 0 0 25 0 1 0 800583006 1415512064 319490 33554432000 4194304 9163163 140735164530960 18446744073709551615 6284261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 345584 319490 890 1214 0 344366 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1382336

[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/456 15329
/proc/meminfo: memFree=23224132/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1385972 CPUtime=582.31 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 554008 0 0 0 58152 79 0 0 25 0 1 0 800583006 1419235328 330595 33554432000 4194304 9163163 140735164530960 18446744073709551615 6284261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 346493 330595 890 1214 0 345275 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1385972

[startup+642.3 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 15343
/proc/meminfo: memFree=23199864/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1438456 CPUtime=1002.32 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 657520 0 0 0 100133 99 0 0 25 0 1 0 800583006 1472978944 333399 33554432000 4194304 9163163 140735164530960 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 359614 333399 883 1214 0 358396 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1438456

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 15345
/proc/meminfo: memFree=23215724/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1405868 CPUtime=1062.32 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 727949 0 0 0 106120 112 0 0 25 0 1 0 800583006 1439608832 328429 33554432000 4194304 9163163 140735164530960 18446744073709551615 7051385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 351467 328429 882 1214 0 350249 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1405868

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 15346
/proc/meminfo: memFree=23194116/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1417820 CPUtime=1122.33 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 803579 0 0 0 112104 129 0 0 25 0 1 0 800583006 1451847680 334227 33554432000 4194304 9163163 140735164530960 18446744073709551615 7110322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 354455 334227 882 1214 0 353237 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1417820

[startup+1182.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/456 15348
/proc/meminfo: memFree=23238992/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1414256 CPUtime=1182.33 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 891216 0 0 0 118087 146 0 0 25 0 1 0 800583006 1448198144 322888 33554432000 4194304 9163163 140735164530960 18446744073709551615 5842232 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 353564 322888 882 1214 0 352346 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1414256

[startup+1242.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/456 15349
/proc/meminfo: memFree=23217636/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1427212 CPUtime=1242.33 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 986060 0 0 0 124070 163 0 0 25 0 1 0 800583006 1461465088 328328 33554432000 4194304 9163163 140735164530960 18446744073709551615 7110326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 356803 328328 881 1214 0 355585 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1427212

[startup+1302.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/456 15351
/proc/meminfo: memFree=23208424/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1427596 CPUtime=1302.34 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 1074099 0 0 0 130054 180 0 0 25 0 1 0 800583006 1461858304 328982 33554432000 4194304 9163163 140735164530960 18446744073709551615 7348184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 356899 328982 881 1214 0 355681 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1427596

[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/456 15353
/proc/meminfo: memFree=23217960/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1438468 CPUtime=1362.33 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 1175143 0 0 0 136034 199 0 0 25 0 1 0 800583006 1472991232 326713 33554432000 4194304 9163163 140735164530960 18446744073709551615 7317276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 359617 326713 881 1214 0 358399 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1438468

[startup+1422.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/456 15354
/proc/meminfo: memFree=23190172/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1437628 CPUtime=1422.35 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 1277342 0 0 0 142016 219 0 0 25 0 1 0 800583006 1472131072 334113 33554432000 4194304 9163163 140735164530960 18446744073709551615 5843470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 359407 334113 881 1214 0 358189 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1437628

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 15356
/proc/meminfo: memFree=23207260/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1442152 CPUtime=1482.34 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 1368687 0 0 0 147996 238 0 0 25 0 1 0 800583006 1476763648 330132 33554432000 4194304 9163163 140735164530960 18446744073709551615 7414194 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 360538 330132 881 1214 0 359320 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1442152

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 15357
/proc/meminfo: memFree=23213668/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1415484 CPUtime=1542.34 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 1509057 0 0 0 153973 261 0 0 25 0 1 0 800583006 1449455616 327264 33554432000 4194304 9163163 140735164530960 18446744073709551615 7345670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 353871 327264 881 1214 0 352653 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1415484

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 15359
/proc/meminfo: memFree=23159816/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1461564 CPUtime=1602.34 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 1662276 0 0 0 159949 285 0 0 25 0 1 0 800583006 1496641536 340204 33554432000 4194304 9163163 140735164530960 18446744073709551615 6668679 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 365391 340204 881 1214 0 364173 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1461564

[startup+1662.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/456 15361
/proc/meminfo: memFree=23180484/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1493240 CPUtime=1662.35 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 1779180 0 0 0 165930 305 0 0 25 0 1 0 800583006 1529077760 333389 33554432000 4194304 9163163 140735164530960 18446744073709551615 6974030 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 373310 333389 879 1214 0 372092 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1493240

[startup+1722.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/456 15362
/proc/meminfo: memFree=23156404/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1471388 CPUtime=1722.34 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 1868654 0 0 0 171912 322 0 0 25 0 1 0 800583006 1506701312 338004 33554432000 4194304 9163163 140735164530960 18446744073709551615 4693184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 367847 338004 879 1214 0 366629 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1471388

[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/456 15364
/proc/meminfo: memFree=23173356/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1420236 CPUtime=1782.34 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 1981337 0 0 0 177892 342 0 0 25 0 1 0 800583006 1454321664 333735 33554432000 4194304 9163163 140735164530960 18446744073709551615 7345702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 355059 333735 879 1214 0 353841 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1420236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.03 2.00 3/456 15364
/proc/meminfo: memFree=23173728/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1420260 CPUtime=1800.06 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 2041070 0 0 0 179654 352 0 0 25 0 1 0 800583006 1454346240 333666 33554432000 4194304 9163163 140735164530960 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15285/statm: 355065 333666 879 1214 0 353847 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1420260

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

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

[startup+1800.6 s]
/proc/loadavg: 2.03 2.03 2.00 3/457 15365
/proc/meminfo: memFree=23173472/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1420260 CPUtime=1800.66 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 2041103 0 0 0 179714 352 0 0 25 0 1 0 800583006 1454346240 333699 33554432000 4194304 9163163 140735164530960 18446744073709551615 6604935 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15285/statm: 355065 333699 888 1214 0 353847 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 1420260

[startup+1801 s]
/proc/loadavg: 2.03 2.03 2.00 3/457 15365
/proc/meminfo: memFree=23173472/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=1399224 CPUtime=1801.05 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 2041104 0 0 0 179753 352 0 0 25 0 1 0 800583006 1432805376 328441 33554432000 4194304 9163163 140735164530960 18446744073709551615 4210515 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15285/statm: 349806 328441 889 1214 0 348588 0
Current children cumulated CPU time (s) 1801.05
Current children cumulated vsize (KiB) 1399224

[startup+1801.4 s]
/proc/loadavg: 2.03 2.03 2.00 3/457 15365
/proc/meminfo: memFree=23173472/32951124 swapFree=60476376/67111528
[pid=15285] ppid=15283 vsize=845416 CPUtime=1801.45 cores=1,3,5,7
/proc/15285/stat : 15285 (scip-2.0.1.4b.l) R 15283 15285 12802 0 -1 4202496 2041110 0 0 0 179791 354 0 0 25 0 1 0 800583006 865705984 193333 33554432000 4194304 9163163 140735164530960 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15285/statm: 211354 192821 895 1214 0 210136 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 845416

Child status: 0
Real time (s): 1801.43
CPU time (s): 1801.49
CPU user time (s): 1797.91
CPU system time (s): 3.57546
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1509012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.91
system time used= 3.57546
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2041112
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= 5
involuntary context switches= 2388

runsolver used 7.67183 second user time and 18.7891 second system time

The end

Launcher Data 

Begin job on node147 at 2011-06-03 08:14:31
IDJOB=3450840
IDBENCH=2058
IDSOLVER=1948
FILE ID=node147/3450840-1307081671
RUNJOBID= node147-1307068821-13816
PBS_JOBID= 13497839
Free space on /tmp= 73676 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.29.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450840-1307081671/watcher-3450840-1307081671 -o /tmp/evaluation-result-3450840-1307081671/solver-3450840-1307081671 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450840-1307081671.opb -t 1800 -m 15500

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

MD5SUM BENCH= b0a7c1cc13cb603591c6d50e3dba1a47
RANDOM SEED=1638185900

node147.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.836
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.67
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.836
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.836
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.82
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.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.82
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.836
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.76
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.836
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.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24537420 kB
Buffers:        272680 kB
Cached:        1438044 kB
SwapCached:      11164 kB
Active:        6828616 kB
Inactive:      1326952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24537420 kB
SwapTotal:    67111528 kB
SwapFree:     60476376 kB
Dirty:           23752 kB
Writeback:           0 kB
AnonPages:     6442128 kB
Mapped:          25508 kB
Slab:           132220 kB
PageTables:      58688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 120905004 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= 73664 MiB
End job on node147 at 2011-06-03 08:44:33