Trace number 3737842

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 NameAnswerCPU timeWall clock time
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT 54.7437 54.7577

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_3_80.opb
MD5SUM4023d6beb9ef2c356e20e783b830f625
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.228965
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
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 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 80
Number of bits of the biggest number in a constraint 7
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

Solver Data 

0.02/0.04	c SCIP version 1.1.0.7
0.02/0.04	c LP-Solver SoPlex 1.4.1
0.02/0.04	c user parameter file <scip.set> not found - using default parameters
0.02/0.04	c read problem <HOME/instance-3737842-1338751139.opb>
0.02/0.04	c original problem has 7316 variables (7316 bin, 0 int, 0 impl, 0 cont) and 7818 constraints
0.02/0.06	c No objective function, only one solution is needed.
0.02/0.06	c start presolving problem
0.02/0.06	c presolving:
0.09/0.16	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 51528 impls, 1000 clqs
0.19/0.23	c presolving (2 rounds):
0.19/0.23	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.23	c  51528 implications, 1000 cliques
0.19/0.23	c presolved problem has 7316 variables (7316 bin, 0 int, 0 impl, 0 cont) and 7818 constraints
0.19/0.23	c       1 constraints of type <knapsack>
0.19/0.23	c    1000 constraints of type <setppc>
0.19/0.23	c    6316 constraints of type <and>
0.19/0.23	c       1 constraints of type <linear>
0.19/0.23	c     500 constraints of type <logicor>
0.19/0.23	c transformed objective value is always integral (scale: 1)
0.19/0.23	c Presolving Time: 0.11
0.19/0.23	c SATUNSAT-NLC
0.19/0.23	c -----------------------------------------------------------------------------------------------
0.19/0.23	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.19/0.23	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.23	c separating/flowcover/freq = c -1
0.19/0.23	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.19/0.23	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.23	c separating/cmir/freq = c -1
0.19/0.23	c # additional number of allowed LP iterations
0.19/0.23	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.23	c heuristics/veclendiving/maxlpiterofs = c 1500
0.19/0.23	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.23	c heuristics/veclendiving/maxlpiterquot = c 0.075
0.19/0.23	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.19/0.23	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.23	c heuristics/veclendiving/freq = c -1
0.19/0.23	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.19/0.23	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.23	c heuristics/simplerounding/freq = c -1
0.19/0.23	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.19/0.23	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.23	c heuristics/shifting/freq = c -1
0.19/0.23	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.19/0.23	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.23	c heuristics/rounding/freq = c -1
0.19/0.23	c # additional number of allowed LP iterations
0.19/0.23	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.23	c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.19/0.23	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.19/0.23	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.19/0.23	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.19/0.23	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.23	c heuristics/rootsoldiving/freq = c -1
0.19/0.23	c # number of nodes added to the contingent of the total nodes
0.19/0.23	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.23	c heuristics/rens/nodesofs = c 2000
0.19/0.23	c # minimum percentage of integer variables that have to be fixable 
0.19/0.23	c # [type: real, range: [0,1], default: 0.5]
0.19/0.23	c heuristics/rens/minfixingrate = c 0.3
0.19/0.23	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.19/0.23	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.23	c heuristics/rens/freq = c -1
0.19/0.23	c # additional number of allowed LP iterations
0.19/0.23	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.23	c heuristics/pscostdiving/maxlpiterofs = c 1500
0.19/0.23	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.23	c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.19/0.23	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.23	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.23	c heuristics/pscostdiving/freq = c -1
0.19/0.23	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.19/0.24	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.24	c heuristics/oneopt/freq = c -1
0.19/0.24	c # additional number of allowed LP iterations
0.19/0.24	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.24	c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.19/0.24	c # maximal fraction of diving LP iterations compared to total iteration number
0.19/0.24	c # [type: real, range: [0,1], default: 0.01]
0.19/0.24	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.19/0.24	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.24	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.24	c heuristics/objpscostdiving/freq = c -1
0.19/0.24	c # additional number of allowed LP iterations
0.19/0.24	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.24	c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.19/0.24	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.24	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.24	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.19/0.24	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.19/0.24	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.24	c heuristics/linesearchdiving/freq = c -1
0.19/0.24	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.19/0.24	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.24	c heuristics/intshifting/freq = c -1
0.19/0.24	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.24	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.24	c heuristics/intdiving/maxlpiterquot = c 0.075
0.19/0.24	c # additional number of allowed LP iterations
0.19/0.24	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.24	c heuristics/guideddiving/maxlpiterofs = c 1500
0.19/0.24	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.24	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.24	c heuristics/guideddiving/maxlpiterquot = c 0.075
0.19/0.24	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.19/0.24	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.24	c heuristics/guideddiving/freq = c -1
0.19/0.24	c # additional number of allowed LP iterations
0.19/0.24	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.24	c heuristics/fracdiving/maxlpiterofs = c 1500
0.19/0.24	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.24	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.24	c heuristics/fracdiving/maxlpiterquot = c 0.075
0.19/0.24	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.19/0.24	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.24	c heuristics/fracdiving/freq = c -1
0.19/0.24	c # additional number of allowed LP iterations
0.19/0.24	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.24	c heuristics/feaspump/maxlpiterofs = c 2000
0.19/0.24	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.19/0.24	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.24	c heuristics/feaspump/freq = c -1
0.19/0.24	c # minimum percentage of integer variables that have to be fixed 
0.19/0.24	c # [type: real, range: [0,1], default: 0.666]
0.19/0.24	c heuristics/crossover/minfixingrate = c 0.5
0.19/0.24	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.19/0.24	c # [type: real, range: [0,1], default: 0.1]
0.19/0.24	c heuristics/crossover/nodesquot = c 0.15
0.19/0.24	c # number of nodes without incumbent change that heuristic should wait
0.19/0.24	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.19/0.24	c heuristics/crossover/nwaitingnodes = c 100
0.19/0.24	c # number of nodes added to the contingent of the total nodes
0.19/0.24	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.24	c heuristics/crossover/nodesofs = c 750
0.19/0.24	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.19/0.24	c # [type: int, range: [-1,2147483647], default: 30]
0.19/0.24	c heuristics/crossover/freq = c -1
0.19/0.24	c # additional number of allowed LP iterations
0.19/0.24	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.24	c heuristics/coefdiving/maxlpiterofs = c 1500
0.19/0.24	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.24	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.24	c heuristics/coefdiving/maxlpiterquot = c 0.075
0.19/0.24	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.19/0.24	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.24	c heuristics/coefdiving/freq = c -1
0.19/0.24	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.19/0.24	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.24	c presolving/probing/maxrounds = c 0
0.19/0.24	c # should presolving try to simplify knapsacks
0.19/0.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24	c constraints/knapsack/simplifyinequalities = c TRUE
0.19/0.24	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.19/0.24	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.19/0.24	c constraints/knapsack/disaggregation = c FALSE
0.19/0.24	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.19/0.24	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.24	c constraints/knapsack/maxnumcardlift = c 0
0.19/0.24	c # should presolving try to simplify inequalities
0.19/0.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24	c constraints/linear/simplifyinequalities = c TRUE
0.19/0.24	c # maximal number of separation rounds in the root node (-1: unlimited)
0.19/0.24	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.24	c separating/maxroundsroot = c 5
0.19/0.24	c # maximal number of separation rounds per node (-1: unlimited)
0.19/0.24	c # [type: int, range: [-1,2147483647], default: 5]
0.19/0.24	c separating/maxrounds = c 1
0.19/0.24	c # solving stops, if the given number of solutions were found (-1: no limit)
0.19/0.24	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.24	c limits/solutions = c 1
0.19/0.24	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24	c limits/memory = c 13950
0.19/0.24	c # maximal time in seconds to run
0.19/0.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24	c limits/time = c 1791
0.19/0.24	c # frequency for displaying node information lines
0.19/0.24	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.24	c display/freq = c 10000
0.19/0.24	c -----------------------------------------------------------------------------------------------
0.19/0.24	c start solving problem
0.19/0.24	c 
0.39/0.45	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.45	c   0.3s|     1 |     0 |   697 |  32M|   0 | 310 |7316 |7818 |7818 |7316 |  14k|   0 |   0 |   0 | 1.600000e+02 |      --      |    Inf 
1.19/1.23	c   1.1s|     1 |     0 |   925 |  32M|   0 | 311 |7316 |7818 |7818 |7316 |  14k|   3 |   0 |   0 | 1.600000e+02 |      --      |    Inf 
4.40/4.41	c   4.3s|     1 |     0 |  1093 |  32M|   0 | 311 |7316 |7818 |7818 |7316 |  14k|   4 |   0 |   0 | 1.600000e+02 |      --      |    Inf 
9.99/10.03	c   9.9s|     1 |     0 |  1208 |  33M|   0 | 312 |7316 |7818 |7818 |7316 |  14k|   5 |   0 |   0 | 1.600000e+02 |      --      |    Inf 
10.58/10.64	c  10.5s|     1 |     0 |  1401 |  33M|   0 | 312 |7316 |7818 |7818 |7316 |  14k|   7 |   0 |   0 | 1.600000e+02 |      --      |    Inf 
14.19/14.28	c  14.1s|     1 |     0 |  1530 |  33M|   0 | 312 |7316 |7818 |7818 |7316 |  14k|   8 |   0 |   0 | 1.600000e+02 |      --      |    Inf 
24.20/24.21	c  24.0s|     1 |     2 |  1530 |  33M|   0 | 312 |7316 |7818 |7818 |7316 |  14k|   8 |   0 |  33 | 1.600000e+02 |      --      |    Inf 
54.68/54.70	c *54.3s|   246 |   182 | 12594 |  34M|  78 |   - |7316 |7820 |6149 |7316 |2785 |7727 |   2 |3329 | 1.600000e+02 | 1.610000e+02 |   0.62%
54.68/54.70	c 
54.68/54.70	c SCIP Status        : solving was interrupted [solution limit reached]
54.68/54.70	c Solving Time (sec) : 54.33
54.68/54.70	c Solving Nodes      : 246
54.68/54.70	c Primal Bound       : +1.61000000000000e+02 (1 solutions)
54.68/54.70	c Dual Bound         : +1.60000000000001e+02
54.68/54.70	c Gap                : 0.62 %
54.68/54.70	c NODE         246
54.68/54.70	c DUAL BOUND   160
54.68/54.70	c PRIMAL BOUND 161
54.68/54.70	c GAP          0.00625
54.68/54.70	s SATISFIABLE
54.68/54.70	v -x972 x966 -x919 -x636 -x861 x917 -x717 x934 -x847 x605 x902 -x677 -x979 -x779 -x987 -x849 -x662 -x701 -x629 -x888 x913 -x850 -x995 
54.68/54.70	v -x879 -x881 -x935 -x971 x929 -x901 -x756 -x710 -x818 -x865 x631 -x680 -x589 -x718 -x798 -x910 -x767 -x719 -x764 -x706 -x583 
54.68/54.70	v -x801 -x813 -x870 -x597 -x666 -x909 -x856 -x880 x612 -x797 x954 -x980 -x961 -x873 -x698 -x577 -x915 -x556 -x864 -x760 -x725 
54.68/54.70	v -x632 -x615 -x670 -x651 -x946 -x885 -x735 x942 x630 x897 -x592 -x552 -x758 -x693 -x997 -x793 -x943 -x694 -x561 -x794 x904 
54.68/54.70	v -x857 -x679 -x600 x560 -x911 x827 -x752 -x696 -x982 x755 -x884 -x628 -x922 -x551 x555 -x546 -x970 x959 -x585 -x784 -x674 -x686 
54.68/54.70	v -x860 x683 -x825 -x641 -x624 x608 -x547 -x721 -x749 -x668 -x862 -x918 -x736 x832 -x895 -x606 x903 -x763 -x619 -x722 -x855 -x957 
54.68/54.70	v -x947 -x744 -x682 -x566 -x541 -x730 -x754 -x587 -x834 -x780 -x1000 -x688 -x609 -x990 -x663 -x819 -x713 x731 -x673 -x635 
54.68/54.70	v -x921 -x581 x665 -x965 -x729 -x610 -x690 -x633 -x891 x930 -x912 -x697 x650 -x700 -x664 x958 -x676 x720 -x598 -x595 -x750 x703 
54.68/54.70	v x726 x766 x738 -x550 -x815 -x675 x578 -x528 -x768 -x621 -x584 -x709 -x981 -x527 -x773 -x611 -x787 -x596 -x839 -x705 -x920 -x853 
54.68/54.70	v -x711 x593 -x762 -x778 -x928 -x733 x525 -x848 x753 -x742 -x734 -x808 -x962 -x821 -x833 -x823 -x524 -x892 -x772 -x751 -x554 
54.68/54.70	v -x538 -x659 x846 -x876 -x989 -x534 -x523 -x977 -x967 -x824 -x820 -x814 -x656 -x654 -x618 -x639 -x645 -x564 -x599 -x692 -x974 
54.68/54.70	v x956 -x940 x836 -x580 -x530 x800 -x843 -x667 -x840 -x571 -x520 -x810 x594 -x851 -x607 -x708 -x714 -x545 -x519 -x933 -x644 -x620 
54.68/54.70	v -x775 -x985 -x657 -x518 -x932 -x788 -x770 -x614 -x601 -x548 -x844 -x828 -x944 -x789 -x748 x991 -x875 -x783 -x671 -x575 -x691 
54.68/54.70	v -x533 -x893 -x811 x712 x949 -x771 -x952 -x627 -x590 -x563 -x988 -x785 -x732 -x890 -x660 x586 -x704 -x536 x514 -x964 -x863 
54.68/54.70	v x521 -x515 -x723 x746 -x716 x602 -x871 -x852 x945 -x689 -x544 -x513 -x937 -x869 -x829 -x582 -x532 -x526 -x535 -x931 -x739 -x553 
54.68/54.70	v -x950 x973 -x795 x512 x845 x803 x616 -x565 x543 -x672 -x724 -x681 -x804 -x728 -x817 -x511 -x777 -x737 -x684 -x678 -x558 
54.68/54.70	v -x522 -x622 -x994 -x899 -x830 -x510 -x960 -x638 -x540 -x537 -x806 -x757 -x984 -x646 -x874 -x999 -x769 -x907 -x927 -x509 -x841 
54.68/54.70	v -x761 -x626 -x613 -x604 -x539 -x914 -x992 -x741 -x727 -x707 -x905 -x978 -x567 -x854 x868 x826 -x792 -x617 x517 -x816 -x743 -x812 
54.68/54.70	v x951 -x998 -x882 -x867 -x661 -x658 -x623 -x568 -x924 -x809 -x634 -x878 -x968 -x572 -x872 -x642 x506 x831 -x936 -x805 -x687 
54.68/54.70	v x786 -x837 -x898 -x549 -x838 x625 x790 x505 -x906 -x883 x835 -x796 -x699 -x685 -x647 -x570 x557 -x529 x900 x983 -x923 -x653 
54.68/54.70	v -x782 -x948 -x889 -x588 -x993 -x649 -x504 x953 -x807 -x781 -x745 -x640 x695 -x569 -x791 -x579 -x916 -x562 -x507 -x975 -x637 
54.68/54.70	v x715 -x503 x963 -x887 -x652 -x576 -x559 x508 -x955 x799 -x969 x938 -x886 -x648 -x774 -x759 -x939 -x643 -x502 -x996 -x655 -x542 
54.68/54.70	v -x516 -x896 -x702 x976 -x842 -x603 -x740 x894 -x925 -x501 -x908 -x866 -x858 -x822 -x776 -x591 -x574 -x531 -x859 -x765 -x802 
54.68/54.70	v -x877 -x573 -x926 -x941 -x669 -x986 -x747 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 
54.68/54.70	v -x486 -x485 -x484 -x483 -x482 x481 -x480 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 
54.68/54.70	v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 
54.68/54.70	v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 
54.68/54.70	v -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 
54.68/54.70	v -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 
54.68/54.70	v -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 
54.68/54.70	v -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 
54.68/54.70	v x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 
54.68/54.70	v -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 
54.68/54.70	v -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 -x276 
54.68/54.70	v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 x256 -x255 
54.68/54.70	v -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 
54.68/54.70	v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 
54.68/54.70	v -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 x200 -x199 -x198 -x197 x196 -x195 x194 -x193 -x192 
54.68/54.70	v -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 
54.68/54.70	v -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 
54.68/54.70	v -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 x133 -x132 -x131 -x130 x129 x128 
54.68/54.70	v x127 -x126 -x125 -x124 -x123 x122 -x121 x120 x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 x106 
54.68/54.70	v -x105 x104 x103 -x102 x101 -x100 x99 -x98 x97 x96 x95 -x94 -x93 -x92 -x91 x90 x89 -x88 -x87 -x86 x85 x84 x83 x82 x81 -x80 -x79 
54.68/54.70	v -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 x69 x68 x67 x66 -x65 x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 x53 x52 
54.68/54.70	v -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 x42 x41 -x40 -x39 x38 x37 x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 x28 x27 -x26 -x25 
54.68/54.70	v -x24 x23 -x22 -x21 -x20 x19 x18 -x17 x16 -x15 -x14 -x13 -x12 x11 x10 x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 x1 
54.68/54.70	c SCIP Status        : solving was interrupted [solution limit reached]
54.68/54.70	c Solving Time       :      54.33
54.68/54.70	c Original Problem   :
54.68/54.70	c   Problem name     : HOME/instance-3737842-1338751139.opb
54.68/54.70	c   Variables        : 7316 (7316 binary, 0 integer, 0 implicit integer, 0 continuous)
54.68/54.70	c   Constraints      : 7818 initial, 7818 maximal
54.68/54.70	c Presolved Problem  :
54.68/54.70	c   Problem name     : t_HOME/instance-3737842-1338751139.opb
54.68/54.70	c   Variables        : 7316 (7316 binary, 0 integer, 0 implicit integer, 0 continuous)
54.68/54.70	c   Constraints      : 7818 initial, 7820 maximal
54.68/54.70	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
54.68/54.70	c   trivial          :       0.00          0          0          0          0          0          0          0          0
54.68/54.70	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
54.68/54.70	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
54.68/54.70	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
54.68/54.70	c   implics          :       0.00          0          0          0          0          0          0          0          0
54.68/54.70	c   probing          :       0.00          0          0          0          0          0          0          0          0
54.68/54.70	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
54.68/54.70	c   setppc           :       0.01          0          0          0          0          0          0          0          0
54.68/54.70	c   and              :       0.07          0          0          0          0          0          0          0          0
54.68/54.70	c   linear           :       0.02          0          0          0          0          0          0          0          0
54.68/54.70	c   logicor          :       0.00          0          0          0          0          0          0          0          0
54.68/54.70	c   root node        :          -          0          -          -          0          -          -          -          -
54.68/54.70	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
54.68/54.70	c   integral         :          0          0          0        254          0          0          0          0          0        486
54.68/54.70	c   knapsack         :          1          5        686         11          0          0          0          0          0          0
54.68/54.70	c   setppc           :       1000          5        686         11          0          2        167          0          0          0
54.68/54.70	c   and              :       6316        248        684         11          0          0       5578       7899          0          0
54.68/54.70	c   linear           :          1          5        684          1          0          0          0          0          0          0
54.68/54.70	c   logicor          :        500+         5        206          1          0          0        170          0          0          0
54.68/54.70	c   countsols        :          0          0          0          1          0          0          0          0          0          0
54.68/54.70	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
54.68/54.70	c   integral         :      34.69       0.00       0.00      34.69       0.00
54.68/54.70	c   knapsack         :       0.00       0.00       0.00       0.00       0.00
54.68/54.70	c   setppc           :       0.01       0.00       0.01       0.00       0.00
54.68/54.70	c   and              :       0.50       0.40       0.10       0.00       0.00
54.68/54.70	c   linear           :       0.01       0.00       0.01       0.00       0.00
54.68/54.70	c   logicor          :       0.00       0.00       0.00       0.00       0.00
54.68/54.70	c   countsols        :       0.00       0.00       0.00       0.00       0.00
54.68/54.70	c Propagators        :       Time      Calls    Cutoffs    DomReds
54.68/54.70	c   rootredcost      :       0.00          0          0          0
54.68/54.70	c   pseudoobj        :       0.27        687          0          0
54.68/54.70	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
54.68/54.70	c   propagation      :       0.00          2          2          2        3.0          0        0.0          -
54.68/54.70	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
54.68/54.70	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
54.68/54.70	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
54.68/54.70	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
54.68/54.70	c   applied globally :          -          -          -          2        3.0          -          -          -
54.68/54.70	c   applied locally  :          -          -          -          0        0.0          -          -          -
54.68/54.70	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
54.68/54.70	c   cut pool         :       0.00          4          -          -          0          -    (maximal pool size: 18)
54.68/54.70	c   redcost          :       0.07        248          0          0          0          0
54.68/54.70	c   impliedbounds    :       0.01          5          0          0          0          0
54.68/54.70	c   intobj           :       0.00          0          0          0          0          0
54.68/54.70	c   gomory           :       9.34          5          0          0       1000          0
54.68/54.70	c   strongcg         :       3.57          5          0          0       2025          0
54.68/54.70	c   cmir             :       0.00          0          0          0          0          0
54.68/54.70	c   flowcover        :       0.00          0          0          0          0          0
54.68/54.70	c   clique           :       0.11          5          0          0          0          0
54.68/54.70	c   zerohalf         :       0.00          0          0          0          0          0
54.68/54.70	c   mcf              :       0.01          1          0          0          0          0
54.68/54.70	c Pricers            :       Time      Calls       Vars
54.68/54.70	c   problem variables:       0.00          0          0
54.68/54.70	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
54.68/54.70	c   relpscost        :      34.69        243          0          0          0          0        486
54.68/54.70	c   pscost           :       0.00          0          0          0          0          0          0
54.68/54.70	c   inference        :       0.00          0          0          0          0          0          0
54.68/54.70	c   mostinf          :       0.00          0          0          0          0          0          0
54.68/54.70	c   leastinf         :       0.00          0          0          0          0          0          0
54.68/54.70	c   fullstrong       :       0.00          0          0          0          0          0          0
54.68/54.70	c   allfullstrong    :       0.00          0          0          0          0          0          0
54.68/54.70	c   random           :       0.00          0          0          0          0          0          0
54.68/54.70	c Primal Heuristics  :       Time      Calls      Found
54.68/54.70	c   LP solutions     :       0.00          -          1
54.68/54.70	c   pseudo solutions :       0.00          -          0
54.68/54.70	c   simplerounding   :       0.00          0          0
54.68/54.70	c   rounding         :       0.00          0          0
54.68/54.70	c   shifting         :       0.00          0          0
54.68/54.70	c   intshifting      :       0.00          0          0
54.68/54.70	c   oneopt           :       0.00          0          0
54.68/54.70	c   fixandinfer      :       0.00          0          0
54.68/54.70	c   feaspump         :       0.00          0          0
54.68/54.70	c   coefdiving       :       0.00          0          0
54.68/54.70	c   pscostdiving     :       0.00          0          0
54.68/54.70	c   fracdiving       :       0.00          0          0
54.68/54.70	c   veclendiving     :       0.00          0          0
54.68/54.70	c   intdiving        :       0.00          0          0
54.68/54.70	c   actconsdiving    :       0.00          0          0
54.68/54.70	c   objpscostdiving  :       0.00          0          0
54.68/54.70	c   rootsoldiving    :       0.00          0          0
54.68/54.70	c   linesearchdiving :       0.00          0          0
54.68/54.70	c   guideddiving     :       0.00          0          0
54.68/54.70	c   octane           :       0.00          0          0
54.68/54.70	c   rens             :       0.00          0          0
54.68/54.70	c   rins             :       0.00          0          0
54.68/54.70	c   localbranching   :       0.00          0          0
54.68/54.70	c   mutation         :       0.00          0          0
54.68/54.70	c   crossover        :       0.00          0          0
54.68/54.70	c   dins             :       0.00          0          0
54.68/54.70	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
54.68/54.70	c   primal LP        :       0.19          0          0       0.00       0.00
54.68/54.70	c   dual LP          :       4.60        501      12594      25.14    2737.83
54.68/54.70	c   barrier LP       :       0.00          0          0       0.00          -
54.68/54.70	c   diving/probing LP:       0.00          0          0       0.00          -
54.68/54.70	c   strong branching :      34.64       3329      63512      19.08    1833.49
54.68/54.70	c     (at root node) :          -         33      11943     361.91          -
54.68/54.70	c   conflict analysis:       0.00          0          0       0.00          -
54.68/54.70	c B&B Tree           :
54.68/54.70	c   number of runs   :          1
54.68/54.70	c   nodes            :        246
54.68/54.70	c   nodes (total)    :        246
54.68/54.70	c   nodes left       :        182
54.68/54.70	c   max depth        :         78
54.68/54.70	c   max depth (total):         78
54.68/54.70	c   backtracks       :          7 (2.8%)
54.68/54.70	c   delayed cutoffs  :          0
54.68/54.70	c   repropagations   :         34 (34 domain reductions, 0 cutoffs)
54.68/54.70	c   avg switch length:       2.51
54.68/54.70	c   switching time   :       0.28
54.68/54.70	c Solution           :
54.68/54.70	c   Solutions found  :          1 (1 improvements)
54.68/54.70	c   Primal Bound     : +1.61000000000000e+02   (in run 1, after 246 nodes, 54.33 seconds, depth 78, found by <relaxation>)
54.68/54.70	c   Dual Bound       : +1.60000000000001e+02
54.68/54.70	c   Gap              :       0.62 %
54.68/54.70	c   Root Dual Bound  : +1.60000000000001e+02
54.68/54.75	c Time complete: 54.73.

