Trace number 3486360

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 2 2011-06-10 (fixed)? (TO) 1800.18 1800.13

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9043_5.std.opb
MD5SUM7281c30a7b7474ad173d30e80be2448b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark98
Best CPU time to get the best result obtained on this benchmark0.740887
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints192594
Number of constraints which are clauses191394
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 constraint69
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.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3486360-1307794318.opb>
1.00/1.02	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192594 constraints
1.00/1.02	c problem read
1.00/1.02	c presolving settings loaded
1.59/1.66	c presolving:
7.79/7.80	c (round 1) 5566 del vars, 16216 del conss, 0 add conss, 4401 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12953472 impls, 0 clqs
10.19/10.27	c (round 2) 10243 del vars, 37571 del conss, 0 add conss, 8768 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12980786 impls, 0 clqs
11.09/11.11	c (round 3) 12308 del vars, 46514 del conss, 0 add conss, 10051 chg bounds, 49 chg sides, 48 chg coeffs, 0 upgd conss, 12997802 impls, 0 clqs
11.49/11.55	c (round 4) 13191 del vars, 50511 del conss, 0 add conss, 10650 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 13005060 impls, 0 clqs
11.79/11.80	c (round 5) 13783 del vars, 52972 del conss, 0 add conss, 10975 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13010474 impls, 0 clqs
11.89/11.99	c (round 6) 14126 del vars, 54491 del conss, 0 add conss, 11179 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13015088 impls, 0 clqs
12.10/12.16	c (round 7) 14449 del vars, 55696 del conss, 0 add conss, 11368 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13018623 impls, 0 clqs
12.19/12.28	c (round 8) 14660 del vars, 56618 del conss, 0 add conss, 11490 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13021202 impls, 0 clqs
12.29/12.37	c (round 9) 14782 del vars, 57171 del conss, 0 add conss, 11563 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13023062 impls, 0 clqs
12.39/12.45	c (round 10) 14890 del vars, 57599 del conss, 0 add conss, 11629 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13024516 impls, 0 clqs
12.49/12.52	c (round 11) 14952 del vars, 57899 del conss, 0 add conss, 11672 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025101 impls, 0 clqs
12.49/12.57	c (round 12) 15000 del vars, 58094 del conss, 0 add conss, 11705 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025374 impls, 0 clqs
12.59/12.62	c (round 13) 15024 del vars, 58211 del conss, 0 add conss, 11722 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025466 impls, 0 clqs
12.59/12.66	c (round 14) 15030 del vars, 58255 del conss, 0 add conss, 11725 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025492 impls, 0 clqs
633.71/633.75	c    (633.8s) probing: 1000/39750 (2.5%) - 0 fixings, 0 aggregations, 11719950 implications, 0 bound changes
1051.12/1051.17	c    (1051.2s) probing: 2000/39750 (5.0%) - 0 fixings, 0 aggregations, 19025045 implications, 0 bound changes
1051.53/1051.52	c    (1051.5s) probing: 2001/39750 (5.0%) - 0 fixings, 0 aggregations, 19031320 implications, 0 bound changes
1051.53/1051.52	c    (1051.5s) probing aborted: 2000/2000 successive useless probings
1051.53/1051.52	c (round 15) 15032 del vars, 58271 del conss, 0 add conss, 11726 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 79430638 impls, 0 clqs
1052.12/1052.20	c (round 16) 15032 del vars, 58271 del conss, 0 add conss, 11726 chg bounds, 67 chg sides, 73 chg coeffs, 134323 upgd conss, 79430638 impls, 0 clqs
1053.23/1053.22	c (round 17) 15032 del vars, 58279 del conss, 27 add conss, 11726 chg bounds, 144 chg sides, 449 chg coeffs, 134323 upgd conss, 79430638 impls, 0 clqs
1161.13/1161.19	c    (1161.2s) probing: 2201/39750 (5.5%) - 0 fixings, 0 aggregations, 19844918 implications, 0 bound changes
1161.13/1161.19	c    (1161.2s) probing aborted: 2000/2000 successive useless probings
1161.13/1161.19	c presolving (18 rounds):
1161.13/1161.19	c  15032 deleted vars, 58282 deleted constraints, 27 added constraints, 11726 tightened bounds, 0 added holes, 145 changed sides, 460 changed coefficients
1161.13/1161.19	c  81581712 implications, 0 cliques
1161.13/1161.19	c presolved problem has 39750 variables (39750 bin, 0 int, 0 impl, 0 cont) and 134339 constraints
1161.13/1161.19	c    1123 constraints of type <knapsack>
1161.13/1161.19	c  113594 constraints of type <setppc>
1161.13/1161.19	c   19622 constraints of type <logicor>
1161.13/1161.19	c transformed objective value is always integral (scale: 1)
1161.13/1161.19	c Presolving Time: 1159.99
1161.13/1161.19	c - non default parameters ----------------------------------------------------------------------
1161.13/1161.19	c # SCIP version 2.0.1.4
1161.13/1161.19	c 
1161.13/1161.19	c # frequency for displaying node information lines
1161.13/1161.19	c # [type: int, range: [-1,2147483647], default: 100]
1161.13/1161.19	c display/freq = 10000
1161.13/1161.19	c 
1161.13/1161.19	c # maximal time in seconds to run
1161.13/1161.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1161.13/1161.19	c limits/time = 1797
1161.13/1161.19	c 
1161.13/1161.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1161.13/1161.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1161.13/1161.19	c limits/memory = 13950
1161.13/1161.19	c 
1161.13/1161.19	c # default clock type (1: CPU user seconds, 2: wall clock time)
1161.13/1161.19	c # [type: int, range: [1,2], default: 1]
1161.13/1161.19	c timing/clocktype = 2
1161.13/1161.19	c 
1161.13/1161.19	c # belongs reading time to solving time?
1161.13/1161.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1161.13/1161.19	c timing/reading = TRUE
1161.13/1161.19	c 
1161.13/1161.19	c # should presolving try to simplify inequalities
1161.13/1161.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1161.13/1161.19	c constraints/linear/simplifyinequalities = TRUE
1161.13/1161.19	c 
1161.13/1161.19	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1161.13/1161.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1161.13/1161.19	c constraints/indicator/addCouplingCons = TRUE
1161.13/1161.19	c 
1161.13/1161.19	c # should presolving try to simplify knapsacks
1161.13/1161.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1161.13/1161.19	c constraints/knapsack/simplifyinequalities = TRUE
1161.13/1161.19	c 
1161.13/1161.19	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1161.13/1161.19	c # [type: int, range: [-1,2147483647], default: -1]
1161.13/1161.19	c separating/rapidlearning/freq = 0
1161.13/1161.19	c 
1161.13/1161.19	c -----------------------------------------------------------------------------------------------
1161.13/1161.19	c start solving
1161.23/1161.21	c 
1163.63/1163.66	o 300
1163.63/1163.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1163.63/1163.66	c T1164s|     1 |     0 |     0 |     - |2361M|   0 |   - |  39k| 134k|  39k| 134k|   0 |   0 |   0 |      --      | 3.000000e+02 |    Inf 
1250.43/1250.44	c  1250s|     1 |     0 | 31550 |     - |2352M|   0 | 184 |  39k| 133k|  39k| 134k|   0 |   0 |   0 | 9.800000e+01 | 3.000000e+02 | 206.12%

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3486360-1307794318/watcher-3486360-1307794318 -o /tmp/evaluation-result-3486360-1307794318/solver-3486360-1307794318 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486360-1307794318.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: 2.05 2.01 1.91 3/181 11358
/proc/meminfo: memFree=31346164/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=10320 CPUtime=0 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 1574 0 0 0 0 0 0 0 25 0 1 0 891029699 10567680 1528 33554432000 4194304 8979876 140735693219632 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11358/statm: 2580 1528 366 1169 0 1407 0

