Trace number 2705422

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.3 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1800.09 1800.05

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB10/oliveras/j60/
normalized-j6030_9-unsat--soft-0-100-0.wbo
MD5SUMdef010b3798742afc072cdcfd77b8db4
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big 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 benchmark4.25835
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables11956
Total number of constraints39426
Number of soft constraints39426
Number of constraints which are clauses39038
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints388
Minimum length of a constraint1
Maximum length of a constraint60
Top cost 1992515
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1992514
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 416
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705422-1278576553.wbo>
0.38/0.46	c original problem has 90808 variables (51382 bin, 0 int, 39426 impl, 0 cont) and 78853 constraints
0.38/0.46	c problem read
0.38/0.46	c presolving settings loaded
20.29/20.32	o 1992514
20.29/20.32	c feasible solution found by trivial heuristic, objective value  1.992514e+06
20.29/20.32	c presolving:
31.89/31.95	c    (31.5s) probing: 920/51382 (1.8%) - 0 fixings, 0 aggregations, 214 implications, 0 bound changes
31.89/31.95	c    (31.5s) probing aborted: 100/100 successive totally useless probings
31.89/31.95	c (round 1) 0 del vars, 1 del conss, 39426 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 428 impls, 0 clqs
32.09/32.10	c (round 2) 0 del vars, 1 del conss, 39426 chg bounds, 0 chg sides, 0 chg coeffs, 394 upgd conss, 428 impls, 0 clqs
32.29/32.30	c    (31.8s) probing: 930/51382 (1.8%) - 0 fixings, 0 aggregations, 214 implications, 0 bound changes
32.29/32.30	c    (31.8s) probing aborted: 100/100 successive totally useless probings
32.29/32.30	c presolving (3 rounds):
32.29/32.30	c  0 deleted vars, 1 deleted constraints, 39426 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
32.29/32.30	c  80040 implications, 0 cliques
32.29/32.30	c presolved problem has 90808 variables (51382 bin, 0 int, 39426 impl, 0 cont) and 78852 constraints
32.29/32.30	c     394 constraints of type <varbound>
32.29/32.30	c   39032 constraints of type <linear>
32.29/32.30	c   39426 constraints of type <indicator>
32.29/32.30	c transformed objective value is always integral (scale: 1)
32.29/32.30	c Presolving Time: 31.55
32.29/32.30	c - non default parameters ----------------------------------------------------------------------
32.29/32.30	c # SCIP version 1.2.1.3
32.29/32.30	c 
32.29/32.30	c # frequency for displaying node information lines
32.29/32.30	c # [type: int, range: [-1,2147483647], default: 100]
32.29/32.30	c display/freq = 10000
32.29/32.30	c 
32.29/32.30	c # maximal time in seconds to run
32.29/32.30	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
32.29/32.30	c limits/time = 1789.55
32.29/32.30	c 
32.29/32.30	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
32.29/32.30	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
32.29/32.30	c limits/memory = 3420
32.29/32.30	c 
32.29/32.30	c # default clock type (1: CPU user seconds, 2: wall clock time)
32.29/32.30	c # [type: int, range: [1,2], default: 1]
32.29/32.30	c timing/clocktype = 2
32.29/32.30	c 
32.29/32.30	c # should presolving try to simplify inequalities
32.29/32.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
32.29/32.30	c constraints/linear/simplifyinequalities = TRUE
32.29/32.30	c 
32.29/32.30	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
32.29/32.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
32.29/32.30	c constraints/indicator/addCouplingCons = TRUE
32.29/32.30	c 
32.29/32.30	c # should presolving try to simplify knapsacks
32.29/32.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
32.29/32.30	c constraints/knapsack/simplifyinequalities = TRUE
32.29/32.30	c 
32.29/32.30	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
32.29/32.30	c # [type: int, range: [-1,2147483647], default: -1]
32.29/32.30	c separating/rapidlearning/freq = 0
32.29/32.30	c 
32.29/32.30	c -----------------------------------------------------------------------------------------------
32.29/32.30	c start solving
32.29/32.33	c 
32.49/32.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
32.49/32.57	c t32.1s|     1 |     0 |     0 |     - | 297M|   0 |   0 |  90k|  78k|  90k|   0 |   0 |   0 |   0 | 0.000000e+00 | 1.992514e+06 |    Inf 
32.59/32.62	c  32.2s|     1 |     0 |   121 |     - | 297M|   0 |   0 |  90k|  78k|  90k| 228 | 228 |   0 |   0 | 0.000000e+00 | 1.992514e+06 |    Inf 
32.59/32.66	c  32.2s|     1 |     0 |   321 |     - | 297M|   0 |   0 |  90k|  78k|  90k| 428 | 428 |   0 |   0 | 0.000000e+00 | 1.992514e+06 |    Inf 
32.69/32.71	c  32.3s|     1 |     0 |   494 |     - | 297M|   0 |   0 |  90k|  78k|  90k| 601 | 601 |   0 |   0 | 0.000000e+00 | 1.992514e+06 |    Inf 
32.69/32.77	c  32.3s|     1 |     2 |   494 |     - | 297M|   0 |   0 |  90k|  78k|  90k| 601 | 601 |   0 |   0 | 0.000000e+00 | 1.992514e+06 |    Inf 
123.79/123.83	o 1972112
123.79/123.83	c y 123s|  1599 |  1598 |   494 |   0.0 | 337M|1597 |   - |  90k|  78k|   0 |   0 | 601 |   0 |   0 | 0.000000e+00 | 1.972112e+06 |    Inf 
620.60/620.65	c   620s| 10000 | 10001 |   765 |   0.0 | 543M|1597 |   0 |  90k|  78k|  90k| 645 | 883 |   0 |   0 | 0.000000e+00 | 1.972112e+06 |    Inf 
1250.21/1250.26	c  1250s| 20000 | 20001 |  3194 |   0.1 | 787M|1597 |   0 |  90k|  78k|  90k| 602 |3361 |   0 |   0 | 0.000000e+00 | 1.972112e+06 |    Inf 
1790.04/1790.06	c 
1790.04/1790.06	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.06	c Solving Time (sec) : 1789.60
1790.04/1790.06	c Solving Nodes      : 28356
1790.04/1790.06	c Primal Bound       : +1.97211200000000e+06 (22 solutions)
1790.04/1790.06	c Dual Bound         : +0.00000000000000e+00
1790.04/1790.06	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-2705422-1278576553/watcher-2705422-1278576553 -o /tmp/evaluation-result-2705422-1278576553/solver-2705422-1278576553 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705422-1278576553.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.92 1.98 1.90 4/178 23272
/proc/meminfo: memFree=29418352/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=12512 CPUtime=0
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 1975 0 0 0 0 0 0 0 25 0 1 0 25868156 12812288 1894 4089446400 4194304 10345943 140733273987024 18446744073709551615 9031662 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23272/statm: 3128 1894 429 1502 0 1621 0