Verifier Data 

OK	0

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-3737842-1338751139/watcher-3737842-1338751139 -o /tmp/evaluation-result-3737842-1338751139/solver-3737842-1338751139 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3737842-1338751139.opb 

running on 4 cores: 1,3,5,7

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 1.92 2/175 32417
/proc/meminfo: memFree=28461780/32873844 swapFree=7372/7372
[pid=32417] ppid=32415 vsize=9176 CPUtime=0 cores=1,3,5,7
/proc/32417/stat : 32417 (pbscip.linux.x8) R 32415 32417 32091 0 -1 4202496 1639 0 0 0 0 0 0 0 20 0 1 0 341242456 9396224 1591 33554432000 4194304 7823515 140733543757392 140733543757176 6911387 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32417/statm: 2294 1591 351 887 0 1404 0

[startup+0.0293889 s]
/proc/loadavg: 2.00 2.00 1.92 2/175 32417
/proc/meminfo: memFree=28461780/32873844 swapFree=7372/7372
[pid=32417] ppid=32415 vsize=15720 CPUtime=0.02 cores=1,3,5,7
/proc/32417/stat : 32417 (pbscip.linux.x8) R 32415 32417 32091 0 -1 4202496 3295 0 0 0 2 0 0 0 20 0 1 0 341242456 16097280 3247 33554432000 4194304 7823515 140733543757392 140733543757176 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32417/statm: 3930 3247 351 887 0 3040 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15720

