Trace number 3737648

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
PB11: SCIP spx E_2 2011-06-10 (fixed)? (TO) 1802.09 1802.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_1.opb
MD5SUM6856221d5d444d2079d321f11fb11f0b
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-70
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -74
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)151172
Sum of products size (including duplicates)302344
Number of different products75586
Sum of products size151172

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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-3737648-1338729908.opb>
0.39/0.40	c original problem has 77586 variables (77586 bin, 0 int, 0 impl, 0 cont) and 80587 constraints
0.39/0.40	c problem read
0.39/0.40	c presolving settings loaded
0.89/0.91	o 0
0.89/0.91	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.89/0.91	c presolving:
2.89/2.90	c (round 1) 0 del vars, 79586 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1000 upgd conss, 600464 impls, 1999 clqs
3.09/3.15	c (round 2) 75586 del vars, 79586 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 600464 impls, 0 clqs
3.49/3.58	c    (3.6s) probing: 101/2000 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.49/3.58	c    (3.6s) probing aborted: 100/100 successive totally useless probings
3.49/3.58	c presolving (3 rounds):
3.49/3.58	c  75586 deleted vars, 79586 deleted constraints, 2000 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.49/3.58	c  600464 implications, 0 cliques
3.49/3.58	c presolved problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 3001 constraints
3.49/3.58	c    2000 constraints of type <knapsack>
3.49/3.58	c    1000 constraints of type <setppc>
3.49/3.58	c       1 constraints of type <linear>
3.49/3.58	c transformed objective value is always integral (scale: 1)
3.49/3.58	c Presolving Time: 2.89
3.49/3.58	c - non default parameters ----------------------------------------------------------------------
3.49/3.58	c # SCIP version 2.0.1.5
3.49/3.58	c 
3.49/3.58	c # frequency for displaying node information lines
3.49/3.58	c # [type: int, range: [-1,2147483647], default: 100]
3.49/3.58	c display/freq = 10000
3.49/3.58	c 
3.49/3.58	c # maximal time in seconds to run
3.49/3.58	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.58	c limits/time = 1797
3.49/3.58	c 
3.49/3.58	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.49/3.58	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.58	c limits/memory = 13950
3.49/3.58	c 
3.49/3.58	c # default clock type (1: CPU user seconds, 2: wall clock time)
3.49/3.58	c # [type: int, range: [1,2], default: 1]
3.49/3.58	c timing/clocktype = 2
3.49/3.58	c 
3.49/3.58	c # belongs reading time to solving time?
3.49/3.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.58	c timing/reading = TRUE
3.49/3.58	c 
3.49/3.58	c # should presolving try to simplify inequalities
3.49/3.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.58	c constraints/linear/simplifyinequalities = TRUE
3.49/3.58	c 
3.49/3.58	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.49/3.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.58	c constraints/indicator/addCouplingCons = TRUE
3.49/3.58	c 
3.49/3.58	c # should presolving try to simplify knapsacks
3.49/3.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.58	c constraints/knapsack/simplifyinequalities = TRUE
3.49/3.58	c 
3.49/3.58	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.49/3.58	c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.58	c separating/rapidlearning/freq = 0
3.49/3.58	c 
3.49/3.58	c -----------------------------------------------------------------------------------------------
3.49/3.58	c start solving
3.49/3.58	c 
144.86/144.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
144.86/144.98	c t 145s|     1 |     0 | 18271 |     - | 194M|   0 |2000 |2000 |3001 |2000 |3001 |   0 |   0 |   0 |-5.000000e+02 | 0.000000e+00 | 100.00%
145.06/145.13	o -1
145.06/145.13	c R 145s|     1 |     0 | 18271 |     - | 194M|   0 |2000 |2000 |3001 |2000 |3001 |   0 |   0 |   0 |-5.000000e+02 |-1.000000e+00 |  99.80%
685.46/685.69	c   686s|     1 |     2 | 28866 |     - | 194M|   0 |2000 |2000 |3001 |2000 |3001 |   0 |   0 |  13 |-5.000000e+02 |-1.000000e+00 |  99.80%
1182.67/1182.93	o -2
1182.67/1182.93	c R1183s|     3 |     2 | 30656 |6192.5 | 194M|   2 |1930 |2000 |3001 |2000 |3001 |   0 |   0 |  28 |-5.000000e+02 |-2.000000e+00 |  99.60%
1727.19/1727.59	o -3
1727.19/1727.59	c R1728s|     5 |     4 | 31030 |3189.8 | 194M|   4 |1831 |2000 |3001 |2000 |3001 |   0 |   0 |  57 |-5.000000e+02 |-3.000000e+00 |  99.40%

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3737648-1338729908/watcher-3737648-1338729908 -o /tmp/evaluation-result-3737648-1338729908/solver-3737648-1338729908 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737648-1338729908.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 3/176 13290
/proc/meminfo: memFree=28559820/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=9456 CPUtime=0 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 1493 0 0 0 0 0 0 0 20 0 1 0 339115230 9682944 1447 33554432000 4194304 9016284 140733512887456 140735508518856 7821477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 2364 1448 311 1178 0 1182 0