[startup+0.08283 s]
/proc/loadavg: 1.92 1.98 1.90 4/178 23272
/proc/meminfo: memFree=29418352/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=37908 CPUtime=0.07
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 8314 0 0 0 7 0 0 0 25 0 1 0 25868156 38817792 8233 4089446400 4194304 10345943 140733273987024 18446744073709551615 9191984 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23272/statm: 9477 8233 430 1502 0 7970 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 37908

[startup+0.100818 s]
/proc/loadavg: 1.92 1.98 1.90 4/178 23272
/proc/meminfo: memFree=29418352/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=43268 CPUtime=0.09
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 9660 0 0 0 9 0 0 0 25 0 1 0 25868156 44306432 9579 4089446400 4194304 10345943 140733273987024 18446744073709551615 9134628 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23272/statm: 10817 9579 430 1502 0 9310 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43268

[startup+0.300792 s]
/proc/loadavg: 1.92 1.98 1.90 4/178 23272
/proc/meminfo: memFree=29418352/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=94140 CPUtime=0.29
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 22386 0 0 0 27 2 0 0 25 0 1 0 25868156 96399360 22282 4089446400 4194304 10345943 140733273987024 18446744073709551615 9134638 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23272/statm: 23535 22282 430 1502 0 22028 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 94140

[startup+0.700708 s]
/proc/loadavg: 1.92 1.98 1.90 4/178 23272
/proc/meminfo: memFree=29418352/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=264828 CPUtime=0.69
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 65156 0 0 0 62 7 0 0 25 0 1 0 25868156 271183872 64662 4089446400 4194304 10345943 140733273987024 18446744073709551615 4720712 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 66207 64662 478 1502 0 64700 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 264828

