Trace number 2705114

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverOPTIMUM 317.751 317.738

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-66-100-0.wbo
MD5SUM31cf4204a9fca25e8a4f7b19cec87ed8
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.022995
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables719
Total number of constraints593
Number of soft constraints204
Number of constraints which are clauses371
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints222
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 10312
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 10311
Biggest number in a constraint 773
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2306
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2705114-1278574758.wbo>
0.00/0.01	c original problem has 1127 variables (923 bin, 0 int, 204 impl, 0 cont) and 798 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.01	c presolving:
0.00/0.02	c (round 1) 3 del vars, 2 del conss, 1 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 656 impls, 0 clqs
0.00/0.02	c (round 2) 4 del vars, 8 del conss, 2 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 656 impls, 0 clqs
0.00/0.02	c (round 3) 6 del vars, 11 del conss, 4 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 656 impls, 0 clqs
0.00/0.02	c (round 4) 8 del vars, 16 del conss, 6 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 656 impls, 0 clqs
0.00/0.02	c (round 5) 11 del vars, 22 del conss, 8 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 656 impls, 0 clqs
0.00/0.02	c (round 6) 12 del vars, 22 del conss, 211 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 656 impls, 0 clqs
0.00/0.03	c (round 7) 12 del vars, 22 del conss, 211 chg bounds, 115 chg sides, 230 chg coeffs, 373 upgd conss, 988 impls, 0 clqs
0.00/0.04	c    (0.0s) probing: 101/912 (11.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04	c presolving (8 rounds):
0.00/0.04	c  12 deleted vars, 22 deleted constraints, 211 tightened bounds, 0 added holes, 115 changed sides, 230 changed coefficients
0.00/0.04	c  1022 implications, 0 cliques
0.00/0.04	c presolved problem has 1115 variables (912 bin, 0 int, 203 impl, 0 cont) and 776 constraints
0.00/0.04	c       3 constraints of type <varbound>
0.00/0.04	c     145 constraints of type <knapsack>
0.00/0.04	c     146 constraints of type <setppc>
0.00/0.04	c     200 constraints of type <linear>
0.00/0.04	c     203 constraints of type <indicator>
0.00/0.04	c      79 constraints of type <logicor>
0.00/0.04	c transformed objective value is always integral (scale: 1)
0.00/0.04	c Presolving Time: 0.02
0.00/0.04	c - non default parameters ----------------------------------------------------------------------
0.00/0.04	c # SCIP version 1.2.1.3
0.00/0.04	c 
0.00/0.04	c # frequency for displaying node information lines
0.00/0.04	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04	c display/freq = 10000
0.00/0.04	c 
0.00/0.04	c # maximal time in seconds to run
0.00/0.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04	c limits/time = 1790
0.00/0.04	c 
0.00/0.04	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04	c limits/memory = 3420
0.00/0.04	c 
0.00/0.04	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04	c # [type: int, range: [1,2], default: 1]
0.00/0.04	c timing/clocktype = 2
0.00/0.04	c 
0.00/0.04	c # should presolving try to simplify inequalities
0.00/0.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04	c constraints/linear/simplifyinequalities = TRUE
0.00/0.04	c 
0.00/0.04	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04	c constraints/indicator/addCouplingCons = TRUE
0.00/0.04	c 
0.00/0.04	c # should presolving try to simplify knapsacks
0.00/0.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04	c 
0.00/0.04	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04	c separating/rapidlearning/freq = 0
0.00/0.04	c 
0.00/0.04	c -----------------------------------------------------------------------------------------------
0.00/0.04	c start solving
0.00/0.04	c 
0.00/0.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.04	c   0.0s|     1 |     0 |    65 |     - |4310k|   0 |  64 |1115 | 776 |1115 | 370 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.09	c   0.1s|     1 |     0 |   177 |     - |4469k|   0 | 140 |1115 | 776 |1115 | 474 | 104 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.12	c   0.1s|     1 |     0 |   284 |     - |4650k|   0 | 162 |1115 | 776 |1115 | 561 | 191 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.17	c   0.2s|     1 |     0 |   388 |     - |4842k|   0 | 224 |1115 | 776 |1115 | 637 | 267 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |   536 |     - |5043k|   0 | 222 |1115 | 776 |1115 | 716 | 346 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.33	c   0.3s|     1 |     0 |   764 |     - |5206k|   0 | 245 |1115 | 776 |1115 | 785 | 415 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.44	c   0.4s|     1 |     0 |   996 |     - |5430k|   0 | 280 |1115 | 776 |1115 | 860 | 490 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.69/0.72	c   0.7s|     1 |     2 |   996 |     - |5431k|   0 | 280 |1115 | 776 |1115 | 860 | 490 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
5.50/5.58	o 10147
5.50/5.58	c y 5.6s|   299 |   296 |  3845 |   9.6 |5884k| 252 |   - |1115 | 791 |   0 |   0 | 501 |  15 |2109 | 0.000000e+00 | 1.014700e+04 |    Inf 
5.69/5.74	o 10134
5.69/5.74	c y 5.7s|   410 |   407 |  4116 |   7.6 |6018k| 253 |   - |1115 | 791 |   0 |   0 | 513 |  15 |2206 | 0.000000e+00 | 1.013400e+04 |    Inf 
13.79/13.84	c  13.8s| 10000 |  9970 | 23783 |   2.3 |  15M| 287 |  10 |1115 | 810 |1115 | 690 |1163 |  34 |3758 | 0.000000e+00 | 1.013400e+04 |    Inf 
22.19/22.29	c  22.3s| 20000 | 19936 | 60705 |   3.0 |  24M| 291 |  28 |1115 | 840 |1115 | 690 |1585 |  64 |4431 | 0.000000e+00 | 1.013400e+04 |    Inf 
31.49/31.56	c  31.5s| 30000 | 29896 |121567 |   4.0 |  33M| 291 |  74 |1115 | 868 |1115 | 690 |1784 |  95 |4704 | 0.000000e+00 | 1.013400e+04 |    Inf 
40.60/40.66	c  40.7s| 40000 | 39886 |184285 |   4.6 |  41M| 291 |  37 |1115 | 862 |1115 | 690 |1938 | 100 |4738 | 0.000000e+00 | 1.013400e+04 |    Inf 
47.79/47.80	c  47.8s| 50000 | 49882 |211883 |   4.2 |  50M| 291 |   0 |1115 | 846 |1115 | 696 |2149 | 103 |4738 | 0.000000e+00 | 1.013400e+04 |    Inf 
54.89/54.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
54.89/54.94	c  54.9s| 60000 | 59877 |241099 |   4.0 |  58M| 339 |  92 |1115 | 831 |1115 | 690 |2427 | 106 |4743 | 0.000000e+00 | 1.013400e+04 |    Inf 
60.90/60.97	c  61.0s| 70000 | 69875 |252257 |   3.6 |  67M| 339 |   1 |1115 | 831 |1115 | 692 |2571 | 107 |4756 | 0.000000e+00 | 1.013400e+04 |    Inf 
67.79/67.88	c  67.9s| 80000 | 79871 |274158 |   3.4 |  76M| 339 |  97 |1115 | 831 |1115 | 690 |2753 | 110 |4863 | 0.000000e+00 | 1.013400e+04 |    Inf 
74.40/74.45	c  74.4s| 90000 | 89867 |293678 |   3.3 |  84M| 339 |  76 |1115 | 834 |1115 | 690 |2944 | 114 |4900 | 0.000000e+00 | 1.013400e+04 |    Inf 
81.30/81.35	c  81.3s|100000 | 99867 |313352 |   3.1 |  93M| 339 |   0 |1115 | 833 |1115 | 695 |3200 | 114 |5196 | 0.000000e+00 | 1.013400e+04 |    Inf 
88.29/88.35	c  88.3s|110000 |109863 |334149 |   3.0 | 102M| 339 |   0 |1115 | 834 |1115 | 692 |3425 | 117 |5560 | 0.000000e+00 | 1.013400e+04 |    Inf 
95.10/95.12	c  95.1s|120000 |119859 |355199 |   3.0 | 110M| 339 |  97 |1115 | 833 |1115 | 690 |3652 | 119 |5630 | 0.000000e+00 | 1.013400e+04 |    Inf 
101.99/102.03	c   102s|130000 |129857 |375704 |   2.9 | 119M| 339 |  23 |1115 | 832 |1115 | 690 |3777 | 121 |5916 | 0.000000e+00 | 1.013400e+04 |    Inf 
108.90/108.93	c   109s|140000 |139857 |395501 |   2.8 | 128M| 339 |   5 |1115 | 827 |1115 | 690 |3977 | 121 |6183 | 0.000000e+00 | 1.013400e+04 |    Inf 
115.70/115.79	c   116s|150000 |149855 |415419 |   2.8 | 136M| 339 |   9 |1115 | 826 |1115 | 690 |4196 | 122 |6387 | 0.000000e+00 | 1.013400e+04 |    Inf 
122.49/122.54	c   123s|160000 |159853 |433279 |   2.7 | 145M| 339 |   0 |1115 | 828 |1115 | 692 |4365 | 125 |6643 | 0.000000e+00 | 1.013400e+04 |    Inf 
129.20/129.30	c   129s|170000 |169849 |453583 |   2.7 | 154M| 339 |   4 |1115 | 828 |1115 | 695 |4522 | 127 |6774 | 0.000000e+00 | 1.013400e+04 |    Inf 
135.90/135.98	c   136s|180000 |179843 |469986 |   2.6 | 163M| 339 |   0 |1115 | 829 |1115 | 692 |4722 | 130 |6997 | 0.000000e+00 | 1.013400e+04 |    Inf 
142.59/142.63	c   143s|190000 |189838 |486000 |   2.6 | 171M| 339 | 101 |1115 | 827 |1115 | 690 |4869 | 132 |7219 | 0.000000e+00 | 1.013400e+04 |    Inf 
148.50/148.57	c   149s|200000 |199836 |495772 |   2.5 | 180M| 349 |   0 |1115 | 826 |1115 | 694 |5096 | 134 |7328 | 0.000000e+00 | 1.013400e+04 |    Inf 
154.00/154.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
154.00/154.08	c   154s|210000 |209835 |501059 |   2.4 | 189M| 349 |   0 |1115 | 828 |1115 | 694 |5319 | 138 |7353 | 0.000000e+00 | 1.013400e+04 |    Inf 
159.79/159.82	c   160s|220000 |219833 |509149 |   2.3 | 197M| 349 |   0 |1115 | 830 |1115 | 694 |5534 | 142 |7371 | 0.000000e+00 | 1.013400e+04 |    Inf 
165.40/165.42	c   165s|230000 |229830 |514352 |   2.2 | 206M| 351 |   0 |1115 | 832 |1115 | 694 |5753 | 144 |7470 | 0.000000e+00 | 1.013400e+04 |    Inf 
168.90/168.96	o 743
168.90/168.96	c * 169s|236068 |174024 |518664 |   2.2 | 158M| 351 |   - |1115 | 832 |1115 | 694 |5885 | 144 |7548 | 0.000000e+00 | 7.430000e+02 |    Inf 
174.00/174.06	c   174s|240000 |177954 |535371 |   2.2 | 161M| 351 |   0 |1115 | 859 |1115 | 694 |6232 | 177 |7699 | 0.000000e+00 | 7.430000e+02 |    Inf 
181.41/181.44	c   181s|250000 |187957 |549457 |   2.2 | 169M| 351 |   0 |1115 | 863 |1115 | 694 |7253 | 183 |7789 | 0.000000e+00 | 7.430000e+02 |    Inf 
188.70/188.78	c   189s|260000 |197957 |563362 |   2.2 | 178M| 351 |   1 |1115 | 858 |1115 | 690 |8255 | 186 |7815 | 0.000000e+00 | 7.430000e+02 |    Inf 
193.00/193.05	o 742
193.00/193.05	c p 193s|264946 |202713 |574551 |   2.2 | 182M| 351 |   - |1115 | 875 |1115 | 690 |8757 | 210 |7858 | 0.000000e+00 | 7.420000e+02 |    Inf 
197.00/197.09	c   197s|270000 |207767 |582307 |   2.2 | 186M| 351 |   2 |1115 | 867 |1115 | 694 |9273 | 211 |7924 | 0.000000e+00 | 7.420000e+02 |    Inf 
202.10/202.12	o 737
202.10/202.12	c c 202s|277209 |213778 |588141 |   2.1 | 191M| 351 |   - |1115 | 867 |1115 | 690 |  10k| 214 |8003 | 0.000000e+00 | 7.370000e+02 |    Inf 
203.89/203.95	c   204s|280000 |216569 |590006 |   2.1 | 193M| 351 |   0 |1115 | 866 |1115 | 694 |  10k| 214 |8008 | 0.000000e+00 | 7.370000e+02 |    Inf 
212.60/212.69	c   213s|290000 |226569 |610660 |   2.1 | 201M| 351 |   3 |1115 | 869 |1115 | 690 |  11k| 226 |8069 | 0.000000e+00 | 7.370000e+02 |    Inf 
214.00/214.01	o 736
214.00/214.01	c c 214s|291326 |227797 |613984 |   2.1 | 202M| 351 |   - |1115 | 870 |1115 | 690 |  11k| 228 |8079 | 0.000000e+00 | 7.360000e+02 |    Inf 
220.50/220.57	c   221s|300000 |236477 |625448 |   2.1 | 210M| 351 |   0 |1115 | 869 |1115 | 694 |  11k| 233 |8131 | 0.000000e+00 | 7.360000e+02 |    Inf 
226.50/226.58	c   227s|310000 |246491 |631685 |   2.0 | 218M| 351 |   0 |1115 | 869 |1115 | 694 |  11k| 233 |8131 | 0.000000e+00 | 7.360000e+02 |    Inf 
232.60/232.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
232.60/232.62	c   233s|320000 |256491 |638397 |   2.0 | 227M| 351 |   0 |1115 | 869 |1115 | 694 |  11k| 233 |8131 | 0.000000e+00 | 7.360000e+02 |    Inf 
236.70/236.73	o 734
236.70/236.73	c f 237s|324037 |260030 |650745 |   2.0 | 229M| 351 |   - |1115 | 871 |1115 | 690 |  11k| 238 |8313 | 0.000000e+00 | 7.340000e+02 |    Inf 
243.40/243.47	o 732
243.40/243.47	c c 243s|326598 |262182 |685366 |   2.1 | 231M| 351 |   - |1115 | 885 |1115 | 690 |  11k| 284 |8429 | 0.000000e+00 | 7.320000e+02 |    Inf 
246.30/246.34	c   246s|330000 |265589 |690975 |   2.1 | 234M| 351 | 131 |1115 | 871 |1115 | 690 |  12k| 286 |8432 | 0.000000e+00 | 7.320000e+02 |    Inf 
247.80/247.86	o 717
247.80/247.86	c f 248s|330568 |263803 |698159 |   2.1 | 233M| 351 |   - |1115 | 868 |1115 | 690 |  12k| 291 |8513 | 0.000000e+00 | 7.170000e+02 |    Inf 
249.10/249.10	o 710
249.10/249.10	c v 249s|331084 |262878 |704405 |   2.1 | 232M| 351 |   - |1115 | 881 |1115 | 690 |  12k| 306 |8545 | 0.000000e+00 | 7.100000e+02 |    Inf 
250.10/250.12	o 708
250.10/250.12	c p 250s|331454 |262972 |709348 |   2.1 | 232M| 351 |   - |1115 | 902 |1115 | 690 |  12k| 329 |8616 | 0.000000e+00 | 7.080000e+02 |    Inf 
250.40/250.46	o 692
250.40/250.46	c v 250s|331570 |260432 |711187 |   2.1 | 230M| 351 |   - |1115 | 906 |1115 | 690 |  12k| 333 |8640 | 0.000000e+00 | 6.920000e+02 |    Inf 
251.40/251.46	o 688
251.40/251.46	c c 251s|331863 |259621 |716684 |   2.2 | 230M| 351 |   - |1115 | 919 |1115 | 690 |  12k| 350 |8660 | 0.000000e+00 | 6.880000e+02 |    Inf 
253.30/253.37	o 680
253.30/253.37	c p 253s|332597 |258845 |726714 |   2.2 | 229M| 351 |   - |1115 | 918 |1115 | 690 |  12k| 367 |8769 | 0.000000e+00 | 6.800000e+02 |    Inf 
254.50/254.58	o 676
254.50/254.58	c f 255s|333121 |258335 |733065 |   2.2 | 228M| 351 |   - |1115 | 915 |1115 | 690 |  12k| 375 |8799 | 0.000000e+00 | 6.760000e+02 |    Inf 
260.20/260.24	o 674
260.20/260.24	c c 260s|335906 |260705 |761725 |   2.3 | 231M| 351 |   - |1115 | 927 |1115 | 690 |  12k| 445 |8859 | 0.000000e+00 | 6.740000e+02 |    Inf 
261.01/261.06	o 668
261.01/261.06	c g 261s|336356 |260205 |765916 |   2.3 | 231M| 351 |   - |1115 | 927 |1115 | 690 |  12k| 449 |8863 | 0.000000e+00 | 6.680000e+02 |    Inf 
266.90/266.99	c   267s|340000 |263842 |795159 |   2.3 | 235M| 351 |  91 |1115 | 935 |1115 | 690 |  12k| 486 |9081 | 0.000000e+00 | 6.680000e+02 |    Inf 
267.50/267.57	o 658
267.50/267.57	c c 268s|340321 |261583 |797707 |   2.3 | 232M| 351 |   - |1115 | 937 |1115 | 690 |  12k| 490 |9091 | 0.000000e+00 | 6.580000e+02 |    Inf 
268.10/268.14	o 639
268.10/268.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
268.10/268.14	c c 268s|340547 |257217 |800372 |   2.3 | 226M| 351 |   - |1115 | 938 |1115 | 690 |  12k| 491 |9106 | 0.000000e+00 | 6.390000e+02 |    Inf 
270.10/270.11	o 623
270.10/270.11	c f 270s|341395 |255753 |809557 |   2.4 | 225M| 351 |   - |1115 | 961 |1115 | 690 |  12k| 520 |9136 | 0.000000e+00 | 6.230000e+02 |    Inf 
274.60/274.63	o 619
274.60/274.63	c g 275s|343462 |257304 |831523 |   2.4 | 226M| 351 |   - |1115 | 957 |1115 | 690 |  12k| 538 |9185 | 0.000000e+00 | 6.190000e+02 |    Inf 
275.30/275.34	o 604
275.30/275.34	c f 275s|343799 |255545 |834465 |   2.4 | 225M| 351 |   - |1115 | 957 |1115 | 690 |  12k| 538 |9185 | 0.000000e+00 | 6.040000e+02 |    Inf 
276.11/276.17	o 600
276.11/276.17	c f 276s|344241 |255629 |838212 |   2.4 | 225M| 351 |   - |1115 | 955 |1115 | 690 |  12k| 538 |9188 | 0.000000e+00 | 6.000000e+02 |    Inf 
282.50/282.56	o 599
282.50/282.56	c g 283s|347167 |258257 |870520 |   2.5 | 227M| 351 |   - |1115 | 957 |1115 | 690 |  12k| 569 |9357 | 0.000000e+00 | 5.990000e+02 |    Inf 
283.40/283.48	o 591
283.40/283.48	c f 283s|347551 |257108 |875522 |   2.5 | 226M| 351 |   - |1115 | 953 |1115 | 690 |  12k| 572 |9389 | 0.000000e+00 | 5.910000e+02 |    Inf 
283.71/283.75	o 583
283.71/283.75	c c 284s|347701 |255114 |877174 |   2.5 | 224M| 351 |   - |1115 | 950 |1115 | 690 |  12k| 572 |9390 | 0.000000e+00 | 5.830000e+02 |    Inf 
285.80/285.90	o 559
285.80/285.90	c p 286s|348799 |250059 |888215 |   2.5 | 220M| 351 |   - |1115 | 950 |1115 | 690 |  12k| 584 |9413 | 0.000000e+00 | 5.590000e+02 |    Inf 
286.01/286.02	o 556
286.01/286.02	c f 286s|348872 |248417 |889044 |   2.5 | 218M| 351 |   - |1115 | 952 |1115 | 690 |  12k| 586 |9414 | 0.000000e+00 | 5.560000e+02 |    Inf 
286.30/286.36	o 555
286.30/286.36	c p 286s|349065 |247944 |891122 |   2.6 | 218M| 351 |   - |1115 | 951 |1115 | 690 |  12k| 586 |9415 | 0.000000e+00 | 5.550000e+02 |    Inf 
286.40/286.46	o 552
286.40/286.46	c f 286s|349103 |247780 |891746 |   2.6 | 218M| 351 |   - |1115 | 952 |1115 | 690 |  12k| 589 |9415 | 0.000000e+00 | 5.520000e+02 |    Inf 
287.11/287.17	o 548
287.11/287.17	c c 287s|349468 |247059 |896138 |   2.6 | 217M| 351 |   - |1115 | 951 |1115 | 690 |  12k| 596 |9429 | 0.000000e+00 | 5.480000e+02 |    Inf 
287.30/287.35	o 547
287.30/287.35	c f 287s|349541 |246948 |897203 |   2.6 | 217M| 351 |   - |1115 | 949 |1115 | 690 |  12k| 596 |9429 | 0.000000e+00 | 5.470000e+02 |    Inf 
287.60/287.66	o 535
287.60/287.66	c c 288s|349687 |244711 |899100 |   2.6 | 215M| 351 |   - |1115 | 946 |1115 | 690 |  12k| 596 |9429 | 0.000000e+00 | 5.350000e+02 |    Inf 
288.40/288.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
288.40/288.46	c   288s|350000 |245014 |902960 |   2.6 | 215M| 351 | 127 |1115 | 956 |1115 | 690 |  12k| 614 |9441 | 0.000000e+00 | 5.350000e+02 |    Inf 
289.90/289.97	o 528
289.90/289.97	c f 290s|350684 |243005 |909882 |   2.6 | 214M| 351 |   - |1115 | 983 |1115 | 690 |  12k| 655 |9452 | 0.000000e+00 | 5.280000e+02 |    Inf 
290.00/290.07	o 526
290.00/290.07	c c 290s|350720 |242884 |910448 |   2.6 | 214M| 351 |   - |1115 | 983 |1115 | 690 |  12k| 655 |9452 | 0.000000e+00 | 5.260000e+02 |    Inf 
290.51/290.59	o 504
290.51/290.59	c v 291s|350977 |233766 |913017 |   2.6 | 206M| 351 |   - |1115 | 974 |1115 | 694 |  12k| 659 |9466 | 0.000000e+00 | 5.040000e+02 |    Inf 
290.60/290.63	o 479
290.60/290.63	c l 291s|351013 |227315 |913171 |   2.6 | 200M| 351 |   - |1115 | 973 |1115 | 694 |  12k| 659 |9466 | 0.000000e+00 | 4.790000e+02 |    Inf 
290.60/290.66	o 475
290.60/290.66	c * 291s|351049 |225883 |913326 |   2.6 | 199M| 351 |   - |1115 | 972 |1115 | 694 |  12k| 659 |9466 | 0.000000e+00 | 4.750000e+02 |    Inf 
294.90/294.95	o 468
294.90/294.95	c g 295s|357367 |229533 |918386 |   2.6 | 202M| 351 |   - |1115 | 931 |1115 | 690 |  12k| 669 |9478 | 0.000000e+00 | 4.680000e+02 |    Inf 
295.00/295.03	o 460
295.00/295.03	c v 295s|357403 |225709 |919088 |   2.6 | 199M| 351 |   - |1115 | 931 |1115 | 690 |  12k| 669 |9483 | 0.000000e+00 | 4.600000e+02 |    Inf 
295.21/295.29	o 452
295.21/295.29	c p 295s|357517 |222005 |920592 |   2.6 | 196M| 351 |   - |1115 | 938 |1115 | 690 |  12k| 678 |9484 | 0.000000e+00 | 4.520000e+02 |    Inf 
295.61/295.64	o 447
295.61/295.64	c l 296s|357696 |220455 |922510 |   2.6 | 195M| 351 |   - |1115 | 947 |1115 | 690 |  12k| 692 |9496 | 0.000000e+00 | 4.470000e+02 |    Inf 
295.71/295.80	o 433
295.71/295.80	c p 296s|357817 |215994 |923420 |   2.6 | 191M| 351 |   - |1115 | 949 |1115 | 690 |  12k| 694 |9496 | 0.000000e+00 | 4.330000e+02 |    Inf 
297.20/297.22	o 432
297.20/297.22	c c 297s|358472 |216325 |930456 |   2.6 | 192M| 351 |   - |1115 | 974 |1115 | 690 |  12k| 731 |9581 | 0.000000e+00 | 4.320000e+02 |    Inf 
297.70/297.75	o 426
297.70/297.75	c l 298s|358653 |213992 |933903 |   2.6 | 190M| 351 |   - |1115 | 975 |1115 | 690 |  12k| 733 |9591 | 0.000000e+00 | 4.260000e+02 |    Inf 
298.50/298.56	o 422
298.50/298.56	c p 299s|358998 |213370 |938307 |   2.6 | 190M| 351 |   - |1115 | 982 |1115 | 690 |  12k| 750 |9601 | 0.000000e+00 | 4.220000e+02 |    Inf 
299.01/299.00	o 417
299.01/299.00	c p 299s|359222 |211787 |940859 |   2.6 | 189M| 351 |   - |1115 | 981 |1115 | 690 |  12k| 752 |9622 | 0.000000e+00 | 4.170000e+02 |    Inf 
299.21/299.28	o 410
299.21/299.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
299.21/299.28	c l 299s|359372 |208850 |942302 |   2.6 | 186M| 351 |   - |1115 | 980 |1115 | 690 |  12k| 758 |9644 | 0.000000e+00 | 4.100000e+02 |    Inf 
300.60/300.68	o 405
300.60/300.68	c g 301s|359965 |206578 |949725 |   2.6 | 185M| 351 |   - |1115 | 963 |1115 | 690 |  12k| 765 |9732 | 0.000000e+00 | 4.050000e+02 |    Inf 
300.70/300.72	c   301s|360000 |206613 |950219 |   2.6 | 185M| 351 |  75 |1115 | 963 |1115 | 690 |  12k| 765 |9737 | 0.000000e+00 | 4.050000e+02 |    Inf 
300.70/300.78	o 385
300.70/300.78	c v 301s|360007 |193559 |950385 |   2.6 | 174M| 351 |   - |1115 | 963 |1115 | 690 |  12k| 765 |9737 | 0.000000e+00 | 3.850000e+02 |    Inf 
300.91/300.93	o 383
300.91/300.93	c c 301s|360085 |192898 |951325 |   2.6 | 173M| 351 |   - |1115 | 973 |1115 | 690 |  12k| 775 |9750 | 0.000000e+00 | 3.830000e+02 |    Inf 
301.01/301.01	o 380
301.01/301.01	c p 301s|360122 |191285 |951884 |   2.6 | 172M| 351 |   - |1115 | 973 |1115 | 690 |  12k| 775 |9754 | 0.000000e+00 | 3.800000e+02 |    Inf 
301.10/301.12	o 376
301.10/301.12	c g 301s|360196 |190359 |952679 |   2.6 | 171M| 351 |   - |1115 | 975 |1115 | 690 |  12k| 777 |9761 | 0.000000e+00 | 3.760000e+02 |    Inf 
301.20/301.24	o 365
301.20/301.24	c l 301s|360274 |187084 |953504 |   2.6 | 169M| 351 |   - |1115 | 973 |1115 | 690 |  12k| 780 |9762 | 0.000000e+00 | 3.650000e+02 |    Inf 
301.31/301.31	o 359
301.31/301.31	c c 301s|360313 |184825 |954036 |   2.6 | 167M| 351 |   - |1115 | 976 |1115 | 690 |  12k| 783 |9764 | 0.000000e+00 | 3.590000e+02 |    Inf 
301.60/301.60	o 352
301.60/301.60	c g 302s|360422 |182667 |955699 |   2.6 | 165M| 351 |   - |1115 | 974 |1115 | 690 |  12k| 783 |9796 | 0.000000e+00 | 3.520000e+02 |    Inf 
301.70/301.77	o 350
301.70/301.77	c c 302s|360533 |182613 |957001 |   2.7 | 165M| 351 |   - |1115 | 973 |1115 | 690 |  12k| 787 |9803 | 0.000000e+00 | 3.500000e+02 |    Inf 
301.80/301.86	o 342
301.80/301.86	c p 302s|360570 |176580 |957624 |   2.7 | 161M| 351 |   - |1115 | 971 |1115 | 690 |  12k| 787 |9804 | 0.000000e+00 | 3.420000e+02 |    Inf 
302.21/302.21	o 341
302.21/302.21	c l 302s|360719 |176375 |959497 |   2.7 | 160M| 351 |   - |1115 | 977 |1115 | 690 |  12k| 796 |9825 | 0.000000e+00 | 3.410000e+02 |    Inf 
302.31/302.30	o 338
302.31/302.30	c c 302s|360758 |160600 |959965 |   2.7 | 147M| 351 |   - |1115 | 980 |1115 | 690 |  12k| 800 |9825 | 0.000000e+00 | 3.380000e+02 |    Inf 
302.31/302.37	o 336
302.31/302.37	c p 302s|360795 |155459 |960385 |   2.7 | 143M| 351 |   - |1115 | 978 |1115 | 690 |  12k| 800 |9825 | 0.000000e+00 | 3.360000e+02 |    Inf 
302.70/302.71	o 318
302.70/302.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
302.70/302.71	c p 303s|361016 |143492 |962316 |   2.7 | 132M| 351 |   - |1115 | 978 |1115 | 690 |  12k| 803 |9825 | 0.000000e+00 | 3.180000e+02 |    Inf 
302.80/302.87	o 312
302.80/302.87	c v 303s|361127 |142485 |963350 |   2.7 | 131M| 351 |   - |1115 | 981 |1115 | 690 |  12k| 809 |9835 | 0.000000e+00 | 3.120000e+02 |    Inf 
303.00/303.03	o 300
303.00/303.03	c p 303s|361238 |126578 |964388 |   2.7 | 117M| 351 |   - |1115 | 982 |1115 | 690 |  12k| 814 |9836 | 0.000000e+00 | 3.000000e+02 |    Inf 
303.20/303.28	o 299
303.20/303.28	c g 303s|361312 |126363 |965709 |   2.7 | 117M| 351 |   - |1115 | 984 |1115 | 690 |  12k| 819 |9876 | 0.000000e+00 | 2.990000e+02 |    Inf 
303.90/303.97	o 290
303.90/303.97	c v 304s|361847 |119660 |969844 |   2.7 | 111M| 351 |   - |1115 | 994 |1115 | 690 |  12k| 849 |9886 | 0.000000e+00 | 2.900000e+02 |    Inf 
304.10/304.13	o 287
304.10/304.13	c p 304s|361955 |118166 |970878 |   2.7 | 110M| 351 |   - |1115 | 991 |1115 | 690 |  12k| 849 |9886 | 0.000000e+00 | 2.870000e+02 |    Inf 
304.61/304.63	o 277
304.61/304.63	c l 305s|362331 |110767 |973734 |   2.7 | 104M| 351 |   - |1115 | 991 |1115 | 690 |  12k| 857 |9888 | 0.000000e+00 | 2.770000e+02 |    Inf 
305.30/305.34	o 258
305.30/305.34	c g 305s|362930 | 98945 |978274 |   2.7 |  94M| 351 |   - |1115 | 997 |1115 | 690 |  12k| 866 |9891 | 0.000000e+00 | 2.580000e+02 |    Inf 
305.71/305.71	o 256
305.71/305.71	c g 306s|363158 | 98879 |980496 |   2.7 |  94M| 351 |   - |1115 | 999 |1115 | 690 |  12k| 882 |9899 | 0.000000e+00 | 2.560000e+02 |    Inf 
306.30/306.30	o 241
306.30/306.30	c v 306s|363654 | 94125 |984387 |   2.7 |  90M| 351 |   - |1115 |1013 |1115 | 690 |  12k| 906 |9905 | 0.000000e+00 | 2.410000e+02 |    Inf 
306.40/306.41	o 240
306.40/306.41	c c 306s|363729 | 93301 |985287 |   2.7 |  89M| 351 |   - |1115 |1015 |1115 | 690 |  12k| 909 |9907 | 0.000000e+00 | 2.400000e+02 |    Inf 
306.80/306.89	o 233
306.80/306.89	c p 307s|364043 | 89414 |988009 |   2.7 |  86M| 351 |   - |1115 |1033 |1115 | 690 |  12k| 938 |9907 | 0.000000e+00 | 2.330000e+02 |    Inf 
307.01/307.04	o 223
307.01/307.04	c v 307s|364154 | 86479 |989067 |   2.7 |  83M| 351 |   - |1115 |1033 |1115 | 690 |  12k| 940 |9909 | 0.000000e+00 | 2.230000e+02 |    Inf 
307.30/307.35	o 199
307.30/307.35	c g 307s|364346 | 63134 |990964 |   2.7 |  63M| 351 |   - |1115 |1035 |1115 | 690 |  12k| 946 |9910 | 0.000000e+00 | 1.990000e+02 |    Inf 
307.80/307.84	o 196
307.80/307.84	c p 308s|364734 | 62978 |994574 |   2.7 |  63M| 351 |   - |1115 |1031 |1115 | 690 |  12k| 953 |9911 | 0.000000e+00 | 1.960000e+02 |    Inf 
308.50/308.58	o 167
308.50/308.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
308.50/308.58	c v 309s|365313 | 38712 |999401 |   2.7 |  43M| 351 |   - |1115 |1022 |1115 | 690 |  12k| 971 |9922 | 0.000000e+00 | 1.670000e+02 |    Inf 
308.80/308.87	o 162
308.80/308.87	c f 309s|365466 | 38163 |  1001k|   2.7 |  42M| 351 |   - |1115 |1027 |1115 | 690 |  12k| 984 |9930 | 0.000000e+00 | 1.620000e+02 |    Inf 
309.01/309.07	o 158
309.01/309.07	c v 309s|365540 | 35267 |  1002k|   2.7 |  40M| 351 |   - |1115 |1022 |1115 | 690 |  12k| 985 |9945 | 0.000000e+00 | 1.580000e+02 |    Inf 
309.20/309.23	o 155
309.20/309.23	c c 309s|365613 | 34466 |  1004k|   2.7 |  39M| 351 |   - |1115 |1016 |1115 | 690 |  12k| 986 |9958 | 0.000000e+00 | 1.550000e+02 |    Inf 
312.60/312.69	o 148
312.60/312.69	c * 313s|367888 | 33979 |  1025k|   2.8 |  40M| 351 |   - |1115 | 992 |1115 | 694 |  12k|1040 |  10k| 0.000000e+00 | 1.480000e+02 |    Inf 
312.70/312.74	o 140
312.70/312.74	c * 313s|367936 | 32052 |  1025k|   2.8 |  38M| 351 |   - |1115 | 995 |1115 | 694 |  12k|1043 |  10k| 0.000000e+00 | 1.400000e+02 |    Inf 
312.70/312.76	o 132
312.70/312.76	c * 313s|367948 | 30496 |  1025k|   2.8 |  36M| 351 |   - |1115 | 996 |1115 | 693 |  12k|1045 |  10k| 0.000000e+00 | 1.320000e+02 |    Inf 
312.70/312.76	o 128
312.70/312.76	c * 313s|367949 | 30104 |  1025k|   2.8 |  36M| 351 |   - |1115 | 996 |1115 | 693 |  12k|1045 |  10k| 0.000000e+00 | 1.280000e+02 |    Inf 
312.80/312.80	o 107
312.80/312.80	c * 313s|367964 | 21287 |  1025k|   2.8 |  27M| 351 |   - |1115 | 996 |1115 | 693 |  12k|1045 |  10k| 0.000000e+00 | 1.070000e+02 |    Inf 
312.80/312.82	o 82
312.80/312.82	c * 313s|367972 | 16756 |  1026k|   2.8 |  23M| 351 |   - |1115 | 996 |1115 | 693 |  12k|1045 |  10k| 0.000000e+00 | 8.200000e+01 |    Inf 
312.80/312.82	o 78
312.80/312.82	c * 313s|367973 | 14973 |  1026k|   2.8 |  21M| 351 |   - |1115 | 996 |1115 | 693 |  12k|1045 |  10k| 0.000000e+00 | 7.800000e+01 |    Inf 
313.11/313.15	o 64
313.11/313.15	c p 313s|368068 | 13996 |  1027k|   2.8 |  20M| 351 |   - |1115 | 922 |1115 | 690 |  12k|1054 |  10k| 0.000000e+00 | 6.400000e+01 |    Inf 
313.51/313.55	o 60
313.51/313.55	c p 314s|368339 | 13015 |  1030k|   2.8 |  20M| 351 |   - |1115 | 876 |1115 | 690 |  12k|1066 |  10k| 0.000000e+00 | 6.000000e+01 |    Inf 
314.20/314.29	o 53
314.20/314.29	c l 314s|368691 | 12625 |  1035k|   2.8 |  19M| 351 |   - |1115 | 862 |1115 | 690 |  12k|1079 |  10k| 0.000000e+00 | 5.300000e+01 |    Inf 
314.80/314.87	o 52
314.80/314.87	c p 315s|369056 | 12612 |  1039k|   2.8 |  19M| 351 |   - |1115 | 848 |1115 | 690 |  12k|1091 |  10k| 0.000000e+00 | 5.200000e+01 |    Inf 
315.01/315.00	o 43
315.01/315.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
315.01/315.00	c l 315s|369165 | 12220 |  1040k|   2.8 |  19M| 351 |   - |1115 | 833 |1115 | 690 |  12k|1092 |  10k| 0.000000e+00 | 4.300000e+01 |    Inf 
315.01/315.08	o 22
315.01/315.08	c g 315s|369207 | 11216 |  1040k|   2.8 |  18M| 351 |   - |1115 | 803 |1115 | 690 |  12k|1093 |  10k| 0.000000e+00 | 2.200000e+01 |    Inf 
315.30/315.32	o 17
315.30/315.32	c f 315s|369315 | 10884 |  1042k|   2.8 |  18M| 351 |   - |1115 | 762 |1115 | 690 |  12k|1093 |  10k| 0.000000e+00 | 1.700000e+01 |    Inf 
315.61/315.64	o 13
315.61/315.64	c * 316s|369528 | 10435 |  1044k|   2.8 |  17M| 351 |   - |1115 | 751 |1115 | 691 |  12k|1093 |  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
315.71/315.76	o 9
315.71/315.76	c f 316s|369597 |  8421 |  1045k|   2.8 |  15M| 351 |   - |1115 | 676 |1115 | 690 |  12k|1103 |  10k| 0.000000e+00 | 9.000000e+00 |    Inf 
316.11/316.19	c   316s|370000 |  2210 |  1047k|   2.8 |  10M| 351 |   6 |1115 | 572 |1115 | 690 |  12k|1123 |  10k| 0.000000e+00 | 9.000000e+00 |    Inf 
317.21/317.21	o 5
317.21/317.21	c * 317s|370992 |  2144 |  1051k|   2.8 |9841k| 351 |   - |1115 | 575 |1115 | 694 |  12k|1126 |  10k| 0.000000e+00 | 5.000000e+00 |    Inf 
317.21/317.23	o 3
317.21/317.23	c * 317s|371020 |  1262 |  1051k|   2.8 |9069k| 351 |   - |1115 | 557 |1115 | 693 |  12k|1126 |  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
317.21/317.23	o 2
317.21/317.23	c * 317s|371021 |   906 |  1051k|   2.8 |8757k| 351 |   - |1115 | 557 |1115 | 693 |  12k|1126 |  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
317.21/317.29	o 1
317.21/317.29	c * 317s|371087 |   886 |  1052k|   2.8 |8704k| 351 |   - |1115 | 347 |1115 | 691 |  12k|1131 |  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
317.70/317.72	c 
317.70/317.72	c SCIP Status        : problem is solved [optimal solution found]
317.70/317.72	c Solving Time (sec) : 317.71
317.70/317.72	c Solving Nodes      : 371462
317.70/317.72	c Primal Bound       : +1.00000000000000e+00 (213 solutions)
317.70/317.72	c Dual Bound         : +1.00000000000000e+00
317.70/317.72	c Gap                : 0.00 %
317.70/317.72	s OPTIMUM FOUND
317.70/317.72	v x719 x718 x717 x716 x715 x714 x713 x712 x711 -x710 x709 -x708 x707 x706 x705 x704 x703 -x702 x701 x700 x699 -x698 x697 x696 x695 
317.70/317.72	v x694 -x693 -x692 x691 -x690 -x689 x688 x687 x686 x685 x684 -x683 x682 -x681 -x680 x679 x678 x677 x676 x675 -x674 -x673 -x672 
317.70/317.72	v -x671 x670 x669 x668 x667 -x666 -x665 -x664 -x663 -x662 x661 x660 x659 x658 -x657 -x656 -x655 x654 x653 x652 x651 x650 x649 
317.70/317.72	v -x648 -x647 x646 -x645 x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 
317.70/317.72	v -x626 x625 -x624 -x623 x622 x621 x620 -x619 -x618 x617 x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 
317.70/317.72	v -x605 -x604 x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 x584 
317.70/317.72	v -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 x565 -x564 x563 
317.70/317.72	v x562 x561 x560 x559 -x558 x557 -x556 -x555 x554 x553 x552 x551 x550 x549 -x548 -x547 -x546 x545 x544 -x543 x542 x541 x540 
317.70/317.72	v x539 -x538 -x537 x536 x535 -x534 x533 x532 x531 x530 -x529 x528 -x527 -x526 x525 x524 x523 x522 x521 x520 x519 -x518 -x517 x516 
317.70/317.72	v x515 x514 x513 x512 x511 x510 -x509 -x508 x507 x506 x505 x504 x503 x502 x501 -x500 -x499 x498 x497 x496 x495 x494 x493 -x492 
317.70/317.72	v -x491 -x490 -x489 x488 -x487 -x486 x485 x484 x483 x482 x481 x480 -x479 -x478 -x477 -x476 -x475 x474 x473 -x472 x471 -x470 
317.70/317.72	v -x469 -x468 -x467 -x466 x465 x464 -x463 x462 x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 
317.70/317.72	v x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 x438 -x437 x436 -x435 x434 x433 x432 x431 x430 -x429 -x428 x427 -x426 x425 
317.70/317.72	v x424 x423 x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 
317.70/317.72	v -x403 -x402 x401 -x400 -x399 x398 x397 -x396 -x395 -x394 -x393 x392 -x391 -x390 x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 
317.70/317.72	v -x381 -x380 -x379 x378 x377 -x376 x375 x374 x373 x372 -x371 -x370 x369 x368 -x367 x366 x365 x364 x363 -x362 -x361 -x360 -x359 
317.70/317.72	v -x358 -x357 -x356 -x355 x354 x353 x352 -x351 x350 x349 -x348 x347 -x346 x345 x344 -x343 x342 x341 x340 x339 -x338 -x337 x336 
317.70/317.72	v x335 -x334 x333 x332 x331 x330 -x329 -x328 x327 x326 -x325 x324 x323 x322 x321 -x320 -x319 x318 x317 -x316 x315 x314 x313 
317.70/317.72	v x312 -x311 -x310 x309 x308 -x307 x306 x305 x304 x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 x290 
317.70/317.72	v -x289 x288 x287 x286 x285 -x284 -x283 x282 x281 -x280 x279 x278 x277 x276 -x275 -x274 x273 x272 -x271 x270 x269 x268 x267 
317.70/317.72	v -x266 -x265 x264 x263 -x262 x261 x260 x259 x258 -x257 x256 -x255 x254 -x253 x252 x251 x250 x249 -x248 -x247 x246 x245 -x244 
317.70/317.72	v x243 x242 x241 x240 -x239 x238 x237 x236 x235 x234 x233 x232 x231 x230 x229 x228 x227 x226 x225 x224 x223 x222 x221 x220 x219 
317.70/317.72	v x218 x217 x216 x215 x214 x213 x212 x211 x210 x209 x208 x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194 
317.70/317.72	v x193 x192 x191 x190 x189 x188 x187 x186 x185 x184 x183 -x182 -x181 x180 -x179 x178 -x177 -x176 x175 x174 x173 x172 x171 x170 
317.70/317.72	v x169 x168 x167 x166 x165 x164 x163 x162 x161 x160 x159 x158 x157 x156 x155 x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 
317.70/317.72	v x145 x144 x143 x142 -x141 -x140 x139 -x138 -x137 -x136 x135 -x134 -x133 x132 -x131 -x130 x129 -x128 -x127 x126 x125 x124 x123 
317.70/317.72	v x122 x121 x120 -x119 x118 -x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 -x106 x105 x104 -x103 -x102 x101 x100 x99 
317.70/317.72	v x98 x97 x96 x95 x94 -x93 -x92 x91 -x90 x89 -x88 x87 x86 x85 x84 x83 x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 
317.70/317.72	v x67 x66 x65 x64 x63 x62 x61 x60 x59 x58 x57 x56 x55 x54 x53 x52 x51 x50 x49 x48 x47 x46 x45 -x44 x43 x42 -x41 x40 -x39 x38 
317.70/317.72	v x37 x36 x35 x34 x33 x32 x31 x30 x29 x28 x27 x26 -x25 -x24 x23 -x22 -x21 x20 -x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 
317.70/317.72	v x6 x5 x4 x3 x2 x1 
317.70/317.72	c SCIP Status        : problem is solved [optimal solution found]
317.70/317.72	c Solving Time       :     317.71
317.70/317.72	c Original Problem   :
317.70/317.72	c   Problem name     : HOME/instance-2705114-1278574758.wbo
317.70/317.72	c   Variables        : 1127 (923 binary, 0 integer, 204 implicit integer, 0 continuous)
317.70/317.72	c   Constraints      : 798 initial, 798 maximal
317.70/317.72	c Presolved Problem  :
317.70/317.72	c   Problem name     : t_HOME/instance-2705114-1278574758.wbo
317.70/317.72	c   Variables        : 1115 (912 binary, 0 integer, 203 implicit integer, 0 continuous)
317.70/317.72	c   Constraints      : 776 initial, 1036 maximal
317.70/317.72	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
317.70/317.72	c   trivial          :       0.00          0          0          0          0          0          0          0          0
317.70/317.72	c   dualfix          :       0.00          2          0          0          0          0          0          0          0
317.70/317.72	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
317.70/317.72	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
317.70/317.72	c   implics          :       0.00          0          2          0          0          0          0          0          0
317.70/317.72	c   probing          :       0.01          0          0          0          0          0          0          0          0
317.70/317.72	c   varbound         :       0.00          0          0          0          0          0          0          0          0
317.70/317.72	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
317.70/317.72	c   setppc           :       0.00          0          0          0          0          0          0          0          0
317.70/317.72	c   linear           :       0.01          8          0          0        211          0         21        115        230
317.70/317.72	c   indicator        :       0.00          0          0          0          0          0          1          0          0
317.70/317.72	c   logicor          :       0.00          0          0          0          0          0          0          0          0
317.70/317.72	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
317.70/317.72	c   root node        :          -        648          -          -        648          -          -          -          -
317.70/317.72	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
317.70/317.72	c   integral         :          0          0          0     374191          0          0        194          0          0     361078
317.70/317.72	c   varbound         :          3          6     556442     136564          0         33       4298          3          0          0
317.70/317.72	c   knapsack         :        145          6     716209     193537          0        337     132964        541          0          0
317.70/317.72	c   setppc           :        146          6     715650     193483          0         17      85840          0          0          0
317.70/317.72	c   linear           :        200          6     715855     193537          0        201      94945      12486          0          0
317.70/317.72	c   indicator        :        203          0     711993     193534          0         23     161318          0          0          0
317.70/317.72	c   logicor          :         79+         6      88254     190390          0        126      20079          0          0          0
317.70/317.72	c   bounddisjunction :          0+         0      26058          0          0         13      10954          0          0          0
317.70/317.72	c   countsols        :          0          0          0     190390          0          0          0          0          0          0
317.70/317.72	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
317.70/317.72	c   integral         :      16.31       0.00       0.00      16.31       0.00
317.70/317.72	c   varbound         :       0.16       0.00       0.13       0.03       0.00
317.70/317.72	c   knapsack         :       3.04       0.01       2.70       0.33       0.00
317.70/317.72	c   setppc           :       0.77       0.00       0.65       0.12       0.00
317.70/317.72	c   linear           :       3.59       0.00       1.61       1.98       0.00
317.70/317.72	c   indicator        :       6.23       0.01       3.53       2.69       0.00
317.70/317.72	c   logicor          :       0.29       0.00       0.12       0.17       0.00
317.70/317.72	c   bounddisjunction :       0.05       0.00       0.05       0.00       0.00
317.70/317.72	c   countsols        :       0.02       0.00       0.00       0.02       0.00
317.70/317.72	c Propagators        :       Time      Calls    Cutoffs    DomReds
317.70/317.72	c   vbounds          :       0.85      82993          2      42773
317.70/317.72	c   rootredcost      :       0.13        100          0        202
317.70/317.72	c   pseudoobj        :       3.50     716185        143      79338
317.70/317.72	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
317.70/317.72	c   propagation      :       0.02        837        830       2358       14.9         87       12.0          -
317.70/317.72	c   infeasible LP    :       0.00         50         50         57        5.4         10       15.2          0
317.70/317.72	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
317.70/317.72	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
317.70/317.72	c   pseudo solution  :       0.00          1          1          1        1.0          0        0.0          -
317.70/317.72	c   applied globally :          -          -          -       1505       13.4          -          -          -
317.70/317.72	c   applied locally  :          -          -          -          0        0.0          -          -          -
317.70/317.72	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
317.70/317.72	c   cut pool         :       0.00          5          -          -        276          -    (maximal pool size: 1354)
317.70/317.72	c   redcost          :       8.63     374771          0      16213          0          0
317.70/317.72	c   impliedbounds    :       0.00          6          0          0          8          0
317.70/317.72	c   intobj           :       0.00          0          0          0          0          0
317.70/317.72	c   cgmip            :       0.00          0          0          0          0          0
317.70/317.72	c   gomory           :       0.04          6          0          0        148          0
317.70/317.72	c   strongcg         :       0.03          6          0          0        114          0
317.70/317.72	c   cmir             :       0.08          6          0          0        540          0
317.70/317.72	c   flowcover        :       0.14          6          0          0        872          0
317.70/317.72	c   clique           :       0.00          1          0          0          0          0
317.70/317.72	c   zerohalf         :       0.00          0          0          0          0          0
317.70/317.72	c   mcf              :       0.00          1          0          0          0          0
317.70/317.72	c   rapidlearning    :       0.03          1          0          0          0          0
317.70/317.72	c Pricers            :       Time      Calls       Vars
317.70/317.72	c   problem variables:       0.00          0          0
317.70/317.72	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
317.70/317.72	c   relpscost        :      16.15     180654          0        194          0          0     361078
317.70/317.72	c   pscost           :       0.00          0          0          0          0          0          0
317.70/317.72	c   inference        :      10.40     190376          0          0          0          0     380980
317.70/317.72	c   mostinf          :       0.00          0          0          0          0          0          0
317.70/317.72	c   leastinf         :       0.00          0          0          0          0          0          0
317.70/317.72	c   fullstrong       :       0.00          0          0          0          0          0          0
317.70/317.72	c   allfullstrong    :       0.00          0          0          0          0          0          0
317.70/317.72	c   random           :       0.00          0          0          0          0          0          0
317.70/317.72	c Primal Heuristics  :       Time      Calls      Found
317.70/317.72	c   LP solutions     :       0.10          -         14
317.70/317.72	c   pseudo solutions :       0.00          -          0
317.70/317.72	c   intshifting      :       0.00          0          0
317.70/317.72	c   feaspump         :       0.01          1          0
317.70/317.72	c   oneopt           :       0.40         97          0
317.70/317.72	c   veclendiving     :       7.70       4005         11
317.70/317.72	c   coefdiving       :       8.90       4006         18
317.70/317.72	c   pscostdiving     :      10.40       4006         20
317.70/317.72	c   fracdiving       :       9.37       4006         14
317.70/317.72	c   linesearchdiving :       8.16       4006          9
317.70/317.72	c   guideddiving     :       8.92       4006         12
317.70/317.72	c   rootsoldiving    :       0.92       3802          0
317.70/317.72	c   objpscostdiving  :       0.89       3803          0
317.70/317.72	c   trivial          :       0.00          2          0
317.70/317.72	c   simplerounding   :       0.22     175326          0
317.70/317.72	c   zirounding       :       0.11       1000          0
317.70/317.72	c   rounding         :       0.27       5958          0
317.70/317.72	c   shifting         :       0.59       1884          0
317.70/317.72	c   twoopt           :       0.00          0          0
317.70/317.72	c   fixandinfer      :       0.00          0          0
317.70/317.72	c   intdiving        :       0.00          0          0
317.70/317.72	c   actconsdiving    :       0.00          0          0
317.70/317.72	c   octane           :       0.00          0          0
317.70/317.72	c   rens             :       0.03          1          0
317.70/317.72	c   rins             :       0.00          0          0
317.70/317.72	c   localbranching   :       0.00          0          0
317.70/317.72	c   mutation         :       0.00          0          0
317.70/317.72	c   crossover        :       1.29         64          0
317.70/317.72	c   dins             :       0.00          0          0
317.70/317.72	c   undercover       :       0.00          0          0
317.70/317.72	c   nlp              :       0.05          0          0
317.70/317.72	c   trysol           :       0.14       4246        115
317.70/317.72	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
317.70/317.72	c   primal LP        :       0.00          0          0       0.00          -
317.70/317.72	c   dual LP          :     156.82     188316     869294       4.62    5543.29
317.70/317.72	c   lex dual LP      :       0.00          0          0       0.00          -
317.70/317.72	c   barrier LP       :       0.00          0          0       0.00          -
317.70/317.72	c   diving/probing LP:      37.84      75495     187532       2.48    4955.58
317.70/317.72	c   strong branching :      13.20      10550     107148      10.16    8119.21
317.70/317.72	c     (at root node) :          -         17       2458     144.59          -
317.70/317.72	c   conflict analysis:       0.00          0          0       0.00          -
317.70/317.72	c B&B Tree           :
317.70/317.72	c   number of runs   :          1
317.70/317.72	c   nodes            :     371462
317.70/317.72	c   nodes (total)    :     371462
317.70/317.72	c   nodes left       :          0
317.70/317.72	c   max depth        :        351
317.70/317.72	c   max depth (total):        351
317.70/317.72	c   backtracks       :       5218 (1.4%)
317.70/317.72	c   delayed cutoffs  :       8611
317.70/317.72	c   repropagations   :       8028 (13290 domain reductions, 121 cutoffs)
317.70/317.72	c   avg switch length:       2.35
317.70/317.72	c   switching time   :       7.91
317.70/317.72	c Solution           :
317.70/317.72	c   Solutions found  :        213 (100 improvements)
317.70/317.72	c   First Solution   : +1.01470000000000e+04   (in run 1, after 298 nodes, 5.57 seconds, depth 253, found by <trysol>)
317.70/317.72	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 371087 nodes, 317.28 seconds, depth 73, found by <relaxation>)
317.70/317.72	c   Dual Bound       : +1.00000000000000e+00
317.70/317.72	c   Gap              :       0.00 %
317.70/317.72	c   Root Dual Bound  : +0.00000000000000e+00
317.70/317.72	c   Root Iterations  :        996
317.70/317.73	c Time complete: 317.74.

