Trace number 3451839

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.22 1802.18

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12060_5.std.opb
MD5SUMa5005fc9f27cd5643854e7c3033a2662
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark107
Best CPU time to get the best result obtained on this benchmark1800.09
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 constraints256266
Number of constraints which are clauses255066
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 constraint120
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-3451839-1307119375.opb>
1.69/1.73	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256266 constraints
1.69/1.73	c problem read
1.69/1.73	c presolving settings loaded
2.10/2.22	c presolving:
8.70/8.74	c (round 1) 8199 del vars, 24830 del conss, 0 add conss, 6551 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17028722 impls, 0 clqs
11.29/11.35	c (round 2) 15092 del vars, 53112 del conss, 0 add conss, 13059 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17064276 impls, 0 clqs
12.00/12.07	c (round 3) 17266 del vars, 64640 del conss, 0 add conss, 14221 chg bounds, 24 chg sides, 27 chg coeffs, 0 upgd conss, 17079706 impls, 0 clqs
12.49/12.55	c (round 4) 18461 del vars, 69354 del conss, 0 add conss, 15022 chg bounds, 45 chg sides, 45 chg coeffs, 0 upgd conss, 17090535 impls, 0 clqs
12.79/12.87	c (round 5) 19355 del vars, 72985 del conss, 0 add conss, 15618 chg bounds, 45 chg sides, 45 chg coeffs, 0 upgd conss, 17097130 impls, 0 clqs
12.99/13.07	c (round 6) 19819 del vars, 74996 del conss, 0 add conss, 15901 chg bounds, 45 chg sides, 45 chg coeffs, 0 upgd conss, 17102290 impls, 0 clqs
13.10/13.21	c (round 7) 20139 del vars, 76314 del conss, 0 add conss, 16087 chg bounds, 45 chg sides, 45 chg coeffs, 0 upgd conss, 17105307 impls, 0 clqs
13.29/13.31	c (round 8) 20296 del vars, 77033 del conss, 0 add conss, 16184 chg bounds, 45 chg sides, 45 chg coeffs, 0 upgd conss, 17106989 impls, 0 clqs
13.39/13.40	c (round 9) 20394 del vars, 77492 del conss, 0 add conss, 16234 chg bounds, 45 chg sides, 45 chg coeffs, 0 upgd conss, 17108138 impls, 0 clqs
13.39/13.47	c (round 10) 20426 del vars, 77689 del conss, 0 add conss, 16253 chg bounds, 45 chg sides, 45 chg coeffs, 0 upgd conss, 17108375 impls, 0 clqs
13.49/13.53	c (round 11) 20440 del vars, 77770 del conss, 0 add conss, 16260 chg bounds, 45 chg sides, 45 chg coeffs, 0 upgd conss, 17108451 impls, 0 clqs
14.20/14.24	c (round 12) 20440 del vars, 77785 del conss, 0 add conss, 16260 chg bounds, 45 chg sides, 45 chg coeffs, 178481 upgd conss, 17108451 impls, 0 clqs
15.19/15.27	c (round 13) 20440 del vars, 77797 del conss, 65 add conss, 16260 chg bounds, 134 chg sides, 326 chg coeffs, 178481 upgd conss, 17108451 impls, 0 clqs
654.21/654.26	c    (654.3s) probing: 1000/52402 (1.9%) - 0 fixings, 0 aggregations, 14621652 implications, 0 bound changes
1252.83/1252.89	c    (1252.9s) probing: 2000/52402 (3.8%) - 0 fixings, 0 aggregations, 23563713 implications, 0 bound changes
1253.33/1253.33	c    (1253.3s) probing: 2001/52402 (3.8%) - 0 fixings, 0 aggregations, 23568577 implications, 0 bound changes
1253.33/1253.33	c    (1253.3s) probing aborted: 2000/2000 successive useless probings
1253.33/1253.33	c presolving (14 rounds):
1253.33/1253.33	c  20440 deleted vars, 77806 deleted constraints, 67 added constraints, 16260 tightened bounds, 0 added holes, 136 changed sides, 341 changed coefficients
1253.33/1253.33	c  105018629 implications, 0 cliques
1253.33/1253.33	c presolved problem has 52402 variables (52402 bin, 0 int, 0 impl, 0 cont) and 178527 constraints
1253.33/1253.33	c    1149 constraints of type <knapsack>
1253.33/1253.33	c  151491 constraints of type <setppc>
1253.33/1253.33	c   25887 constraints of type <logicor>
1253.33/1253.33	c transformed objective value is always integral (scale: 1)
1253.33/1253.33	c Presolving Time: 1251.24
1253.33/1253.33	c - non default parameters ----------------------------------------------------------------------
1253.33/1253.33	c # SCIP version 2.0.1.5
1253.33/1253.33	c 
1253.33/1253.33	c # frequency for displaying node information lines
1253.33/1253.33	c # [type: int, range: [-1,2147483647], default: 100]
1253.33/1253.33	c display/freq = 10000
1253.33/1253.33	c 
1253.33/1253.33	c # maximal time in seconds to run
1253.33/1253.33	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1253.33/1253.33	c limits/time = 1800
1253.33/1253.33	c 
1253.33/1253.33	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1253.33/1253.33	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1253.33/1253.33	c limits/memory = 13950
1253.33/1253.33	c 
1253.33/1253.33	c # default clock type (1: CPU user seconds, 2: wall clock time)
1253.33/1253.33	c # [type: int, range: [1,2], default: 1]
1253.33/1253.33	c timing/clocktype = 2
1253.33/1253.33	c 
1253.33/1253.33	c # belongs reading time to solving time?
1253.33/1253.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1253.33/1253.33	c timing/reading = TRUE
1253.33/1253.33	c 
1253.33/1253.33	c # should presolving try to simplify inequalities
1253.33/1253.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1253.33/1253.33	c constraints/linear/simplifyinequalities = TRUE
1253.33/1253.33	c 
1253.33/1253.33	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1253.33/1253.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1253.33/1253.33	c constraints/indicator/addCouplingCons = TRUE
1253.33/1253.33	c 
1253.33/1253.33	c # should presolving try to simplify knapsacks
1253.33/1253.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1253.33/1253.33	c constraints/knapsack/simplifyinequalities = TRUE
1253.33/1253.33	c 
1253.33/1253.33	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1253.33/1253.33	c # [type: int, range: [-1,2147483647], default: -1]
1253.33/1253.33	c separating/rapidlearning/freq = 0
1253.33/1253.33	c 
1253.33/1253.33	c -----------------------------------------------------------------------------------------------
1253.33/1253.33	c start solving
1253.33/1253.37	c

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-3451839-1307119375/watcher-3451839-1307119375 -o /tmp/evaluation-result-3451839-1307119375/solver-3451839-1307119375 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451839-1307119375.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.00 1.11 1.48 2/530 19436
/proc/meminfo: memFree=29088580/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=14728 CPUtime=0 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 2655 0 0 0 0 0 0 0 20 0 1 0 823535459 15081472 2608 33554432000 4194304 9163163 140735754412736 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19436/statm: 3682 2608 395 1214 0 2464 0