[startup+1.50057 s]
/proc/loadavg: 1.92 1.98 1.90 3/179 23273
/proc/meminfo: memFree=29123100/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=308968 CPUtime=1.49
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 74674 0 0 0 141 8 0 0 25 0 1 0 25868156 316383232 74180 4089446400 4194304 10345943 140733273987024 18446744073709551615 9138641 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 77242 74180 509 1502 0 75735 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 308968

[startup+3.10029 s]
/proc/loadavg: 1.92 1.98 1.90 3/179 23273
/proc/meminfo: memFree=29120248/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=308968 CPUtime=3.09
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 74674 0 0 0 301 8 0 0 25 0 1 0 25868156 316383232 74180 4089446400 4194304 10345943 140733273987024 18446744073709551615 9138519 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 77242 74180 509 1502 0 75735 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 308968

[startup+6.30072 s]
/proc/loadavg: 1.93 1.98 1.90 3/179 23273
/proc/meminfo: memFree=29119420/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=308968 CPUtime=6.29
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 74674 0 0 0 621 8 0 0 25 0 1 0 25868156 316383232 74180 4089446400 4194304 10345943 140733273987024 18446744073709551615 4246430 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 77242 74180 509 1502 0 75735 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 308968

[startup+12.7006 s]
/proc/loadavg: 1.93 1.98 1.90 3/179 23273
/proc/meminfo: memFree=29118216/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=308968 CPUtime=12.69
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 74674 0 0 0 1261 8 0 0 25 0 1 0 25868156 316383232 74180 4089446400 4194304 10345943 140733273987024 18446744073709551615 9138370 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 77242 74180 509 1502 0 75735 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 308968

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.91 3/179 23274
/proc/meminfo: memFree=29107080/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=317576 CPUtime=25.49
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 78672 0 0 0 2541 8 0 0 25 0 1 0 25868156 325197824 76519 4089446400 4194304 10345943 140733273987024 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 79394 76519 575 1502 0 77887 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 317576

[startup+51.1008 s]
/proc/loadavg: 1.96 1.98 1.91 3/179 23275
/proc/meminfo: memFree=29022448/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=394324 CPUtime=51.09
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 113868 0 0 0 5096 13 0 0 25 0 1 0 25868156 403787776 95030 4089446400 4194304 10345943 140733273987024 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 98581 95030 705 1502 0 97074 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 394324

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.91 3/179 23276
/proc/meminfo: memFree=28988872/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=415924 CPUtime=102.3
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 135552 0 0 0 10213 17 0 0 25 0 1 0 25868156 425906176 100052 4089446400 4194304 10345943 140733273987024 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 103981 100052 705 1502 0 102474 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 415924

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23277
/proc/meminfo: memFree=28940480/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=446996 CPUtime=162.29
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 244747 0 0 0 16198 31 0 0 25 0 1 0 25868156 457723904 107039 4089446400 4194304 10345943 140733273987024 18446744073709551615 4227612 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 111749 107039 714 1502 0 110242 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 446996

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23279
/proc/meminfo: memFree=28894440/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=471628 CPUtime=222.29
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 310850 0 0 0 22187 42 0 0 25 0 1 0 25868156 482947072 113731 4089446400 4194304 10345943 140733273987024 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 117907 113731 714 1502 0 116400 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 471628

[startup+282.301 s]
/proc/loadavg: 2.05 2.00 1.91 3/179 23281
/proc/meminfo: memFree=28854976/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=493320 CPUtime=282.29
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 315944 0 0 0 28186 43 0 0 25 0 1 0 25868156 505159680 118825 4089446400 4194304 10345943 140733273987024 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 123330 118825 714 1502 0 121823 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 493320

[startup+342.3 s]
/proc/loadavg: 2.10 2.02 1.92 3/179 23283
/proc/meminfo: memFree=28812524/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=517540 CPUtime=342.29
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 363809 0 0 0 34180 49 0 0 25 0 1 0 25868156 529960960 124877 4089446400 4194304 10345943 140733273987024 18446744073709551615 4999640 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 129385 124877 714 1502 0 127878 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 517540

