Trace number 3717549

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
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedOPTIMUM 650.227 650.337

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo
MD5SUM68c125c2e3e966fc6e8a8bc50cef96ab
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.25096
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3939
Total number of constraints10412
Number of soft constraints6994
Number of constraints which are clauses9740
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints672
Minimum length of a constraint1
Maximum length of a constraint13
Top cost 349089
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 349088
Biggest number in a constraint 69
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 258
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3717549-1338193305.wbo>
0.03/0.04	c original problem has 10933 variables (10933 bin, 0 int, 0 impl, 0 cont) and 10413 constraints
0.03/0.04	c problem read in 0.04
0.09/0.16	c presolving:
0.19/0.22	c (round 1) 10 del vars, 1 del conss, 0 add conss, 0 chg bounds, 336 chg sides, 672 chg coeffs, 0 upgd conss, 8028 impls, 0 clqs
0.19/0.23	c (round 2) 10 del vars, 21 del conss, 0 add conss, 0 chg bounds, 336 chg sides, 672 chg coeffs, 0 upgd conss, 8028 impls, 0 clqs
0.29/0.31	c (round 3) 10 del vars, 21 del conss, 0 add conss, 6994 chg bounds, 336 chg sides, 672 chg coeffs, 0 upgd conss, 8028 impls, 0 clqs
0.29/0.34	c (round 4) 10 del vars, 21 del conss, 0 add conss, 6994 chg bounds, 336 chg sides, 672 chg coeffs, 3399 upgd conss, 8028 impls, 0 clqs
0.49/0.53	c    (0.5s) probing: 51/10923 (0.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.53	c    (0.5s) probing aborted: 50/50 successive totally useless probings
0.49/0.53	c (round 5) 10 del vars, 384 del conss, 121 add conss, 6994 chg bounds, 336 chg sides, 672 chg coeffs, 3399 upgd conss, 8028 impls, 0 clqs
0.49/0.58	c presolving (6 rounds):
0.49/0.58	c  10 deleted vars, 384 deleted constraints, 121 added constraints, 6994 tightened bounds, 0 added holes, 336 changed sides, 672 changed coefficients
0.49/0.58	c  15022 implications, 0 cliques
0.49/0.58	c presolved problem has 17917 variables (10923 bin, 0 int, 6994 impl, 0 cont) and 17144 constraints
0.49/0.58	c     235 constraints of type <knapsack>
0.49/0.58	c    1912 constraints of type <setppc>
0.49/0.58	c     121 constraints of type <and>
0.49/0.58	c    6994 constraints of type <linear>
0.49/0.58	c    6994 constraints of type <indicator>
0.49/0.58	c     888 constraints of type <logicor>
0.49/0.58	c transformed objective value is always integral (scale: 1)
0.49/0.58	c Presolving Time: 0.52
0.49/0.58	c - non default parameters ----------------------------------------------------------------------
0.49/0.58	c # SCIP version 2.1.1.4
0.49/0.58	c 
0.49/0.58	c # maximal time in seconds to run
0.49/0.58	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58	c limits/time = 1797
0.49/0.58	c 
0.49/0.58	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.58	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58	c limits/memory = 13950
0.49/0.58	c 
0.49/0.58	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.58	c # [type: int, range: [1,2], default: 1]
0.49/0.58	c timing/clocktype = 2
0.49/0.58	c 
0.49/0.58	c # belongs reading time to solving time?
0.49/0.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58	c timing/reading = TRUE
0.49/0.58	c 
0.49/0.58	c # force restart if we have a max FS instance and gap is 1?
0.49/0.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58	c constraints/indicator/forcerestart = TRUE
0.49/0.58	c 
0.49/0.58	c # priority of branching rule <inference>
0.49/0.58	c # [type: int, range: [-536870912,536870911], default: 1000]
0.49/0.58	c branching/inference/priority = 1000000
0.49/0.58	c 
0.49/0.58	c # frequency offset for calling primal heuristic <coefdiving>
0.49/0.58	c # [type: int, range: [0,2147483647], default: 1]
0.49/0.58	c heuristics/coefdiving/freqofs = 0
0.49/0.58	c 
0.49/0.58	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.49/0.58	c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.58	c heuristics/shiftandpropagate/freq = -1
0.49/0.58	c 
0.49/0.58	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.58	c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.58	c heuristics/undercover/freq = -1
0.49/0.58	c 
0.49/0.58	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.58	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.58	c separating/rapidlearning/freq = 0
0.49/0.58	c 
0.49/0.58	c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.49/0.58	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.58	c heuristics/indrounding/freq = 1
0.49/0.58	c 
0.49/0.58	c -----------------------------------------------------------------------------------------------
0.49/0.58	c start solving
0.59/0.61	c 
1.78/1.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.78/1.84	c   1.8s|     1 |     0 |  3144 |     - |  63M|   0 |1227 |  17k|  17k|  17k|  17k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.29/6.39	c   6.4s|     1 |     0 | 16007 |     - |  65M|   0 |1499 |  17k|  17k|  17k|  17k| 133 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.60/7.67	c   7.7s|     1 |     0 | 18136 |     - |  65M|   0 |1626 |  17k|  17k|  17k|  17k| 291 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.18/9.25	c   9.3s|     1 |     0 | 21123 |     - |  66M|   0 |1788 |  17k|  17k|  17k|  17k| 495 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
11.78/11.87	c  11.9s|     1 |     0 | 23848 |     - |  67M|   0 |1746 |  17k|  17k|  17k|  17k| 702 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
15.09/15.15	c  15.2s|     1 |     0 | 25641 |     - |  67M|   0 |1767 |  17k|  17k|  17k|  18k| 889 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
16.88/16.98	c  17.0s|     1 |     0 | 28012 |     - |  67M|   0 |1943 |  17k|  17k|  17k|  18k|1059 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
35.08/35.16	o 6261
35.08/35.16	c c35.2s|     1 |     0 | 46903 |     - |  75M|   0 |   - |  17k|  17k|  17k|  18k|1059 |  34 |   0 | 0.000000e+00 | 6.261000e+03 |    Inf 
35.18/35.23	o 6246
35.18/35.23	c c35.2s|     1 |     0 | 46908 |     - |  75M|   0 |   - |  17k|  17k|  17k|  18k|1059 |  34 |   0 | 0.000000e+00 | 6.246000e+03 |    Inf 
36.19/36.22	c  36.2s|     1 |     0 | 46945 |     - |  71M|   0 |1943 |  17k|  17k|  17k|  18k|1059 |  44 |   0 | 0.000000e+00 | 6.246000e+03 |    Inf 
37.68/37.74	o 2235
37.68/37.74	c 637.7s|     1 |     0 | 46945 |     - |  71M|   0 |1943 |  17k|  17k|  17k|  18k|1059 |  44 |   0 | 0.000000e+00 | 2.235000e+03 |    Inf 
42.28/42.38	c  42.4s|     1 |     0 | 56770 |     - |  71M|   0 |1999 |  17k|  17k|  17k|  18k|1234 |  44 |   0 | 0.000000e+00 | 2.235000e+03 |    Inf 
42.68/42.73	o 2069
42.68/42.73	c 642.7s|     1 |     0 | 56770 |     - |  72M|   0 |1999 |  17k|  17k|  17k|  18k|1234 |  44 |   0 | 0.000000e+00 | 2.069000e+03 |    Inf 
42.68/42.73	c  42.7s|     1 |     2 | 56770 |     - |  72M|   0 |1999 |  17k|  17k|  17k|  18k|1234 |  44 |   0 | 0.000000e+00 | 2.069000e+03 |    Inf 
263.14/263.25	c   263s|   100 |   101 |381469 |3471.0 |  77M|  42 |1014 |  17k|  17k|  17k|  17k|1378 | 312 |   0 | 0.000000e+00 | 2.069000e+03 |    Inf 
298.04/298.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
298.04/298.19	c   298s|   200 |   201 |418321 |1912.0 |  78M|  84 | 820 |  17k|  17k|  17k|  17k|1379 | 441 |   0 | 0.000000e+00 | 2.069000e+03 |    Inf 
312.84/312.97	c   313s|   300 |   301 |442014 |1351.8 |  80M|  94 | 940 |  17k|  17k|  17k|  17k|1396 | 445 |   0 | 0.000000e+00 | 2.069000e+03 |    Inf 
332.23/332.35	c   332s|   400 |   401 |465806 |1072.6 |  80M|  94 | 993 |  17k|  17k|  17k|  17k|1399 | 499 |   0 | 0.000000e+00 | 2.069000e+03 |    Inf 
351.83/351.92	c   352s|   500 |   501 |496216 | 918.6 |  81M| 122 | 726 |  17k|  17k|  17k|  17k|1420 | 527 |   0 | 0.000000e+00 | 2.069000e+03 |    Inf 
374.72/374.81	c   375s|   600 |   601 |533054 | 826.7 |  82M| 165 | 638 |  17k|  17k|  17k|  17k|1475 | 580 |   0 | 0.000000e+00 | 2.069000e+03 |    Inf 
380.02/380.18	c   380s|   700 |   701 |536477 | 713.4 |  84M| 229 |  63 |  17k|  17k|  17k|  17k|1477 | 589 |   0 | 0.000000e+00 | 2.069000e+03 |    Inf 
380.82/380.94	o 2065
380.82/380.94	c s 381s|   722 |   710 |536598 | 691.8 |  86M| 250 |   - |  17k|  17k|  17k|  17k|1477 | 591 |   0 | 0.000000e+00 | 2.065000e+03 |    Inf 
381.42/381.51	o 861
381.42/381.51	c 6 382s|   722 |   487 |536598 | 691.8 |  85M| 250 |   - |  17k|  17k|  17k|  17k|1477 | 591 |   0 | 0.000000e+00 | 8.610000e+02 |    Inf 
381.63/381.73	o 777
381.63/381.73	c 6 382s|   723 |   418 |536598 | 690.8 |  83M| 250 |   - |  17k|  17k|   0 |   0 |1477 | 591 |   0 | 0.000000e+00 | 7.770000e+02 |    Inf 
385.12/385.23	c   385s|   800 |   477 |539641 | 628.0 |  86M| 250 |   4 |  17k|  17k|  17k|  17k|1481 | 615 |   0 | 0.000000e+00 | 7.770000e+02 |    Inf 
385.22/385.32	o 776
385.22/385.32	c z 385s|   803 |   431 |539648 | 625.7 |  87M| 250 |   - |  17k|  17k|  17k|  17k|1481 | 615 |   0 | 0.000000e+00 | 7.760000e+02 |    Inf 
385.42/385.55	o 207
385.42/385.55	c 6 386s|   804 |   167 |539648 | 624.9 |  84M| 250 |   - |  17k|  17k|   0 |   0 |1481 | 615 |   0 | 0.000000e+00 | 2.070000e+02 |    Inf 
385.52/385.64	o 203
385.52/385.64	c 6 386s|   804 |   167 |539648 | 624.9 |  85M| 250 |   - |  17k|  17k|   0 |   0 |1481 | 616 |   0 | 0.000000e+00 | 2.030000e+02 |    Inf 
391.22/391.39	o 199
391.22/391.39	c z 391s|   900 |   216 |544959 | 564.1 |  85M| 250 |   - |  17k|  17k|  17k|  17k|1489 | 678 |   0 | 0.000000e+00 | 1.990000e+02 |    Inf 
391.43/391.53	o 106
391.43/391.53	c 6 392s|   901 |   137 |544959 | 563.5 |  84M| 250 |   - |  17k|  17k|   0 |   0 |1489 | 678 |   0 | 0.000000e+00 | 1.060000e+02 |    Inf 
401.02/401.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
401.02/401.12	c   401s|  1000 |   224 |562965 | 525.7 |  87M| 250 |  68 |  17k|  17k|  17k|  17k|1516 | 734 |   0 | 0.000000e+00 | 1.060000e+02 |    Inf 
401.62/401.75	o 104
401.62/401.75	c z 402s|  1026 |   207 |563081 | 512.4 |  87M| 250 |   - |  17k|  17k|  17k|  17k|1516 | 738 |   0 | 0.000000e+00 | 1.040000e+02 |    Inf 
401.72/401.82	o 85
401.72/401.82	c 6 402s|  1027 |   162 |563081 | 511.9 |  86M| 250 |   - |  17k|  17k|   0 |   0 |1516 | 738 |   0 | 0.000000e+00 | 8.500000e+01 |    Inf 
406.71/406.90	c   407s|  1100 |   203 |570660 | 484.8 |  86M| 250 | 470 |  17k|  16k|  17k|  17k|1526 | 839 |   0 | 0.000000e+00 | 8.500000e+01 |    Inf 
413.22/413.35	c   413s|  1200 |   241 |581933 | 453.8 |  87M| 250 |  72 |  17k|  16k|  17k|  17k|1528 | 949 |   0 | 0.000000e+00 | 8.500000e+01 |    Inf 
413.92/414.02	o 84
413.92/414.02	c 5 414s|  1225 |   202 |582033 | 444.6 |  87M| 250 |   - |  17k|  16k|  17k|  17k|1528 | 949 |   0 | 0.000000e+00 | 8.400000e+01 |    Inf 
416.92/417.00	c   417s|  1300 |   254 |584409 | 420.8 |  88M| 250 |  15 |  17k|  16k|  17k|  17k|1532 | 990 |   0 | 0.000000e+00 | 8.400000e+01 |    Inf 
417.02/417.11	o 83
417.02/417.11	c s 417s|  1304 |   203 |584419 | 419.5 |  88M| 250 |   - |  17k|  16k|  17k|  17k|1532 | 990 |   0 | 0.000000e+00 | 8.300000e+01 |    Inf 
418.72/418.88	o 82
418.72/418.88	c 5 419s|  1357 |   239 |584933 | 403.5 |  88M| 250 |   - |  17k|  16k|  17k|  17k|1534 | 995 |   0 | 0.000000e+00 | 8.200000e+01 |    Inf 
419.21/419.32	o 81
419.21/419.32	c 5 419s|  1366 |   200 |584953 | 400.8 |  89M| 250 |   - |  17k|  16k|  17k|  17k|1534 | 995 |   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
431.92/432.07	c   432s|  1400 |   227 |605793 | 406.0 |  89M| 250 | 394 |  17k|  16k|  17k|  17k|1560 |1042 |   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
433.42/433.57	o 80
433.42/433.57	c s 434s|  1448 |   226 |606340 | 392.9 |  90M| 250 |   - |  17k|  16k|  17k|  17k|1563 |1064 |   0 | 0.000000e+00 | 8.000000e+01 |    Inf 
435.02/435.20	c   435s|  1500 |   274 |606684 | 379.5 |  90M| 250 |  12 |  17k|  16k|  17k|  17k|1565 |1069 |   0 | 0.000000e+00 | 8.000000e+01 |    Inf 
435.42/435.52	o 79
435.42/435.52	c 5 436s|  1509 |   211 |606706 | 377.2 |  91M| 250 |   - |  17k|  16k|  17k|  17k|1565 |1069 |   0 | 0.000000e+00 | 7.900000e+01 |    Inf 
455.22/455.38	c   455s|  1600 |   284 |640548 | 376.9 |  92M| 250 |  82 |  17k|  16k|  17k|  17k|1635 |1162 |   0 | 0.000000e+00 | 7.900000e+01 |    Inf 
456.11/456.23	o 78
456.11/456.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
456.11/456.23	c s 456s|  1631 |   257 |640700 | 369.9 |  93M| 250 |   - |  17k|  16k|  17k|  17k|1636 |1166 |   0 | 0.000000e+00 | 7.800000e+01 |    Inf 
458.52/458.67	c   459s|  1700 |   288 |641906 | 355.5 |  93M| 250 |  87 |  17k|  16k|  17k|  17k|1638 |1217 |   0 | 0.000000e+00 | 7.800000e+01 |    Inf 
459.21/459.37	o 77
459.21/459.37	c s 459s|  1725 |   261 |642030 | 350.5 |  93M| 250 |   - |  17k|  16k|  17k|  17k|1639 |1217 |   0 | 0.000000e+00 | 7.700000e+01 |    Inf 
460.91/461.03	o 76
460.91/461.03	c s 461s|  1775 |   254 |642411 | 340.8 |  93M| 250 |   - |  17k|  16k|  17k|  17k|1641 |1250 |   0 | 0.000000e+00 | 7.600000e+01 |    Inf 
463.01/463.14	c   463s|  1800 |   235 |644947 | 337.5 |  93M| 250 |1070 |  17k|  16k|  17k|  17k|1643 |1282 |   0 | 0.000000e+00 | 7.600000e+01 |    Inf 
472.51/472.63	o 75
472.51/472.63	c s 473s|  1875 |   260 |659555 | 331.8 |  94M| 250 |   - |  17k|  16k|  17k|  17k|1655 |1315 |   0 | 0.000000e+00 | 7.500000e+01 |    Inf 
473.81/473.90	c   474s|  1900 |   273 |660750 | 328.0 |  94M| 250 | 145 |  17k|  16k|  17k|  17k|1657 |1338 |   0 | 0.000000e+00 | 7.500000e+01 |    Inf 
475.31/475.48	o 73
475.31/475.48	c s 475s|  1964 |   256 |661068 | 317.5 |  94M| 250 |   - |  17k|  16k|  17k|  17k|1657 |1368 |   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
476.61/476.70	c   477s|  2000 |   285 |661348 | 311.9 |  94M| 250 |  62 |  17k|  16k|  17k|  17k|1657 |1397 |   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
477.11/477.29	o 72
477.11/477.29	c s 477s|  2021 |   252 |661498 | 308.7 |  95M| 250 |   - |  17k|  16k|  17k|  17k|1657 |1397 |   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
480.11/480.27	c   480s|  2100 |   295 |663656 | 298.2 |  95M| 250 | 117 |  17k|  16k|  17k|  17k|1657 |1447 |   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
481.10/481.22	o 71
481.10/481.22	c s 481s|  2135 |   247 |663878 | 293.4 |  95M| 250 |   - |  17k|  16k|  17k|  17k|1657 |1452 |   0 | 0.000000e+00 | 7.100000e+01 |    Inf 
483.30/483.40	c   483s|  2200 |   306 |664883 | 285.2 |  95M| 250 |  34 |  17k|  16k|  17k|  17k|1657 |1460 |   0 | 0.000000e+00 | 7.100000e+01 |    Inf 
483.70/483.86	o 69
483.70/483.86	c * 484s|  2219 |   248 |664953 | 282.7 |  95M| 250 |   - |  17k|  16k|  17k|  17k|1657 |1465 |   0 | 0.000000e+00 | 6.900000e+01 |    Inf 
486.70/486.82	c   487s|  2300 |   310 |666620 | 273.5 |  96M| 250 |  62 |  17k|  15k|  17k|  17k|1659 |1499 |   0 | 0.000000e+00 | 6.900000e+01 |    Inf 
487.31/487.44	o 67
487.31/487.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
487.31/487.44	c R 487s|  2324 |   262 |666731 | 270.7 |  96M| 250 |   - |  17k|  15k|  17k|  17k|1659 |1516 |   0 | 0.000000e+00 | 6.700000e+01 |    Inf 
489.71/489.89	c   490s|  2400 |   309 |667501 | 262.5 |  96M| 250 |  31 |  17k|  15k|  17k|  17k|1659 |1546 |   0 | 0.000000e+00 | 6.700000e+01 |    Inf 
490.31/490.43	o 66
490.31/490.43	c R 490s|  2421 |   250 |667585 | 260.2 |  96M| 250 |   - |  17k|  15k|  17k|  17k|1659 |1547 |   0 | 0.000000e+00 | 6.600000e+01 |    Inf 
492.20/492.31	o 65
492.20/492.31	c s 492s|  2472 |   258 |668553 | 255.2 |  97M| 250 |   - |  17k|  15k|  17k|  17k|1660 |1547 |   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
493.20/493.34	c   493s|  2500 |   286 |668951 | 252.5 |  97M| 250 |  98 |  17k|  15k|  17k|  17k|1660 |1547 |   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
494.01/494.15	o 64
494.01/494.15	c R 494s|  2530 |   254 |669118 | 249.6 |  98M| 250 |   - |  17k|  15k|  17k|  17k|1660 |1547 |   0 | 0.000000e+00 | 6.400000e+01 |    Inf 
505.60/505.76	o 62
505.60/505.76	c v 506s|  2556 |   262 |690432 | 255.4 | 100M| 250 |   - |  17k|  15k|  17k|  17k|1688 |1561 |   0 | 0.000000e+00 | 6.200000e+01 |    Inf 
508.01/508.17	c   508s|  2600 |   300 |693211 | 252.2 |  99M| 250 | 131 |  17k|  15k|  17k|  17k|1690 |1576 |   0 | 0.000000e+00 | 6.200000e+01 |    Inf 
509.31/509.41	o 61
509.31/509.41	c * 509s|  2645 |   285 |693520 | 248.0 |  99M| 250 |   - |  17k|  15k|  17k|  17k|1690 |1576 |   0 | 0.000000e+00 | 6.100000e+01 |    Inf 
509.31/509.49	o 29
509.31/509.49	c 6 509s|  2645 |   275 |693520 | 248.0 | 100M| 250 |   - |  17k|  15k|  17k|  17k|1690 |1576 |   0 | 0.000000e+00 | 2.900000e+01 |    Inf 
513.00/513.17	o 28
513.00/513.17	c c 513s|  2695 |   275 |696810 | 244.6 | 100M| 250 |   - |  17k|  13k|  17k|  17k|1690 |1711 |   0 | 0.000000e+00 | 2.800000e+01 |    Inf 
513.90/514.07	c   514s|  2700 |   276 |697596 | 244.4 |  99M| 250 | 543 |  17k|  13k|  17k|  17k|1690 |1727 |   0 | 0.000000e+00 | 2.800000e+01 |    Inf 
531.00/531.11	o 27
531.00/531.11	c c 531s|  2754 |   307 |724202 | 249.3 | 100M| 250 |   - |  17k|  13k|  17k|  17k|1725 |1837 |   0 | 0.000000e+00 | 2.700000e+01 |    Inf 
532.60/532.79	o 25
532.60/532.79	c c 533s|  2765 |   316 |724927 | 248.6 | 101M| 250 |   - |  17k|  13k|  17k|  17k|1725 |1847 |   0 | 0.000000e+00 | 2.500000e+01 |    Inf 
534.00/534.10	o 24
534.00/534.10	c c 534s|  2776 |   325 |725340 | 247.7 | 101M| 250 |   - |  17k|  13k|  17k|  17k|1725 |1851 |   0 | 0.000000e+00 | 2.400000e+01 |    Inf 
535.00/535.11	o 22
535.00/535.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
535.00/535.11	c c 535s|  2786 |   312 |725695 | 247.0 | 101M| 250 |   - |  17k|  12k|  17k|  17k|1725 |1852 |   0 | 0.000000e+00 | 2.200000e+01 |    Inf 
536.10/536.28	o 21
536.10/536.28	c c 536s|  2788 |   278 |726086 | 246.9 | 101M| 250 |   - |  17k|  12k|  17k|  17k|1725 |1871 |   0 | 0.000000e+00 | 2.100000e+01 |    Inf 
538.30/538.46	c   538s|  2800 |   290 |729780 | 247.2 | 100M| 250 | 716 |  17k|  12k|  17k|  17k|1728 |1890 |   0 | 0.000000e+00 | 2.100000e+01 |    Inf 
570.59/570.75	c   571s|  2900 |   328 |781749 | 256.6 | 101M| 250 |1166 |  17k|  12k|  17k|  17k|1781 |2135 |   0 | 0.000000e+00 | 2.100000e+01 |    Inf 
573.79/573.99	o 20
573.79/573.99	c c 574s|  2902 |   327 |784620 | 257.4 | 103M| 250 |   - |  17k|  12k|  17k|  17k|1782 |2165 |   0 | 0.000000e+00 | 2.000000e+01 |    Inf 
589.69/589.85	o 19
589.69/589.85	c c 590s|  2999 |   324 |803372 | 255.3 | 103M| 250 |   - |  17k|  12k|  17k|  17k|1792 |2358 |   0 | 0.000000e+00 | 1.900000e+01 |    Inf 
589.79/589.93	o 4
589.79/589.93	c 6 590s|  3000 |   236 |803372 | 255.3 | 100M| 250 |   - |  17k|  12k|   0 |   0 |1792 |2358 |   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
589.79/589.94	c Forcing restart, since 6295 binary variables among 6994 have been fixed.
589.99/590.10	c (run 1, node 3000) performing user restart
589.99/590.10	c 
589.99/590.13	c (restart) converted 7252 cuts from the global cut pool into linear constraints
589.99/590.13	c 
590.09/590.24	c presolving:
590.39/590.56	c (round 1) 13760 del vars, 8533 del conss, 0 add conss, 1186 chg bounds, 27 chg sides, 75 chg coeffs, 0 upgd conss, 95130 impls, 5 clqs
590.39/590.60	c (round 2) 13882 del vars, 9003 del conss, 6 add conss, 1240 chg bounds, 31 chg sides, 87 chg coeffs, 0 upgd conss, 121325 impls, 5 clqs
590.49/590.62	c (round 3) 14022 del vars, 9419 del conss, 6 add conss, 1278 chg bounds, 31 chg sides, 89 chg coeffs, 0 upgd conss, 124777 impls, 9 clqs
590.49/590.64	c (round 4) 14073 del vars, 9617 del conss, 6 add conss, 1298 chg bounds, 31 chg sides, 90 chg coeffs, 0 upgd conss, 125471 impls, 9 clqs
590.49/590.65	c (round 5) 14105 del vars, 9713 del conss, 6 add conss, 1309 chg bounds, 31 chg sides, 90 chg coeffs, 0 upgd conss, 125721 impls, 9 clqs
590.49/590.69	c (round 6) 14110 del vars, 9767 del conss, 6 add conss, 1310 chg bounds, 31 chg sides, 90 chg coeffs, 59 upgd conss, 125771 impls, 9 clqs
590.60/590.71	c (round 7) 14110 del vars, 9771 del conss, 6 add conss, 1310 chg bounds, 31 chg sides, 90 chg coeffs, 59 upgd conss, 125771 impls, 9 clqs
590.60/590.78	c (round 8) 14110 del vars, 9779 del conss, 6 add conss, 1310 chg bounds, 31 chg sides, 90 chg coeffs, 6445 upgd conss, 125771 impls, 9 clqs
590.69/590.82	c (round 9) 14110 del vars, 9795 del conss, 8 add conss, 1310 chg bounds, 63 chg sides, 198 chg coeffs, 6446 upgd conss, 125771 impls, 9 clqs
590.69/590.88	c (round 10) 14110 del vars, 17408 del conss, 2533 add conss, 1310 chg bounds, 63 chg sides, 200 chg coeffs, 6446 upgd conss, 125771 impls, 9 clqs
590.79/590.90	c (round 11) 14247 del vars, 17711 del conss, 2770 add conss, 1310 chg bounds, 63 chg sides, 225 chg coeffs, 6446 upgd conss, 136054 impls, 45 clqs
590.79/590.92	c (round 12) 14300 del vars, 17759 del conss, 2770 add conss, 1310 chg bounds, 63 chg sides, 244 chg coeffs, 6461 upgd conss, 142553 impls, 261 clqs
590.79/590.93	c (round 13) 14338 del vars, 17781 del conss, 2770 add conss, 1310 chg bounds, 63 chg sides, 249 chg coeffs, 6461 upgd conss, 144369 impls, 260 clqs
590.79/590.94	c (round 14) 14345 del vars, 17788 del conss, 2770 add conss, 1310 chg bounds, 63 chg sides, 253 chg coeffs, 6461 upgd conss, 145103 impls, 260 clqs
590.79/590.95	c (round 15) 14348 del vars, 17792 del conss, 2770 add conss, 1310 chg bounds, 63 chg sides, 253 chg coeffs, 6474 upgd conss, 145103 impls, 259 clqs
590.79/590.96	c (round 16) 14352 del vars, 17796 del conss, 2770 add conss, 1310 chg bounds, 63 chg sides, 254 chg coeffs, 6474 upgd conss, 145339 impls, 260 clqs
590.79/590.98	c (round 17) 14361 del vars, 17871 del conss, 2837 add conss, 1310 chg bounds, 64 chg sides, 254 chg coeffs, 6474 upgd conss, 146657 impls, 260 clqs
590.79/590.99	c (round 18) 14362 del vars, 17881 del conss, 2846 add conss, 1310 chg bounds, 64 chg sides, 254 chg coeffs, 6474 upgd conss, 147225 impls, 264 clqs
590.99/591.17	c (round 19) 14390 del vars, 17937 del conss, 2847 add conss, 1310 chg bounds, 64 chg sides, 254 chg coeffs, 6474 upgd conss, 154517 impls, 264 clqs
590.99/591.19	c (round 20) 14392 del vars, 17939 del conss, 2847 add conss, 1310 chg bounds, 64 chg sides, 256 chg coeffs, 6474 upgd conss, 154547 impls, 264 clqs
591.19/591.35	c (round 21) 14403 del vars, 17950 del conss, 2847 add conss, 1310 chg bounds, 64 chg sides, 256 chg coeffs, 6474 upgd conss, 155937 impls, 264 clqs
591.39/591.52	c (round 22) 14405 del vars, 17954 del conss, 2849 add conss, 1310 chg bounds, 64 chg sides, 256 chg coeffs, 6474 upgd conss, 155971 impls, 264 clqs
591.49/591.69	c (round 23) 14407 del vars, 17956 del conss, 2849 add conss, 1310 chg bounds, 64 chg sides, 256 chg coeffs, 6474 upgd conss, 155985 impls, 265 clqs
591.70/591.87	c presolving (24 rounds):
591.70/591.87	c  14407 deleted vars, 17956 deleted constraints, 2849 added constraints, 1310 tightened bounds, 0 added holes, 64 changed sides, 256 changed coefficients
591.70/591.87	c  155985 implications, 265 cliques
591.70/591.87	c presolved problem has 3508 variables (3330 bin, 0 int, 178 impl, 0 cont) and 5089 constraints
591.70/591.87	c     178 constraints of type <varbound>
591.70/591.87	c     807 constraints of type <knapsack>
591.70/591.87	c     651 constraints of type <setppc>
591.70/591.87	c    2092 constraints of type <and>
591.70/591.87	c     189 constraints of type <linear>
591.70/591.87	c     178 constraints of type <indicator>
591.70/591.87	c     460 constraints of type <logicor>
591.70/591.87	c     534 constraints of type <bounddisjunction>
591.70/591.87	c transformed objective value is always integral (scale: 1)
591.70/591.87	c Presolving Time: 2.22
591.70/591.87	c 
591.79/591.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
591.79/591.95	c   592s|     1 |     0 |804330 |     - |  88M|   0 | 498 |3508 |5089 |3508 |6287 |   0 |2358 |   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
596.39/596.53	c   597s|     1 |     0 |805151 |     - |  89M|   0 | 672 |3508 |5501 |3508 |6174 | 328 |2358 |   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
596.39/596.53	c   597s|     1 |     2 |805151 |     - |  89M|   0 | 672 |3508 |5501 |3508 |6174 | 328 |2358 |   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
596.39/596.53	c (run 2, node 1) restarting after 193 global fixings of integer variables
596.39/596.53	c 
596.39/596.54	c (restart) converted 282 cuts from the global cut pool into linear constraints
596.39/596.54	c 
596.39/596.55	c presolving:
596.39/596.58	c (round 1) 574 del vars, 387 del conss, 4 add conss, 13 chg bounds, 10 chg sides, 269 chg coeffs, 20 upgd conss, 177290 impls, 212 clqs
596.39/596.59	c (round 2) 687 del vars, 492 del conss, 8 add conss, 13 chg bounds, 14 chg sides, 297 chg coeffs, 25 upgd conss, 180358 impls, 206 clqs
596.49/596.60	c (round 3) 697 del vars, 508 del conss, 8 add conss, 13 chg bounds, 14 chg sides, 304 chg coeffs, 25 upgd conss, 180384 impls, 206 clqs
596.49/596.62	c (round 4) 698 del vars, 516 del conss, 8 add conss, 13 chg bounds, 14 chg sides, 305 chg coeffs, 61 upgd conss, 180384 impls, 206 clqs
596.49/596.66	c (round 5) 699 del vars, 798 del conss, 8 add conss, 13 chg bounds, 19 chg sides, 306 chg coeffs, 779 upgd conss, 180384 impls, 206 clqs
596.49/596.68	c (round 6) 773 del vars, 1052 del conss, 55 add conss, 13 chg bounds, 29 chg sides, 363 chg coeffs, 779 upgd conss, 201624 impls, 203 clqs
596.49/596.69	c (round 7) 793 del vars, 1083 del conss, 55 add conss, 13 chg bounds, 29 chg sides, 370 chg coeffs, 783 upgd conss, 202630 impls, 237 clqs
596.59/596.71	c (round 8) 795 del vars, 1086 del conss, 55 add conss, 13 chg bounds, 29 chg sides, 370 chg coeffs, 787 upgd conss, 202898 impls, 237 clqs
596.59/596.73	c (round 9) 796 del vars, 1100 del conss, 55 add conss, 13 chg bounds, 29 chg sides, 371 chg coeffs, 787 upgd conss, 202898 impls, 238 clqs
596.59/596.75	c (round 10) 805 del vars, 1130 del conss, 84 add conss, 13 chg bounds, 29 chg sides, 371 chg coeffs, 787 upgd conss, 204184 impls, 238 clqs
596.79/596.93	c (round 11) 835 del vars, 1171 del conss, 93 add conss, 13 chg bounds, 29 chg sides, 371 chg coeffs, 787 upgd conss, 208114 impls, 241 clqs
596.89/597.09	c (round 12) 835 del vars, 1198 del conss, 93 add conss, 13 chg bounds, 29 chg sides, 371 chg coeffs, 787 upgd conss, 208114 impls, 241 clqs
597.10/597.26	c presolving (13 rounds):
597.10/597.26	c  835 deleted vars, 1198 deleted constraints, 93 added constraints, 13 tightened bounds, 0 added holes, 29 changed sides, 371 changed coefficients
597.10/597.26	c  208114 implications, 241 cliques
597.10/597.26	c presolved problem has 2673 variables (2525 bin, 0 int, 148 impl, 0 cont) and 4588 constraints
597.10/597.26	c     148 constraints of type <varbound>
597.10/597.26	c     828 constraints of type <knapsack>
597.10/597.26	c     622 constraints of type <setppc>
597.10/597.26	c    1377 constraints of type <and>
597.10/597.26	c     161 constraints of type <linear>
597.10/597.26	c     148 constraints of type <indicator>
597.10/597.26	c     773 constraints of type <logicor>
597.10/597.26	c     531 constraints of type <bounddisjunction>
597.10/597.26	c transformed objective value is always integral (scale: 1)
597.10/597.26	c Presolving Time: 2.93
597.10/597.26	c 
597.20/597.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
597.20/597.33	c   597s|     1 |     0 |805842 |     - |  86M|   0 | 514 |2673 |4588 |2673 |4713 |   0 |2358 |   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
597.59/597.70	c   598s|     1 |     0 |806741 |     - |  87M|   0 | 636 |2673 |4588 |2673 |5083 | 370 |2358 |   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
597.78/597.94	c   598s|     1 |     2 |807411 |     - |  87M|   0 | 636 |2673 |4590 |2673 |5083 | 370 |2360 |   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
599.09/599.29	o 3
599.09/599.29	c v 599s|    11 |    12 |813194 | 256.5 |  88M|   9 |   - |2673 |4614 |2673 |4918 | 855 |2384 |   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
601.50/601.62	o 2
601.50/601.62	c c 602s|    32 |    33 |818341 | 256.4 |  88M|  22 |   - |2673 |4678 |2673 |4640 | 895 |2588 |   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
601.50/601.63	o 1
601.50/601.63	c Forcing restart, since the absolute gap is 1.000000.
601.50/601.63	c Forcing restart, since the absolute gap is 1.000000.
601.50/601.63	c 6 602s|    33 |     2 |818341 | 256.3 |  88M|  22 |   - |2673 |4678 |   0 |   0 | 895 |2588 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
601.50/601.63	c (run 3, node 33) performing user restart
601.50/601.63	c 
601.50/601.64	c (restart) converted 280 cuts from the global cut pool into linear constraints
601.50/601.64	c 
601.50/601.65	c presolving:
601.69/601.83	c (round 1) 208 del vars, 239 del conss, 0 add conss, 51 chg bounds, 3 chg sides, 18 chg coeffs, 0 upgd conss, 210229 impls, 242 clqs
601.69/601.84	c (round 2) 223 del vars, 365 del conss, 0 add conss, 52 chg bounds, 9 chg sides, 33 chg coeffs, 0 upgd conss, 210441 impls, 235 clqs
601.69/601.86	c (round 3) 451 del vars, 613 del conss, 0 add conss, 55 chg bounds, 9 chg sides, 144 chg coeffs, 9 upgd conss, 224124 impls, 220 clqs
601.69/601.87	c (round 4) 601 del vars, 700 del conss, 2 add conss, 55 chg bounds, 10 chg sides, 160 chg coeffs, 13 upgd conss, 226784 impls, 169 clqs
601.69/601.89	c (round 5) 628 del vars, 757 del conss, 2 add conss, 55 chg bounds, 11 chg sides, 172 chg coeffs, 64 upgd conss, 227110 impls, 169 clqs
601.79/601.91	c (round 6) 636 del vars, 764 del conss, 2 add conss, 55 chg bounds, 11 chg sides, 175 chg coeffs, 289 upgd conss, 227120 impls, 168 clqs
601.79/601.92	c (round 7) 638 del vars, 816 del conss, 2 add conss, 55 chg bounds, 22 chg sides, 231 chg coeffs, 289 upgd conss, 227242 impls, 168 clqs
601.79/601.94	c (round 8) 641 del vars, 877 del conss, 60 add conss, 55 chg bounds, 24 chg sides, 237 chg coeffs, 289 upgd conss, 227652 impls, 168 clqs
601.99/602.11	c (round 9) 654 del vars, 910 del conss, 63 add conss, 55 chg bounds, 24 chg sides, 238 chg coeffs, 289 upgd conss, 228554 impls, 221 clqs
601.99/602.12	c (round 10) 655 del vars, 911 del conss, 63 add conss, 55 chg bounds, 24 chg sides, 239 chg coeffs, 289 upgd conss, 228586 impls, 222 clqs
602.09/602.29	c (round 11) 657 del vars, 913 del conss, 63 add conss, 55 chg bounds, 24 chg sides, 239 chg coeffs, 289 upgd conss, 228616 impls, 222 clqs
602.09/602.29	c (round 12) 667 del vars, 919 del conss, 67 add conss, 55 chg bounds, 24 chg sides, 239 chg coeffs, 289 upgd conss, 229502 impls, 222 clqs
602.29/602.47	c (round 13) 668 del vars, 936 del conss, 80 add conss, 55 chg bounds, 24 chg sides, 239 chg coeffs, 289 upgd conss, 229640 impls, 225 clqs
602.49/602.63	c (round 14) 668 del vars, 937 del conss, 80 add conss, 55 chg bounds, 24 chg sides, 239 chg coeffs, 289 upgd conss, 229640 impls, 229 clqs
602.59/602.73	c (round 15) 668 del vars, 937 del conss, 80 add conss, 105 chg bounds, 24 chg sides, 239 chg coeffs, 289 upgd conss, 229640 impls, 229 clqs
602.59/602.75	c (round 16) 784 del vars, 1045 del conss, 80 add conss, 162 chg bounds, 24 chg sides, 239 chg coeffs, 291 upgd conss, 230130 impls, 229 clqs
602.59/602.77	c (round 17) 801 del vars, 1078 del conss, 80 add conss, 162 chg bounds, 24 chg sides, 252 chg coeffs, 291 upgd conss, 230361 impls, 226 clqs
602.59/602.79	c (round 18) 807 del vars, 1089 del conss, 80 add conss, 162 chg bounds, 24 chg sides, 253 chg coeffs, 335 upgd conss, 230649 impls, 225 clqs
602.79/602.95	c (round 19) 809 del vars, 1113 del conss, 107 add conss, 162 chg bounds, 54 chg sides, 298 chg coeffs, 335 upgd conss, 230721 impls, 225 clqs
602.99/603.11	c (round 20) 811 del vars, 1118 del conss, 107 add conss, 162 chg bounds, 54 chg sides, 298 chg coeffs, 335 upgd conss, 230825 impls, 231 clqs
602.99/603.16	c (round 21) 813 del vars, 1121 del conss, 108 add conss, 162 chg bounds, 54 chg sides, 298 chg coeffs, 335 upgd conss, 231301 impls, 231 clqs
603.19/603.32	c (round 22) 821 del vars, 1129 del conss, 108 add conss, 162 chg bounds, 54 chg sides, 298 chg coeffs, 335 upgd conss, 232063 impls, 232 clqs
603.19/603.33	c (round 23) 822 del vars, 1129 del conss, 108 add conss, 162 chg bounds, 54 chg sides, 298 chg coeffs, 335 upgd conss, 232071 impls, 232 clqs
603.28/603.49	c (round 24) 822 del vars, 1130 del conss, 109 add conss, 162 chg bounds, 54 chg sides, 298 chg coeffs, 335 upgd conss, 232071 impls, 232 clqs
603.39/603.52	c (round 25) 822 del vars, 1375 del conss, 189 add conss, 162 chg bounds, 54 chg sides, 298 chg coeffs, 335 upgd conss, 232071 impls, 233 clqs
603.49/603.69	c (round 26) 828 del vars, 1391 del conss, 198 add conss, 162 chg bounds, 54 chg sides, 298 chg coeffs, 335 upgd conss, 232337 impls, 237 clqs
603.59/603.71	c (round 27) 836 del vars, 1393 del conss, 200 add conss, 162 chg bounds, 54 chg sides, 298 chg coeffs, 335 upgd conss, 233201 impls, 246 clqs
603.69/603.87	c (round 28) 837 del vars, 1403 del conss, 208 add conss, 162 chg bounds, 54 chg sides, 298 chg coeffs, 335 upgd conss, 233221 impls, 248 clqs
603.89/604.04	c (round 29) 838 del vars, 1406 del conss, 208 add conss, 162 chg bounds, 54 chg sides, 298 chg coeffs, 335 upgd conss, 233355 impls, 249 clqs
603.99/604.15	c presolving (30 rounds):
603.99/604.15	c  838 deleted vars, 1406 deleted constraints, 208 added constraints, 162 tightened bounds, 0 added holes, 54 changed sides, 298 changed coefficients
603.99/604.15	c  233355 implications, 249 cliques
603.99/604.15	c presolved problem has 1835 variables (1835 bin, 0 int, 0 impl, 0 cont) and 3593 constraints
603.99/604.15	c     884 constraints of type <knapsack>
603.99/604.15	c     464 constraints of type <setppc>
603.99/604.15	c     969 constraints of type <and>
603.99/604.15	c     754 constraints of type <logicor>
603.99/604.15	c     522 constraints of type <bounddisjunction>
603.99/604.15	c transformed objective value is always integral (scale: 1)
603.99/604.15	c Presolving Time: 5.43
603.99/604.15	c 
604.09/604.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
604.09/604.20	c   604s|     1 |     0 |818990 |     - |  85M|   0 | 437 |1835 |3593 |1835 |3316 |   0 |2590 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
604.28/604.44	c   604s|     1 |     0 |820016 |     - |  85M|   0 | 667 |1835 |3593 |1835 |3632 | 316 |2590 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
604.80/604.91	c   605s|     1 |     2 |822314 |     - |  85M|   0 | 667 |1835 |3601 |1835 |3632 | 316 |2598 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
609.78/609.99	c   610s|   100 |    60 |844729 | 256.0 |  86M|  36 | 329 |1835 |3952 |1835 |3816 |1607 |2949 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
613.28/613.42	c   613s|   200 |    58 |858349 | 252.3 |  86M|  36 | 545 |1835 |4236 |1835 |3779 |2150 |3269 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
617.99/618.18	c   618s|   300 |    47 |878974 | 250.9 |  86M|  36 | 642 |1835 |4353 |1835 |3816 |2788 |3641 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
620.98/621.14	c   621s|   400 |    59 |892429 | 247.6 |  86M|  36 | 542 |1835 |4439 |1835 |3826 |3357 |3861 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
624.08/624.21	c   624s|   500 |    48 |907481 | 244.8 |  86M|  36 |   - |1835 |4555 |   0 |   0 |3936 |4071 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
627.19/627.31	c   627s|   600 |    57 |922670 | 242.2 |  87M|  36 |   - |1835 |4767 |   0 |   0 |4548 |4351 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
628.89/629.08	c   629s|   700 |    52 |931348 | 238.1 |  87M|  36 | 585 |1835 |4864 |1835 |3794 |4986 |4494 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
632.29/632.46	c   632s|   800 |    71 |950944 | 237.0 |  87M|  36 | 637 |1835 |4939 |1835 |3849 |5556 |4683 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
634.68/634.90	c   635s|   900 |    59 |962857 | 234.0 |  87M|  36 |   - |1835 |5025 |   0 |   0 |6062 |4839 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
637.08/637.23	c   637s|  1000 |    73 |973974 | 230.9 |  87M|  36 | 520 |1835 |5043 |1835 |3898 |6604 |4981 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
638.69/638.89	c   639s|  1100 |    58 |982518 | 227.4 |  87M|  36 |   - |1835 |5100 |   0 |   0 |7129 |5129 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
640.99/641.18	c   641s|  1200 |    59 |993939 | 224.7 |  87M|  36 |   - |1835 |5078 |   0 |   0 |7860 |5264 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
642.88/643.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
642.88/643.00	c   643s|  1300 |    26 |  1002k| 221.6 |  87M|  36 | 584 |1835 |5057 |1835 |3773 |8477 |5413 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
645.68/645.83	c   646s|  1400 |    23 |  1016k| 219.7 |  86M|  36 | 642 |1835 |5042 |1835 |3716 |9075 |5541 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
648.19/648.36	c   648s|  1500 |    22 |  1029k| 217.6 |  87M|  36 | 703 |1835 |5028 |1835 |3776 |9839 |5652 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
650.08/650.25	c 
650.08/650.25	c SCIP Status        : problem is solved [optimal solution found]
650.08/650.25	c Solving Time (sec) : 650.26
650.08/650.25	c Solving Nodes      : 1573 (total of 4607 nodes in 4 runs)
650.08/650.25	c Primal Bound       : +1.00000000000000e+00 (80 solutions)
650.08/650.25	c Dual Bound         : +1.00000000000000e+00
650.08/650.25	c Gap                : 0.00 %
650.08/650.26	s OPTIMUM FOUND
650.08/650.26	v -x3939 -x3938 x3937 x3936 x3935 -x3934 x3933 x3932 x3931 -x3930 -x3929 -x3928 x3927 x3926 x3925 -x3924 -x3923 -x3922 x3921 -x3920 
650.08/650.26	v x3919 x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 x3911 x3910 x3909 x3908 x3907 x3906 x3905 -x3904 -x3903 -x3902 -x3901 
650.08/650.26	v -x3900 x3899 -x3898 -x3897 -x3896 -x3895 -x3894 x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 
650.08/650.26	v -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 x3873 x3872 -x3871 -x3870 -x3869 -x3868 -x3867 x3866 x3865 -x3864 
650.08/650.26	v x3863 x3862 -x3861 x3860 -x3859 -x3858 x3857 x3856 -x3855 -x3854 x3853 x3852 x3851 x3850 x3849 x3848 x3847 -x3846 x3845 
650.08/650.26	v x3844 -x3843 x3842 -x3841 -x3840 -x3839 x3838 x3837 -x3836 x3835 x3834 x3833 x3832 x3831 -x3830 x3829 x3828 x3827 -x3826 -x3825 
650.08/650.26	v -x3824 x3823 x3822 x3821 x3820 x3819 -x3818 x3817 x3816 x3815 x3814 -x3813 -x3812 -x3811 -x3810 x3809 -x3808 -x3807 -x3806 
650.08/650.26	v -x3805 -x3804 x3803 x3802 x3801 x3800 x3799 -x3798 -x3797 x3796 -x3795 x3794 x3793 x3792 -x3791 -x3790 -x3789 x3788 x3787 x3786 
650.08/650.26	v -x3785 -x3784 x3783 x3782 x3781 x3780 -x3779 x3778 x3777 x3776 x3775 x3774 -x3773 x3772 -x3771 -x3770 x3769 x3768 -x3767 
650.08/650.26	v -x3766 x3765 x3764 x3763 x3762 x3761 -x3760 x3759 -x3758 x3757 x3756 -x3755 -x3754 -x3753 -x3752 -x3751 x3750 x3749 -x3748 -x3747 
650.08/650.26	v x3746 x3745 -x3744 x3743 -x3742 x3741 x3740 -x3739 -x3738 x3737 -x3736 x3735 x3734 -x3733 -x3732 -x3731 x3730 x3729 -x3728 
650.08/650.26	v x3727 -x3726 x3725 x3724 x3723 -x3722 -x3721 -x3720 x3719 x3718 -x3717 -x3716 x3715 x3714 x3713 x3712 -x3711 -x3710 x3709 
650.08/650.26	v x3708 -x3707 x3706 x3705 x3704 x3703 x3702 x3701 -x3700 -x3699 -x3698 x3697 x3696 -x3695 x3694 -x3693 -x3692 -x3691 -x3690 -x3689 
650.08/650.26	v -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 
650.08/650.26	v -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 
650.08/650.26	v -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 
650.08/650.26	v -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 
650.08/650.26	v -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 x3607 x3606 x3605 x3604 -x3603 -x3602 -x3601 x3600 -x3599 
650.08/650.26	v -x3598 -x3597 x3596 x3595 x3594 x3593 -x3592 -x3591 -x3590 x3589 x3588 x3587 x3586 -x3585 -x3584 -x3583 x3582 x3581 x3580 
650.08/650.26	v -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 
650.08/650.26	v -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 
650.08/650.26	v -x3543 -x3542 -x3541 x3540 x3539 x3538 x3537 x3536 x3535 x3534 x3533 x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 x3525 
650.08/650.26	v -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 x3511 x3510 x3509 x3508 x3507 x3506 
650.08/650.26	v x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 
650.08/650.26	v -x3487 -x3486 -x3485 -x3484 x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 x3476 x3475 -x3474 -x3473 -x3472 -x3471 -x3470 
650.08/650.26	v -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 x3458 x3457 x3456 x3455 x3454 x3453 -x3452 -x3451 
650.08/650.26	v -x3450 -x3449 x3448 x3447 x3446 x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 x3434 x3433 x3432 
650.08/650.26	v x3431 x3430 x3429 x3428 x3427 x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 x3417 -x3416 -x3415 -x3414 -x3413 
650.08/650.26	v -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 x3405 x3404 x3403 x3402 x3401 x3400 x3399 -x3398 -x3397 -x3396 -x3395 -x3394 
650.08/650.26	v -x3393 -x3392 -x3391 -x3390 -x3389 x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 x3376 
650.08/650.26	v -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 x3369 -x3368 -x3367 x3366 x3365 -x3364 -x3363 -x3362 x3361 -x3360 -x3359 -x3358 
650.08/650.26	v -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 
650.08/650.26	v -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 x3325 x3324 x3323 x3322 x3321 
650.08/650.26	v x3320 x3319 x3318 -x3317 -x3316 -x3315 -x3314 x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 
650.08/650.26	v -x3302 -x3301 x3300 x3299 x3298 x3297 x3296 x3295 -x3294 -x3293 -x3292 -x3291 x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 
650.08/650.26	v -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 
650.08/650.26	v -x3265 -x3264 x3263 x3262 x3261 x3260 x3259 -x3258 -x3257 -x3256 x3255 x3254 x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 
650.08/650.26	v -x3246 -x3245 x3244 x3243 x3242 x3241 x3240 x3239 x3238 x3237 -x3236 -x3235 -x3234 x3233 -x3232 -x3231 -x3230 -x3229 -x3228 
650.08/650.26	v -x3227 -x3226 -x3225 -x3224 x3223 x3222 x3221 x3220 x3219 x3218 -x3217 -x3216 -x3215 -x3214 x3213 -x3212 -x3211 -x3210 -x3209 
650.08/650.26	v -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 x3192 x3191 
650.08/650.26	v x3190 x3189 x3188 x3187 x3186 x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 
650.08/650.26	v -x3171 -x3170 -x3169 -x3168 x3167 x3166 x3165 x3164 x3163 x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 x3153 
650.08/650.26	v -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 
650.08/650.26	v -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 
650.08/650.26	v -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 x3111 x3110 x3109 x3108 x3107 x3106 x3105 x3104 x3103 x3102 x3101 x3100 -x3099 -x3098 
650.08/650.26	v -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 x3081 x3080 
650.08/650.26	v x3079 x3078 x3077 x3076 x3075 x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 
650.08/650.26	v -x3060 -x3059 -x3058 -x3057 -x3056 x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 x3044 x3043 
650.08/650.26	v x3042 x3041 x3040 x3039 x3038 -x3037 -x3036 x3035 x3034 x3033 x3032 -x3031 -x3030 -x3029 x3028 x3027 x3026 x3025 x3024 x3023 
650.08/650.26	v x3022 x3021 x3020 x3019 x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 x3005 x3004 
650.08/650.26	v x3003 x3002 x3001 x3000 x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 x2986 -x2985 
650.08/650.26	v x2984 x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 x2968 x2967 
650.08/650.26	v x2966 x2965 x2964 x2963 x2962 x2961 x2960 x2959 x2958 x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 
650.08/650.26	v -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 x2938 x2937 x2936 x2935 x2934 x2933 x2932 x2931 x2930 -x2929 -x2928 
650.08/650.26	v -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 x2911 -x2910 
650.08/650.26	v x2909 x2908 -x2907 -x2906 -x2905 -x2904 x2903 x2902 -x2901 x2900 x2899 x2898 x2897 x2896 x2895 x2894 x2893 x2892 x2891 
650.08/650.26	v x2890 x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 x2874 x2873 x2872 
650.08/650.26	v x2871 x2870 x2869 x2868 x2867 x2866 x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 
650.08/650.26	v -x2852 -x2851 x2850 -x2849 -x2848 x2847 x2846 x2845 x2844 x2843 x2842 x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 
650.08/650.26	v -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 
650.08/650.26	v -x2815 -x2814 -x2813 -x2812 x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 x2804 x2803 x2802 -x2801 -x2800 -x2799 -x2798 
650.08/650.26	v -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 x2782 x2781 x2780 
650.08/650.26	v x2779 x2778 x2777 x2776 x2775 x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 
650.08/650.26	v -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 
650.08/650.26	v -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 x2729 -x2728 -x2727 -x2726 -x2725 
650.08/650.26	v -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 x2712 -x2711 -x2710 -x2709 -x2708 -x2707 
650.08/650.26	v -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 x2696 -x2695 -x2694 -x2693 -x2692 -x2691 x2690 -x2689 
650.08/650.26	v -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 
650.08/650.26	v -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 x2656 -x2655 -x2654 -x2653 
650.08/650.26	v -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 x2637 x2636 -x2635 
650.08/650.26	v -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 x2627 x2626 x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 
650.08/650.26	v -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 x2605 x2604 x2603 -x2602 -x2601 -x2600 -x2599 -x2598 
650.08/650.26	v -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 x2584 -x2583 -x2582 -x2581 x2580 
650.08/650.26	v -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 
650.08/650.26	v -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 x2555 -x2554 -x2553 -x2552 -x2551 -x2550 x2549 -x2548 -x2547 -x2546 -x2545 -x2544 
650.08/650.26	v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 x2530 -x2529 -x2528 -x2527 x2526 
650.08/650.26	v x2525 x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 
650.08/650.26	v -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 x2497 x2496 x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 
650.08/650.26	v -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 
650.08/650.26	v x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 
650.08/650.26	v -x2452 -x2451 x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 x2440 -x2439 -x2438 -x2437 x2436 -x2435 
650.08/650.26	v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 
650.08/650.26	v -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 
650.08/650.26	v -x2398 x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 
650.08/650.26	v -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 
650.08/650.26	v x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 
650.08/650.26	v -x2344 x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 
650.08/650.26	v -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 x2312 -x2311 -x2310 -x2309 
650.08/650.26	v -x2308 -x2307 x2306 x2305 -x2304 -x2303 x2302 x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 
650.08/650.26	v -x2290 -x2289 -x2288 x2287 x2286 x2285 x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 
650.08/650.26	v -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 
650.08/650.26	v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 x2245 x2244 x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 
650.08/650.26	v -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 
650.08/650.26	v -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 
650.08/650.26	v -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 
650.08/650.26	v -x2182 -x2181 -x2180 x2179 -x2178 -x2177 -x2176 x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 
650.08/650.26	v -x2163 -x2162 x2161 -x2160 -x2159 -x2158 -x2157 -x2156 x2155 -x2154 -x2153 -x2152 x2151 x2150 x2149 -x2148 -x2147 -x2146 
650.08/650.26	v -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 
650.08/650.26	v -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 x2110 
650.08/650.26	v -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 x2092 
650.08/650.26	v -x2091 -x2090 -x2089 x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 
650.08/650.26	v x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 
650.08/650.26	v -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 x2039 -x2038 
650.08/650.26	v -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 
650.08/650.26	v -x2019 -x2018 -x2017 -x2016 -x2015 x2014 x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 
650.08/650.26	v x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 
650.08/650.26	v -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 x1974 x1973 -x1972 x1971 -x1970 -x1969 -x1968 -x1967 -x1966 
650.08/650.26	v -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 x1959 x1958 x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 x1948 x1947 
650.08/650.26	v x1946 -x1945 x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 x1931 -x1930 -x1929 
650.08/650.26	v -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 x1914 -x1913 -x1912 x1911 
650.08/650.26	v -x1910 -x1909 -x1908 -x1907 x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 
650.08/650.26	v -x1891 -x1890 x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 x1878 -x1877 -x1876 -x1875 x1874 
650.08/650.26	v -x1873 -x1872 x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 
650.08/650.26	v x1855 x1854 x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 
650.08/650.26	v -x1837 x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 
650.08/650.26	v x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 
650.08/650.26	v -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 x1788 -x1787 -x1786 -x1785 -x1784 -x1783 
650.08/650.26	v -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 
650.08/650.26	v -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 x1748 -x1747 
650.08/650.26	v -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 
650.08/650.26	v -x1728 -x1727 -x1726 x1725 x1724 x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 
650.08/650.26	v -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 x1702 -x1701 -x1700 -x1699 -x1698 x1697 x1696 x1695 -x1694 -x1693 
650.08/650.26	v -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 
650.08/650.26	v -x1674 -x1673 x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 x1662 -x1661 -x1660 -x1659 -x1658 -x1657 
650.08/650.26	v -x1656 -x1655 -x1654 -x1653 -x1652 x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 x1640 -x1639 
650.08/650.26	v -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 
650.08/650.26	v -x1620 -x1619 -x1618 -x1617 -x1616 x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 x1605 -x1604 -x1603 
650.08/650.26	v -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 x1587 -x1586 -x1585 
650.08/650.26	v -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 
650.08/650.26	v -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 x1555 -x1554 -x1553 -x1552 x1551 -x1550 -x1549 
650.08/650.26	v -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533 -x1532 -x1531 
650.08/650.26	v -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 x1518 x1517 x1516 -x1515 -x1514 -x1513 -x1512 
650.08/650.26	v -x1511 -x1510 -x1509 -x1508 x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 
650.08/650.26	v -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 x1477 x1476 
650.08/650.26	v x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 
650.08/650.26	v -x1457 -x1456 -x1455 -x1454 -x1453 x1452 -x1451 -x1450 -x1449 x1448 -x1447 -x1446 -x1445 -x1444 x1443 -x1442 x1441 -x1440 
650.08/650.26	v -x1439 -x1438 -x1437 x1436 -x1435 -x1434 -x1433 -x1432 -x1431 x1430 x1429 -x1428 -x1427 x1426 x1425 x1424 x1423 x1422 x1421 
650.08/650.26	v -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 
650.08/650.26	v -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 x1389 -x1388 -x1387 -x1386 -x1385 
650.08/650.26	v -x1384 -x1383 -x1382 -x1381 x1380 -x1379 -x1378 -x1377 x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 x1367 -x1366 
650.08/650.26	v -x1365 x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 x1355 -x1354 -x1353 x1352 -x1351 -x1350 -x1349 -x1348 
650.08/650.26	v -x1347 -x1346 -x1345 -x1344 -x1343 x1342 -x1341 x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 x1331 -x1330 
650.08/650.26	v -x1329 x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 x1319 -x1318 -x1317 x1316 -x1315 -x1314 -x1313 -x1312 
650.08/650.26	v -x1311 -x1310 -x1309 -x1308 x1307 -x1306 -x1305 x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 x1295 -x1294 -x1293 
650.08/650.26	v -x1292 x1291 x1290 x1289 x1288 -x1287 x1286 -x1285 -x1284 -x1283 x1282 -x1281 -x1280 -x1279 x1278 -x1277 x1276 -x1275 x1274 
650.08/650.26	v x1273 -x1272 x1271 -x1270 -x1269 -x1268 x1267 x1266 x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 
650.08/650.26	v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 
650.08/650.26	v -x1237 x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 x1229 -x1228 -x1227 x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 x1219 
650.08/650.26	v -x1218 -x1217 x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 x1208 -x1207 x1206 -x1205 -x1204 -x1203 -x1202 -x1201 
650.08/650.26	v -x1200 x1199 -x1198 -x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 x1189 -x1188 -x1187 x1186 -x1185 -x1184 -x1183 
650.08/650.26	v -x1182 -x1181 -x1180 x1179 -x1178 -x1177 x1176 -x1175 -x1174 -x1173 -x1172 -x1171 x1170 -x1169 -x1168 -x1167 x1166 x1165 x1164 
650.08/650.26	v x1163 -x1162 -x1161 x1160 -x1159 -x1158 -x1157 -x1156 x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 
650.08/650.26	v -x1145 -x1144 -x1143 x1142 -x1141 -x1140 -x1139 -x1138 -x1137 x1136 x1135 x1134 -x1133 -x1132 -x1131 x1130 -x1129 -x1128 -x1127 
650.08/650.26	v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 
650.08/650.26	v -x1108 -x1107 x1106 -x1105 -x1104 -x1103 x1102 -x1101 -x1100 -x1099 x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 x1091 
650.08/650.26	v x1090 x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 x1074 -x1073 -x1072 
650.08/650.26	v -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 x1054 
650.08/650.26	v -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 x1038 -x1037 -x1036 
650.08/650.26	v -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 x1025 -x1024 -x1023 -x1022 x1021 -x1020 -x1019 -x1018 
650.08/650.26	v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 x1001 -x1000 
650.08/650.26	v -x999 -x998 -x997 x996 x995 -x994 x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 x983 -x982 x981 -x980 -x979 -x978 
650.08/650.26	v -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 x963 -x962 x961 -x960 -x959 -x958 -x957 
650.08/650.26	v -x956 -x955 x954 -x953 -x952 x951 -x950 -x949 -x948 x947 -x946 -x945 -x944 x943 x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 
650.08/650.26	v -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 x914 
650.08/650.26	v -x913 -x912 -x911 -x910 x909 -x908 -x907 x906 -x905 -x904 -x903 -x902 x901 -x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 
650.08/650.26	v x892 -x891 x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 x874 -x873 -x872 -x871 
650.08/650.26	v -x870 x869 -x868 -x867 x866 -x865 -x864 -x863 x862 -x861 -x860 -x859 x858 x857 x856 x855 x854 x853 -x852 -x851 x850 -x849 -x848 
650.08/650.26	v -x847 -x846 -x845 -x844 -x843 -x842 x841 x840 x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 x828 -x827 
650.08/650.26	v -x826 -x825 -x824 -x823 -x822 x821 x820 x819 -x818 -x817 -x816 -x815 x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 
650.08/650.26	v x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 x796 -x795 -x794 x793 -x792 -x791 -x790 -x789 x788 x787 -x786 -x785 -x784 
650.08/650.26	v -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 x769 -x768 x767 -x766 x765 -x764 x763 -x762 
650.08/650.26	v x761 -x760 x759 -x758 x757 -x756 x755 -x754 x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 
650.08/650.26	v -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 x731 x730 -x729 x728 -x727 -x726 -x725 -x724 -x723 -x722 x721 -x720 x719 -x718 
650.08/650.26	v -x717 -x716 -x715 -x714 -x713 -x712 x711 -x710 -x709 x708 x707 x706 -x705 x704 x703 x702 -x701 x700 -x699 x698 -x697 -x696 
650.08/650.26	v -x695 -x694 -x693 -x692 -x691 -x690 x689 x688 -x687 -x686 -x685 -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 
650.08/650.26	v x674 x673 x672 -x671 -x670 -x669 -x668 -x667 x666 x665 x664 x663 -x662 -x661 -x660 -x659 x658 -x657 -x656 -x655 -x654 -x653 
650.08/650.26	v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 -x641 x640 -x639 -x638 x637 -x636 x635 -x634 -x633 x632 -x631 
650.08/650.26	v x630 -x629 -x628 x627 -x626 x625 -x624 -x623 x622 -x621 x620 -x619 -x618 x617 -x616 x615 -x614 -x613 x612 -x611 x610 -x609 
650.08/650.26	v -x608 -x607 -x606 x605 x604 x603 -x602 -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 
650.08/650.26	v -x586 -x585 -x584 x583 -x582 -x581 x580 -x579 x578 -x577 x576 -x575 -x574 x573 -x572 -x571 x570 -x569 x568 -x567 x566 -x565 
650.08/650.26	v -x564 x563 -x562 -x561 x560 -x559 x558 -x557 x556 -x555 -x554 -x553 -x552 x551 x550 x549 -x548 -x547 x546 x545 x544 x543 x542 
650.08/650.26	v -x541 x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 x525 -x524 x523 -x522 -x521 
650.08/650.26	v x520 -x519 x518 -x517 -x516 x515 -x514 x513 -x512 -x511 x510 -x509 x508 -x507 -x506 x505 -x504 x503 -x502 -x501 -x500 -x499 x498 
650.08/650.26	v -x497 x496 x495 -x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 x483 -x482 -x481 x480 -x479 x478 -x477 -x476 
650.08/650.26	v x475 -x474 x473 -x472 x471 -x470 -x469 x468 -x467 x466 -x465 -x464 -x463 -x462 x461 x460 x459 -x458 -x457 x456 x455 -x454 
650.08/650.26	v x453 x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 -x441 x440 -x439 -x438 x437 -x436 x435 -x434 -x433 x432 
650.08/650.26	v -x431 -x430 x429 -x428 -x427 -x426 x425 x424 x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 -x415 -x414 -x413 -x412 x411 -x410 
650.08/650.26	v x409 -x408 -x407 x406 -x405 -x404 x403 -x402 -x401 -x400 x399 x398 x397 -x396 -x395 x394 x393 x392 x391 -x390 x389 -x388 -x387 
650.08/650.26	v -x386 x385 -x384 -x383 x382 -x381 -x380 -x379 x378 x377 x376 -x375 -x374 x373 x372 -x371 -x370 x369 -x368 -x367 x366 x365 
650.08/650.26	v x364 -x363 -x362 x361 x360 x359 x358 -x357 -x356 x355 -x354 x353 -x352 x351 x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 
650.08/650.26	v -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 -x322 x321 
650.08/650.26	v -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 
650.08/650.26	v -x299 x298 x297 -x296 -x295 -x294 x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 
650.08/650.26	v -x277 x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 x264 x263 x262 x261 x260 x259 x258 -x257 -x256 
650.08/650.26	v -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 x245 -x244 x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 
650.08/650.26	v x233 -x232 -x231 -x230 -x229 x228 -x227 x226 -x225 x224 -x223 -x222 x221 -x220 x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 
650.08/650.26	v -x211 -x210 -x209 x208 x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 x198 x197 x196 -x195 -x194 x193 -x192 -x191 x190 
650.08/650.26	v x189 x188 x187 x186 x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 
650.08/650.26	v -x167 x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 
650.08/650.26	v x145 -x144 x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 x128 -x127 x126 -x125 x124 
650.08/650.26	v -x123 -x122 x121 -x120 x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 
650.08/650.26	v -x101 x100 -x99 -x98 x97 x96 x95 x94 x93 -x92 -x91 -x90 x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 
650.08/650.26	v x75 -x74 x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 x55 -x54 x53 -x52 x51 -x50 
650.08/650.26	v -x49 x48 -x47 x46 x45 x44 x43 x42 -x41 x40 x39 x38 x37 x36 x35 x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 x24 -x23 -x22 
650.08/650.26	v -x21 -x20 x19 -x18 x17 -x16 -x15 x14 x13 x12 -x11 -x10 x9 -x8 -x7 -x6 x5 x4 -x3 x2 -x1 
650.08/650.26	c SCIP Status        : problem is solved [optimal solution found]
650.08/650.26	c Total Time         :     650.26
650.08/650.26	c   solving          :     650.26
650.08/650.26	c   presolving       :       5.43 (included in solving)
650.08/650.26	c   reading          :       0.04 (included in solving)
650.08/650.26	c   copying          :       0.28 (6 #copies) (minimal 0.02, maximal 0.08, average 0.05)
650.08/650.26	c Original Problem   :
650.08/650.26	c   Problem name     : HOME/instance-3717549-1338193305.wbo
650.08/650.26	c   Variables        : 10933 (10933 binary, 0 integer, 0 implicit integer, 0 continuous)
650.08/650.26	c   Constraints      : 10413 initial, 10413 maximal
650.08/650.26	c   Objective sense  : minimize
650.08/650.26	c Presolved Problem  :
650.08/650.26	c   Problem name     : t_HOME/instance-3717549-1338193305.wbo
650.08/650.26	c   Variables        : 1835 (1835 binary, 0 integer, 0 implicit integer, 0 continuous)
650.08/650.26	c   Constraints      : 3593 initial, 5105 maximal
650.08/650.26	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
650.08/650.26	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
650.08/650.26	c   trivial          :       0.05       0.00      13019          0          0          0          0          0          0          0          0
650.08/650.26	c   dualfix          :       0.02       0.00         55          0          0          0          0          0          0          0          0
650.08/650.26	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
650.08/650.26	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
650.08/650.26	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
650.08/650.26	c   gateextraction   :       0.04       0.00          0          0          0          0          0       8221       2726          0          0
650.08/650.26	c   implics          :       0.03       0.00          0        314          0          0          0          0          0          0          0
650.08/650.26	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
650.08/650.26	c   pseudoobj        :       0.00       0.01          0          0          0         50          0          0          0          0          0
650.08/650.26	c   probing          :       0.15       0.00          0          0          0          0          0          0          0          0          0
650.08/650.26	c   varbound         :       0.01       0.00          0          0          0         97          0        340          0          0          0
650.08/650.26	c   knapsack         :       0.12       0.00          0          0          0          0          0         11         34         93        288
650.08/650.26	c   setppc           :       0.17       0.00         52        150          0          0          0        796          0          1          0
650.08/650.26	c   and              :       3.57       0.00        245        741          0          0          0       1178        511          0        498
650.08/650.26	c   linear           :       0.61       0.02       1444         12          0       8316          0       8128          0        389        811
650.08/650.26	c   indicator        :       0.01       0.01         48          0          0          0          0       1320          0          0          0
650.08/650.26	c   logicor          :       0.39       0.01         10          0          0         16          0        704          0          0          0
650.08/650.26	c   bounddisjunction :       0.04       0.00          0          0          0          0          0        246          0          0          0
650.08/650.26	c   root node        :          -          -      13265          -          -      13265          -          -          -          -          -
650.08/650.26	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
650.08/650.26	c   integral         :          0          0          0          0       4013          0       5206          0          0          0          0          0       8022
650.08/650.26	c   knapsack         :        884        884         11      75290          2          0       5200      11379        425      11652       1559          0          0
650.08/650.26	c   setppc           :        464        464         11      74865          2          0        574      29711        184      38609         42          0          0
650.08/650.26	c   and              :        969        969       6138      74681          2          0        413      43103        481      69998      11817          0          0
650.08/650.26	c   logicor          :        754+      2406         11      32556          2          0        340      17242        359      18533         60          0          0
650.08/650.26	c   bounddisjunction :        522        522          0       9749          0          0          0        708          9        503          0          0          0
650.08/650.26	c   countsols        :          0          0          0          0          2          0        232          0          0          0          0          0          0
650.08/650.26	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
650.08/650.26	c   integral         :       3.60       0.00       0.00       0.00       0.45       0.00       3.15       0.00
650.08/650.26	c   knapsack         :       1.26       0.00       0.03       1.07       0.00       0.00       0.15       0.02
650.08/650.26	c   setppc           :       3.24       0.00       0.00       2.92       0.00       0.00       0.28       0.04
650.08/650.26	c   and              :       1.53       0.00       0.54       0.92       0.00       0.00       0.02       0.05
650.08/650.26	c   logicor          :       1.66       0.01       0.00       1.51       0.00       0.00       0.11       0.03
650.08/650.26	c   bounddisjunction :       0.14       0.00       0.00       0.14       0.00       0.00       0.00       0.00
650.08/650.26	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
650.08/650.26	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
650.08/650.26	c   rootredcost      :         35          0          0       6895
650.08/650.26	c   pseudoobj        :      48183      15251         23      70257
650.08/650.26	c   vbounds          :       1054      16619          1     116255
650.08/650.26	c   redcost          :       6342          0          0      29647
650.08/650.26	c   probing          :          0          0          0          0
650.08/650.26	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
650.08/650.26	c   rootredcost      :       0.13       0.00       0.00       0.13       0.00
650.08/650.26	c   pseudoobj        :       5.44       0.01       0.00       1.22       4.21
650.08/650.26	c   vbounds          :       2.48       0.01       0.00       2.44       0.02
650.08/650.26	c   redcost          :       3.29       0.00       0.00       3.29       0.00
650.08/650.26	c   probing          :       0.15       0.00       0.15       0.00       0.00
650.08/650.26	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
650.08/650.26	c   propagation      :       4.59       1822       1821       8901       34.9        453       12.3          -
650.08/650.26	c   infeasible LP    :       0.82        522        522        728        6.7         40        9.2          0
650.08/650.26	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
650.08/650.26	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
650.08/650.26	c   pseudo solution  :       0.01          4          4          5        7.8          1        2.0          -
650.08/650.26	c   applied globally :          -          -          -       5740       25.5          -          -          -
650.08/650.26	c   applied locally  :          -          -          -          0        0.0          -          -          -
650.08/650.26	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
650.08/650.26	c   cut pool         :       0.00                     0          -          -          0          -    (maximal pool size: 874)
650.08/650.26	c   closecuts        :       0.00       0.00          0          0          0          0          0
650.08/650.26	c   impliedbounds    :       0.01       0.00         10          0          0       1231          0
650.08/650.26	c   intobj           :       0.00       0.00          0          0          0          0          0
650.08/650.26	c   gomory           :       0.68       0.00         10          0          0        500          0
650.08/650.26	c   cgmip            :       0.00       0.00          0          0          0          0          0
650.08/650.26	c   strongcg         :       3.93       0.00         10          0          0       4736          0
650.08/650.26	c   cmir             :       1.64       0.00         10          0          0        866          0
650.08/650.26	c   flowcover        :       2.39       0.00         10          0          0       2005          0
650.08/650.26	c   clique           :       0.16       0.00         10          0          0         26          0
650.08/650.26	c   zerohalf         :       0.00       0.00          0          0          0          0          0
650.08/650.26	c   mcf              :       0.07       0.00          4          0          0          0          0
650.08/650.26	c   oddcycle         :       0.00       0.00          0          0          0          0          0
650.08/650.26	c   rapidlearning    :       4.13       0.00          1          0        193          0        688
650.08/650.26	c Pricers            :   ExecTime  SetupTime      Calls       Vars
650.08/650.26	c   problem variables:       0.00          -          0          0
650.08/650.26	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
650.08/650.26	c   inference        :       0.43       0.00       4011          0          0          0          0       8022
650.08/650.26	c   relpscost        :       0.00       0.00          0          0          0          0          0          0
650.08/650.26	c   pscost           :       0.00       0.00          0          0          0          0          0          0
650.08/650.26	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
650.08/650.26	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
650.08/650.26	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
650.08/650.26	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
650.08/650.26	c   random           :       0.00       0.00          0          0          0          0          0          0
650.08/650.26	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
650.08/650.26	c   LP solutions     :       0.00          -          -          2
650.08/650.26	c   pseudo solutions :       0.00          -          -          0
650.08/650.26	c   intshifting      :       0.00       0.00          0          0
650.08/650.26	c   crossover        :       0.70       0.00          1          1
650.08/650.26	c   oneopt           :       0.27       0.00         35          0
650.08/650.26	c   objpscostdiving  :      15.76       0.00          2          0
650.08/650.26	c   rootsoldiving    :       8.81       0.00          3          0
650.08/650.26	c   guideddiving     :      35.01       0.00          6          0
650.08/650.26	c   pscostdiving     :      31.34       0.00         11          0
650.08/650.26	c   linesearchdiving :      32.33       0.00         16          0
650.08/650.26	c   fracdiving       :      31.61       0.00         20          0
650.08/650.26	c   veclendiving     :      28.82       0.00         25          2
650.08/650.26	c   smallcard        :       0.00       0.00          0          0
650.08/650.26	c   trivial          :       0.02       0.00          2          0
650.08/650.26	c   shiftandpropagate:       0.00       0.00          0          0
650.08/650.26	c   simplerounding   :       0.16       0.00       6222          0
650.08/650.26	c   zirounding       :       1.16       0.00       1000          3
650.08/650.26	c   rounding         :       2.01       0.00       3975          3
650.08/650.26	c   shifting         :       3.63       0.00        628         13
650.08/650.26	c   twoopt           :       0.00       0.00          0          0
650.08/650.26	c   indoneopt        :       5.86       0.01         48         11
650.08/650.26	c   indtwoopt        :       0.00       0.01          0          0
650.08/650.26	c   fixandinfer      :       0.00       0.00          0          0
650.08/650.26	c   feaspump         :       3.65       0.00          1          0
650.08/650.26	c   clique           :       0.00       0.00          0          0
650.08/650.26	c   coefdiving       :     204.94       0.00        135         17
650.08/650.26	c   indrounding      :      28.67       0.00       4002         13
650.08/650.26	c   indcoefdiving    :       0.00       0.00          0          0
650.08/650.26	c   nlpdiving        :       0.00       0.00          0          0
650.08/650.26	c   intdiving        :       0.00       0.00          0          0
650.08/650.26	c   actconsdiving    :       0.00       0.00          0          0
650.08/650.26	c   octane           :       0.00       0.00          0          0
650.08/650.26	c   rens             :       0.59       0.00          1          0
650.08/650.26	c   rins             :       0.00       0.00          0          0
650.08/650.26	c   localbranching   :       0.00       0.00          0          0
650.08/650.26	c   mutation         :       0.00       0.00          0          0
650.08/650.26	c   dins             :       0.00       0.00          0          0
650.08/650.26	c   vbounds          :       0.00       0.00          0          0
650.08/650.26	c   undercover       :       0.00       0.00          0          0
650.08/650.26	c   subnlp           :       0.01       0.00          0          0
650.08/650.26	c   trysol           :       0.23       0.00         15         15
650.08/650.26	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
650.08/650.26	c   primal LP        :       0.01          4          0       0.00       0.00       0.01          4
650.08/650.26	c   dual LP          :     157.95       6391     493548      78.75    3124.65       0.67        124
650.08/650.26	c   lex dual LP      :       0.00          0          0       0.00          -
650.08/650.26	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
650.08/650.26	c   diving/probing LP:     295.98      20797     544982      26.20    1841.25
650.08/650.26	c   strong branching :       0.00          0          0       0.00          -
650.08/650.26	c     (at root node) :          -          0          0       0.00          -
650.08/650.26	c   conflict analysis:       0.00          0          0       0.00          -
650.08/650.26	c B&B Tree           :
650.08/650.26	c   number of runs   :          4
650.08/650.26	c   nodes            :       1573
650.08/650.26	c   nodes (total)    :       4607
650.08/650.26	c   nodes left       :          0
650.08/650.26	c   max depth        :         36
650.08/650.26	c   max depth (total):        250
650.08/650.26	c   backtracks       :        422 (26.8%)
650.08/650.26	c   delayed cutoffs  :        809
650.08/650.26	c   repropagations   :       1555 (35975 domain reductions, 336 cutoffs)
650.08/650.26	c   avg switch length:       3.25
650.08/650.26	c   switching time   :       4.27
650.08/650.26	c Solution           :
650.08/650.26	c   Solutions found  :         80 (47 improvements)
650.08/650.26	c   First Solution   : +6.26100000000000e+03   (in run 1, after 1 nodes, 35.14 seconds, depth 658, found by <coefdiving>)
650.08/650.26	c   Primal Bound     : +1.00000000000000e+00   (in run 3, after 33 nodes, 601.63 seconds, depth 21, found by <indoneopt>)
650.08/650.26	c   Dual Bound       : +1.00000000000000e+00
650.08/650.26	c   Gap              :       0.00 %
650.08/650.26	c   Root Dual Bound  : +0.00000000000000e+00
650.08/650.26	c   Root Iterations  :      42584
650.19/650.33	c Time complete: 650.22.

Verifier Data

OK	1

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3717549-1338193305/watcher-3717549-1338193305 -o /tmp/evaluation-result-3717549-1338193305/solver-3717549-1338193305 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717549-1338193305.wbo -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14751
/proc/meminfo: memFree=31188396/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=10416 CPUtime=0 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 1343 0 0 0 0 0 0 0 20 0 1 0 285455391 10665984 1298 33554432000 4194304 10173063 140733514797504 140733514662344 8800002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 2604 1298 416 1460 0 1135 0

[startup+0.0425371 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14751
/proc/meminfo: memFree=31188396/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=22872 CPUtime=0.03 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 4350 0 0 0 3 0 0 0 20 0 1 0 285455391 23420928 4306 33554432000 4194304 10173063 140733514797504 140733514662344 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 5718 4338 416 1460 0 4249 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 22872

[startup+0.100373 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14751
/proc/meminfo: memFree=31188396/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=47908 CPUtime=0.09 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 10517 0 0 0 8 1 0 0 20 0 1 0 285455391 49057792 10436 33554432000 4194304 10173063 140733514797504 140733514662344 8886752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 11977 10436 523 1460 0 10508 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47908

[startup+0.300288 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14751
/proc/meminfo: memFree=31188396/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=73496 CPUtime=0.29 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 17132 0 0 0 22 7 0 0 20 0 1 0 285455391 75259904 16441 33554432000 4194304 10173063 140733514797504 140733514662344 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 18374 16441 572 1460 0 16905 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73496

[startup+0.700292 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14751
/proc/meminfo: memFree=31188396/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=88720 CPUtime=0.69 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 21076 0 0 0 58 11 0 0 20 0 1 0 285455391 90849280 20225 33554432000 4194304 10173063 140733514797504 140733514662344 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 22180 20225 666 1460 0 20711 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88720

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14752
/proc/meminfo: memFree=31110020/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=125116 CPUtime=1.49 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 31048 0 0 0 136 13 0 0 20 0 1 0 285455391 128118784 29202 33554432000 4194304 10173063 140733514797504 140733514793800 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 31279 29202 777 1460 0 29810 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 125116

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14752
/proc/meminfo: memFree=31070340/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=128912 CPUtime=3.09 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 32682 0 0 0 295 14 0 0 20 0 1 0 285455391 132005888 30210 33554432000 4194304 10173063 140733514797504 140733514788664 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 32228 30210 801 1460 0 30759 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 128912

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14752
/proc/meminfo: memFree=31070092/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=131508 CPUtime=6.29 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 33535 0 0 0 611 18 0 0 20 0 1 0 285455391 134664192 31021 33554432000 4194304 10173063 140733514797504 140733514792888 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 32877 31021 836 1460 0 31408 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 131508

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14752
/proc/meminfo: memFree=31060436/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=138160 CPUtime=12.69 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 35148 0 0 0 1247 22 0 0 20 0 1 0 285455391 141475840 32631 33554432000 4194304 10173063 140733514797504 140733514790856 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 34540 32631 836 1460 0 33071 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 138160

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14790
/proc/meminfo: memFree=31050972/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=142968 CPUtime=25.48 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 36648 0 0 0 2522 26 0 0 20 0 1 0 285455391 146399232 33507 33554432000 4194304 10173063 140733514797504 140733514790264 5122191 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 35742 33507 843 1460 0 34273 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 142968

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14790
/proc/meminfo: memFree=31022924/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=152376 CPUtime=51.08 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 61309 0 0 0 5067 41 0 0 20 0 1 0 285455391 156033024 36365 33554432000 4194304 10173063 140733514797504 140733514790600 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 38094 36365 872 1460 0 36625 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 152376

[startup+102.307 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 14790
/proc/meminfo: memFree=31007104/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=165808 CPUtime=102.27 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 64773 0 0 0 10173 54 0 0 20 0 1 0 285455391 169787392 40128 33554432000 4194304 10173063 140733514797504 140733514790776 8012255 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 41452 40128 872 1460 0 39983 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 165808

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14790
/proc/meminfo: memFree=31006264/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=165808 CPUtime=162.25 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 64847 0 0 0 16158 67 0 0 20 0 1 0 285455391 169787392 40202 33554432000 4194304 10173063 140733514797504 140733514790728 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 41452 40202 872 1460 0 39983 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 165808

[startup+222.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 14790
/proc/meminfo: memFree=31003460/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=167760 CPUtime=222.25 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 65394 0 0 0 22141 84 0 0 20 0 1 0 285455391 171786240 40749 33554432000 4194304 10173063 140733514797504 140733514789944 8054168 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 41940 40749 872 1460 0 40471 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 167760

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 14790
/proc/meminfo: memFree=31003028/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=168164 CPUtime=282.24 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 65521 0 0 0 28126 98 0 0 20 0 1 0 285455391 172199936 40874 33554432000 4194304 10173063 140733514797504 140733514790600 7510360 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 42041 40874 872 1460 0 40572 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 168164

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14791
/proc/meminfo: memFree=30928124/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=244368 CPUtime=342.22 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 84205 0 0 0 34099 123 0 0 20 0 1 0 285455391 250232832 59558 33554432000 4194304 10173063 140733514797504 140733514790616 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 61092 59558 881 1460 0 59623 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 244368

[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 14829
/proc/meminfo: memFree=30915220/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=244368 CPUtime=402.22 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 84534 0 0 0 40076 146 0 0 20 0 1 0 285455391 250232832 59887 33554432000 4194304 10173063 140733514797504 140733514794872 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 61092 59887 881 1460 0 59623 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 244368

[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14829
/proc/meminfo: memFree=30900584/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=244368 CPUtime=462.21 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 84551 0 0 0 46048 173 0 0 20 0 1 0 285455391 250232832 60027 33554432000 4194304 10173063 140733514797504 140733514791144 7934796 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 61092 60027 881 1460 0 59623 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 244368

[startup+522.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 14870
/proc/meminfo: memFree=30926228/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=244924 CPUtime=522.2 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 84553 0 0 0 52020 200 0 0 20 0 1 0 285455391 250802176 60029 33554432000 4194304 10173063 140733514797504 140733514791224 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 61231 60029 882 1460 0 59762 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 244924

[startup+582.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 14870
/proc/meminfo: memFree=30923064/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=244924 CPUtime=582.19 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 84553 0 0 0 57988 231 0 0 20 0 1 0 285455391 250802176 60029 33554432000 4194304 10173063 140733514797504 140733514791128 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 61231 60029 882 1460 0 59762 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 244924

[startup+642.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14871
/proc/meminfo: memFree=30891384/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=275624 CPUtime=642.19 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 93780 0 0 0 63468 751 0 0 20 0 1 0 285455391 282238976 67925 33554432000 4194304 10173063 140733514797504 140733514790856 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 68906 67925 887 1460 0 67437 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 275624

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

[startup+646.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 14872
/proc/meminfo: memFree=30890880/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=275624 CPUtime=646.18 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 93780 0 0 0 63860 758 0 0 20 0 1 0 285455391 282238976 67925 33554432000 4194304 10173063 140733514797504 140733514790760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 68906 67925 887 1460 0 67437 0
Current children cumulated CPU time (s) 646.18
Current children cumulated vsize (KiB) 275624

[startup+647.907 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 14872
/proc/meminfo: memFree=30891004/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=275624 CPUtime=647.79 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 93780 0 0 0 64019 760 0 0 20 0 1 0 285455391 282238976 67925 33554432000 4194304 10173063 140733514797504 140733514790760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 68906 67925 887 1460 0 67437 0
Current children cumulated CPU time (s) 647.79
Current children cumulated vsize (KiB) 275624

[startup+649.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 14872
/proc/meminfo: memFree=30891004/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=275624 CPUtime=649.38 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 93780 0 0 0 64176 762 0 0 20 0 1 0 285455391 282238976 67925 33554432000 4194304 10173063 140733514797504 140733514791144 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 68906 67925 887 1460 0 67437 0
Current children cumulated CPU time (s) 649.38
Current children cumulated vsize (KiB) 275624

[startup+649.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 14872
/proc/meminfo: memFree=30891004/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=275624 CPUtime=649.78 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 93780 0 0 0 64215 763 0 0 20 0 1 0 285455391 282238976 67925 33554432000 4194304 10173063 140733514797504 140733514790104 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 68906 67925 887 1460 0 67437 0
Current children cumulated CPU time (s) 649.78
Current children cumulated vsize (KiB) 275624

[startup+650.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 14872
/proc/meminfo: memFree=30891004/32873844 swapFree=7112/7112
[pid=14751] ppid=14749 vsize=274068 CPUtime=650.19 cores=1,3,5,7
/proc/14751/stat : 14751 (scip-2.1.1.4fix) R 14749 14751 10153 0 -1 4202496 93782 0 0 0 64255 764 0 0 20 0 1 0 285455391 280645632 67538 33554432000 4194304 10173063 140733514797504 140733514790104 5885632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14751/statm: 68517 67538 889 1460 0 67048 0
Current children cumulated CPU time (s) 650.19
Current children cumulated vsize (KiB) 274068

Child status: 0
Real time (s): 650.337
CPU time (s): 650.227
CPU user time (s): 642.576
CPU system time (s): 7.65084
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 275624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 642.576
system time used= 7.65084
maximum resident set size= 271708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93784
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= 20
involuntary context switches= 668

runsolver used 1.2938 second user time and 3.15952 second system time

The end

Launcher Data

Begin job on node142 at 2012-05-28 10:21:45
IDJOB=3717549
IDBENCH=79003
IDSOLVER=2300
FILE ID=node142/3717549-1338193305
RUNJOBID= node142-1338186086-10170
PBS_JOBID= 14624568
Free space on /tmp= 71680 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717549-1338193305/watcher-3717549-1338193305 -o /tmp/evaluation-result-3717549-1338193305/solver-3717549-1338193305 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717549-1338193305.wbo -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 68c125c2e3e966fc6e8a8bc50cef96ab
RANDOM SEED=1438648330

node142.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5391.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31188552 kB
Buffers:          349660 kB
Cached:           426672 kB
SwapCached:            0 kB
Active:           600436 kB
Inactive:         258768 kB
Active(anon):      73684 kB
Inactive(anon):    11212 kB
Active(file):     526752 kB
Inactive(file):   247556 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14080 kB
Writeback:             0 kB
AnonPages:         90756 kB
Mapped:            15292 kB
Shmem:               200 kB
Slab:             683964 kB
SReclaimable:     126064 kB
SUnreclaim:       557900 kB
KernelStack:        1456 kB
PageTables:         3792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     198452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node142 at 2012-05-28 10:32:36