Trace number 1869639

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2OPT25 23.6964 23.7145

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_030_area_delay.opb
MD5SUM55bd571d186b9003e67d2301a4d2bce5
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark55.3626
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables4666
Total number of constraints12693
Number of constraints which are clauses12693
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 2273
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2273
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2273
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.19/0.20	c SCIP version 1.1.0.7
0.19/0.20	c LP-Solver Clp 1.8.2
0.19/0.20	c user parameter file <scip.set> not found - using default parameters
0.19/0.20	c read problem <HOME/instance-1869639-1245181863.opb>
0.19/0.20	c original problem has 4666 variables (4666 bin, 0 int, 0 impl, 0 cont) and 12693 constraints
0.19/0.27	c start presolving problem
0.19/0.27	c presolving:
0.29/0.37	c (round 1) 2379 del vars, 4585 del conss, 164 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20266 impls, 0 clqs
0.29/0.38	c (round 2) 2381 del vars, 4876 del conss, 164 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20266 impls, 0 clqs
0.39/0.47	c (round 3) 2381 del vars, 4876 del conss, 164 chg bounds, 0 chg sides, 0 chg coeffs, 7791 upgd conss, 20266 impls, 0 clqs
0.39/0.49	c (round 4) 2381 del vars, 4876 del conss, 164 chg bounds, 0 chg sides, 0 chg coeffs, 7817 upgd conss, 20266 impls, 0 clqs
0.49/0.57	c    (0.3s) probing: 101/2285 (4.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.57	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.57	c presolving (5 rounds):
0.49/0.57	c  2381 deleted vars, 4876 deleted constraints, 164 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.57	c  20266 implications, 0 cliques
0.49/0.57	c presolved problem has 2285 variables (2285 bin, 0 int, 0 impl, 0 cont) and 7817 constraints
0.49/0.57	c    7817 constraints of type <logicor>
0.49/0.57	c transformed objective value is always integral (scale: 1)
0.49/0.57	c Presolving Time: 0.27
0.49/0.58	c strange?!, PURESAT with obj
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 = c 1620
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 = c 1791
0.49/0.58	c # frequency for displaying node information lines
0.49/0.58	c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.58	c display/freq = c 10000
0.49/0.58	c -----------------------------------------------------------------------------------------------
0.49/0.58	c start solving problem
0.49/0.58	c 
0.69/0.72	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.69/0.72	c   0.5s|     1 |     0 |   482 |  20M|   0 |  98 |2285 |7817 |7817 |2285 |7817 |   0 |   0 |   0 | 2.360870e+01 |      --      |    Inf 
0.69/0.72	o 39
0.69/0.72	c R 0.5s|     1 |     0 |   482 |  20M|   0 |  98 |2285 |7817 |7817 |2285 |7817 |   0 |   0 |   0 | 2.360870e+01 | 3.900000e+01 |  65.19%
1.39/1.47	c   1.2s|     1 |     0 |   588 |  21M|   0 | 117 |2285 |7817 |7817 |2285 |7820 |   3 |   0 |   0 | 2.420833e+01 | 3.900000e+01 |  61.10%
2.39/2.40	c   2.1s|     1 |     0 |   698 |  22M|   0 | 106 |2285 |7817 |7817 |2285 |7825 |   8 |   0 |   0 | 2.431111e+01 | 3.900000e+01 |  60.42%
3.39/3.43	c   3.1s|     1 |     0 |   842 |  22M|   0 | 113 |2285 |7817 |7817 |2285 |7828 |  11 |   0 |   0 | 2.448642e+01 | 3.900000e+01 |  59.27%
4.58/4.62	c   4.3s|     1 |     0 |   887 |  23M|   0 |  90 |2285 |7817 |7817 |2285 |7831 |  14 |   0 |   0 | 2.448857e+01 | 3.900000e+01 |  59.26%
4.58/4.62	o 37
4.58/4.62	c R 4.3s|     1 |     0 |   887 |  23M|   0 |  90 |2285 |7817 |7817 |2285 |7831 |  14 |   0 |   0 | 2.448857e+01 | 3.700000e+01 |  51.09%
6.48/6.58	c   6.2s|     1 |     0 |   962 |  23M|   0 |  78 |2285 |7817 |7817 |2285 |7833 |  16 |   0 |   0 | 2.450000e+01 | 3.700000e+01 |  51.02%
6.48/6.59	o 35
6.48/6.59	c R 6.2s|     1 |     0 |   962 |  23M|   0 |  78 |2285 |7817 |7817 |2285 |7833 |  16 |   0 |   0 | 2.450000e+01 | 3.500000e+01 |  42.86%
8.28/8.36	c   8.0s|     1 |     0 |  1086 |  23M|   0 | 147 |2285 |7817 |7817 |2285 |7836 |  19 |   0 |   0 | 2.500000e+01 | 3.500000e+01 |  40.00%
10.89/10.94	c  10.5s|     1 |     0 |  1154 |  24M|   0 | 119 |2285 |7817 |7817 |2285 |7841 |  24 |   0 |   0 | 2.500000e+01 | 3.500000e+01 |  40.00%
13.48/13.51	c  13.1s|     1 |     0 |  1221 |  24M|   0 | 126 |2285 |7817 |7817 |2285 |7844 |  27 |   0 |   0 | 2.500000e+01 | 3.500000e+01 |  40.00%
15.98/16.07	c  15.6s|     1 |     0 |  1461 |  24M|   0 | 248 |2285 |7817 |7817 |2285 |7847 |  30 |   0 |   0 | 2.500000e+01 | 3.500000e+01 |  40.00%
18.58/18.63	c  18.2s|     1 |     0 |  1706 |  24M|   0 | 154 |2285 |7817 |7817 |2285 |7854 |  37 |   0 |   0 | 2.500000e+01 | 3.500000e+01 |  40.00%
21.07/21.11	c  20.7s|     1 |     0 |  1971 |  24M|   0 | 176 |2285 |7817 |7817 |2285 |7856 |  39 |   0 |   0 | 2.500000e+01 | 3.500000e+01 |  40.00%
23.38/23.47	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
23.38/23.47	c  23.0s|     1 |     0 |  2251 |  24M|   0 | 146 |2285 |7817 |7817 |2285 |7860 |  43 |   0 |   0 | 2.500000e+01 | 3.500000e+01 |  40.00%
23.38/23.47	o 34
23.38/23.47	c k23.0s|     1 |     0 |  2251 |  24M|   0 | 146 |2285 |7817 |7817 |2285 |7860 |  43 |   0 |   0 | 2.500000e+01 | 3.400000e+01 |  36.00%
23.57/23.61	o 25
23.57/23.61	c E23.1s|     1 |     0 |  2251 |  24M|   0 |   - |2285 |7817 |7817 |2285 |7860 |  43 |   0 |   0 | 2.500000e+01 | 2.500000e+01 |   0.00%
23.57/23.62	c  23.1s|     1 |     0 |  2251 |  24M|   0 |   - |2285 |7817 |7817 |2285 |7860 |  43 |   0 |   0 | 2.500000e+01 | 2.500000e+01 |   0.00%
23.57/23.62	c 
23.57/23.62	c SCIP Status        : problem is solved [optimal solution found]
23.57/23.62	c Solving Time (sec) : 23.15
23.57/23.62	c Solving Nodes      : 1
23.57/23.62	c Primal Bound       : +2.50000000000047e+01 (5 solutions)
23.57/23.62	c Dual Bound         : +2.50000000000047e+01
23.57/23.62	c Gap                : 0.00 %
23.57/23.64	c NODE         1
23.57/23.64	c DUAL BOUND   25
23.57/23.64	c PRIMAL BOUND 25
23.57/23.64	c GAP          0
23.57/23.64	s OPTIMUM FOUND
23.57/23.64	v x187 x186 x4663 -x4661 x185 -x4658 -x4656 -x184 -x4654 -x4652 -x4650 -x183 -x4648 -x4646 -x4644 -x4642 -x4639 -x182 -x4637 -x181 
23.57/23.64	v -x4634 -x4632 -x180 -x4630 -x4628 -x179 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x178 -x4613 -x4611 -x4609 -x177 -x4607 -x4605 
23.57/23.64	v -x4603 -x4601 -x4599 -x4597 -x4595 -x176 -x4593 -x4591 -x4589 -x4587 -x4585 -x4582 -x4580 -x175 x4577 -x4575 -x4573 -x4571 
23.57/23.64	v -x4569 -x174 -x4567 -x4565 -x4563 -x4561 -x4557 -x4555 -x4553 -x4551 -x173 -x4549 -x4547 -x4544 -x4542 -x4540 -x4538 -x172 
23.57/23.64	v -x4536 -x4534 x4532 x171 -x4530 -x4527 -x4525 -x4523 -x4521 -x4519 -x170 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x169 
23.57/23.64	v -x4503 -x4501 -x4499 -x4496 -x4494 -x4492 -x168 -x4490 -x4488 -x4486 -x4484 -x4482 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 
23.57/23.64	v -x4467 -x4465 x4463 -x4461 -x167 -x4458 -x4456 -x166 -x4454 -x4452 -x4450 -x165 -x4448 -x4445 -x4443 -x4440 -x4438 -x164 
23.57/23.64	v -x4436 -x4434 -x163 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x162 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 
23.57/23.64	v -x161 -x4404 -x4402 -x4400 -x160 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x159 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 
23.57/23.64	v -x158 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 x4350 -x4348 -x4346 -x4344 -x4342 -x4340 
23.57/23.64	v -x4338 -x4336 -x4334 -x4332 -x4330 -x157 -x4328 -x4326 -x4324 -x156 -x4322 -x4320 -x4318 -x4315 -x4313 -x4311 -x155 -x4309 
23.57/23.64	v -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x154 -x4295 -x4293 -x4291 -x4289 -x4287 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274 
23.57/23.64	v -x4272 -x4270 -x4268 -x153 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x152 -x4252 -x4250 -x4248 -x4246 -x4244 -x4241 
23.57/23.64	v -x151 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x4213 -x4211 -x150 -x4209 
23.57/23.64	v -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 x4187 -x4185 -x4183 -x4181 -x4179 -x149 -x4176 -x4174 -x148 
23.57/23.64	v -x4172 -x4170 -x4168 -x147 -x4166 -x4164 -x4162 -x4160 -x4158 -x4156 -x4154 -x146 -x4151 -x4149 x4147 -x4145 -x4143 -x4140 
23.57/23.64	v -x4138 -x4136 -x145 -x4134 -x4132 -x4130 -x4128 -x4126 -x4123 -x144 -x4120 x4118 x143 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 
23.57/23.64	v -x4104 -x142 -x4102 -x4100 -x4098 -x4096 -x4094 -x4092 -x4090 -x141 -x4088 -x4086 -x4084 x4082 -x4080 -x4078 -x4076 -x4074 
23.57/23.64	v -x4072 -x4070 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x140 -x4043 -x4041 -x4039 
23.57/23.64	v -x4037 -x4035 -x4032 -x4030 -x4028 -x4026 -x4024 -x4022 -x4019 -x139 -x4017 -x4015 -x4013 -x138 -x4011 -x4009 -x4007 -x4005 
23.57/23.64	v -x4003 -x4001 -x137 -x3998 -x3996 -x3994 -x3992 -x3990 -x3988 -x3986 -x136 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 
23.57/23.64	v -x3970 -x3968 -x3966 -x3963 -x3961 -x3959 -x3957 -x135 -x3955 -x3953 -x3951 -x3948 -x3946 -x3944 -x134 -x3942 -x3940 -x3938 
23.57/23.64	v -x3936 -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 -x3916 -x3914 -x133 -x3912 -x3910 -x3908 -x3906 -x3904 
23.57/23.64	v -x3902 -x3900 -x132 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x3886 -x3884 -x3882 -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 
23.57/23.64	v -x131 -x3868 -x3866 -x3864 -x130 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x129 -x3848 -x3846 -x3844 -x3842 -x3840 -x3838 
23.57/23.64	v -x3836 -x128 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 -x3808 -x3806 -x127 
23.57/23.64	v -x3804 -x3801 -x3799 -x3797 -x3795 -x3793 -x126 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771 
23.57/23.64	v -x3769 -x3767 -x3765 -x3763 -x125 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x124 -x3747 -x3745 -x3743 -x3741 -x3739 
23.57/23.64	v -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x123 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 
23.57/23.64	v -x3703 -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x122 -x3687 -x3685 -x3683 -x3681 -x3678 -x3676 -x121 -x3674 -x3672 
23.57/23.64	v -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x120 -x3644 -x3642 -x3640 -x3638 
23.57/23.64	v -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x119 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 
23.57/23.64	v -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 
23.57/23.64	v -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x118 -x3552 -x3550 -x117 -x3548 -x3546 -x3544 -x116 -x3542 -x3540 -x3538 -x3535 
23.57/23.64	v -x3533 -x3531 -x115 -x3529 -x3527 -x3525 -x114 -x3523 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x113 -x3509 -x3507 -x3505 
23.57/23.64	v -x3503 -x3501 -x3499 -x3497 -x112 -x3495 -x3493 -x111 -x3491 -x3489 -x3487 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 
23.57/23.64	v -x3468 -x3466 -x110 -x3464 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x109 
23.57/23.64	v -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x108 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 
23.57/23.64	v -x3400 -x3398 -x3396 -x3394 -x107 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3372 -x3370 -x3368 -x3366 
23.57/23.64	v -x106 -x3364 -x3362 -x3360 -x105 -x3358 -x3355 -x3353 -x3351 -x3349 -x3347 -x104 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 
23.57/23.64	v -x3333 -x103 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x102 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 
23.57/23.64	v -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x101 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x100 -x3273 -x3271 
23.57/23.64	v -x3269 -x3267 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x99 -x3244 -x3242 -x3240 -x3238 -x3236 
23.57/23.64	v -x3234 -x3232 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x98 -x3215 -x3213 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 
23.57/23.64	v -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 
23.57/23.64	v -x3161 -x3159 -x3157 -x97 -x3155 -x3153 -x3151 -x96 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x95 -x3135 -x3133 -x3131 
23.57/23.64	v -x3129 -x3127 -x3125 -x3123 -x94 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 
23.57/23.64	v -x3095 -x3093 -x93 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x92 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x91 
23.57/23.64	v -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x90 -x3034 -x3032 -x3030 
23.57/23.64	v -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x89 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 
23.57/23.64	v -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2961 -x2959 
23.57/23.64	v -x2957 -x2955 -x2953 -x2951 -x2949 -x88 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x87 -x2933 -x2931 -x2929 -x2927 -x2925 
23.57/23.64	v -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x86 -x2903 -x2901 -x2899 -x85 -x2897 -x2895 -x2893 
23.57/23.64	v -x2891 -x2889 -x2887 -x2885 -x84 -x2883 -x2881 -x2879 x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2858 
23.57/23.64	v -x83 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x82 -x2826 -x2824 
23.57/23.64	v -x2822 -x2820 -x2818 -x2816 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 
23.57/23.64	v -x2785 -x81 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x2769 -x2767 -x2765 -x2762 -x2760 -x2758 -x2756 -x80 -x2754 
23.57/23.64	v -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x79 -x2724 -x2722 -x2720 
23.57/23.64	v -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 
23.57/23.64	v -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x78 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x77 
23.57/23.64	v -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x76 -x2619 -x2617 -x2615 
23.57/23.64	v -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2596 -x2594 -x2592 -x75 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 
23.57/23.64	v -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x74 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 
23.57/23.64	v -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 
23.57/23.64	v -x2508 -x2506 -x2504 -x2502 -x2500 -x73 -x2498 -x2495 -x2493 -x2491 -x2489 -x2487 -x72 -x2485 -x2483 -x2481 -x2479 -x2477 
23.57/23.64	v -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x71 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 
23.57/23.64	v -x2440 x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 
23.57/23.64	v -x2404 -x2402 -x2400 -x2398 -x70 -x2396 -x2394 -x2392 -x2390 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 
23.57/23.64	v -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 
23.57/23.64	v -x69 -x2332 -x2330 -x68 -x2328 -x2326 -x2324 -x67 -x2322 -x2320 -x2317 -x2315 -x2313 -x2311 -x66 -x2309 -x2307 -x2305 -x65 -x2303 
23.57/23.64	v -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x64 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x63 -x2275 -x2273 -x2271 
23.57/23.64	v -x62 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x61 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x60 -x2241 -x2239 
23.57/23.64	v -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x59 -x2211 -x2209 -x2207 -x2205 
23.57/23.64	v -x2203 -x2201 -x2199 -x58 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 
23.57/23.64	v -x2169 -x57 -x2167 -x2165 -x2163 -x56 -x2161 -x2159 -x2156 -x2154 -x2152 -x2150 -x55 -x2148 -x2146 -x2144 -x2142 -x2139 -x2137 
23.57/23.64	v -x54 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x53 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 
23.57/23.64	v -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x52 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x51 -x2076 -x2074 -x2072 -x2070 
23.57/23.64	v -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x50 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 
23.57/23.64	v -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x49 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 
23.57/23.64	v -x2000 -x1998 -x1996 -x1994 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 
23.57/23.64	v -x1963 -x1961 -x1959 -x48 -x1957 -x1955 -x1953 -x47 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x46 -x1937 -x1935 -x1933 
23.57/23.64	v -x1931 x1929 -x1927 -x1925 x45 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 
23.57/23.64	v -x1897 -x1895 -x44 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x43 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 
23.57/23.64	v -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x42 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x41 -x1837 -x1835 -x1833 
23.57/23.64	v -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x40 -x1807 -x1805 -x1803 -x1801 -x1799 
23.57/23.64	v -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x39 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 
23.57/23.64	v -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 
23.57/23.64	v -x1726 -x1724 -x1722 -x1720 -x1718 -x38 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x37 -x1702 -x1700 -x1698 -x1696 
23.57/23.64	v -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x36 -x1672 -x1670 -x1668 -x35 -x1666 -x1664 -x1662 
23.57/23.64	v -x1660 -x1658 -x1656 -x1654 -x34 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x33 -x1637 -x1635 -x1633 -x1631 -x1629 
23.57/23.64	v -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x32 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x31 -x1595 
23.57/23.64	v -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x30 -x1565 -x1563 -x1561 
23.57/23.64	v -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x29 -x1535 -x1533 -x1531 -x1529 -x1527 
23.57/23.64	v -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 
23.57/23.64	v -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 x1473 -x1471 -x1469 -x28 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 
23.57/23.64	v -x1455 -x27 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x26 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 
23.57/23.64	v -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x25 -x1409 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x24 -x1395 -x1393 -x1391 
23.57/23.64	v -x1389 -x1387 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x23 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 
23.57/23.64	v -x1354 -x22 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1325 -x21 -x1323 -x1321 
23.57/23.64	v -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x20 -x1293 -x1291 -x1289 -x1287 
23.57/23.64	v -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 
23.57/23.64	v -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x19 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 
23.57/23.64	v -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x18 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 
23.57/23.64	v -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1154 -x1152 -x1150 -x1148 -x1146 
23.57/23.64	v -x1144 -x1142 -x17 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x16 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 
23.57/23.64	v -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x15 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 
23.57/23.64	v -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x14 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 
23.57/23.64	v -x1044 -x1042 -x1040 -x1038 -x13 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 
23.57/23.64	v -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x12 -x974 -x972 
23.57/23.64	v -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x11 -x944 -x942 -x940 -x938 -x936 -x934 -x932 
23.57/23.64	v -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 
23.57/23.64	v -x890 -x888 -x886 -x10 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 
23.57/23.64	v -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x9 -x822 -x820 -x818 -x816 -x814 -x812 -x810 
23.57/23.64	v -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 
23.57/23.64	v -x768 -x766 -x764 -x762 -x760 x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 
23.57/23.64	v -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 
23.57/23.64	v -x684 -x8 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x7 -x652 -x650 -x648 -x646 
23.57/23.64	v -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x6 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 
23.57/23.64	v -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 
23.57/23.64	v -x562 -x5 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x4 -x530 -x528 -x526 
23.57/23.64	v -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 
23.57/23.64	v -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x3 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 
23.57/23.64	v -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x2 -x406 -x404 
23.57/23.64	v -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 
23.57/23.64	v -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 
23.57/23.64	v -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 
23.57/23.64	v -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x1 -x250 -x248 -x246 -x244 -x242 -x240 -x238 
23.57/23.64	v -x236 x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 -x202 -x200 -x198 -x196 
23.57/23.64	v -x194 -x192 -x190 -x188 x4666 x4665 x4664 -x4662 x4660 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641 
23.57/23.64	v -x4640 -x4638 -x4636 -x4635 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4614 -x4612 -x4610 -x4608 
23.57/23.64	v -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 x4584 -x4583 -x4581 -x4579 x4578 -x4576 -x4574 
23.57/23.64	v -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 x4560 -x4559 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4545 -x4543 -x4541 
23.57/23.64	v -x4539 -x4537 -x4535 x4533 -x4531 -x4529 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 
23.57/23.64	v -x4504 -x4502 -x4500 -x4498 -x4497 -x4495 -x4493 -x4491 -x4489 -x4487 -x4485 -x4483 -x4481 -x4480 -x4478 -x4476 -x4474 -x4472 
23.57/23.64	v -x4470 -x4468 -x4466 x4464 -x4462 -x4460 -x4459 -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4446 -x4444 -x4442 -x4441 -x4439 
23.57/23.64	v -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 
23.57/23.64	v -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x4367 
23.57/23.64	v -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 
23.57/23.64	v -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4316 -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 
23.57/23.64	v -x4294 -x4292 -x4290 -x4288 -x4286 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 
23.57/23.64	v -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 -x4230 -x4228 
23.57/23.64	v -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202 -x4200 -x4198 -x4196 -x4194 -x4192 
23.57/23.64	v -x4190 x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4177 -x4175 -x4173 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 
23.57/23.64	v -x4155 -x4153 -x4152 -x4150 x4148 -x4146 -x4144 -x4142 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 -x4124 
23.57/23.64	v -x4122 -x4121 x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 
23.57/23.64	v -x4087 -x4085 x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 
23.57/23.64	v -x4051 -x4049 -x4047 -x4045 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4020 
23.57/23.64	v -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x4004 -x4002 -x4000 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 
23.57/23.64	v -x3983 -x3981 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 
23.57/23.64	v -x3949 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 
23.57/23.64	v -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 
23.57/23.64	v -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 
23.57/23.64	v -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 
23.57/23.64	v -x3807 -x3805 -x3803 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 -x3774 
23.57/23.64	v -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 
23.57/23.64	v -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 
23.57/23.64	v -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 
23.57/23.64	v -x3665 -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631 
23.57/23.64	v -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 x3603 -x3602 -x3600 -x3598 -x3596 
23.57/23.64	v -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 
23.57/23.64	v -x3560 -x3558 -x3556 -x3554 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x3536 -x3534 -x3532 -x3530 -x3528 
23.57/23.64	v -x3526 -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 
23.57/23.64	v -x3490 -x3488 x3486 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3462 -x3460 -x3458 
23.57/23.64	v -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3423 
23.57/23.64	v -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3392 -x3390 -x3388 
23.57/23.64	v -x3386 -x3384 -x3382 -x3380 -x3378 -x3376 -x3374 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3356 -x3354 
23.57/23.64	v -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 
23.57/23.64	v -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 
23.57/23.64	v -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 
23.57/23.64	v -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 
23.57/23.64	v -x3212 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 
23.57/23.64	v -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 
23.57/23.64	v -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 
23.57/23.64	v -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 
23.57/23.64	v -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3047 -x3045 -x3043 -x3041 -x3039 
23.57/23.64	v -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 
23.57/23.64	v -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 
23.57/23.64	v -x2965 -x2963 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 
23.57/23.64	v -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 
23.57/23.64	v -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 
23.57/23.64	v -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 
23.57/23.64	v -x2823 -x2821 -x2819 -x2817 x2815 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 
23.57/23.64	v -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2763 -x2761 -x2759 -x2757 -x2755 
23.57/23.64	v -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 
23.57/23.64	v -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 
23.57/23.64	v -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 
23.57/23.64	v -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 
23.57/23.64	v -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 
23.57/23.64	v -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 
23.57/23.64	v -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 
23.57/23.64	v -x2505 -x2503 -x2501 -x2499 -x2497 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 
23.57/23.64	v -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 x2439 
23.57/23.64	v -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 
23.57/23.64	v -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 
23.57/23.64	v -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2333 
23.57/23.64	v -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 
23.57/23.64	v -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 
23.57/23.64	v -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 
23.57/23.64	v -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 
23.57/23.64	v -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2157 
23.57/23.64	v -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 
23.57/23.64	v -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 
23.57/23.64	v -x2084 -x2082 -x2080 -x2078 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 
23.57/23.64	v -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 
23.57/23.64	v -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 
23.57/23.64	v -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 
23.57/23.64	v -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 
23.57/23.64	v -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 
23.57/23.64	v -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 
23.57/23.64	v -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 
23.57/23.64	v -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 
23.57/23.64	v -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1739 -x1737 -x1735 -x1733 -x1731 
23.57/23.64	v -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 
23.57/23.64	v -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 
23.57/23.64	v -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 
23.57/23.64	v -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 
23.57/23.64	v -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 
23.57/23.64	v -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 
23.57/23.64	v -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 
23.57/23.64	v -x1480 -x1478 -x1476 x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 
23.57/23.64	v -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 
23.57/23.64	v -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375 
23.57/23.64	v -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 
23.57/23.64	v -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 
23.57/23.64	v -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 
23.57/23.64	v -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 
23.57/23.64	v -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 
23.57/23.64	v -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 
23.57/23.64	v -x1160 -x1158 -x1156 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 
23.57/23.64	v -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 
23.57/23.64	v -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 
23.57/23.64	v -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 
23.57/23.64	v -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985 -x983 
23.57/23.64	v -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 
23.57/23.64	v -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 
23.57/23.64	v -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 
23.57/23.64	v -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 
23.57/23.64	v -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 
23.57/23.64	v -x773 -x771 -x769 -x767 -x765 -x763 -x761 x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 
23.57/23.64	v -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 
23.57/23.64	v -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 
23.57/23.64	v -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 
23.57/23.64	v -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 
23.57/23.64	v -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 
23.57/23.64	v -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 
23.57/23.64	v -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 
23.57/23.64	v -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 
23.57/23.64	v -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 
23.57/23.64	v -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 
23.57/23.64	v -x313 -x311 -x309 -x307 -x305 -x303 -x301 x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 
23.57/23.64	v -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 x235 -x233 -x231 
23.57/23.64	v -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x195 -x193 -x191 -x189 
23.57/23.64	c SCIP Status        : problem is solved [optimal solution found]
23.57/23.64	c Solving Time       :      23.15
23.57/23.64	c Original Problem   :
23.57/23.64	c   Problem name     : HOME/instance-1869639-1245181863.opb
23.57/23.64	c   Variables        : 4666 (4666 binary, 0 integer, 0 implicit integer, 0 continuous)
23.57/23.64	c   Constraints      : 12693 initial, 12693 maximal
23.57/23.64	c Presolved Problem  :
23.57/23.64	c   Problem name     : t_HOME/instance-1869639-1245181863.opb
23.57/23.64	c   Variables        : 2285 (2285 binary, 0 integer, 0 implicit integer, 0 continuous)
23.57/23.64	c   Constraints      : 7817 initial, 7817 maximal
23.57/23.64	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
23.57/23.64	c   trivial          :       0.00          0          0          0          0          0          0          0          0
23.57/23.64	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
23.57/23.64	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
23.57/23.64	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
23.57/23.64	c   implics          :       0.00          0          0          0          0          0          0          0          0
23.57/23.64	c   probing          :       0.06          0          0          0          0          0          0          0          0
23.57/23.64	c   linear           :       0.12        164       2217          0        164          0       4876          0          0
23.57/23.64	c   logicor          :       0.05          0          0          0          0          0          0          0          0
23.57/23.64	c   root node        :          -          0          -          -          0          -          -          -          -
23.57/23.64	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
23.57/23.64	c   integral         :          0          0          0          0          0          0          0          0          0          0
23.57/23.64	c   logicor          :       7817         12        201          0          0          0          0          0          0          0
23.57/23.64	c   countsols        :          0          0          0          0          0          0          0          0          0          0
23.57/23.64	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
23.57/23.64	c   integral         :       0.00       0.00       0.00       0.00       0.00
23.57/23.64	c   logicor          :       0.06       0.04       0.02       0.00       0.00
23.57/23.64	c   countsols        :       0.00       0.00       0.00       0.00       0.00
23.57/23.64	c Propagators        :       Time      Calls    Cutoffs    DomReds
23.57/23.64	c   rootredcost      :       0.00          0          0          0
23.57/23.64	c   pseudoobj        :       0.00          8          0          0
23.57/23.64	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
23.57/23.64	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
23.57/23.64	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
23.57/23.64	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
23.57/23.64	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
23.57/23.64	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
23.57/23.64	c   applied globally :          -          -          -          0        0.0          -          -          -
23.57/23.64	c   applied locally  :          -          -          -          0        0.0          -          -          -
23.57/23.64	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
23.57/23.64	c   cut pool         :       0.01         11          -          -         51          -    (maximal pool size: 324)
23.57/23.64	c   redcost          :       0.00         12          0          0          0          0
23.57/23.64	c   impliedbounds    :       0.00         12          0          0          0          0
23.57/23.64	c   intobj           :       0.00          0          0          0          0          0
23.57/23.64	c   gomory           :      10.04         12          0          0       2064          0
23.57/23.64	c   strongcg         :       8.61         12          0          0       3714          0
23.57/23.64	c   cmir             :       0.99         10          0          0          0          0
23.57/23.64	c   flowcover        :       1.10         10          0          0          0          0
23.57/23.64	c   clique           :       0.02         12          0          0         45          0
23.57/23.64	c   zerohalf         :       0.00          0          0          0          0          0
23.57/23.64	c   mcf              :       0.01          1          0          0          0          0
23.57/23.64	c Pricers            :       Time      Calls       Vars
23.57/23.64	c   problem variables:       0.00          0          0
23.57/23.64	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
23.57/23.64	c   pscost           :       0.00          0          0          0          0          0          0
23.57/23.64	c   inference        :       0.00          0          0          0          0          0          0
23.57/23.64	c   mostinf          :       0.00          0          0          0          0          0          0
23.57/23.64	c   leastinf         :       0.00          0          0          0          0          0          0
23.57/23.64	c   fullstrong       :       0.00          0          0          0          0          0          0
23.57/23.64	c   allfullstrong    :       0.00          0          0          0          0          0          0
23.57/23.64	c   random           :       0.00          0          0          0          0          0          0
23.57/23.64	c   relpscost        :       0.00          0          0          0          0          0          0
23.57/23.64	c Primal Heuristics  :       Time      Calls      Found
23.57/23.64	c   LP solutions     :       0.00          -          0
23.57/23.64	c   pseudo solutions :       0.00          -          0
23.57/23.64	c   simplerounding   :       0.00          0          0
23.57/23.64	c   rounding         :       0.02         13          3
23.57/23.64	c   shifting         :       0.03         13          0
23.57/23.64	c   intshifting      :       0.00          0          0
23.57/23.64	c   oneopt           :       0.01          1          1
23.57/23.64	c   fixandinfer      :       0.00          0          0
23.57/23.64	c   feaspump         :       0.00          0          0
23.57/23.64	c   coefdiving       :       0.00          0          0
23.57/23.64	c   pscostdiving     :       0.00          0          0
23.57/23.64	c   fracdiving       :       0.00          0          0
23.57/23.64	c   veclendiving     :       0.00          0          0
23.57/23.64	c   intdiving        :       0.00          0          0
23.57/23.64	c   actconsdiving    :       0.00          0          0
23.57/23.64	c   objpscostdiving  :       0.00          0          0
23.57/23.64	c   rootsoldiving    :       0.00          0          0
23.57/23.64	c   linesearchdiving :       0.00          0          0
23.57/23.64	c   guideddiving     :       0.00          0          0
23.57/23.64	c   octane           :       0.00          0          0
23.57/23.64	c   rens             :       0.12          1          1
23.57/23.64	c   rins             :       0.00          0          0
23.57/23.64	c   localbranching   :       0.00          0          0
23.57/23.64	c   mutation         :       0.00          0          0
23.57/23.64	c   crossover        :       0.00          0          0
23.57/23.64	c   dins             :       0.00          0          0
23.57/23.64	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
23.57/23.64	c   primal LP        :       0.00          0          0       0.00          -
23.57/23.64	c   dual LP          :       1.71         13       2251     173.15    1316.37
23.57/23.64	c   barrier LP       :       0.00          0          0       0.00          -
23.57/23.64	c   diving/probing LP:       0.00          0          0       0.00          -
23.57/23.64	c   strong branching :       0.00          0          0       0.00          -
23.57/23.64	c     (at root node) :          -          0          0       0.00          -
23.57/23.64	c   conflict analysis:       0.00          0          0       0.00          -
23.57/23.64	c B&B Tree           :
23.57/23.64	c   number of runs   :          1
23.57/23.64	c   nodes            :          1
23.57/23.64	c   nodes (total)    :          1
23.57/23.64	c   nodes left       :          0
23.57/23.64	c   max depth        :          0
23.57/23.64	c   max depth (total):          0
23.57/23.64	c   backtracks       :          0 (0.0%)
23.57/23.64	c   delayed cutoffs  :          0
23.57/23.64	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
23.57/23.64	c   avg switch length:       2.00
23.57/23.64	c   switching time   :       0.00
23.57/23.64	c Solution           :
23.57/23.64	c   Solutions found  :          5 (5 improvements)
23.57/23.64	c   Primal Bound     : +2.50000000000047e+01   (in run 1, after 1 nodes, 23.13 seconds, depth 0, found by <rens>)
23.57/23.64	c   Dual Bound       : +2.50000000000047e+01
23.57/23.64	c   Gap              :       0.00 %
23.57/23.64	c   Root Dual Bound  : +2.50000000000047e+01
23.67/23.71	c Time complete: 23.69.

Verifier Data 

OK	25

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 5126
/proc/meminfo: memFree=1845168/2055920 swapFree=4191900/4192956
[pid=5126] ppid=5124 vsize=5812 CPUtime=0
/proc/5126/stat : 5126 (pbscip.linux.x8) R 5124 5126 4872 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 185787424 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/5126/statm: 1453 501 332 1256 0 192 0

[startup+0.0545441 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 5126
/proc/meminfo: memFree=1845168/2055920 swapFree=4191900/4192956
[pid=5126] ppid=5124 vsize=15632 CPUtime=0.04
/proc/5126/stat : 5126 (pbscip.linux.x8) R 5124 5126 4872 0 -1 4194304 2890 0 0 0 4 0 0 0 18 0 1 0 185787424 16007168 2874 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/5126/statm: 3908 2874 378 1256 0 2647 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15632

[startup+0.101548 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 5126
/proc/meminfo: memFree=1845168/2055920 swapFree=4191900/4192956
[pid=5126] ppid=5124 vsize=17920 CPUtime=0.09
/proc/5126/stat : 5126 (pbscip.linux.x8) R 5124 5126 4872 0 -1 4194304 3480 0 0 0 8 1 0 0 18 0 1 0 185787424 18350080 3464 1992294400 4194304 9342243 548682068736 18446744073709551615 4363801 0 0 4096 0 0 0 0 17 1 0 0
/proc/5126/statm: 4480 3464 378 1256 0 3219 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17920

[startup+0.301572 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 5126
/proc/meminfo: memFree=1845168/2055920 swapFree=4191900/4192956
[pid=5126] ppid=5124 vsize=36376 CPUtime=0.29
/proc/5126/stat : 5126 (pbscip.linux.x8) R 5124 5126 4872 0 -1 4194304 8242 0 0 0 25 4 0 0 19 0 1 0 185787424 37249024 7872 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5126/statm: 9094 7872 468 1256 0 7833 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36376

[startup+0.701618 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 5126
/proc/meminfo: memFree=1845168/2055920 swapFree=4191900/4192956
[pid=5126] ppid=5124 vsize=52532 CPUtime=0.69
/proc/5126/stat : 5126 (pbscip.linux.x8) R 5124 5126 4872 0 -1 4194304 11490 0 0 0 61 8 0 0 23 0 1 0 185787424 53792768 11099 1992294400 4194304 9342243 548682068736 18446744073709551615 6941139 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5126/statm: 13133 11099 615 1256 0 11872 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52532

[startup+1.50171 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5127
/proc/meminfo: memFree=1796328/2055920 swapFree=4191900/4192956
[pid=5126] ppid=5124 vsize=62808 CPUtime=1.49
/proc/5126/stat : 5126 (pbscip.linux.x8) R 5124 5126 4872 0 -1 4194304 14368 0 0 0 138 11 0 0 25 0 1 0 185787424 64315392 13977 1992294400 4194304 9342243 548682068736 18446744073709551615 6952990 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5126/statm: 15702 13977 657 1256 0 14441 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62808

[startup+3.1019 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5127
/proc/meminfo: memFree=1786728/2055920 swapFree=4191900/4192956
[pid=5126] ppid=5124 vsize=68184 CPUtime=3.09
/proc/5126/stat : 5126 (pbscip.linux.x8) R 5124 5126 4872 0 -1 4194304 15715 0 0 0 296 13 0 0 25 0 1 0 185787424 69820416 15324 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5126/statm: 17046 15324 658 1256 0 15785 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68184

[startup+6.30128 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5127
/proc/meminfo: memFree=1778088/2055920 swapFree=4191900/4192956
[pid=5126] ppid=5124 vsize=74676 CPUtime=6.28
/proc/5126/stat : 5126 (pbscip.linux.x8) R 5124 5126 4872 0 -1 4194304 17665 0 0 0 612 16 0 0 25 0 1 0 185787424 76468224 17273 1992294400 4194304 9342243 548682068736 18446744073709551615 4273488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5126/statm: 18669 17273 658 1256 0 17408 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 74676

[startup+12.701 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5127
/proc/meminfo: memFree=1770280/2055920 swapFree=4191900/4192956
[pid=5126] ppid=5124 vsize=84084 CPUtime=12.68
/proc/5126/stat : 5126 (pbscip.linux.x8) R 5124 5126 4872 0 -1 4194304 19710 0 0 0 1248 20 0 0 25 0 1 0 185787424 86102016 19317 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5126/statm: 21021 19317 659 1256 0 19760 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84084

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

[startup+19.1018 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5127
/proc/meminfo: memFree=1767080/2055920 swapFree=4191900/4192956
[pid=5126] ppid=5124 vsize=86640 CPUtime=19.08
/proc/5126/stat : 5126 (pbscip.linux.x8) R 5124 5126 4872 0 -1 4194304 20477 0 0 0 1884 24 0 0 25 0 1 0 185787424 88719360 20084 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5126/statm: 21660 20084 659 1256 0 20399 0
Current children cumulated CPU time (s) 19.08
Current children cumulated vsize (KiB) 86640

[startup+22.3022 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5127
/proc/meminfo: memFree=1766952/2055920 swapFree=4191900/4192956
[pid=5126] ppid=5124 vsize=86640 CPUtime=22.27
/proc/5126/stat : 5126 (pbscip.linux.x8) R 5124 5126 4872 0 -1 4194304 20513 0 0 0 2203 24 0 0 25 0 1 0 185787424 88719360 20120 1992294400 4194304 9342243 548682068736 18446744073709551615 4273570 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5126/statm: 21660 20120 659 1256 0 20399 0
Current children cumulated CPU time (s) 22.27
Current children cumulated vsize (KiB) 86640

[startup+23.1053 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5127
/proc/meminfo: memFree=1766952/2055920 swapFree=4191900/4192956
[pid=5126] ppid=5124 vsize=86640 CPUtime=23.08
/proc/5126/stat : 5126 (pbscip.linux.x8) R 5124 5126 4872 0 -1 4194304 20513 0 0 0 2283 25 0 0 25 0 1 0 185787424 88719360 20120 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5126/statm: 21660 20120 659 1256 0 20399 0
Current children cumulated CPU time (s) 23.08
Current children cumulated vsize (KiB) 86640

[startup+23.5013 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5127
/proc/meminfo: memFree=1766952/2055920 swapFree=4191900/4192956
[pid=5126] ppid=5124 vsize=94612 CPUtime=23.47
/proc/5126/stat : 5126 (pbscip.linux.x8) R 5124 5126 4872 0 -1 4194304 22401 0 0 0 2322 25 0 0 25 0 1 0 185787424 96882688 22008 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5126/statm: 23653 22016 659 1256 0 22392 0
Current children cumulated CPU time (s) 23.47
Current children cumulated vsize (KiB) 94612

[startup+23.7013 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5127
/proc/meminfo: memFree=1766952/2055920 swapFree=4191900/4192956
[pid=5126] ppid=5124 vsize=63356 CPUtime=23.67
/proc/5126/stat : 5126 (pbscip.linux.x8) R 5124 5126 4872 0 -1 4194304 25199 0 0 0 2339 28 0 0 17 0 1 0 185787424 64876544 14697 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 1 0 0
/proc/5126/statm: 15839 14697 705 1256 0 14578 0
Current children cumulated CPU time (s) 23.67
Current children cumulated vsize (KiB) 63356

Child status: 0
Real time (s): 23.7145
CPU time (s): 23.6964
CPU user time (s): 23.4014
CPU system time (s): 0.294955
CPU usage (%): 99.9238
Max. virtual memory (cumulated for all children) (KiB): 106840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.4014
system time used= 0.294955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25202
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= 37
involuntary context switches= 61

runsolver used 0.026995 second user time and 0.054991 second system time

The end

Launcher Data 

Begin job on node1 at 2009-06-16 21:51:03
IDJOB=1869639
IDBENCH=24982
IDSOLVER=684
FILE ID=node1/1869639-1245181863
PBS_JOBID= 9368270
Free space on /tmp= 66220 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869639-1245181863/watcher-1869639-1245181863 -o /tmp/evaluation-result-1869639-1245181863/solver-1869639-1245181863 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869639-1245181863.opb

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

MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5
RANDOM SEED=1886842797

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1845584 kB
Buffers:         45104 kB
Cached:          87984 kB
SwapCached:        260 kB
Active:          51640 kB
Inactive:        94728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1845584 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           12096 kB
Writeback:           0 kB
Mapped:          22552 kB
Slab:            49884 kB
Committed_AS:   162464 kB
PageTables:       1436 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66208 MiB
End job on node1 at 2009-06-16 21:51:27