Trace number 2705239

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
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver? 1790.58 1790.53

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9028_2-unsat--soft-66-100-0.wbo
MD5SUMc93ff145655ec29711075f2ee972c9ae
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark0.12698
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables13832
Total number of constraints45398
Number of soft constraints15436
Number of constraints which are clauses45098
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints300
Minimum length of a constraint1
Maximum length of a constraint73
Top cost 781630
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 781629
Biggest number in a constraint 68
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 479
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705239-1278576542.wbo>
0.29/0.37	c original problem has 44704 variables (29268 bin, 0 int, 15436 impl, 0 cont) and 60835 constraints
0.29/0.37	c problem read
0.29/0.37	c presolving settings loaded
1.00/1.08	c presolving:
1.39/1.41	c (round 1) 1548 del vars, 5010 del conss, 961 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 594130 impls, 0 clqs
1.69/1.70	c (round 2) 4535 del vars, 14734 del conss, 2285 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 608821 impls, 0 clqs
1.99/2.04	c (round 3) 9890 del vars, 23974 del conss, 3282 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 621843 impls, 0 clqs
2.20/2.28	c (round 4) 15865 del vars, 30216 del conss, 4059 chg bounds, 11 chg sides, 14 chg coeffs, 0 upgd conss, 631846 impls, 0 clqs
2.39/2.43	c (round 5) 20282 del vars, 34651 del conss, 4642 chg bounds, 12 chg sides, 15 chg coeffs, 0 upgd conss, 635229 impls, 0 clqs
2.49/2.54	c (round 6) 23348 del vars, 37762 del conss, 5036 chg bounds, 21 chg sides, 27 chg coeffs, 0 upgd conss, 637189 impls, 0 clqs
2.59/2.61	c (round 7) 25456 del vars, 39763 del conss, 5245 chg bounds, 26 chg sides, 34 chg coeffs, 0 upgd conss, 638452 impls, 0 clqs
2.59/2.65	c (round 8) 26903 del vars, 41057 del conss, 5404 chg bounds, 26 chg sides, 34 chg coeffs, 0 upgd conss, 639233 impls, 0 clqs
2.59/2.69	c (round 9) 27820 del vars, 41888 del conss, 5477 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 639709 impls, 0 clqs
2.69/2.71	c (round 10) 28404 del vars, 42301 del conss, 5508 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 639765 impls, 0 clqs
2.69/2.72	c (round 11) 28699 del vars, 42477 del conss, 5525 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 639767 impls, 0 clqs
2.69/2.73	c (round 12) 28836 del vars, 42557 del conss, 5534 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 639779 impls, 0 clqs
2.69/2.73	c (round 13) 28912 del vars, 42621 del conss, 5549 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 639791 impls, 0 clqs
2.69/2.74	c (round 14) 28963 del vars, 42693 del conss, 5559 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 639809 impls, 0 clqs
2.69/2.75	c (round 15) 29013 del vars, 42746 del conss, 5563 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 639809 impls, 0 clqs
2.69/2.76	c (round 16) 29057 del vars, 42781 del conss, 5568 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 639809 impls, 0 clqs
2.69/2.76	c (round 17) 29082 del vars, 42800 del conss, 5571 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 639809 impls, 0 clqs
2.69/2.77	c (round 18) 29095 del vars, 42814 del conss, 5573 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 639809 impls, 0 clqs
2.69/2.77	c (round 19) 29106 del vars, 42825 del conss, 5575 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 639809 impls, 0 clqs
2.69/2.78	c (round 20) 29113 del vars, 42831 del conss, 5575 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 639809 impls, 0 clqs
2.69/2.78	c (round 21) 29120 del vars, 42834 del conss, 5575 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 639809 impls, 0 clqs
2.79/2.81	c (round 22) 29123 del vars, 42835 del conss, 10830 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 639809 impls, 0 clqs
2.79/2.82	c (round 23) 29159 del vars, 42870 del conss, 10830 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 639929 impls, 0 clqs
2.89/2.93	c (round 24) 29159 del vars, 42870 del conss, 10830 chg bounds, 29 chg sides, 38 chg coeffs, 8296 upgd conss, 650474 impls, 0 clqs
2.89/2.97	c (round 25) 29159 del vars, 42871 del conss, 10830 chg bounds, 52 chg sides, 82 chg coeffs, 8296 upgd conss, 658854 impls, 0 clqs
2.99/3.00	c (round 26) 29159 del vars, 42871 del conss, 10830 chg bounds, 55 chg sides, 90 chg coeffs, 8296 upgd conss, 658854 impls, 0 clqs
2.99/3.03	c (round 27) 29159 del vars, 42871 del conss, 10830 chg bounds, 61 chg sides, 101 chg coeffs, 8296 upgd conss, 658854 impls, 0 clqs
5.29/5.36	c    (5.0s) probing: 1000/10290 (9.7%) - 0 fixings, 0 aggregations, 15448 implications, 0 bound changes
6.99/7.00	c    (6.6s) probing: 2000/10290 (19.4%) - 0 fixings, 0 aggregations, 17072 implications, 0 bound changes
6.99/7.01	c    (6.6s) probing: 2001/10290 (19.4%) - 0 fixings, 0 aggregations, 17072 implications, 0 bound changes
6.99/7.01	c    (6.6s) probing aborted: 2000/2000 successive useless probings
6.99/7.01	c presolving (28 rounds):
6.99/7.01	c  29159 deleted vars, 42871 deleted constraints, 10830 tightened bounds, 0 added holes, 61 changed sides, 101 changed coefficients
6.99/7.01	c  728978 implications, 0 cliques
6.99/7.01	c presolved problem has 15545 variables (10290 bin, 0 int, 5255 impl, 0 cont) and 17976 constraints
6.99/7.01	c     855 constraints of type <varbound>
6.99/7.01	c     181 constraints of type <knapsack>
6.99/7.01	c    6100 constraints of type <setppc>
6.99/7.01	c    4414 constraints of type <linear>
6.99/7.01	c    5255 constraints of type <indicator>
6.99/7.01	c    1171 constraints of type <logicor>
6.99/7.01	c transformed objective value is always integral (scale: 1)
6.99/7.01	c Presolving Time: 6.49
6.99/7.01	c - non default parameters ----------------------------------------------------------------------
6.99/7.01	c # SCIP version 1.2.1.3
6.99/7.01	c 
6.99/7.01	c # frequency for displaying node information lines
6.99/7.01	c # [type: int, range: [-1,2147483647], default: 100]
6.99/7.01	c display/freq = 10000
6.99/7.01	c 
6.99/7.01	c # maximal time in seconds to run
6.99/7.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.99/7.01	c limits/time = 1789.64
6.99/7.01	c 
6.99/7.01	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.99/7.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.99/7.01	c limits/memory = 3420
6.99/7.01	c 
6.99/7.01	c # default clock type (1: CPU user seconds, 2: wall clock time)
6.99/7.01	c # [type: int, range: [1,2], default: 1]
6.99/7.01	c timing/clocktype = 2
6.99/7.01	c 
6.99/7.01	c # should presolving try to simplify inequalities
6.99/7.01	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.99/7.01	c constraints/linear/simplifyinequalities = TRUE
6.99/7.01	c 
6.99/7.01	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
6.99/7.01	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.99/7.01	c constraints/indicator/addCouplingCons = TRUE
6.99/7.01	c 
6.99/7.01	c # should presolving try to simplify knapsacks
6.99/7.01	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.99/7.01	c constraints/knapsack/simplifyinequalities = TRUE
6.99/7.01	c 
6.99/7.01	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
6.99/7.01	c # [type: int, range: [-1,2147483647], default: -1]
6.99/7.01	c separating/rapidlearning/freq = 0
6.99/7.01	c 
6.99/7.01	c -----------------------------------------------------------------------------------------------
6.99/7.01	c start solving
6.99/7.01	c 
6.99/7.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.99/7.06	c   6.7s|     1 |     0 |    29 |     - | 143M|   0 |   0 |  15k|  17k|  15k|7490 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.99/7.09	c   6.7s|     1 |     0 |   743 |     - | 143M|   0 |   2 |  15k|  17k|  15k|8144 | 654 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.60/7.68	c   7.3s|     1 |     0 |   857 |     - | 143M|   0 |   0 |  15k|  17k|  15k|8238 | 748 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.60/7.69	c   7.3s|     1 |     0 |   868 |     - | 143M|   0 |   0 |  15k|  17k|  15k|8251 | 761 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.70/7.71	c   7.3s|     1 |     0 |   869 |     - | 143M|   0 |   0 |  15k|  17k|  15k|8252 | 762 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.70/7.72	c   7.4s|     1 |     2 |   869 |     - | 143M|   0 |   0 |  15k|  17k|  15k|8252 | 762 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
219.29/219.32	c   219s| 10000 | 10001 | 45956 |   4.5 | 219M| 107 |   0 |  15k|  17k|  15k|8478 |  16k|   0 |5011 | 0.000000e+00 |      --      |    Inf 
379.31/379.37	c   379s| 20000 | 20001 | 57594 |   2.8 | 293M| 121 |   0 |  15k|  17k|  15k|8539 |  22k|   0 |5382 | 0.000000e+00 |      --      |    Inf 
536.31/536.35	c   536s| 30000 | 30001 | 67277 |   2.2 | 367M| 121 |   0 |  15k|  17k|  15k|8513 |  26k|   0 |5589 | 0.000000e+00 |      --      |    Inf 
691.91/691.93	c   692s| 40000 | 40001 | 75144 |   1.9 | 441M| 121 |   0 |  15k|  17k|  15k|8491 |  30k|   0 |5741 | 0.000000e+00 |      --      |    Inf 
843.41/843.40	c   843s| 50000 | 50001 | 81520 |   1.6 | 513M| 125 |   0 |  15k|  17k|  15k|8471 |  33k|   0 |5831 | 0.000000e+00 |      --      |    Inf 
994.62/994.65	c   994s| 60000 | 60001 | 90979 |   1.5 | 586M| 125 |   0 |  15k|  17k|  15k|8306 |  36k|   0 |6176 | 0.000000e+00 |      --      |    Inf 
1143.53/1143.53	c  1143s| 70000 | 70001 | 99665 |   1.4 | 659M| 125 |   0 |  15k|  17k|  15k|8490 |  38k|   0 |6358 | 0.000000e+00 |      --      |    Inf 
1294.82/1294.80	c  1294s| 80000 | 80001 |107524 |   1.3 | 731M| 125 |   0 |  15k|  17k|  15k|8408 |  40k|   0 |6532 | 0.000000e+00 |      --      |    Inf 
1445.24/1445.29	c  1445s| 90000 | 90001 |116836 |   1.3 | 804M| 125 |   0 |  15k|  17k|  15k|8405 |  43k|   0 |6596 | 0.000000e+00 |      --      |    Inf 
1593.73/1593.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1593.73/1593.75	c  1593s|100000 |100001 |119281 |   1.2 | 876M| 125 |   0 |  15k|  17k|  15k|8420 |  44k|   0 |6607 | 0.000000e+00 |      --      |    Inf 
1743.34/1743.34	c  1743s|110000 |110001 |125797 |   1.1 | 948M| 125 |   0 |  15k|  17k|  15k|8415 |  47k|   0 |6686 | 0.000000e+00 |      --      |    Inf 
1790.04/1790.01	c 
1790.04/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.01	c Solving Time (sec) : 1789.64
1790.04/1790.01	c Solving Nodes      : 113180
1790.04/1790.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.04/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.04/1790.01	c Gap                : infinite
1790.04/1790.01	s UNKNOWN
1790.04/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.01	c Solving Time       :    1789.64
1790.04/1790.01	c Original Problem   :
1790.04/1790.01	c   Problem name     : HOME/instance-2705239-1278576542.wbo
1790.04/1790.01	c   Variables        : 44704 (29268 binary, 0 integer, 15436 implicit integer, 0 continuous)
1790.04/1790.01	c   Constraints      : 60835 initial, 60835 maximal
1790.04/1790.01	c Presolved Problem  :
1790.04/1790.01	c   Problem name     : t_HOME/instance-2705239-1278576542.wbo
1790.04/1790.01	c   Variables        : 15545 (10290 binary, 0 integer, 5255 implicit integer, 0 continuous)
1790.04/1790.01	c   Constraints      : 17976 initial, 17976 maximal
1790.04/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.04/1790.01	c   trivial          :       0.04        181          0          0          0          0          0          0          0
1790.04/1790.01	c   dualfix          :       0.07      21625          0          0          0          0          0          0          0
1790.04/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   implics          :       0.03          0          0          0          0          0          0          0          0
1790.04/1790.01	c   probing          :       3.96          0          0          0          0          0          0          0          0
1790.04/1790.01	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   knapsack         :       0.02          0          0          0          0          0          1         32         63
1790.04/1790.01	c   setppc           :       0.02          0          0          0          0          0          0          0          0
1790.04/1790.01	c   linear           :       1.20       5414       1939          0      10830          0      32689         29         38
1790.04/1790.01	c   indicator        :       0.52          0          0          0          0          0      10181          0          0
1790.04/1790.01	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1790.04/1790.01	c   root node        :          -          0          -          -          0          -          -          -          -
1790.04/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.01	c   integral         :          0          0          0     119102          0          0          1          0          0       7040
1790.04/1790.01	c   varbound         :        855          5     494975     115581          1          0      78348       2660          0          0
1790.04/1790.01	c   knapsack         :        181          5     494975     113375          1          0       4613          0          0          0
1790.04/1790.01	c   setppc           :       6100          5     494975     113375          1          0    1363025          0          0          0
1790.04/1790.01	c   linear           :       4414          5     494975     113375          1          0      14117      44534          0          0
1790.04/1790.01	c   indicator        :       5255          0     494975     115581          1          0      94215          0          0          0
1790.04/1790.01	c   logicor          :       1171          5     187524     109659          1          0      45021          0          0          0
1790.04/1790.01	c   countsols        :          0          0          0     109659          1          0          0          0          0          0
1790.04/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.04/1790.01	c   integral         :      52.20       0.00       0.00      52.20       0.00
1790.04/1790.01	c   varbound         :      19.96       0.00       8.30      11.66       0.00
1790.04/1790.01	c   knapsack         :       4.35       0.00       3.08       1.27       0.00
1790.04/1790.01	c   setppc           :      82.87       0.00      48.93      33.94       0.00
1790.04/1790.01	c   linear           :     202.60       0.01      33.39     169.20       0.00
1790.04/1790.01	c   indicator        :     228.15       0.01      97.38     130.76       0.00
1790.04/1790.01	c   logicor          :       9.37       0.00       0.47       8.90       0.00
1790.04/1790.01	c   countsols        :       0.03       0.00       0.00       0.03       0.00
1790.04/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.04/1790.01	c   vbounds          :       0.11          8          0          0
1790.04/1790.01	c   rootredcost      :       0.12          0          0          0
1790.04/1790.01	c   pseudoobj        :      65.32     488456          0          0
1790.04/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.04/1790.01	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1790.04/1790.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.04/1790.01	c   applied globally :          -          -          -          0        0.0          -          -          -
1790.04/1790.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.04/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.04/1790.01	c   cut pool         :       0.00          3          -          -          0          -    (maximal pool size: 13)
1790.04/1790.01	c   redcost          :      58.40     117877          0          0          0          0
1790.04/1790.01	c   impliedbounds    :       0.00          1          0          0          3          0
1790.04/1790.01	c   intobj           :       0.00          0          0          0          0          0
1790.04/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1790.04/1790.01	c   gomory           :       0.00          1          0          0          9          0
1790.04/1790.01	c   strongcg         :       0.00          1          0          0          9          0
1790.04/1790.01	c   cmir             :       0.07          1          0          0          1          0
1790.04/1790.01	c   flowcover        :       0.41          1          0          0          2          0
1790.04/1790.01	c   clique           :       0.05          1          0          0          1          0
1790.04/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1790.04/1790.01	c   mcf              :       0.03          1          0          0          0          0
1790.04/1790.01	c   rapidlearning    :       0.00          0          0          0          0          0
1790.04/1790.01	c Pricers            :       Time      Calls       Vars
1790.04/1790.01	c   problem variables:       0.00          0          0
1790.04/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.01	c   relpscost        :      52.11       3521          0          1          0          0       7040
1790.04/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   inference        :     345.02     109660          0          0          0          0     219320
1790.04/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   random           :       0.00          0          0          0          0          0          0
1790.04/1790.01	c Primal Heuristics  :       Time      Calls      Found
1790.04/1790.01	c   LP solutions     :       0.00          -          0
1790.04/1790.01	c   pseudo solutions :       0.00          -          0
1790.04/1790.01	c   oneopt           :       0.11          0          0
1790.04/1790.01	c   crossover        :       0.04          0          0
1790.04/1790.01	c   guideddiving     :       0.00          0          0
1790.04/1790.01	c   intshifting      :       0.00          0          0
1790.04/1790.01	c   feaspump         :       1.09         12          0
1790.04/1790.01	c   linesearchdiving :      17.32       1840          0
1790.04/1790.01	c   coefdiving       :      17.12       1841          0
1790.04/1790.01	c   pscostdiving     :      16.70       1841          0
1790.04/1790.01	c   fracdiving       :      16.60       1841          0
1790.04/1790.01	c   veclendiving     :      16.33       1841          0
1790.04/1790.01	c   objpscostdiving  :      17.62       1835          0
1790.04/1790.01	c   rootsoldiving    :      18.43       1835          0
1790.04/1790.01	c   trivial          :       0.51          2          0
1790.04/1790.01	c   simplerounding   :       0.09       3516          0
1790.04/1790.01	c   zirounding       :       0.60       1000          0
1790.04/1790.01	c   rounding         :       0.73        791          0
1790.04/1790.01	c   shifting         :       0.27        218          0
1790.04/1790.01	c   twoopt           :       0.00          0          0
1790.04/1790.01	c   fixandinfer      :       0.00          0          0
1790.04/1790.01	c   intdiving        :       0.00          0          0
1790.04/1790.01	c   actconsdiving    :       0.00          0          0
1790.04/1790.01	c   octane           :       0.00          0          0
1790.04/1790.01	c   rens             :       0.00          0          0
1790.04/1790.01	c   rins             :       0.00          0          0
1790.04/1790.01	c   localbranching   :       0.00          0          0
1790.04/1790.01	c   mutation         :       0.00          0          0
1790.04/1790.01	c   dins             :       0.00          0          0
1790.04/1790.01	c   undercover       :       0.00          0          0
1790.04/1790.01	c   nlp              :       0.03          0          0
1790.04/1790.01	c   trysol           :      17.17       1839          0
1790.04/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.04/1790.01	c   primal LP        :       0.01          0          0       0.00          -
1790.04/1790.01	c   dual LP          :     343.90      11373     123838      10.89     360.09
1790.04/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1790.04/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1790.04/1790.01	c   diving/probing LP:       2.09        360       2413       6.70    1155.48
1790.04/1790.01	c   strong branching :      52.01       6686      88608      13.25    1703.79
1790.04/1790.01	c     (at root node) :          -          0          0       0.00          -
1790.04/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1790.04/1790.01	c B&B Tree           :
1790.04/1790.01	c   number of runs   :          1
1790.04/1790.01	c   nodes            :     113180
1790.04/1790.01	c   nodes (total)    :     113180
1790.04/1790.01	c   nodes left       :     113181
1790.04/1790.01	c   max depth        :        125
1790.04/1790.01	c   max depth (total):        125
1790.04/1790.01	c   backtracks       :       1856 (1.6%)
1790.04/1790.01	c   delayed cutoffs  :          0
1790.04/1790.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1790.04/1790.01	c   avg switch length:       2.18
1790.04/1790.01	c   switching time   :      20.39
1790.04/1790.01	c Solution           :
1790.04/1790.01	c   Solutions found  :          0 (0 improvements)
1790.04/1790.01	c   Primal Bound     :          -
1790.04/1790.01	c   Dual Bound       : +0.00000000000000e+00
1790.04/1790.01	c   Gap              :   infinite
1790.04/1790.01	c   Root Dual Bound  : +0.00000000000000e+00
1790.04/1790.01	c   Root Iterations  :        869
1790.54/1790.52	c Time complete: 1790.57.

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-2705239-1278576542/watcher-2705239-1278576542 -o /tmp/evaluation-result-2705239-1278576542/solver-2705239-1278576542 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705239-1278576542.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: 1.92 1.99 1.91 4/182 10419
/proc/meminfo: memFree=27591000/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=12552 CPUtime=0
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 1982 0 0 0 0 0 0 0 21 0 1 0 25866977 12853248 1901 4089446400 4194304 10345943 140737267075520 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/10419/statm: 3138 1901 429 1502 0 1631 0

