Trace number 2693236

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.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1800.58 1800.52

General information on the benchmark

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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693236-1277918135.wbo>
0.29/0.39	c original problem has 40980 variables (26590 bin, 0 int, 0 impl, 14390 cont) and 56447 constraints
0.29/0.39	c problem read
0.29/0.39	c presolving settings loaded
1.10/1.11	c presolving:
1.49/1.50	c (round 1) 1255 del vars, 3916 del conss, 829 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 698938 impls, 0 clqs
1.69/1.77	c (round 2) 3706 del vars, 11710 del conss, 1952 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 718786 impls, 0 clqs
1.99/2.09	c (round 3) 8227 del vars, 19704 del conss, 2843 chg bounds, 8 chg sides, 8 chg coeffs, 0 upgd conss, 725598 impls, 0 clqs
2.30/2.32	c (round 4) 13032 del vars, 24708 del conss, 3288 chg bounds, 26 chg sides, 31 chg coeffs, 0 upgd conss, 729729 impls, 0 clqs
2.39/2.46	c (round 5) 16465 del vars, 27632 del conss, 3564 chg bounds, 38 chg sides, 47 chg coeffs, 0 upgd conss, 733838 impls, 0 clqs
2.49/2.57	c (round 6) 18830 del vars, 30282 del conss, 3900 chg bounds, 49 chg sides, 57 chg coeffs, 0 upgd conss, 741641 impls, 0 clqs
2.59/2.65	c (round 7) 20517 del vars, 32492 del conss, 4123 chg bounds, 53 chg sides, 62 chg coeffs, 0 upgd conss, 743542 impls, 0 clqs
2.69/2.71	c (round 8) 21876 del vars, 33911 del conss, 4251 chg bounds, 55 chg sides, 65 chg coeffs, 0 upgd conss, 744195 impls, 0 clqs
2.69/2.75	c (round 9) 22853 del vars, 34784 del conss, 4330 chg bounds, 55 chg sides, 65 chg coeffs, 0 upgd conss, 745120 impls, 0 clqs
2.69/2.78	c (round 10) 23439 del vars, 35214 del conss, 4360 chg bounds, 60 chg sides, 70 chg coeffs, 0 upgd conss, 745373 impls, 0 clqs
2.79/2.80	c (round 11) 23805 del vars, 35595 del conss, 4408 chg bounds, 63 chg sides, 72 chg coeffs, 0 upgd conss, 745838 impls, 0 clqs
2.79/2.83	c (round 12) 24057 del vars, 36011 del conss, 4440 chg bounds, 65 chg sides, 74 chg coeffs, 0 upgd conss, 745972 impls, 0 clqs
2.79/2.85	c (round 13) 24319 del vars, 36290 del conss, 4471 chg bounds, 65 chg sides, 74 chg coeffs, 0 upgd conss, 746092 impls, 0 clqs
2.79/2.87	c (round 14) 24548 del vars, 36531 del conss, 4501 chg bounds, 68 chg sides, 77 chg coeffs, 0 upgd conss, 746316 impls, 0 clqs
2.79/2.88	c (round 15) 24700 del vars, 36745 del conss, 4514 chg bounds, 69 chg sides, 78 chg coeffs, 0 upgd conss, 746436 impls, 0 clqs
2.89/2.90	c (round 16) 24838 del vars, 36878 del conss, 4520 chg bounds, 69 chg sides, 78 chg coeffs, 0 upgd conss, 746450 impls, 0 clqs
2.89/2.91	c (round 17) 24943 del vars, 36943 del conss, 4524 chg bounds, 72 chg sides, 81 chg coeffs, 0 upgd conss, 746450 impls, 0 clqs
2.89/2.93	c (round 18) 24991 del vars, 36959 del conss, 4524 chg bounds, 72 chg sides, 81 chg coeffs, 0 upgd conss, 746450 impls, 0 clqs
2.89/2.96	c (round 19) 25004 del vars, 36959 del conss, 9982 chg bounds, 72 chg sides, 81 chg coeffs, 0 upgd conss, 746450 impls, 0 clqs
2.99/3.08	c (round 20) 25004 del vars, 36959 del conss, 9982 chg bounds, 72 chg sides, 81 chg coeffs, 9193 upgd conss, 746450 impls, 0 clqs
3.09/3.13	c (round 21) 25004 del vars, 36959 del conss, 9982 chg bounds, 76 chg sides, 236 chg coeffs, 9201 upgd conss, 747998 impls, 318 clqs
3.09/3.17	c (round 22) 25004 del vars, 36974 del conss, 9982 chg bounds, 137 chg sides, 504 chg coeffs, 9201 upgd conss, 748012 impls, 341 clqs
3.19/3.20	c (round 23) 25004 del vars, 36974 del conss, 9982 chg bounds, 153 chg sides, 559 chg coeffs, 9201 upgd conss, 748014 impls, 347 clqs
6.39/6.46	c    (5.9s) probing: 1000/10518 (9.5%) - 12 fixings, 4 aggregations, 59596 implications, 5 bound changes
8.29/8.40	c    (7.8s) probing: 2000/10518 (19.0%) - 14 fixings, 10 aggregations, 68531 implications, 5 bound changes
9.90/9.95	c    (9.4s) probing: 3000/10518 (28.5%) - 14 fixings, 12 aggregations, 71526 implications, 5 bound changes
11.29/11.32	c    (10.7s) probing: 4000/10518 (38.0%) - 14 fixings, 13 aggregations, 73172 implications, 5 bound changes
12.49/12.59	c    (12.0s) probing: 5000/10518 (47.5%) - 14 fixings, 13 aggregations, 73854 implications, 5 bound changes
12.69/12.75	c    (12.2s) probing: 5151/10518 (49.0%) - 14 fixings, 13 aggregations, 73865 implications, 5 bound changes
12.69/12.75	c    (12.2s) probing aborted: 100/100 successive totally useless probings
12.69/12.75	c (round 24) 25031 del vars, 36974 del conss, 9987 chg bounds, 153 chg sides, 561 chg coeffs, 9201 upgd conss, 1041472 impls, 347 clqs
12.69/12.78	c (round 25) 25031 del vars, 37039 del conss, 9987 chg bounds, 158 chg sides, 671 chg coeffs, 9201 upgd conss, 1041472 impls, 348 clqs
12.79/12.80	c (round 26) 25058 del vars, 37074 del conss, 9987 chg bounds, 179 chg sides, 804 chg coeffs, 9201 upgd conss, 1041476 impls, 354 clqs
12.79/12.82	c (round 27) 25092 del vars, 37091 del conss, 9987 chg bounds, 183 chg sides, 830 chg coeffs, 9201 upgd conss, 1041482 impls, 359 clqs
12.79/12.86	c (round 28) 25106 del vars, 37093 del conss, 9991 chg bounds, 183 chg sides, 834 chg coeffs, 9201 upgd conss, 1041482 impls, 359 clqs
12.79/12.90	c (round 29) 25108 del vars, 37093 del conss, 9991 chg bounds, 183 chg sides, 835 chg coeffs, 9204 upgd conss, 1041482 impls, 359 clqs
12.89/12.95	c    (12.3s) probing: 5161/10518 (49.1%) - 14 fixings, 13 aggregations, 73865 implications, 5 bound changes
12.89/12.95	c    (12.3s) probing aborted: 100/100 successive totally useless probings
12.89/12.95	c presolving (30 rounds):
12.89/12.95	c  25108 deleted vars, 37093 deleted constraints, 9991 tightened bounds, 0 added holes, 183 changed sides, 836 changed coefficients
12.89/12.95	c  1041482 implications, 359 cliques
12.89/12.95	c presolved problem has 15872 variables (10449 bin, 0 int, 0 impl, 5423 cont) and 19429 constraints
12.89/12.95	c    5423 constraints of type <indicator>
12.89/12.95	c     622 constraints of type <varbound>
12.89/12.95	c     223 constraints of type <knapsack>
12.89/12.95	c      75 constraints of type <setppc>
12.89/12.95	c    4801 constraints of type <linear>
12.89/12.95	c    8285 constraints of type <logicor>
12.89/12.95	c transformed objective value is always integral (scale: 1)
12.89/12.95	c Presolving Time: 12.22
12.89/12.95	c - non default parameters ----------------------------------------------------------------------
12.89/12.95	c # SCIP version 1.2.1.2
12.89/12.95	c 
12.89/12.95	c # frequency for displaying node information lines
12.89/12.95	c # [type: int, range: [-1,2147483647], default: 100]
12.89/12.95	c display/freq = 10000
12.89/12.95	c 
12.89/12.95	c # maximal time in seconds to run
12.89/12.95	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.89/12.95	c limits/time = 1799.62
12.89/12.95	c 
12.89/12.95	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
12.89/12.95	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.89/12.95	c limits/memory = 3420
12.89/12.95	c 
12.89/12.95	c # should presolving try to simplify inequalities
12.89/12.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.89/12.95	c constraints/linear/simplifyinequalities = TRUE
12.89/12.95	c 
12.89/12.95	c # should presolving try to simplify knapsacks
12.89/12.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.89/12.95	c constraints/knapsack/simplifyinequalities = TRUE
12.89/12.95	c 
12.89/12.95	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
12.89/12.95	c # [type: int, range: [-1,2147483647], default: -1]
12.89/12.95	c separating/rapidlearning/freq = 0
12.89/12.95	c 
12.89/12.95	c -----------------------------------------------------------------------------------------------
12.89/12.95	c start solving
12.89/12.95	c 
12.99/13.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.99/13.04	c  12.4s|     1 |     0 |   329 |     - | 141M|   0 |  59 |  15k|  19k|  15k|8557 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
14.29/14.35	c  13.7s|     1 |     0 |  1167 |     - | 142M|   0 | 129 |  15k|  19k|  15k|9428 | 871 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
15.09/15.19	c  14.5s|     1 |     0 |  1473 |     - | 142M|   0 | 127 |  15k|  19k|  15k|9736 |1179 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
16.09/16.12	c  15.4s|     1 |     0 |  1760 |     - | 143M|   0 | 418 |  15k|  19k|  15k|9852 |1295 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
16.60/16.67	c  16.0s|     1 |     0 |  2131 |     - | 143M|   0 | 173 |  15k|  19k|  15k|  10k|1556 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
17.39/17.41	c  16.7s|     1 |     0 |  2458 |     - | 143M|   0 | 254 |  15k|  19k|  15k|  10k|1626 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
17.99/18.07	c  17.3s|     1 |     0 |  2578 |     - | 143M|   0 | 279 |  15k|  19k|  15k|  10k|1684 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
19.90/19.91	c  19.1s|     1 |     2 |  2578 |     - | 144M|   0 | 279 |  15k|  19k|  15k|  10k|1684 |   0 |  22 | 0.000000e+00 |      --      |    Inf 
387.30/387.39	c   370s| 10000 |  9999 |265056 |  26.3 | 224M|  97 |  16 |  15k|  19k|  15k|9638 |  12k|  74 |6275 | 0.000000e+00 |      --      |    Inf 
643.01/643.00	c   613s| 20000 | 19997 |479000 |  23.8 | 303M|  97 |   4 |  15k|  19k|  15k|9732 |  21k| 140 |8884 | 0.000000e+00 |      --      |    Inf 
872.02/872.07	c   830s| 30000 | 29995 |643244 |  21.4 | 380M|  97 |  23 |  15k|  19k|  15k|9698 |  37k| 166 |  10k| 0.000000e+00 |      --      |    Inf 
1087.73/1087.75	c  1036s| 40000 | 39993 |811772 |  20.2 | 458M|  97 |   0 |  15k|  19k|  15k|9698 |  56k| 169 |  12k| 0.000000e+00 |      --      |    Inf 
1310.63/1310.66	c  1250s| 50000 | 49993 |958201 |  19.1 | 535M|  97 |  19 |  15k|  19k|  15k|9729 |  75k| 191 |  14k| 0.000000e+00 |      --      |    Inf 
1527.24/1527.22	c  1458s| 60000 | 59993 |  1118k|  18.6 | 613M|  97 |   4 |  15k|  19k|  15k|9638 |  93k| 208 |  15k| 0.000000e+00 |      --      |    Inf 
1748.55/1748.51	c  1671s| 70000 | 69989 |  1275k|  18.2 | 690M|  97 |   0 |  15k|  19k|  15k|9794 | 111k| 241 |  17k| 0.000000e+00 |      --      |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01	c 
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time (sec) : 1721.13
1800.05/1800.01	c Solving Nodes      : 72527
1800.05/1800.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.01	c Gap                : infinite
1800.05/1800.01	s UNKNOWN
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time       :    1721.13
1800.05/1800.01	c Original Problem   :
1800.05/1800.01	c   Problem name     : HOME/instance-2693236-1277918135.wbo
1800.05/1800.01	c   Variables        : 40980 (26590 binary, 0 integer, 0 implicit integer, 14390 continuous)
1800.05/1800.01	c   Constraints      : 56447 initial, 56447 maximal
1800.05/1800.01	c Presolved Problem  :
1800.05/1800.01	c   Problem name     : t_HOME/instance-2693236-1277918135.wbo
1800.05/1800.01	c   Variables        : 15872 (10449 binary, 0 integer, 0 implicit integer, 5423 continuous)
1800.05/1800.01	c   Constraints      : 19429 initial, 19544 maximal
1800.05/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.01	c   trivial          :       0.04        188          0          0          0          0          0          0          0
1800.05/1800.01	c   dualfix          :       0.08      18992          0          0          0          0          0          0          0
1800.05/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   implics          :       0.07          0         17          0          0          0          0          0          0
1800.05/1800.01	c   probing          :       9.47         14         13          0          5          0          0          0          0
1800.05/1800.01	c   indicator        :       0.48          0          0          0          0          0       8967          0          0
1800.05/1800.01	c   varbound         :       0.00          0          0          0          0          0         10          0          0
1800.05/1800.01	c   knapsack         :       0.03          0          0          0          0          0         17        111        755
1800.05/1800.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   linear           :       1.31       4377       1507          0       9986          0      28052         72         81
1800.05/1800.01	c   logicor          :       0.11          0          0          0          0          0         47          0          0
1800.05/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.01	c   integral         :          0          0          0      79326          0          0          9          0          0     125974
1800.05/1800.01	c   indicator        :       5423          0     490027      16334          0          0      47214          0          0          0
1800.05/1800.01	c   varbound         :        622          6     490027      16334          0          0       3637       2914          0          0
1800.05/1800.01	c   knapsack         :        223          6     490027      13743          0          2     101814         36          0          0
1800.05/1800.01	c   setppc           :         75          6     490025      13743          0          0      14987          0          0          0
1800.05/1800.01	c   linear           :       4801          6     490025      13743          0          0      37421     112164          0          0
1800.05/1800.01	c   logicor          :       8285+         6     430110       9534          0          8    1224025          0          0          0
1800.05/1800.01	c   countsols        :          0          0          0       9534          0          0          0          0          0          0
1800.05/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.01	c   integral         :     239.80       0.00       0.00     239.80       0.00
1800.05/1800.01	c   indicator        :      83.94       0.00      56.65      27.29       0.00
1800.05/1800.01	c   varbound         :       7.50       0.00       6.16       1.34       0.00
1800.05/1800.01	c   knapsack         :       4.29       0.00       3.89       0.40       0.00
1800.05/1800.01	c   setppc           :       1.04       0.00       0.92       0.12       0.00
1800.05/1800.01	c   linear           :      66.45       0.04      41.52      24.89       0.00
1800.05/1800.01	c   logicor          :      13.32       0.01       6.97       6.34       0.00
1800.05/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.01	c   vbounds          :      31.78     160237          0       6597
1800.05/1800.01	c   rootredcost      :       0.09          0          0          0
1800.05/1800.01	c   pseudoobj        :      75.04     470413          0          0
1800.05/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.01	c   propagation      :       0.00         10         10         10        3.3          0        0.0          -
1800.05/1800.01	c   infeasible LP    :       0.56        225        225        232        3.1          0        0.0          0
1800.05/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.01	c   applied globally :          -          -          -        241        3.1          -          -          -
1800.05/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.01	c   cut pool         :       0.00          5          -          -         54          -    (maximal pool size: 1094)
1800.05/1800.01	c   redcost          :      42.20      79087          0          0          0          0
1800.05/1800.01	c   impliedbounds    :       0.00          6          0          0        611          0
1800.05/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.01	c   gomory           :       0.31          6          0          0       2053          0
1800.05/1800.01	c   strongcg         :       0.25          6          0          0        303          0
1800.05/1800.01	c   cmir             :       0.80          6          0          0         23          0
1800.05/1800.01	c   flowcover        :       2.44          6          0          0        142          0
1800.05/1800.01	c   clique           :       0.47          6          0          0         33          0
1800.05/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.01	c   mcf              :       0.04          1          0          0          0          0
1800.05/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.01	c Pricers            :       Time      Calls       Vars
1800.05/1800.01	c   problem variables:       0.00          0          0
1800.05/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.01	c   relpscost        :     239.68      62992          0          9          0          0     125974
1800.05/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   inference        :      27.80       9534          0          0          0          0      19068
1800.05/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.01	c   LP solutions     :       0.00          -          0
1800.05/1800.01	c   pseudo solutions :       0.00          -          0
1800.05/1800.01	c   oneopt           :       0.24          0          0
1800.05/1800.01	c   crossover        :       0.01          0          0
1800.05/1800.01	c   guideddiving     :       0.00          0          0
1800.05/1800.01	c   rootsoldiving    :      11.01         13          0
1800.05/1800.01	c   intshifting      :       0.17         61          0
1800.05/1800.01	c   objpscostdiving  :       3.59         34          0
1800.05/1800.01	c   feaspump         :      34.12        296          0
1800.05/1800.01	c   coefdiving       :      84.69        593          0
1800.05/1800.01	c   pscostdiving     :      47.74        593          0
1800.05/1800.01	c   fracdiving       :      45.12        593          0
1800.05/1800.01	c   veclendiving     :      39.08        593          0
1800.05/1800.01	c   linesearchdiving :      35.31        593          0
1800.05/1800.01	c   trivial          :       0.55          2          0
1800.05/1800.01	c   simplerounding   :       0.21      59827          0
1800.05/1800.01	c   zirounding       :       0.73       1000          0
1800.05/1800.01	c   rounding         :       5.04       3410          0
1800.05/1800.01	c   shifting         :       9.51       1089          0
1800.05/1800.01	c   twoopt           :       0.00          0          0
1800.05/1800.01	c   fixandinfer      :       0.00          0          0
1800.05/1800.01	c   intdiving        :       0.00          0          0
1800.05/1800.01	c   actconsdiving    :       0.00          0          0
1800.05/1800.01	c   octane           :       0.00          0          0
1800.05/1800.01	c   rens             :       0.14          1          0
1800.05/1800.01	c   rins             :       0.00          0          0
1800.05/1800.01	c   localbranching   :       0.00          0          0
1800.05/1800.01	c   mutation         :       0.00          0          0
1800.05/1800.01	c   dins             :       0.00          0          0
1800.05/1800.01	c   undercover       :       0.00          0          0
1800.05/1800.01	c   nlp              :       0.02          0          0
1800.05/1800.01	c   trysol           :      21.97       2976          0
1800.05/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.01	c   primal LP        :       0.01          0          0       0.00       0.00
1800.05/1800.01	c   dual LP          :     583.49      66557    1156517      17.38    1982.07
1800.05/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.01	c   diving/probing LP:     160.33      21127     150965       7.15     941.59
1800.05/1800.01	c   strong branching :     237.56      17868     423123      23.68    1781.12
1800.05/1800.01	c     (at root node) :          -         22       5246     238.45          -
1800.05/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.01	c B&B Tree           :
1800.05/1800.01	c   number of runs   :          1
1800.05/1800.01	c   nodes            :      72527
1800.05/1800.01	c   nodes (total)    :      72527
1800.05/1800.01	c   nodes left       :      72516
1800.05/1800.01	c   max depth        :         97
1800.05/1800.01	c   max depth (total):         97
1800.05/1800.01	c   backtracks       :       1497 (2.1%)
1800.05/1800.01	c   delayed cutoffs  :          0
1800.05/1800.01	c   repropagations   :         48 (37 domain reductions, 0 cutoffs)
1800.05/1800.01	c   avg switch length:       2.19
1800.05/1800.01	c   switching time   :      19.51
1800.05/1800.01	c Solution           :
1800.05/1800.01	c   Solutions found  :          0 (0 improvements)
1800.05/1800.01	c   Primal Bound     :          -
1800.05/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.01	c   Gap              :   infinite
1800.05/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.01	c   Root Iterations  :       2578
1800.55/1800.51	c Time complete: 1800.56.

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

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