[startup+0.0211481 s]
/proc/loadavg: 2.05 2.01 1.91 3/181 11358
/proc/meminfo: memFree=31346164/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=13852 CPUtime=0.01 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 2448 0 0 0 1 0 0 0 25 0 1 0 891029699 14184448 2402 33554432000 4194304 8979876 140735693219632 18446744073709551615 4446963 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11358/statm: 3463 2402 366 1169 0 2290 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13852

[startup+0.101137 s]
/proc/loadavg: 2.05 2.01 1.91 3/181 11358
/proc/meminfo: memFree=31346164/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=27548 CPUtime=0.09 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 5904 0 0 0 9 0 0 0 25 0 1 0 891029699 28209152 5858 33554432000 4194304 8979876 140735693219632 18446744073709551615 6782544 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11358/statm: 6887 5858 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27548

[startup+0.301102 s]
/proc/loadavg: 2.05 2.01 1.91 3/181 11358
/proc/meminfo: memFree=31346164/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=46332 CPUtime=0.29 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 10579 0 0 0 28 1 0 0 25 0 1 0 891029699 47443968 10533 33554432000 4194304 8979876 140735693219632 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11358/statm: 11583 10533 366 1169 0 10410 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46332

[startup+0.701029 s]
/proc/loadavg: 2.05 2.01 1.91 3/181 11358
/proc/meminfo: memFree=31346164/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=76432 CPUtime=0.69 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 18079 0 0 0 67 2 0 0 25 0 1 0 891029699 78266368 18033 33554432000 4194304 8979876 140735693219632 18446744073709551615 7836078 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11358/statm: 19108 18033 366 1169 0 17935 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76432