[startup+0.100328 s]
/proc/loadavg: 2.00 2.00 1.92 2/175 32417
/proc/meminfo: memFree=28461780/32873844 swapFree=7372/7372
[pid=32417] ppid=32415 vsize=36884 CPUtime=0.09 cores=1,3,5,7
/proc/32417/stat : 32417 (pbscip.linux.x8) R 32415 32417 32091 0 -1 4202496 8663 0 0 0 8 1 0 0 20 0 1 0 341242456 37769216 8261 33554432000 4194304 7823515 140733543757392 140733543757176 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32417/statm: 9221 8261 404 887 0 8331 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36884

[startup+0.300321 s]
/proc/loadavg: 2.00 2.00 1.92 2/175 32417
/proc/meminfo: memFree=28461780/32873844 swapFree=7372/7372
[pid=32417] ppid=32415 vsize=64368 CPUtime=0.29 cores=1,3,5,7
/proc/32417/stat : 32417 (pbscip.linux.x8) R 32415 32417 32091 0 -1 4202496 15662 0 0 0 21 8 0 0 20 0 1 0 341242456 65912832 14926 33554432000 4194304 7823515 140733543757392 140733543754648 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32417/statm: 16092 14926 514 887 0 15202 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64368

[startup+0.700318 s]
/proc/loadavg: 2.00 2.00 1.92 2/175 32417
/proc/meminfo: memFree=28461780/32873844 swapFree=7372/7372
[pid=32417] ppid=32415 vsize=80092 CPUtime=0.69 cores=1,3,5,7
/proc/32417/stat : 32417 (pbscip.linux.x8) R 32415 32417 32091 0 -1 4202496 19468 0 0 0 60 9 0 0 20 0 1 0 341242456 82014208 18704 33554432000 4194304 7823515 140733543757392 140733543754648 4348607 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32417/statm: 20023 18704 539 887 0 19133 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80092

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 32418
/proc/meminfo: memFree=28375344/32873844 swapFree=7372/7372
[pid=32417] ppid=32415 vsize=95676 CPUtime=1.49 cores=1,3,5,7
/proc/32417/stat : 32417 (pbscip.linux.x8) R 32415 32417 32091 0 -1 4202496 23465 0 0 0 139 10 0 0 20 0 1 0 341242456 97972224 22664 33554432000 4194304 7823515 140733543757392 140733543753144 5610844 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32417/statm: 23919 22664 552 887 0 23029 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95676

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 32418
/proc/meminfo: memFree=28373244/32873844 swapFree=7372/7372
[pid=32417] ppid=32415 vsize=95676 CPUtime=3.08 cores=1,3,5,7
/proc/32417/stat : 32417 (pbscip.linux.x8) R 32415 32417 32091 0 -1 4202496 23465 0 0 0 298 10 0 0 20 0 1 0 341242456 97972224 22664 33554432000 4194304 7823515 140733543757392 140733543752536 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32417/statm: 23919 22664 552 887 0 23029 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 95676

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 32419
/proc/meminfo: memFree=28372268/32873844 swapFree=7372/7372
[pid=32417] ppid=32415 vsize=95896 CPUtime=6.29 cores=1,3,5,7
/proc/32417/stat : 32417 (pbscip.linux.x8) R 32415 32417 32091 0 -1 4202496 23660 0 0 0 618 11 0 0 20 0 1 0 341242456 98197504 22859 33554432000 4194304 7823515 140733543757392 140733543752536 4342606 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32417/statm: 23974 22859 552 887 0 23084 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 95896

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 32419
/proc/meminfo: memFree=28354924/32873844 swapFree=7372/7372
[pid=32417] ppid=32415 vsize=113088 CPUtime=12.69 cores=1,3,5,7
/proc/32417/stat : 32417 (pbscip.linux.x8) R 32415 32417 32091 0 -1 4202496 27425 0 0 0 1255 14 0 0 20 0 1 0 341242456 115802112 27135 33554432000 4194304 7823515 140733543757392 140733543752536 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32417/statm: 28272 27135 552 887 0 27382 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 113088

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 32419
/proc/meminfo: memFree=28357612/32873844 swapFree=7372/7372
[pid=32417] ppid=32415 vsize=110596 CPUtime=25.49 cores=1,3,5,7
/proc/32417/stat : 32417 (pbscip.linux.x8) R 32415 32417 32091 0 -1 4202496 29290 0 0 0 2531 18 0 0 20 0 1 0 341242456 113250304 26581 33554432000 4194304 7823515 140733543757392 140733543752552 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32417/statm: 27649 26581 558 887 0 26759 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 110596

