Trace number 3479433

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
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1800.07 1800.06

General information on the benchmark

Name/OPT-SMALLINT-LIN/
kullmann/normalized-mul_8_3_shg.opb
MD5SUM5ce23254bdc15fb1c07c51b856e9b57c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark40
Best CPU time to get the best result obtained on this benchmark1797.61
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5048
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint18
Maximum length of a constraint45
Number of terms in the objective function 5048
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 5048
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5048
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.01	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-3479433-1307448379.opb>
1.99/2.03	c original problem has 5048 variables (5048 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
1.99/2.03	c problem read
1.99/2.03	c presolving settings loaded
3.09/3.83	o 5048
3.09/3.83	c feasible solution found by trivial heuristic, objective value  5.048000e+03
3.09/3.83	c presolving:
3.09/4.93	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 65280 upgd conss, 0 impls, 0 clqs
3.09/5.15	c    (5.1s) probing: 101/5048 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.09/5.15	c    (5.1s) probing aborted: 100/100 successive totally useless probings
3.09/5.15	c presolving (2 rounds):
3.09/5.15	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.09/5.15	c  0 implications, 0 cliques
3.09/5.15	c presolved problem has 5048 variables (5048 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
3.09/5.15	c   65280 constraints of type <logicor>
3.09/5.15	c transformed objective value is always integral (scale: 1)
3.09/5.15	c Presolving Time: 1.45
3.09/5.15	c - non default parameters ----------------------------------------------------------------------
3.09/5.15	c # SCIP version 2.0.1.5
3.09/5.15	c 
3.09/5.15	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.09/5.15	c # [type: int, range: [-1,2147483647], default: -1]
3.09/5.15	c conflict/interconss = 0
3.09/5.15	c 
3.09/5.15	c # should binary conflicts be preferred?
3.09/5.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/5.15	c conflict/preferbinary = TRUE
3.09/5.15	c 
3.09/5.15	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.09/5.15	c # [type: int, range: [-1,2147483647], default: 0]
3.09/5.15	c constraints/agelimit = 1
3.09/5.15	c 
3.09/5.15	c # should enforcement of pseudo solution be disabled?
3.09/5.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/5.15	c constraints/disableenfops = TRUE
3.09/5.15	c 
3.09/5.15	c # frequency for displaying node information lines
3.09/5.15	c # [type: int, range: [-1,2147483647], default: 100]
3.09/5.15	c display/freq = 10000
3.09/5.15	c 
3.09/5.15	c # maximal time in seconds to run
3.09/5.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.09/5.15	c limits/time = 1800
3.09/5.15	c 
3.09/5.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.09/5.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.09/5.15	c limits/memory = 13950
3.09/5.15	c 
3.09/5.15	c # default clock type (1: CPU user seconds, 2: wall clock time)
3.09/5.15	c # [type: int, range: [1,2], default: 1]
3.09/5.15	c timing/clocktype = 2
3.09/5.15	c 
3.09/5.15	c # belongs reading time to solving time?
3.09/5.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/5.15	c timing/reading = TRUE
3.09/5.15	c 
3.09/5.15	c # should presolving try to simplify inequalities
3.09/5.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/5.15	c constraints/linear/simplifyinequalities = TRUE
3.09/5.15	c 
3.09/5.15	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.09/5.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/5.15	c constraints/indicator/addCouplingCons = TRUE
3.09/5.15	c 
3.09/5.15	c # should presolving try to simplify knapsacks
3.09/5.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/5.15	c constraints/knapsack/simplifyinequalities = TRUE
3.09/5.15	c 
3.09/5.15	c -----------------------------------------------------------------------------------------------
3.09/5.15	c start solving
3.09/5.15	c 
69.79/69.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
69.79/69.87	c t69.9s|     1 |     0 |  6442 |     - | 310M|   0 |  64 |5048 |  65k|5048 |  65k|   0 |   0 |   0 | 3.200000e+01 | 5.048000e+03 |  Large 
69.79/69.87	o 64
69.79/69.87	c r69.9s|     1 |     0 |  6442 |     - | 311M|   0 |  64 |5048 |  65k|5048 |  65k|   0 |   0 |   0 | 3.200000e+01 | 6.400000e+01 | 100.00%
69.79/69.89	o 63
69.79/69.89	c R69.9s|     1 |     0 |  6442 |     - | 311M|   0 |  64 |5048 |  65k|5048 |  65k|   0 |   0 |   0 | 3.200000e+01 | 6.300000e+01 |  96.88%
69.89/69.93	o 62
69.89/69.93	c s69.9s|     1 |     0 |  6442 |     - | 311M|   0 |  64 |5048 |  65k|5048 |  65k|   0 |   0 |   0 | 3.200000e+01 | 6.200000e+01 |  93.75%
77.49/77.53	c  77.5s|     1 |     0 |  6890 |     - | 314M|   0 |  66 |5048 |  65k|5048 |  65k|   2 |   0 |   0 | 3.225000e+01 | 6.200000e+01 |  92.25%
77.49/77.60	o 48
77.49/77.60	c b77.6s|     1 |     0 |  6890 |     - | 314M|   0 |  66 |5048 |  65k|5048 |  65k|   2 |   0 |   0 | 3.225000e+01 | 4.800000e+01 |  48.84%
96.19/96.24	c  96.2s|     1 |     0 |  7981 |     - | 319M|   0 |  65 |5048 |  65k|5048 |  65k|   3 |   0 |   0 | 3.237500e+01 | 4.800000e+01 |  48.26%
116.77/116.89	c   117s|     1 |     0 |  9018 |     - | 323M|   0 |  69 |5048 |  65k|5048 |  65k|   4 |   0 |   0 | 3.244286e+01 | 4.800000e+01 |  47.95%
140.38/140.45	c   140s|     1 |     0 |  9569 |     - | 326M|   0 |  70 |5048 |  65k|5048 |  65k|   5 |   0 |   0 | 3.248333e+01 | 4.800000e+01 |  47.77%
168.48/168.58	c   169s|     1 |     0 | 10883 |     - | 329M|   0 |  77 |5048 |  65k|5048 |  65k|   6 |   0 |   0 | 3.252941e+01 | 4.800000e+01 |  47.56%
168.58/168.61	o 47
168.58/168.61	c R 169s|     1 |     0 | 10883 |     - | 329M|   0 |  77 |5048 |  65k|5048 |  65k|   6 |   0 |   0 | 3.252941e+01 | 4.700000e+01 |  44.48%
168.58/168.66	o 46
168.58/168.66	c s 169s|     1 |     0 | 10883 |     - | 329M|   0 |  77 |5048 |  65k|5048 |  65k|   6 |   0 |   0 | 3.252941e+01 | 4.600000e+01 |  41.41%
207.48/207.56	c   208s|     1 |     0 | 11318 |     - | 330M|   0 |  80 |5048 |  65k|5048 |  65k|   7 |   0 |   0 | 3.256579e+01 | 4.600000e+01 |  41.25%
207.58/207.63	o 40
207.58/207.63	c b 208s|     1 |     0 | 11318 |     - | 330M|   0 |  80 |5048 |  65k|5048 |  65k|   7 |   0 |   0 | 3.256579e+01 | 4.000000e+01 |  22.83%
245.58/245.69	c   246s|     1 |     0 | 11980 |     - | 330M|   0 |  70 |5048 |  65k|5048 |  65k|   9 |   0 |   0 | 3.259289e+01 | 4.000000e+01 |  22.73%
268.28/268.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
268.28/268.32	c   268s|     1 |     0 | 13031 |     - | 332M|   0 |  72 |5048 |  65k|5048 |  65k|  10 |   0 |   0 | 3.264430e+01 | 4.000000e+01 |  22.53%
293.78/293.87	c   294s|     1 |     0 | 14121 |     - | 334M|   0 |  70 |5048 |  65k|5048 |  65k|  11 |   0 |   0 | 3.267672e+01 | 4.000000e+01 |  22.41%
317.88/317.99	c   318s|     1 |     0 | 14887 |     - | 334M|   0 |  73 |5048 |  65k|5048 |  65k|  12 |   0 |   0 | 3.270348e+01 | 4.000000e+01 |  22.31%
335.78/335.84	c   336s|     1 |     0 | 16379 |     - | 336M|   0 |  89 |5048 |  65k|5048 |  65k|  14 |   0 |   0 | 3.273202e+01 | 4.000000e+01 |  22.20%
362.39/362.50	c   363s|     1 |     0 | 17259 |     - | 336M|   0 |  89 |5048 |  65k|5048 |  65k|  15 |   0 |   0 | 3.275708e+01 | 4.000000e+01 |  22.11%
388.27/388.34	c   388s|     1 |     0 | 18816 |     - | 337M|   0 |  89 |5048 |  65k|5048 |  65k|  17 |   0 |   0 | 3.279836e+01 | 4.000000e+01 |  21.96%
408.18/408.23	c   408s|     1 |     0 | 20063 |     - | 337M|   0 |  86 |5048 |  65k|5048 |  65k|  18 |   0 |   0 | 3.283346e+01 | 4.000000e+01 |  21.83%
435.38/435.49	c   435s|     1 |     0 | 22024 |     - | 338M|   0 |  73 |5048 |  65k|5048 |  65k|  21 |   0 |   0 | 3.290022e+01 | 4.000000e+01 |  21.58%
465.18/465.28	c   465s|     1 |     0 | 23296 |     - | 339M|   0 |  75 |5048 |  65k|5048 |  65k|  23 |   0 |   0 | 3.301877e+01 | 4.000000e+01 |  21.14%
491.09/491.11	c   491s|     1 |     0 | 24436 |     - | 341M|   0 |  74 |5048 |  65k|5048 |  65k|  24 |   0 |   0 | 3.306052e+01 | 4.000000e+01 |  20.99%
515.30/515.38	c   515s|     1 |     0 | 25505 |     - | 342M|   0 |  73 |5048 |  65k|5048 |  65k|  25 |   0 |   0 | 3.308777e+01 | 4.000000e+01 |  20.89%
541.08/541.17	c   541s|     1 |     0 | 26251 |     - | 343M|   0 |  77 |5048 |  65k|5048 |  65k|  27 |   0 |   0 | 3.312972e+01 | 4.000000e+01 |  20.74%
566.78/566.89	c   567s|     1 |     0 | 27225 |     - | 344M|   0 |  74 |5048 |  65k|5048 |  65k|  28 |   0 |   0 | 3.315579e+01 | 4.000000e+01 |  20.64%
793.48/793.54	c   794s|     1 |     2 | 27225 |     - | 344M|   0 |  74 |5048 |  65k|5048 |  65k|  28 |   0 |  30 | 3.315579e+01 | 4.000000e+01 |  20.64%
1800.01/1800.01	c 
1800.01/1800.01	c SCIP Status        : solving was interrupted [time limit reached]
1800.01/1800.01	c Solving Time (sec) : 1800.01
1800.01/1800.01	c Solving Nodes      : 22
1800.01/1800.01	c Primal Bound       : +4.00000000000000e+01 (53 solutions)
1800.01/1800.01	c Dual Bound         : +3.31557877248474e+01
1800.01/1800.01	c Gap                : 20.64 %

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 2.02 1.95 2/495 11529
/proc/meminfo: memFree=29053432/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=17676 CPUtime=0.01 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 3412 0 0 0 1 0 0 0 25 0 1 0 856437559 18100224 3365 33554432000 4194304 9163163 140735488429824 18446744073709551615 8013931 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11529/statm: 4419 3365 395 1214 0 3201 0

[startup+0.112176 s]
/proc/loadavg: 1.99 2.02 1.95 2/495 11529
/proc/meminfo: memFree=29053432/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=21944 CPUtime=0.1 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 4474 0 0 0 10 0 0 0 25 0 1 0 856437559 22470656 4427 33554432000 4194304 9163163 140735488429824 18446744073709551615 7480678 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11529/statm: 5486 4427 395 1214 0 4268 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 21944

[startup+0.20116 s]
/proc/loadavg: 1.99 2.02 1.95 2/495 11529
/proc/meminfo: memFree=29053432/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=26060 CPUtime=0.19 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 5527 0 0 0 19 0 0 0 25 0 1 0 856437559 26685440 5480 33554432000 4194304 9163163 140735488429824 18446744073709551615 8031161 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11529/statm: 6515 5480 395 1214 0 5297 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26060

[startup+0.30114 s]
/proc/loadavg: 1.99 2.02 1.95 2/495 11529
/proc/meminfo: memFree=29053432/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=28900 CPUtime=0.29 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 6226 0 0 0 29 0 0 0 25 0 1 0 856437559 29593600 6179 33554432000 4194304 9163163 140735488429824 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11529/statm: 7225 6179 395 1214 0 6007 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28900

[startup+0.701075 s]
/proc/loadavg: 1.99 2.02 1.95 2/495 11529
/proc/meminfo: memFree=29053432/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=43368 CPUtime=0.69 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 9841 0 0 0 68 1 0 0 25 0 1 0 856437559 44408832 9794 33554432000 4194304 9163163 140735488429824 18446744073709551615 7962070 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11529/statm: 10842 9794 395 1214 0 9624 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43368

[startup+1.50091 s]
/proc/loadavg: 1.99 2.02 1.95 3/499 11536
/proc/meminfo: memFree=28937336/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=66588 CPUtime=1.49 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 15609 0 0 0 147 2 0 0 25 0 1 0 856437559 68186112 15562 33554432000 4194304 9163163 140735488429824 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11529/statm: 16647 15562 395 1214 0 15429 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66588

[startup+3.10067 s]
/proc/loadavg: 1.99 2.02 1.95 3/499 11536
/proc/meminfo: memFree=28783704/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=284804 CPUtime=3.09 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 68729 0 0 0 285 24 0 0 25 0 1 0 856437559 291639296 68654 33554432000 4194304 9163163 140735488429824 18446744073709551615 6555531 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 71201 68654 439 1214 0 69983 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 284804

[startup+14.7437 s]
/proc/loadavg: 1.99 2.02 1.95 3/499 11536
/proc/meminfo: memFree=28783704/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=854780 CPUtime=14.73 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 235555 0 0 0 1405 68 0 0 25 0 1 0 856437559 875294720 184309 33554432000 4194304 9163163 140735488429824 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 213695 184309 835 1214 0 212477 0
Current children cumulated CPU time (s) 14.73
Current children cumulated vsize (KiB) 854780

[startup+14.8007 s]
/proc/loadavg: 3.19 2.28 2.04 3/499 11536
/proc/meminfo: memFree=26885432/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=854780 CPUtime=14.8 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 235555 0 0 0 1412 68 0 0 25 0 1 0 856437559 875294720 184309 33554432000 4194304 9163163 140735488429824 18446744073709551615 7348530 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 213695 184309 835 1214 0 212477 0
Current children cumulated CPU time (s) 14.8
Current children cumulated vsize (KiB) 854780

[startup+25.5009 s]
/proc/loadavg: 3.54 2.39 2.08 3/499 11536
/proc/meminfo: memFree=26868556/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=854780 CPUtime=25.47 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 235697 0 0 0 2467 80 0 0 25 0 1 0 856437559 875294720 184451 33554432000 4194304 9163163 140735488429824 18446744073709551615 7110518 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 213695 184451 836 1214 0 212477 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 854780

[startup+51.1006 s]
/proc/loadavg: 3.19 2.40 2.09 3/499 11536
/proc/meminfo: memFree=26853288/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=865328 CPUtime=51.08 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 240754 0 0 0 5014 94 0 0 25 0 1 0 856437559 886095872 188065 33554432000 4194304 9163163 140735488429824 18446744073709551615 7348628 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 216332 188065 657 1214 0 215114 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 865328

[startup+102.301 s]
/proc/loadavg: 2.51 2.34 2.08 3/499 11538
/proc/meminfo: memFree=26781628/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=914204 CPUtime=102.27 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 311709 0 0 0 10116 111 0 0 25 0 1 0 856437559 936144896 201507 33554432000 4194304 9163163 140735488429824 18446744073709551615 7051368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 228551 201507 1219 1214 0 227333 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 914204

[startup+162.32 s]
/proc/loadavg: 2.26 2.30 2.09 3/499 11540
/proc/meminfo: memFree=26718992/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=974016 CPUtime=162.29 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 332015 0 0 0 16107 122 0 0 25 0 1 0 856437559 997392384 215511 33554432000 4194304 9163163 140735488429824 18446744073709551615 7413099 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 243504 215511 734 1214 0 242286 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 974016

[startup+222.301 s]
/proc/loadavg: 2.19 2.29 2.09 3/499 11542
/proc/meminfo: memFree=26867520/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=974016 CPUtime=222.27 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 335386 0 0 0 22096 131 0 0 25 0 1 0 856437559 997392384 218882 33554432000 4194304 9163163 140735488429824 18446744073709551615 7051368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 243504 218882 734 1214 0 242286 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 974016

[startup+282.301 s]
/proc/loadavg: 2.10 2.25 2.09 3/499 11544
/proc/meminfo: memFree=26141852/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1019724 CPUtime=282.27 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 352342 0 0 0 28084 143 0 0 25 0 1 0 856437559 1044197376 224171 33554432000 4194304 9163163 140735488429824 18446744073709551615 6676802 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 254931 224171 734 1214 0 253713 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 1019724

[startup+342.301 s]
/proc/loadavg: 2.04 2.20 2.08 3/499 11544
/proc/meminfo: memFree=26005696/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=987000 CPUtime=342.28 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 384601 0 0 0 34074 154 0 0 25 0 1 0 856437559 1010688000 221887 33554432000 4194304 9163163 140735488429824 18446744073709551615 8041849 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 246750 221887 1483 1214 0 245532 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 987000

[startup+402.3 s]
/proc/loadavg: 2.01 2.16 2.08 3/499 11546
/proc/meminfo: memFree=25981752/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1027724 CPUtime=402.28 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 404365 0 0 0 40063 165 0 0 25 0 1 0 856437559 1052389376 228086 33554432000 4194304 9163163 140735488429824 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 256931 228086 1407 1214 0 255713 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1027724

[startup+462.3 s]
/proc/loadavg: 2.00 2.13 2.07 3/499 11548
/proc/meminfo: memFree=25959168/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1019708 CPUtime=462.28 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 427082 0 0 0 46053 175 0 0 25 0 1 0 856437559 1044180992 232650 33554432000 4194304 9163163 140735488429824 18446744073709551615 6974030 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 254927 232650 1318 1214 0 253709 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 1019708

[startup+522.301 s]
/proc/loadavg: 2.00 2.10 2.06 3/499 11550
/proc/meminfo: memFree=25981596/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1033824 CPUtime=522.28 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 439083 0 0 0 52041 187 0 0 25 0 1 0 856437559 1058635776 226692 33554432000 4194304 9163163 140735488429824 18446744073709551615 7051385 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 258456 226692 1162 1214 0 257238 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 1033824

[startup+582.301 s]
/proc/loadavg: 2.00 2.08 2.06 3/499 11552
/proc/meminfo: memFree=25571632/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1439044 CPUtime=582.28 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 550005 0 0 0 58021 207 0 0 25 0 1 0 856437559 1473581056 329037 33554432000 4194304 9163163 140735488429824 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 359761 329037 906 1214 0 358543 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 1439044

[startup+642.301 s]

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

[startup+822.32 s]
/proc/loadavg: 2.16 2.10 2.06 3/499 11558
/proc/meminfo: memFree=25941600/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1056964 CPUtime=822.3 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1089270 0 0 0 81953 277 0 0 25 0 1 0 856437559 1082331136 238469 33554432000 4194304 9163163 140735488429824 18446744073709551615 7348624 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 264241 238469 3351 1214 0 263023 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 1056964

[startup+882.301 s]
/proc/loadavg: 2.10 2.09 2.06 3/499 11560
/proc/meminfo: memFree=25939720/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1057244 CPUtime=882.28 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1161005 0 0 0 87942 286 0 0 25 0 1 0 856437559 1082617856 238519 33554432000 4194304 9163163 140735488429824 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 264311 238519 3012 1214 0 263093 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 1057244

[startup+942.3 s]
/proc/loadavg: 2.03 2.07 2.06 3/499 11560
/proc/meminfo: memFree=25937604/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1057072 CPUtime=942.29 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1195160 0 0 0 93936 293 0 0 25 0 1 0 856437559 1082441728 239118 33554432000 4194304 9163163 140735488429824 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 264268 239118 2992 1214 0 263050 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 1057072

[startup+1002.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/499 11562
/proc/meminfo: memFree=25939828/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1056564 CPUtime=1002.28 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1239298 0 0 0 99926 302 0 0 25 0 1 0 856437559 1081921536 238450 33554432000 4194304 9163163 140735488429824 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 264141 238450 2837 1214 0 262923 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 1056564

[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/499 11564
/proc/meminfo: memFree=25933620/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1056064 CPUtime=1062.29 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1331114 0 0 0 105914 315 0 0 25 0 1 0 856437559 1081409536 238286 33554432000 4194304 9163163 140735488429824 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 264016 238286 2733 1214 0 262798 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 1056064

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/499 11566
/proc/meminfo: memFree=25928160/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1080256 CPUtime=1122.29 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1427501 0 0 0 111901 328 0 0 25 0 1 0 856437559 1106182144 243745 33554432000 4194304 9163163 140735488429824 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 270064 243745 7033 1214 0 268846 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 1080256

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/499 11568
/proc/meminfo: memFree=25929272/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1058160 CPUtime=1182.29 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1491210 0 0 0 117893 336 0 0 25 0 1 0 856437559 1083555840 239030 33554432000 4194304 9163163 140735488429824 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 264540 239030 2642 1214 0 263322 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 1058160

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/499 11568
/proc/meminfo: memFree=25931496/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1082828 CPUtime=1242.29 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1565183 0 0 0 123881 348 0 0 25 0 1 0 856437559 1108815872 238273 33554432000 4194304 9163163 140735488429824 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 270707 238273 2642 1214 0 269489 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 1082828

[startup+1302.3 s]
/proc/loadavg: 2.12 2.04 2.03 3/499 11570
/proc/meminfo: memFree=25923424/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1059480 CPUtime=1302.29 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1595747 0 0 0 129874 355 0 0 25 0 1 0 856437559 1084907520 239866 33554432000 4194304 9163163 140735488429824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 264870 239866 2617 1214 0 263652 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 1059480

[startup+1362.3 s]
/proc/loadavg: 2.22 2.08 2.04 3/499 11572
/proc/meminfo: memFree=25926884/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1059804 CPUtime=1362.31 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1648784 0 0 0 135866 365 0 0 25 0 1 0 856437559 1085239296 239325 33554432000 4194304 9163163 140735488429824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 264951 239325 2447 1214 0 263733 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 1059804

[startup+1422.3 s]
/proc/loadavg: 2.19 2.09 2.05 3/499 11574
/proc/meminfo: memFree=25925012/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1059484 CPUtime=1422.29 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1680561 0 0 0 141858 371 0 0 25 0 1 0 856437559 1084911616 239724 33554432000 4194304 9163163 140735488429824 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 264871 239724 2242 1214 0 263653 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 1059484

[startup+1482.32 s]
/proc/loadavg: 2.07 2.08 2.04 3/499 11576
/proc/meminfo: memFree=25921264/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1060408 CPUtime=1482.31 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1699278 0 0 0 147855 376 0 0 25 0 1 0 856437559 1085857792 240632 33554432000 4194304 9163163 140735488429824 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 265102 240632 2221 1214 0 263884 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 1060408

[startup+1542.3 s]
/proc/loadavg: 2.02 2.06 2.04 3/499 11576
/proc/meminfo: memFree=25919024/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1060408 CPUtime=1542.3 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1699867 0 0 0 153851 379 0 0 25 0 1 0 856437559 1085857792 241183 33554432000 4194304 9163163 140735488429824 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 265102 241183 2183 1214 0 263884 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 1060408

[startup+1602.3 s]
/proc/loadavg: 2.01 2.05 2.03 3/499 11578
/proc/meminfo: memFree=25955464/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1036100 CPUtime=1602.3 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1739988 0 0 0 159843 387 0 0 25 0 1 0 856437559 1060966400 232675 33554432000 4194304 9163163 140735488429824 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 259025 232675 2734 1214 0 257807 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 1036100

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/499 11580
/proc/meminfo: memFree=25949748/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1036244 CPUtime=1662.3 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1793752 0 0 0 165835 395 0 0 25 0 1 0 856437559 1061113856 234332 33554432000 4194304 9163163 140735488429824 18446744073709551615 7375476 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 259061 234332 2700 1214 0 257843 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 1036244

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/499 11582
/proc/meminfo: memFree=25943668/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1054732 CPUtime=1722.3 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1822628 0 0 0 171826 404 0 0 25 0 1 0 856437559 1080045568 234963 33554432000 4194304 9163163 140735488429824 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 263683 234963 2185 1214 0 262465 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 1054732

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/499 11584
/proc/meminfo: memFree=25937092/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1080188 CPUtime=1782.3 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1857478 0 0 0 177820 410 0 0 25 0 1 0 856437559 1106112512 237709 33554432000 4194304 9163163 140735488429824 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11529/statm: 270047 237709 3315 1214 0 268829 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 1080188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.01 3/499 11584
/proc/meminfo: memFree=25934352/32951132 swapFree=57925096/67111528
[pid=11529] ppid=11527 vsize=1080188 CPUtime=1800.01 cores=0,2,4,6
/proc/11529/stat : 11529 (scip-2.0.1.4b.l) R 11527 11529 11277 0 -1 4202496 1858138 0 0 0 179590 411 0 0 25 0 1 0 856437559 1106112512 237709 33554432000 4194304 9163163 140735488429824 18446744073709551615 4693712 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11529/statm: 270047 237709 2655 1214 0 268829 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1080188

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.07
CPU user time (s): 1795.91
CPU system time (s): 4.15537
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 1439044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.91
system time used= 4.15537
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1858138
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2426

runsolver used 9.63853 second user time and 19.875 second system time

The end

Launcher Data 

Begin job on node129 at 2011-06-07 14:06:19
IDJOB=3479433
IDBENCH=89910
IDSOLVER=1948
FILE ID=node129/3479433-1307448379
RUNJOBID= node129-1307444774-11295
PBS_JOBID= 13520022
Free space on /tmp= 73944 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479433-1307448379/watcher-3479433-1307448379 -o /tmp/evaluation-result-3479433-1307448379/solver-3479433-1307448379 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3479433-1307448379.opb -t 1800 -m 15500

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

MD5SUM BENCH= 5ce23254bdc15fb1c07c51b856e9b57c
RANDOM SEED=1907400959

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      29053836 kB
Buffers:        331168 kB
Cached:        2129612 kB
SwapCached:      49348 kB
Active:         569208 kB
Inactive:      3045828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29053836 kB
SwapTotal:    67111528 kB
SwapFree:     57925096 kB
Dirty:           53444 kB
Writeback:           0 kB
AnonPages:     1115932 kB
Mapped:          14492 kB
Slab:           154788 kB
PageTables:      59500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 147310560 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73888 MiB
End job on node129 at 2011-06-07 14:36:21