Trace number 3489800

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_2 2011-06-10 (fixed)? (TO) 1802.14 1802.11

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9039_4.std.opb
MD5SUM435fe577a9ef191374ad8154c9f98032
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark81
Best CPU time to get the best result obtained on this benchmark0.71589
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 constraints192648
Number of constraints which are clauses191448
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 constraint50
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.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-3489800-1307793877.opb>
1.00/1.04	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192648 constraints
1.00/1.04	c problem read
1.00/1.04	c presolving settings loaded
1.29/1.38	c presolving:
7.49/7.58	c (round 1) 5084 del vars, 14555 del conss, 0 add conss, 3949 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13022864 impls, 0 clqs
9.99/10.02	c (round 2) 9176 del vars, 33400 del conss, 0 add conss, 7765 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13048334 impls, 0 clqs
10.79/10.85	c (round 3) 11001 del vars, 40969 del conss, 0 add conss, 8891 chg bounds, 59 chg sides, 91 chg coeffs, 0 upgd conss, 13063394 impls, 0 clqs
11.29/11.34	c (round 4) 11999 del vars, 45131 del conss, 0 add conss, 9558 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13070625 impls, 0 clqs
11.49/11.56	c (round 5) 12523 del vars, 47496 del conss, 0 add conss, 9850 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13074624 impls, 0 clqs
11.69/11.71	c (round 6) 12775 del vars, 48611 del conss, 0 add conss, 10006 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13076294 impls, 0 clqs
11.79/11.80	c (round 7) 12865 del vars, 49091 del conss, 0 add conss, 10060 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13077120 impls, 0 clqs
11.79/11.87	c (round 8) 12921 del vars, 49373 del conss, 0 add conss, 10100 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13077356 impls, 0 clqs
11.89/11.92	c (round 9) 12937 del vars, 49468 del conss, 0 add conss, 10108 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13077440 impls, 0 clqs
11.89/11.96	c (round 10) 12941 del vars, 49497 del conss, 0 add conss, 10110 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13077452 impls, 0 clqs
12.39/12.48	c (round 11) 12941 del vars, 49501 del conss, 0 add conss, 10110 chg bounds, 74 chg sides, 105 chg coeffs, 143147 upgd conss, 13077452 impls, 0 clqs
12.79/12.87	c (round 12) 12941 del vars, 49506 del conss, 39 add conss, 10110 chg bounds, 178 chg sides, 385 chg coeffs, 143147 upgd conss, 13077452 impls, 0 clqs
688.59/688.63	c    (688.6s) probing: 1000/41841 (2.4%) - 0 fixings, 0 aggregations, 11452976 implications, 0 bound changes
1171.30/1171.39	c    (1171.4s) probing: 2000/41841 (4.8%) - 0 fixings, 0 aggregations, 18773931 implications, 0 bound changes
1171.80/1171.83	c    (1171.8s) probing: 2001/41841 (4.8%) - 0 fixings, 0 aggregations, 18779824 implications, 0 bound changes
1171.80/1171.83	c    (1171.8s) probing aborted: 2000/2000 successive useless probings
1171.80/1171.83	c presolving (13 rounds):
1171.80/1171.83	c  12941 deleted vars, 49513 deleted constraints, 39 added constraints, 10110 tightened bounds, 0 added holes, 178 changed sides, 394 changed coefficients
1171.80/1171.83	c  75341070 implications, 0 cliques
1171.80/1171.83	c presolved problem has 41841 variables (41841 bin, 0 int, 0 impl, 0 cont) and 143174 constraints
1171.80/1171.83	c    1119 constraints of type <knapsack>
1171.80/1171.83	c  121373 constraints of type <setppc>
1171.80/1171.83	c   20682 constraints of type <logicor>
1171.80/1171.83	c transformed objective value is always integral (scale: 1)
1171.80/1171.83	c Presolving Time: 1170.55
1171.80/1171.83	c - non default parameters ----------------------------------------------------------------------
1171.80/1171.83	c # SCIP version 2.0.1.5
1171.80/1171.83	c 
1171.80/1171.83	c # frequency for displaying node information lines
1171.80/1171.83	c # [type: int, range: [-1,2147483647], default: 100]
1171.80/1171.83	c display/freq = 10000
1171.80/1171.83	c 
1171.80/1171.83	c # maximal time in seconds to run
1171.80/1171.83	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1171.80/1171.83	c limits/time = 1797
1171.80/1171.83	c 
1171.80/1171.83	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1171.80/1171.83	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1171.80/1171.83	c limits/memory = 13950
1171.80/1171.83	c 
1171.80/1171.83	c # default clock type (1: CPU user seconds, 2: wall clock time)
1171.80/1171.83	c # [type: int, range: [1,2], default: 1]
1171.80/1171.83	c timing/clocktype = 2
1171.80/1171.83	c 
1171.80/1171.83	c # belongs reading time to solving time?
1171.80/1171.83	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1171.80/1171.83	c timing/reading = TRUE
1171.80/1171.83	c 
1171.80/1171.83	c # should presolving try to simplify inequalities
1171.80/1171.83	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1171.80/1171.83	c constraints/linear/simplifyinequalities = TRUE
1171.80/1171.83	c 
1171.80/1171.83	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1171.80/1171.83	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1171.80/1171.83	c constraints/indicator/addCouplingCons = TRUE
1171.80/1171.83	c 
1171.80/1171.83	c # should presolving try to simplify knapsacks
1171.80/1171.83	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1171.80/1171.83	c constraints/knapsack/simplifyinequalities = TRUE
1171.80/1171.83	c 
1171.80/1171.83	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1171.80/1171.83	c # [type: int, range: [-1,2147483647], default: -1]
1171.80/1171.83	c separating/rapidlearning/freq = 0
1171.80/1171.83	c 
1171.80/1171.83	c -----------------------------------------------------------------------------------------------
1171.80/1171.83	c start solving
1171.80/1171.86	c 
1292.00/1292.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1292.00/1292.07	c  1292s|     1 |     0 | 36468 |     - |2226M|   0 | 294 |  41k| 143k|  41k| 143k|   0 |   2 |   0 | 8.100000e+01 |      --      |    Inf

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-3489800-1307793877/watcher-3489800-1307793877 -o /tmp/evaluation-result-3489800-1307793877/solver-3489800-1307793877 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489800-1307793877.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.01 2.01 2.00 2/177 23942
/proc/meminfo: memFree=28445404/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=12560 CPUtime=0 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 2125 0 0 0 0 0 0 0 25 0 1 0 890986506 12861440 2080 33554432000 4194304 9016284 140733294862576 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23942/statm: 3140 2084 353 1178 0 1958 0