[startup+0.086406 s]
/proc/loadavg: 1.00 1.11 1.48 2/530 19436
/proc/meminfo: memFree=29088580/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=28800 CPUtime=0.07 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 6202 0 0 0 7 0 0 0 20 0 1 0 823535459 29491200 6155 33554432000 4194304 9163163 140735754412736 18446744073709551615 7995393 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19436/statm: 7200 6155 395 1214 0 5982 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 28800

[startup+0.100399 s]
/proc/loadavg: 1.00 1.11 1.48 2/530 19436
/proc/meminfo: memFree=29088580/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=30068 CPUtime=0.09 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 6519 0 0 0 9 0 0 0 20 0 1 0 823535459 30789632 6472 33554432000 4194304 9163163 140735754412736 18446744073709551615 8041854 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19436/statm: 7517 6472 395 1214 0 6299 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30068

[startup+0.300367 s]
/proc/loadavg: 1.00 1.11 1.48 2/530 19436
/proc/meminfo: memFree=29088580/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=56884 CPUtime=0.29 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 13204 0 0 0 28 1 0 0 21 0 1 0 823535459 58249216 13157 33554432000 4194304 9163163 140735754412736 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19436/statm: 14221 13157 395 1214 0 13003 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56884

[startup+0.700299 s]
/proc/loadavg: 1.00 1.11 1.48 2/530 19436
/proc/meminfo: memFree=29088580/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=80892 CPUtime=0.69 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 19181 0 0 0 67 2 0 0 22 0 1 0 823535459 82833408 19134 33554432000 4194304 9163163 140735754412736 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19436/statm: 20223 19134 395 1214 0 19005 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80892

