0.10/0.11 c SCIP version 1.1.0.7
0.10/0.11 c LP-Solver SoPlex 1.4.1
0.10/0.11 c user parameter file <scip.set> not found - using default parameters
0.10/0.11 c read problem <HOME/instance-1869166-1245161786.opb>
0.10/0.11 c original problem has 1740 variables (1740 bin, 0 int, 0 impl, 0 cont) and 6991 constraints
0.10/0.13 c start presolving problem
0.10/0.13 c presolving:
0.10/0.18 c (round 1) 10 del vars, 10 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 45800 impls, 0 clqs
0.19/0.25 c (round 2) 10 del vars, 30 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6251 upgd conss, 45800 impls, 0 clqs
0.19/0.28 c (round 3) 10 del vars, 30 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6961 upgd conss, 45800 impls, 0 clqs
0.29/0.36 c (0.2s) probing: 101/1730 (5.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.36 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.36 c presolving (4 rounds):
0.29/0.36 c 10 deleted vars, 30 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.36 c 45800 implications, 0 cliques
0.29/0.36 c presolved problem has 1730 variables (1730 bin, 0 int, 0 impl, 0 cont) and 6961 constraints
0.29/0.36 c 6961 constraints of type <logicor>
0.29/0.36 c transformed objective value is always integral (scale: 1)
0.29/0.36 c Presolving Time: 0.20
0.29/0.36 c strange?!, PURESAT with obj
0.29/0.36 c -----------------------------------------------------------------------------------------------
0.29/0.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/memory = c 1620
0.29/0.36 c # maximal time in seconds to run
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/time = c 1791
0.29/0.36 c # frequency for displaying node information lines
0.29/0.36 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.36 c display/freq = c 10000
0.29/0.36 c -----------------------------------------------------------------------------------------------
0.29/0.36 c start solving problem
0.29/0.36 c
1.10/1.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.10/1.16 c 1.0s| 1 | 0 | 2286 | 13M| 0 |1162 |1730 |6961 |6961 |1730 |6961 | 0 | 0 | 0 | 3.185000e+02 | -- | Inf
4.40/4.43 c 4.2s| 1 | 0 | 8142 | 13M| 0 |1157 |1730 |6961 |6961 |1730 |6971 | 10 | 0 | 0 | 3.262500e+02 | -- | Inf
4.79/4.87 c 4.7s| 1 | 0 | 8308 | 13M| 0 |1150 |1730 |6961 |6961 |1730 |6983 | 22 | 0 | 0 | 3.316875e+02 | -- | Inf
5.29/5.32 c 5.1s| 1 | 0 | 8483 | 13M| 0 |1146 |1730 |6961 |6961 |1730 |6993 | 32 | 0 | 0 | 3.375625e+02 | -- | Inf
5.69/5.79 c 5.5s| 1 | 0 | 8715 | 13M| 0 |1148 |1730 |6961 |6961 |1730 |7009 | 48 | 0 | 0 | 3.428750e+02 | -- | Inf
6.19/6.28 c 6.0s| 1 | 0 | 8962 | 13M| 0 |1146 |1730 |6961 |6961 |1730 |7027 | 66 | 0 | 0 | 3.480156e+02 | -- | Inf
6.79/6.84 c 6.6s| 1 | 0 | 9295 | 13M| 0 |1142 |1730 |6961 |6961 |1730 |7045 | 84 | 0 | 0 | 3.529613e+02 | -- | Inf
7.39/7.43 c 7.2s| 1 | 0 | 9609 | 14M| 0 |1143 |1730 |6961 |6961 |1730 |7059 | 98 | 0 | 0 | 3.569722e+02 | -- | Inf
8.00/8.06 c 7.8s| 1 | 0 | 10042 | 14M| 0 |1145 |1730 |6961 |6961 |1730 |7079 | 118 | 0 | 0 | 3.601845e+02 | -- | Inf
8.70/8.78 c 8.5s| 1 | 0 | 10550 | 14M| 0 |1140 |1730 |6961 |6961 |1730 |7098 | 137 | 0 | 0 | 3.636933e+02 | -- | Inf
9.59/9.60 c 9.3s| 1 | 0 | 11215 | 14M| 0 |1146 |1730 |6961 |6961 |1730 |7122 | 161 | 0 | 0 | 3.675526e+02 | -- | Inf
10.39/10.43 c 10.2s| 1 | 0 | 11978 | 15M| 0 |1145 |1730 |6961 |6961 |1730 |7143 | 182 | 0 | 0 | 3.722952e+02 | -- | Inf
11.50/11.56 c 11.3s| 1 | 0 | 12894 | 15M| 0 |1149 |1730 |6961 |6961 |1730 |7167 | 206 | 0 | 0 | 3.748855e+02 | -- | Inf
12.39/12.49 c 12.2s| 1 | 0 | 13547 | 16M| 0 |1149 |1730 |6961 |6961 |1730 |7184 | 223 | 0 | 0 | 3.768545e+02 | -- | Inf
13.79/13.82 c 13.5s| 1 | 0 | 14548 | 16M| 0 |1147 |1730 |6961 |6961 |1730 |7208 | 247 | 0 | 0 | 3.786715e+02 | -- | Inf
15.10/15.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.10/15.20 c 14.9s| 1 | 0 | 15538 | 17M| 0 |1136 |1730 |6961 |6961 |1730 |7230 | 269 | 0 | 0 | 3.804573e+02 | -- | Inf
16.40/16.46 c 16.1s| 1 | 0 | 16460 | 17M| 0 |1151 |1730 |6961 |6961 |1730 |7236 | 286 | 0 | 0 | 3.813632e+02 | -- | Inf
17.79/17.84 c 17.5s| 1 | 0 | 17311 | 18M| 0 |1146 |1730 |6961 |6961 |1730 |7252 | 302 | 0 | 0 | 3.828311e+02 | -- | Inf
19.00/19.04 c 18.7s| 1 | 0 | 18080 | 18M| 0 |1153 |1730 |6961 |6961 |1730 |7266 | 316 | 0 | 0 | 3.840851e+02 | -- | Inf
20.40/20.48 c 20.1s| 1 | 0 | 18617 | 18M| 0 |1140 |1730 |6961 |6961 |1730 |7276 | 326 | 0 | 0 | 3.847729e+02 | -- | Inf
21.90/21.94 c 21.6s| 1 | 0 | 19186 | 19M| 0 |1138 |1730 |6961 |6961 |1730 |7286 | 336 | 0 | 0 | 3.852764e+02 | -- | Inf
22.70/22.77 c 22.4s| 1 | 0 | 19617 | 19M| 0 |1148 |1730 |6961 |6961 |1730 |7297 | 347 | 0 | 0 | 3.857550e+02 | -- | Inf
23.69/23.77 c 23.4s| 1 | 0 | 20166 | 19M| 0 |1148 |1730 |6961 |6961 |1730 |7269 | 360 | 0 | 0 | 3.863743e+02 | -- | Inf
25.10/25.13 c 24.8s| 1 | 0 | 20535 | 19M| 0 |1145 |1730 |6961 |6961 |1730 |7277 | 368 | 0 | 0 | 3.867868e+02 | -- | Inf
26.00/26.01 c 25.6s| 1 | 0 | 20798 | 19M| 0 |1151 |1730 |6961 |6961 |1730 |7280 | 371 | 0 | 0 | 3.869293e+02 | -- | Inf
27.29/27.31 c 26.9s| 1 | 0 | 21098 | 19M| 0 |1147 |1730 |6961 |6961 |1730 |7283 | 374 | 0 | 0 | 3.871474e+02 | -- | Inf
28.40/28.48 c 28.1s| 1 | 0 | 21140 | 19M| 0 |1147 |1730 |6961 |6961 |1730 |7286 | 377 | 0 | 0 | 3.871596e+02 | -- | Inf
29.60/29.65 c 29.2s| 1 | 0 | 21247 | 19M| 0 |1146 |1730 |6961 |6961 |1730 |7289 | 380 | 0 | 0 | 3.872167e+02 | -- | Inf
30.80/30.82 c 30.4s| 1 | 0 | 21314 | 19M| 0 |1144 |1730 |6961 |6961 |1730 |7228 | 382 | 0 | 0 | 3.872317e+02 | -- | Inf
31.99/32.07 c 31.6s| 1 | 0 | 21516 | 19M| 0 |1150 |1730 |6961 |6961 |1730 |7230 | 384 | 0 | 0 | 3.873599e+02 | -- | Inf
33.29/33.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.29/33.30 c 32.9s| 1 | 0 | 21700 | 19M| 0 |1148 |1730 |6961 |6961 |1730 |7232 | 386 | 0 | 0 | 3.874044e+02 | -- | Inf
34.40/34.48 c 34.0s| 1 | 0 | 21755 | 19M| 0 |1146 |1730 |6961 |6961 |1730 |7234 | 388 | 0 | 0 | 3.874128e+02 | -- | Inf
41.70/41.72 c 41.2s| 1 | 2 | 21755 | 19M| 0 |1146 |1730 |6961 |6961 |1730 |7234 | 388 | 0 | 25 | 3.874128e+02 | -- | Inf
148.70/148.74 o 702
148.70/148.74 c s 148s| 33 | 32 | 24775 | 20M| 30 | 212 |1730 |6961 |5931 |1730 |7158 | 388 | 0 | 646 | 3.879720e+02 | 7.020000e+02 | 80.94%
148.70/148.74 o 676
148.70/148.74 c k 148s| 33 | 34 | 24775 | 20M| 30 | 212 |1730 |6961 |5931 |1730 |7158 | 388 | 0 | 646 | 3.879720e+02 | 6.760000e+02 | 74.24%
148.80/148.85 o 656
148.80/148.85 c R 148s| 36 | 35 | 24867 | 20M| 33 | 72 |1730 |6961 |5775 |1730 |7158 | 388 | 0 | 646 | 3.879720e+02 | 6.560000e+02 | 69.08%
148.80/148.85 o 647
148.80/148.85 c k 148s| 36 | 37 | 24867 | 20M| 33 | 72 |1730 |6961 |5775 |1730 |7158 | 388 | 0 | 646 | 3.879720e+02 | 6.470000e+02 | 66.76%
148.80/148.89 o 643
148.80/148.89 c * 148s| 39 | 38 | 24884 | 20M| 36 | - |1730 |6961 |5722 |1730 |7158 | 388 | 0 | 646 | 3.879720e+02 | 6.430000e+02 | 65.73%
148.80/148.89 o 640
148.80/148.89 c k 148s| 39 | 35 | 24884 | 20M| 36 | - |1730 |6961 |5722 |1730 |7158 | 388 | 0 | 646 | 3.879720e+02 | 6.400000e+02 | 64.96%
151.41/151.48 o 618
151.41/151.48 c R 151s| 86 | 45 | 26455 | 20M| 47 | 20 |1730 |6962 |5154 |1730 |7158 | 388 | 1 | 658 | 3.879720e+02 | 6.180000e+02 | 59.29%
151.41/151.48 o 611
151.41/151.48 c k 151s| 86 | 45 | 26455 | 20M| 47 | - |1730 |6962 |5154 |1730 |7158 | 388 | 1 | 658 | 3.879720e+02 | 6.110000e+02 | 57.49%
157.90/157.92 o 574
157.90/157.92 c f 157s| 208 | 37 | 31504 | 20M| 73 | - |1730 |6964 |6175 |1730 |7158 | 388 | 3 | 688 | 3.879720e+02 | 5.740000e+02 | 47.95%
157.90/157.94 o 568
157.90/157.94 c k 157s| 208 | 37 | 31504 | 20M| 73 | 690 |1730 |6964 |6508 |1730 |7158 | 388 | 3 | 688 | 3.879720e+02 | 5.680000e+02 | 46.40%
166.40/166.45 o 559
166.40/166.45 c * 166s| 344 | 59 | 37097 | 20M| 73 | - |1730 |6970 |5317 |1730 |7158 | 388 | 9 | 709 | 3.879720e+02 | 5.590000e+02 | 44.08%
166.40/166.46 o 557
166.40/166.46 c k 166s| 344 | 59 | 37097 | 20M| 73 | - |1730 |6970 |5317 |1730 |7158 | 388 | 9 | 709 | 3.879720e+02 | 5.570000e+02 | 43.57%
174.71/174.74 o 555
174.71/174.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.71/174.74 c * 174s| 484 | 53 | 44545 | 20M| 73 | - |1730 |6973 |4880 |1730 |7158 | 388 | 12 | 734 | 3.879720e+02 | 5.550000e+02 | 43.05%
174.71/174.74 o 552
174.71/174.74 c k 174s| 484 | 53 | 44545 | 20M| 73 | - |1730 |6973 |4880 |1730 |7158 | 388 | 12 | 734 | 3.879720e+02 | 5.520000e+02 | 42.28%
175.60/175.63 o 552
175.60/175.63 c s 175s| 519 | 54 | 45408 | 20M| 73 | 99 |1730 |6974 |4988 |1730 |7158 | 388 | 13 | 734 | 3.879720e+02 | 5.520000e+02 | 42.28%
176.80/176.83 o 545
176.80/176.83 c k 176s| 519 | 53 | 45509 | 20M| 73 | 91 |1730 |6974 |4982 |1730 |7158 | 388 | 13 | 743 | 3.879720e+02 | 5.450000e+02 | 40.47%
188.81/188.87 o 524
188.81/188.87 c o 188s| 620 | 66 | 57228 | 20M| 73 | 0 |1730 |6979 |6558 |1730 |7158 | 388 | 18 | 755 | 3.883598e+02 | 5.240000e+02 | 34.93%
188.81/188.89 o 521
188.81/188.89 c k 188s| 620 | 49 | 57228 | 20M| 73 | 749 |1730 |6979 |6558 |1730 |7158 | 388 | 18 | 755 | 3.883598e+02 | 5.210000e+02 | 34.15%
192.31/192.40 o 515
192.31/192.40 c * 191s| 663 | 81 | 61146 | 20M| 73 | - |1730 |6996 |5964 |1730 |7158 | 388 | 35 | 755 | 3.883598e+02 | 5.150000e+02 | 32.61%
192.41/192.40 o 514
192.41/192.40 c k 191s| 663 | 81 | 61146 | 20M| 73 | - |1730 |6996 |5964 |1730 |7158 | 388 | 35 | 755 | 3.883598e+02 | 5.140000e+02 | 32.35%
204.61/204.69 o 494
204.61/204.69 c C 204s| 863 | 65 | 69788 | 20M| 73 | - |1730 |7008 |5462 |1730 |7158 | 388 | 47 | 804 | 3.885962e+02 | 4.940000e+02 | 27.12%
1149.04/1148.90 c 1145s| 10000 | 762 |777198 | 24M| 73 | 385 |1730 |7061 |5353 |1730 |7158 | 388 | 221 |3662 | 4.081361e+02 | 4.940000e+02 | 21.04%
1259.75/1259.68 o 494
1259.75/1259.68 c s1255s| 11645 | 806 |883514 | 25M| 73 | 92 |1730 |7073 |5881 |1730 |7158 | 388 | 242 |3937 | 4.103700e+02 | 4.940000e+02 | 20.38%
1798.12/1797.94 c
1798.12/1797.94 c SCIP Status : solving was interrupted [time limit reached]
1798.12/1797.94 c Solving Time (sec) : 1791.04
1798.12/1797.94 c Solving Nodes : 18135
1798.12/1797.94 c Primal Bound : +4.93999999999999e+02 (36 solutions)
1798.12/1797.94 c Dual Bound : +4.15651387459784e+02
1798.12/1797.94 c Gap : 18.85 %
1798.12/1797.94 c NODE 18135
1798.12/1797.94 c DUAL BOUND 415.651
1798.12/1797.94 c PRIMAL BOUND 494
1798.12/1797.94 c GAP 0.188496
1798.12/1797.94 s SATISFIABLE
1798.12/1797.94 v -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 x1726 -x1725 x1724 -x1723 -x1722
1798.12/1797.94 v -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 x1706 -x1705 -x1704
1798.12/1797.94 v -x1703 -x1702 x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 x1686
1798.12/1797.94 v -x1685 x1684 -x1683 -x1682 x1681 x1680 -x1679 x1678 -x1677 x1676 -x1675 x1674 -x1673 x1672 -x1671 x1670 -x1669 x1668 -x1667
1798.12/1797.94 v x1666 -x1665 -x1664 x1663 x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648
1798.12/1797.94 v -x1647 x1646 -x1645 -x1644 -x1643 -x1642 x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630
1798.12/1797.94 v -x1629 -x1628 -x1627 -x1626 -x1625 x1624 -x1623 -x1622 x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612
1798.12/1797.94 v -x1611 -x1610 -x1609 -x1608 -x1607 x1606 -x1605 x1604 -x1603 -x1602 x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594
1798.12/1797.94 v -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 x1586 -x1585 x1584 -x1583 -x1582 x1581 -x1580 -x1579 -x1578 -x1577 -x1576
1798.12/1797.94 v -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 x1566 -x1565 x1564 -x1563 -x1562 x1561 -x1560 -x1559 -x1558 -x1557
1798.12/1797.94 v -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 x1541 -x1540 -x1539
1798.12/1797.94 v -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 x1526 -x1525 -x1524 -x1523 -x1522 x1521
1798.12/1797.94 v x1520 -x1519 x1518 -x1517 x1516 -x1515 x1514 -x1513 x1512 -x1511 x1510 -x1509 x1508 -x1507 -x1506 x1505 x1504 -x1503 x1502
1798.12/1797.94 v -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 x1486 -x1485 -x1484
1798.12/1797.94 v -x1483 -x1482 x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 x1466
1798.12/1797.94 v -x1465 x1464 -x1463 -x1462 x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448
1798.12/1797.94 v -x1447 x1446 -x1445 x1444 -x1443 -x1442 x1441 x1440 -x1439 x1438 -x1437 x1436 -x1435 x1434 -x1433 x1432 -x1431 x1430 -x1429 x1428
1798.12/1797.94 v -x1427 -x1426 x1425 x1424 -x1423 x1422 -x1421 x1420 -x1419 x1418 -x1417 x1416 -x1415 x1414 -x1413 x1412 -x1411 x1410 -x1409
1798.12/1797.94 v x1408 -x1407 -x1406 x1405 x1404 -x1403 x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391
1798.12/1797.94 v -x1390 -x1389 -x1388 -x1387 x1386 -x1385 -x1384 -x1383 -x1382 x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373
1798.12/1797.94 v -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 x1366 -x1365 -x1364 -x1363 -x1362 x1361 x1360 -x1359 x1358 -x1357 x1356 -x1355 x1354
1798.12/1797.94 v -x1353 x1352 -x1351 x1350 -x1349 x1348 -x1347 -x1346 x1345 x1344 -x1343 x1342 -x1341 x1340 -x1339 x1338 -x1337 x1336 -x1335
1798.12/1797.94 v x1334 -x1333 x1332 -x1331 x1330 -x1329 x1328 -x1327 x1326 -x1325 -x1324 x1323 x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316
1798.12/1797.94 v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 x1306 -x1305 -x1304 -x1303 -x1302 x1301 x1300 -x1299 x1298 -x1297
1798.12/1797.94 v x1296 -x1295 x1294 -x1293 x1292 -x1291 x1290 -x1289 x1288 -x1287 -x1286 x1285 x1284 -x1283 x1282 -x1281 -x1280 -x1279 -x1278
1798.12/1797.94 v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 x1264 -x1263 -x1262 x1261 -x1260
1798.12/1797.94 v -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 x1246 -x1245 x1244 -x1243 -x1242
1798.12/1797.94 v x1241 -x1240 x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 x1224
1798.12/1797.94 v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 x1206
1798.12/1797.94 v -x1205 x1204 -x1203 -x1202 x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188
1798.12/1797.94 v x1187 x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170
1798.12/1797.94 v -x1169 -x1168 -x1167 x1166 -x1165 x1164 -x1163 -x1162 x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151
1798.12/1797.94 v -x1150 -x1149 -x1148 -x1147 x1146 -x1145 x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133
1798.12/1797.94 v -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 x1121 x1120 -x1119 x1118 -x1117 x1116 -x1115
1798.12/1797.94 v x1114 -x1113 x1112 -x1111 x1110 -x1109 x1108 -x1107 -x1106 -x1105 -x1104 x1103 x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096
1798.12/1797.94 v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 x1084 -x1083 -x1082 x1081 x1080 -x1079 x1078 -x1077
1798.12/1797.94 v x1076 -x1075 x1074 -x1073 x1072 -x1071 x1070 -x1069 x1068 -x1067 -x1066 x1065 x1064 -x1063 x1062 -x1061 -x1060 -x1059 -x1058
1798.12/1797.94 v -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 x1044 -x1043 -x1042 x1041 x1040
1798.12/1797.94 v -x1039 x1038 -x1037 x1036 -x1035 x1034 -x1033 x1032 -x1031 x1030 -x1029 x1028 -x1027 x1026 -x1025 -x1024 x1023 x1022 -x1021
1798.12/1797.94 v x1020 -x1019 x1018 -x1017 x1016 -x1015 x1014 -x1013 x1012 -x1011 x1010 -x1009 x1008 -x1007 -x1006 -x1005 -x1004 x1003 x1002
1798.12/1797.94 v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 x985 x984 -x983 -x982 -x981
1798.12/1797.94 v x980 -x979 x978 -x977 x976 -x975 x974 -x973 x972 -x971 x970 -x969 x968 -x967 -x966 x965 x964 -x963 x962 -x961 -x960 -x959 -x958
1798.12/1797.94 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 x944 -x943 -x942 x941 x940 -x939 x938 -x937
1798.12/1797.94 v x936 -x935 x934 -x933 x932 -x931 x930 -x929 x928 -x927 -x926 x925 x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915
1798.12/1797.94 v -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 x906 -x905 x904 -x903 -x902 x901 x900 -x899 x898 -x897 x896 -x895 x894 -x893
1798.12/1797.94 v x892 -x891 x890 -x889 x888 -x887 -x886 x885 x884 -x883 x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871
1798.12/1797.94 v -x870 -x869 -x868 -x867 x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850
1798.12/1797.94 v -x849 -x848 -x847 -x846 -x845 x844 -x843 -x842 x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829
1798.12/1797.94 v -x828 -x827 x826 -x825 -x824 -x823 -x822 x821 x820 -x819 x818 -x817 x816 -x815 x814 -x813 x812 -x811 x810 -x809 x808 -x807 x806
1798.12/1797.94 v -x805 -x804 x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785
1798.12/1797.94 v -x784 -x783 -x782 x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 x766 -x765 x764 -x763
1798.12/1797.94 v -x762 -x761 x760 -x759 x758 -x757 x756 -x755 x754 -x753 x752 -x751 x750 -x749 x748 -x747 -x746 x745 x744 -x743 x742 -x741
1798.12/1797.94 v -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 x726 -x725 x724 -x723 -x722 x721 -x720
1798.12/1797.94 v -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 x706 -x705 -x704 -x703 -x702 x701 -x700 -x699 -x698
1798.12/1797.94 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 -x682 x681 x680 -x679 x678 -x677
1798.12/1797.94 v x676 -x675 x674 -x673 x672 -x671 x670 -x669 x668 -x667 -x666 -x665 -x664 x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655
1798.12/1797.94 v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 x646 -x645 x644 -x643 -x642 x641 x640 -x639 x638 -x637 x636 -x635 x634 -x633
1798.12/1797.94 v x632 -x631 x630 -x629 x628 -x627 -x626 x625 x624 -x623 x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611
1798.12/1797.94 v -x610 -x609 -x608 -x607 x606 -x605 x604 -x603 -x602 x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590
1798.12/1797.94 v -x589 -x588 -x587 x586 -x585 x584 -x583 -x582 x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568
1798.12/1797.94 v -x567 x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547
1798.12/1797.94 v x546 -x545 x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 x526
1798.12/1797.94 v -x525 x524 -x523 -x522 x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 x504
1798.12/1797.94 v -x503 -x502 x501 x500 -x499 x498 -x497 x496 -x495 x494 -x493 x492 -x491 x490 -x489 x488 -x487 x486 -x485 -x484 x483 x482
1798.12/1797.94 v -x481 x480 -x479 x478 -x477 x476 -x475 x474 -x473 x472 -x471 x470 -x469 x468 -x467 -x466 x465 x464 -x463 x462 -x461 -x460 -x459
1798.12/1797.94 v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 x446 -x445 x444 -x443 -x442 x441 x440 -x439 x438 -x437
1798.12/1797.94 v x436 -x435 x434 -x433 x432 -x431 x430 -x429 x428 -x427 -x426 x425 x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415
1798.12/1797.94 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 x404 -x403 -x402 x401 x400 -x399 x398 -x397 x396 -x395 x394 -x393
1798.12/1797.94 v x392 -x391 x390 -x389 x388 -x387 -x386 x385 x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371
1798.12/1797.94 v -x370 -x369 -x368 -x367 x366 -x365 x364 -x363 -x362 x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350
1798.12/1797.94 v -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329
1798.12/1797.94 v -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 x319 x318 -x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307
1798.12/1797.94 v -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 x286 -x285 -x284
1798.12/1797.94 v x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262
1798.12/1797.94 v x261 -x260 x259 -x258 x257 -x256 x255 x254 -x253 -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241 -x240 x239
1798.12/1797.94 v -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 x222 -x221 -x220 x219 -x218 x217 -x216
1798.12/1797.94 v x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 -x194 x193
1798.12/1797.94 v -x192 x191 x190 -x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171
1798.12/1797.94 v -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 x158 -x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148
1798.12/1797.94 v x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131 -x130 x129 -x128 x127 x126 -x125
1798.12/1797.94 v -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 -x102
1798.12/1797.94 v x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 x82 -x81 -x80 x79 -x78 x77 -x76 x75
1798.12/1797.94 v -x74 x73 -x72 x71 x70 -x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 x50 -x49 -x48
1798.12/1797.94 v x47 -x46 x45 x44 -x43 -x42 x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 x30 -x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 -x20
1798.12/1797.94 v x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1798.12/1797.94 c SCIP Status : solving was interrupted [time limit reached]
1798.12/1797.94 c Solving Time : 1791.04
1798.12/1797.94 c Original Problem :
1798.12/1797.94 c Problem name : HOME/instance-1869166-1245161786.opb
1798.12/1797.94 c Variables : 1740 (1740 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.12/1797.94 c Constraints : 6991 initial, 6991 maximal
1798.12/1797.94 c Presolved Problem :
1798.12/1797.94 c Problem name : t_HOME/instance-1869166-1245161786.opb
1798.12/1797.94 c Variables : 1730 (1730 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.12/1797.94 c Constraints : 6961 initial, 7096 maximal
1798.12/1797.94 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1798.12/1797.94 c trivial : 0.00 0 0 0 0 0 0 0 0
1798.12/1797.94 c dualfix : 0.00 10 0 0 0 0 0 0 0
1798.12/1797.94 c boundshift : 0.00 0 0 0 0 0 0 0 0
1798.12/1797.94 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1798.12/1797.94 c implics : 0.01 0 0 0 0 0 0 0 0
1798.12/1797.94 c probing : 0.06 0 0 0 0 0 0 0 0
1798.12/1797.94 c linear : 0.08 0 0 0 0 0 30 0 0
1798.12/1797.94 c logicor : 0.04 0 0 0 0 0 0 0 0
1798.12/1797.94 c root node : - 0 - - 0 - - - -
1798.12/1797.94 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1798.12/1797.94 c integral : 0 0 0 10296 0 46 1867 0 0 19406
1798.12/1797.94 c logicor : 6961+ 32 62388 4 41 152 634115 0 0 0
1798.12/1797.94 c countsols : 0 0 0 4 1 0 0 0 0 0
1798.12/1797.94 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1798.12/1797.94 c integral : 587.40 0.00 0.00 587.40 0.00
1798.12/1797.94 c logicor : 3.50 0.05 3.41 0.00 0.04
1798.12/1797.94 c countsols : 0.00 0.00 0.00 0.00 0.00
1798.12/1797.94 c Propagators : Time Calls Cutoffs DomReds
1798.12/1797.94 c rootredcost : 0.04 11 0 0
1798.12/1797.94 c pseudoobj : 8.39 72472 0 0
1798.12/1797.94 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.12/1797.94 c propagation : 0.00 152 152 215 4.4 2 4.5 -
1798.12/1797.95 c infeasible LP : 0.00 14 14 59 25.9 7 2.0 0
1798.12/1797.95 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.12/1797.95 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.12/1797.95 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.12/1797.95 c applied globally : - - - 283 8.8 - - -
1798.12/1797.95 c applied locally : - - - 0 0.0 - - -
1798.12/1797.95 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1798.12/1797.95 c cut pool : 0.02 31 - - 800 - (maximal pool size: 3166)
1798.12/1797.95 c redcost : 1.34 11025 0 1795 0 0
1798.12/1797.95 c impliedbounds : 0.08 32 0 0 0 0
1798.12/1797.95 c intobj : 0.00 0 0 0 0 0
1798.12/1797.95 c gomory : 14.62 32 0 0 12928 0
1798.12/1797.95 c strongcg : 3.10 20 0 0 10000 0
1798.12/1797.95 c cmir : 0.68 10 0 0 0 0
1798.12/1797.95 c flowcover : 0.54 10 0 0 0 0
1798.12/1797.95 c clique : 0.02 1 0 0 0 0
1798.12/1797.95 c zerohalf : 0.00 0 0 0 0 0
1798.12/1797.95 c mcf : 0.01 1 0 0 0 0
1798.12/1797.95 c Pricers : Time Calls Vars
1798.12/1797.95 c problem variables: 0.00 0 0
1798.12/1797.95 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1798.12/1797.95 c relpscost : 587.38 10292 46 1867 0 0 19406
1798.12/1797.95 c pscost : 0.00 0 0 0 0 0 0
1798.12/1797.95 c inference : 0.00 1 0 0 0 0 2
1798.12/1797.95 c mostinf : 0.00 0 0 0 0 0 0
1798.12/1797.95 c leastinf : 0.00 0 0 0 0 0 0
1798.12/1797.95 c fullstrong : 0.00 0 0 0 0 0 0
1798.12/1797.95 c allfullstrong : 0.00 0 0 0 0 0 0
1798.12/1797.95 c random : 0.00 0 0 0 0 0 0
1798.12/1797.95 c Primal Heuristics : Time Calls Found
1798.12/1797.95 c LP solutions : 0.00 - 4
1798.12/1797.95 c pseudo solutions : 0.00 - 0
1798.12/1797.95 c intshifting : 0.00 0 0
1798.12/1797.95 c oneopt : 0.08 12 10
1798.12/1797.95 c feaspump : 2.78 1 0
1798.12/1797.95 c linesearchdiving : 10.93 8 0
1798.12/1797.95 c guideddiving : 6.12 8 0
1798.12/1797.95 c coefdiving : 7.35 9 0
1798.12/1797.95 c pscostdiving : 4.56 9 0
1798.12/1797.95 c fracdiving : 5.01 9 1
1798.12/1797.95 c veclendiving : 5.85 9 0
1798.12/1797.95 c objpscostdiving : 22.78 5 3
1798.12/1797.95 c rootsoldiving : 4.49 5 2
1798.12/1797.95 c crossover : 1.28 10 3
1798.12/1797.95 c simplerounding : 0.03 0 0
1798.12/1797.95 c rounding : 8.52 5730 2
1798.12/1797.95 c shifting : 5.00 1065 11
1798.12/1797.95 c fixandinfer : 0.00 0 0
1798.12/1797.95 c intdiving : 0.00 0 0
1798.12/1797.95 c actconsdiving : 0.00 0 0
1798.12/1797.95 c octane : 0.00 0 0
1798.12/1797.95 c rens : 0.01 0 0
1798.12/1797.95 c rins : 0.00 0 0
1798.12/1797.95 c localbranching : 0.00 0 0
1798.12/1797.95 c mutation : 0.00 0 0
1798.12/1797.95 c dins : 0.00 0 0
1798.12/1797.95 c LP : Time Calls Iterations Iter/call Iter/sec
1798.12/1797.95 c primal LP : 0.04 0 0 0.00 0.00
1798.12/1797.95 c dual LP : 1035.74 18586 1207090 64.95 1165.44
1798.12/1797.95 c barrier LP : 0.00 0 0 0.00 -
1798.12/1797.95 c diving/probing LP: 65.51 1659 83717 50.46 1277.93
1798.12/1797.95 c strong branching : 584.18 5559 623445 112.15 1067.21
1798.12/1797.95 c (at root node) : - 25 6236 249.44 -
1798.12/1797.95 c conflict analysis: 0.00 0 0 0.00 -
1798.12/1797.95 c B&B Tree :
1798.12/1797.95 c number of runs : 1
1798.12/1797.95 c nodes : 18135
1798.12/1797.95 c nodes (total) : 18135
1798.12/1797.95 c nodes left : 1120
1798.12/1797.95 c max depth : 73
1798.12/1797.95 c max depth (total): 73
1798.12/1797.95 c backtracks : 1676 (9.2%)
1798.12/1797.95 c delayed cutoffs : 8
1798.12/1797.95 c repropagations : 2875 (1291 domain reductions, 7 cutoffs)
1798.12/1797.95 c avg switch length: 3.62
1798.12/1797.95 c switching time : 5.36
1798.12/1797.95 c Solution :
1798.12/1797.95 c Solutions found : 36 (22 improvements)
1798.12/1797.95 c Primal Bound : +4.93999999999999e+02 (in run 1, after 11645 nodes, 1254.90 seconds, depth 50, found by <shifting>)
1798.12/1797.95 c Dual Bound : +4.15651387459784e+02
1798.12/1797.95 c Gap : 18.85 %
1798.12/1797.95 c Root Dual Bound : +3.87412755246933e+02
1798.22/1798.01 c Time complete: 1798.24.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869166-1245161786/watcher-1869166-1245161786 -o /tmp/evaluation-result-1869166-1245161786/solver-1869166-1245161786 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869166-1245161786.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 29792
/proc/meminfo: memFree=1849536/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=4324 CPUtime=0
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 463 0 0 0 0 0 0 0 18 0 1 0 183779028 4427776 447 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/29792/statm: 1081 448 286 886 0 191 0
[startup+0.0233621 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29792
/proc/meminfo: memFree=1849536/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=10036 CPUtime=0.01
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 1834 0 0 0 1 0 0 0 18 0 1 0 183779028 10276864 1816 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/29792/statm: 2509 1817 354 886 0 1619 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10036
[startup+0.10134 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29792
/proc/meminfo: memFree=1849536/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=13068 CPUtime=0.1
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 2594 0 0 0 9 1 0 0 18 0 1 0 183779028 13381632 2576 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/29792/statm: 3267 2576 354 886 0 2377 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13068
[startup+0.301282 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29792
/proc/meminfo: memFree=1849536/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=28580 CPUtime=0.29
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 6561 0 0 0 25 4 0 0 19 0 1 0 183779028 29265920 6189 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 7145 6189 431 886 0 6255 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28580
[startup+0.701168 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29792
/proc/meminfo: memFree=1849536/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=39524 CPUtime=0.7
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 9337 0 0 0 64 6 0 0 22 0 1 0 183779028 40472576 8816 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 9881 8816 515 886 0 8991 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 39524
[startup+1.50294 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1815672/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=40084 CPUtime=1.49
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 9623 0 0 0 143 6 0 0 25 0 1 0 183779028 41046016 9092 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 10021 9092 526 886 0 9131 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40084
[startup+3.10148 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1815032/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=40084 CPUtime=3.09
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 9623 0 0 0 302 7 0 0 25 0 1 0 183779028 41046016 9092 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 10021 9092 526 886 0 9131 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40084
[startup+6.30156 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1811832/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=44356 CPUtime=6.29
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 10961 0 0 0 615 14 0 0 25 0 1 0 183779028 45420544 10324 1992294400 4194304 7823515 548682068736 18446744073709551615 5397362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 11089 10324 552 886 0 10199 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44356
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1802744/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=51864 CPUtime=12.69
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 12821 0 0 0 1249 20 0 0 25 0 1 0 183779028 53108736 12148 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 12966 12148 552 886 0 12076 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51864
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1794616/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=60820 CPUtime=25.5
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 15041 0 0 0 2522 28 0 0 25 0 1 0 183779028 62279680 14187 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15205 14187 552 886 0 14315 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 60820
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1793848/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=60820 CPUtime=51.09
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 15305 0 0 0 5069 40 0 0 25 0 1 0 183779028 62279680 14389 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15205 14389 556 886 0 14315 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 60820
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1793784/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=60820 CPUtime=102.3
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 15318 0 0 0 10175 55 0 0 25 0 1 0 183779028 62279680 14402 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15205 14402 556 886 0 14315 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 60820
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1793784/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=60820 CPUtime=162.3
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 15328 0 0 0 16156 74 0 0 25 0 1 0 183779028 62279680 14412 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15205 14412 562 886 0 14315 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 60820
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1791928/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=62280 CPUtime=222.31
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 21361 0 0 0 22130 101 0 0 25 0 1 0 183779028 63774720 14820 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15570 14820 579 886 0 14680 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 62280
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1794232/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=59808 CPUtime=282.32
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 24313 0 0 0 28108 124 0 0 25 0 1 0 183779028 61243392 14229 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 14952 14229 579 886 0 14062 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 59808
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1794168/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=59808 CPUtime=342.32
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 27739 0 0 0 34084 148 0 0 25 0 1 0 183779028 61243392 14229 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 14952 14229 579 886 0 14062 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 59808
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1794168/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=59808 CPUtime=402.34
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 27739 0 0 0 40066 168 0 0 25 0 1 0 183779028 61243392 14229 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 14952 14229 579 886 0 14062 0
Current children cumulated CPU time (s) 402.34
Current children cumulated vsize (KiB) 59808
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1794168/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=59808 CPUtime=462.34
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 27739 0 0 0 46047 187 0 0 25 0 1 0 183779028 61243392 14229 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 14952 14229 579 886 0 14062 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 59808
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1793592/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=60632 CPUtime=522.35
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 32153 0 0 0 52024 211 0 0 25 0 1 0 183779028 62087168 14403 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15158 14403 579 886 0 14268 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 60632
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1793592/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=60632 CPUtime=582.35
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 32154 0 0 0 58004 231 0 0 25 0 1 0 183779028 62087168 14404 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15158 14404 579 886 0 14268 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 60632
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1793592/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=60632 CPUtime=642.37
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 32154 0 0 0 63988 249 0 0 25 0 1 0 183779028 62087168 14404 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15158 14404 579 886 0 14268 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 60632
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1790520/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=63556 CPUtime=1122.44
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 48982 0 0 0 111815 429 0 0 25 0 1 0 183779028 65081344 15137 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15889 15137 579 886 0 14999 0
Current children cumulated CPU time (s) 1122.44
Current children cumulated vsize (KiB) 63556
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1791160/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=63064 CPUtime=1182.44
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 53472 0 0 0 117793 451 0 0 25 0 1 0 183779028 64577536 14979 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15766 14979 579 886 0 14876 0
Current children cumulated CPU time (s) 1182.44
Current children cumulated vsize (KiB) 63064
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1791160/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=63324 CPUtime=1242.45
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 57856 0 0 0 123770 475 0 0 25 0 1 0 183779028 64843776 14942 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15831 14942 579 886 0 14941 0
Current children cumulated CPU time (s) 1242.45
Current children cumulated vsize (KiB) 63324
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1791032/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=63356 CPUtime=1302.46
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 68950 0 0 0 129740 506 0 0 25 0 1 0 183779028 64876544 14970 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15839 14970 579 886 0 14949 0
Current children cumulated CPU time (s) 1302.46
Current children cumulated vsize (KiB) 63356
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1790520/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=63360 CPUtime=1362.46
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 76990 0 0 0 135714 532 0 0 25 0 1 0 183779028 64880640 15098 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15840 15098 579 886 0 14950 0
Current children cumulated CPU time (s) 1362.46
Current children cumulated vsize (KiB) 63360
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1790776/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=63392 CPUtime=1422.48
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 79064 0 0 0 141695 553 0 0 25 0 1 0 183779028 64913408 15010 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15848 15010 579 886 0 14958 0
Current children cumulated CPU time (s) 1422.48
Current children cumulated vsize (KiB) 63392
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1791608/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=63204 CPUtime=1482.48
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 85699 0 0 0 147673 575 0 0 25 0 1 0 183779028 64720896 14918 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15801 14918 579 886 0 14911 0
Current children cumulated CPU time (s) 1482.48
Current children cumulated vsize (KiB) 63204
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1790520/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=63352 CPUtime=1542.48
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 99333 0 0 0 153646 602 0 0 25 0 1 0 183779028 64872448 15076 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15838 15076 579 886 0 14948 0
Current children cumulated CPU time (s) 1542.48
Current children cumulated vsize (KiB) 63352
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1790520/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=63412 CPUtime=1602.5
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 111769 0 0 0 159625 625 0 0 25 0 1 0 183779028 64933888 15092 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15853 15092 579 886 0 14963 0
Current children cumulated CPU time (s) 1602.5
Current children cumulated vsize (KiB) 63412
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1791224/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=63148 CPUtime=1662.51
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 126381 0 0 0 165600 651 0 0 25 0 1 0 183779028 64663552 14977 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 15787 14977 579 886 0 14897 0
Current children cumulated CPU time (s) 1662.51
Current children cumulated vsize (KiB) 63148
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1788088/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=66216 CPUtime=1722.52
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 131906 0 0 0 171578 674 0 0 25 0 1 0 183779028 67805184 15687 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 16554 15687 579 886 0 15664 0
Current children cumulated CPU time (s) 1722.52
Current children cumulated vsize (KiB) 66216
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1788280/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=65708 CPUtime=1782.52
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 136117 0 0 0 177556 696 0 0 25 0 1 0 183779028 67284992 15592 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 16427 15592 579 886 0 15537 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (KiB) 65708
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1787832/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=65708 CPUtime=1785.72
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 136227 0 0 0 177875 697 0 0 25 0 1 0 183779028 67284992 15702 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 16427 15702 579 886 0 15537 0
Current children cumulated CPU time (s) 1785.72
Current children cumulated vsize (KiB) 65708
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1787832/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=65708 CPUtime=1792.13
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 136227 0 0 0 178513 700 0 0 25 0 1 0 183779028 67284992 15702 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 16427 15702 579 886 0 15537 0
Current children cumulated CPU time (s) 1792.13
Current children cumulated vsize (KiB) 65708
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1787832/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=65708 CPUtime=1795.33
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 136227 0 0 0 178832 701 0 0 25 0 1 0 183779028 67284992 15702 1992294400 4194304 7823515 548682068736 18446744073709551615 5994915 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 16427 15702 579 886 0 15537 0
Current children cumulated CPU time (s) 1795.33
Current children cumulated vsize (KiB) 65708
[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1787832/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=65708 CPUtime=1796.92
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 136227 0 0 0 178990 702 0 0 25 0 1 0 183779028 67284992 15702 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 16427 15702 579 886 0 15537 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 65708
[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1787832/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=65708 CPUtime=1797.72
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 136227 0 0 0 179070 702 0 0 25 0 1 0 183779028 67284992 15702 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 16427 15702 579 886 0 15537 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 65708
[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1787832/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=65708 CPUtime=1798.12
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 136227 0 0 0 179110 702 0 0 25 0 1 0 183779028 67284992 15702 1992294400 4194304 7823515 548682068736 18446744073709551615 4778317 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29792/statm: 16427 15702 579 886 0 15537 0
Current children cumulated CPU time (s) 1798.12
Current children cumulated vsize (KiB) 65708
[startup+1798 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29793
/proc/meminfo: memFree=1787832/2055920 swapFree=4191900/4192956
[pid=29792] ppid=29790 vsize=45172 CPUtime=1798.22
/proc/29792/stat : 29792 (pbscip.linux.x8) R 29790 29792 29642 0 -1 4194304 136229 0 0 0 179119 703 0 0 25 0 1 0 183779028 46256128 10684 1992294400 4194304 7823515 548682068736 18446744073709551615 4819811 0 0 4096 0 0 0 0 17 1 0 0
/proc/29792/statm: 11293 10684 581 886 0 10403 0
Current children cumulated CPU time (s) 1798.22
Current children cumulated vsize (KiB) 45172
Child status: 0
Real time (s): 1798.02
CPU time (s): 1798.24
CPU user time (s): 1791.2
CPU system time (s): 7.04193
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (KiB): 81752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.2
system time used= 7.04193
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136232
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2398
runsolver used 1.19882 second user time and 3.9444 second system time
The end