Trace number 3453478

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12025_6.std.opb
MD5SUM6c0eb2c4b5b4376f9bed3c34031f2253
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark92
Best CPU time to get the best result obtained on this benchmark0.978851
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 constraints245202
Number of constraints which are clauses244002
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 constraint34
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3453478-1307120961.opb>
1.48/1.54	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245202 constraints
1.48/1.54	c problem read
1.48/1.54	c presolving settings loaded
2.29/2.36	c presolving:
8.59/8.67	c (round 1) 6279 del vars, 18648 del conss, 0 add conss, 4667 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16661532 impls, 0 clqs
11.19/11.24	c (round 2) 13409 del vars, 45398 del conss, 0 add conss, 11309 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16697324 impls, 0 clqs
12.00/12.08	c (round 3) 15737 del vars, 56803 del conss, 0 add conss, 12646 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 16713536 impls, 0 clqs
12.49/12.51	c (round 4) 16859 del vars, 61586 del conss, 0 add conss, 13365 chg bounds, 65 chg sides, 72 chg coeffs, 0 upgd conss, 16720294 impls, 0 clqs
12.69/12.72	c (round 5) 17416 del vars, 63925 del conss, 0 add conss, 13644 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16725368 impls, 0 clqs
12.79/12.88	c (round 6) 17719 del vars, 65201 del conss, 0 add conss, 13828 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16727715 impls, 0 clqs
12.89/13.00	c (round 7) 17907 del vars, 66006 del conss, 0 add conss, 13923 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16729335 impls, 0 clqs
12.99/13.09	c (round 8) 18028 del vars, 66515 del conss, 0 add conss, 13983 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16731134 impls, 0 clqs
13.10/13.16	c (round 9) 18082 del vars, 66800 del conss, 0 add conss, 14011 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16731722 impls, 0 clqs
13.21/13.23	c (round 10) 18124 del vars, 66979 del conss, 0 add conss, 14034 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16732156 impls, 0 clqs
13.21/13.29	c (round 11) 18140 del vars, 67067 del conss, 0 add conss, 14042 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16732298 impls, 0 clqs
13.29/13.35	c (round 12) 18142 del vars, 67089 del conss, 0 add conss, 14043 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16732302 impls, 0 clqs
13.99/14.03	c (round 13) 18142 del vars, 67091 del conss, 0 add conss, 14043 chg bounds, 70 chg sides, 79 chg coeffs, 178111 upgd conss, 16732302 impls, 0 clqs
14.39/14.43	c (round 14) 18142 del vars, 67092 del conss, 24 add conss, 14043 chg bounds, 118 chg sides, 309 chg coeffs, 178111 upgd conss, 16733214 impls, 711 clqs
633.38/633.41	c    (633.4s) probing: 1000/54700 (1.8%) - 1 fixings, 1 aggregations, 13494598 implications, 0 bound changes
1170.58/1170.68	c    (1170.7s) probing: 2000/54700 (3.7%) - 1 fixings, 1 aggregations, 21258559 implications, 0 bound changes
1245.77/1245.84	c    (1245.8s) probing: 2147/54700 (3.9%) - 1 fixings, 1 aggregations, 22309973 implications, 0 bound changes
1245.77/1245.84	c    (1245.8s) probing aborted: 2000/2000 successive useless probings
1245.77/1245.84	c presolving (15 rounds):
1245.77/1245.84	c  18144 deleted vars, 67092 deleted constraints, 24 added constraints, 14043 tightened bounds, 0 added holes, 130 changed sides, 324 changed coefficients
1245.77/1245.84	c  96067266 implications, 791 cliques
1245.77/1245.84	c presolved problem has 54698 variables (54698 bin, 0 int, 0 impl, 0 cont) and 178134 constraints
1245.77/1245.84	c    1108 constraints of type <knapsack>
1245.77/1245.84	c  150003 constraints of type <setppc>
1245.77/1245.84	c   27023 constraints of type <logicor>
1245.77/1245.84	c transformed objective value is always integral (scale: 1)
1245.77/1245.84	c Presolving Time: 1244.07
1245.77/1245.84	c - non default parameters ----------------------------------------------------------------------
1245.77/1245.84	c # SCIP version 2.0.1.4
1245.77/1245.84	c 
1245.77/1245.84	c # frequency for displaying node information lines
1245.77/1245.84	c # [type: int, range: [-1,2147483647], default: 100]
1245.77/1245.84	c display/freq = 10000
1245.77/1245.84	c 
1245.77/1245.84	c # maximal time in seconds to run
1245.77/1245.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1245.77/1245.84	c limits/time = 1800
1245.77/1245.84	c 
1245.77/1245.84	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1245.77/1245.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1245.77/1245.84	c limits/memory = 13950
1245.77/1245.84	c 
1245.77/1245.84	c # default clock type (1: CPU user seconds, 2: wall clock time)
1245.77/1245.84	c # [type: int, range: [1,2], default: 1]
1245.77/1245.84	c timing/clocktype = 2
1245.77/1245.84	c 
1245.77/1245.84	c # belongs reading time to solving time?
1245.77/1245.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1245.77/1245.84	c timing/reading = TRUE
1245.77/1245.84	c 
1245.77/1245.84	c # should presolving try to simplify inequalities
1245.77/1245.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1245.77/1245.84	c constraints/linear/simplifyinequalities = TRUE
1245.77/1245.84	c 
1245.77/1245.84	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1245.77/1245.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1245.77/1245.84	c constraints/indicator/addCouplingCons = TRUE
1245.77/1245.84	c 
1245.77/1245.84	c # should presolving try to simplify knapsacks
1245.77/1245.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1245.77/1245.84	c constraints/knapsack/simplifyinequalities = TRUE
1245.77/1245.84	c 
1245.77/1245.84	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1245.77/1245.84	c # [type: int, range: [-1,2147483647], default: -1]
1245.77/1245.84	c separating/rapidlearning/freq = 0
1245.77/1245.84	c 
1245.77/1245.84	c -----------------------------------------------------------------------------------------------
1245.77/1245.84	c start solving
1245.77/1245.88	c 
1457.66/1457.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1457.66/1457.73	c  1458s|     1 |     0 | 46581 |     - |2808M|   0 | 312 |  54k| 178k|  54k| 178k|   0 |  63 |   0 | 9.200000e+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-3453478-1307120961/watcher-3453478-1307120961 -o /tmp/evaluation-result-3453478-1307120961/solver-3453478-1307120961 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453478-1307120961.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.05 2.03 1.97 3/415 2537
/proc/meminfo: memFree=25931260/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=8236 CPUtime=0 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 1180 0 0 0 0 0 0 0 25 0 1 0 279705533 8433664 1133 33554432000 4194304 9128323 140736816991248 18446744073709551615 8009021 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2537/statm: 2316 1146 381 1205 0 1107 0

