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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3864
/proc/meminfo: memFree=1783536/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=5812 CPUtime=0
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 180255662 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/3864/statm: 1453 502 332 1256 0 192 0

[startup+0.0144791 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3864
/proc/meminfo: memFree=1783536/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=11276 CPUtime=0
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 1800 0 0 0 0 0 0 0 18 0 1 0 180255662 11546624 1784 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/3864/statm: 2819 1784 376 1256 0 1558 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11276

[startup+0.10149 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3864
/proc/meminfo: memFree=1783536/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=14312 CPUtime=0.09
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 2558 0 0 0 9 0 0 0 18 0 1 0 180255662 14655488 2542 1992294400 4194304 9342243 548682068736 18446744073709551615 8247785 0 0 4096 0 0 0 0 17 1 0 0
/proc/3864/statm: 3578 2542 376 1256 0 2317 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14312

[startup+0.301512 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3864
/proc/meminfo: memFree=1783536/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=33972 CPUtime=0.29
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 7679 0 0 0 26 3 0 0 16 0 1 0 180255662 34787328 7309 1992294400 4194304 9342243 548682068736 18446744073709551615 8251083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 8493 7313 499 1256 0 7232 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33972

[startup+0.701557 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3864
/proc/meminfo: memFree=1783536/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=43308 CPUtime=0.69
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 9844 0 0 0 65 4 0 0 19 0 1 0 180255662 44347392 9441 1992294400 4194304 9342243 548682068736 18446744073709551615 6039827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 10827 9441 601 1256 0 9566 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43308

[startup+1.50165 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3865
/proc/meminfo: memFree=1747304/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=45900 CPUtime=1.49
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 10653 0 0 0 144 5 0 0 25 0 1 0 180255662 47001600 10249 1992294400 4194304 9342243 548682068736 18446744073709551615 5566723 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 11475 10249 637 1256 0 10214 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45900

[startup+3.10183 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3865
/proc/meminfo: memFree=1744360/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=48860 CPUtime=3.09
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 12295 0 0 0 302 7 0 0 25 0 1 0 180255662 50032640 10357 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 12215 10357 642 1256 0 10954 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48860

[startup+6.30119 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 3865
/proc/meminfo: memFree=1744168/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=48284 CPUtime=6.29
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 16527 0 0 0 619 10 0 0 25 0 1 0 180255662 49442816 10370 1992294400 4194304 9342243 548682068736 18446744073709551615 5990679 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 12071 10370 645 1256 0 10810 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48284

[startup+12.7019 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 3865
/proc/meminfo: memFree=1744168/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=48848 CPUtime=12.69
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 26088 0 0 0 1254 15 0 0 25 0 1 0 180255662 50020352 10389 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 12212 10389 645 1256 0 10951 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48848

[startup+25.5014 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 3865
/proc/meminfo: memFree=1744296/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=48500 CPUtime=25.48
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 44687 0 0 0 2521 27 0 0 25 0 1 0 180255662 49664000 10364 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 12125 10364 645 1256 0 10864 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48500

[startup+51.1013 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 3865
/proc/meminfo: memFree=1744552/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=50020 CPUtime=51.06
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 62836 0 0 0 5064 42 0 0 25 0 1 0 180255662 51220480 10363 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 12505 10363 645 1256 0 11244 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 50020

[startup+102.304 s]
/proc/loadavg: 1.10 1.04 1.01 2/65 3865
/proc/meminfo: memFree=1739880/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=54596 CPUtime=102.25
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 85471 0 0 0 10164 61 0 0 25 0 1 0 180255662 55906304 11485 1992294400 4194304 9342243 548682068736 18446744073709551615 6941476 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 13649 11485 645 1256 0 12388 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 54596

[startup+162.302 s]
/proc/loadavg: 1.07 1.04 1.01 2/65 3865
/proc/meminfo: memFree=1734568/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=56780 CPUtime=162.23
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 98406 0 0 0 16145 78 0 0 25 0 1 0 180255662 58142720 12780 1992294400 4194304 9342243 548682068736 18446744073709551615 6238485 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 14195 12780 645 1256 0 12934 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 56780

[startup+222.302 s]
/proc/loadavg: 1.06 1.05 1.01 2/65 3865
/proc/meminfo: memFree=1733864/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=62908 CPUtime=222.22
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 144191 0 0 0 22110 112 0 0 25 0 1 0 180255662 64417792 12994 1992294400 4194304 9342243 548682068736 18446744073709551615 6957666 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 15727 12994 645 1256 0 14466 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 62908

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

[startup+230.302 s]
/proc/loadavg: 1.12 1.06 1.01 2/65 3865
/proc/meminfo: memFree=1730984/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=61876 CPUtime=230.21
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 148729 0 0 0 22906 115 0 0 25 0 1 0 180255662 63361024 13704 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 15469 13704 645 1256 0 14208 0
Current children cumulated CPU time (s) 230.21
Current children cumulated vsize (KiB) 61876

[startup+255.902 s]
/proc/loadavg: 1.08 1.06 1.01 2/65 3865
/proc/meminfo: memFree=1729768/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=66612 CPUtime=255.8
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 152641 0 0 0 25459 121 0 0 25 0 1 0 180255662 68210688 14060 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 16653 14060 645 1256 0 15392 0
Current children cumulated CPU time (s) 255.8
Current children cumulated vsize (KiB) 66612

[startup+268.701 s]
/proc/loadavg: 1.06 1.05 1.01 2/65 3865
/proc/meminfo: memFree=1729128/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=62512 CPUtime=268.6
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 154303 0 0 0 26735 125 0 0 25 0 1 0 180255662 64012288 14128 1992294400 4194304 9342243 548682068736 18446744073709551615 7315524 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 15628 14128 645 1256 0 14367 0
Current children cumulated CPU time (s) 268.6
Current children cumulated vsize (KiB) 62512

[startup+271.901 s]
/proc/loadavg: 1.06 1.05 1.01 2/65 3865
/proc/meminfo: memFree=1729128/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=63144 CPUtime=271.8
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 154779 0 0 0 27054 126 0 0 25 0 1 0 180255662 64659456 14167 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 15786 14167 645 1256 0 14525 0
Current children cumulated CPU time (s) 271.8
Current children cumulated vsize (KiB) 63144

[startup+273.502 s]
/proc/loadavg: 1.06 1.05 1.01 2/65 3865
/proc/meminfo: memFree=1728936/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=63100 CPUtime=273.4
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 155185 0 0 0 27214 126 0 0 25 0 1 0 180255662 64614400 14216 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 15775 14216 645 1256 0 14514 0
Current children cumulated CPU time (s) 273.4
Current children cumulated vsize (KiB) 63100

[startup+274.302 s]
/proc/loadavg: 1.06 1.05 1.01 2/65 3865
/proc/meminfo: memFree=1728872/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=66244 CPUtime=274.2
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 155398 0 0 0 27293 127 0 0 25 0 1 0 180255662 67833856 14205 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 16561 14205 645 1256 0 15300 0
Current children cumulated CPU time (s) 274.2
Current children cumulated vsize (KiB) 66244

[startup+274.702 s]
/proc/loadavg: 1.06 1.05 1.01 2/65 3865
/proc/meminfo: memFree=1728872/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=62336 CPUtime=274.6
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 155426 0 0 0 27333 127 0 0 25 0 1 0 180255662 63832064 14195 1992294400 4194304 9342243 548682068736 18446744073709551615 7289235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3864/statm: 15584 14195 645 1256 0 14323 0
Current children cumulated CPU time (s) 274.6
Current children cumulated vsize (KiB) 62336

[startup+274.902 s]
/proc/loadavg: 1.06 1.05 1.01 2/65 3865
/proc/meminfo: memFree=1728808/2055920 swapFree=4182468/4192956
[pid=3864] ppid=3862 vsize=62336 CPUtime=274.8
/proc/3864/stat : 3864 (pbscip.linux.x8) R 3862 3864 2416 0 -1 4194304 155436 0 0 0 27353 127 0 0 17 0 1 0 180255662 63832064 14206 1992294400 4194304 9342243 548682068736 18446744073709551615 5954576 0 0 4096 0 0 0 0 17 1 0 0
/proc/3864/statm: 15584 14206 655 1256 0 14323 0
Current children cumulated CPU time (s) 274.8
Current children cumulated vsize (KiB) 62336

Child status: 0
Real time (s): 274.921
CPU time (s): 274.825
CPU user time (s): 273.541
CPU system time (s): 1.2838
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 66828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 273.541
system time used= 1.2838
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155443
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= 27
involuntary context switches= 592

runsolver used 0.230964 second user time and 0.554915 second system time

The end

Begin job on node23 at 2009-06-16 06:29:17
IDJOB=1868469
IDBENCH=1401
IDSOLVER=684
FILE ID=node23/1868469-1245126557
PBS_JOBID= 9363640
Free space on /tmp= 66268 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
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-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868469-1245126557/watcher-1868469-1245126557 -o /tmp/evaluation-result-1868469-1245126557/solver-1868469-1245126557 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868469-1245126557.opb

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

MD5SUM BENCH= a63a973ffa65f76728fc6c6327196255
RANDOM SEED=1772334879

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1783952 kB
Buffers:         32780 kB
Cached:         176300 kB
SwapCached:       4304 kB
Active:          59992 kB
Inactive:       156992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1783952 kB
SwapTotal:     4192956 kB
SwapFree:      4182468 kB
Dirty:           12520 kB
Writeback:           0 kB
Mapped:          14544 kB
Slab:            40996 kB
Committed_AS:   145784 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66260 MiB
End job on node23 at 2009-06-16 06:33:53