Trace number 3453487

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12040_1.std.opb
MD5SUM6fb8c842434b82a13287e61400a56efc
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark82
Best CPU time to get the best result obtained on this benchmark1800.12
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 constraints245500
Number of constraints which are clauses244300
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.01	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-3453487-1307120961.opb>
1.59/1.65	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245500 constraints
1.59/1.65	c problem read
1.59/1.65	c presolving settings loaded
2.49/2.51	c presolving:
8.89/8.95	c (round 1) 5471 del vars, 15862 del conss, 0 add conss, 4095 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16790072 impls, 0 clqs
11.39/11.48	c (round 2) 11421 del vars, 39185 del conss, 0 add conss, 9700 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16821114 impls, 0 clqs
12.11/12.18	c (round 3) 13592 del vars, 49337 del conss, 0 add conss, 10884 chg bounds, 17 chg sides, 27 chg coeffs, 0 upgd conss, 16834186 impls, 0 clqs
12.49/12.58	c (round 4) 14648 del vars, 53526 del conss, 0 add conss, 11537 chg bounds, 56 chg sides, 71 chg coeffs, 0 upgd conss, 16842727 impls, 0 clqs
12.79/12.86	c (round 5) 15293 del vars, 56094 del conss, 0 add conss, 11970 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16847799 impls, 0 clqs
12.99/13.05	c (round 6) 15691 del vars, 57702 del conss, 0 add conss, 12214 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16850736 impls, 0 clqs
13.09/13.16	c (round 7) 15877 del vars, 58610 del conss, 0 add conss, 12316 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852000 impls, 0 clqs
13.21/13.25	c (round 8) 15963 del vars, 59000 del conss, 0 add conss, 12373 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852452 impls, 0 clqs
13.29/13.32	c (round 9) 16007 del vars, 59224 del conss, 0 add conss, 12409 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852518 impls, 0 clqs
13.29/13.38	c (round 10) 16009 del vars, 59267 del conss, 0 add conss, 12410 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852532 impls, 0 clqs
14.08/14.15	c (round 11) 16009 del vars, 59269 del conss, 0 add conss, 12410 chg bounds, 66 chg sides, 94 chg coeffs, 186231 upgd conss, 16852532 impls, 0 clqs
15.29/15.31	c (round 12) 16009 del vars, 59291 del conss, 58 add conss, 12410 chg bounds, 165 chg sides, 360 chg coeffs, 186231 upgd conss, 16852532 impls, 0 clqs
706.51/706.50	c    (706.5s) probing: 1000/56833 (1.8%) - 0 fixings, 0 aggregations, 13269339 implications, 0 bound changes
1208.01/1208.07	c    (1208.1s) probing: 2000/56833 (3.5%) - 0 fixings, 0 aggregations, 20102037 implications, 0 bound changes
1208.42/1208.48	c    (1208.5s) probing: 2001/56833 (3.5%) - 0 fixings, 0 aggregations, 20108109 implications, 0 bound changes
1208.42/1208.48	c    (1208.5s) probing aborted: 2000/2000 successive useless probings
1208.42/1208.48	c presolving (13 rounds):
1208.42/1208.48	c  16009 deleted vars, 59301 deleted constraints, 58 added constraints, 12410 tightened bounds, 0 added holes, 165 changed sides, 362 changed coefficients
1208.42/1208.48	c  84975936 implications, 0 cliques
1208.42/1208.48	c presolved problem has 56833 variables (56833 bin, 0 int, 0 impl, 0 cont) and 186257 constraints
1208.42/1208.48	c    1123 constraints of type <knapsack>
1208.42/1208.48	c  157010 constraints of type <setppc>
1208.42/1208.48	c   28124 constraints of type <logicor>
1208.42/1208.48	c transformed objective value is always integral (scale: 1)
1208.42/1208.48	c Presolving Time: 1206.60
1208.42/1208.48	c - non default parameters ----------------------------------------------------------------------
1208.42/1208.48	c # SCIP version 2.0.1.4
1208.42/1208.48	c 
1208.42/1208.48	c # frequency for displaying node information lines
1208.42/1208.48	c # [type: int, range: [-1,2147483647], default: 100]
1208.42/1208.48	c display/freq = 10000
1208.42/1208.48	c 
1208.42/1208.48	c # maximal time in seconds to run
1208.42/1208.48	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1208.42/1208.48	c limits/time = 1800
1208.42/1208.48	c 
1208.42/1208.48	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1208.42/1208.48	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1208.42/1208.48	c limits/memory = 13950
1208.42/1208.48	c 
1208.42/1208.48	c # default clock type (1: CPU user seconds, 2: wall clock time)
1208.42/1208.48	c # [type: int, range: [1,2], default: 1]
1208.42/1208.48	c timing/clocktype = 2
1208.42/1208.48	c 
1208.42/1208.48	c # belongs reading time to solving time?
1208.42/1208.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1208.42/1208.48	c timing/reading = TRUE
1208.42/1208.48	c 
1208.42/1208.48	c # should presolving try to simplify inequalities
1208.42/1208.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1208.42/1208.48	c constraints/linear/simplifyinequalities = TRUE
1208.42/1208.48	c 
1208.42/1208.48	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1208.42/1208.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1208.42/1208.48	c constraints/indicator/addCouplingCons = TRUE
1208.42/1208.48	c 
1208.42/1208.48	c # should presolving try to simplify knapsacks
1208.42/1208.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1208.42/1208.48	c constraints/knapsack/simplifyinequalities = TRUE
1208.42/1208.48	c 
1208.42/1208.48	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1208.42/1208.48	c # [type: int, range: [-1,2147483647], default: -1]
1208.42/1208.48	c separating/rapidlearning/freq = 0
1208.42/1208.48	c 
1208.42/1208.48	c -----------------------------------------------------------------------------------------------
1208.42/1208.48	c start solving
1208.52/1208.52	c 
1725.23/1725.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1725.23/1725.26	c  1725s|     1 |     0 | 74861 |     - |2560M|   0 |2198 |  56k| 186k|  56k| 186k|   0 | 147 |   0 | 7.828856e+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-3453487-1307120961/watcher-3453487-1307120961 -o /tmp/evaluation-result-3453487-1307120961/solver-3453487-1307120961 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453487-1307120961.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.05 2.03 1.97 3/412 2531
/proc/meminfo: memFree=25988620/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=5156 CPUtime=0 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 198 0 0 0 0 0 0 0 20 0 1 0 279705510 5279744 151 33554432000 4194304 9128323 140733594983552 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2531/statm: 1289 167 140 1205 0 80 0

