Trace number 2692603

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.08 1802.05

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-0-100-0.wbo
MD5SUMdaa4650c03ccc8f8b44e19f0217c9b39
Bench CategorySOFT-SMALLINT-LIN (only soft 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.323949
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6832
Total number of constraints19477
Number of soft constraints19477
Number of constraints which are clauses18953
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints524
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 989271
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 989270
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
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: SoPlex 1.4.2] [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-2692603-1277931907.wbo>
0.19/0.22	c original problem has 45786 variables (26309 bin, 0 int, 0 impl, 19477 cont) and 38955 constraints
0.19/0.22	c problem read
0.19/0.22	c presolving settings loaded
7.69/7.78	o 989270
7.69/7.78	c feasible solution found by trivial heuristic, objective value  9.892700e+05
7.69/7.78	c presolving:
7.78/7.85	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 262 chg sides, 524 chg coeffs, 0 upgd conss, 19477 impls, 0 clqs
7.88/7.92	c (round 2) 0 del vars, 1 del conss, 19477 chg bounds, 262 chg sides, 524 chg coeffs, 0 upgd conss, 19477 impls, 0 clqs
8.58/8.66	c    (8.4s) probing: 101/26309 (0.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
8.58/8.66	c    (8.4s) probing aborted: 100/100 successive totally useless probings
8.58/8.67	c presolving (3 rounds):
8.58/8.67	c  0 deleted vars, 1 deleted constraints, 19477 tightened bounds, 0 added holes, 262 changed sides, 524 changed coefficients
8.58/8.67	c  19477 implications, 0 cliques
8.58/8.67	c presolved problem has 45786 variables (26309 bin, 0 int, 0 impl, 19477 cont) and 38954 constraints
8.58/8.67	c   19477 constraints of type <indicator>
8.58/8.67	c       1 constraints of type <varbound>
8.58/8.67	c   19476 constraints of type <linear>
8.58/8.67	c transformed objective value is always integral (scale: 1)
8.58/8.67	c Presolving Time: 8.27
8.58/8.67	c - non default parameters ----------------------------------------------------------------------
8.58/8.67	c # SCIP version 1.2.1.2
8.58/8.67	c 
8.58/8.67	c # frequency for displaying node information lines
8.58/8.67	c # [type: int, range: [-1,2147483647], default: 100]
8.58/8.67	c display/freq = 10000
8.58/8.67	c 
8.58/8.67	c # maximal time in seconds to run
8.58/8.67	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.58/8.67	c limits/time = 1799.78
8.58/8.67	c 
8.58/8.67	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.58/8.67	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.58/8.67	c limits/memory = 3420
8.58/8.67	c 
8.58/8.67	c # should presolving try to simplify inequalities
8.58/8.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.58/8.67	c constraints/linear/simplifyinequalities = TRUE
8.58/8.67	c 
8.58/8.67	c # should presolving try to simplify knapsacks
8.58/8.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.58/8.67	c constraints/knapsack/simplifyinequalities = TRUE
8.58/8.67	c 
8.58/8.67	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
8.58/8.67	c # [type: int, range: [-1,2147483647], default: -1]
8.58/8.67	c separating/rapidlearning/freq = 0
8.58/8.67	c 
8.58/8.67	c -----------------------------------------------------------------------------------------------
8.58/8.67	c start solving
8.58/8.68	c 
8.78/8.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.78/8.85	c t 8.6s|     1 |     0 |     0 |     - | 144M|   0 |   0 |  45k|  38k|  45k|   0 |   0 |   0 |   0 | 0.000000e+00 | 9.892700e+05 |    Inf 
8.78/8.88	c   8.6s|     1 |     0 |   201 |     - | 144M|   0 |  32 |  45k|  38k|  45k| 201 | 201 |   0 |   0 | 0.000000e+00 | 9.892700e+05 |    Inf 
8.88/8.93	o 989234
8.88/8.93	c y 8.6s|     1 |     0 |   201 |     - | 145M|   0 |  32 |  45k|  38k|  45k| 201 | 201 |   0 |   0 | 0.000000e+00 | 9.892340e+05 |    Inf 
9.08/9.18	c   8.9s|     1 |     0 |   390 |     - | 145M|   0 |  39 |  45k|  38k|  45k| 414 | 414 |   0 |   0 | 0.000000e+00 | 9.892340e+05 |    Inf 
9.58/9.61	c   9.3s|     1 |     0 |   841 |     - | 145M|   0 |  67 |  45k|  38k|  45k| 642 | 642 |   0 |   0 | 0.000000e+00 | 9.892340e+05 |    Inf 
10.08/10.13	c   9.8s|     1 |     0 |  1122 |     - | 147M|   0 |  42 |  45k|  38k|  45k| 893 | 893 |   0 |   0 | 0.000000e+00 | 9.892340e+05 |    Inf 
10.68/10.76	c  10.4s|     1 |     0 |  1362 |     - | 147M|   0 | 133 |  45k|  38k|  45k|1126 |1126 |   0 |   0 | 0.000000e+00 | 9.892340e+05 |    Inf 
11.58/11.63	c  11.3s|     1 |     0 |  1666 |     - | 148M|   0 | 178 |  45k|  38k|  45k|1357 |1357 |   0 |   0 | 0.000000e+00 | 9.892340e+05 |    Inf 
12.39/12.50	c  12.1s|     1 |     2 |  1910 |     - | 150M|   0 | 178 |  45k|  38k|  45k|1357 |1357 |   0 |  33 | 0.000000e+00 | 9.892340e+05 |    Inf 
375.59/375.63	c   365s| 10000 | 10001 |115179 |  11.4 | 333M| 155 | 173 |  45k|  38k|  45k|1744 |  60k|   0 |7830 | 0.000000e+00 | 9.892340e+05 |    Inf 
620.79/620.86	c   605s| 20000 | 20001 |217109 |  10.8 | 456M| 165 | 189 |  45k|  38k|  45k|1742 | 114k|   0 |8635 | 0.000000e+00 | 9.892340e+05 |    Inf 
850.31/850.39	c   830s| 30000 | 30001 |313028 |  10.4 | 578M| 171 |  48 |  45k|  38k|  45k|1737 | 167k|   0 |8887 | 0.000000e+00 | 9.892340e+05 |    Inf 
1096.41/1096.42	c  1070s| 40000 | 40001 |415306 |  10.3 | 700M| 171 | 164 |  45k|  38k|  45k|1741 | 227k|   0 |  10k| 0.000000e+00 | 9.892340e+05 |    Inf 
1335.52/1335.58	c  1304s| 50000 | 50001 |508581 |  10.1 | 823M| 171 |  49 |  45k|  38k|  45k|1742 | 280k|   0 |  12k| 0.000000e+00 | 9.892340e+05 |    Inf 
1571.62/1571.65	c  1534s| 60000 | 60001 |601507 |  10.0 | 945M| 171 | 108 |  45k|  38k|  45k|1740 | 332k|   0 |  14k| 0.000000e+00 | 9.892340e+05 |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.01	c 
1800.03/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.01	c Solving Time (sec) : 1757.73
1800.03/1800.01	c Solving Nodes      : 69376
1800.03/1800.01	c Primal Bound       : +9.89234000000000e+05 (102 solutions)
1800.03/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.03/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-2692603-1277931907/watcher-2692603-1277931907 -o /tmp/evaluation-result-2692603-1277931907/solver-2692603-1277931907 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692603-1277931907.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: 2.91 2.79 2.52 4/199 28317
/proc/meminfo: memFree=31240332/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=9404 CPUtime=0
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 1647 0 0 0 0 0 0 0 25 0 1 0 166830206 9629696 1567 4089446400 4194304 8223781 140735295201680 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28317/statm: 2351 1567 369 984 0 1364 0

[startup+0.074682 s]
/proc/loadavg: 2.91 2.79 2.52 4/199 28317
/proc/meminfo: memFree=31240332/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=30028 CPUtime=0.06
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 6828 0 0 0 6 0 0 0 25 0 1 0 166830206 30748672 6748 4089446400 4194304 8223781 140735295201680 18446744073709551615 4361788 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28317/statm: 7507 6748 369 984 0 6520 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 30028

[startup+0.100658 s]
/proc/loadavg: 2.91 2.79 2.52 4/199 28317
/proc/meminfo: memFree=31240332/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=36040 CPUtime=0.09
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 8343 0 0 0 9 0 0 0 25 0 1 0 166830206 36904960 8249 4089446400 4194304 8223781 140735295201680 18446744073709551615 4680459 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28317/statm: 9010 8249 369 984 0 8023 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36040

[startup+0.300641 s]
/proc/loadavg: 2.91 2.79 2.52 4/199 28317
/proc/meminfo: memFree=31240332/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=122564 CPUtime=0.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 30124 0 0 0 27 2 0 0 25 0 1 0 166830206 125505536 29602 4089446400 4194304 8223781 140735295201680 18446744073709551615 4461608 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28317/statm: 30641 29602 387 984 0 29654 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 122564

[startup+0.700563 s]
/proc/loadavg: 2.91 2.79 2.52 4/199 28317
/proc/meminfo: memFree=31240332/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=159904 CPUtime=0.68
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 38210 0 0 0 65 3 0 0 25 0 1 0 166830206 163741696 37688 4089446400 4194304 8223781 140735295201680 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28317/statm: 39976 37688 422 984 0 38989 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 159904

[startup+1.50037 s]
/proc/loadavg: 2.91 2.79 2.52 3/200 28318
/proc/meminfo: memFree=31090656/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=159904 CPUtime=1.48
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 38210 0 0 0 145 3 0 0 25 0 1 0 166830206 163741696 37688 4089446400 4194304 8223781 140735295201680 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28317/statm: 39976 37688 422 984 0 38989 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 159904

[startup+3.10116 s]
/proc/loadavg: 2.91 2.79 2.52 4/200 28318
/proc/meminfo: memFree=31090284/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=159904 CPUtime=3.08
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 38210 0 0 0 305 3 0 0 25 0 1 0 166830206 163741696 37688 4089446400 4194304 8223781 140735295201680 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28317/statm: 39976 37688 422 984 0 38989 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 159904

[startup+6.30059 s]
/proc/loadavg: 2.92 2.79 2.52 4/200 28318
/proc/meminfo: memFree=31090592/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=159904 CPUtime=6.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 38210 0 0 0 625 4 0 0 25 0 1 0 166830206 163741696 37688 4089446400 4194304 8223781 140735295201680 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28317/statm: 39976 37688 422 984 0 38989 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 159904

[startup+12.7005 s]
/proc/loadavg: 2.84 2.78 2.52 3/198 28318
/proc/meminfo: memFree=30959424/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=207572 CPUtime=12.69
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 105245 0 0 0 1253 16 0 0 25 0 1 0 166830206 212553728 48407 4089446400 4194304 8223781 140735295201680 18446744073709551615 6520480 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 51893 48407 577 984 0 50906 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 207572

[startup+25.5012 s]
/proc/loadavg: 2.66 2.74 2.51 3/179 28347
/proc/meminfo: memFree=31200800/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=217456 CPUtime=25.48
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 484229 0 0 0 2486 62 0 0 25 0 1 0 166830206 222674944 50668 4089446400 4194304 8223781 140735295201680 18446744073709551615 6482892 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 54364 50683 593 984 0 53377 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 217456

[startup+51.1007 s]
/proc/loadavg: 2.43 2.68 2.49 3/179 28348
/proc/meminfo: memFree=31187324/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=226808 CPUtime=51.08
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 1595629 0 0 0 4911 197 0 0 25 0 1 0 166830206 232251392 53057 4089446400 4194304 8223781 140735295201680 18446744073709551615 6446774 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 56702 53057 580 984 0 55715 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 226808

[startup+102.307 s]
/proc/loadavg: 2.22 2.59 2.47 3/179 28349
/proc/meminfo: memFree=31134348/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=268996 CPUtime=102.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 3428414 0 0 0 9817 412 0 0 25 0 1 0 166830206 275451904 63789 4089446400 4194304 8223781 140735295201680 18446744073709551615 6372030 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 67249 63789 583 984 0 66262 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 268996

[startup+162.301 s]
/proc/loadavg: 2.08 2.48 2.44 3/179 28350
/proc/meminfo: memFree=31089556/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=295300 CPUtime=162.28
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 4661512 0 0 0 15651 577 0 0 25 0 1 0 166830206 302387200 70457 4089446400 4194304 8223781 140735295201680 18446744073709551615 6003169 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 73825 70457 583 984 0 72838 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 295300

[startup+222.301 s]
/proc/loadavg: 2.03 2.39 2.41 3/179 28352
/proc/meminfo: memFree=31062620/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=318760 CPUtime=222.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 5656595 0 0 0 21503 726 0 0 25 0 1 0 166830206 326410240 76345 4089446400 4194304 8223781 140735295201680 18446744073709551615 5893820 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 79690 76345 590 984 0 78703 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 318760

[startup+282.301 s]
/proc/loadavg: 2.01 2.31 2.38 3/179 28354
/proc/meminfo: memFree=31035300/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=344184 CPUtime=282.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 6661160 0 0 0 27358 871 0 0 25 0 1 0 166830206 352444416 82813 4089446400 4194304 8223781 140735295201680 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 86046 82813 583 984 0 85059 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 344184

[startup+342.3 s]
/proc/loadavg: 2.07 2.27 2.36 3/179 28356
/proc/meminfo: memFree=31004024/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=373712 CPUtime=342.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 7528555 0 0 0 33224 1005 0 0 25 0 1 0 166830206 382681088 90079 4089446400 4194304 8223781 140735295201680 18446744073709551615 6482892 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 93428 90096 583 984 0 92441 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 373712

[startup+402.301 s]
/proc/loadavg: 2.03 2.22 2.33 3/179 28357
/proc/meminfo: memFree=30971624/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=403104 CPUtime=402.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 8403426 0 0 0 39094 1135 0 0 25 0 1 0 166830206 412778496 97435 4089446400 4194304 8223781 140735295201680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 100776 97435 583 984 0 99789 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 403104

[startup+462.3 s]
/proc/loadavg: 2.01 2.18 2.31 3/179 28358
/proc/meminfo: memFree=30939596/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=432924 CPUtime=462.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 9360299 0 0 0 44957 1272 0 0 25 0 1 0 166830206 443314176 104983 4089446400 4194304 8223781 140735295201680 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 108231 104983 583 984 0 107244 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 432924

[startup+522.301 s]
/proc/loadavg: 2.00 2.14 2.29 3/179 28360
/proc/meminfo: memFree=30906704/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=462784 CPUtime=522.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 10184512 0 0 0 50834 1395 0 0 25 0 1 0 166830206 473890816 112421 4089446400 4194304 8223781 140735295201680 18446744073709551615 6591942 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 115696 112421 583 984 0 114709 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 462784

[startup+582.3 s]
/proc/loadavg: 2.00 2.11 2.27 3/179 28362
/proc/meminfo: memFree=30875180/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=492132 CPUtime=582.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 11073427 0 0 0 56702 1527 0 0 25 0 1 0 166830206 503943168 119756 4089446400 4194304 8223781 140735295201680 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 123033 119756 583 984 0 122046 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 492132

[startup+642.301 s]
/proc/loadavg: 2.05 2.11 2.25 3/179 28364
/proc/meminfo: memFree=30844032/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=521084 CPUtime=642.3
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 11883895 0 0 0 62587 1643 0 0 25 0 1 0 166830206 533590016 127003 4089446400 4194304 8223781 140735295201680 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 130271 127003 583 984 0 129284 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 521084

[startup+702.301 s]

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

/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 17067731 0 0 0 97837 2394 0 0 25 0 1 0 166830206 726884352 174292 4089446400 4194304 8223781 140735295201680 18446744073709551615 6482892 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 177462 174292 583 984 0 176475 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 709848

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.15 3/179 28374
/proc/meminfo: memFree=30610908/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=731884 CPUtime=1062.31
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 18305575 0 0 0 103675 2556 0 0 25 0 1 0 166830206 749449216 179845 4089446400 4194304 8223781 140735295201680 18446744073709551615 6162695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 182971 179845 583 984 0 181984 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 731884

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.14 3/179 28376
/proc/meminfo: memFree=30575044/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=764676 CPUtime=1122.31
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 19150780 0 0 0 109550 2681 0 0 25 0 1 0 166830206 783028224 187972 4089446400 4194304 8223781 140735295201680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 191169 187972 583 984 0 190182 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 764676

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/179 28378
/proc/meminfo: memFree=30539920/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=796144 CPUtime=1182.31
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 20130040 0 0 0 115417 2814 0 0 25 0 1 0 166830206 815251456 195847 4089446400 4194304 8223781 140735295201680 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 199036 195847 583 984 0 198049 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 796144

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 28380
/proc/meminfo: memFree=30505908/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=827880 CPUtime=1242.31
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 21086979 0 0 0 121284 2947 0 0 25 0 1 0 166830206 847749120 203738 4089446400 4194304 8223781 140735295201680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 206970 203738 583 984 0 205983 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 827880

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 28381
/proc/meminfo: memFree=30473020/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=856668 CPUtime=1302.32
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 22035136 0 0 0 127148 3084 0 0 25 0 1 0 166830206 877228032 211003 4089446400 4194304 8223781 140735295201680 18446744073709551615 6003375 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 214167 211003 583 984 0 213180 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 856668

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 28382
/proc/meminfo: memFree=30438892/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=886556 CPUtime=1362.32
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 23053162 0 0 0 133011 3221 0 0 25 0 1 0 166830206 907833344 218502 4089446400 4194304 8223781 140735295201680 18446744073709551615 7257637 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 221639 218502 583 984 0 220652 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 886556

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 28384
/proc/meminfo: memFree=30403876/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=918616 CPUtime=1422.32
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 23908683 0 0 0 138886 3346 0 0 25 0 1 0 166830206 940662784 226565 4089446400 4194304 8223781 140735295201680 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 229654 226565 583 984 0 228667 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 918616

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 28386
/proc/meminfo: memFree=30373964/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=947112 CPUtime=1482.32
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 24956305 0 0 0 144734 3498 0 0 25 0 1 0 166830206 969842688 233692 4089446400 4194304 8223781 140735295201680 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 236778 233692 583 984 0 235791 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 947112

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 28388
/proc/meminfo: memFree=30341192/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=976952 CPUtime=1542.32
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 25935170 0 0 0 150595 3637 0 0 25 0 1 0 166830206 1000398848 241120 4089446400 4194304 8223781 140735295201680 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 244238 241120 583 984 0 243251 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 976952

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 28389
/proc/meminfo: memFree=30308296/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=1008144 CPUtime=1602.32
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 26849776 0 0 0 156466 3766 0 0 25 0 1 0 166830206 1032339456 248738 4089446400 4194304 8223781 140735295201680 18446744073709551615 6482892 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 252036 248753 583 984 0 251049 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1008144

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 28390
/proc/meminfo: memFree=30276140/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=1035888 CPUtime=1662.32
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 27866672 0 0 0 162324 3908 0 0 25 0 1 0 166830206 1060749312 255934 4089446400 4194304 8223781 140735295201680 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 258972 255934 583 984 0 257985 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 1035888

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 28392
/proc/meminfo: memFree=30245492/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=1065228 CPUtime=1722.33
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 28980817 0 0 0 168183 4050 0 0 25 0 1 0 166830206 1090793472 262752 4089446400 4194304 8223781 140735295201680 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 266307 262752 583 984 0 265320 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1065228

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 28394
/proc/meminfo: memFree=30209744/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=1097900 CPUtime=1782.32
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 29844817 0 0 0 174056 4176 0 0 25 0 1 0 166830206 1124249600 270846 4089446400 4194304 8223781 140735295201680 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 274475 270846 583 984 0 273488 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1097900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 28394
/proc/meminfo: memFree=30200812/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=1105852 CPUtime=1800.03
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 30080300 0 0 0 175793 4210 0 0 25 0 1 0 166830206 1132392448 272967 4089446400 4194304 8223781 140735295201680 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 276463 272967 583 984 0 275476 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1105852

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -28317

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.05 3/180 28395
/proc/meminfo: memFree=30200804/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=1105852 CPUtime=1801.43
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 30080300 0 0 0 175933 4210 0 0 25 0 1 0 166830206 1132392448 272967 4089446400 4194304 8223781 140735295201680 18446744073709551615 7257360 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/28317/statm: 276463 272967 583 984 0 275476 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 1105852

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.05 3/180 28395
/proc/meminfo: memFree=30200804/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=1105852 CPUtime=1801.83
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 30080300 0 0 0 175973 4210 0 0 25 0 1 0 166830206 1132392448 272967 4089446400 4194304 8223781 140735295201680 18446744073709551615 7257410 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/28317/statm: 276463 272967 583 984 0 275476 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 1105852

[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.05 3/180 28395
/proc/meminfo: memFree=30200804/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=1105852 CPUtime=1802.03
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 30080300 0 0 0 175993 4210 0 0 25 0 1 0 166830206 1132392448 272967 4089446400 4194304 8223781 140735295201680 18446744073709551615 4240875 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/28317/statm: 276463 272967 583 984 0 275476 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 1105852

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.05
CPU time (s): 1802.08
CPU user time (s): 1759.94
CPU system time (s): 42.1436
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1106428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.94
system time used= 42.1436
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30080300
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= 2
involuntary context switches= 1055

runsolver used 3.43748 second user time and 5.85311 second system time

The end

Launcher Data 

Begin job on node119 at 2010-06-30 23:05:07
IDJOB=2692603
IDBENCH=79329
IDSOLVER=1204
FILE ID=node119/2692603-1277931907
PBS_JOBID= 11197419
Free space on /tmp= 74212 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl--soft-0-100-0.wbo
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-2692603-1277931907/watcher-2692603-1277931907 -o /tmp/evaluation-result-2692603-1277931907/solver-2692603-1277931907 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692603-1277931907.wbo -t 1800 -m 3800

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

MD5SUM BENCH= daa4650c03ccc8f8b44e19f0217c9b39
RANDOM SEED=87947599

node119.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.802
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.60
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.802
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.802
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.802
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.802
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.73
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.802
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.802
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.75
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.802
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:      31240860 kB
Buffers:        217716 kB
Cached:         957436 kB
SwapCached:          0 kB
Active:         907544 kB
Inactive:       657008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31240860 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5556 kB
Writeback:           0 kB
AnonPages:      389564 kB
Mapped:          20376 kB
Slab:            80344 kB
PageTables:       5912 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1661180 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= 74204 MiB
End job on node119 at 2010-06-30 23:35:09