Verifier Data 

OK	1

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.77 1.93 1.66 2/172 19310
/proc/meminfo: memFree=30460704/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=12344 CPUtime=0
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 1927 0 0 0 0 0 0 0 23 0 1 0 25623059 12640256 1845 4089446400 4194304 10345943 140734111870608 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19310/statm: 3086 1845 429 1502 0 1579 0

[startup+0.0145741 s]
/proc/loadavg: 1.77 1.93 1.66 2/172 19310
/proc/meminfo: memFree=30460704/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=15288 CPUtime=0
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 3059 0 0 0 0 0 0 0 23 0 1 0 25623059 15654912 2623 4089446400 4194304 10345943 140734111870608 18446744073709551615 9137947 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 3888 2663 473 1502 0 2381 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15288

[startup+0.100506 s]
/proc/loadavg: 1.77 1.93 1.66 2/172 19310
/proc/meminfo: memFree=30460704/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=25096 CPUtime=0.09
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 8084 0 0 0 8 1 0 0 18 0 1 0 25623059 25698304 4875 4089446400 4194304 10345943 140734111870608 18446744073709551615 4270523 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 6274 4875 760 1502 0 4767 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25096

[startup+0.300462 s]
/proc/loadavg: 1.77 1.93 1.66 2/172 19310
/proc/meminfo: memFree=30460704/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=25880 CPUtime=0.29
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 8259 0 0 0 28 1 0 0 18 0 1 0 25623059 26501120 5050 4089446400 4194304 10345943 140734111870608 18446744073709551615 5834311 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 6470 5050 763 1502 0 4963 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25880

