Trace number 3450723

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 NameAnswerobjective functionCPU timeWall clock time
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4SAT (TO)-146 1800.12 1800.07

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_3.opb
MD5SUM68d7f052f18638860d9232a7f3ed2053
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-146
Best CPU time to get the best result obtained on this benchmark1797.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -139
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)12632
Sum of products size (including duplicates)25264
Number of different products6316
Sum of products size12632

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3450723-1307110072.opb>
0.00/0.05	c original problem has 7316 variables (7316 bin, 0 int, 0 impl, 0 cont) and 8817 constraints
0.00/0.05	c problem read
0.00/0.05	c presolving settings loaded
0.05/0.09	o 0
0.05/0.09	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.05/0.09	c presolving:
0.08/0.17	c (round 1) 0 del vars, 7316 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 51528 impls, 999 clqs
0.18/0.20	c (round 2) 6316 del vars, 7316 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 51528 impls, 0 clqs
0.18/0.23	c    (0.2s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.18/0.23	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.18/0.23	c presolving (3 rounds):
0.18/0.23	c  6316 deleted vars, 7316 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.18/0.23	c  51528 implications, 0 cliques
0.18/0.23	c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1501 constraints
0.18/0.23	c    1000 constraints of type <knapsack>
0.18/0.23	c     500 constraints of type <setppc>
0.18/0.23	c       1 constraints of type <linear>
0.18/0.23	c transformed objective value is always integral (scale: 1)
0.18/0.23	c Presolving Time: 0.16
0.18/0.23	c - non default parameters ----------------------------------------------------------------------
0.18/0.23	c # SCIP version 2.0.1.5
0.18/0.23	c 
0.18/0.23	c # frequency for displaying node information lines
0.18/0.23	c # [type: int, range: [-1,2147483647], default: 100]
0.18/0.23	c display/freq = 10000
0.18/0.23	c 
0.18/0.23	c # maximal time in seconds to run
0.18/0.23	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.23	c limits/time = 1800
0.18/0.23	c 
0.18/0.23	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.18/0.23	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.23	c limits/memory = 13950
0.18/0.23	c 
0.18/0.23	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.18/0.23	c # [type: int, range: [1,2], default: 1]
0.18/0.23	c timing/clocktype = 2
0.18/0.23	c 
0.18/0.23	c # belongs reading time to solving time?
0.18/0.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.23	c timing/reading = TRUE
0.18/0.23	c 
0.18/0.23	c # should presolving try to simplify inequalities
0.18/0.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.23	c constraints/linear/simplifyinequalities = TRUE
0.18/0.23	c 
0.18/0.23	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.18/0.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.23	c constraints/indicator/addCouplingCons = TRUE
0.18/0.23	c 
0.18/0.23	c # should presolving try to simplify knapsacks
0.18/0.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.23	c constraints/knapsack/simplifyinequalities = TRUE
0.18/0.23	c 
0.18/0.23	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.18/0.23	c # [type: int, range: [-1,2147483647], default: -1]
0.18/0.23	c separating/rapidlearning/freq = 0
0.18/0.23	c 
0.18/0.23	c -----------------------------------------------------------------------------------------------
0.18/0.23	c start solving
0.18/0.23	c 
7.70/7.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.70/7.77	c t 7.8s|     1 |     0 | 14084 |     - |  20M|   0 |1000 |1000 |1501 |1000 |1501 |   0 |   0 |   0 |-2.500000e+02 | 0.000000e+00 | 100.00%
7.79/7.81	o -1
7.79/7.81	c R 7.8s|     1 |     0 | 14084 |     - |  20M|   0 |1000 |1000 |1501 |1000 |1501 |   0 |   0 |   0 |-2.500000e+02 |-1.000000e+00 |  99.60%
44.49/44.52	c  44.5s|     1 |     2 | 25465 |     - |  20M|   0 |1000 |1000 |1501 |1000 |1501 |   0 |   0 |  14 |-2.500000e+02 |-1.000000e+00 |  99.60%
106.09/106.16	o -2
106.09/106.16	c R 106s|     5 |     4 | 26981 |3224.2 |  20M|   4 | 985 |1000 |1501 |1000 |1501 |   0 |   0 |  45 |-2.497018e+02 |-2.000000e+00 |  99.20%
354.50/354.57	o -123
354.50/354.57	c c 355s|    16 |    17 | 38355 |1618.1 |  21M|  15 |   - |1000 |1501 |1000 |1501 |   0 |   0 | 237 |-2.497018e+02 |-1.230000e+02 |  50.74%
508.60/508.65	o -125
508.60/508.65	c p 509s|    28 |    29 | 46158 |1187.9 |  21M|  15 |   - |1000 |1501 |1000 |1501 |   0 |   0 | 419 |-2.497018e+02 |-1.250000e+02 |  49.94%
559.50/559.59	o -142
559.50/559.59	c f 560s|    40 |    41 | 52541 | 986.1 |  21M|  15 |   - |1000 |1501 |1000 |1501 |   0 |   0 | 473 |-2.497018e+02 |-1.420000e+02 |  43.13%
662.31/662.38	o -145
662.31/662.38	c l 662s|    88 |    89 |159163 |1667.6 |  21M|  17 |   - |1000 |1520 |1000 |1501 |   0 |  19 | 508 |-2.493625e+02 |-1.450000e+02 |  41.85%
1567.23/1567.25	o -146
1567.23/1567.25	c g1567s|   902 |   903 |415934 | 446.0 |  25M|  28 |   - |1000 |1540 |1000 |1501 |   0 |  39 | 665 |-2.477475e+02 |-1.460000e+02 |  41.07%
1800.05/1800.03	c 
1800.05/1800.03	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.03	c Solving Time (sec) : 1800.03
1800.05/1800.03	c Solving Nodes      : 1108
1800.05/1800.03	c Primal Bound       : -1.46000000000000e+02 (113 solutions)
1800.05/1800.03	c Dual Bound         : -2.47460056683099e+02
1800.05/1800.03	c Gap                : 41.00 %
1800.05/1800.04	s SATISFIABLE
1800.05/1800.04	v -x972 x966 -x919 x636 -x861 -x917 -x717 -x934 x847 -x605 -x902 x677 x979 -x779 -x987 -x849 -x662 -x701 -x629 -x888 -x913 -x850 
1800.05/1800.04	v x995 -x879 -x881 x935 -x971 -x929 x901 x756 x710 x818 x865 -x631 -x680 -x589 x718 x798 x910 x767 -x719 -x764 -x706 -x583 -x801 
1800.05/1800.04	v -x813 x870 -x597 -x666 x909 -x856 -x880 -x612 x797 -x954 -x980 x961 -x873 -x698 -x577 -x915 -x556 -x864 -x760 -x725 -x632 -x615 
1800.05/1800.04	v -x670 -x651 x946 -x885 -x735 x942 x630 -x897 -x592 -x552 -x758 -x693 -x997 -x793 -x943 -x694 -x561 -x794 -x904 x857 -x679 
1800.05/1800.04	v -x600 -x560 -x911 -x827 x752 x696 -x982 x755 -x884 -x628 x922 x551 -x555 -x546 -x970 -x959 -x585 -x784 -x674 -x686 x860 -x683 
1800.05/1800.04	v -x825 -x641 -x624 -x608 x547 -x721 -x749 -x668 x862 -x918 -x736 -x832 -x895 x606 -x903 x763 x619 -x722 -x855 -x957 -x947 x744 
1800.05/1800.04	v x682 -x566 -x541 -x730 -x754 -x587 -x834 -x780 x1000 -x688 x609 x990 -x663 -x819 x713 -x731 -x673 -x635 -x921 x581 -x665 
1800.05/1800.04	v -x965 -x729 -x610 -x690 -x633 x891 x930 x912 -x697 x650 x700 x664 -x958 x676 -x720 x598 -x595 x750 -x703 x726 -x766 x738 -x550 
1800.05/1800.04	v -x815 -x675 -x578 x528 x768 -x621 -x584 -x709 x981 -x527 -x773 -x611 x787 x596 -x839 -x705 -x920 x853 x711 x593 -x762 -x778 
1800.05/1800.04	v -x928 -x733 -x525 x848 -x753 x742 x734 -x808 x962 -x821 -x833 -x823 x524 x892 -x772 x751 -x554 -x538 -x659 -x846 x876 -x989 
1800.05/1800.04	v -x534 -x523 x977 x967 -x824 -x820 -x814 x656 -x654 x618 -x639 -x645 -x564 -x599 -x692 x974 -x956 -x940 -x836 -x580 -x530 -x800 
1800.05/1800.04	v -x843 -x667 -x840 -x571 -x520 -x810 -x594 x851 x607 -x708 -x714 -x545 x519 x933 -x644 x620 x775 -x985 x657 -x518 -x932 -x788 
1800.05/1800.04	v -x770 -x614 -x601 -x548 -x844 x828 -x944 -x789 -x748 x991 -x875 x783 -x671 -x575 -x691 -x533 x893 -x811 -x712 x949 x771 -x952 
1800.05/1800.04	v -x627 -x590 -x563 x988 x785 x732 -x890 -x660 -x586 -x704 -x536 -x514 x964 -x863 -x521 -x515 -x723 -x746 -x716 -x602 -x871 
1800.05/1800.04	v x852 -x945 -x689 x544 -x513 -x937 -x869 -x829 -x582 -x532 -x526 x535 -x931 x739 -x553 -x950 -x973 -x795 -x512 -x845 -x803 x616 
1800.05/1800.04	v -x565 -x543 -x672 -x724 -x681 -x804 -x728 x817 -x511 -x777 x737 -x684 -x678 -x558 -x522 x622 x994 x899 -x830 -x510 x960 x638 
1800.05/1800.04	v -x540 -x537 -x806 -x757 -x984 -x646 -x874 x999 -x769 -x907 x927 -x509 -x841 x761 -x626 x613 -x604 x539 -x914 -x992 -x741 -x727 
1800.05/1800.04	v -x707 -x905 x978 -x567 -x854 -x868 -x826 -x792 -x617 -x517 -x816 -x743 -x812 -x951 x998 -x882 -x867 -x661 -x658 x623 x568 
1800.05/1800.04	v -x924 x809 -x634 x878 -x968 -x572 -x872 -x642 -x506 x831 -x936 x805 -x687 -x786 -x837 -x898 -x549 x838 -x625 -x790 -x505 x906 
1800.05/1800.04	v -x883 x835 x796 x699 -x685 x647 -x570 -x557 -x529 -x900 -x983 x923 -x653 -x782 -x948 -x889 -x588 x993 -x649 -x504 -x953 -x807 
1800.05/1800.04	v -x781 x745 x640 -x695 x569 -x791 -x579 -x916 x562 -x507 -x975 x637 -x715 -x503 x963 x887 -x652 -x576 x559 -x508 -x955 x799 
1800.05/1800.04	v -x969 x938 x886 -x648 -x774 -x759 -x939 -x643 -x502 -x996 -x655 -x542 -x516 x896 -x702 -x976 -x842 -x603 -x740 x894 -x925 -x501 
1800.05/1800.04	v -x908 -x866 -x858 -x822 -x776 -x591 x574 x531 x859 -x765 -x802 x877 x573 x926 -x941 x669 x986 x747 -x500 -x499 -x498 x497 
1800.05/1800.04	v x496 -x495 -x494 -x493 x492 -x491 -x490 x489 -x488 x487 -x486 -x485 -x484 x483 x482 -x481 -x480 -x479 -x478 -x477 x476 x475 
1800.05/1800.04	v -x474 x473 x472 x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 x459 -x458 x457 -x456 x455 x454 -x453 -x452 
1800.05/1800.04	v x451 x450 -x449 x448 x447 -x446 x445 x444 x443 -x442 x441 -x440 x439 -x438 x437 -x436 -x435 x434 -x433 -x432 -x431 -x430 
1800.05/1800.04	v x429 -x428 -x427 -x426 x425 x424 -x423 -x422 x421 -x420 -x419 x418 -x417 x416 -x415 x414 x413 -x412 x411 -x410 -x409 x408 x407 
1800.05/1800.04	v -x406 x405 -x404 -x403 x402 -x401 x400 -x399 x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 
1800.05/1800.04	v -x384 -x383 x382 -x381 -x380 x379 -x378 -x377 -x376 x375 -x374 x373 x372 x371 -x370 x369 -x368 -x367 -x366 -x365 x364 -x363 
1800.05/1800.04	v -x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 x345 x344 -x343 x342 x341 
1800.05/1800.04	v x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 x320 
1800.05/1800.04	v x319 -x318 -x317 -x316 -x315 x314 x313 -x312 x311 x310 -x309 -x308 x307 x306 -x305 x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 
1800.05/1800.04	v -x296 x295 -x294 x293 -x292 x291 x290 -x289 x288 -x287 -x286 -x285 x284 -x283 x282 x281 -x280 x279 -x278 x277 -x276 -x275 
1800.05/1800.04	v -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 
1800.05/1800.04	v x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 
1800.05/1800.04	v -x231 -x230 x229 x228 x227 -x226 x225 x224 x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 
1800.05/1800.04	v -x209 -x208 -x207 -x206 -x205 -x204 x203 x202 x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 x191 -x190 -x189 x188 
1800.05/1800.04	v x187 -x186 x185 x184 -x183 -x182 x181 x180 x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 x168 -x167 x166 
1800.05/1800.04	v -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 
1800.05/1800.04	v -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 x126 -x125 -x124 -x123 
1800.05/1800.04	v -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 x101 
1800.05/1800.04	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 -x75 
1800.05/1800.04	v -x74 -x73 x72 -x71 -x70 -x69 -x68 x67 x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 
1800.05/1800.04	v -x48 -x47 x46 x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 
1800.05/1800.04	v -x22 x21 -x20 -x19 x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.05/1800.04	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.04	c Total Time         :    1800.03
1800.05/1800.04	c   solving          :    1800.03
1800.05/1800.04	c   presolving       :       0.16 (included in solving)
1800.05/1800.04	c   reading          :       0.05 (included in solving)
1800.05/1800.04	c Original Problem   :
1800.05/1800.04	c   Problem name     : HOME/instance-3450723-1307110072.opb
1800.05/1800.04	c   Variables        : 7316 (7316 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.04	c   Constraints      : 8817 initial, 8817 maximal
1800.05/1800.04	c Presolved Problem  :
1800.05/1800.04	c   Problem name     : t_HOME/instance-3450723-1307110072.opb
1800.05/1800.04	c   Variables        : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.04	c   Constraints      : 1501 initial, 1540 maximal
1800.05/1800.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.05/1800.04	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.04	c   dualfix          :       0.01       6316          0          0          0          0          0          0          0          0
1800.05/1800.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.04	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.04	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.04	c   probing          :       0.02          0          0          0          0          0          0          0          0          0
1800.05/1800.04	c   knapsack         :       0.01          0          0          0          0          0          0          0          0          0
1800.05/1800.04	c   setppc           :       0.01          0          0          0          0          0          0          0          0          0
1800.05/1800.04	c   linear           :       0.03          0          0          0          0          0          0          0          0          0
1800.05/1800.04	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.04	c   pseudoboolean    :       0.02          0          0          0          0          0       7316          0          0          0
1800.05/1800.04	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.05/1800.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.04	c   integral         :          0          0          0       1108          0        118          0          0          0          0          0       2216
1800.05/1800.04	c   knapsack         :       1000          1      45634          0          0        113          0          0        197          0          0          0
1800.05/1800.04	c   setppc           :        500          1      40398          0          0        112          0          0        202          0          0          0
1800.05/1800.04	c   linear           :          1          1      45634          0          0        112          0          5          0          0          0          0
1800.05/1800.04	c   logicor          :          0+         0        760          0          0          0          0          0          0          0          0          0
1800.05/1800.04	c   countsols        :          0          0          0          0          0        116          0          0          0          0          0          0
1800.05/1800.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.05/1800.04	c   integral         :     605.76       0.00       0.00     605.76       0.00       0.00       0.00
1800.05/1800.04	c   knapsack         :       1.02       0.01       0.96       0.00       0.00       0.05       0.00
1800.05/1800.04	c   setppc           :       0.27       0.00       0.26       0.00       0.00       0.01       0.00
1800.05/1800.04	c   linear           :       0.11       0.04       0.07       0.00       0.00       0.00       0.00
1800.05/1800.04	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.05/1800.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.05/1800.04	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.05/1800.04	c   vbounds          :          0          0          0          0
1800.05/1800.04	c   rootredcost      :          7          0          0          0
1800.05/1800.04	c   pseudoobj        :      45462          0          5          0
1800.05/1800.04	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.05/1800.04	c   vbounds          :       0.01       0.01       0.00
1800.05/1800.04	c   rootredcost      :       0.01       0.01       0.00
1800.05/1800.04	c   pseudoobj        :       0.44       0.44       0.00
1800.05/1800.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.04	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.04	c   infeasible LP    :       0.00         42         39         39        3.0          0        0.0          0
1800.05/1800.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.04	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.04	c   applied globally :          -          -          -         39        3.0          -          -          -
1800.05/1800.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.04	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.04	c   redcost          :       0.01       1108          0          0          0          0
1800.05/1800.04	c   impliedbounds    :       0.00          1          0          0          0          0
1800.05/1800.04	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.04	c   gomory           :       0.19          1          0          0          0          0
1800.05/1800.04	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.04	c   closecuts        :       0.00          0          0          0          0          0
1800.05/1800.04	c   strongcg         :       0.19          1          0          0          0          0
1800.05/1800.04	c   cmir             :       0.01          1          0          0          0          0
1800.05/1800.04	c   flowcover        :       0.01          1          0          0          0          0
1800.05/1800.04	c   clique           :       0.00          1          0          0          0          0
1800.05/1800.04	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.04	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.04	c   oddcycle         :       0.00          0          0          0          0          0
1800.05/1800.04	c   rapidlearning    :       0.64          1          0          0          0          0
1800.05/1800.04	c Pricers            :       Time      Calls       Vars
1800.05/1800.04	c   problem variables:       0.00          0          0
1800.05/1800.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.04	c   relpscost        :     605.75       1108          0          0          0          0       2216
1800.05/1800.04	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   inference        :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.04	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.04	c   LP solutions     :       0.00          -          0
1800.05/1800.04	c   pseudo solutions :       0.00          -          0
1800.05/1800.04	c   intshifting      :       0.00          0          0
1800.05/1800.04	c   oneopt           :       0.01          7          0
1800.05/1800.04	c   coefdiving       :     191.53         13          1
1800.05/1800.04	c   trivial          :       0.01          2          1
1800.05/1800.04	c   shiftandpropagate:       0.00          0          0
1800.05/1800.04	c   simplerounding   :       0.00          0          0
1800.05/1800.04	c   zirounding       :       0.30          0          0
1800.05/1800.04	c   rounding         :      28.89       1108          2
1800.05/1800.04	c   shifting         :       4.67        107        104
1800.05/1800.04	c   twoopt           :       0.00          0          0
1800.05/1800.04	c   fixandinfer      :       0.00          0          0
1800.05/1800.04	c   feaspump         :       2.92          1          0
1800.05/1800.04	c   clique           :       0.00          0          0
1800.05/1800.04	c   pscostdiving     :     216.26         15          1
1800.05/1800.04	c   fracdiving       :     148.51         11          1
1800.05/1800.04	c   veclendiving     :      15.58          3          0
1800.05/1800.04	c   intdiving        :       0.00          0          0
1800.05/1800.04	c   actconsdiving    :       0.00          0          0
1800.05/1800.04	c   objpscostdiving  :      43.43          1          1
1800.05/1800.04	c   rootsoldiving    :       4.97          2          0
1800.05/1800.04	c   linesearchdiving :     142.05         11          1
1800.05/1800.04	c   guideddiving     :     134.81         11          1
1800.05/1800.04	c   octane           :       0.00          0          0
1800.05/1800.04	c   rens             :       0.01          0          0
1800.05/1800.04	c   rins             :       0.00          0          0
1800.05/1800.04	c   localbranching   :       0.00          0          0
1800.05/1800.04	c   mutation         :       0.00          0          0
1800.05/1800.04	c   crossover        :       0.01          0          0
1800.05/1800.04	c   dins             :       0.00          0          0
1800.05/1800.04	c   vbounds          :       0.00          0          0
1800.05/1800.04	c   undercover       :       0.00          0          0
1800.05/1800.04	c   subnlp           :       0.00          0          0
1800.05/1800.04	c   trysol           :       0.00          0          0
1800.05/1800.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.04	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.04	c   dual LP          :     258.35       1108      95310      86.02     368.92
1800.05/1800.04	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.04	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.04	c   diving/probing LP:     888.58      36531     407562      11.16     458.67
1800.05/1800.04	c   strong branching :     605.49        679     135683     199.83     224.09
1800.05/1800.04	c     (at root node) :          -         14      12398     885.57          -
1800.05/1800.04	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.04	c B&B Tree           :
1800.05/1800.04	c   number of runs   :          1
1800.05/1800.04	c   nodes            :       1108
1800.05/1800.04	c   nodes (total)    :       1108
1800.05/1800.04	c   nodes left       :       1109
1800.05/1800.04	c   max depth        :         28
1800.05/1800.04	c   max depth (total):         28
1800.05/1800.04	c   backtracks       :        174 (15.7%)
1800.05/1800.04	c   delayed cutoffs  :          0
1800.05/1800.04	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.05/1800.04	c   avg switch length:       3.53
1800.05/1800.04	c   switching time   :       0.07
1800.05/1800.04	c Solution           :
1800.05/1800.04	c   Solutions found  :        113 (8 improvements)
1800.05/1800.04	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.08 seconds, depth 0, found by <trivial>)
1800.05/1800.04	c   Primal Bound     : -1.46000000000000e+02   (in run 1, after 902 nodes, 1567.25 seconds, depth 505, found by <guideddiving>)
1800.05/1800.04	c   Dual Bound       : -2.47460056683099e+02
1800.05/1800.04	c   Gap              :      41.00 %
1800.05/1800.04	c   Root Dual Bound  : -2.50000000000000e+02
1800.05/1800.04	c   Root Iterations  :      14084
1800.05/1800.07	c Time complete: 1800.11.

Verifier Data 

OK	-146

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450723-1307110072/watcher-3450723-1307110072 -o /tmp/evaluation-result-3450723-1307110072/solver-3450723-1307110072 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450723-1307110072.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.01 1.09 1.44 4/372 10812
/proc/meminfo: memFree=22852660/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=13836 CPUtime=0 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 2470 0 0 0 0 0 0 0 22 0 1 0 822607679 14168064 2423 33554432000 4194304 9163163 140734368558288 18446744073709551615 8152522 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10812/statm: 3459 2423 410 1214 0 2241 0

[startup+0.0631869 s]
/proc/loadavg: 1.01 1.09 1.44 4/372 10812
/proc/meminfo: memFree=22852660/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=32292 CPUtime=0.05 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 7011 0 0 0 5 0 0 0 22 0 1 0 822607679 33067008 6963 33554432000 4194304 9163163 140734368558288 18446744073709551615 8264362 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 8073 6969 448 1214 0 6855 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 32292

[startup+0.101177 s]
/proc/loadavg: 1.01 1.09 1.44 4/372 10812
/proc/meminfo: memFree=22852660/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=38928 CPUtime=0.08 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 8727 0 0 0 8 0 0 0 22 0 1 0 822607679 39862272 8422 33554432000 4194304 9163163 140734368558288 18446744073709551615 8041844 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 9732 8422 509 1214 0 8514 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 38928

[startup+0.301168 s]
/proc/loadavg: 1.01 1.09 1.44 4/372 10812
/proc/meminfo: memFree=22852660/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=50716 CPUtime=0.29 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 11840 0 0 0 28 1 0 0 23 0 1 0 822607679 51933184 11473 33554432000 4194304 9163163 140734368558288 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 12679 11473 660 1214 0 11461 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50716

[startup+0.70108 s]
/proc/loadavg: 1.01 1.09 1.44 4/372 10812
/proc/meminfo: memFree=22852660/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=51628 CPUtime=0.68 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 12082 0 0 0 67 1 0 0 25 0 1 0 822607679 52867072 11715 33554432000 4194304 9163163 140734368558288 18446744073709551615 7346485 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 12907 11715 660 1214 0 11689 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 51628

[startup+1.50095 s]
/proc/loadavg: 1.01 1.09 1.44 4/374 10814
/proc/meminfo: memFree=22788160/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=53244 CPUtime=1.48 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 12475 0 0 0 147 1 0 0 25 0 1 0 822607679 54521856 12106 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390656 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 13311 12106 660 1214 0 12093 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 53244

[startup+3.10064 s]
/proc/loadavg: 1.08 1.10 1.44 4/374 10814
/proc/meminfo: memFree=22785556/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=56964 CPUtime=3.09 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 13965 0 0 0 307 2 0 0 25 0 1 0 822607679 58331136 13105 33554432000 4194304 9163163 140734368558288 18446744073709551615 7347568 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 14241 13105 664 1214 0 13023 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56964

[startup+6.30105 s]
/proc/loadavg: 1.08 1.10 1.44 4/374 10814
/proc/meminfo: memFree=22775688/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=62316 CPUtime=6.29 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 16667 0 0 0 626 3 0 0 25 0 1 0 822607679 63811584 14374 33554432000 4194304 9163163 140734368558288 18446744073709551615 7348638 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 15579 14374 670 1214 0 14361 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62316

[startup+12.7009 s]
/proc/loadavg: 1.23 1.13 1.45 4/374 10815
/proc/meminfo: memFree=22763800/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=72304 CPUtime=12.68 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 26999 0 0 0 1264 4 0 0 25 0 1 0 822607679 74039296 16883 33554432000 4194304 9163163 140734368558288 18446744073709551615 7318963 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 18076 16883 738 1214 0 16858 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 72304

[startup+25.5005 s]
/proc/loadavg: 1.34 1.16 1.45 4/374 10815
/proc/meminfo: memFree=22767404/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=68120 CPUtime=25.49 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 41849 0 0 0 2542 7 0 0 25 0 1 0 822607679 69754880 15785 33554432000 4194304 9163163 140734368558288 18446744073709551615 7376048 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 17030 15785 738 1214 0 15812 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68120

[startup+51.1009 s]
/proc/loadavg: 1.57 1.22 1.47 4/374 10816
/proc/meminfo: memFree=22760144/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=73580 CPUtime=51.09 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 63135 0 0 0 5098 11 0 0 25 0 1 0 822607679 75345920 16857 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390865 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 18395 16857 738 1214 0 17177 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 73580

[startup+102.315 s]
/proc/loadavg: 1.97 1.39 1.50 4/374 10817
/proc/meminfo: memFree=22754108/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=66716 CPUtime=102.31 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 126291 0 0 0 10209 22 0 0 25 0 1 0 822607679 68317184 15477 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390364 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 16679 15477 738 1214 0 15461 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 66716

[startup+162.301 s]
/proc/loadavg: 2.06 1.50 1.54 4/374 10819
/proc/meminfo: memFree=22746988/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=69736 CPUtime=162.29 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 156559 0 0 0 16201 28 0 0 25 0 1 0 822607679 71409664 16379 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390851 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 17434 16379 738 1214 0 16216 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 69736

[startup+222.301 s]
/proc/loadavg: 2.02 1.60 1.56 3/374 10874
/proc/meminfo: memFree=22608696/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=68880 CPUtime=222.29 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 164502 0 0 0 22197 32 0 0 25 0 1 0 822607679 70533120 16074 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 17220 16074 738 1214 0 16002 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 68880

[startup+282.301 s]
/proc/loadavg: 2.05 1.68 1.59 3/374 10876
/proc/meminfo: memFree=22574136/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=70020 CPUtime=282.3 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 177240 0 0 0 28193 37 0 0 25 0 1 0 822607679 71700480 16293 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390839 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 17505 16293 738 1214 0 16287 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 70020

[startup+342.301 s]
/proc/loadavg: 2.02 1.74 1.62 3/374 10877
/proc/meminfo: memFree=22553636/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=70384 CPUtime=342.29 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 195494 0 0 0 34189 40 0 0 25 0 1 0 822607679 72073216 16489 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390821 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 17596 16489 739 1214 0 16378 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 70384

[startup+402.301 s]
/proc/loadavg: 2.00 1.78 1.64 3/374 10879
/proc/meminfo: memFree=22567124/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=69540 CPUtime=402.29 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 208312 0 0 0 40185 44 0 0 25 0 1 0 822607679 71208960 16337 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 17385 16337 738 1214 0 16167 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 69540

[startup+462.301 s]
/proc/loadavg: 2.00 1.82 1.66 3/374 10881
/proc/meminfo: memFree=22562624/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=66716 CPUtime=462.3 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 216019 0 0 0 46183 47 0 0 25 0 1 0 822607679 68317184 15632 33554432000 4194304 9163163 140734368558288 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 16679 15632 738 1214 0 15461 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 66716

[startup+522.301 s]
/proc/loadavg: 2.00 1.85 1.67 3/374 10882
/proc/meminfo: memFree=22561228/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=67492 CPUtime=522.31 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 219898 0 0 0 52181 50 0 0 25 0 1 0 822607679 69111808 15847 33554432000 4194304 9163163 140734368558288 18446744073709551615 7357866 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 16873 15847 738 1214 0 15655 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 67492

[startup+582.301 s]
/proc/loadavg: 2.00 1.87 1.69 3/374 10884
/proc/meminfo: memFree=22559964/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=68952 CPUtime=582.31 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 229729 0 0 0 58176 55 0 0 25 0 1 0 822607679 70606848 16190 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390800 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 17238 16190 738 1214 0 16020 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 68952

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.11 1.99 1.77 3/374 10890
/proc/meminfo: memFree=22551040/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=72160 CPUtime=822.32 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 239428 0 0 0 82156 76 0 0 25 0 1 0 822607679 73891840 16828 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390504 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 18040 16828 740 1214 0 16822 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 72160

[startup+882.301 s]
/proc/loadavg: 2.04 1.99 1.78 3/374 10892
/proc/meminfo: memFree=22551132/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=72160 CPUtime=882.31 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 239428 0 0 0 88152 79 0 0 25 0 1 0 822607679 73891840 16828 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390839 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 18040 16828 740 1214 0 16822 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 72160

[startup+942.301 s]
/proc/loadavg: 2.01 1.99 1.79 3/374 10893
/proc/meminfo: memFree=22554944/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=67956 CPUtime=942.32 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 245734 0 0 0 94150 82 0 0 25 0 1 0 822607679 69586944 15857 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390508 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 16989 15857 740 1214 0 15771 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 67956

[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/374 10895
/proc/meminfo: memFree=22545988/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=76776 CPUtime=1002.31 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 252302 0 0 0 100146 85 0 0 25 0 1 0 822607679 78618624 18151 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390377 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 19194 18151 740 1214 0 17976 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 76776

[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/374 10897
/proc/meminfo: memFree=22550272/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=72396 CPUtime=1062.32 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 255836 0 0 0 106142 90 0 0 25 0 1 0 822607679 74133504 17053 33554432000 4194304 9163163 140734368558288 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 18099 17053 740 1214 0 16881 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 72396

[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/374 10898
/proc/meminfo: memFree=22549608/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=73220 CPUtime=1122.32 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 256042 0 0 0 112139 93 0 0 25 0 1 0 822607679 74977280 17259 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390357 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 18305 17259 740 1214 0 17087 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 73220

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/374 10900
/proc/meminfo: memFree=22549576/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=73220 CPUtime=1182.32 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 256042 0 0 0 118136 96 0 0 25 0 1 0 822607679 74977280 17259 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390117 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 18305 17259 740 1214 0 17087 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 73220

[startup+1242.3 s]
/proc/loadavg: 2.05 2.00 1.84 3/374 10901
/proc/meminfo: memFree=22550768/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=72680 CPUtime=1242.33 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 257972 0 0 0 124132 101 0 0 25 0 1 0 822607679 74424320 16941 33554432000 4194304 9163163 140734368558288 18446744073709551615 7048592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 18170 16941 740 1214 0 16952 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 72680

[startup+1302.3 s]
/proc/loadavg: 2.02 2.00 1.85 3/374 10903
/proc/meminfo: memFree=22550484/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=72680 CPUtime=1302.34 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 258009 0 0 0 130129 105 0 0 25 0 1 0 822607679 74424320 16978 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390145 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 18170 16978 740 1214 0 16952 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 72680

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.86 3/374 10905
/proc/meminfo: memFree=22549448/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=73296 CPUtime=1362.33 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 258276 0 0 0 136126 107 0 0 25 0 1 0 822607679 75055104 17245 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390381 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 18324 17245 740 1214 0 17106 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 73296

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.86 3/374 10906
/proc/meminfo: memFree=22548544/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=73664 CPUtime=1422.35 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 258402 0 0 0 142125 110 0 0 25 0 1 0 822607679 75431936 17371 33554432000 4194304 9163163 140734368558288 18446744073709551615 7391810 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 18416 17371 740 1214 0 17198 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 73664

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/374 10908
/proc/meminfo: memFree=22550492/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=71636 CPUtime=1482.34 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 264620 0 0 0 148119 115 0 0 25 0 1 0 822607679 73355264 16874 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 17909 16874 740 1214 0 16691 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 71636

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/374 10909
/proc/meminfo: memFree=22573148/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=73184 CPUtime=1542.34 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 274548 0 0 0 154114 120 0 0 25 0 1 0 822607679 74940416 17169 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390145 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 18296 17169 740 1214 0 17078 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 73184

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/374 10911
/proc/meminfo: memFree=22550040/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=74868 CPUtime=1602.34 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 277007 0 0 0 160111 123 0 0 25 0 1 0 822607679 76664832 17667 33554432000 4194304 9163163 140734368558288 18446744073709551615 7373941 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 18717 17667 740 1214 0 17499 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 74868

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/374 10913
/proc/meminfo: memFree=22575436/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=72532 CPUtime=1662.33 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 281313 0 0 0 166106 127 0 0 25 0 1 0 822607679 74272768 16994 33554432000 4194304 9163163 140734368558288 18446744073709551615 7051488 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 18133 16994 740 1214 0 16915 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 72532

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/374 10914
/proc/meminfo: memFree=22570924/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=75616 CPUtime=1722.34 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 285687 0 0 0 172104 130 0 0 25 0 1 0 822607679 77430784 17635 33554432000 4194304 9163163 140734368558288 18446744073709551615 7390360 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 18904 17635 740 1214 0 17686 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 75616

[startup+1782.3 s]
/proc/loadavg: 2.13 2.04 1.91 3/374 10916
/proc/meminfo: memFree=22563452/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=74196 CPUtime=1782.34 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 295440 0 0 0 178098 136 0 0 25 0 1 0 822607679 75976704 17466 33554432000 4194304 9163163 140734368558288 18446744073709551615 6480980 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 18549 17466 740 1214 0 17331 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 74196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.10 2.04 1.91 3/374 10916
/proc/meminfo: memFree=22558840/32951124 swapFree=37148216/67111528
[pid=10812] ppid=10810 vsize=75572 CPUtime=1800.05 cores=0,2,4,6
/proc/10812/stat : 10812 (scip-2.0.1.4b.l) R 10810 10812 9067 0 -1 4202496 300071 0 0 0 179867 138 0 0 25 0 1 0 822607679 77385728 17617 33554432000 4194304 9163163 140734368558288 18446744073709551615 5820467 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10812/statm: 18893 17617 740 1214 0 17675 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 75572

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.07
CPU time (s): 1800.12
CPU user time (s): 1798.74
CPU system time (s): 1.38679
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 85916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 1.38679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300077
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= 5
involuntary context switches= 5333

runsolver used 6.78697 second user time and 14.4958 second system time

The end

Launcher Data 

Begin job on node104 at 2011-06-03 16:07:52
IDJOB=3450723
IDBENCH=48247
IDSOLVER=1948
FILE ID=node104/3450723-1307110072
RUNJOBID= node104-1307110072-10793
PBS_JOBID= 13497995
Free space on /tmp= 73944 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_3.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450723-1307110072/watcher-3450723-1307110072 -o /tmp/evaluation-result-3450723-1307110072/solver-3450723-1307110072 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450723-1307110072.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 68d7f052f18638860d9232a7f3ed2053
RANDOM SEED=1198205256

node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5293.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22857040 kB
Buffers:        413936 kB
Cached:        7570136 kB
SwapCached:     163904 kB
Active:        3768516 kB
Inactive:      5989848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22857040 kB
SwapTotal:    67111528 kB
SwapFree:     37148216 kB
Dirty:           24492 kB
Writeback:           0 kB
AnonPages:     1633000 kB
Mapped:          11808 kB
Slab:           180956 kB
PageTables:      88776 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 87713000 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73920 MiB
End job on node104 at 2011-06-03 16:37:54