[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 32419
/proc/meminfo: memFree=28354656/32873844 swapFree=7372/7372
[pid=32417] ppid=32415 vsize=110596 CPUtime=51.07 cores=1,3,5,7
/proc/32417/stat : 32417 (pbscip.linux.x8) R 32415 32417 32091 0 -1 4202496 29329 0 0 0 5077 30 0 0 20 0 1 0 341242456 113250304 27082 33554432000 4194304 7823515 140733543757392 140733543752440 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32417/statm: 27649 27082 562 887 0 26759 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 110596

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

[startup+52.7003 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 32419
/proc/meminfo: memFree=28354656/32873844 swapFree=7372/7372
[pid=32417] ppid=32415 vsize=110596 CPUtime=52.68 cores=1,3,5,7
/proc/32417/stat : 32417 (pbscip.linux.x8) R 32415 32417 32091 0 -1 4202496 29329 0 0 0 5237 31 0 0 20 0 1 0 341242456 113250304 27082 33554432000 4194304 7823515 140733543757392 140733543752552 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32417/statm: 27649 27082 562 887 0 26759 0
Current children cumulated CPU time (s) 52.68
Current children cumulated vsize (KiB) 110596

[startup+53.5003 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 32419
/proc/meminfo: memFree=28354656/32873844 swapFree=7372/7372
[pid=32417] ppid=32415 vsize=110596 CPUtime=53.47 cores=1,3,5,7
/proc/32417/stat : 32417 (pbscip.linux.x8) R 32415 32417 32091 0 -1 4202496 29329 0 0 0 5316 31 0 0 20 0 1 0 341242456 113250304 27082 33554432000 4194304 7823515 140733543757392 140733543754040 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32417/statm: 27649 27082 562 887 0 26759 0
Current children cumulated CPU time (s) 53.47
Current children cumulated vsize (KiB) 110596

[startup+54.3003 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 32419
/proc/meminfo: memFree=28354656/32873844 swapFree=7372/7372
[pid=32417] ppid=32415 vsize=110596 CPUtime=54.28 cores=1,3,5,7
/proc/32417/stat : 32417 (pbscip.linux.x8) R 32415 32417 32091 0 -1 4202496 29329 0 0 0 5396 32 0 0 20 0 1 0 341242456 113250304 27082 33554432000 4194304 7823515 140733543757392 140733543754472 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32417/statm: 27649 27082 562 887 0 26759 0
Current children cumulated CPU time (s) 54.28
Current children cumulated vsize (KiB) 110596

[startup+54.7003 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 32419
/proc/meminfo: memFree=28354656/32873844 swapFree=7372/7372
[pid=32417] ppid=32415 vsize=110596 CPUtime=54.68 cores=1,3,5,7
/proc/32417/stat : 32417 (pbscip.linux.x8) R 32415 32417 32091 0 -1 4202496 29331 0 0 0 5436 32 0 0 20 0 1 0 341242456 113250304 27084 33554432000 4194304 7823515 140733543757392 140733543754472 4685941 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32417/statm: 27649 27084 564 887 0 26759 0
Current children cumulated CPU time (s) 54.68
Current children cumulated vsize (KiB) 110596

Child status: 0
Real time (s): 54.7577
CPU time (s): 54.7437
CPU user time (s): 54.4147
CPU system time (s): 0.328949
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 118172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.4147
system time used= 0.328949
maximum resident set size= 115520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29339
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= 14
involuntary context switches= 57

runsolver used 0.118981 second user time and 0.329949 second system time

The end

Launcher Data 

Begin job on node109 at 2012-06-03 21:18:59
IDJOB=3737842
IDBENCH=48329
IDSOLVER=2321
FILE ID=node109/3737842-1338751139
RUNJOBID= node109-1338747536-32108
PBS_JOBID= 14636780
Free space on /tmp= 70704 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_10_3_80.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737842-1338751139/watcher-3737842-1338751139 -o /tmp/evaluation-result-3737842-1338751139/solver-3737842-1338751139 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3737842-1338751139.opb

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

MD5SUM BENCH= 4023d6beb9ef2c356e20e783b830f625
RANDOM SEED=603871959

node109.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.264
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.52
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.264
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.91
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.264
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.264
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.264
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.264
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.264
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.264
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28462036 kB
Buffers:         1859208 kB
Cached:          1608052 kB
SwapCached:          988 kB
Active:          2495140 kB
Inactive:        1036788 kB
Active(anon):      55208 kB
Inactive(anon):     7876 kB
Active(file):    2439932 kB
Inactive(file):  1028912 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67105540 kB
Dirty:             20068 kB
Writeback:             0 kB
AnonPages:         71296 kB
Mapped:            12196 kB
Shmem:                 4 kB
Slab:             740828 kB
SReclaimable:     182132 kB
SUnreclaim:       558696 kB
KernelStack:        1464 kB
PageTables:         3692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     176756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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= 70696 MiB
End job on node109 at 2012-06-03 21:19:54