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

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665925-1276322532/watcher-2665925-1276322532 -o /tmp/evaluation-result-2665925-1276322532/solver-2665925-1276322532 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665925-1276322532.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 9119
/proc/meminfo: memFree=1748476/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=9288 CPUtime=0
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 1055 0 0 0 0 0 0 0 18 0 1 0 7857153 9510912 976 1992294400 4194304 9819077 140736131332880 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9119/statm: 2322 986 371 1374 0 943 0

[startup+0.110022 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9119
/proc/meminfo: memFree=1748476/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=14968 CPUtime=0.1
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 2678 0 0 0 9 1 0 0 20 0 1 0 7857153 15327232 2599 1992294400 4194304 9819077 140736131332880 18446744073709551615 8611052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9119/statm: 3742 2599 386 1374 0 2363 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14968

[startup+0.20103 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9119
/proc/meminfo: memFree=1748476/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=29248 CPUtime=0.19
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 6435 0 0 0 17 2 0 0 20 0 1 0 7857153 29949952 6002 1992294400 4194304 9819077 140736131332880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9119/statm: 7312 6002 478 1374 0 5933 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29248

[startup+0.301039 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9119
/proc/meminfo: memFree=1748476/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=34352 CPUtime=0.29
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 8205 0 0 0 26 3 0 0 20 0 1 0 7857153 35176448 7258 1992294400 4194304 9819077 140736131332880 18446744073709551615 5958458 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9119/statm: 8588 7258 488 1374 0 7209 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34352

[startup+0.701071 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9119
/proc/meminfo: memFree=1748476/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=45148 CPUtime=0.69
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 12147 0 0 0 65 4 0 0 20 0 1 0 7857153 46231552 9575 1992294400 4194304 9819077 140736131332880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9119/statm: 11287 9575 639 1374 0 9908 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45148

[startup+1.50114 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9120
/proc/meminfo: memFree=1685848/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=47376 CPUtime=1.49
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 20474 0 0 0 140 9 0 0 23 0 1 0 7857153 48513024 10738 1992294400 4194304 9819077 140736131332880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9119/statm: 11844 10738 676 1374 0 10465 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47376

[startup+3.10127 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9120
/proc/meminfo: memFree=1706928/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=49068 CPUtime=3.09
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 21118 0 0 0 299 10 0 0 25 0 1 0 7857153 50245632 11168 1992294400 4194304 9819077 140736131332880 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9119/statm: 12267 11168 676 1374 0 10888 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49068

[startup+6.30053 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9120
/proc/meminfo: memFree=1705316/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=52436 CPUtime=6.29
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 32653 0 0 0 613 16 0 0 25 0 1 0 7857153 53694464 11294 1992294400 4194304 9819077 140736131332880 18446744073709551615 7298620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9119/statm: 13109 11294 690 1374 0 11730 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52436

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9120
/proc/meminfo: memFree=1705440/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=52064 CPUtime=12.69
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 58975 0 0 0 1239 30 0 0 25 0 1 0 7857153 53313536 11291 1992294400 4194304 9819077 140736131332880 18446744073709551615 7226212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9119/statm: 13016 11291 690 1374 0 11637 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52064

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9122
/proc/meminfo: memFree=1705440/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=52332 CPUtime=25.49
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 114551 0 0 0 2490 59 0 0 25 0 1 0 7857153 53587968 11292 1992294400 4194304 9819077 140736131332880 18446744073709551615 6391563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9119/statm: 13083 11292 690 1374 0 11704 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52332

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9122
/proc/meminfo: memFree=1705440/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=50036 CPUtime=51.08
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 169309 0 0 0 5009 99 0 0 25 0 1 0 7857153 51236864 11271 1992294400 4194304 9819077 140736131332880 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9119/statm: 12509 11271 703 1374 0 11130 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50036

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

[startup+51.2012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9122
/proc/meminfo: memFree=1705440/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=52760 CPUtime=51.18
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 169679 0 0 0 5019 99 0 0 25 0 1 0 7857153 54026240 11293 1992294400 4194304 9819077 140736131332880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9119/statm: 13190 11293 703 1374 0 11811 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 52760

[startup+57.6007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9122
/proc/meminfo: memFree=1705440/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=52756 CPUtime=57.58
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 190516 0 0 0 5647 111 0 0 25 0 1 0 7857153 54022144 11300 1992294400 4194304 9819077 140736131332880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9119/statm: 13189 11300 703 1374 0 11810 0
Current children cumulated CPU time (s) 57.58
Current children cumulated vsize (KiB) 52756

[startup+60.8009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9122
/proc/meminfo: memFree=1705440/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=50028 CPUtime=60.77
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 204749 0 0 0 5959 118 0 0 25 0 1 0 7857153 51228672 11271 1992294400 4194304 9819077 140736131332880 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9119/statm: 12507 11271 703 1374 0 11128 0
Current children cumulated CPU time (s) 60.77
Current children cumulated vsize (KiB) 50028

[startup+62.4011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9122
/proc/meminfo: memFree=1705440/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=53384 CPUtime=62.38
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 215075 0 0 0 6115 123 0 0 25 0 1 0 7857153 54665216 11389 1992294400 4194304 9819077 140736131332880 18446744073709551615 6714724 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9119/statm: 13138 11383 703 1374 0 11759 0
Current children cumulated CPU time (s) 62.38
Current children cumulated vsize (KiB) 53384

[startup+63.2011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9122
/proc/meminfo: memFree=1705192/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=50252 CPUtime=63.17
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 219758 0 0 0 6192 125 0 0 25 0 1 0 7857153 51458048 11243 1992294400 4194304 9819077 140736131332880 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9119/statm: 12563 11257 704 1374 0 11184 0
Current children cumulated CPU time (s) 63.17
Current children cumulated vsize (KiB) 50252

[startup+64.0012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9122
/proc/meminfo: memFree=1704200/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=51256 CPUtime=63.97
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 227698 0 0 0 6269 128 0 0 25 0 1 0 7857153 52486144 11585 1992294400 4194304 9819077 140736131332880 18446744073709551615 6513023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9119/statm: 12814 11585 704 1374 0 11435 0
Current children cumulated CPU time (s) 63.97
Current children cumulated vsize (KiB) 51256

[startup+64.2012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9122
/proc/meminfo: memFree=1704200/2059040 swapFree=4192072/4192956
[pid=9119] ppid=9117 vsize=51208 CPUtime=64.17
/proc/9119/stat : 9119 (pbscip.linux.x8) R 9117 9119 8270 0 -1 4202496 229998 0 0 0 6288 129 0 0 25 0 1 0 7857153 52436992 11587 1992294400 4194304 9819077 140736131332880 18446744073709551615 6027720 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9119/statm: 12802 11587 707 1374 0 11423 0
Current children cumulated CPU time (s) 64.17
Current children cumulated vsize (KiB) 51208

Child status: 0
Real time (s): 64.2413
CPU time (s): 64.2262
CPU user time (s): 62.9204
CPU system time (s): 1.3058
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 73024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.9204
system time used= 1.3058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230002
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= 103

runsolver used 0.117982 second user time and 0.307953 second system time

The end

Begin job on node003 at 2010-06-12 08:02:12
IDJOB=2665925
IDBENCH=1401
IDSOLVER=1168
FILE ID=node003/2665925-1276322532
PBS_JOBID= 11173147
Free space on /tmp= 62556 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665925-1276322532/watcher-2665925-1276322532 -o /tmp/evaluation-result-2665925-1276322532/solver-2665925-1276322532 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665925-1276322532.opb -t 1800 -m 1800

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

MD5SUM BENCH= a63a973ffa65f76728fc6c6327196255
RANDOM SEED=1128036765

node003.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.251
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.50
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.251
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1749004 kB
Buffers:         58344 kB
Cached:         126668 kB
SwapCached:          0 kB
Active:         106268 kB
Inactive:       137164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1749004 kB
SwapTotal:     4192956 kB
SwapFree:      4192072 kB
Dirty:            6712 kB
Writeback:           0 kB
AnonPages:       58360 kB
Mapped:          15404 kB
Slab:            44964 kB
PageTables:       3936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181220 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= 62548 MiB
End job on node003 at 2010-06-12 08:03:17