[startup+0.026307 s]
/proc/loadavg: 1.92 1.99 1.91 4/182 10419
/proc/meminfo: memFree=27591000/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=18832 CPUtime=0.02
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 3561 0 0 0 2 0 0 0 21 0 1 0 25866977 19283968 3480 4089446400 4194304 10345943 140737267075520 18446744073709551615 9134633 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/10419/statm: 4708 3480 430 1502 0 3201 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18832

[startup+0.100298 s]
/proc/loadavg: 1.92 1.99 1.91 4/182 10419
/proc/meminfo: memFree=27591000/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=33336 CPUtime=0.09
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 7169 0 0 0 9 0 0 0 21 0 1 0 25866977 34136064 7088 4089446400 4194304 10345943 140737267075520 18446744073709551615 5755186 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/10419/statm: 8334 7088 430 1502 0 6827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33336

[startup+0.300263 s]
/proc/loadavg: 1.92 1.99 1.91 4/182 10419
/proc/meminfo: memFree=27591000/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=67672 CPUtime=0.29
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 15796 0 0 0 28 1 0 0 21 0 1 0 25866977 69296128 15686 4089446400 4194304 10345943 140737267075520 18446744073709551615 9191984 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/10419/statm: 16918 15686 430 1502 0 15411 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67672

