Trace number 3741668

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.11 1802.41

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-opm2-z12-s7.opb
MD5SUMf90862d191ee74c723e0b8b51b7e0fa9
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-43894
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10800
Total number of constraints319508
Number of constraints which are clauses319500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint2
Maximum length of a constraint10800
Number of terms in the objective function 10742
Biggest coefficient in the objective function 574
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 1510061
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 3704832
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 26061465
Number of bits of the biggest sum of numbers25
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 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 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-3741668-1338759637.opb>
1.78/1.89	c original problem has 10800 variables (10800 bin, 0 int, 0 impl, 0 cont) and 319508 constraints
1.78/1.89	c problem read
1.78/1.89	c presolving settings loaded
2.19/2.27	o 0
2.19/2.27	c feasible solution found by trivial heuristic, objective value  0.000000e+00
2.19/2.27	c presolving:
4.89/4.95	c (round 1) 408 del vars, 19416 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4512120 impls, 0 clqs
4.99/5.01	c (round 2) 422 del vars, 20342 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4512120 impls, 0 clqs
6.19/6.22	c (round 3) 422 del vars, 20370 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 299138 upgd conss, 4512120 impls, 0 clqs
116.46/116.50	c    (114.6s) probing: 1000/10378 (9.6%) - 0 fixings, 0 aggregations, 349523 implications, 0 bound changes
234.43/234.57	c    (232.7s) probing: 2000/10378 (19.3%) - 0 fixings, 0 aggregations, 666885 implications, 0 bound changes
234.63/234.71	c    (232.8s) probing: 2001/10378 (19.3%) - 0 fixings, 0 aggregations, 667123 implications, 0 bound changes
234.63/234.71	c    (232.8s) probing aborted: 2000/2000 successive useless probings
234.63/234.72	c presolving (4 rounds):
234.63/234.72	c  422 deleted vars, 20370 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
234.63/234.72	c  6260416 implications, 0 cliques
234.63/234.72	c presolved problem has 10378 variables (10378 bin, 0 int, 0 impl, 0 cont) and 299138 constraints
234.63/234.72	c       8 constraints of type <knapsack>
234.63/234.72	c  299130 constraints of type <setppc>
234.63/234.72	c transformed objective value is always integral (scale: 1)
234.63/234.72	c Presolving Time: 232.49
234.63/234.72	c - non default parameters ----------------------------------------------------------------------
234.63/234.72	c # SCIP version 1.2.1.3
234.63/234.72	c 
234.63/234.72	c # frequency for displaying node information lines
234.63/234.72	c # [type: int, range: [-1,2147483647], default: 100]
234.63/234.72	c display/freq = 10000
234.63/234.72	c 
234.63/234.72	c # maximal time in seconds to run
234.63/234.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
234.63/234.72	c limits/time = 1788.11
234.63/234.72	c 
234.63/234.72	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
234.63/234.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
234.63/234.72	c limits/memory = 13950
234.63/234.72	c 
234.63/234.72	c # default clock type (1: CPU user seconds, 2: wall clock time)
234.63/234.72	c # [type: int, range: [1,2], default: 1]
234.63/234.72	c timing/clocktype = 2
234.63/234.72	c 
234.63/234.72	c # should presolving try to simplify inequalities
234.63/234.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
234.63/234.72	c constraints/linear/simplifyinequalities = TRUE
234.63/234.72	c 
234.63/234.72	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
234.63/234.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
234.63/234.72	c constraints/indicator/addCouplingCons = TRUE
234.63/234.72	c 
234.63/234.72	c # should presolving try to simplify knapsacks
234.63/234.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
234.63/234.72	c constraints/knapsack/simplifyinequalities = TRUE
234.63/234.72	c 
234.63/234.72	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
234.63/234.72	c # [type: int, range: [-1,2147483647], default: -1]
234.63/234.72	c separating/rapidlearning/freq = 0
234.63/234.72	c 
234.63/234.72	c -----------------------------------------------------------------------------------------------
234.63/234.72	c start solving
234.63/234.72	c 
627.98/628.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
627.98/628.11	c t 626s|     1 |     0 | 32448 |     - | 522M|   0 |9864 |  10k| 299k|  10k| 299k|   0 |   0 |   0 |-9.051429e+04 | 0.000000e+00 | 100.00%
631.38/631.59	o -38864
631.38/631.59	c s 630s|     1 |     0 | 32448 |     - | 523M|   0 |9864 |  10k| 299k|  10k| 299k|   0 |   0 |   0 |-9.051429e+04 |-3.886400e+04 |  57.06%
1800.09/1800.40	c pressed CTRL-C 1 times (5 times for forcing termination)

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-3741668-1338759637/watcher-3741668-1338759637 -o /tmp/evaluation-result-3741668-1338759637/solver-3741668-1338759637 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741668-1338759637.opb -t 1800 -m 15500 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24579
/proc/meminfo: memFree=27001552/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 1248 0 0 0 0 0 0 0 20 0 1 0 342087864 8105984 1194 33554432000 4194304 8395647 140733834683632 140734302825304 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 1979 1194 370 1026 0 949 0