[startup+0.700387 s]
/proc/loadavg: 1.77 1.93 1.66 2/172 19310
/proc/meminfo: memFree=30460704/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=29360 CPUtime=0.69
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 12195 0 0 0 67 2 0 0 18 0 1 0 25623059 30064640 5488 4089446400 4194304 10345943 140734111870608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 7340 5488 780 1502 0 5833 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29360

[startup+1.50023 s]
/proc/loadavg: 1.78 1.93 1.66 3/178 19321
/proc/meminfo: memFree=30317636/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=29360 CPUtime=1.49
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 12363 0 0 0 145 4 0 0 19 0 1 0 25623059 30064640 5594 4089446400 4194304 10345943 140734111870608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 7340 5594 781 1502 0 5833 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29360

[startup+3.10092 s]
/proc/loadavg: 1.78 1.93 1.66 3/178 19321
/proc/meminfo: memFree=30292852/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=29536 CPUtime=3.1
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 12596 0 0 0 303 7 0 0 25 0 1 0 25623059 30244864 5827 4089446400 4194304 10345943 140734111870608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 7384 5827 781 1502 0 5877 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 29536

[startup+6.30032 s]
/proc/loadavg: 1.78 1.93 1.66 3/178 19321
/proc/meminfo: memFree=30282652/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=39536 CPUtime=6.29
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 16276 0 0 0 619 10 0 0 25 0 1 0 25623059 40484864 8440 4089446400 4194304 10345943 140734111870608 18446744073709551615 6518592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 9884 8440 787 1502 0 8377 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39536

