Trace number 1870549

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-9 1794.5 1795.04

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_4.opb
MD5SUMd34b8195c337caa741dffbe26b4db95e
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.68
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)74916
Sum of products size (including duplicates)149832
Number of different products37458
Sum of products size74916

Solver Data 

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

Verifier Data 

OK	-9

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870549-1245211311/watcher-1870549-1245211311 -o /tmp/evaluation-result-1870549-1245211311/solver-1870549-1245211311 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870549-1245211311.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.93 3/65 1692
/proc/meminfo: memFree=1823340/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=7616 CPUtime=0
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 603 0 0 0 0 0 0 0 20 0 1 0 188729820 7798784 588 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/1692/statm: 1904 598 353 1256 0 643 0

[startup+0.0676111 s]
/proc/loadavg: 1.00 1.00 0.93 3/65 1692
/proc/meminfo: memFree=1823340/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=20088 CPUtime=0.05
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 3927 0 0 0 4 1 0 0 20 0 1 0 188729820 20570112 3911 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/1692/statm: 5022 3911 378 1256 0 3761 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20088

[startup+0.101609 s]
/proc/loadavg: 1.00 1.00 0.93 3/65 1692
/proc/meminfo: memFree=1823340/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=25052 CPUtime=0.09
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 5207 0 0 0 7 2 0 0 20 0 1 0 188729820 25653248 5191 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/1692/statm: 6263 5191 378 1256 0 5002 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25052

[startup+0.301629 s]
/proc/loadavg: 1.00 1.00 0.93 3/65 1692
/proc/meminfo: memFree=1823340/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=46496 CPUtime=0.29
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 10572 0 0 0 25 4 0 0 22 0 1 0 188729820 47611904 10556 1992294400 4194304 9342243 548682068736 18446744073709551615 8169789 0 0 4096 0 0 0 0 17 1 0 0
/proc/1692/statm: 11624 10556 378 1256 0 10363 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46496

[startup+0.701672 s]
/proc/loadavg: 1.00 1.00 0.93 3/65 1692
/proc/meminfo: memFree=1823340/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=103200 CPUtime=0.69
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 25174 0 0 0 59 10 0 0 25 0 1 0 188729820 105676800 24730 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 25800 24730 426 1256 0 24539 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 103200

