Trace number 3450670

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.4SAT (TO)-86 1800.06 1800.03

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_5.opb
MD5SUM2b02b42135ec6f53aa7a47afb99951df
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-112
Best CPU time to get the best result obtained on this benchmark1800.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -110
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint10
Maximum length of a constraint21
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6270
Sum of products size (including duplicates)12540
Number of different products3135
Sum of products size6270

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3450670-1307106453.opb>
0.00/0.02	c original problem has 3635 variables (3635 bin, 0 int, 0 impl, 0 cont) and 4135 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.04	o 0
0.00/0.04	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.00/0.04	c presolving:
0.06/0.07	c (round 1) 3135 del vars, 1000 del conss, 0 add conss, 3135 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12540 impls, 0 clqs
0.06/0.08	c (round 2) 3135 del vars, 1000 del conss, 0 add conss, 3135 chg bounds, 0 chg sides, 0 chg coeffs, 3135 upgd conss, 18810 impls, 0 clqs
0.06/0.10	c    (0.1s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.06/0.10	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.06/0.10	c presolving (3 rounds):
0.06/0.10	c  3135 deleted vars, 1000 deleted constraints, 0 added constraints, 3135 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.06/0.10	c  18810 implications, 0 cliques
0.06/0.10	c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 3135 constraints
0.06/0.10	c    3135 constraints of type <logicor>
0.06/0.10	c transformed objective value is always integral (scale: 1)
0.06/0.10	c Presolving Time: 0.06
0.06/0.10	c - non default parameters ----------------------------------------------------------------------
0.06/0.10	c # SCIP version 2.0.1.5
0.06/0.10	c 
0.06/0.10	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.06/0.10	c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.10	c conflict/interconss = 0
0.06/0.10	c 
0.06/0.10	c # should binary conflicts be preferred?
0.06/0.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.10	c conflict/preferbinary = TRUE
0.06/0.10	c 
0.06/0.10	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.06/0.10	c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.10	c constraints/agelimit = 1
0.09/0.10	c 
0.09/0.10	c # should enforcement of pseudo solution be disabled?
0.09/0.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10	c constraints/disableenfops = TRUE
0.09/0.10	c 
0.09/0.10	c # frequency for displaying node information lines
0.09/0.10	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10	c display/freq = 10000
0.09/0.10	c 
0.09/0.10	c # maximal time in seconds to run
0.09/0.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10	c limits/time = 1800
0.09/0.10	c 
0.09/0.10	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10	c limits/memory = 13950
0.09/0.10	c 
0.09/0.10	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.10	c # [type: int, range: [1,2], default: 1]
0.09/0.10	c timing/clocktype = 2
0.09/0.10	c 
0.09/0.10	c # belongs reading time to solving time?
0.09/0.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10	c timing/reading = TRUE
0.09/0.10	c 
0.09/0.10	c # should presolving try to simplify inequalities
0.09/0.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10	c constraints/linear/simplifyinequalities = TRUE
0.09/0.10	c 
0.09/0.10	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10	c constraints/indicator/addCouplingCons = TRUE
0.09/0.10	c 
0.09/0.10	c # should presolving try to simplify knapsacks
0.09/0.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10	c 
0.09/0.10	c -----------------------------------------------------------------------------------------------
0.09/0.10	c start solving
0.09/0.10	c 
0.09/0.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.13	c t 0.1s|     1 |     0 |   539 |     - |  11M|   0 | 500 | 500 |3135 | 500 |3135 |   0 |   0 |   0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.09/0.14	o -1
0.09/0.14	c R 0.1s|     1 |     0 |   539 |     - |  11M|   0 | 500 | 500 |3135 | 500 |3135 |   0 |   0 |   0 |-2.500000e+02 |-1.000000e+00 |  99.60%
0.09/0.15	o -2
0.09/0.15	c s 0.1s|     1 |     0 |   539 |     - |  11M|   0 | 500 | 500 |3135 | 500 |3135 |   0 |   0 |   0 |-2.500000e+02 |-2.000000e+00 |  99.20%
0.19/0.22	c   0.2s|     1 |     0 |   658 |     - |  11M|   0 | 491 | 500 |3135 | 500 |3146 |  11 |   0 |   0 |-2.455000e+02 |-2.000000e+00 |  99.19%
0.19/0.22	o -86
0.19/0.22	c b 0.2s|     1 |     0 |   658 |     - |  11M|   0 | 491 | 500 |3135 | 500 |3146 |  11 |   0 |   0 |-2.455000e+02 |-8.600000e+01 |  64.97%
0.19/0.29	c   0.3s|     1 |     0 |   706 |     - |  11M|   0 | 486 | 500 |3135 | 500 |3154 |  19 |   0 |   0 |-2.430000e+02 |-8.600000e+01 |  64.61%
0.29/0.37	c   0.4s|     1 |     0 |   835 |     - |  11M|   0 | 479 | 500 |3135 | 500 |3163 |  28 |   0 |   0 |-2.395000e+02 |-8.600000e+01 |  64.09%
0.39/0.48	c   0.5s|     1 |     0 |  1076 |     - |  11M|   0 | 472 | 500 |3135 | 500 |3175 |  40 |   0 |   0 |-2.360000e+02 |-8.600000e+01 |  63.56%
0.49/0.59	c   0.6s|     1 |     0 |  1357 |     - |  11M|   0 | 466 | 500 |3135 | 500 |3189 |  54 |   0 |   0 |-2.330000e+02 |-8.600000e+01 |  63.09%
0.69/0.73	c   0.7s|     1 |     0 |  1718 |     - |  11M|   0 | 460 | 500 |3135 | 500 |3199 |  64 |   0 |   0 |-2.300000e+02 |-8.600000e+01 |  62.61%
0.79/0.81	c   0.8s|     1 |     0 |  1835 |     - |  12M|   0 | 456 | 500 |3135 | 500 |3209 |  74 |   0 |   0 |-2.280000e+02 |-8.600000e+01 |  62.28%
0.89/0.97	c   1.0s|     1 |     0 |  2308 |     - |  12M|   0 | 451 | 500 |3135 | 500 |3219 |  84 |   0 |   0 |-2.255000e+02 |-8.600000e+01 |  61.86%
1.01/1.10	c   1.1s|     1 |     0 |  2535 |     - |  12M|   0 | 449 | 500 |3135 | 500 |3227 |  92 |   0 |   0 |-2.237500e+02 |-8.600000e+01 |  61.56%
1.19/1.25	c   1.3s|     1 |     0 |  3139 |     - |  12M|   0 | 444 | 500 |3135 | 500 |3238 | 103 |   0 |   0 |-2.220000e+02 |-8.600000e+01 |  61.26%
1.39/1.40	c   1.4s|     1 |     0 |  3556 |     - |  12M|   0 | 440 | 500 |3135 | 500 | 966 | 112 |   0 |   0 |-2.200000e+02 |-8.600000e+01 |  60.91%
1.49/1.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.49/1.50	c   1.5s|     1 |     0 |  3958 |     - |  12M|   0 | 446 | 500 |3135 | 500 | 976 | 122 |   0 |   0 |-2.188333e+02 |-8.600000e+01 |  60.70%
1.49/1.58	c   1.6s|     1 |     0 |  4287 |     - |  13M|   0 | 436 | 500 |3135 | 500 |1062 | 208 |   0 |   0 |-2.180000e+02 |-8.600000e+01 |  60.55%
1.69/1.71	c   1.7s|     1 |     0 |  4886 |     - |  13M|   0 | 447 | 500 |3135 | 500 |1072 | 218 |   0 |   0 |-2.165000e+02 |-8.600000e+01 |  60.28%
1.79/1.87	c   1.9s|     1 |     0 |  5420 |     - |  14M|   0 | 424 | 500 |3135 | 500 |1115 | 261 |   0 |   0 |-2.150000e+02 |-8.600000e+01 |  60.00%
1.89/1.95	c   2.0s|     1 |     0 |  5862 |     - |  14M|   0 | 434 | 500 |3135 | 500 |1143 | 289 |   0 |   0 |-2.137500e+02 |-8.600000e+01 |  59.77%
1.99/2.03	c   2.0s|     1 |     0 |  6108 |     - |  14M|   0 | 437 | 500 |3135 | 500 | 941 | 318 |   0 |   0 |-2.130000e+02 |-8.600000e+01 |  59.62%
2.11/2.16	c   2.2s|     1 |     0 |  6663 |     - |  15M|   0 | 422 | 500 |3135 | 500 | 957 | 334 |   0 |   0 |-2.125000e+02 |-8.600000e+01 |  59.53%
2.29/2.32	c   2.3s|     1 |     0 |  7811 |     - |  15M|   0 | 407 | 500 |3135 | 500 |1010 | 387 |   0 |   0 |-2.115000e+02 |-8.600000e+01 |  59.34%
2.39/2.50	c   2.5s|     1 |     0 |  8823 |     - |  15M|   0 | 468 | 500 |3135 | 500 |1079 | 456 |   0 |   0 |-2.108966e+02 |-8.600000e+01 |  59.22%
2.59/2.61	c   2.6s|     1 |     0 |  9206 |     - |  16M|   0 | 418 | 500 |3135 | 500 |1237 | 614 |   0 |   0 |-2.100000e+02 |-8.600000e+01 |  59.05%
2.79/2.88	c   2.9s|     1 |     0 | 11351 |     - |  16M|   0 | 452 | 500 |3135 | 500 |1253 | 630 |   0 |   0 |-2.091757e+02 |-8.600000e+01 |  58.89%
2.99/3.05	c   3.0s|     1 |     0 | 12353 |     - |  17M|   0 | 429 | 500 |3135 | 500 |1094 | 710 |   0 |   0 |-2.080000e+02 |-8.600000e+01 |  58.65%
3.09/3.16	c   3.2s|     1 |     0 | 13105 |     - |  17M|   0 | 418 | 500 |3135 | 500 |1110 | 726 |   0 |   0 |-2.070556e+02 |-8.600000e+01 |  58.47%
3.21/3.24	c   3.2s|     1 |     0 | 13547 |     - |  17M|   0 | 413 | 500 |3135 | 500 |1147 | 763 |   0 |   0 |-2.062500e+02 |-8.600000e+01 |  58.30%
3.31/3.35	c   3.3s|     1 |     0 | 14093 |     - |  17M|   0 | 435 | 500 |3135 | 500 |1164 | 780 |   0 |   0 |-2.056400e+02 |-8.600000e+01 |  58.18%
3.49/3.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.49/3.55	c   3.6s|     1 |     0 | 15474 |     - |  18M|   0 | 468 | 500 |3135 | 500 |1334 | 950 |   0 |   0 |-2.045000e+02 |-8.600000e+01 |  57.95%
3.79/3.87	c   3.9s|     1 |     0 | 17502 |     - |  19M|   0 | 403 | 500 |3135 | 500 |1516 |1132 |   0 |   0 |-2.025000e+02 |-8.600000e+01 |  57.53%
3.89/3.98	c   4.0s|     1 |     0 | 18031 |     - |  19M|   0 | 430 | 500 |3135 | 500 |1312 |1142 |   0 |   0 |-2.019091e+02 |-8.600000e+01 |  57.41%
4.09/4.19	c   4.2s|     1 |     0 | 19644 |     - |  19M|   0 | 450 | 500 |3135 | 500 |1330 |1160 |   0 |   0 |-2.005000e+02 |-8.600000e+01 |  57.11%
4.31/4.32	c   4.3s|     1 |     0 | 20240 |     - |  20M|   0 | 415 | 500 |3135 | 500 |1376 |1206 |   0 |   0 |-2.002500e+02 |-8.600000e+01 |  57.05%
4.49/4.51	c   4.5s|     1 |     0 | 21702 |     - |  20M|   0 | 418 | 500 |3135 | 500 |1394 |1224 |   0 |   0 |-1.997500e+02 |-8.600000e+01 |  56.95%
4.59/4.60	c   4.6s|     1 |     0 | 21920 |     - |  20M|   0 | 405 | 500 |3135 | 500 |1408 |1238 |   0 |   0 |-1.995000e+02 |-8.600000e+01 |  56.89%
4.69/4.75	c   4.8s|     1 |     0 | 22800 |     - |  21M|   0 | 430 | 500 |3135 | 500 |1416 |1246 |   0 |   0 |-1.990000e+02 |-8.600000e+01 |  56.78%
4.89/4.92	c   4.9s|     1 |     0 | 23795 |     - |  21M|   0 | 442 | 500 |3135 | 500 |1104 |1272 |   0 |   0 |-1.988077e+02 |-8.600000e+01 |  56.74%
4.99/5.05	c   5.0s|     1 |     0 | 24352 |     - |  21M|   0 | 444 | 500 |3135 | 500 |1134 |1302 |   0 |   0 |-1.985620e+02 |-8.600000e+01 |  56.69%
5.09/5.18	c   5.2s|     1 |     0 | 24963 |     - |  22M|   0 | 442 | 500 |3135 | 500 |1192 |1360 |   0 |   0 |-1.981665e+02 |-8.600000e+01 |  56.60%
5.29/5.37	c   5.4s|     1 |     0 | 26070 |     - |  22M|   0 | 449 | 500 |3135 | 500 |1220 |1388 |   0 |   0 |-1.976320e+02 |-8.600000e+01 |  56.48%
5.51/5.53	c   5.5s|     1 |     0 | 26726 |     - |  23M|   0 | 388 | 500 |3135 | 500 |1255 |1423 |   0 |   0 |-1.960000e+02 |-8.600000e+01 |  56.12%
5.59/5.60	c   5.6s|     1 |     0 | 27054 |     - |  23M|   0 | 391 | 500 |3135 | 500 |1268 |1436 |   0 |   0 |-1.950000e+02 |-8.600000e+01 |  55.90%
5.59/5.68	c   5.7s|     1 |     0 | 27283 |     - |  23M|   0 | 434 | 500 |3135 | 500 | 924 |1454 |   0 |   0 |-1.950000e+02 |-8.600000e+01 |  55.90%
5.70/5.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.70/5.78	c   5.8s|     1 |     0 | 27790 |     - |  24M|   0 | 443 | 500 |3135 | 500 | 932 |1462 |   0 |   0 |-1.948571e+02 |-8.600000e+01 |  55.87%
5.89/5.91	c   5.9s|     1 |     0 | 28495 |     - |  24M|   0 | 444 | 500 |3135 | 500 |1033 |1563 |   0 |   0 |-1.941250e+02 |-8.600000e+01 |  55.70%
5.99/6.03	c   6.0s|     1 |     0 | 29038 |     - |  24M|   0 | 456 | 500 |3135 | 500 |1120 |1650 |   0 |   0 |-1.930000e+02 |-8.600000e+01 |  55.44%
6.09/6.14	c   6.1s|     1 |     0 | 29414 |     - |  25M|   0 | 465 | 500 |3135 | 500 |1166 |1696 |   0 |   0 |-1.930000e+02 |-8.600000e+01 |  55.44%
6.29/6.35	c   6.3s|     1 |     0 | 30803 |     - |  25M|   0 | 452 | 500 |3135 | 500 |1219 |1749 |   0 |   0 |-1.927063e+02 |-8.600000e+01 |  55.37%
6.39/6.44	c   6.4s|     1 |     0 | 31107 |     - |  26M|   0 | 453 | 500 |3135 | 500 |1055 |1786 |   0 |   0 |-1.925664e+02 |-8.600000e+01 |  55.34%
6.50/6.57	c   6.6s|     1 |     0 | 31871 |     - |  26M|   0 | 469 | 500 |3135 | 500 |1084 |1815 |   0 |   0 |-1.921923e+02 |-8.600000e+01 |  55.25%
6.69/6.70	c   6.7s|     1 |     0 | 32595 |     - |  27M|   0 | 460 | 500 |3135 | 500 |1164 |1895 |   0 |   0 |-1.921030e+02 |-8.600000e+01 |  55.23%
6.79/6.87	c   6.9s|     1 |     0 | 33506 |     - |  27M|   0 | 475 | 500 |3135 | 500 |1201 |1932 |   0 |   0 |-1.919266e+02 |-8.600000e+01 |  55.19%
6.99/7.02	c   7.0s|     1 |     0 | 34059 |     - |  27M|   0 | 478 | 500 |3135 | 500 |1286 |2017 |   0 |   0 |-1.918398e+02 |-8.600000e+01 |  55.17%
7.09/7.17	c   7.2s|     1 |     0 | 34690 |     - |  27M|   0 | 464 | 500 |3135 | 500 |1327 |2058 |   0 |   0 |-1.917496e+02 |-8.600000e+01 |  55.15%
7.29/7.30	c   7.3s|     1 |     0 | 35151 |     - |  27M|   0 | 466 | 500 |3135 | 500 |1118 |2081 |   0 |   0 |-1.916267e+02 |-8.600000e+01 |  55.12%
7.39/7.43	c   7.4s|     1 |     0 | 35833 |     - |  27M|   0 | 418 | 500 |3135 | 500 |1147 |2110 |   0 |   0 |-1.915174e+02 |-8.600000e+01 |  55.10%
7.49/7.55	c   7.5s|     1 |     0 | 36594 |     - |  27M|   0 | 437 | 500 |3135 | 500 |1181 |2144 |   0 |   0 |-1.911987e+02 |-8.600000e+01 |  55.02%
7.61/7.65	c   7.7s|     1 |     0 | 36978 |     - |  28M|   0 | 445 | 500 |3135 | 500 |1215 |2178 |   0 |   0 |-1.910446e+02 |-8.600000e+01 |  54.98%
7.70/7.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.70/7.73	c   7.7s|     1 |     0 | 37150 |     - |  28M|   0 | 453 | 500 |3135 | 500 |1257 |2220 |   0 |   0 |-1.908057e+02 |-8.600000e+01 |  54.93%
7.89/7.91	c   7.9s|     1 |     0 | 37874 |     - |  28M|   0 | 448 | 500 |3135 | 500 |1287 |2250 |   0 |   0 |-1.906471e+02 |-8.600000e+01 |  54.89%
7.99/8.04	c   8.0s|     1 |     0 | 38673 |     - |  29M|   0 | 447 | 500 |3135 | 500 |1124 |2283 |   0 |   0 |-1.903667e+02 |-8.600000e+01 |  54.82%
8.09/8.18	c   8.2s|     1 |     0 | 39320 |     - |  30M|   0 | 488 | 500 |3135 | 500 |1170 |2329 |   0 |   0 |-1.902556e+02 |-8.600000e+01 |  54.80%
8.29/8.33	c   8.3s|     1 |     0 | 39655 |     - |  30M|   0 | 489 | 500 |3135 | 500 |1297 |2456 |   0 |   0 |-1.902425e+02 |-8.600000e+01 |  54.79%
8.39/8.48	c   8.5s|     1 |     0 | 39968 |     - |  30M|   0 | 489 | 500 |3135 | 500 |1311 |2470 |   0 |   0 |-1.902270e+02 |-8.600000e+01 |  54.79%
8.59/8.63	c   8.6s|     1 |     0 | 40253 |     - |  30M|   0 | 485 | 500 |3135 | 500 |1329 |2488 |   0 |   0 |-1.901992e+02 |-8.600000e+01 |  54.78%
8.70/8.77	c   8.8s|     1 |     0 | 40334 |     - |  30M|   0 | 492 | 500 |3135 | 500 |1346 |2505 |   0 |   0 |-1.901985e+02 |-8.600000e+01 |  54.78%
8.89/8.90	c   8.9s|     1 |     0 | 40340 |     - |  30M|   0 | 491 | 500 |3135 | 500 |1140 |2508 |   0 |   0 |-1.901985e+02 |-8.600000e+01 |  54.78%
8.99/9.01	c   9.0s|     1 |     0 | 40367 |     - |  30M|   0 | 489 | 500 |3135 | 500 |1141 |2509 |   0 |   0 |-1.901982e+02 |-8.600000e+01 |  54.78%
9.09/9.12	c   9.1s|     1 |     0 | 40373 |     - |  30M|   0 | 489 | 500 |3135 | 500 |1142 |2510 |   0 |   0 |-1.901981e+02 |-8.600000e+01 |  54.78%
9.19/9.22	c   9.2s|     1 |     0 | 40384 |     - |  30M|   0 | 489 | 500 |3135 | 500 |1150 |2518 |   0 |   0 |-1.901981e+02 |-8.600000e+01 |  54.78%
10.69/10.75	c  10.8s|     1 |     2 | 40384 |     - |  30M|   0 | 489 | 500 |3135 | 500 |1150 |2518 |   0 |  23 |-1.901981e+02 |-8.600000e+01 |  54.78%
146.59/146.65	c   147s| 10000 | 10001 |  1959k| 191.9 |  41M|  43 | 323 | 500 |3135 | 500 | 794 | 708k|   0 |6330 |-1.890854e+02 |-8.600000e+01 |  54.52%
261.71/261.75	c   262s| 20000 | 20001 |  3725k| 184.3 |  52M|  44 | 217 | 500 |3135 | 500 | 580 |1355k|   0 |8446 |-1.889053e+02 |-8.600000e+01 |  54.47%
375.69/375.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
375.69/375.78	c   376s| 30000 | 30001 |  5516k| 182.5 |  63M|  44 |  33 | 500 |3135 | 500 | 492 |2009k|   0 |  10k|-1.887389e+02 |-8.600000e+01 |  54.43%
480.71/480.73	c   481s| 40000 | 40001 |  7184k| 178.6 |  74M|  59 | 175 | 500 |3135 | 500 | 753 |2627k|   0 |  11k|-1.886327e+02 |-8.600000e+01 |  54.41%
584.20/584.21	c   584s| 50000 | 50001 |  8820k| 175.6 |  85M|  59 |   8 | 500 |3135 | 500 | 492 |3205k|   0 |  12k|-1.885200e+02 |-8.600000e+01 |  54.38%
686.89/686.94	c   687s| 60000 | 60001 | 10465k| 173.8 |  96M|  59 |   8 | 500 |3135 | 500 | 492 |3787k|   0 |  13k|-1.884375e+02 |-8.600000e+01 |  54.36%
787.40/787.45	c   787s| 70000 | 70001 | 12087k| 172.1 | 107M|  59 | 241 | 500 |3135 | 500 | 634 |4376k|   1 |  14k|-1.883632e+02 |-8.600000e+01 |  54.34%
887.61/887.67	c   888s| 80000 | 80001 | 13692k| 170.7 | 118M|  59 |  60 | 500 |3135 | 500 | 584 |4961k|   1 |  15k|-1.883125e+02 |-8.600000e+01 |  54.33%
988.82/988.87	c   989s| 90000 | 90001 | 15323k| 169.8 | 129M|  59 | 203 | 500 |3135 | 500 | 726 |5540k|   1 |  16k|-1.882500e+02 |-8.600000e+01 |  54.32%
1088.40/1088.45	c  1088s|100000 |100001 | 16941k| 169.0 | 140M|  59 |   1 | 500 |3135 | 500 | 492 |6135k|   1 |  17k|-1.881935e+02 |-8.600000e+01 |  54.30%
1185.30/1185.37	c  1185s|110000 |110001 | 18524k| 168.0 | 151M|  59 |  45 | 500 |3135 | 500 | 492 |6719k|   1 |  17k|-1.881429e+02 |-8.600000e+01 |  54.29%
1281.11/1281.16	c  1281s|120000 |120001 | 20094k| 167.1 | 162M|  59 | 222 | 500 |3135 | 500 | 793 |7315k|   1 |  18k|-1.881000e+02 |-8.600000e+01 |  54.28%
1381.41/1381.49	c  1381s|130000 |130001 | 21732k| 166.9 | 173M|  59 | 237 | 500 |3135 | 500 | 729 |7907k|   1 |  19k|-1.880577e+02 |-8.600000e+01 |  54.27%
1482.21/1482.20	c  1482s|140000 |140001 | 23371k| 166.7 | 184M|  59 | 177 | 500 |3135 | 500 | 642 |8499k|   1 |  19k|-1.880000e+02 |-8.600000e+01 |  54.26%
1590.31/1590.30	c  1590s|150000 |150001 | 25121k| 167.2 | 196M|  59 | 131 | 500 |3135 | 500 | 591 |9092k|   1 |  20k|-1.880000e+02 |-8.600000e+01 |  54.26%
1697.12/1697.21	c  1697s|160000 |160001 | 26863k| 167.6 | 207M|  59 |  23 | 500 |3135 | 500 | 492 |9697k|   1 |  21k|-1.879956e+02 |-8.600000e+01 |  54.25%
1794.91/1794.98	c  1795s|170000 |170001 | 28466k| 167.2 | 218M|  59 |  14 | 500 |3135 | 500 | 492 |  10M|   1 |  21k|-1.879388e+02 |-8.600000e+01 |  54.24%
1800.02/1800.00	c 
1800.02/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.02/1800.00	c Solving Time (sec) : 1800.00
1800.02/1800.00	c Solving Nodes      : 170477
1800.02/1800.00	c Primal Bound       : -8.60000000000000e+01 (502 solutions)
1800.02/1800.00	c Dual Bound         : -1.87937500000000e+02
1800.02/1800.00	c Gap                : 54.24 %
1800.02/1800.00	s SATISFIABLE
1800.02/1800.00	v x500 x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 
1800.02/1800.00	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 
1800.02/1800.00	v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 
1800.02/1800.00	v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 
1800.02/1800.00	v -x415 x414 -x413 -x412 -x411 -x410 -x409 -x408 x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 
1800.02/1800.00	v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 x377 -x376 -x375 -x374 -x373 
1800.02/1800.00	v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 
1800.02/1800.00	v -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 
1800.02/1800.00	v -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 x313 -x312 -x311 -x310 
1800.02/1800.00	v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 x293 -x292 -x291 -x290 -x289 
1800.02/1800.00	v x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 x268 -x267 
1800.02/1800.00	v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 
1800.02/1800.00	v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 
1800.02/1800.00	v -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 x207 -x206 -x205 x204 -x203 
1800.02/1800.00	v -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 x183 -x182 
1800.02/1800.00	v -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 x162 -x161 
1800.02/1800.00	v -x160 -x159 x158 x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 
1800.02/1800.00	v -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 
1800.02/1800.00	v -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 x107 x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 
1800.02/1800.00	v -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 
1800.02/1800.00	v -x69 -x68 x67 -x66 x65 -x64 -x63 -x62 -x61 x60 x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 x47 -x46 -x45 x44 x43 
1800.02/1800.00	v -x42 -x41 -x40 x39 -x38 x37 x36 x35 -x34 x33 x32 x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 x22 -x21 x20 x19 -x18 x17 x16 x15 
1800.02/1800.00	v x14 x13 -x12 -x11 -x10 x9 x8 x7 -x6 x5 x4 x3 x2 x1 
1800.02/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.02/1800.00	c Total Time         :    1800.00
1800.02/1800.00	c   solving          :    1800.00
1800.02/1800.00	c   presolving       :       0.06 (included in solving)
1800.02/1800.00	c   reading          :       0.02 (included in solving)
1800.02/1800.00	c Original Problem   :
1800.02/1800.00	c   Problem name     : HOME/instance-3450670-1307106453.opb
1800.02/1800.00	c   Variables        : 3635 (3635 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.00	c   Constraints      : 4135 initial, 4135 maximal
1800.02/1800.00	c Presolved Problem  :
1800.02/1800.00	c   Problem name     : t_HOME/instance-3450670-1307106453.opb
1800.02/1800.00	c   Variables        : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.00	c   Constraints      : 3135 initial, 3136 maximal
1800.02/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.02/1800.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1800.02/1800.00	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1800.02/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.02/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.02/1800.00	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1800.02/1800.00	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1800.02/1800.00	c   probing          :       0.01          0          0          0          0          0          0          0          0          0
1800.02/1800.00	c   and              :       0.03          0          0          0          0          0          0          0          0          0
1800.02/1800.00	c   linear           :       0.01       3135          0          0       3135          0        500          0          0          0
1800.02/1800.00	c   logicor          :       0.01          0          0          0          0          0          0          0          0          0
1800.02/1800.00	c   pseudoboolean    :       0.00          0          0          0          0          0        500          0          0          0
1800.02/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.02/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.00	c   integral         :          0          0          0     210945          0     375355          0          0          0          0          0     340950
1800.02/1800.00	c   logicor          :       3135+        68     281400      40470          0     375351          0          0    1415917   10321522          0          0
1800.02/1800.00	c   countsols        :          0          0          0          0          0        504          0          0          0          0          0          0
1800.02/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.02/1800.00	c   integral         :      81.83       0.00       0.00      81.75       0.00       0.09       0.00
1800.02/1800.00	c   logicor          :      18.48       0.03       5.65       8.37       0.00       4.44       0.00
1800.02/1800.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.02/1800.00	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.02/1800.00	c   vbounds          :          0          0          0          0
1800.02/1800.00	c   rootredcost      :          0          0          0          0
1800.02/1800.00	c   pseudoobj        :     593062          0          0          0
1800.02/1800.00	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.02/1800.00	c   vbounds          :       0.10       0.10       0.00
1800.02/1800.00	c   rootredcost      :       0.12       0.12       0.00
1800.02/1800.00	c   pseudoobj        :       5.18       5.18       0.00
1800.02/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.00	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.00	c   infeasible LP    :       0.00          1          1          1       20.0          0        0.0          0
1800.02/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.00	c   applied globally :          -          -          -          1       20.0          -          -          -
1800.02/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.02/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.00	c   cut pool         :       0.11         67          -          -        572          -    (maximal pool size: 4389)
1800.02/1800.00	c   redcost          :       1.93     211012          0          0          0          0
1800.02/1800.00	c   impliedbounds    :       0.02         68          0          0       3630          0
1800.02/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.00	c   gomory           :       3.07         68          0          0      27978          0
1800.02/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.00	c   closecuts        :       0.00          0          0          0          0          0
1800.02/1800.00	c   strongcg         :       0.45         20          0          0      10000          0
1800.02/1800.00	c   cmir             :       0.07         10          0          0          0          0
1800.02/1800.00	c   flowcover        :       0.05         10          0          0          0          0
1800.02/1800.00	c   clique           :       0.19         68          0          0        440          0
1800.02/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.00	c   mcf              :       0.00          1          0          0          0          0
1800.02/1800.00	c   oddcycle         :       0.00          0          0          0          0          0
1800.02/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.00	c Pricers            :       Time      Calls       Vars
1800.02/1800.00	c   problem variables:       0.00          0          0
1800.02/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.00	c   relpscost        :      81.63     170475          0          0          0          0     340950
1800.02/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   inference        :       0.00          2          0          0          0          0          4
1800.02/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.00	c   LP solutions     :       0.00          -          0
1800.02/1800.00	c   pseudo solutions :       0.00          -          0
1800.02/1800.00	c   oneopt           :       0.10          2          1
1800.02/1800.00	c   crossover        :       0.28         10          1
1800.02/1800.00	c   coefdiving       :      37.08       3697         74
1800.02/1800.00	c   guideddiving     :      38.16       3698         25
1800.02/1800.00	c   pscostdiving     :      37.37       3698         35
1800.02/1800.00	c   linesearchdiving :      39.39       3699         28
1800.02/1800.00	c   trivial          :       0.00          2          1
1800.02/1800.00	c   shiftandpropagate:       0.00          0          0
1800.02/1800.00	c   simplerounding   :       3.95     170539        219
1800.02/1800.00	c   zirounding       :       0.15       1000          0
1800.02/1800.00	c   rounding         :      16.73      19636          1
1800.02/1800.00	c   shifting         :       5.22       5724          1
1800.02/1800.00	c   intshifting      :       0.00          0          0
1800.02/1800.00	c   twoopt           :       0.00          0          0
1800.02/1800.00	c   fixandinfer      :       0.00          0          0
1800.02/1800.00	c   feaspump         :       0.00          0          0
1800.02/1800.00	c   clique           :       0.00          0          0
1800.02/1800.00	c   fracdiving       :      38.30       3698         26
1800.02/1800.00	c   veclendiving     :      45.03       3699         88
1800.02/1800.00	c   intdiving        :       0.00          0          0
1800.02/1800.00	c   actconsdiving    :       0.00          0          0
1800.02/1800.00	c   objpscostdiving  :      16.57        583          1
1800.02/1800.00	c   rootsoldiving    :      13.57       1100          1
1800.02/1800.00	c   octane           :       0.00          0          0
1800.02/1800.00	c   rens             :       0.01          0          0
1800.02/1800.00	c   rins             :       0.00          0          0
1800.02/1800.00	c   localbranching   :       0.00          0          0
1800.02/1800.00	c   mutation         :       0.00          0          0
1800.02/1800.00	c   dins             :       0.00          0          0
1800.02/1800.00	c   vbounds          :       0.00          0          0
1800.02/1800.00	c   undercover       :       0.01          1          0
1800.02/1800.00	c   subnlp           :       0.03          0          0
1800.02/1800.00	c   trysol           :       0.04          0          0
1800.02/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.00	c   primal LP        :      12.31          0          0       0.00       0.00
1800.02/1800.00	c   dual LP          :    1347.83     211002   24665519     116.90   18300.17
1800.02/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.00	c   diving/probing LP:     227.33     180269    3880348      21.53   17069.40
1800.02/1800.00	c   strong branching :      76.49      21794    1078873      49.50   14104.38
1800.02/1800.00	c     (at root node) :          -         23      17101     743.52          -
1800.02/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.00	c B&B Tree           :
1800.02/1800.00	c   number of runs   :          1
1800.02/1800.00	c   nodes            :     170477
1800.02/1800.00	c   nodes (total)    :     170477
1800.02/1800.00	c   nodes left       :     170478
1800.02/1800.00	c   max depth        :         59
1800.02/1800.00	c   max depth (total):         59
1800.02/1800.00	c   backtracks       :      23870 (14.0%)
1800.02/1800.00	c   delayed cutoffs  :          0
1800.02/1800.00	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.02/1800.00	c   avg switch length:       4.13
1800.02/1800.00	c   switching time   :      22.70
1800.02/1800.00	c Solution           :
1800.02/1800.00	c   Solutions found  :        502 (4 improvements)
1800.02/1800.00	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.02/1800.00	c   Primal Bound     : -8.60000000000000e+01   (in run 1, after 1 nodes, 0.22 seconds, depth 0, found by <oneopt>)
1800.02/1800.00	c   Dual Bound       : -1.87937500000000e+02
1800.02/1800.00	c   Gap              :      54.24 %
1800.02/1800.00	c   Root Dual Bound  : -1.90198126329018e+02
1800.02/1800.00	c   Root Iterations  :      40384

Verifier Data 

OK	-86

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-3450670-1307106453/watcher-3450670-1307106453 -o /tmp/evaluation-result-3450670-1307106453/solver-3450670-1307106453 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450670-1307106453.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.97 2.02 2.00 2/434 32760
/proc/meminfo: memFree=12301260/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=16884 CPUtime=0.01 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 3211 0 0 0 1 0 0 0 19 0 1 0 822244921 17289216 3164 33554432000 4194304 9163163 140735051099056 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32760/statm: 4221 3164 415 1214 0 3003 0

[startup+0.075021 s]
/proc/loadavg: 1.97 2.02 2.00 2/434 32760
/proc/meminfo: memFree=12301260/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=30928 CPUtime=0.06 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 6727 0 0 0 6 0 0 0 19 0 1 0 822244921 31670272 6422 33554432000 4194304 9163163 140735051099056 18446744073709551615 4443027 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 7732 6422 525 1214 0 6514 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 30928

[startup+0.101014 s]
/proc/loadavg: 1.97 2.02 2.00 2/434 32760
/proc/meminfo: memFree=12301260/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=32796 CPUtime=0.09 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 7215 0 0 0 9 0 0 0 19 0 1 0 822244921 33583104 6910 33554432000 4194304 9163163 140735051099056 18446744073709551615 8090608 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32760/statm: 8199 6910 548 1214 0 6981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32796

[startup+0.300984 s]
/proc/loadavg: 1.97 2.02 2.00 2/434 32760
/proc/meminfo: memFree=12301260/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=40212 CPUtime=0.29 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 11828 0 0 0 27 2 0 0 18 0 1 0 822244921 41177088 8887 33554432000 4194304 9163163 140735051099056 18446744073709551615 7447824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 10053 8887 708 1214 0 8835 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40212

[startup+0.700912 s]
/proc/loadavg: 1.97 2.02 2.00 2/434 32760
/proc/meminfo: memFree=12301260/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=45048 CPUtime=0.69 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 13100 0 0 0 67 2 0 0 18 0 1 0 822244921 46129152 10123 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 11262 10123 699 1214 0 10044 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45048

[startup+1.50078 s]
/proc/loadavg: 1.97 2.02 2.00 3/435 32761
/proc/meminfo: memFree=12260704/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=52364 CPUtime=1.49 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 14915 0 0 0 145 4 0 0 19 0 1 0 822244921 53620736 11931 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 13091 11931 693 1214 0 11873 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52364

[startup+3.1005 s]
/proc/loadavg: 1.97 2.02 2.00 3/435 32761
/proc/meminfo: memFree=12249172/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=64928 CPUtime=3.09 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 18139 0 0 0 299 10 0 0 24 0 1 0 822244921 66486272 15135 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 16232 15135 724 1214 0 15014 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64928

[startup+6.30094 s]
/proc/loadavg: 2.21 2.07 2.01 4/435 32761
/proc/meminfo: memFree=12236900/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=72756 CPUtime=6.29 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 20223 0 0 0 610 19 0 0 25 0 1 0 822244921 74502144 17129 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 18189 17129 694 1214 0 16971 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72756

[startup+12.7008 s]
/proc/loadavg: 2.19 2.07 2.01 3/435 32761
/proc/meminfo: memFree=12227132/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=77212 CPUtime=12.69 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 22793 0 0 0 1221 48 0 0 25 0 1 0 822244921 79065088 18263 33554432000 4194304 9163163 140735051099056 18446744073709551615 7379350 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 19303 18263 720 1214 0 18085 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 77212

[startup+25.5006 s]
/proc/loadavg: 2.15 2.06 2.01 3/435 32761
/proc/meminfo: memFree=12226816/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=77212 CPUtime=25.49 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 25515 0 0 0 2420 129 0 0 25 0 1 0 822244921 79065088 18273 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 19303 18273 728 1214 0 18085 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77212

[startup+51.1002 s]
/proc/loadavg: 2.10 2.06 2.01 3/435 32762
/proc/meminfo: memFree=12214988/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=87436 CPUtime=51.09 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 32422 0 0 0 4808 301 0 0 25 0 1 0 822244921 89534464 20837 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 21859 20837 723 1214 0 20641 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87436

[startup+102.316 s]
/proc/loadavg: 2.04 2.05 2.00 3/435 32763
/proc/meminfo: memFree=12209232/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=87436 CPUtime=102.31 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 34210 0 0 0 9587 644 0 0 25 0 1 0 822244921 89534464 20853 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 21859 20853 723 1214 0 20641 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 87436

[startup+162.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/435 32765
/proc/meminfo: memFree=12202904/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=90216 CPUtime=162.3 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 38024 0 0 0 15177 1053 0 0 25 0 1 0 822244921 92381184 21560 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 22554 21560 723 1214 0 21336 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 90216

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 32767
/proc/meminfo: memFree=12186652/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=96436 CPUtime=222.29 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 39553 0 0 0 20789 1440 0 0 25 0 1 0 822244921 98750464 23088 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 24109 23088 723 1214 0 22891 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 96436

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 300
/proc/meminfo: memFree=12167052/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=102616 CPUtime=282.3 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 44728 0 0 0 26393 1837 0 0 25 0 1 0 822244921 105078784 24696 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 25654 24696 723 1214 0 24436 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 102616

[startup+342.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/435 302
/proc/meminfo: memFree=12151420/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=110936 CPUtime=342.3 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 50303 0 0 0 31987 2243 0 0 25 0 1 0 822244921 113598464 26757 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 27734 26757 723 1214 0 26516 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 110936

[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/435 303
/proc/meminfo: memFree=12142728/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=115152 CPUtime=402.3 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 51422 0 0 0 37577 2653 0 0 25 0 1 0 822244921 117915648 27861 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 28788 27861 723 1214 0 27570 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 115152

[startup+462.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/435 305
/proc/meminfo: memFree=12128828/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=121732 CPUtime=462.29 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 53104 0 0 0 43162 3067 0 0 25 0 1 0 822244921 124653568 29530 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 30433 29530 723 1214 0 29215 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 121732

[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/435 307
/proc/meminfo: memFree=12111704/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=129164 CPUtime=522.3 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 54985 0 0 0 48757 3473 0 0 25 0 1 0 822244921 132263936 31407 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 32291 31407 723 1214 0 31073 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 129164

[startup+582.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/435 308
/proc/meminfo: memFree=12094456/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=135148 CPUtime=582.29 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 56527 0 0 0 54351 3878 0 0 25 0 1 0 822244921 138391552 32941 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 33787 32941 723 1214 0 32569 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 135148

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.18 2.07 2.02 3/435 379
/proc/meminfo: memFree=12288172/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=166120 CPUtime=822.29 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 67325 0 0 0 76769 5460 0 0 25 0 1 0 822244921 170106880 40219 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 41530 40219 729 1214 0 40312 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 166120

[startup+882.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/435 380
/proc/meminfo: memFree=12253800/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=169128 CPUtime=882.3 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 68107 0 0 0 82415 5815 0 0 25 0 1 0 822244921 173187072 40990 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 42282 40990 730 1214 0 41064 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 169128

[startup+942.301 s]
/proc/loadavg: 2.02 2.04 2.01 3/435 382
/proc/meminfo: memFree=12221424/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=176552 CPUtime=942.3 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 70054 0 0 0 88055 6175 0 0 25 0 1 0 822244921 180789248 42932 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 44138 42932 729 1214 0 42920 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 176552

[startup+1002.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/435 383
/proc/meminfo: memFree=12194872/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=185488 CPUtime=1002.3 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 72253 0 0 0 93695 6535 0 0 25 0 1 0 822244921 189939712 45128 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 46372 45128 729 1214 0 45154 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 185488

[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/435 385
/proc/meminfo: memFree=12173900/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=192100 CPUtime=1062.3 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 73980 0 0 0 99331 6899 0 0 25 0 1 0 822244921 196710400 46837 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 48025 46837 729 1214 0 46807 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 192100

[startup+1122.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/435 387
/proc/meminfo: memFree=12157772/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=202880 CPUtime=1122.3 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 76646 0 0 0 104968 7262 0 0 25 0 1 0 822244921 207749120 49502 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 50720 49502 729 1214 0 49502 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 202880

[startup+1182.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/435 388
/proc/meminfo: memFree=12140020/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=208288 CPUtime=1182.3 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 78077 0 0 0 110607 7623 0 0 25 0 1 0 822244921 213286912 50932 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 52072 50932 729 1214 0 50854 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 208288

[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/435 390
/proc/meminfo: memFree=12118440/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=214196 CPUtime=1242.3 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 79604 0 0 0 116254 7976 0 0 25 0 1 0 822244921 219336704 52433 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 53549 52433 729 1214 0 52331 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 214196

[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/435 391
/proc/meminfo: memFree=12096732/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=220776 CPUtime=1302.32 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 81296 0 0 0 121883 8349 0 0 25 0 1 0 822244921 226074624 54109 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 55194 54109 729 1214 0 53976 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 220776

[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/435 393
/proc/meminfo: memFree=12086180/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=229216 CPUtime=1362.31 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 83380 0 0 0 127527 8704 0 0 25 0 1 0 822244921 234717184 56183 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 57304 56183 729 1214 0 56086 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 229216

[startup+1422.32 s]
/proc/loadavg: 2.02 2.03 2.00 3/435 395
/proc/meminfo: memFree=12078476/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=236000 CPUtime=1422.32 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 85168 0 0 0 133147 9085 0 0 25 0 1 0 822244921 241664000 57967 33554432000 4194304 9163163 140735051099056 18446744073709551615 7379213 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 59000 57967 729 1214 0 57782 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 236000

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 396
/proc/meminfo: memFree=12074232/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=239188 CPUtime=1482.31 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 85949 0 0 0 138783 9448 0 0 25 0 1 0 822244921 244928512 58746 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 59797 58746 729 1214 0 58579 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 239188

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 398
/proc/meminfo: memFree=12057972/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=246000 CPUtime=1542.31 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 87675 0 0 0 144424 9807 0 0 25 0 1 0 822244921 251904000 60472 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 61500 60472 729 1214 0 60282 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 246000

[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/435 399
/proc/meminfo: memFree=12046056/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=251368 CPUtime=1602.31 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 89077 0 0 0 150058 10173 0 0 25 0 1 0 822244921 257400832 61874 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 62842 61874 729 1214 0 61624 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 251368

[startup+1662.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/435 401
/proc/meminfo: memFree=12030164/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=259112 CPUtime=1662.32 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 90973 0 0 0 155687 10545 0 0 25 0 1 0 822244921 265330688 63769 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 64778 63769 729 1214 0 63560 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 259112

[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/435 403
/proc/meminfo: memFree=12014156/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=266280 CPUtime=1722.32 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 92837 0 0 0 161328 10904 0 0 25 0 1 0 822244921 272670720 65633 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 66570 65633 729 1214 0 65352 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 266280

[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/435 404
/proc/meminfo: memFree=12001116/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=271548 CPUtime=1782.32 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 97684 0 0 0 166957 11275 0 0 25 0 1 0 822244921 278065152 66939 33554432000 4194304 9163163 140735051099056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32760/statm: 67887 66939 732 1214 0 66669 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 271548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.05 2.06 2.01 3/435 405
/proc/meminfo: memFree=11995780/32951132 swapFree=67093840/67111528
[pid=32760] ppid=32758 vsize=273968 CPUtime=1800.04 cores=1,3,5,7
/proc/32760/stat : 32760 (scip-2.0.1.4b.l) R 32758 32760 27022 0 -1 4202496 98334 0 0 0 168617 11387 0 0 25 0 1 0 822244921 280543232 67582 33554432000 4194304 9163163 140735051099056 18446744073709551615 6923170 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32760/statm: 68492 67582 732 1214 0 67274 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 273968

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.06
CPU user time (s): 1686.17
CPU system time (s): 113.883
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 281812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1686.17
system time used= 113.883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98334
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 1954

runsolver used 7.52985 second user time and 17.7083 second system time

The end

Launcher Data 

Begin job on node131 at 2011-06-03 15:07:33
IDJOB=3450670
IDBENCH=48194
IDSOLVER=1948
FILE ID=node131/3450670-1307106453
RUNJOBID= node131-1307092006-27042
PBS_JOBID= 13497965
Free space on /tmp= 73888 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_5.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-3450670-1307106453/watcher-3450670-1307106453 -o /tmp/evaluation-result-3450670-1307106453/solver-3450670-1307106453 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450670-1307106453.opb -t 1800 -m 15500

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

MD5SUM BENCH= 2b02b42135ec6f53aa7a47afb99951df
RANDOM SEED=226178335

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      12301416 kB
Buffers:        346532 kB
Cached:        5663920 kB
SwapCached:        948 kB
Active:       16174228 kB
Inactive:      4155380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      12301416 kB
SwapTotal:    67111528 kB
SwapFree:     67093840 kB
Dirty:           12168 kB
Writeback:           0 kB
AnonPages:    14317968 kB
Mapped:          41412 kB
Slab:           197168 kB
PageTables:      56172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 95556084 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73876 MiB
End job on node131 at 2011-06-03 15:37:35