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

OK	0

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 16343
/proc/meminfo: memFree=1808616/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=4488 CPUtime=0
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 488 0 0 0 0 0 0 0 18 0 1 0 193614481 4595712 472 1992294400 4194304 7823515 548682068736 18446744073709551615 6884513 0 0 4096 0 0 0 0 17 1 0 0
/proc/16343/statm: 1162 484 317 886 0 272 0

[startup+0.102747 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 16343
/proc/meminfo: memFree=1808616/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=12712 CPUtime=0.09
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 2511 0 0 0 9 0 0 0 18 0 1 0 193614481 13017088 2493 1992294400 4194304 7823515 548682068736 18446744073709551615 6908062 0 0 4096 0 0 0 0 17 1 0 0
/proc/16343/statm: 3178 2493 351 886 0 2288 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12712

[startup+0.202762 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 16343
/proc/meminfo: memFree=1808616/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=16912 CPUtime=0.19
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 3500 0 0 0 18 1 0 0 18 0 1 0 193614481 17317888 3482 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/16343/statm: 4228 3490 351 886 0 3338 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16912

[startup+0.302778 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 16343
/proc/meminfo: memFree=1808616/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=19728 CPUtime=0.29
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 4239 0 0 0 28 1 0 0 19 0 1 0 193614481 20201472 4221 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/16343/statm: 4932 4221 351 886 0 4042 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19728

[startup+0.702853 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 16343
/proc/meminfo: memFree=1808616/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=53040 CPUtime=0.69
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 12708 0 0 0 64 5 0 0 22 0 1 0 193614481 54312960 12336 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16343/statm: 13260 12336 432 886 0 12370 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53040

[startup+1.50197 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 16344
/proc/meminfo: memFree=1744864/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=101536 CPUtime=1.49
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 24610 0 0 0 133 16 0 0 18 0 1 0 193614481 103972864 22860 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16343/statm: 25384 22860 512 886 0 24494 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101536

[startup+3.10122 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 16344
/proc/meminfo: memFree=1713632/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=108448 CPUtime=3.09
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 27281 0 0 0 291 18 0 0 25 0 1 0 193614481 111050752 25017 1992294400 4194304 7823515 548682068736 18446744073709551615 6211224 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16343/statm: 27112 25017 515 886 0 26222 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108448

[startup+6.30174 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 16344
/proc/meminfo: memFree=1707872/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=108692 CPUtime=6.29
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 27886 0 0 0 610 19 0 0 25 0 1 0 193614481 111300608 25561 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16343/statm: 27173 25561 515 886 0 26283 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 108692

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 16344
/proc/meminfo: memFree=1707696/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=108824 CPUtime=12.68
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 27942 0 0 0 1248 20 0 0 25 0 1 0 193614481 111435776 25617 1992294400 4194304 7823515 548682068736 18446744073709551615 6211563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16343/statm: 27206 25617 515 886 0 26316 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 108824

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 16344
/proc/meminfo: memFree=1694512/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=121680 CPUtime=25.48
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 31792 0 0 0 2523 25 0 0 25 0 1 0 193614481 124600320 28944 1992294400 4194304 7823515 548682068736 18446744073709551615 6211142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16343/statm: 30420 28944 543 886 0 29530 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 121680

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 16344
/proc/meminfo: memFree=1683760/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=132408 CPUtime=51.08
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 34910 0 0 0 5078 30 0 0 25 0 1 0 193614481 135585792 31662 1992294400 4194304 7823515 548682068736 18446744073709551615 4339127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16343/statm: 33102 31662 543 886 0 32212 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 132408

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 16344
/proc/meminfo: memFree=1676720/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=137140 CPUtime=102.26
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 37162 0 0 0 10187 39 0 0 25 0 1 0 193614481 140431360 33425 1992294400 4194304 7823515 548682068736 18446744073709551615 6212150 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16343/statm: 34285 33425 548 886 0 33395 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 137140

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 16344
/proc/meminfo: memFree=1676656/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=137140 CPUtime=162.24
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 37164 0 0 0 16175 49 0 0 25 0 1 0 193614481 140431360 33427 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16343/statm: 34285 33427 548 886 0 33395 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 137140

[startup+222.305 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 16344
/proc/meminfo: memFree=1671216/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=144400 CPUtime=222.23
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 40724 0 0 0 22151 72 0 0 25 0 1 0 193614481 147865600 34802 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16343/statm: 36100 34802 554 886 0 35210 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 144400

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 16344
/proc/meminfo: memFree=1654832/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=160944 CPUtime=282.21
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 44823 0 0 0 28102 119 0 0 25 0 1 0 193614481 164806656 38901 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16343/statm: 40236 38901 554 886 0 39346 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 160944

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

[startup+307.202 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 16344
/proc/meminfo: memFree=1652912/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=162668 CPUtime=307.1
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 45270 0 0 0 30574 136 0 0 25 0 1 0 193614481 166572032 39348 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16343/statm: 40667 39348 554 886 0 39777 0
Current children cumulated CPU time (s) 307.1
Current children cumulated vsize (KiB) 162668

[startup+320.002 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 16344
/proc/meminfo: memFree=1651120/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=164480 CPUtime=319.89
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 45714 0 0 0 31846 143 0 0 25 0 1 0 193614481 168427520 39792 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16343/statm: 41120 39792 554 886 0 40230 0
Current children cumulated CPU time (s) 319.89
Current children cumulated vsize (KiB) 164480

[startup+323.201 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 16344
/proc/meminfo: memFree=1650864/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=164760 CPUtime=323.09
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 45764 0 0 0 32164 145 0 0 25 0 1 0 193614481 168714240 39842 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16343/statm: 41190 39842 554 886 0 40300 0
Current children cumulated CPU time (s) 323.09
Current children cumulated vsize (KiB) 164760

[startup+326.402 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 16344
/proc/meminfo: memFree=1650480/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=165256 CPUtime=326.29
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 45879 0 0 0 32481 148 0 0 25 0 1 0 193614481 169222144 39957 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16343/statm: 41314 39957 554 886 0 40424 0
Current children cumulated CPU time (s) 326.29
Current children cumulated vsize (KiB) 165256

[startup+327.202 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 16344
/proc/meminfo: memFree=1650416/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=165256 CPUtime=327.09
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 45892 0 0 0 32561 148 0 0 25 0 1 0 193614481 169222144 39970 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16343/statm: 41314 39970 554 886 0 40424 0
Current children cumulated CPU time (s) 327.09
Current children cumulated vsize (KiB) 165256

[startup+328.001 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 16344
/proc/meminfo: memFree=1650352/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=166188 CPUtime=327.89
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 46123 0 0 0 32640 149 0 0 25 0 1 0 193614481 170176512 40201 1992294400 4194304 7823515 548682068736 18446744073709551615 5022662 0 0 4096 0 0 0 0 17 1 0 0
/proc/16343/statm: 41547 40201 556 886 0 40657 0
Current children cumulated CPU time (s) 327.89
Current children cumulated vsize (KiB) 166188

[startup+328.201 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 16344
/proc/meminfo: memFree=1650352/2055920 swapFree=4181976/4192956
[pid=16343] ppid=16341 vsize=7960 CPUtime=328.08
/proc/16343/stat : 16343 (pbscip.linux.x8) R 16341 16343 16129 0 -1 4194304 46264 0 0 0 32657 151 0 0 18 0 1 0 193614481 8151040 1614 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 0 0 0 0 17 1 0 0
/proc/16343/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 328.08
Current children cumulated vsize (KiB) 7960

Child status: 0
Real time (s): 328.202
CPU time (s): 328.097
CPU user time (s): 326.577
CPU system time (s): 1.51977
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 166780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 326.577
system time used= 1.51977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46267
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= 34
involuntary context switches= 357

runsolver used 0.318951 second user time and 0.732888 second system time

The end

Begin job on node26 at 2009-06-17 19:35:48
IDJOB=1884697
IDBENCH=71983
IDSOLVER=683
FILE ID=node26/1884697-1245260148
PBS_JOBID= 9372427
Free space on /tmp= 66156 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/CRAFTED/parity-games/instance_n5_i6_pp.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1884697-1245260148/watcher-1884697-1245260148 -o /tmp/evaluation-result-1884697-1245260148/solver-1884697-1245260148 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884697-1245260148.opb

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

MD5SUM BENCH= f586cd34f0e72d602e1b8d02453f4389
RANDOM SEED=952454023

node26.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.263
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	: 5931.00
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.263
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:       1809096 kB
Buffers:         16924 kB
Cached:         171764 kB
SwapCached:       4976 kB
Active:          58532 kB
Inactive:       138256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1809096 kB
SwapTotal:     4192956 kB
SwapFree:      4181976 kB
Dirty:           10940 kB
Writeback:           0 kB
Mapped:          14292 kB
Slab:            36068 kB
Committed_AS:   190256 kB
PageTables:       1372 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= 66144 MiB
End job on node26 at 2009-06-17 19:41:16