[startup+1.50016 s]
/proc/loadavg: 1.00 1.11 1.48 3/536 19442
/proc/meminfo: memFree=28900168/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=150264 CPUtime=1.49 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 36469 0 0 0 145 4 0 0 25 0 1 0 823535459 153870336 36422 33554432000 4194304 9163163 140735754412736 18446744073709551615 4217150 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19436/statm: 37566 36422 395 1214 0 36348 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 150264

[startup+3.10088 s]
/proc/loadavg: 1.08 1.13 1.48 3/536 19442
/proc/meminfo: memFree=28419044/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=503924 CPUtime=3.09 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 123679 0 0 0 296 13 0 0 25 0 1 0 823535459 516018176 123612 33554432000 4194304 9163163 140735754412736 18446744073709551615 4352509 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 125981 123612 506 1214 0 124763 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 503924

[startup+6.30031 s]
/proc/loadavg: 1.08 1.13 1.48 3/536 19442
/proc/meminfo: memFree=27726428/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=777504 CPUtime=6.29 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 191369 0 0 0 609 20 0 0 25 0 1 0 823535459 796164096 191302 33554432000 4194304 9163163 140735754412736 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 194376 191302 506 1214 0 193158 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 777504

[startup+12.7012 s]
/proc/loadavg: 1.22 1.16 1.49 3/536 19442
/proc/meminfo: memFree=27322240/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=899332 CPUtime=12.69 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 219874 0 0 0 1246 23 0 0 25 0 1 0 823535459 920915968 219550 33554432000 4194304 9163163 140735754412736 18446744073709551615 6568764 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 224833 219550 518 1214 0 223615 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 899332

[startup+25.5009 s]
/proc/loadavg: 1.34 1.18 1.49 3/536 19442
/proc/meminfo: memFree=27150460/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=1007620 CPUtime=25.5 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 264297 0 0 0 2521 29 0 0 25 0 1 0 823535459 1031802880 245358 33554432000 4194304 9163163 140735754412736 18446744073709551615 4855360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 251905 245358 565 1214 0 250687 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1007620

[startup+51.1004 s]
/proc/loadavg: 1.56 1.25 1.50 3/536 19443
/proc/meminfo: memFree=27039788/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=1060824 CPUtime=51.09 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 277469 0 0 0 5079 30 0 0 25 0 1 0 823535459 1086283776 258530 33554432000 4194304 9163163 140735754412736 18446744073709551615 6567811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 265206 258530 565 1214 0 263988 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1060824

[startup+102.321 s]
/proc/loadavg: 1.82 1.37 1.53 3/536 19444
/proc/meminfo: memFree=26736540/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=1227024 CPUtime=102.32 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 318649 0 0 0 10197 35 0 0 25 0 1 0 823535459 1256472576 299710 33554432000 4194304 9163163 140735754412736 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 306756 299710 565 1214 0 305538 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 1227024