[startup+0 s]
/proc/loadavg: 2.46 2.11 2.03 4/178 5310
/proc/meminfo: memFree=31345892/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=10872 CPUtime=0
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 1642 0 0 0 0 0 0 0 25 0 1 0 133241805 11132928 1562 4089446400 4194304 9819077 140735160071200 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5310/statm: 2718 1562 392 1374 0 1339 0

[startup+0.101123 s]
/proc/loadavg: 2.46 2.11 2.03 4/178 5310
/proc/meminfo: memFree=31345892/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=29456 CPUtime=0.09
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 6312 0 0 0 9 0 0 0 25 0 1 0 133241805 30162944 6232 4089446400 4194304 9819077 140735160071200 18446744073709551615 8080882 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5310/statm: 7364 6232 392 1374 0 5985 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29456

[startup+0.201105 s]
/proc/loadavg: 2.46 2.11 2.03 4/178 5310
/proc/meminfo: memFree=31345892/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=41760 CPUtime=0.19
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 9416 0 0 0 19 0 0 0 25 0 1 0 133241805 42762240 9309 4089446400 4194304 9819077 140735160071200 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5310/statm: 10440 9309 392 1374 0 9061 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41760

[startup+0.301088 s]
/proc/loadavg: 2.46 2.11 2.03 4/178 5310
/proc/meminfo: memFree=31345892/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=57132 CPUtime=0.29
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 13251 0 0 0 28 1 0 0 25 0 1 0 133241805 58503168 13144 4089446400 4194304 9819077 140735160071200 18446744073709551615 4384271 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5310/statm: 14283 13144 392 1374 0 12904 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57132

