Trace number 2693008

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1802.09 1802.04

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-33-100-0.wbo
MD5SUM0213af97bcb368564904cb77675881c0
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.106983
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6059
Total number of constraints16684
Number of soft constraints11088
Number of constraints which are clauses15940
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints744
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 559152
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 559151
Biggest number in a constraint 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 127
Number of bits of the biggest sum of numbers7
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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
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-2693008-1277914102.wbo>
0.09/0.17	c original problem has 28235 variables (17147 bin, 0 int, 0 impl, 11088 cont) and 27773 constraints
0.09/0.17	c problem read
0.09/0.17	c presolving settings loaded
0.29/0.33	c presolving:
0.29/0.38	c (round 1) 32 del vars, 5 del conss, 0 chg bounds, 372 chg sides, 744 chg coeffs, 0 upgd conss, 30050 impls, 0 clqs
0.29/0.39	c (round 2) 34 del vars, 67 del conss, 0 chg bounds, 372 chg sides, 744 chg coeffs, 0 upgd conss, 30050 impls, 0 clqs
0.39/0.43	c (round 3) 36 del vars, 71 del conss, 11086 chg bounds, 372 chg sides, 744 chg coeffs, 0 upgd conss, 30050 impls, 0 clqs
0.49/0.50	c (round 4) 37 del vars, 71 del conss, 11086 chg bounds, 372 chg sides, 744 chg coeffs, 5531 upgd conss, 30050 impls, 0 clqs
1.68/1.77	c    (1.5s) probing: 478/17112 (2.8%) - 0 fixings, 1 aggregations, 300 implications, 0 bound changes
1.68/1.77	c    (1.5s) probing aborted: 100/100 successive totally useless probings
1.68/1.77	c presolving (5 rounds):
1.68/1.77	c  38 deleted vars, 71 deleted constraints, 11086 tightened bounds, 0 added holes, 372 changed sides, 744 changed coefficients
1.68/1.77	c  31133 implications, 0 cliques
1.68/1.77	c presolved problem has 28197 variables (17111 bin, 0 int, 0 impl, 11086 cont) and 27702 constraints
1.68/1.77	c   11086 constraints of type <indicator>
1.68/1.77	c       1 constraints of type <varbound>
1.68/1.77	c     258 constraints of type <knapsack>
1.68/1.77	c   11085 constraints of type <linear>
1.68/1.77	c    5272 constraints of type <logicor>
1.68/1.77	c transformed objective value is always integral (scale: 1)
1.68/1.77	c Presolving Time: 1.42
1.68/1.77	c - non default parameters ----------------------------------------------------------------------
1.68/1.77	c # SCIP version 1.2.1.2
1.68/1.77	c 
1.68/1.77	c # frequency for displaying node information lines
1.68/1.77	c # [type: int, range: [-1,2147483647], default: 100]
1.68/1.77	c display/freq = 10000
1.68/1.77	c 
1.68/1.77	c # maximal time in seconds to run
1.68/1.77	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.68/1.77	c limits/time = 1799.84
1.68/1.77	c 
1.68/1.77	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.68/1.77	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.68/1.77	c limits/memory = 3420
1.68/1.77	c 
1.68/1.77	c # should presolving try to simplify inequalities
1.68/1.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.68/1.77	c constraints/linear/simplifyinequalities = TRUE
1.68/1.77	c 
1.68/1.77	c # should presolving try to simplify knapsacks
1.68/1.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.68/1.77	c constraints/knapsack/simplifyinequalities = TRUE
1.68/1.77	c 
1.68/1.77	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.68/1.77	c # [type: int, range: [-1,2147483647], default: -1]
1.68/1.77	c separating/rapidlearning/freq = 0
1.68/1.77	c 
1.68/1.77	c -----------------------------------------------------------------------------------------------
1.68/1.77	c start solving
1.68/1.78	c 
1.79/1.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.79/1.87	c   1.6s|     1 |     0 |   255 |     - |  96M|   0 | 117 |  28k|  27k|  28k|5528 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.38/2.49	c   2.2s|     1 |     0 |   534 |     - |  97M|   0 | 298 |  28k|  27k|  28k|5774 | 246 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.49/2.52	o 558955
2.49/2.52	c y 2.2s|     1 |     0 |   534 |     - |  98M|   0 | 298 |  28k|  27k|  28k|5774 | 246 |   0 |   0 | 0.000000e+00 | 5.589550e+05 |    Inf 
3.19/3.21	c   2.9s|     1 |     0 |  1071 |     - |  98M|   0 | 473 |  28k|  27k|  28k|6139 | 611 |   0 |   0 | 0.000000e+00 | 5.589550e+05 |    Inf 
3.89/3.98	c   3.6s|     1 |     0 |  2303 |     - |  98M|   0 | 760 |  28k|  27k|  28k|6576 |1048 |   0 |   0 | 0.000000e+00 | 5.589550e+05 |    Inf 
4.79/4.85	c   4.5s|     1 |     0 |  3126 |     - |  99M|   0 | 732 |  28k|  27k|  28k|6976 |1448 |   0 |   0 | 0.000000e+00 | 5.589550e+05 |    Inf 
5.89/5.92	c   5.5s|     1 |     0 |  4091 |     - | 100M|   0 | 899 |  28k|  27k|  28k|7376 |1848 |   0 |   0 | 0.000000e+00 | 5.589550e+05 |    Inf 
7.09/7.10	c   6.7s|     1 |     0 |  5057 |     - | 101M|   0 |1150 |  28k|  27k|  28k|7750 |2222 |   0 |   0 | 0.000000e+00 | 5.589550e+05 |    Inf 
7.79/7.88	c   7.4s|     1 |     2 |  5057 |     - | 102M|   0 |1150 |  28k|  27k|  28k|7750 |2222 |   0 |  23 | 0.000000e+00 | 5.589550e+05 |    Inf 
343.20/343.21	c   337s| 10000 |  9971 |260801 |  25.6 | 231M| 299 |  36 |  28k|  27k|  28k|7283 |6172 | 105 |4299 | 0.000000e+00 | 5.589550e+05 |    Inf 
527.00/527.09	c   516s| 20000 | 19965 |336202 |  16.6 | 327M| 381 | 343 |  28k|  27k|  28k|7283 |  24k| 109 |5702 | 0.000000e+00 | 5.589550e+05 |    Inf 
715.41/715.47	c   698s| 30000 | 29965 |390893 |  12.9 | 422M| 413 |  29 |  28k|  27k|  28k|7283 |  43k| 109 |6784 | 0.000000e+00 | 5.589550e+05 |    Inf 
916.01/916.06	c   892s| 40000 | 39965 |450297 |  11.1 | 518M| 491 |  14 |  28k|  27k|  28k|7620 |  58k| 109 |7863 | 0.000000e+00 | 5.589550e+05 |    Inf 
1115.91/1115.96	c  1086s| 50000 | 49965 |490190 |   9.7 | 614M| 499 |   0 |  28k|  27k|  28k|7639 |  73k| 109 |8231 | 0.000000e+00 | 5.589550e+05 |    Inf 
1324.72/1324.72	c  1288s| 60000 | 59963 |536878 |   8.9 | 710M| 499 |   0 |  28k|  27k|  28k|7634 |  88k| 110 |9280 | 0.000000e+00 | 5.589550e+05 |    Inf 
1533.53/1533.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1533.53/1533.54	c  1489s| 70000 | 69961 |584563 |   8.3 | 806M| 499 |   0 |  28k|  27k|  28k|7652 | 103k| 111 |  10k| 0.000000e+00 | 5.589550e+05 |    Inf 
1733.04/1733.07	c  1682s| 80000 | 79961 |630318 |   7.8 | 901M| 499 |   0 |  28k|  27k|  28k|7665 | 118k| 111 |  10k| 0.000000e+00 | 5.589550e+05 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01	c 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time (sec) : 1746.32
1800.04/1800.01	c Solving Nodes      : 83336
1800.04/1800.01	c Primal Bound       : +5.58955000000000e+05 (100 solutions)
1800.04/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.01	c Gap                : infinite

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693008-1277914102/watcher-2693008-1277914102 -o /tmp/evaluation-result-2693008-1277914102/solver-2693008-1277914102 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693008-1277914102.wbo -t 1800 -m 3800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.85 1.97 2.07 3/196 13784
/proc/meminfo: memFree=30938572/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=10872 CPUtime=0
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 1671 0 0 0 0 0 0 0 21 0 1 0 132705692 11132928 1591 4089446400 4194304 9819077 140737269075072 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13784/statm: 2718 1591 392 1374 0 1339 0