[startup+0.059212 s]
/proc/loadavg: 2.01 2.01 2.00 2/177 23942
/proc/meminfo: memFree=28445404/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=25352 CPUtime=0.05 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 5308 0 0 0 5 0 0 0 25 0 1 0 890986506 25960448 5263 33554432000 4194304 9016284 140733294862576 18446744073709551615 6417599 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23942/statm: 6338 5263 360 1178 0 5156 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25352

[startup+0.101198 s]
/proc/loadavg: 2.01 2.01 2.00 2/177 23942
/proc/meminfo: memFree=28445404/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=32388 CPUtime=0.09 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 7097 0 0 0 9 0 0 0 25 0 1 0 890986506 33165312 7052 33554432000 4194304 9016284 140733294862576 18446744073709551615 7296658 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23942/statm: 8097 7052 360 1178 0 6915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32388

[startup+0.301056 s]
/proc/loadavg: 2.01 2.01 2.00 2/177 23942
/proc/meminfo: memFree=28445404/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=54056 CPUtime=0.29 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 12491 0 0 0 28 1 0 0 25 0 1 0 890986506 55353344 12446 33554432000 4194304 9016284 140733294862576 18446744073709551615 6152076 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23942/statm: 13514 12446 360 1178 0 12332 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54056

[startup+0.700982 s]
/proc/loadavg: 2.01 2.01 2.00 2/177 23942
/proc/meminfo: memFree=28445404/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=87720 CPUtime=0.69 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 20930 0 0 0 68 1 0 0 25 0 1 0 890986506 89825280 20885 33554432000 4194304 9016284 140733294862576 18446744073709551615 6181879 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23942/statm: 21963 20910 360 1178 0 20781 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87720