[startup+162.301 s]
/proc/loadavg: 1.93 1.48 1.55 3/536 19446
/proc/meminfo: memFree=26385968/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=1387912 CPUtime=162.3 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 357732 0 0 0 16191 39 0 0 25 0 1 0 823535459 1421221888 338793 33554432000 4194304 9163163 140735754412736 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 346978 338793 565 1214 0 345760 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1387912

[startup+222.3 s]
/proc/loadavg: 1.97 1.57 1.58 3/536 19447
/proc/meminfo: memFree=25887696/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=1618056 CPUtime=222.3 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 414803 0 0 0 22185 45 0 0 25 0 1 0 823535459 1656889344 395864 33554432000 4194304 9163163 140735754412736 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 404514 395864 565 1214 0 403296 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1618056

[startup+282.301 s]
/proc/loadavg: 2.06 1.66 1.61 3/536 19449
/proc/meminfo: memFree=25433704/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=1874152 CPUtime=282.3 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 478565 0 0 0 28178 52 0 0 25 0 1 0 823535459 1919131648 459626 33554432000 4194304 9163163 140735754412736 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 468538 459626 565 1214 0 467320 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1874152

[startup+342.3 s]
/proc/loadavg: 2.21 1.77 1.65 3/536 19451
/proc/meminfo: memFree=25058808/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=2058348 CPUtime=342.3 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 524673 0 0 0 34171 59 0 0 25 0 1 0 823535459 2107748352 505734 33554432000 4194304 9163163 140735754412736 18446744073709551615 4352416 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 514587 505734 565 1214 0 513369 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2058348

[startup+402.301 s]
/proc/loadavg: 2.14 1.82 1.67 3/536 19452
/proc/meminfo: memFree=24740964/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=2215120 CPUtime=402.3 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 562235 0 0 0 40166 64 0 0 25 0 1 0 823535459 2268282880 543296 33554432000 4194304 9163163 140735754412736 18446744073709551615 5459163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 553780 543296 565 1214 0 552562 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2215120

[startup+462.301 s]
/proc/loadavg: 2.05 1.85 1.69 3/536 19454
/proc/meminfo: memFree=24370784/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=2448124 CPUtime=462.3 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 621351 0 0 0 46159 71 0 0 25 0 1 0 823535459 2506878976 602412 33554432000 4194304 9163163 140735754412736 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 612031 602412 565 1214 0 610813 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2448124

[startup+522.301 s]
/proc/loadavg: 2.02 1.88 1.70 3/536 19455
/proc/meminfo: memFree=24046492/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=2564136 CPUtime=522.3 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 649987 0 0 0 52155 75 0 0 25 0 1 0 823535459 2625675264 631048 33554432000 4194304 9163163 140735754412736 18446744073709551615 6567491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 641034 631048 565 1214 0 639816 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2564136

[startup+582.301 s]
/proc/loadavg: 2.00 1.90 1.72 3/536 19457
/proc/meminfo: memFree=23767572/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=2751828 CPUtime=582.31 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 696329 0 0 0 58151 80 0 0 25 0 1 0 823535459 2817871872 677390 33554432000 4194304 9163163 140735754412736 18446744073709551615 6567488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 687957 677390 565 1214 0 686739 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2751828

[startup+642.3 s]

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

