Trace number 3447316

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 NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4? (TO) 1800.06 1800.02

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-33-100-0.wbo
MD5SUM5f8009069df980e2f8c5fa5b8614d35c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.046992
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2221
Total number of constraints3050
Number of soft constraints2040
Number of constraints which are clauses2330
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints720
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 104315
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 104314
Biggest number in a constraint 641
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2174
Number of bits of the biggest sum of numbers12
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-3447316-1307899184.wbo>
0.00/0.03	c original problem has 4261 variables (4261 bin, 0 int, 0 impl, 0 cont) and 3051 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.06	c presolving:
0.00/0.07	c (round 1) 5 del vars, 2 del conss, 0 add conss, 1 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 1830 impls, 0 clqs
0.00/0.07	c (round 2) 6 del vars, 12 del conss, 0 add conss, 2 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 1830 impls, 0 clqs
0.00/0.08	c (round 3) 8 del vars, 15 del conss, 0 add conss, 3 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 1830 impls, 0 clqs
0.00/0.08	c (round 4) 9 del vars, 16 del conss, 0 add conss, 3 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 1830 impls, 0 clqs
0.00/0.09	c (round 5) 9 del vars, 16 del conss, 0 add conss, 2042 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 1830 impls, 0 clqs
0.09/0.10	c (round 6) 9 del vars, 16 del conss, 0 add conss, 2042 chg bounds, 360 chg sides, 720 chg coeffs, 997 upgd conss, 1830 impls, 0 clqs
0.09/0.15	c    (0.2s) probing: 101/4253 (2.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.09/0.15	c presolving (7 rounds):
0.09/0.15	c  9 deleted vars, 16 deleted constraints, 0 added constraints, 2042 tightened bounds, 0 added holes, 360 changed sides, 720 changed coefficients
0.09/0.15	c  3869 implications, 0 cliques
0.09/0.15	c presolved problem has 6292 variables (4253 bin, 0 int, 2039 impl, 0 cont) and 5075 constraints
0.09/0.15	c     227 constraints of type <knapsack>
0.09/0.15	c     530 constraints of type <setppc>
0.09/0.15	c    2039 constraints of type <linear>
0.09/0.15	c    2039 constraints of type <indicator>
0.09/0.15	c     240 constraints of type <logicor>
0.09/0.15	c transformed objective value is always integral (scale: 1)
0.09/0.15	c Presolving Time: 0.11
0.09/0.15	c - non default parameters ----------------------------------------------------------------------
0.09/0.15	c # SCIP version 2.0.1.4
0.09/0.15	c 
0.09/0.15	c # frequency for displaying node information lines
0.09/0.15	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15	c display/freq = 10000
0.09/0.15	c 
0.09/0.15	c # maximal time in seconds to run
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/time = 1800
0.09/0.15	c 
0.09/0.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/memory = 13950
0.09/0.15	c 
0.09/0.15	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15	c # [type: int, range: [1,2], default: 1]
0.09/0.15	c timing/clocktype = 2
0.09/0.15	c 
0.09/0.15	c # belongs reading time to solving time?
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c timing/reading = TRUE
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify inequalities
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/linear/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/indicator/addCouplingCons = TRUE
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify knapsacks
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15	c separating/rapidlearning/freq = 0
0.09/0.15	c 
0.09/0.15	c -----------------------------------------------------------------------------------------------
0.09/0.15	c start solving
0.09/0.16	c 
0.29/0.38	o 104290
0.29/0.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.29/0.38	c y 0.4s|     1 |     0 |     0 |     - |  22M|   0 |   - |6292 |7114 |6292 |3036 |   0 |   0 |   0 |      --      | 1.042900e+05 |    Inf 
0.39/0.40	c   0.4s|     1 |     0 |   544 |     - |  22M|   0 | 330 |6292 |7114 |6292 |3036 |   0 |   0 |   0 | 0.000000e+00 | 1.042900e+05 |    Inf 
0.79/0.89	c   0.9s|     1 |     0 |  1499 |     - |  24M|   0 | 512 |6292 |7114 |6292 |3336 | 300 |   0 |   0 | 0.000000e+00 | 1.042900e+05 |    Inf 
1.10/1.16	c   1.2s|     1 |     0 |  2245 |     - |  24M|   0 | 694 |6292 |7114 |6292 |3616 | 580 |   0 |   0 | 0.000000e+00 | 1.042900e+05 |    Inf 
1.59/1.64	c   1.6s|     1 |     0 |  3244 |     - |  24M|   0 | 769 |6292 |7114 |6292 |3899 | 863 |   0 |   0 | 0.000000e+00 | 1.042900e+05 |    Inf 
2.59/2.61	c   2.6s|     1 |     0 |  7193 |     - |  25M|   0 | 912 |6292 |7114 |6292 |4152 |1116 |   0 |   0 | 0.000000e+00 | 1.042900e+05 |    Inf 
3.39/3.48	c   3.5s|     1 |     0 |  9774 |     - |  25M|   0 | 865 |6292 |7114 |6292 |4426 |1390 |   0 |   0 | 0.000000e+00 | 1.042900e+05 |    Inf 
4.29/4.32	c   4.3s|     1 |     0 | 12028 |     - |  25M|   0 | 816 |6292 |7114 |6292 |4649 |1613 |   0 |   0 | 0.000000e+00 | 1.042900e+05 |    Inf 
5.19/5.25	c   5.3s|     1 |     2 | 12028 |     - |  26M|   0 | 816 |6292 |7114 |6292 |4649 |1613 |   0 |  12 | 0.000000e+00 | 1.042900e+05 |    Inf 
634.50/634.55	c   635s| 10000 |  9989 |  1551k| 154.0 |  67M|  81 | 523 |6292 |7456 |6292 |4614 |1613 | 343 |8708 | 0.000000e+00 | 1.042900e+05 |    Inf 
1029.71/1029.77	c  1030s| 20000 | 19973 |  2686k| 133.7 |  98M| 101 | 535 |6292 |7527 |6292 |4614 |1613 | 534 |  12k| 0.000000e+00 | 1.042900e+05 |    Inf 
1363.52/1363.56	c  1364s| 30000 | 29953 |  3617k| 120.2 | 129M| 109 | 510 |6292 |7477 |6292 |4614 |1613 | 706 |  15k| 0.000000e+00 | 1.042900e+05 |    Inf 
1676.03/1676.02	c  1676s| 40000 | 39935 |  4477k| 111.6 | 160M| 129 | 354 |6292 |7472 |6292 |4614 |1613 | 850 |  17k| 0.000000e+00 | 1.042900e+05 |    Inf 
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.04/1800.00	c Solving Time (sec) : 1800.00
1800.04/1800.00	c Solving Nodes      : 43690
1800.04/1800.00	c Primal Bound       : +1.04290000000000e+05 (100 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite

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-3447316-1307899184/watcher-3447316-1307899184 -o /tmp/evaluation-result-3447316-1307899184/solver-3447316-1307899184 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447316-1307899184.wbo -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 1.91 2/177 23718
/proc/meminfo: memFree=32411408/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=10332 CPUtime=0 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 1567 0 0 0 0 0 0 0 25 0 1 0 901521016 10579968 1521 33554432000 4194304 9128323 140734042957872 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23718/statm: 2583 1521 399 1205 0 1374 0

[startup+0.011709 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 23718
/proc/meminfo: memFree=32411408/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=11580 CPUtime=0 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 1906 0 0 0 0 0 0 0 25 0 1 0 901521016 11857920 1860 33554432000 4194304 9128323 140734042957872 18446744073709551615 8008900 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/23718/statm: 2895 1860 399 1205 0 1686 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11580

[startup+0.100725 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 23718
/proc/meminfo: memFree=32411408/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=37852 CPUtime=0.09 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 8397 0 0 0 9 0 0 0 25 0 1 0 901521016 38760448 8092 33554432000 4194304 9128323 140734042957872 18446744073709551615 4667277 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 9463 8092 534 1205 0 8254 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37852

[startup+0.300688 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 23718
/proc/meminfo: memFree=32411408/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=48144 CPUtime=0.29 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 11250 0 0 0 28 1 0 0 25 0 1 0 901521016 49299456 10839 33554432000 4194304 9128323 140734042957872 18446744073709551615 5089472 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 12036 10839 622 1205 0 10827 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48144

[startup+0.700621 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 23718
/proc/meminfo: memFree=32411408/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=71328 CPUtime=0.69 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 17234 0 0 0 67 2 0 0 25 0 1 0 901521016 73039872 16629 33554432000 4194304 9128323 140734042957872 18446744073709551615 8009006 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 17832 16652 716 1205 0 16623 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 71328

[startup+1.50047 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23719
/proc/meminfo: memFree=32360212/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=68460 CPUtime=1.49 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 25670 0 0 0 145 4 0 0 25 0 1 0 901521016 70103040 15784 33554432000 4194304 9128323 140734042957872 18446744073709551615 6299968 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 17115 15784 776 1205 0 15906 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68460

[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23719
/proc/meminfo: memFree=32346948/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=72152 CPUtime=3.09 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 26667 0 0 0 303 6 0 0 25 0 1 0 901521016 73883648 16695 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 18038 16695 734 1205 0 16829 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72152

[startup+6.30063 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23719
/proc/meminfo: memFree=32342660/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=74996 CPUtime=6.29 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 34142 0 0 0 614 15 0 0 25 0 1 0 901521016 76795904 17311 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 18749 17311 741 1205 0 17540 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 74996

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23757
/proc/meminfo: memFree=32336016/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=75220 CPUtime=12.69 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 34223 0 0 0 1245 24 0 0 25 0 1 0 901521016 77025280 17392 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 18805 17392 745 1205 0 17596 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75220

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23757
/proc/meminfo: memFree=32296800/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=75504 CPUtime=25.49 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 34270 0 0 0 2505 44 0 0 25 0 1 0 901521016 77316096 17439 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 18876 17439 749 1205 0 17667 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 75504

[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23758
/proc/meminfo: memFree=32295148/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=77544 CPUtime=51.09 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 34724 0 0 0 5028 81 0 0 25 0 1 0 901521016 79405056 17893 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 19386 17893 750 1205 0 18177 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 77544

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23759
/proc/meminfo: memFree=32288736/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=83188 CPUtime=102.3 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 42790 0 0 0 10083 147 0 0 25 0 1 0 901521016 85184512 19290 33554432000 4194304 9128323 140734042957872 18446744073709551615 7349592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 20797 19290 753 1205 0 19588 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 83188

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23761
/proc/meminfo: memFree=32262124/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=92132 CPUtime=162.29 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 51371 0 0 0 15996 233 0 0 25 0 1 0 901521016 94343168 21355 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 23033 21355 753 1205 0 21824 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 92132

[startup+222.301 s]
/proc/loadavg: 2.04 2.01 1.92 3/178 23762
/proc/meminfo: memFree=32252136/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=94600 CPUtime=222.3 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 53941 0 0 0 21914 316 0 0 25 0 1 0 901521016 96870400 22027 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 23650 22027 753 1205 0 22441 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 94600

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 23764
/proc/meminfo: memFree=32244268/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=96612 CPUtime=282.3 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 61632 0 0 0 27822 408 0 0 25 0 1 0 901521016 98930688 22531 33554432000 4194304 9128323 140734042957872 18446744073709551615 7216739 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 24153 22531 753 1205 0 22944 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 96612

[startup+342.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/178 23766
/proc/meminfo: memFree=32232300/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=102984 CPUtime=342.29 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 63331 0 0 0 33732 497 0 0 25 0 1 0 901521016 105455616 24167 33554432000 4194304 9128323 140734042957872 18446744073709551615 7192546 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 25746 24167 753 1205 0 24537 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 102984

[startup+402.301 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 23767
/proc/meminfo: memFree=32226520/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=105560 CPUtime=402.31 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 63990 0 0 0 39639 592 0 0 25 0 1 0 901521016 108093440 24825 33554432000 4194304 9128323 140734042957872 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 26390 24825 753 1205 0 25181 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 105560

[startup+462.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 23769
/proc/meminfo: memFree=32218524/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=107760 CPUtime=462.3 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 66257 0 0 0 45551 679 0 0 25 0 1 0 901521016 110346240 25379 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 26940 25379 753 1205 0 25731 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 107760

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23770
/proc/meminfo: memFree=32209400/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=114760 CPUtime=522.3 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 68033 0 0 0 51459 771 0 0 25 0 1 0 901521016 117514240 27057 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 28690 27057 753 1205 0 27481 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 114760

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23772
/proc/meminfo: memFree=32204004/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=116628 CPUtime=582.31 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 68488 0 0 0 57364 867 0 0 25 0 1 0 901521016 119427072 27512 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 29157 27512 753 1205 0 27948 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 116628

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 23778
/proc/meminfo: memFree=32176700/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=131568 CPUtime=822.31 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 74377 0 0 0 80999 1232 0 0 25 0 1 0 901521016 134725632 31363 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 32892 31363 753 1205 0 31683 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 131568

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23780
/proc/meminfo: memFree=32169428/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=136812 CPUtime=882.31 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 75695 0 0 0 86907 1324 0 0 25 0 1 0 901521016 140095488 32681 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 34203 32681 753 1205 0 32994 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 136812

[startup+942.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/178 23782
/proc/meminfo: memFree=32161192/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=141272 CPUtime=942.31 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 76745 0 0 0 92813 1418 0 0 25 0 1 0 901521016 144662528 33710 33554432000 4194304 9128323 140734042957872 18446744073709551615 6416791 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 35318 33710 753 1205 0 34109 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 141272

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 23783
/proc/meminfo: memFree=32153060/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=145332 CPUtime=1002.32 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 77808 0 0 0 98722 1510 0 0 25 0 1 0 901521016 148819968 34754 33554432000 4194304 9128323 140734042957872 18446744073709551615 7342915 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 36333 34754 753 1205 0 35124 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 145332

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23785
/proc/meminfo: memFree=32143576/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=150728 CPUtime=1062.32 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 79235 0 0 0 104635 1597 0 0 25 0 1 0 901521016 154345472 36181 33554432000 4194304 9128323 140734042957872 18446744073709551615 6712740 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 37682 36181 753 1205 0 36473 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 150728

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23786
/proc/meminfo: memFree=32132840/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=158872 CPUtime=1122.32 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 81198 0 0 0 110548 1684 0 0 25 0 1 0 901521016 162684928 38144 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 39718 38144 753 1205 0 38509 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 158872

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23788
/proc/meminfo: memFree=32126556/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=162476 CPUtime=1182.32 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 82111 0 0 0 116457 1775 0 0 25 0 1 0 901521016 166375424 39057 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 40619 39057 753 1205 0 39410 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 162476

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23790
/proc/meminfo: memFree=32118308/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=168476 CPUtime=1242.32 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 90255 0 0 0 122369 1863 0 0 25 0 1 0 901521016 172519424 40491 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 42119 40491 753 1205 0 40910 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 168476

[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 1.94 3/178 23791
/proc/meminfo: memFree=32109560/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=174648 CPUtime=1302.33 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 91879 0 0 0 128285 1948 0 0 25 0 1 0 901521016 178839552 42113 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 43662 42113 756 1205 0 42453 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 174648

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 23793
/proc/meminfo: memFree=32101800/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=178148 CPUtime=1362.33 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 92916 0 0 0 134191 2042 0 0 25 0 1 0 901521016 182423552 43074 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 44537 43074 753 1205 0 43328 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 178148

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 23794
/proc/meminfo: memFree=32094152/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=183288 CPUtime=1422.33 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 94303 0 0 0 140102 2131 0 0 25 0 1 0 901521016 187686912 44362 33554432000 4194304 9128323 140734042957872 18446744073709551615 7267311 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 45822 44362 753 1205 0 44613 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 183288

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23796
/proc/meminfo: memFree=32082568/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=191992 CPUtime=1482.33 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 96652 0 0 0 146017 2216 0 0 25 0 1 0 901521016 196599808 46545 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 47998 46545 813 1205 0 46789 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 191992

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23798
/proc/meminfo: memFree=32074940/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=195544 CPUtime=1542.33 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 97616 0 0 0 151929 2304 0 0 25 0 1 0 901521016 200237056 47447 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 48886 47447 753 1205 0 47677 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 195544

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23799
/proc/meminfo: memFree=32068056/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=200124 CPUtime=1602.33 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 98701 0 0 0 157847 2386 0 0 25 0 1 0 901521016 204926976 48520 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 50031 48520 753 1205 0 48822 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 200124

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23801
/proc/meminfo: memFree=32053744/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=207308 CPUtime=1662.33 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 100585 0 0 0 163753 2480 0 0 25 0 1 0 901521016 212283392 50372 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 51827 50372 753 1205 0 50618 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 207308

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23802
/proc/meminfo: memFree=32047344/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=212568 CPUtime=1722.34 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 102015 0 0 0 169665 2569 0 0 25 0 1 0 901521016 217669632 51721 33554432000 4194304 9128323 140734042957872 18446744073709551615 7192230 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 53142 51721 753 1205 0 51933 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 212568

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23804
/proc/meminfo: memFree=32037860/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=218232 CPUtime=1782.34 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 104117 0 0 0 175573 2661 0 0 25 0 1 0 901521016 223469568 53082 33554432000 4194304 9128323 140734042957872 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23718/statm: 54558 53082 775 1205 0 53349 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 218232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23805
/proc/meminfo: memFree=32034344/32951124 swapFree=67052812/67111528
[pid=23718] ppid=23716 vsize=221196 CPUtime=1800.04 cores=1,3,5,7
/proc/23718/stat : 23718 (scip-2.0.1.4.li) R 23716 23718 21680 0 -1 4202496 104927 0 0 0 177321 2683 0 0 25 0 1 0 901521016 226504704 53837 33554432000 4194304 9128323 140734042957872 18446744073709551615 8057664 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23718/statm: 55299 53837 823 1205 0 54090 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 221196

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1773.21
CPU system time (s): 26.8489
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 221196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.21
system time used= 26.8489
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104927
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= 5
involuntary context switches= 6338

runsolver used 2.6076 second user time and 6.21406 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-12 19:19:44
IDJOB=3447316
IDBENCH=79020
IDSOLVER=1944
FILE ID=node103/3447316-1307899184
RUNJOBID= node103-1307897153-22179
PBS_JOBID= 13559599
Free space on /tmp= 74064 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl--soft-33-100-0.wbo
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-3447316-1307899184/watcher-3447316-1307899184 -o /tmp/evaluation-result-3447316-1307899184/solver-3447316-1307899184 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447316-1307899184.wbo -t 1800 -m 15500

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

MD5SUM BENCH= 5f8009069df980e2f8c5fa5b8614d35c
RANDOM SEED=512399286

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32412208 kB
Buffers:        107136 kB
Cached:         147608 kB
SwapCached:      22648 kB
Active:         258032 kB
Inactive:        91812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32412208 kB
SwapTotal:    67111528 kB
SwapFree:     67052812 kB
Dirty:           16108 kB
Writeback:           0 kB
AnonPages:       92968 kB
Mapped:          12164 kB
Slab:           124788 kB
PageTables:       4644 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   275668 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= 74052 MiB
End job on node103 at 2011-06-12 19:49:46