[startup+12.7011 s]
/proc/loadavg: 1.82 1.93 1.67 3/178 19322
/proc/meminfo: memFree=30262784/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=41228 CPUtime=12.69
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 19102 0 0 0 1255 14 0 0 25 0 1 0 25623059 42217472 9212 4089446400 4194304 10345943 140734111870608 18446744073709551615 6119626 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 10307 9212 790 1502 0 8800 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41228

[startup+25.5007 s]
/proc/loadavg: 1.92 1.95 1.68 3/178 19322
/proc/meminfo: memFree=30254096/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=52828 CPUtime=25.49
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 25409 0 0 0 2526 23 0 0 25 0 1 0 25623059 54095872 11714 4089446400 4194304 10345943 140734111870608 18446744073709551615 7545539 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 13207 11714 790 1502 0 11700 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52828

[startup+51.1008 s]
/proc/loadavg: 1.95 1.95 1.68 3/178 19322
/proc/meminfo: memFree=30224480/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=79384 CPUtime=51.1
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 37897 0 0 0 5071 39 0 0 25 0 1 0 25623059 81289216 18525 4089446400 4194304 10345943 140734111870608 18446744073709551615 7578586 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 19846 18525 791 1502 0 18339 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 79384

[startup+102.306 s]
/proc/loadavg: 1.98 1.95 1.70 3/178 19324
/proc/meminfo: memFree=30153488/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=148556 CPUtime=102.3
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 62895 0 0 0 10167 63 0 0 25 0 1 0 25623059 152121344 35533 4089446400 4194304 10345943 140734111870608 18446744073709551615 6551416 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 37139 35533 791 1502 0 35632 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 148556

