0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-3744509-1338807127.opb>
0.00/0.05 c original problem has 3435 variables (3435 bin, 0 int, 0 impl, 0 cont) and 6802 constraints
0.00/0.05 c problem read
0.00/0.05 c presolving settings loaded
0.00/0.07 c presolving:
0.08/0.09 c (round 1) 360 del vars, 633 del conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 0 upgd conss, 660 impls, 1 clqs
0.09/0.13 c (round 2) 360 del vars, 633 del conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 6166 upgd conss, 660 impls, 1 clqs
0.19/0.21 c (0.2s) probing: 101/3075 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (3 rounds):
0.19/0.21 c 360 deleted vars, 633 deleted constraints, 45 tightened bounds, 0 added holes, 105 changed sides, 315 changed coefficients
0.19/0.21 c 17040 implications, 1 cliques
0.19/0.21 c presolved problem has 3075 variables (3075 bin, 0 int, 0 impl, 0 cont) and 6169 constraints
0.19/0.21 c 3090 constraints of type <knapsack>
0.19/0.21 c 16 constraints of type <setppc>
0.19/0.21 c 3 constraints of type <linear>
0.19/0.21 c 3060 constraints of type <logicor>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.14
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 1.2.1.3
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1789.95
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 13950
0.19/0.21 c
0.19/0.21 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.21 c # [type: int, range: [1,2], default: 1]
0.19/0.21 c timing/clocktype = 2
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/indicator/addCouplingCons = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c separating/rapidlearning/freq = 0
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.21 c
0.19/0.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.28 c 0.2s| 1 | 0 | 403 | - | 18M| 0 | 52 |3075 |6169 |3075 |6169 | 0 | 0 | 0 | 6.657570e+06 | -- | Inf
3.38/3.41 c 3.4s| 1 | 0 | 4973 | - | 18M| 0 | 81 |3075 |6169 |3075 |6183 | 14 | 0 | 0 | 7.613862e+06 | -- | Inf
4.09/4.14 c 4.1s| 1 | 0 | 5109 | - | 19M| 0 | 20 |3075 |6169 |3075 |6202 | 33 | 0 | 0 | 7.784267e+06 | -- | Inf
4.49/4.55 c 4.5s| 1 | 0 | 5162 | - | 20M| 0 | 23 |3075 |6169 |3075 |6204 | 35 | 0 | 0 | 7.801595e+06 | -- | Inf
4.99/5.07 c 5.0s| 1 | 0 | 5235 | - | 20M| 0 | 23 |3075 |6169 |3075 |6205 | 36 | 0 | 0 | 7.811192e+06 | -- | Inf
5.28/5.39 c 5.3s| 1 | 0 | 5265 | - | 20M| 0 | 23 |3075 |6169 |3075 |6207 | 38 | 0 | 0 | 7.817519e+06 | -- | Inf
5.58/5.67 c 5.6s| 1 | 0 | 5480 | - | 21M| 0 | 81 |3075 |6169 |3075 |6213 | 44 | 0 | 0 | 7.837554e+06 | -- | Inf
6.19/6.21 c 6.2s| 1 | 0 | 5630 | - | 22M| 0 | 36 |3075 |6169 |3075 |6224 | 55 | 0 | 0 | 7.843636e+06 | -- | Inf
6.50/6.55 c 6.5s| 1 | 0 | 5662 | - | 22M| 0 | 32 |3075 |6169 |3075 |6230 | 61 | 0 | 0 | 7.853573e+06 | -- | Inf
6.99/7.02 c 7.0s| 1 | 0 | 5855 | - | 23M| 0 | 29 |3075 |6169 |3075 |6234 | 65 | 0 | 0 | 7.865696e+06 | -- | Inf
7.28/7.39 c 7.3s| 1 | 0 | 6030 | - | 23M| 0 | 30 |3075 |6169 |3075 |6237 | 68 | 0 | 0 | 7.876533e+06 | -- | Inf
7.78/7.84 c 7.8s| 1 | 0 | 6074 | - | 23M| 0 | 30 |3075 |6169 |3075 |6239 | 70 | 0 | 0 | 7.878261e+06 | -- | Inf
8.19/8.29 c 8.2s| 1 | 0 | 6341 | - | 24M| 0 | 125 |3075 |6169 |3075 |6241 | 72 | 0 | 0 | 7.885915e+06 | -- | Inf
9.19/9.27 c 9.2s| 1 | 0 | 6403 | - | 24M| 0 | 42 |3075 |6169 |3075 |6237 | 77 | 0 | 0 | 7.887525e+06 | -- | Inf
9.90/9.92 c 9.9s| 1 | 0 | 6411 | - | 24M| 0 | 34 |3075 |6169 |3075 |6244 | 84 | 0 | 0 | 7.887689e+06 | -- | Inf
12.00/12.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.00/12.04 c 12.0s| 1 | 2 | 6411 | - | 24M| 0 | 34 |3075 |6169 |3075 |6244 | 84 | 0 | 17 | 7.887689e+06 | -- | Inf
47.47/47.52 o 10706236
47.47/47.52 c z47.5s| 53 | 48 | 16684 | 197.6 | 24M| 15 | 8 |3075 |6183 |3075 |6215 | 84 | 14 | 381 | 7.927833e+06 | 1.070624e+07 | 35.05%
49.17/49.20 o 9765238
49.17/49.20 c z49.1s| 73 | 61 | 20175 | 191.2 | 24M| 16 | 8 |3075 |5898 |3075 |6215 | 84 | 22 | 391 | 7.927833e+06 | 9.765238e+06 | 23.18%
49.27/49.35 o 9715282
49.27/49.35 c z49.3s| 79 | 67 | 20620 | 182.2 | 24M| 16 | 7 |3075 |5863 |3075 |6215 | 84 | 22 | 391 | 7.927833e+06 | 9.715282e+06 | 22.55%
52.17/52.21 o 9576128
52.17/52.21 c z52.2s| 128 | 100 | 26409 | 157.5 | 25M| 20 | 7 |3075 |5873 |3075 |6215 | 84 | 32 | 400 | 7.927833e+06 | 9.576128e+06 | 20.79%
55.86/55.98 o 9463798
55.86/55.98 c z55.9s| 215 | 158 | 33962 | 128.7 | 26M| 22 | 8 |3075 |5902 |3075 |6215 | 84 | 63 | 426 | 7.929095e+06 | 9.463798e+06 | 19.36%
58.36/58.40 o 8990686
58.36/58.40 c z58.3s| 293 | 193 | 38833 | 111.0 | 27M| 22 | 5 |3075 |5930 |3075 |6215 | 84 | 91 | 448 | 7.941087e+06 | 8.990686e+06 | 13.22%
58.76/58.83 o 8974594
58.76/58.83 c z58.8s| 311 | 199 | 39812 | 107.7 | 27M| 22 | 6 |3075 |5918 |3075 |6215 | 84 | 95 | 449 | 7.951377e+06 | 8.974594e+06 | 12.87%
60.76/60.83 o 8746842
60.76/60.83 c z60.8s| 357 | 206 | 43212 | 103.4 | 28M| 22 | 4 |3075 |5937 |3075 |6215 | 84 | 117 | 468 | 7.956801e+06 | 8.746842e+06 | 9.93%
66.77/66.83 o 8737030
66.77/66.83 c z66.8s| 551 | 259 | 54371 | 87.2 | 30M| 22 | 7 |3075 |6007 |3075 |6215 | 84 | 245 | 532 | 7.963307e+06 | 8.737030e+06 | 9.72%
68.86/68.98 o 8717728
68.86/68.98 c z68.9s| 620 | 263 | 58118 | 83.5 | 31M| 22 | 4 |3075 |6063 |3075 |6215 | 84 | 317 | 555 | 7.965612e+06 | 8.717728e+06 | 9.44%
69.06/69.19 o 8489816
69.06/69.19 c z69.1s| 633 | 220 | 58608 | 82.6 | 30M| 22 | 1 |3075 |6066 |3075 |6215 | 84 | 325 | 555 | 7.965612e+06 | 8.489816e+06 | 6.58%
88.06/88.19 c
88.06/88.19 c SCIP Status : problem is solved [optimal solution found]
88.06/88.19 c Solving Time (sec) : 88.14
88.06/88.19 c Solving Nodes : 1469
88.06/88.19 c Primal Bound : +8.48981600000000e+06 (128 solutions)
88.06/88.19 c Dual Bound : +8.48981600000000e+06
88.06/88.19 c Gap : 0.00 %
88.06/88.19 s OPTIMUM FOUND
88.06/88.19 v -x2835 -x2819 -x2803 -x2787 -x2771 -x2755 -x2964 -x2948 -x2932 -x2916 -x2900 -x2884 -x2868 -x2852 -x2836 -x990 -x989 -x988 -x987
88.06/88.19 v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966
88.06/88.19 v -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945
88.06/88.19 v -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x1107
88.06/88.19 v -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089
88.06/88.19 v -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071
88.06/88.19 v -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053
88.06/88.19 v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035
88.06/88.19 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017
88.06/88.19 v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999
88.06/88.19 v -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797
88.06/88.19 v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776
88.06/88.19 v -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755
88.06/88.19 v -x754 -x753 -x752 -x751 -x750 -x749 -x748 x747 -x746 -x745 -x744 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
88.06/88.19 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
88.06/88.19 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
88.06/88.19 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
88.06/88.19 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
88.06/88.19 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
88.06/88.19 v -x811 -x810 -x809 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609
88.06/88.19 v -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588
88.06/88.19 v -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567
88.06/88.19 v -x566 -x565 -x564 -x563 -x562 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
88.06/88.19 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708
88.06/88.19 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
88.06/88.19 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
88.06/88.19 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645
88.06/88.19 v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x444 -x443 -x442
88.06/88.19 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421
88.06/88.19 v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401
88.06/88.19 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380
88.06/88.19 v -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541
88.06/88.19 v -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520
88.06/88.19 v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499
88.06/88.19 v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478
88.06/88.19 v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
88.06/88.19 v -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254
88.06/88.19 v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234
88.06/88.19 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213
88.06/88.19 v -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x379 -x378 -x377 -x376 -x375 -x374
88.06/88.19 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353
88.06/88.19 v -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332
88.06/88.19 v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311
88.06/88.19 v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 x293 -x292 -x291 -x290
88.06/88.19 v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269
88.06/88.19 v -x268 -x267 -x266 -x265 -x264 -x263 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64
88.06/88.19 v -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39
88.06/88.19 v -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x197 -x196
88.06/88.19 v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175
88.06/88.19 v -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154
88.06/88.19 v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133
88.06/88.19 v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
88.06/88.19 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
88.06/88.19 v -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631
88.06/88.19 v -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613
88.06/88.19 v -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 x2600 -x2599 -x2598 -x2597 -x2596 -x2595
88.06/88.19 v -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577
88.06/88.19 v -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2745 -x2744 -x2743 -x2742 -x2741
88.06/88.19 v -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723
88.06/88.19 v -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705
88.06/88.19 v -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687
88.06/88.19 v -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670
88.06/88.19 v -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 x2652
88.06/88.19 v -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452
88.06/88.19 v -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434
88.06/88.19 v -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416
88.06/88.19 v -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398
88.06/88.19 v -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2563 -x2562
88.06/88.19 v -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544
88.06/88.19 v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527
88.06/88.19 v -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509
88.06/88.19 v -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491
88.06/88.19 v -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 x2478 -x2477 -x2476 -x2475 -x2474 -x2473
88.06/88.19 v -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2277 -x2276 -x2275 -x2274 -x2273
88.06/88.19 v -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255
88.06/88.19 v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237
88.06/88.19 v -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219
88.06/88.19 v -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202
88.06/88.19 v -x2201 -x2200 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366
88.06/88.19 v -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348
88.06/88.19 v -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330
88.06/88.19 v -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312
88.06/88.19 v -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294
88.06/88.19 v -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2095 -x2094
88.06/88.19 v -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077
88.06/88.19 v -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059
88.06/88.19 v -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041
88.06/88.19 v -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023
88.06/88.19 v -x2022 -x2021 -x2020 -x2019 -x2018 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187
88.06/88.19 v -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169
88.06/88.19 v -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151
88.06/88.19 v -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134
88.06/88.19 v -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116
88.06/88.19 v -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098
88.06/88.19 v -x2097 -x2096 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898
88.06/88.19 v -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880
88.06/88.19 v -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862
88.06/88.19 v -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844
88.06/88.19 v -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008
88.06/88.19 v -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991
88.06/88.19 v -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973
88.06/88.19 v -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955
88.06/88.19 v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937
88.06/88.19 v -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919
88.06/88.19 v -x1918 -x1917 -x1916 -x1915 -x1914 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719
88.06/88.19 v -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701
88.06/88.19 v -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683
88.06/88.19 v -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666
88.06/88.19 v -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830
88.06/88.19 v -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812
88.06/88.19 v -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794
88.06/88.19 v -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776
88.06/88.19 v -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758
88.06/88.19 v -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740
88.06/88.19 v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541
88.06/88.19 v -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523
88.06/88.19 v -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505
88.06/88.19 v -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 x1489 -x1488 -x1487
88.06/88.19 v -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1653 -x1652 -x1651
88.06/88.19 v -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633
88.06/88.19 v -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615
88.06/88.19 v -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597
88.06/88.19 v -x1596 -x1595 -x1594 -x1593 x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579
88.06/88.19 v -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562
88.06/88.19 v -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362
88.06/88.19 v -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344
88.06/88.19 v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326
88.06/88.19 v -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308
88.06/88.19 v -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290
88.06/88.19 v -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454
88.06/88.19 v -x1453 -x1452 x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436
88.06/88.19 v -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419
88.06/88.19 v -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401
88.06/88.19 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383
88.06/88.19 v -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1185 -x1184 -x1183
88.06/88.19 v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165
88.06/88.19 v -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147
88.06/88.19 v -x1146 -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129
88.06/88.19 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111
88.06/88.19 v -x1110 -x1109 -x1108 -x1289 -x1288 x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275
88.06/88.19 v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258
88.06/88.19 v -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240
88.06/88.19 v -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222
88.06/88.19 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204
88.06/88.19 v -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186
88.06/88.19 v -x3300 -x3284 -x3268 -x3252 -x3236 -x3220 -x3429 -x3413 -x3397 -x3381 -x3365 -x3349 -x3333 -x3317 -x3301 -x3060 -x3044 -x3028
88.06/88.19 v -x3012 -x2996 -x2980 -x3189 -x3173 -x3157 -x3141 -x3125 -x3109 -x3093 -x3077 -x3061 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8
88.06/88.19 v -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x3299 x3298 -x3297 -x3296 -x3295 -x3294 -x3293 x3292 x3291 -x3290 x3289 -x3288 -x3287 -x3286 -x3285
88.06/88.19 v -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 x3270 -x3269 -x3267 -x3266 -x3265
88.06/88.19 v -x3264 -x3263 -x3262 -x3261 -x3260 x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246
88.06/88.19 v -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227
88.06/88.19 v -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3435 -x3434
88.06/88.19 v -x3433 -x3432 -x3431 -x3430 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415
88.06/88.19 v -x3414 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 x3396 -x3395
88.06/88.19 v -x3394 -x3393 -x3392 -x3391 x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 x3382 -x3380 x3379 -x3378 -x3377 -x3376 -x3375
88.06/88.19 v -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3364 -x3363 -x3362 -x3361 x3360 -x3359 x3358 -x3357 -x3356
88.06/88.19 v -x3355 -x3354 -x3353 -x3352 x3351 -x3350 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337
88.06/88.19 v -x3336 -x3335 -x3334 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318
88.06/88.19 v -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3210 -x3209 x3208
88.06/88.19 v -x3207 -x3206 -x3205 -x3204 -x3203 x3202 x3201 -x3200 x3199 -x3198 -x3197 -x3196 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829
88.06/88.19 v -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2818 -x2817 -x2816 x2815 -x2814 -x2813 -x2812 -x2811 -x2810
88.06/88.19 v -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791
88.06/88.19 v -x2790 -x2789 -x2788 -x2786 -x2785 x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 x2776 -x2775 -x2774 -x2773 -x2772
88.06/88.19 v -x2770 -x2769 -x2768 -x2767 -x2766 x2765 -x2764 x2763 -x2762 -x2761 -x2760 x2759 -x2758 -x2757 -x2756 -x2754 -x2753 -x2752
88.06/88.19 v -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2970 -x2969 -x2968 x2967 -x2966 -x2965 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958
88.06/88.19 v -x2957 x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2947 -x2946 -x2945 -x2944 -x2943 x2942 -x2941 -x2940 -x2939
88.06/88.19 v -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920
88.06/88.19 v -x2919 -x2918 -x2917 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 x2906 -x2905 -x2904 -x2903 -x2902 -x2901
88.06/88.19 v -x2899 x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2883 -x2882 -x2881
88.06/88.19 v -x2880 -x2879 -x2878 -x2877 x2876 -x2875 -x2874 -x2873 -x2872 -x2871 x2870 -x2869 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862
88.06/88.19 v -x2861 -x2860 -x2859 x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2851 -x2850 -x2849 -x2848 x2847 -x2846 -x2845 x2844 -x2843 -x2842
88.06/88.19 v -x2841 -x2840 -x2839 -x2838 -x2837 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047
88.06/88.19 v -x3046 -x3045 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 x3034 -x3033 -x3032 -x3031 -x3030 -x3029 x3027
88.06/88.19 v -x3026 -x3025 x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 x3016 -x3015 -x3014 x3013 -x3011 -x3010 -x3009 -x3008
88.06/88.19 v -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2995 -x2994 -x2993 -x2992 x2991 -x2990 -x2989
88.06/88.19 v -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2979 -x2978 -x2977 -x2976 -x2975 x2974 -x2973 -x2972 -x2971 -x3195
88.06/88.19 v -x3194 x3193 -x3192 -x3191 -x3190 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176
88.06/88.19 v -x3175 -x3174 x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 x3158 -x3156
88.06/88.19 v -x3155 -x3154 -x3153 x3152 -x3151 -x3150 -x3149 -x3148 -x3147 x3146 -x3145 -x3144 -x3143 -x3142 x3140 -x3139 x3138 -x3137 -x3136
88.06/88.19 v -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 x3126 -x3124 -x3123 -x3122 -x3121 -x3120 x3119 -x3118 -x3117
88.06/88.19 v -x3116 x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098
88.06/88.19 v -x3097 x3096 -x3095 -x3094 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 x3082 -x3081 -x3080 -x3079
88.06/88.19 v -x3078 -x3076 -x3075 -x3074 x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062
88.06/88.19 c SCIP Status : problem is solved [optimal solution found]
88.06/88.19 c Solving Time : 88.14
88.06/88.19 c Original Problem :
88.06/88.19 c Problem name : HOME/instance-3744509-1338807127.opb
88.06/88.19 c Variables : 3435 (3435 binary, 0 integer, 0 implicit integer, 0 continuous)
88.06/88.19 c Constraints : 6802 initial, 6802 maximal
88.06/88.19 c Presolved Problem :
88.06/88.19 c Problem name : t_HOME/instance-3744509-1338807127.opb
88.06/88.19 c Variables : 3075 (3075 binary, 0 integer, 0 implicit integer, 0 continuous)
88.06/88.19 c Constraints : 6169 initial, 6187 maximal
88.06/88.19 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
88.06/88.19 c trivial : 0.00 0 0 0 0 0 0 0 0
88.06/88.19 c dualfix : 0.00 0 0 0 0 0 0 0 0
88.06/88.19 c boundshift : 0.00 0 0 0 0 0 0 0 0
88.06/88.19 c inttobinary : 0.00 0 0 0 0 0 0 0 0
88.06/88.19 c implics : 0.00 0 0 0 0 0 0 0 0
88.06/88.19 c probing : 0.04 0 0 0 0 0 0 0 0
88.06/88.19 c knapsack : 0.03 0 0 0 0 0 0 0 0
88.06/88.19 c setppc : 0.00 0 0 0 0 0 0 0 0
88.06/88.19 c linear : 0.05 45 315 0 45 0 633 105 315
88.06/88.19 c logicor : 0.01 0 0 0 0 0 0 0 0
88.06/88.19 c root node : - 968 - - 968 - - - -
88.06/88.19 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
88.06/88.19 c integral : 0 0 0 875 0 7 121 0 0 1660
88.06/88.19 c knapsack : 3090 15 8580 0 0 75 290353 98 0 0
88.06/88.19 c setppc : 16 15 5047 0 0 5 278 0 0 0
88.06/88.19 c linear : 3 15 8496 0 0 26 723 0 0 0
88.06/88.19 c logicor : 3060+ 15 6360 0 0 152 21130 0 0 0
88.06/88.19 c countsols : 0 0 0 0 0 0 0 0 0 0
88.06/88.19 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
88.06/88.19 c integral : 45.25 0.00 0.00 45.25 0.00
88.06/88.19 c knapsack : 0.87 0.06 0.80 0.00 0.00
88.06/88.19 c setppc : 0.01 0.00 0.01 0.00 0.00
88.06/88.19 c linear : 0.07 0.02 0.05 0.00 0.00
88.06/88.19 c logicor : 0.26 0.00 0.26 0.00 0.00
88.06/88.19 c countsols : 0.00 0.00 0.00 0.00 0.00
88.06/88.19 c Propagators : Time Calls Cutoffs DomReds
88.06/88.19 c vbounds : 0.01 2 0 0
88.06/88.19 c rootredcost : 0.01 11 0 104
88.06/88.19 c pseudoobj : 0.08 8517 81 1786
88.06/88.19 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
88.06/88.19 c propagation : 0.03 339 315 1671 31.3 8 18.0 -
88.06/88.19 c infeasible LP : 0.01 19 19 55 24.3 1 2.0 0
88.06/88.19 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
88.06/88.19 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
88.06/88.19 c pseudo solution : 0.00 1 1 6 9.2 0 0.0 -
88.06/88.19 c applied globally : - - - 973 31.6 - - -
88.06/88.19 c applied locally : - - - 0 0.0 - - -
88.06/88.19 c Separators : Time Calls Cutoffs DomReds Cuts Conss
88.06/88.19 c cut pool : 0.01 14 - - 153 - (maximal pool size: 1668)
88.06/88.19 c redcost : 0.10 1511 0 9424 0 0
88.06/88.19 c impliedbounds : 0.00 15 0 0 60 0
88.06/88.19 c intobj : 0.00 0 0 0 0 0
88.06/88.19 c cgmip : 0.00 0 0 0 0 0
88.06/88.19 c gomory : 3.27 15 0 0 4642 0
88.06/88.19 c strongcg : 2.56 15 0 0 4999 0
88.06/88.19 c cmir : 0.31 10 0 0 37 0
88.06/88.19 c flowcover : 0.59 10 0 0 72 0
88.06/88.19 c clique : 0.02 15 0 0 0 0
88.06/88.19 c zerohalf : 0.00 0 0 0 0 0
88.06/88.19 c mcf : 0.00 1 0 0 0 0
88.06/88.19 c rapidlearning : 0.22 1 0 0 0 0
88.06/88.19 c Pricers : Time Calls Vars
88.06/88.19 c problem variables: 0.00 0 0
88.06/88.19 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
88.06/88.19 c relpscost : 45.24 875 7 121 0 0 1660
88.06/88.19 c pscost : 0.00 0 0 0 0 0 0
88.06/88.19 c inference : 0.00 0 0 0 0 0 0
88.06/88.19 c mostinf : 0.00 0 0 0 0 0 0
88.06/88.19 c leastinf : 0.00 0 0 0 0 0 0
88.06/88.19 c fullstrong : 0.00 0 0 0 0 0 0
88.06/88.19 c allfullstrong : 0.00 0 0 0 0 0 0
88.06/88.19 c random : 0.00 0 0 0 0 0 0
88.06/88.19 c Primal Heuristics : Time Calls Found
88.06/88.19 c LP solutions : 0.00 - 0
88.06/88.19 c pseudo solutions : 0.00 - 0
88.06/88.19 c oneopt : 0.01 11 0
88.06/88.19 c coefdiving : 0.34 2 0
88.06/88.19 c pscostdiving : 0.30 2 0
88.06/88.19 c fracdiving : 0.54 2 0
88.06/88.19 c veclendiving : 0.10 2 0
88.06/88.19 c guideddiving : 0.09 2 0
88.06/88.19 c linesearchdiving : 0.08 2 0
88.06/88.19 c feaspump : 2.56 1 0
88.06/88.19 c objpscostdiving : 0.66 2 0
88.06/88.19 c rootsoldiving : 0.41 2 0
88.06/88.19 c trivial : 0.00 2 0
88.06/88.19 c simplerounding : 0.00 0 0
88.06/88.19 c zirounding : 0.16 837 127
88.06/88.19 c rounding : 0.08 387 0
88.06/88.19 c shifting : 0.08 127 1
88.06/88.19 c intshifting : 0.00 0 0
88.06/88.19 c twoopt : 0.00 0 0
88.06/88.19 c fixandinfer : 0.00 0 0
88.06/88.19 c intdiving : 0.00 0 0
88.06/88.19 c actconsdiving : 0.00 0 0
88.06/88.19 c octane : 0.00 0 0
88.06/88.20 c rens : 0.04 1 0
88.06/88.20 c rins : 0.00 0 0
88.06/88.20 c localbranching : 0.00 0 0
88.06/88.20 c mutation : 0.00 0 0
88.06/88.20 c crossover : 0.05 1 0
88.06/88.20 c dins : 0.00 0 0
88.06/88.20 c undercover : 0.00 0 0
88.06/88.20 c nlp : 0.00 0 0
88.06/88.20 c trysol : 0.00 0 0
88.06/88.20 c LP : Time Calls Iterations Iter/call Iter/sec
88.06/88.20 c primal LP : 0.00 0 0 0.00 -
88.06/88.20 c dual LP : 26.44 1339 81156 60.61 3069.98
88.06/88.20 c lex dual LP : 0.00 0 0 0.00 -
88.06/88.20 c barrier LP : 0.00 0 0 0.00 -
88.06/88.20 c diving/probing LP: 4.83 228 9711 42.59 2011.11
88.06/88.20 c strong branching : 45.22 745 147512 198.00 3261.88
88.06/88.20 c (at root node) : - 17 4920 289.41 -
88.06/88.20 c conflict analysis: 0.00 0 0 0.00 -
88.06/88.20 c B&B Tree :
88.06/88.20 c number of runs : 1
88.06/88.20 c nodes : 1469
88.06/88.20 c nodes (total) : 1469
88.06/88.20 c nodes left : 0
88.06/88.20 c max depth : 22
88.06/88.20 c max depth (total): 22
88.06/88.20 c backtracks : 439 (29.9%)
88.06/88.20 c delayed cutoffs : 108
88.06/88.20 c repropagations : 859 (36783 domain reductions, 80 cutoffs)
88.06/88.20 c avg switch length: 6.64
88.06/88.20 c switching time : 0.89
88.06/88.20 c Solution :
88.06/88.20 c Solutions found : 128 (11 improvements)
88.06/88.20 c First Solution : +1.07062360000000e+07 (in run 1, after 53 nodes, 47.47 seconds, depth 15, found by <zirounding>)
88.06/88.20 c Primal Bound : +8.48981600000000e+06 (in run 1, after 633 nodes, 69.13 seconds, depth 11, found by <zirounding>)
88.06/88.20 c Dual Bound : +8.48981600000000e+06
88.06/88.20 c Gap : 0.00 %
88.06/88.20 c Root Dual Bound : +7.88768900000000e+06
88.06/88.20 c Root Iterations : 6411
88.15/88.22 c Time complete: 88.18.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744509-1338807127/watcher-3744509-1338807127 -o /tmp/evaluation-result-3744509-1338807127/solver-3744509-1338807127 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744509-1338807127.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15247
/proc/meminfo: memFree=27485568/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=9972 CPUtime=0 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 1540 0 0 0 0 0 0 0 20 0 1 0 346779680 10211328 1486 33554432000 4194304 8395647 140734366650496 140734366582328 7382157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 2493 1500 374 1026 0 1463 0
[startup+0.084231 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15247
/proc/meminfo: memFree=27485568/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=29928 CPUtime=0.08 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 6801 0 0 0 7 1 0 0 20 0 1 0 346779680 30646272 6393 33554432000 4194304 8395647 140734366650496 140734366582328 18446744073699066235 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 7482 6393 474 1026 0 6452 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29928
[startup+0.100362 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15247
/proc/meminfo: memFree=27485568/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=31548 CPUtime=0.09 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 7206 0 0 0 8 1 0 0 20 0 1 0 346779680 32305152 6798 33554432000 4194304 8395647 140734366650496 140734366582328 6349560 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 7887 6798 474 1026 0 6857 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31548
[startup+0.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15247
/proc/meminfo: memFree=27485568/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=48128 CPUtime=0.28 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 11507 0 0 0 27 1 0 0 20 0 1 0 346779680 49283072 10957 33554432000 4194304 8395647 140734366650496 140734366582328 6664892 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 12032 10957 588 1026 0 11002 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 48128
[startup+0.700251 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15247
/proc/meminfo: memFree=27485568/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=49552 CPUtime=0.68 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 11993 0 0 0 67 1 0 0 20 0 1 0 346779680 50741248 11365 33554432000 4194304 8395647 140734366650496 140734366582328 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 12388 11365 588 1026 0 11358 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 49552
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27442540/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=50012 CPUtime=1.49 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 12127 0 0 0 147 2 0 0 20 0 1 0 346779680 51212288 11499 33554432000 4194304 8395647 140734366650496 140734366645016 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 12503 11499 588 1026 0 11473 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50012
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27441920/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=58208 CPUtime=3.09 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 14258 0 0 0 306 3 0 0 20 0 1 0 346779680 59604992 13630 33554432000 4194304 8395647 140734366650496 140734366645736 6347101 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 14552 13631 625 1026 0 13522 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58208
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27430388/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=65044 CPUtime=6.29 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 23543 0 0 0 623 6 0 0 20 0 1 0 346779680 66605056 15344 33554432000 4194304 8395647 140734366650496 140734366645736 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 16261 15344 634 1026 0 15231 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65044
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27425072/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=65972 CPUtime=12.69 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 28773 0 0 0 1259 10 0 0 20 0 1 0 346779680 67555328 15574 33554432000 4194304 8395647 140734366650496 140734366645368 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 16493 15574 636 1026 0 15463 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65972
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27425376/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=65972 CPUtime=25.48 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 28775 0 0 0 2531 17 0 0 20 0 1 0 346779680 67555328 15587 33554432000 4194304 8395647 140734366650496 140734366645704 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 16493 15587 636 1026 0 15463 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 65972
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27423716/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=66456 CPUtime=51.07 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 28911 0 0 0 5079 28 0 0 20 0 1 0 346779680 68050944 16149 33554432000 4194304 8395647 140734366650496 140734366645624 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 16614 16149 641 1026 0 15584 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 66456
Solver just ended. Dumping a history of the last processes samples
[startup+63.9003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27418196/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=72528 CPUtime=63.86 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 30356 0 0 0 6354 32 0 0 20 0 1 0 346779680 74268672 17594 33554432000 4194304 8395647 140734366650496 140734366646104 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 18132 17594 641 1026 0 17102 0
Current children cumulated CPU time (s) 63.86
Current children cumulated vsize (KiB) 72528
[startup+76.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27409144/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=81700 CPUtime=76.66 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 37903 0 0 0 7626 40 0 0 20 0 1 0 346779680 83660800 19745 33554432000 4194304 8395647 140734366650496 140734366645624 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 20425 19745 642 1026 0 19395 0
Current children cumulated CPU time (s) 76.66
Current children cumulated vsize (KiB) 81700
[startup+83.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27405920/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=84652 CPUtime=83.06 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 38701 0 0 0 8263 43 0 0 20 0 1 0 346779680 86683648 20541 33554432000 4194304 8395647 140734366650496 140734366646008 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 21163 20541 642 1026 0 20133 0
Current children cumulated CPU time (s) 83.06
Current children cumulated vsize (KiB) 84652
[startup+86.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27404556/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=85960 CPUtime=86.26 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 38942 0 0 0 8582 44 0 0 20 0 1 0 346779680 88023040 20782 33554432000 4194304 8395647 140734366650496 140734366646008 4215519 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 21490 20782 642 1026 0 20460 0
Current children cumulated CPU time (s) 86.26
Current children cumulated vsize (KiB) 85960
[startup+87.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27404308/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=86224 CPUtime=87.06 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 39062 0 0 0 8662 44 0 0 20 0 1 0 346779680 88293376 20902 33554432000 4194304 8395647 140734366650496 140734366645704 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 21556 20902 642 1026 0 20526 0
Current children cumulated CPU time (s) 87.06
Current children cumulated vsize (KiB) 86224
[startup+87.9003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27404184/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=86224 CPUtime=87.86 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 39077 0 0 0 8742 44 0 0 20 0 1 0 346779680 88293376 20917 33554432000 4194304 8395647 140734366650496 140734366646104 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 21556 20917 642 1026 0 20526 0
Current children cumulated CPU time (s) 87.86
Current children cumulated vsize (KiB) 86224
[startup+88.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27404184/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=86588 CPUtime=88.06 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 39131 0 0 0 8762 44 0 0 20 0 1 0 346779680 88666112 20971 33554432000 4194304 8395647 140734366650496 140734366646104 4216953 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 21647 20971 642 1026 0 20617 0
Current children cumulated CPU time (s) 88.06
Current children cumulated vsize (KiB) 86588
[startup+88.2003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15248
/proc/meminfo: memFree=27404184/32873844 swapFree=7128/7128
[pid=15247] ppid=15245 vsize=86588 CPUtime=88.15 cores=0,2,4,6
/proc/15247/stat : 15247 (pbscip.linux.x8) R 15245 15247 13572 0 -1 4202496 39142 0 0 0 8771 44 0 0 20 0 1 0 346779680 88666112 20982 33554432000 4194304 8395647 140734366650496 140734366646104 7430400 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15247/statm: 21647 20982 644 1026 0 20617 0
Current children cumulated CPU time (s) 88.15
Current children cumulated vsize (KiB) 86588
Child status: 0
Real time (s): 88.221
CPU time (s): 88.1896
CPU user time (s): 87.7367
CPU system time (s): 0.452931
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 86588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 87.7367
system time used= 0.452931
maximum resident set size= 99864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39145
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= 19
involuntary context switches= 91
runsolver used 0.253961 second user time and 0.564914 second system time
The end
Begin job on node105 at 2012-06-04 12:52:07
IDJOB=3744509
IDBENCH=92766
IDSOLVER=2326
FILE ID=node105/3744509-1338807127
RUNJOBID= node105-1338785386-13588
PBS_JOBID= 14636855
Free space on /tmp= 71268 MiB
SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_6_ic.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744509-1338807127/watcher-3744509-1338807127 -o /tmp/evaluation-result-3744509-1338807127/solver-3744509-1338807127 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744509-1338807127.opb -t 1800 -m 15500
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= a269e9c33b53994688ddcd5a079e2567
RANDOM SEED=443937867
node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.882
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.882
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.882
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.882
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.882
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5438.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.882
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.882
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.882
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5447.81
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873844 kB
MemFree: 27486096 kB
Buffers: 579524 kB
Cached: 3833048 kB
SwapCached: 1700 kB
Active: 1210196 kB
Inactive: 3293040 kB
Active(anon): 87292 kB
Inactive(anon): 4800 kB
Active(file): 1122904 kB
Inactive(file): 3288240 kB
Unevictable: 7128 kB
Mlocked: 7128 kB
SwapTotal: 67108856 kB
SwapFree: 67100456 kB
Dirty: 10872 kB
Writeback: 8 kB
AnonPages: 95428 kB
Mapped: 11524 kB
Shmem: 0 kB
Slab: 744780 kB
SReclaimable: 186336 kB
SUnreclaim: 558444 kB
KernelStack: 1480 kB
PageTables: 4280 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545776 kB
Committed_AS: 211604 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346368 kB
VmallocChunk: 34341987984 kB
HardwareCorrupted: 0 kB
AnonHugePages: 75776 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7872 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 71256 MiB
End job on node105 at 2012-06-04 12:53:35