Trace number 2692596

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 NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1800.42 1800.41

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6033_2-unsat--soft-66-100-0.wbo
MD5SUM88bd8107cec9b448bb9d4a61d3b4c661
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark51
Best CPU time to get the best result obtained on this benchmark0.132979
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables12200
Total number of constraints42056
Number of soft constraints14390
Number of constraints which are clauses41660
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints396
Minimum length of a constraint1
Maximum length of a constraint18
Top cost 725721
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 725720
Biggest number in a constraint 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 116
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692596-1277918135.wbo>
0.29/0.34	c original problem has 40980 variables (26590 bin, 0 int, 0 impl, 14390 cont) and 56447 constraints
0.29/0.34	c problem read
0.29/0.34	c presolving settings loaded
0.99/1.00	c presolving:
1.29/1.35	c (round 1) 1255 del vars, 3916 del conss, 829 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 698938 impls, 0 clqs
1.59/1.60	c (round 2) 3706 del vars, 11710 del conss, 1952 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 718786 impls, 0 clqs
1.79/1.89	c (round 3) 8227 del vars, 19704 del conss, 2843 chg bounds, 8 chg sides, 8 chg coeffs, 0 upgd conss, 725598 impls, 0 clqs
1.99/2.09	c (round 4) 13032 del vars, 24708 del conss, 3288 chg bounds, 26 chg sides, 31 chg coeffs, 0 upgd conss, 729729 impls, 0 clqs
2.20/2.22	c (round 5) 16465 del vars, 27632 del conss, 3564 chg bounds, 38 chg sides, 47 chg coeffs, 0 upgd conss, 733838 impls, 0 clqs
2.29/2.32	c (round 6) 18830 del vars, 30282 del conss, 3900 chg bounds, 49 chg sides, 57 chg coeffs, 0 upgd conss, 741641 impls, 0 clqs
2.29/2.39	c (round 7) 20517 del vars, 32492 del conss, 4123 chg bounds, 53 chg sides, 62 chg coeffs, 0 upgd conss, 743542 impls, 0 clqs
2.39/2.45	c (round 8) 21876 del vars, 33911 del conss, 4251 chg bounds, 55 chg sides, 65 chg coeffs, 0 upgd conss, 744195 impls, 0 clqs
2.39/2.48	c (round 9) 22853 del vars, 34784 del conss, 4330 chg bounds, 55 chg sides, 65 chg coeffs, 0 upgd conss, 745120 impls, 0 clqs
2.49/2.51	c (round 10) 23439 del vars, 35214 del conss, 4360 chg bounds, 60 chg sides, 70 chg coeffs, 0 upgd conss, 745373 impls, 0 clqs
2.49/2.53	c (round 11) 23805 del vars, 35595 del conss, 4408 chg bounds, 63 chg sides, 72 chg coeffs, 0 upgd conss, 745838 impls, 0 clqs
2.49/2.55	c (round 12) 24057 del vars, 36011 del conss, 4440 chg bounds, 65 chg sides, 74 chg coeffs, 0 upgd conss, 745972 impls, 0 clqs
2.49/2.57	c (round 13) 24319 del vars, 36290 del conss, 4471 chg bounds, 65 chg sides, 74 chg coeffs, 0 upgd conss, 746092 impls, 0 clqs
2.49/2.59	c (round 14) 24548 del vars, 36531 del conss, 4501 chg bounds, 68 chg sides, 77 chg coeffs, 0 upgd conss, 746316 impls, 0 clqs
2.59/2.60	c (round 15) 24700 del vars, 36745 del conss, 4514 chg bounds, 69 chg sides, 78 chg coeffs, 0 upgd conss, 746436 impls, 0 clqs
2.59/2.62	c (round 16) 24838 del vars, 36878 del conss, 4520 chg bounds, 69 chg sides, 78 chg coeffs, 0 upgd conss, 746450 impls, 0 clqs
2.59/2.63	c (round 17) 24943 del vars, 36943 del conss, 4524 chg bounds, 72 chg sides, 81 chg coeffs, 0 upgd conss, 746450 impls, 0 clqs
2.59/2.64	c (round 18) 24991 del vars, 36959 del conss, 4524 chg bounds, 72 chg sides, 81 chg coeffs, 0 upgd conss, 746450 impls, 0 clqs
2.59/2.67	c (round 19) 25004 del vars, 36959 del conss, 9982 chg bounds, 72 chg sides, 81 chg coeffs, 0 upgd conss, 746450 impls, 0 clqs
2.69/2.78	c (round 20) 25004 del vars, 36959 del conss, 9982 chg bounds, 72 chg sides, 81 chg coeffs, 9193 upgd conss, 746450 impls, 0 clqs
2.79/2.82	c (round 21) 25004 del vars, 36959 del conss, 9982 chg bounds, 76 chg sides, 236 chg coeffs, 9201 upgd conss, 747998 impls, 318 clqs
2.79/2.86	c (round 22) 25004 del vars, 36974 del conss, 9982 chg bounds, 137 chg sides, 504 chg coeffs, 9201 upgd conss, 748012 impls, 341 clqs
2.79/2.89	c (round 23) 25004 del vars, 36974 del conss, 9982 chg bounds, 153 chg sides, 559 chg coeffs, 9201 upgd conss, 748014 impls, 347 clqs
5.79/5.85	c    (5.3s) probing: 1000/10518 (9.5%) - 12 fixings, 4 aggregations, 59596 implications, 5 bound changes
7.59/7.64	c    (7.1s) probing: 2000/10518 (19.0%) - 14 fixings, 10 aggregations, 68531 implications, 5 bound changes
8.99/9.06	c    (8.5s) probing: 3000/10518 (28.5%) - 14 fixings, 12 aggregations, 71526 implications, 5 bound changes
10.29/10.30	c    (9.8s) probing: 4000/10518 (38.0%) - 14 fixings, 13 aggregations, 73172 implications, 5 bound changes
11.39/11.45	c    (10.9s) probing: 5000/10518 (47.5%) - 14 fixings, 13 aggregations, 73854 implications, 5 bound changes
11.59/11.60	c    (11.1s) probing: 5151/10518 (49.0%) - 14 fixings, 13 aggregations, 73865 implications, 5 bound changes
11.59/11.60	c    (11.1s) probing aborted: 100/100 successive totally useless probings
11.59/11.60	c (round 24) 25031 del vars, 36974 del conss, 9987 chg bounds, 153 chg sides, 561 chg coeffs, 9201 upgd conss, 1041472 impls, 347 clqs
11.59/11.63	c (round 25) 25031 del vars, 37039 del conss, 9987 chg bounds, 158 chg sides, 671 chg coeffs, 9201 upgd conss, 1041472 impls, 348 clqs
11.59/11.65	c (round 26) 25058 del vars, 37074 del conss, 9987 chg bounds, 179 chg sides, 804 chg coeffs, 9201 upgd conss, 1041476 impls, 354 clqs
11.59/11.66	c (round 27) 25092 del vars, 37091 del conss, 9987 chg bounds, 183 chg sides, 830 chg coeffs, 9201 upgd conss, 1041482 impls, 359 clqs
11.59/11.69	c (round 28) 25106 del vars, 37093 del conss, 9991 chg bounds, 183 chg sides, 834 chg coeffs, 9201 upgd conss, 1041482 impls, 359 clqs
11.69/11.73	c (round 29) 25108 del vars, 37093 del conss, 9991 chg bounds, 183 chg sides, 835 chg coeffs, 9204 upgd conss, 1041482 impls, 359 clqs
11.69/11.78	c    (11.2s) probing: 5161/10518 (49.1%) - 14 fixings, 13 aggregations, 73865 implications, 5 bound changes
11.69/11.78	c    (11.2s) probing aborted: 100/100 successive totally useless probings
11.69/11.78	c presolving (30 rounds):
11.69/11.78	c  25108 deleted vars, 37093 deleted constraints, 9991 tightened bounds, 0 added holes, 183 changed sides, 836 changed coefficients
11.69/11.78	c  1041482 implications, 359 cliques
11.69/11.78	c presolved problem has 15872 variables (10449 bin, 0 int, 0 impl, 5423 cont) and 19429 constraints
11.69/11.78	c    5423 constraints of type <indicator>
11.69/11.78	c     622 constraints of type <varbound>
11.69/11.78	c     223 constraints of type <knapsack>
11.69/11.78	c      75 constraints of type <setppc>
11.69/11.78	c    4801 constraints of type <linear>
11.69/11.78	c    8285 constraints of type <logicor>
11.69/11.78	c transformed objective value is always integral (scale: 1)
11.69/11.78	c Presolving Time: 11.11
11.69/11.78	c - non default parameters ----------------------------------------------------------------------
11.69/11.78	c # SCIP version 1.2.1.2
11.69/11.78	c 
11.69/11.78	c # frequency for displaying node information lines
11.69/11.78	c # [type: int, range: [-1,2147483647], default: 100]
11.69/11.78	c display/freq = 10000
11.69/11.78	c 
11.69/11.78	c # maximal time in seconds to run
11.69/11.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.69/11.78	c limits/time = 1799.66
11.69/11.78	c 
11.69/11.78	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.69/11.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.69/11.78	c limits/memory = 3420
11.69/11.78	c 
11.69/11.78	c # should presolving try to simplify inequalities
11.69/11.78	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.69/11.78	c constraints/linear/simplifyinequalities = TRUE
11.69/11.78	c 
11.69/11.78	c # should presolving try to simplify knapsacks
11.69/11.78	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.69/11.78	c constraints/knapsack/simplifyinequalities = TRUE
11.69/11.78	c 
11.69/11.78	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
11.69/11.78	c # [type: int, range: [-1,2147483647], default: -1]
11.69/11.78	c separating/rapidlearning/freq = 0
11.69/11.78	c 
11.69/11.78	c -----------------------------------------------------------------------------------------------
11.69/11.78	c start solving
11.69/11.79	c 
11.89/11.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
11.89/11.90	c  11.3s|     1 |     0 |   745 |     - | 141M|   0 |  96 |  15k|  19k|  15k|8557 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
13.59/13.65	c  13.0s|     1 |     0 |  3673 |     - | 142M|   0 | 373 |  15k|  19k|  15k|9911 |1354 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
14.78/14.88	c  14.2s|     1 |     0 |  4978 |     - | 143M|   0 | 513 |  15k|  19k|  15k|  10k|1801 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
16.28/16.37	c  15.7s|     1 |     0 |  6697 |     - | 143M|   0 | 683 |  15k|  19k|  15k|  10k|2212 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
18.59/18.66	c  18.0s|     1 |     0 |  9203 |     - | 144M|   0 | 865 |  15k|  19k|  15k|  11k|2629 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
21.59/21.60	c  20.9s|     1 |     0 | 12232 |     - | 144M|   0 | 879 |  15k|  19k|  15k|  11k|2994 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
25.39/25.46	c  24.8s|     1 |     0 | 15942 |     - | 145M|   0 | 986 |  15k|  19k|  15k|  11k|3314 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
48.29/48.37	c  47.5s|     1 |     2 | 15942 |     - | 146M|   0 | 986 |  15k|  19k|  15k|  11k|3314 |   0 |  32 | 0.000000e+00 |      --      |    Inf 
944.79/944.88	c   936s| 10000 |  9997 |733646 |  71.8 | 222M| 205 | 215 |  15k|  19k|  15k|  10k|6964 | 122 |3729 | 0.000000e+00 |      --      |    Inf 
1407.30/1407.37	c  1391s| 20000 | 19997 |  1135k|  56.0 | 299M| 205 |  54 |  15k|  19k|  15k|  10k|7094 | 196 |5853 | 0.000000e+00 |      --      |    Inf 
1766.41/1766.47	c  1745s| 30000 | 29989 |  1415k|  46.7 | 377M| 205 |  60 |  15k|  19k|  15k|  10k|7223 | 257 |7943 | 0.000000e+00 |      --      |    Inf 
1800.02/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00	c 
1800.02/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.00	c Solving Time (sec) : 1778.22
1800.02/1800.00	c Solving Nodes      : 31352
1800.02/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.02/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.00	c Gap                : infinite
1800.02/1800.00	s UNKNOWN
1800.02/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.00	c Solving Time       :    1778.22
1800.02/1800.00	c Original Problem   :
1800.02/1800.00	c   Problem name     : HOME/instance-2692596-1277918135.wbo
1800.02/1800.00	c   Variables        : 40980 (26590 binary, 0 integer, 0 implicit integer, 14390 continuous)
1800.02/1800.00	c   Constraints      : 56447 initial, 56447 maximal
1800.02/1800.00	c Presolved Problem  :
1800.02/1800.00	c   Problem name     : t_HOME/instance-2692596-1277918135.wbo
1800.02/1800.00	c   Variables        : 15872 (10449 binary, 0 integer, 0 implicit integer, 5423 continuous)
1800.02/1800.00	c   Constraints      : 19429 initial, 19607 maximal
1800.02/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.00	c   trivial          :       0.05        188          0          0          0          0          0          0          0
1800.02/1800.00	c   dualfix          :       0.06      18992          0          0          0          0          0          0          0
1800.02/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   implics          :       0.06          0         17          0          0          0          0          0          0
1800.02/1800.00	c   probing          :       8.63         14         13          0          5          0          0          0          0
1800.02/1800.00	c   indicator        :       0.43          0          0          0          0          0       8967          0          0
1800.02/1800.00	c   varbound         :       0.00          0          0          0          0          0         10          0          0
1800.02/1800.00	c   knapsack         :       0.03          0          0          0          0          0         17        111        755
1800.02/1800.00	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   linear           :       1.16       4377       1507          0       9986          0      28052         72         81
1800.02/1800.00	c   logicor          :       0.12          0          0          0          0          0         47          0          0
1800.02/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.00	c   integral         :          0          0          0      31535          0          0          7          0          0      62672
1800.02/1800.00	c   indicator        :       5423          0     204837        194          0          0      35007          0          0          0
1800.02/1800.00	c   varbound         :        622          6     204837        194          0          0       2913        517          0          0
1800.02/1800.00	c   knapsack         :        223          6     204837         43          0          1      58310        332          0          0
1800.02/1800.00	c   setppc           :         75          6     204836         43          0          0       4623          0          0          0
1800.02/1800.00	c   linear           :       4801          6     204836         43          0          0      28409       4888          0          0
1800.02/1800.00	c   logicor          :       8285+         6     170665         10          0          8     330708          0          0          0
1800.02/1800.00	c   countsols        :          0          0          0         10          0          0          0          0          0          0
1800.02/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.00	c   integral         :     487.97       0.00       0.00     487.97       0.00
1800.02/1800.00	c   indicator        :      25.01       0.00      24.68       0.33       0.00
1800.02/1800.00	c   varbound         :       2.71       0.00       2.70       0.01       0.00
1800.02/1800.00	c   knapsack         :       1.84       0.00       1.84       0.00       0.00
1800.02/1800.00	c   setppc           :       0.31       0.00       0.31       0.00       0.00
1800.02/1800.00	c   linear           :      16.15       0.02      16.09       0.04       0.00
1800.02/1800.00	c   logicor          :       2.52       0.01       2.51       0.00       0.00
1800.02/1800.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.00	c   vbounds          :      11.11      50632          0       3914
1800.02/1800.00	c   rootredcost      :       0.01          0          0          0
1800.02/1800.00	c   pseudoobj        :      29.70     185223          0          0
1800.02/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.00	c   propagation      :       0.00          9          9         10        4.2          0        0.0          -
1800.02/1800.00	c   infeasible LP    :       0.76        248        248        251        2.6          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 :          -          -          -        259        2.7          -          -          -
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.00          5          -          -        433          -    (maximal pool size: 2908)
1800.02/1800.00	c   redcost          :      18.67      31481          0          0          0          0
1800.02/1800.00	c   impliedbounds    :       0.01          6          0          0       1680          0
1800.02/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.00	c   gomory           :       0.70          6          0          0       2796          0
1800.02/1800.00	c   strongcg         :       1.34          6          0          0       1752          0
1800.02/1800.00	c   cmir             :       0.64          6          0          0         10          0
1800.02/1800.00	c   flowcover        :       1.84          6          0          0        508          0
1800.02/1800.00	c   clique           :       0.52          6          0          0         39          0
1800.02/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.00	c   mcf              :       0.04          1          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        :     487.94      31341          0          7          0          0      62672
1800.02/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   inference        :       0.03         10          0          0          0          0         20
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.08          0          0
1800.02/1800.00	c   crossover        :       0.00          0          0
1800.02/1800.00	c   guideddiving     :       0.00          0          0
1800.02/1800.00	c   intshifting      :       0.14         25          0
1800.02/1800.00	c   feaspump         :       3.87         15          0
1800.02/1800.00	c   rootsoldiving    :      13.15         26          0
1800.02/1800.00	c   objpscostdiving  :      18.89         26          0
1800.02/1800.00	c   veclendiving     :      38.32         52          0
1800.02/1800.00	c   linesearchdiving :      44.18         52          0
1800.02/1800.00	c   fracdiving       :      51.83         52          0
1800.02/1800.00	c   pscostdiving     :      53.67         52          0
1800.02/1800.00	c   coefdiving       :      62.00         52          0
1800.02/1800.00	c   trivial          :       0.51          2          0
1800.02/1800.00	c   simplerounding   :       0.06      29784          0
1800.02/1800.00	c   zirounding       :       0.39       1000          0
1800.02/1800.00	c   rounding         :       2.00       2389          0
1800.02/1800.00	c   shifting         :       6.99        712          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   intdiving        :       0.00          0          0
1800.02/1800.00	c   actconsdiving    :       0.00          0          0
1800.02/1800.00	c   octane           :       0.00          0          0
1800.02/1800.00	c   rens             :       0.18          1          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   undercover       :       0.00          0          0
1800.02/1800.00	c   nlp              :       0.01          0          0
1800.02/1800.00	c   trysol           :       8.22       1085          0
1800.02/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.00	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.00	c   dual LP          :     767.49      29968    1181047      39.41    1538.84
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:     209.01      15501     265570      17.13    1270.61
1800.02/1800.00	c   strong branching :     486.12       8006     601126      75.08    1236.58
1800.02/1800.00	c     (at root node) :          -         32      27944     873.25          -
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            :      31352
1800.02/1800.00	c   nodes (total)    :      31352
1800.02/1800.00	c   nodes left       :      31341
1800.02/1800.00	c   max depth        :        205
1800.02/1800.00	c   max depth (total):        205
1800.02/1800.00	c   backtracks       :        350 (1.1%)
1800.02/1800.00	c   delayed cutoffs  :          0
1800.02/1800.00	c   repropagations   :        169 (42 domain reductions, 0 cutoffs)
1800.02/1800.00	c   avg switch length:       2.14
1800.02/1800.00	c   switching time   :      12.54
1800.02/1800.00	c Solution           :
1800.02/1800.00	c   Solutions found  :          0 (0 improvements)
1800.02/1800.00	c   Primal Bound     :          -
1800.02/1800.00	c   Dual Bound       : +0.00000000000000e+00
1800.02/1800.00	c   Gap              :   infinite
1800.02/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.00	c   Root Iterations  :      15942
1800.41/1800.40	c Time complete: 1800.41.

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-2692596-1277918135/watcher-2692596-1277918135 -o /tmp/evaluation-result-2692596-1277918135/solver-2692596-1277918135 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692596-1277918135.wbo -t 1800 -m 3800 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25420
/proc/meminfo: memFree=30511900/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=9440 CPUtime=0
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 1656 0 0 0 0 0 0 0 25 0 1 0 165453052 9666560 1575 4089446400 4194304 8223781 140733296930048 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25420/statm: 2360 1575 369 984 0 1373 0