[startup+0.701201 s]
/proc/loadavg: 1.92 1.99 1.91 4/182 10419
/proc/meminfo: memFree=27591000/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=178312 CPUtime=0.69
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 42507 0 0 0 65 4 0 0 22 0 1 0 25866977 182591488 42007 4089446400 4194304 10345943 140737267075520 18446744073709551615 9138370 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10419/statm: 44578 42007 510 1502 0 43071 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 178312

[startup+1.50104 s]
/proc/loadavg: 1.92 1.99 1.91 3/183 10420
/proc/meminfo: memFree=27424584/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=202916 CPUtime=1.49
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 48819 0 0 0 144 5 0 0 25 0 1 0 25866977 207785984 48319 4089446400 4194304 10345943 140737267075520 18446744073709551615 4287408 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10419/statm: 50729 48319 542 1502 0 49222 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 202916

[startup+3.10074 s]
/proc/loadavg: 1.92 1.99 1.91 3/183 10420
/proc/meminfo: memFree=27399152/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=207680 CPUtime=3.09
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 50147 0 0 0 304 5 0 0 25 0 1 0 25866977 212664320 49617 4089446400 4194304 10345943 140737267075520 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10419/statm: 51920 49617 603 1502 0 50413 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 207680

[startup+6.30018 s]
/proc/loadavg: 2.01 2.00 1.91 3/183 10420
/proc/meminfo: memFree=27391216/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=208960 CPUtime=6.29
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 50477 0 0 0 624 5 0 0 25 0 1 0 25866977 213975040 49942 4089446400 4194304 10345943 140737267075520 18446744073709551615 5608189 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10419/statm: 52240 49942 603 1502 0 50733 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 208960