[startup+0.046708 s]
/proc/loadavg: 2.05 2.03 1.97 3/412 2531
/proc/meminfo: memFree=25988620/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=17316 CPUtime=0.03 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 3344 0 0 0 3 0 0 0 20 0 1 0 279705510 17731584 3296 33554432000 4194304 9128323 140733594983552 18446744073709551615 6165353 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2531/statm: 4329 3296 400 1205 0 3120 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17316

[startup+0.100693 s]
/proc/loadavg: 2.05 2.03 1.97 3/412 2531
/proc/meminfo: memFree=25988620/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=26340 CPUtime=0.08 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 5600 0 0 0 8 0 0 0 20 0 1 0 279705510 26972160 5551 33554432000 4194304 9128323 140733594983552 18446744073709551615 8008920 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2531/statm: 6585 5551 400 1205 0 5376 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26340

[startup+0.300655 s]
/proc/loadavg: 2.05 2.03 1.97 3/412 2531
/proc/meminfo: memFree=25988620/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=50212 CPUtime=0.29 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 11585 0 0 0 27 2 0 0 21 0 1 0 279705510 51417088 11504 33554432000 4194304 9128323 140733594983552 18446744073709551615 4443126 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2531/statm: 12553 11504 400 1205 0 11344 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50212

[startup+0.700583 s]
/proc/loadavg: 2.05 2.03 1.97 3/412 2531
/proc/meminfo: memFree=25988620/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=68572 CPUtime=0.69 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 16160 0 0 0 67 2 0 0 22 0 1 0 279705510 70217728 16071 33554432000 4194304 9128323 140733594983552 18446744073709551615 7447233 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2531/statm: 17143 16071 400 1205 0 15934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68572