/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 892746 0 0 0 106123 108 0 0 25 0 1 0 823535459 3630530560 873807 33554432000 4194304 9163163 140735754412736 18446744073709551615 6555920 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 886360 873807 569 1214 0 885142 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3545440

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 1.85 3/536 19480
/proc/meminfo: memFree=21981504/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=3621988 CPUtime=1122.32 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 911996 0 0 0 112122 110 0 0 25 0 1 0 823535459 3708915712 893057 33554432000 4194304 9163163 140735754412736 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 905497 893057 569 1214 0 904279 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3621988

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 1.85 3/536 19482
/proc/meminfo: memFree=21853112/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=3678788 CPUtime=1182.32 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 926669 0 0 0 118120 112 0 0 25 0 1 0 823535459 3767078912 907730 33554432000 4194304 9163163 140735754412736 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 919697 907730 569 1214 0 918479 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3678788

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/536 19484
/proc/meminfo: memFree=21661000/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=3777820 CPUtime=1242.32 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 951134 0 0 0 124117 115 0 0 25 0 1 0 823535459 3868487680 932195 33554432000 4194304 9163163 140735754412736 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 944455 932195 569 1214 0 943237 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3777820

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/536 19488
/proc/meminfo: memFree=21290076/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=4105200 CPUtime=1302.34 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 1029407 0 0 0 130105 129 0 0 25 0 1 0 823535459 4203724800 1007215 33554432000 4194304 9163163 140735754412736 18446744073709551615 7359755 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 1026300 1007215 782 1214 0 1025082 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 4105200

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/536 19490
/proc/meminfo: memFree=21196048/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=4114076 CPUtime=1362.33 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 1033299 0 0 0 136098 135 0 0 25 0 1 0 823535459 4212813824 1010883 33554432000 4194304 9163163 140735754412736 18446744073709551615 7349062 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 1028519 1010883 738 1214 0 1027301 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 4114076