[startup+0.701023 s]
/proc/loadavg: 2.46 2.11 2.03 4/178 5310
/proc/meminfo: memFree=31345892/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=163512 CPUtime=0.69
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 38891 0 0 0 65 4 0 0 25 0 1 0 133241805 167436288 38393 4089446400 4194304 9819077 140735160071200 18446744073709551615 8678909 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5310/statm: 40878 38393 469 1374 0 39499 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 163512

[startup+1.50087 s]
/proc/loadavg: 2.46 2.11 2.03 3/179 5311
/proc/meminfo: memFree=31194628/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=191320 CPUtime=1.49
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 46022 0 0 0 143 6 0 0 25 0 1 0 133241805 195911680 45524 4089446400 4194304 9819077 140735160071200 18446744073709551615 5491483 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5310/statm: 47830 45524 495 1374 0 46451 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 191320

[startup+3.10056 s]
/proc/loadavg: 2.46 2.11 2.03 3/179 5311
/proc/meminfo: memFree=31165240/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=196588 CPUtime=3.09
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 53374 0 0 0 296 13 0 0 25 0 1 0 133241805 201306112 46763 4089446400 4194304 9819077 140735160071200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5310/statm: 49147 46763 535 1374 0 47768 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 196588

[startup+6.30097 s]
/proc/loadavg: 2.42 2.11 2.03 3/179 5311
/proc/meminfo: memFree=31156064/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=201428 CPUtime=6.29
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 59094 0 0 0 612 17 0 0 25 0 1 0 133241805 206262272 48064 4089446400 4194304 9819077 140735160071200 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5310/statm: 50357 48064 554 1374 0 48978 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 201428