[startup+0.0832759 s]
/proc/loadavg: 2.05 2.03 1.97 3/415 2537
/proc/meminfo: memFree=25931260/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=25072 CPUtime=0.07 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 5253 0 0 0 7 0 0 0 25 0 1 0 279705533 25673728 5204 33554432000 4194304 9128323 140736816991248 18446744073709551615 6193262 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2537/statm: 6268 5204 400 1205 0 5059 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25072

[startup+0.100266 s]
/proc/loadavg: 2.05 2.03 1.97 3/415 2537
/proc/meminfo: memFree=25931260/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=27368 CPUtime=0.09 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 5857 0 0 0 9 0 0 0 25 0 1 0 279705533 28024832 5808 33554432000 4194304 9128323 140736816991248 18446744073709551615 4338658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2537/statm: 6842 5808 400 1205 0 5633 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27368

[startup+0.300234 s]
/proc/loadavg: 2.05 2.03 1.97 3/415 2537
/proc/meminfo: memFree=25931260/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=50216 CPUtime=0.29 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 11586 0 0 0 28 1 0 0 25 0 1 0 279705533 51421184 11505 33554432000 4194304 9128323 140736816991248 18446744073709551615 4422565 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2537/statm: 12554 11505 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216

[startup+0.701115 s]
/proc/loadavg: 2.05 2.03 1.97 3/415 2537
/proc/meminfo: memFree=25931260/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=69412 CPUtime=0.69 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 16371 0 0 0 67 2 0 0 25 0 1 0 279705533 71077888 16282 33554432000 4194304 9128323 140736816991248 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/2537/statm: 17353 16282 400 1205 0 16144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69412

[startup+1.50103 s]
/proc/loadavg: 2.05 2.03 1.97 3/416 2538
/proc/meminfo: memFree=25783952/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=131016 CPUtime=1.48 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 31744 0 0 0 144 4 0 0 25 0 1 0 279705533 134160384 31639 33554432000 4194304 9128323 140736816991248 18446744073709551615 6191637 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2537/statm: 32754 31639 400 1205 0 31545 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 131016

