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

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664471-1276319799/watcher-2664471-1276319799 -o /tmp/evaluation-result-2664471-1276319799/solver-2664471-1276319799 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664471-1276319799.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.28 1.13 1.03 3/106 8638
/proc/meminfo: memFree=1855764/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=6584 CPUtime=0
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 982 0 0 0 0 0 0 0 19 0 1 0 7583766 6742016 905 1992294400 4194304 7136930 140736422957648 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8638/statm: 1646 915 254 719 0 925 0

[startup+0.040138 s]
/proc/loadavg: 1.28 1.13 1.03 3/106 8638
/proc/meminfo: memFree=1855764/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=9996 CPUtime=0.03
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 1970 0 0 0 3 0 0 0 21 0 1 0 7583766 10235904 1893 1992294400 4194304 7136930 140736422957648 18446744073709551615 6285693 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8638/statm: 2499 1893 268 719 0 1778 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9996

[startup+0.101144 s]
/proc/loadavg: 1.28 1.13 1.03 3/106 8638
/proc/meminfo: memFree=1855764/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=12480 CPUtime=0.1
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 2597 0 0 0 9 1 0 0 21 0 1 0 7583766 12779520 2520 1992294400 4194304 7136930 140736422957648 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8638/statm: 3120 2520 268 719 0 2399 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12480

[startup+0.301166 s]
/proc/loadavg: 1.28 1.13 1.03 3/106 8638
/proc/meminfo: memFree=1855764/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=16292 CPUtime=0.29
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 3564 0 0 0 28 1 0 0 21 0 1 0 7583766 16683008 3487 1992294400 4194304 7136930 140736422957648 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8638/statm: 4073 3487 268 719 0 3352 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16292

[startup+0.701213 s]
/proc/loadavg: 1.28 1.13 1.03 3/106 8638
/proc/meminfo: memFree=1855764/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=24476 CPUtime=0.69
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 5590 0 0 0 67 2 0 0 22 0 1 0 7583766 25063424 5513 1992294400 4194304 7136930 140736422957648 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8638/statm: 6119 5513 268 719 0 5398 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24476

[startup+1.5013 s]
/proc/loadavg: 1.28 1.13 1.03 2/107 8639
/proc/meminfo: memFree=1828848/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=40640 CPUtime=1.49
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 9626 0 0 0 145 4 0 0 25 0 1 0 7583766 41615360 9549 1992294400 4194304 7136930 140736422957648 18446744073709551615 6340038 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8638/statm: 10160 9549 268 719 0 9439 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40640

[startup+3.10149 s]
/proc/loadavg: 1.28 1.13 1.03 2/107 8639
/proc/meminfo: memFree=1805660/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=73688 CPUtime=3.09
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 17854 0 0 0 302 7 0 0 25 0 1 0 7583766 75456512 17777 1992294400 4194304 7136930 140736422957648 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8638/statm: 18422 17777 268 719 0 17701 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73688

[startup+6.30086 s]
/proc/loadavg: 1.26 1.13 1.03 3/107 8639
/proc/meminfo: memFree=1738080/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=139584 CPUtime=6.29
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 34311 0 0 0 614 15 0 0 25 0 1 0 7583766 142934016 34234 1992294400 4194304 7136930 140736422957648 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8638/statm: 34896 34234 268 719 0 34175 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 139584

[startup+12.7006 s]
/proc/loadavg: 1.24 1.13 1.03 2/107 8639
/proc/meminfo: memFree=1603416/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=269792 CPUtime=12.69
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 66732 0 0 0 1240 29 0 0 25 0 1 0 7583766 276267008 66655 1992294400 4194304 7136930 140736422957648 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8638/statm: 67448 66655 268 719 0 66727 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 269792

[startup+25.5011 s]
/proc/loadavg: 1.25 1.14 1.03 2/107 8639
/proc/meminfo: memFree=720660/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=1149968 CPUtime=25.48
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 303045 0 0 0 2349 199 0 0 25 0 1 0 7583766 1177567232 286119 1992294400 4194304 7136930 140736422957648 18446744073709551615 4914172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8638/statm: 287492 286119 341 719 0 286771 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1149968

[startup+51.101 s]
/proc/loadavg: 1.16 1.13 1.03 2/107 8639
/proc/meminfo: memFree=878884/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=983868 CPUtime=51.08
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 462465 0 0 0 4669 439 0 0 25 0 1 0 7583766 1007480832 244069 1992294400 4194304 7136930 140736422957648 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8638/statm: 245967 244069 387 719 0 245246 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 983868

[startup+102.308 s]
/proc/loadavg: 1.11 1.12 1.03 2/107 8641
/proc/meminfo: memFree=878636/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=983868 CPUtime=102.27
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 462469 0 0 0 9787 440 0 0 25 0 1 0 7583766 1007480832 244073 1992294400 4194304 7136930 140736422957648 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8638/statm: 245967 244073 387 719 0 245246 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 983868