[startup+0.0104869 s]
/proc/loadavg: 1.85 1.97 2.07 3/196 13784
/proc/meminfo: memFree=30938572/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=12296 CPUtime=0
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 2002 0 0 0 0 0 0 0 21 0 1 0 132705692 12591104 1922 4089446400 4194304 9819077 140737269075072 18446744073709551615 8081529 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13784/statm: 3074 1922 392 1374 0 1695 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12296

[startup+0.100474 s]
/proc/loadavg: 1.85 1.97 2.07 3/196 13784
/proc/meminfo: memFree=30938572/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=33256 CPUtime=0.09
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 7279 0 0 0 8 1 0 0 21 0 1 0 132705692 34054144 7181 4089446400 4194304 9819077 140737269075072 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13784/statm: 8314 7181 392 1374 0 6935 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33256

[startup+0.300441 s]
/proc/loadavg: 1.85 1.97 2.07 3/196 13784
/proc/meminfo: memFree=30938572/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=103224 CPUtime=0.29
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 24704 0 0 0 27 2 0 0 21 0 1 0 132705692 105701376 24209 4089446400 4194304 9819077 140737269075072 18446744073709551615 4656160 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13784/statm: 25806 24209 463 1374 0 24427 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 103224

[startup+0.700367 s]
/proc/loadavg: 1.85 1.97 2.07 3/196 13784
/proc/meminfo: memFree=30938572/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=121464 CPUtime=0.69
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 31867 0 0 0 59 10 0 0 22 0 1 0 132705692 124379136 28488 4089446400 4194304 9819077 140737269075072 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13784/statm: 30366 28488 545 1374 0 28987 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 121464

