Trace number 3486344

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.16 1800.1

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9013_9.std.opb
MD5SUMb0c7829ae2c1e7f3e474b84d63238c03
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark130
Best CPU time to get the best result obtained on this benchmark1800.32
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 constraints176329
Number of constraints which are clauses175129
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 constraint90
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-3486344-1307793847.opb>
0.89/0.96	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176329 constraints
0.89/0.96	c problem read
0.89/0.96	c presolving settings loaded
1.49/1.57	c presolving:
7.09/7.17	c (round 1) 3449 del vars, 9729 del conss, 0 add conss, 2459 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12022042 impls, 0 clqs
9.29/9.36	c (round 2) 7749 del vars, 26366 del conss, 0 add conss, 6513 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12040298 impls, 0 clqs
9.99/10.02	c (round 3) 9287 del vars, 33150 del conss, 0 add conss, 7451 chg bounds, 27 chg sides, 23 chg coeffs, 0 upgd conss, 12048030 impls, 0 clqs
10.49/10.51	c (round 4) 10310 del vars, 36791 del conss, 0 add conss, 8218 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12055383 impls, 0 clqs
10.79/10.86	c (round 5) 11054 del vars, 39474 del conss, 0 add conss, 8752 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12059081 impls, 0 clqs
11.00/11.02	c (round 6) 11400 del vars, 40936 del conss, 0 add conss, 8965 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12060841 impls, 0 clqs
11.09/11.14	c (round 7) 11560 del vars, 41544 del conss, 0 add conss, 9063 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12062062 impls, 0 clqs
11.19/11.22	c (round 8) 11630 del vars, 41898 del conss, 0 add conss, 9105 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12062554 impls, 0 clqs
11.19/11.28	c (round 9) 11672 del vars, 42089 del conss, 0 add conss, 9135 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12062798 impls, 0 clqs
11.29/11.34	c (round 10) 11708 del vars, 42237 del conss, 0 add conss, 9162 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12062970 impls, 0 clqs
11.29/11.39	c (round 11) 11722 del vars, 42310 del conss, 0 add conss, 9171 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12063014 impls, 0 clqs
11.39/11.43	c (round 12) 11726 del vars, 42334 del conss, 0 add conss, 9173 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12063044 impls, 0 clqs
11.39/11.47	c (round 13) 11730 del vars, 42350 del conss, 0 add conss, 9175 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12063054 impls, 0 clqs
11.89/11.99	c (round 14) 11730 del vars, 42354 del conss, 0 add conss, 9175 chg bounds, 30 chg sides, 26 chg coeffs, 133975 upgd conss, 12063054 impls, 0 clqs
12.69/12.74	c (round 15) 11730 del vars, 42354 del conss, 7 add conss, 9175 chg bounds, 42 chg sides, 153 chg coeffs, 133975 upgd conss, 12063054 impls, 0 clqs
530.80/530.84	c    (530.8s) probing: 1000/43052 (2.3%) - 3 fixings, 1 aggregations, 8955179 implications, 0 bound changes
917.23/917.22	c    (917.2s) probing: 2000/43052 (4.6%) - 3 fixings, 1 aggregations, 14145213 implications, 0 bound changes
977.93/977.90	c    (977.9s) probing: 2141/43052 (5.0%) - 3 fixings, 1 aggregations, 14900383 implications, 0 bound changes
977.93/977.90	c    (977.9s) probing aborted: 2000/2000 successive useless probings
977.93/977.91	c presolving (16 rounds):
977.93/977.91	c  11734 deleted vars, 42354 deleted constraints, 7 added constraints, 9175 tightened bounds, 0 added holes, 42 changed sides, 157 changed coefficients
977.93/977.91	c  60719490 implications, 0 cliques
977.93/977.91	c presolved problem has 43048 variables (43048 bin, 0 int, 0 impl, 0 cont) and 133982 constraints
977.93/977.91	c    1178 constraints of type <knapsack>
977.93/977.91	c  111493 constraints of type <setppc>
977.93/977.91	c   21311 constraints of type <logicor>
977.93/977.91	c transformed objective value is always integral (scale: 1)
977.93/977.91	c Presolving Time: 976.78
977.93/977.91	c - non default parameters ----------------------------------------------------------------------
977.93/977.91	c # SCIP version 2.0.1.4
977.93/977.91	c 
977.93/977.91	c # frequency for displaying node information lines
977.93/977.91	c # [type: int, range: [-1,2147483647], default: 100]
977.93/977.91	c display/freq = 10000
977.93/977.91	c 
977.93/977.91	c # maximal time in seconds to run
977.93/977.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
977.93/977.91	c limits/time = 1797
977.93/977.91	c 
977.93/977.91	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
977.93/977.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
977.93/977.91	c limits/memory = 13950
977.93/977.91	c 
977.93/977.91	c # default clock type (1: CPU user seconds, 2: wall clock time)
977.93/977.91	c # [type: int, range: [1,2], default: 1]
977.93/977.91	c timing/clocktype = 2
977.93/977.91	c 
977.93/977.91	c # belongs reading time to solving time?
977.93/977.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
977.93/977.91	c timing/reading = TRUE
977.93/977.91	c 
977.93/977.91	c # should presolving try to simplify inequalities
977.93/977.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
977.93/977.91	c constraints/linear/simplifyinequalities = TRUE
977.93/977.91	c 
977.93/977.91	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
977.93/977.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
977.93/977.91	c constraints/indicator/addCouplingCons = TRUE
977.93/977.91	c 
977.93/977.91	c # should presolving try to simplify knapsacks
977.93/977.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
977.93/977.91	c constraints/knapsack/simplifyinequalities = TRUE
977.93/977.91	c 
977.93/977.91	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
977.93/977.91	c # [type: int, range: [-1,2147483647], default: -1]
977.93/977.91	c separating/rapidlearning/freq = 0
977.93/977.91	c 
977.93/977.91	c -----------------------------------------------------------------------------------------------
977.93/977.91	c start solving
977.93/977.93	c

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-3486344-1307793847/watcher-3486344-1307793847 -o /tmp/evaluation-result-3486344-1307793847/solver-3486344-1307793847 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486344-1307793847.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.00 2.00 2.00 2/177 14113
/proc/meminfo: memFree=29882464/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=10316 CPUtime=0 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 1568 0 0 0 0 0 0 0 25 0 1 0 969615443 10563584 1523 33554432000 4194304 8979876 140736039821168 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14113/statm: 2579 1523 366 1169 0 1406 0