[startup+402.301 s]
/proc/loadavg: 2.03 2.01 1.92 3/179 23284
/proc/meminfo: memFree=28766712/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=543860 CPUtime=402.3
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 370418 0 0 0 40179 51 0 0 25 0 1 0 25868156 556912640 131486 4089446400 4194304 10345943 140733273987024 18446744073709551615 4796486 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 135965 131486 714 1502 0 134458 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 543860

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/179 23285
/proc/meminfo: memFree=28723512/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=569652 CPUtime=462.29
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 418654 0 0 0 46172 57 0 0 25 0 1 0 25868156 583323648 137906 4089446400 4194304 10345943 140733273987024 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 142413 137906 714 1502 0 140906 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 569652

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23287
/proc/meminfo: memFree=28678328/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=595464 CPUtime=522.3
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 425224 0 0 0 52171 59 0 0 25 0 1 0 25868156 609755136 144476 4089446400 4194304 10345943 140733273987024 18446744073709551615 4749680 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 148866 144476 719 1502 0 147359 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 595464

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23292
/proc/meminfo: memFree=28635988/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=620420 CPUtime=582.3
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 431951 0 0 0 58170 60 0 0 25 0 1 0 25868156 635310080 151203 4089446400 4194304 10345943 140733273987024 18446744073709551615 6853988 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 155105 151203 719 1502 0 153598 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 620420

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23294
/proc/meminfo: memFree=28599456/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=643628 CPUtime=642.31
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 437407 0 0 0 64169 62 0 0 25 0 1 0 25868156 659075072 156659 4089446400 4194304 10345943 140733273987024 18446744073709551615 6119400 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 160907 156659 719 1502 0 159400 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 643628

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.08 2.02 1.93 3/179 23298
/proc/meminfo: memFree=28470868/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=721276 CPUtime=822.31
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 456568 0 0 0 82165 66 0 0 25 0 1 0 25868156 738586624 175820 4089446400 4194304 10345943 140733273987024 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 180319 175820 719 1502 0 178812 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 721276