[startup+0.079345 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 13290
/proc/meminfo: memFree=28559820/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=37532 CPUtime=0.07 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 8395 0 0 0 6 1 0 0 20 0 1 0 339115230 38432768 8349 33554432000 4194304 9016284 140733512887456 140735508518856 4875342 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 9383 8349 377 1178 0 8201 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 37532

[startup+0.100324 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 13290
/proc/meminfo: memFree=28559820/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=43304 CPUtime=0.09 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 9833 0 0 0 8 1 0 0 20 0 1 0 339115230 44343296 9787 33554432000 4194304 9016284 140733512887456 140735508518856 5374799 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 10826 9787 377 1178 0 9644 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43304

[startup+0.300281 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 13290
/proc/meminfo: memFree=28559820/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=93336 CPUtime=0.28 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 22290 0 0 0 25 3 0 0 20 0 1 0 339115230 95576064 22244 33554432000 4194304 9016284 140733512887456 140733512749368 4365337 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 23334 22244 377 1178 0 22152 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 93336

[startup+0.700241 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 13290
/proc/meminfo: memFree=28559820/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=212976 CPUtime=0.69 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 52750 0 0 0 61 8 0 0 20 0 1 0 339115230 218087424 52149 33554432000 4194304 9016284 140733512887456 140733512751352 4786469 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 53244 52149 448 1178 0 52062 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 212976

[startup+1.50023 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13291
/proc/meminfo: memFree=28336984/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=240560 CPUtime=1.49 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 59667 0 0 0 140 9 0 0 20 0 1 0 339115230 246333440 58809 33554432000 4194304 9016284 140733512887456 140733512883800 7870448 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 60140 58809 485 1178 0 58958 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 240560

[startup+3.10029 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13291
/proc/meminfo: memFree=28315712/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=281280 CPUtime=3.09 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 71292 0 0 0 298 11 0 0 20 0 1 0 339115230 288030720 69015 33554432000 4194304 9016284 140733512887456 140733512884616 4445232 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 70320 69015 515 1178 0 69138 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 281280

[startup+6.30022 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13291
/proc/meminfo: memFree=28259348/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=317828 CPUtime=6.29 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 76111 0 0 0 616 13 0 0 20 0 1 0 339115230 325455872 77248 33554432000 4194304 9016284 140733512887456 140733512881320 7219696 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 79457 77248 638 1178 0 78275 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 317828

[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13291
/proc/meminfo: memFree=28246092/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=326800 CPUtime=12.69 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 77232 0 0 0 1255 14 0 0 20 0 1 0 339115230 334643200 78879 33554432000 4194304 9016284 140733512887456 140733512881240 7124261 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 81700 78879 641 1178 0 80518 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 326800

[startup+25.5002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13329
/proc/meminfo: memFree=28590884/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=350744 CPUtime=25.48 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 80477 0 0 0 2533 15 0 0 20 0 1 0 339115230 359161856 86005 33554432000 4194304 9016284 140733512887456 140733512881688 7179366 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 87686 86005 641 1178 0 86504 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 350744

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13329
/proc/meminfo: memFree=28568392/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=366932 CPUtime=51.08 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 81770 0 0 0 5091 17 0 0 20 0 1 0 339115230 375738368 89237 33554432000 4194304 9016284 140733512887456 140733512881688 7219022 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 91733 89237 641 1178 0 90551 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 366932

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13329
/proc/meminfo: memFree=28537988/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=387268 CPUtime=102.27 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 83064 0 0 0 10206 21 0 0 20 0 1 0 339115230 396562432 95814 33554432000 4194304 9016284 140733512887456 140733512881240 7181002 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 96817 95814 641 1178 0 95635 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 387268

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13329
/proc/meminfo: memFree=28541280/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=388468 CPUtime=162.25 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 95009 0 0 0 16200 25 0 0 20 0 1 0 339115230 397791232 95222 33554432000 4194304 9016284 140733512887456 140733512879384 7219176 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 97117 95222 708 1178 0 95935 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 388468

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13367
/proc/meminfo: memFree=28542672/32873844 swapFree=7648/7648
[pid=13290] ppid=13288 vsize=388468 CPUtime=222.24 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 95009 0 0 0 22198 26 0 0 20 0 1 0 339115230 397791232 95228 33554432000 4194304 9016284 140733512887456 140733512879384 7219239 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 97117 95228 708 1178 0 95935 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 388468

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13406
/proc/meminfo: memFree=28462932/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=394772 CPUtime=282.23 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 95525 0 0 0 28195 28 0 0 20 0 1 0 339115230 404246528 97788 33554432000 4194304 9016284 140733512887456 140733512878456 7219225 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 98693 97788 708 1178 0 97511 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 394772

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13409
/proc/meminfo: memFree=28453928/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=404800 CPUtime=342.22 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 98582 0 0 0 34192 30 0 0 20 0 1 0 339115230 414515200 99887 33554432000 4194304 9016284 140733512887456 140733512881208 7219374 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 101200 99887 709 1178 0 100018 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 404800

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13409
/proc/meminfo: memFree=28453060/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=404800 CPUtime=402.21 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 98846 0 0 0 40190 31 0 0 20 0 1 0 339115230 414515200 100149 33554432000 4194304 9016284 140733512887456 140733512880264 7207488 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 101200 100149 709 1178 0 100018 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 404800

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13409
/proc/meminfo: memFree=28472528/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=395328 CPUtime=462.2 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 101773 0 0 0 46186 34 0 0 20 0 1 0 339115230 404815872 95229 33554432000 4194304 9016284 140733512887456 140733512880760 7219255 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 98832 95229 709 1178 0 97650 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 395328

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13409
/proc/meminfo: memFree=28445772/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=412456 CPUtime=522.19 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 103190 0 0 0 52183 36 0 0 20 0 1 0 339115230 422354944 101885 33554432000 4194304 9016284 140733512887456 140733512880712 7219225 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 103114 101885 709 1178 0 101932 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 412456

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13410
/proc/meminfo: memFree=28462276/32873844 swapFree=7648/7648
[pid=13290] ppid=13288 vsize=395332 CPUtime=582.18 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 104153 0 0 0 58180 38 0 0 20 0 1 0 339115230 404819968 97789 33554432000 4194304 9016284 140733512887456 140733512880216 7219694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 98833 97789 709 1178 0 97651 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 395332

[startup+642.3 s]

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

/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 116150 0 0 0 100158 53 0 0 20 0 1 0 339115230 420990976 101373 33554432000 4194304 9016284 140733512887456 140733512880760 7220608 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 102781 101373 709 1178 0 101599 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 411124

[startup+1062.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 13414
/proc/meminfo: memFree=28458172/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=402172 CPUtime=1062.09 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 117631 0 0 0 106155 54 0 0 20 0 1 0 339115230 411824128 98818 33554432000 4194304 9016284 140733512887456 140733512880760 7219243 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 100543 98818 709 1178 0 99361 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 402172

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13414
/proc/meminfo: memFree=28454140/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=404948 CPUtime=1122.09 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 119629 0 0 0 112152 57 0 0 20 0 1 0 339115230 414666752 99837 33554432000 4194304 9016284 140733512887456 140733512880712 7218929 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 101237 99837 709 1178 0 100055 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 404948

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13415
/proc/meminfo: memFree=28453892/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=404404 CPUtime=1182.07 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 121717 0 0 0 118148 59 0 0 20 0 1 0 339115230 414109696 99936 33554432000 4194304 9016284 140733512887456 140733512880872 7219235 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 101101 99936 709 1178 0 99919 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 404404

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13415
/proc/meminfo: memFree=28460340/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=401564 CPUtime=1242.06 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 125469 0 0 0 124144 62 0 0 20 0 1 0 339115230 411201536 98301 33554432000 4194304 9016284 140733512887456 140733512880760 7219176 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 100391 98301 709 1178 0 99209 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 401564

[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 13415
/proc/meminfo: memFree=28467044/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=389452 CPUtime=1302.06 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 127702 0 0 0 130142 64 0 0 20 0 1 0 339115230 398798848 96504 33554432000 4194304 9016284 140733512887456 140733512880760 7219225 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 97363 96504 709 1178 0 96181 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 389452

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13415
/proc/meminfo: memFree=28470456/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=392556 CPUtime=1362.05 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 129947 0 0 0 136139 66 0 0 20 0 1 0 339115230 401977344 95741 33554432000 4194304 9016284 140733512887456 140733512880760 7189378 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 98139 95741 709 1178 0 96957 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 392556

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13415
/proc/meminfo: memFree=28449916/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=407572 CPUtime=1422.04 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 132965 0 0 0 142136 68 0 0 20 0 1 0 339115230 417353728 100861 33554432000 4194304 9016284 140733512887456 140733512881256 7219225 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 101893 100861 709 1178 0 100711 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 407572

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13416
/proc/meminfo: memFree=28453884/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=407524 CPUtime=1482.02 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 135087 0 0 0 148133 69 0 0 20 0 1 0 339115230 417304576 99837 33554432000 4194304 9016284 140733512887456 140733512880712 7219694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 101881 99837 709 1178 0 100699 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 407524

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 13419
/proc/meminfo: memFree=28460640/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=396088 CPUtime=1542.01 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 137272 0 0 0 154130 71 0 0 20 0 1 0 339115230 405594112 98118 33554432000 4194304 9016284 140733512887456 140733512880712 7219225 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13290/statm: 99022 98118 709 1178 0 97840 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 396088

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13419
/proc/meminfo: memFree=28460772/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=396088 CPUtime=1602.01 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 137272 0 0 0 160129 72 0 0 20 0 1 0 339115230 405594112 98118 33554432000 4194304 9016284 140733512887456 140733512880264 7219374 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13290/statm: 99022 98118 709 1178 0 97840 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 396088

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13419
/proc/meminfo: memFree=28460648/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=396088 CPUtime=1661.99 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 137272 0 0 0 166127 72 0 0 20 0 1 0 339115230 405594112 98118 33554432000 4194304 9016284 140733512887456 140733512880712 7220623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13290/statm: 99022 98118 709 1178 0 97840 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 396088

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13419
/proc/meminfo: memFree=28460648/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=396088 CPUtime=1721.99 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 137272 0 0 0 172126 73 0 0 20 0 1 0 339115230 405594112 98118 33554432000 4194304 9016284 140733512887456 140733512881320 7219702 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13290/statm: 99022 98118 709 1178 0 97840 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 396088

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13420
/proc/meminfo: memFree=28460268/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=396088 CPUtime=1781.98 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 137275 0 0 0 178124 74 0 0 20 0 1 0 339115230 405594112 98119 33554432000 4194304 9016284 140733512887456 140733512880712 7219374 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13290/statm: 99022 98119 709 1178 0 97840 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 396088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13420
/proc/meminfo: memFree=28460392/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=396088 CPUtime=1800.08 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 137275 0 0 0 179934 74 0 0 20 0 1 0 339115230 405594112 98119 33554432000 4194304 9016284 140733512887456 140733512880264 7219008 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13290/statm: 99022 98119 709 1178 0 97840 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 396088

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -13290

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13421
/proc/meminfo: memFree=28460392/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=396088 CPUtime=1801.07 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 137275 0 0 0 180033 74 0 0 20 0 1 0 339115230 405594112 98119 33554432000 4194304 9016284 140733512887456 140733512878976 7219008 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13290/statm: 99022 98119 709 1178 0 97840 0
Current children cumulated CPU time (s) 1801.07
Current children cumulated vsize (KiB) 396088

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13421
/proc/meminfo: memFree=28460260/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=396088 CPUtime=1801.87 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 137275 0 0 0 180113 74 0 0 20 0 1 0 339115230 405594112 98119 33554432000 4194304 9016284 140733512887456 140733512878976 7220586 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13290/statm: 99022 98119 709 1178 0 97840 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 396088

[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13421
/proc/meminfo: memFree=28460260/32873844 swapFree=7644/7644
[pid=13290] ppid=13288 vsize=396088 CPUtime=1802.07 cores=0,2,4,6
/proc/13290/stat : 13290 (scip-2.0.1.4b_2) R 13288 13290 10351 0 -1 4202496 137275 0 0 0 180133 74 0 0 20 0 1 0 339115230 405594112 98119 33554432000 4194304 9016284 140733512887456 140733512880264 7219682 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13290/statm: 99022 98119 709 1178 0 97840 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 396088

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.41
CPU time (s): 1802.09
CPU user time (s): 1801.34
CPU system time (s): 0.748886
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 424740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.34
system time used= 0.748886
maximum resident set size= 417260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137275
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= 27
involuntary context switches= 2263

runsolver used 4.82727 second user time and 12.2021 second system time

The end

Launcher Data

Begin job on node147 at 2012-06-03 15:25:08
IDJOB=3737648
IDBENCH=48276
IDSOLVER=2329
FILE ID=node147/3737648-1338729908
RUNJOBID= node147-1338702405-10367
PBS_JOBID= 14636713
Free space on /tmp= 70768 MiB

SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_1.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-3737648-1338729908/watcher-3737648-1338729908 -o /tmp/evaluation-result-3737648-1338729908/solver-3737648-1338729908 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737648-1338729908.opb -t 1800 -m 15500

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

MD5SUM BENCH= 6856221d5d444d2079d321f11fb11f0b
RANDOM SEED=472860180

node147.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28560084 kB
Buffers:          451112 kB
Cached:          2594400 kB
SwapCached:         3380 kB
Active:          1900564 kB
Inactive:        1549500 kB
Active(anon):     400256 kB
Inactive(anon):     5908 kB
Active(file):    1500308 kB
Inactive(file):  1543592 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100236 kB
Dirty:             18660 kB
Writeback:             0 kB
AnonPages:        529788 kB
Mapped:            12428 kB
Shmem:                 0 kB
Slab:             722032 kB
SReclaimable:     163240 kB
SUnreclaim:       558792 kB
KernelStack:        1480 kB
PageTables:         4964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     525196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    432128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70752 MiB
End job on node147 at 2012-06-03 15:55:11