Trace number 1870523

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-13 1794.63 1795.32

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_2.opb
MD5SUM16914dfad82872f4c1ab9b61e8ec867a
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-31
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
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)74976
Sum of products size (including duplicates)149952
Number of different products37488
Sum of products size74976

Solver Data 

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

Verifier Data 

OK	-13

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870523-1245209718/watcher-1870523-1245209718 -o /tmp/evaluation-result-1870523-1245209718/solver-1870523-1245209718 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870523-1245209718.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: 1.00 1.00 0.91 3/64 14152
/proc/meminfo: memFree=1314976/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=5812 CPUtime=0
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 188565681 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8240151 0 0 4096 0 0 0 0 17 1 0 0
/proc/14152/statm: 1453 502 332 1256 0 192 0

[startup+0.063723 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 14152
/proc/meminfo: memFree=1314976/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=19804 CPUtime=0.05
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 3855 0 0 0 4 1 0 0 18 0 1 0 188565681 20279296 3839 1992294400 4194304 9342243 548682068736 18446744073709551615 4403206 0 0 4096 0 0 0 0 17 1 0 0
/proc/14152/statm: 4951 3839 378 1256 0 3690 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19804

[startup+0.10274 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 14152
/proc/meminfo: memFree=1314976/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=24036 CPUtime=0.09
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 4951 0 0 0 8 1 0 0 18 0 1 0 188565681 24612864 4935 1992294400 4194304 9342243 548682068736 18446744073709551615 8169822 0 0 4096 0 0 0 0 17 1 0 0
/proc/14152/statm: 6009 4935 378 1256 0 4748 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24036

[startup+0.301774 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 14152
/proc/meminfo: memFree=1314976/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=43900 CPUtime=0.29
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 9940 0 0 0 26 3 0 0 19 0 1 0 188565681 44953600 9924 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/14152/statm: 10975 9924 378 1256 0 9714 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43900

[startup+0.701859 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 14152
/proc/meminfo: memFree=1314976/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=103432 CPUtime=0.69
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 25235 0 0 0 60 9 0 0 22 0 1 0 188565681 105914368 24791 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 25858 24791 426 1256 0 24597 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 103432

[startup+1.50203 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 14153
/proc/meminfo: memFree=1213592/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=117508 CPUtime=1.49
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 28521 0 0 0 137 12 0 0 25 0 1 0 188565681 120328192 28077 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 29377 28077 446 1256 0 28116 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117508

[startup+3.10137 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 14153
/proc/meminfo: memFree=1189784/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=136612 CPUtime=3.09
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 34203 0 0 0 278 31 0 0 25 0 1 0 188565681 139890688 32900 1992294400 4194304 9342243 548682068736 18446744073709551615 5422761 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 34153 32900 493 1256 0 32892 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 136612

[startup+6.30106 s]
/proc/loadavg: 1.00 1.00 0.91 3/65 14153
/proc/meminfo: memFree=1059992/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=289948 CPUtime=6.28
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 66662 0 0 0 585 43 0 0 25 0 1 0 188565681 296906752 65025 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 72487 65025 617 1256 0 71226 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 289948

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 14153
/proc/meminfo: memFree=1052776/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=319240 CPUtime=12.68
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 78196 0 0 0 1218 50 0 0 25 0 1 0 188565681 326901760 67821 1992294400 4194304 9342243 548682068736 18446744073709551615 4339117 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 79810 67821 641 1256 0 78549 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 319240

[startup+25.5022 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 14153
/proc/meminfo: memFree=1017320/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=345436 CPUtime=25.48
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 85271 0 0 0 2490 58 0 0 25 0 1 0 188565681 353726464 74894 1992294400 4194304 9342243 548682068736 18446744073709551615 5597697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 86359 74894 646 1256 0 85098 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 345436

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 14153
/proc/meminfo: memFree=994856/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=361684 CPUtime=51.06
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 91431 0 0 0 5034 72 0 0 25 0 1 0 188565681 370364416 80551 1992294400 4194304 9342243 548682068736 18446744073709551615 6970131 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 90421 80551 667 1256 0 89160 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 361684

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 14153
/proc/meminfo: memFree=991336/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=366396 CPUtime=102.24
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 92307 0 0 0 10149 75 0 0 25 0 1 0 188565681 375189504 81427 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 91599 81427 667 1256 0 90338 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 366396

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 14153
/proc/meminfo: memFree=981480/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=371112 CPUtime=162.21
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 94762 0 0 0 16143 78 0 0 25 0 1 0 188565681 380018688 83880 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 92778 83880 676 1256 0 91517 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 371112

[startup+222.301 s]
/proc/loadavg: 1.06 1.02 0.91 2/65 14153
/proc/meminfo: memFree=980008/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=371704 CPUtime=222.19
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 95128 0 0 0 22139 80 0 0 25 0 1 0 188565681 380624896 84246 1992294400 4194304 9342243 548682068736 18446744073709551615 5868780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 92926 84246 676 1256 0 91665 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 371704

[startup+282.301 s]
/proc/loadavg: 1.08 1.03 0.92 2/65 14153
/proc/meminfo: memFree=978664/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=372168 CPUtime=282.17
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 95449 0 0 0 28136 81 0 0 25 0 1 0 188565681 381100032 84567 1992294400 4194304 9342243 548682068736 18446744073709551615 5869983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 93042 84567 676 1256 0 91781 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 372168

[startup+342.301 s]
/proc/loadavg: 1.08 1.03 0.93 2/65 14153
/proc/meminfo: memFree=977448/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=372648 CPUtime=342.15
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 95756 0 0 0 34133 82 0 0 25 0 1 0 188565681 381591552 84874 1992294400 4194304 9342243 548682068736 18446744073709551615 6950146 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 93162 84874 676 1256 0 91901 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 372648

[startup+402.301 s]
/proc/loadavg: 1.08 1.04 0.93 2/65 14153
/proc/meminfo: memFree=976680/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=372940 CPUtime=402.13
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 95952 0 0 0 40130 83 0 0 25 0 1 0 188565681 381890560 85070 1992294400 4194304 9342243 548682068736 18446744073709551615 6357232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 93235 85070 676 1256 0 91974 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 372940

[startup+462.302 s]
/proc/loadavg: 1.12 1.06 0.94 2/65 14153
/proc/meminfo: memFree=976232/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=373104 CPUtime=462.1
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 96055 0 0 0 46126 84 0 0 25 0 1 0 188565681 382058496 85173 1992294400 4194304 9342243 548682068736 18446744073709551615 5874707 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 93276 85173 676 1256 0 92015 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 373104

[startup+522.302 s]
/proc/loadavg: 1.05 1.05 0.94 2/65 14153
/proc/meminfo: memFree=982056/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377808 CPUtime=522.08
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 102020 0 0 0 52118 90 0 0 25 0 1 0 188565681 386875392 84038 1992294400 4194304 9342243 548682068736 18446744073709551615 6940674 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94452 84038 676 1256 0 93191 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 377808

[startup+582.302 s]
/proc/loadavg: 1.01 1.04 0.94 2/65 14153
/proc/meminfo: memFree=979752/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377896 CPUtime=582.06
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 110840 0 0 0 58108 98 0 0 25 0 1 0 188565681 386965504 84313 1992294400 4194304 9342243 548682068736 18446744073709551615 6938326 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94474 84313 676 1256 0 93213 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 377896

[startup+642.302 s]
/proc/loadavg: 1.00 1.03 0.94 2/65 14153
/proc/meminfo: memFree=978920/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377968 CPUtime=642.05
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 119542 0 0 0 64099 106 0 0 25 0 1 0 188565681 387039232 84497 1992294400 4194304 9342243 548682068736 18446744073709551615 6943631 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94492 84497 676 1256 0 93231 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 377968

[startup+702.302 s]

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

/proc/meminfo: memFree=984680/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377912 CPUtime=1061.89
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 181585 0 0 0 106035 154 0 0 25 0 1 0 188565681 386981888 82990 1992294400 4194304 9342243 548682068736 18446744073709551615 6365899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94478 82990 676 1256 0 93217 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 377912

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14153
/proc/meminfo: memFree=984168/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377932 CPUtime=1121.86
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 193062 0 0 0 112023 163 0 0 25 0 1 0 188565681 387002368 83224 1992294400 4194304 9342243 548682068736 18446744073709551615 7534393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94483 83224 676 1256 0 93222 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 377932

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14155
/proc/meminfo: memFree=984296/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377924 CPUtime=1181.84
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 204599 0 0 0 118013 171 0 0 25 0 1 0 188565681 386994176 83276 1992294400 4194304 9342243 548682068736 18446744073709551615 5874776 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94481 83276 676 1256 0 93220 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 377924

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14155
/proc/meminfo: memFree=983464/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377900 CPUtime=1241.81
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 215010 0 0 0 124003 178 0 0 25 0 1 0 188565681 386969600 83405 1992294400 4194304 9342243 548682068736 18446744073709551615 6962165 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94475 83405 676 1256 0 93214 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 377900

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14155
/proc/meminfo: memFree=983912/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377872 CPUtime=1301.79
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 224130 0 0 0 129995 184 0 0 25 0 1 0 188565681 386940928 83256 1992294400 4194304 9342243 548682068736 18446744073709551615 7008309 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94468 83256 676 1256 0 93207 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 377872

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14155
/proc/meminfo: memFree=979496/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377828 CPUtime=1361.77
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 232518 0 0 0 135987 190 0 0 25 0 1 0 188565681 386895872 84538 1992294400 4194304 9342243 548682068736 18446744073709551615 6938543 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94457 84538 676 1256 0 93196 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 377828

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14155
/proc/meminfo: memFree=977960/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377800 CPUtime=1421.75
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 240252 0 0 0 141978 197 0 0 25 0 1 0 188565681 386867200 84734 1992294400 4194304 9342243 548682068736 18446744073709551615 6040621 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94450 84734 676 1256 0 93189 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 377800

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14155
/proc/meminfo: memFree=977064/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377784 CPUtime=1481.72
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 251374 0 0 0 147968 204 0 0 25 0 1 0 188565681 386850816 84967 1992294400 4194304 9342243 548682068736 18446744073709551615 6978094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94446 84967 676 1256 0 93185 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 377784

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14155
/proc/meminfo: memFree=976168/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377768 CPUtime=1541.7
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 261978 0 0 0 153959 211 0 0 25 0 1 0 188565681 386834432 85162 1992294400 4194304 9342243 548682068736 18446744073709551615 6951763 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94442 85162 676 1256 0 93181 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 377768

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14161
/proc/meminfo: memFree=977320/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377748 CPUtime=1601.68
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 269650 0 0 0 159951 217 0 0 25 0 1 0 188565681 386813952 85052 1992294400 4194304 9342243 548682068736 18446744073709551615 6970108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94437 85052 676 1256 0 93176 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 377748

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14161
/proc/meminfo: memFree=975528/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377740 CPUtime=1661.66
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 277438 0 0 0 165942 224 0 0 25 0 1 0 188565681 386805760 85313 1992294400 4194304 9342243 548682068736 18446744073709551615 6938499 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94435 85313 676 1256 0 93174 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 377740

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14161
/proc/meminfo: memFree=976488/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377736 CPUtime=1721.64
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 287183 0 0 0 171933 231 0 0 25 0 1 0 188565681 386801664 85103 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94434 85103 676 1256 0 93173 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 377736

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14161
/proc/meminfo: memFree=982632/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377724 CPUtime=1781.61
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 295305 0 0 0 177924 237 0 0 25 0 1 0 188565681 386789376 83564 1992294400 4194304 9342243 548682068736 18446744073709551615 6960300 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94431 83564 676 1256 0 93170 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 377724

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14161
/proc/meminfo: memFree=981096/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377724 CPUtime=1784.81
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 295744 0 0 0 178244 237 0 0 25 0 1 0 188565681 386789376 84003 1992294400 4194304 9342243 548682068736 18446744073709551615 6960228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94431 84003 676 1256 0 93170 0
Current children cumulated CPU time (s) 1784.81
Current children cumulated vsize (KiB) 377724

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14161
/proc/meminfo: memFree=982888/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377728 CPUtime=1791.21
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 297221 0 0 0 178883 238 0 0 25 0 1 0 188565681 386793472 83486 1992294400 4194304 9342243 548682068736 18446744073709551615 5874735 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94432 83486 676 1256 0 93171 0
Current children cumulated CPU time (s) 1791.21
Current children cumulated vsize (KiB) 377728

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14161
/proc/meminfo: memFree=982568/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377728 CPUtime=1792.81
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 297352 0 0 0 179043 238 0 0 25 0 1 0 188565681 386793472 83617 1992294400 4194304 9342243 548682068736 18446744073709551615 6959562 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94432 83617 676 1256 0 93171 0
Current children cumulated CPU time (s) 1792.81
Current children cumulated vsize (KiB) 377728

[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14161
/proc/meminfo: memFree=982184/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377728 CPUtime=1793.61
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 297420 0 0 0 179123 238 0 0 25 0 1 0 188565681 386793472 83685 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14152/statm: 94432 83685 676 1256 0 93171 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (KiB) 377728

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14161
/proc/meminfo: memFree=982056/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=377728 CPUtime=1794.41
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 297441 0 0 0 179203 238 0 0 19 0 1 0 188565681 386793472 83706 1992294400 4194304 9342243 548682068736 18446744073709551615 4802841 0 0 4096 0 0 0 0 17 1 0 0
/proc/14152/statm: 94432 83706 680 1256 0 93171 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (KiB) 377728

[startup+1795.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 14161
/proc/meminfo: memFree=982056/2055920 swapFree=4162004/4192956
[pid=14152] ppid=14150 vsize=112020 CPUtime=1794.6
/proc/14152/stat : 14152 (pbscip.linux.x8) R 14150 14152 14087 0 -1 4194304 297442 0 0 0 179218 242 0 0 21 0 1 0 188565681 114708480 27109 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/14152/statm: 28005 27109 7328 1256 0 26744 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 112020

Child status: 0
Real time (s): 1795.32
CPU time (s): 1794.63
CPU user time (s): 1792.19
CPU system time (s): 2.44063
CPU usage (%): 99.9618
Max. virtual memory (cumulated for all children) (KiB): 378044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.19
system time used= 2.44063
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297447
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 1939

runsolver used 1.68274 second user time and 4.00639 second system time

The end

Launcher Data 

Begin job on node71 at 2009-06-17 05:35:18
IDJOB=1870523
IDBENCH=48260
IDSOLVER=684
FILE ID=node71/1870523-1245209718
PBS_JOBID= 9368410
Free space on /tmp= 66492 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_60_2.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-1870523-1245209718/watcher-1870523-1245209718 -o /tmp/evaluation-result-1870523-1245209718/solver-1870523-1245209718 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870523-1245209718.opb

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

MD5SUM BENCH= 16914dfad82872f4c1ab9b61e8ec867a
RANDOM SEED=2118524104

node71.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.277
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.277
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:       1315456 kB
Buffers:         85448 kB
Cached:         546788 kB
SwapCached:      26276 kB
Active:         181616 kB
Inactive:       479696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1315456 kB
SwapTotal:     4192956 kB
SwapFree:      4162004 kB
Dirty:           12696 kB
Writeback:           0 kB
Mapped:          13432 kB
Slab:            65084 kB
Committed_AS:    88920 kB
PageTables:       1440 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= 66480 MiB
End job on node71 at 2009-06-17 06:05:14