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

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1884797-1245260455/watcher-1884797-1245260455 -o /tmp/evaluation-result-1884797-1245260455/solver-1884797-1245260455 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884797-1245260455.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.98 0.96 3/65 21352
/proc/meminfo: memFree=1659128/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=6100 CPUtime=0
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 582 0 0 0 0 0 0 0 20 0 1 0 193643573 6246400 564 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/21352/statm: 1525 574 325 886 0 635 0

[startup+0.023595 s]
/proc/loadavg: 0.99 0.98 0.96 3/65 21352
/proc/meminfo: memFree=1659128/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=9100 CPUtime=0.01
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 1593 0 0 0 1 0 0 0 20 0 1 0 193643573 9318400 1575 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/21352/statm: 2275 1576 351 886 0 1385 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9100

[startup+0.101604 s]
/proc/loadavg: 0.99 0.98 0.96 3/65 21352
/proc/meminfo: memFree=1659128/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=12876 CPUtime=0.09
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 2524 0 0 0 8 1 0 0 20 0 1 0 193643573 13185024 2506 1992294400 4194304 7823515 548682068736 18446744073709551615 6911728 0 0 4096 0 0 0 0 17 1 0 0
/proc/21352/statm: 3219 2506 351 886 0 2329 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12876

[startup+0.30163 s]
/proc/loadavg: 0.99 0.98 0.96 3/65 21352
/proc/meminfo: memFree=1659128/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=19796 CPUtime=0.29
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 4251 0 0 0 27 2 0 0 22 0 1 0 193643573 20271104 4233 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/21352/statm: 4949 4233 351 886 0 4059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19796

[startup+0.701678 s]
/proc/loadavg: 0.99 0.98 0.96 3/65 21352
/proc/meminfo: memFree=1659128/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=49880 CPUtime=0.69
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 12618 0 0 0 60 9 0 0 25 0 1 0 193643573 51077120 11492 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21352/statm: 12470 11495 435 886 0 11580 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49880

