Trace number 3479454

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 SCIP 2.0.1.4. with SoPlex 1.5.0.4? (TO) 1800.09 1800.16

General information on the benchmark

Name/OPT-SMALLINT-LIN/
kullmann/normalized-mul_8_9_shg.opb
MD5SUM0476e702136eda2e813dad2792abe9ac
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark48
Best CPU time to get the best result obtained on this benchmark1797.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7840
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 constraint34
Maximum length of a constraint64
Number of terms in the objective function 7840
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 7840
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 7840
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.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3479454-1307449908.opb>
2.89/2.93	c original problem has 7840 variables (7840 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
2.89/2.93	c problem read
2.89/2.93	c presolving settings loaded
3.99/4.08	o 7840
3.99/4.08	c feasible solution found by trivial heuristic, objective value  7.840000e+03
3.99/4.08	c presolving:
5.51/5.57	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
5.69/5.76	c    (5.8s) probing: 101/7840 (1.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
5.69/5.76	c    (5.8s) probing aborted: 100/100 successive totally useless probings
5.69/5.76	c presolving (2 rounds):
5.69/5.76	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.69/5.76	c  0 implications, 0 cliques
5.69/5.76	c presolved problem has 7840 variables (7840 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
5.69/5.76	c   65280 constraints of type <logicor>
5.69/5.76	c transformed objective value is always integral (scale: 1)
5.69/5.76	c Presolving Time: 2.64
5.69/5.76	c - non default parameters ----------------------------------------------------------------------
5.69/5.76	c # SCIP version 2.0.1.4
5.69/5.76	c 
5.69/5.76	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
5.69/5.76	c # [type: int, range: [-1,2147483647], default: -1]
5.69/5.76	c conflict/interconss = 0
5.69/5.76	c 
5.69/5.76	c # should binary conflicts be preferred?
5.69/5.76	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.76	c conflict/preferbinary = TRUE
5.69/5.76	c 
5.69/5.76	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
5.69/5.76	c # [type: int, range: [-1,2147483647], default: 0]
5.69/5.76	c constraints/agelimit = 1
5.69/5.76	c 
5.69/5.76	c # should enforcement of pseudo solution be disabled?
5.69/5.76	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.76	c constraints/disableenfops = TRUE
5.69/5.76	c 
5.69/5.76	c # frequency for displaying node information lines
5.69/5.76	c # [type: int, range: [-1,2147483647], default: 100]
5.69/5.76	c display/freq = 10000
5.69/5.76	c 
5.69/5.76	c # maximal time in seconds to run
5.69/5.76	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.69/5.76	c limits/time = 1800
5.69/5.76	c 
5.69/5.76	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.69/5.76	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.69/5.76	c limits/memory = 13950
5.69/5.76	c 
5.69/5.76	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
5.69/5.76	c # [type: int, range: [-1,2147483647], default: 1]
5.69/5.76	c lp/solvefreq = 0
5.69/5.76	c 
5.69/5.76	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
5.69/5.76	c # [type: char, range: {lafpsqd}, default: l]
5.69/5.76	c lp/pricing = a
5.69/5.76	c 
5.69/5.76	c # default clock type (1: CPU user seconds, 2: wall clock time)
5.69/5.76	c # [type: int, range: [1,2], default: 1]
5.69/5.76	c timing/clocktype = 2
5.69/5.76	c 
5.69/5.76	c # belongs reading time to solving time?
5.69/5.76	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.76	c timing/reading = TRUE
5.69/5.76	c 
5.69/5.76	c # should presolving try to simplify inequalities
5.69/5.76	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.76	c constraints/linear/simplifyinequalities = TRUE
5.69/5.76	c 
5.69/5.76	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
5.69/5.76	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.76	c constraints/indicator/addCouplingCons = TRUE
5.69/5.76	c 
5.69/5.76	c # should presolving try to simplify knapsacks
5.69/5.76	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.76	c constraints/knapsack/simplifyinequalities = TRUE
5.69/5.76	c 
5.69/5.76	c # priority of node selection rule <dfs> in standard mode
5.69/5.76	c # [type: int, range: [-536870912,536870911], default: 0]
5.69/5.76	c nodeselection/dfs/stdpriority = 1000000
5.69/5.76	c 
5.69/5.76	c -----------------------------------------------------------------------------------------------
5.69/5.76	c start solving
5.69/5.76	c 
41.19/41.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
41.19/41.24	c t41.2s|     1 |     0 |  6048 |     - | 414M|   0 |  60 |7840 |  65k|7840 |  65k|   0 |   0 |   0 | 3.400000e+01 | 7.840000e+03 |  Large 
41.19/41.24	o 64
41.19/41.24	c r41.2s|     1 |     0 |  6048 |     - | 414M|   0 |  60 |7840 |  65k|7840 |  65k|   0 |   0 |   0 | 3.400000e+01 | 6.400000e+01 |  88.24%
41.19/41.27	o 63
41.19/41.27	c R41.3s|     1 |     0 |  6048 |     - | 414M|   0 |  60 |7840 |  65k|7840 |  65k|   0 |   0 |   0 | 3.400000e+01 | 6.300000e+01 |  85.29%
41.29/41.32	o 62
41.29/41.32	c s41.3s|     1 |     0 |  6048 |     - | 415M|   0 |  60 |7840 |  65k|7840 |  65k|   0 |   0 |   0 | 3.400000e+01 | 6.200000e+01 |  82.35%
44.69/44.77	o 61
44.69/44.77	c z44.8s|     1 |     0 |  6048 |     - | 415M|   0 |  60 |7840 |  65k|7840 |  65k|   0 |   0 |   0 | 3.400000e+01 | 6.100000e+01 |  79.41%
47.20/47.23	o 48
47.20/47.23	c E47.2s|     1 |     0 |  6048 |     - | 415M|   0 |  60 |7840 |  65k|7840 |  65k|   0 |   0 |   0 | 3.400000e+01 | 4.800000e+01 |  41.18%
47.20/47.31	c  47.3s|     1 |     0 |  6048 |     - | 415M|   0 |  60 |7840 |  65k|7840 |  65k|   0 |   0 |   0 | 3.400000e+01 | 4.800000e+01 |  41.18%
175.98/176.08	c   176s|     1 |     2 |  6048 |     - | 415M|   0 |  60 |7840 |  65k|7840 |  65k|   0 |   0 |  19 | 3.400000e+01 | 4.800000e+01 |  41.18%
613.55/613.64	c   614s| 10000 |    47 |  6048 |   0.0 | 422M| 281 |   - |7840 |  70k|   0 |   0 |   0 |4995 |  19 | 3.400000e+01 | 4.800000e+01 |  41.18%
1043.14/1043.26	c  1043s| 20000 |    48 |  6048 |   0.0 | 420M| 281 |   - |7840 |  66k|   0 |   0 |   0 |  10k|  19 | 3.400000e+01 | 4.800000e+01 |  41.18%
1493.65/1493.76	c  1494s| 30000 |    47 |  6048 |   0.0 | 420M| 281 |   - |7840 |  66k|   0 |   0 |   0 |  15k|  19 | 3.400000e+01 | 4.800000e+01 |  41.18%
1799.92/1800.01	c 
1799.92/1800.01	c SCIP Status        : solving was interrupted [time limit reached]
1799.92/1800.01	c Solving Time (sec) : 1800.01
1799.92/1800.01	c Solving Nodes      : 37226
1799.92/1800.01	c Primal Bound       : +4.80000000000000e+01 (6 solutions)
1799.92/1800.01	c Dual Bound         : +3.40000000000000e+01
1799.92/1800.01	c Gap                : 41.18 %

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

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: 1.94 2.03 2.00 2/521 23537
/proc/meminfo: memFree=21011556/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=14820 CPUtime=0.01 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 2709 0 0 0 1 0 0 0 22 0 1 0 837406341 15175680 2661 33554432000 4194304 9128323 140736069639200 18446744073709551615 4338650 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23537/statm: 3705 2661 391 1205 0 2496 0

[startup+0.0660161 s]
/proc/loadavg: 1.94 2.03 2.00 2/521 23537
/proc/meminfo: memFree=21011556/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=18648 CPUtime=0.06 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 3676 0 0 0 6 0 0 0 22 0 1 0 837406341 19095552 3628 33554432000 4194304 9128323 140736069639200 18446744073709551615 8011647 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23537/statm: 4662 3628 400 1205 0 3453 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18648

[startup+0.101011 s]
/proc/loadavg: 1.94 2.03 2.00 2/521 23537
/proc/meminfo: memFree=21011556/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=19852 CPUtime=0.09 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 3988 0 0 0 9 0 0 0 22 0 1 0 837406341 20328448 3940 33554432000 4194304 9128323 140736069639200 18446744073709551615 7998142 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23537/statm: 4963 3940 400 1205 0 3754 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19852

[startup+0.300975 s]
/proc/loadavg: 1.94 2.03 2.00 2/521 23537
/proc/meminfo: memFree=21011556/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=26968 CPUtime=0.29 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 5778 0 0 0 29 0 0 0 23 0 1 0 837406341 27615232 5729 33554432000 4194304 9128323 140736069639200 18446744073709551615 6193029 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23537/statm: 6742 5729 400 1205 0 5533 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26968

[startup+0.700899 s]
/proc/loadavg: 1.94 2.03 2.00 2/521 23537
/proc/meminfo: memFree=21011556/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=37660 CPUtime=0.69 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 8416 0 0 0 68 1 0 0 25 0 1 0 837406341 38563840 8366 33554432000 4194304 9128323 140736069639200 18446744073709551615 7905092 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23537/statm: 9415 8366 400 1205 0 8206 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37660

[startup+1.50075 s]
/proc/loadavg: 1.94 2.03 2.00 3/522 23538
/proc/meminfo: memFree=20971248/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=57620 CPUtime=1.49 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 13438 0 0 0 148 1 0 0 25 0 1 0 837406341 59002880 13386 33554432000 4194304 9128323 140736069639200 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23537/statm: 14405 13386 400 1205 0 13196 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57620

[startup+3.10046 s]
/proc/loadavg: 1.94 2.03 2.00 3/522 23539
/proc/meminfo: memFree=20938628/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=174816 CPUtime=3.09 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 42617 0 0 0 304 5 0 0 25 0 1 0 837406341 179011584 42526 33554432000 4194304 9128323 140736069639200 18446744073709551615 4815824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 43704 42526 435 1205 0 42495 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 174816

[startup+6.30087 s]
/proc/loadavg: 1.94 2.03 2.00 3/522 23539
/proc/meminfo: memFree=20491688/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=720296 CPUtime=6.3 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 195333 0 0 0 607 23 0 0 25 0 1 0 837406341 737583104 171068 33554432000 4194304 9128323 140736069639200 18446744073709551615 6685321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 180074 171071 610 1205 0 178865 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 720296

[startup+12.7007 s]
/proc/loadavg: 1.95 2.02 2.00 3/522 23539
/proc/meminfo: memFree=19967928/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1189728 CPUtime=12.69 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 333194 0 0 0 1230 39 0 0 25 0 1 0 837406341 1218281472 260474 33554432000 4194304 9128323 140736069639200 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 297432 260474 639 1205 0 296223 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1189728

[startup+25.5003 s]
/proc/loadavg: 1.96 2.02 2.00 3/522 23539
/proc/meminfo: memFree=19960908/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1198908 CPUtime=25.49 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 335093 0 0 0 2508 41 0 0 25 0 1 0 837406341 1227681792 262360 33554432000 4194304 9128323 140736069639200 18446744073709551615 6941071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 299727 262360 626 1205 0 298518 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1198908

[startup+51.1006 s]
/proc/loadavg: 1.97 2.02 2.00 3/522 23540
/proc/meminfo: memFree=20065252/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1009996 CPUtime=51.09 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 502364 0 0 0 5031 78 0 0 25 0 1 0 837406341 1034235904 236489 33554432000 4194304 9128323 140736069639200 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 252499 236489 707 1205 0 251290 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1009996

[startup+102.319 s]
/proc/loadavg: 1.99 2.02 2.00 3/522 23541
/proc/meminfo: memFree=20002972/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1048560 CPUtime=102.3 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 680754 0 0 0 10127 103 0 0 25 0 1 0 837406341 1073725440 251841 33554432000 4194304 9128323 140736069639200 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 262140 251841 707 1205 0 260931 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1048560

[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/522 23543
/proc/meminfo: memFree=20043492/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1065356 CPUtime=162.27 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 860635 0 0 0 16100 127 0 0 25 0 1 0 837406341 1090924544 251623 33554432000 4194304 9128323 140736069639200 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 266339 251623 4249 1205 0 265130 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1065356

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/522 23544
/proc/meminfo: memFree=20009680/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=222.26 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906105 0 0 0 22093 133 0 0 25 0 1 0 837406341 1068879872 250062 33554432000 4194304 9128323 140736069639200 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250062 710 1205 0 259748 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1043828

[startup+282.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/522 23546
/proc/meminfo: memFree=20010996/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=282.25 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906107 0 0 0 28092 133 0 0 25 0 1 0 837406341 1068879872 250064 33554432000 4194304 9128323 140736069639200 18446744073709551615 4907296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250064 710 1205 0 259748 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1043828

[startup+342.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/522 23548
/proc/meminfo: memFree=20010736/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=342.25 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906111 0 0 0 34092 133 0 0 25 0 1 0 837406341 1068879872 250068 33554432000 4194304 9128323 140736069639200 18446744073709551615 4912271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250068 710 1205 0 259748 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 1043828

[startup+402.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/522 23549
/proc/meminfo: memFree=20010092/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=402.25 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906113 0 0 0 40092 133 0 0 25 0 1 0 837406341 1068879872 250070 33554432000 4194304 9128323 140736069639200 18446744073709551615 4907296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250070 710 1205 0 259748 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 1043828

[startup+462.301 s]
/proc/loadavg: 1.86 1.99 1.99 2/516 23569
/proc/meminfo: memFree=20099332/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=462.25 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906115 0 0 0 46092 133 0 0 25 0 1 0 837406341 1068879872 250072 33554432000 4194304 9128323 140736069639200 18446744073709551615 4907199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250072 710 1205 0 259748 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 1043828

[startup+522.301 s]
/proc/loadavg: 1.39 1.83 1.94 2/516 23570
/proc/meminfo: memFree=20099816/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=522.25 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906118 0 0 0 52092 133 0 0 25 0 1 0 837406341 1068879872 250075 33554432000 4194304 9128323 140736069639200 18446744073709551615 5333320 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250075 710 1205 0 259748 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 1043828

[startup+582.301 s]
/proc/loadavg: 1.18 1.69 1.88 2/516 23572
/proc/meminfo: memFree=20099808/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=582.25 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906121 0 0 0 58092 133 0 0 25 0 1 0 837406341 1068879872 250078 33554432000 4194304 9128323 140736069639200 18446744073709551615 6580894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250078 710 1205 0 259748 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 1043828

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.24 1.63 2/516 23580
/proc/meminfo: memFree=20099568/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=882.25 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906134 0 0 0 88092 133 0 0 25 0 1 0 837406341 1068879872 250091 33554432000 4194304 9128323 140736069639200 18446744073709551615 6580881 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250091 710 1205 0 259748 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 1043828

[startup+942.301 s]
/proc/loadavg: 1.00 1.20 1.58 2/516 23582
/proc/meminfo: memFree=20100048/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=942.24 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906136 0 0 0 94091 133 0 0 25 0 1 0 837406341 1068879872 250093 33554432000 4194304 9128323 140736069639200 18446744073709551615 4241155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250093 710 1205 0 259748 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 1043828

[startup+1002.3 s]
/proc/loadavg: 1.00 1.16 1.54 2/516 23583
/proc/meminfo: memFree=20100048/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=1002.24 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906136 0 0 0 100091 133 0 0 25 0 1 0 837406341 1068879872 250093 33554432000 4194304 9128323 140736069639200 18446744073709551615 5333235 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250093 710 1205 0 259748 0
Current children cumulated CPU time (s) 1002.24
Current children cumulated vsize (KiB) 1043828

[startup+1062.3 s]
/proc/loadavg: 1.11 1.16 1.52 2/516 23585
/proc/meminfo: memFree=20100276/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=1062.24 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906136 0 0 0 106091 133 0 0 25 0 1 0 837406341 1068879872 250093 33554432000 4194304 9128323 140736069639200 18446744073709551615 5333240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250093 710 1205 0 259748 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 1043828

[startup+1122.3 s]
/proc/loadavg: 1.09 1.14 1.49 2/516 23586
/proc/meminfo: memFree=20100136/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=1122.24 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906136 0 0 0 112091 133 0 0 25 0 1 0 837406341 1068879872 250093 33554432000 4194304 9128323 140736069639200 18446744073709551615 4241149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250093 710 1205 0 259748 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 1043828

[startup+1182.3 s]
/proc/loadavg: 1.03 1.11 1.45 2/516 23588
/proc/meminfo: memFree=20099856/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=1182.24 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906136 0 0 0 118091 133 0 0 25 0 1 0 837406341 1068879872 250093 33554432000 4194304 9128323 140736069639200 18446744073709551615 4912271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250093 710 1205 0 259748 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 1043828

[startup+1242.3 s]
/proc/loadavg: 1.01 1.09 1.42 2/516 23590
/proc/meminfo: memFree=20099968/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=1242.24 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906136 0 0 0 124091 133 0 0 25 0 1 0 837406341 1068879872 250093 33554432000 4194304 9128323 140736069639200 18446744073709551615 4794279 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250093 710 1205 0 259748 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 1043828

[startup+1302.3 s]
/proc/loadavg: 1.00 1.07 1.39 2/516 23591
/proc/meminfo: memFree=20099332/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=1302.25 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906136 0 0 0 130092 133 0 0 25 0 1 0 837406341 1068879872 250093 33554432000 4194304 9128323 140736069639200 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250093 710 1205 0 259748 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 1043828

[startup+1362.3 s]
/proc/loadavg: 1.00 1.06 1.37 2/516 23593
/proc/meminfo: memFree=20099332/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=1362.24 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906136 0 0 0 136091 133 0 0 25 0 1 0 837406341 1068879872 250093 33554432000 4194304 9128323 140736069639200 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250093 710 1205 0 259748 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 1043828

[startup+1422.32 s]
/proc/loadavg: 1.00 1.04 1.34 2/516 23594
/proc/meminfo: memFree=20099184/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=1422.26 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906136 0 0 0 142093 133 0 0 25 0 1 0 837406341 1068879872 250093 33554432000 4194304 9128323 140736069639200 18446744073709551615 4207459 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250093 710 1205 0 259748 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 1043828

[startup+1482.3 s]
/proc/loadavg: 1.00 1.03 1.32 2/516 23596
/proc/meminfo: memFree=20099900/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=1482.23 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906136 0 0 0 148090 133 0 0 25 0 1 0 837406341 1068879872 250093 33554432000 4194304 9128323 140736069639200 18446744073709551615 6580853 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250093 710 1205 0 259748 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 1043828

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.29 2/516 23598
/proc/meminfo: memFree=20100128/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=1542.23 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906136 0 0 0 154090 133 0 0 25 0 1 0 837406341 1068879872 250093 33554432000 4194304 9128323 140736069639200 18446744073709551615 5984494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250093 710 1205 0 259748 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 1043828

[startup+1602.3 s]
/proc/loadavg: 1.16 1.05 1.28 2/516 23599
/proc/meminfo: memFree=20100252/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=1602.23 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906136 0 0 0 160090 133 0 0 25 0 1 0 837406341 1068879872 250093 33554432000 4194304 9128323 140736069639200 18446744073709551615 5333357 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250093 710 1205 0 259748 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 1043828

[startup+1662.3 s]
/proc/loadavg: 1.13 1.06 1.27 2/516 23601
/proc/meminfo: memFree=20100608/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=1662.23 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906136 0 0 0 166090 133 0 0 25 0 1 0 837406341 1068879872 250093 33554432000 4194304 9128323 140736069639200 18446744073709551615 4911496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250093 710 1205 0 259748 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 1043828

[startup+1722.3 s]
/proc/loadavg: 1.05 1.05 1.25 2/516 23602
/proc/meminfo: memFree=20100596/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=1722.22 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906136 0 0 0 172089 133 0 0 25 0 1 0 837406341 1068879872 250093 33554432000 4194304 9128323 140736069639200 18446744073709551615 4907199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250093 710 1205 0 259748 0
Current children cumulated CPU time (s) 1722.22
Current children cumulated vsize (KiB) 1043828

[startup+1782.3 s]
/proc/loadavg: 1.02 1.03 1.23 2/516 23613
/proc/meminfo: memFree=20098696/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=1782.22 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906136 0 0 0 178089 133 0 0 25 0 1 0 837406341 1068879872 250093 33554432000 4194304 9128323 140736069639200 18446744073709551615 5333240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250093 710 1205 0 259748 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 1043828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 1.01 1.03 1.23 2/516 23613
/proc/meminfo: memFree=20098692/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=1800.03 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906136 0 0 0 179870 133 0 0 25 0 1 0 837406341 1068879872 250093 33554432000 4194304 9128323 140736069639200 18446744073709551615 4683877 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250093 710 1205 0 259748 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1043828

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

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

[startup+1800.1 s]
/proc/loadavg: 1.01 1.03 1.23 2/516 23613
/proc/meminfo: memFree=20098692/32951124 swapFree=58800704/67111528
[pid=23537] ppid=23535 vsize=1043828 CPUtime=1800.03 cores=1,3,5,7
/proc/23537/stat : 23537 (scip-2.0.1.4.li) R 23535 23537 22600 0 -1 4202496 906136 0 0 0 179870 133 0 0 25 0 1 0 837406341 1068879872 250093 33554432000 4194304 9128323 140736069639200 18446744073709551615 4683877 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23537/statm: 260957 250093 710 1205 0 259748 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1043828

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.16
CPU time (s): 1800.09
CPU user time (s): 1798.71
CPU system time (s): 1.37779
CPU usage (%): 99.9959
Max. virtual memory (cumulated for all children) (KiB): 1537224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.71
system time used= 1.37779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 906136
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= 4415

runsolver used 8.44971 second user time and 22.6086 second system time

The end

Launcher Data 

Begin job on node142 at 2011-06-07 14:31:49
IDJOB=3479454
IDBENCH=89912
IDSOLVER=1949
FILE ID=node142/3479454-1307449908
RUNJOBID= node142-1307436782-22619
PBS_JOBID= 13519946
Free space on /tmp= 73920 MiB

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

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

MD5SUM BENCH= 0476e702136eda2e813dad2792abe9ac
RANDOM SEED=1616407935

node142.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.846
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.69
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.846
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	: 5131.95
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.846
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.82
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.846
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.67
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.846
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.81
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.846
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.75
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.846
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.82
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.846
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21011712 kB
Buffers:        328620 kB
Cached:         844340 kB
SwapCached:      11476 kB
Active:        9574828 kB
Inactive:      2087024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21011712 kB
SwapTotal:    67111528 kB
SwapFree:     58800704 kB
Dirty:           43124 kB
Writeback:           0 kB
AnonPages:    10485864 kB
Mapped:          34712 kB
Slab:           132232 kB
PageTables:      74576 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145474460 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73920 MiB
End job on node142 at 2011-06-07 15:01:51