[startup+1.50089 s]
/proc/loadavg: 2.01 2.01 2.00 4/178 23943
/proc/meminfo: memFree=28328488/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=306136 CPUtime=1.5 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 74768 0 0 0 142 8 0 0 25 0 1 0 890986506 313483264 74647 33554432000 4194304 9016284 140733294862576 18446744073709551615 4916784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23942/statm: 76534 74647 474 1178 0 75352 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 306136

[startup+3.10062 s]
/proc/loadavg: 2.01 2.01 2.00 4/178 23943
/proc/meminfo: memFree=28077388/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=453376 CPUtime=3.1 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 111295 0 0 0 298 12 0 0 25 0 1 0 890986506 464257024 111174 33554432000 4194304 9016284 140733294862576 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23942/statm: 113344 111174 485 1178 0 112162 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 453376

[startup+6.3011 s]
/proc/loadavg: 2.01 2.01 2.00 4/178 23943
/proc/meminfo: memFree=27858156/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=651572 CPUtime=6.29 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 158983 0 0 0 613 16 0 0 25 0 1 0 890986506 667209728 158862 33554432000 4194304 9016284 140733294862576 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23942/statm: 162893 158862 485 1178 0 161711 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 651572

[startup+12.7009 s]
/proc/loadavg: 2.01 2.00 2.00 4/178 23943
/proc/meminfo: memFree=27768524/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=746788 CPUtime=12.69 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 191669 0 0 0 1249 20 0 0 25 0 1 0 890986506 764710912 181978 33554432000 4194304 9016284 140733294862576 18446744073709551615 7870559 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23942/statm: 186697 182007 645 1178 0 185515 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 746788

[startup+25.5007 s]
/proc/loadavg: 2.01 2.00 2.00 4/178 23943
/proc/meminfo: memFree=27657896/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=806148 CPUtime=25.49 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 206410 0 0 0 2528 21 0 0 25 0 1 0 890986506 825495552 196602 33554432000 4194304 9016284 140733294862576 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23942/statm: 201537 196602 563 1178 0 200355 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 806148

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 23944
/proc/meminfo: memFree=27608840/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=859148 CPUtime=51.09 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 219103 0 0 0 5086 23 0 0 25 0 1 0 890986506 879767552 209295 33554432000 4194304 9016284 140733294862576 18446744073709551615 6480229 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23942/statm: 214787 209295 563 1178 0 213605 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 859148

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23946
/proc/meminfo: memFree=27410576/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=959028 CPUtime=102.3 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 244311 0 0 0 10203 27 0 0 25 0 1 0 890986506 982044672 234503 33554432000 4194304 9016284 140733294862576 18446744073709551615 4875353 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23942/statm: 239757 234503 563 1178 0 238575 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 959028

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23986
/proc/meminfo: memFree=29745624/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=1151200 CPUtime=162.29 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 289746 0 0 0 16196 33 0 0 25 0 1 0 890986506 1178828800 279938 33554432000 4194304 9016284 140733294862576 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23942/statm: 287800 279938 563 1178 0 286618 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1151200

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23988
/proc/meminfo: memFree=29516184/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=1228984 CPUtime=222.29 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 309224 0 0 0 22194 35 0 0 25 0 1 0 890986506 1258479616 299416 33554432000 4194304 9016284 140733294862576 18446744073709551615 6480233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23942/statm: 307246 299416 563 1178 0 306064 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1228984

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23989
/proc/meminfo: memFree=29226336/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=1364084 CPUtime=282.28 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 344357 0 0 0 28189 39 0 0 25 0 1 0 890986506 1396822016 334549 33554432000 4194304 9016284 140733294862576 18446744073709551615 6480215 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23942/statm: 341021 334549 563 1178 0 339839 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1364084

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23991
/proc/meminfo: memFree=28955084/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=1514344 CPUtime=342.29 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 381641 0 0 0 34185 44 0 0 25 0 1 0 890986506 1550688256 371833 33554432000 4194304 9016284 140733294862576 18446744073709551615 6480224 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23942/statm: 378586 371833 563 1178 0 377404 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1514344

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23992
/proc/meminfo: memFree=28548684/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=1731204 CPUtime=402.28 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 435525 0 0 0 40177 51 0 0 25 0 1 0 890986506 1772752896 425717 33554432000 4194304 9016284 140733294862576 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23942/statm: 432801 425717 563 1178 0 431619 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1731204

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23994
/proc/meminfo: memFree=28283524/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=1859008 CPUtime=462.28 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 466980 0 0 0 46172 56 0 0 25 0 1 0 890986506 1903624192 457172 33554432000 4194304 9016284 140733294862576 18446744073709551615 4460353 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 464752 457172 563 1178 0 463570 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 1859008

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23996
/proc/meminfo: memFree=27956488/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=2004104 CPUtime=522.28 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 502323 0 0 0 52167 61 0 0 25 0 1 0 890986506 2052202496 492515 33554432000 4194304 9016284 140733294862576 18446744073709551615 5512272 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 501026 492515 563 1178 0 499844 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 2004104

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23997
/proc/meminfo: memFree=27745272/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=2109308 CPUtime=582.28 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 528105 0 0 0 58164 64 0 0 25 0 1 0 890986506 2159931392 518297 33554432000 4194304 9016284 140733294862576 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 527327 518297 563 1178 0 526145 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 2109308