[startup+1.50022 s]
/proc/loadavg: 1.85 1.97 2.07 3/197 13785
/proc/meminfo: memFree=30826220/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=121724 CPUtime=1.49
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 31937 0 0 0 138 11 0 0 25 0 1 0 132705692 124645376 28552 4089446400 4194304 9819077 140737269075072 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13784/statm: 30431 28552 539 1374 0 29052 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 121724

[startup+3.10093 s]
/proc/loadavg: 1.85 1.97 2.07 3/197 13785
/proc/meminfo: memFree=30802536/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=154800 CPUtime=3.09
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 50814 0 0 0 291 18 0 0 19 0 1 0 132705692 158515200 35084 4089446400 4194304 9819077 140737269075072 18446744073709551615 5734260 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13784/statm: 38700 35084 697 1374 0 37321 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 154800

[startup+6.30035 s]
/proc/loadavg: 1.86 1.97 2.07 3/197 13785
/proc/meminfo: memFree=30792872/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=164532 CPUtime=6.29
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 61913 0 0 0 607 22 0 0 25 0 1 0 132705692 168480768 37036 4089446400 4194304 9819077 140737269075072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13784/statm: 41133 37036 698 1374 0 39754 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 164532

[startup+12.7002 s]
/proc/loadavg: 1.87 1.97 2.07 3/197 13786
/proc/meminfo: memFree=30788056/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=175340 CPUtime=12.69
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 177965 0 0 0 1230 39 0 0 25 0 1 0 132705692 179548160 39549 4089446400 4194304 9819077 140737269075072 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13784/statm: 43835 39549 725 1374 0 42456 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 175340

