Trace number 2692513

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.69 1800.64

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9012_2-unsat--soft-66-100-0.wbo
MD5SUMcbe4c3d53eb1efe1b988611d439eb8ee
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark54
Best CPU time to get the best result obtained on this benchmark0.12098
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables12922
Total number of constraints40512
Number of soft constraints13779
Number of constraints which are clauses40232
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints280
Minimum length of a constraint1
Maximum length of a constraint69
Top cost 694337
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 694336
Biggest number in a constraint 102
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 504
Number of bits of the biggest sum of numbers9
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-2692513-1277916750.wbo>
0.28/0.36	c original problem has 40480 variables (26701 bin, 0 int, 0 impl, 13779 cont) and 54292 constraints
0.28/0.36	c problem read
0.28/0.36	c presolving settings loaded
0.99/1.04	c presolving:
1.29/1.37	c (round 1) 1307 del vars, 3979 del conss, 775 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 502861 impls, 0 clqs
1.59/1.63	c (round 2) 3606 del vars, 11740 del conss, 1756 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 511750 impls, 0 clqs
1.89/1.90	c (round 3) 7678 del vars, 18248 del conss, 2469 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 517729 impls, 0 clqs
1.99/2.09	c (round 4) 12261 del vars, 23068 del conss, 3118 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 524124 impls, 0 clqs
2.19/2.23	c (round 5) 15484 del vars, 26788 del conss, 3559 chg bounds, 1 chg sides, 3 chg coeffs, 0 upgd conss, 528754 impls, 0 clqs
2.29/2.33	c (round 6) 17866 del vars, 28950 del conss, 3812 chg bounds, 19 chg sides, 28 chg coeffs, 0 upgd conss, 530111 impls, 0 clqs
2.29/2.39	c (round 7) 19541 del vars, 30328 del conss, 3990 chg bounds, 35 chg sides, 49 chg coeffs, 0 upgd conss, 531386 impls, 0 clqs
2.39/2.44	c (round 8) 20513 del vars, 31201 del conss, 4093 chg bounds, 46 chg sides, 62 chg coeffs, 0 upgd conss, 531930 impls, 0 clqs
2.39/2.47	c (round 9) 21135 del vars, 31815 del conss, 4168 chg bounds, 46 chg sides, 62 chg coeffs, 0 upgd conss, 532352 impls, 0 clqs
2.49/2.50	c (round 10) 21549 del vars, 32220 del conss, 4212 chg bounds, 46 chg sides, 62 chg coeffs, 0 upgd conss, 532536 impls, 0 clqs
2.49/2.53	c (round 11) 21857 del vars, 32535 del conss, 4250 chg bounds, 46 chg sides, 62 chg coeffs, 0 upgd conss, 532692 impls, 0 clqs
2.49/2.55	c (round 12) 22069 del vars, 32742 del conss, 4269 chg bounds, 46 chg sides, 62 chg coeffs, 0 upgd conss, 532716 impls, 0 clqs
2.49/2.57	c (round 13) 22219 del vars, 32853 del conss, 4278 chg bounds, 46 chg sides, 62 chg coeffs, 0 upgd conss, 532731 impls, 0 clqs
2.49/2.58	c (round 14) 22303 del vars, 32894 del conss, 4278 chg bounds, 46 chg sides, 62 chg coeffs, 0 upgd conss, 532731 impls, 0 clqs
2.59/2.62	c (round 15) 22340 del vars, 32901 del conss, 10295 chg bounds, 46 chg sides, 62 chg coeffs, 0 upgd conss, 532731 impls, 0 clqs
2.68/2.77	c (round 16) 22347 del vars, 32901 del conss, 10295 chg bounds, 46 chg sides, 62 chg coeffs, 10076 upgd conss, 532731 impls, 0 clqs
2.79/2.83	c (round 17) 22347 del vars, 32901 del conss, 10295 chg bounds, 100 chg sides, 169 chg coeffs, 10076 upgd conss, 533450 impls, 1 clqs
2.79/2.87	c (round 18) 22347 del vars, 32903 del conss, 10295 chg bounds, 105 chg sides, 183 chg coeffs, 10076 upgd conss, 533450 impls, 2 clqs
2.89/2.91	c (round 19) 22347 del vars, 32903 del conss, 10295 chg bounds, 109 chg sides, 192 chg coeffs, 10076 upgd conss, 533450 impls, 2 clqs
2.89/2.94	c (round 20) 22347 del vars, 32903 del conss, 10295 chg bounds, 113 chg sides, 218 chg coeffs, 10076 upgd conss, 533450 impls, 2 clqs
5.79/5.80	c    (5.3s) probing: 1000/12116 (8.3%) - 0 fixings, 0 aggregations, 25301 implications, 0 bound changes
7.49/7.57	c    (7.0s) probing: 2000/12116 (16.5%) - 0 fixings, 0 aggregations, 29439 implications, 0 bound changes
7.49/7.57	c    (7.0s) probing: 2001/12116 (16.5%) - 0 fixings, 0 aggregations, 29440 implications, 0 bound changes
7.49/7.57	c    (7.0s) probing aborted: 2000/2000 successive useless probings
7.49/7.58	c presolving (21 rounds):
7.49/7.58	c  22347 deleted vars, 32903 deleted constraints, 10295 tightened bounds, 0 added holes, 113 changed sides, 218 changed coefficients
7.49/7.58	c  647399 implications, 2 cliques
7.49/7.58	c presolved problem has 18133 variables (12116 bin, 0 int, 0 impl, 6017 cont) and 21407 constraints
7.49/7.58	c    6017 constraints of type <indicator>
7.49/7.58	c     719 constraints of type <varbound>
7.49/7.58	c     182 constraints of type <knapsack>
7.49/7.58	c      18 constraints of type <setppc>
7.49/7.58	c    5298 constraints of type <linear>
7.49/7.58	c    9173 constraints of type <logicor>
7.49/7.58	c transformed objective value is always integral (scale: 1)
7.49/7.58	c Presolving Time: 6.92
7.49/7.58	c - non default parameters ----------------------------------------------------------------------
7.49/7.58	c # SCIP version 1.2.1.2
7.49/7.58	c 
7.49/7.58	c # frequency for displaying node information lines
7.49/7.58	c # [type: int, range: [-1,2147483647], default: 100]
7.49/7.58	c display/freq = 10000
7.49/7.58	c 
7.49/7.58	c # maximal time in seconds to run
7.49/7.58	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.49/7.58	c limits/time = 1799.64
7.49/7.58	c 
7.49/7.58	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.49/7.58	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.49/7.58	c limits/memory = 3420
7.49/7.58	c 
7.49/7.58	c # should presolving try to simplify inequalities
7.49/7.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.49/7.58	c constraints/linear/simplifyinequalities = TRUE
7.49/7.58	c 
7.49/7.58	c # should presolving try to simplify knapsacks
7.49/7.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.49/7.58	c constraints/knapsack/simplifyinequalities = TRUE
7.49/7.58	c 
7.49/7.58	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
7.49/7.58	c # [type: int, range: [-1,2147483647], default: -1]
7.49/7.58	c separating/rapidlearning/freq = 0
7.49/7.58	c 
7.49/7.58	c -----------------------------------------------------------------------------------------------
7.49/7.58	c start solving
7.49/7.58	c 
7.59/7.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.59/7.66	c   7.1s|     1 |     0 |     0 |     - | 135M|   0 |   0 |  18k|  21k|  18k|9373 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.70/7.79	c   7.2s|     1 |     0 |  1610 |     - | 136M|   0 |  12 |  18k|  21k|  18k|  10k| 640 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.79/8.89	c   8.3s|     1 |     0 |  2016 |     - | 136M|   0 |  41 |  18k|  21k|  18k|  10k| 867 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.89/9.91	c   9.3s|     1 |     0 |  2542 |     - | 137M|   0 |  54 |  18k|  21k|  18k|  10k|1083 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.89/10.94	c  10.3s|     1 |     0 |  2777 |     - | 137M|   0 | 108 |  18k|  21k|  18k|  10k|1187 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
12.00/12.04	c  11.4s|     1 |     0 |  2901 |     - | 137M|   0 |  93 |  18k|  21k|  18k|  10k|1271 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
13.09/13.11	c  12.5s|     1 |     0 |  2989 |     - | 137M|   0 |  41 |  18k|  21k|  18k|  10k|1358 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
13.78/13.85	c  13.2s|     1 |     2 |  4972 |     - | 138M|   0 |  41 |  18k|  21k|  18k|  10k|1358 |   0 |  19 | 0.000000e+00 |      --      |    Inf 
337.29/337.32	c   333s| 10000 | 10001 | 78074 |   7.5 | 226M|  81 |   0 |  18k|  21k|  18k|  10k|  20k|   0 |3258 | 0.000000e+00 |      --      |    Inf 
588.90/588.92	c   582s| 20000 | 20001 |128297 |   6.3 | 314M| 105 |   0 |  18k|  21k|  18k|  10k|  36k|   0 |3924 | 0.000000e+00 |      --      |    Inf 
836.20/836.29	c   827s| 30000 | 30001 |167543 |   5.5 | 402M| 115 |   0 |  18k|  21k|  18k|  10k|  48k|   0 |4587 | 0.000000e+00 |      --      |    Inf 
1122.81/1122.87	c  1110s| 40000 | 40001 |209304 |   5.2 | 489M| 117 |   0 |  18k|  21k|  18k|  10k|  62k|   0 |5144 | 0.000000e+00 |      --      |    Inf 
1396.02/1396.00	c  1380s| 50000 | 50001 |244249 |   4.8 | 575M| 137 |   0 |  18k|  21k|  18k|  10k|  73k|   0 |5482 | 0.000000e+00 |      --      |    Inf 
1672.73/1672.71	c  1653s| 60000 | 60001 |282705 |   4.7 | 661M| 137 |   0 |  18k|  21k|  18k|  10k|  86k|   0 |5898 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.14/1800.12	c 
1800.14/1800.12	c SCIP Status        : solving was interrupted [user interrupt]
1800.14/1800.12	c Solving Time (sec) : 1779.06
1800.14/1800.12	c Solving Nodes      : 64866
1800.14/1800.12	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.14/1800.12	c Dual Bound         : +0.00000000000000e+00
1800.14/1800.12	c Gap                : infinite
1800.14/1800.12	s UNKNOWN
1800.14/1800.12	c SCIP Status        : solving was interrupted [user interrupt]
1800.14/1800.12	c Solving Time       :    1779.06
1800.14/1800.12	c Original Problem   :
1800.14/1800.12	c   Problem name     : HOME/instance-2692513-1277916750.wbo
1800.14/1800.12	c   Variables        : 40480 (26701 binary, 0 integer, 0 implicit integer, 13779 continuous)
1800.14/1800.12	c   Constraints      : 54292 initial, 54292 maximal
1800.14/1800.12	c Presolved Problem  :
1800.14/1800.12	c   Problem name     : t_HOME/instance-2692513-1277916750.wbo
1800.14/1800.12	c   Variables        : 18133 (12116 binary, 0 integer, 0 implicit integer, 6017 continuous)
1800.14/1800.12	c   Constraints      : 21407 initial, 21407 maximal
1800.14/1800.12	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.14/1800.12	c   trivial          :       0.05        153          0          0          0          0          0          0          0
1800.14/1800.12	c   dualfix          :       0.06      16471          0          0          0          0          0          0          0
1800.14/1800.12	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.12	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.12	c   implics          :       0.03          0          0          0          0          0          0          0          0
1800.14/1800.12	c   probing          :       4.55          0          0          0          0          0          0          0          0
1800.14/1800.12	c   indicator        :       0.42          0          0          0          0          0       7762          0          0
1800.14/1800.12	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.12	c   knapsack         :       0.03          0          0          0          0          0          2         67        156
1800.14/1800.12	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.12	c   linear           :       1.11       4125       1598          0      10295          0      25139         46         62
1800.14/1800.12	c   logicor          :       0.07          0          0          0          0          0          0          0          0
1800.14/1800.12	c   root node        :          -          0          -          -          0          -          -          -          -
1800.14/1800.12	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.14/1800.12	c   integral         :          0          0          0      79274          0          0          0          0          0      19500
1800.14/1800.12	c   indicator        :       6017          0     494687      69524          0          0      24883          0          0          0
1800.14/1800.12	c   varbound         :        719          6     494687      69524          0          0       9986       2250          0          0
1800.14/1800.12	c   knapsack         :        182          6     494687      67756          0          0         12          0          0          0
1800.14/1800.12	c   setppc           :         18          6     494687      67756          0          0       1076          0          0          0
1800.14/1800.12	c   linear           :       5298          6     494687      67756          0          0       8316      88264          0          0
1800.14/1800.12	c   logicor          :       9173          6     458411      55116          0          0    1362610          0          0          0
1800.14/1800.12	c   countsols        :          0          0          0      55116          0          0          0          0          0          0
1800.14/1800.12	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.14/1800.12	c   integral         :      89.75       0.00       0.00      89.75       0.00
1800.14/1800.12	c   indicator        :     160.73       0.00      48.14     112.59       0.00
1800.14/1800.12	c   varbound         :      12.91       0.00       7.06       5.85       0.00
1800.14/1800.12	c   knapsack         :       3.97       0.00       3.03       0.94       0.00
1800.14/1800.12	c   setppc           :       0.25       0.00       0.18       0.07       0.00
1800.14/1800.12	c   linear           :     200.68       0.04      43.88     156.76       0.00
1800.14/1800.12	c   logicor          :      49.45       0.00       6.30      43.15       0.00
1800.14/1800.12	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1800.14/1800.12	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.14/1800.12	c   vbounds          :      29.16     192472          0       6590
1800.14/1800.12	c   rootredcost      :       0.16          0          0          0
1800.14/1800.12	c   pseudoobj        :      81.96     485169          0          0
1800.14/1800.12	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.14/1800.12	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.14/1800.12	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.12	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.12	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.12	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.14/1800.12	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.14/1800.12	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.14/1800.12	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.14/1800.12	c   cut pool         :       0.00          4          -          -          6          -    (maximal pool size: 188)
1800.14/1800.12	c   redcost          :      59.43      74772          0          0          0          0
1800.14/1800.12	c   impliedbounds    :       0.00          5          0          0         75          0
1800.14/1800.12	c   intobj           :       0.00          0          0          0          0          0
1800.14/1800.12	c   cgmip            :       0.00          0          0          0          0          0
1800.14/1800.12	c   gomory           :       0.18          5          0          0        361          0
1800.14/1800.12	c   strongcg         :       0.15          5          0          0          0          0
1800.14/1800.12	c   cmir             :       0.83          5          0          0          9          0
1800.14/1800.12	c   flowcover        :       3.38          5          0          0         17          0
1800.14/1800.12	c   clique           :       0.20          5          0          0         21          0
1800.14/1800.12	c   zerohalf         :       0.00          0          0          0          0          0
1800.14/1800.12	c   mcf              :       0.04          1          0          0          0          0
1800.14/1800.12	c   rapidlearning    :       0.00          0          0          0          0          0
1800.14/1800.12	c Pricers            :       Time      Calls       Vars
1800.14/1800.12	c   problem variables:       0.00          0          0
1800.14/1800.12	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.14/1800.12	c   relpscost        :      89.72       9750          0          0          0          0      19500
1800.14/1800.12	c   pscost           :       0.00          0          0          0          0          0          0
1800.14/1800.12	c   inference        :     218.30      55116          0          0          0          0     110232
1800.14/1800.12	c   mostinf          :       0.00          0          0          0          0          0          0
1800.14/1800.12	c   leastinf         :       0.00          0          0          0          0          0          0
1800.14/1800.12	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.14/1800.12	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.14/1800.12	c   random           :       0.00          0          0          0          0          0          0
1800.14/1800.12	c Primal Heuristics  :       Time      Calls      Found
1800.14/1800.12	c   LP solutions     :       0.00          -          0
1800.14/1800.12	c   pseudo solutions :       0.00          -          0
1800.14/1800.12	c   oneopt           :       0.16          0          0
1800.14/1800.12	c   crossover        :       0.06          0          0
1800.14/1800.12	c   guideddiving     :       0.01          0          0
1800.14/1800.12	c   feaspump         :       0.22          1          0
1800.14/1800.12	c   intshifting      :       0.02          3          0
1800.14/1800.12	c   coefdiving       :      12.90       1163          0
1800.14/1800.12	c   pscostdiving     :      12.47       1163          0
1800.14/1800.12	c   fracdiving       :      12.43       1163          0
1800.14/1800.12	c   veclendiving     :      11.87       1163          0
1800.14/1800.12	c   linesearchdiving :      11.85       1163          0
1800.14/1800.12	c   objpscostdiving  :      13.21       1162          0
1800.14/1800.12	c   rootsoldiving    :      13.95       1162          0
1800.14/1800.12	c   trivial          :       0.51          2          0
1800.14/1800.12	c   simplerounding   :       0.06       9755          0
1800.14/1800.12	c   zirounding       :       3.00       1000          0
1800.14/1800.12	c   rounding         :       8.46       1343          0
1800.14/1800.12	c   shifting         :       3.32        399          0
1800.14/1800.12	c   twoopt           :       0.00          0          0
1800.14/1800.12	c   fixandinfer      :       0.00          0          0
1800.14/1800.12	c   intdiving        :       0.00          0          0
1800.14/1800.12	c   actconsdiving    :       0.00          0          0
1800.14/1800.12	c   octane           :       0.00          0          0
1800.14/1800.12	c   rens             :       0.14          1          0
1800.14/1800.12	c   rins             :       0.00          0          0
1800.14/1800.12	c   localbranching   :       0.00          0          0
1800.14/1800.12	c   mutation         :       0.00          0          0
1800.14/1800.12	c   dins             :       0.00          0          0
1800.14/1800.12	c   undercover       :       0.00          0          0
1800.14/1800.12	c   nlp              :       0.00          0          0
1800.14/1800.12	c   trysol           :      21.51       2752          0
1800.14/1800.12	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.14/1800.12	c   primal LP        :       0.00          0          0       0.00          -
1800.14/1800.12	c   dual LP          :     445.44      30464     291205       9.56     653.75
1800.14/1800.12	c   lex dual LP      :       0.00          0          0       0.00          -
1800.14/1800.12	c   barrier LP       :       0.00          0          0       0.00          -
1800.14/1800.12	c   diving/probing LP:       2.40        302       3466      11.48    1444.17
1800.14/1800.12	c   strong branching :      89.54       6001      46317       7.72     517.28
1800.14/1800.12	c     (at root node) :          -         19        281      14.79          -
1800.14/1800.12	c   conflict analysis:       0.00          0          0       0.00          -
1800.14/1800.12	c B&B Tree           :
1800.14/1800.12	c   number of runs   :          1
1800.14/1800.12	c   nodes            :      64866
1800.14/1800.12	c   nodes (total)    :      64866
1800.14/1800.12	c   nodes left       :      64867
1800.14/1800.12	c   max depth        :        137
1800.14/1800.12	c   max depth (total):        137
1800.14/1800.12	c   backtracks       :       1173 (1.8%)
1800.14/1800.12	c   delayed cutoffs  :          0
1800.14/1800.12	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.14/1800.12	c   avg switch length:       2.22
1800.14/1800.12	c   switching time   :      26.22
1800.14/1800.12	c Solution           :
1800.14/1800.12	c   Solutions found  :          0 (0 improvements)
1800.14/1800.12	c   Primal Bound     :          -
1800.14/1800.12	c   Dual Bound       : +0.00000000000000e+00
1800.14/1800.12	c   Gap              :   infinite
1800.14/1800.12	c   Root Dual Bound  : +0.00000000000000e+00
1800.14/1800.12	c   Root Iterations  :       2989
1800.63/1800.64	c Time complete: 1800.68.

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-2692513-1277916750/watcher-2692513-1277916750 -o /tmp/evaluation-result-2692513-1277916750/solver-2692513-1277916750 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692513-1277916750.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.01 2.00 4/178 25154
/proc/meminfo: memFree=30708136/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=7724 CPUtime=0
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 1104 0 0 0 0 0 0 0 25 0 1 0 165266755 7909376 1023 4089446400 4194304 8223781 140736873761024 18446744073709551615 7253720 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25154/statm: 1931 1023 348 984 0 944 0

