Trace number 1870519

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
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT-14 1794.72 1795.24

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_1.opb
MD5SUM162153f0f0e5f8f2e587b9d579ee09dc
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-99
Best CPU time to get the best result obtained on this benchmark1800.62
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -136
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
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)12636
Sum of products size (including duplicates)25272
Number of different products6318
Sum of products size12636

Quality of the solution as a function of time


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

Solver Data 

0.09/0.10	c SCIP version 1.1.0.7
0.09/0.10	c LP-Solver Clp 1.8.2
0.09/0.10	c user parameter file <scip.set> not found - using default parameters
0.09/0.10	c read problem <HOME/instance-1870519-1245209482.opb>
0.09/0.10	c original problem has 7318 variables (7318 bin, 0 int, 0 impl, 0 cont) and 7819 constraints
0.09/0.18	c start presolving problem
0.09/0.18	c presolving:
0.39/0.44	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 51544 impls, 1000 clqs
0.79/0.89	c    (0.6s) probing: 101/7318 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.89	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.79/0.90	c presolving (2 rounds):
0.79/0.90	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.90	c  51544 implications, 1000 cliques
0.79/0.90	c presolved problem has 7318 variables (7318 bin, 0 int, 0 impl, 0 cont) and 7819 constraints
0.79/0.90	c    1000 constraints of type <setppc>
0.79/0.90	c    6318 constraints of type <and>
0.79/0.90	c       1 constraints of type <linear>
0.79/0.90	c     500 constraints of type <logicor>
0.79/0.90	c transformed objective value is always integral (scale: 1)
0.79/0.90	c Presolving Time: 0.58
0.89/0.90	c OPT-NLC
0.89/0.90	c -----------------------------------------------------------------------------------------------
0.89/0.90	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.90	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.90	c limits/memory = c 1620
0.89/0.90	c # maximal time in seconds to run
0.89/0.90	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.90	c limits/time = c 1791
0.89/0.90	c # frequency for displaying node information lines
0.89/0.90	c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.90	c display/freq = c 10000
0.89/0.90	c -----------------------------------------------------------------------------------------------
0.89/0.90	c start solving problem
0.89/0.90	c 
15.49/15.57	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
15.49/15.57	c  15.2s|     1 |     0 |  5564 |  32M|   0 |3853 |7318 |7819 |7819 |7318 |  14k|   0 |   0 |   0 |-2.500000e+02 |      --      |    Inf 
15.69/15.74	o -8
15.69/15.74	c s15.3s|     1 |     0 |  5564 |  33M|   0 |3853 |7318 |7819 |7819 |7318 |  14k|   0 |   0 |   0 |-2.500000e+02 |-8.000000e+00 |  96.80%
26.58/26.63	c  26.2s|     1 |     0 |  6012 |  33M|   0 |3888 |7318 |7819 |7819 |7318 |  14k|  91 |   0 |   0 |-2.500000e+02 |-8.000000e+00 |  96.80%
26.78/26.81	o -14
26.78/26.81	c s26.4s|     1 |     0 |  6012 |  33M|   0 |3888 |7318 |7819 |7819 |7318 |  14k|  91 |   0 |   0 |-2.500000e+02 |-1.400000e+01 |  94.40%
38.18/38.25	c  37.8s|     1 |     0 |  6464 |  33M|   0 |3905 |7318 |7819 |7819 |7318 |  14k| 100 |   0 |   0 |-2.500000e+02 |-1.400000e+01 |  94.40%
50.38/50.48	c  50.0s|     1 |     0 |  6947 |  33M|   0 |3914 |7318 |7819 |7819 |7318 |  14k| 113 |   0 |   0 |-2.500000e+02 |-1.400000e+01 |  94.40%
62.07/62.10	c  61.6s|     1 |     0 |  7219 |  33M|   0 |3909 |7318 |7819 |7819 |7318 |  14k| 119 |   0 |   0 |-2.500000e+02 |-1.400000e+01 |  94.40%
73.07/73.10	c  72.5s|     1 |     0 |  7286 |  33M|   0 |3906 |7318 |7819 |7819 |7318 |  14k| 124 |   0 |   0 |-2.500000e+02 |-1.400000e+01 |  94.40%
85.16/85.25	c  84.7s|     1 |     0 |  7703 |  33M|   0 |3871 |7318 |7819 |7819 |7318 |  14k| 128 |   0 |   0 |-2.500000e+02 |-1.400000e+01 |  94.40%
138.35/138.46	c   138s|     1 |     2 |  7703 |  33M|   0 |3871 |7318 |7819 |7819 |7318 |  14k| 128 |   0 |  18 |-2.500000e+02 |-1.400000e+01 |  94.40%
1794.47/1795.09	c 
1794.47/1795.09	c SCIP Status        : solving was interrupted [time limit reached]
1794.47/1795.09	c Solving Time (sec) : 1791.01
1794.47/1795.09	c Solving Nodes      : 11
1794.47/1795.09	c Primal Bound       : -1.40000000000000e+01 (4 solutions)
1794.47/1795.09	c Dual Bound         : -2.50000000000000e+02
1794.47/1795.09	c Gap                : 94.40 %
1794.58/1795.11	c NODE         11
1794.58/1795.11	c DUAL BOUND   -250
1794.58/1795.11	c PRIMAL BOUND -14
1794.58/1795.11	c GAP          0.944
1794.58/1795.11	s SATISFIABLE
1794.58/1795.11	v -x924 -x695 -x907 -x875 -x752 -x713 -x910 -x845 -x665 -x855 -x801 -x838 -x663 -x688 -x824 -x610 -x911 -x637 -x586 -x958 -x943 -x705 
1794.58/1795.11	v -x936 x593 -x986 -x996 -x906 -x654 -x697 -x763 -x878 -x987 -x657 -x577 -x983 -x883 -x769 -x956 -x990 -x977 -x753 -x742 x721 
1794.58/1795.11	v x681 -x655 -x951 -x912 -x745 -x672 -x978 -x719 -x826 -x616 -x792 -x848 -x575 -x939 -x758 -x984 -x784 -x718 -x766 -x850 -x761 
1794.58/1795.11	v -x633 -x564 -x621 -x642 -x775 -x970 -x808 -x980 -x715 -x791 -x768 -x947 -x963 -x902 -x831 -x813 -x558 -x604 -x594 -x762 -x892 
1794.58/1795.11	v -x790 -x972 -x901 -x786 -x550 -x693 -x840 -x779 -x667 -x648 -x686 -x833 -x961 -x950 -x976 -x573 -x798 -x817 -x788 -x649 
1794.58/1795.11	v -x634 -x609 -x584 -x834 -x804 -x959 -x909 -x749 -x704 -x658 -x581 -x846 -x760 -x827 -x962 -x615 -x885 -x643 -x861 -x748 -x995 
1794.58/1795.11	v -x579 -x542 -x899 -x641 -x536 -x617 -x723 -x886 -x973 -x793 -x949 -x732 -x687 -x921 x659 -x651 -x628 -x534 -x964 -x881 -x545 
1794.58/1795.11	v -x706 -x940 -x600 -x820 -x533 -x756 -x714 -x843 -x711 -x660 -x913 -x888 -x919 -x680 -x994 -x889 -x795 -x735 -x582 -x946 -x608 
1794.58/1795.11	v -x877 -x985 -x770 -x701 x630 x555 -x967 -x596 -x960 -x948 -x669 -x646 -x603 -x700 -x664 -x661 -x895 -x934 -x931 -x979 -x932 
1794.58/1795.11	v -x867 -x547 -x882 -x632 -x974 -x572 -x551 -x897 -x683 -x563 -x925 -x759 -x750 -x717 -x703 -x599 -x562 -x627 -x821 -x525 -x635 
1794.58/1795.11	v -x554 -x537 -x606 -x811 -x812 -x923 -x569 -x844 -x890 -x741 -x702 -x666 -x553 -x800 -x829 -x623 -x612 -x849 -x856 -x698 -x853 
1794.58/1795.11	v -x734 -x526 -x670 -x955 -x591 -x645 -x522 -x954 -x597 -x567 -x565 -x773 -x1000 -x991 -x971 -x918 -x521 -x731 -x707 -x870 -x689 
1794.58/1795.11	v -x629 -x539 -x640 -x944 x905 -x644 -x929 -x819 -x519 -x839 -x726 -x685 -x580 -x576 -x530 -x859 -x622 -x908 -x776 -x518 -x743 
1794.58/1795.11	v -x725 -x605 -x574 -x552 -x860 -x728 -x992 -x674 -x988 -x915 -x535 -x694 -x851 -x842 -x729 -x765 -x516 -x682 -x638 -x989 
1794.58/1795.11	v -x880 x556 -x952 -x746 -x619 -x797 -x876 -x810 -x767 -x739 -x696 -x678 -x841 -x709 -x830 -x733 -x514 x662 -x656 -x872 -x529 -x966 
1794.58/1795.11	v -x854 -x969 -x823 -x736 -x557 -x857 -x928 -x772 -x618 -x744 -x708 -x639 -x613 -x520 -x941 -x620 -x945 -x690 -x866 -x942 
1794.58/1795.11	v x787 -x511 -x965 -x722 -x631 -x781 -x653 -x818 -x903 -x598 -x602 -x968 -x510 -x873 -x532 -x571 -x796 -x587 -x727 -x513 -x740 
1794.58/1795.11	v -x509 -x982 -x862 -x799 -x774 -x747 -x684 -x601 -x677 -x561 -x933 -x900 -x755 -x652 -x904 -x789 -x508 -x975 -x879 -x802 -x771 
1794.58/1795.11	v -x524 -x679 -x777 -x809 -x588 x751 -x865 -x935 -x868 -x815 -x891 -x832 -x822 -x647 -x614 -x611 -x595 -x589 -x546 -x583 -x625 
1794.58/1795.11	v -x858 -x814 -x847 -x837 -x506 -x780 -x738 -x507 -x828 -x585 -x926 -x806 -x782 -x997 -x671 -x505 -x896 -x893 -x720 -x549 -x540 
1794.58/1795.11	v -x981 -x592 -x527 -x914 -x871 -x816 -x825 -x699 -x538 -x785 -x504 -x937 -x917 -x864 -x710 -x676 -x675 -x578 -x515 -x920 -x874 
1794.58/1795.11	v -x730 -x543 -x512 -x957 -x894 -x668 -x570 -x503 -x998 -x953 -x898 -x835 -x757 -x754 -x626 -x566 -x559 -x523 -x803 -x636 -x624 
1794.58/1795.11	v -x531 -x783 -x930 -x568 -x502 -x999 -x805 -x869 -x712 -x737 -x673 -x541 -x927 -x764 -x560 -x691 -x528 -x501 -x938 -x852 -x807 
1794.58/1795.11	v -x724 -x716 -x692 -x607 -x590 -x548 -x544 -x517 -x863 -x922 -x650 -x993 -x836 -x794 -x916 x778 x887 x884 -x500 -x499 -x498 
1794.58/1795.11	v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 
1794.58/1795.11	v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 
1794.58/1795.11	v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 
1794.58/1795.11	v -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 
1794.58/1795.11	v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 
1794.58/1795.11	v -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 
1794.58/1795.11	v -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 
1794.58/1795.11	v x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 
1794.58/1795.11	v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 
1794.58/1795.11	v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 
1794.58/1795.11	v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 
1794.58/1795.11	v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 
1794.58/1795.11	v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 
1794.58/1795.11	v -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 
1794.58/1795.11	v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 
1794.58/1795.11	v -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 
1794.58/1795.11	v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 
1794.58/1795.11	v -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 
1794.58/1795.11	v -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 
1794.58/1795.11	v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 
1794.58/1795.11	v -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 
1794.58/1795.11	v -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 
1794.58/1795.11	v -x25 -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.58/1795.11	c SCIP Status        : solving was interrupted [time limit reached]
1794.58/1795.11	c Solving Time       :    1791.01
1794.58/1795.11	c Original Problem   :
1794.58/1795.11	c   Problem name     : HOME/instance-1870519-1245209482.opb
1794.58/1795.11	c   Variables        : 7318 (7318 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.58/1795.11	c   Constraints      : 7819 initial, 7819 maximal
1794.58/1795.11	c Presolved Problem  :
1794.58/1795.11	c   Problem name     : t_HOME/instance-1870519-1245209482.opb
1794.58/1795.11	c   Variables        : 7318 (7318 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.58/1795.11	c   Constraints      : 7819 initial, 7828 maximal
1794.58/1795.11	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.58/1795.11	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1794.58/1795.11	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1794.58/1795.11	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.58/1795.11	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.58/1795.11	c   implics          :       0.00          0          0          0          0          0          0          0          0
1794.58/1795.11	c   probing          :       0.28          0          0          0          0          0          0          0          0
1794.58/1795.11	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1794.58/1795.11	c   and              :       0.17          0          0          0          0          0          0          0          0
1794.58/1795.11	c   linear           :       0.06          0          0          0          0          0          0          0          0
1794.58/1795.11	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1794.58/1795.11	c   root node        :          -          0          -          -          0          -          -          -          -
1794.58/1795.11	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.58/1795.11	c   integral         :          0          0          0         10          0          0          0          0          0         20
1794.58/1795.11	c   setppc           :       1000          6       6819          0          1          6          0          0          0          0
1794.58/1795.11	c   and              :       6318         51       6813          0          1          3        154      36351          0          0
1794.58/1795.11	c   linear           :          1          6       6810          0          0          0          0          0          0          0
1794.58/1795.11	c   logicor          :        500+         6        436          0          1          0          3          0          0          0
1794.58/1795.11	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1794.58/1795.11	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.58/1795.11	c   integral         :     279.89       0.00       0.00     279.89       0.00
1794.58/1795.11	c   setppc           :       0.41       0.00       0.41       0.00       0.00
1794.58/1795.11	c   and              :       3.37       0.31       3.06       0.00       0.00
1794.58/1795.11	c   linear           :       0.57       0.05       0.52       0.00       0.00
1794.58/1795.11	c   logicor          :       0.00       0.00       0.00       0.00       0.00
1794.58/1795.11	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.58/1795.11	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.58/1795.11	c   rootredcost      :       0.02          1          0          0
1794.58/1795.11	c   pseudoobj        :       0.23       6620          0          0
1794.58/1795.11	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.58/1795.11	c   propagation      :       0.00          9          9          9        2.7          0        0.0          -
1794.58/1795.11	c   infeasible LP    :       0.01         14          0          0        0.0          0        0.0          0
1794.58/1795.11	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.58/1795.11	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.58/1795.11	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.58/1795.11	c   applied globally :          -          -          -          9        2.7          -          -          -
1794.58/1795.11	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.58/1795.11	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.58/1795.11	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 128)
1794.58/1795.11	c   redcost          :       0.03         51          0          0          0          0
1794.58/1795.11	c   impliedbounds    :       0.06          6          0          0        176          0
1794.58/1795.11	c   intobj           :       0.00          0          0          0          0          0
1794.58/1795.11	c   gomory           :      26.08          6          0          0          2          0
1794.58/1795.11	c   strongcg         :      25.88          6          0          0          2          0
1794.58/1795.11	c   cmir             :       2.09          6          0          0          0          0
1794.58/1795.11	c   flowcover        :       2.00          6          0          0          0          0
1794.58/1795.11	c   clique           :       3.29          6          0          0         39          0
1794.58/1795.11	c   zerohalf         :       0.00          0          0          0          0          0
1794.58/1795.11	c   mcf              :       0.03          1          0          0          0          0
1794.58/1795.11	c Pricers            :       Time      Calls       Vars
1794.58/1795.11	c   problem variables:       0.00          0          0
1794.58/1795.11	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.58/1795.11	c   relpscost        :     279.89         10          0          0          0          0         20
1794.58/1795.11	c   pscost           :       0.00          0          0          0          0          0          0
1794.58/1795.11	c   inference        :       0.00          1          0          0          0          0          2
1794.58/1795.11	c   mostinf          :       0.00          0          0          0          0          0          0
1794.58/1795.11	c   leastinf         :       0.00          0          0          0          0          0          0
1794.58/1795.11	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.58/1795.11	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.58/1795.11	c   random           :       0.00          0          0          0          0          0          0
1794.58/1795.11	c Primal Heuristics  :       Time      Calls      Found
1794.58/1795.11	c   LP solutions     :       0.00          -          0
1794.58/1795.11	c   pseudo solutions :       0.00          -          0
1794.58/1795.11	c   veclendiving     :       0.00          0          0
1794.58/1795.11	c   objpscostdiving  :       0.00          0          0
1794.58/1795.11	c   rootsoldiving    :       0.00          0          0
1794.58/1795.11	c   linesearchdiving :       0.00          0          0
1794.58/1795.11	c   guideddiving     :       0.00          0          0
1794.58/1795.11	c   oneopt           :       0.01          1          0
1794.58/1795.11	c   simplerounding   :       0.00          0          0
1794.58/1795.11	c   rounding         :       6.30         60          0
1794.58/1795.11	c   shifting         :       0.98          7          4
1794.58/1795.11	c   intshifting      :       0.00          0          0
1794.58/1795.11	c   fixandinfer      :       0.00          0          0
1794.58/1795.11	c   feaspump         :       0.00          0          0
1794.58/1795.11	c   coefdiving       :     415.98          1          0
1794.58/1795.11	c   pscostdiving     :     175.07          1          0
1794.58/1795.11	c   fracdiving       :     261.19          1          0
1794.58/1795.11	c   intdiving        :       0.00          0          0
1794.58/1795.11	c   actconsdiving    :       0.00          0          0
1794.58/1795.11	c   octane           :       0.00          0          0
1794.58/1795.11	c   rens             :       0.01          0          0
1794.58/1795.11	c   rins             :       0.00          0          0
1794.58/1795.11	c   localbranching   :       0.00          0          0
1794.58/1795.11	c   mutation         :       0.00          0          0
1794.58/1795.11	c   crossover        :       0.00          0          0
1794.58/1795.11	c   dins             :       0.00          0          0
1794.58/1795.11	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.58/1795.11	c   primal LP        :      40.45          0          0       0.00       0.00
1794.58/1795.11	c   dual LP          :     549.65         61     201543    3303.98     366.68
1794.58/1795.11	c   barrier LP       :       0.00          0          0       0.00          -
1794.58/1795.11	c   diving/probing LP:     822.09       5296     617343     116.57     750.94
1794.58/1795.11	c   strong branching :     279.82        174      93073     534.90     332.62
1794.58/1795.11	c     (at root node) :          -         18      10620     590.00          -
1794.58/1795.11	c   conflict analysis:       0.00          0          0       0.00          -
1794.58/1795.11	c B&B Tree           :
1794.58/1795.11	c   number of runs   :          1
1794.58/1795.11	c   nodes            :         11
1794.58/1795.11	c   nodes (total)    :         11
1794.58/1795.11	c   nodes left       :         12
1794.58/1795.11	c   max depth        :          7
1794.58/1795.11	c   max depth (total):          7
1794.58/1795.11	c   backtracks       :          3 (27.3%)
1794.58/1795.11	c   delayed cutoffs  :          0
1794.58/1795.11	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1794.58/1795.11	c   avg switch length:       2.00
1794.58/1795.11	c   switching time   :      40.48
1794.58/1795.11	c Solution           :
1794.58/1795.11	c   Solutions found  :          4 (2 improvements)
1794.58/1795.11	c   Primal Bound     : -1.40000000000000e+01   (in run 1, after 1 nodes, 26.21 seconds, depth 0, found by <shifting>)
1794.58/1795.11	c   Dual Bound       : -2.50000000000000e+02
1794.58/1795.11	c   Gap              :      94.40 %
1794.58/1795.11	c   Root Dual Bound  : -2.50000000000000e+02
1794.68/1795.24	c Time complete: 1794.71.

Verifier Data 

OK	-14

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870519-1245209482/watcher-1870519-1245209482 -o /tmp/evaluation-result-1870519-1245209482/solver-1870519-1245209482 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870519-1245209482.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 3/64 9307
/proc/meminfo: memFree=1838952/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=5812 CPUtime=0
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 188545015 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/9307/statm: 1453 501 332 1256 0 192 0

[startup+0.0644811 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 9307
/proc/meminfo: memFree=1838952/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=17268 CPUtime=0.05
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 3278 0 0 0 4 1 0 0 18 0 1 0 188545015 17682432 3262 1992294400 4194304 9342243 548682068736 18446744073709551615 8230002 0 0 4096 0 0 0 0 17 1 0 0
/proc/9307/statm: 4317 3262 378 1256 0 3056 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17268

[startup+0.101484 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 9307
/proc/meminfo: memFree=1838952/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=20096 CPUtime=0.09
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 4003 0 0 0 8 1 0 0 18 0 1 0 188545015 20578304 3987 1992294400 4194304 9342243 548682068736 18446744073709551615 5855084 0 0 4096 0 0 0 0 17 1 0 0
/proc/9307/statm: 5024 3987 378 1256 0 3763 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20096

[startup+0.301507 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 9307
/proc/meminfo: memFree=1838952/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=38080 CPUtime=0.29
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 8679 0 0 0 22 7 0 0 19 0 1 0 188545015 38993920 8309 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 9520 8309 446 1256 0 8259 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38080

[startup+0.701548 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 9307
/proc/meminfo: memFree=1838952/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=41536 CPUtime=0.69
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 9640 0 0 0 49 20 0 0 22 0 1 0 188545015 42532864 9270 1992294400 4194304 9342243 548682068736 18446744073709551615 5422857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 10384 9270 493 1256 0 9123 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41536

[startup+1.50164 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9308
/proc/meminfo: memFree=1787104/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=70284 CPUtime=1.49
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 16661 0 0 0 126 23 0 0 25 0 1 0 188545015 71970816 15750 1992294400 4194304 9342243 548682068736 18446744073709551615 6911085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 17571 15751 618 1256 0 16310 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70284

[startup+3.10181 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9308
/proc/meminfo: memFree=1777440/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=74408 CPUtime=3.09
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 18374 0 0 0 285 24 0 0 25 0 1 0 188545015 76193792 16050 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 18602 16050 620 1256 0 17341 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 74408

[startup+6.30117 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9308
/proc/meminfo: memFree=1775008/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=75892 CPUtime=6.29
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 20744 0 0 0 603 26 0 0 25 0 1 0 188545015 77713408 16511 1992294400 4194304 9342243 548682068736 18446744073709551615 6968083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 18973 16511 620 1256 0 17712 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 75892

[startup+12.7019 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9308
/proc/meminfo: memFree=1775536/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=76680 CPUtime=12.69
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 24176 0 0 0 1240 29 0 0 25 0 1 0 188545015 78520320 16666 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 19170 16666 871 1256 0 17909 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 76680

[startup+25.5013 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9308
/proc/meminfo: memFree=1764592/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=87748 CPUtime=25.48
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 29383 0 0 0 2513 35 0 0 25 0 1 0 188545015 89853952 19296 1992294400 4194304 9342243 548682068736 18446744073709551615 6938543 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 21937 19296 672 1256 0 20676 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87748

[startup+51.1011 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9308
/proc/meminfo: memFree=1762224/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=88756 CPUtime=51.08
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 30619 0 0 0 5067 41 0 0 25 0 1 0 188545015 90886144 19785 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 22189 19785 672 1256 0 20928 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 88756

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9308
/proc/meminfo: memFree=1759600/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=101032 CPUtime=102.27
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 34311 0 0 0 10177 50 0 0 25 0 1 0 188545015 103456768 20415 1992294400 4194304 9342243 548682068736 18446744073709551615 6978102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 25258 20415 679 1256 0 23997 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 101032

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9308
/proc/meminfo: memFree=1759280/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=88276 CPUtime=162.24
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 37491 0 0 0 16169 55 0 0 25 0 1 0 188545015 90394624 20514 1992294400 4194304 9342243 548682068736 18446744073709551615 6957827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 22069 20514 692 1256 0 20808 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 88276

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9308
/proc/meminfo: memFree=1758832/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=88276 CPUtime=222.23
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 37592 0 0 0 22161 62 0 0 25 0 1 0 188545015 90394624 20615 1992294400 4194304 9342243 548682068736 18446744073709551615 6948947 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 22069 20615 700 1256 0 20808 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 88276

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9308
/proc/meminfo: memFree=1759728/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=89304 CPUtime=282.21
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 38869 0 0 0 28153 68 0 0 25 0 1 0 188545015 91447296 20393 1992294400 4194304 9342243 548682068736 18446744073709551615 6940520 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 22326 20393 700 1256 0 21065 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 89304

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9308
/proc/meminfo: memFree=1758512/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=101484 CPUtime=342.2
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 39628 0 0 0 34147 73 0 0 25 0 1 0 188545015 103919616 20680 1992294400 4194304 9342243 548682068736 18446744073709551615 6960228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 25371 20680 701 1256 0 24110 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 101484

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9308
/proc/meminfo: memFree=1757424/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=91180 CPUtime=402.18
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 41708 0 0 0 40141 77 0 0 25 0 1 0 188545015 93368320 20954 1992294400 4194304 9342243 548682068736 18446744073709551615 6968083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 22795 20954 701 1256 0 21534 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 91180

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9308
/proc/meminfo: memFree=1758000/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=89352 CPUtime=462.15
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 51903 0 0 0 46128 87 0 0 25 0 1 0 188545015 91496448 20757 1992294400 4194304 9342243 548682068736 18446744073709551615 6965691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 22338 20757 701 1256 0 21077 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 89352

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9308
/proc/meminfo: memFree=1757936/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=91276 CPUtime=522.14
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 59926 0 0 0 52116 98 0 0 25 0 1 0 188545015 93466624 20812 1992294400 4194304 9342243 548682068736 18446744073709551615 6959599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 22819 20812 701 1256 0 21558 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 91276

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9308
/proc/meminfo: memFree=1759408/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=91296 CPUtime=582.12
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 66107 0 0 0 58106 106 0 0 25 0 1 0 188545015 93487104 20436 1992294400 4194304 9342243 548682068736 18446744073709551615 6957878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 22824 20436 701 1256 0 21563 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 91296

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9308
/proc/meminfo: memFree=1758192/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=95608 CPUtime=642.11
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 70508 0 0 0 64098 113 0 0 25 0 1 0 188545015 97902592 20727 1992294400 4194304 9342243 548682068736 18446744073709551615 6960329 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 23902 20727 701 1256 0 22641 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 95608

[startup+702.302 s]

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

/proc/meminfo: memFree=1757232/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=98756 CPUtime=1121.97
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 269569 0 0 0 111925 272 0 0 25 0 1 0 188545015 101126144 20923 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 24689 20923 701 1256 0 23428 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 98756

[startup+1182.3 s]
/proc/loadavg: 1.17 1.08 1.01 2/65 9308
/proc/meminfo: memFree=1753072/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=99760 CPUtime=1181.95
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 270599 0 0 0 117915 280 0 0 25 0 1 0 188545015 102154240 21953 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 24940 21953 701 1256 0 23679 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 99760

[startup+1242.3 s]
/proc/loadavg: 1.18 1.10 1.02 2/65 9308
/proc/meminfo: memFree=1747504/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=101580 CPUtime=1241.93
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 271970 0 0 0 123904 289 0 0 25 0 1 0 188545015 104017920 23324 1992294400 4194304 9342243 548682068736 18446744073709551615 6939168 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 25395 23324 701 1256 0 24134 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 101580

[startup+1302.3 s]
/proc/loadavg: 1.16 1.11 1.02 2/65 9310
/proc/meminfo: memFree=1746352/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=106520 CPUtime=1301.92
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 272231 0 0 0 129897 295 0 0 25 0 1 0 188545015 109076480 23585 1992294400 4194304 9342243 548682068736 18446744073709551615 6960836 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 26630 23585 701 1256 0 25369 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 106520

[startup+1362.3 s]
/proc/loadavg: 1.12 1.10 1.02 2/65 9310
/proc/meminfo: memFree=1746288/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=106520 CPUtime=1361.9
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 272231 0 0 0 135890 300 0 0 25 0 1 0 188545015 109076480 23585 1992294400 4194304 9342243 548682068736 18446744073709551615 6040653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 26630 23585 701 1256 0 25369 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 106520

[startup+1422.31 s]
/proc/loadavg: 1.04 1.08 1.01 2/65 9310
/proc/meminfo: memFree=1746288/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=106520 CPUtime=1421.89
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 272234 0 0 0 141884 305 0 0 25 0 1 0 188545015 109076480 23588 1992294400 4194304 9342243 548682068736 18446744073709551615 6889765 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 26630 23588 704 1256 0 25369 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 106520

[startup+1482.3 s]
/proc/loadavg: 1.01 1.06 1.01 2/65 9310
/proc/meminfo: memFree=1746032/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=106520 CPUtime=1481.87
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 272288 0 0 0 147876 311 0 0 25 0 1 0 188545015 109076480 23642 1992294400 4194304 9342243 548682068736 18446744073709551615 6039827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 26630 23642 704 1256 0 25369 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 106520

[startup+1542.3 s]
/proc/loadavg: 1.00 1.05 1.00 2/65 9310
/proc/meminfo: memFree=1745776/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=100636 CPUtime=1541.85
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 274410 0 0 0 153868 317 0 0 25 0 1 0 188545015 103051264 23655 1992294400 4194304 9342243 548682068736 18446744073709551615 6967479 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 25159 23655 704 1256 0 23898 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 100636

[startup+1602.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/65 9310
/proc/meminfo: memFree=1745776/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=102492 CPUtime=1601.83
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 274414 0 0 0 159858 325 0 0 25 0 1 0 188545015 104951808 23659 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 25623 23659 704 1256 0 24362 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 102492

[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 9310
/proc/meminfo: memFree=1745776/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=102492 CPUtime=1661.81
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 274414 0 0 0 165851 330 0 0 25 0 1 0 188545015 104951808 23659 1992294400 4194304 9342243 548682068736 18446744073709551615 4265989 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 25623 23659 704 1256 0 24362 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 102492

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 9310
/proc/meminfo: memFree=1745776/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=102492 CPUtime=1721.8
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 274420 0 0 0 171843 337 0 0 25 0 1 0 188545015 104951808 23665 1992294400 4194304 9342243 548682068736 18446744073709551615 6966598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 25623 23665 704 1256 0 24362 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 102492

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 9316
/proc/meminfo: memFree=1745576/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=102492 CPUtime=1781.77
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 274420 0 0 0 177832 345 0 0 25 0 1 0 188545015 104951808 23665 1992294400 4194304 9342243 548682068736 18446744073709551615 6938247 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 25623 23665 704 1256 0 24362 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 102492

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 9316
/proc/meminfo: memFree=1745576/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=102492 CPUtime=1784.98
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 274428 0 0 0 178152 346 0 0 25 0 1 0 188545015 104951808 23673 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 25623 23673 704 1256 0 24362 0
Current children cumulated CPU time (s) 1784.98
Current children cumulated vsize (KiB) 102492

[startup+1791.91 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9316
/proc/meminfo: memFree=1745256/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=102492 CPUtime=1791.37
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 274543 0 0 0 178791 346 0 0 25 0 1 0 188545015 104951808 23788 1992294400 4194304 9342243 548682068736 18446744073709551615 6960333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 25623 23788 708 1256 0 24362 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 102492

[startup+1793.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9316
/proc/meminfo: memFree=1745256/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=102492 CPUtime=1792.96
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 274543 0 0 0 178950 346 0 0 25 0 1 0 188545015 104951808 23788 1992294400 4194304 9342243 548682068736 18446744073709551615 6960836 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 25623 23788 708 1256 0 24362 0
Current children cumulated CPU time (s) 1792.96
Current children cumulated vsize (KiB) 102492

[startup+1794.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9316
/proc/meminfo: memFree=1745256/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=102492 CPUtime=1793.76
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 274543 0 0 0 179030 346 0 0 25 0 1 0 188545015 104951808 23788 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 25623 23788 708 1256 0 24362 0
Current children cumulated CPU time (s) 1793.76
Current children cumulated vsize (KiB) 102492

[startup+1794.7 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9316
/proc/meminfo: memFree=1745256/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=102492 CPUtime=1794.17
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 274543 0 0 0 179070 347 0 0 25 0 1 0 188545015 104951808 23788 1992294400 4194304 9342243 548682068736 18446744073709551615 6960255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9307/statm: 25623 23788 708 1256 0 24362 0
Current children cumulated CPU time (s) 1794.17
Current children cumulated vsize (KiB) 102492

[startup+1795.1 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9316
/proc/meminfo: memFree=1745256/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=102492 CPUtime=1794.58
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 274543 0 0 0 179111 347 0 0 25 0 1 0 188545015 104951808 23788 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 0 0 0 0 17 1 0 0
/proc/9307/statm: 25623 23788 708 1256 0 24362 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 102492

[startup+1795.21 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9316
/proc/meminfo: memFree=1745256/2055920 swapFree=4181884/4192956
[pid=9307] ppid=9305 vsize=102492 CPUtime=1794.68
/proc/9307/stat : 9307 (pbscip.linux.x8) R 9305 9307 9189 0 -1 4194304 274547 0 0 0 179121 347 0 0 17 0 1 0 188545015 104951808 23792 1992294400 4194304 9342243 548682068736 18446744073709551615 5855084 0 0 4096 0 0 0 0 17 1 0 0
/proc/9307/statm: 25623 23792 712 1256 0 24362 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (KiB) 102492

Child status: 0
Real time (s): 1795.24
CPU time (s): 1794.72
CPU user time (s): 1791.23
CPU system time (s): 3.48747
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 111928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.23
system time used= 3.48747
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274551
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= 1599

runsolver used 1.3038 second user time and 3.70544 second system time

The end

Launcher Data 

Begin job on node42 at 2009-06-17 05:31:22
IDJOB=1870519
IDBENCH=48258
IDSOLVER=684
FILE ID=node42/1870519-1245209482
PBS_JOBID= 9368390
Free space on /tmp= 66148 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870519-1245209482/watcher-1870519-1245209482 -o /tmp/evaluation-result-1870519-1245209482/solver-1870519-1245209482 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870519-1245209482.opb

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

MD5SUM BENCH= 162153f0f0e5f8f2e587b9d579ee09dc
RANDOM SEED=1026449462

node42.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.214
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.214
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1839432 kB
Buffers:         20468 kB
Cached:         113772 kB
SwapCached:       5092 kB
Active:          49352 kB
Inactive:        93012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1839432 kB
SwapTotal:     4192956 kB
SwapFree:      4181884 kB
Dirty:           11920 kB
Writeback:           0 kB
Mapped:          14316 kB
Slab:            60172 kB
Committed_AS:   180816 kB
PageTables:       1400 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= 66136 MiB
End job on node42 at 2009-06-17 06:01:17