[startup+0.0488639 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 14113
/proc/meminfo: memFree=29882464/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=19596 CPUtime=0.04 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 3900 0 0 0 4 0 0 0 25 0 1 0 969615443 20066304 3855 33554432000 4194304 8979876 140736039821168 18446744073709551615 4530316 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14113/statm: 4899 3855 366 1169 0 3726 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19596

[startup+0.100854 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 14113
/proc/meminfo: memFree=29882464/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=27544 CPUtime=0.09 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 5903 0 0 0 9 0 0 0 25 0 1 0 969615443 28205056 5858 33554432000 4194304 8979876 140736039821168 18446744073709551615 7836048 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14113/statm: 6886 5858 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27544

[startup+0.300816 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 14113
/proc/meminfo: memFree=29882464/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=46328 CPUtime=0.29 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 10578 0 0 0 28 1 0 0 25 0 1 0 969615443 47439872 10533 33554432000 4194304 8979876 140736039821168 18446744073709551615 6204135 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14113/statm: 11582 10533 366 1169 0 10409 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46328

[startup+0.700743 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 14113
/proc/meminfo: memFree=29882464/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=79820 CPUtime=0.69 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 18920 0 0 0 67 2 0 0 25 0 1 0 969615443 81735680 18875 33554432000 4194304 8979876 140736039821168 18446744073709551615 4530316 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14113/statm: 19955 18875 366 1169 0 18782 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79820

[startup+1.5006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14114
/proc/meminfo: memFree=29739504/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=302352 CPUtime=1.49 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 77114 0 0 0 141 8 0 0 25 0 1 0 969615443 309608448 73684 33554432000 4194304 8979876 140736039821168 18446744073709551615 6778295 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 75588 73684 450 1169 0 74415 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 302352

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14114
/proc/meminfo: memFree=29536144/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=440644 CPUtime=3.09 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 116080 0 0 0 297 12 0 0 25 0 1 0 969615443 451219456 107685 33554432000 4194304 8979876 140736039821168 18446744073709551615 5298860 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 110161 107685 494 1169 0 108988 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 440644

[startup+6.30071 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14114
/proc/meminfo: memFree=29294836/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=640580 CPUtime=6.29 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 163858 0 0 0 612 17 0 0 25 0 1 0 969615443 655953920 155463 33554432000 4194304 8979876 140736039821168 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 160145 155463 501 1169 0 158972 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 640580

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14115
/proc/meminfo: memFree=29184880/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=717492 CPUtime=12.69 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 193988 0 0 0 1249 20 0 0 25 0 1 0 969615443 734711808 173969 33554432000 4194304 8979876 140736039821168 18446744073709551615 4935379 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 179373 173969 658 1169 0 178200 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 717492

[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14115
/proc/meminfo: memFree=29034916/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=772324 CPUtime=25.5 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 207099 0 0 0 2528 22 0 0 25 0 1 0 969615443 790859776 186783 33554432000 4194304 8979876 140736039821168 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 193081 186783 556 1169 0 191908 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 772324

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14116
/proc/meminfo: memFree=28948016/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=803920 CPUtime=51.09 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 215123 0 0 0 5086 23 0 0 25 0 1 0 969615443 823214080 194675 33554432000 4194304 8979876 140736039821168 18446744073709551615 6492544 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 200980 194675 556 1169 0 199807 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 803920

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14117
/proc/meminfo: memFree=28717728/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=937212 CPUtime=102.3 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 247788 0 0 0 10204 26 0 0 25 0 1 0 969615443 959705088 227340 33554432000 4194304 8979876 140736039821168 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 234303 227340 556 1169 0 233130 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 937212

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14119
/proc/meminfo: memFree=28420708/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=1099592 CPUtime=162.29 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 287875 0 0 0 16197 32 0 0 25 0 1 0 969615443 1125982208 266998 33554432000 4194304 8979876 140736039821168 18446744073709551615 5538070 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 274898 266998 556 1169 0 273725 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1099592

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14120
/proc/meminfo: memFree=28195372/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=1196804 CPUtime=222.3 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 312435 0 0 0 22195 35 0 0 25 0 1 0 969615443 1225527296 291393 33554432000 4194304 8979876 140736039821168 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 299201 291393 556 1169 0 298028 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1196804

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14122
/proc/meminfo: memFree=27800012/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=1369992 CPUtime=282.3 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 356214 0 0 0 28190 40 0 0 25 0 1 0 969615443 1402871808 335172 33554432000 4194304 8979876 140736039821168 18446744073709551615 6492563 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 342498 335172 556 1169 0 341325 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1369992

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14123
/proc/meminfo: memFree=27601816/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=1471704 CPUtime=342.31 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 381321 0 0 0 34188 43 0 0 25 0 1 0 969615443 1507024896 360279 33554432000 4194304 8979876 140736039821168 18446744073709551615 5538059 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 367926 360279 556 1169 0 366753 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1471704

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14125
/proc/meminfo: memFree=27347448/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=1580040 CPUtime=402.31 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 408490 0 0 0 40185 46 0 0 25 0 1 0 969615443 1617960960 387448 33554432000 4194304 8979876 140736039821168 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 395010 387448 556 1169 0 393837 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1580040

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14127
/proc/meminfo: memFree=27139716/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=1693996 CPUtime=462.31 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 436092 0 0 0 46182 49 0 0 25 0 1 0 969615443 1734651904 415050 33554432000 4194304 8979876 140736039821168 18446744073709551615 5537688 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 423499 415050 556 1169 0 422326 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1693996

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14128
/proc/meminfo: memFree=26969932/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=1750444 CPUtime=522.31 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 450002 0 0 0 52180 51 0 0 25 0 1 0 969615443 1792454656 428960 33554432000 4194304 8979876 140736039821168 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 437611 428960 556 1169 0 436438 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1750444

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14130
/proc/meminfo: memFree=26819496/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=1817868 CPUtime=582.31 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 466798 0 0 0 58178 53 0 0 25 0 1 0 969615443 1861496832 445723 33554432000 4194304 8979876 140736039821168 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 454467 445723 561 1169 0 453294 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1817868

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14136
/proc/meminfo: memFree=26152376/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2151756 CPUtime=822.32 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 551063 0 0 0 82168 64 0 0 25 0 1 0 969615443 2203398144 529988 33554432000 4194304 8979876 140736039821168 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 537939 529988 561 1169 0 536766 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 2151756

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14138
/proc/meminfo: memFree=26045448/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2189116 CPUtime=882.32 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 560020 0 0 0 88167 65 0 0 25 0 1 0 969615443 2241654784 538945 33554432000 4194304 8979876 140736039821168 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 547279 538945 561 1169 0 546106 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2189116

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14139
/proc/meminfo: memFree=25938292/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2232608 CPUtime=942.32 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 570727 0 0 0 94166 66 0 0 25 0 1 0 969615443 2286190592 549652 33554432000 4194304 8979876 140736039821168 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 558152 549652 561 1169 0 556979 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2232608

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14141
/proc/meminfo: memFree=25620704/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2507788 CPUtime=1002.33 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 638278 0 0 0 100156 77 0 0 25 0 1 0 969615443 2567974912 613472 33554432000 4194304 8979876 140736039821168 18446744073709551615 7147436 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 626947 613472 784 1169 0 625774 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 2507788

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14143
/proc/meminfo: memFree=25522580/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2524436 CPUtime=1062.32 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 643576 0 0 0 106149 83 0 0 25 0 1 0 969615443 2585022464 618509 33554432000 4194304 8979876 140736039821168 18446744073709551615 7146987 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 631109 618509 707 1169 0 629936 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2524436

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14144
/proc/meminfo: memFree=25441088/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2542736 CPUtime=1122.33 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 649702 0 0 0 112144 89 0 0 25 0 1 0 969615443 2603761664 624140 33554432000 4194304 8979876 140736039821168 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 635684 624140 741 1169 0 634511 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2542736

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14146
/proc/meminfo: memFree=25376568/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1182.33 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652969 0 0 0 118141 92 0 0 25 0 1 0 969615443 2615119872 627242 33554432000 4194304 8979876 140736039821168 18446744073709551615 7145982 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627242 726 1169 0 637284 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2553828

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 14147
/proc/meminfo: memFree=25287880/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1242.33 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652974 0 0 0 124139 94 0 0 25 0 1 0 969615443 2615119872 627247 33554432000 4194304 8979876 140736039821168 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627247 726 1169 0 637284 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2553828

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 14149
/proc/meminfo: memFree=24983172/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1302.33 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652977 0 0 0 130137 96 0 0 25 0 1 0 969615443 2615119872 627250 33554432000 4194304 8979876 140736039821168 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627250 726 1169 0 637284 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2553828

[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 14151
/proc/meminfo: memFree=24968512/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1362.34 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652978 0 0 0 136134 100 0 0 25 0 1 0 969615443 2615119872 627251 33554432000 4194304 8979876 140736039821168 18446744073709551615 7109904 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627251 726 1169 0 637284 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 2553828

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14152
/proc/meminfo: memFree=24959184/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1422.35 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652984 0 0 0 142133 102 0 0 25 0 1 0 969615443 2615119872 627257 33554432000 4194304 8979876 140736039821168 18446744073709551615 7122680 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627257 726 1169 0 637284 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 2553828

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14193
/proc/meminfo: memFree=26330480/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1482.34 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652990 0 0 0 148129 105 0 0 25 0 1 0 969615443 2615119872 627263 33554432000 4194304 8979876 140736039821168 18446744073709551615 7192870 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627263 726 1169 0 637284 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2553828

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14194
/proc/meminfo: memFree=26327788/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1542.34 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652991 0 0 0 154127 107 0 0 25 0 1 0 969615443 2615119872 627264 33554432000 4194304 8979876 140736039821168 18446744073709551615 7836169 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627264 726 1169 0 637284 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2553828

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14196
/proc/meminfo: memFree=26169304/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1602.34 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652996 0 0 0 160125 109 0 0 25 0 1 0 969615443 2615119872 627269 33554432000 4194304 8979876 140736039821168 18446744073709551615 7122720 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627269 726 1169 0 637284 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2553828

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 14198
/proc/meminfo: memFree=26343248/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1662.34 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652997 0 0 0 166123 111 0 0 25 0 1 0 969615443 2615119872 627270 33554432000 4194304 8979876 140736039821168 18446744073709551615 7145982 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627270 726 1169 0 637284 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2553828

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14199
/proc/meminfo: memFree=26307628/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1722.35 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652998 0 0 0 172122 113 0 0 25 0 1 0 969615443 2615119872 627271 33554432000 4194304 8979876 140736039821168 18446744073709551615 7143739 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627271 726 1169 0 637284 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2553828

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 14201
/proc/meminfo: memFree=26297920/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1782.35 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 652998 0 0 0 178120 115 0 0 25 0 1 0 969615443 2615119872 627271 33554432000 4194304 8979876 140736039821168 18446744073709551615 7145543 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627271 726 1169 0 637284 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2553828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14201
/proc/meminfo: memFree=26297656/32950928 swapFree=67051096/67111528
[pid=14113] ppid=14111 vsize=2553828 CPUtime=1800.06 cores=0,2,4,6
/proc/14113/stat : 14113 (scip-2.0.1.4_2.) R 14111 14113 13131 0 -1 4202496 653000 0 0 0 179890 116 0 0 25 0 1 0 969615443 2615119872 627273 33554432000 4194304 8979876 140736039821168 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14113/statm: 638457 627273 726 1169 0 637284 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2553828

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.1
CPU time (s): 1800.16
CPU user time (s): 1798.9
CPU system time (s): 1.25981
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2553828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.25981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 653000
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= 6
involuntary context switches= 1800

runsolver used 2.81857 second user time and 5.63514 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-11 14:04:08
IDJOB=3486344
IDBENCH=77699
IDSOLVER=1977
FILE ID=node113/3486344-1307793847
RUNJOBID= node113-1307784414-13149
PBS_JOBID= 13550901
Free space on /tmp= 74080 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9013_9.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-3486344-1307793847/watcher-3486344-1307793847 -o /tmp/evaluation-result-3486344-1307793847/solver-3486344-1307793847 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486344-1307793847.opb -t 1800 -m 15500

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

MD5SUM BENCH= b0c7829ae2c1e7f3e474b84d63238c03
RANDOM SEED=2081488506

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29883148 kB
Buffers:        267736 kB
Cached:         929468 kB
SwapCached:      14384 kB
Active:        2180172 kB
Inactive:       681104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29883148 kB
SwapTotal:    67111528 kB
SwapFree:     67051096 kB
Dirty:           22540 kB
Writeback:           0 kB
AnonPages:     1660932 kB
Mapped:          11456 kB
Slab:           139032 kB
PageTables:       8044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1887500 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= 74028 MiB
End job on node113 at 2011-06-11 14:34:10