[startup+12.7008 s]
/proc/loadavg: 2.39 2.10 2.03 3/179 5311
/proc/meminfo: memFree=31152632/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=202456 CPUtime=12.69
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 59359 0 0 0 1248 21 0 0 25 0 1 0 133241805 207314944 48329 4089446400 4194304 9819077 140735160071200 18446744073709551615 5500483 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5310/statm: 50614 48329 560 1374 0 49235 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 202456

[startup+25.5004 s]
/proc/loadavg: 2.30 2.10 2.03 3/179 5312
/proc/meminfo: memFree=31127324/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=241664 CPUtime=25.49
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 215152 0 0 0 2496 53 0 0 25 0 1 0 133241805 247463936 54650 4089446400 4194304 9819077 140735160071200 18446744073709551615 7291850 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5310/statm: 60416 54650 729 1374 0 59037 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 241664

[startup+51.1006 s]
/proc/loadavg: 2.20 2.09 2.03 3/179 5312
/proc/meminfo: memFree=31127412/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=243492 CPUtime=51.09
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 1537230 0 0 0 4892 217 0 0 25 0 1 0 133241805 249335808 54996 4089446400 4194304 9819077 140735160071200 18446744073709551615 6367359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5310/statm: 60873 54996 729 1374 0 59494 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 243492