[startup+3.10075 s]
/proc/loadavg: 2.04 2.03 1.97 3/416 2538
/proc/meminfo: memFree=25199912/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=480840 CPUtime=3.09 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 129504 0 0 0 292 17 0 0 25 0 1 0 279705533 492380160 117217 33554432000 4194304 9128323 140736816991248 18446744073709551615 4833610 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 120210 117217 501 1205 0 119001 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 480840

[startup+6.30118 s]
/proc/loadavg: 2.04 2.03 1.97 3/416 2538
/proc/meminfo: memFree=24593860/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=763680 CPUtime=6.29 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 198997 0 0 0 605 24 0 0 25 0 1 0 279705533 782008320 186710 33554432000 4194304 9128323 140736816991248 18446744073709551615 4708539 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 190920 186710 510 1205 0 189711 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 763680

[startup+12.7011 s]
/proc/loadavg: 2.04 2.03 1.97 3/416 2538
/proc/meminfo: memFree=24234300/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=883228 CPUtime=12.69 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 228665 0 0 0 1242 27 0 0 25 0 1 0 279705533 904425472 215249 33554432000 4194304 9128323 140736816991248 18446744073709551615 5968065 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 220807 215249 523 1205 0 219598 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 883228

[startup+25.5008 s]
/proc/loadavg: 2.03 2.03 1.97 3/416 2539
/proc/meminfo: memFree=23966296/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=997396 CPUtime=25.49 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 274231 0 0 0 2516 33 0 0 25 0 1 0 279705533 1021333504 242459 33554432000 4194304 9128323 140736816991248 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 249349 242459 604 1205 0 248140 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 997396

[startup+51.1013 s]
/proc/loadavg: 2.02 2.02 1.97 3/416 2539
/proc/meminfo: memFree=23875348/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=1046820 CPUtime=51.08 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 286068 0 0 0 5074 34 0 0 25 0 1 0 279705533 1071943680 254296 33554432000 4194304 9128323 140736816991248 18446744073709551615 6593131 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 261705 254296 604 1205 0 260496 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1046820

[startup+102.316 s]
/proc/loadavg: 2.01 2.02 1.97 3/416 2541
/proc/meminfo: memFree=23569548/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=1208924 CPUtime=102.29 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 326211 0 0 0 10191 38 0 0 25 0 1 0 279705533 1237938176 294439 33554432000 4194304 9128323 140736816991248 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 302231 294439 604 1205 0 301022 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1208924

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/416 2542
/proc/meminfo: memFree=23208320/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=1456984 CPUtime=162.28 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 386746 0 0 0 16183 45 0 0 25 0 1 0 279705533 1491951616 354644 33554432000 4194304 9128323 140736816991248 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 364246 354644 604 1205 0 363037 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1456984

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/416 2547
/proc/meminfo: memFree=22841996/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=1627616 CPUtime=222.28 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 429342 0 0 0 22179 49 0 0 25 0 1 0 279705533 1666678784 396877 33554432000 4194304 9128323 140736816991248 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 406904 396877 604 1205 0 405695 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1627616

[startup+282.301 s]
/proc/loadavg: 2.07 2.02 1.98 3/416 2548
/proc/meminfo: memFree=22443460/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=1832048 CPUtime=282.29 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 480464 0 0 0 28175 54 0 0 25 0 1 0 279705533 1876017152 447999 33554432000 4194304 9128323 140736816991248 18446744073709551615 5973224 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 458012 447999 604 1205 0 456803 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1832048

[startup+342.301 s]
/proc/loadavg: 2.02 2.01 1.98 3/416 2550
/proc/meminfo: memFree=22131464/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=2019784 CPUtime=342.29 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 526543 0 0 0 34169 60 0 0 25 0 1 0 279705533 2068258816 494078 33554432000 4194304 9128323 140736816991248 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 504946 494078 604 1205 0 503737 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 2019784

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/416 2552
/proc/meminfo: memFree=21850716/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=2160652 CPUtime=402.29 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 562067 0 0 0 40164 65 0 0 25 0 1 0 279705533 2212507648 529602 33554432000 4194304 9128323 140736816991248 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 540163 529602 604 1205 0 538954 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 2160652

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/416 2553
/proc/meminfo: memFree=21535360/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=2294884 CPUtime=462.28 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 595012 0 0 0 46159 69 0 0 25 0 1 0 279705533 2349961216 562547 33554432000 4194304 9128323 140736816991248 18446744073709551615 4352218 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 573721 562547 604 1205 0 572512 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 2294884