[startup+12.701 s]
/proc/loadavg: 1.93 1.99 1.91 3/183 10447
/proc/meminfo: memFree=27771196/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=235888 CPUtime=12.69
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 84070 0 0 0 1259 10 0 0 25 0 1 0 25866977 241549312 56196 4089446400 4194304 10345943 140737267075520 18446744073709551615 4227579 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10419/statm: 58972 56196 771 1502 0 57465 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 235888

[startup+25.5006 s]
/proc/loadavg: 1.94 1.99 1.91 3/183 10447
/proc/meminfo: memFree=27765472/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=242972 CPUtime=25.49
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 173304 0 0 0 2525 24 0 0 25 0 1 0 25866977 248803328 57628 4089446400 4194304 10345943 140737267075520 18446744073709551615 4687847 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10419/statm: 60743 57628 771 1502 0 59236 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 242972

[startup+51.101 s]
/proc/loadavg: 1.96 1.99 1.91 3/183 10448
/proc/meminfo: memFree=27747236/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=254828 CPUtime=51.09
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 289636 0 0 0 5067 42 0 0 25 0 1 0 25866977 260943872 59742 4089446400 4194304 10345943 140737267075520 18446744073709551615 6866091 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10419/statm: 63707 59742 771 1502 0 62200 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 254828