[startup+1.50176 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 1693
/proc/meminfo: memFree=1720676/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=118844 CPUtime=1.49
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 28852 0 0 0 135 14 0 0 25 0 1 0 188729820 121696256 28408 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 29711 28408 446 1256 0 28450 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 118844

[startup+3.10194 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 1693
/proc/meminfo: memFree=1696676/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=136316 CPUtime=3.09
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 34126 0 0 0 276 33 0 0 25 0 1 0 188729820 139587584 32823 1992294400 4194304 9342243 548682068736 18446744073709551615 5422761 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 34079 32823 493 1256 0 32818 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 136316

[startup+6.3013 s]
/proc/loadavg: 1.08 1.02 0.93 2/66 1693
/proc/meminfo: memFree=1567396/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=289840 CPUtime=6.28
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 66848 0 0 0 582 46 0 0 25 0 1 0 188729820 296796160 65212 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 72460 65212 617 1256 0 71199 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 289840

[startup+12.702 s]
/proc/loadavg: 1.15 1.03 0.94 2/66 1693
/proc/meminfo: memFree=1555876/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=314704 CPUtime=12.68
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 75137 0 0 0 1218 50 0 0 25 0 1 0 188729820 322256896 67548 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 78676 67548 618 1256 0 77415 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 314704

[startup+25.5024 s]
/proc/loadavg: 1.12 1.03 0.94 2/66 1693
/proc/meminfo: memFree=1541540/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=327196 CPUtime=25.47
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 82214 0 0 0 2488 59 0 0 25 0 1 0 188729820 335048704 70939 1992294400 4194304 9342243 548682068736 18446744073709551615 5575805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 81799 70939 645 1256 0 80538 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 327196

[startup+51.1023 s]
/proc/loadavg: 1.08 1.03 0.94 2/66 1693
/proc/meminfo: memFree=1519012/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=350060 CPUtime=51.07
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 88415 0 0 0 5035 72 0 0 25 0 1 0 188729820 358461440 76585 1992294400 4194304 9342243 548682068736 18446744073709551615 6959729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 87515 76585 667 1256 0 86254 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 350060

[startup+102.306 s]
/proc/loadavg: 1.03 1.02 0.94 2/66 1693
/proc/meminfo: memFree=1510308/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=355884 CPUtime=102.25
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 90595 0 0 0 10149 76 0 0 25 0 1 0 188729820 364425216 78765 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 88971 78765 667 1256 0 87710 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 355884

[startup+162.303 s]
/proc/loadavg: 1.01 1.02 0.94 2/66 1693
/proc/meminfo: memFree=1515108/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=361064 CPUtime=162.23
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 93865 0 0 0 16137 86 0 0 25 0 1 0 188729820 369729536 77786 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 90266 77786 667 1256 0 89005 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 361064

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 0.94 2/66 1693
/proc/meminfo: memFree=1513060/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=365264 CPUtime=222.22
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 109135 0 0 0 22121 101 0 0 25 0 1 0 188729820 374030336 78054 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 91316 78054 667 1256 0 90055 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 365264

[startup+282.303 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1508964/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=369520 CPUtime=282.2
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 130295 0 0 0 28102 118 0 0 25 0 1 0 188729820 378388480 77665 1992294400 4194304 9342243 548682068736 18446744073709551615 6358263 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 92380 77665 676 1256 0 91119 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 369520

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1507684/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=360384 CPUtime=342.18
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 148455 0 0 0 34086 132 0 0 25 0 1 0 188729820 369033216 77863 1992294400 4194304 9342243 548682068736 18446744073709551615 6890372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 90096 77863 676 1256 0 88835 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 360384

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1514020/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=369516 CPUtime=402.16
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 165140 0 0 0 40069 147 0 0 25 0 1 0 188729820 378384384 77889 1992294400 4194304 9342243 548682068736 18446744073709551615 6960228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 92379 77889 676 1256 0 91118 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 369516

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1513572/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=368896 CPUtime=462.15
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 181987 0 0 0 46055 160 0 0 25 0 1 0 188729820 377749504 77977 1992294400 4194304 9342243 548682068736 18446744073709551615 6959555 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 92224 77977 676 1256 0 90963 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 368896

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1511204/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=365800 CPUtime=522.13
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 195387 0 0 0 52042 171 0 0 25 0 1 0 188729820 374579200 78534 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 91450 78534 676 1256 0 90189 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 365800

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1509348/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=365144 CPUtime=582.11
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 204818 0 0 0 58032 179 0 0 25 0 1 0 188729820 373907456 78984 1992294400 4194304 9342243 548682068736 18446744073709551615 6960228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 91286 78984 676 1256 0 90025 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 365144

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1511716/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=364544 CPUtime=642.09
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 214680 0 0 0 64024 185 0 0 25 0 1 0 188729820 373293056 78388 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 91136 78388 676 1256 0 89875 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 364544

[startup+702.302 s]

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

/proc/meminfo: memFree=1489636/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=370140 CPUtime=1121.95
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 232088 0 0 0 111986 209 0 0 25 0 1 0 188729820 379023360 83885 1992294400 4194304 9342243 548682068736 18446744073709551615 5874794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 92535 83885 676 1256 0 91274 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 370140

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1487908/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=370140 CPUtime=1181.93
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 232548 0 0 0 117983 210 0 0 25 0 1 0 188729820 379023360 84345 1992294400 4194304 9342243 548682068736 18446744073709551615 6363948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 92535 84345 676 1256 0 91274 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 370140

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1485668/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=373836 CPUtime=1241.92
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 233056 0 0 0 123975 217 0 0 25 0 1 0 188729820 382808064 84853 1992294400 4194304 9342243 548682068736 18446744073709551615 5869983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 93459 84853 676 1256 0 92198 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 373836

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1481316/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=373836 CPUtime=1301.9
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 234129 0 0 0 129966 224 0 0 25 0 1 0 188729820 382808064 85926 1992294400 4194304 9342243 548682068736 18446744073709551615 5575803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 93459 85926 676 1256 0 92198 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 373836

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1480996/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=373836 CPUtime=1361.88
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 234196 0 0 0 135958 230 0 0 25 0 1 0 188729820 382808064 85993 1992294400 4194304 9342243 548682068736 18446744073709551615 5575803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 93459 85993 676 1256 0 92198 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 373836

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1477156/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=380028 CPUtime=1421.87
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 235162 0 0 0 141956 231 0 0 25 0 1 0 188729820 389148672 86959 1992294400 4194304 9342243 548682068736 18446744073709551615 6960624 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 95007 86959 686 1256 0 93746 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 380028

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1477156/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=380028 CPUtime=1481.85
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 235162 0 0 0 147954 231 0 0 25 0 1 0 188729820 389148672 86959 1992294400 4194304 9342243 548682068736 18446744073709551615 6936162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 95007 86959 686 1256 0 93746 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 380028

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1477092/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=380028 CPUtime=1541.83
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 235162 0 0 0 153952 231 0 0 25 0 1 0 188729820 389148672 86959 1992294400 4194304 9342243 548682068736 18446744073709551615 6960296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 95007 86959 686 1256 0 93746 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 380028

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1477092/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=380028 CPUtime=1601.81
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 235162 0 0 0 159950 231 0 0 25 0 1 0 188729820 389148672 86959 1992294400 4194304 9342243 548682068736 18446744073709551615 6974267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 95007 86959 686 1256 0 93746 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 380028

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1477028/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=380028 CPUtime=1661.8
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 235162 0 0 0 165949 231 0 0 25 0 1 0 188729820 389148672 86959 1992294400 4194304 9342243 548682068736 18446744073709551615 6960270 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 95007 86959 686 1256 0 93746 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 380028

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1477028/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=380028 CPUtime=1721.78
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 235162 0 0 0 171947 231 0 0 25 0 1 0 188729820 389148672 86959 1992294400 4194304 9342243 548682068736 18446744073709551615 6146210 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 95007 86959 686 1256 0 93746 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 380028

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1476964/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=380028 CPUtime=1781.76
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 235169 0 0 0 177945 231 0 0 25 0 1 0 188729820 389148672 86966 1992294400 4194304 9342243 548682068736 18446744073709551615 6943619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 95007 86966 693 1256 0 93746 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 380028

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1476964/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=380028 CPUtime=1784.96
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 235169 0 0 0 178265 231 0 0 25 0 1 0 188729820 389148672 86966 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 95007 86966 693 1256 0 93746 0
Current children cumulated CPU time (s) 1784.96
Current children cumulated vsize (KiB) 380028

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1476964/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=380028 CPUtime=1791.36
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 235169 0 0 0 178905 231 0 0 25 0 1 0 188729820 389148672 86966 1992294400 4194304 9342243 548682068736 18446744073709551615 6952385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 95007 86966 693 1256 0 93746 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 380028

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1476964/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=380028 CPUtime=1792.95
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 235169 0 0 0 179064 231 0 0 25 0 1 0 188729820 389148672 86966 1992294400 4194304 9342243 548682068736 18446744073709551615 6944031 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1692/statm: 95007 86966 693 1256 0 93746 0
Current children cumulated CPU time (s) 1792.95
Current children cumulated vsize (KiB) 380028

[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1476964/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=380028 CPUtime=1793.75
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 235169 0 0 0 179144 231 0 0 25 0 1 0 188729820 389148672 86966 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 0 0 0 0 17 1 0 0
/proc/1692/statm: 95007 86966 693 1256 0 93746 0
Current children cumulated CPU time (s) 1793.75
Current children cumulated vsize (KiB) 380028

[startup+1794.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1476964/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=380028 CPUtime=1794.15
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 235173 0 0 0 179184 231 0 0 18 0 1 0 188729820 389148672 86970 1992294400 4194304 9342243 548682068736 18446744073709551615 4318768 0 0 4096 0 0 0 0 17 1 0 0
/proc/1692/statm: 95007 86970 697 1256 0 93746 0
Current children cumulated CPU time (s) 1794.15
Current children cumulated vsize (KiB) 380028

[startup+1794.9 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1476964/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=380028 CPUtime=1794.35
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 235173 0 0 0 179204 231 0 0 21 0 1 0 188729820 389148672 86970 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 1 0 0
/proc/1692/statm: 95007 86970 697 1256 0 93746 0
Current children cumulated CPU time (s) 1794.35
Current children cumulated vsize (KiB) 380028

[startup+1795 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1693
/proc/meminfo: memFree=1476964/2055920 swapFree=4192952/4192956
[pid=1692] ppid=1690 vsize=331576 CPUtime=1794.46
/proc/1692/stat : 1692 (pbscip.linux.x8) R 1690 1692 1563 0 -1 4194304 235174 0 0 0 179213 233 0 0 21 0 1 0 188729820 339533824 78081 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/1692/statm: 82894 78081 22916 1256 0 81633 0
Current children cumulated CPU time (s) 1794.46
Current children cumulated vsize (KiB) 331576

Child status: 0
Real time (s): 1795.04
CPU time (s): 1794.5
CPU user time (s): 1792.13
CPU system time (s): 2.36864
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 380028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.13
system time used= 2.36864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235179
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= 10
involuntary context switches= 2641

runsolver used 1.9967 second user time and 4.42233 second system time

The end

Launcher Data 

Begin job on node76 at 2009-06-17 06:01:51
IDJOB=1870549
IDBENCH=48273
IDSOLVER=684
FILE ID=node76/1870549-1245211311
PBS_JOBID= 9368408
Free space on /tmp= 66560 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_4.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-1870549-1245211311/watcher-1870549-1245211311 -o /tmp/evaluation-result-1870549-1245211311/solver-1870549-1245211311 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870549-1245211311.opb

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

MD5SUM BENCH= d34b8195c337caa741dffbe26b4db95e
RANDOM SEED=1884118933

node76.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.216
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.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1823820 kB
Buffers:         32344 kB
Cached:         113580 kB
SwapCached:          4 kB
Active:          42000 kB
Inactive:       116768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1823820 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:           12700 kB
Writeback:           0 kB
Mapped:          22600 kB
Slab:            59244 kB
Committed_AS:    67852 kB
PageTables:       1436 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= 66548 MiB
End job on node76 at 2009-06-17 06:31:46