Trace number 1870234

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT50 1795.76 1796.29

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_1.opb
MD5SUM04b9af5ff2583cb908a8972f40516a9e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark44
Best CPU time to get the best result obtained on this benchmark1800.5
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint61
Maximum length of a constraint110
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75586
Sum of products size (including duplicates)151172
Number of different products75586
Sum of products size151172

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.59/0.60	c SCIP version 1.1.0.7
0.59/0.60	c LP-Solver SoPlex 1.4.1
0.59/0.60	c user parameter file <scip.set> not found - using default parameters
0.59/0.60	c read problem <HOME/instance-1870234-1245191329.opb>
0.59/0.60	c original problem has 76586 variables (76586 bin, 0 int, 0 impl, 0 cont) and 76586 constraints
1.18/1.26	c start presolving problem
1.18/1.26	c presolving:
13.19/13.26	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1000 upgd conss, 11597582 impls, 0 clqs
18.69/18.73	c    (17.4s) probing: 101/76586 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
18.69/18.73	c    (17.4s) probing aborted: 100/100 successive totally useless probings
18.69/18.75	c presolving (2 rounds):
18.69/18.75	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
18.69/18.75	c  11597582 implications, 0 cliques
18.69/18.75	c presolved problem has 76586 variables (76586 bin, 0 int, 0 impl, 0 cont) and 76586 constraints
18.69/18.75	c   75586 constraints of type <and>
18.69/18.75	c    1000 constraints of type <logicor>
18.69/18.75	c transformed objective value is always integral (scale: 1)
18.69/18.75	c Presolving Time: 17.17
18.69/18.79	c OPT-NLC
18.69/18.79	c -----------------------------------------------------------------------------------------------
18.69/18.79	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
18.69/18.79	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.69/18.79	c limits/memory = c 1620
18.69/18.79	c # maximal time in seconds to run
18.69/18.79	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.69/18.79	c limits/time = c 1791
18.69/18.79	c # frequency for displaying node information lines
18.69/18.79	c # [type: int, range: [-1,2147483647], default: 100]
18.69/18.79	c display/freq = c 10000
18.69/18.79	c -----------------------------------------------------------------------------------------------
18.69/18.79	c start solving problem
18.69/18.79	c 
24.09/24.20	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
24.09/24.20	c  22.7s|     1 |     0 |  2000 | 621M|   0 |2000 |  76k|  76k|  76k|  76k| 152k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
24.88/24.90	o 59
24.88/24.90	c s23.4s|     1 |     0 |  2000 | 623M|   0 |2000 |  76k|  76k|  76k|  76k| 152k|   0 |   0 |   0 | 0.000000e+00 | 5.900000e+01 |    Inf 
32.57/32.61	c  31.0s|     1 |     0 |  5000 | 624M|   0 |2000 |  76k|  76k|  76k|  76k| 154k|2000 |   0 |   0 | 0.000000e+00 | 5.900000e+01 |    Inf 
44.68/44.74	c  43.1s|     1 |     0 |  8000 | 625M|   0 |2000 |  76k|  76k|  76k|  76k| 156k|4000 |   0 |   0 | 0.000000e+00 | 5.900000e+01 |    Inf 
58.27/58.35	c  56.7s|     1 |     0 | 11000 | 626M|   0 |2000 |  76k|  76k|  76k|  76k| 158k|6000 |   0 |   0 | 0.000000e+00 | 5.900000e+01 |    Inf 
59.17/59.20	o 53
59.17/59.20	c s57.6s|     1 |     0 | 11000 | 627M|   0 |2000 |  76k|  76k|  76k|  76k| 158k|6000 |   0 |   0 | 0.000000e+00 | 5.300000e+01 |    Inf 
67.17/67.20	c  65.6s|     1 |     0 | 14000 | 627M|   0 |2000 |  76k|  76k|  76k|  76k| 160k|8000 |   0 |   0 | 0.000000e+00 | 5.300000e+01 |    Inf 
75.97/76.05	c  74.4s|     1 |     0 | 17000 | 628M|   0 |2000 |  76k|  76k|  76k|  76k| 162k|  10k|   0 |   0 | 0.000000e+00 | 5.300000e+01 |    Inf 
76.77/76.90	o 50
76.77/76.90	c s75.2s|     1 |     0 | 17000 | 629M|   0 |2000 |  76k|  76k|  76k|  76k| 162k|  10k|   0 |   0 | 0.000000e+00 | 5.000000e+01 |    Inf 
85.06/85.12	c  83.5s|     1 |     0 | 20000 | 630M|   0 |2000 |  76k|  76k|  76k|  76k| 164k|  12k|   0 |   0 | 0.000000e+00 | 5.000000e+01 |    Inf 
196.52/196.61	c   194s|     1 |     2 | 20000 | 630M|   0 |2000 |  76k|  76k|  76k|  76k| 164k|  12k|   0 |  33 | 0.000000e+00 | 5.000000e+01 |    Inf 
1794.36/1794.90	c 
1794.36/1794.90	c SCIP Status        : solving was interrupted [time limit reached]
1794.36/1794.90	c Solving Time (sec) : 1791.22
1794.36/1794.90	c Solving Nodes      : 83
1794.36/1794.90	c Primal Bound       : +5.00000000000000e+01 (3 solutions)
1794.36/1794.90	c Dual Bound         : +0.00000000000000e+00
1794.36/1794.90	c Gap                : infinite
1794.46/1795.05	c NODE         83
1794.46/1795.05	c DUAL BOUND   0
1794.46/1795.05	c PRIMAL BOUND 50
1794.46/1795.05	c GAP          1e+20
1794.46/1795.05	s SATISFIABLE
1794.46/1795.05	v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 
1794.46/1795.05	v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 
1794.46/1795.05	v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 
1794.46/1795.05	v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 
1794.46/1795.05	v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 
1794.46/1795.05	v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 
1794.46/1795.05	v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 
1794.46/1795.05	v -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 
1794.46/1795.05	v -x833 -x832 -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 
1794.46/1795.05	v -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 
1794.46/1795.05	v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 
1794.46/1795.05	v x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 
1794.46/1795.05	v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 
1794.46/1795.05	v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 
1794.46/1795.05	v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 
1794.46/1795.05	v -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 
1794.46/1795.05	v -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 
1794.46/1795.05	v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 
1794.46/1795.05	v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 
1794.46/1795.05	v -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 
1794.46/1795.05	v -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 
1794.46/1795.05	v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 
1794.46/1795.05	v -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 
1794.46/1795.05	v -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 
1794.46/1795.05	v -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 
1794.46/1795.05	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 
1794.46/1795.05	v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 
1794.46/1795.05	v -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 
1794.46/1795.05	v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 
1794.46/1795.05	v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 
1794.46/1795.05	v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 
1794.46/1795.05	v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 
1794.46/1795.05	v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 
1794.46/1795.05	v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 
1794.46/1795.05	v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 
1794.46/1795.05	v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 
1794.46/1795.05	v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 
1794.46/1795.05	v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 
1794.46/1795.05	v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 
1794.46/1795.05	v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 
1794.46/1795.06	v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 
1794.46/1795.06	v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1794.46/1795.06	v -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1794.46/1795.06	v -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 x82 -x81 -x80 -x79 
1794.46/1795.06	v -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 
1794.46/1795.06	v -x52 -x51 -x50 -x49 -x48 -x47 x46 x45 x44 -x43 -x42 -x41 x40 x39 x38 -x37 x36 x35 x34 x33 -x32 x31 x30 x29 x28 x27 x26 -x25 
1794.46/1795.06	v x24 -x23 x22 x21 x20 x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 
1794.46/1795.06	c SCIP Status        : solving was interrupted [time limit reached]
1794.46/1795.06	c Solving Time       :    1791.22
1794.46/1795.06	c Original Problem   :
1794.46/1795.06	c   Problem name     : HOME/instance-1870234-1245191329.opb
1794.46/1795.06	c   Variables        : 76586 (76586 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.46/1795.06	c   Constraints      : 76586 initial, 76586 maximal
1794.46/1795.06	c Presolved Problem  :
1794.46/1795.06	c   Problem name     : t_HOME/instance-1870234-1245191329.opb
1794.46/1795.06	c   Variables        : 76586 (76586 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.46/1795.06	c   Constraints      : 76586 initial, 81617 maximal
1794.46/1795.06	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.46/1795.06	c   trivial          :       0.04          0          0          0          0          0          0          0          0
1794.46/1795.06	c   dualfix          :       0.02          0          0          0          0          0          0          0          0
1794.46/1795.06	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.46/1795.06	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.46/1795.06	c   implics          :       0.02          0          0          0          0          0          0          0          0
1794.46/1795.06	c   probing          :       2.94          0          0          0          0          0          0          0          0
1794.46/1795.06	c   and              :      13.69          0          0          0          0          0          0          0          0
1794.46/1795.06	c   logicor          :       0.07          0          0          0          0          0          0          0          0
1794.46/1795.06	c   root node        :          -          0          -          -          0          -          -          -          -
1794.46/1795.06	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.46/1795.06	c   integral         :          0          0          0         82          0          0          0          0          0        164
1794.46/1795.06	c   and              :      75586        412      23653          0          1        361      10501     765926          0          0
1794.46/1795.06	c   logicor          :       1000+         6      17816          0          1        978          0          0          0          0
1794.46/1795.06	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1794.46/1795.06	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.46/1795.06	c   integral         :     273.84       0.00       0.00     273.84       0.00
1794.46/1795.06	c   and              :     482.14      46.28     435.85       0.00       0.01
1794.46/1795.06	c   logicor          :       5.42       0.00       5.41       0.00       0.01
1794.46/1795.06	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.46/1795.06	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.46/1795.06	c   rootredcost      :       0.03          1          0          0
1794.46/1795.06	c   pseudoobj        :      20.58      23540         87          0
1794.46/1795.06	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.46/1795.06	c   propagation      :       2.67       1426       1426       9383       66.1          0        0.0          -
1794.46/1795.06	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1794.46/1795.06	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.46/1795.06	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.46/1795.06	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.46/1795.06	c   applied globally :          -          -          -       9006       65.6          -          -          -
1794.46/1795.06	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.46/1795.06	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.46/1795.06	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 12000)
1794.46/1795.06	c   redcost          :       3.77        412          0          0          0          0
1794.46/1795.06	c   impliedbounds    :       0.29          6          0          0      12000          0
1794.46/1795.06	c   intobj           :       0.00          0          0          0          0          0
1794.46/1795.06	c   gomory           :       0.00          0          0          0          0          0
1794.46/1795.06	c   strongcg         :       0.00          0          0          0          0          0
1794.46/1795.06	c   cmir             :       0.00          0          0          0          0          0
1794.46/1795.06	c   flowcover        :       0.00          0          0          0          0          0
1794.46/1795.06	c   clique           :       0.00          0          0          0          0          0
1794.46/1795.06	c   zerohalf         :       0.00          0          0          0          0          0
1794.46/1795.06	c   mcf              :       0.00          0          0          0          0          0
1794.46/1795.06	c Pricers            :       Time      Calls       Vars
1794.46/1795.06	c   problem variables:       0.00          0          0
1794.46/1795.06	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.46/1795.06	c   relpscost        :     273.84         82          0          0          0          0        164
1794.46/1795.06	c   pscost           :       0.00          0          0          0          0          0          0
1794.46/1795.06	c   inference        :       0.05          1          0          0          0          0          2
1794.46/1795.06	c   mostinf          :       0.00          0          0          0          0          0          0
1794.46/1795.06	c   leastinf         :       0.00          0          0          0          0          0          0
1794.46/1795.06	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.46/1795.06	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.46/1795.06	c   random           :       0.00          0          0          0          0          0          0
1794.46/1795.06	c Primal Heuristics  :       Time      Calls      Found
1794.46/1795.06	c   LP solutions     :       0.00          -          0
1794.46/1795.06	c   pseudo solutions :       0.00          -          0
1794.46/1795.06	c   crossover        :       0.00          0          0
1794.46/1795.06	c   oneopt           :       0.10          1          0
1794.46/1795.06	c   fracdiving       :     114.00          1          0
1794.46/1795.06	c   veclendiving     :     110.25          1          0
1794.46/1795.06	c   rootsoldiving    :      55.35          1          0
1794.46/1795.06	c   objpscostdiving  :      39.03          1          0
1794.46/1795.06	c   coefdiving       :     233.86          2          0
1794.46/1795.06	c   linesearchdiving :     364.47          2          0
1794.46/1795.06	c   simplerounding   :       0.01          0          0
1794.46/1795.06	c   rounding         :       1.17        266          0
1794.46/1795.06	c   shifting         :      23.60         67          3
1794.46/1795.06	c   intshifting      :       0.00          0          0
1794.46/1795.06	c   fixandinfer      :       0.00          0          0
1794.46/1795.06	c   feaspump         :       0.00          0          0
1794.46/1795.06	c   pscostdiving     :     126.60          2          0
1794.46/1795.06	c   intdiving        :       0.00          0          0
1794.46/1795.06	c   actconsdiving    :       0.00          0          0
1794.46/1795.06	c   guideddiving     :     104.65          2          0
1794.46/1795.06	c   octane           :       0.00          0          0
1794.46/1795.06	c   rens             :      72.90          1          0
1794.46/1795.06	c   rins             :       0.00          0          0
1794.46/1795.06	c   localbranching   :       0.00          0          0
1794.46/1795.06	c   mutation         :       0.00          0          0
1794.46/1795.06	c   dins             :       0.00          0          0
1794.46/1795.06	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.46/1795.06	c   primal LP        :       0.74          0          0       0.00       0.00
1794.46/1795.06	c   dual LP          :     165.40        493      73870     149.84     446.61
1794.46/1795.06	c   barrier LP       :       0.00          0          0       0.00          -
1794.46/1795.06	c   diving/probing LP:     310.40       4951      35694       7.21     114.99
1794.46/1795.06	c   strong branching :     273.61       1702      44172      25.95     161.44
1794.46/1795.06	c     (at root node) :          -         33       4087     123.85          -
1794.46/1795.06	c   conflict analysis:       0.00          0          0       0.00          -
1794.46/1795.06	c B&B Tree           :
1794.46/1795.06	c   number of runs   :          1
1794.46/1795.06	c   nodes            :         83
1794.46/1795.06	c   nodes (total)    :         83
1794.46/1795.06	c   nodes left       :         84
1794.46/1795.06	c   max depth        :         12
1794.46/1795.06	c   max depth (total):         12
1794.46/1795.06	c   backtracks       :         12 (14.5%)
1794.46/1795.06	c   delayed cutoffs  :          0
1794.46/1795.06	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1794.46/1795.06	c   avg switch length:       2.25
1794.46/1795.06	c   switching time   :       1.14
1794.46/1795.06	c Solution           :
1794.46/1795.06	c   Solutions found  :          3 (3 improvements)
1794.46/1795.06	c   Primal Bound     : +5.00000000000000e+01   (in run 1, after 1 nodes, 74.45 seconds, depth 0, found by <shifting>)
1794.46/1795.06	c   Dual Bound       : +0.00000000000000e+00
1794.46/1795.06	c   Gap              :   infinite
1794.46/1795.06	c   Root Dual Bound  : +0.00000000000000e+00
1795.66/1796.28	c Time complete: 1795.75.

Verifier Data 

OK	50

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870234-1245191329/watcher-1870234-1245191329 -o /tmp/evaluation-result-1870234-1245191329/solver-1870234-1245191329 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870234-1245191329.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 32712
/proc/meminfo: memFree=1822728/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=18576 CPUtime=0
/proc/32712/stat : 32712 (runsolver) R 32710 32712 31677 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 186730866 19021824 284 1992294400 4194304 4302564 548682068432 18446744073709551615 231882681639 0 0 4096 24578 0 0 0 17 1 0 0
/proc/32712/statm: 4644 284 249 26 0 2626 0

[startup+0.060209 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 32712
/proc/meminfo: memFree=1822728/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=18508 CPUtime=0.05
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 3616 0 0 0 4 1 0 0 20 0 1 0 186730866 18952192 3598 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/32712/statm: 4627 3610 356 886 0 3737 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18508

[startup+0.101212 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 32712
/proc/meminfo: memFree=1822728/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=23816 CPUtime=0.08
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 5147 0 0 0 7 1 0 0 20 0 1 0 186730866 24387584 5129 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/32712/statm: 5954 5129 356 886 0 5064 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23816

[startup+0.301235 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 32712
/proc/meminfo: memFree=1822728/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=49832 CPUtime=0.28
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 11708 0 0 0 24 4 0 0 22 0 1 0 186730866 51027968 11690 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/32712/statm: 12458 11690 356 886 0 11568 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 49832

[startup+0.701282 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 32712
/proc/meminfo: memFree=1822728/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=120472 CPUtime=0.68
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 29716 0 0 0 56 12 0 0 25 0 1 0 186730866 123363328 29196 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 30118 29206 369 886 0 29228 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 120472

[startup+1.50138 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=1643264/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=190192 CPUtime=1.49
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 47061 0 0 0 129 20 0 0 25 0 1 0 186730866 194756608 46541 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 47548 46541 405 886 0 46658 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 190192

[startup+3.10156 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=1620160/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=245104 CPUtime=3.09
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 60771 0 0 0 283 26 0 0 25 0 1 0 186730866 250986496 60251 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 61276 60251 405 886 0 60386 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 245104

[startup+6.30194 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=1498624/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=360064 CPUtime=6.29
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 89511 0 0 0 592 37 0 0 25 0 1 0 186730866 368705536 88991 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 90016 88991 405 886 0 89126 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 360064

[startup+12.7017 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=1272384/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=577160 CPUtime=12.68
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 143785 0 0 0 1211 57 0 0 25 0 1 0 186730866 591011840 143265 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 144290 143265 405 886 0 143400 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 577160

[startup+25.5012 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=983552/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=865168 CPUtime=25.48
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 215834 0 0 0 2447 101 0 0 25 0 1 0 186730866 885932032 209837 1992294400 4194304 7823515 548682068736 18446744073709551615 4291292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 216292 209837 526 886 0 215402 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 865168

[startup+51.1012 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=953088/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=889288 CPUtime=51.08
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 224355 0 0 0 5001 107 0 0 25 0 1 0 186730866 910630912 217462 1992294400 4194304 7823515 548682068736 18446744073709551615 4291259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 222322 217462 526 886 0 221432 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 889288

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=657792/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=1189572 CPUtime=102.26
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 298022 0 0 0 10088 138 0 0 25 0 1 0 186730866 1218121728 291118 1992294400 4194304 7823515 548682068736 18446744073709551615 4400784 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 297393 291118 530 886 0 296503 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1189572

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=923520/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=920960 CPUtime=162.23
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 298304 0 0 0 16062 161 0 0 25 0 1 0 186730866 943063040 224671 1992294400 4194304 7823515 548682068736 18446744073709551615 6110794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 230240 224671 540 886 0 229350 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 920960

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=923520/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=920960 CPUtime=222.22
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 298333 0 0 0 22056 166 0 0 25 0 1 0 186730866 943063040 224700 1992294400 4194304 7823515 548682068736 18446744073709551615 5994212 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 230240 224700 540 886 0 229350 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 920960

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=923008/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=921560 CPUtime=282.2
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 298469 0 0 0 28050 170 0 0 25 0 1 0 186730866 943677440 224836 1992294400 4194304 7823515 548682068736 18446744073709551615 4304866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 230390 224836 544 886 0 229500 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 921560

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=917696/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=927184 CPUtime=342.19
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 299796 0 0 0 34047 172 0 0 25 0 1 0 186730866 949436416 226163 1992294400 4194304 7823515 548682068736 18446744073709551615 4348336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 231796 226163 544 886 0 230906 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 927184

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=914624/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=930968 CPUtime=402.17
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 300562 0 0 0 40041 176 0 0 25 0 1 0 186730866 953311232 226929 1992294400 4194304 7823515 548682068736 18446744073709551615 6110417 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 232742 226929 544 886 0 231852 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 930968

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=900864/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=944028 CPUtime=462.15
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 303995 0 0 0 46035 180 0 0 25 0 1 0 186730866 966684672 230362 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 236007 230362 544 886 0 235117 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 944028

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=900864/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=944028 CPUtime=522.13
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 303995 0 0 0 52031 182 0 0 25 0 1 0 186730866 966684672 230362 1992294400 4194304 7823515 548682068736 18446744073709551615 4788726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 236007 230362 544 886 0 235117 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 944028

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=900800/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=944028 CPUtime=582.12
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 303995 0 0 0 58027 185 0 0 25 0 1 0 186730866 966684672 230362 1992294400 4194304 7823515 548682068736 18446744073709551615 4348336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 236007 230362 544 886 0 235117 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 944028

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=900736/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=944028 CPUtime=642.1
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 304006 0 0 0 64022 188 0 0 25 0 1 0 186730866 966684672 230373 1992294400 4194304 7823515 548682068736 18446744073709551615 6161797 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 236007 230373 544 886 0 235117 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 944028

[startup+702.302 s]

################
# More data... #
################

/proc/meminfo: memFree=895808/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=948788 CPUtime=1121.96
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 305182 0 0 0 111971 225 0 0 25 0 1 0 186730866 971558912 231549 1992294400 4194304 7823515 548682068736 18446744073709551615 4243078 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 237197 231549 547 886 0 236307 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 948788

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=889664/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=954884 CPUtime=1181.94
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 306712 0 0 0 117967 227 0 0 25 0 1 0 186730866 977801216 233079 1992294400 4194304 7823515 548682068736 18446744073709551615 4902375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 238721 233079 547 886 0 237831 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 954884

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=886144/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=959804 CPUtime=1241.92
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 307575 0 0 0 123961 231 0 0 25 0 1 0 186730866 982839296 233942 1992294400 4194304 7823515 548682068736 18446744073709551615 6722523 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 239951 233942 547 886 0 239061 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 959804

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=880192/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=966788 CPUtime=1301.9
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 309067 0 0 0 129955 235 0 0 25 0 1 0 186730866 989990912 235434 1992294400 4194304 7823515 548682068736 18446744073709551615 4903340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 241697 235434 547 886 0 240807 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 966788

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=874624/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=971848 CPUtime=1361.89
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 310448 0 0 0 135949 240 0 0 25 0 1 0 186730866 995172352 236815 1992294400 4194304 7823515 548682068736 18446744073709551615 4243078 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 242962 236815 547 886 0 242072 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 971848

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32713
/proc/meminfo: memFree=874560/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=971848 CPUtime=1421.87
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 310448 0 0 0 141945 242 0 0 25 0 1 0 186730866 995172352 236815 1992294400 4194304 7823515 548682068736 18446744073709551615 6110434 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 242962 236815 547 886 0 242072 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 971848

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32715
/proc/meminfo: memFree=874304/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=971848 CPUtime=1481.85
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 310448 0 0 0 147940 245 0 0 25 0 1 0 186730866 995172352 236815 1992294400 4194304 7823515 548682068736 18446744073709551615 6130941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 242962 236815 547 886 0 242072 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 971848

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32715
/proc/meminfo: memFree=873600/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=971848 CPUtime=1541.83
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 310677 0 0 0 153934 249 0 0 25 0 1 0 186730866 995172352 237044 1992294400 4194304 7823515 548682068736 18446744073709551615 6110429 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 242962 237044 547 886 0 242072 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 971848

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32715
/proc/meminfo: memFree=873536/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=971848 CPUtime=1601.81
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 310701 0 0 0 159927 254 0 0 25 0 1 0 186730866 995172352 237068 1992294400 4194304 7823515 548682068736 18446744073709551615 4903359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 242962 237068 547 886 0 242072 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 971848

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32715
/proc/meminfo: memFree=873536/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=971848 CPUtime=1661.79
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 310701 0 0 0 165923 256 0 0 25 0 1 0 186730866 995172352 237068 1992294400 4194304 7823515 548682068736 18446744073709551615 4903340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 242962 237068 547 886 0 242072 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 971848

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32715
/proc/meminfo: memFree=873472/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=971848 CPUtime=1721.78
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 310702 0 0 0 171920 258 0 0 25 0 1 0 186730866 995172352 237069 1992294400 4194304 7823515 548682068736 18446744073709551615 6109506 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 242962 237069 547 886 0 242072 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 971848

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32715
/proc/meminfo: memFree=873472/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=971848 CPUtime=1781.76
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 310702 0 0 0 177913 263 0 0 25 0 1 0 186730866 995172352 237069 1992294400 4194304 7823515 548682068736 18446744073709551615 4266239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 242962 237069 547 886 0 242072 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 971848

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32715
/proc/meminfo: memFree=873472/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=971848 CPUtime=1784.96
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 310702 0 0 0 178233 263 0 0 25 0 1 0 186730866 995172352 237069 1992294400 4194304 7823515 548682068736 18446744073709551615 4265884 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 242962 237069 547 886 0 242072 0
Current children cumulated CPU time (s) 1784.96
Current children cumulated vsize (KiB) 971848

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32715
/proc/meminfo: memFree=873472/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=971848 CPUtime=1791.36
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 310702 0 0 0 178873 263 0 0 25 0 1 0 186730866 995172352 237069 1992294400 4194304 7823515 548682068736 18446744073709551615 5994950 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 242962 237069 547 886 0 242072 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 971848

[startup+1793.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32715
/proc/meminfo: memFree=873472/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=971848 CPUtime=1792.96
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 310702 0 0 0 179033 263 0 0 25 0 1 0 186730866 995172352 237069 1992294400 4194304 7823515 548682068736 18446744073709551615 6100221 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32712/statm: 242962 237069 547 886 0 242072 0
Current children cumulated CPU time (s) 1792.96
Current children cumulated vsize (KiB) 971848

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32715
/proc/meminfo: memFree=873472/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=971848 CPUtime=1794.56
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 310704 0 0 0 179193 263 0 0 17 0 1 0 186730866 995172352 237071 1992294400 4194304 7823515 548682068736 18446744073709551615 5875265 0 0 4096 0 0 0 0 17 1 0 0
/proc/32712/statm: 242962 237071 549 886 0 242072 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 971848

[startup+1795.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32715
/proc/meminfo: memFree=873472/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=971848 CPUtime=1795.36
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 310704 0 0 0 179273 263 0 0 24 0 1 0 186730866 995172352 237071 1992294400 4194304 7823515 548682068736 18446744073709551615 5875843 0 0 4096 0 0 0 0 17 1 0 0
/proc/32712/statm: 242962 237071 549 886 0 242072 0
Current children cumulated CPU time (s) 1795.36
Current children cumulated vsize (KiB) 971848

[startup+1796.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32715
/proc/meminfo: memFree=873472/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=932664 CPUtime=1795.55
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 310704 0 0 0 179292 263 0 0 25 0 1 0 186730866 955047936 231034 1992294400 4194304 7823515 548682068736 18446744073709551615 5875900 0 0 4096 0 0 0 0 17 1 0 0
/proc/32712/statm: 233166 231034 549 886 0 232276 0
Current children cumulated CPU time (s) 1795.55
Current children cumulated vsize (KiB) 932664

[startup+1796.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32715
/proc/meminfo: memFree=1215552/2055920 swapFree=4182380/4192956
[pid=32712] ppid=32710 vsize=768072 CPUtime=1795.66
/proc/32712/stat : 32712 (pbscip.linux.x8) R 32710 32712 31677 0 -1 4194304 310704 0 0 0 179298 268 0 0 25 0 1 0 186730866 786505728 175783 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/32712/statm: 192018 175783 31415 886 0 191128 0
Current children cumulated CPU time (s) 1795.66
Current children cumulated vsize (KiB) 768072

Child status: 0
Real time (s): 1796.29
CPU time (s): 1795.76
CPU user time (s): 1792.98
CPU system time (s): 2.77358
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1191016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.98
system time used= 2.77358
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 310707
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= 8
involuntary context switches= 1558

runsolver used 1.66475 second user time and 4.09338 second system time

The end

Launcher Data 

Begin job on node75 at 2009-06-17 00:28:49
IDJOB=1870234
IDBENCH=48116
IDSOLVER=683
FILE ID=node75/1870234-1245191329
PBS_JOBID= 9368304
Free space on /tmp= 66428 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_60_1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870234-1245191329/watcher-1870234-1245191329 -o /tmp/evaluation-result-1870234-1245191329/solver-1870234-1245191329 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870234-1245191329.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 04b9af5ff2583cb908a8972f40516a9e
RANDOM SEED=596594613

node75.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.236
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.236
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1823144 kB
Buffers:         36696 kB
Cached:         126056 kB
SwapCached:       4596 kB
Active:          68496 kB
Inactive:       101996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1823144 kB
SwapTotal:     4192956 kB
SwapFree:      4182380 kB
Dirty:           10872 kB
Writeback:           0 kB
Mapped:          13392 kB
Slab:            48232 kB
Committed_AS:   106952 kB
PageTables:       1420 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66416 MiB
End job on node75 at 2009-06-17 00:58:46