[startup+102.307 s]
/proc/loadavg: 2.08 2.02 1.92 3/183 10450
/proc/meminfo: memFree=27632612/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=266932 CPUtime=102.3
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 400996 0 0 0 10165 65 0 0 25 0 1 0 25866977 273338368 63341 4089446400 4194304 10345943 140737267075520 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10419/statm: 66733 63341 771 1502 0 65226 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 266932

[startup+162.301 s]
/proc/loadavg: 2.03 2.01 1.92 3/183 10451
/proc/meminfo: memFree=27580748/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=291948 CPUtime=162.29
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 425431 0 0 0 16156 73 0 0 25 0 1 0 25866977 298954752 69478 4089446400 4194304 10345943 140737267075520 18446744073709551615 5031150 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 72987 69478 771 1502 0 71480 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 291948

[startup+222.301 s]
/proc/loadavg: 2.01 2.00 1.92 3/183 10453
/proc/meminfo: memFree=27524920/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=317276 CPUtime=222.29
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 443812 0 0 0 22150 79 0 0 25 0 1 0 25866977 324890624 76307 4089446400 4194304 10345943 140737267075520 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 79319 76307 771 1502 0 77812 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 317276

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 10454
/proc/meminfo: memFree=27466344/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=342256 CPUtime=282.29
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 462534 0 0 0 28145 84 0 0 25 0 1 0 25866977 350470144 82414 4089446400 4194304 10345943 140737267075520 18446744073709551615 5012556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 85564 82414 771 1502 0 84057 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 342256

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 10456
/proc/meminfo: memFree=27408040/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=374608 CPUtime=342.3
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 473884 0 0 0 34142 88 0 0 25 0 1 0 25866977 383598592 89928 4089446400 4194304 10345943 140737267075520 18446744073709551615 7568752 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 93652 89928 771 1502 0 92145 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 374608

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 10458
/proc/meminfo: memFree=27354820/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=400840 CPUtime=402.3
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 483114 0 0 0 40138 92 0 0 25 0 1 0 25866977 410460160 96979 4089446400 4194304 10345943 140737267075520 18446744073709551615 4999640 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 100210 96979 771 1502 0 98703 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 400840

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 10459
/proc/meminfo: memFree=27296760/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=432180 CPUtime=462.31
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 492566 0 0 0 46134 97 0 0 25 0 1 0 25866977 442552320 104560 4089446400 4194304 10345943 140737267075520 18446744073709551615 4476223 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 108045 104560 771 1502 0 106538 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 432180

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 10461
/proc/meminfo: memFree=27240304/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=465648 CPUtime=522.3
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 501990 0 0 0 52131 99 0 0 25 0 1 0 25866977 476823552 112051 4089446400 4194304 10345943 140737267075520 18446744073709551615 6715901 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 116412 112051 771 1502 0 114905 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 465648

