Trace number 1868727

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2? (TO) 1800.2 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-net12.opb
MD5SUM24a04ed274dd43d443428abf078e95f9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark214
Best CPU time to get the best result obtained on this benchmark13.9549
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 214
Optimality of the best value was proved YES
Number of variables147395
Total number of constraints26533
Number of constraints which are clauses12
Number of constraints which are cardinality constraints (but not clauses)391
Number of constraints which are nor clauses,nor cardinality constraints26130
Minimum length of a constraint2
Maximum length of a constraint292
Number of terms in the objective function 39
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 337
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 12288
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 137193
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.39/1.43	c SCIP version 1.1.0.7
1.39/1.43	c LP-Solver Clp 1.8.2
1.39/1.43	c user parameter file <scip.set> not found - using default parameters
1.39/1.43	c read problem <HOME/instance-1868727-1245135240.opb>
1.39/1.43	c original problem has 147395 variables (147395 bin, 0 int, 0 impl, 0 cont) and 26533 constraints
2.59/2.61	c start presolving problem
2.59/2.61	c presolving:
2.99/3.00	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 16864 chg sides, 16864 chg coeffs, 0 upgd conss, 20 impls, 407 clqs
3.89/4.00	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 16864 chg sides, 16864 chg coeffs, 25987 upgd conss, 20 impls, 407 clqs
82.25/82.33	c (round 3) 0 del vars, 0 del conss, 0 chg bounds, 102272 chg sides, 187696 chg coeffs, 25997 upgd conss, 463984 impls, 407 clqs
129.34/129.42	c (round 4) 0 del vars, 8160 del conss, 0 chg bounds, 102272 chg sides, 192048 chg coeffs, 25997 upgd conss, 463984 impls, 407 clqs
154.33/154.40	c (round 5) 55 del vars, 8160 del conss, 0 chg bounds, 102272 chg sides, 192048 chg coeffs, 25997 upgd conss, 465004 impls, 379 clqs
237.01/237.18	c (round 6) 55 del vars, 8340 del conss, 0 chg bounds, 102648 chg sides, 192644 chg coeffs, 25997 upgd conss, 465180 impls, 379 clqs
272.50/272.70	c (round 7) 457 del vars, 10256 del conss, 0 chg bounds, 102648 chg sides, 192644 chg coeffs, 25997 upgd conss, 465180 impls, 379 clqs
276.10/276.29	c (round 8) 2825 del vars, 10426 del conss, 0 chg bounds, 102648 chg sides, 192644 chg coeffs, 25997 upgd conss, 465180 impls, 379 clqs
279.50/279.64	c (round 9) 2825 del vars, 10635 del conss, 0 chg bounds, 102648 chg sides, 192644 chg coeffs, 25997 upgd conss, 465180 impls, 379 clqs
288.99/289.10	c (round 10) 2875 del vars, 10635 del conss, 0 chg bounds, 102648 chg sides, 192644 chg coeffs, 25997 upgd conss, 465706 impls, 375 clqs
324.38/324.51	c (round 11) 2877 del vars, 10694 del conss, 0 chg bounds, 102752 chg sides, 192872 chg coeffs, 25997 upgd conss, 465742 impls, 394 clqs
352.68/352.80	c (round 12) 3017 del vars, 11326 del conss, 0 chg bounds, 102795 chg sides, 192991 chg coeffs, 26008 upgd conss, 465742 impls, 404 clqs
358.28/358.48	c (round 13) 3645 del vars, 11573 del conss, 0 chg bounds, 102799 chg sides, 193001 chg coeffs, 26008 upgd conss, 465742 impls, 405 clqs
361.68/361.84	c (round 14) 3919 del vars, 11602 del conss, 0 chg bounds, 102801 chg sides, 193048 chg coeffs, 26008 upgd conss, 465742 impls, 405 clqs
361.98/362.19	c (round 15) 3939 del vars, 11633 del conss, 0 chg bounds, 102802 chg sides, 193048 chg coeffs, 26008 upgd conss, 465742 impls, 405 clqs
368.07/368.23	c (round 16) 3989 del vars, 11633 del conss, 0 chg bounds, 102802 chg sides, 193048 chg coeffs, 26008 upgd conss, 465986 impls, 387 clqs
405.26/405.45	c (round 17) 3989 del vars, 11674 del conss, 0 chg bounds, 102860 chg sides, 193282 chg coeffs, 26008 upgd conss, 465986 impls, 408 clqs
420.85/421.09	c (round 18) 4011 del vars, 11938 del conss, 0 chg bounds, 102860 chg sides, 193306 chg coeffs, 26013 upgd conss, 465986 impls, 408 clqs
421.25/421.48	c (round 19) 4407 del vars, 11966 del conss, 0 chg bounds, 102860 chg sides, 193306 chg coeffs, 26013 upgd conss, 465986 impls, 408 clqs
433.55/433.74	c (round 20) 4457 del vars, 11966 del conss, 0 chg bounds, 102860 chg sides, 193306 chg coeffs, 26013 upgd conss, 466768 impls, 407 clqs
478.54/478.75	c (round 21) 4457 del vars, 11976 del conss, 0 chg bounds, 102875 chg sides, 193772 chg coeffs, 26013 upgd conss, 466768 impls, 431 clqs
505.13/505.33	c (round 22) 4464 del vars, 12058 del conss, 0 chg bounds, 102877 chg sides, 193927 chg coeffs, 26035 upgd conss, 466768 impls, 431 clqs
506.03/506.26	c (round 23) 4549 del vars, 12081 del conss, 0 chg bounds, 102879 chg sides, 193964 chg coeffs, 26035 upgd conss, 466768 impls, 431 clqs
516.93/517.12	c (round 24) 4610 del vars, 12090 del conss, 0 chg bounds, 102880 chg sides, 193964 chg coeffs, 26035 upgd conss, 468270 impls, 431 clqs
560.82/561.04	c (round 25) 4611 del vars, 12124 del conss, 0 chg bounds, 102945 chg sides, 194699 chg coeffs, 26035 upgd conss, 468270 impls, 465 clqs
585.30/585.57	c (round 26) 4630 del vars, 12381 del conss, 0 chg bounds, 102991 chg sides, 194910 chg coeffs, 26055 upgd conss, 468270 impls, 470 clqs
591.61/591.81	c (round 27) 5110 del vars, 12676 del conss, 0 chg bounds, 102999 chg sides, 194928 chg coeffs, 26055 upgd conss, 468270 impls, 470 clqs
592.11/592.39	c (round 28) 5426 del vars, 12721 del conss, 0 chg bounds, 102999 chg sides, 194928 chg coeffs, 26055 upgd conss, 468270 impls, 470 clqs
592.71/592.94	c (round 29) 5480 del vars, 12757 del conss, 0 chg bounds, 103005 chg sides, 194928 chg coeffs, 26055 upgd conss, 468270 impls, 470 clqs
600.90/601.13	c (round 30) 5530 del vars, 12757 del conss, 0 chg bounds, 103005 chg sides, 194928 chg coeffs, 26055 upgd conss, 469044 impls, 445 clqs
634.09/634.38	c (round 31) 5530 del vars, 12858 del conss, 0 chg bounds, 103150 chg sides, 195359 chg coeffs, 26055 upgd conss, 469064 impls, 459 clqs
658.69/658.95	c (round 32) 5884 del vars, 13663 del conss, 0 chg bounds, 103162 chg sides, 195404 chg coeffs, 26063 upgd conss, 469064 impls, 459 clqs
661.09/661.35	c (round 33) 6952 del vars, 13798 del conss, 0 chg bounds, 103166 chg sides, 195488 chg coeffs, 26063 upgd conss, 469064 impls, 459 clqs
662.88/663.15	c (round 34) 7016 del vars, 13818 del conss, 0 chg bounds, 103166 chg sides, 195488 chg coeffs, 26063 upgd conss, 469064 impls, 459 clqs
663.29/663.53	c (round 35) 7016 del vars, 13892 del conss, 0 chg bounds, 103170 chg sides, 195488 chg coeffs, 26063 upgd conss, 469064 impls, 459 clqs
668.79/669.05	c    (665.0s) probing: 1000/147395 (0.7%) - 203 fixings, 132 aggregations, 2135 implications, 0 bound changes
670.59/670.89	c (round 36) 7066 del vars, 13892 del conss, 0 chg bounds, 103170 chg sides, 195488 chg coeffs, 26063 upgd conss, 469126 impls, 424 clqs
693.97/694.22	c (round 37) 7068 del vars, 14128 del conss, 0 chg bounds, 103592 chg sides, 196179 chg coeffs, 26063 upgd conss, 469256 impls, 423 clqs
722.27/722.58	c (round 38) 7874 del vars, 16297 del conss, 0 chg bounds, 103592 chg sides, 196187 chg coeffs, 26064 upgd conss, 469256 impls, 423 clqs
730.97/731.25	c (round 39) 10810 del vars, 16650 del conss, 0 chg bounds, 103592 chg sides, 196187 chg coeffs, 26064 upgd conss, 469256 impls, 423 clqs
746.06/746.37	c (round 40) 10860 del vars, 16650 del conss, 0 chg bounds, 103592 chg sides, 196187 chg coeffs, 26064 upgd conss, 469488 impls, 377 clqs
777.15/777.48	c (round 41) 10861 del vars, 17241 del conss, 1 chg bounds, 104640 chg sides, 197979 chg coeffs, 26064 upgd conss, 469666 impls, 381 clqs
808.45/808.75	c (round 42) 12871 del vars, 23495 del conss, 1 chg bounds, 104672 chg sides, 198070 chg coeffs, 26068 upgd conss, 469666 impls, 390 clqs
823.74/824.09	c (round 43) 19485 del vars, 23767 del conss, 1 chg bounds, 104676 chg sides, 198078 chg coeffs, 26068 upgd conss, 469666 impls, 390 clqs
832.53/832.85	c (round 44) 19760 del vars, 23805 del conss, 1 chg bounds, 104676 chg sides, 198078 chg coeffs, 26068 upgd conss, 469666 impls, 390 clqs
833.54/833.84	c (round 45) 19780 del vars, 24439 del conss, 1 chg bounds, 104677 chg sides, 198078 chg coeffs, 26068 upgd conss, 469666 impls, 390 clqs
847.03/847.37	c (round 46) 19830 del vars, 24439 del conss, 1 chg bounds, 104677 chg sides, 198078 chg coeffs, 26068 upgd conss, 471044 impls, 340 clqs
891.82/892.16	c (round 47) 19830 del vars, 25011 del conss, 1 chg bounds, 105703 chg sides, 200334 chg coeffs, 26098 upgd conss, 471144 impls, 373 clqs
920.02/920.35	c (round 48) 22254 del vars, 31132 del conss, 1 chg bounds, 105905 chg sides, 200926 chg coeffs, 26098 upgd conss, 471144 impls, 444 clqs
945.51/945.81	c (round 49) 29232 del vars, 32262 del conss, 1 chg bounds, 105932 chg sides, 200985 chg coeffs, 26098 upgd conss, 471144 impls, 444 clqs
953.10/953.40	c (round 50) 30507 del vars, 32534 del conss, 1 chg bounds, 105932 chg sides, 200985 chg coeffs, 26098 upgd conss, 471144 impls, 444 clqs
955.00/955.39	c (round 51) 30686 del vars, 32960 del conss, 1 chg bounds, 105944 chg sides, 200985 chg coeffs, 26098 upgd conss, 471144 impls, 444 clqs
967.50/967.84	c    (963.0s) probing: 1668/147395 (1.1%) - 337 fixings, 143 aggregations, 3274 implications, 0 bound changes
967.50/967.84	c    (963.0s) probing aborted: 100/100 successive totally useless probings
967.50/967.84	c (round 52) 30711 del vars, 32960 del conss, 1 chg bounds, 105944 chg sides, 200985 chg coeffs, 26098 upgd conss, 471980 impls, 415 clqs
996.49/996.87	c (round 53) 30711 del vars, 33234 del conss, 1 chg bounds, 106446 chg sides, 202106 chg coeffs, 26118 upgd conss, 471990 impls, 439 clqs
1009.19/1009.50	c (round 54) 31915 del vars, 36194 del conss, 1 chg bounds, 106544 chg sides, 202363 chg coeffs, 26118 upgd conss, 471990 impls, 480 clqs
1026.38/1026.78	c (round 55) 35483 del vars, 36745 del conss, 1 chg bounds, 106546 chg sides, 202367 chg coeffs, 26118 upgd conss, 471990 impls, 481 clqs
1031.38/1031.74	c (round 56) 36060 del vars, 36853 del conss, 1 chg bounds, 106546 chg sides, 202367 chg coeffs, 26118 upgd conss, 471990 impls, 481 clqs
1032.58/1032.96	c (round 57) 36071 del vars, 37188 del conss, 1 chg bounds, 106549 chg sides, 202367 chg coeffs, 26118 upgd conss, 471990 impls, 481 clqs
1033.38/1033.75	c    (1028.6s) probing: 1678/147395 (1.1%) - 337 fixings, 143 aggregations, 3274 implications, 0 bound changes
1033.38/1033.75	c    (1028.6s) probing aborted: 100/100 successive totally useless probings
1033.38/1033.78	c presolving (58 rounds):
1033.38/1033.78	c  36071 deleted vars, 37188 deleted constraints, 1 tightened bounds, 0 added holes, 106549 changed sides, 202367 changed coefficients
1033.38/1033.78	c  471990 implications, 481 cliques
1033.38/1033.78	c presolved problem has 111324 variables (111324 bin, 0 int, 0 impl, 0 cont) and 78978 constraints
1033.38/1033.78	c   13322 constraints of type <knapsack>
1033.38/1033.78	c   65294 constraints of type <setppc>
1033.38/1033.78	c     352 constraints of type <linear>
1033.38/1033.78	c      10 constraints of type <logicor>
1033.38/1033.78	c transformed objective value is always integral (scale: 1)
1033.38/1033.78	c Presolving Time: 1028.11
1033.48/1033.83	c OPT-LIN
1033.48/1033.83	c -----------------------------------------------------------------------------------------------
1033.48/1033.83	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1033.48/1033.83	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1033.48/1033.83	c limits/memory = c 1620
1033.48/1033.83	c # maximal time in seconds to run
1033.48/1033.83	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1033.48/1033.83	c limits/time = c 1791
1033.48/1033.83	c # frequency for displaying node information lines
1033.48/1033.83	c # [type: int, range: [-1,2147483647], default: 100]
1033.48/1033.83	c display/freq = c 10000
1033.48/1033.83	c -----------------------------------------------------------------------------------------------
1033.48/1033.83	c start solving problem
1033.48/1033.83	c 
1086.26/1086.65	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1086.26/1086.65	c  1081s|     1 |     0 | 19977 | 545M|   0 |1540 | 111k|  78k|  78k| 111k|  78k|   0 |   0 |   0 | 6.592824e+01 |      --      |    Inf 
1405.97/1406.48	c  1401s|     1 |     0 | 50674 | 552M|   0 |2357 | 111k|  78k|  78k| 111k|  80k|1055 |   0 |   0 | 7.326806e+01 |      --      |    Inf 
1597.92/1598.44	c  1592s|     1 |     0 | 66347 | 553M|   0 |3305 | 111k|  78k|  78k| 111k|  81k|2155 |   0 |   0 | 7.371129e+01 |      --      |    Inf 
1773.58/1774.17	c  1768s|     1 |     0 | 75658 | 553M|   0 |3766 | 111k|  78k|  78k| 111k|  81k|2807 |   0 |   0 | 7.372877e+01 |      --      |    Inf 
1796.77/1797.34	c  1791s|     1 |     0 | 75658 | 553M|   0 |   - | 111k|  78k|  78k| 111k|  82k|3314 |   0 |   0 | 7.372877e+01 |      --      |    Inf 
1796.87/1797.43	c  1791s|     1 |     2 | 75658 | 553M|   0 |   - | 111k|  78k|  78k| 111k|  82k|3314 |   0 |   0 | 7.372877e+01 |      --      |    Inf 
1796.87/1797.43	c 
1796.87/1797.43	c SCIP Status        : solving was interrupted [time limit reached]
1796.87/1797.43	c Solving Time (sec) : 1791.17
1796.87/1797.43	c Solving Nodes      : 1
1796.87/1797.43	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.87/1797.43	c Dual Bound         : +7.37287740551144e+01
1796.87/1797.43	c Gap                : infinite
1796.87/1797.43	c NODE         1
1796.87/1797.43	c DUAL BOUND   73.7288
1796.87/1797.43	c PRIMAL BOUND 1e+20
1796.87/1797.43	c GAP          1e+20
1796.87/1797.43	s UNKNOWN
1796.87/1797.43	c SCIP Status        : solving was interrupted [time limit reached]
1796.87/1797.43	c Solving Time       :    1791.17
1796.87/1797.43	c Original Problem   :
1796.87/1797.43	c   Problem name     : HOME/instance-1868727-1245135240.opb
1796.87/1797.43	c   Variables        : 147395 (147395 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.87/1797.43	c   Constraints      : 26533 initial, 26533 maximal
1796.87/1797.43	c Presolved Problem  :
1796.87/1797.43	c   Problem name     : t_HOME/instance-1868727-1245135240.opb
1796.87/1797.43	c   Variables        : 111324 (111324 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.87/1797.43	c   Constraints      : 78978 initial, 78978 maximal
1796.87/1797.43	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1796.87/1797.43	c   trivial          :       1.63          0          0          0          0          0          0          0          0
1796.87/1797.43	c   dualfix          :       2.10      35585          0          0          0          0          0          0          0
1796.87/1797.43	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1796.87/1797.43	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1796.87/1797.43	c   implics          :       1.35          0          0          0          0          0          0          0          0
1796.87/1797.43	c   probing          :      88.40        337        143          0          0          0          0          0          0
1796.87/1797.43	c   knapsack         :     920.43          0          0          0          0          0      12256      89657     185503
1796.87/1797.43	c   setppc           :      12.48          0          0          0          0          0      24867         28          0
1796.87/1797.43	c   linear           :       0.96          1          5          0          1          0         63      16864      16864
1796.87/1797.43	c   logicor          :       0.00          0          0          0          0          0          2          0          0
1796.87/1797.43	c   root node        :          -          0          -          -          0          -          -          -          -
1796.87/1797.43	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1796.87/1797.43	c   integral         :          0          0          0          0          0          0          0          0          0          0
1796.87/1797.43	c   knapsack         :      13322          4       4478          0          1          0          0        800          0          0
1796.87/1797.43	c   setppc           :      65294          4       4478          0          1        150          0          0          0          0
1796.87/1797.43	c   linear           :        352          4       4328          0          0        129          0          0          0          0
1796.87/1797.43	c   logicor          :         10          4         51          0          1          0          0          0          0          0
1796.87/1797.43	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1796.87/1797.43	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1796.87/1797.43	c   integral         :       0.00       0.00       0.00       0.00       0.00
1796.87/1797.43	c   knapsack         :       7.53       0.36       7.17       0.00       0.00
1796.87/1797.43	c   setppc           :      25.79       0.04      25.72       0.00       0.03
1796.87/1797.43	c   linear           :       2.03       1.72       0.31       0.00       0.00
1796.87/1797.43	c   logicor          :       0.00       0.00       0.00       0.00       0.00
1796.87/1797.43	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1796.87/1797.43	c Propagators        :       Time      Calls    Cutoffs    DomReds
1796.87/1797.43	c   rootredcost      :       0.00          0          0          0
1796.87/1797.43	c   pseudoobj        :       0.01          5          0          0
1796.87/1797.43	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.87/1797.43	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1796.87/1797.43	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.87/1797.43	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.87/1797.43	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.87/1797.43	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.87/1797.43	c   applied globally :          -          -          -          0        0.0          -          -          -
1796.87/1797.43	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.87/1797.43	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.87/1797.43	c   cut pool         :       0.00          3          -          -          7          -    (maximal pool size: 3833)
1796.87/1797.43	c   redcost          :       0.05          4          0          0          0          0
1796.87/1797.43	c   impliedbounds    :       0.14          4          0          0       3995          0
1796.87/1797.43	c   intobj           :       0.00          0          0          0          0          0
1796.87/1797.43	c   gomory           :     228.25          4          0          0        264          0
1796.87/1797.43	c   strongcg         :     198.11          4          0          0         33          0
1796.87/1797.43	c   cmir             :       8.56          3          0          0          0          0
1796.87/1797.43	c   flowcover        :       8.16          3          0          0          0          0
1796.87/1797.43	c   clique           :       0.43          4          0          0         27          0
1796.87/1797.43	c   zerohalf         :       0.00          0          0          0          0          0
1796.87/1797.43	c   mcf              :       0.18          1          0          0          0          0
1796.87/1797.43	c Pricers            :       Time      Calls       Vars
1796.87/1797.43	c   problem variables:       0.00          0          0
1796.87/1797.43	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.87/1797.43	c   relpscost        :       0.00          0          0          0          0          0          0
1796.87/1797.43	c   pscost           :       0.00          0          0          0          0          0          0
1796.87/1797.43	c   inference        :       0.05          1          0          0          0          0          2
1796.87/1797.43	c   mostinf          :       0.00          0          0          0          0          0          0
1796.87/1797.43	c   leastinf         :       0.00          0          0          0          0          0          0
1796.87/1797.43	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.87/1797.43	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.87/1797.43	c   random           :       0.00          0          0          0          0          0          0
1796.87/1797.43	c Primal Heuristics  :       Time      Calls      Found
1796.87/1797.43	c   LP solutions     :       0.00          -          0
1796.87/1797.43	c   pseudo solutions :       0.00          -          0
1796.87/1797.43	c   oneopt           :       0.00          0          0
1796.87/1797.43	c   simplerounding   :       0.01          0          0
1796.87/1797.43	c   rounding         :       0.06          4          0
1796.87/1797.43	c   shifting         :       1.12          4          0
1796.87/1797.43	c   intshifting      :       0.00          0          0
1796.87/1797.43	c   fixandinfer      :       0.00          0          0
1796.87/1797.43	c   feaspump         :      68.74          1          0
1796.87/1797.43	c   coefdiving       :       0.00          0          0
1796.87/1797.43	c   pscostdiving     :       0.00          0          0
1796.87/1797.43	c   fracdiving       :       0.00          0          0
1796.87/1797.43	c   veclendiving     :       0.00          0          0
1796.87/1797.43	c   intdiving        :       0.00          0          0
1796.87/1797.43	c   actconsdiving    :       0.00          0          0
1796.87/1797.43	c   objpscostdiving  :       0.00          0          0
1796.87/1797.43	c   rootsoldiving    :       0.00          0          0
1796.87/1797.43	c   linesearchdiving :       0.00          0          0
1796.87/1797.43	c   guideddiving     :       0.00          0          0
1796.87/1797.43	c   octane           :       0.00          0          0
1796.87/1797.43	c   rens             :       0.00          0          0
1796.87/1797.43	c   rins             :       0.00          0          0
1796.87/1797.43	c   localbranching   :       0.00          0          0
1796.87/1797.43	c   mutation         :       0.00          0          0
1796.87/1797.43	c   crossover        :       0.00          0          0
1796.87/1797.43	c   dins             :       0.00          0          0
1796.87/1797.43	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.87/1797.43	c   primal LP        :       0.00          0          0       0.00          -
1796.87/1797.43	c   dual LP          :     245.18          4      69972   17493.00     285.39
1796.87/1797.43	c   barrier LP       :       0.00          0          0       0.00          -
1796.87/1797.43	c   diving/probing LP:      62.04         61       5686      93.21      91.65
1796.87/1797.43	c   strong branching :       0.00          0          0       0.00          -
1796.87/1797.43	c     (at root node) :          -          0          0       0.00          -
1796.87/1797.43	c   conflict analysis:       0.00          0          0       0.00          -
1796.87/1797.43	c B&B Tree           :
1796.87/1797.43	c   number of runs   :          1
1796.87/1797.43	c   nodes            :          1
1796.87/1797.43	c   nodes (total)    :          1
1796.87/1797.43	c   nodes left       :          2
1796.87/1797.43	c   max depth        :          0
1796.87/1797.43	c   max depth (total):          0
1796.87/1797.43	c   backtracks       :          0 (0.0%)
1796.87/1797.43	c   delayed cutoffs  :          0
1796.87/1797.43	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.87/1797.43	c   avg switch length:       1.00
1796.87/1797.43	c   switching time   :       0.00
1796.87/1797.43	c Solution           :
1796.87/1797.43	c   Solutions found  :          0 (0 improvements)
1796.87/1797.43	c   Primal Bound     :          -
1796.87/1797.43	c   Dual Bound       : +7.37287740551144e+01
1796.87/1797.43	c   Gap              :   infinite
1796.87/1797.43	c   Root Dual Bound  : +7.37287740551144e+01

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3721
/proc/meminfo: memFree=1397568/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=7616 CPUtime=0
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 582 0 0 0 0 0 0 0 18 0 1 0 181123689 7798784 566 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/3721/statm: 1904 577 353 1256 0 643 0

[startup+0.0532781 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3721
/proc/meminfo: memFree=1397568/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=18828 CPUtime=0.04
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 3664 0 0 0 3 1 0 0 18 0 1 0 181123689 19279872 3648 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/3721/statm: 4707 3655 378 1256 0 3446 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18828

[startup+0.101282 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3721
/proc/meminfo: memFree=1397568/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=26784 CPUtime=0.09
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 5619 0 0 0 8 1 0 0 18 0 1 0 181123689 27426816 5604 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/3721/statm: 6696 5613 378 1256 0 5435 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26784

[startup+0.301302 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3721
/proc/meminfo: memFree=1397568/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=62472 CPUtime=0.29
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 14323 0 0 0 24 5 0 0 19 0 1 0 181123689 63971328 14308 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/3721/statm: 15618 14316 378 1256 0 14357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62472

[startup+0.701344 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3721
/proc/meminfo: memFree=1397568/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=115960 CPUtime=0.69
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 27919 0 0 0 58 11 0 0 23 0 1 0 181123689 118743040 27903 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/3721/statm: 28990 27903 378 1256 0 27729 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 115960

[startup+1.50142 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3722
/proc/meminfo: memFree=1283256/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=149768 CPUtime=1.5
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 36480 0 0 0 135 15 0 0 25 0 1 0 181123689 153362432 36110 1992294400 4194304 9342243 548682068736 18446744073709551615 4512305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 37442 36110 408 1256 0 36181 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 149768

[startup+3.10158 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3722
/proc/meminfo: memFree=1113912/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=298488 CPUtime=3.09
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 73646 0 0 0 277 32 0 0 25 0 1 0 181123689 305651712 73276 1992294400 4194304 9342243 548682068736 18446744073709551615 8312599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 74622 72522 462 1256 0 73361 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 298488

[startup+6.30291 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3722
/proc/meminfo: memFree=935992/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=474044 CPUtime=6.29
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 117174 0 0 0 578 51 0 0 25 0 1 0 181123689 485421056 115961 1992294400 4194304 9342243 548682068736 18446744073709551615 8247743 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 118511 115961 477 1256 0 117250 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 474044

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3722
/proc/meminfo: memFree=919688/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=491516 CPUtime=12.69
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 121434 0 0 0 1215 54 0 0 25 0 1 0 181123689 503312384 120221 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 122879 120230 477 1256 0 121618 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 491516

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3722
/proc/meminfo: memFree=903624/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=505136 CPUtime=25.49
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 124912 0 0 0 2492 57 0 0 25 0 1 0 181123689 517259264 123699 1992294400 4194304 9342243 548682068736 18446744073709551615 8247748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 126284 123699 477 1256 0 125023 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 505136

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3722
/proc/meminfo: memFree=892232/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=518580 CPUtime=51.06
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 127881 0 0 0 5048 58 0 0 25 0 1 0 181123689 531025920 126668 1992294400 4194304 9342243 548682068736 18446744073709551615 8247743 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 129645 126668 477 1256 0 128384 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 518580

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3722
/proc/meminfo: memFree=886920/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=524432 CPUtime=102.25
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 132502 0 0 0 10156 69 0 0 25 0 1 0 181123689 537018368 127885 1992294400 4194304 9342243 548682068736 18446744073709551615 8247869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 131108 127885 480 1256 0 129847 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 524432

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3722
/proc/meminfo: memFree=843656/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=567408 CPUtime=162.22
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 143329 0 0 0 16141 81 0 0 25 0 1 0 181123689 581025792 138678 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 141852 138678 502 1256 0 140591 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 567408

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3722
/proc/meminfo: memFree=843592/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=567408 CPUtime=222.21
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 143330 0 0 0 22138 83 0 0 25 0 1 0 181123689 581025792 138679 1992294400 4194304 9342243 548682068736 18446744073709551615 8247732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 141852 138679 502 1256 0 140591 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 567408

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3722
/proc/meminfo: memFree=830472/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=580508 CPUtime=282.19
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 146606 0 0 0 28113 106 0 0 25 0 1 0 181123689 594440192 141955 1992294400 4194304 9342243 548682068736 18446744073709551615 5422761 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 145127 141955 502 1256 0 143866 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 580508

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3722
/proc/meminfo: memFree=830408/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=580508 CPUtime=342.18
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 146607 0 0 0 34105 113 0 0 25 0 1 0 181123689 594440192 141956 1992294400 4194304 9342243 548682068736 18446744073709551615 8247743 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 145127 141956 503 1256 0 143866 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 580508

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3722
/proc/meminfo: memFree=830408/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=580508 CPUtime=402.17
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 146607 0 0 0 40078 139 0 0 25 0 1 0 181123689 594440192 141956 1992294400 4194304 9342243 548682068736 18446744073709551615 8247748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 145127 141956 503 1256 0 143866 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 580508

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=830408/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=580508 CPUtime=462.14
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 146607 0 0 0 46055 159 0 0 25 0 1 0 181123689 594440192 141956 1992294400 4194304 9342243 548682068736 18446744073709551615 8247768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 145127 141956 503 1256 0 143866 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 580508

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=816776/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=594120 CPUtime=522.13
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 150010 0 0 0 52027 186 0 0 25 0 1 0 181123689 608378880 145359 1992294400 4194304 9342243 548682068736 18446744073709551615 8247828 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 148530 145359 503 1256 0 147269 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 594120

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=816712/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=594120 CPUtime=582.1
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 150010 0 0 0 58016 194 0 0 25 0 1 0 181123689 608378880 145359 1992294400 4194304 9342243 548682068736 18446744073709551615 8247768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 148530 145359 503 1256 0 147269 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 594120

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=816712/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=594120 CPUtime=642.09
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 150010 0 0 0 63981 228 0 0 25 0 1 0 181123689 608378880 145359 1992294400 4194304 9342243 548682068736 18446744073709551615 8247732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 148530 145359 503 1256 0 147269 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 594120

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=816840/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=594120 CPUtime=882.03
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 150015 0 0 0 87899 304 0 0 25 0 1 0 181123689 608378880 145364 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 148530 145364 508 1256 0 147269 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 594120

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=816840/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=594120 CPUtime=942
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 150015 0 0 0 93888 312 0 0 25 0 1 0 181123689 608378880 145364 1992294400 4194304 9342243 548682068736 18446744073709551615 8247743 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 148530 145364 508 1256 0 147269 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 594120

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=816776/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=594120 CPUtime=1001.99
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 150015 0 0 0 99868 331 0 0 25 0 1 0 181123689 608378880 145364 1992294400 4194304 9342243 548682068736 18446744073709551615 8247748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 148530 145364 508 1256 0 147269 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 594120

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=694024/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=739668 CPUtime=1061.97
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 181004 0 0 0 105831 366 0 0 25 0 1 0 181123689 757420032 176097 1992294400 4194304 9342243 548682068736 18446744073709551615 6364056 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 184917 176097 628 1256 0 183656 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 739668

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=676488/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=751352 CPUtime=1121.96
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 185435 0 0 0 111825 371 0 0 25 0 1 0 181123689 769384448 180502 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 187838 180502 655 1256 0 186577 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 751352

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=654152/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=768804 CPUtime=1181.94
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 191079 0 0 0 117818 376 0 0 25 0 1 0 181123689 787255296 186105 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 192201 186105 666 1256 0 190940 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 768804

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=654088/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=768804 CPUtime=1241.92
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 191080 0 0 0 123812 380 0 0 25 0 1 0 181123689 787255296 186106 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 192201 186106 667 1256 0 190940 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 768804

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=654024/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=768804 CPUtime=1301.91
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 191080 0 0 0 129807 384 0 0 25 0 1 0 181123689 787255296 186106 1992294400 4194304 9342243 548682068736 18446744073709551615 6237429 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 192201 186106 667 1256 0 190940 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 768804

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=636616/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=794988 CPUtime=1361.89
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 195443 0 0 0 135785 404 0 0 25 0 1 0 181123689 814067712 190457 1992294400 4194304 9342243 548682068736 18446744073709551615 6342000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 198747 190457 686 1256 0 197486 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 794988

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=636360/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=794988 CPUtime=1421.87
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 195487 0 0 0 141780 407 0 0 25 0 1 0 181123689 814067712 190501 1992294400 4194304 9342243 548682068736 18446744073709551615 4338420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 198747 190501 686 1256 0 197486 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 794988

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=636296/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=794988 CPUtime=1481.86
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 195487 0 0 0 147773 413 0 0 25 0 1 0 181123689 814067712 190501 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 198747 190501 686 1256 0 197486 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 794988

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=632072/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=803012 CPUtime=1541.84
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 196542 0 0 0 153764 420 0 0 25 0 1 0 181123689 822284288 191556 1992294400 4194304 9342243 548682068736 18446744073709551615 6960742 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 200753 191556 686 1256 0 199492 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 803012

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=629512/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=803676 CPUtime=1601.82
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 197182 0 0 0 159757 425 0 0 25 0 1 0 181123689 822964224 192196 1992294400 4194304 9342243 548682068736 18446744073709551615 4339127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 200919 192196 686 1256 0 199658 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 803676

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=629448/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=803676 CPUtime=1661.8
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 197182 0 0 0 165750 430 0 0 25 0 1 0 181123689 822964224 192196 1992294400 4194304 9342243 548682068736 18446744073709551615 4338941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 200919 192196 686 1256 0 199658 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 803676

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=629448/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=803676 CPUtime=1721.79
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 197182 0 0 0 171744 435 0 0 25 0 1 0 181123689 822964224 192196 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 200919 192196 686 1256 0 199658 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 803676

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=627016/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=804252 CPUtime=1781.77
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 197831 0 0 0 177737 440 0 0 25 0 1 0 181123689 823554048 192845 1992294400 4194304 9342243 548682068736 18446744073709551615 4339117 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3721/statm: 201063 192845 686 1256 0 199802 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 804252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=626952/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=804252 CPUtime=1800.07
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4194304 197836 0 0 0 179566 441 0 0 25 0 1 0 181123689 823554048 192850 1992294400 4194304 9342243 548682068736 18446744073709551615 4400784 0 0 4096 0 0 0 0 17 1 0 0
/proc/3721/statm: 201063 192850 691 1256 0 199802 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 804252

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3728
/proc/meminfo: memFree=626952/2055920 swapFree=4192812/4192956
[pid=3721] ppid=3719 vsize=0 CPUtime=1800.17
/proc/3721/stat : 3721 (pbscip.linux.x8) R 3719 3721 3503 0 -1 4195332 197836 0 0 0 179566 451 0 0 25 0 1 0 181123689 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/3721/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.73
CPU time (s): 1800.2
CPU user time (s): 1795.66
CPU system time (s): 4.53131
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 804252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.67
system time used= 4.53131
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197836
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2085

runsolver used 1.68474 second user time and 4.88026 second system time

The end

Launcher Data 

Begin job on node27 at 2009-06-16 08:54:00
IDJOB=1868727
IDBENCH=1876
IDSOLVER=684
FILE ID=node27/1868727-1245135240
PBS_JOBID= 9363719
Free space on /tmp= 66284 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868727-1245135240/watcher-1868727-1245135240 -o /tmp/evaluation-result-1868727-1245135240/solver-1868727-1245135240 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868727-1245135240.opb

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

MD5SUM BENCH= 24a04ed274dd43d443428abf078e95f9
RANDOM SEED=11660191

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1398048 kB
Buffers:         67688 kB
Cached:         505548 kB
SwapCached:        140 kB
Active:         166772 kB
Inactive:       420952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1398048 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           17588 kB
Writeback:           0 kB
Mapped:          24176 kB
Slab:            56036 kB
Committed_AS:   153528 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66272 MiB
End job on node27 at 2009-06-16 09:24:03