[startup+1.50089 s]
/proc/loadavg: 2.05 2.01 1.91 3/182 11359
/proc/meminfo: memFree=31100272/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=314036 CPUtime=1.49 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 76836 0 0 0 141 8 0 0 25 0 1 0 891029699 321572864 76719 33554432000 4194304 8979876 140735693219632 18446744073709551615 6782368 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 78509 76719 449 1169 0 77336 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 314036

[startup+3.10059 s]
/proc/loadavg: 2.05 2.01 1.91 3/182 11360
/proc/meminfo: memFree=30654864/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=449460 CPUtime=3.09 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 118835 0 0 0 296 13 0 0 25 0 1 0 891029699 460247040 110387 33554432000 4194304 8979876 140735693219632 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 112365 110387 494 1169 0 111192 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 449460

[startup+6.30101 s]
/proc/loadavg: 2.05 2.01 1.91 3/182 11360
/proc/meminfo: memFree=30204440/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=644684 CPUtime=6.29 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 166653 0 0 0 609 20 0 0 25 0 1 0 891029699 660156416 158205 33554432000 4194304 8979876 140735693219632 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 161171 158205 494 1169 0 159998 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 644684

[startup+12.7009 s]
/proc/loadavg: 2.04 2.01 1.91 3/182 11360
/proc/meminfo: memFree=30020580/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=694340 CPUtime=12.69 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 179663 0 0 0 1248 21 0 0 25 0 1 0 891029699 711004160 169635 33554432000 4194304 8979876 140735693219632 18446744073709551615 5987594 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 173585 169635 504 1169 0 172412 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 694340

[startup+25.5005 s]
/proc/loadavg: 2.03 2.01 1.91 3/182 11360
/proc/meminfo: memFree=29879920/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=749360 CPUtime=25.49 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 192260 0 0 0 2526 23 0 0 25 0 1 0 891029699 767344640 182128 33554432000 4194304 8979876 140735693219632 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 187340 182128 537 1169 0 186167 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 749360

[startup+51.1009 s]
/proc/loadavg: 2.02 2.01 1.91 3/182 11361
/proc/meminfo: memFree=29807296/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=790104 CPUtime=51.1 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 202694 0 0 0 5086 24 0 0 25 0 1 0 891029699 809066496 192562 33554432000 4194304 8979876 140735693219632 18446744073709551615 4460216 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 197526 192562 537 1169 0 196353 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 790104

