0.00/0.01	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-2667392-1276329196.opb>
0.09/0.12	c original problem has 2970 variables (2970 bin, 0 int, 0 impl, 0 cont) and 2113 constraints
0.09/0.12	c problem read
0.09/0.12	c No objective function, only one solution is needed.
0.09/0.12	c presolving settings loaded
0.09/0.18	c presolving:
0.19/0.28	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2113 upgd conss, 0 impls, 89 clqs
0.29/0.31	c presolving (2 rounds):
0.29/0.31	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.31	c  0 implications, 89 cliques
0.29/0.31	c presolved problem has 2970 variables (2970 bin, 0 int, 0 impl, 0 cont) and 2113 constraints
0.29/0.31	c      89 constraints of type <setppc>
0.29/0.31	c    2024 constraints of type <logicor>
0.29/0.31	c transformed objective value is always integral (scale: 1)
0.29/0.31	c Presolving Time: 0.13
0.29/0.31	c - non default parameters ----------------------------------------------------------------------
0.29/0.31	c # SCIP version 1.2.1.2
0.29/0.31	c 
0.29/0.31	c # frequency for displaying node information lines
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.31	c display/freq = 10000
0.29/0.31	c 
0.29/0.31	c # maximal time in seconds to run
0.29/0.31	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31	c limits/time = 1799.89
0.29/0.31	c 
0.29/0.31	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.31	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31	c limits/memory = 1620
0.29/0.31	c 
0.29/0.31	c # solving stops, if the given number of solutions were found (-1: no limit)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31	c limits/solutions = 1
0.29/0.31	c 
0.29/0.31	c # maximal number of separation rounds per node (-1: unlimited)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 5]
0.29/0.31	c separating/maxrounds = 1
0.29/0.31	c 
0.29/0.31	c # maximal number of separation rounds in the root node (-1: unlimited)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31	c separating/maxroundsroot = 5
0.29/0.31	c 
0.29/0.31	c # should presolving try to simplify inequalities
0.29/0.31	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31	c constraints/linear/simplifyinequalities = TRUE
0.29/0.31	c 
0.29/0.31	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.29/0.31	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.29/0.31	c constraints/knapsack/disaggregation = FALSE
0.29/0.31	c 
0.29/0.31	c # should presolving try to simplify knapsacks
0.29/0.31	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31	c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.31	c 
0.29/0.31	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31	c presolving/probing/maxrounds = 0
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.31	c heuristics/coefdiving/freq = -1
0.29/0.31	c 
0.29/0.31	c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.31	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.31	c heuristics/coefdiving/maxlpiterquot = 0.075
0.29/0.31	c 
0.29/0.31	c # additional number of allowed LP iterations
0.29/0.31	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31	c heuristics/coefdiving/maxlpiterofs = 1500
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 30]
0.29/0.31	c heuristics/crossover/freq = -1
0.29/0.31	c 
0.29/0.31	c # number of nodes added to the contingent of the total nodes
0.29/0.31	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.31	c heuristics/crossover/nodesofs = 750
0.29/0.31	c 
0.29/0.31	c # number of nodes without incumbent change that heuristic should wait
0.29/0.31	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.29/0.31	c heuristics/crossover/nwaitingnodes = 100
0.29/0.31	c 
0.29/0.31	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.29/0.31	c # [type: real, range: [0,1], default: 0.1]
0.29/0.31	c heuristics/crossover/nodesquot = 0.15
0.29/0.31	c 
0.29/0.31	c # minimum percentage of integer variables that have to be fixed 
0.29/0.31	c # [type: real, range: [0,1], default: 0.666]
0.29/0.31	c heuristics/crossover/minfixingrate = 0.5
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.31	c heuristics/feaspump/freq = -1
0.29/0.31	c 
0.29/0.31	c # additional number of allowed LP iterations
0.29/0.31	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31	c heuristics/feaspump/maxlpiterofs = 2000
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.31	c heuristics/fracdiving/freq = -1
0.29/0.31	c 
0.29/0.31	c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.31	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.31	c heuristics/fracdiving/maxlpiterquot = 0.075
0.29/0.31	c 
0.29/0.31	c # additional number of allowed LP iterations
0.29/0.31	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31	c heuristics/fracdiving/maxlpiterofs = 1500
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.31	c heuristics/guideddiving/freq = -1
0.29/0.31	c 
0.29/0.31	c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.31	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.31	c heuristics/guideddiving/maxlpiterquot = 0.075
0.29/0.31	c 
0.29/0.31	c # additional number of allowed LP iterations
0.29/0.31	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31	c heuristics/guideddiving/maxlpiterofs = 1500
0.29/0.31	c 
0.29/0.31	c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.31	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.31	c heuristics/intdiving/maxlpiterquot = 0.075
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.31	c heuristics/intshifting/freq = -1
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.31	c heuristics/linesearchdiving/freq = -1
0.29/0.31	c 
0.29/0.31	c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.31	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.31	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.29/0.31	c 
0.29/0.31	c # additional number of allowed LP iterations
0.29/0.31	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31	c heuristics/nlp/freq = -1
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.31	c heuristics/objpscostdiving/freq = -1
0.29/0.31	c 
0.29/0.31	c # maximal fraction of diving LP iterations compared to total iteration number
0.29/0.31	c # [type: real, range: [0,1], default: 0.01]
0.29/0.31	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.29/0.31	c 
0.29/0.31	c # additional number of allowed LP iterations
0.29/0.31	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31	c heuristics/oneopt/freq = -1
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.31	c heuristics/pscostdiving/freq = -1
0.29/0.31	c 
0.29/0.31	c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.31	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.31	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.29/0.31	c 
0.29/0.31	c # additional number of allowed LP iterations
0.29/0.31	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31	c heuristics/pscostdiving/maxlpiterofs = 1500
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.31	c heuristics/rens/freq = -1
0.29/0.31	c 
0.29/0.31	c # minimum percentage of integer variables that have to be fixable 
0.29/0.31	c # [type: real, range: [0,1], default: 0.5]
0.29/0.31	c heuristics/rens/minfixingrate = 0.3
0.29/0.31	c 
0.29/0.31	c # number of nodes added to the contingent of the total nodes
0.29/0.31	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.31	c heuristics/rens/nodesofs = 2000
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.31	c heuristics/rootsoldiving/freq = -1
0.29/0.31	c 
0.29/0.31	c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.31	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.29/0.31	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.29/0.31	c 
0.29/0.31	c # additional number of allowed LP iterations
0.29/0.31	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31	c heuristics/rounding/freq = -1
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.31	c heuristics/shifting/freq = -1
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31	c heuristics/simplerounding/freq = -1
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.31	c heuristics/trivial/freq = -1
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31	c heuristics/trysol/freq = -1
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.31	c heuristics/veclendiving/freq = -1
0.29/0.31	c 
0.29/0.31	c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.31	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.31	c heuristics/veclendiving/maxlpiterquot = 0.075
0.29/0.31	c 
0.29/0.31	c # additional number of allowed LP iterations
0.29/0.31	c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31	c heuristics/veclendiving/maxlpiterofs = 1500
0.29/0.31	c 
0.29/0.31	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31	c heuristics/zirounding/freq = -1
0.29/0.31	c 
0.29/0.31	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.31	c separating/cmir/freq = -1
0.29/0.31	c 
0.29/0.31	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.31	c separating/flowcover/freq = -1
0.29/0.31	c 
0.29/0.31	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.31	c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31	c separating/rapidlearning/freq = 0
0.29/0.31	c 
0.29/0.31	c -----------------------------------------------------------------------------------------------
0.29/0.31	c start solving
0.29/0.31	c 
0.59/0.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.69	c   0.5s|     1 |     0 |  1118 |     - |  13M|   0 | 365 |2970 |2113 |2970 |2113 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.49/1.56	c   1.4s|     1 |     0 |  1600 |     - |  13M|   0 | 482 |2970 |2113 |2970 |2132 |  19 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.30/2.39	c   2.2s|     1 |     0 |  2374 |     - |  13M|   0 | 500 |2970 |2113 |2970 |2148 |  35 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.99/3.08	c   2.9s|     1 |     0 |  3069 |     - |  13M|   0 | 618 |2970 |2113 |2970 |2170 |  57 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.89/3.95	c   3.7s|     1 |     0 |  3886 |     - |  13M|   0 | 579 |2970 |2113 |2970 |2188 |  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.79/4.85	c   4.6s|     1 |     0 |  4806 |     - |  14M|   0 | 602 |2970 |2113 |2970 |2208 |  95 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.29/6.35	c   6.1s|     1 |     2 |  4806 |     - |  14M|   0 | 602 |2970 |2113 |2970 |2208 |  95 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
86.76/86.80	c *86.0s|   452 |     0 | 15049 |  22.7 |  15M|  87 |   - |2970 |2258 |2970 |2155 |  95 | 147 |1678 | 0.000000e+00 | 0.000000e+00 |   0.00%
86.76/86.81	c 
86.76/86.81	c SCIP Status        : problem is solved [optimal solution found]
86.76/86.81	c Solving Time (sec) : 85.96
86.76/86.81	c Solving Nodes      : 452
86.76/86.81	c Primal Bound       : +0.00000000000000e+00 (1 solutions)
86.76/86.81	c Dual Bound         : +0.00000000000000e+00
86.76/86.81	c Gap                : 0.00 %
86.76/86.82	s SATISFIABLE
86.76/86.82	v -x306 -x295 -x276 -x961 -x949 -x275 -x713 -x684 -x303 -x716 -x710 -x1377 -x1370 -x1364 -x1353 -x1395 -x1385 -x989 -x988 -x301 -x676 
86.76/86.82	v -x279 -x307 -x694 -x688 -x677 -x1379 -x286 -x967 -x701 -x285 -x962 -x287 -x987 -x1371 -x952 -x315 -x983 -x1362 -x959 -x313 
86.76/86.82	v -x1360 -x540 -x536 -x508 -x505 -x497 -x527 -x280 -x970 -x504 -x518 -x1389 -x1380 -x953 -x1388 -x944 -x934 -x925 -x923 -x918 
86.76/86.82	v -x912 -x910 -x908 -x904 -x531 -x1661 -x1657 -x1655 -x1653 -x1651 -x1650 -x1646 -x1641 -x1639 -x1635 -x1629 -x1624 -x1622 -x309 
86.76/86.82	v -x1361 -x1882 -x1879 -x1878 -x1877 -x1876 -x1874 -x1872 -x1868 -x1859 -x1858 -x1851 x1848 -x1846 -x44 -x37 -x35 -x34 -x30 
86.76/86.82	v -x24 -x21 -x19 -x17 -x16 -x15 -x14 -x11 -x9 -x5 -x4 -x3 -x1855 -x1351 -x985 -x718 -x1358 -x1869 -x282 -x902 -x133 -x132 -x131 
86.76/86.82	v -x130 -x129 -x128 -x122 -x120 -x119 -x117 -x116 -x115 -x114 -x113 -x110 x92 -x91 -x525 -x127 -x689 -x683 -x1853 -x95 -x990 
86.76/86.82	v -x1363 -x515 -x1375 -x965 -x125 -x1633 -x311 -x930 -x45 -x524 -x1369 -x1862 -x963 -x695 -x513 -x13 -x976 -x907 -x509 -x941 -x20 
86.76/86.82	v -x533 -x124 -x920 -x947 -x948 -x979 -x1976 -x1973 x1969 -x1968 -x1963 -x1962 -x1959 -x1954 -x1953 -x1946 -x1945 -x1940 -x1939 
86.76/86.82	v -x1938 -x1937 -x1889 -x909 -x585 -x584 -x583 -x580 -x578 -x574 -x573 -x571 -x570 -x568 -x562 x561 -x559 -x557 -x555 -x553 
86.76/86.82	v -x550 -x543 -x542 -x541 -x1374 -x522 -x1631 -x1435 -x1433 -x1426 -x1423 -x1421 -x1419 -x1415 -x1414 -x1413 -x1412 -x1409 -x1407 
86.76/86.82	v -x1404 -x1400 -x1399 -x1398 -x31 -x180 -x178 -x174 -x173 -x171 -x169 -x167 -x165 -x164 -x163 -x162 -x161 -x157 -x155 -x151 
86.76/86.82	v -x145 -x143 -x140 -x139 -x136 -x1 -x1634 -x1881 -x696 -x569 -x980 -x707 -x921 -x917 -x960 -x906 -x1942 -x937 -x1355 -x1888 
86.76/86.82	v -x552 -x1867 -x709 -x1935 -x1932 -x1930 -x1928 -x1927 -x1926 -x1920 -x1919 -x1917 -x1916 -x1915 -x1910 -x1909 -x1903 -x1896 -x1891 
86.76/86.82	v -x314 -x112 -x1952 -x1893 -x1437 -x1852 -x283 -x711 -x679 -x558 -x1863 -x564 x1401 -x1900 -x972 -x1119 -x1118 -x1117 -x1112 
86.76/86.82	v -x1110 -x1108 -x1103 -x1102 -x1099 -x1097 -x1095 -x1094 -x1090 -x1086 -x1083 -x1081 -x1386 -x29 -x1847 -x6 -x682 -x1941 
86.76/86.82	v -x943 -x1106 -x806 -x799 -x792 -x791 -x789 -x788 -x787 -x786 -x785 -x783 -x781 -x777 -x776 -x773 -x772 -x770 -x767 -x405 -x404 
86.76/86.82	v -x400 -x397 -x395 -x392 -x388 -x387 -x386 -x385 -x384 -x383 -x378 -x377 -x374 -x373 -x372 -x369 -x363 -x361 -x1637 -x708 -x566 
86.76/86.82	v -x964 -x796 -x529 -x1357 -x717 -x794 -x288 -x924 -x1843 -x1842 -x1841 -x1839 -x1833 -x1832 -x1827 -x1825 -x1824 -x1822 -x1815 
86.76/86.82	v -x1811 -x1809 -x1806 -x1805 -x1801 -x1860 -x973 -x913 -x121 -x630 -x628 -x627 -x626 -x625 -x623 -x622 -x621 -x620 -x618 
86.76/86.82	v x616 -x615 -x613 -x612 -x609 -x608 -x607 -x600 -x599 -x594 -x593 -x592 -x591 -x589 -x681 -x556 -x502 -x1100 -x1901 -x931 -x1870 
86.76/86.82	v -x273 -x715 -x1124 -x1104 -x270 -x266 -x265 -x263 -x261 -x257 -x254 -x252 -x251 -x249 -x246 -x244 -x243 -x242 -x239 -x238 
86.76/86.82	v -x236 -x235 -x232 -x231 -x230 -x229 -x228 -x1645 -x807 -x1356 -x1820 -x109 -x1410 -x1664 -x1662 -x1406 -x274 -x957 -x955 -x916 
86.76/86.82	v -x1366 -x1966 -x1813 -x1971 -x100 -x28 -x940 -x278 -x450 -x449 -x448 -x447 -x446 -x445 -x442 -x439 -x435 -x433 -x431 -x430 
86.76/86.82	v -x429 -x427 -x426 -x421 -x419 -x418 -x416 -x414 -x412 -x410 -x409 -x406 -x365 -x1372 -x1430 -x539 -x808 -x1943 -x1849 -x1168 
86.76/86.82	v -x1167 -x1166 -x1165 x1163 -x1162 -x1160 -x1158 -x1157 -x1156 -x1155 -x1154 -x1152 -x1151 -x1148 -x1146 -x1144 -x1141 -x1138 
86.76/86.82	v -x1136 -x1135 -x1130 -x1127 -x1922 -x402 -x1628 -x1850 -x226 -x548 -x415 -x1403 -x1393 -x712 -x1126 -x1116 -x534 -x379 -x590 
86.76/86.82	v -x1105 -x1132 -x1422 -x1975 -x596 -x396 -x517 -x1621 -x1642 -x1434 -x370 -x775 -x422 -x1656 -x148 -x586 -x1350 -x1349 -x1348 
86.76/86.82	v -x1346 -x1345 -x1343 -x1342 -x1341 -x1339 -x1338 -x1337 -x1336 -x1333 -x1332 -x1331 -x1329 -x1328 -x1327 -x1326 -x1325 -x1323 
86.76/86.82	v -x1321 -x1320 -x1317 -x1314 -x1312 -x1310 -x1309 -x1307 -x1306 -x782 -x1902 -x946 -x156 -x411 -x41 -x305 -x177 -x1834 -x1390 
86.76/86.82	v -x801 -x1416 -x595 -x611 -x440 -x403 -x150 -x514 -x1905 -x1121 -x1835 -x1638 -x691 -x144 -x1098 -x551 -x809 -x147 -x1392 -x699 
86.76/86.82	v -x804 -x1319 -x680 -x1845 -x495 -x494 -x493 -x492 -x489 -x486 -x485 -x481 -x480 -x479 -x476 -x475 -x474 -x473 -x472 -x471 
86.76/86.82	v -x469 -x467 x466 -x465 -x464 -x463 -x460 -x459 -x458 -x456 -x455 -x454 -x453 -x452 -x483 -x247 -x1397 -x1623 -x1956 -x93 -x567 
86.76/86.82	v -x1911 -x258 -x90 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x71 -x70 -x69 -x67 -x66 -x65 -x63 -x62 
86.76/86.82	v -x61 -x60 -x58 -x55 -x53 -x52 -x49 -x48 -x47 -x46 -x1970 -x371 -x2 -x1335 -x1111 -x1974 -x1120 -x94 -x1322 -x72 -x579 -x1107 
86.76/86.82	v -x1949 -x1964 -x1140 -x1033 -x1032 -x1031 -x1029 -x1026 -x1022 -x1020 -x1015 -x1014 -x1012 -x1011 -x1010 -x1009 -x1008 -x1006 
86.76/86.82	v -x1004 -x1002 -x1001 x999 -x998 -x997 -x995 -x994 -x993 -x992 -x991 -x1418 -x267 -x1967 -x1145 -x381 -x1093 -x535 -x1818 -x1017 
86.76/86.82	v -x1427 -x1831 -x470 -x1904 -x1840 -x560 -x602 -x769 -x501 -x693 -x1665 -x271 -x1837 -x678 -x1871 -x905 -x105 -x302 -x1376 
86.76/86.82	v -x269 -x103 -x106 -x482 x986 -x704 -x7 -x766 -x520 -x1170 -x160 -x1133 -x784 -x1019 -x137 -x1951 -x1883 -x546 -x135 -x780 -x299 
86.76/86.82	v -x391 -x1875 -x478 -x1931 -x932 -x1088 -x390 -x774 -x304 -x1925 -x102 -x1367 -x1153 -x18 -x375 -x1429 -x308 -x604 -x1816 
86.76/86.82	v -x73 -x1315 -x424 -x1887 -x227 -x1384 -x1432 -x984 -x294 -x935 -x1082 -x1857 -x457 -x290 -x1402 -x413 -x64 -x441 -x179 -x234 
86.76/86.82	v -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x892 -x891 -x888 -x887 -x885 -x884 -x883 -x882 -x881 -x880 -x878 -x877 -x876 -x874 
86.76/86.82	v -x872 -x869 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x1016 -x1838 -x927 -x521 -x1644 -x1894 -x778 -x1958 
86.76/86.82	v -x857 -x1035 x1313 -x1663 -x1164 -x950 -x1382 -x1936 -x264 -x868 -x111 -x461 -x1373 -x289 -x451 -x262 -x1948 -x544 -x1129 -x1626 
86.76/86.82	v -x1636 -x563 -x10 -x1139 -x32 -x919 -x268 -x1913 -x40 -x530 -x1028 -x697 -x576 -x605 -x703 -x310 -x601 -x1659 -x875 -x1812 
86.76/86.82	v -x1021 -x911 -x966 -x928 -x425 -x141 -x871 -x1085 -x771 -x951 -x255 -x281 -x443 -x1334 -x1137 -x545 -x154 -x1030 -x538 -x1000 
86.76/86.82	v -x123 -x491 -x360 -x357 -x355 -x351 -x350 -x349 -x348 -x347 -x344 -x343 -x341 -x340 -x339 x338 -x336 -x335 -x333 -x332 -x331 
86.76/86.82	v -x330 -x329 -x328 -x327 -x325 -x324 -x323 -x322 -x320 -x319 -x318 -x317 -x316 -x1947 -x1886 -x1654 -x237 -x1396 -x598 -x942 
86.76/86.82	v -x1023 -x1411 -x25 -x142 -x1378 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1293 -x1292 -x1290 
86.76/86.82	v -x1289 -x1288 -x1284 -x1283 -x1281 -x1280 -x1278 -x1277 -x1276 -x1274 -x1273 -x1271 -x1270 -x1269 -x1268 -x1267 -x1265 -x1263 
86.76/86.82	v -x1262 -x1261 -x1387 -x380 -x462 -x1159 -x1149 -x1627 -x1131 -x1285 x423 -x345 -x398 -x506 -x89 -x1440 -x1142 -x698 -x516 -x1279 
86.76/86.82	v -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1788 -x1787 -x1785 -x1784 -x1782 -x1780 -x1779 -x1778 -x1777 
86.76/86.82	v -x1776 -x1775 -x1774 -x1773 -x1772 -x1770 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 x1762 -x1761 -x1760 -x1759 -x1758 -x1757 
86.76/86.82	v -x1756 -x1643 -x272 -x1125 -x38 -x528 -x1260 -x1258 -x1257 -x1256 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1247 -x1244 -x1243 
86.76/86.82	v -x1242 -x1240 -x1236 -x1234 -x1233 -x1232 -x1231 -x1229 -x1228 -x1227 -x1226 -x1225 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 
86.76/86.82	v -x1216 -x1898 -x886 -x152 -x1264 -x382 -x1161 -x96 -x88 -x588 -x1710 -x1709 -x1708 -x1707 -x1706 -x1704 -x1703 -x1702 -x1701 
86.76/86.82	v -x1699 -x1697 -x1695 -x1694 -x1691 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 
86.76/86.82	v -x1676 -x1675 -x1673 -x1672 -x1671 -x1670 -x1668 -x1666 -x389 -x436 -x1365 -x23 -x1908 -x901 -x107 -x1912 -x582 -x1352 
86.76/86.82	v -x1217 -x1814 -x245 -x893 -x1109 -x702 -x118 -x1169 -x565 -x1084 -x1865 -x1864 -x1625 -x352 -x1408 -x490 -x1826 -x549 -x1771 
86.76/86.82	v -x1101 -x779 -x958 -x1783 -x1383 x936 x87 -x575 -x1693 -x675 -x673 -x672 -x671 -x670 -x669 -x667 -x666 -x665 -x662 -x661 -x659 
86.76/86.82	v -x658 -x657 -x656 -x655 -x653 -x652 -x651 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x639 -x638 -x637 -x636 -x635 
86.76/86.82	v -x631 -x790 -x1122 -x1692 -x428 -x260 -x1241 -x664 -x27 -x1897 x1669 -x929 x1080 -x1079 -x1077 -x1076 -x1074 -x1073 -x1070 
86.76/86.82	v -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1055 -x1054 -x1052 -x1050 -x1049 -x1048 
86.76/86.82	v -x1047 -x1046 -x1044 -x1043 -x1042 -x1041 -x1040 -x1038 -x1037 -x1892 -x240 -x166 -x1087 -x353 -x1075 -x1802 -x926 -x1114 -x432 
86.76/86.82	v -x1808 -x1436 -x1630 -x1861 -x719 -x519 -x981 -x903 -x1045 -x176 -x633 -x233 -x39 -x54 -x629 -x915 -x138 -x1799 -x705 -x996 
86.76/86.82	v -x500 -x434 -x1957 -x1485 -x1484 -x1483 -x1481 -x1480 -x1479 -x1478 -x1476 x1475 -x1474 -x1473 -x1471 -x1470 -x1469 -x1468 
86.76/86.82	v -x1467 -x1466 -x1464 -x1463 -x1462 -x1461 -x1460 -x1457 -x1455 -x1454 -x1453 -x1452 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 
86.76/86.82	v -x1444 -x1443 -x1442 -x1441 -x1330 -x26 -x674 -x146 -x614 -x1923 -x359 -x956 -x1700 -x126 -x368 -x1246 -x890 -x1885 -x1465 
86.76/86.82	v -x366 -x1147 -x523 -x978 -x1230 -x22 -x1632 -x1318 -x1705 -x889 -x1458 -x1344 -x1005 -x1039 -x581 -x1294 -x134 -x914 -x597 -x104 
86.76/86.82	v -x512 -x33 -x663 -x1150 x856 -x1880 -x572 -x1438 -x487 -x1965 -x1798 -x1829 -x1451 -x1007 -x1769 -x1053 -x532 -x1259 -x1025 
86.76/86.82	v -x1648 -x367 -x1291 -x1034 -x364 -x1649 x399 -x1807 -x1854 -x968 -x293 -x1477 -x297 -x800 -x1918 -x59 -x1071 -x1013 x1235 
86.76/86.82	v -x1924 -x977 -x1224 -x1647 -x42 -x170 -x1810 -x256 -x1391 -x922 -x1823 -x253 -x1575 -x1574 -x1573 -x1572 -x1570 -x1569 -x1565 
86.76/86.82	v -x1562 -x1561 -x1560 -x1558 -x1556 -x1554 -x1553 -x1552 -x1551 -x1550 x1549 -x1547 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 
86.76/86.82	v -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x8 -x1056 -x98 -x1564 -x225 -x224 -x222 -x221 -x220 -x219 -x218 -x217 
86.76/86.82	v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x204 -x203 -x202 -x200 -x199 -x197 -x195 -x194 x193 -x192 -x191 
86.76/86.82	v -x190 -x189 -x188 -x187 -x186 -x184 -x183 -x182 -x181 -x1381 -x149 -x356 -x1781 -x1660 -x342 -x1215 -x1214 -x1213 -x1212 
86.76/86.82	v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 x1203 -x1202 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 
86.76/86.82	v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 
86.76/86.82	v -x1172 -x1171 -x444 -x1545 -x686 -x1324 -x603 -x284 -x417 -x393 -x206 -x1696 -x982 -x687 -x503 -x632 -x1828 -x1555 -x692 -x488 
86.76/86.82	v -x484 -x660 -x974 -x1272 -x248 -x945 -x1844 -x1003 -x619 -x1072 -x810 -x668 -x969 -x438 -x1667 -x577 -x1884 -x1027 -x2266 
86.76/86.82	v -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 x2251 -x2250 -x2249 -x2248 
86.76/86.82	v -x2247 -x2246 -x2245 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1605 
86.76/86.82	v -x1604 -x1603 -x1602 x1601 -x1600 -x1599 -x1598 -x1595 -x1594 -x1593 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 
86.76/86.82	v -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x793 -x1933 -x634 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1745 -x1744 
86.76/86.82	v -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 
86.76/86.82	v -x1725 x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1713 -x1712 -x1711 -x802 -x1803 -x358 -x298 -x1950 
86.76/86.82	v -x1134 -x1698 -x1051 -x1275 -x1311 -x1804 -x1472 -x354 -x153 -x205 -x933 -x870 -x496 -x1754 -x56 -x1980 -x1266 -x1583 -x1929 
86.76/86.82	v x1394 -x499 -x337 -x1192 -x241 -x477 -x1239 -x1557 -x1606 -x172 -x511 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 
86.76/86.82	v -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 x2270 -x2269 -x2268 -x2267 -x554 -x798 -x1295 -x1789 
86.76/86.82	v -x1143 -x51 -x158 -x975 -x1906 -x1899 -x1571 -x1092 -x198 -x12 -x1960 -x1428 -x873 -x185 -x57 -x1786 -x690 -x1596 -x1185 
86.76/86.82	v -x334 -x1368 -x1036 -x1907 -x362 -x1821 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 
86.76/86.82	v -x2099 -x2098 -x2097 -x2096 x2095 -x2094 -x2093 -x2092 -x2091 -x321 -x420 -x1424 -x1078 -x537 -x1096 -x650 -x1934 -x1018 
86.76/86.82	v -x346 -x1340 -x1354 -x805 -x526 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 
86.76/86.82	v x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x1972 -x1347 -x1866 -x1592 -x1873 -x971 -x1248 -x714 -x1890 -x1978 
86.76/86.82	v -x99 -x1977 x1091 -x1482 -x547 -x1245 x654 -x1420 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 
86.76/86.82	v -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 x2774 -x2773 -x1567 -x587 -x1530 -x1529 -x1528 -x1527 -x1526 
86.76/86.82	v -x1525 -x1524 -x1523 x1522 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 
86.76/86.82	v -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 
86.76/86.82	v -x1489 -x1488 -x1487 -x1486 -x706 -x1819 -x939 -x1113 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 
86.76/86.82	v -x2607 -x2606 x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x1559 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 
86.76/86.82	v -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x1063 
86.76/86.82	v -x1024 -x1830 -x1316 -x223 -x277 -x803 -x101 -x1674 -x1961 -x1238 -x1914 -x1201 -x1548 -x1237 -x159 -x1521 -x617 -x2750 -x2749 
86.76/86.82	v -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 
86.76/86.82	v -x2730 -x2729 -x1115 -x1597 -x720 -x1955 -x376 -x1746 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 
86.76/86.82	v -x2652 -x2651 -x2650 -x2649 -x2648 x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x1921 -x1286 -x1856 -x196 -x768 -x437 -x2574 
86.76/86.82	v -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 
86.76/86.82	v -x2555 -x2554 -x2553 x1287 -x1308 -x168 -x2222 -x2221 -x2220 -x2219 -x2218 x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 
86.76/86.82	v -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x326 -x1658 -x1755 -x2838 -x2837 -x2836 -x2835 -x2834 
86.76/86.82	v -x2833 -x2832 x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x624 
86.76/86.82	v -x300 -x291 -x610 -x2024 -x2023 -x2022 x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 
86.76/86.82	v -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x407 -x954 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 
86.76/86.82	v -x2300 x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x510 -x938 -x36 -x765 -x764 -x763 -x762 
86.76/86.82	v -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 
86.76/86.82	v -x740 -x739 -x738 -x737 -x736 x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x1456 
86.76/86.82	v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 
86.76/86.82	v -x2336 -x2335 -x2334 -x2333 x1817 -x259 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 x1995 -x1994 -x1993 -x1992 -x1991 
86.76/86.82	v -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1576 -x1690 -x1439 -x1417 -x1128 x292 -x1566 -x606 
86.76/86.82	v -x2068 x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 
86.76/86.82	v -x2050 -x2049 -x2048 -x2047 -x1714 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 x2234 -x2233 -x2232 
86.76/86.82	v -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 x507 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 
86.76/86.82	v -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x1979 -x408 -x2970 -x2969 
86.76/86.82	v -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 
86.76/86.82	v -x2950 -x2949 -x1800 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 x2450 
86.76/86.82	v -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x1282 -x1089 -x1425 -x2134 -x2133 -x2132 -x2131 x2130 -x2129 -x2128 -x2127 
86.76/86.82	v -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x97 -x2420 -x2419 -x2418 -x2417 
86.76/86.82	v -x2416 -x2415 -x2414 -x2413 -x2412 x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 
86.76/86.82	v -x1640 -x700 -x50 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 
86.76/86.82	v -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 x250 -x640 x1652 -x1431 x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 
86.76/86.82	v -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 x1895 -x1405 -x2332 -x2331 
86.76/86.82	v -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 x2316 -x2315 -x2314 -x2313 
86.76/86.82	v -x2312 -x2311 -x1546 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 
86.76/86.82	v -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 x2795 -x1568 x175 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 
86.76/86.82	v -x845 -x844 -x843 -x842 -x841 -x840 x839 -x838 -x837 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 
86.76/86.82	v -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x1359 -x296 x43 -x2772 -x2771 -x2770 -x2769 
86.76/86.82	v -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 x2754 -x2753 -x2752 -x2751 
86.76/86.82	v -x1836 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 
86.76/86.82	v -x2491 -x2490 x2489 -x2488 -x2487 -x879 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 
86.76/86.82	v -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x201 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 
86.76/86.82	v -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 x2667 -x2666 -x2665 -x2664 -x2663 -x797 -x2728 -x2727 -x2726 
86.76/86.82	v -x2725 x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 
86.76/86.82	v -x2707 -x394 -x2640 -x2639 -x2638 x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 
86.76/86.82	v -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 x795 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 
86.76/86.82	v -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 x2378 -x2377 -x1459 x2926 -x2925 -x2924 -x2923 -x2922 -x2921 
86.76/86.82	v -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x1123 -x2552 
86.76/86.82	v -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 
86.76/86.82	v -x2533 -x2532 -x2531 -x836 -x108 -x2200 -x2199 x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 
86.76/86.82	v -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 x685 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 
86.76/86.82	v -x2368 -x2367 -x2366 -x2365 x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x468 -x2486 -x2485 -x2484 -x2483 
86.76/86.82	v -x2482 x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 
86.76/86.82	v -x68 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 
86.76/86.82	v -x2161 -x2160 -x2159 -x2158 x2157 -x1944 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 
86.76/86.82	v -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 x2027 -x2026 -x2025 -x498 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 
86.76/86.82	v -x2699 -x2698 -x2697 -x2696 -x2695 x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x1563 -x2882 -x2881 
86.76/86.82	v x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 
86.76/86.82	v -x2862 -x2861 -x401 -x2860 x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 
86.76/86.82	v -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x1255 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 
86.76/86.82	v -x2894 -x2893 -x2892 -x2891 x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x312 
86.76/86.82	c SCIP Status        : problem is solved [optimal solution found]
86.76/86.82	c Solving Time       :      85.96
86.76/86.82	c Original Problem   :
86.76/86.82	c   Problem name     : HOME/instance-2667392-1276329196.opb
86.76/86.82	c   Variables        : 2970 (2970 binary, 0 integer, 0 implicit integer, 0 continuous)
86.76/86.82	c   Constraints      : 2113 initial, 2113 maximal
86.76/86.82	c Presolved Problem  :
86.76/86.82	c   Problem name     : t_HOME/instance-2667392-1276329196.opb
86.76/86.82	c   Variables        : 2970 (2970 binary, 0 integer, 0 implicit integer, 0 continuous)
86.76/86.82	c   Constraints      : 2113 initial, 2258 maximal
86.76/86.82	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
86.76/86.82	c   trivial          :       0.00          0          0          0          0          0          0          0          0
86.76/86.82	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
86.76/86.82	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
86.76/86.82	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
86.76/86.82	c   implics          :       0.00          0          0          0          0          0          0          0          0
86.76/86.82	c   probing          :       0.00          0          0          0          0          0          0          0          0
86.76/86.82	c   setppc           :       0.00          0          0          0          0          0          0          0          0
86.76/86.82	c   logicor          :       0.04          0          0          0          0          0          0          0          0
86.76/86.82	c   root node        :          -          0          -          -          0          -          -          -          -
86.76/86.82	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
86.76/86.82	c   integral         :          0          0          0        412          0          0          0          0          0        822
86.76/86.82	c   setppc           :         89          5        965          1          0          0      13906          0          0          0
86.76/86.82	c   logicor          :       2024+         5        342          1          0          8       1774          0          0          0
86.76/86.82	c   countsols        :          0          0          0          1          0          0          0          0          0          0
86.76/86.82	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
86.76/86.82	c   integral         :      73.58       0.00       0.00      73.58       0.00
86.76/86.82	c   setppc           :       0.02       0.01       0.01       0.00       0.00
86.76/86.82	c   logicor          :       0.10       0.00       0.10       0.00       0.00
86.76/86.82	c   countsols        :       0.00       0.00       0.00       0.00       0.00
86.76/86.82	c Propagators        :       Time      Calls    Cutoffs    DomReds
86.76/86.82	c   vbounds          :       0.00          1          0          0
86.76/86.82	c   rootredcost      :       0.00          0          0          0
86.76/86.82	c   pseudoobj        :       0.00          0          0          0
86.76/86.82	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
86.76/86.82	c   propagation      :       0.07          8          8        608      242.2          0        0.0          -
86.76/86.82	c   infeasible LP    :       0.43         32         32       2166      278.0          0        0.0          0
86.76/86.82	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
86.76/86.82	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
86.76/86.82	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
86.76/86.82	c   applied globally :          -          -          -        145      106.5          -          -          -
86.76/86.82	c   applied locally  :          -          -          -          2      338.5          -          -          -
86.76/86.82	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
86.76/86.82	c   cut pool         :       0.00          4          -          -          0          -    (maximal pool size: 192)
86.76/86.82	c   redcost          :       0.07        416          0          0          0          0
86.76/86.82	c   impliedbounds    :       0.00          5          0          0          0          0
86.76/86.82	c   intobj           :       0.00          0          0          0          0          0
86.76/86.82	c   cgmip            :       0.00          0          0          0          0          0
86.76/86.82	c   gomory           :       0.48          5          0          0       2500          0
86.76/86.82	c   strongcg         :       0.46          5          0          0       2500          0
86.76/86.82	c   cmir             :       0.00          0          0          0          0          0
86.76/86.82	c   flowcover        :       0.00          0          0          0          0          0
86.76/86.82	c   clique           :       0.05          5          0          0          0          0
86.76/86.82	c   zerohalf         :       0.00          0          0          0          0          0
86.76/86.82	c   mcf              :       0.00          1          0          0          0          0
86.76/86.82	c   rapidlearning    :       0.29          1          0          0          0          0
86.76/86.82	c Pricers            :       Time      Calls       Vars
86.76/86.82	c   problem variables:       0.00          0          0
86.76/86.82	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
86.76/86.82	c   relpscost        :      73.57        411          0          0          0          0        822
86.76/86.82	c   pscost           :       0.00          0          0          0          0          0          0
86.76/86.82	c   inference        :       0.00          0          0          0          0          0          0
86.76/86.82	c   mostinf          :       0.00          0          0          0          0          0          0
86.76/86.82	c   leastinf         :       0.00          0          0          0          0          0          0
86.76/86.82	c   fullstrong       :       0.00          0          0          0          0          0          0
86.76/86.82	c   allfullstrong    :       0.00          0          0          0          0          0          0
86.76/86.82	c   random           :       0.00          0          0          0          0          0          0
86.76/86.82	c Primal Heuristics  :       Time      Calls      Found
86.76/86.82	c   LP solutions     :       0.00          -          1
86.76/86.82	c   pseudo solutions :       0.00          -          0
86.76/86.82	c   trivial          :       0.01          1          0
86.76/86.82	c   simplerounding   :       0.00          0          0
86.76/86.82	c   zirounding       :       0.00          0          0
86.76/86.82	c   rounding         :       0.00          0          0
86.76/86.82	c   shifting         :       0.00          0          0
86.76/86.82	c   intshifting      :       0.00          0          0
86.76/86.82	c   oneopt           :       0.00          0          0
86.76/86.82	c   twoopt           :       0.00          0          0
86.76/86.82	c   fixandinfer      :       0.00          0          0
86.76/86.82	c   feaspump         :       0.00          0          0
86.76/86.82	c   coefdiving       :       0.00          0          0
86.76/86.82	c   pscostdiving     :       0.00          0          0
86.76/86.82	c   fracdiving       :       0.00          0          0
86.76/86.82	c   veclendiving     :       0.00          0          0
86.76/86.82	c   intdiving        :       0.00          0          0
86.76/86.82	c   actconsdiving    :       0.00          0          0
86.76/86.82	c   objpscostdiving  :       0.00          0          0
86.76/86.82	c   rootsoldiving    :       0.00          0          0
86.76/86.82	c   linesearchdiving :       0.00          0          0
86.76/86.82	c   guideddiving     :       0.00          0          0
86.76/86.82	c   octane           :       0.00          0          0
86.76/86.82	c   rens             :       0.00          0          0
86.76/86.82	c   rins             :       0.00          0          0
86.76/86.82	c   localbranching   :       0.00          0          0
86.76/86.82	c   mutation         :       0.00          0          0
86.76/86.82	c   crossover        :       0.00          0          0
86.76/86.82	c   dins             :       0.00          0          0
86.76/86.82	c   undercover       :       0.00          0          0
86.76/86.82	c   nlp              :       0.00          0          0
86.76/86.82	c   trysol           :       0.00          0          0
86.76/86.82	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
86.76/86.82	c   primal LP        :       0.00          0          0       0.00          -
86.76/86.82	c   dual LP          :       9.29        449      15049      33.52    1619.91
86.76/86.82	c   lex dual LP      :       0.00          0          0       0.00          -
86.76/86.82	c   barrier LP       :       0.00          0          0       0.00          -
86.76/86.82	c   diving/probing LP:       0.00          0          0       0.00          -
86.76/86.82	c   strong branching :      73.45       1678     110066      65.59    1498.52
86.76/86.82	c     (at root node) :          -         33       2028      61.45          -
86.76/86.82	c   conflict analysis:       0.00          0          0       0.00          -
86.76/86.82	c B&B Tree           :
86.76/86.82	c   number of runs   :          1
86.76/86.82	c   nodes            :        452
86.76/86.82	c   nodes (total)    :        452
86.76/86.82	c   nodes left       :          0
86.76/86.82	c   max depth        :         87
86.76/86.82	c   max depth (total):         87
86.76/86.82	c   backtracks       :         35 (7.7%)
86.76/86.82	c   delayed cutoffs  :          0
86.76/86.82	c   repropagations   :         61 (861 domain reductions, 0 cutoffs)
86.76/86.82	c   avg switch length:       2.86
86.76/86.82	c   switching time   :       0.13
86.76/86.82	c Solution           :
86.76/86.82	c   Solutions found  :          1 (1 improvements)
86.76/86.82	c   First Solution   : +0.00000000000000e+00   (in run 1, after 452 nodes, 85.95 seconds, depth 75, found by <relaxation>)
86.76/86.82	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 452 nodes, 85.95 seconds, depth 75, found by <relaxation>)
86.76/86.82	c   Dual Bound       : +0.00000000000000e+00
86.76/86.82	c   Gap              :       0.00 %
86.76/86.82	c   Root Dual Bound  : +0.00000000000000e+00
86.76/86.82	c   Root Iterations  :       4806
86.76/86.87	c Time complete: 86.82.