[startup+0.04182 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24579
/proc/meminfo: memFree=27001552/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=18812 CPUtime=0.03 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 3967 0 0 0 3 0 0 0 20 0 1 0 342087864 19263488 3907 33554432000 4194304 8395647 140733834683632 140734302825304 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 4703 3907 394 1026 0 3673 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18812

[startup+0.100318 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24579
/proc/meminfo: memFree=27001552/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=20520 CPUtime=0.08 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 4229 0 0 0 8 0 0 0 20 0 1 0 342087864 21012480 4169 33554432000 4194304 8395647 140733834683632 140733834548808 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 5130 4169 394 1026 0 4100 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20520

[startup+0.300272 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24579
/proc/meminfo: memFree=27001552/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=33528 CPUtime=0.29 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 7527 0 0 0 28 1 0 0 20 0 1 0 342087864 34332672 7467 33554432000 4194304 8395647 140733834683632 140733834548808 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 8382 7467 394 1026 0 7352 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33528

[startup+0.700261 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24579
/proc/meminfo: memFree=27001552/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=57176 CPUtime=0.69 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 13401 0 0 0 67 2 0 0 20 0 1 0 342087864 58548224 13341 33554432000 4194304 8395647 140733834683632 140733834548808 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 14294 13341 394 1026 0 13264 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57176

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24580
/proc/meminfo: memFree=26930988/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=105708 CPUtime=1.48 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 25516 0 0 0 145 3 0 0 20 0 1 0 342087864 108244992 25456 33554432000 4194304 8395647 140733834683632 140733834548504 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 26427 25456 394 1026 0 25397 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 105708

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24580
/proc/meminfo: memFree=26746956/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=383080 CPUtime=3.09 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 94492 0 0 0 297 12 0 0 20 0 1 0 342087864 392273920 94078 33554432000 4194304 8395647 140733834683632 140733834679384 7385355 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 95770 94078 476 1026 0 94740 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 383080

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24580
/proc/meminfo: memFree=26502932/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=612592 CPUtime=6.29 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 150920 0 0 0 608 21 0 0 20 0 1 0 342087864 627294208 150944 33554432000 4194304 8395647 140733834683632 140733834680344 4684118 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 153148 150944 496 1026 0 152118 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 612592

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24580
/proc/meminfo: memFree=26368532/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=641348 CPUtime=12.68 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 151619 0 0 0 1247 21 0 0 20 0 1 0 342087864 656740352 158223 33554432000 4194304 8395647 140733834683632 140733834680728 5210321 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 160337 158223 510 1026 0 159307 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 641348

[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 24580
/proc/meminfo: memFree=26369152/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=641348 CPUtime=25.48 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 151626 0 0 0 2527 21 0 0 20 0 1 0 342087864 656740352 158230 33554432000 4194304 8395647 140733834683632 140733834680728 5210338 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 160337 158230 510 1026 0 159307 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 641348

[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 24580
/proc/meminfo: memFree=26368636/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=641348 CPUtime=51.07 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 151633 0 0 0 5086 21 0 0 20 0 1 0 342087864 656740352 158352 33554432000 4194304 8395647 140733834683632 140733834680728 5210321 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 160337 158352 510 1026 0 159307 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 641348

[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24580
/proc/meminfo: memFree=26367688/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=641348 CPUtime=102.27 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 151639 0 0 0 10206 21 0 0 20 0 1 0 342087864 656740352 158353 33554432000 4194304 8395647 140733834683632 140733834680728 4217164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 160337 158353 510 1026 0 159307 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 641348

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24580
/proc/meminfo: memFree=26366668/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=641348 CPUtime=162.24 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 151654 0 0 0 16203 21 0 0 20 0 1 0 342087864 656740352 158609 33554432000 4194304 8395647 140733834683632 140733834678568 5210338 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 160337 158609 510 1026 0 159307 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 641348

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24580
/proc/meminfo: memFree=26366448/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=641348 CPUtime=222.24 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 151722 0 0 0 22203 21 0 0 20 0 1 0 342087864 656740352 158675 33554432000 4194304 8395647 140733834683632 140733834678568 5210321 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 160337 158675 510 1026 0 159307 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 641348

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24581
/proc/meminfo: memFree=26060088/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=982888 CPUtime=282.23 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 202023 0 0 0 28187 36 0 0 20 0 1 0 342087864 1006477312 235134 33554432000 4194304 8395647 140733834683632 140733834679192 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 245722 235134 581 1026 0 244692 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 982888

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24581
/proc/meminfo: memFree=26021320/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1023900 CPUtime=342.22 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 207476 0 0 0 34180 42 0 0 20 0 1 0 342087864 1048473600 245030 33554432000 4194304 8395647 140733834683632 140733834678760 6697955 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 255975 245030 581 1026 0 254945 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1023900

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24581
/proc/meminfo: memFree=25984196/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1041028 CPUtime=402.21 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 211249 0 0 0 40174 47 0 0 20 0 1 0 342087864 1066012672 254001 33554432000 4194304 8395647 140733834683632 140733834678760 6698034 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 260257 254001 581 1026 0 259227 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1041028

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24581
/proc/meminfo: memFree=25930668/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1089408 CPUtime=462.2 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 212748 0 0 0 46170 50 0 0 20 0 1 0 342087864 1115553792 267337 33554432000 4194304 8395647 140733834683632 140733834678760 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 272352 267337 581 1026 0 271322 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1089408

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24581
/proc/meminfo: memFree=25918264/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1096056 CPUtime=522.18 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 214671 0 0 0 52164 54 0 0 20 0 1 0 342087864 1122361344 270395 33554432000 4194304 8395647 140733834683632 140733834679096 6390512 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 274014 270395 581 1026 0 272984 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1096056

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24623
/proc/meminfo: memFree=25802880/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1097236 CPUtime=582.18 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 215011 0 0 0 58161 57 0 0 20 0 1 0 342087864 1123569664 270695 33554432000 4194304 8395647 140733834683632 140733834678760 7382116 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 274309 270695 581 1026 0 273279 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 1097236

[startup+642.3 s]

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

/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 215029 0 0 0 106150 60 0 0 20 0 1 0 342087864 1123569664 271111 33554432000 4194304 8395647 140733834683632 140733834678872 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 274309 271111 597 1026 0 273279 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1097236

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24634
/proc/meminfo: memFree=25790856/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1097236 CPUtime=1122.09 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 215029 0 0 0 112144 65 0 0 20 0 1 0 342087864 1123569664 271111 33554432000 4194304 8395647 140733834683632 140733834678872 6197370 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 274309 271111 597 1026 0 273279 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1097236

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24637
/proc/meminfo: memFree=25790936/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1097236 CPUtime=1182.08 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 215030 0 0 0 118139 69 0 0 20 0 1 0 342087864 1123569664 271112 33554432000 4194304 8395647 140733834683632 140733834678872 7386069 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 274309 271112 598 1026 0 273279 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1097236

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24661
/proc/meminfo: memFree=25790684/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1097236 CPUtime=1242.07 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 215030 0 0 0 124133 74 0 0 20 0 1 0 342087864 1123569664 271112 33554432000 4194304 8395647 140733834683632 140733834678872 6440490 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 274309 271112 598 1026 0 273279 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1097236

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24661
/proc/meminfo: memFree=25790588/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1097236 CPUtime=1302.07 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 215030 0 0 0 130127 80 0 0 20 0 1 0 342087864 1123569664 271112 33554432000 4194304 8395647 140733834683632 140733834678920 7382137 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 274309 271112 598 1026 0 273279 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1097236

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24661
/proc/meminfo: memFree=25790836/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1097236 CPUtime=1362.06 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 215060 0 0 0 136123 83 0 0 20 0 1 0 342087864 1123569664 271142 33554432000 4194304 8395647 140733834683632 140733834678936 6697351 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 274309 271142 628 1026 0 273279 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1097236

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24661
/proc/meminfo: memFree=25858172/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1060996 CPUtime=1422.05 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 219354 0 0 0 142117 88 0 0 20 0 1 0 342087864 1086459904 254281 33554432000 4194304 8395647 140733834683632 140733834678504 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 265249 254281 628 1026 0 264219 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1060996

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24661
/proc/meminfo: memFree=25860100/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1060996 CPUtime=1482.04 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 222607 0 0 0 148112 92 0 0 20 0 1 0 342087864 1086459904 253766 33554432000 4194304 8395647 140733834683632 140733834678504 6698055 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 265249 253766 628 1026 0 264219 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1060996

[startup+1542.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 24662
/proc/meminfo: memFree=25857872/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1060996 CPUtime=1542.04 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 226236 0 0 0 154106 98 0 0 20 0 1 0 342087864 1086459904 253251 33554432000 4194304 8395647 140733834683632 140733834678504 6697359 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 265249 253251 628 1026 0 264219 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1060996

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24662
/proc/meminfo: memFree=25856072/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1060996 CPUtime=1602.02 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 229495 0 0 0 160100 102 0 0 20 0 1 0 342087864 1086459904 253764 33554432000 4194304 8395647 140733834683632 140733834678504 6697246 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 265249 253764 628 1026 0 264219 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1060996

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24662
/proc/meminfo: memFree=25851976/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1060996 CPUtime=1662.01 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 229517 0 0 0 166097 104 0 0 20 0 1 0 342087864 1086459904 254808 33554432000 4194304 8395647 140733834683632 140733834678504 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 265249 254808 628 1026 0 264219 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1060996

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24662
/proc/meminfo: memFree=25851728/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1060996 CPUtime=1722 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 229526 0 0 0 172093 107 0 0 20 0 1 0 342087864 1086459904 254817 33554432000 4194304 8395647 140733834683632 140733834678504 7382157 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 265249 254817 628 1026 0 264219 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1060996

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24665
/proc/meminfo: memFree=25857440/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1060996 CPUtime=1781.99 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 236007 0 0 0 178088 111 0 0 20 0 1 0 342087864 1086459904 253251 33554432000 4194304 8395647 140733834683632 140733834678504 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 265249 253251 628 1026 0 264219 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1060996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24666
/proc/meminfo: memFree=25853656/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1060996 CPUtime=1800.09 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 236017 0 0 0 179897 112 0 0 20 0 1 0 342087864 1086459904 254283 33554432000 4194304 8395647 140733834683632 140733834678504 6585815 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 265249 254283 628 1026 0 264219 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1060996

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -24579

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

[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24667
/proc/meminfo: memFree=25853656/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1060996 CPUtime=1801.19 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 236017 0 0 0 180007 112 0 0 20 0 1 0 342087864 1086459904 254283 33554432000 4194304 8395647 140733834683632 140733834678504 6745157 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 265249 254283 628 1026 0 264219 0
Current children cumulated CPU time (s) 1801.19
Current children cumulated vsize (KiB) 1060996

[startup+1801.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24667
/proc/meminfo: memFree=25853524/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1060996 CPUtime=1801.59 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 236018 0 0 0 180047 112 0 0 20 0 1 0 342087864 1086459904 254284 33554432000 4194304 8395647 140733834683632 140733834678504 6391400 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 265249 254284 628 1026 0 264219 0
Current children cumulated CPU time (s) 1801.59
Current children cumulated vsize (KiB) 1060996

[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24667
/proc/meminfo: memFree=25853524/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1060996 CPUtime=1801.99 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 236018 0 0 0 180087 112 0 0 20 0 1 0 342087864 1086459904 254284 33554432000 4194304 8395647 140733834683632 140733834678504 6692859 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 265249 254284 628 1026 0 264219 0
Current children cumulated CPU time (s) 1801.99
Current children cumulated vsize (KiB) 1060996

[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24667
/proc/meminfo: memFree=25853524/32873648 swapFree=7368/7368
[pid=24579] ppid=24577 vsize=1060996 CPUtime=1802.09 cores=1,3,5,7
/proc/24579/stat : 24579 (pbscip.linux.x8) R 24577 24579 23880 0 -1 4202496 236018 0 0 0 180097 112 0 0 20 0 1 0 342087864 1086459904 254284 33554432000 4194304 8395647 140733834683632 140733834678504 6698043 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24579/statm: 265249 254284 628 1026 0 264219 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 1060996

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.41
CPU time (s): 1802.11
CPU user time (s): 1800.98
CPU system time (s): 1.13383
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 1115172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.98
system time used= 1.13383
maximum resident set size= 1084568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236018
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= 42
involuntary context switches= 1953

runsolver used 3.24551 second user time and 8.51271 second system time

The end

Launcher Data

Begin job on node149 at 2012-06-03 23:40:38
IDJOB=3741668
IDBENCH=89894
IDSOLVER=2326
FILE ID=node149/3741668-1338759637
RUNJOBID= node149-1338749311-23897
PBS_JOBID= 14636798
Free space on /tmp= 71032 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-opm2-z12-s7.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741668-1338759637/watcher-3741668-1338759637 -o /tmp/evaluation-result-3741668-1338759637/solver-3741668-1338759637 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741668-1338759637.opb -t 1800 -m 15500

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

MD5SUM BENCH= f90862d191ee74c723e0b8b51b7e0fa9
RANDOM SEED=153282891

node149.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.145
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	: 5332.29
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.145
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.145
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	: 5438.55
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.145
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.145
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.145
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	: 5438.55
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.145
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.145
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:       32873648 kB
MemFree:        27001824 kB
Buffers:          777492 kB
Cached:          4142536 kB
SwapCached:         2468 kB
Active:          2088472 kB
Inactive:        2886136 kB
Active(anon):      37412 kB
Inactive(anon):     9368 kB
Active(file):    2051060 kB
Inactive(file):  2876768 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             19340 kB
Writeback:             0 kB
AnonPages:         49444 kB
Mapped:            16660 kB
Shmem:                96 kB
Slab:             758888 kB
SReclaimable:     202696 kB
SUnreclaim:       556192 kB
KernelStack:        1456 kB
PageTables:         3644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     159168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71020 MiB
End job on node149 at 2012-06-04 00:10:40