[startup+25.5009 s]
/proc/loadavg: 1.97 1.98 2.07 3/197 13786
/proc/meminfo: memFree=30787956/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=168216 CPUtime=25.49
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 305999 0 0 0 2487 62 0 0 25 0 1 0 132705692 172253184 38513 4089446400 4194304 9819077 140737269075072 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13784/statm: 42054 38513 728 1374 0 40675 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 168216

[startup+51.1003 s]
/proc/loadavg: 1.98 1.98 2.07 3/197 13787
/proc/meminfo: memFree=30778780/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=180464 CPUtime=51.09
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 590760 0 0 0 4997 112 0 0 25 0 1 0 132705692 184795136 41096 4089446400 4194304 9819077 140737269075072 18446744073709551615 7226672 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13784/statm: 45116 41096 728 1374 0 43737 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 180464

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 2.06 3/197 13788
/proc/meminfo: memFree=30748876/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=208980 CPUtime=102.3
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 1002022 0 0 0 10037 193 0 0 25 0 1 0 132705692 213995520 47560 4089446400 4194304 9819077 140737269075072 18446744073709551615 6367216 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13784/statm: 52245 47560 729 1374 0 50866 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 208980

[startup+162.3 s]
/proc/loadavg: 2.07 2.00 2.06 3/197 13790
/proc/meminfo: memFree=30721444/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=225952 CPUtime=162.3
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 1700227 0 0 0 15923 307 0 0 25 0 1 0 132705692 231374848 53170 4089446400 4194304 9819077 140737269075072 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13784/statm: 56488 53170 729 1374 0 55109 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 225952

[startup+222.3 s]
/proc/loadavg: 2.02 2.00 2.06 3/197 13791
/proc/meminfo: memFree=30693140/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=255820 CPUtime=222.29
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 2235191 0 0 0 21823 406 0 0 25 0 1 0 132705692 261959680 59106 4089446400 4194304 9819077 140737269075072 18446744073709551615 7291684 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 63955 59106 729 1374 0 62576 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 255820

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 2.05 3/197 13793
/proc/meminfo: memFree=30674488/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=261932 CPUtime=282.29
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 2910713 0 0 0 27710 519 0 0 25 0 1 0 132705692 268218368 62662 4089446400 4194304 9819077 140737269075072 18446744073709551615 8495008 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 65483 62662 729 1374 0 64104 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 261932

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 13825
/proc/meminfo: memFree=30933668/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=292428 CPUtime=342.29
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 3660505 0 0 0 33576 653 0 0 25 0 1 0 132705692 299446272 69767 4089446400 4194304 9819077 140737269075072 18446744073709551615 6670181 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 73107 69767 730 1374 0 71728 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 292428

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 13826
/proc/meminfo: memFree=30869248/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=322844 CPUtime=402.3
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 4846068 0 0 0 39392 838 0 0 25 0 1 0 132705692 330592256 77144 4089446400 4194304 9819077 140737269075072 18446744073709551615 4697625 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 80711 77144 730 1374 0 79332 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 322844

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 13828
/proc/meminfo: memFree=30798992/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=354448 CPUtime=462.3
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 5597491 0 0 0 45264 966 0 0 25 0 1 0 132705692 362954752 85179 4089446400 4194304 9819077 140737269075072 18446744073709551615 7316336 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 88612 85180 730 1374 0 87233 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 354448

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 13829
/proc/meminfo: memFree=30731112/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=388340 CPUtime=522.3
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 6518119 0 0 0 51120 1110 0 0 25 0 1 0 132705692 397660160 93666 4089446400 4194304 9819077 140737269075072 18446744073709551615 6162091 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 97085 93666 730 1374 0 95706 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 388340

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 13831
/proc/meminfo: memFree=30666160/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=419452 CPUtime=582.3
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 7792387 0 0 0 56932 1298 0 0 25 0 1 0 132705692 429518848 101276 4089446400 4194304 9819077 140737269075072 18446744073709551615 5002109 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 104863 101276 730 1374 0 103484 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 419452

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 13833
/proc/meminfo: memFree=30604592/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=447152 CPUtime=642.31
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 9381870 0 0 0 62707 1524 0 0 25 0 1 0 132705692 457883648 108180 4089446400 4194304 9819077 140737269075072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 111788 108180 730 1374 0 110409 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 447152