[startup+1.50278 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 21353
/proc/meminfo: memFree=1593392/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=88352 CPUtime=1.49
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 23000 0 0 0 133 16 0 0 21 0 1 0 193643573 90472448 20332 1992294400 4194304 7823515 548682068736 18446744073709551615 6018942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21352/statm: 22088 20332 512 886 0 21198 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88352

[startup+3.10197 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 21353
/proc/meminfo: memFree=1577648/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=92120 CPUtime=3.09
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 24386 0 0 0 292 17 0 0 25 0 1 0 193643573 94330880 21534 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21352/statm: 23030 21534 515 886 0 22140 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 92120

[startup+6.30137 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 21353
/proc/meminfo: memFree=1574192/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=92120 CPUtime=6.29
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 24727 0 0 0 612 17 0 0 25 0 1 0 193643573 94330880 21836 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21352/statm: 23030 21836 515 886 0 22140 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92120

[startup+12.7012 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 21353
/proc/meminfo: memFree=1569968/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=97424 CPUtime=12.69
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 26194 0 0 0 1250 19 0 0 25 0 1 0 193643573 99762176 23243 1992294400 4194304 7823515 548682068736 18446744073709551615 6211692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21352/statm: 24356 23243 543 886 0 23466 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 97424

[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 21353
/proc/meminfo: memFree=1552048/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=114048 CPUtime=25.49
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 30466 0 0 0 2525 24 0 0 25 0 1 0 193643573 116785152 27230 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21352/statm: 28512 27230 543 886 0 27622 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 114048

[startup+51.1019 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 21353
/proc/meminfo: memFree=1544048/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=121140 CPUtime=51.07
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 34199 0 0 0 5077 30 0 0 25 0 1 0 193643573 124047360 29230 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21352/statm: 30285 29230 547 886 0 29395 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 121140

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 21353
/proc/meminfo: memFree=1539696/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=125256 CPUtime=102.25
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 35601 0 0 0 10187 38 0 0 25 0 1 0 193643573 128262144 30336 1992294400 4194304 7823515 548682068736 18446744073709551615 6212637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21352/statm: 31314 30336 547 886 0 30424 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 125256

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 21353
/proc/meminfo: memFree=1528432/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=135556 CPUtime=162.24
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 38453 0 0 0 16155 69 0 0 25 0 1 0 193643573 138809344 33188 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21352/statm: 33889 33188 553 886 0 32999 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 135556

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

[startup+179.102 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 21353
/proc/meminfo: memFree=1521904/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=142016 CPUtime=179.03
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 40057 0 0 0 17819 84 0 0 25 0 1 0 193643573 145424384 34792 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21352/statm: 35504 34792 553 886 0 34614 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 142016

[startup+191.901 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 21353
/proc/meminfo: memFree=1520048/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=143920 CPUtime=191.83
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 40510 0 0 0 19083 100 0 0 25 0 1 0 193643573 147374080 35245 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21352/statm: 35980 35245 553 886 0 35090 0
Current children cumulated CPU time (s) 191.83
Current children cumulated vsize (KiB) 143920

[startup+204.702 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 21353
/proc/meminfo: memFree=1519216/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=144668 CPUtime=204.62
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 40703 0 0 0 20351 111 0 0 25 0 1 0 193643573 148140032 35438 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21352/statm: 36167 35438 553 886 0 35277 0
Current children cumulated CPU time (s) 204.62
Current children cumulated vsize (KiB) 144668

[startup+207.905 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 21353
/proc/meminfo: memFree=1519024/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=144836 CPUtime=207.83
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 40747 0 0 0 20668 115 0 0 25 0 1 0 193643573 148312064 35482 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21352/statm: 36209 35482 553 886 0 35319 0
Current children cumulated CPU time (s) 207.83
Current children cumulated vsize (KiB) 144836

[startup+209.501 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 21353
/proc/meminfo: memFree=1518960/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=144980 CPUtime=209.42
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 40772 0 0 0 20826 116 0 0 25 0 1 0 193643573 148459520 35507 1992294400 4194304 7823515 548682068736 18446744073709551615 4243916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21352/statm: 36245 35507 553 886 0 35355 0
Current children cumulated CPU time (s) 209.42
Current children cumulated vsize (KiB) 144980

[startup+210.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 21353
/proc/meminfo: memFree=1518960/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=144980 CPUtime=210.22
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 40772 0 0 0 20905 117 0 0 25 0 1 0 193643573 148459520 35507 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21352/statm: 36245 35507 553 886 0 35355 0
Current children cumulated CPU time (s) 210.22
Current children cumulated vsize (KiB) 144980

[startup+210.702 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 21353
/proc/meminfo: memFree=1518960/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=144980 CPUtime=210.62
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 40775 0 0 0 20945 117 0 0 25 0 1 0 193643573 148459520 35510 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21352/statm: 36245 35510 553 886 0 35355 0
Current children cumulated CPU time (s) 210.62
Current children cumulated vsize (KiB) 144980

[startup+211.102 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 21353
/proc/meminfo: memFree=1518704/2055920 swapFree=4192812/4192956
[pid=21352] ppid=21350 vsize=141204 CPUtime=211.03
/proc/21352/stat : 21352 (pbscip.linux.x8) R 21350 21352 21023 0 -1 4194304 40829 0 0 0 20985 118 0 0 25 0 1 0 193643573 144592896 34743 1992294400 4194304 7823515 548682068736 18446744073709551615 6879529 0 0 4096 0 0 0 0 17 1 0 0
/proc/21352/statm: 35301 34743 560 886 0 34411 0
Current children cumulated CPU time (s) 211.03
Current children cumulated vsize (KiB) 141204

Child status: 0
Real time (s): 211.144
CPU time (s): 211.073
CPU user time (s): 209.866
CPU system time (s): 1.20682
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 145144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 209.866
system time used= 1.20682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40833
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= 8
involuntary context switches= 430

runsolver used 0.26096 second user time and 0.515921 second system time

The end

Begin job on node80 at 2009-06-17 19:40:55
IDJOB=1884797
IDBENCH=71993
IDSOLVER=683
FILE ID=node80/1884797-1245260455
PBS_JOBID= 9372382
Free space on /tmp= 66532 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_i5_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-1884797-1245260455/watcher-1884797-1245260455 -o /tmp/evaluation-result-1884797-1245260455/solver-1884797-1245260455 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884797-1245260455.opb

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

MD5SUM BENCH= 6b92c7de971d94476705ade5a1d02666
RANDOM SEED=1429653285

node80.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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1659544 kB
Buffers:         17132 kB
Cached:         318856 kB
SwapCached:          0 kB
Active:          62640 kB
Inactive:       287224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1659544 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10964 kB
Writeback:           0 kB
Mapped:          23644 kB
Slab:            32404 kB
Committed_AS:    83500 kB
PageTables:       1388 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= 66520 MiB
End job on node80 at 2009-06-17 19:44:27