[startup+582.3 s]
/proc/loadavg: 2.11 2.03 1.93 3/183 10462
/proc/meminfo: memFree=27182476/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=493904 CPUtime=582.31
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 510031 0 0 0 58128 103 0 0 25 0 1 0 25866977 505757696 119301 4089446400 4194304 10345943 140737267075520 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 123476 119301 771 1502 0 121969 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 493904

[startup+642.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/183 10467
/proc/meminfo: memFree=27118100/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=522824 CPUtime=642.32
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 521180 0 0 0 64124 108 0 0 25 0 1 0 25866977 535371776 126561 4089446400 4194304 10345943 140737267075520 18446744073709551615 4701030 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 130706 126561 771 1502 0 129199 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 522824

[startup+702.3 s]

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

/proc/meminfo: memFree=26707964/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=696696 CPUtime=1002.32
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 573309 0 0 0 100106 126 0 0 25 0 1 0 25866977 713416704 170200 4089446400 4194304 10345943 140737267075520 18446744073709551615 4447894 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 174174 170200 771 1502 0 172667 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 696696

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 10478
/proc/meminfo: memFree=26680520/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=723192 CPUtime=1062.32
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 581469 0 0 0 106103 129 0 0 25 0 1 0 25866977 740548608 176975 4089446400 4194304 10345943 140737267075520 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 180798 176975 771 1502 0 179291 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 723192

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 10480
/proc/meminfo: memFree=26650348/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=756044 CPUtime=1122.32
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 590372 0 0 0 112100 132 0 0 25 0 1 0 25866977 774189056 184551 4089446400 4194304 10345943 140737267075520 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 189011 184551 771 1502 0 187504 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 756044

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/183 10481
/proc/meminfo: memFree=26609896/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=785420 CPUtime=1182.33
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 597677 0 0 0 118098 135 0 0 25 0 1 0 25866977 804270080 191771 4089446400 4194304 10345943 140737267075520 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 196355 191771 771 1502 0 194848 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 785420

[startup+1242.3 s]
/proc/loadavg: 2.05 2.02 1.95 3/183 10483
/proc/meminfo: memFree=26551444/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=810168 CPUtime=1242.33
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 605900 0 0 0 124095 138 0 0 25 0 1 0 25866977 829612032 198291 4089446400 4194304 10345943 140737267075520 18446744073709551615 6358299 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 202542 198291 771 1502 0 201035 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 810168

[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 1.95 3/183 10485
/proc/meminfo: memFree=26485312/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=840944 CPUtime=1302.34
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 615111 0 0 0 130093 141 0 0 25 0 1 0 25866977 861126656 206191 4089446400 4194304 10345943 140737267075520 18446744073709551615 8160440 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 210236 206191 771 1502 0 208729 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 840944

[startup+1362.3 s]
/proc/loadavg: 2.08 2.04 1.96 3/183 10486
/proc/meminfo: memFree=26432820/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=869760 CPUtime=1362.34
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 623261 0 0 0 136089 145 0 0 25 0 1 0 25866977 890634240 213252 4089446400 4194304 10345943 140737267075520 18446744073709551615 4686862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 217440 213252 771 1502 0 215933 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 869760

[startup+1422.31 s]
/proc/loadavg: 2.18 2.06 1.97 3/183 10488
/proc/meminfo: memFree=26362976/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=902172 CPUtime=1422.34
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 630834 0 0 0 142085 149 0 0 25 0 1 0 25866977 923824128 220742 4089446400 4194304 10345943 140737267075520 18446744073709551615 6519205 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 225543 220742 771 1502 0 224036 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 902172

[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 1.97 3/183 10489
/proc/meminfo: memFree=26313212/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=929616 CPUtime=1482.34
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 637958 0 0 0 148082 152 0 0 25 0 1 0 25866977 951926784 227866 4089446400 4194304 10345943 140737267075520 18446744073709551615 4900826 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 232404 227866 771 1502 0 230897 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 929616

[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 1.97 3/183 10491
/proc/meminfo: memFree=26252908/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=958520 CPUtime=1542.33
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 644978 0 0 0 154079 154 0 0 25 0 1 0 25866977 981524480 234720 4089446400 4194304 10345943 140737267075520 18446744073709551615 5214255 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 239630 234720 771 1502 0 238123 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 958520

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/183 10493
/proc/meminfo: memFree=26200544/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=988036 CPUtime=1602.34
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 652931 0 0 0 160076 158 0 0 25 0 1 0 25866977 1011748864 242394 4089446400 4194304 10345943 140737267075520 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 247009 242394 771 1502 0 245502 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 988036

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/183 10494
/proc/meminfo: memFree=26140860/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=1018140 CPUtime=1662.34
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 660307 0 0 0 166073 161 0 0 25 0 1 0 25866977 1042575360 249618 4089446400 4194304 10345943 140737267075520 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 254535 249618 771 1502 0 253028 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1018140

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/183 10496
/proc/meminfo: memFree=26080320/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=1050772 CPUtime=1722.34
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 669498 0 0 0 172071 163 0 0 25 0 1 0 25866977 1075990528 258046 4089446400 4194304 10345943 140737267075520 18446744073709551615 4246730 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 262693 258046 771 1502 0 261186 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1050772

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/183 10497
/proc/meminfo: memFree=26027952/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=1081116 CPUtime=1782.34
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 677510 0 0 0 178068 166 0 0 25 0 1 0 25866977 1107062784 265364 4089446400 4194304 10345943 140737267075520 18446744073709551615 4966190 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 270279 265364 771 1502 0 268772 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1081116

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

[startup+1785.5 s]
/proc/loadavg: 2.01 2.02 1.97 3/183 10497
/proc/meminfo: memFree=26024480/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=1081116 CPUtime=1785.54
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 677511 0 0 0 178388 166 0 0 25 0 1 0 25866977 1107062784 265365 4089446400 4194304 10345943 140737267075520 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 270279 265365 771 1502 0 268772 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 1081116

[startup+1788.7 s]
/proc/loadavg: 2.01 2.02 1.97 3/183 10497
/proc/meminfo: memFree=26022120/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=1083368 CPUtime=1788.74
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 677789 0 0 0 178708 166 0 0 25 0 1 0 25866977 1109368832 265643 4089446400 4194304 10345943 140737267075520 18446744073709551615 6518795 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 270842 265643 771 1502 0 269335 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 1083368

[startup+1789.5 s]
/proc/loadavg: 2.01 2.02 1.97 3/183 10497
/proc/meminfo: memFree=26022120/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=1083368 CPUtime=1789.54
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 677789 0 0 0 178788 166 0 0 25 0 1 0 25866977 1109368832 265643 4089446400 4194304 10345943 140737267075520 18446744073709551615 6777375 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10419/statm: 270842 265643 771 1502 0 269335 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (KiB) 1083368

[startup+1790.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/183 10497
/proc/meminfo: memFree=26020632/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=1083368 CPUtime=1790.34
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 678027 0 0 0 178868 166 0 0 25 0 1 0 25866977 1109368832 265881 4089446400 4194304 10345943 140737267075520 18446744073709551615 4287424 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/10419/statm: 270842 265881 780 1502 0 269335 0
Current children cumulated CPU time (s) 1790.34
Current children cumulated vsize (KiB) 1083368

[startup+1790.5 s]
/proc/loadavg: 2.01 2.02 1.97 3/183 10497
/proc/meminfo: memFree=26020632/32951124 swapFree=67111528/67111528
[pid=10419] ppid=10417 vsize=218236 CPUtime=1790.54
/proc/10419/stat : 10419 (pbscip.linux.x8) R 10417 10419 10040 0 -1 4202496 678027 0 0 0 178885 169 0 0 25 0 1 0 25866977 223473664 52693 4089446400 4194304 10345943 140737267075520 18446744073709551615 6325639 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/10419/statm: 54559 52693 780 1502 0 53052 0
Current children cumulated CPU time (s) 1790.54
Current children cumulated vsize (KiB) 218236

Child status: 0
Real time (s): 1790.53
CPU time (s): 1790.58
CPU user time (s): 1788.87
CPU system time (s): 1.70374
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1083368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.87
system time used= 1.70374
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 678033
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 4449

runsolver used 3.18851 second user time and 6.76097 second system time

The end

Launcher Data 

Begin job on node133 at 2010-07-08 10:09:02
IDJOB=2705239
IDBENCH=79083
IDSOLVER=1214
FILE ID=node133/2705239-1278576542
PBS_JOBID= 11240188
Free space on /tmp= 73640 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/normalized-j9028_2-unsat--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705239-1278576542/watcher-2705239-1278576542 -o /tmp/evaluation-result-2705239-1278576542/solver-2705239-1278576542 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705239-1278576542.wbo -t 1800 -m 3800

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

MD5SUM BENCH= c93ff145655ec29711075f2ee972c9ae
RANDOM SEED=936565015

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27591156 kB
Buffers:        168860 kB
Cached:        4172824 kB
SwapCached:          0 kB
Active:        2044780 kB
Inactive:      3144460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27591156 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           14396 kB
Writeback:           0 kB
AnonPages:      847288 kB
Mapped:          17860 kB
Slab:           105540 kB
PageTables:       5608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1013916 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73628 MiB
End job on node133 at 2010-07-08 10:38:53