[startup+522.3 s]
/proc/loadavg: 2.07 2.03 1.99 3/416 2556
/proc/meminfo: memFree=21248652/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=2464560 CPUtime=522.28 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 637571 0 0 0 52153 75 0 0 25 0 1 0 279705533 2523709440 605106 33554432000 4194304 9128323 140736816991248 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 616140 605106 604 1205 0 614931 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 2464560

[startup+582.301 s]
/proc/loadavg: 2.02 2.02 1.99 3/416 2557
/proc/meminfo: memFree=20971744/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=2643884 CPUtime=582.28 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 682077 0 0 0 58147 81 0 0 25 0 1 0 279705533 2707337216 649612 33554432000 4194304 9128323 140736816991248 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 660971 649612 604 1205 0 659762 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 2643884

[startup+642.301 s]

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

/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 814228 0 0 0 100128 99 0 0 25 0 1 0 279705533 3251326976 781763 33554432000 4194304 9128323 140736816991248 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 793781 781763 608 1205 0 792572 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 3175124

[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/416 2570
/proc/meminfo: memFree=19800168/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=3248080 CPUtime=1062.27 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 832745 0 0 0 106125 102 0 0 25 0 1 0 279705533 3326033920 800280 33554432000 4194304 9128323 140736816991248 18446744073709551615 6593410 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 812020 800280 608 1205 0 810811 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 3248080

[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/416 2572
/proc/meminfo: memFree=19690416/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=3299156 CPUtime=1122.27 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 845589 0 0 0 112124 103 0 0 25 0 1 0 279705533 3378335744 813124 33554432000 4194304 9128323 140736816991248 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 824789 813124 608 1205 0 823580 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 3299156

[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/416 2573
/proc/meminfo: memFree=19568628/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=3383032 CPUtime=1182.27 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 866998 0 0 0 118121 106 0 0 25 0 1 0 279705533 3464224768 834533 33554432000 4194304 9128323 140736816991248 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 845758 834533 608 1205 0 844549 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 3383032

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 2575
/proc/meminfo: memFree=19216212/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=3423356 CPUtime=1242.27 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 876337 0 0 0 124120 107 0 0 25 0 1 0 279705533 3505516544 843872 33554432000 4194304 9128323 140736816991248 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 855839 843872 608 1205 0 854630 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 3423356

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 2577
/proc/meminfo: memFree=18912768/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=3741928 CPUtime=1302.27 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 950018 0 0 0 130110 117 0 0 25 0 1 0 279705533 3831734272 914804 33554432000 4194304 9128323 140736816991248 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 935482 914804 866 1205 0 934273 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 3741928

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 2578
/proc/meminfo: memFree=18881008/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=3752888 CPUtime=1362.26 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 953762 0 0 0 136106 120 0 0 25 0 1 0 279705533 3842957312 918261 33554432000 4194304 9128323 140736816991248 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 938222 918261 1108 1205 0 937013 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 3752888

[startup+1422.32 s]
/proc/loadavg: 2.10 2.03 2.01 3/416 2580
/proc/meminfo: memFree=18843164/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=3767192 CPUtime=1422.28 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 963076 0 0 0 142104 124 0 0 25 0 1 0 279705533 3857604608 926267 33554432000 4194304 9128323 140736816991248 18446744073709551615 7241289 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 941798 926267 734 1205 0 940589 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 3767192

[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/416 2581
/proc/meminfo: memFree=18811164/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=3767640 CPUtime=1482.26 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 965656 0 0 0 148099 127 0 0 25 0 1 0 279705533 3858063360 928834 33554432000 4194304 9128323 140736816991248 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 941910 928834 731 1205 0 940701 0
Current children cumulated CPU time (s) 1482.26
Current children cumulated vsize (KiB) 3767640

[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/416 2583
/proc/meminfo: memFree=18810776/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=3767640 CPUtime=1542.27 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 965664 0 0 0 154096 131 0 0 25 0 1 0 279705533 3858063360 928842 33554432000 4194304 9128323 140736816991248 18446744073709551615 7082058 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 941910 928842 731 1205 0 940701 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 3767640

[startup+1602.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/416 2585
/proc/meminfo: memFree=18871520/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=3703736 CPUtime=1602.26 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 966129 0 0 0 160091 135 0 0 25 0 1 0 279705533 3792625664 913425 33554432000 4194304 9128323 140736816991248 18446744073709551615 6309892 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 925934 913425 848 1205 0 924725 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 3703736

[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/416 2586
/proc/meminfo: memFree=18871996/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=3704164 CPUtime=1662.26 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 966151 0 0 0 166091 135 0 0 25 0 1 0 279705533 3793063936 913447 33554432000 4194304 9128323 140736816991248 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 926041 913447 852 1205 0 924832 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 3704164

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/416 2588
/proc/meminfo: memFree=18870988/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=3704164 CPUtime=1722.25 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 966151 0 0 0 172090 135 0 0 25 0 1 0 279705533 3793063936 913447 33554432000 4194304 9128323 140736816991248 18446744073709551615 6243388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 926041 913447 852 1205 0 924832 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 3704164

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/416 2589
/proc/meminfo: memFree=18852000/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=3704164 CPUtime=1782.25 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 966168 0 0 0 178090 135 0 0 25 0 1 0 279705533 3793063936 913464 33554432000 4194304 9128323 140736816991248 18446744073709551615 6243313 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 926041 913464 852 1205 0 924832 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 3704164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.01 2.03 2.00 3/417 2591
/proc/meminfo: memFree=18850616/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=3706572 CPUtime=1800.06 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 966615 0 0 0 179871 135 0 0 25 0 1 0 279705533 3795529728 913911 33554432000 4194304 9128323 140736816991248 18446744073709551615 6244953 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 926643 913911 852 1205 0 925434 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3706572

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -2537

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=18848128/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=3725636 CPUtime=1801.36 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 968974 0 0 0 180000 136 0 0 25 0 1 0 279705533 3815051264 916270 33554432000 4194304 9128323 140736816991248 18446744073709551615 6244863 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/2537/statm: 931409 916270 852 1205 0 930200 0
Current children cumulated CPU time (s) 1801.36
Current children cumulated vsize (KiB) 3725636

[startup+1801.82 s]
/proc/loadavg: 2.01 2.03 2.00 3/418 2592
/proc/meminfo: memFree=18839944/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=3725636 CPUtime=1801.77 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4202496 969395 0 0 0 180041 136 0 0 25 0 1 0 279705533 3815051264 916691 33554432000 4194304 9128323 140736816991248 18446744073709551615 6244950 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2537/statm: 931409 916693 852 1205 0 930200 0
Current children cumulated CPU time (s) 1801.77
Current children cumulated vsize (KiB) 3725636

[startup+1802.2 s]
/proc/loadavg: 2.01 2.03 2.00 3/418 2592
/proc/meminfo: memFree=18839944/32950928 swapFree=52006644/67111528
[pid=2537] ppid=2535 vsize=0 CPUtime=1802.15 cores=0,2,4,6
/proc/2537/stat : 2537 (scip-2.0.1.4.li) R 2535 2537 32638 0 -1 4203524 969726 0 0 0 180071 144 0 0 25 0 1 0 279705533 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/2537/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.25
CPU time (s): 1802.22
CPU user time (s): 1800.72
CPU system time (s): 1.50177
CPU usage (%): 99.9979
Max. virtual memory (cumulated for all children) (KiB): 3767640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.72
system time used= 1.50177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 969726
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= 4
involuntary context switches= 1748

runsolver used 7.72483 second user time and 16.8844 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-03 19:09:21
IDJOB=3453478
IDBENCH=77604
IDSOLVER=1949
FILE ID=node112/3453478-1307120961
RUNJOBID= node112-1307117356-2294
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-j12025_6.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-3453478-1307120961/watcher-3453478-1307120961 -o /tmp/evaluation-result-3453478-1307120961/solver-3453478-1307120961 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453478-1307120961.opb -t 1800 -m 15500

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

MD5SUM BENCH= 6c0eb2c4b5b4376f9bed3c34031f2253
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:      25932160 kB
Buffers:        327592 kB
Cached:        5687688 kB
SwapCached:      31280 kB
Active:         975948 kB
Inactive:      5760988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25932160 kB
SwapTotal:    67111528 kB
SwapFree:     52006644 kB
Dirty:           39268 kB
Writeback:           0 kB
AnonPages:      698276 kB
Mapped:          13756 kB
Slab:           157360 kB
PageTables:      59160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 98678696 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= 73816 MiB
End job on node112 at 2011-06-03 19:39:24