[startup+702.301 s]

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

/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 17145333 0 0 0 97585 2646 0 0 25 0 1 0 132705692 636469248 151891 4089446400 4194304 9819077 140737269075072 18446744073709551615 5813339 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 155388 151891 730 1374 0 154009 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 621552

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13844
/proc/meminfo: memFree=30167380/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=648052 CPUtime=1062.31
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 18206152 0 0 0 103432 2799 0 0 25 0 1 0 132705692 663605248 158487 4089446400 4194304 9819077 140737269075072 18446744073709551615 6513014 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 162013 158487 730 1374 0 160634 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 648052

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13845
/proc/meminfo: memFree=30107308/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=676092 CPUtime=1122.32
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 19512297 0 0 0 109245 2987 0 0 25 0 1 0 132705692 692318208 165450 4089446400 4194304 9819077 140737269075072 18446744073709551615 5892251 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 169023 165450 730 1374 0 167644 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 676092

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13847
/proc/meminfo: memFree=30046608/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=704284 CPUtime=1182.32
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 21131248 0 0 0 115023 3209 0 0 25 0 1 0 132705692 721186816 172487 4089446400 4194304 9819077 140737269075072 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 176071 172487 730 1374 0 174692 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 704284

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13849
/proc/meminfo: memFree=29984560/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=729904 CPUtime=1242.32
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 22651749 0 0 0 120810 3422 0 0 25 0 1 0 132705692 747421696 178957 4089446400 4194304 9819077 140737269075072 18446744073709551615 4965317 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 182476 178957 730 1374 0 181097 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 729904

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13850
/proc/meminfo: memFree=29922232/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=757608 CPUtime=1302.33
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 24164485 0 0 0 126612 3621 0 0 25 0 1 0 132705692 775790592 185942 4089446400 4194304 9819077 140737269075072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 189402 185942 730 1374 0 188023 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 757608

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13852
/proc/meminfo: memFree=29861660/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=784060 CPUtime=1362.33
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 25784918 0 0 0 132388 3845 0 0 25 0 1 0 132705692 802877440 192507 4089446400 4194304 9819077 140737269075072 18446744073709551615 4444354 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 196015 192507 730 1374 0 194636 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 784060

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13856
/proc/meminfo: memFree=29799200/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=812128 CPUtime=1422.33
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 27496178 0 0 0 138158 4075 0 0 25 0 1 0 132705692 831619072 199538 4089446400 4194304 9819077 140737269075072 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 203032 199538 730 1374 0 201653 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 812128

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13858
/proc/meminfo: memFree=29741668/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=847544 CPUtime=1482.33
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 29174178 0 0 0 143933 4300 0 0 25 0 1 0 132705692 867885056 206421 4089446400 4194304 9819077 140737269075072 18446744073709551615 7290933 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 211886 206421 730 1374 0 210507 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 847544

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13860
/proc/meminfo: memFree=29684316/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=866644 CPUtime=1542.33
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 30603138 0 0 0 149737 4496 0 0 25 0 1 0 132705692 887443456 212771 4089446400 4194304 9819077 140737269075072 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 216661 212771 730 1374 0 215282 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 866644

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13861
/proc/meminfo: memFree=29623256/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=895608 CPUtime=1602.33
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 31941292 0 0 0 155553 4680 0 0 25 0 1 0 132705692 917102592 219980 4089446400 4194304 9819077 140737269075072 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 223902 219980 730 1374 0 222523 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 895608

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13863
/proc/meminfo: memFree=29563796/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=924208 CPUtime=1662.33
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 33430344 0 0 0 161349 4884 0 0 25 0 1 0 132705692 946388992 227125 4089446400 4194304 9819077 140737269075072 18446744073709551615 6669946 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 231052 227125 730 1374 0 229673 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 924208

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13864
/proc/meminfo: memFree=29502376/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=953472 CPUtime=1722.34
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 34926218 0 0 0 167142 5092 0 0 25 0 1 0 132705692 976355328 234409 4089446400 4194304 9819077 140737269075072 18446744073709551615 6360848 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 238368 234409 730 1374 0 236989 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 953472

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13866
/proc/meminfo: memFree=29442692/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=979536 CPUtime=1782.34
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 36458347 0 0 0 172933 5301 0 0 25 0 1 0 132705692 1003044864 240951 4089446400 4194304 9819077 140737269075072 18446744073709551615 6162025 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 244884 240951 730 1374 0 243505 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 979536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13866
/proc/meminfo: memFree=29427044/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=987160 CPUtime=1800.04
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 36863882 0 0 0 174646 5358 0 0 25 0 1 0 132705692 1010851840 242871 4089446400 4194304 9819077 140737269075072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13784/statm: 246790 242871 730 1374 0 245411 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 987160

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -13784

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13867
/proc/meminfo: memFree=29426416/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=987160 CPUtime=1801.43
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 36864424 0 0 0 174785 5358 0 0 25 0 1 0 132705692 1010851840 242873 4089446400 4194304 9819077 140737269075072 18446744073709551615 8678903 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13784/statm: 246790 242873 730 1374 0 245411 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 987160

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13867
/proc/meminfo: memFree=29426416/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=987160 CPUtime=1801.84
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 36864424 0 0 0 174826 5358 0 0 25 0 1 0 132705692 1010851840 242873 4089446400 4194304 9819077 140737269075072 18446744073709551615 4241136 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13784/statm: 246790 242873 730 1374 0 245411 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 987160