[startup+102.307 s]
/proc/loadavg: 2.01 2.00 1.91 3/182 11362
/proc/meminfo: memFree=29579644/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=908504 CPUtime=102.3 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 231860 0 0 0 10203 27 0 0 25 0 1 0 891029699 930308096 221728 33554432000 4194304 8979876 140735693219632 18446744073709551615 5284637 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 227126 221728 537 1169 0 225953 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 908504

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 11364
/proc/meminfo: memFree=29348724/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=1038504 CPUtime=162.3 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 264199 0 0 0 16200 30 0 0 25 0 1 0 891029699 1063428096 254067 33554432000 4194304 8979876 140735693219632 18446744073709551615 5308157 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 259626 254067 537 1169 0 258453 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1038504

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 11365
/proc/meminfo: memFree=29048244/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=1198604 CPUtime=222.29 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 303640 0 0 0 22196 33 0 0 25 0 1 0 891029699 1227370496 293508 33554432000 4194304 8979876 140735693219632 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 299651 293508 537 1169 0 298478 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1198604

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 11367
/proc/meminfo: memFree=28677704/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=1422084 CPUtime=282.3 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 358779 0 0 0 28190 40 0 0 25 0 1 0 891029699 1456214016 348647 33554432000 4194304 8979876 140735693219632 18446744073709551615 6503516 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 355521 348647 537 1169 0 354348 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1422084

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 11369
/proc/meminfo: memFree=28308400/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=1652408 CPUtime=342.3 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 415448 0 0 0 34183 47 0 0 25 0 1 0 891029699 1692065792 405316 33554432000 4194304 8979876 140735693219632 18446744073709551615 5271134 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 413102 405316 537 1169 0 411929 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1652408

[startup+402.301 s]
/proc/loadavg: 2.06 2.02 1.92 3/182 11370
/proc/meminfo: memFree=28029612/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=1805108 CPUtime=402.31 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 453546 0 0 0 40178 53 0 0 25 0 1 0 891029699 1848430592 443414 33554432000 4194304 8979876 140735693219632 18446744073709551615 6503328 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 451277 443414 537 1169 0 450104 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1805108

[startup+462.301 s]
/proc/loadavg: 2.02 2.01 1.92 3/182 11372
/proc/meminfo: memFree=27674828/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=1985896 CPUtime=462.31 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 497774 0 0 0 46171 60 0 0 25 0 1 0 891029699 2033557504 487642 33554432000 4194304 8979876 140735693219632 18446744073709551615 6502938 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 496474 487642 537 1169 0 495301 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1985896

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/182 11373
/proc/meminfo: memFree=27484328/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=2077392 CPUtime=522.31 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 520622 0 0 0 52168 63 0 0 25 0 1 0 891029699 2127249408 510490 33554432000 4194304 8979876 140735693219632 18446744073709551615 5308244 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 519348 510490 537 1169 0 518175 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2077392