[startup+642.301 s]

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

/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 677707 0 0 0 106147 83 0 0 25 0 1 0 890986506 2769588224 667899 33554432000 4194304 9016284 140733294862576 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 676169 667899 568 1178 0 674987 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 2704676

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24012
/proc/meminfo: memFree=26316572/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=2760768 CPUtime=1122.29 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 690195 0 0 0 112144 85 0 0 25 0 1 0 890986506 2827026432 680387 33554432000 4194304 9016284 140733294862576 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 690192 680387 568 1178 0 689010 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 2760768

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24013
/proc/meminfo: memFree=26043712/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=3052588 CPUtime=1182.3 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 760123 0 0 0 118135 95 0 0 25 0 1 0 890986506 3125850112 746157 33554432000 4194304 9016284 140733294862576 18446744073709551615 6971603 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 763147 746157 918 1178 0 761965 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 3052588

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24053
/proc/meminfo: memFree=27103984/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=3072136 CPUtime=1242.3 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 769043 0 0 0 124129 101 0 0 25 0 1 0 890986506 3145867264 753860 33554432000 4194304 9016284 140733294862576 18446744073709551615 7181678 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 768034 753860 759 1178 0 766852 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 3072136

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24054
/proc/meminfo: memFree=25272024/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=3066556 CPUtime=1302.31 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 784427 0 0 0 130124 107 0 0 25 0 1 0 890986506 3140153344 756963 33554432000 4194304 9016284 140733294862576 18446744073709551615 7180592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 766639 756963 1396 1178 0 765457 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 3066556

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24056
/proc/meminfo: memFree=25302284/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=3066556 CPUtime=1362.3 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 785048 0 0 0 136118 112 0 0 25 0 1 0 890986506 3140153344 757172 33554432000 4194304 9016284 140733294862576 18446744073709551615 7125627 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 766639 757172 984 1178 0 765457 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 3066556

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24058
/proc/meminfo: memFree=25209716/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=3066556 CPUtime=1422.31 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 785764 0 0 0 142114 117 0 0 25 0 1 0 890986506 3140153344 757885 33554432000 4194304 9016284 140733294862576 18446744073709551615 6231264 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 766639 757885 1099 1178 0 765457 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 3066556

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24059
/proc/meminfo: memFree=25280212/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=3066556 CPUtime=1482.31 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 785764 0 0 0 148114 117 0 0 25 0 1 0 890986506 3140153344 757885 33554432000 4194304 9016284 140733294862576 18446744073709551615 6231491 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 766639 757885 1099 1178 0 765457 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 3066556

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24061
/proc/meminfo: memFree=25277764/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=3066556 CPUtime=1542.31 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 785764 0 0 0 154114 117 0 0 25 0 1 0 890986506 3140153344 757885 33554432000 4194304 9016284 140733294862576 18446744073709551615 6231491 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 766639 757885 1099 1178 0 765457 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 3066556

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24062
/proc/meminfo: memFree=25276092/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=3066556 CPUtime=1602.31 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 785764 0 0 0 160114 117 0 0 25 0 1 0 890986506 3140153344 757885 33554432000 4194304 9016284 140733294862576 18446744073709551615 6231359 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 766639 757885 1099 1178 0 765457 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 3066556

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24064
/proc/meminfo: memFree=25291268/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=3066556 CPUtime=1662.31 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 785764 0 0 0 166114 117 0 0 25 0 1 0 890986506 3140153344 757885 33554432000 4194304 9016284 140733294862576 18446744073709551615 6231264 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 766639 757885 1099 1178 0 765457 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 3066556

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24066
/proc/meminfo: memFree=25235920/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=3066556 CPUtime=1722.32 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 785764 0 0 0 172115 117 0 0 25 0 1 0 890986506 3140153344 757885 33554432000 4194304 9016284 140733294862576 18446744073709551615 6231264 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 766639 757885 1099 1178 0 765457 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3066556

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24067
/proc/meminfo: memFree=25232892/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=3066556 CPUtime=1782.32 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 785764 0 0 0 178115 117 0 0 25 0 1 0 890986506 3140153344 757885 33554432000 4194304 9016284 140733294862576 18446744073709551615 6231252 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 766639 757885 1099 1178 0 765457 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 3066556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24068
/proc/meminfo: memFree=25233380/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=3066556 CPUtime=1800.02 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 785819 0 0 0 179885 117 0 0 25 0 1 0 890986506 3140153344 757931 33554432000 4194304 9016284 140733294862576 18446744073709551615 6232316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 766639 757931 1090 1178 0 765457 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3066556

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -23942

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24069
/proc/meminfo: memFree=25233372/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=3066556 CPUtime=1801.42 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 785819 0 0 0 180025 117 0 0 25 0 1 0 890986506 3140153344 757931 33554432000 4194304 9016284 140733294862576 18446744073709551615 6232316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 766639 757931 1090 1178 0 765457 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 3066556

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24069
/proc/meminfo: memFree=25233372/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=3066556 CPUtime=1801.82 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 785819 0 0 0 180065 117 0 0 25 0 1 0 890986506 3140153344 757931 33554432000 4194304 9016284 140733294862576 18446744073709551615 6232288 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 766639 757931 1090 1178 0 765457 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 3066556