[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13867
/proc/meminfo: memFree=29426416/32951124 swapFree=67111528/67111528
[pid=13784] ppid=13782 vsize=987160 CPUtime=1802.03
/proc/13784/stat : 13784 (pbscip.linux.x8) R 13782 13784 13759 0 -1 4202496 36864424 0 0 0 174845 5358 0 0 25 0 1 0 132705692 1010851840 242873 4089446400 4194304 9819077 140737269075072 18446744073709551615 8678556 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13784/statm: 246790 242873 730 1374 0 245411 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 987160

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.04
CPU time (s): 1802.09
CPU user time (s): 1748.47
CPU system time (s): 53.6218
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 990312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1748.47
system time used= 53.6218
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36864424
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= 3
involuntary context switches= 4415

runsolver used 3.13152 second user time and 5.99909 second system time

The end

Launcher Data 

Begin job on node137 at 2010-06-30 18:08:23
IDJOB=2693008
IDBENCH=79026
IDSOLVER=1205
FILE ID=node137/2693008-1277914102
PBS_JOBID= 11197329
Free space on /tmp= 74212 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-elf.rf8.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693008-1277914102/watcher-2693008-1277914102 -o /tmp/evaluation-result-2693008-1277914102/solver-2693008-1277914102 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693008-1277914102.wbo -t 1800 -m 3800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0213af97bcb368564904cb77675881c0
RANDOM SEED=1616595204

node137.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.876
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.75
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.876
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.876
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.74
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.876
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.75
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.876
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.876
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.876
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.876
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30939224 kB
Buffers:        200420 kB
Cached:        1263560 kB
SwapCached:          0 kB
Active:         949500 kB
Inactive:       917376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30939224 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6732 kB
Writeback:           0 kB
AnonPages:      402552 kB
Mapped:          19904 kB
Slab:            80236 kB
PageTables:       4984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1651960 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= 74200 MiB
End job on node137 at 2010-06-30 18:38:25