[startup+0.052762 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 25154
/proc/meminfo: memFree=30708136/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=20856 CPUtime=0.04
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 4505 0 0 0 4 0 0 0 25 0 1 0 165266755 21356544 4424 4089446400 4194304 8223781 140736873761024 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25154/statm: 5214 4424 369 984 0 4227 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 20856

[startup+0.100751 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 25154
/proc/meminfo: memFree=30708136/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=28004 CPUtime=0.09
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 6293 0 0 0 9 0 0 0 25 0 1 0 165266755 28676096 6212 4089446400 4194304 8223781 140736873761024 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25154/statm: 7001 6212 369 984 0 6014 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28004

[startup+0.300718 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 25154
/proc/meminfo: memFree=30708136/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=58056 CPUtime=0.28
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 13848 0 0 0 28 0 0 0 25 0 1 0 165266755 59449344 13738 4089446400 4194304 8223781 140736873761024 18446744073709551615 7356399 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25154/statm: 14514 13738 369 984 0 13527 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 58056

[startup+0.700704 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 25154
/proc/meminfo: memFree=30708136/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=156184 CPUtime=0.69
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 37381 0 0 0 66 3 0 0 25 0 1 0 165266755 159932416 36871 4089446400 4194304 8223781 140736873761024 18446744073709551615 7257502 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25154/statm: 39046 36871 422 984 0 38059 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 156184

[startup+1.50055 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 25155
/proc/meminfo: memFree=30562828/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=177812 CPUtime=1.49
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 43098 0 0 0 143 6 0 0 25 0 1 0 165266755 182079488 42331 4089446400 4194304 8223781 140736873761024 18446744073709551615 4332879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25154/statm: 44453 42331 449 984 0 43466 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 177812

[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 25155
/proc/meminfo: memFree=30537904/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=184852 CPUtime=3.09
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 55461 0 0 0 294 15 0 0 25 0 1 0 165266755 189288448 44096 4089446400 4194304 8223781 140736873761024 18446744073709551615 4606316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25154/statm: 46213 44096 504 984 0 45226 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 184852

[startup+6.30062 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 25155
/proc/meminfo: memFree=30528800/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=186072 CPUtime=6.28
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 55772 0 0 0 610 18 0 0 25 0 1 0 165266755 190537728 44407 4089446400 4194304 8223781 140736873761024 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25154/statm: 46518 44407 509 984 0 45531 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 186072

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 25155
/proc/meminfo: memFree=30498560/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=215280 CPUtime=12.69
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 65506 0 0 0 1243 26 0 0 25 0 1 0 165266755 220446720 51038 4089446400 4194304 8223781 140736873761024 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25154/statm: 53820 51038 593 984 0 52833 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 215280

[startup+25.5001 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 25155
/proc/meminfo: memFree=30487612/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=217032 CPUtime=25.49
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 283715 0 0 0 2494 55 0 0 25 0 1 0 165266755 222240768 51472 4089446400 4194304 8223781 140736873761024 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25154/statm: 54258 51472 606 984 0 53271 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 217032

[startup+51.1005 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 25156
/proc/meminfo: memFree=30464612/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=220060 CPUtime=51.08
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 699394 0 0 0 5000 108 0 0 25 0 1 0 165266755 225341440 52201 4089446400 4194304 8223781 140736873761024 18446744073709551615 4561071 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25154/statm: 55015 52201 606 984 0 54028 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 220060

[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 25157
/proc/meminfo: memFree=30414712/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=230320 CPUtime=102.3
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 1253151 0 0 0 10040 190 0 0 25 0 1 0 165266755 235847680 54804 4089446400 4194304 8223781 140736873761024 18446744073709551615 4902992 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25154/statm: 57580 54804 606 984 0 56593 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 230320

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25159
/proc/meminfo: memFree=30346824/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=248808 CPUtime=162.29
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 1683854 0 0 0 15972 257 0 0 25 0 1 0 165266755 254779392 59420 4089446400 4194304 8223781 140736873761024 18446744073709551615 6599048 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25154/statm: 62202 59420 606 984 0 61215 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 248808

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25161
/proc/meminfo: memFree=30280164/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=268104 CPUtime=222.29
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 2065391 0 0 0 21913 316 0 0 25 0 1 0 165266755 274538496 64191 4089446400 4194304 8223781 140736873761024 18446744073709551615 6440044 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25154/statm: 67026 64191 606 984 0 66039 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 268104

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25162
/proc/meminfo: memFree=30215876/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=287676 CPUtime=282.29
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 2469028 0 0 0 27847 382 0 0 25 0 1 0 165266755 294580224 69065 4089446400 4194304 8223781 140736873761024 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25154/statm: 71919 69065 606 984 0 70932 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 287676

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25163
/proc/meminfo: memFree=30143272/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=308140 CPUtime=342.29
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 2790676 0 0 0 33789 440 0 0 25 0 1 0 165266755 315535360 74218 4089446400 4194304 8223781 140736873761024 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25154/statm: 77035 74218 606 984 0 76048 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 308140

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25165
/proc/meminfo: memFree=30074268/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=330688 CPUtime=402.29
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 3122847 0 0 0 39736 493 0 0 25 0 1 0 165266755 338624512 79808 4089446400 4194304 8223781 140736873761024 18446744073709551615 6446940 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25154/statm: 82672 79808 606 984 0 81685 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 330688

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25167
/proc/meminfo: memFree=30004032/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=353344 CPUtime=462.29
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 3506260 0 0 0 45674 555 0 0 25 0 1 0 165266755 361824256 85434 4089446400 4194304 8223781 140736873761024 18446744073709551615 4697577 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25154/statm: 88336 85434 606 984 0 87349 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 353344

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25178
/proc/meminfo: memFree=29930404/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=375576 CPUtime=522.29
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 3829371 0 0 0 51618 611 0 0 25 0 1 0 165266755 384589824 91002 4089446400 4194304 8223781 140736873761024 18446744073709551615 7236399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25154/statm: 93894 91002 606 984 0 92907 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 375576

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25179
/proc/meminfo: memFree=29857684/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=396196 CPUtime=582.3
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 4211210 0 0 0 57556 674 0 0 25 0 1 0 165266755 405704704 96145 4089446400 4194304 8223781 140736873761024 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25154/statm: 99049 96145 606 984 0 98062 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 396196

[startup+642.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 25180
/proc/meminfo: memFree=29785956/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=419348 CPUtime=642.31
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 4582172 0 0 0 63495 736 0 0 25 0 1 0 165266755 429412352 101912 4089446400 4194304 8223781 140736873761024 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25154/statm: 104837 101912 606 984 0 103850 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 419348

[startup+702.3 s]

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

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25387
/proc/meminfo: memFree=30873680/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=520320 CPUtime=942.31
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 6134356 0 0 0 93170 1061 0 0 25 0 1 0 165266755 532807680 127224 4089446400 4194304 8223781 140736873761024 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25154/statm: 130080 127224 606 984 0 129093 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 520320

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25389
/proc/meminfo: memFree=30849592/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=538332 CPUtime=1002.31
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 6425105 0 0 0 99096 1135 0 0 25 0 1 0 165266755 551251968 131730 4089446400 4194304 8223781 140736873761024 18446744073709551615 4965317 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25154/statm: 134583 131730 606 984 0 133596 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 538332

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25391
/proc/meminfo: memFree=30817740/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=559128 CPUtime=1062.31
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 6705337 0 0 0 105023 1208 0 0 25 0 1 0 165266755 572547072 136942 4089446400 4194304 8223781 140736873761024 18446744073709551615 4697625 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25154/statm: 139782 136942 606 984 0 138795 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 559128

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25393
/proc/meminfo: memFree=30786104/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=576316 CPUtime=1122.32
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 6993188 0 0 0 110950 1282 0 0 25 0 1 0 165266755 590147584 141267 4089446400 4194304 8223781 140736873761024 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25154/statm: 144079 141267 606 984 0 143092 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 576316

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 25394
/proc/meminfo: memFree=30751728/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=593664 CPUtime=1182.31
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 7277730 0 0 0 116881 1350 0 0 25 0 1 0 165266755 607911936 145608 4089446400 4194304 8223781 140736873761024 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25154/statm: 148416 145608 606 984 0 147429 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 593664

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25395
/proc/meminfo: memFree=30716344/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=611876 CPUtime=1242.31
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 7542723 0 0 0 122815 1416 0 0 25 0 1 0 165266755 626561024 150144 4089446400 4194304 8223781 140736873761024 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25154/statm: 152969 150144 606 984 0 151982 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 611876

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25397
/proc/meminfo: memFree=30676880/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=634968 CPUtime=1302.32
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 7806745 0 0 0 128743 1489 0 0 25 0 1 0 165266755 650207232 155883 4089446400 4194304 8223781 140736873761024 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25154/statm: 158742 155883 606 984 0 157755 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 634968

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25399
/proc/meminfo: memFree=30637540/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=654176 CPUtime=1362.32
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 8055958 0 0 0 134675 1557 0 0 25 0 1 0 165266755 669876224 160666 4089446400 4194304 8223781 140736873761024 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25154/statm: 163544 160666 606 984 0 162557 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 654176

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25401
/proc/meminfo: memFree=30599924/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=670656 CPUtime=1422.33
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 8323667 0 0 0 140602 1631 0 0 25 0 1 0 165266755 686751744 164791 4089446400 4194304 8223781 140736873761024 18446744073709551615 5813353 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25154/statm: 167664 164791 606 984 0 166677 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 670656

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25402
/proc/meminfo: memFree=30558844/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=690728 CPUtime=1482.33
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 8597506 0 0 0 146530 1703 0 0 25 0 1 0 165266755 707305472 169845 4089446400 4194304 8223781 140736873761024 18446744073709551615 5506768 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25154/statm: 172682 169845 606 984 0 171695 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 690728

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25403
/proc/meminfo: memFree=30517264/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=712476 CPUtime=1542.33
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 8863890 0 0 0 152460 1773 0 0 25 0 1 0 165266755 729575424 175284 4089446400 4194304 8223781 140736873761024 18446744073709551615 4697625 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25154/statm: 178119 175284 606 984 0 177132 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 712476

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25405
/proc/meminfo: memFree=30477176/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=730320 CPUtime=1602.32
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 9152251 0 0 0 158386 1846 0 0 25 0 1 0 165266755 747847680 179777 4089446400 4194304 8223781 140736873761024 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25154/statm: 182580 179777 606 984 0 181593 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 730320

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25407
/proc/meminfo: memFree=30438092/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=747464 CPUtime=1662.33
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 9456357 0 0 0 164312 1921 0 0 25 0 1 0 165266755 765403136 184048 4089446400 4194304 8223781 140736873761024 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25154/statm: 186866 184048 606 984 0 185879 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 747464

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25409
/proc/meminfo: memFree=30402336/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=766408 CPUtime=1722.34
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 9721210 0 0 0 170246 1988 0 0 25 0 1 0 165266755 784801792 188839 4089446400 4194304 8223781 140736873761024 18446744073709551615 5002091 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25154/statm: 191602 188839 606 984 0 190615 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 766408

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25410
/proc/meminfo: memFree=30358276/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=787244 CPUtime=1782.33
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 9985151 0 0 0 176176 2057 0 0 25 0 1 0 165266755 806137856 194054 4089446400 4194304 8223781 140736873761024 18446744073709551615 6296707 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25154/statm: 196811 194054 606 984 0 195824 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 787244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25411
/proc/meminfo: memFree=30346104/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=791316 CPUtime=1800.04
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 10055173 0 0 0 177929 2075 0 0 25 0 1 0 165266755 810307584 195079 4089446400 4194304 8223781 140736873761024 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25154/statm: 197829 195079 606 984 0 196842 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 791316

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25411
/proc/meminfo: memFree=30346104/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=726592 CPUtime=1800.23
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 10056234 0 0 0 177948 2075 0 0 18 0 1 0 165266755 744030208 178961 4089446400 4194304 8223781 140736873761024 18446744073709551615 6206544 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/25154/statm: 181648 178961 607 984 0 180661 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 726592

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25412
/proc/meminfo: memFree=31037024/32950928 swapFree=67111528/67111528
[pid=25154] ppid=25152 vsize=86056 CPUtime=1800.63
/proc/25154/stat : 25154 (pbscip.linux.x8) R 25152 25154 24460 0 -1 4202496 10056234 0 0 0 177986 2077 0 0 18 0 1 0 165266755 88121344 20538 4089446400 4194304 8223781 140736873761024 18446744073709551615 6207055 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/25154/statm: 21514 20538 607 984 0 20527 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 86056

Child status: 0
Real time (s): 1800.64
CPU time (s): 1800.69
CPU user time (s): 1779.9
CPU system time (s): 20.7848
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 791532

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

runsolver used 3.07753 second user time and 6.32104 second system time

The end

Launcher Data 

Begin job on node116 at 2010-06-30 18:52:30
IDJOB=2692513
IDBENCH=79078
IDSOLVER=1204
FILE ID=node116/2692513-1277916750
PBS_JOBID= 11197307
Free space on /tmp= 74208 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/j90/normalized-j9012_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-2692513-1277916750/watcher-2692513-1277916750 -o /tmp/evaluation-result-2692513-1277916750/solver-2692513-1277916750 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692513-1277916750.wbo -t 1800 -m 3800

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

MD5SUM BENCH= cbe4c3d53eb1efe1b988611d439eb8ee
RANDOM SEED=495558587

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30708664 kB
Buffers:        200088 kB
Cached:        1009568 kB
SwapCached:          0 kB
Active:        1376952 kB
Inactive:       719752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30708664 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6040 kB
Writeback:           0 kB
AnonPages:      886664 kB
Mapped:          16512 kB
Slab:            79196 kB
PageTables:       6564 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1032880 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= 74200 MiB
End job on node116 at 2010-06-30 19:22:32