[startup+102.301 s]
/proc/loadavg: 2.08 2.07 2.02 3/179 5314
/proc/meminfo: memFree=31119828/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=240800 CPUtime=102.3
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 3751168 0 0 0 9722 508 0 0 25 0 1 0 133241805 246579200 55917 4089446400 4194304 9819077 140735160071200 18446744073709551615 7312541 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5310/statm: 60200 55917 733 1374 0 58821 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 240800

[startup+162.301 s]
/proc/loadavg: 2.03 2.06 2.02 3/179 5315
/proc/meminfo: memFree=31101072/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=254276 CPUtime=162.3
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 5811714 0 0 0 15443 787 0 0 25 0 1 0 133241805 260378624 59480 4089446400 4194304 9819077 140735160071200 18446744073709551615 6628707 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5310/statm: 63569 59480 733 1374 0 62190 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 254276

[startup+222.307 s]
/proc/loadavg: 2.01 2.04 2.01 3/179 5317
/proc/meminfo: memFree=31083068/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=267648 CPUtime=222.3
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 7920689 0 0 0 21145 1085 0 0 25 0 1 0 133241805 274071552 62996 4089446400 4194304 9819077 140735160071200 18446744073709551615 6090677 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5310/statm: 66912 62996 733 1374 0 65533 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 267648