[startup+1.50045 s]
/proc/loadavg: 2.05 2.03 1.97 3/416 2538
/proc/meminfo: memFree=25821896/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=129988 CPUtime=1.48 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 31454 0 0 0 145 3 0 0 25 0 1 0 279705510 133107712 31349 33554432000 4194304 9128323 140733594983552 18446744073709551615 4443126 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2531/statm: 32497 31349 400 1205 0 31288 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 129988

[startup+3.10117 s]
/proc/loadavg: 2.04 2.03 1.97 3/416 2538
/proc/meminfo: memFree=25370908/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=466092 CPUtime=3.09 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 126129 0 0 0 294 15 0 0 25 0 1 0 279705510 477278208 113548 33554432000 4194304 9128323 140733594983552 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 116523 113548 501 1205 0 115314 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 466092

[startup+6.3006 s]
/proc/loadavg: 2.04 2.03 1.97 3/416 2538
/proc/meminfo: memFree=24631432/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=760108 CPUtime=6.29 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 198780 0 0 0 606 23 0 0 25 0 1 0 279705510 778350592 186199 33554432000 4194304 9128323 140733594983552 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 190027 186199 510 1205 0 188818 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 760108

[startup+12.7005 s]
/proc/loadavg: 2.04 2.03 1.97 3/416 2538
/proc/meminfo: memFree=24234300/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=895380 CPUtime=12.69 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 231850 0 0 0 1242 27 0 0 25 0 1 0 279705510 916869120 218336 33554432000 4194304 9128323 140733594983552 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 223845 218336 523 1205 0 222636 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 895380

[startup+25.5012 s]
/proc/loadavg: 2.03 2.03 1.97 3/416 2538
/proc/meminfo: memFree=23966296/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=1062600 CPUtime=25.49 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 289961 0 0 0 2515 34 0 0 25 0 1 0 279705510 1088102400 258312 33554432000 4194304 9128323 140733594983552 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 265650 258312 688 1205 0 264441 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1062600

[startup+51.1007 s]
/proc/loadavg: 2.02 2.02 1.97 3/416 2539
/proc/meminfo: memFree=23876960/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=1108396 CPUtime=51.09 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 300903 0 0 0 5073 36 0 0 25 0 1 0 279705510 1134997504 269221 33554432000 4194304 9128323 140733594983552 18446744073709551615 4352172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 277099 269221 688 1205 0 275890 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1108396

[startup+102.317 s]
/proc/loadavg: 2.01 2.02 1.97 3/416 2541
/proc/meminfo: memFree=23571532/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=1254112 CPUtime=102.3 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 336985 0 0 0 10189 41 0 0 25 0 1 0 279705510 1284210688 305303 33554432000 4194304 9128323 140733594983552 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 313528 305303 688 1205 0 312319 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1254112

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/416 2542
/proc/meminfo: memFree=23208320/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=1374304 CPUtime=162.29 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 367573 0 0 0 16184 45 0 0 25 0 1 0 279705510 1407287296 335396 33554432000 4194304 9128323 140733594983552 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 343576 335396 688 1205 0 342367 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1374304

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/416 2547
/proc/meminfo: memFree=22841996/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=1572784 CPUtime=222.29 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 416786 0 0 0 22178 51 0 0 25 0 1 0 279705510 1610530816 384444 33554432000 4194304 9128323 140733594983552 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 393196 384444 688 1205 0 391987 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1572784

[startup+282.301 s]
/proc/loadavg: 2.07 2.02 1.98 3/416 2548
/proc/meminfo: memFree=22446436/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=1772868 CPUtime=282.29 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 466175 0 0 0 28171 58 0 0 25 0 1 0 279705510 1815416832 433602 33554432000 4194304 9128323 140733594983552 18446744073709551615 6592413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 443217 433602 688 1205 0 442008 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1772868

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/416 2550
/proc/meminfo: memFree=22131712/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=1896648 CPUtime=342.3 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 497400 0 0 0 34169 61 0 0 25 0 1 0 279705510 1942167552 464827 33554432000 4194304 9128323 140733594983552 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 474162 464827 688 1205 0 472953 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1896648