[startup+882.301 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 23300
/proc/meminfo: memFree=28426292/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=745576 CPUtime=882.31
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 462591 0 0 0 88163 68 0 0 25 0 1 0 25868156 763469824 181843 4089446400 4194304 10345943 140733273987024 18446744073709551615 6702715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 186394 181843 719 1502 0 184887 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 745576

[startup+942.301 s]
/proc/loadavg: 2.05 2.02 1.93 3/179 23302
/proc/meminfo: memFree=28377888/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=774184 CPUtime=942.31
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 469815 0 0 0 94162 69 0 0 25 0 1 0 25868156 792764416 189067 4089446400 4194304 10345943 140733273987024 18446744073709551615 4687806 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 193546 189067 719 1502 0 192039 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 774184

[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/179 23303
/proc/meminfo: memFree=28228052/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=906736 CPUtime=1002.31
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 508383 0 0 0 100157 74 0 0 25 0 1 0 25868156 928497664 222552 4089446400 4194304 10345943 140733273987024 18446744073709551615 6702728 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 226684 222552 719 1502 0 225177 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 906736

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 23304
/proc/meminfo: memFree=28210272/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=906736 CPUtime=1062.31
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 508387 0 0 0 106157 74 0 0 25 0 1 0 25868156 928497664 222556 4089446400 4194304 10345943 140733273987024 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 226684 222556 719 1502 0 225177 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 906736

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23306
/proc/meminfo: memFree=28194728/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=906736 CPUtime=1122.31
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 508391 0 0 0 112157 74 0 0 25 0 1 0 25868156 928497664 222560 4089446400 4194304 10345943 140733273987024 18446744073709551615 4900965 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 226684 222560 719 1502 0 225177 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 906736

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23308
/proc/meminfo: memFree=28178440/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=906736 CPUtime=1182.32
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 508395 0 0 0 118157 75 0 0 25 0 1 0 25868156 928497664 222564 4089446400 4194304 10345943 140733273987024 18446744073709551615 6788400 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 226684 222564 719 1502 0 225177 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 906736

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23310
/proc/meminfo: memFree=28161408/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=906736 CPUtime=1242.31
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 508397 0 0 0 124156 75 0 0 25 0 1 0 25868156 928497664 222566 4089446400 4194304 10345943 140733273987024 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 226684 222566 719 1502 0 225177 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 906736

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23311
/proc/meminfo: memFree=28135676/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=917852 CPUtime=1302.32
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 510958 0 0 0 130156 76 0 0 25 0 1 0 25868156 939880448 225127 4089446400 4194304 10345943 140733273987024 18446744073709551615 4447807 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 229463 225127 719 1502 0 227956 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 917852

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23312
/proc/meminfo: memFree=28101276/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=935104 CPUtime=1362.32
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 515303 0 0 0 136155 77 0 0 25 0 1 0 25868156 957546496 229472 4089446400 4194304 10345943 140733273987024 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 233776 229472 719 1502 0 232269 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 935104

[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 1.94 3/179 23314
/proc/meminfo: memFree=28059944/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=957452 CPUtime=1422.32
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 520665 0 0 0 142153 79 0 0 25 0 1 0 25868156 980430848 234834 4089446400 4194304 10345943 140733273987024 18446744073709551615 4882650 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 239363 234834 719 1502 0 237856 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 957452

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/179 23316
/proc/meminfo: memFree=28022452/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=979196 CPUtime=1482.33
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 525995 0 0 0 148152 81 0 0 25 0 1 0 25868156 1002696704 240164 4089446400 4194304 10345943 140733273987024 18446744073709551615 4447793 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 244799 240164 719 1502 0 243292 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 979196

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/179 23318
/proc/meminfo: memFree=27983960/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=1002768 CPUtime=1542.33
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 532078 0 0 0 154151 82 0 0 25 0 1 0 25868156 1026834432 246247 4089446400 4194304 10345943 140733273987024 18446744073709551615 6713088 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 250692 246247 726 1502 0 249185 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1002768

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 23319
/proc/meminfo: memFree=27938664/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=1027988 CPUtime=1602.33
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 538331 0 0 0 160149 84 0 0 25 0 1 0 25868156 1052659712 252500 4089446400 4194304 10345943 140733273987024 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 256997 252500 726 1502 0 255490 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1027988

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/179 23320
/proc/meminfo: memFree=27900792/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=1049208 CPUtime=1662.33
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 543531 0 0 0 166148 85 0 0 25 0 1 0 25868156 1074388992 257700 4089446400 4194304 10345943 140733273987024 18446744073709551615 4999613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 262302 257700 726 1502 0 260795 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1049208

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23322
/proc/meminfo: memFree=27864040/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=1069608 CPUtime=1722.33
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 548609 0 0 0 172147 86 0 0 25 0 1 0 25868156 1095278592 262778 4089446400 4194304 10345943 140733273987024 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23272/statm: 267402 262778 726 1502 0 265895 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1069608

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23351
/proc/meminfo: memFree=28395648/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=1091232 CPUtime=1782.33
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 553974 0 0 0 178146 87 0 0 25 0 1 0 25868156 1117421568 268143 4089446400 4194304 10345943 140733273987024 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23272/statm: 272808 268143 726 1502 0 271301 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1091232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23351
/proc/meminfo: memFree=28372736/32951124 swapFree=67111528/67111528
[pid=23272] ppid=23270 vsize=1093272 CPUtime=1800.04
/proc/23272/stat : 23272 (pbscip.linux.x8) R 23270 23272 22881 0 -1 4202496 554686 0 0 0 179916 88 0 0 25 0 1 0 25868156 1119510528 268855 4089446400 4194304 10345943 140733273987024 18446744073709551615 9138281 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23272/statm: 273318 268855 726 1502 0 271811 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1093272

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.05
CPU time (s): 1800.09
CPU user time (s): 1799.17
CPU system time (s): 0.92086
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1093272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.92086
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 554686
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= 1
involuntary context switches= 3214

runsolver used 2.78758 second user time and 7.02793 second system time

The end

Launcher Data 

Begin job on node140 at 2010-07-08 10:09:13
IDJOB=2705422
IDBENCH=79141
IDSOLVER=1214
FILE ID=node140/2705422-1278576553
PBS_JOBID= 11240175
Free space on /tmp= 73688 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB10/oliveras/j60/normalized-j6030_9-unsat--soft-0-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-2705422-1278576553/watcher-2705422-1278576553 -o /tmp/evaluation-result-2705422-1278576553/solver-2705422-1278576553 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705422-1278576553.wbo -t 1800 -m 3800

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

MD5SUM BENCH= def010b3798742afc072cdcfd77b8db4
RANDOM SEED=461426973

node140.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.817
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.63
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.817
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	: 5261.06
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.817
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.82
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.817
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.817
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.80
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.817
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.74
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.817
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.82
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.817
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:      29418756 kB
Buffers:        156544 kB
Cached:        3039172 kB
SwapCached:          0 kB
Active:        1304724 kB
Inactive:      2062356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29418756 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           27368 kB
Writeback:           0 kB
AnonPages:      171508 kB
Mapped:          17576 kB
Slab:           101340 kB
PageTables:       4904 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   321316 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= 73676 MiB
End job on node140 at 2010-07-08 10:39:15