Trace number 3692589

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.1.1.4. Exp with SoPlex 1.6.0.3 fixedSAT-144 1796.77 1797.05

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_4.opb
MD5SUM95bfca9fba26d7f8c875796701522876
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-144
Best CPU time to get the best result obtained on this benchmark1796.77
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)12652
Sum of products size (including duplicates)25304
Number of different products6326
Sum of products size12652

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.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3692589-1338037183.opb>
0.00/0.03	c original problem has 7326 variables (1000 bin, 0 int, 6326 impl, 0 cont) and 8827 constraints
0.00/0.03	c problem read in 0.03
0.00/0.07	o 0
0.00/0.07	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.00/0.07	c presolving:
0.29/0.31	c (round 1) 0 del vars, 8326 del conss, 1000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 26304 impls, 999 clqs
0.29/0.34	c (round 2) 6326 del vars, 8326 del conss, 1000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 26304 impls, 0 clqs
0.29/0.36	c    (0.4s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.36	c    (0.4s) probing aborted: 50/50 successive totally useless probings
0.29/0.36	c presolving (3 rounds):
0.29/0.36	c  6326 deleted vars, 8326 deleted constraints, 1000 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.36	c  26304 implications, 0 cliques
0.29/0.36	c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1501 constraints
0.29/0.36	c    1000 constraints of type <knapsack>
0.29/0.36	c     500 constraints of type <setppc>
0.29/0.36	c       1 constraints of type <linear>
0.29/0.36	c transformed objective value is always integral (scale: 1)
0.29/0.36	c Presolving Time: 0.31
0.29/0.36	c - non default parameters ----------------------------------------------------------------------
0.29/0.36	c # SCIP version 2.1.1.4
0.29/0.36	c 
0.29/0.36	c # maximal time in seconds to run
0.29/0.36	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36	c limits/time = 1797
0.29/0.36	c 
0.29/0.36	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.36	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36	c limits/memory = 13950
0.29/0.36	c 
0.29/0.36	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.36	c # [type: int, range: [1,2], default: 1]
0.29/0.36	c timing/clocktype = 2
0.29/0.36	c 
0.29/0.36	c # belongs reading time to solving time?
0.29/0.36	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36	c timing/reading = TRUE
0.29/0.36	c 
0.29/0.36	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.36	c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.36	c separating/rapidlearning/freq = 0
0.29/0.36	c 
0.29/0.36	c -----------------------------------------------------------------------------------------------
0.29/0.36	c start solving
0.29/0.37	c 
7.89/7.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.89/7.95	c t 8.0s|     1 |     0 | 14171 |     - |  20M|   0 |1000 |1000 |1501 |1000 |1501 |   0 |   0 |   0 |-2.500000e+02 | 0.000000e+00 |    Inf 
7.89/7.98	o -1
7.89/7.98	c R 8.0s|     1 |     0 | 14171 |     - |  20M|   0 |1000 |1000 |1501 |1000 |1501 |   0 |   0 |   0 |-2.500000e+02 |-1.000000e+00 |  Large 
45.68/45.78	c  45.8s|     1 |     2 | 24342 |     - |  20M|   0 |1000 |1000 |1501 |1000 |1501 |   0 |   0 |  17 |-2.500000e+02 |-1.000000e+00 |  Large 
61.98/62.00	o -2
61.98/62.00	c R62.0s|     3 |     2 | 25099 |5464.0 |  20M|   2 | 972 |1000 |1501 |1000 |1501 |   0 |   0 |  32 |-2.498598e+02 |-2.000000e+00 |  Large 
77.58/77.60	o -3
77.58/77.60	c R77.6s|     4 |     3 | 25397 |3742.0 |  20M|   3 | 961 |1000 |1501 |1000 |1501 |   0 |   0 |  50 |-2.498598e+02 |-3.000000e+00 |8228.66%
89.97/90.00	o -4
89.97/90.00	c R90.0s|     5 |     4 | 25544 |2843.2 |  21M|   4 | 950 |1000 |1501 |1000 |1501 |   0 |   0 |  66 |-2.498598e+02 |-4.000000e+00 |6146.50%
120.37/120.44	o -124
120.37/120.44	c c 120s|     6 |     7 | 34223 |4010.4 |  21M|   5 |   - |1000 |1501 |1000 |1501 |   0 |   0 |  94 |-2.498598e+02 |-1.240000e+02 | 101.50%
257.45/257.59	o -130
257.45/257.59	c p 258s|    19 |    20 | 42566 |1577.5 |  21M|  13 |   - |1000 |1501 |1000 |1501 |   0 |   0 | 330 |-2.498511e+02 |-1.300000e+02 |  92.19%
363.93/364.03	o -142
363.93/364.03	c f 364s|    31 |    32 | 47504 |1111.1 |  21M|  13 |   - |1000 |1501 |1000 |1501 |   0 |   0 | 516 |-2.498511e+02 |-1.420000e+02 |  75.95%
759.97/760.19	o -143
759.97/760.19	c l 760s|    79 |    80 |188574 |2235.9 |  22M|  15 |   - |1000 |1530 |1000 |1501 |   0 |  29 |1210 |-2.496983e+02 |-1.430000e+02 |  74.61%
779.46/779.64	c   780s|   100 |   101 |195034 |1826.9 |  21M|  15 | 885 |1000 |1530 |1000 |1501 |   0 |  29 |1228 |-2.496983e+02 |-1.430000e+02 |  74.61%
902.44/902.67	c   903s|   200 |   201 |245597 |1162.9 |  21M|  21 | 782 |1000 |1530 |1000 |1501 |   0 |  29 |1371 |-2.496983e+02 |-1.430000e+02 |  74.61%
996.13/996.30	c   996s|   300 |   301 |282082 | 896.0 |  22M|  26 | 884 |1000 |1530 |1000 |1501 |   0 |  29 |1474 |-2.495676e+02 |-1.430000e+02 |  74.52%
1066.22/1066.43	c  1066s|   400 |   401 |317572 | 760.4 |  22M|  26 | 854 |1000 |1530 |1000 |1501 |   0 |  29 |1474 |-2.493897e+02 |-1.430000e+02 |  74.40%
1253.70/1253.93	o -144
1253.70/1253.93	c f1254s|   497 |   498 |401000 | 779.9 |  23M|  26 |   - |1000 |1530 |1000 |1501 |   0 |  29 |1474 |-2.488718e+02 |-1.440000e+02 |  72.83%
1261.59/1261.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1261.59/1261.80	c  1262s|   500 |   501 |403180 | 779.6 |  22M|  26 | 845 |1000 |1530 |1000 |1501 |   0 |  29 |1474 |-2.488718e+02 |-1.440000e+02 |  72.83%
1465.45/1465.72	c  1466s|   600 |   601 |484530 | 785.2 |  22M|  26 | 915 |1000 |1554 |1000 |1501 |   0 |  53 |1521 |-2.483293e+02 |-1.440000e+02 |  72.45%
1524.74/1525.03	c  1525s|   700 |   701 |519399 | 722.8 |  23M|  26 | 917 |1000 |1554 |1000 |1501 |   0 |  53 |1524 |-2.480175e+02 |-1.440000e+02 |  72.23%
1590.63/1590.99	c  1591s|   800 |   801 |554746 | 676.6 |  23M|  26 | 867 |1000 |1554 |1000 |1501 |   0 |  53 |1524 |-2.478226e+02 |-1.440000e+02 |  72.10%
1677.53/1677.82	c  1678s|   900 |   901 |594638 | 645.7 |  23M|  26 | 870 |1000 |1554 |1000 |1501 |   0 |  53 |1545 |-2.474782e+02 |-1.440000e+02 |  71.86%
1769.52/1769.87	c  1770s|  1000 |  1001 |624489 | 610.9 |  23M|  26 | 899 |1000 |1554 |1000 |1501 |   0 |  53 |1620 |-2.473226e+02 |-1.440000e+02 |  71.75%
1796.70/1797.01	c 
1796.70/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.70/1797.01	c Solving Time (sec) : 1797.01
1796.70/1797.01	c Solving Nodes      : 1083
1796.70/1797.01	c Primal Bound       : -1.44000000000000e+02 (120 solutions)
1796.70/1797.01	c Dual Bound         : -2.47197120573887e+02
1796.70/1797.01	c Gap                : 71.66 %
1796.70/1797.02	s SATISFIABLE
1796.70/1797.02	v -x774 -x830 -x914 -x753 -x818 x636 x812 x906 x737 x923 -x729 -x684 x946 -x993 -x964 -x917 x733 -x683 -x713 -x643 -x761 x735 x723 
1796.70/1797.02	v -x829 -x726 -x804 -x615 -x797 -x859 -x846 x580 -x659 -x828 -x611 x594 x995 -x744 x944 x870 -x572 -x831 -x743 -x736 -x998 x931 
1796.70/1797.02	v -x835 -x567 -x861 x971 -x680 -x576 -x656 -x895 x740 -x901 -x646 -x706 x698 -x626 -x562 -x867 x728 x722 -x565 x929 -x789 -x686 
1796.70/1797.02	v -x658 x760 -x838 -x814 -x558 -x691 x666 -x862 -x925 x694 x709 -x952 -x891 -x677 -x759 -x734 x552 -x583 -x936 -x582 -x796 
1796.70/1797.02	v -x834 -x913 -x654 x619 -x960 -x875 -x564 x911 -x782 -x618 x621 -x662 -x857 -x793 -x710 -x872 x958 x751 -x772 x876 -x788 -x672 
1796.70/1797.02	v -x937 -x881 x652 -x651 x863 -x550 -x839 -x791 -x767 x588 -x561 -x675 x673 -x924 -x877 -x837 x978 -x624 x1000 -x790 -x918 x750 
1796.70/1797.02	v -x935 -x548 -x919 x630 -x900 -x546 -x581 -x637 -x850 -x535 -x649 -x786 x832 x747 x840 -x851 -x534 x898 -x858 -x536 x957 -x809 
1796.70/1797.02	v -x968 -x533 -x951 -x941 -x909 -x908 -x856 -x720 -x977 x604 -x833 -x916 -x799 x540 -x953 -x600 -x593 -x687 -x617 -x824 -x554 
1796.70/1797.02	v -x836 -x606 x975 -x644 -x991 -x887 x930 x642 -x934 x693 -x665 -x607 -x899 x779 -x989 -x762 -x892 -x622 -x531 x585 -x805 -x625 
1796.70/1797.02	v -x586 -x551 x928 x841 x685 -x739 -x525 x704 -x689 -x579 -x549 -x669 x959 -x855 x890 -x667 -x616 x871 x888 -x696 x976 -x523 
1796.70/1797.02	v x792 -x629 -x566 -x596 -x956 -x559 -x522 x716 -x714 -x553 -x702 x768 -x539 -x781 x985 -x820 x843 -x543 -x813 -x922 -x794 -x563 
1796.70/1797.02	v -x530 -x520 -x938 -x764 -x610 x758 -x614 x866 x992 -x773 x708 -x647 -x592 -x663 -x547 x674 x730 x896 x979 -x518 -x798 -x731 
1796.70/1797.02	v -x653 -x641 x587 -x590 x803 -x679 -x770 x860 x682 -x785 -x608 -x577 -x639 x655 -x578 -x516 -x893 -x854 -x745 -x645 -x602 -x542 
1796.70/1797.02	v -x638 -x849 -x921 -x869 -x724 -x537 -x515 -x598 -x852 -x987 -x660 x910 -x771 -x514 -x950 -x882 -x842 -x815 x727 x711 -x670 
1796.70/1797.02	v -x632 x556 -x927 -x884 x826 -x664 -x885 x983 x949 -x920 x766 -x756 -x695 -x668 -x571 x589 x945 -x712 x981 -x697 x765 -x980 
1796.70/1797.02	v -x521 -x512 -x954 x819 -x808 -x776 -x717 -x865 -x897 -x853 -x678 x627 -x513 -x879 x511 -x816 x810 x763 x699 -x544 -x703 x742 
1796.70/1797.02	v x707 x967 -x681 -x671 -x609 x986 -x940 x878 -x847 -x749 -x825 -x912 -x990 -x889 -x746 -x705 x528 -x524 -x657 x806 -x661 x868 
1796.70/1797.02	v x933 -x988 -x800 -x634 x947 -x807 x778 -x754 -x752 -x612 -x569 -x939 x974 -x603 -x997 -x591 -x907 x970 -x966 x783 x628 -x575 
1796.70/1797.02	v -x527 -x508 -x640 -x692 x932 -x994 x573 x732 x738 -x506 -x999 -x633 -x509 -x817 x507 -x755 x996 -x787 x873 x822 -x568 -x948 x690 
1796.70/1797.02	v -x505 -x972 -x963 -x701 -x560 -x517 -x748 -x844 -x973 -x599 x943 -x532 -x845 x676 -x777 -x880 -x504 x926 -x801 -x784 x613 
1796.70/1797.02	v -x601 -x595 -x570 x962 -x984 x725 x795 -x620 -x700 -x757 x905 x874 -x503 -x848 -x688 -x635 -x557 -x631 -x821 -x721 -x883 -x823 
1796.70/1797.02	v x719 -x574 -x780 -x969 -x605 -x502 -x961 -x894 x769 -x741 -x648 -x597 x519 -x718 -x650 -x902 x942 x903 x915 -x904 -x965 -x715 
1796.70/1797.02	v -x955 x501 -x982 -x811 -x623 x555 -x541 -x510 -x545 x886 -x529 -x526 x538 x864 x827 -x775 -x584 x802 -x500 x499 x498 -x497 
1796.70/1797.02	v -x496 -x495 -x494 x493 -x492 -x491 -x490 -x489 x488 x487 -x486 -x485 x484 -x483 x482 -x481 -x480 -x479 -x478 x477 -x476 -x475 
1796.70/1797.02	v -x474 x473 x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 x464 x463 -x462 x461 x460 -x459 -x458 -x457 x456 -x455 x454 -x453 
1796.70/1797.02	v -x452 -x451 x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 x440 x439 x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 
1796.70/1797.02	v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 x420 -x419 x418 x417 -x416 -x415 x414 x413 x412 -x411 -x410 x409 
1796.70/1797.02	v -x408 x407 -x406 -x405 x404 -x403 -x402 x401 x400 -x399 -x398 -x397 -x396 x395 x394 x393 x392 x391 -x390 -x389 -x388 -x387 -x386 
1796.70/1797.02	v -x385 x384 x383 -x382 x381 x380 -x379 -x378 x377 -x376 x375 -x374 -x373 x372 -x371 -x370 x369 -x368 -x367 -x366 -x365 -x364 
1796.70/1797.02	v -x363 x362 x361 -x360 -x359 x358 -x357 -x356 x355 x354 -x353 -x352 x351 x350 x349 x348 -x347 x346 -x345 x344 -x343 x342 -x341 
1796.70/1797.02	v -x340 -x339 -x338 x337 -x336 -x335 -x334 x333 -x332 -x331 -x330 -x329 x328 -x327 -x326 -x325 x324 -x323 -x322 x321 x320 
1796.70/1797.02	v -x319 x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 x308 x307 -x306 x305 x304 -x303 -x302 -x301 -x300 x299 x298 -x297 
1796.70/1797.02	v -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 x285 -x284 -x283 -x282 x281 x280 -x279 -x278 x277 -x276 -x275 
1796.70/1797.02	v -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 x255 x254 
1796.70/1797.02	v -x253 x252 -x251 -x250 -x249 x248 -x247 x246 -x245 -x244 -x243 -x242 x241 -x240 x239 -x238 -x237 x236 -x235 x234 -x233 -x232 
1796.70/1797.02	v -x231 -x230 x229 -x228 -x227 x226 -x225 x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1796.70/1797.02	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 x201 x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 x191 -x190 -x189 
1796.70/1797.02	v -x188 -x187 -x186 -x185 -x184 x183 -x182 x181 -x180 x179 x178 -x177 -x176 x175 -x174 -x173 -x172 x171 x170 -x169 -x168 x167 
1796.70/1797.02	v -x166 -x165 -x164 -x163 -x162 x161 x160 x159 x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 x146 x145 -x144 
1796.70/1797.02	v -x143 -x142 x141 -x140 x139 x138 x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 
1796.70/1797.02	v -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 x114 -x113 -x112 -x111 x110 x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 
1796.70/1797.02	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 
1796.70/1797.02	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 
1796.70/1797.02	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 
1796.70/1797.02	v -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1 
1796.70/1797.02	c SCIP Status        : solving was interrupted [time limit reached]
1796.70/1797.02	c Total Time         :    1797.01
1796.70/1797.02	c   solving          :    1797.01
1796.70/1797.02	c   presolving       :       0.31 (included in solving)
1796.70/1797.02	c   reading          :       0.03 (included in solving)
1796.70/1797.02	c   copying          :       0.03 (3 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.02	c Original Problem   :
1796.70/1797.02	c   Problem name     : HOME/instance-3692589-1338037183.opb
1796.70/1797.02	c   Variables        : 7326 (1000 binary, 0 integer, 6326 implicit integer, 0 continuous)
1796.70/1797.02	c   Constraints      : 8827 initial, 8827 maximal
1796.70/1797.02	c   Objective sense  : minimize
1796.70/1797.02	c Presolved Problem  :
1796.70/1797.02	c   Problem name     : t_HOME/instance-3692589-1338037183.opb
1796.70/1797.02	c   Variables        : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.02	c   Constraints      : 1501 initial, 1554 maximal
1796.70/1797.02	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.70/1797.02	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   dualfix          :       0.01       0.00       6326          0          0          0          0          0          0          0          0
1796.70/1797.02	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   gateextraction   :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   probing          :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   knapsack         :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   setppc           :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   linear           :       0.03       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   logicor          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   pseudoboolean    :       0.02       0.00          0          0          0          0          0       8326       1000          0          0
1796.70/1797.02	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.70/1797.02	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.70/1797.02	c   integral         :          0          0          0          0       1083          0        126          0          0          0          0          0       2166
1796.70/1797.02	c   knapsack         :       1000       1000          1      60631          0          0        120          0          0       1551          0          0          0
1796.70/1797.02	c   setppc           :        500        500          1      52522          0          0        119          0          0        822          0          0          0
1796.70/1797.02	c   linear           :          1          1          1      60631          0          0        119          0         23          0          0          0          0
1796.70/1797.02	c   logicor          :          0+        53          0       1230          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   countsols        :          0          0          0          0          0          0        124          0          0          0          0          0          0
1796.70/1797.02	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.70/1797.02	c   integral         :     795.81       0.00       0.00       0.00     795.81       0.00       0.00       0.00
1796.70/1797.02	c   knapsack         :       1.00       0.00       0.01       0.95       0.00       0.00       0.05       0.00
1796.70/1797.02	c   setppc           :       0.28       0.00       0.00       0.27       0.00       0.00       0.01       0.00
1796.70/1797.02	c   linear           :       0.15       0.00       0.02       0.12       0.00       0.00       0.00       0.00
1796.70/1797.02	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.70/1797.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.70/1797.02	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.70/1797.02	c   rootredcost      :          9          0          0          0
1796.70/1797.02	c   pseudoobj        :      61617          0          4          0
1796.70/1797.02	c   vbounds          :          0          0          0          0
1796.70/1797.02	c   redcost          :       1083          0          0          0
1796.70/1797.02	c   probing          :          0          0          0          0
1796.70/1797.02	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.70/1797.02	c   rootredcost      :       0.06       0.00       0.00       0.06       0.00
1796.70/1797.02	c   pseudoobj        :       0.10       0.00       0.00       0.10       0.00
1796.70/1797.02	c   vbounds          :       0.05       0.00       0.00       0.05       0.00
1796.70/1797.02	c   redcost          :       0.07       0.00       0.00       0.07       0.00
1796.70/1797.02	c   probing          :       0.01       0.00       0.01       0.00       0.00
1796.70/1797.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.70/1797.02	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1796.70/1797.02	c   infeasible LP    :       0.01         56         53         53        3.0          0        0.0          0
1796.70/1797.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.70/1797.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.70/1797.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.70/1797.02	c   applied globally :          -          -          -         53        3.0          -          -          -
1796.70/1797.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.70/1797.02	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.70/1797.02	c   cut pool         :       0.00                     0          -          -          0          -    (maximal pool size: 0)
1796.70/1797.02	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.70/1797.02	c   impliedbounds    :       0.00       0.00          1          0          0          0          0
1796.70/1797.02	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.70/1797.02	c   gomory           :       0.19       0.00          1          0          0          0          0
1796.70/1797.02	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.70/1797.02	c   strongcg         :       0.19       0.00          1          0          0          0          0
1796.70/1797.02	c   cmir             :       0.01       0.00          1          0          0          0          0
1796.70/1797.02	c   flowcover        :       0.01       0.00          1          0          0          0          0
1796.70/1797.02	c   clique           :       0.00       0.00          1          0          0          0          0
1796.70/1797.02	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.70/1797.02	c   mcf              :       0.00       0.00          1          0          0          0          0
1796.70/1797.02	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.70/1797.02	c   rapidlearning    :       2.17       0.00          1          0          0          0          0
1796.70/1797.02	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.70/1797.02	c   problem variables:       0.00          -          0          0
1796.70/1797.02	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.70/1797.02	c   relpscost        :     795.80       0.00       1083          0          0          0          0       2166
1796.70/1797.02	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.02	c   inference        :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.02	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.02	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.02	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.02	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.02	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.02	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.70/1797.02	c   LP solutions     :       0.00          -          -          0
1796.70/1797.02	c   pseudo solutions :       0.00          -          -          0
1796.70/1797.02	c   oneopt           :       0.01       0.00          9          0
1796.70/1797.02	c   smallcard        :       0.00       0.00          0          0
1796.70/1797.02	c   trivial          :       0.01       0.00          2          1
1796.70/1797.02	c   shiftandpropagate:       0.00       0.00          0          0
1796.70/1797.02	c   simplerounding   :       0.00       0.00          0          0
1796.70/1797.02	c   zirounding       :       0.25       0.00          0          0
1796.70/1797.02	c   rounding         :      21.48       0.00       1083          4
1796.70/1797.02	c   shifting         :       3.92       0.00        113        109
1796.70/1797.02	c   intshifting      :       0.00       0.00          0          0
1796.70/1797.02	c   twoopt           :       0.00       0.00          0          0
1796.70/1797.02	c   indoneopt        :       0.00       0.00          0          0
1796.70/1797.02	c   indtwoopt        :       0.00       0.00          0          0
1796.70/1797.02	c   fixandinfer      :       0.00       0.00          0          0
1796.70/1797.02	c   feaspump         :       2.85       0.00          1          0
1796.70/1797.02	c   clique           :       0.00       0.00          0          0
1796.70/1797.02	c   indrounding      :       0.00       0.00          0          0
1796.70/1797.02	c   indcoefdiving    :       0.00       0.00          0          0
1796.70/1797.02	c   coefdiving       :     156.09       0.00         19          1
1796.70/1797.02	c   pscostdiving     :     184.62       0.00         21          1
1796.70/1797.02	c   fracdiving       :     161.00       0.00         22          2
1796.70/1797.02	c   nlpdiving        :       0.00       0.00          0          0
1796.70/1797.02	c   veclendiving     :      10.59       0.00          3          0
1796.70/1797.02	c   intdiving        :       0.00       0.00          0          0
1796.70/1797.02	c   actconsdiving    :       0.00       0.00          0          0
1796.70/1797.02	c   objpscostdiving  :      32.76       0.00          1          1
1796.70/1797.02	c   rootsoldiving    :       4.67       0.00          2          0
1796.70/1797.02	c   linesearchdiving :     113.98       0.00         16          1
1796.70/1797.02	c   guideddiving     :      39.21       0.00          6          0
1796.70/1797.02	c   octane           :       0.00       0.00          0          0
1796.70/1797.02	c   rens             :       0.01       0.00          0          0
1796.70/1797.02	c   rins             :       0.00       0.00          0          0
1796.70/1797.02	c   localbranching   :       0.00       0.00          0          0
1796.70/1797.02	c   mutation         :       0.00       0.00          0          0
1796.70/1797.02	c   crossover        :       0.01       0.00          0          0
1796.70/1797.02	c   dins             :       0.00       0.00          0          0
1796.70/1797.02	c   vbounds          :       0.00       0.00          0          0
1796.70/1797.02	c   undercover       :       0.00       0.00          0          0
1796.70/1797.02	c   subnlp           :       0.00       0.00          0          0
1796.70/1797.02	c   trysol           :       0.00       0.00          0          0
1796.70/1797.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.70/1797.02	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
1796.70/1797.02	c   dual LP          :     266.74       1087     168015     155.14     629.89       0.68          4
1796.70/1797.02	c   lex dual LP      :       0.00          0          0       0.00          -
1796.70/1797.02	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.70/1797.02	c   diving/probing LP:     691.56      48455     472690       9.76     683.51
1796.70/1797.02	c   strong branching :     795.58       1620     147130      90.82     184.94
1796.70/1797.02	c     (at root node) :          -         17      15017     883.35          -
1796.70/1797.02	c   conflict analysis:       0.00          0          0       0.00          -
1796.70/1797.02	c B&B Tree           :
1796.70/1797.02	c   number of runs   :          1
1796.70/1797.02	c   nodes            :       1083
1796.70/1797.02	c   nodes (total)    :       1083
1796.70/1797.02	c   nodes left       :       1084
1796.70/1797.02	c   max depth        :         26
1796.70/1797.02	c   max depth (total):         26
1796.70/1797.02	c   backtracks       :        258 (23.8%)
1796.70/1797.02	c   delayed cutoffs  :          0
1796.70/1797.02	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.70/1797.02	c   avg switch length:       5.11
1796.70/1797.02	c   switching time   :       0.08
1796.70/1797.02	c Solution           :
1796.70/1797.02	c   Solutions found  :        120 (10 improvements)
1796.70/1797.02	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.06 seconds, depth 0, found by <trivial>)
1796.70/1797.02	c   Primal Bound     : -1.44000000000000e+02   (in run 1, after 497 nodes, 1253.93 seconds, depth 508, found by <fracdiving>)
1796.70/1797.02	c   Dual Bound       : -2.47197120573887e+02
1796.70/1797.02	c   Gap              :      71.66 %
1796.70/1797.02	c   Root Dual Bound  : -2.50000000000000e+02
1796.70/1797.02	c   Root Iterations  :      14171
1796.70/1797.05	c Time complete: 1796.76.

Verifier Data

OK	-144

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3692589-1338037183/watcher-3692589-1338037183 -o /tmp/evaluation-result-3692589-1338037183/solver-3692589-1338037183 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692589-1338037183.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: 2.00 2.00 2.00 3/176 5298
/proc/meminfo: memFree=29160080/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=13332 CPUtime=0 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 2078 0 0 0 0 0 0 0 20 0 1 0 269843259 13651968 2032 33554432000 4194304 10219143 140735939743440 140734696786760 5345852 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 3333 2036 430 1471 0 1853 0

[startup+0.094633 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5298
/proc/meminfo: memFree=29160080/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=41148 CPUtime=0.08 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 9098 0 0 0 7 1 0 0 20 0 1 0 269843259 42135552 8795 33554432000 4194304 10219143 140735939743440 140734696786760 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 10287 8795 563 1471 0 8807 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 41148

[startup+0.100321 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5298
/proc/meminfo: memFree=29160080/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=42188 CPUtime=0.09 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 9354 0 0 0 8 1 0 0 20 0 1 0 269843259 43200512 9051 33554432000 4194304 10219143 140735939743440 140735939740680 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 10547 9051 563 1471 0 9067 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42188

[startup+0.300236 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5298
/proc/meminfo: memFree=29160080/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=44192 CPUtime=0.29 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 9898 0 0 0 13 16 0 0 20 0 1 0 269843259 45252608 9595 33554432000 4194304 10219143 140735939743440 140735939740680 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 11048 9595 587 1471 0 9568 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44192

[startup+0.700219 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5298
/proc/meminfo: memFree=29160080/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=51468 CPUtime=0.69 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 11928 0 0 0 51 18 0 0 20 0 1 0 269843259 52703232 11570 33554432000 4194304 10219143 140735939743440 140735939740680 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 12867 11570 774 1471 0 11387 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51468

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5299
/proc/meminfo: memFree=29116176/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=52992 CPUtime=1.49 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 12339 0 0 0 131 18 0 0 20 0 1 0 269843259 54263808 11980 33554432000 4194304 10219143 140735939743440 140735939736696 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 13248 11980 774 1471 0 11768 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52992

[startup+3.10026 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 5299
/proc/meminfo: memFree=29112208/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=55192 CPUtime=3.09 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 12889 0 0 0 290 19 0 0 20 0 1 0 269843259 56516608 12530 33554432000 4194304 10219143 140735939743440 140735939736696 8051729 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 13798 12530 774 1471 0 12318 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55192

[startup+6.30023 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 5299
/proc/meminfo: memFree=29106504/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=57964 CPUtime=6.29 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 13885 0 0 0 609 20 0 0 20 0 1 0 269843259 59355136 13166 33554432000 4194304 10219143 140735939743440 140735939737112 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 14491 13166 777 1471 0 13011 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 57964

[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 5299
/proc/meminfo: memFree=29100816/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=57272 CPUtime=12.69 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 22011 0 0 0 1223 46 0 0 20 0 1 0 269843259 58646528 13227 33554432000 4194304 10219143 140735939743440 140735939735160 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 14318 13227 855 1471 0 12838 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57272

[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 5302
/proc/meminfo: memFree=29088012/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=57776 CPUtime=25.49 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 48768 0 0 0 2496 53 0 0 20 0 1 0 269843259 59162624 13360 33554432000 4194304 10219143 140735939743440 140735939737000 8095504 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 14444 13360 857 1471 0 12964 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 57776

[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 5302
/proc/meminfo: memFree=29076256/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=56068 CPUtime=51.08 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 91532 0 0 0 5048 60 0 0 20 0 1 0 269843259 57413632 12792 33554432000 4194304 10219143 140735939743440 140735939736568 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 14017 12792 857 1471 0 12537 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 56068

[startup+102.306 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 5324
/proc/meminfo: memFree=29045380/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=60792 CPUtime=102.28 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 98646 0 0 0 10165 63 0 0 20 0 1 0 269843259 62251008 13502 33554432000 4194304 10219143 140735939743440 140735939736568 8099249 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 15198 13502 857 1471 0 13718 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 60792

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 5324
/proc/meminfo: memFree=29015204/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=61400 CPUtime=162.27 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 189966 0 0 0 16143 84 0 0 20 0 1 0 269843259 62873600 14201 33554432000 4194304 10219143 140735939743440 140735939736568 8083892 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 15350 14201 857 1471 0 13870 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 61400

[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 5324
/proc/meminfo: memFree=28976980/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=59380 CPUtime=222.25 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 204545 0 0 0 22138 87 0 0 20 0 1 0 269843259 60805120 13752 33554432000 4194304 10219143 140735939743440 140735939736936 8098958 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 14845 13752 857 1471 0 13365 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 59380

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 5325
/proc/meminfo: memFree=28939176/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=58588 CPUtime=282.24 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 230930 0 0 0 28128 96 0 0 20 0 1 0 269843259 59994112 13896 33554432000 4194304 10219143 140735939743440 140735939736616 8099382 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 14647 13896 859 1471 0 13167 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 58588

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 5325
/proc/meminfo: memFree=28905324/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=61044 CPUtime=342.23 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 242075 0 0 0 34124 99 0 0 20 0 1 0 269843259 62509056 14474 33554432000 4194304 10219143 140735939743440 140735939736568 8098444 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 15261 14474 859 1471 0 13781 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 61044

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5325
/proc/meminfo: memFree=28869240/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=62084 CPUtime=402.23 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 253300 0 0 0 40118 105 0 0 20 0 1 0 269843259 63574016 14541 33554432000 4194304 10219143 140735939743440 140735939736744 8099231 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 15521 14541 859 1471 0 14041 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 62084

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5325
/proc/meminfo: memFree=28833156/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=61148 CPUtime=462.21 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 259895 0 0 0 46114 107 0 0 20 0 1 0 269843259 62615552 14536 33554432000 4194304 10219143 140735939743440 140735939736568 8098704 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 15287 14536 859 1471 0 13807 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 61148

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5325
/proc/meminfo: memFree=28795300/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=61296 CPUtime=522.2 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 264494 0 0 0 52109 111 0 0 20 0 1 0 269843259 62767104 14527 33554432000 4194304 10219143 140735939743440 140735939736568 8098722 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 15324 14527 859 1471 0 13844 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 61296

[startup+582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 5326
/proc/meminfo: memFree=28760484/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=61016 CPUtime=582.2 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 270699 0 0 0 58104 116 0 0 20 0 1 0 269843259 62480384 14315 33554432000 4194304 10219143 140735939743440 140735939736328 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 15254 14315 859 1471 0 13774 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 61016

[startup+642.3 s]

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

/proc/meminfo: memFree=28442736/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=62184 CPUtime=1122.11 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 284580 0 0 0 112016 195 0 0 20 0 1 0 269843259 63676416 14810 33554432000 4194304 10219143 140735939743440 140735939736104 8095928 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 15546 14810 859 1471 0 14066 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 62184

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5331
/proc/meminfo: memFree=28400480/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=65176 CPUtime=1182.1 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 286926 0 0 0 118004 206 0 0 20 0 1 0 269843259 66740224 15366 33554432000 4194304 10219143 140735939743440 140735939736040 8098767 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 16294 15366 859 1471 0 14814 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 65176

[startup+1242.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 5335
/proc/meminfo: memFree=28366152/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=65176 CPUtime=1242.1 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 286926 0 0 0 123995 215 0 0 20 0 1 0 269843259 66740224 15366 33554432000 4194304 10219143 140735939743440 140735939736040 8100214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 16294 15366 859 1471 0 14814 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 65176

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5335
/proc/meminfo: memFree=28326508/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=65176 CPUtime=1302.08 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 286926 0 0 0 129984 224 0 0 20 0 1 0 269843259 66740224 15366 33554432000 4194304 10219143 140735939743440 140735939736376 8056885 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 16294 15366 859 1471 0 14814 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 65176

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5373
/proc/meminfo: memFree=29121868/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=64392 CPUtime=1362.07 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 288632 0 0 0 135972 235 0 0 20 0 1 0 269843259 65937408 15183 33554432000 4194304 10219143 140735939743440 140735939736024 8098704 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 16098 15183 859 1471 0 14618 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 64392

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5373
/proc/meminfo: memFree=29119620/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=63696 CPUtime=1422.07 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 291935 0 0 0 141963 244 0 0 20 0 1 0 269843259 65224704 15174 33554432000 4194304 10219143 140735939743440 140735939736568 8098912 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 15924 15174 859 1471 0 14444 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 63696

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5373
/proc/meminfo: memFree=29134012/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=64792 CPUtime=1482.06 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 292136 0 0 0 147952 254 0 0 20 0 1 0 269843259 66347008 15375 33554432000 4194304 10219143 140735939743440 140735939736088 8098526 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 16198 15375 859 1471 0 14718 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 64792

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5374
/proc/meminfo: memFree=29127804/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=66580 CPUtime=1542.04 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 295165 0 0 0 153937 267 0 0 20 0 1 0 269843259 68177920 15184 33554432000 4194304 10219143 140735939743440 140735939739480 8098767 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 16645 15184 859 1471 0 15165 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 66580

[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 5374
/proc/meminfo: memFree=29127928/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=64936 CPUtime=1602.04 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 303685 0 0 0 159926 278 0 0 20 0 1 0 269843259 66494464 15114 33554432000 4194304 10219143 140735939743440 140735939736696 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 16234 15114 859 1471 0 14754 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 64936

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5374
/proc/meminfo: memFree=29116260/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=64676 CPUtime=1662.02 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 308284 0 0 0 165913 289 0 0 20 0 1 0 269843259 66228224 15343 33554432000 4194304 10219143 140735939743440 140735939739480 8066823 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 16169 15343 859 1471 0 14689 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 64676

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 5374
/proc/meminfo: memFree=29119048/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=62884 CPUtime=1722.01 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 312632 0 0 0 171906 295 0 0 20 0 1 0 269843259 64393216 14809 33554432000 4194304 10219143 140735939743440 140735939736568 8083902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 15721 14809 859 1471 0 14241 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 62884

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5374
/proc/meminfo: memFree=29116320/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=64252 CPUtime=1782.01 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 316499 0 0 0 177894 307 0 0 20 0 1 0 269843259 65794048 15168 33554432000 4194304 10219143 140735939743440 140735939736424 8100559 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 16063 15168 859 1471 0 14583 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 64252

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5374
/proc/meminfo: memFree=29115824/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=64468 CPUtime=1785.2 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 316642 0 0 0 178213 307 0 0 20 0 1 0 269843259 66015232 15311 33554432000 4194304 10219143 140735939743440 140735939736696 8076870 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 16117 15311 859 1471 0 14637 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 64468

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5374
/proc/meminfo: memFree=29115204/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=64920 CPUtime=1791.61 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 316800 0 0 0 178853 308 0 0 20 0 1 0 269843259 66478080 15469 33554432000 4194304 10219143 140735939743440 140735939736744 5812738 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 16230 15469 859 1471 0 14750 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 64920

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5374
/proc/meminfo: memFree=29117188/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=63316 CPUtime=1794.81 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 318218 0 0 0 179172 309 0 0 20 0 1 0 269843259 64835584 14990 33554432000 4194304 10219143 140735939743440 140735939736424 8676224 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 15829 14990 859 1471 0 14349 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 63316

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5374
/proc/meminfo: memFree=29117188/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=63316 CPUtime=1795.61 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 318263 0 0 0 179252 309 0 0 20 0 1 0 269843259 64835584 15035 33554432000 4194304 10219143 140735939743440 140735939736424 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 15829 15035 859 1471 0 14349 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 63316

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5374
/proc/meminfo: memFree=29117072/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=65852 CPUtime=1796.41 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 318751 0 0 0 179332 309 0 0 20 0 1 0 269843259 67432448 15523 33554432000 4194304 10219143 140735939743440 140735939736424 8099231 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 16463 15523 859 1471 0 14983 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 65852

[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5374
/proc/meminfo: memFree=29117072/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=60428 CPUtime=1796.6 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 319068 0 0 0 179351 309 0 0 20 0 1 0 269843259 61878272 14049 33554432000 4194304 10219143 140735939743440 140735939736424 8098563 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 15107 14049 859 1471 0 13627 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 60428

[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5374
/proc/meminfo: memFree=29117072/32873844 swapFree=7116/7116
[pid=5298] ppid=5296 vsize=60428 CPUtime=1796.7 cores=0,2,4,6
/proc/5298/stat : 5298 (scip-2.1.1.4exp) R 5296 5298 3441 0 -1 4202496 319083 0 0 0 179361 309 0 0 20 0 1 0 269843259 61878272 14064 33554432000 4194304 10219143 140735939743440 140735939736424 8676064 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5298/statm: 15107 14064 859 1471 0 13627 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 60428

Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.77
CPU user time (s): 1793.67
CPU system time (s): 3.10053
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 78520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.67
system time used= 3.10053
maximum resident set size= 72476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 319088
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= 15
involuntary context switches= 1848

runsolver used 2.93555 second user time and 8.5677 second system time

The end

Launcher Data

Begin job on node146 at 2012-05-26 14:59:43
IDJOB=3692589
IDBENCH=48234
IDSOLVER=2271
FILE ID=node146/3692589-1338037183
RUNJOBID= node146-1338029515-4286
PBS_JOBID= 14624329
Free space on /tmp= 71536 MiB

SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_4.opb
COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692589-1338037183/watcher-3692589-1338037183 -o /tmp/evaluation-result-3692589-1338037183/solver-3692589-1338037183 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692589-1338037183.opb -t 1800 -m 15500

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

MD5SUM BENCH= 95bfca9fba26d7f8c875796701522876
RANDOM SEED=73372858

node146.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29160352 kB
Buffers:          254916 kB
Cached:          2418604 kB
SwapCached:         2348 kB
Active:           750856 kB
Inactive:        2193228 kB
Active(anon):     269768 kB
Inactive(anon):     3064 kB
Active(file):     481088 kB
Inactive(file):  2190164 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100340 kB
Dirty:             13624 kB
Writeback:             0 kB
AnonPages:        284008 kB
Mapped:            11720 kB
Shmem:                 0 kB
Slab:             630748 kB
SReclaimable:      72076 kB
SUnreclaim:       558672 kB
KernelStack:        1472 kB
PageTables:         4248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     390992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71520 MiB
End job on node146 at 2012-05-26 15:29:40