[startup+582.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/182 11375
/proc/meminfo: memFree=27270536/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=2213812 CPUtime=582.31 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 554575 0 0 0 58163 68 0 0 25 0 1 0 891029699 2266943488 544443 33554432000 4194304 8979876 140735693219632 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 553453 544443 537 1169 0 552280 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2213812

[startup+642.3 s]

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

[startup+882.301 s]
/proc/loadavg: 2.01 2.02 1.94 3/182 11383
/proc/meminfo: memFree=26443080/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=2725032 CPUtime=882.31 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 682892 0 0 0 88144 87 0 0 25 0 1 0 891029699 2790432768 672760 33554432000 4194304 8979876 140735693219632 18446744073709551615 5284637 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 681258 672760 542 1169 0 680085 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2725032

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 1.94 3/182 11385
/proc/meminfo: memFree=26292264/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=2835448 CPUtime=942.32 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 710080 0 0 0 94141 91 0 0 25 0 1 0 891029699 2903498752 699948 33554432000 4194304 8979876 140735693219632 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 708862 699948 542 1169 0 707689 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2835448

[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 1.95 3/182 11386
/proc/meminfo: memFree=26176416/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=2893896 CPUtime=1002.32 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 724694 0 0 0 100138 94 0 0 25 0 1 0 891029699 2963349504 714562 33554432000 4194304 8979876 140735693219632 18446744073709551615 5313433 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 723474 714562 542 1169 0 722301 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2893896

[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/182 11388
/proc/meminfo: memFree=26032412/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=2983628 CPUtime=1062.33 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 759535 0 0 0 106134 99 0 0 25 0 1 0 891029699 3055235072 737207 33554432000 4194304 8979876 140735693219632 18446744073709551615 6503319 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 745907 737207 587 1169 0 744734 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2983628

[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 1.95 3/182 11389
/proc/meminfo: memFree=25749160/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3033204 CPUtime=1122.32 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 771601 0 0 0 112132 100 0 0 25 0 1 0 891029699 3106000896 749273 33554432000 4194304 8979876 140735693219632 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 758301 749273 587 1169 0 757128 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3033204

[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/182 11391
/proc/meminfo: memFree=25490592/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3295244 CPUtime=1182.33 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 837032 0 0 0 118121 112 0 0 25 0 1 0 891029699 3374329856 810936 33554432000 4194304 8979876 140735693219632 18446744073709551615 7147278 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 823811 810936 857 1169 0 822638 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3295244

[startup+1242.3 s]
/proc/loadavg: 2.09 2.03 1.96 3/182 11431
/proc/meminfo: memFree=27660800/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3330668 CPUtime=1242.32 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 845546 0 0 0 124112 120 0 0 25 0 1 0 891029699 3410604032 818786 33554432000 4194304 8979876 140735693219632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 832667 818786 817 1169 0 831494 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3330668

[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 1.96 3/182 11432
/proc/meminfo: memFree=27308848/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1302.34 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 130111 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3321720

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/182 11434
/proc/meminfo: memFree=27318020/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1362.33 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 136110 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254540 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3321720

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.96 3/182 11435
/proc/meminfo: memFree=27342396/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1422.34 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 142111 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3321720

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/182 11437
/proc/meminfo: memFree=27339996/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1482.34 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 148111 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3321720

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 11439
/proc/meminfo: memFree=27316892/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1542.34 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 154111 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254466 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3321720

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 11440
/proc/meminfo: memFree=27341648/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1602.34 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 160111 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254371 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3321720

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 11442
/proc/meminfo: memFree=27342484/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1662.34 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 166111 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3321720

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 11443
/proc/meminfo: memFree=27342456/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1722.34 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 172111 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254540 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3321720

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 11445
/proc/meminfo: memFree=27316628/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1782.35 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 852852 0 0 0 178112 123 0 0 25 0 1 0 891029699 3401441280 816692 33554432000 4194304 8979876 140735693219632 18446744073709551615 6254368 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 816692 771 1169 0 829257 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 3321720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 11445
/proc/meminfo: memFree=27311776/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=3321720 CPUtime=1800.05 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4202496 854048 0 0 0 179882 123 0 0 25 0 1 0 891029699 3401441280 817867 33554432000 4194304 8979876 140735693219632 18446744073709551615 6255408 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11358/statm: 830430 817867 750 1169 0 829257 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3321720

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

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

[startup+1800.11 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 11445
/proc/meminfo: memFree=27311776/32951124 swapFree=67054536/67111528
[pid=11358] ppid=11356 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/11358/stat : 11358 (scip-2.0.1.4_2.) R 11356 11358 11312 0 -1 4203524 854048 0 0 0 179882 133 0 0 25 0 1 0 891029699 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11358/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.13
CPU time (s): 1800.18
CPU user time (s): 1798.83
CPU system time (s): 1.35279
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3332604

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

runsolver used 2.80057 second user time and 6.95794 second system time

The end

Launcher Data 

Begin job on node133 at 2011-06-11 14:11:58
IDJOB=3486360
IDBENCH=78013
IDSOLVER=1977
FILE ID=node133/3486360-1307794318
RUNJOBID= node133-1307794318-11331
PBS_JOBID= 13550916
Free space on /tmp= 74060 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9043_5.std.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3486360-1307794318/watcher-3486360-1307794318 -o /tmp/evaluation-result-3486360-1307794318/solver-3486360-1307794318 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486360-1307794318.opb -t 1800 -m 15500

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

MD5SUM BENCH= 7281c30a7b7474ad173d30e80be2448b
RANDOM SEED=962765597

node133.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.834
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.834
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.75
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.834
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.834
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	: 6741.12
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.834
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.834
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.834
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.834
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:      31349816 kB
Buffers:        275744 kB
Cached:        1093988 kB
SwapCached:      10420 kB
Active:         631700 kB
Inactive:       766260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31349816 kB
SwapTotal:    67111528 kB
SwapFree:     67054536 kB
Dirty:           44728 kB
Writeback:           0 kB
AnonPages:       26096 kB
Mapped:          14468 kB
Slab:           136692 kB
PageTables:       5152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   219656 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74036 MiB
End job on node133 at 2011-06-11 14:42:00