[startup+162.301 s]
/proc/loadavg: 1.99 1.96 1.72 3/178 19326
/proc/meminfo: memFree=30070360/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=234344 CPUtime=162.3
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 89738 0 0 0 16146 84 0 0 25 0 1 0 25623059 239968256 56324 4089446400 4194304 10345943 140734111870608 18446744073709551615 6785028 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 58586 56324 791 1502 0 57079 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 234344

[startup+222.301 s]
/proc/loadavg: 2.07 1.98 1.74 3/178 19326
/proc/meminfo: memFree=30049716/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=250104 CPUtime=222.3
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 136104 0 0 0 22122 108 0 0 25 0 1 0 25623059 256106496 60443 4089446400 4194304 10345943 140734111870608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 62526 60443 791 1502 0 61019 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 250104

[startup+282.301 s]
/proc/loadavg: 2.02 1.98 1.75 3/178 19328
/proc/meminfo: memFree=30022380/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=273472 CPUtime=282.3
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 192480 0 0 0 28085 145 0 0 25 0 1 0 25623059 280035328 66144 4089446400 4194304 10345943 140734111870608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 68368 66144 791 1502 0 66861 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 273472

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

[startup+294.3 s]
/proc/loadavg: 2.02 1.98 1.75 3/178 19328
/proc/meminfo: memFree=30019504/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=271436 CPUtime=294.3
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 204840 0 0 0 29277 153 0 0 25 0 1 0 25623059 277950464 66026 4089446400 4194304 10345943 140734111870608 18446744073709551615 7524308 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 67859 66026 791 1502 0 66352 0
Current children cumulated CPU time (s) 294.3
Current children cumulated vsize (KiB) 271436

