Trace number 2683557

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.45 1800.95

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand4bf850.cudf.paranoid.opb
MD5SUMa8309936b1d78278af68f39ea49fb649
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10949
Best CPU time to get the best result obtained on this benchmark2.6376
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6130
Total number of constraints27104
Number of constraints which are clauses26814
Number of constraints which are cardinality constraints (but not clauses)290
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2292
Biggest coefficient in the objective function 1743
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 962134
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1743
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 962134
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2683557-1277510574.opb>
0.39/0.49	c original problem has 6130 variables (6130 bin, 0 int, 0 impl, 0 cont) and 27104 constraints
0.39/0.49	c problem read
0.39/0.49	c presolving settings loaded
0.39/0.49	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.59/0.63	c presolving:
0.79/0.82	c (round 1) 711 del vars, 1377 del conss, 19 chg bounds, 0 chg sides, 2 chg coeffs, 0 upgd conss, 71397 impls, 287 clqs
0.79/0.88	c (round 2) 986 del vars, 1856 del conss, 181 chg bounds, 0 chg sides, 5 chg coeffs, 0 upgd conss, 79701 impls, 284 clqs
0.89/0.95	c (round 3) 1372 del vars, 7406 del conss, 451 chg bounds, 0 chg sides, 17 chg coeffs, 0 upgd conss, 80749 impls, 267 clqs
0.99/1.01	c (round 4) 2115 del vars, 12555 del conss, 569 chg bounds, 22 chg sides, 61 chg coeffs, 0 upgd conss, 83802 impls, 259 clqs
0.99/1.04	c (round 5) 2325 del vars, 13632 del conss, 677 chg bounds, 28 chg sides, 69 chg coeffs, 0 upgd conss, 84573 impls, 255 clqs
0.99/1.07	c (round 6) 2393 del vars, 14494 del conss, 687 chg bounds, 31 chg sides, 79 chg coeffs, 0 upgd conss, 84690 impls, 255 clqs
0.99/1.09	c (round 7) 2425 del vars, 14585 del conss, 691 chg bounds, 31 chg sides, 79 chg coeffs, 0 upgd conss, 84693 impls, 255 clqs
0.99/1.10	c (round 8) 2436 del vars, 14591 del conss, 691 chg bounds, 31 chg sides, 79 chg coeffs, 0 upgd conss, 84693 impls, 255 clqs
1.49/1.57	c (round 9) 2436 del vars, 16151 del conss, 691 chg bounds, 33 chg sides, 79 chg coeffs, 11038 upgd conss, 84693 impls, 255 clqs
1.49/1.59	c (round 10) 2444 del vars, 16162 del conss, 691 chg bounds, 33 chg sides, 79 chg coeffs, 11038 upgd conss, 84693 impls, 255 clqs
1.59/1.64	c (round 11) 2444 del vars, 16167 del conss, 691 chg bounds, 34 chg sides, 79 chg coeffs, 11038 upgd conss, 84693 impls, 255 clqs
1.59/1.66	c (round 12) 2445 del vars, 16168 del conss, 691 chg bounds, 34 chg sides, 79 chg coeffs, 11109 upgd conss, 84693 impls, 255 clqs
1.69/1.71	c (round 13) 2445 del vars, 16170 del conss, 691 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 84693 impls, 255 clqs
1.69/1.79	c (round 14) 2445 del vars, 16177 del conss, 691 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 84693 impls, 255 clqs
2.09/2.15	c (round 15) 2495 del vars, 16177 del conss, 691 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 96412 impls, 248 clqs
2.09/2.17	c (round 16) 2496 del vars, 16246 del conss, 691 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 96414 impls, 248 clqs
2.20/2.22	c (round 17) 2498 del vars, 16249 del conss, 691 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 96414 impls, 248 clqs
2.39/2.47	c (round 18) 2549 del vars, 16249 del conss, 691 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 99690 impls, 246 clqs
2.39/2.48	c (round 19) 2549 del vars, 16268 del conss, 691 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 99690 impls, 246 clqs
2.59/2.60	c (round 20) 2600 del vars, 16268 del conss, 691 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 100303 impls, 241 clqs
2.59/2.61	c (round 21) 2603 del vars, 16334 del conss, 691 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 100325 impls, 241 clqs
2.59/2.64	c (round 22) 2604 del vars, 16345 del conss, 691 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 100325 impls, 241 clqs
2.69/2.74	c (round 23) 2604 del vars, 16355 del conss, 691 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 100325 impls, 241 clqs
2.79/2.85	c    (2.1s) probing: 1000/3685 (27.1%) - 45 fixings, 130 aggregations, 4616 implications, 0 bound changes
2.89/2.90	c (round 24) 2654 del vars, 16355 del conss, 691 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 101255 impls, 239 clqs
2.89/2.92	c (round 25) 2655 del vars, 16411 del conss, 691 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 101257 impls, 239 clqs
3.09/3.10	c (round 26) 2705 del vars, 16411 del conss, 691 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 102487 impls, 238 clqs
3.09/3.12	c (round 27) 2707 del vars, 16441 del conss, 693 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 102493 impls, 238 clqs
3.09/3.14	c (round 28) 2709 del vars, 16443 del conss, 693 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 102493 impls, 238 clqs
3.09/3.18	c (round 29) 2709 del vars, 16445 del conss, 693 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 102493 impls, 238 clqs
3.30/3.33	c (round 30) 2759 del vars, 16445 del conss, 693 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 102841 impls, 236 clqs
3.30/3.34	c (round 31) 2759 del vars, 16448 del conss, 693 chg bounds, 34 chg sides, 79 chg coeffs, 11110 upgd conss, 102841 impls, 236 clqs
3.30/3.39	c (round 32) 2759 del vars, 16449 del conss, 693 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 102841 impls, 236 clqs
3.39/3.48	c (round 33) 2759 del vars, 16470 del conss, 693 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 102841 impls, 236 clqs
3.59/3.62	c (round 34) 2809 del vars, 16470 del conss, 693 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 103562 impls, 236 clqs
3.59/3.64	c (round 35) 2809 del vars, 16495 del conss, 693 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 103566 impls, 236 clqs
3.69/3.71	c    (2.9s) probing: 2000/3685 (54.3%) - 67 fixings, 285 aggregations, 5867 implications, 0 bound changes
3.69/3.78	c (round 36) 2859 del vars, 16496 del conss, 693 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 103829 impls, 236 clqs
3.79/3.81	c (round 37) 2862 del vars, 16523 del conss, 694 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 103836 impls, 236 clqs
3.79/3.82	c (round 38) 2863 del vars, 16526 del conss, 694 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 103836 impls, 236 clqs
3.89/3.99	c (round 39) 2913 del vars, 16527 del conss, 694 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 104549 impls, 236 clqs
3.99/4.01	c (round 40) 2915 del vars, 16567 del conss, 694 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 104553 impls, 236 clqs
3.99/4.05	c (round 41) 2915 del vars, 16569 del conss, 694 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 104553 impls, 236 clqs
4.19/4.23	c (round 42) 2965 del vars, 16569 del conss, 694 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 105670 impls, 236 clqs
4.19/4.25	c (round 43) 2968 del vars, 16637 del conss, 694 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 105686 impls, 236 clqs
4.29/4.33	c    (3.4s) probing: 3000/3685 (81.4%) - 116 fixings, 391 aggregations, 7152 implications, 0 bound changes
4.49/4.50	c (round 44) 3018 del vars, 16637 del conss, 694 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 109444 impls, 236 clqs
4.49/4.52	c (round 45) 3043 del vars, 16762 del conss, 696 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 109496 impls, 236 clqs
4.49/4.56	c (round 46) 3045 del vars, 16764 del conss, 696 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 109496 impls, 236 clqs
4.59/4.63	c (round 47) 3045 del vars, 16789 del conss, 696 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 109496 impls, 236 clqs
4.69/4.77	c (round 48) 3068 del vars, 16789 del conss, 696 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 111838 impls, 236 clqs
4.69/4.79	c (round 49) 3092 del vars, 16835 del conss, 696 chg bounds, 35 chg sides, 79 chg coeffs, 11110 upgd conss, 111904 impls, 236 clqs
4.79/4.83	c presolving (50 rounds):
4.79/4.83	c  3092 deleted vars, 16835 deleted constraints, 696 tightened bounds, 0 added holes, 35 changed sides, 79 changed coefficients
4.79/4.83	c  111904 implications, 236 cliques
4.79/4.83	c presolved problem has 3038 variables (3038 bin, 0 int, 0 impl, 0 cont) and 10274 constraints
4.79/4.83	c     238 constraints of type <setppc>
4.79/4.83	c   10036 constraints of type <logicor>
4.79/4.83	c transformed objective value is always integral (scale: 1)
4.79/4.83	c Presolving Time: 3.77
4.79/4.83	c - non default parameters ----------------------------------------------------------------------
4.79/4.83	c # SCIP version 1.2.1.2
4.79/4.83	c 
4.79/4.83	c # frequency for displaying node information lines
4.79/4.83	c # [type: int, range: [-1,2147483647], default: 100]
4.79/4.83	c display/freq = 10000
4.79/4.83	c 
4.79/4.83	c # maximal time in seconds to run
4.79/4.83	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.79/4.83	c limits/time = 1799.52
4.79/4.83	c 
4.79/4.83	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.79/4.83	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.79/4.83	c limits/memory = 1620
4.79/4.83	c 
4.79/4.83	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.79/4.83	c # [type: int, range: [-1,2147483647], default: 1]
4.79/4.83	c lp/solvefreq = -1
4.79/4.83	c 
4.79/4.83	c # should presolving try to simplify inequalities
4.79/4.83	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.79/4.83	c constraints/linear/simplifyinequalities = TRUE
4.79/4.83	c 
4.79/4.83	c # should presolving try to simplify knapsacks
4.79/4.83	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.79/4.83	c constraints/knapsack/simplifyinequalities = TRUE
4.79/4.83	c 
4.79/4.83	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.79/4.83	c # [type: int, range: [-1,2147483647], default: -1]
4.79/4.83	c separating/rapidlearning/freq = 0
4.79/4.83	c 
4.79/4.83	c -----------------------------------------------------------------------------------------------
4.79/4.83	c start solving
4.79/4.83	c 
4.79/4.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.79/4.84	c   3.9s|     1 |     2 |     0 |     - |  29M|   0 |   - |3038 |  10k|   0 |   0 |   0 |   0 |   0 | 9.152000e+03 |      --      |    Inf 
82.26/82.39	c  81.0s| 10000 |  9967 |     0 |   0.0 |  35M|  97 |   - |3038 |  10k|   0 |   0 |   0 |  23 |   0 | 1.089800e+04 |      --      |    Inf 
158.25/158.31	c   157s| 20000 | 19953 |     0 |   0.0 |  40M| 103 |   - |3038 |  10k|   0 |   0 |   0 |  31 |   0 | 1.089900e+04 |      --      |    Inf 
233.92/234.04	c   232s| 30000 | 29947 |     0 |   0.0 |  45M| 103 |   - |3038 |  10k|   0 |   0 |   0 |  34 |   0 | 1.089900e+04 |      --      |    Inf 
310.01/310.15	c   308s| 40000 | 39947 |     0 |   0.0 |  51M| 103 |   - |3038 |  10k|   0 |   0 |   0 |  34 |   0 | 1.089900e+04 |      --      |    Inf 
385.88/386.09	c   383s| 50000 | 49935 |     0 |   0.0 |  56M| 123 |   - |3038 |  10k|   0 |   0 |   0 |  41 |   0 | 1.089900e+04 |      --      |    Inf 
461.46/461.65	c   459s| 60000 | 59927 |     0 |   0.0 |  61M| 123 |   - |3038 |  10k|   0 |   0 |   0 |  45 |   0 | 1.090000e+04 |      --      |    Inf 
536.65/536.80	c   533s| 70000 | 69915 |     0 |   0.0 |  66M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  52 |   0 | 1.090000e+04 |      --      |    Inf 
611.42/611.64	c   608s| 80000 | 79911 |     0 |   0.0 |  71M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  54 |   0 | 1.090000e+04 |      --      |    Inf 
685.00/685.24	c   681s| 90000 | 89909 |     0 |   0.0 |  76M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  55 |   0 | 1.090000e+04 |      --      |    Inf 
758.18/758.40	c   754s|100000 | 99899 |     0 |   0.0 |  81M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  60 |   0 | 1.090000e+04 |      --      |    Inf 
833.16/833.40	c   829s|110000 |109899 |     0 |   0.0 |  86M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  60 |   0 | 1.090000e+04 |      --      |    Inf 
906.33/906.65	c   902s|120000 |119897 |     0 |   0.0 |  91M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  61 |   0 | 1.090100e+04 |      --      |    Inf 
980.22/980.56	c   975s|130000 |129887 |     0 |   0.0 |  96M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  68 |   0 | 1.090100e+04 |      --      |    Inf 
1055.20/1055.56	c  1050s|140000 |139887 |     0 |   0.0 | 101M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  68 |   0 | 1.090100e+04 |      --      |    Inf 
1129.18/1129.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1129.18/1129.55	c  1123s|150000 |149887 |     0 |   0.0 | 106M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  68 |   0 | 1.090100e+04 |      --      |    Inf 
1202.45/1202.85	c  1196s|160000 |159885 |     0 |   0.0 | 110M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  69 |   0 | 1.090100e+04 |      --      |    Inf 
1275.54/1275.96	c  1269s|170000 |169885 |     0 |   0.0 | 115M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  69 |   0 | 1.090100e+04 |      --      |    Inf 
1348.12/1348.56	c  1341s|180000 |179885 |     0 |   0.0 | 120M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  69 |   0 | 1.090100e+04 |      --      |    Inf 
1420.20/1420.66	c  1413s|190000 |189885 |     0 |   0.0 | 125M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  69 |   0 | 1.090100e+04 |      --      |    Inf 
1492.07/1492.53	c  1485s|200000 |199885 |     0 |   0.0 | 130M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  69 |   0 | 1.090100e+04 |      --      |    Inf 
1564.96/1565.45	c  1557s|210000 |209878 |     0 |   0.0 | 135M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  74 |   0 | 1.090100e+04 |      --      |    Inf 
1639.54/1640.02	c  1632s|220000 |219878 |     0 |   0.0 | 140M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  74 |   0 | 1.090200e+04 |      --      |    Inf 
1713.01/1713.58	c  1705s|230000 |229874 |     0 |   0.0 | 145M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  76 |   0 | 1.090200e+04 |      --      |    Inf 
1785.81/1786.33	c  1777s|240000 |239874 |     0 |   0.0 | 150M| 165 |   - |3038 |  10k|   0 |   0 |   0 |  76 |   0 | 1.090200e+04 |      --      |    Inf 
1800.00/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.50	c 
1800.00/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.00/1800.50	c Solving Time (sec) : 1791.37
1800.00/1800.50	c Solving Nodes      : 241960
1800.00/1800.50	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.00/1800.50	c Dual Bound         : +1.09020000000000e+04
1800.00/1800.50	c Gap                : infinite
1800.00/1800.50	s UNKNOWN
1800.00/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.00/1800.50	c Solving Time       :    1791.37
1800.00/1800.50	c Original Problem   :
1800.00/1800.50	c   Problem name     : HOME/instance-2683557-1277510574.opb
1800.00/1800.50	c   Variables        : 6130 (6130 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.50	c   Constraints      : 27104 initial, 27104 maximal
1800.00/1800.50	c Presolved Problem  :
1800.00/1800.50	c   Problem name     : t_HOME/instance-2683557-1277510574.opb
1800.00/1800.50	c   Variables        : 3038 (3038 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.50	c   Constraints      : 10274 initial, 10327 maximal
1800.00/1800.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.00/1800.50	c   trivial          :       0.03         60          0          0          0          0          0          0          0
1800.00/1800.50	c   dualfix          :       0.02        627          0          0          0          0          0          0          0
1800.00/1800.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.50	c   implics          :       0.04          0        336          0          0          0          0          0          0
1800.00/1800.50	c   probing          :       1.69        183        392          0          0          0          0          0          0
1800.00/1800.50	c   setppc           :       0.04          0          1          0          0          0         22          1          0
1800.00/1800.50	c   linear           :       0.44        640        853          0        691          0      15994         34         79
1800.00/1800.50	c   logicor          :       1.40          0          0          0          5          0        819          0          0
1800.00/1800.50	c   root node        :          -          0          -          -          0          -          -          -          -
1800.00/1800.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.00/1800.50	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.00/1800.50	c   setppc           :        238          0     689329          0     241898         44      75711          0          0          0
1800.00/1800.50	c   logicor          :      10036+         0     623209          0     241898        156    1089246          0          0          0
1800.00/1800.50	c   countsols        :          0          0          0          0     241898          0          0          0          0          0
1800.00/1800.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.00/1800.50	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.00/1800.50	c   setppc           :      44.16       0.00      10.57       0.00      33.59
1800.00/1800.50	c   logicor          :    1345.35       0.00      10.32       0.00    1335.03
1800.00/1800.50	c   countsols        :       0.32       0.00       0.00       0.00       0.32
1800.00/1800.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.00/1800.50	c   vbounds          :       0.39          2          0          0
1800.00/1800.50	c   rootredcost      :       0.35          0          0          0
1800.00/1800.50	c   pseudoobj        :      73.37     679400          0          0
1800.00/1800.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.00/1800.50	c   propagation      :       0.00         63         62         80        3.1          1        2.0          -
1800.00/1800.50	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.00/1800.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.00/1800.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.00/1800.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.00/1800.50	c   applied globally :          -          -          -         76        2.8          -          -          -
1800.00/1800.50	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.00/1800.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.00/1800.50	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.00/1800.50	c   redcost          :       0.00          0          0          0          0          0
1800.00/1800.50	c   impliedbounds    :       0.00          0          0          0          0          0
1800.00/1800.50	c   intobj           :       0.00          0          0          0          0          0
1800.00/1800.50	c   cgmip            :       0.00          0          0          0          0          0
1800.00/1800.50	c   gomory           :       0.00          0          0          0          0          0
1800.00/1800.50	c   strongcg         :       0.00          0          0          0          0          0
1800.00/1800.50	c   cmir             :       0.00          0          0          0          0          0
1800.00/1800.50	c   flowcover        :       0.00          0          0          0          0          0
1800.00/1800.50	c   clique           :       0.00          0          0          0          0          0
1800.00/1800.50	c   zerohalf         :       0.00          0          0          0          0          0
1800.00/1800.50	c   mcf              :       0.00          0          0          0          0          0
1800.00/1800.50	c   rapidlearning    :       0.00          0          0          0          0          0
1800.00/1800.50	c Pricers            :       Time      Calls       Vars
1800.00/1800.50	c   problem variables:       0.00          0          0
1800.00/1800.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.00/1800.50	c   relpscost        :       0.00          0          0          0          0          0          0
1800.00/1800.50	c   pscost           :       0.00          0          0          0          0          0          0
1800.00/1800.50	c   inference        :     292.88     241898          0          0          0          0     483796
1800.00/1800.50	c   mostinf          :       0.00          0          0          0          0          0          0
1800.00/1800.50	c   leastinf         :       0.00          0          0          0          0          0          0
1800.00/1800.50	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.00/1800.50	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.00/1800.50	c   random           :       0.00          0          0          0          0          0          0
1800.00/1800.50	c Primal Heuristics  :       Time      Calls      Found
1800.00/1800.50	c   LP solutions     :       0.00          -          0
1800.00/1800.50	c   pseudo solutions :       0.00          -          0
1800.00/1800.50	c   oneopt           :       0.14          0          0
1800.00/1800.50	c   trivial          :       0.02          2          0
1800.00/1800.50	c   simplerounding   :       0.00          0          0
1800.00/1800.50	c   zirounding       :       0.00          0          0
1800.00/1800.50	c   rounding         :       0.00          0          0
1800.00/1800.50	c   shifting         :       0.00          0          0
1800.00/1800.50	c   intshifting      :       0.00          0          0
1800.00/1800.50	c   twoopt           :       0.00          0          0
1800.00/1800.50	c   fixandinfer      :       0.00          0          0
1800.00/1800.50	c   feaspump         :       0.00          0          0
1800.00/1800.50	c   coefdiving       :       0.00          0          0
1800.00/1800.50	c   pscostdiving     :       0.00          0          0
1800.00/1800.50	c   fracdiving       :       0.00          0          0
1800.00/1800.50	c   veclendiving     :       0.00          0          0
1800.00/1800.51	c   intdiving        :       0.00          0          0
1800.00/1800.51	c   actconsdiving    :       0.00          0          0
1800.00/1800.51	c   objpscostdiving  :       0.00          0          0
1800.00/1800.51	c   rootsoldiving    :       0.00          0          0
1800.00/1800.51	c   linesearchdiving :       0.00          0          0
1800.00/1800.51	c   guideddiving     :       0.00          0          0
1800.00/1800.51	c   octane           :       0.00          0          0
1800.00/1800.51	c   rens             :       0.00          0          0
1800.00/1800.51	c   rins             :       0.00          0          0
1800.00/1800.51	c   localbranching   :       0.00          0          0
1800.00/1800.51	c   mutation         :       0.00          0          0
1800.00/1800.51	c   crossover        :       0.00          0          0
1800.00/1800.51	c   dins             :       0.00          0          0
1800.00/1800.51	c   undercover       :       0.00          0          0
1800.00/1800.51	c   nlp              :       0.45          0          0
1800.00/1800.51	c   trysol           :       0.11          0          0
1800.00/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.00/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.00/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.00/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.00/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.00/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.00/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.00/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.00/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.00/1800.51	c B&B Tree           :
1800.00/1800.51	c   number of runs   :          1
1800.00/1800.51	c   nodes            :     241960
1800.00/1800.51	c   nodes (total)    :     241960
1800.00/1800.51	c   nodes left       :     241834
1800.00/1800.51	c   max depth        :        165
1800.00/1800.51	c   max depth (total):        165
1800.00/1800.51	c   backtracks       :       3299 (1.4%)
1800.00/1800.51	c   delayed cutoffs  :          3
1800.00/1800.51	c   repropagations   :       2062 (240 domain reductions, 1 cutoffs)
1800.00/1800.51	c   avg switch length:       2.55
1800.00/1800.51	c   switching time   :      13.13
1800.00/1800.51	c Solution           :
1800.00/1800.51	c   Solutions found  :          0 (0 improvements)
1800.00/1800.51	c   Primal Bound     :          -
1800.00/1800.51	c   Dual Bound       : +1.09020000000000e+04
1800.00/1800.51	c   Gap              :   infinite
1800.00/1800.51	c   Root Dual Bound  : +9.15200000000000e+03
1800.00/1800.51	c   Root Iterations  :          0
1800.39/1800.95	c Time complete: 1800.44.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.13 1.04 1.01 3/106 31376
/proc/meminfo: memFree=1825624/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=5556 CPUtime=0
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 887 0 0 0 0 0 0 0 20 0 1 0 92352563 5689344 809 1992294400 4194304 7136930 140737327670896 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31376/statm: 1389 809 249 719 0 668 0

[startup+0.0527139 s]
/proc/loadavg: 1.13 1.04 1.01 3/106 31376
/proc/meminfo: memFree=1825624/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=11520 CPUtime=0.05
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 2359 0 0 0 4 1 0 0 20 0 1 0 92352563 11796480 2280 1992294400 4194304 7136930 140737327670896 18446744073709551615 6343283 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31376/statm: 2880 2280 271 719 0 2159 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11520

[startup+0.100719 s]
/proc/loadavg: 1.13 1.04 1.01 3/106 31376
/proc/meminfo: memFree=1825624/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=13412 CPUtime=0.09
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 2842 0 0 0 8 1 0 0 20 0 1 0 92352563 13733888 2763 1992294400 4194304 7136930 140737327670896 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31376/statm: 3353 2763 271 719 0 2632 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13412

[startup+0.300742 s]
/proc/loadavg: 1.13 1.04 1.01 3/106 31376
/proc/meminfo: memFree=1825624/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=19856 CPUtime=0.29
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 4462 0 0 0 28 1 0 0 20 0 1 0 92352563 20332544 4383 1992294400 4194304 7136930 140737327670896 18446744073709551615 4373954 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31376/statm: 4964 4383 271 719 0 4243 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19856

[startup+0.700791 s]
/proc/loadavg: 1.13 1.04 1.01 3/106 31376
/proc/meminfo: memFree=1825624/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=51832 CPUtime=0.69
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 12453 0 0 0 64 5 0 0 20 0 1 0 92352563 53075968 12020 1992294400 4194304 7136930 140737327670896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 12958 12020 342 719 0 12237 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51832

[startup+1.50088 s]
/proc/loadavg: 1.13 1.04 1.01 2/107 31377
/proc/meminfo: memFree=1775272/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=58444 CPUtime=1.49
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 16879 0 0 0 132 17 0 0 23 0 1 0 92352563 59846656 13684 1992294400 4194304 7136930 140737327670896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 14611 13684 358 719 0 13890 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58444

[startup+3.10107 s]
/proc/loadavg: 1.13 1.04 1.01 2/107 31377
/proc/meminfo: memFree=1773288/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=58060 CPUtime=3.09
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 25822 0 0 0 278 31 0 0 25 0 1 0 92352563 59453440 13668 1992294400 4194304 7136930 140737327670896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 14515 13668 376 719 0 13794 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58060

[startup+6.30145 s]
/proc/loadavg: 1.12 1.04 1.01 2/107 31377
/proc/meminfo: memFree=1770684/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=59432 CPUtime=6.29
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 36487 0 0 0 577 52 0 0 25 0 1 0 92352563 60858368 13994 1992294400 4194304 7136930 140737327670896 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 14858 13994 392 719 0 14137 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59432

[startup+12.7012 s]
/proc/loadavg: 1.11 1.04 1.01 2/107 31377
/proc/meminfo: memFree=1770560/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=59432 CPUtime=12.69
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 36519 0 0 0 1214 55 0 0 25 0 1 0 92352563 60858368 14026 1992294400 4194304 7136930 140737327670896 18446744073709551615 5892292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 14858 14026 392 719 0 14137 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59432

[startup+25.5007 s]
/proc/loadavg: 1.08 1.04 1.01 2/107 31377
/proc/meminfo: memFree=1769568/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=60528 CPUtime=25.49
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 36784 0 0 0 2489 60 0 0 25 0 1 0 92352563 61980672 14291 1992294400 4194304 7136930 140737327670896 18446744073709551615 5005205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 15132 14291 392 719 0 14411 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60528

[startup+51.1008 s]
/proc/loadavg: 1.05 1.03 1.01 2/107 31379
/proc/meminfo: memFree=1766716/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=63356 CPUtime=51.07
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 37489 0 0 0 5034 73 0 0 25 0 1 0 92352563 64876544 14996 1992294400 4194304 7136930 140737327670896 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 15839 14996 392 719 0 15118 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 63356

[startup+102.309 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 31379
/proc/meminfo: memFree=1763492/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=66220 CPUtime=102.26
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 38241 0 0 0 10132 94 0 0 25 0 1 0 92352563 67809280 15748 1992294400 4194304 7136930 140737327670896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 16555 15748 392 719 0 15834 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 66220

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 31381
/proc/meminfo: memFree=1758904/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=70604 CPUtime=162.24
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 39368 0 0 0 16106 118 0 0 25 0 1 0 92352563 72298496 16875 1992294400 4194304 7136930 140737327670896 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 17651 16875 392 719 0 16930 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 70604

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31383
/proc/meminfo: memFree=1754440/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=75072 CPUtime=222.22
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 40501 0 0 0 22080 142 0 0 25 0 1 0 92352563 76873728 18008 1992294400 4194304 7136930 140737327670896 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 18768 18008 392 719 0 18047 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 75072

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31385
/proc/meminfo: memFree=1749356/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=79952 CPUtime=282.21
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 41739 0 0 0 28053 168 0 0 25 0 1 0 92352563 81870848 19246 1992294400 4194304 7136930 140737327670896 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 19988 19246 392 719 0 19267 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 79952

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31387
/proc/meminfo: memFree=1744396/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=84824 CPUtime=342.19
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 42989 0 0 0 34026 193 0 0 25 0 1 0 92352563 86859776 20496 1992294400 4194304 7136930 140737327670896 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 21206 20496 392 719 0 20485 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 84824

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31387
/proc/meminfo: memFree=1739684/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=89184 CPUtime=402.17
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 44140 0 0 0 39998 219 0 0 25 0 1 0 92352563 91324416 21647 1992294400 4194304 7136930 140737327670896 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 22296 21647 392 719 0 21575 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 89184

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31389
/proc/meminfo: memFree=1734724/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=93976 CPUtime=462.15
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 45369 0 0 0 45972 243 0 0 25 0 1 0 92352563 96231424 22876 1992294400 4194304 7136930 140737327670896 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 23494 22876 392 719 0 22773 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 93976

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31391
/proc/meminfo: memFree=1730260/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=100284 CPUtime=522.14
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 46464 0 0 0 51944 270 0 0 25 0 1 0 92352563 102690816 23971 1992294400 4194304 7136930 140737327670896 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 25071 23971 392 719 0 24350 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 100284

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31393
/proc/meminfo: memFree=1727904/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=102432 CPUtime=582.12
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 47034 0 0 0 57917 295 0 0 25 0 1 0 92352563 104890368 24541 1992294400 4194304 7136930 140737327670896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 25608 24541 392 719 0 24887 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 102432

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31395
/proc/meminfo: memFree=1724308/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=105928 CPUtime=642.11
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 47918 0 0 0 63890 321 0 0 25 0 1 0 92352563 108470272 25425 1992294400 4194304 7136930 140737327670896 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 26482 25425 392 719 0 25761 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 105928

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31403
/proc/meminfo: memFree=1696408/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=132760 CPUtime=1002.01
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 54813 0 0 0 99722 479 0 0 25 0 1 0 92352563 135946240 32320 1992294400 4194304 7136930 140737327670896 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 33190 32320 392 719 0 32469 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 132760

[startup+1062.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 31405
/proc/meminfo: memFree=1693060/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=135864 CPUtime=1062
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 55619 0 0 0 105697 503 0 0 25 0 1 0 92352563 139124736 33126 1992294400 4194304 7136930 140737327670896 18446744073709551615 4407876 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 33966 33126 392 719 0 33245 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 135864

[startup+1122.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 31407
/proc/meminfo: memFree=1687480/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=141296 CPUtime=1121.98
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 57010 0 0 0 111673 525 0 0 25 0 1 0 92352563 144687104 34517 1992294400 4194304 7136930 140737327670896 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 35324 34517 392 719 0 34603 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 141296

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31409
/proc/meminfo: memFree=1685124/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=143508 CPUtime=1181.96
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 57622 0 0 0 117645 551 0 0 25 0 1 0 92352563 146952192 35129 1992294400 4194304 7136930 140737327670896 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 35877 35129 392 719 0 35156 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 143508

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31411
/proc/meminfo: memFree=1681280/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=146988 CPUtime=1241.95
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 58524 0 0 0 123618 577 0 0 25 0 1 0 92352563 150515712 36031 1992294400 4194304 7136930 140737327670896 18446744073709551615 4697407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 36747 36031 392 719 0 36026 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 146988

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31411
/proc/meminfo: memFree=1677064/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=150968 CPUtime=1301.94
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 59551 0 0 0 129591 603 0 0 25 0 1 0 92352563 154591232 37058 1992294400 4194304 7136930 140737327670896 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 37742 37058 392 719 0 37021 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 150968

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31413
/proc/meminfo: memFree=1672476/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=155400 CPUtime=1361.91
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 60692 0 0 0 135562 629 0 0 25 0 1 0 92352563 159129600 38199 1992294400 4194304 7136930 140737327670896 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 38850 38199 392 719 0 38129 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 155400

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31415
/proc/meminfo: memFree=1668756/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=158900 CPUtime=1421.91
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 61599 0 0 0 141536 655 0 0 25 0 1 0 92352563 162713600 39106 1992294400 4194304 7136930 140737327670896 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 39725 39106 392 719 0 39004 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 158900

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31417
/proc/meminfo: memFree=1665904/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=166168 CPUtime=1481.88
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 62429 0 0 0 147508 680 0 0 25 0 1 0 92352563 170156032 39936 1992294400 4194304 7136930 140737327670896 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 41542 39936 392 719 0 40821 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 166168

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31419
/proc/meminfo: memFree=1657968/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=173608 CPUtime=1541.86
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 64288 0 0 0 153480 706 0 0 25 0 1 0 92352563 177774592 41795 1992294400 4194304 7136930 140737327670896 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 43402 41795 392 719 0 42681 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 173608

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31419
/proc/meminfo: memFree=1654744/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=176576 CPUtime=1601.85
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 65088 0 0 0 159454 731 0 0 25 0 1 0 92352563 180813824 42595 1992294400 4194304 7136930 140737327670896 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 44144 42595 392 719 0 43423 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 176576

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31421
/proc/meminfo: memFree=1649288/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=181816 CPUtime=1661.83
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 66432 0 0 0 165426 757 0 0 25 0 1 0 92352563 186179584 43939 1992294400 4194304 7136930 140737327670896 18446744073709551615 5005237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 45454 43939 392 719 0 44733 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 181816

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31423
/proc/meminfo: memFree=1646188/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=184784 CPUtime=1721.81
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 67207 0 0 0 171400 781 0 0 25 0 1 0 92352563 189218816 44714 1992294400 4194304 7136930 140737327670896 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 46196 44714 392 719 0 45475 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 184784

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31428
/proc/meminfo: memFree=1642844/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=187492 CPUtime=1781.79
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 67916 0 0 0 177370 809 0 0 25 0 1 0 92352563 191991808 45423 1992294400 4194304 7136930 140737327670896 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 46873 45423 392 719 0 46152 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 187492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31428
/proc/meminfo: memFree=1641232/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=189032 CPUtime=1800
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 68314 0 0 0 179183 817 0 0 25 0 1 0 92352563 193568768 45821 1992294400 4194304 7136930 140737327670896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31376/statm: 47258 45821 392 719 0 46537 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 189032

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31429
/proc/meminfo: memFree=1641224/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=189032 CPUtime=1800.11
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 68319 0 0 0 179194 817 0 0 25 0 1 0 92352563 193568768 45826 1992294400 4194304 7136930 140737327670896 18446744073709551615 4670064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31376/statm: 47258 45826 397 719 0 46537 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 189032

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31429
/proc/meminfo: memFree=1641224/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=188000 CPUtime=1800.3
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 68319 0 0 0 179213 817 0 0 25 0 1 0 92352563 192512000 45568 1992294400 4194304 7136930 140737327670896 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31376/statm: 47000 45568 397 719 0 46279 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 188000

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31429
/proc/meminfo: memFree=1641224/2059040 swapFree=4139192/4192956
[pid=31376] ppid=31374 vsize=122152 CPUtime=1800.39
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 30820 0 -1 4202496 68319 0 0 0 179222 817 0 0 25 0 1 0 92352563 125083648 29116 1992294400 4194304 7136930 140737327670896 18446744073709551615 5953338 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31376/statm: 30538 29116 397 719 0 29817 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 122152

Child status: 0
Real time (s): 1800.95
CPU time (s): 1800.45
CPU user time (s): 1792.26
CPU system time (s): 8.19275
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 189032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.26
system time used= 8.19275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68326
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= 3
involuntary context switches= 3577

runsolver used 3.32749 second user time and 8.15776 second system time

The end

Launcher Data 

Begin job on node033 at 2010-06-26 02:02:54
IDJOB=2683557
IDBENCH=72121
IDSOLVER=1167
FILE ID=node033/2683557-1277510574
PBS_JOBID= 11190618
Free space on /tmp= 62304 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand4bf850.cudf.paranoid.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683557-1277510574/watcher-2683557-1277510574 -o /tmp/evaluation-result-2683557-1277510574/solver-2683557-1277510574 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683557-1277510574.opb -t 1800 -m 1800

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

MD5SUM BENCH= a8309936b1d78278af68f39ea49fb649
RANDOM SEED=1856548285

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1826028 kB
Buffers:         31968 kB
Cached:         104988 kB
SwapCached:       5984 kB
Active:          71952 kB
Inactive:        78260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1826028 kB
SwapTotal:     4192956 kB
SwapFree:      4139192 kB
Dirty:            4040 kB
Writeback:           0 kB
AnonPages:       12000 kB
Mapped:          11864 kB
Slab:            60896 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182216 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62300 MiB
End job on node033 at 2010-06-26 02:32:57