[startup+0.104497 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25420
/proc/meminfo: memFree=30511900/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=30068 CPUtime=0.1
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 6841 0 0 0 9 1 0 0 25 0 1 0 165453052 30789632 6760 4089446400 4194304 8223781 140733296930048 18446744073709551615 6640019 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25420/statm: 7517 6760 369 984 0 6530 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 30068

[startup+0.200478 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25420
/proc/meminfo: memFree=30511900/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=45704 CPUtime=0.19
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 10488 0 0 0 18 1 0 0 25 0 1 0 165453052 46800896 10407 4089446400 4194304 8223781 140733296930048 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25420/statm: 11426 10442 369 984 0 10439 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 45704

[startup+0.300462 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25420
/proc/meminfo: memFree=30511900/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=62484 CPUtime=0.29
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 14905 0 0 0 28 1 0 0 25 0 1 0 165453052 63983616 14824 4089446400 4194304 8223781 140733296930048 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25420/statm: 15621 14824 369 984 0 14634 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62484

[startup+0.700393 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25420
/proc/meminfo: memFree=30511900/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=162252 CPUtime=0.69
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 38857 0 0 0 65 4 0 0 25 0 1 0 165453052 166146048 38344 4089446400 4194304 8223781 140733296930048 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25420/statm: 40563 38344 422 984 0 39576 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 162252

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25421
/proc/meminfo: memFree=30348460/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=190212 CPUtime=1.49
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 46274 0 0 0 141 8 0 0 25 0 1 0 165453052 194777088 45504 4089446400 4194304 8223781 140733296930048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25420/statm: 47553 45504 449 984 0 46566 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 190212

[startup+3.10099 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25421
/proc/meminfo: memFree=30329128/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=196704 CPUtime=3.09
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 58225 0 0 0 293 16 0 0 25 0 1 0 165453052 201424896 47160 4089446400 4194304 8223781 140733296930048 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25420/statm: 49176 47160 489 984 0 48189 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 196704

[startup+6.30047 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25421
/proc/meminfo: memFree=30318092/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=200112 CPUtime=6.29
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 59073 0 0 0 611 18 0 0 25 0 1 0 165453052 204914688 48008 4089446400 4194304 8223781 140733296930048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25420/statm: 50028 48008 494 984 0 49041 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 200112

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25421
/proc/meminfo: memFree=30298372/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=222960 CPUtime=12.69
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 71075 0 0 0 1243 26 0 0 25 0 1 0 165453052 228311040 53246 4089446400 4194304 8223781 140733296930048 18446744073709551615 5744314 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25420/statm: 55740 53246 584 984 0 54753 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 222960

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25421
/proc/meminfo: memFree=30280276/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=234168 CPUtime=25.49
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 88885 0 0 0 2513 36 0 0 25 0 1 0 165453052 239788032 55533 4089446400 4194304 8223781 140733296930048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25420/statm: 58542 55533 593 984 0 57555 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 234168

[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25421
/proc/meminfo: memFree=30269788/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=233280 CPUtime=51.09
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 166387 0 0 0 5058 51 0 0 25 0 1 0 165453052 238878720 55450 4089446400 4194304 8223781 140733296930048 18446744073709551615 6568506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25420/statm: 58320 55450 603 984 0 57333 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 233280

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25423
/proc/meminfo: memFree=30243568/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=233224 CPUtime=102.29
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 286264 0 0 0 10152 77 0 0 25 0 1 0 165453052 238821376 55363 4089446400 4194304 8223781 140733296930048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25420/statm: 58306 55363 603 984 0 57319 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 233224

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25425
/proc/meminfo: memFree=30211520/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=236304 CPUtime=162.29
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 430994 0 0 0 16122 107 0 0 25 0 1 0 165453052 241975296 56231 4089446400 4194304 8223781 140733296930048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25420/statm: 59076 56231 603 984 0 58089 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 236304

[startup+222.306 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 25427
/proc/meminfo: memFree=30184056/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=236444 CPUtime=222.3
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 603943 0 0 0 22084 146 0 0 25 0 1 0 165453052 242118656 56214 4089446400 4194304 8223781 140733296930048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25420/statm: 59111 56214 607 984 0 58124 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 236444

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25427
/proc/meminfo: memFree=30154744/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=237076 CPUtime=282.29
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 762295 0 0 0 28045 184 0 0 25 0 1 0 165453052 242765824 56348 4089446400 4194304 8223781 140733296930048 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25420/statm: 59269 56348 607 984 0 58282 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 237076

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25429
/proc/meminfo: memFree=30124444/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=239072 CPUtime=342.29
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 925653 0 0 0 34009 220 0 0 25 0 1 0 165453052 244809728 56863 4089446400 4194304 8223781 140733296930048 18446744073709551615 6569344 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25420/statm: 59768 56863 607 984 0 58781 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 239072

[startup+402.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 25431
/proc/meminfo: memFree=30095252/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=239020 CPUtime=402.29
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 1080968 0 0 0 39974 255 0 0 25 0 1 0 165453052 244756480 56887 4089446400 4194304 8223781 140733296930048 18446744073709551615 6569483 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25420/statm: 59755 56887 607 984 0 58768 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 239020

[startup+462.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25433
/proc/meminfo: memFree=30062356/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=240296 CPUtime=462.3
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 1285008 0 0 0 45932 298 0 0 25 0 1 0 165453052 246063104 57173 4089446400 4194304 8223781 140733296930048 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25420/statm: 60074 57173 607 984 0 59087 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 240296

[startup+522.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 25435
/proc/meminfo: memFree=30031064/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=242844 CPUtime=522.3
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 1518093 0 0 0 51890 340 0 0 25 0 1 0 165453052 248672256 57732 4089446400 4194304 8223781 140733296930048 18446744073709551615 4827013 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25420/statm: 60711 57732 607 984 0 59724 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 242844

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25435
/proc/meminfo: memFree=29999652/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=245048 CPUtime=582.29
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 1743285 0 0 0 57847 382 0 0 25 0 1 0 165453052 250929152 58555 4089446400 4194304 8223781 140733296930048 18446744073709551615 6591964 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25420/statm: 61626 58559 607 984 0 60639 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 245048

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25437
/proc/meminfo: memFree=29967468/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=253132 CPUtime=642.3
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 2004575 0 0 0 63800 430 0 0 25 0 1 0 165453052 259207168 60251 4089446400 4194304 8223781 140733296930048 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25420/statm: 63283 60251 607 984 0 62296 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 253132

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25518
/proc/meminfo: memFree=30592856/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=310776 CPUtime=942.3
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 4044948 0 0 0 93335 895 0 0 25 0 1 0 165453052 318234624 74747 4089446400 4194304 8223781 140733296930048 18446744073709551615 6567848 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25420/statm: 77694 74747 608 984 0 76707 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 310776

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25520
/proc/meminfo: memFree=30585376/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=318252 CPUtime=1002.29
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 4406099 0 0 0 99245 984 0 0 25 0 1 0 165453052 325890048 76660 4089446400 4194304 8223781 140733296930048 18446744073709551615 6567915 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25420/statm: 79563 76660 608 984 0 78576 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 318252

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25522
/proc/meminfo: memFree=30578016/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=325844 CPUtime=1062.3
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 4737844 0 0 0 105162 1068 0 0 25 0 1 0 165453052 333664256 78603 4089446400 4194304 8223781 140733296930048 18446744073709551615 6446872 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25420/statm: 81461 78603 608 984 0 80474 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 325844

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25524
/proc/meminfo: memFree=30571008/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=332808 CPUtime=1122.3
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 5052725 0 0 0 111078 1152 0 0 25 0 1 0 165453052 340795392 80241 4089446400 4194304 8223781 140733296930048 18446744073709551615 6567828 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25420/statm: 83202 80241 608 984 0 82215 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 332808

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25524
/proc/meminfo: memFree=30561428/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=342140 CPUtime=1182.3
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 5439097 0 0 0 116980 1250 0 0 25 0 1 0 165453052 350351360 82658 4089446400 4194304 8223781 140733296930048 18446744073709551615 6610268 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25420/statm: 85535 82658 608 984 0 84548 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 342140

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25526
/proc/meminfo: memFree=30551852/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=351308 CPUtime=1242.3
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 5734986 0 0 0 122900 1330 0 0 25 0 1 0 165453052 359739392 84983 4089446400 4194304 8223781 140733296930048 18446744073709551615 6440044 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25420/statm: 87827 84983 608 984 0 86840 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 351308

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/197 25528
/proc/meminfo: memFree=30540776/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=362620 CPUtime=1302.3
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 6036103 0 0 0 128816 1414 0 0 25 0 1 0 165453052 371322880 87811 4089446400 4194304 8223781 140733296930048 18446744073709551615 6568277 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25420/statm: 90655 87811 608 984 0 89668 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 362620

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 25530
/proc/meminfo: memFree=30528844/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=374612 CPUtime=1362.3
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 6255523 0 0 0 134733 1497 0 0 25 0 1 0 165453052 383602688 90810 4089446400 4194304 8223781 140733296930048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25420/statm: 93653 90810 608 984 0 92666 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 374612

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25532
/proc/meminfo: memFree=30512308/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=391188 CPUtime=1422.31
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 6507872 0 0 0 140654 1577 0 0 25 0 1 0 165453052 400576512 94846 4089446400 4194304 8223781 140733296930048 18446744073709551615 6589152 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25420/statm: 97797 94846 608 984 0 96810 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 391188

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25532
/proc/meminfo: memFree=30501984/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=400768 CPUtime=1482.3
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 6816514 0 0 0 146570 1660 0 0 25 0 1 0 165453052 410386432 97248 4089446400 4194304 8223781 140733296930048 18446744073709551615 6568212 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25420/statm: 100192 97248 608 984 0 99205 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 400768

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25537
/proc/meminfo: memFree=30487304/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=414388 CPUtime=1542.31
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 7221621 0 0 0 152474 1757 0 0 25 0 1 0 165453052 424333312 100773 4089446400 4194304 8223781 140733296930048 18446744073709551615 6437698 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25420/statm: 103597 100773 608 984 0 102610 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 414388

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25539
/proc/meminfo: memFree=30478856/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=421904 CPUtime=1602.31
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 7582888 0 0 0 158380 1851 0 0 25 0 1 0 165453052 432029696 102882 4089446400 4194304 8223781 140733296930048 18446744073709551615 6328808 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25420/statm: 105476 102882 608 984 0 104489 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 421904

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25541
/proc/meminfo: memFree=30464688/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=437328 CPUtime=1662.31
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 7942488 0 0 0 164286 1945 0 0 25 0 1 0 165453052 447823872 106500 4089446400 4194304 8223781 140733296930048 18446744073709551615 6446805 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25420/statm: 109332 106500 608 984 0 108345 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 437328

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25543
/proc/meminfo: memFree=30453864/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=448356 CPUtime=1722.31
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 8297804 0 0 0 170194 2037 0 0 25 0 1 0 165453052 459116544 109276 4089446400 4194304 8223781 140733296930048 18446744073709551615 6559346 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25420/statm: 112089 109276 608 984 0 111102 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 448356

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25543
/proc/meminfo: memFree=30433848/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=468256 CPUtime=1782.31
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 8536029 0 0 0 176109 2122 0 0 25 0 1 0 165453052 479494144 114245 4089446400 4194304 8223781 140733296930048 18446744073709551615 6599018 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25420/statm: 117064 114245 608 984 0 116077 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 468256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25545
/proc/meminfo: memFree=30426652/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=475300 CPUtime=1800.02
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 8615346 0 0 0 177854 2148 0 0 25 0 1 0 165453052 486707200 116001 4089446400 4194304 8223781 140733296930048 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25420/statm: 118825 116001 608 984 0 117838 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 475300

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

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25545
/proc/meminfo: memFree=30426652/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=267888 CPUtime=1800.31
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 8615347 0 0 0 177882 2149 0 0 18 0 1 0 165453052 274317312 64225 4089446400 4194304 8223781 140733296930048 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25420/statm: 66972 64225 609 984 0 65985 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 267888

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25545
/proc/meminfo: memFree=30426652/32951124 swapFree=67111528/67111528
[pid=25420] ppid=25418 vsize=60524 CPUtime=1800.41
/proc/25420/stat : 25420 (pbscip.linux.x8) R 25418 25420 24474 0 -1 4202496 8615347 0 0 0 177891 2150 0 0 18 0 1 0 165453052 61976576 14235 4089446400 4194304 8223781 140733296930048 18446744073709551615 4333587 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25420/statm: 15131 14235 609 984 0 14144 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 60524

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.42
CPU user time (s): 1778.92
CPU system time (s): 21.5047
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 475400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.92
system time used= 21.5047
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8615351
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 22365

runsolver used 3.11852 second user time and 6.38503 second system time

The end

Launcher Data 

Begin job on node118 at 2010-06-30 19:15:35
IDJOB=2692596
IDBENCH=79099
IDSOLVER=1204
FILE ID=node118/2692596-1277918135
PBS_JOBID= 11197260
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j6033_2-unsat--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692596-1277918135/watcher-2692596-1277918135 -o /tmp/evaluation-result-2692596-1277918135/solver-2692596-1277918135 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692596-1277918135.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 88bd8107cec9b448bb9d4a61d3b4c661
RANDOM SEED=1439087437

node118.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.791
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.58
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.791
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.791
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.76
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.791
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.83
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.791
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.75
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.791
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.83
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.791
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.791
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	: 5448.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30512428 kB
Buffers:        202912 kB
Cached:        1306700 kB
SwapCached:          0 kB
Active:        1265272 kB
Inactive:      1030064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30512428 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5852 kB
Writeback:           0 kB
AnonPages:      785768 kB
Mapped:          16992 kB
Slab:            79292 kB
PageTables:       6272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   938900 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74196 MiB
End job on node118 at 2010-06-30 19:45:37