[startup+162.301 s]
/proc/loadavg: 1.10 1.11 1.03 2/107 8643
/proc/meminfo: memFree=878148/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=984384 CPUtime=162.25
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 462638 0 0 0 15784 441 0 0 25 0 1 0 7583766 1008009216 244242 1992294400 4194304 7136930 140736422957648 18446744073709551615 4696962 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8638/statm: 246096 244242 391 719 0 245375 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 984384

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

[startup+163.101 s]
/proc/loadavg: 1.09 1.11 1.03 2/107 8643
/proc/meminfo: memFree=878148/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=984384 CPUtime=163.04
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 462639 0 0 0 15863 441 0 0 25 0 1 0 7583766 1008009216 244243 1992294400 4194304 7136930 140736422957648 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8638/statm: 246096 244243 391 719 0 245375 0
Current children cumulated CPU time (s) 163.04
Current children cumulated vsize (KiB) 984384

[startup+166.301 s]
/proc/loadavg: 1.09 1.11 1.03 2/107 8643
/proc/meminfo: memFree=877900/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=984660 CPUtime=166.24
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 462731 0 0 0 16183 441 0 0 25 0 1 0 7583766 1008291840 244335 1992294400 4194304 7136930 140736422957648 18446744073709551615 4561370 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8638/statm: 246165 244335 391 719 0 245444 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 984660

[startup+167.901 s]
/proc/loadavg: 1.09 1.11 1.03 2/107 8643
/proc/meminfo: memFree=908528/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=849576 CPUtime=167.85
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 462736 0 0 0 16342 443 0 0 25 0 1 0 7583766 869965824 210570 1992294400 4194304 7136930 140736422957648 18446744073709551615 4668525 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8638/statm: 212394 210570 396 719 0 211673 0
Current children cumulated CPU time (s) 167.85
Current children cumulated vsize (KiB) 849576

[startup+168.309 s]
/proc/loadavg: 1.08 1.11 1.03 2/107 8643
/proc/meminfo: memFree=1108416/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=481396 CPUtime=168.25
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 462736 0 0 0 16378 447 0 0 25 0 1 0 7583766 492949504 119199 1992294400 4194304 7136930 140736422957648 18446744073709551615 4903884 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8638/statm: 120349 119199 396 719 0 119628 0
Current children cumulated CPU time (s) 168.25
Current children cumulated vsize (KiB) 481396

[startup+168.701 s]
/proc/loadavg: 1.08 1.11 1.03 2/107 8643
/proc/meminfo: memFree=1108416/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=254004 CPUtime=168.64
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 462736 0 0 0 16415 449 0 0 25 0 1 0 7583766 260100096 62351 1992294400 4194304 7136930 140736422957648 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8638/statm: 63501 62351 396 719 0 62780 0
Current children cumulated CPU time (s) 168.64
Current children cumulated vsize (KiB) 254004

[startup+168.801 s]
/proc/loadavg: 1.08 1.11 1.03 2/107 8643
/proc/meminfo: memFree=1108416/2059040 swapFree=4192956/4192956
[pid=8638] ppid=8636 vsize=194688 CPUtime=168.75
/proc/8638/stat : 8638 (pbscip.linux.x8) R 8636 8638 7248 0 -1 4202496 462736 0 0 0 16425 450 0 0 25 0 1 0 7583766 199360512 47522 1992294400 4194304 7136930 140736422957648 18446744073709551615 6166269 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8638/statm: 48672 47522 396 719 0 47951 0
Current children cumulated CPU time (s) 168.75
Current children cumulated vsize (KiB) 194688

Child status: 0
Real time (s): 168.846
CPU time (s): 168.801
CPU user time (s): 164.272
CPU system time (s): 4.52931
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1302616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 164.272
system time used= 4.52931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462743
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= 5
involuntary context switches= 2291

runsolver used 0.270958 second user time and 0.816875 second system time

The end

Begin job on node006 at 2010-06-12 07:16:41
IDJOB=2664471
IDBENCH=1377
IDSOLVER=1167
FILE ID=node006/2664471-1276319799
PBS_JOBID= 11173140
Free space on /tmp= 62440 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664471-1276319799/watcher-2664471-1276319799 -o /tmp/evaluation-result-2664471-1276319799/solver-2664471-1276319799 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664471-1276319799.opb -t 1800 -m 1800

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

MD5SUM BENCH= d54403a51e1ff3d34cd210d836adfe84
RANDOM SEED=435673372

node006.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.204
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.40
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.204
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:       1856292 kB
Buffers:           976 kB
Cached:          77144 kB
SwapCached:          0 kB
Active:          94956 kB
Inactive:        42940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1856292 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           37348 kB
Writeback:           0 kB
AnonPages:       59780 kB
Mapped:          15448 kB
Slab:            43104 kB
PageTables:       4008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181000 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= 62436 MiB
End job on node006 at 2010-06-12 07:19:30