[startup+282.301 s]
/proc/loadavg: 2.04 2.05 2.01 3/179 5318
/proc/meminfo: memFree=31054628/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=296984 CPUtime=282.3
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 9954122 0 0 0 26868 1362 0 0 25 0 1 0 133241805 304111616 68604 4089446400 4194304 9819077 140735160071200 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5310/statm: 74246 68604 733 1374 0 72867 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 296984

[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 5320
/proc/meminfo: memFree=31033892/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=305148 CPUtime=342.3
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 11339099 0 0 0 32656 1574 0 0 25 0 1 0 133241805 312471552 72337 4089446400 4194304 9819077 140735160071200 18446744073709551615 7291008 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5310/statm: 76287 72337 733 1374 0 74908 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 305148

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 5322
/proc/meminfo: memFree=31012528/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=319756 CPUtime=402.31
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 12639631 0 0 0 38456 1775 0 0 25 0 1 0 133241805 327430144 76447 4089446400 4194304 9819077 140735160071200 18446744073709551615 7228092 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5310/statm: 79939 76447 733 1374 0 78560 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 319756

[startup+462.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 5323
/proc/meminfo: memFree=30984840/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=340736 CPUtime=462.31
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 14221408 0 0 0 44222 2009 0 0 25 0 1 0 133241805 348913664 81586 4089446400 4194304 9819077 140735160071200 18446744073709551615 7219969 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5310/statm: 85184 81588 733 1374 0 83805 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 340736

[startup+522.301 s]
/proc/loadavg: 2.32 2.09 2.02 3/199 5376
/proc/meminfo: memFree=31132556/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=368960 CPUtime=522.31
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 16499412 0 0 0 49911 2320 0 0 25 0 1 0 133241805 377815040 86971 4089446400 4194304 9819077 140735160071200 18446744073709551615 7226868 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 92240 86971 748 1374 0 90861 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 368960

[startup+582.301 s]
/proc/loadavg: 2.18 2.09 2.02 3/199 5377
/proc/meminfo: memFree=31111740/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=380956 CPUtime=582.31
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 18785885 0 0 0 55578 2653 0 0 25 0 1 0 133241805 390098944 91086 4089446400 4194304 9819077 140735160071200 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 95239 91086 748 1374 0 93860 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 380956

[startup+642.301 s]
/proc/loadavg: 2.06 2.07 2.02 3/199 5379
/proc/meminfo: memFree=31085412/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=399088 CPUtime=642.32
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 20958662 0 0 0 61259 2973 0 0 25 0 1 0 133241805 408666112 95693 4089446400 4194304 9819077 140735160071200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 99772 95693 748 1374 0 98393 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 399088

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/199 5387
/proc/meminfo: memFree=30979092/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=512192 CPUtime=942.33
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 31664481 0 0 0 89751 4482 0 0 25 0 1 0 133241805 524484608 122290 4089446400 4194304 9819077 140735160071200 18446744073709551615 7316348 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 128048 122290 748 1374 0 126669 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 512192

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 5389
/proc/meminfo: memFree=30956360/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=526516 CPUtime=1002.32
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 33490289 0 0 0 95474 4758 0 0 25 0 1 0 133241805 539152384 127570 4089446400 4194304 9819077 140735160071200 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 131629 127571 748 1374 0 130250 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 526516

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 5390
/proc/meminfo: memFree=30933880/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=549040 CPUtime=1062.33
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 35302138 0 0 0 101200 5033 0 0 25 0 1 0 133241805 562216960 133185 4089446400 4194304 9819077 140735160071200 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 137260 133185 748 1374 0 135881 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 549040

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 5392
/proc/meminfo: memFree=30911888/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=570500 CPUtime=1122.33
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 36978964 0 0 0 106950 5283 0 0 25 0 1 0 133241805 584192000 138605 4089446400 4194304 9819077 140735160071200 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 142625 138605 748 1374 0 141246 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 570500

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 5393
/proc/meminfo: memFree=30893020/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=590064 CPUtime=1182.33
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 38785363 0 0 0 112677 5556 0 0 25 0 1 0 133241805 604225536 143523 4089446400 4194304 9819077 140735160071200 18446744073709551615 4965291 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 147516 143523 748 1374 0 146137 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 590064

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 5395
/proc/meminfo: memFree=30871892/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=609904 CPUtime=1242.33
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 40206359 0 0 0 118455 5778 0 0 25 0 1 0 133241805 624541696 148457 4089446400 4194304 9819077 140735160071200 18446744073709551615 6690305 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 152476 148484 748 1374 0 151097 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 609904

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/199 5397
/proc/meminfo: memFree=30847804/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=633080 CPUtime=1302.34
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 41681869 0 0 0 124227 6007 0 0 25 0 1 0 133241805 648273920 154351 4089446400 4194304 9819077 140735160071200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 158270 154351 748 1374 0 156891 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 633080

[startup+1362.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/199 5398
/proc/meminfo: memFree=30824952/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=655908 CPUtime=1362.33
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 43221231 0 0 0 129987 6246 0 0 25 0 1 0 133241805 671649792 160034 4089446400 4194304 9819077 140735160071200 18446744073709551615 6519461 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 163977 160034 748 1374 0 162598 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 655908

[startup+1422.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/199 5400
/proc/meminfo: memFree=30800496/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=680396 CPUtime=1422.34
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 44821157 0 0 0 135743 6491 0 0 25 0 1 0 133241805 696725504 166186 4089446400 4194304 9819077 140735160071200 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 170099 166186 748 1374 0 168720 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 680396

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/199 5401
/proc/meminfo: memFree=30777900/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=702988 CPUtime=1482.34
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 46355883 0 0 0 141506 6728 0 0 25 0 1 0 133241805 719859712 171835 4089446400 4194304 9819077 140735160071200 18446744073709551615 7816431 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 175747 171835 748 1374 0 174368 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 702988

[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/199 5403
/proc/meminfo: memFree=30758652/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=722740 CPUtime=1542.35
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 47619737 0 0 0 147302 6933 0 0 25 0 1 0 133241805 740085760 176831 4089446400 4194304 9819077 140735160071200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 180685 176831 748 1374 0 179306 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 722740

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 5405
/proc/meminfo: memFree=30735312/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=745360 CPUtime=1602.35
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 48866318 0 0 0 153109 7126 0 0 25 0 1 0 133241805 763248640 182475 4089446400 4194304 9819077 140735160071200 18446744073709551615 7302005 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 186340 182475 748 1374 0 184961 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 745360

[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/199 5406
/proc/meminfo: memFree=30715188/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=767336 CPUtime=1662.35
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 50275438 0 0 0 158889 7346 0 0 25 0 1 0 133241805 785752064 187418 4089446400 4194304 9819077 140735160071200 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 191834 187418 748 1374 0 190455 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 767336

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/198 5416
/proc/meminfo: memFree=30619660/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=789212 CPUtime=1722.35
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 51819734 0 0 0 164641 7594 0 0 25 0 1 0 133241805 808153088 192928 4089446400 4194304 9819077 140735160071200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 197303 192928 748 1374 0 195924 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 789212

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/199 5425
/proc/meminfo: memFree=30529572/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=817620 CPUtime=1782.35
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 53075923 0 0 0 170435 7800 0 0 25 0 1 0 133241805 837242880 198346 4089446400 4194304 9819077 140735160071200 18446744073709551615 6670009 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 204455 198354 748 1374 0 203076 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 817620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.02 2.00 3/199 5426
/proc/meminfo: memFree=30522000/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=817900 CPUtime=1800.05
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 53407278 0 0 0 172149 7856 0 0 25 0 1 0 133241805 837529600 200100 4089446400 4194304 9819077 140735160071200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/5310/statm: 204475 200100 748 1374 0 203096 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 817900

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

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

[startup+1800.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/199 5426
/proc/meminfo: memFree=30522000/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=405604 CPUtime=1800.35
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 53407465 0 0 0 172177 7858 0 0 18 0 1 0 133241805 415338496 97088 4089446400 4194304 9819077 140735160071200 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/5310/statm: 101401 97088 751 1374 0 100022 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 405604

[startup+1800.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/199 5426
/proc/meminfo: memFree=30522000/32951124 swapFree=67111528/67111528
[pid=5310] ppid=5308 vsize=85056 CPUtime=1800.55
/proc/5310/stat : 5310 (pbscip.linux.x8) R 5308 5310 3929 0 -1 4202496 53407465 0 0 0 172195 7860 0 0 18 0 1 0 133241805 87097344 20215 4089446400 4194304 9819077 140735160071200 18446744073709551615 5960059 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/5310/statm: 21264 20215 751 1374 0 19885 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (KiB) 85056

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.58
CPU user time (s): 1721.97
CPU system time (s): 78.607
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 826172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1721.97
system time used= 78.607
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53407469
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= 1461

runsolver used 2.48562 second user time and 5.78812 second system time

The end

Launcher Data 

Begin job on node111 at 2010-06-30 19:15:35
IDJOB=2693236
IDBENCH=79099
IDSOLVER=1205
FILE ID=node111/2693236-1277918135
PBS_JOBID= 11197312
Free space on /tmp= 74204 MiB

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

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

MD5SUM BENCH= 88bd8107cec9b448bb9d4a61d3b4c661
RANDOM SEED=1791574496

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31346428 kB
Buffers:        205244 kB
Cached:         801888 kB
SwapCached:          0 kB
Active:         868084 kB
Inactive:       592168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31346428 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7612 kB
Writeback:           0 kB
AnonPages:      452996 kB
Mapped:          16540 kB
Slab:            78480 kB
PageTables:       5448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   606952 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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