Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | OPT | 904 | 94.1437 | 94.1774 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-10teams.opb |
| MD5SUM | 6db31fd4066996ff4f309d723fc2c237 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 904 |
| Best CPU time to get the best result obtained on this benchmark | 54.7217 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 904 |
| Optimality of the best value was proved | YES |
| Number of variables | 1800 |
| Total number of constraints | 215 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 215 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 40 |
| Maximum length of a constraint | 72 |
| Number of terms in the objective function | 1800 |
| Biggest coefficient in the objective function | 86 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 41700 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 86 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 41700 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665594-1276358801.opb>
0.00/0.03 c original problem has 1800 variables (1800 bin, 0 int, 0 impl, 0 cont) and 215 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.06 c (round 1) 200 del vars, 5 del conss, 200 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 170 clqs
0.07/0.08 c (round 2) 200 del vars, 5 del conss, 200 chg bounds, 0 chg sides, 0 chg coeffs, 210 upgd conss, 0 impls, 170 clqs
0.19/0.20 c (0.1s) probing: 101/1600 (6.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (3 rounds):
0.19/0.20 c 200 deleted vars, 5 deleted constraints, 200 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 0 implications, 170 cliques
0.19/0.20 c presolved problem has 1600 variables (1600 bin, 0 int, 0 impl, 0 cont) and 210 constraints
0.19/0.20 c 40 constraints of type <knapsack>
0.19/0.20 c 170 constraints of type <setppc>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.14
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.2
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1799.97
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 1620
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.21 c
0.29/0.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.36 c 0.3s| 1 | 0 | 845 | - |6648k| 0 | 161 |1600 | 210 |1600 | 210 | 0 | 0 | 0 | 8.970000e+02 | -- | Inf
0.59/0.64 c 0.6s| 1 | 0 | 1024 | - |6733k| 0 | 173 |1600 | 210 |1600 | 222 | 12 | 0 | 0 | 9.010000e+02 | -- | Inf
0.69/0.71 c 0.6s| 1 | 0 | 1067 | - |6737k| 0 | 176 |1600 | 210 |1600 | 228 | 18 | 0 | 0 | 9.010000e+02 | -- | Inf
0.79/0.81 c 0.7s| 1 | 0 | 1206 | - |6763k| 0 | 182 |1600 | 210 |1600 | 237 | 27 | 0 | 0 | 9.030000e+02 | -- | Inf
0.79/0.88 c 0.8s| 1 | 0 | 1256 | - |6769k| 0 | 188 |1600 | 210 |1600 | 245 | 35 | 0 | 0 | 9.030000e+02 | -- | Inf
0.89/0.96 c 0.9s| 1 | 0 | 1339 | - |6776k| 0 | 195 |1600 | 210 |1600 | 252 | 42 | 0 | 0 | 9.030000e+02 | -- | Inf
1.00/1.04 c 0.9s| 1 | 0 | 1389 | - |6783k| 0 | 199 |1600 | 210 |1600 | 257 | 47 | 0 | 0 | 9.030000e+02 | -- | Inf
1.10/1.13 c 1.0s| 1 | 0 | 1493 | - |6792k| 0 | 200 |1600 | 210 |1600 | 264 | 54 | 0 | 0 | 9.030000e+02 | -- | Inf
1.19/1.24 c 1.1s| 1 | 0 | 1666 | - |6802k| 0 | 195 |1600 | 210 |1600 | 272 | 62 | 0 | 0 | 9.040000e+02 | -- | Inf
1.39/1.40 c 1.3s| 1 | 0 | 2003 | - |6812k| 0 | 203 |1600 | 210 |1600 | 281 | 71 | 0 | 0 | 9.040000e+02 | -- | Inf
1.49/1.50 c 1.4s| 1 | 0 | 2113 | - |6820k| 0 | 215 |1600 | 210 |1600 | 289 | 79 | 0 | 0 | 9.040000e+02 | -- | Inf
1.49/1.59 c 1.5s| 1 | 0 | 2290 | - |6828k| 0 | 218 |1600 | 210 |1600 | 293 | 86 | 0 | 0 | 9.040000e+02 | -- | Inf
1.59/1.63 c 1.5s| 1 | 0 | 2327 | - |6837k| 0 | 224 |1600 | 210 |1600 | 301 | 94 | 0 | 0 | 9.040000e+02 | -- | Inf
1.69/1.70 c 1.6s| 1 | 0 | 2390 | - |6845k| 0 | 228 |1600 | 210 |1600 | 307 | 100 | 0 | 0 | 9.040000e+02 | -- | Inf
9.29/9.33 c 9.2s| 1 | 2 | 2390 | - |6846k| 0 | 228 |1600 | 210 |1600 | 307 | 100 | 0 | 33 | 9.040000e+02 | -- | Inf
41.37/41.43 o 984
41.37/41.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.37/41.43 c *41.1s| 152 | 63 | 25143 | 150.7 |7207k| 23 | - |1600 | 237 |1600 | 279 | 100 | 27 | 333 | 9.040000e+02 | 9.840000e+02 | 8.85%
58.97/59.04 o 936
58.97/59.04 c *58.4s| 588 | 271 | 93160 | 154.6 |8235k| 28 | - |1600 | 320 |1600 | 279 | 100 | 110 | 454 | 9.040000e+02 | 9.360000e+02 | 3.54%
67.97/68.03 o 912
67.97/68.03 c *67.2s| 791 | 361 |127425 | 158.3 |8591k| 32 | - |1600 | 360 |1600 | 279 | 100 | 150 | 509 | 9.040000e+02 | 9.120000e+02 | 0.88%
94.05/94.15 o 904
94.05/94.15 c *92.5s| 1058 | 0 |226020 | 211.6 |7289k| 32 | - |1600 | 409 |1600 | 279 | 100 | 207 | 660 | 9.040000e+02 | 9.040000e+02 | 0.00%
94.05/94.15 c
94.05/94.15 c SCIP Status : problem is solved [optimal solution found]
94.05/94.15 c Solving Time (sec) : 92.49
94.05/94.15 c Solving Nodes : 1058
94.05/94.15 c Primal Bound : +9.04000000000000e+02 (4 solutions)
94.05/94.15 c Dual Bound : +9.04000000000000e+02
94.05/94.15 c Gap : 0.00 %
94.05/94.15 s OPTIMUM FOUND
94.05/94.15 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008
94.05/94.15 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989
94.05/94.15 v -x988 -x987 x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968
94.05/94.15 v -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947
94.05/94.15 v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 x938 -x937 -x936 -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926
94.05/94.15 v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905
94.05/94.15 v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884
94.05/94.15 v -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 -x863
94.05/94.15 v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843
94.05/94.15 v -x842 -x841 -x840 -x839 -x838 x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822
94.05/94.15 v -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801
94.05/94.15 v -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780
94.05/94.15 v -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759
94.05/94.15 v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738
94.05/94.15 v -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717
94.05/94.15 v -x716 -x715 -x714 -x713 -x712 -x711 x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696
94.05/94.15 v -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675
94.05/94.15 v -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654
94.05/94.15 v -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634
94.05/94.15 v -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613
94.05/94.15 v -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592
94.05/94.15 v -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571
94.05/94.15 v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550
94.05/94.15 v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529
94.05/94.15 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 x509 -x508
94.05/94.15 v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487
94.05/94.15 v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466
94.05/94.15 v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445
94.05/94.15 v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 -x424
94.05/94.15 v -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403
94.05/94.15 v -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382
94.05/94.15 v -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362
94.05/94.15 v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341
94.05/94.15 v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320
94.05/94.15 v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299
94.05/94.15 v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278
94.05/94.15 v -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257
94.05/94.15 v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236
94.05/94.15 v -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215
94.05/94.15 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194
94.05/94.15 v -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173
94.05/94.15 v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153
94.05/94.15 v -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132
94.05/94.15 v -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111
94.05/94.15 v -x110 -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88
94.05/94.15 v -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63
94.05/94.15 v -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38
94.05/94.15 v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13
94.05/94.15 v -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790
94.05/94.15 v -x1789 -x1788 -x1787 x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772
94.05/94.15 v -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754
94.05/94.15 v -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736
94.05/94.15 v -x1735 -x1734 -x1733 x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718
94.05/94.15 v -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700
94.05/94.15 v -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682
94.05/94.15 v -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664
94.05/94.15 v -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647
94.05/94.15 v -x1646 -x1645 x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629
94.05/94.15 v -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611
94.05/94.15 v -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593
94.05/94.15 v -x1592 -x1591 -x1590 -x1589 x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575
94.05/94.15 v -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 x1559 -x1558 -x1557
94.05/94.15 v -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539
94.05/94.15 v -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521
94.05/94.15 v -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503
94.05/94.15 v -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 x1489 -x1488 -x1487 -x1486 -x1485
94.05/94.15 v -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467
94.05/94.15 v -x1466 -x1465 -x1464 -x1463 -x1462 x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449
94.05/94.15 v -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432
94.05/94.15 v -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414
94.05/94.15 v -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 x1400 -x1399 -x1398 -x1397 -x1396
94.05/94.15 v -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378
94.05/94.15 v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360
94.05/94.15 v x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342
94.05/94.15 v -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324
94.05/94.15 v -x1323 x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306
94.05/94.15 v -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 x1288
94.05/94.15 v -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270
94.05/94.15 v -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252
94.05/94.15 v -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235
94.05/94.15 v -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217
94.05/94.15 v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 x1200 -x1199
94.05/94.15 v -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181
94.05/94.15 v -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163
94.05/94.15 v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145
94.05/94.15 v -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 x1128 -x1127
94.05/94.15 v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109
94.05/94.15 v -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091
94.05/94.15 v -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073
94.05/94.15 v -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055
94.05/94.15 v -x1054 -x1053 -x1052 x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037
94.05/94.15 v -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027
94.05/94.15 c SCIP Status : problem is solved [optimal solution found]
94.05/94.15 c Solving Time : 92.49
94.05/94.15 c Original Problem :
94.05/94.15 c Problem name : HOME/instance-2665594-1276358801.opb
94.05/94.15 c Variables : 1800 (1800 binary, 0 integer, 0 implicit integer, 0 continuous)
94.05/94.15 c Constraints : 215 initial, 215 maximal
94.05/94.15 c Presolved Problem :
94.05/94.15 c Problem name : t_HOME/instance-2665594-1276358801.opb
94.05/94.15 c Variables : 1600 (1600 binary, 0 integer, 0 implicit integer, 0 continuous)
94.05/94.15 c Constraints : 210 initial, 409 maximal
94.05/94.15 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
94.05/94.15 c trivial : 0.00 0 0 0 0 0 0 0 0
94.05/94.15 c dualfix : 0.00 0 0 0 0 0 0 0 0
94.05/94.15 c boundshift : 0.00 0 0 0 0 0 0 0 0
94.05/94.15 c inttobinary : 0.00 0 0 0 0 0 0 0 0
94.05/94.15 c implics : 0.00 0 0 0 0 0 0 0 0
94.05/94.15 c probing : 0.06 0 0 0 0 0 0 0 0
94.05/94.15 c knapsack : 0.05 0 0 0 0 0 0 0 0
94.05/94.15 c setppc : 0.00 0 0 0 0 0 0 0 0
94.05/94.15 c linear : 0.02 200 0 0 200 0 5 0 0
94.05/94.15 c logicor : 0.00 0 0 0 0 0 0 0 0
94.05/94.15 c root node : - 130 - - 130 - - - -
94.05/94.15 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
94.05/94.15 c integral : 0 0 0 865 0 4 29 0 0 1698
94.05/94.15 c knapsack : 40 13 7145 4 0 8 7307 0 0 0
94.05/94.15 c setppc : 170 13 7137 4 0 21 41595 0 0 0
94.05/94.15 c logicor : 0+ 0 970 0 0 0 41 0 0 0
94.05/94.15 c countsols : 0 0 0 4 0 0 0 0 0 0
94.05/94.15 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
94.05/94.15 c integral : 46.26 0.00 0.00 46.26 0.00
94.05/94.15 c knapsack : 0.30 0.03 0.27 0.00 0.00
94.05/94.15 c setppc : 0.19 0.00 0.19 0.00 0.00
94.05/94.15 c logicor : 0.01 0.00 0.01 0.00 0.00
94.05/94.15 c countsols : 0.00 0.00 0.00 0.00 0.00
94.05/94.15 c Propagators : Time Calls Cutoffs DomReds
94.05/94.15 c vbounds : 0.00 2 0 0
94.05/94.15 c rootredcost : 0.00 3 0 130
94.05/94.15 c pseudoobj : 0.57 6949 0 0
94.05/94.15 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
94.05/94.15 c propagation : 0.03 29 29 353 130.9 7 42.4 -
94.05/94.15 c infeasible LP : 0.27 164 7 83 170.9 2 32.5 0
94.05/94.15 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
94.05/94.15 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
94.05/94.15 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
94.05/94.15 c applied globally : - - - 207 64.7 - - -
94.05/94.15 c applied locally : - - - 0 0.0 - - -
94.05/94.15 c Separators : Time Calls Cutoffs DomReds Cuts Conss
94.05/94.15 c cut pool : 0.00 12 - - 0 - (maximal pool size: 101)
94.05/94.15 c redcost : 0.07 989 0 3737 0 0
94.05/94.15 c impliedbounds : 0.01 13 0 0 0 0
94.05/94.15 c intobj : 0.00 0 0 0 0 0
94.05/94.15 c cgmip : 0.00 0 0 0 0 0
94.05/94.15 c gomory : 0.05 13 0 0 2 0
94.05/94.15 c strongcg : 0.05 13 0 0 4 0
94.05/94.15 c cmir : 0.16 10 0 0 0 0
94.05/94.15 c flowcover : 0.19 10 0 0 0 0
94.05/94.15 c clique : 0.08 13 0 0 99 0
94.05/94.15 c zerohalf : 0.00 0 0 0 0 0
94.05/94.15 c mcf : 0.01 1 0 0 0 0
94.05/94.15 c rapidlearning : 0.12 1 0 0 0 0
94.05/94.15 c Pricers : Time Calls Vars
94.05/94.15 c problem variables: 0.00 0 0
94.05/94.15 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
94.05/94.15 c relpscost : 46.26 861 4 29 0 0 1698
94.05/94.15 c pscost : 0.00 0 0 0 0 0 0
94.05/94.15 c inference : 0.00 0 0 0 0 0 0
94.05/94.15 c mostinf : 0.00 0 0 0 0 0 0
94.05/94.15 c leastinf : 0.00 0 0 0 0 0 0
94.05/94.15 c fullstrong : 0.00 0 0 0 0 0 0
94.05/94.15 c allfullstrong : 0.00 0 0 0 0 0 0
94.05/94.15 c random : 0.00 0 0 0 0 0 0
94.05/94.15 c Primal Heuristics : Time Calls Found
94.05/94.15 c LP solutions : 0.01 - 4
94.05/94.15 c pseudo solutions : 0.00 - 0
94.05/94.15 c intshifting : 0.00 0 0
94.05/94.15 c oneopt : 0.00 3 0
94.05/94.15 c feaspump : 0.04 2 0
94.05/94.15 c veclendiving : 0.83 8 0
94.05/94.15 c rootsoldiving : 1.04 4 0
94.05/94.15 c linesearchdiving : 0.80 8 0
94.05/94.15 c guideddiving : 4.15 8 0
94.05/94.15 c pscostdiving : 1.09 9 0
94.05/94.15 c trivial : 0.00 2 0
94.05/94.15 c simplerounding : 0.00 0 0
94.05/94.15 c zirounding : 0.03 853 0
94.05/94.15 c rounding : 0.22 370 0
94.05/94.15 c shifting : 0.19 98 0
94.05/94.15 c twoopt : 0.00 0 0
94.05/94.15 c fixandinfer : 0.00 0 0
94.05/94.15 c coefdiving : 3.99 9 0
94.05/94.15 c fracdiving : 3.71 9 0
94.05/94.15 c intdiving : 0.00 0 0
94.05/94.15 c actconsdiving : 0.00 0 0
94.05/94.15 c objpscostdiving : 0.19 4 0
94.05/94.15 c octane : 0.00 0 0
94.05/94.15 c rens : 0.43 1 0
94.05/94.15 c rins : 0.00 0 0
94.05/94.15 c localbranching : 0.00 0 0
94.05/94.15 c mutation : 0.00 0 0
94.05/94.15 c crossover : 0.04 1 0
94.05/94.15 c dins : 0.00 0 0
94.05/94.15 c undercover : 0.00 0 0
94.05/94.15 c nlp : 0.00 0 0
94.05/94.15 c trysol : 0.00 0 0
94.05/94.15 c LP : Time Calls Iterations Iter/call Iter/sec
94.05/94.15 c primal LP : 0.00 0 0 0.00 -
94.05/94.15 c dual LP : 26.99 1058 168254 159.03 6233.94
94.05/94.15 c lex dual LP : 0.00 0 0 0.00 -
94.05/94.15 c barrier LP : 0.00 0 0 0.00 -
94.05/94.15 c diving/probing LP: 13.42 4362 57766 13.24 4304.47
94.05/94.15 c strong branching : 46.20 660 204955 310.54 4436.26
94.05/94.15 c (at root node) : - 33 20355 616.82 -
94.05/94.15 c conflict analysis: 0.00 0 0 0.00 -
94.05/94.15 c B&B Tree :
94.05/94.15 c number of runs : 1
94.05/94.15 c nodes : 1058
94.05/94.15 c nodes (total) : 1058
94.05/94.15 c nodes left : 0
94.05/94.15 c max depth : 32
94.05/94.15 c max depth (total): 32
94.05/94.15 c backtracks : 116 (11.0%)
94.05/94.15 c delayed cutoffs : 0
94.05/94.15 c repropagations : 61 (226 domain reductions, 0 cutoffs)
94.05/94.15 c avg switch length: 3.46
94.05/94.15 c switching time : 0.30
94.05/94.15 c Solution :
94.05/94.15 c Solutions found : 4 (4 improvements)
94.05/94.15 c First Solution : +9.84000000000000e+02 (in run 1, after 152 nodes, 41.10 seconds, depth 21, found by <relaxation>)
94.05/94.15 c Primal Bound : +9.04000000000000e+02 (in run 1, after 1058 nodes, 92.49 seconds, depth 21, found by <relaxation>)
94.05/94.15 c Dual Bound : +9.04000000000000e+02
94.05/94.15 c Gap : 0.00 %
94.05/94.15 c Root Dual Bound : +9.04000000000001e+02
94.05/94.15 c Root Iterations : 2390
94.05/94.17 c Time complete: 94.14.
OK 904
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665594-1276358801/watcher-2665594-1276358801 -o /tmp/evaluation-result-2665594-1276358801/solver-2665594-1276358801 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665594-1276358801.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13336 /proc/meminfo: memFree=1360580/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=8260 CPUtime=0 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 1010 0 0 0 0 0 0 0 18 0 1 0 11481535 8458240 930 1992294400 4194304 9819077 140733711750016 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13336/statm: 2064 929 366 1374 0 685 0 [startup+0.0818119 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13336 /proc/meminfo: memFree=1360580/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=20552 CPUtime=0.07 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 4564 0 0 0 6 1 0 0 21 0 1 0 11481535 21045248 3615 1992294400 4194304 9819077 140733711750016 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13336/statm: 5138 3629 498 1374 0 3759 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 20552 [startup+0.100816 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13336 /proc/meminfo: memFree=1360580/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=20280 CPUtime=0.09 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 5007 0 0 0 7 2 0 0 21 0 1 0 11481535 20766720 3801 1992294400 4194304 9819077 140733711750016 18446744073709551615 4890983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13336/statm: 5070 3801 504 1374 0 3691 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20280 [startup+0.30085 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13336 /proc/meminfo: memFree=1360580/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=24736 CPUtime=0.29 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 7008 0 0 0 26 3 0 0 21 0 1 0 11481535 25329664 4801 1992294400 4194304 9819077 140733711750016 18446744073709551615 6350788 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13336/statm: 6184 4801 641 1374 0 4805 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24736 [startup+0.700919 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13336 /proc/meminfo: memFree=1360580/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=27344 CPUtime=0.69 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 12132 0 0 0 64 5 0 0 22 0 1 0 11481535 28000256 5775 1992294400 4194304 9819077 140733711750016 18446744073709551615 7816341 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13336/statm: 6836 5775 699 1374 0 5457 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27344 [startup+1.50106 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13337 /proc/meminfo: memFree=1339492/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=27344 CPUtime=1.49 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 12134 0 0 0 142 7 0 0 25 0 1 0 11481535 28000256 5777 1992294400 4194304 9819077 140733711750016 18446744073709551615 7287831 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13336/statm: 6836 5777 700 1374 0 5457 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27344 [startup+3.10133 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13337 /proc/meminfo: memFree=1328332/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=29088 CPUtime=3.09 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 19645 0 0 0 299 10 0 0 25 0 1 0 11481535 29786112 5933 1992294400 4194304 9819077 140733711750016 18446744073709551615 7318482 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13336/statm: 7272 5933 718 1374 0 5893 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29088 [startup+6.30088 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13337 /proc/meminfo: memFree=1338624/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=29088 CPUtime=6.29 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 21168 0 0 0 617 12 0 0 25 0 1 0 11481535 29786112 5933 1992294400 4194304 9819077 140733711750016 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13336/statm: 7272 5933 718 1374 0 5893 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29088 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13339 /proc/meminfo: memFree=1338500/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=28232 CPUtime=12.69 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 22576 0 0 0 1255 14 0 0 25 0 1 0 11481535 28909568 5916 1992294400 4194304 9819077 140733711750016 18446744073709551615 6350545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13336/statm: 7058 5916 718 1374 0 5679 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28232 [startup+25.5002 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13339 /proc/meminfo: memFree=1338624/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=28216 CPUtime=25.48 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 23782 0 0 0 2530 18 0 0 25 0 1 0 11481535 28893184 5916 1992294400 4194304 9819077 140733711750016 18446744073709551615 7284314 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13336/statm: 7054 5916 718 1374 0 5675 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28216 [startup+51.1006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13339 /proc/meminfo: memFree=1338624/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=30008 CPUtime=51.08 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 45036 0 0 0 5065 43 0 0 25 0 1 0 11481535 30728192 5944 1992294400 4194304 9819077 140733711750016 18446744073709551615 7309711 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13336/statm: 7502 5944 721 1374 0 6123 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30008 Solver just ended. Dumping a history of the last processes samples [startup+76.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13339 /proc/meminfo: memFree=1337632/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=30488 CPUtime=76.67 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 146302 0 0 0 7560 107 0 0 25 0 1 0 11481535 31219712 6281 1992294400 4194304 9819077 140733711750016 18446744073709551615 5435009 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13336/statm: 7622 6281 721 1374 0 6243 0 Current children cumulated CPU time (s) 76.67 Current children cumulated vsize (KiB) 30488 [startup+83.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13339 /proc/meminfo: memFree=1337384/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=30548 CPUtime=83.06 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 177224 0 0 0 8181 125 0 0 25 0 1 0 11481535 31281152 6330 1992294400 4194304 9819077 140733711750016 18446744073709551615 6372188 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13336/statm: 7637 6330 721 1374 0 6258 0 Current children cumulated CPU time (s) 83.06 Current children cumulated vsize (KiB) 30548 [startup+89.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13341 /proc/meminfo: memFree=1336888/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=32220 CPUtime=89.46 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 210971 0 0 0 8801 145 0 0 25 0 1 0 11481535 32993280 6418 1992294400 4194304 9819077 140733711750016 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13336/statm: 8055 6418 722 1374 0 6676 0 Current children cumulated CPU time (s) 89.46 Current children cumulated vsize (KiB) 32220 [startup+92.7007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13341 /proc/meminfo: memFree=1336888/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=31064 CPUtime=92.66 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 227653 0 0 0 9111 155 0 0 25 0 1 0 11481535 31809536 6426 1992294400 4194304 9819077 140733711750016 18446744073709551615 6695800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13336/statm: 7766 6426 722 1374 0 6387 0 Current children cumulated CPU time (s) 92.66 Current children cumulated vsize (KiB) 31064 [startup+93.5088 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13341 /proc/meminfo: memFree=1336888/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=31064 CPUtime=93.47 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 231187 0 0 0 9190 157 0 0 25 0 1 0 11481535 31809536 6433 1992294400 4194304 9819077 140733711750016 18446744073709551615 6350432 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13336/statm: 7766 6433 722 1374 0 6387 0 Current children cumulated CPU time (s) 93.47 Current children cumulated vsize (KiB) 31064 [startup+93.9009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13341 /proc/meminfo: memFree=1336888/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=31064 CPUtime=93.86 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 233154 0 0 0 9228 158 0 0 25 0 1 0 11481535 31809536 6437 1992294400 4194304 9819077 140733711750016 18446744073709551615 6350545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13336/statm: 7766 6437 722 1374 0 6387 0 Current children cumulated CPU time (s) 93.86 Current children cumulated vsize (KiB) 31064 [startup+94.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13341 /proc/meminfo: memFree=1336888/2059040 swapFree=4192956/4192956 [pid=13336] ppid=13334 vsize=31060 CPUtime=94.05 /proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 12500 0 -1 4202496 233877 0 0 0 9247 158 0 0 25 0 1 0 11481535 31805440 6439 1992294400 4194304 9819077 140733711750016 18446744073709551615 7304323 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13336/statm: 7765 6439 722 1374 0 6386 0 Current children cumulated CPU time (s) 94.05 Current children cumulated vsize (KiB) 31060 Child status: 0 Real time (s): 94.1774 CPU time (s): 94.1437 CPU user time (s): 92.5519 CPU system time (s): 1.59176 CPU usage (%): 99.9642 Max. virtual memory (cumulated for all children) (KiB): 41232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 92.5519 system time used= 1.59176 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 234066 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= 3 involuntary context switches= 336 runsolver used 0.162975 second user time and 0.449931 second system time The end
Begin job on node014 at 2010-06-12 18:06:42 IDJOB=2665594 IDBENCH=1872 IDSOLVER=1168 FILE ID=node014/2665594-1276358801 PBS_JOBID= 11173193 Free space on /tmp= 62464 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665594-1276358801/watcher-2665594-1276358801 -o /tmp/evaluation-result-2665594-1276358801/solver-2665594-1276358801 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665594-1276358801.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6db31fd4066996ff4f309d723fc2c237 RANDOM SEED=621364489 node014.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1360984 kB Buffers: 135020 kB Cached: 417856 kB SwapCached: 0 kB Active: 198972 kB Inactive: 413848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1360984 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6344 kB Writeback: 4 kB AnonPages: 59864 kB Mapped: 15392 kB Slab: 63480 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183340 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62456 MiB End job on node014 at 2010-06-12 18:08:16