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-3744575-1338807741.opb>
0.00/0.06 c original problem has 3435 variables (3435 bin, 0 int, 0 impl, 0 cont) and 6802 constraints
0.00/0.06 c problem read
0.00/0.06 c presolving settings loaded
0.06/0.07 c presolving:
0.06/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.12 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.09/0.19 c (0.1s) probing: 101/3075 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (3 rounds):
0.09/0.19 c 360 deleted vars, 633 deleted constraints, 45 tightened bounds, 0 added holes, 105 changed sides, 315 changed coefficients
0.09/0.19 c 17040 implications, 1 cliques
0.09/0.19 c presolved problem has 3075 variables (3075 bin, 0 int, 0 impl, 0 cont) and 6169 constraints
0.09/0.19 c 3090 constraints of type <knapsack>
0.09/0.19 c 16 constraints of type <setppc>
0.09/0.19 c 3 constraints of type <linear>
0.09/0.19 c 3060 constraints of type <logicor>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.12
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.3
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1789.95
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 13950
0.09/0.19 c
0.09/0.19 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.19 c # [type: int, range: [1,2], default: 1]
0.09/0.19 c timing/clocktype = 2
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/indicator/addCouplingCons = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/rapidlearning/freq = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.28/0.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.28/0.31 c 0.3s| 1 | 0 | 720 | - | 18M| 0 | 78 |3075 |6169 |3075 |6169 | 0 | 0 | 0 | 8.750996e+06 | -- | Inf
2.19/2.25 c 2.2s| 1 | 0 | 2720 | - | 18M| 0 | 87 |3075 |6169 |3075 |6193 | 24 | 0 | 0 | 9.950311e+06 | -- | Inf
2.78/2.84 c 2.8s| 1 | 0 | 2972 | - | 19M| 0 | 107 |3075 |6169 |3075 |6213 | 44 | 0 | 0 | 1.065911e+07 | -- | Inf
3.39/3.44 c 3.4s| 1 | 0 | 3149 | - | 20M| 0 | 92 |3075 |6169 |3075 |6231 | 62 | 0 | 0 | 1.107699e+07 | -- | Inf
4.08/4.19 c 4.1s| 1 | 0 | 3392 | - | 21M| 0 | 98 |3075 |6169 |3075 |6236 | 67 | 0 | 0 | 1.163490e+07 | -- | Inf
4.99/5.01 c 5.0s| 1 | 0 | 3502 | - | 21M| 0 | 87 |3075 |6169 |3075 |6247 | 78 | 0 | 0 | 1.173650e+07 | -- | Inf
5.79/5.80 c 5.7s| 1 | 0 | 3634 | - | 21M| 0 | 79 |3075 |6169 |3075 |6256 | 87 | 0 | 0 | 1.179304e+07 | -- | Inf
6.49/6.56 c 6.5s| 1 | 0 | 3878 | - | 22M| 0 | 84 |3075 |6169 |3075 |6257 | 88 | 0 | 0 | 1.188335e+07 | -- | Inf
7.19/7.26 c 7.2s| 1 | 0 | 4071 | - | 22M| 0 | 76 |3075 |6169 |3075 |6262 | 93 | 0 | 0 | 1.192446e+07 | -- | Inf
7.89/7.98 c 7.9s| 1 | 0 | 4158 | - | 23M| 0 | 78 |3075 |6169 |3075 |6264 | 95 | 0 | 0 | 1.192924e+07 | -- | Inf
8.59/8.60 c 8.5s| 1 | 0 | 4238 | - | 23M| 0 | 89 |3075 |6169 |3075 |6266 | 97 | 0 | 0 | 1.193554e+07 | -- | Inf
9.59/9.62 c 9.6s| 1 | 0 | 4337 | - | 23M| 0 | 83 |3075 |6169 |3075 |6274 | 105 | 0 | 0 | 1.193832e+07 | -- | Inf
10.58/10.60 c 10.5s| 1 | 0 | 4514 | - | 24M| 0 | 97 |3075 |6169 |3075 |6280 | 111 | 0 | 0 | 1.194361e+07 | -- | Inf
11.57/11.68 c 11.6s| 1 | 0 | 4584 | - | 24M| 0 | 89 |3075 |6169 |3075 |6269 | 118 | 0 | 0 | 1.194514e+07 | -- | Inf
12.68/12.75 c 12.7s| 1 | 0 | 4638 | - | 24M| 0 | 92 |3075 |6169 |3075 |6272 | 121 | 0 | 0 | 1.194568e+07 | -- | Inf
13.78/13.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.78/13.81 c 13.8s| 1 | 0 | 4664 | - | 24M| 0 | 86 |3075 |6169 |3075 |6275 | 124 | 0 | 0 | 1.194584e+07 | -- | Inf
17.88/17.90 c 17.8s| 1 | 2 | 4664 | - | 24M| 0 | 86 |3075 |6169 |3075 |6275 | 124 | 0 | 16 | 1.194584e+07 | -- | Inf
23.67/23.77 o 84967954
23.67/23.77 c z23.7s| 6 | 7 | 7337 | 534.6 | 24M| 5 | 7 |3075 |6169 |3075 |6232 | 124 | 0 | 84 | 1.197561e+07 | 8.496795e+07 | 609.51%
57.56/57.69 o 56864606
57.56/57.69 c z57.6s| 37 | 17 | 19117 | 401.5 | 24M| 13 | 8 |3075 |6177 |3075 |6232 | 124 | 8 | 543 | 1.222797e+07 | 5.686461e+07 | 365.04%
59.56/59.69 o 46947644
59.56/59.69 c z59.6s| 62 | 24 | 25032 | 333.9 | 24M| 13 | 8 |3075 |6179 |3075 |6232 | 124 | 10 | 543 | 1.222797e+07 | 4.694764e+07 | 283.94%
61.47/61.52 o 43243004
61.47/61.52 c z61.5s| 92 | 32 | 30526 | 284.2 | 25M| 14 | 8 |3075 |6183 |3075 |6232 | 124 | 14 | 543 | 1.225738e+07 | 4.324300e+07 | 252.79%
63.46/63.54 o 37855374
63.46/63.54 c z63.5s| 109 | 35 | 34152 | 273.0 | 25M| 17 | 7 |3075 |6191 |3075 |6232 | 124 | 22 | 551 | 1.237487e+07 | 3.785537e+07 | 205.91%
64.26/64.37 o 19327048
64.26/64.37 c z64.3s| 124 | 23 | 36745 | 260.8 | 25M| 17 | 8 |3075 |6210 |3075 |6232 | 124 | 41 | 551 | 1.237487e+07 | 1.932705e+07 | 56.18%
64.36/64.43 o 19285780
64.36/64.43 c z64.4s| 128 | 27 | 36833 | 253.3 | 25M| 19 | 9 |3075 |6204 |3075 |6232 | 124 | 41 | 551 | 1.237487e+07 | 1.928578e+07 | 55.85%
66.66/66.78 o 17280986
66.66/66.78 c z66.7s| 142 | 21 | 40400 | 253.4 | 25M| 21 | 8 |3075 |6204 |3075 |6232 | 124 | 41 | 562 | 1.245974e+07 | 1.728099e+07 | 38.69%
66.76/66.81 o 17175816
66.76/66.81 c z66.8s| 144 | 23 | 40457 | 250.3 | 25M| 21 | 8 |3075 |6186 |3075 |6232 | 124 | 41 | 562 | 1.245974e+07 | 1.717582e+07 | 37.85%
67.56/67.69 o 16647974
67.56/67.69 c z67.6s| 187 | 59 | 42568 | 203.8 | 26M| 28 | 8 |3075 |6207 |3075 |6232 | 124 | 62 | 562 | 1.245974e+07 | 1.664797e+07 | 33.61%
77.46/77.56 o 16641560
77.46/77.56 c z77.5s| 617 | 114 | 60697 | 91.0 | 30M| 31 | 4 |3075 |6238 |3075 |6232 | 124 | 195 | 670 | 1.601243e+07 | 1.664156e+07 | 3.93%
86.25/86.37 o 16633202
86.25/86.37 c z86.3s| 1153 | 159 | 72980 | 59.3 | 33M| 31 | 4 |3075 |6663 |3075 |6232 | 124 | 886 | 807 | 1.617573e+07 | 1.663320e+07 | 2.83%
93.65/93.74 c
93.65/93.74 c SCIP Status : problem is solved [optimal solution found]
93.65/93.74 c Solving Time (sec) : 93.69
93.65/93.74 c Solving Nodes : 1663
93.65/93.74 c Primal Bound : +1.66332020000000e+07 (213 solutions)
93.65/93.74 c Dual Bound : +1.66332020000000e+07
93.65/93.74 c Gap : 0.00 %
93.65/93.75 s OPTIMUM FOUND
93.65/93.75 v -x2835 -x2819 -x2803 -x2787 -x2771 -x2755 -x2964 -x2948 -x2932 -x2916 -x2900 -x2884 -x2868 -x2852 -x2836 -x990 -x989 -x988 -x987
93.65/93.75 v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966
93.65/93.75 v -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945
93.65/93.75 v -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x1107
93.65/93.75 v -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089
93.65/93.75 v -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071
93.65/93.75 v -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053
93.65/93.75 v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035
93.65/93.75 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017
93.65/93.75 v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999
93.65/93.75 v -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797
93.65/93.75 v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776
93.65/93.75 v -x775 x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755
93.65/93.75 v -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
93.65/93.75 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
93.65/93.75 v -x894 -x893 -x892 x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
93.65/93.75 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
93.65/93.75 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
93.65/93.75 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
93.65/93.75 v -x811 -x810 -x809 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609
93.65/93.75 v -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588
93.65/93.75 v -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567
93.65/93.75 v -x566 -x565 -x564 -x563 -x562 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
93.65/93.75 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
93.65/93.75 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
93.65/93.75 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
93.65/93.75 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645
93.65/93.75 v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x444 -x443 -x442
93.65/93.75 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421
93.65/93.75 v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400
93.65/93.75 v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x561
93.65/93.75 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541
93.65/93.75 v -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520
93.65/93.75 v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499
93.65/93.75 v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478
93.65/93.75 v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
93.65/93.75 v -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254
93.65/93.75 v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233
93.65/93.75 v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213
93.65/93.75 v -x212 -x211 x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x379 -x378 -x377 -x376 -x375 -x374
93.65/93.75 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353
93.65/93.75 v -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332
93.65/93.75 v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311
93.65/93.75 v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290
93.65/93.75 v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269
93.65/93.75 v -x268 -x267 -x266 -x265 -x264 -x263 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64
93.65/93.75 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
93.65/93.75 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
93.65/93.75 v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175
93.65/93.75 v -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154
93.65/93.75 v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133
93.65/93.75 v x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112
93.65/93.75 v -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
93.65/93.75 v -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630
93.65/93.75 v -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612
93.65/93.75 v -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595
93.65/93.75 v -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577
93.65/93.75 v -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2745 -x2744 -x2743 -x2742 -x2741
93.65/93.75 v -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723
93.65/93.75 v -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705
93.65/93.75 v -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687
93.65/93.75 v -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669
93.65/93.75 v -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652
93.65/93.75 v -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452
93.65/93.75 v -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434
93.65/93.75 v -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416
93.65/93.75 v -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398
93.65/93.75 v -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2563 -x2562
93.65/93.75 v -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544
93.65/93.75 v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527
93.65/93.75 v -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509
93.65/93.75 v -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491
93.65/93.75 v -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473
93.65/93.75 v -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2277 -x2276 -x2275 -x2274 -x2273
93.65/93.75 v -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 x2256 -x2255
93.65/93.75 v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237
93.65/93.75 v -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219
93.65/93.75 v -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201
93.65/93.75 v -x2200 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366
93.65/93.75 v -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348
93.65/93.75 v -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330
93.65/93.75 v -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312
93.65/93.75 v -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294
93.65/93.75 v -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2095 -x2094
93.65/93.75 v -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076
93.65/93.75 v -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059
93.65/93.75 v -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041
93.65/93.75 v -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023
93.65/93.75 v -x2022 -x2021 -x2020 -x2019 -x2018 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187
93.65/93.75 v -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169
93.65/93.75 v -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151
93.65/93.75 v -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133
93.65/93.75 v -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116
93.65/93.75 v -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 x2101 -x2100 -x2099 -x2098
93.65/93.75 v -x2097 -x2096 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898
93.65/93.75 v -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880
93.65/93.75 v -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862
93.65/93.75 v -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844
93.65/93.75 v -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008
93.65/93.75 v -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990
93.65/93.75 v -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973
93.65/93.75 v -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955
93.65/93.75 v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937
93.65/93.75 v -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919
93.65/93.75 v -x1918 -x1917 -x1916 -x1915 -x1914 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719
93.65/93.75 v -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701
93.65/93.75 v -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683
93.65/93.75 v -x1682 -x1681 -x1680 x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 x1666 -x1665
93.65/93.75 v -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829
93.65/93.75 v -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812
93.65/93.75 v -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794
93.65/93.75 v -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776
93.65/93.75 v -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758
93.65/93.75 v -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740
93.65/93.75 v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540
93.65/93.75 v -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522
93.65/93.75 v -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505
93.65/93.75 v -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487
93.65/93.75 v -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1653 -x1652 -x1651
93.65/93.75 v -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633
93.65/93.75 v -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615
93.65/93.75 v -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597
93.65/93.75 v -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579
93.65/93.75 v -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561
93.65/93.75 v -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362
93.65/93.75 v -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344
93.65/93.75 v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326
93.65/93.75 v -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308
93.65/93.75 v -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290
93.65/93.75 v -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454
93.65/93.75 v -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436
93.65/93.75 v -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419
93.65/93.75 v -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401
93.65/93.75 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 x1387 -x1386 -x1385 -x1384 -x1383
93.65/93.75 v -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1185 -x1184 -x1183
93.65/93.75 v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165
93.65/93.75 v -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147
93.65/93.75 v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129
93.65/93.75 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111
93.65/93.75 v -x1110 -x1109 -x1108 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276
93.65/93.75 v -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258
93.65/93.75 v -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 x1243 -x1242 -x1241 -x1240
93.65/93.75 v -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222
93.65/93.75 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204
93.65/93.75 v -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186
93.65/93.75 v -x3300 -x3284 -x3268 -x3252 -x3236 -x3220 -x3429 -x3413 -x3397 -x3381 -x3365 -x3349 -x3333 -x3317 -x3301 -x3060 -x3044 -x3028
93.65/93.75 v -x3012 -x2996 -x2980 -x3189 -x3173 -x3157 -x3141 -x3125 -x3109 -x3093 -x3077 -x3061 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8
93.65/93.75 v -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x3299 x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 x3290 -x3289 -x3288 -x3287 -x3286
93.65/93.75 v -x3285 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 x3270 -x3269 -x3267 -x3266
93.65/93.75 v -x3265 x3264 x3263 -x3262 -x3261 x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246
93.65/93.75 v -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227
93.65/93.75 v -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3435 -x3434
93.65/93.75 v x3433 -x3432 -x3431 -x3430 x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 x3418 -x3417 -x3416 -x3415 x3414
93.65/93.75 v -x3412 -x3411 x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3396 -x3395 -x3394
93.65/93.75 v -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3380 -x3379 -x3378 -x3377 -x3376 x3375
93.65/93.75 v -x3374 x3373 -x3372 -x3371 -x3370 -x3369 x3368 -x3367 -x3366 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356
93.65/93.75 v -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337
93.65/93.75 v -x3336 -x3335 -x3334 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318
93.65/93.75 v -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 x3210 -x3209 -x3208
93.65/93.75 v -x3207 -x3206 -x3205 x3204 x3203 -x3202 -x3201 x3200 -x3199 -x3198 -x3197 -x3196 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829
93.65/93.75 v -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2818 x2817 -x2816 -x2815 -x2814 -x2813 x2812 -x2811 -x2810
93.65/93.75 v -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791
93.65/93.75 v -x2790 x2789 -x2788 -x2786 -x2785 -x2784 -x2783 x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772
93.65/93.75 v x2770 -x2769 -x2768 -x2767 -x2766 -x2765 x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 x2756 -x2754 -x2753 -x2752
93.65/93.75 v -x2751 -x2750 x2749 -x2748 -x2747 -x2746 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958
93.65/93.75 v -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 x2939
93.65/93.75 v -x2938 x2937 -x2936 -x2935 -x2934 -x2933 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920
93.65/93.75 v -x2919 -x2918 -x2917 -x2915 -x2914 -x2913 -x2912 x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901
93.65/93.75 v -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 x2891 x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2883 -x2882 -x2881 -x2880
93.65/93.75 v -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861
93.65/93.75 v -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 x2853 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842
93.65/93.75 v x2841 -x2840 -x2839 -x2838 -x2837 -x3059 -x3058 -x3057 x3056 x3055 -x3054 -x3053 -x3052 -x3051 -x3050 x3049 -x3048 -x3047
93.65/93.75 v -x3046 -x3045 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3027
93.65/93.75 v -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3011 -x3010 -x3009 -x3008
93.65/93.75 v -x3007 -x3006 x3005 -x3004 -x3003 -x3002 -x3001 x3000 -x2999 -x2998 -x2997 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989
93.65/93.75 v -x2988 -x2987 -x2986 x2985 -x2984 -x2983 -x2982 -x2981 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x3195
93.65/93.75 v -x3194 -x3193 -x3192 -x3191 -x3190 -x3188 -x3187 -x3186 -x3185 -x3184 x3183 x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176
93.65/93.75 v -x3175 -x3174 -x3172 x3171 -x3170 -x3169 -x3168 -x3167 x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3156
93.65/93.75 v x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 x3143 -x3142 -x3140 -x3139 -x3138 -x3137
93.65/93.75 v -x3136 -x3135 x3134 -x3133 x3132 -x3131 -x3130 -x3129 -x3128 x3127 -x3126 -x3124 -x3123 -x3122 -x3121 x3120 -x3119 -x3118 -x3117
93.65/93.75 v -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 x3099 -x3098
93.65/93.75 v -x3097 -x3096 -x3095 -x3094 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 x3084 -x3083 -x3082 -x3081 -x3080 -x3079
93.65/93.75 v -x3078 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062
93.65/93.75 c SCIP Status : problem is solved [optimal solution found]
93.65/93.75 c Solving Time : 93.69
93.65/93.75 c Original Problem :
93.65/93.75 c Problem name : HOME/instance-3744575-1338807741.opb
93.65/93.75 c Variables : 3435 (3435 binary, 0 integer, 0 implicit integer, 0 continuous)
93.65/93.75 c Constraints : 6802 initial, 6802 maximal
93.65/93.75 c Presolved Problem :
93.65/93.75 c Problem name : t_HOME/instance-3744575-1338807741.opb
93.65/93.75 c Variables : 3075 (3075 binary, 0 integer, 0 implicit integer, 0 continuous)
93.65/93.75 c Constraints : 6169 initial, 6758 maximal
93.65/93.75 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
93.65/93.75 c trivial : 0.00 0 0 0 0 0 0 0 0
93.65/93.75 c dualfix : 0.00 0 0 0 0 0 0 0 0
93.65/93.75 c boundshift : 0.00 0 0 0 0 0 0 0 0
93.65/93.75 c inttobinary : 0.00 0 0 0 0 0 0 0 0
93.65/93.75 c implics : 0.00 0 0 0 0 0 0 0 0
93.65/93.75 c probing : 0.04 0 0 0 0 0 0 0 0
93.65/93.75 c knapsack : 0.03 0 0 0 0 0 0 0 0
93.65/93.75 c setppc : 0.00 0 0 0 0 0 0 0 0
93.65/93.75 c linear : 0.03 45 315 0 45 0 633 105 315
93.65/93.75 c logicor : 0.01 0 0 0 0 0 0 0 0
93.65/93.75 c root node : - 81 - - 81 - - - -
93.65/93.75 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
93.65/93.75 c integral : 0 0 0 1002 0 31 200 0 0 1820
93.65/93.75 c knapsack : 3090 16 8627 0 0 63 247260 216 0 0
93.65/93.75 c setppc : 16 16 559 0 0 0 121 0 0 0
93.65/93.75 c linear : 3 16 8561 0 0 10 1146 0 0 0
93.65/93.75 c logicor : 3060+ 16 6216 0 0 127 20082 0 0 0
93.65/93.75 c countsols : 0 0 0 0 0 0 0 0 0 0
93.65/93.75 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
93.65/93.75 c integral : 45.89 0.00 0.00 45.89 0.00
93.65/93.75 c knapsack : 1.00 0.05 0.95 0.00 0.00
93.65/93.75 c setppc : 0.00 0.00 0.00 0.00 0.00
93.65/93.75 c linear : 0.08 0.03 0.05 0.00 0.00
93.65/93.75 c logicor : 0.34 0.00 0.33 0.00 0.00
93.65/93.75 c countsols : 0.00 0.00 0.00 0.00 0.00
93.65/93.75 c Propagators : Time Calls Cutoffs DomReds
93.65/93.75 c vbounds : 0.00 2 0 0
93.65/93.75 c rootredcost : 0.00 12 0 74
93.65/93.75 c pseudoobj : 0.08 8573 74 784
93.65/93.75 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
93.65/93.75 c propagation : 0.04 273 270 2345 53.2 5 19.4 -
93.65/93.75 c infeasible LP : 0.01 9 9 47 38.9 1 6.0 0
93.65/93.75 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
93.65/93.75 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
93.65/93.75 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
93.65/93.75 c applied globally : - - - 1544 55.3 - - -
93.65/93.75 c applied locally : - - - 0 0.0 - - -
93.65/93.75 c Separators : Time Calls Cutoffs DomReds Cuts Conss
93.65/93.75 c cut pool : 0.01 15 - - 75 - (maximal pool size: 1421)
93.65/93.75 c redcost : 0.13 1831 0 11468 0 0
93.65/93.75 c impliedbounds : 0.00 16 0 0 97 0
93.65/93.75 c intobj : 0.00 0 0 0 0 0
93.65/93.75 c cgmip : 0.00 0 0 0 0 0
93.65/93.75 c gomory : 7.08 16 0 0 3314 0
93.65/93.75 c strongcg : 4.34 16 0 0 5494 0
93.65/93.75 c cmir : 0.36 10 0 0 77 0
93.65/93.75 c flowcover : 0.51 10 0 0 152 0
93.65/93.75 c clique : 0.00 16 0 0 0 0
93.65/93.75 c zerohalf : 0.00 0 0 0 0 0
93.65/93.75 c mcf : 0.00 1 0 0 0 0
93.65/93.75 c rapidlearning : 0.17 1 0 0 0 0
93.65/93.75 c Pricers : Time Calls Vars
93.65/93.75 c problem variables: 0.00 0 0
93.65/93.75 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
93.65/93.75 c relpscost : 45.89 1002 31 200 0 0 1820
93.65/93.75 c pscost : 0.00 0 0 0 0 0 0
93.65/93.75 c inference : 0.00 0 0 0 0 0 0
93.65/93.75 c mostinf : 0.00 0 0 0 0 0 0
93.65/93.75 c leastinf : 0.00 0 0 0 0 0 0
93.65/93.75 c fullstrong : 0.00 0 0 0 0 0 0
93.65/93.75 c allfullstrong : 0.00 0 0 0 0 0 0
93.65/93.75 c random : 0.00 0 0 0 0 0 0
93.65/93.75 c Primal Heuristics : Time Calls Found
93.65/93.75 c LP solutions : 0.00 - 0
93.65/93.75 c pseudo solutions : 0.00 - 0
93.65/93.75 c oneopt : 0.01 12 0
93.65/93.75 c feaspump : 1.15 1 0
93.65/93.75 c pscostdiving : 0.25 5 0
93.65/93.75 c fracdiving : 0.33 5 0
93.65/93.75 c veclendiving : 0.09 5 0
93.65/93.75 c linesearchdiving : 0.12 5 0
93.65/93.75 c objpscostdiving : 0.81 3 0
93.65/93.75 c rootsoldiving : 0.69 3 0
93.65/93.75 c coefdiving : 0.29 6 0
93.65/93.75 c trivial : 0.00 2 0
93.65/93.75 c simplerounding : 0.00 0 0
93.65/93.75 c zirounding : 0.24 941 212
93.65/93.75 c rounding : 0.08 429 0
93.65/93.75 c shifting : 0.07 106 0
93.65/93.75 c intshifting : 0.00 0 0
93.65/93.75 c twoopt : 0.00 0 0
93.65/93.75 c fixandinfer : 0.00 0 0
93.65/93.75 c intdiving : 0.00 0 0
93.65/93.75 c actconsdiving : 0.00 0 0
93.65/93.75 c guideddiving : 0.21 5 0
93.65/93.75 c octane : 0.00 0 0
93.65/93.75 c rens : 0.08 1 0
93.65/93.75 c rins : 0.00 0 0
93.65/93.75 c localbranching : 0.00 0 0
93.65/93.75 c mutation : 0.00 0 0
93.65/93.75 c crossover : 0.17 3 1
93.65/93.75 c dins : 0.00 0 0
93.65/93.75 c undercover : 0.00 0 0
93.65/93.75 c nlp : 0.00 0 0
93.65/93.75 c trysol : 0.00 0 0
93.65/93.75 c LP : Time Calls Iterations Iter/call Iter/sec
93.65/93.75 c primal LP : 0.00 0 0 0.00 -
93.65/93.75 c dual LP : 25.71 1620 75359 46.52 2931.49
93.65/93.75 c lex dual LP : 0.00 0 0 0.00 -
93.65/93.75 c barrier LP : 0.00 0 0 0.00 -
93.65/93.75 c diving/probing LP: 3.72 186 7498 40.31 2017.42
93.65/93.75 c strong branching : 45.86 906 147242 162.52 3210.51
93.65/93.75 c (at root node) : - 16 8874 554.62 -
93.65/93.75 c conflict analysis: 0.00 0 0 0.00 -
93.65/93.75 c B&B Tree :
93.65/93.75 c number of runs : 1
93.65/93.75 c nodes : 1663
93.65/93.75 c nodes (total) : 1663
93.65/93.75 c nodes left : 0
93.65/93.75 c max depth : 31
93.65/93.75 c max depth (total): 31
93.65/93.75 c backtracks : 403 (24.2%)
93.65/93.75 c delayed cutoffs : 66
93.65/93.75 c repropagations : 656 (17314 domain reductions, 60 cutoffs)
93.65/93.75 c avg switch length: 5.34
93.65/93.75 c switching time : 1.26
93.65/93.75 c Solution :
93.65/93.75 c Solutions found : 213 (12 improvements)
93.65/93.75 c First Solution : +8.49679540000000e+07 (in run 1, after 6 nodes, 23.71 seconds, depth 5, found by <zirounding>)
93.65/93.75 c Primal Bound : +1.66332020000000e+07 (in run 1, after 1153 nodes, 86.31 seconds, depth 17, found by <zirounding>)
93.65/93.75 c Dual Bound : +1.66332020000000e+07
93.65/93.75 c Gap : 0.00 %
93.65/93.75 c Root Dual Bound : +1.19458425787979e+07
93.65/93.75 c Root Iterations : 4664
93.65/93.77 c Time complete: 93.74.
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-3744575-1338807741/watcher-3744575-1338807741 -o /tmp/evaluation-result-3744575-1338807741/solver-3744575-1338807741 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744575-1338807741.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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 6660
/proc/meminfo: memFree=31268804/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=8944 CPUtime=0 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 1333 0 0 0 0 0 0 0 20 0 1 0 346902657 9158656 1280 33554432000 4194304 8395647 140733588343744 140733588275800 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 2236 1289 374 1026 0 1206 0
[startup+0.0773371 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6660
/proc/meminfo: memFree=31268804/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=29052 CPUtime=0.06 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 6581 0 0 0 6 0 0 0 20 0 1 0 346902657 29749248 6174 33554432000 4194304 8395647 140733588343744 140733588275800 7385355 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 7263 6180 441 1026 0 6233 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 29052
[startup+0.100362 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6660
/proc/meminfo: memFree=31268804/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=32004 CPUtime=0.09 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 7321 0 0 0 8 1 0 0 20 0 1 0 346902657 32772096 6914 33554432000 4194304 8395647 140733588343744 140733588275800 5017757 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 8001 6914 476 1026 0 6971 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32004
[startup+0.300293 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6660
/proc/meminfo: memFree=31268804/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=48416 CPUtime=0.28 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 11485 0 0 0 27 1 0 0 20 0 1 0 346902657 49577984 10917 33554432000 4194304 8395647 140733588343744 140733588339768 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 12104 10917 578 1026 0 11074 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 48416
[startup+0.700298 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6660
/proc/meminfo: memFree=31268804/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=49716 CPUtime=0.69 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 12047 0 0 0 67 2 0 0 20 0 1 0 346902657 50909184 11411 33554432000 4194304 8395647 140733588343744 140733588339768 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 12429 11411 588 1026 0 11399 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49716
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6661
/proc/meminfo: memFree=31225644/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=49716 CPUtime=1.49 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 12091 0 0 0 147 2 0 0 20 0 1 0 346902657 50909184 11453 33554432000 4194304 8395647 140733588343744 140733588338616 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 12429 11453 603 1026 0 11399 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49716
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6661
/proc/meminfo: memFree=31195072/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=55952 CPUtime=3.09 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 21140 0 0 0 304 5 0 0 20 0 1 0 346902657 57294848 13063 33554432000 4194304 8395647 140733588343744 140733588339176 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 13988 13063 634 1026 0 12958 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55952
[startup+6.30023 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 6661
/proc/meminfo: memFree=31213068/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=63660 CPUtime=6.29 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 23141 0 0 0 622 7 0 0 20 0 1 0 346902657 65187840 15033 33554432000 4194304 8395647 140733588343744 140733588338936 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 15915 15033 634 1026 0 14885 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63660
[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 6661
/proc/meminfo: memFree=31203884/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=69236 CPUtime=12.68 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 24467 0 0 0 1257 11 0 0 20 0 1 0 346902657 70897664 16636 33554432000 4194304 8395647 140733588343744 140733588338984 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 17309 16636 634 1026 0 16279 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 69236
[startup+25.5002 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31203568/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=69664 CPUtime=25.47 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 30139 0 0 0 2529 18 0 0 20 0 1 0 346902657 71335936 16865 33554432000 4194304 8395647 140733588343744 140733588338952 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 17416 16865 637 1026 0 16386 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 69664
[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31202556/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=70252 CPUtime=51.06 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 30280 0 0 0 5076 30 0 0 20 0 1 0 346902657 71938048 17092 33554432000 4194304 8395647 140733588343744 140733588338872 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 17563 17092 637 1026 0 16533 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 70252
Solver just ended. Dumping a history of the last processes samples
[startup+76.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31195240/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=77996 CPUtime=76.66 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 43139 0 0 0 7623 43 0 0 20 0 1 0 346902657 79867904 18935 33554432000 4194304 8395647 140733588343744 140733588338872 6721240 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 19499 18935 643 1026 0 18469 0
Current children cumulated CPU time (s) 76.66
Current children cumulated vsize (KiB) 77996
[startup+83.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31191644/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=81888 CPUtime=83.06 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 44090 0 0 0 8261 45 0 0 20 0 1 0 346902657 83853312 19821 33554432000 4194304 8395647 140733588343744 140733588339352 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 20472 19821 643 1026 0 19442 0
Current children cumulated CPU time (s) 83.06
Current children cumulated vsize (KiB) 81888
[startup+89.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31188668/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=84884 CPUtime=89.46 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 44874 0 0 0 8899 47 0 0 20 0 1 0 346902657 86921216 20602 33554432000 4194304 8395647 140733588343744 140733588338616 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 21221 20602 643 1026 0 20191 0
Current children cumulated CPU time (s) 89.46
Current children cumulated vsize (KiB) 84884
[startup+91.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31188420/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=85788 CPUtime=91.06 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 50643 0 0 0 9057 49 0 0 20 0 1 0 346902657 87846912 20780 33554432000 4194304 8395647 140733588343744 140733588338552 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 21447 20780 644 1026 0 20417 0
Current children cumulated CPU time (s) 91.06
Current children cumulated vsize (KiB) 85788
[startup+92.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31187056/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=86248 CPUtime=92.65 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 50813 0 0 0 9216 49 0 0 20 0 1 0 346902657 88317952 20950 33554432000 4194304 8395647 140733588343744 140733588338952 6068827 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 21562 20950 644 1026 0 20532 0
Current children cumulated CPU time (s) 92.65
Current children cumulated vsize (KiB) 86248
[startup+93.5069 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31186932/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=86680 CPUtime=93.46 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 50867 0 0 0 9297 49 0 0 20 0 1 0 346902657 88760320 21004 33554432000 4194304 8395647 140733588343744 140733588339304 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 21670 21004 644 1026 0 20640 0
Current children cumulated CPU time (s) 93.46
Current children cumulated vsize (KiB) 86680
[startup+93.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6661
/proc/meminfo: memFree=31186932/32873844 swapFree=7116/7116
[pid=6660] ppid=6658 vsize=86680 CPUtime=93.65 cores=1,3,5,7
/proc/6660/stat : 6660 (pbscip.linux.x8) R 6658 6660 4984 0 -1 4202496 50867 0 0 0 9316 49 0 0 20 0 1 0 346902657 88760320 21004 33554432000 4194304 8395647 140733588343744 140733588339304 4218186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6660/statm: 21670 21004 644 1026 0 20640 0
Current children cumulated CPU time (s) 93.65
Current children cumulated vsize (KiB) 86680
Child status: 0
Real time (s): 93.7795
CPU time (s): 93.7458
CPU user time (s): 93.2438
CPU system time (s): 0.501923
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 104112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.2438
system time used= 0.501923
maximum resident set size= 104560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50872
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= 21
involuntary context switches= 97
runsolver used 0.158975 second user time and 0.407937 second system time
The end
Begin job on node103 at 2012-06-04 13:02:21
IDJOB=3744575
IDBENCH=92777
IDSOLVER=2326
FILE ID=node103/3744575-1338807741
RUNJOBID= node103-1338783950-5001
PBS_JOBID= 14636845
Free space on /tmp= 71116 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_7_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-3744575-1338807741/watcher-3744575-1338807741 -o /tmp/evaluation-result-3744575-1338807741/solver-3744575-1338807741 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744575-1338807741.opb -t 1800 -m 15500
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= ed0e62d21585297a53ea5d644fd52c40
RANDOM SEED=141123010
node103.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.189
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 : 5332.37
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.189
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.189
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.92
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.189
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.189
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 : 5331.91
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.189
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 : 5411.36
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.189
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.91
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.189
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 : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873844 kB
MemFree: 31269340 kB
Buffers: 212728 kB
Cached: 471796 kB
SwapCached: 5648 kB
Active: 335660 kB
Inactive: 495668 kB
Active(anon): 144200 kB
Inactive(anon): 4740 kB
Active(file): 191460 kB
Inactive(file): 490928 kB
Unevictable: 7116 kB
Mlocked: 7116 kB
SwapTotal: 67108856 kB
SwapFree: 67096352 kB
Dirty: 10492 kB
Writeback: 0 kB
AnonPages: 149288 kB
Mapped: 11644 kB
Shmem: 0 kB
Slab: 634312 kB
SReclaimable: 75036 kB
SUnreclaim: 559276 kB
KernelStack: 1472 kB
PageTables: 4100 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545776 kB
Committed_AS: 264784 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346368 kB
VmallocChunk: 34341987984 kB
HardwareCorrupted: 0 kB
AnonHugePages: 129024 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= 71104 MiB
End job on node103 at 2012-06-04 13:03:55