Trace number 3451818

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 E SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1802.2 1802.17

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12025_6.std.opb
MD5SUM6c0eb2c4b5b4376f9bed3c34031f2253
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark92
Best CPU time to get the best result obtained on this benchmark0.978851
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints245202
Number of constraints which are clauses244002
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 constraint34
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.5 [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-3451818-1307119613.opb>
1.49/1.58	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245202 constraints
1.49/1.58	c problem read
1.49/1.58	c presolving settings loaded
1.99/2.03	c presolving:
8.29/8.35	c (round 1) 6279 del vars, 18648 del conss, 0 add conss, 4667 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16661532 impls, 0 clqs
10.79/10.85	c (round 2) 13409 del vars, 45398 del conss, 0 add conss, 11309 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16697324 impls, 0 clqs
11.59/11.64	c (round 3) 15737 del vars, 56803 del conss, 0 add conss, 12646 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 16713536 impls, 0 clqs
11.99/12.04	c (round 4) 16859 del vars, 61586 del conss, 0 add conss, 13365 chg bounds, 65 chg sides, 72 chg coeffs, 0 upgd conss, 16720294 impls, 0 clqs
12.19/12.24	c (round 5) 17416 del vars, 63925 del conss, 0 add conss, 13644 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16725368 impls, 0 clqs
12.29/12.39	c (round 6) 17719 del vars, 65201 del conss, 0 add conss, 13828 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16727715 impls, 0 clqs
12.39/12.50	c (round 7) 17907 del vars, 66006 del conss, 0 add conss, 13923 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16729335 impls, 0 clqs
12.49/12.59	c (round 8) 18028 del vars, 66515 del conss, 0 add conss, 13983 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16731134 impls, 0 clqs
12.59/12.66	c (round 9) 18082 del vars, 66800 del conss, 0 add conss, 14011 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16731722 impls, 0 clqs
12.69/12.73	c (round 10) 18124 del vars, 66979 del conss, 0 add conss, 14034 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16732156 impls, 0 clqs
12.69/12.79	c (round 11) 18140 del vars, 67067 del conss, 0 add conss, 14042 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16732298 impls, 0 clqs
12.79/12.84	c (round 12) 18142 del vars, 67089 del conss, 0 add conss, 14043 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16732302 impls, 0 clqs
13.49/13.50	c (round 13) 18142 del vars, 67091 del conss, 0 add conss, 14043 chg bounds, 70 chg sides, 79 chg coeffs, 178111 upgd conss, 16732302 impls, 0 clqs
13.79/13.88	c (round 14) 18142 del vars, 67092 del conss, 24 add conss, 14043 chg bounds, 118 chg sides, 309 chg coeffs, 178111 upgd conss, 16733214 impls, 711 clqs
626.59/626.64	c    (626.6s) probing: 1000/54700 (1.8%) - 1 fixings, 1 aggregations, 13494598 implications, 0 bound changes
1159.70/1159.72	c    (1159.7s) probing: 2000/54700 (3.7%) - 1 fixings, 1 aggregations, 21258559 implications, 0 bound changes
1234.22/1234.29	c    (1234.3s) probing: 2147/54700 (3.9%) - 1 fixings, 1 aggregations, 22309973 implications, 0 bound changes
1234.22/1234.29	c    (1234.3s) probing aborted: 2000/2000 successive useless probings
1234.31/1234.30	c presolving (15 rounds):
1234.31/1234.30	c  18144 deleted vars, 67092 deleted constraints, 24 added constraints, 14043 tightened bounds, 0 added holes, 130 changed sides, 324 changed coefficients
1234.31/1234.30	c  96067266 implications, 791 cliques
1234.31/1234.30	c presolved problem has 54698 variables (54698 bin, 0 int, 0 impl, 0 cont) and 178134 constraints
1234.31/1234.30	c    1108 constraints of type <knapsack>
1234.31/1234.30	c  150003 constraints of type <setppc>
1234.31/1234.30	c   27023 constraints of type <logicor>
1234.31/1234.30	c transformed objective value is always integral (scale: 1)
1234.31/1234.30	c Presolving Time: 1232.40
1234.31/1234.30	c - non default parameters ----------------------------------------------------------------------
1234.31/1234.30	c # SCIP version 2.0.1.5
1234.31/1234.30	c 
1234.31/1234.30	c # frequency for displaying node information lines
1234.31/1234.30	c # [type: int, range: [-1,2147483647], default: 100]
1234.31/1234.30	c display/freq = 10000
1234.31/1234.30	c 
1234.31/1234.30	c # maximal time in seconds to run
1234.31/1234.30	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1234.31/1234.30	c limits/time = 1800
1234.31/1234.30	c 
1234.31/1234.30	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1234.31/1234.30	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1234.31/1234.30	c limits/memory = 13950
1234.31/1234.30	c 
1234.31/1234.30	c # default clock type (1: CPU user seconds, 2: wall clock time)
1234.31/1234.30	c # [type: int, range: [1,2], default: 1]
1234.31/1234.30	c timing/clocktype = 2
1234.31/1234.30	c 
1234.31/1234.30	c # belongs reading time to solving time?
1234.31/1234.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1234.31/1234.30	c timing/reading = TRUE
1234.31/1234.30	c 
1234.31/1234.30	c # should presolving try to simplify inequalities
1234.31/1234.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1234.31/1234.30	c constraints/linear/simplifyinequalities = TRUE
1234.31/1234.30	c 
1234.31/1234.30	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1234.31/1234.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1234.31/1234.30	c constraints/indicator/addCouplingCons = TRUE
1234.31/1234.30	c 
1234.31/1234.30	c # should presolving try to simplify knapsacks
1234.31/1234.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1234.31/1234.30	c constraints/knapsack/simplifyinequalities = TRUE
1234.31/1234.30	c 
1234.31/1234.30	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1234.31/1234.30	c # [type: int, range: [-1,2147483647], default: -1]
1234.31/1234.30	c separating/rapidlearning/freq = 0
1234.31/1234.30	c 
1234.31/1234.30	c -----------------------------------------------------------------------------------------------
1234.31/1234.30	c start solving
1234.31/1234.34	c 
1449.41/1449.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1449.41/1449.48	c  1449s|     1 |     0 | 46581 |     - |2827M|   0 | 312 |  54k| 178k|  54k| 178k|   0 |  63 |   0 | 9.200000e+01 |      --      |    Inf

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-3451818-1307119613/watcher-3451818-1307119613 -o /tmp/evaluation-result-3451818-1307119613/solver-3451818-1307119613 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451818-1307119613.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.92 1.98 1.99 2/511 738
/proc/meminfo: memFree=13548096/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=9460 CPUtime=0 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 1467 0 0 0 0 0 0 0 25 0 1 0 804377436 9687040 1420 33554432000 4194304 9163163 140733360575856 18446744073709551615 4632768 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/738/statm: 2365 1423 331 1214 0 1147 0

[startup+0.0400261 s]
/proc/loadavg: 1.92 1.98 1.99 2/511 738
/proc/meminfo: memFree=13548096/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=21160 CPUtime=0.03 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 4199 0 0 0 3 0 0 0 25 0 1 0 804377436 21667840 4152 33554432000 4194304 9163163 140733360575856 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/738/statm: 5290 4182 395 1214 0 4072 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21160

[startup+0.101019 s]
/proc/loadavg: 1.92 1.98 1.99 2/511 738
/proc/meminfo: memFree=13548096/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=30072 CPUtime=0.09 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 6520 0 0 0 9 0 0 0 25 0 1 0 804377436 30793728 6473 33554432000 4194304 9163163 140733360575856 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/738/statm: 7518 6473 395 1214 0 6300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30072

[startup+0.300978 s]
/proc/loadavg: 1.92 1.98 1.99 2/511 738
/proc/meminfo: memFree=13548096/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=56888 CPUtime=0.29 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 13205 0 0 0 28 1 0 0 25 0 1 0 804377436 58253312 13158 33554432000 4194304 9163163 140733360575856 18446744073709551615 4443414 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/738/statm: 14222 13158 395 1214 0 13004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56888

[startup+0.700913 s]
/proc/loadavg: 1.92 1.98 1.99 2/511 738
/proc/meminfo: memFree=13548096/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=80720 CPUtime=0.69 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 19180 0 0 0 67 2 0 0 25 0 1 0 804377436 82657280 19133 33554432000 4194304 9163163 140733360575856 18446744073709551615 7936624 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/738/statm: 20180 19133 395 1214 0 18962 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80720

[startup+1.50077 s]
/proc/loadavg: 1.92 1.98 1.99 3/512 739
/proc/meminfo: memFree=13447408/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=150320 CPUtime=1.49 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 36483 0 0 0 144 5 0 0 25 0 1 0 804377436 153927680 36436 33554432000 4194304 9163163 140733360575856 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/738/statm: 37580 36436 395 1214 0 36362 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 150320

[startup+3.10049 s]
/proc/loadavg: 1.92 1.98 1.99 3/512 739
/proc/meminfo: memFree=13176096/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=510032 CPUtime=3.09 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 125099 0 0 0 294 15 0 0 25 0 1 0 804377436 522272768 124978 33554432000 4194304 9163163 140733360575856 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/738/statm: 127508 124978 506 1214 0 126290 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 510032

[startup+6.30094 s]
/proc/loadavg: 1.93 1.98 1.99 3/512 739
/proc/meminfo: memFree=12844968/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=780028 CPUtime=6.3 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 190972 0 0 0 606 24 0 0 25 0 1 0 804377436 798748672 190851 33554432000 4194304 9163163 140733360575856 18446744073709551615 6567504 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/738/statm: 195007 190851 506 1214 0 193789 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 780028

[startup+12.7008 s]
/proc/loadavg: 1.93 1.98 1.99 3/512 739
/proc/meminfo: memFree=12688492/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=877916 CPUtime=12.69 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 214756 0 0 0 1242 27 0 0 25 0 1 0 804377436 898985984 214378 33554432000 4194304 9163163 140733360575856 18446744073709551615 5939131 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/738/statm: 219479 214378 518 1214 0 218261 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 877916

[startup+25.5006 s]
/proc/loadavg: 1.95 1.98 1.99 3/512 740
/proc/meminfo: memFree=12572912/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=1000328 CPUtime=25.49 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 260395 0 0 0 2517 32 0 0 25 0 1 0 804377436 1024335872 243525 33554432000 4194304 9163163 140733360575856 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/738/statm: 250082 243525 651 1214 0 248864 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1000328

[startup+51.1011 s]
/proc/loadavg: 1.96 1.98 1.99 3/512 740
/proc/meminfo: memFree=12525176/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=1049780 CPUtime=51.09 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 272259 0 0 0 5076 33 0 0 25 0 1 0 804377436 1074974720 255389 33554432000 4194304 9163163 140733360575856 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/738/statm: 262445 255389 651 1214 0 261227 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1049780

[startup+102.319 s]
/proc/loadavg: 1.98 1.98 1.99 3/512 742
/proc/meminfo: memFree=12359840/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=1213972 CPUtime=102.3 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 313031 0 0 0 10191 39 0 0 25 0 1 0 804377436 1243107328 296161 33554432000 4194304 9163163 140733360575856 18446744073709551615 4855360 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/738/statm: 303493 296161 651 1214 0 302275 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1213972

[startup+162.301 s]
/proc/loadavg: 2.22 2.06 2.02 3/512 772
/proc/meminfo: memFree=14375924/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=1462604 CPUtime=162.28 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 373402 0 0 0 16181 47 0 0 25 0 1 0 804377436 1497706496 356532 33554432000 4194304 9163163 140733360575856 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 365651 356532 651 1214 0 364433 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1462604

[startup+222.301 s]
/proc/loadavg: 2.17 2.08 2.02 3/512 774
/proc/meminfo: memFree=14038000/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=1634648 CPUtime=222.29 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 416162 0 0 0 22177 52 0 0 25 0 1 0 804377436 1673879552 399292 33554432000 4194304 9163163 140733360575856 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 408662 399292 651 1214 0 407444 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1634648

[startup+282.3 s]
/proc/loadavg: 2.16 2.09 2.03 3/512 775
/proc/meminfo: memFree=13704500/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=1844152 CPUtime=282.28 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 468243 0 0 0 28170 58 0 0 25 0 1 0 804377436 1888411648 451373 33554432000 4194304 9163163 140733360575856 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 461038 451373 651 1214 0 459820 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1844152

[startup+342.301 s]
/proc/loadavg: 2.16 2.10 2.03 3/512 777
/proc/meminfo: memFree=13330976/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=2031920 CPUtime=342.28 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 514571 0 0 0 34164 64 0 0 25 0 1 0 804377436 2080686080 497701 33554432000 4194304 9163163 140733360575856 18446744073709551615 5460491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 507980 497701 651 1214 0 506762 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 2031920

[startup+402.3 s]
/proc/loadavg: 2.06 2.08 2.03 3/512 779
/proc/meminfo: memFree=13012380/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=2176812 CPUtime=402.29 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 550731 0 0 0 40159 70 0 0 25 0 1 0 804377436 2229055488 533861 33554432000 4194304 9163163 140733360575856 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 544203 533861 651 1214 0 542985 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 2176812

[startup+462.301 s]
/proc/loadavg: 2.02 2.06 2.02 3/512 780
/proc/meminfo: memFree=12719200/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=2308996 CPUtime=462.29 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 583678 0 0 0 46154 75 0 0 25 0 1 0 804377436 2364411904 566808 33554432000 4194304 9163163 140733360575856 18446744073709551615 6563352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 577249 566808 651 1214 0 576031 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 2308996

[startup+522.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/512 782
/proc/meminfo: memFree=12397512/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=2480588 CPUtime=522.29 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 626144 0 0 0 52148 81 0 0 25 0 1 0 804377436 2540122112 609274 33554432000 4194304 9163163 140733360575856 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 620147 609274 651 1214 0 618929 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 2480588

[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/512 783
/proc/meminfo: memFree=12100248/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=2651968 CPUtime=582.29 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 669154 0 0 0 58142 87 0 0 25 0 1 0 804377436 2715615232 652284 33554432000 4194304 9163163 140733360575856 18446744073709551615 6567109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 662992 652284 651 1214 0 661774 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2651968

[startup+642.3 s]

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

/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 823065 0 0 0 106122 108 0 0 25 0 1 0 804377436 3346575360 806195 33554432000 4194304 9163163 140733360575856 18446744073709551615 5458899 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 817035 806195 655 1214 0 815817 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 3268140

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 811
/proc/meminfo: memFree=10679920/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=3310228 CPUtime=1122.31 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 833599 0 0 0 112121 110 0 0 25 0 1 0 804377436 3389673472 816729 33554432000 4194304 9163163 140733360575856 18446744073709551615 4232658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 827557 816729 655 1214 0 826339 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 3310228

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 812
/proc/meminfo: memFree=10561344/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=3390076 CPUtime=1182.3 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 854058 0 0 0 118118 112 0 0 25 0 1 0 804377436 3471437824 837188 33554432000 4194304 9163163 140733360575856 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 847519 837188 655 1214 0 846301 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 3390076

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 815
/proc/meminfo: memFree=10312548/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=3617536 CPUtime=1242.31 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 906324 0 0 0 124113 118 0 0 25 0 1 0 804377436 3704356864 887312 33554432000 4194304 9163163 140733360575856 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 904384 887312 663 1214 0 903166 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 3617536

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 817
/proc/meminfo: memFree=10125532/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=3746812 CPUtime=1302.31 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 936393 0 0 0 130100 131 0 0 25 0 1 0 804377436 3836735488 916166 33554432000 4194304 9163163 140733360575856 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 936703 916166 862 1214 0 935485 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 3746812

[startup+1362.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/512 818
/proc/meminfo: memFree=10066968/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=3757600 CPUtime=1362.31 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 940122 0 0 0 136094 137 0 0 25 0 1 0 804377436 3847782400 919602 33554432000 4194304 9163163 140733360575856 18446744073709551615 8041945 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 939400 919602 1101 1214 0 938182 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 3757600

[startup+1422.32 s]
/proc/loadavg: 2.05 2.03 2.00 3/512 821
/proc/meminfo: memFree=9953096/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=3769208 CPUtime=1422.33 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 946600 0 0 0 142089 144 0 0 25 0 1 0 804377436 3859668992 925429 33554432000 4194304 9163163 140733360575856 18446744073709551615 7349105 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 942302 925429 1376 1214 0 941084 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3769208

[startup+1482.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/512 822
/proc/meminfo: memFree=9891812/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=3781664 CPUtime=1482.31 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 948751 0 0 0 148079 152 0 0 25 0 1 0 804377436 3872423936 926921 33554432000 4194304 9163163 140733360575856 18446744073709551615 7379383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 945416 926921 729 1214 0 944198 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 3781664

[startup+1542.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/512 825
/proc/meminfo: memFree=9810828/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=3781664 CPUtime=1542.32 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 948759 0 0 0 154075 157 0 0 25 0 1 0 804377436 3872423936 926929 33554432000 4194304 9163163 140733360575856 18446744073709551615 7361383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 945416 926929 729 1214 0 944198 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3781664

[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/512 827
/proc/meminfo: memFree=9753756/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=3781664 CPUtime=1602.31 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 949331 0 0 0 160068 163 0 0 25 0 1 0 804377436 3872423936 927500 33554432000 4194304 9163163 140733360575856 18446744073709551615 6286063 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 945416 927500 893 1214 0 944198 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 3781664

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 828
/proc/meminfo: memFree=9647196/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=3781664 CPUtime=1662.32 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 949332 0 0 0 166069 163 0 0 25 0 1 0 804377436 3872423936 927501 33554432000 4194304 9163163 140733360575856 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 945416 927501 894 1214 0 944198 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 3781664

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 830
/proc/meminfo: memFree=9558000/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=3781664 CPUtime=1722.32 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 949332 0 0 0 172069 163 0 0 25 0 1 0 804377436 3872423936 927501 33554432000 4194304 9163163 140733360575856 18446744073709551615 6217602 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 945416 927501 894 1214 0 944198 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3781664

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 831
/proc/meminfo: memFree=9460496/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=3781664 CPUtime=1782.32 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 949332 0 0 0 178069 163 0 0 25 0 1 0 804377436 3872423936 927501 33554432000 4194304 9163163 140733360575856 18446744073709551615 18446744073699065971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 945416 927501 894 1214 0 944198 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 3781664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 832
/proc/meminfo: memFree=9444108/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=3781664 CPUtime=1800.02 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 949332 0 0 0 179839 163 0 0 25 0 1 0 804377436 3872423936 927501 33554432000 4194304 9163163 140733360575856 18446744073709551615 6217600 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 945416 927501 894 1214 0 944198 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3781664

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -738

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/513 833
/proc/meminfo: memFree=9443600/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=3781664 CPUtime=1801.42 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 949369 0 0 0 179979 163 0 0 25 0 1 0 804377436 3872423936 927532 33554432000 4194304 9163163 140733360575856 18446744073709551615 6219312 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 945416 927532 888 1214 0 944198 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 3781664

[startup+1801.82 s]
/proc/loadavg: 2.00 2.02 2.00 3/513 833
/proc/meminfo: memFree=9443848/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=3781664 CPUtime=1801.84 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 949369 0 0 0 180021 163 0 0 25 0 1 0 804377436 3872423936 927532 33554432000 4194304 9163163 140733360575856 18446744073709551615 6219312 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 945416 927532 888 1214 0 944198 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 3781664

[startup+1802 s]
/proc/loadavg: 2.00 2.02 2.00 3/513 833
/proc/meminfo: memFree=9443848/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=3781664 CPUtime=1802.02 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4202496 949369 0 0 0 180039 163 0 0 25 0 1 0 804377436 3872423936 927532 33554432000 4194304 9163163 140733360575856 18446744073709551615 6219328 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/738/statm: 945416 927532 888 1214 0 944198 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 3781664

[startup+1802.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/513 833
/proc/meminfo: memFree=9443848/32951124 swapFree=67111204/67111528
[pid=738] ppid=736 vsize=0 CPUtime=1802.12 cores=1,3,5,7
/proc/738/stat : 738 (scip-2.0.1.4b.l) R 736 738 30576 0 -1 4203524 949369 0 0 0 180041 171 0 0 25 0 1 0 804377436 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/738/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.17
CPU time (s): 1802.2
CPU user time (s): 1800.41
CPU system time (s): 1.78573
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3781664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.41
system time used= 1.78573
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 949369
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= 2
involuntary context switches= 18462

runsolver used 8.69568 second user time and 21.7287 second system time

The end

Launcher Data 

Begin job on node144 at 2011-06-03 18:46:53
IDJOB=3451818
IDBENCH=77604
IDSOLVER=1948
FILE ID=node144/3451818-1307119613
RUNJOBID= node144-1307111802-32528
PBS_JOBID= 13498007
Free space on /tmp= 73868 MiB

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

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

MD5SUM BENCH= 6c0eb2c4b5b4376f9bed3c34031f2253
RANDOM SEED=696094734

node144.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.850
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.70
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.850
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.16
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.850
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.850
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.83
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.850
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.75
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.850
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.82
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.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13548376 kB
Buffers:        293088 kB
Cached:         454576 kB
SwapCached:        140 kB
Active:       18741180 kB
Inactive:       380108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13548376 kB
SwapTotal:    67111528 kB
SwapFree:     67111204 kB
Dirty:           19048 kB
Writeback:           0 kB
AnonPages:    18373148 kB
Mapped:          45328 kB
Slab:           136056 kB
PageTables:      75876 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 161016484 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= 73860 MiB
End job on node144 at 2011-06-03 19:16:55