[startup+307.101 s]
/proc/loadavg: 2.01 1.98 1.75 3/178 19329
/proc/meminfo: memFree=30018260/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=273196 CPUtime=307.11
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 226621 0 0 0 30545 166 0 0 25 0 1 0 25623059 279752704 66163 4089446400 4194304 10345943 140734111870608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 68299 66163 791 1502 0 66792 0
Current children cumulated CPU time (s) 307.11
Current children cumulated vsize (KiB) 273196

[startup+313.507 s]
/proc/loadavg: 2.01 1.98 1.76 3/178 19330
/proc/meminfo: memFree=30016384/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=271692 CPUtime=313.51
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 238189 0 0 0 31176 175 0 0 25 0 1 0 25623059 278212608 66186 4089446400 4194304 10345943 140734111870608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 67923 66186 791 1502 0 66416 0
Current children cumulated CPU time (s) 313.51
Current children cumulated vsize (KiB) 271692

[startup+315.1 s]
/proc/loadavg: 2.01 1.98 1.76 3/178 19330
/proc/meminfo: memFree=30016136/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=273456 CPUtime=315.1
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 243023 0 0 0 31333 177 0 0 25 0 1 0 25623059 280018944 66252 4089446400 4194304 10345943 140734111870608 18446744073709551615 6528232 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 68364 66252 791 1502 0 66857 0
Current children cumulated CPU time (s) 315.1
Current children cumulated vsize (KiB) 273456