[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.88 3/536 19491
/proc/meminfo: memFree=21126192/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=4129332 CPUtime=1422.35 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 1035601 0 0 0 142093 142 0 0 25 0 1 0 823535459 4228435968 1013121 33554432000 4194304 9163163 140735754412736 18446744073709551615 7349023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 1032333 1013121 703 1214 0 1031115 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 4129332

[startup+1482.3 s]
/proc/loadavg: 2.13 2.04 1.90 3/536 19493
/proc/meminfo: memFree=21036272/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=4143144 CPUtime=1482.32 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 1041576 0 0 0 148085 147 0 0 25 0 1 0 823535459 4242579456 1018454 33554432000 4194304 9163163 140735754412736 18446744073709551615 7349042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 1035786 1018454 726 1214 0 1034568 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 4143144

[startup+1542.3 s]
/proc/loadavg: 2.17 2.08 1.92 3/536 19495
/proc/meminfo: memFree=20976096/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=4143144 CPUtime=1542.33 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 1042407 0 0 0 154080 153 0 0 25 0 1 0 823535459 4242579456 1019285 33554432000 4194304 9163163 140735754412736 18446744073709551615 7349313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 1035786 1019285 726 1214 0 1034568 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 4143144

[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 1.92 3/536 19496
/proc/meminfo: memFree=20894236/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=4152148 CPUtime=1602.33 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 1044812 0 0 0 160075 158 0 0 25 0 1 0 823535459 4251799552 1021648 33554432000 4194304 9163163 140735754412736 18446744073709551615 8041945 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 1038037 1021648 718 1214 0 1036819 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 4152148

[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 1.92 3/536 19498
/proc/meminfo: memFree=20828612/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=4152148 CPUtime=1662.33 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 1044817 0 0 0 166071 162 0 0 25 0 1 0 823535459 4251799552 1021653 33554432000 4194304 9163163 140735754412736 18446744073709551615 7349313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 1038037 1021653 718 1214 0 1036819 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 4152148

[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 1.92 3/536 19499
/proc/meminfo: memFree=20754176/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=4154504 CPUtime=1722.33 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 1045505 0 0 0 172067 166 0 0 25 0 1 0 823535459 4254212096 1022315 33554432000 4194304 9163163 140735754412736 18446744073709551615 7349047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 1038626 1022315 692 1214 0 1037408 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 4154504

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.92 3/536 19501
/proc/meminfo: memFree=20668092/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=4155096 CPUtime=1782.34 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 1045700 0 0 0 178065 169 0 0 25 0 1 0 823535459 4254818304 1022486 33554432000 4194304 9163163 140735754412736 18446744073709551615 7349313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 1038774 1022486 692 1214 0 1037556 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 4155096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.92 3/536 19502
/proc/meminfo: memFree=20650100/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=4155656 CPUtime=1800.05 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 1045846 0 0 0 179835 170 0 0 25 0 1 0 823535459 4255391744 1022617 33554432000 4194304 9163163 140735754412736 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 1038914 1022617 692 1214 0 1037696 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 4155656

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -19436

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 1.92 2/535 19504
/proc/meminfo: memFree=24983908/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=4155656 CPUtime=1801.44 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 1045846 0 0 0 179974 170 0 0 25 0 1 0 823535459 4255391744 1022617 33554432000 4194304 9163163 140735754412736 18446744073709551615 7349096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 1038914 1022617 692 1214 0 1037696 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 4155656

[startup+1801.82 s]
/proc/loadavg: 1.92 2.01 1.91 2/535 19504
/proc/meminfo: memFree=24984404/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=4155656 CPUtime=1801.86 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 1045846 0 0 0 180016 170 0 0 25 0 1 0 823535459 4255391744 1022617 33554432000 4194304 9163163 140735754412736 18446744073709551615 7349397 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 1038914 1022617 692 1214 0 1037696 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 4155656

[startup+1802 s]
/proc/loadavg: 1.92 2.01 1.91 2/535 19504
/proc/meminfo: memFree=24984404/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=4155656 CPUtime=1802.04 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4202496 1045846 0 0 0 180034 170 0 0 25 0 1 0 823535459 4255391744 1022617 33554432000 4194304 9163163 140735754412736 18446744073709551615 7349052 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19436/statm: 1038914 1022617 692 1214 0 1037696 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 4155656

[startup+1802.1 s]
/proc/loadavg: 1.92 2.01 1.91 2/535 19504
/proc/meminfo: memFree=24984404/32951124 swapFree=58212616/67111528
[pid=19436] ppid=19434 vsize=0 CPUtime=1802.13 cores=1,3,5,7
/proc/19436/stat : 19436 (scip-2.0.1.4b.l) R 19434 19436 17375 0 -1 4203524 1045846 0 0 0 180036 177 0 0 25 0 1 0 823535459 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/19436/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.18
CPU time (s): 1802.22
CPU user time (s): 1800.36
CPU system time (s): 1.86072
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 4155656

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

runsolver used 8.91364 second user time and 23.8544 second system time

The end

Launcher Data 

Begin job on node136 at 2011-06-03 18:42:55
IDJOB=3451839
IDBENCH=77502
IDSOLVER=1948
FILE ID=node136/3451839-1307119375
RUNJOBID= node136-1307119375-19422
PBS_JOBID= 13497994
Free space on /tmp= 73816 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-j12060_5.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-3451839-1307119375/watcher-3451839-1307119375 -o /tmp/evaluation-result-3451839-1307119375/solver-3451839-1307119375 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451839-1307119375.opb -t 1800 -m 15500

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

MD5SUM BENCH= a5005fc9f27cd5643854e7c3033a2662
RANDOM SEED=139908061

node136.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.809
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.61
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.809
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.809
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.809
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.76
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.809
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.809
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.809
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.809
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:     32951124 kB
MemFree:      29088860 kB
Buffers:        260692 kB
Cached:         487836 kB
SwapCached:       7704 kB
Active:        3216752 kB
Inactive:       350628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29088860 kB
SwapTotal:    67111528 kB
SwapFree:     58212616 kB
Dirty:           41156 kB
Writeback:           8 kB
AnonPages:     2817728 kB
Mapped:          23960 kB
Slab:           155968 kB
PageTables:      68528 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 169213620 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= 73812 MiB
End job on node136 at 2011-06-03 19:12:57