[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.98 3/416 2552
/proc/meminfo: memFree=21851584/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=2036356 CPUtime=402.3 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 532337 0 0 0 40165 65 0 0 25 0 1 0 279705510 2085228544 499764 33554432000 4194304 9128323 140733594983552 18446744073709551615 5488614 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 509089 499764 688 1205 0 507880 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2036356

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/416 2553
/proc/meminfo: memFree=21535732/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=2217540 CPUtime=462.3 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 577600 0 0 0 46158 72 0 0 25 0 1 0 279705510 2270760960 545027 33554432000 4194304 9128323 140733594983552 18446744073709551615 5973224 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 554385 545027 688 1205 0 553176 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2217540

[startup+522.301 s]
/proc/loadavg: 2.07 2.03 1.99 3/416 2556
/proc/meminfo: memFree=21248776/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=2342248 CPUtime=522.3 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 607695 0 0 0 52154 76 0 0 25 0 1 0 279705510 2398461952 575122 33554432000 4194304 9128323 140733594983552 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 585562 575122 688 1205 0 584353 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2342248

[startup+582.301 s]
/proc/loadavg: 2.02 2.02 1.99 3/416 2557
/proc/meminfo: memFree=20972736/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=2436984 CPUtime=582.3 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 631227 0 0 0 58150 80 0 0 25 0 1 0 279705510 2495471616 598654 33554432000 4194304 9128323 140733594983552 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 609246 598654 688 1205 0 608037 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2436984

[startup+642.301 s]

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

/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 774531 0 0 0 106129 102 0 0 25 0 1 0 279705510 3087253504 741958 33554432000 4194304 9128323 140733594983552 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 753724 741958 692 1205 0 752515 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3014896

[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/416 2572
/proc/meminfo: memFree=19690788/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3068188 CPUtime=1122.32 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 787405 0 0 0 112127 105 0 0 25 0 1 0 279705510 3141824512 754832 33554432000 4194304 9128323 140733594983552 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 767047 754832 692 1205 0 765838 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3068188

[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/416 2573
/proc/meminfo: memFree=19569248/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3101580 CPUtime=1182.32 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 796330 0 0 0 118126 106 0 0 25 0 1 0 279705510 3176017920 763757 33554432000 4194304 9128323 140733594983552 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 775395 763757 692 1205 0 774186 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3101580

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 2575
/proc/meminfo: memFree=19216212/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3448860 CPUtime=1242.31 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 877102 0 0 0 124110 121 0 0 25 0 1 0 279705510 3531632640 842302 33554432000 4194304 9128323 140733594983552 18446744073709551615 8008987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 862215 842302 924 1205 0 861006 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 3448860

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 2577
/proc/meminfo: memFree=18913016/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3467768 CPUtime=1302.32 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 882087 0 0 0 130103 129 0 0 25 0 1 0 279705510 3550994432 847070 33554432000 4194304 9128323 140733594983552 18446744073709551615 7316352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 866942 847070 885 1205 0 865733 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3467768

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 2578
/proc/meminfo: memFree=18881008/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3485492 CPUtime=1362.32 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 887170 0 0 0 136097 135 0 0 25 0 1 0 279705510 3569143808 851936 33554432000 4194304 9128323 140733594983552 18446744073709551615 7316161 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 871373 851936 1109 1205 0 870164 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3485492

[startup+1422.32 s]
/proc/loadavg: 2.10 2.03 2.01 3/416 2580
/proc/meminfo: memFree=18843288/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3494424 CPUtime=1422.33 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 888419 0 0 0 142093 140 0 0 25 0 1 0 279705510 3578290176 852840 33554432000 4194304 9128323 140733594983552 18446744073709551615 7316369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 873606 852840 764 1205 0 872397 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3494424

[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/416 2581
/proc/meminfo: memFree=18811412/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1482.32 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 895064 0 0 0 148088 144 0 0 25 0 1 0 279705510 3614744576 859339 33554432000 4194304 9128323 140733594983552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 859339 1881 1205 0 881297 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3530024

[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/416 2583
/proc/meminfo: memFree=18810776/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1542.32 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 895523 0 0 0 154084 148 0 0 25 0 1 0 279705510 3614744576 859751 33554432000 4194304 9128323 140733594983552 18446744073709551615 7316156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 859751 1834 1205 0 881297 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3530024

[startup+1602.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/416 2585
/proc/meminfo: memFree=18871520/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1602.33 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 895692 0 0 0 160082 151 0 0 25 0 1 0 279705510 3614744576 859920 33554432000 4194304 9128323 140733594983552 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 859920 1834 1205 0 881297 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3530024

[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/416 2586
/proc/meminfo: memFree=18871996/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1662.33 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 895758 0 0 0 166077 156 0 0 25 0 1 0 279705510 3614744576 859986 33554432000 4194304 9128323 140733594983552 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 859986 1834 1205 0 881297 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3530024

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/416 2588
/proc/meminfo: memFree=18870988/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1722.32 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 895834 0 0 0 172073 159 0 0 25 0 1 0 279705510 3614744576 860062 33554432000 4194304 9128323 140733594983552 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 860062 1837 1205 0 881297 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3530024

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/416 2589
/proc/meminfo: memFree=18852000/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1782.32 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 900174 0 0 0 178065 167 0 0 25 0 1 0 279705510 3614744576 864158 33554432000 4194304 9128323 140733594983552 18446744073709551615 7282831 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 864158 1600 1205 0 881297 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 3530024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/416 2590
/proc/meminfo: memFree=18853228/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1800.03 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 900174 0 0 0 179833 170 0 0 25 0 1 0 279705510 3614744576 864158 33554432000 4194304 9128323 140733594983552 18446744073709551615 7325260 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 864158 1600 1205 0 881297 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3530024

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -2531

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

[startup+1801.4 s]
/proc/loadavg: 2.01 2.03 2.00 3/418 2592
/proc/meminfo: memFree=18848872/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1801.43 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 900174 0 0 0 179973 170 0 0 25 0 1 0 279705510 3614744576 864158 33554432000 4194304 9128323 140733594983552 18446744073709551615 7325544 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 864158 1600 1205 0 881297 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 3530024

[startup+1801.82 s]
/proc/loadavg: 2.01 2.03 2.00 3/418 2592
/proc/meminfo: memFree=18840936/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1801.84 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 900174 0 0 0 180014 170 0 0 25 0 1 0 279705510 3614744576 864158 33554432000 4194304 9128323 140733594983552 18446744073709551615 7328424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 864158 1600 1205 0 881297 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 3530024

[startup+1802 s]
/proc/loadavg: 2.01 2.03 2.00 3/418 2592
/proc/meminfo: memFree=18840936/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1802.03 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 900174 0 0 0 180033 170 0 0 25 0 1 0 279705510 3614744576 864158 33554432000 4194304 9128323 140733594983552 18446744073709551615 7358973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 864158 1600 1205 0 881297 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 3530024

[startup+1802.1 s]
/proc/loadavg: 2.01 2.03 2.00 3/418 2592
/proc/meminfo: memFree=18840936/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=0 CPUtime=1802.13 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4203524 900174 0 0 0 180034 179 0 0 25 0 1 0 279705510 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/2531/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.15
CPU time (s): 1802.19
CPU user time (s): 1800.35
CPU system time (s): 1.83972
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3530024

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

runsolver used 6.73998 second user time and 17.8683 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-03 19:09:21
IDJOB=3453487
IDBENCH=77578
IDSOLVER=1949
FILE ID=node112/3453487-1307120961
RUNJOBID= node112-1307117356-2295
PBS_JOBID= 13497992
Free space on /tmp= 73808 MiB

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

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

MD5SUM BENCH= 6fb8c842434b82a13287e61400a56efc
RANDOM SEED=1073094814

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      25989272 kB
Buffers:        327568 kB
Cached:        5668312 kB
SwapCached:      31280 kB
Active:         919248 kB
Inactive:      5760660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25989272 kB
SwapTotal:    67111528 kB
SwapFree:     52006644 kB
Dirty:           20256 kB
Writeback:           0 kB
AnonPages:      661028 kB
Mapped:          11816 kB
Slab:           156840 kB
PageTables:      59160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 98621868 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= 73796 MiB
End job on node112 at 2011-06-03 19:39:23