[startup+316.701 s]
/proc/loadavg: 2.01 1.98 1.76 3/178 19330
/proc/meminfo: memFree=30016756/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=273436 CPUtime=316.71
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 243995 0 0 0 31493 178 0 0 25 0 1 0 25623059 279998464 66213 4089446400 4194304 10345943 140734111870608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 68359 66213 791 1502 0 66852 0
Current children cumulated CPU time (s) 316.71
Current children cumulated vsize (KiB) 273436

[startup+317.501 s]
/proc/loadavg: 2.01 1.98 1.76 3/178 19330
/proc/meminfo: memFree=30016756/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=273436 CPUtime=317.51
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 244006 0 0 0 31572 179 0 0 25 0 1 0 25623059 279998464 66224 4089446400 4194304 10345943 140734111870608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 68359 66224 791 1502 0 66852 0
Current children cumulated CPU time (s) 317.51
Current children cumulated vsize (KiB) 273436

[startup+317.701 s]
/proc/loadavg: 2.01 1.98 1.76 3/178 19330
/proc/meminfo: memFree=30016756/32950928 swapFree=67111528/67111528
[pid=19310] ppid=19308 vsize=273436 CPUtime=317.7
/proc/19310/stat : 19310 (pbscip.linux.x8) R 19308 19310 18986 0 -1 4202496 244006 0 0 0 31591 179 0 0 25 0 1 0 25623059 279998464 66224 4089446400 4194304 10345943 140734111870608 18446744073709551615 4995726 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19310/statm: 68359 66224 791 1502 0 66852 0
Current children cumulated CPU time (s) 317.7
Current children cumulated vsize (KiB) 273436

Child status: 0
Real time (s): 317.738
CPU time (s): 317.751
CPU user time (s): 315.946
CPU system time (s): 1.80472
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 282076

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

runsolver used 0.481926 second user time and 0.990849 second system time

The end

Launcher Data 

Begin job on node115 at 2010-07-08 09:39:18
IDJOB=2705114
IDBENCH=79042
IDSOLVER=1214
FILE ID=node115/2705114-1278574758
PBS_JOBID= 11240224
Free space on /tmp= 73628 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--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-2705114-1278574758/watcher-2705114-1278574758 -o /tmp/evaluation-result-2705114-1278574758/solver-2705114-1278574758 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705114-1278574758.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 31cf4204a9fca25e8a4f7b19cec87ed8
RANDOM SEED=698557320

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30461180 kB
Buffers:        143524 kB
Cached:        2142016 kB
SwapCached:          0 kB
Active:         945604 kB
Inactive:      1401232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30461180 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12952 kB
Writeback:           0 kB
AnonPages:       61280 kB
Mapped:          14416 kB
Slab:            79592 kB
PageTables:       4796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   184652 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= 73604 MiB
End job on node115 at 2010-07-08 09:44:36