OK	0

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

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

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 1.00 3/106 10575
/proc/meminfo: memFree=1621552/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=9680 CPUtime=0
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 1713 0 0 0 0 0 0 0 18 0 1 0 8521196 9912320 1633 1992294400 4194304 8223781 140734650075840 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10575/statm: 2420 1636 363 984 0 1433 0

[startup+0.0253381 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10575
/proc/meminfo: memFree=1621552/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=10452 CPUtime=0.01
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 1930 0 0 0 1 0 0 0 18 0 1 0 8521196 10702848 1850 1992294400 4194304 8223781 140734650075840 18446744073709551615 7246482 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10575/statm: 2613 1850 363 984 0 1626 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10452

[startup+0.101354 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10575
/proc/meminfo: memFree=1621552/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=13388 CPUtime=0.09
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 2651 0 0 0 9 0 0 0 21 0 1 0 8521196 13709312 2571 1992294400 4194304 8223781 140734650075840 18446744073709551615 5648418 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10575/statm: 3347 2571 363 984 0 2360 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13388

[startup+0.301396 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10575
/proc/meminfo: memFree=1621552/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=28864 CPUtime=0.29
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 7894 0 0 0 26 3 0 0 21 0 1 0 8521196 29556736 6165 1992294400 4194304 8223781 140734650075840 18446744073709551615 5008795 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10575/statm: 7216 6165 444 984 0 6229 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28864

[startup+0.701481 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10575
/proc/meminfo: memFree=1621552/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=41128 CPUtime=0.69
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 11542 0 0 0 65 4 0 0 22 0 1 0 8521196 42115072 9091 1992294400 4194304 8223781 140734650075840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10575/statm: 10282 9091 533 984 0 9295 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41128

[startup+1.50165 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10576
/proc/meminfo: memFree=1564504/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=48176 CPUtime=1.49
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 19498 0 0 0 140 9 0 0 25 0 1 0 8521196 49332224 10958 1992294400 4194304 8223781 140734650075840 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10575/statm: 12044 10958 567 984 0 11057 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48176

[startup+3.10099 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10576
/proc/meminfo: memFree=1579260/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=49128 CPUtime=3.09
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 19667 0 0 0 298 11 0 0 25 0 1 0 8521196 50307072 11127 1992294400 4194304 8223781 140734650075840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10575/statm: 12282 11127 567 984 0 11295 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49128

[startup+6.30167 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10576
/proc/meminfo: memFree=1578020/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=50012 CPUtime=6.29
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 19859 0 0 0 616 13 0 0 25 0 1 0 8521196 51212288 11319 1992294400 4194304 8223781 140734650075840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10575/statm: 12503 11319 568 984 0 11516 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50012

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10576
/proc/meminfo: memFree=1577896/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=50012 CPUtime=12.69
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 19860 0 0 0 1253 16 0 0 25 0 1 0 8521196 51212288 11320 1992294400 4194304 8223781 140734650075840 18446744073709551615 6592535 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10575/statm: 12503 11320 569 984 0 11516 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50012

[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10576
/proc/meminfo: memFree=1577896/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=50012 CPUtime=25.49
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 19860 0 0 0 2523 26 0 0 25 0 1 0 8521196 51212288 11320 1992294400 4194304 8223781 140734650075840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10575/statm: 12503 11320 569 984 0 11516 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50012

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10576
/proc/meminfo: memFree=1577896/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=50012 CPUtime=51.06
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 19860 0 0 0 5065 41 0 0 25 0 1 0 8521196 51212288 11320 1992294400 4194304 8223781 140734650075840 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10575/statm: 12503 11320 569 984 0 11516 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 50012

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

[startup+63.9009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10578
/proc/meminfo: memFree=1577896/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=50012 CPUtime=63.85
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 19860 0 0 0 6335 50 0 0 25 0 1 0 8521196 51212288 11320 1992294400 4194304 8223781 140734650075840 18446744073709551615 6569483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10575/statm: 12503 11320 569 984 0 11516 0
Current children cumulated CPU time (s) 63.85
Current children cumulated vsize (KiB) 50012

[startup+76.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10578
/proc/meminfo: memFree=1577896/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=50012 CPUtime=76.66
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 19860 0 0 0 7606 60 0 0 25 0 1 0 8521196 51212288 11320 1992294400 4194304 8223781 140734650075840 18446744073709551615 6448663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10575/statm: 12503 11320 569 984 0 11516 0
Current children cumulated CPU time (s) 76.66
Current children cumulated vsize (KiB) 50012

[startup+83.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10578
/proc/meminfo: memFree=1577772/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=50012 CPUtime=83.05
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 19860 0 0 0 8242 63 0 0 25 0 1 0 8521196 51212288 11320 1992294400 4194304 8223781 140734650075840 18446744073709551615 6596820 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10575/statm: 12503 11320 569 984 0 11516 0
Current children cumulated CPU time (s) 83.05
Current children cumulated vsize (KiB) 50012

[startup+84.7084 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10578
/proc/meminfo: memFree=1576408/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=51804 CPUtime=84.66
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 23297 0 0 0 8400 66 0 0 25 0 1 0 8521196 53047296 11698 1992294400 4194304 8223781 140734650075840 18446744073709551615 6446778 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10575/statm: 12951 11698 579 984 0 11964 0
Current children cumulated CPU time (s) 84.66
Current children cumulated vsize (KiB) 51804

[startup+85.5005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10578
/proc/meminfo: memFree=1576408/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=51308 CPUtime=85.45
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 24083 0 0 0 8478 67 0 0 25 0 1 0 8521196 52539392 11615 1992294400 4194304 8223781 140734650075840 18446744073709551615 6592791 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10575/statm: 12827 11615 573 984 0 11840 0
Current children cumulated CPU time (s) 85.45
Current children cumulated vsize (KiB) 51308

[startup+86.3007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10578
/proc/meminfo: memFree=1576408/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=52508 CPUtime=86.25
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 25149 0 0 0 8558 67 0 0 25 0 1 0 8521196 53768192 11900 1992294400 4194304 8223781 140734650075840 18446744073709551615 6436959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10575/statm: 13127 11900 580 984 0 12140 0
Current children cumulated CPU time (s) 86.25
Current children cumulated vsize (KiB) 52508

[startup+86.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10578
/proc/meminfo: memFree=1576408/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=52508 CPUtime=86.65
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 27916 0 0 0 8596 69 0 0 25 0 1 0 8521196 53768192 11893 1992294400 4194304 8223781 140734650075840 18446744073709551615 6445396 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10575/statm: 13127 11893 577 984 0 12140 0
Current children cumulated CPU time (s) 86.65
Current children cumulated vsize (KiB) 52508

[startup+86.8008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10578
/proc/meminfo: memFree=1575416/2059040 swapFree=4192956/4192956
[pid=10575] ppid=10573 vsize=52624 CPUtime=86.76
/proc/10575/stat : 10575 (pbscip.linux.x8) R 10573 10575 9522 0 -1 4202496 28103 0 0 0 8607 69 0 0 25 0 1 0 8521196 53886976 11932 1992294400 4194304 8223781 140734650075840 18446744073709551615 6000505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10575/statm: 13156 11932 577 984 0 12169 0
Current children cumulated CPU time (s) 86.76
Current children cumulated vsize (KiB) 52624

Child status: 0
Real time (s): 86.8712
CPU time (s): 86.8308
CPU user time (s): 86.1249
CPU system time (s): 0.705892
CPU usage (%): 99.9535
Max. virtual memory (cumulated for all children) (KiB): 67444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.1249
system time used= 0.705892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28111
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= 2
involuntary context switches= 345

runsolver used 0.135979 second user time and 0.436933 second system time

The end

Begin job on node010 at 2010-06-12 09:53:16
IDJOB=2667392
IDBENCH=1438
IDSOLVER=1169
FILE ID=node010/2667392-1276329196
PBS_JOBID= 11173161
Free space on /tmp= 62500 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667392-1276329196/watcher-2667392-1276329196 -o /tmp/evaluation-result-2667392-1276329196/solver-2667392-1276329196 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667392-1276329196.opb -t 1800 -m 1800

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

MD5SUM BENCH= 1fc5c2586ddac9fd4692e69ce4a42173
RANDOM SEED=413476873

node010.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.267
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.53
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.267
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1622204 kB
Buffers:         97016 kB
Cached:         211232 kB
SwapCached:          0 kB
Active:         149224 kB
Inactive:       218204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1622204 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5004 kB
Writeback:           0 kB
AnonPages:       59232 kB
Mapped:          15460 kB
Slab:            47804 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180952 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62496 MiB
End job on node010 at 2010-06-12 09:54:43