Trace number 1870557

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 NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2OPT-14 1703.64 1704.08

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_4.opb
MD5SUM3258ae2375db1ca5a9ce9d305f00baf0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1703.64
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1228
Sum of products size (including duplicates)2456
Number of different products614
Sum of products size1228

Quality of the solution as a function of time


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

Solver Data 

0.00/0.01	c SCIP version 1.1.0.7
0.00/0.01	c LP-Solver Clp 1.8.2
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c read problem <HOME/instance-1870557-1245211853.opb>
0.00/0.01	c original problem has 714 variables (714 bin, 0 int, 0 impl, 0 cont) and 765 constraints
0.00/0.02	c start presolving problem
0.00/0.02	c presolving:
0.09/0.15	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 5012 impls, 100 clqs
0.09/0.17	c    (0.1s) probing: 101/714 (14.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17	c presolving (2 rounds):
0.09/0.17	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17	c  5012 implications, 100 cliques
0.09/0.17	c presolved problem has 714 variables (714 bin, 0 int, 0 impl, 0 cont) and 765 constraints
0.09/0.17	c     100 constraints of type <setppc>
0.09/0.17	c     614 constraints of type <and>
0.09/0.17	c       1 constraints of type <linear>
0.09/0.17	c      50 constraints of type <logicor>
0.09/0.17	c transformed objective value is always integral (scale: 1)
0.09/0.17	c Presolving Time: 0.08
0.09/0.17	c OPT-NLC
0.09/0.17	c -----------------------------------------------------------------------------------------------
0.09/0.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/memory = c 1620
0.09/0.17	c # maximal time in seconds to run
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/time = c 1791
0.09/0.17	c # frequency for displaying node information lines
0.09/0.17	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17	c display/freq = c 10000
0.09/0.17	c -----------------------------------------------------------------------------------------------
0.09/0.17	c start solving problem
0.09/0.17	c 
0.19/0.20	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.20	c   0.1s|     1 |     0 |   148 |3441k|   0 | 124 | 714 | 765 | 765 | 714 |1379 |   0 |   0 |   0 |-2.500000e+01 |      --      |    Inf 
0.19/0.20	o -1
0.19/0.20	c R 0.1s|     1 |     0 |   148 |3452k|   0 | 124 | 714 | 765 | 765 | 714 |1379 |   0 |   0 |   0 |-2.500000e+01 |-1.000000e+00 |  96.00%
0.39/0.40	c   0.3s|     1 |     0 |   630 |3512k|   0 | 351 | 714 | 765 | 765 | 714 |1383 |   4 |   0 |   0 |-2.500000e+01 |-1.000000e+00 |  96.00%
0.39/0.40	o -2
0.39/0.40	c R 0.3s|     1 |     0 |   630 |3520k|   0 | 351 | 714 | 765 | 765 | 714 |1383 |   4 |   0 |   0 |-2.500000e+01 |-2.000000e+00 |  92.00%
0.89/0.94	c   0.8s|     1 |     0 |   950 |3818k|   0 | 411 | 714 | 765 | 765 | 714 |1407 |  28 |   0 |   0 |-2.500000e+01 |-2.000000e+00 |  92.00%
0.89/0.94	o -3
0.89/0.94	c R 0.8s|     1 |     0 |   950 |3825k|   0 | 411 | 714 | 765 | 765 | 714 |1407 |  28 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
1.49/1.55	c   1.4s|     1 |     0 |  1059 |4839k|   0 | 414 | 714 | 765 | 765 | 714 |1417 |  38 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
2.10/2.13	c   2.0s|     1 |     0 |  1113 |5564k|   0 | 417 | 714 | 765 | 765 | 714 |1423 |  44 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
2.10/2.13	o -3
2.10/2.13	c s 2.0s|     1 |     0 |  1113 |5572k|   0 | 417 | 714 | 765 | 765 | 714 |1423 |  44 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
2.69/2.76	c   2.6s|     1 |     0 |  1218 |6544k|   0 | 418 | 714 | 765 | 765 | 714 |1431 |  52 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
3.29/3.35	c   3.2s|     1 |     0 |  1304 |7212k|   0 | 421 | 714 | 765 | 765 | 714 |1437 |  58 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
5.69/5.74	c   5.6s|     1 |     2 |  1304 |7221k|   0 | 421 | 714 | 765 | 765 | 714 |1437 |  58 |   0 |  26 |-2.500000e+01 |-3.000000e+00 |  88.00%
12.29/12.37	o -6
12.29/12.37	c R12.2s|    10 |     9 |  5915 |7267k|   9 |  91 | 714 | 765 | 629 | 714 | 739 | 471 |   0 | 278 |-2.500000e+01 |-6.000000e+00 |  76.00%
12.29/12.38	o -7
12.29/12.38	c R12.2s|    10 |     9 |  5922 |7277k|   9 |  81 | 714 | 765 | 629 | 714 | 741 | 473 |   0 | 278 |-2.500000e+01 |-7.000000e+00 |  72.00%
13.29/13.32	o -8
13.29/13.32	c R13.2s|    13 |    12 |  6097 |7291k|  12 |  67 | 714 | 765 | 589 | 714 | 748 | 482 |   0 | 357 |-2.500000e+01 |-8.000000e+00 |  68.00%
20.79/20.84	o -9
20.79/20.84	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
20.79/20.84	c R20.6s|    31 |    30 |  9248 |7341k|  18 |  15 | 714 | 765 | 305 | 714 | 755 | 633 |   0 | 774 |-2.500000e+01 |-9.000000e+00 |  64.00%
20.79/20.86	o -10
20.79/20.86	c *20.6s|    33 |    26 |  9264 |7354k|  19 |   - | 714 | 766 | 253 | 714 | 760 | 638 |   1 | 776 |-2.500000e+01 |-1.000000e+01 |  60.00%
21.89/21.98	o -11
21.89/21.98	c *21.8s|    38 |    23 |  9718 |7367k|  19 |   - | 714 | 766 | 119 | 714 | 714 | 661 |   1 | 849 |-2.500000e+01 |-1.100000e+01 |  56.00%
22.09/22.20	o -12
22.09/22.20	c *22.0s|    50 |    20 | 10048 |7371k|  24 |   - | 714 | 766 | 171 | 714 | 717 | 668 |   1 | 869 |-2.500000e+01 |-1.200000e+01 |  52.00%
39.97/40.08	o -13
39.97/40.08	c p39.8s|   272 |   111 | 55916 |7634k|  31 |   - | 714 | 768 |  80 | 714 | 911 |2724 |   3 |1084 |-2.461603e+01 |-1.300000e+01 |  47.19%
361.08/361.27	c   359s| 10000 |  2099 |  1129k|  14M|  53 |   - | 714 | 859 | 225 | 714 | 875 |  25k| 135 |3914 |-1.880478e+01 |-1.300000e+01 |  30.87%
528.43/528.62	o -14
528.43/528.62	c * 525s| 18680 |  1423 |  1784k|  11M|  53 |   - | 714 | 894 | 151 | 714 | 891 |  36k| 200 |5197 |-1.834986e+01 |-1.400000e+01 |  23.71%
563.33/563.54	c   560s| 20000 |  1463 |  1908k|  11M|  53 |   - | 714 | 892 | 352 | 714 | 880 |  37k| 202 |5520 |-1.830423e+01 |-1.400000e+01 |  23.51%
796.87/797.17	c   792s| 30000 |  1739 |  2843k|  14M|  53 |   - | 714 | 889 | 374 | 714 | 875 |  51k| 212 |6618 |-1.788257e+01 |-1.400000e+01 |  21.71%
1029.62/1029.97	c  1024s| 40000 |  1727 |  3752k|  14M|  53 | 142 | 714 | 887 | 333 | 714 | 881 |  62k| 224 |7949 |-1.757766e+01 |-1.400000e+01 |  20.35%
1253.06/1253.48	c  1246s| 50000 |  1595 |  4642k|  15M|  53 | 136 | 714 | 883 | 374 | 714 | 888 |  73k| 231 |9194 |-1.723014e+01 |-1.400000e+01 |  18.75%
1464.21/1464.61	c  1456s| 60000 |  1213 |  5506k|  14M|  53 | 169 | 714 | 882 | 571 | 714 | 797 |  82k| 239 |  10k|-1.694186e+01 |-1.400000e+01 |  17.36%
1669.46/1669.91	c  1660s| 70000 |   411 |  6363k|  10M|  53 | 168 | 714 | 878 | 441 | 714 | 870 |  90k| 244 |  11k|-1.639312e+01 |-1.400000e+01 |  14.60%
1703.55/1704.05	c 
1703.55/1704.05	c SCIP Status        : problem is solved [optimal solution found]
1703.55/1704.05	c Solving Time (sec) : 1693.76
1703.55/1704.05	c Solving Nodes      : 71795
1703.55/1704.05	c Primal Bound       : -1.40000000000000e+01 (14 solutions)
1703.55/1704.05	c Dual Bound         : -1.40000000000000e+01
1703.55/1704.05	c Gap                : 0.00 %
1703.55/1704.06	c NODE         71795
1703.55/1704.06	c DUAL BOUND   -14
1703.55/1704.06	c PRIMAL BOUND -14
1703.55/1704.06	c GAP          0
1703.55/1704.06	s OPTIMUM FOUND
1703.55/1704.06	v x85 -x63 -x78 -x89 -x97 x60 -x87 -x72 -x56 -x82 x99 -x94 x93 -x91 -x61 -x57 x81 -x71 -x83 x73 -x98 x90 -x74 -x70 -x66 -x62 -x80 
1703.55/1704.06	v -x69 -x68 -x100 -x92 -x53 -x54 -x65 -x55 -x51 x96 x67 -x59 -x58 x95 -x86 -x79 x76 -x88 x64 x77 -x75 x84 -x52 -x50 -x49 -x48 
1703.55/1704.06	v -x47 -x46 -x45 x44 -x43 x42 -x41 -x40 -x39 x38 x37 x36 -x35 -x34 x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 x21 
1703.55/1704.06	v x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 x2 -x1 
1703.55/1704.06	c SCIP Status        : problem is solved [optimal solution found]
1703.55/1704.06	c Solving Time       :    1693.76
1703.55/1704.06	c Original Problem   :
1703.55/1704.06	c   Problem name     : HOME/instance-1870557-1245211853.opb
1703.55/1704.06	c   Variables        : 714 (714 binary, 0 integer, 0 implicit integer, 0 continuous)
1703.55/1704.06	c   Constraints      : 765 initial, 765 maximal
1703.55/1704.06	c Presolved Problem  :
1703.55/1704.06	c   Problem name     : t_HOME/instance-1870557-1245211853.opb
1703.55/1704.06	c   Variables        : 714 (714 binary, 0 integer, 0 implicit integer, 0 continuous)
1703.55/1704.06	c   Constraints      : 765 initial, 894 maximal
1703.55/1704.06	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1703.55/1704.06	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1703.55/1704.06	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1703.55/1704.06	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1703.55/1704.06	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1703.55/1704.06	c   implics          :       0.00          0          0          0          0          0          0          0          0
1703.55/1704.06	c   probing          :       0.02          0          0          0          0          0          0          0          0
1703.55/1704.06	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1703.55/1704.06	c   and              :       0.05          0          0          0          0          0          0          0          0
1703.55/1704.06	c   linear           :       0.01          0          0          0          0          0          0          0          0
1703.55/1704.06	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1703.55/1704.06	c   root node        :          -         32          -          -         32          -          -          -          -
1703.55/1704.06	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1703.55/1704.06	c   integral         :          0          0          0      37778          0        113       2568          0          0      73154
1703.55/1704.06	c   setppc           :        100          6     243386          4          0        119     144859          0          0          0
1703.55/1704.06	c   and              :        614      68839     243267          4          0         96    1947545      91512          0          0
1703.55/1704.06	c   linear           :          1          6     243171          4          0          4          0          0          0          0
1703.55/1704.06	c   logicor          :         50+         6      69257          4          0          0      64407          0          0          0
1703.55/1704.06	c   countsols        :          0          0          0          4          0          0          0          0          0          0
1703.55/1704.06	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1703.55/1704.06	c   integral         :     199.98       0.00       0.00     199.98       0.00
1703.55/1704.06	c   setppc           :       1.25       0.00       1.25       0.00       0.00
1703.55/1704.06	c   and              :      21.11      12.31       8.80       0.00       0.00
1703.55/1704.06	c   linear           :       2.50       0.00       2.50       0.00       0.00
1703.55/1704.06	c   logicor          :       1.33       0.00       1.33       0.00       0.00
1703.55/1704.06	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1703.55/1704.06	c Propagators        :       Time      Calls    Cutoffs    DomReds
1703.55/1704.06	c   rootredcost      :       0.20          9          0          0
1703.55/1704.06	c   pseudoobj        :       1.42     244211          3         76
1703.55/1704.06	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1703.55/1704.06	c   propagation      :       0.01        222        221        271       10.6          0        0.0          -
1703.55/1704.06	c   infeasible LP    :       3.40      35860          0          0        0.0          0        0.0          0
1703.55/1704.06	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1703.55/1704.06	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1703.55/1704.06	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1703.55/1704.06	c   applied globally :          -          -          -        245        7.1          -          -          -
1703.55/1704.06	c   applied locally  :          -          -          -          0        0.0          -          -          -
1703.55/1704.06	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1703.55/1704.06	c   cut pool         :       0.00          5          -          -          9          -    (maximal pool size: 743)
1703.55/1704.06	c   redcost          :       3.25      73206          0     320867          0          0
1703.55/1704.06	c   impliedbounds    :       0.00          6          0          0         56          0
1703.55/1704.06	c   intobj           :       0.00          0          0          0          0          0
1703.55/1704.06	c   gomory           :       1.29          6          0          0        121          0
1703.55/1704.06	c   strongcg         :       1.11          6          0          0       1276          0
1703.55/1704.06	c   cmir             :       0.12          6          0          0         11          0
1703.55/1704.06	c   flowcover        :       0.11          6          0          0         22          0
1703.55/1704.06	c   clique           :       0.05          6          0          0         37          0
1703.55/1704.06	c   zerohalf         :       0.00          0          0          0          0          0
1703.55/1704.06	c   mcf              :       0.00          1          0          0          0          0
1703.55/1704.06	c Pricers            :       Time      Calls       Vars
1703.55/1704.06	c   problem variables:       0.00          0          0
1703.55/1704.06	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1703.55/1704.06	c   relpscost        :     199.87      37774        113       2568          0          0      73154
1703.55/1704.06	c   pscost           :       0.00          0          0          0          0          0          0
1703.55/1704.06	c   inference        :       0.00          0          0          0          0          0          0
1703.55/1704.06	c   mostinf          :       0.00          0          0          0          0          0          0
1703.55/1704.06	c   leastinf         :       0.00          0          0          0          0          0          0
1703.55/1704.06	c   fullstrong       :       0.00          0          0          0          0          0          0
1703.55/1704.06	c   allfullstrong    :       0.00          0          0          0          0          0          0
1703.55/1704.06	c   random           :       0.00          0          0          0          0          0          0
1703.55/1704.06	c Primal Heuristics  :       Time      Calls      Found
1703.55/1704.06	c   LP solutions     :       0.01          -          4
1703.55/1704.06	c   pseudo solutions :       0.00          -          0
1703.55/1704.06	c   feaspump         :       0.01          0          0
1703.55/1704.06	c   oneopt           :       0.08          9          0
1703.55/1704.06	c   crossover        :       0.45         15          0
1703.55/1704.06	c   veclendiving     :       9.98         66          0
1703.55/1704.06	c   linesearchdiving :       6.50         67          0
1703.55/1704.06	c   guideddiving     :      11.59         67          0
1703.55/1704.06	c   coefdiving       :       8.41         67          0
1703.55/1704.06	c   pscostdiving     :       8.00         67          1
1703.55/1704.06	c   fracdiving       :      10.35         67          0
1703.55/1704.06	c   rootsoldiving    :       2.17         34          0
1703.55/1704.06	c   objpscostdiving  :      11.28         34          0
1703.55/1704.06	c   simplerounding   :       0.15          0          0
1703.55/1704.06	c   rounding         :      13.03      28350          7
1703.55/1704.06	c   shifting         :       3.44       3509          2
1703.55/1704.06	c   intshifting      :       0.00          0          0
1703.55/1704.06	c   fixandinfer      :       0.00          0          0
1703.55/1704.06	c   intdiving        :       0.00          0          0
1703.55/1704.06	c   actconsdiving    :       0.00          0          0
1703.55/1704.06	c   octane           :       0.00          0          0
1703.55/1704.06	c   rens             :       0.00          0          0
1703.55/1704.06	c   rins             :       0.00          0          0
1703.55/1704.06	c   localbranching   :       0.00          0          0
1703.55/1704.06	c   mutation         :       0.00          0          0
1703.55/1704.06	c   dins             :       0.00          0          0
1703.55/1704.06	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1703.55/1704.06	c   primal LP        :     104.89          0          0       0.00       0.00
1703.55/1704.06	c   dual LP          :    1214.54     101228    6282340      62.06    5172.61
1703.55/1704.06	c   barrier LP       :       0.00          0          0       0.00          -
1703.55/1704.06	c   diving/probing LP:      62.35      17408     237166      13.62    3803.79
1703.55/1704.06	c   strong branching :     195.51      11160    1168745     104.73    5977.93
1703.55/1704.06	c     (at root node) :          -         26       5234     201.31          -
1703.55/1704.06	c   conflict analysis:       0.00          0          0       0.00          -
1703.55/1704.06	c B&B Tree           :
1703.55/1704.06	c   number of runs   :          1
1703.55/1704.06	c   nodes            :      71795
1703.55/1704.06	c   nodes (total)    :      71795
1703.55/1704.06	c   nodes left       :          0
1703.55/1704.06	c   max depth        :         53
1703.55/1704.06	c   max depth (total):         53
1703.55/1704.06	c   backtracks       :      10753 (15.0%)
1703.55/1704.06	c   delayed cutoffs  :          1
1703.55/1704.06	c   repropagations   :       3521 (1849 domain reductions, 0 cutoffs)
1703.55/1704.06	c   avg switch length:       5.59
1703.55/1704.06	c   switching time   :     116.25
1703.55/1704.06	c Solution           :
1703.55/1704.06	c   Solutions found  :         14 (13 improvements)
1703.55/1704.06	c   Primal Bound     : -1.40000000000000e+01   (in run 1, after 18680 nodes, 525.23 seconds, depth 26, found by <relaxation>)
1703.55/1704.06	c   Dual Bound       : -1.40000000000000e+01
1703.55/1704.06	c   Gap              :       0.00 %
1703.55/1704.06	c   Root Dual Bound  : -2.50000000000000e+01
1703.55/1704.08	c Time complete: 1703.64.

Verifier Data 

OK	-14

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 8066
/proc/meminfo: memFree=1820264/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=5812 CPUtime=0
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 188786281 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/8066/statm: 1453 502 332 1256 0 192 0

[startup+0.0111961 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 8066
/proc/meminfo: memFree=1820264/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=10396 CPUtime=0
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 1564 0 0 0 0 0 0 0 18 0 1 0 188786281 10645504 1548 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/8066/statm: 2599 1548 378 1256 0 1338 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10396

[startup+0.101203 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 8066
/proc/meminfo: memFree=1820264/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=15212 CPUtime=0.09
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 2937 0 0 0 4 5 0 0 18 0 1 0 188786281 15577088 2567 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 3803 2567 446 1256 0 2542 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15212

[startup+0.301222 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 8066
/proc/meminfo: memFree=1820264/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=22092 CPUtime=0.29
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 4444 0 0 0 20 9 0 0 19 0 1 0 188786281 22622208 4074 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 5523 4074 665 1256 0 4262 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22092

[startup+0.701258 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 8066
/proc/meminfo: memFree=1820264/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=22424 CPUtime=0.69
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 4691 0 0 0 60 9 0 0 22 0 1 0 188786281 22962176 4321 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 5606 4321 665 1256 0 4345 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22424

[startup+1.50133 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1802848/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=27156 CPUtime=1.49
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 5992 0 0 0 140 9 0 0 25 0 1 0 188786281 27807744 5584 1992294400 4194304 9342243 548682068736 18446744073709551615 5566428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 6789 5584 665 1256 0 5528 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27156

[startup+3.10248 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1800224/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=30564 CPUtime=3.09
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 6634 0 0 0 299 10 0 0 25 0 1 0 188786281 31297536 6226 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 7641 6226 665 1256 0 6380 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30564

[startup+6.30178 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1796704/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=31312 CPUtime=6.29
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 7642 0 0 0 617 12 0 0 25 0 1 0 188786281 32063488 6405 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 7828 6405 685 1256 0 6567 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31312

[startup+12.7014 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1796904/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=31312 CPUtime=12.69
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 7707 0 0 0 1254 15 0 0 25 0 1 0 188786281 32063488 6470 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 7828 6470 687 1256 0 6567 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31312

[startup+25.5016 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1796200/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=32452 CPUtime=25.48
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 7904 0 0 0 2527 21 0 0 25 0 1 0 188786281 33230848 6667 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 8113 6667 699 1256 0 6852 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32452

[startup+51.1019 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1795432/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=31040 CPUtime=51.05
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 10329 0 0 0 5072 33 0 0 25 0 1 0 188786281 31784960 6682 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 7760 6682 710 1256 0 6499 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 31040

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1795368/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=32432 CPUtime=102.24
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 16835 0 0 0 10166 58 0 0 25 0 1 0 188786281 33210368 6907 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 8108 6907 713 1256 0 6847 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 32432

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1793768/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=35264 CPUtime=162.23
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 31828 0 0 0 16128 95 0 0 25 0 1 0 188786281 36110336 7381 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 8816 7381 713 1256 0 7555 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 35264

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1790056/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=37916 CPUtime=222.21
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 43447 0 0 0 22089 132 0 0 25 0 1 0 188786281 38825984 8225 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 9479 8225 713 1256 0 8218 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 37916

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1787432/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=40132 CPUtime=282.2
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 47458 0 0 0 28054 166 0 0 25 0 1 0 188786281 41095168 8881 1992294400 4194304 9342243 548682068736 18446744073709551615 6911015 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 10033 8881 713 1256 0 8772 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 40132

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1786600/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=42472 CPUtime=342.18
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 54203 0 0 0 34013 205 0 0 25 0 1 0 188786281 43491328 9099 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 10618 9099 713 1256 0 9357 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 42472

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1785064/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=43400 CPUtime=402.17
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 61011 0 0 0 39976 241 0 0 25 0 1 0 188786281 44441600 9524 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 10850 9524 713 1256 0 9589 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 43400

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1783336/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=44792 CPUtime=462.15
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 74931 0 0 0 45932 283 0 0 25 0 1 0 188786281 45867008 9911 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 11198 9911 713 1256 0 9937 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 44792

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1781096/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=47400 CPUtime=522.14
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 77080 0 0 0 51896 318 0 0 25 0 1 0 188786281 48537600 10456 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 11850 10456 713 1256 0 10589 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 47400

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1780264/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=47648 CPUtime=582.12
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 82992 0 0 0 57855 357 0 0 25 0 1 0 188786281 48791552 10655 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 11912 10655 713 1256 0 10651 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 47648

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1780072/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=47856 CPUtime=642.12
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 84907 0 0 0 63823 389 0 0 25 0 1 0 188786281 49004544 10694 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 11964 10694 713 1256 0 10703 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 47856

[startup+702.301 s]

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

/proc/meminfo: memFree=1778152/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=50468 CPUtime=1122
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 92521 0 0 0 111547 653 0 0 25 0 1 0 188786281 51679232 11149 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12617 11149 713 1256 0 11356 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 50468

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1777128/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=49284 CPUtime=1181.98
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 92863 0 0 0 117515 683 0 0 25 0 1 0 188786281 50466816 11173 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12321 11173 713 1256 0 11060 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 49284

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1777768/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=50688 CPUtime=1241.96
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 94337 0 0 0 123479 717 0 0 25 0 1 0 188786281 51904512 11268 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12672 11268 713 1256 0 11411 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 50688

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1776872/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=50708 CPUtime=1301.95
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 94898 0 0 0 129446 749 0 0 25 0 1 0 188786281 51924992 11439 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12677 11439 713 1256 0 11416 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 50708

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1777576/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=50632 CPUtime=1361.93
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 97181 0 0 0 135410 783 0 0 25 0 1 0 188786281 51847168 11268 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12658 11268 713 1256 0 11397 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 50632

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8067
/proc/meminfo: memFree=1777576/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=50648 CPUtime=1421.93
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 102089 0 0 0 141374 819 0 0 25 0 1 0 188786281 51863552 11264 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12662 11264 713 1256 0 11401 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 50648

[startup+1482.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 8067
/proc/meminfo: memFree=1777256/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=50312 CPUtime=1481.91
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 107316 0 0 0 147335 856 0 0 25 0 1 0 188786281 51519488 11338 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12578 11338 713 1256 0 11317 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 50312

[startup+1542.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 8067
/proc/meminfo: memFree=1777320/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=50624 CPUtime=1541.89
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 108826 0 0 0 153301 888 0 0 25 0 1 0 188786281 51838976 11324 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12656 11324 713 1256 0 11395 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 50624

[startup+1602.3 s]
/proc/loadavg: 1.11 1.04 1.01 2/65 8067
/proc/meminfo: memFree=1777576/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=49740 CPUtime=1601.88
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 112523 0 0 0 159265 923 0 0 25 0 1 0 188786281 50933760 11281 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12435 11281 713 1256 0 11174 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 49740

[startup+1662.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/65 8067
/proc/meminfo: memFree=1777256/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=50584 CPUtime=1661.86
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 119114 0 0 0 165225 961 0 0 25 0 1 0 188786281 51798016 11332 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12646 11332 713 1256 0 11385 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 50584

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

[startup+1663.9 s]
/proc/loadavg: 1.04 1.03 1.00 2/65 8067
/proc/meminfo: memFree=1777128/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=50584 CPUtime=1663.46
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 119144 0 0 0 165384 962 0 0 25 0 1 0 188786281 51798016 11362 1992294400 4194304 9342243 548682068736 18446744073709551615 6974259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12646 11362 713 1256 0 11385 0
Current children cumulated CPU time (s) 1663.46
Current children cumulated vsize (KiB) 50584

[startup+1689.5 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 8067
/proc/meminfo: memFree=1777192/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=50644 CPUtime=1689.06
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 121248 0 0 0 167929 977 0 0 25 0 1 0 188786281 51859456 11338 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12661 11338 713 1256 0 11400 0
Current children cumulated CPU time (s) 1689.06
Current children cumulated vsize (KiB) 50644

[startup+1695.9 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 8067
/proc/meminfo: memFree=1777192/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=50644 CPUtime=1695.45
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 121258 0 0 0 168566 979 0 0 25 0 1 0 188786281 51859456 11348 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12661 11348 713 1256 0 11400 0
Current children cumulated CPU time (s) 1695.45
Current children cumulated vsize (KiB) 50644

[startup+1699.1 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 8067
/proc/meminfo: memFree=1777128/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=50644 CPUtime=1698.66
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 121260 0 0 0 168884 982 0 0 25 0 1 0 188786281 51859456 11350 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12661 11350 713 1256 0 11400 0
Current children cumulated CPU time (s) 1698.66
Current children cumulated vsize (KiB) 50644

[startup+1702.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 8067
/proc/meminfo: memFree=1777000/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=50644 CPUtime=1701.86
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 121307 0 0 0 169202 984 0 0 25 0 1 0 188786281 51859456 11397 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12661 11397 713 1256 0 11400 0
Current children cumulated CPU time (s) 1701.86
Current children cumulated vsize (KiB) 50644

[startup+1703.1 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 8067
/proc/meminfo: memFree=1777000/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=50644 CPUtime=1702.65
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 121307 0 0 0 169281 984 0 0 25 0 1 0 188786281 51859456 11397 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12661 11397 713 1256 0 11400 0
Current children cumulated CPU time (s) 1702.65
Current children cumulated vsize (KiB) 50644

[startup+1703.5 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 8067
/proc/meminfo: memFree=1777000/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=50644 CPUtime=1703.05
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 121307 0 0 0 169321 984 0 0 25 0 1 0 188786281 51859456 11397 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12661 11397 713 1256 0 11400 0
Current children cumulated CPU time (s) 1703.05
Current children cumulated vsize (KiB) 50644

[startup+1703.91 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 8067
/proc/meminfo: memFree=1777000/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=50644 CPUtime=1703.46
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 121307 0 0 0 169362 984 0 0 25 0 1 0 188786281 51859456 11397 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12661 11397 713 1256 0 11400 0
Current children cumulated CPU time (s) 1703.46
Current children cumulated vsize (KiB) 50644

[startup+1704 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 8067
/proc/meminfo: memFree=1777000/2055920 swapFree=4191900/4192956
[pid=8066] ppid=8064 vsize=50644 CPUtime=1703.55
/proc/8066/stat : 8066 (pbscip.linux.x8) R 8064 8066 7882 0 -1 4194304 121307 0 0 0 169371 984 0 0 25 0 1 0 188786281 51859456 11397 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8066/statm: 12661 11397 713 1256 0 11400 0
Current children cumulated CPU time (s) 1703.55
Current children cumulated vsize (KiB) 50644

Child status: 0
Real time (s): 1704.08
CPU time (s): 1703.64
CPU user time (s): 1693.79
CPU system time (s): 9.8505
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 53936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1693.79
system time used= 9.8505
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121311
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= 2
involuntary context switches= 2549

runsolver used 1.25381 second user time and 3.55246 second system time

The end

Launcher Data 

Begin job on node14 at 2009-06-17 06:10:53
IDJOB=1870557
IDBENCH=48277
IDSOLVER=684
FILE ID=node14/1870557-1245211853
PBS_JOBID= 9368370
Free space on /tmp= 66376 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_4.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870557-1245211853/watcher-1870557-1245211853 -o /tmp/evaluation-result-1870557-1245211853/solver-1870557-1245211853 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870557-1245211853.opb

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

MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0
RANDOM SEED=1332590818

node14.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1820744 kB
Buffers:         54780 kB
Cached:         124488 kB
SwapCached:        388 kB
Active:          90652 kB
Inactive:       102084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1820744 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           11744 kB
Writeback:           0 kB
Mapped:          21800 kB
Slab:            28372 kB
Committed_AS:   194776 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66364 MiB
End job on node14 at 2009-06-17 06:39:18