0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4492159-1751145886.opb>
0.00/0.05 c original problem has 4662 variables (4662 bin, 0 int, 0 cont) and 31725 constraints
0.00/0.05 c problem read in 0.056 seconds
0.00/0.05 c problem without objective
0.00/0.10 c presolving:
0.09/0.17 c (0.2s) running MILP presolver
0.09/0.20 c (0.2s) MILP presolver found nothing
0.20/0.26 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 31725 upgd conss, 0 impls, 2445 clqs
0.30/0.36 c (0.4s) probing: 51/4662 (1.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.30/0.36 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.30/0.38 c (0.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.88/0.92 c (0.9s) symmetry computation finished: 36 generators found (max: 1500, log10 of symmetry group size: 23.90) (symcode time: 0.51)
0.88/0.92 c dynamic symmetry handling statistics:
0.88/0.92 c orbitopal reduction: no components
0.88/0.92 c orbital reduction: 1 components of sizes 36
0.88/0.92 c lexicographic reduction: 36 permutations with support sizes 348, 348, 348, 348, 348, 348, 468, 468, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 336, 480, 480, 480, 480, 480, 480, 480, 480, 1554, 1554, 1554, 1554, 480, 1554
0.88/0.92 c handled 1 out of 1 symmetry components
0.88/0.94 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.88/0.94 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 234 changed coefficients
0.88/0.94 c 0 implications, 2445 cliques
0.88/0.94 c presolved problem has 4662 variables (4662 bin, 0 int, 0 cont) and 31725 constraints
0.88/0.94 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.88/0.94 c 78 constraints of type <knapsack>
0.88/0.94 c 951 constraints of type <setppc>
0.88/0.94 c 30696 constraints of type <logicor>
0.88/0.94 c transformed objective value is always integral (scale: 1)
0.88/0.94 c Presolving Time: 0.84
0.88/0.94 c
0.88/0.94 c - non default parameters ----------------------------------------------------------------------
0.88/0.94 c
0.88/0.94 c # SCIP version 10.0.0
0.88/0.94 c
0.88/0.94 c # maximal time in seconds to run
0.88/0.94 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.88/0.94 c limits/time = 3596.99801
0.88/0.94 c
0.88/0.94 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.88/0.94 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.88/0.94 c limits/memory = 27900
0.88/0.94 c
0.88/0.94 c # belongs reading time to solving time?
0.88/0.94 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.88/0.94 c timing/reading = TRUE
0.88/0.94 c
0.88/0.94 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.88/0.94 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.88/0.94 c reading/opbreader/maxintsize = 47
0.88/0.94 c
0.88/0.94 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.88/0.94 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.88/0.94 c propagating/genvbounds/timingmask = 0
0.88/0.94 c
0.88/0.94 c -----------------------------------------------------------------------------------------------
0.88/0.94 c
13.46/13.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.46/13.56 c 13.6s| 1 | 0 | 16713 | - | 147M | 0 |4662 | 31k| 31k| 0 | 0 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
29.72/29.85 c 29.8s| 1 | 0 | 52425 | - | 174M | 0 |4662 | 31k| 31k| 52 | 1 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
39.59/39.76 c 39.8s| 1 | 0 | 63841 | - | 177M | 0 |4662 | 31k| 31k| 108 | 2 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
49.27/49.41 c 49.4s| 1 | 0 | 74890 | - | 182M | 0 |4662 | 31k| 31k| 153 | 3 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
63.73/63.94 c 63.9s| 1 | 0 | 88956 | - | 185M | 0 |4662 | 31k| 31k| 199 | 4 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
73.20/73.47 c 73.5s| 1 | 0 | 99926 | - | 189M | 0 |4662 | 31k| 31k| 242 | 5 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
83.58/83.87 c 83.9s| 1 | 0 |111147 | - | 192M | 0 |4662 | 31k| 32k| 278 | 6 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
92.15/92.47 c 92.5s| 1 | 0 |121344 | - | 195M | 0 |4662 | 31k| 32k| 320 | 7 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
105.92/106.28 c 106s| 1 | 0 |135204 | - | 198M | 0 |4662 | 31k| 32k| 355 | 8 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
117.09/117.40 c 117s| 1 | 0 |147074 | - | 201M | 0 |4662 | 31k| 32k| 392 | 9 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
124.97/125.35 c 125s| 1 | 0 |156796 | - | 206M | 0 |4662 | 31k| 32k| 431 | 10 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
133.24/133.63 c 134s| 1 | 0 |168256 | - | 209M | 0 |4662 | 31k| 32k| 471 | 11 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
142.42/142.83 c 143s| 1 | 2 |177385 | - | 209M | 0 |4662 | 31k| 32k| 471 | 11 | 80 | 19 | 0.000000e+00 | -- | Inf | unknown
444.14/445.37 c d 445s| 34 | 0 |744514 |17462.4 |conflict| 10 |4662 | 31k| 32k| 0 | 1 | 159 | 19 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
444.14/445.38 c
444.14/445.38 c SCIP Status : problem is solved [optimal solution found]
444.14/445.38 c Solving Time (sec) : 445.38
444.14/445.38 c Solving Nodes : 34
444.14/445.38 c Primal Bound : +0.00000000000000e+00 (1 solutions)
444.14/445.38 c Dual Bound : +0.00000000000000e+00
444.14/445.38 c Gap : 0.00 %
444.14/445.39 s SATISFIABLE
444.14/445.39 v x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
444.14/445.39 v -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
444.14/445.39 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80
444.14/445.39 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
444.14/445.39 v -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127
444.14/445.39 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
444.14/445.39 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
444.14/445.39 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193
444.14/445.39 v -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215
444.14/445.39 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237
444.14/445.39 v -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259
444.14/445.39 v -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281
444.14/445.39 v -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303
444.14/445.39 v -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325
444.14/445.39 v -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347
444.14/445.39 v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369
444.14/445.39 v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391
444.14/445.39 v -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 x411 -x412 -x413
444.14/445.39 v -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 x431 -x432 -x433 -x434 -x435
444.14/445.39 v -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457
444.14/445.39 v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 x479
444.14/445.39 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501
444.14/445.39 v -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523
444.14/445.39 v -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
444.14/445.39 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
444.14/445.39 v x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589
444.14/445.39 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611
444.14/445.39 v -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633
444.14/445.39 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655
444.14/445.39 v -x656 x657 -x658 -x659 -x660 x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677
444.14/445.39 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699
444.14/445.39 v -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721
444.14/445.39 v -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743
444.14/445.39 v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765
444.14/445.39 v -x766 -x767 -x768 -x769 x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787
444.14/445.39 v -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809
444.14/445.39 v -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831
444.14/445.39 v -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853
444.14/445.39 v -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875
444.14/445.39 v -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897
444.14/445.39 v -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 x918 -x919
444.14/445.39 v -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941
444.14/445.39 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963
444.14/445.39 v -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985
444.14/445.39 v -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006
444.14/445.39 v -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025
444.14/445.39 v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044
444.14/445.39 v -x1045 x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063
444.14/445.39 v -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082
444.14/445.39 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101
444.14/445.39 v -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120
444.14/445.39 v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139
444.14/445.39 v -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158
444.14/445.39 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177
444.14/445.39 v -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 x1196
444.14/445.39 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215
444.14/445.39 v -x1216 -x1217 -x1218 x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234
444.14/445.39 v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253
444.14/445.39 v x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272
444.14/445.39 v x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291
444.14/445.39 v -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
444.14/445.39 v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329
444.14/445.39 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348
444.14/445.39 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367
444.14/445.39 v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386
444.14/445.39 v -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405
444.14/445.39 v -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424
444.14/445.39 v -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443
444.14/445.39 v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462
444.14/445.39 v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481
444.14/445.39 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500
444.14/445.39 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519
444.14/445.39 v x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538
444.14/445.39 v -x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557
444.14/445.39 v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 x1575 -x1576
444.14/445.39 v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595
444.14/445.39 v -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614
444.14/445.39 v -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633
444.14/445.39 v -x1634 -x1635 x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652
444.14/445.39 v -x1653 -x1654 -x1655 -x1656 x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671
444.14/445.39 v x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690
444.14/445.39 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709
444.14/445.39 v x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 -x1728
444.14/445.39 v -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747
444.14/445.39 v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766
444.14/445.39 v x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785
444.14/445.39 v -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804
444.14/445.39 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 -x1821 -x1822 -x1823
444.14/445.39 v -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842
444.14/445.39 v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861
444.14/445.39 v x1862 -x1863 -x1864 -x1865 x1866 x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
444.14/445.39 v -x1881 -x1882 -x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899
444.14/445.39 v -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918
444.14/445.39 v -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937
444.14/445.39 v -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956
444.14/445.39 v -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975
444.14/445.39 v -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994
444.14/445.39 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013
444.14/445.39 v x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032
444.14/445.39 v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 x2047 -x2048 -x2049 -x2050 -x2051
444.14/445.39 v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070
444.14/445.39 v x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089
444.14/445.39 v -x2090 -x2091 -x2092 x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108
444.14/445.39 v -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127
444.14/445.39 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146
444.14/445.39 v -x2147 -x2148 -x2149 -x2150 x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 x2162 -x2163 -x2164 -x2165
444.14/445.39 v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 x2178 -x2179 -x2180 x2181 -x2182 -x2183 -x2184
444.14/445.39 v -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203
444.14/445.39 v -x2204 -x2205 -x2206 -x2207 x2208 x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222
444.14/445.39 v -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241
444.14/445.39 v -x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 -x2250 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
444.14/445.39 v x2261 -x2262 -x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279
444.14/445.39 v -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 -x2287 x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298
444.14/445.39 v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 x2308 -x2309 -x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317
444.14/445.39 v -x2318 x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 -x2336
444.14/445.39 v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 x2344 -x2345 -x2346 x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355
444.14/445.39 v -x2356 -x2357 x2358 -x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374
444.14/445.39 v -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 -x2391 -x2392 -x2393
444.14/445.39 v -x2394 -x2395 x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 x2406 -x2407 -x2408 x2409 -x2410 -x2411 -x2412
444.14/445.39 v -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 x2429 -x2430 -x2431
444.14/445.39 v -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450
444.14/445.39 v -x2451 -x2452 x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 x2466 -x2467 -x2468 -x2469
444.14/445.39 v x2470 -x2471 -x2472 -x2473 -x2474 -x2475 x2476 -x2477 -x2478 x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488
444.14/445.39 v x2489 -x2490 -x2491 -x2492 -x2493 -x2494 x2495 -x2496 -x2497 -x2498 -x2499 -x2500 x2501 -x2502 -x2503 -x2504 -x2505 x2506 -x2507
444.14/445.39 v -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526
444.14/445.39 v -x2527 -x2528 -x2529 x2530 -x2531 -x2532 -x2533 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 -x2543 -x2544 -x2545
444.14/445.39 v -x2546 -x2547 -x2548 -x2549 -x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x2560 -x2561 -x2562 x2563 -x2564
444.14/445.39 v -x2565 -x2566 -x2567 -x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 -x2581 -x2582 -x2583
444.14/445.39 v x2584 -x2585 -x2586 -x2587 x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602
444.14/445.39 v -x2603 x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621
444.14/445.39 v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 x2634 -x2635 -x2636 -x2637 -x2638 -x2639 x2640
444.14/445.39 v x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659
444.14/445.39 v -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678
444.14/445.39 v -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 -x2696 x2697
444.14/445.39 v -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716
444.14/445.39 v x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735
444.14/445.39 v -x2736 -x2737 -x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 x2748 -x2749 -x2750 -x2751 -x2752 -x2753 x2754
444.14/445.39 v x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 x2769 -x2770 -x2771 -x2772 -x2773
444.14/445.39 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 x2787 -x2788 -x2789 -x2790 -x2791 -x2792
444.14/445.39 v x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 x2811
444.14/445.39 v -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 x2826 -x2827 -x2828 -x2829 -x2830
444.14/445.39 v -x2831 x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x2840 -x2841 -x2842 x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849
444.14/445.39 v -x2850 -x2851 -x2852 -x2853 -x2854 x2855 -x2856 -x2857 x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 x2865 -x2866 -x2867 -x2868
444.14/445.39 v -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887
444.14/445.39 v -x2888 x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 x2897 -x2898 -x2899 -x2900 -x2901 x2902 -x2903 -x2904 -x2905 -x2906
444.14/445.39 v -x2907 x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 -x2916 -x2917 -x2918 -x2919 x2920 -x2921 -x2922 x2923 -x2924 -x2925
444.14/445.39 v -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944
444.14/445.39 v -x2945 -x2946 -x2947 -x2948 -x2949 x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 x2961 -x2962 -x2963
444.14/445.39 v -x2964 -x2965 -x2966 -x2967 x2968 -x2969 -x2970 -x2971 -x2972 -x2973 x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982
444.14/445.39 v x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x2990 -x2991 -x2992 -x2993 -x2994 x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001
444.14/445.39 v -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 -x3013 -x3014 -x3015 x3016 -x3017 -x3018 -x3019 -x3020
444.14/445.39 v -x3021 x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039
444.14/445.39 v x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 x3057 -x3058
444.14/445.39 v -x3059 -x3060 -x3061 -x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077
444.14/445.39 v -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 -x3085 x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 x3096
444.14/445.39 v -x3097 -x3098 -x3099 x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 x3107 -x3108 x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115
444.14/445.39 v -x3116 -x3117 -x3118 x3119 -x3120 -x3121 -x3122 -x3123 -x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 x3134
444.14/445.39 v -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 x3141 -x3142 -x3143 -x3144 x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 x3152 -x3153
444.14/445.39 v -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 x3161 -x3162 -x3163 -x3164 x3165 -x3166 -x3167 -x3168 x3169 -x3170 -x3171 -x3172
444.14/445.39 v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191
444.14/445.39 v -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 x3209 -x3210
444.14/445.39 v -x3211 -x3212 -x3213 -x3214 x3215 -x3216 -x3217 -x3218 -x3219 -x3220 x3221 -x3222 x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229
444.14/445.39 v -x3230 x3231 -x3232 -x3233 -x3234 -x3235 x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248
444.14/445.39 v x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 x3266 -x3267
444.14/445.39 v -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 -x3283 x3284 -x3285 -x3286
444.14/445.39 v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 x3294 -x3295 -x3296 -x3297 -x3298 -x3299 x3300 -x3301 -x3302 -x3303 -x3304 -x3305
444.14/445.39 v x3306 -x3307 x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 x3322 -x3323 -x3324
444.14/445.39 v -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 x3336 -x3337 -x3338 -x3339 -x3340 -x3341 x3342 -x3343
444.14/445.39 v -x3344 -x3345 x3346 -x3347 -x3348 x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362
444.14/445.39 v x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 x3378 -x3379 -x3380 -x3381
444.14/445.39 v -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400
444.14/445.39 v -x3401 x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 x3418 -x3419
444.14/445.39 v -x3420 -x3421 -x3422 x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 x3430 -x3431 -x3432 -x3433 x3434 -x3435 -x3436 -x3437 -x3438
444.14/445.39 v -x3439 -x3440 x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457
444.14/445.39 v -x3458 x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 x3476
444.14/445.39 v -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495
444.14/445.39 v -x3496 -x3497 x3498 -x3499 -x3500 -x3501 -x3502 -x3503 x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 x3513 -x3514
444.14/445.39 v -x3515 -x3516 -x3517 -x3518 x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 x3530 -x3531 -x3532 -x3533
444.14/445.39 v -x3534 -x3535 x3536 -x3537 -x3538 -x3539 -x3540 x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 x3552
444.14/445.39 v -x3553 -x3554 -x3555 -x3556 -x3557 x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571
444.14/445.39 v -x3572 -x3573 -x3574 -x3575 x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590
444.14/445.39 v -x3591 -x3592 x3593 -x3594 -x3595 -x3596 -x3597 -x3598 x3599 -x3600 -x3601 -x3602 -x3603 x3604 -x3605 -x3606 -x3607 -x3608 -x3609
444.14/445.39 v x3610 -x3611 -x3612 -x3613 -x3614 -x3615 x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 x3625 -x3626 -x3627 -x3628
444.14/445.39 v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647
444.14/445.39 v x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657 x3658 -x3659 -x3660 -x3661 x3662 -x3663 -x3664 -x3665 -x3666
444.14/445.39 v -x3667 -x3668 -x3669 -x3670 x3671 -x3672 -x3673 -x3674 x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 x3683 -x3684 -x3685
444.14/445.39 v -x3686 x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704
444.14/445.39 v -x3705 -x3706 x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 x3722 -x3723
444.14/445.39 v -x3724 -x3725 -x3726 -x3727 x3728 -x3729 -x3730 -x3731 -x3732 -x3733 x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 x3742
444.14/445.39 v -x3743 -x3744 -x3745 -x3746 -x3747 x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761
444.14/445.39 v x3762 -x3763 x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 x3778 -x3779 -x3780
444.14/445.39 v -x3781 -x3782 -x3783 -x3784 -x3785 x3786 -x3787 -x3788 -x3789 -x3790 x3791 -x3792 -x3793 -x3794 -x3795 -x3796 x3797 -x3798 -x3799
444.14/445.39 v -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818
444.14/445.39 v -x3819 -x3820 x3821 -x3822 x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 x3836 -x3837
444.14/445.39 v -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 x3853 -x3854 -x3855 -x3856
444.14/445.39 v -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 -x3865 -x3866 -x3867 -x3868 -x3869 x3870 -x3871 -x3872 -x3873 x3874 -x3875
444.14/445.39 v -x3876 -x3877 x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 x3892 -x3893 -x3894
444.14/445.39 v x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913
444.14/445.39 v -x3914 -x3915 -x3916 x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 x3927 -x3928 -x3929 -x3930 -x3931 -x3932
444.14/445.39 v x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 x3942 -x3943 -x3944 -x3945 -x3946 -x3947 x3948 -x3949 x3950 -x3951
444.14/445.39 v -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 x3966 -x3967 -x3968 -x3969 -x3970
444.14/445.39 v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989
444.14/445.39 v x3990 -x3991 -x3992 -x3993 -x3994 x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 x4002 -x4003 -x4004 x4005 -x4006 -x4007 -x4008
444.14/445.39 v x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027
444.14/445.39 v -x4028 -x4029 x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 x4044 x4045 -x4046
444.14/445.39 v -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 x4060 -x4061 -x4062 -x4063 -x4064 x4065
444.14/445.39 v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 x4072 -x4073 -x4074 -x4075 -x4076 -x4077 x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084
444.14/445.39 v x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 x4097 -x4098 -x4099 x4100 -x4101 -x4102 -x4103
444.14/445.39 v -x4104 -x4105 -x4106 -x4107 x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 x4116 x4117 -x4118 -x4119 -x4120 -x4121 -x4122
444.14/445.39 v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 x4133 -x4134 -x4135 -x4136 x4137 -x4138 -x4139 -x4140 -x4141
444.14/445.39 v -x4142 -x4143 -x4144 -x4145 x4146 x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 x4156 -x4157 -x4158 -x4159 x4160
444.14/445.39 v -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 x4176 -x4177 -x4178 -x4179
444.14/445.39 v -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 x4195 -x4196 -x4197 -x4198
444.14/445.39 v -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217
444.14/445.39 v x4218 -x4219 x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 x4229 -x4230 -x4231 -x4232 x4233 -x4234 -x4235 -x4236
444.14/445.39 v -x4237 -x4238 -x4239 x4240 -x4241 -x4242 -x4243 -x4244 -x4245 x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 x4254 -x4255
444.14/445.39 v x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 x4263 -x4264 -x4265 -x4266 -x4267 -x4268 x4269 -x4270 -x4271 -x4272 -x4273 x4274
444.14/445.39 v -x4275 -x4276 -x4277 -x4278 -x4279 x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 -x4287 -x4288 -x4289 -x4290 x4291 -x4292 -x4293
444.14/445.39 v -x4294 -x4295 -x4296 x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 x4308 -x4309 -x4310 -x4311 -x4312
444.14/445.39 v -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331
444.14/445.39 v x4332 x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350
444.14/445.39 v x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 x4360 -x4361 -x4362 -x4363 -x4364 -x4365 x4366 -x4367 -x4368 -x4369
444.14/445.39 v -x4370 x4371 -x4372 -x4373 -x4374 -x4375 -x4376 x4377 -x4378 -x4379 -x4380 -x4381 -x4382 x4383 -x4384 -x4385 -x4386 x4387 -x4388
444.14/445.39 v -x4389 -x4390 -x4391 -x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 x4407
444.14/445.39 v -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 x4419 -x4420 -x4421 -x4422 -x4423 x4424 -x4425 -x4426
444.14/445.39 v -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445
444.14/445.39 v -x4446 -x4447 -x4448 -x4449 -x4450 x4451 -x4452 -x4453 -x4454 -x4455 x4456 -x4457 -x4458 x4459 -x4460 -x4461 -x4462 -x4463 -x4464
444.14/445.39 v -x4465 -x4466 x4467 -x4468 -x4469 -x4470 x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 x4479 -x4480 -x4481 -x4482 -x4483
444.14/445.39 v -x4484 -x4485 -x4486 -x4487 x4488 -x4489 -x4490 -x4491 x4492 -x4493 -x4494 -x4495 x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502
444.14/445.39 v -x4503 -x4504 x4505 -x4506 -x4507 -x4508 -x4509 -x4510 x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 x4518 -x4519 -x4520 -x4521
444.14/445.39 v -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 x4536 -x4537 -x4538 -x4539 -x4540
444.14/445.39 v x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559
444.14/445.39 v -x4560 -x4561 -x4562 -x4563 -x4564 x4565 -x4566 x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 x4574 -x4575 -x4576 -x4577 -x4578
444.14/445.39 v -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 x4595 -x4596 -x4597
444.14/445.39 v x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 x4607 -x4608 x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616
444.14/445.39 v -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 x4625 -x4626 -x4627 x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635
444.14/445.39 v -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 x4643 -x4644 -x4645 x4646 -x4647 -x4648 -x4649 -x4650 -x4651 x4652 -x4653 -x4654
444.14/445.39 v -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 x4662
444.14/445.39 c SCIP Status : problem is solved [optimal solution found]
444.14/445.39 c Total Time : 445.38
444.14/445.39 c solving : 445.38
444.14/445.39 c presolving : 0.84 (included in solving)
444.14/445.39 c reading : 0.06 (included in solving)
444.14/445.39 c copying : 0.07 (2 #copies) (minimal 0.03, maximal 0.04, average 0.04)
444.14/445.39 c Original Problem :
444.14/445.39 c Problem name : HOME/instance-4492159-1751145886.opb
444.14/445.39 c Variables : 4662 (4662 binary, 0 integer, 0 continuous)
444.14/445.39 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
444.14/445.39 c Constraints : 31725 initial, 31725 maximal
444.14/445.39 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
444.14/445.39 c Presolved Problem :
444.14/445.39 c Problem name : t_HOME/instance-4492159-1751145886.opb
444.14/445.39 c Variables : 4662 (4662 binary, 0 integer, 0 continuous)
444.14/445.39 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
444.14/445.39 c Constraints : 31725 initial, 31877 maximal
444.14/445.39 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
444.14/445.39 c Nonzeros : 101202 constraint, 12402 clique table
444.14/445.39 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
444.14/445.39 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c domcol : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
444.14/445.39 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
444.14/445.39 c gateextraction : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
444.14/445.39 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
444.14/445.39 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c milp : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
444.14/445.39 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c sparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
444.14/445.39 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
444.14/445.39 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
444.14/445.39 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
444.14/445.39 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c symmetry : 0.54 0.00 1 0 0 0 0 0 0 0 0 0
444.14/445.39 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
444.14/445.39 c knapsack : 0.00 0.00 3 0 0 0 0 0 0 0 6 234
444.14/445.39 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
444.14/445.39 c linear : 0.08 0.01 2 0 0 0 0 0 0 0 0 0
444.14/445.39 c logicor : 0.03 0.00 3 0 0 0 0 0 0 0 0 0
444.14/445.39 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
444.14/445.39 c root node : - - - 22 - - 22 - - - - -
444.14/445.39 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
444.14/445.39 c integral : 0 0 0 0 29 0 0 20 0 0 0 0 0 0 58
444.14/445.39 c knapsack : 78+ 81 11 11728 0 0 0 14 636 9 164 780 274 0 0
444.14/445.39 c setppc : 951 951 11 11719 0 0 0 3 352 16 257 0 0 0 0
444.14/445.39 c linear : 0+ 6 0 2614 0 0 0 3 0 4 0 0 0 0 0
444.14/445.39 c logicor : 30696+ 30841 11 6838 0 0 0 1 113 6 1 0 0 0 0
444.14/445.39 c fixedvar : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
444.14/445.39 c countsols : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
444.14/445.39 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
444.14/445.39 c integral : 5.25 0.00 0.00 0.00 5.25 0.00 0.00 0.00 0.00 0.00
444.14/445.39 c knapsack : 0.02 0.00 0.01 0.02 0.00 0.00 0.00 0.00 0.00 0.00
444.14/445.39 c setppc : 0.05 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
444.14/445.39 c linear : 0.01 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
444.14/445.39 c logicor : 0.17 0.00 0.08 0.08 0.00 0.00 0.00 0.00 0.00 0.01
444.14/445.39 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
444.14/445.39 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
444.14/445.39 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
444.14/445.39 c Propagators : #Propagate #ResProp Cutoffs DomReds
444.14/445.39 c dualfix : 1 0 0 0
444.14/445.39 c genvbounds : 0 0 0 0
444.14/445.39 c nlobbt : 0 0 0 0
444.14/445.39 c obbt : 0 0 0 0
444.14/445.39 c probing : 0 0 0 0
444.14/445.39 c pseudoobj : 0 0 0 0
444.14/445.39 c redcost : 0 0 0 0
444.14/445.39 c rootredcost : 0 0 0 0
444.14/445.39 c symmetry : 2632 0 0 491
444.14/445.39 c vbounds : 4917 0 0 0
444.14/445.39 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
444.14/445.39 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
444.14/445.39 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
444.14/445.39 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
444.14/445.39 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
444.14/445.39 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
444.14/445.39 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
444.14/445.39 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
444.14/445.39 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
444.14/445.39 c symmetry : 0.61 0.00 0.54 0.07 0.00 0.00
444.14/445.39 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
444.14/445.39 c Symmetry :
444.14/445.39 c #affected vars : 4662 (4662 bin, 0 int, 0 cont)
444.14/445.39 c orbitopal red. : 0 reductions applied, 0 cutoffs
444.14/445.39 c orbital reduction: 491 reductions applied, 0 cutoffs
444.14/445.39 c lexicographic red: 0 reductions applied, 0 cutoffs
444.14/445.39 c shadow tree time : 0.00 s
444.14/445.39 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
444.14/445.39 c propagation : 0.00 21 21 - 234 44.9 4 21.8 - - -
444.14/445.39 c infeasible LP : 0.01 9 9 - 20 121.3 0 0.0 9 214.4 0
444.14/445.39 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
444.14/445.39 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
444.14/445.39 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
444.14/445.39 c applied globally : 0.00 - - 0 150 43.7 - - 9 - -
444.14/445.39 c applied locally : - - - 0 0 0.0 - - 0 - -
444.14/445.39 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
444.14/445.39 c cut pool : 0.01 - 25 21 - - 636 784 - - - - - (maximal pool size: 636)
444.14/445.39 c aggregation : 0.06 0.00 13 11 0 0 38 61 0 25 25 0 0
444.14/445.39 c > cmir : - - - - - - - 54 0 21 21 0 -
444.14/445.39 c > flowcover : - - - - - - - 2 0 1 1 0 -
444.14/445.39 c > knapsackcover : - - - - - - - 5 0 3 3 0 -
444.14/445.39 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c clique : 0.04 0.00 11 11 0 0 50 69 0 51 51 0 0
444.14/445.39 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c gomory : 20.93 0.00 12 10 0 0 403 498 0 34 34 0 0
444.14/445.39 c > gomorymi : - - - - - - - 187 0 3 3 0 -
444.14/445.39 c > strongcg : - - - - - - - 311 0 31 31 0 -
444.14/445.39 c impliedbounds : 0.00 0.00 13 11 0 0 69 79 0 58 58 0 0
444.14/445.39 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
444.14/445.39 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c multilinear : 0.00 0.00 17 11 0 0 0 0 0 0 0 0 0
444.14/445.39 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
444.14/445.39 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
444.14/445.39 c zerohalf : 0.18 0.00 13 11 0 0 78 77 2 67 66 1 0
444.14/445.39 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
444.14/445.39 c hybrid : 0.01 0.00 13 11 509 0 1057 471 0 1020
444.14/445.39 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
444.14/445.39 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
444.14/445.39 c Pricers : ExecTime SetupTime Calls Vars
444.14/445.39 c problem variables: 0.00 - 0 0
444.14/445.39 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
444.14/445.39 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
444.14/445.39 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
444.14/445.39 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
444.14/445.39 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
444.14/445.39 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
444.14/445.39 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
444.14/445.39 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
444.14/445.39 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
444.14/445.39 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
444.14/445.39 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
444.14/445.39 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
444.14/445.39 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
444.14/445.39 c random : 0.00 0.00 0 0 0 0 0 0 0 0
444.14/445.39 c relpscost : 5.25 0.00 29 0 0 0 0 0 0 58
444.14/445.39 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
444.14/445.39 c Primal Heuristics : ExecTime SetupTime Calls Found Best
444.14/445.39 c LP solutions : 0.00 - - 0 0
444.14/445.39 c relax solutions : 0.00 - - 0 0
444.14/445.39 c pseudo solutions : 0.00 - - 0 0
444.14/445.39 c strong branching : 0.00 - - 0 0
444.14/445.39 c actconsdiving : 0.00 0.00 0 0 0
444.14/445.39 c adaptivediving : 21.56 0.00 2 0 0
444.14/445.39 c alns : 0.10 0.00 1 0 0
444.14/445.39 c bound : 0.00 0.00 0 0 0
444.14/445.39 c clique : 0.07 0.00 1 0 0
444.14/445.39 c coefdiving : 0.00 0.00 0 0 0
444.14/445.39 c completesol : 0.00 0.00 0 0 0
444.14/445.39 c conflictdiving : 6.92 0.00 2 1 1
444.14/445.39 c crossover : 0.00 0.00 0 0 0
444.14/445.39 c dins : 0.00 0.00 0 0 0
444.14/445.39 c distributiondivin: 8.80 0.00 1 0 0
444.14/445.39 c dks : 0.00 0.00 0 0 0
444.14/445.39 c dps : 0.00 0.00 0 0 0
444.14/445.39 c dualval : 0.00 0.00 0 0 0
444.14/445.39 c farkasdiving : 0.00 0.00 0 0 0
444.14/445.39 c feaspump : 10.24 0.00 1 0 0
444.14/445.39 c fixandinfer : 0.00 0.00 0 0 0
444.14/445.39 c fracdiving : 4.37 0.00 1 0 0
444.14/445.39 c gins : 0.00 0.00 0 0 0
444.14/445.39 c guideddiving : 0.00 0.00 0 0 0
444.14/445.39 c indicator : 0.00 0.00 0 0 0
444.14/445.39 c indicatordiving : 0.00 0.00 0 0 0
444.14/445.39 c intdiving : 0.00 0.00 0 0 0
444.14/445.39 c intshifting : 0.00 0.00 0 0 0
444.14/445.39 c linesearchdiving : 6.95 0.00 1 0 0
444.14/445.39 c localbranching : 0.00 0.00 0 0 0
444.14/445.39 c locks : 0.01 0.00 1 0 0
444.14/445.39 c lpface : 0.00 0.00 0 0 0
444.14/445.39 c mpec : 0.00 0.00 0 0 0
444.14/445.39 c multistart : 0.00 0.00 0 0 0
444.14/445.39 c mutation : 0.00 0.00 0 0 0
444.14/445.39 c nlpdiving : 0.00 0.00 0 0 0
444.14/445.39 c objpscostdiving : 42.65 0.00 1 0 0
444.14/445.39 c octane : 0.00 0.00 0 0 0
444.14/445.39 c ofins : 0.00 0.00 0 0 0
444.14/445.39 c oneopt : 0.00 0.00 0 0 0
444.14/445.39 c padm : 0.00 0.00 0 0 0
444.14/445.39 c proximity : 0.00 0.00 0 0 0
444.14/445.39 c pscostdiving : 2.24 0.00 1 0 0
444.14/445.39 c randrounding : 0.14 0.00 12 0 0
444.14/445.39 c rens : 0.11 0.00 1 0 0
444.14/445.39 c reoptsols : 0.00 0.00 0 0 0
444.14/445.39 c repair : 0.00 0.00 0 0 0
444.14/445.39 c rins : 0.00 0.00 0 0 0
444.14/445.39 c rootsoldiving : 11.44 0.00 1 0 0
444.14/445.39 c rounding : 0.05 0.00 42 0 0
444.14/445.39 c scheduler : 0.00 0.00 0 0 0
444.14/445.39 c shiftandpropagate: 0.02 0.00 1 0 0
444.14/445.39 c shifting : 0.12 0.00 14 0 0
444.14/445.39 c simplerounding : 0.00 0.00 0 0 0
444.14/445.39 c subnlp : 0.00 0.00 0 0 0
444.14/445.39 c trivial : 0.00 0.00 2 0 0
444.14/445.39 c trivialnegation : 0.00 0.00 0 0 0
444.14/445.39 c trustregion : 0.00 0.00 0 0 0
444.14/445.39 c trysol : 0.00 0.00 0 0 0
444.14/445.39 c twoopt : 0.00 0.00 0 0 0
444.14/445.39 c undercover : 0.00 0.00 0 0 0
444.14/445.39 c vbounds : 0.03 0.00 1 0 0
444.14/445.39 c veclendiving : 1.99 0.00 1 0 0
444.14/445.39 c zeroobj : 0.00 0.00 0 0 0
444.14/445.39 c zirounding : 0.01 0.00 28 0 0
444.14/445.39 c other solutions : - - - 0 -
444.14/445.39 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
444.14/445.39 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
444.14/445.39 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
444.14/445.39 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
444.14/445.39 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
444.14/445.39 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
444.14/445.39 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
444.14/445.39 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
444.14/445.39 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
444.14/445.39 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
444.14/445.39 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
444.14/445.39 c primal LP : 0.01 2 0 0.00 - 0.01 2
444.14/445.39 c dual LP : 299.82 47 395013 8404.53 1317.52 0.00 0
444.14/445.39 c lex dual LP : 0.00 0 0 0.00 -
444.14/445.39 c barrier LP : 0.00 0 0 0.00 - 0.00 0
444.14/445.39 c resolve instable : 0.00 0 0 0.00 -
444.14/445.39 c diving/probing LP: 115.69 718 349501 486.77 3020.98
444.14/445.39 c strong branching : 5.01 19 11576 609.26 2311.67 - - 18
444.14/445.39 c (at root node) : - 19 11576 609.26 -
444.14/445.39 c conflict analysis: 0.00 0 0 0.00 -
444.14/445.39 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
444.14/445.39 c benders : 0.00 0 0 0 0.00 0 0 0
444.14/445.39 c B&B Tree :
444.14/445.39 c number of runs : 1
444.14/445.39 c nodes : 34 (29 internal, 5 leaves)
444.14/445.39 c feasible leaves : 0
444.14/445.39 c infeas. leaves : 5
444.14/445.39 c objective leaves : 0
444.14/445.39 c nodes (total) : 34 (29 internal, 5 leaves)
444.14/445.39 c nodes left : 0
444.14/445.39 c max depth : 10
444.14/445.39 c max depth (total): 10
444.14/445.39 c backtracks : 15 (44.1%)
444.14/445.39 c early backtracks : 0 (0.0%)
444.14/445.39 c nodes exc. ref. : 0 (0.0%)
444.14/445.39 c delayed cutoffs : 13
444.14/445.39 c repropagations : 4 (1 domain reductions, 2 cutoffs)
444.14/445.39 c avg switch length: 2.76
444.14/445.39 c switching time : 0.02
444.14/445.39 c Root Node :
444.14/445.39 c First LP value : +0.00000000000000e+00
444.14/445.39 c First LP Iters : 16713 (1337.80 Iter/sec)
444.14/445.39 c First LP Time : 12.49
444.14/445.39 c Final Dual Bound : +0.00000000000000e+00
444.14/445.39 c Final Root Iters : 168256
444.14/445.39 c Root LP Estimate : +4.94407138003684e-03
444.14/445.39 c Solution :
444.14/445.39 c Solutions found : 1 (1 improvements)
444.14/445.39 c First Solution : +0.00000000000000e+00 (in run 1, after 34 nodes, 445.37 seconds, depth 176, found by <conflictdiving>)
444.14/445.39 c Gap First Sol. : 0.00 %
444.14/445.39 c Gap Last Sol. : 0.00 %
444.14/445.39 c Primal Bound : +0.00000000000000e+00 (in run 1, after 34 nodes, 445.37 seconds, depth 176, found by <conflictdiving>)
444.14/445.39 c Dual Bound : +0.00000000000000e+00
444.14/445.39 c Gap : 0.00 %
444.14/445.39 c Integrals : Total Avg%
444.14/445.39 c primal-dual : 44537.40 100.00
444.14/445.39 c primal-ref : - - (not evaluated)
444.14/445.39 c dual-ref : - - (not evaluated)
444.24/445.46 c Time complete (sec): 444.318
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (63183 MiB free)
memory of node 1: 64465 MiB (63931 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492159-1751145886/watcher-4492159-1751145886 -o /tmp/evaluation-result-4492159-1751145886/solver-4492159-1751145886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751145886-16099 --watchdog 3760 pbsolver -f HOME/instance-4492159-1751145886.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16156, runsolver pid=16149
[startup+0.10006 s]*
/proc/loadavg: 0.81 1.48 2.25 6/266 16157
/proc/meminfo: memFree=129985844/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=77080 memory=66036 CPUtime=0.09 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 14453 0 0 0 7 2 0 0 20 0 1 0 30267287 78929920 16509 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 19270 16509 2432 2575 0 16177 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77080 KiB
Current children cumulated memory: 66036 KiB
[startup+0.205569 s]*
/proc/loadavg: 0.81 1.48 2.25 6/266 16157
/proc/meminfo: memFree=129877420/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=93608 memory=83080 CPUtime=0.2 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 22928 0 0 0 17 3 0 0 20 0 1 0 30267287 95854592 20770 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 23402 20770 2496 2575 0 20309 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93608 KiB
Current children cumulated memory: 83080 KiB
[startup+0.305907 s]*
/proc/loadavg: 0.81 1.48 2.25 6/266 16157
/proc/meminfo: memFree=129893256/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=97460 memory=86716 CPUtime=0.3 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 25063 0 0 0 26 4 0 0 20 0 1 0 30267287 99799040 21679 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 24365 21679 2560 2575 0 21272 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 97460 KiB
Current children cumulated memory: 86716 KiB
[startup+0.700159 s]
/proc/loadavg: 0.81 1.48 2.25 6/266 16157
/proc/meminfo: memFree=129756800/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=144596 memory=124624 CPUtime=0.68 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 34228 0 0 0 63 5 0 0 20 0 1 0 30267287 148066304 31156 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 36149 31156 2592 2575 0 33056 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 144596 KiB
Current children cumulated memory: 124624 KiB
[startup+1.50012 s]
/proc/loadavg: 0.81 1.48 2.25 6/266 16157
/proc/meminfo: memFree=129604848/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=185200 memory=165560 CPUtime=1.49 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 44845 0 0 0 142 7 0 0 20 0 1 0 30267287 189644800 41390 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 46300 41390 2656 2575 0 43207 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 185200 KiB
Current children cumulated memory: 165560 KiB
[startup+3.10526 s]
/proc/loadavg: 1.15 1.54 2.26 6/266 16157
/proc/meminfo: memFree=129597632/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=187924 memory=168248 CPUtime=3.09 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 45514 0 0 0 302 7 0 0 20 0 1 0 30267287 192434176 42062 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 46981 42062 2656 2575 0 43888 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 187924 KiB
Current children cumulated memory: 168248 KiB
[startup+6.30011 s]
/proc/loadavg: 1.15 1.54 2.26 6/267 16158
/proc/meminfo: memFree=129598060/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=187924 memory=168376 CPUtime=6.28 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 45533 0 0 0 621 7 0 0 20 0 1 0 30267287 192434176 42094 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 46981 42094 2656 2575 0 43888 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 187924 KiB
Current children cumulated memory: 168376 KiB
[startup+12.7001 s]
/proc/loadavg: 1.37 1.58 2.27 6/267 16159
/proc/meminfo: memFree=129582508/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=189908 memory=169528 CPUtime=12.66 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 45831 0 0 0 1259 7 0 0 20 0 1 0 30267287 194465792 42382 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 47477 42382 2656 2575 0 44384 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 189908 KiB
Current children cumulated memory: 169528 KiB
[startup+25.5001 s]
/proc/loadavg: 1.96 1.70 2.30 6/267 16159
/proc/meminfo: memFree=129522220/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=222868 memory=197824 CPUtime=25.43 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 52418 0 0 0 2534 9 0 0 20 0 1 0 30267287 228216832 49456 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 55717 49456 2688 2575 0 52624 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 222868 KiB
Current children cumulated memory: 197824 KiB
[startup+51.1051 s]
/proc/loadavg: 2.74 1.90 2.35 6/267 16159
/proc/meminfo: memFree=129492284/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=233272 memory=201152 CPUtime=50.97 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 53224 0 0 0 5088 9 0 0 20 0 1 0 30267287 238870528 50288 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 58318 50288 2688 2575 0 55225 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 233272 KiB
Current children cumulated memory: 201152 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 2.24 2.45 6/268 16166
/proc/meminfo: memFree=129473984/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=254404 memory=208448 CPUtime=102.03 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 55052 0 0 0 10194 9 0 0 20 0 1 0 30267287 260509696 52112 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 63601 52112 2688 2575 0 60508 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 254404 KiB
Current children cumulated memory: 208448 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.58 2.55 6/268 16171
/proc/meminfo: memFree=129284752/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=295256 memory=240472 CPUtime=161.87 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 66656 0 0 0 16176 11 0 0 20 0 1 0 30267287 302342144 60118 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 73814 60118 2688 2575 0 70721 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 295256 KiB
Current children cumulated memory: 240472 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.87 2.66 6/266 16173
/proc/meminfo: memFree=129272012/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=295256 memory=240600 CPUtime=221.71 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 66701 0 0 0 22160 11 0 0 20 0 1 0 30267287 302342144 60150 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 73814 60150 2688 2575 0 70721 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 295256 KiB
Current children cumulated memory: 240600 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.10 2.75 6/266 16175
/proc/meminfo: memFree=129258204/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=295800 memory=241240 CPUtime=281.56 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 66881 0 0 0 28145 11 0 0 20 0 1 0 30267287 302899200 60310 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 73950 60310 2688 2575 0 70857 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 295800 KiB
Current children cumulated memory: 241240 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.28 2.84 6/264 16177
/proc/meminfo: memFree=129239172/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=295800 memory=241240 CPUtime=341.4 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 66882 0 0 0 34129 11 0 0 20 0 1 0 30267287 302899200 60310 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 73950 60310 2688 2575 0 70857 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 295800 KiB
Current children cumulated memory: 241240 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.44 2.92 6/264 16179
/proc/meminfo: memFree=129244892/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=295800 memory=241240 CPUtime=401.25 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 66900 0 0 0 40114 11 0 0 20 0 1 0 30267287 302899200 60310 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 73950 60310 2688 2575 0 70857 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 295800 KiB
Current children cumulated memory: 241240 KiB
[startup+445.472 s]
# the end of solver process 16156 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=444.198 s, system=0.126626 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 4.11 3.46 2.93 6/263 16179
/proc/meminfo: memFree=129244940/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=295800 memory=241240 CPUtime=408.53 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 66901 0 0 0 40842 11 0 0 20 0 1 0 30267287 302899200 60310 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 73950 60310 2688 2575 0 70857 0
Current children cumulated CPU time: 408.53 s
Current children cumulated vsize: 295800 KiB
Current children cumulated memory: 241240 KiB
[startup+422.4 s]
/proc/loadavg: 4.09 3.48 2.94 6/263 16180
/proc/meminfo: memFree=129233332/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=295800 memory=241240 CPUtime=421.3 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 66904 0 0 0 42119 11 0 0 20 0 1 0 30267287 302899200 60310 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 73950 60310 2688 2575 0 70857 0
Current children cumulated CPU time: 421.3 s
Current children cumulated vsize: 295800 KiB
Current children cumulated memory: 241240 KiB
[startup+435.2 s]
/proc/loadavg: 4.15 3.52 2.97 6/263 16180
/proc/meminfo: memFree=129232604/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=295800 memory=241752 CPUtime=434.07 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 66905 0 0 0 43396 11 0 0 20 0 1 0 30267287 302899200 60438 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 73950 60438 2688 2575 0 70857 0
Current children cumulated CPU time: 434.07 s
Current children cumulated vsize: 295800 KiB
Current children cumulated memory: 241752 KiB
[startup+441.6 s]
/proc/loadavg: 4.14 3.53 2.97 6/263 16182
/proc/meminfo: memFree=129232208/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=295800 memory=241752 CPUtime=440.45 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 66911 0 0 0 44034 11 0 0 20 0 1 0 30267287 302899200 60438 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 73950 60438 2688 2575 0 70857 0
Current children cumulated CPU time: 440.45 s
Current children cumulated vsize: 295800 KiB
Current children cumulated memory: 241752 KiB
[startup+443.2 s]
/proc/loadavg: 4.13 3.54 2.98 6/263 16182
/proc/meminfo: memFree=129215608/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=295800 memory=245720 CPUtime=442.05 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 66920 0 0 0 44194 11 0 0 20 0 1 0 30267287 302899200 61430 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 73950 61430 2688 2575 0 70857 0
Current children cumulated CPU time: 442.05 s
Current children cumulated vsize: 295800 KiB
Current children cumulated memory: 245720 KiB
[startup+444.8 s]
/proc/loadavg: 4.13 3.54 2.98 6/263 16182
/proc/meminfo: memFree=129215624/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=295800 memory=245720 CPUtime=443.64 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 66920 0 0 0 44353 11 0 0 20 0 1 0 30267287 302899200 61430 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 73950 61430 2688 2575 0 70857 0
Current children cumulated CPU time: 443.64 s
Current children cumulated vsize: 295800 KiB
Current children cumulated memory: 245720 KiB
[startup+445.2 s]
/proc/loadavg: 4.13 3.54 2.98 6/263 16182
/proc/meminfo: memFree=129215632/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=295800 memory=245720 CPUtime=444.04 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 66920 0 0 0 44393 11 0 0 20 0 1 0 30267287 302899200 61430 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 73950 61430 2688 2575 0 70857 0
Current children cumulated CPU time: 444.04 s
Current children cumulated vsize: 295800 KiB
Current children cumulated memory: 245720 KiB
[startup+445.4 s]
/proc/loadavg: 4.13 3.54 2.98 6/263 16182
/proc/meminfo: memFree=129215632/131249996 swapFree=33010684/33010684
[pid=16156] ppid=16149 vsize=295800 memory=245720 CPUtime=444.24 cores=1,3
/proc/16156/stat : 16156 (pbsolver) R 16149 16156 16087 0 -1 4194304 66933 0 0 0 44413 11 0 0 20 0 1 0 30267287 302899200 61430 18446744073709551615 4198400 14743177 140734374861920 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 36773888 140734374865290 140734374865386 140734374865386 140734374870988 0
/proc/16156/statm: 73950 61430 2688 2575 0 70857 0
Current children cumulated CPU time: 444.24 s
Current children cumulated vsize: 295800 KiB
Current children cumulated memory: 245720 KiB
Child status: 0
Real time (s): 445.472
CPU time (s): 444.324
CPU user time (s): 444.198
CPU system time (s): 0.126626
CPU usage (%): 99.7424
Max. virtual memory (cumulated for all children) (KiB): 306072
Max. memory (cumulated for all children) (KiB): 248256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 444.198
system time used= 0.126626
maximum resident set size= 248528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66933
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= 7
involuntary context switches= 292
# summary of solver processes directly reported to runsolver:
# pid: 16156
# total CPU time (s): 444.324
# total CPU user time (s): 444.198
# total CPU system time (s): 0.126626
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.788489 second user time and 1.74716 second system time
The end