Trace number 3453510

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4? (TO) 1800.15 1800.11

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3030_10.std.opb
MD5SUM74138ddb561fd044baed8c1e389e51bf
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark0.445931
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables18662
Total number of constraints62652
Number of constraints which are clauses61452
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint30
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c SCIP version 2.0.1.4 [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-3453510-1307122228.opb>
0.38/0.46	c original problem has 18662 variables (18662 bin, 0 int, 0 impl, 0 cont) and 62652 constraints
0.38/0.46	c problem read
0.38/0.46	c presolving settings loaded
0.59/0.69	c presolving:
2.29/2.38	c (round 1) 997 del vars, 2613 del conss, 0 add conss, 667 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4357942 impls, 0 clqs
2.49/2.59	c (round 2) 2319 del vars, 6991 del conss, 0 add conss, 1858 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4363697 impls, 0 clqs
2.59/2.63	c (round 3) 2601 del vars, 8697 del conss, 0 add conss, 1965 chg bounds, 50 chg sides, 43 chg coeffs, 0 upgd conss, 4365799 impls, 0 clqs
2.59/2.65	c (round 4) 2689 del vars, 9113 del conss, 0 add conss, 1993 chg bounds, 50 chg sides, 43 chg coeffs, 0 upgd conss, 4366269 impls, 0 clqs
2.59/2.67	c (round 5) 2689 del vars, 9163 del conss, 0 add conss, 1993 chg bounds, 50 chg sides, 43 chg coeffs, 0 upgd conss, 4366269 impls, 0 clqs
2.79/2.87	c (round 6) 2689 del vars, 9163 del conss, 0 add conss, 1993 chg bounds, 50 chg sides, 43 chg coeffs, 53489 upgd conss, 4366269 impls, 0 clqs
2.99/3.06	c (round 7) 2689 del vars, 9176 del conss, 30 add conss, 1993 chg bounds, 90 chg sides, 235 chg coeffs, 53489 upgd conss, 4366269 impls, 0 clqs
112.59/112.62	c    (112.6s) probing: 1000/15973 (6.3%) - 13 fixings, 1 aggregations, 4139714 implications, 0 bound changes
216.09/216.14	c    (216.1s) probing: 2000/15973 (12.5%) - 16 fixings, 2 aggregations, 7316596 implications, 0 bound changes
307.60/307.66	c    (307.7s) probing: 3000/15973 (18.8%) - 29 fixings, 2 aggregations, 9948055 implications, 4 bound changes
391.40/391.42	c    (391.4s) probing: 4000/15973 (25.0%) - 40 fixings, 9 aggregations, 12169070 implications, 5 bound changes
392.20/392.23	c (round 8) 2739 del vars, 9176 del conss, 30 add conss, 1998 chg bounds, 90 chg sides, 249 chg coeffs, 53489 upgd conss, 37467172 impls, 0 clqs
392.71/392.78	c (round 9) 2743 del vars, 9539 del conss, 30 add conss, 1998 chg bounds, 90 chg sides, 399 chg coeffs, 53489 upgd conss, 37468396 impls, 0 clqs
483.60/483.63	c    (483.6s) probing: 5000/15973 (31.3%) - 40 fixings, 10 aggregations, 15080234 implications, 5 bound changes
563.50/563.54	c    (563.5s) probing: 6000/15973 (37.6%) - 40 fixings, 10 aggregations, 18686597 implications, 5 bound changes
564.10/564.12	c    (564.1s) probing: 6008/15973 (37.6%) - 40 fixings, 10 aggregations, 18710313 implications, 5 bound changes
564.10/564.12	c    (564.1s) probing aborted: 2000/2000 successive useless probings
564.10/564.12	c presolving (10 rounds):
564.10/564.12	c  2743 deleted vars, 9543 deleted constraints, 30 added constraints, 1998 tightened bounds, 0 added holes, 90 changed sides, 442 changed coefficients
564.10/564.12	c  52436996 implications, 0 cliques
564.10/564.12	c presolved problem has 15919 variables (15919 bin, 0 int, 0 impl, 0 cont) and 53139 constraints
564.10/564.12	c    1152 constraints of type <knapsack>
564.10/564.12	c   44089 constraints of type <setppc>
564.10/564.12	c    7898 constraints of type <logicor>
564.10/564.12	c transformed objective value is always integral (scale: 1)
564.10/564.12	c Presolving Time: 563.59
564.10/564.12	c - non default parameters ----------------------------------------------------------------------
564.10/564.12	c # SCIP version 2.0.1.4
564.10/564.12	c 
564.10/564.12	c # frequency for displaying node information lines
564.10/564.12	c # [type: int, range: [-1,2147483647], default: 100]
564.10/564.12	c display/freq = 10000
564.10/564.12	c 
564.10/564.12	c # maximal time in seconds to run
564.10/564.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
564.10/564.12	c limits/time = 1800
564.10/564.12	c 
564.10/564.12	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
564.10/564.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
564.10/564.12	c limits/memory = 13950
564.10/564.12	c 
564.10/564.12	c # default clock type (1: CPU user seconds, 2: wall clock time)
564.10/564.12	c # [type: int, range: [1,2], default: 1]
564.10/564.12	c timing/clocktype = 2
564.10/564.12	c 
564.10/564.12	c # belongs reading time to solving time?
564.10/564.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
564.10/564.12	c timing/reading = TRUE
564.10/564.12	c 
564.10/564.12	c # should presolving try to simplify inequalities
564.10/564.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
564.10/564.12	c constraints/linear/simplifyinequalities = TRUE
564.10/564.12	c 
564.10/564.12	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
564.10/564.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
564.10/564.12	c constraints/indicator/addCouplingCons = TRUE
564.10/564.12	c 
564.10/564.12	c # should presolving try to simplify knapsacks
564.10/564.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
564.10/564.12	c constraints/knapsack/simplifyinequalities = TRUE
564.10/564.12	c 
564.10/564.12	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
564.10/564.12	c # [type: int, range: [-1,2147483647], default: -1]
564.10/564.12	c separating/rapidlearning/freq = 0
564.10/564.12	c 
564.10/564.12	c -----------------------------------------------------------------------------------------------
564.10/564.12	c start solving
564.10/564.13	c 
568.20/568.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
568.20/568.22	c   568s|     1 |     0 | 10719 |     - |1462M|   0 | 211 |  15k|  53k|  15k|  53k|   0 |  20 |   0 | 5.000000e+01 |      --      |    Inf 
1160.92/1160.94	c  1161s|     1 |     0 | 36170 |     - |1465M|   0 | 370 |  15k|  53k|  15k|  53k| 302 |  20 |   0 | 5.000000e+01 |      --      |    Inf 
1168.92/1168.92	c  1169s|     1 |     0 | 38443 |     - |1467M|   0 | 398 |  15k|  53k|  15k|  53k| 351 |  20 |   0 | 5.000000e+01 |      --      |    Inf 
1176.92/1176.91	c  1177s|     1 |     0 | 40417 |     - |1467M|   0 | 424 |  15k|  53k|  15k|  53k| 386 |  20 |   0 | 5.000000e+01 |      --      |    Inf 
1184.52/1184.53	c  1185s|     1 |     0 | 42225 |     - |1469M|   0 | 415 |  15k|  53k|  15k|  53k| 407 |  20 |   0 | 5.000000e+01 |      --      |    Inf 
1191.81/1191.85	c  1192s|     1 |     0 | 43512 |     - |1470M|   0 | 400 |  15k|  53k|  15k|  53k| 424 |  20 |   0 | 5.000000e+01 |      --      |    Inf 
1202.72/1202.70	c  1203s|     1 |     0 | 44511 |     - |1471M|   0 | 400 |  15k|  53k|  15k|  53k| 441 |  20 |   0 | 5.000000e+01 |      --      |    Inf 
1222.91/1222.92	c  1223s|     1 |     2 | 44511 |     - |1471M|   0 | 400 |  15k|  53k|  15k|  53k| 441 |  20 |  20 | 5.000000e+01 |      --      |    Inf 
1425.53/1425.53	o 54
1425.53/1425.53	c *1426s|    75 |    35 |103728 | 800.2 |1477M|  26 |   - |  15k|  53k|  15k|  53k| 441 |  73 | 192 | 5.000000e+01 | 5.400000e+01 |   8.00%
1600.55/1600.58	o 53
1600.55/1600.58	c R1601s|   110 |    18 |124687 | 735.6 | 177M|  26 |   - |  15k|3037 |  15k|  53k| 441 | 120 | 207 | 5.000000e+01 | 5.300000e+01 |   6.00%
1800.04/1800.01	c 
1800.04/1800.01	c SCIP Status        : solving was interrupted [time limit reached]
1800.04/1800.01	c Solving Time (sec) : 1800.00
1800.04/1800.01	c Solving Nodes      : 537
1800.04/1800.01	c Primal Bound       : +5.30000000000000e+01 (2 solutions)
1800.04/1800.01	c Dual Bound         : +5.13216775658001e+01
1800.04/1800.01	c Gap                : 3.27 %

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

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.04 2.00 3/464 8639
/proc/meminfo: memFree=30031228/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=7208 CPUtime=0 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 904 0 0 0 0 0 0 0 25 0 1 0 823822638 7380992 857 33554432000 4194304 9128323 140735857364560 18446744073709551615 6586416 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8639/statm: 1802 858 376 1205 0 593 0

[startup+0.060271 s]
/proc/loadavg: 2.02 2.04 2.00 3/464 8639
/proc/meminfo: memFree=30031228/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=19688 CPUtime=0.05 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 3907 0 0 0 5 0 0 0 25 0 1 0 823822638 20160512 3859 33554432000 4194304 9128323 140735857364560 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8639/statm: 4922 3859 400 1205 0 3713 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19688

[startup+0.100263 s]
/proc/loadavg: 2.02 2.04 2.00 3/464 8639
/proc/meminfo: memFree=30031228/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=23040 CPUtime=0.09 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 4744 0 0 0 9 0 0 0 25 0 1 0 823822638 23592960 4695 33554432000 4194304 9128323 140735857364560 18446744073709551615 8008925 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8639/statm: 5760 4695 400 1205 0 4551 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23040

[startup+0.300233 s]
/proc/loadavg: 2.02 2.04 2.00 3/464 8639
/proc/meminfo: memFree=30031228/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=34072 CPUtime=0.28 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 7532 0 0 0 28 0 0 0 25 0 1 0 823822638 34889728 7450 33554432000 4194304 9128323 140735857364560 18446744073709551615 7929330 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8639/statm: 8518 7450 400 1205 0 7309 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 34072

[startup+0.701152 s]
/proc/loadavg: 2.02 2.04 2.00 3/464 8639
/proc/meminfo: memFree=30031228/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=116612 CPUtime=0.68 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 30058 0 0 0 66 2 0 0 25 0 1 0 823822638 119410688 27645 33554432000 4194304 9128323 140735857364560 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 29153 27645 501 1205 0 27944 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 116612

[startup+1.50103 s]
/proc/loadavg: 2.02 2.04 2.00 3/465 8640
/proc/meminfo: memFree=29721112/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=200308 CPUtime=1.48 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 50859 0 0 0 143 5 0 0 25 0 1 0 823822638 205115392 48446 33554432000 4194304 9128323 140735857364560 18446744073709551615 8012251 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 50077 48446 510 1205 0 48868 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 200308

[startup+3.10062 s]
/proc/loadavg: 2.02 2.04 2.00 3/465 8640
/proc/meminfo: memFree=29576652/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=286280 CPUtime=3.09 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 74538 0 0 0 301 8 0 0 25 0 1 0 823822638 293150720 69006 33554432000 4194304 9128323 140735857364560 18446744073709551615 4816678 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 71570 69006 639 1205 0 70361 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 286280

[startup+6.30117 s]
/proc/loadavg: 2.10 2.05 2.01 3/465 8640
/proc/meminfo: memFree=29433072/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=322080 CPUtime=6.29 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 82797 0 0 0 620 9 0 0 25 0 1 0 823822638 329809920 77108 33554432000 4194304 9128323 140735857364560 18446744073709551615 4352220 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 80520 77108 569 1205 0 79311 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 322080

[startup+12.701 s]
/proc/loadavg: 2.09 2.05 2.00 3/465 8640
/proc/meminfo: memFree=29363524/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=347096 CPUtime=12.69 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 88642 0 0 0 1259 10 0 0 25 0 1 0 823822638 355426304 82953 33554432000 4194304 9128323 140735857364560 18446744073709551615 4793060 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 86774 82953 569 1205 0 85565 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 347096

[startup+25.5008 s]
/proc/loadavg: 2.07 2.05 2.00 3/465 8640
/proc/meminfo: memFree=29172244/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=441576 CPUtime=25.49 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 111441 0 0 0 2535 14 0 0 25 0 1 0 823822638 452173824 105686 33554432000 4194304 9128323 140735857364560 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 110394 105686 569 1205 0 109185 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 441576

[startup+51.1003 s]
/proc/loadavg: 2.05 2.04 2.00 3/465 8641
/proc/meminfo: memFree=28909164/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=554504 CPUtime=51.09 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 139994 0 0 0 5091 18 0 0 25 0 1 0 823822638 567812096 134239 33554432000 4194304 9128323 140735857364560 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 138626 134239 569 1205 0 137417 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 554504

[startup+102.317 s]
/proc/loadavg: 2.02 2.03 2.00 3/465 8642
/proc/meminfo: memFree=28638188/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=673664 CPUtime=102.31 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 169245 0 0 0 10209 22 0 0 25 0 1 0 823822638 689831936 163490 33554432000 4194304 9128323 140735857364560 18446744073709551615 4352160 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 168416 163490 569 1205 0 167207 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 673664

[startup+162.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/465 8644
/proc/meminfo: memFree=28362996/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=799124 CPUtime=162.29 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 200967 0 0 0 16201 28 0 0 25 0 1 0 823822638 818302976 195212 33554432000 4194304 9128323 140735857364560 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 199781 195212 573 1205 0 198572 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 799124

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 8645
/proc/meminfo: memFree=28020832/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=943692 CPUtime=222.3 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 237416 0 0 0 22196 34 0 0 25 0 1 0 823822638 966340608 231661 33554432000 4194304 9128323 140735857364560 18446744073709551615 4793071 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 235923 231661 573 1205 0 234714 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 943692

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 8647
/proc/meminfo: memFree=27904980/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1063664 CPUtime=282.29 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 267111 0 0 0 28191 38 0 0 25 0 1 0 823822638 1089191936 261356 33554432000 4194304 9128323 140735857364560 18446744073709551615 5488321 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 265916 261356 573 1205 0 264707 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1063664

[startup+342.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/465 8649
/proc/meminfo: memFree=27741380/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1210392 CPUtime=342.3 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 303022 0 0 0 34185 45 0 0 25 0 1 0 823822638 1239441408 297267 33554432000 4194304 9128323 140735857364560 18446744073709551615 4784743 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 302598 297267 573 1205 0 301389 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1210392

[startup+402.301 s]
/proc/loadavg: 1.63 1.93 1.97 2/459 8667
/proc/meminfo: memFree=28745360/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1359120 CPUtime=402.3 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 340547 0 0 0 40179 51 0 0 25 0 1 0 823822638 1391738880 334792 33554432000 4194304 9128323 140735857364560 18446744073709551615 4207953 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 339780 334792 573 1205 0 338571 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1359120

[startup+462.3 s]
/proc/loadavg: 1.23 1.76 1.91 2/459 8669
/proc/meminfo: memFree=28570492/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1534132 CPUtime=462.3 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 383775 0 0 0 46174 56 0 0 25 0 1 0 823822638 1570951168 378020 33554432000 4194304 9128323 140735857364560 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 383533 378020 573 1205 0 382324 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1534132

[startup+522.301 s]
/proc/loadavg: 1.08 1.62 1.85 2/459 8670
/proc/meminfo: memFree=28400584/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1707712 CPUtime=522.3 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 426776 0 0 0 52167 63 0 0 25 0 1 0 823822638 1748697088 420765 33554432000 4194304 9128323 140735857364560 18446744073709551615 5973112 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 426928 420765 573 1205 0 425719 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1707712

[startup+582.3 s]
/proc/loadavg: 1.03 1.50 1.79 2/459 8672
/proc/meminfo: memFree=28157496/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1949964 CPUtime=582.3 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 489881 0 0 0 58155 75 0 0 25 0 1 0 823822638 1996763136 481490 33554432000 4194304 9128323 140735857364560 18446744073709551615 7078112 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 487491 481490 1220 1205 0 486282 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1949964

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.22 1.60 2/459 8678
/proc/meminfo: memFree=28157208/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1949964 CPUtime=822.31 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 489995 0 0 0 82156 75 0 0 25 0 1 0 823822638 1996763136 481602 33554432000 4194304 9128323 140735857364560 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 487491 481602 1238 1205 0 486282 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1949964

[startup+882.3 s]
/proc/loadavg: 1.12 1.21 1.57 2/459 8680
/proc/meminfo: memFree=28156928/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1949964 CPUtime=882.31 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 489995 0 0 0 88156 75 0 0 25 0 1 0 823822638 1996763136 481602 33554432000 4194304 9128323 140735857364560 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 487491 481602 1238 1205 0 486282 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1949964

[startup+942.301 s]
/proc/loadavg: 1.10 1.18 1.54 2/459 8682
/proc/meminfo: memFree=28157008/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1949964 CPUtime=942.31 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 489995 0 0 0 94155 76 0 0 25 0 1 0 823822638 1996763136 481602 33554432000 4194304 9128323 140735857364560 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 487491 481602 1238 1205 0 486282 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1949964

[startup+1002.3 s]
/proc/loadavg: 1.04 1.15 1.50 2/459 8683
/proc/meminfo: memFree=28157216/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1949964 CPUtime=1002.31 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 489995 0 0 0 100155 76 0 0 25 0 1 0 823822638 1996763136 481602 33554432000 4194304 9128323 140735857364560 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 487491 481602 1238 1205 0 486282 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1949964

[startup+1062.3 s]
/proc/loadavg: 1.01 1.12 1.47 2/459 8685
/proc/meminfo: memFree=28157308/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1949964 CPUtime=1062.32 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 489995 0 0 0 106156 76 0 0 25 0 1 0 823822638 1996763136 481602 33554432000 4194304 9128323 140735857364560 18446744073709551615 6243200 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 487491 481602 1238 1205 0 486282 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1949964

[startup+1122.3 s]
/proc/loadavg: 1.00 1.09 1.43 2/459 8686
/proc/meminfo: memFree=28123288/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1984936 CPUtime=1122.31 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 498725 0 0 0 112154 77 0 0 25 0 1 0 823822638 2032574464 490332 33554432000 4194304 9128323 140735857364560 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 496234 490332 1238 1205 0 495025 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1984936

[startup+1182.3 s]
/proc/loadavg: 1.00 1.07 1.41 2/459 8688
/proc/meminfo: memFree=27946428/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2176964 CPUtime=1182.31 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 542583 0 0 0 118146 85 0 0 25 0 1 0 823822638 2229211136 533858 33554432000 4194304 9128323 140735857364560 18446744073709551615 6239184 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 544241 533858 927 1205 0 543032 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2176964

[startup+1242.3 s]
/proc/loadavg: 1.00 1.06 1.38 2/459 8690
/proc/meminfo: memFree=27941816/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2180328 CPUtime=1242.32 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 561656 0 0 0 124136 96 0 0 25 0 1 0 823822638 2232655872 534644 33554432000 4194304 9128323 140735857364560 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 545082 534644 785 1205 0 543873 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2180328

[startup+1302.3 s]
/proc/loadavg: 1.00 1.04 1.35 2/459 8691
/proc/meminfo: memFree=27938676/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2180328 CPUtime=1302.33 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 562462 0 0 0 130128 105 0 0 25 0 1 0 823822638 2232655872 535450 33554432000 4194304 9128323 140735857364560 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 545082 535450 785 1205 0 543873 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2180328

[startup+1362.3 s]
/proc/loadavg: 1.00 1.03 1.33 2/459 8693
/proc/meminfo: memFree=27938768/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2180328 CPUtime=1362.32 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 562462 0 0 0 136117 115 0 0 25 0 1 0 823822638 2232655872 535450 33554432000 4194304 9128323 140735857364560 18446744073709551615 7191120 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 545082 535450 785 1205 0 543873 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2180328

[startup+1422.32 s]
/proc/loadavg: 1.00 1.03 1.30 2/459 8694
/proc/meminfo: memFree=27941448/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2180296 CPUtime=1422.34 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 565639 0 0 0 142108 126 0 0 25 0 1 0 823822638 2232623104 535068 33554432000 4194304 9128323 140735857364560 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 545074 535068 776 1205 0 543865 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2180296

[startup+1482.3 s]
/proc/loadavg: 1.14 1.06 1.30 2/459 8696
/proc/meminfo: memFree=27940796/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2180296 CPUtime=1482.32 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 565675 0 0 0 148106 126 0 0 25 0 1 0 823822638 2232623104 535104 33554432000 4194304 9128323 140735857364560 18446744073709551615 6594360 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 545074 535104 777 1205 0 543865 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2180296

[startup+1542.3 s]
/proc/loadavg: 1.05 1.05 1.27 2/459 8698
/proc/meminfo: memFree=27941132/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2180296 CPUtime=1542.33 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 565675 0 0 0 154106 127 0 0 25 0 1 0 823822638 2232623104 535104 33554432000 4194304 9128323 140735857364560 18446744073709551615 6594394 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 545074 535104 777 1205 0 543865 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2180296

[startup+1602.3 s]
/proc/loadavg: 1.02 1.04 1.25 2/459 8699
/proc/meminfo: memFree=27943580/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2177092 CPUtime=1602.33 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 565713 0 0 0 160102 131 0 0 25 0 1 0 823822638 2229342208 534341 33554432000 4194304 9128323 140735857364560 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 544273 534341 778 1205 0 543064 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2177092

[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 1.24 2/459 8701
/proc/meminfo: memFree=27943656/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2177092 CPUtime=1662.33 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 565722 0 0 0 166091 142 0 0 25 0 1 0 823822638 2229342208 534350 33554432000 4194304 9128323 140735857364560 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 544273 534350 779 1205 0 543064 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2177092

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.22 2/459 8702
/proc/meminfo: memFree=27943744/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2177092 CPUtime=1722.33 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 565727 0 0 0 172082 151 0 0 25 0 1 0 823822638 2229342208 534355 33554432000 4194304 9128323 140735857364560 18446744073709551615 7380896 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 544273 534355 780 1205 0 543064 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2177092

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.20 2/459 8704
/proc/meminfo: memFree=27942580/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2177092 CPUtime=1782.33 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 565733 0 0 0 178072 161 0 0 25 0 1 0 823822638 2229342208 534361 33554432000 4194304 9128323 140735857364560 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 544273 534361 780 1205 0 543064 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2177092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.01 1.20 2/459 8705
/proc/meminfo: memFree=27943320/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2177092 CPUtime=1800.04 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 565737 0 0 0 179839 165 0 0 25 0 1 0 823822638 2229342208 534365 33554432000 4194304 9128323 140735857364560 18446744073709551615 7025286 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 544273 534365 780 1205 0 543064 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2177092

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.11
CPU time (s): 1800.15
CPU user time (s): 1798.41
CPU system time (s): 1.73973
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2249448

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

runsolver used 8.41172 second user time and 18.3982 second system time

The end

Launcher Data 

Begin job on node123 at 2011-06-03 19:30:28
IDJOB=3453510
IDBENCH=78179
IDSOLVER=1949
FILE ID=node123/3453510-1307122228
RUNJOBID= node123-1307118623-8398
PBS_JOBID= 13497979
Free space on /tmp= 73816 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3030_10.std.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-3453510-1307122228/watcher-3453510-1307122228 -o /tmp/evaluation-result-3453510-1307122228/solver-3453510-1307122228 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453510-1307122228.opb -t 1800 -m 15500

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

MD5SUM BENCH= 74138ddb561fd044baed8c1e389e51bf
RANDOM SEED=990386553

node123.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.838
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.67
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.838
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	: 5226.15
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.838
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.838
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.838
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.838
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.80
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.838
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.74
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.838
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:     32950928 kB
MemFree:      30031508 kB
Buffers:        279920 kB
Cached:         376464 kB
SwapCached:       9456 kB
Active:        2325520 kB
Inactive:       314200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30031508 kB
SwapTotal:    67111528 kB
SwapFree:     45617076 kB
Dirty:           27984 kB
Writeback:           0 kB
AnonPages:     1980668 kB
Mapped:          25268 kB
Slab:           134084 kB
PageTables:      77788 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 133412072 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= 73816 MiB
End job on node123 at 2011-06-03 20:00:30