[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24069
/proc/meminfo: memFree=25233372/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=3066556 CPUtime=1802.02 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4202496 785819 0 0 0 180085 117 0 0 25 0 1 0 890986506 3140153344 757931 33554432000 4194304 9016284 140733294862576 18446744073709551615 6232316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23942/statm: 766639 757931 1090 1178 0 765457 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 3066556

[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24069
/proc/meminfo: memFree=25233372/32950928 swapFree=67048868/67111528
[pid=23942] ppid=23940 vsize=0 CPUtime=1802.11 cores=0,2,4,6
/proc/23942/stat : 23942 (scip-2.0.1.4b_2) R 23940 23942 22429 0 -1 4203524 785819 0 0 0 180085 126 0 0 25 0 1 0 890986506 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/23942/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.11
CPU time (s): 1802.14
CPU user time (s): 1800.86
CPU system time (s): 1.27781
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 3099172

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

runsolver used 2.75158 second user time and 5.80912 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-11 14:04:37
IDJOB=3489800
IDBENCH=77873
IDSOLVER=1979
FILE ID=node122/3489800-1307793877
RUNJOBID= node122-1307784423-22447
PBS_JOBID= 13550902
Free space on /tmp= 74076 MiB

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

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

MD5SUM BENCH= 435fe577a9ef191374ad8154c9f98032
RANDOM SEED=2018342204

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28445964 kB
Buffers:        154384 kB
Cached:         966056 kB
SwapCached:      14712 kB
Active:        3593164 kB
Inactive:       752988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28445964 kB
SwapTotal:    67111528 kB
SwapFree:     67048868 kB
Dirty:           24232 kB
Writeback:           0 kB
AnonPages:     3223120 kB
Mapped:          12144 kB
Slab:            87700 kB
PageTables:      11256 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  3459664 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= 74008 MiB
End job on node122 at 2011-06-11 14:34:39