Trace number 2705375

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.12 1800.06

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB10/oliveras/j120/
normalized-j12023_3-unsat--soft-0-100-0.wbo
MD5SUM9c7625d2f7c9a7775ed803b0b29af096
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark8.58669
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables23958
Total number of constraints79333
Number of soft constraints79333
Number of constraints which are clauses78941
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints392
Minimum length of a constraint1
Maximum length of a constraint38
Top cost 4012486
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 4012485
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 225
Number of bits of the biggest sum of numbers8
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-2705375-1278576549.wbo>
0.79/0.86	c original problem has 182624 variables (103291 bin, 0 int, 79333 impl, 0 cont) and 158667 constraints
0.79/0.86	c problem read
0.79/0.86	c presolving settings loaded
122.59/122.64	o 4012485
122.59/122.64	c feasible solution found by trivial heuristic, objective value  4.012485e+06
122.59/122.64	c presolving:
152.80/152.83	c    (152.0s) probing: 1000/103291 (1.0%) - 0 fixings, 0 aggregations, 332 implications, 0 bound changes
179.20/179.23	c    (178.4s) probing: 1892/103291 (1.8%) - 0 fixings, 0 aggregations, 418 implications, 0 bound changes
179.20/179.23	c    (178.4s) probing aborted: 100/100 successive totally useless probings
179.20/179.23	c (round 1) 0 del vars, 1 del conss, 79333 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 836 impls, 0 clqs
179.70/179.73	c (round 2) 0 del vars, 1 del conss, 79333 chg bounds, 0 chg sides, 0 chg coeffs, 790 upgd conss, 836 impls, 0 clqs
180.20/180.20	c    (179.3s) probing: 1902/103291 (1.8%) - 0 fixings, 0 aggregations, 418 implications, 0 bound changes
180.20/180.20	c    (179.3s) probing aborted: 100/100 successive totally useless probings
180.20/180.22	c presolving (3 rounds):
180.20/180.22	c  0 deleted vars, 1 deleted constraints, 79333 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
180.20/180.22	c  161434 implications, 0 cliques
180.20/180.22	c presolved problem has 182624 variables (103291 bin, 0 int, 79333 impl, 0 cont) and 158666 constraints
180.20/180.22	c     790 constraints of type <varbound>
180.20/180.22	c   78543 constraints of type <linear>
180.20/180.22	c   79333 constraints of type <indicator>
180.20/180.22	c transformed objective value is always integral (scale: 1)
180.20/180.22	c Presolving Time: 178.83
180.20/180.22	c - non default parameters ----------------------------------------------------------------------
180.20/180.22	c # SCIP version 1.2.1.3
180.20/180.22	c 
180.20/180.22	c # frequency for displaying node information lines
180.20/180.22	c # [type: int, range: [-1,2147483647], default: 100]
180.20/180.22	c display/freq = 10000
180.20/180.22	c 
180.20/180.22	c # maximal time in seconds to run
180.20/180.22	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
180.20/180.22	c limits/time = 1789.15
180.20/180.22	c 
180.20/180.22	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
180.20/180.22	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
180.20/180.22	c limits/memory = 3420
180.20/180.22	c 
180.20/180.22	c # default clock type (1: CPU user seconds, 2: wall clock time)
180.20/180.22	c # [type: int, range: [1,2], default: 1]
180.20/180.22	c timing/clocktype = 2
180.20/180.22	c 
180.20/180.22	c # should presolving try to simplify inequalities
180.20/180.22	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
180.20/180.22	c constraints/linear/simplifyinequalities = TRUE
180.20/180.22	c 
180.20/180.22	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
180.20/180.22	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
180.20/180.22	c constraints/indicator/addCouplingCons = TRUE
180.20/180.22	c 
180.20/180.22	c # should presolving try to simplify knapsacks
180.20/180.22	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
180.20/180.22	c constraints/knapsack/simplifyinequalities = TRUE
180.20/180.22	c 
180.20/180.22	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
180.20/180.22	c # [type: int, range: [-1,2147483647], default: -1]
180.20/180.22	c separating/rapidlearning/freq = 0
180.20/180.22	c 
180.20/180.22	c -----------------------------------------------------------------------------------------------
180.20/180.22	c start solving
180.20/180.28	c 
180.70/180.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
180.70/180.79	c t 180s|     1 |     0 |     0 |     - | 595M|   0 |   0 | 182k| 158k| 182k|   0 |   0 |   0 |   0 | 0.000000e+00 | 4.012485e+06 |    Inf 
180.90/180.90	c   180s|     1 |     0 |   241 |     - | 595M|   0 |   0 | 182k| 158k| 182k| 456 | 456 |   0 |   0 | 0.000000e+00 | 4.012485e+06 |    Inf 
180.90/180.97	c   180s|     1 |     0 |   441 |     - | 595M|   0 |   0 | 182k| 158k| 182k| 656 | 656 |   0 |   0 | 0.000000e+00 | 4.012485e+06 |    Inf 
181.00/181.05	c   180s|     1 |     0 |   641 |     - | 595M|   0 |   0 | 182k| 158k| 182k| 856 | 856 |   0 |   0 | 0.000000e+00 | 4.012485e+06 |    Inf 
181.10/181.14	c   180s|     1 |     0 |   841 |     - | 595M|   0 |   0 | 182k| 158k| 182k|1056 |1056 |   0 |   0 | 0.000000e+00 | 4.012485e+06 |    Inf 
181.20/181.23	c   180s|     1 |     0 |   978 |     - | 595M|   0 |   0 | 182k| 158k| 182k|1193 |1193 |   0 |   0 | 0.000000e+00 | 4.012485e+06 |    Inf 
181.30/181.35	c   180s|     1 |     2 |   978 |     - | 595M|   0 |   0 | 182k| 158k| 182k|1193 |1193 |   0 |   0 | 0.000000e+00 | 4.012485e+06 |    Inf 
594.31/594.33	o 3973643
594.31/594.33	c y 593s|  3537 |  3536 |   982 |   0.0 | 764M|3535 |   - | 182k| 158k|   0 |   0 |1195 |   0 |   0 | 0.000000e+00 | 3.973643e+06 |    Inf 
1379.24/1379.22	c  1378s| 10000 | 10001 |   984 |   0.0 |1071M|3535 |   0 | 182k| 158k| 182k|1193 |1196 |   0 |   0 | 0.000000e+00 | 3.973643e+06 |    Inf 
1790.06/1790.05	c 
1790.06/1790.05	c SCIP Status        : solving was interrupted [time limit reached]
1790.06/1790.05	c Solving Time (sec) : 1789.19
1790.06/1790.05	c Solving Nodes      : 13377
1790.06/1790.05	c Primal Bound       : +3.97364300000000e+06 (9 solutions)
1790.06/1790.05	c Dual Bound         : +0.00000000000000e+00
1790.06/1790.05	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-2705375-1278576549/watcher-2705375-1278576549 -o /tmp/evaluation-result-2705375-1278576549/solver-2705375-1278576549 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705375-1278576549.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.93 2.00 1.91 4/178 22564
/proc/meminfo: memFree=28072476/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=12512 CPUtime=0
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 1976 0 0 0 0 0 0 0 23 0 1 0 25869739 12812288 1894 4089446400 4194304 10345943 140735330671936 18446744073709551615 4730225 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22564/statm: 3128 1894 429 1502 0 1621 0

[startup+0.0201051 s]
/proc/loadavg: 1.93 2.00 1.91 4/178 22564
/proc/meminfo: memFree=28072476/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=18408 CPUtime=0.01
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 3436 0 0 0 1 0 0 0 23 0 1 0 25869739 18849792 3354 4089446400 4194304 10345943 140735330671936 18446744073709551615 6325553 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22564/statm: 4602 3375 430 1502 0 3095 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18408

[startup+0.101051 s]
/proc/loadavg: 1.93 2.00 1.91 4/178 22564
/proc/meminfo: memFree=28072476/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=44332 CPUtime=0.1
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 9919 0 0 0 9 1 0 0 25 0 1 0 25869739 45395968 9837 4089446400 4194304 10345943 140735330671936 18446744073709551615 9053603 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22564/statm: 11083 9837 430 1502 0 9576 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 44332

[startup+0.301014 s]
/proc/loadavg: 1.93 2.00 1.91 4/178 22564
/proc/meminfo: memFree=28072476/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=97480 CPUtime=0.29
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 23201 0 0 0 27 2 0 0 25 0 1 0 25869739 99819520 23119 4089446400 4194304 10345943 140735330671936 18446744073709551615 9134653 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22564/statm: 24370 23119 430 1502 0 22863 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 97480

[startup+0.700941 s]
/proc/loadavg: 1.93 2.00 1.91 4/178 22564
/proc/meminfo: memFree=28072476/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=202192 CPUtime=0.69
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 49390 0 0 0 64 5 0 0 25 0 1 0 25869739 207044608 49308 4089446400 4194304 10345943 140735330671936 18446744073709551615 4730439 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22564/statm: 50548 49308 430 1502 0 49041 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 202192

[startup+1.50079 s]
/proc/loadavg: 1.93 2.00 1.91 3/179 22565
/proc/meminfo: memFree=27713768/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=544208 CPUtime=1.49
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 134579 0 0 0 135 14 0 0 25 0 1 0 25869739 557268992 134107 4089446400 4194304 10345943 140735330671936 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22564/statm: 136052 134107 494 1502 0 134545 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 544208

[startup+3.10049 s]
/proc/loadavg: 1.93 2.00 1.91 3/179 22565
/proc/meminfo: memFree=27492924/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=594068 CPUtime=3.09
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 145474 0 0 0 294 15 0 0 25 0 1 0 25869739 608325632 145002 4089446400 4194304 10345943 140735330671936 18446744073709551615 9138526 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22564/statm: 148517 145002 509 1502 0 147010 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 594068

[startup+6.30088 s]
/proc/loadavg: 1.93 2.00 1.91 2/177 22566
/proc/meminfo: memFree=28063092/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=594068 CPUtime=6.29
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 145474 0 0 0 614 15 0 0 25 0 1 0 25869739 608325632 145002 4089446400 4194304 10345943 140735330671936 18446744073709551615 4246683 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22564/statm: 148517 145002 509 1502 0 147010 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 594068

[startup+12.7007 s]
/proc/loadavg: 1.94 2.00 1.91 3/179 22593
/proc/meminfo: memFree=28037036/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=594068 CPUtime=12.69
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 145474 0 0 0 1254 15 0 0 25 0 1 0 25869739 608325632 145002 4089446400 4194304 10345943 140735330671936 18446744073709551615 9138526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22564/statm: 148517 145002 509 1502 0 147010 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 594068

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 1.91 3/179 22594
/proc/meminfo: memFree=28004228/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=594068 CPUtime=25.49
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 145474 0 0 0 2534 15 0 0 25 0 1 0 25869739 608325632 145002 4089446400 4194304 10345943 140735330671936 18446744073709551615 9138519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22564/statm: 148517 145002 509 1502 0 147010 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 594068

[startup+51.1004 s]
/proc/loadavg: 2.13 2.03 1.93 3/179 22703
/proc/meminfo: memFree=28028512/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=594068 CPUtime=51.09
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 145474 0 0 0 5094 15 0 0 25 0 1 0 25869739 608325632 145002 4089446400 4194304 10345943 140735330671936 18446744073709551615 9138526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22564/statm: 148517 145002 509 1502 0 147010 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 594068

[startup+102.307 s]
/proc/loadavg: 2.14 2.05 1.94 3/179 22758
/proc/meminfo: memFree=27959128/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=594068 CPUtime=102.3
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 145474 0 0 0 10215 15 0 0 25 0 1 0 25869739 608325632 145002 4089446400 4194304 10345943 140735330671936 18446744073709551615 9138519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22564/statm: 148517 145002 509 1502 0 147010 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 594068

[startup+162.3 s]
/proc/loadavg: 2.05 2.04 1.94 3/179 22759
/proc/meminfo: memFree=27887344/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=611876 CPUtime=162.3
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 151804 0 0 0 16214 16 0 0 25 0 1 0 25869739 626561024 149644 4089446400 4194304 10345943 140735330671936 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22564/statm: 152969 149644 562 1502 0 151462 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 611876

[startup+222.301 s]
/proc/loadavg: 1.98 2.02 1.93 3/179 22842
/proc/meminfo: memFree=27872140/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=764968 CPUtime=222.3
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 222203 0 0 0 22206 24 0 0 25 0 1 0 25869739 783327232 186243 4089446400 4194304 10345943 140735330671936 18446744073709551615 4688088 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22564/statm: 191242 186243 706 1502 0 189735 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 764968

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 22925
/proc/meminfo: memFree=27799588/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=787824 CPUtime=282.3
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 260983 0 0 0 28200 30 0 0 25 0 1 0 25869739 806731776 191948 4089446400 4194304 10345943 140735330671936 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22564/statm: 196956 191948 706 1502 0 195449 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 787824

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 22926
/proc/meminfo: memFree=27707188/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=811428 CPUtime=342.3
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 266782 0 0 0 34199 31 0 0 25 0 1 0 25869739 830902272 197747 4089446400 4194304 10345943 140735330671936 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22564/statm: 202857 197747 706 1502 0 201350 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 811428

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22928
/proc/meminfo: memFree=27632056/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=836000 CPUtime=402.3
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 305935 0 0 0 40194 36 0 0 25 0 1 0 25869739 856064000 203825 4089446400 4194304 10345943 140735330671936 18446744073709551615 6003021 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 209000 203825 706 1502 0 207493 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 836000

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22929
/proc/meminfo: memFree=27594564/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=859584 CPUtime=462.31
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 311971 0 0 0 46193 38 0 0 25 0 1 0 25869739 880214016 209861 4089446400 4194304 10345943 140735330671936 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 214896 209861 706 1502 0 213389 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 859584

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22931
/proc/meminfo: memFree=27563264/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=883128 CPUtime=522.31
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 317788 0 0 0 52192 39 0 0 25 0 1 0 25869739 904323072 215678 4089446400 4194304 10345943 140735330671936 18446744073709551615 4749704 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 220782 215678 706 1502 0 219275 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 883128

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22936
/proc/meminfo: memFree=27529428/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=910424 CPUtime=582.31
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 357807 0 0 0 58186 45 0 0 25 0 1 0 25869739 932274176 222621 4089446400 4194304 10345943 140735330671936 18446744073709551615 5926474 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 227606 222621 708 1502 0 226099 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 910424

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22937
/proc/meminfo: memFree=27496576/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=938184 CPUtime=642.31
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 448823 0 0 0 64175 56 0 0 25 0 1 0 25869739 960700416 229215 4089446400 4194304 10345943 140735330671936 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 234546 229215 719 1502 0 233039 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 938184

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22942
/proc/meminfo: memFree=27413252/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1004888 CPUtime=822.32
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 668345 0 0 0 82149 83 0 0 25 0 1 0 25869739 1029005312 245856 4089446400 4194304 10345943 140735330671936 18446744073709551615 6865066 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 251222 245856 719 1502 0 249715 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 1004888

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22944
/proc/meminfo: memFree=27386660/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1026472 CPUtime=882.32
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 673672 0 0 0 88148 84 0 0 25 0 1 0 25869739 1051107328 251183 4089446400 4194304 10345943 140735330671936 18446744073709551615 4999640 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 256618 251183 719 1502 0 255111 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1026472

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22945
/proc/meminfo: memFree=27357108/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1050440 CPUtime=942.32
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 679747 0 0 0 94147 85 0 0 25 0 1 0 25869739 1075650560 257258 4089446400 4194304 10345943 140735330671936 18446744073709551615 6520451 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 262610 257258 719 1502 0 261103 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1050440

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22947
/proc/meminfo: memFree=27327308/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1075008 CPUtime=1002.32
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 685750 0 0 0 100146 86 0 0 25 0 1 0 25869739 1100808192 263261 4089446400 4194304 10345943 140735330671936 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 268752 263261 719 1502 0 267245 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1075008

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22948
/proc/meminfo: memFree=27301228/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1096324 CPUtime=1062.32
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 774592 0 0 0 106134 98 0 0 25 0 1 0 25869739 1122635776 268631 4089446400 4194304 10345943 140735330671936 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 274081 268631 719 1502 0 272574 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1096324

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22950
/proc/meminfo: memFree=27274520/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1117904 CPUtime=1122.33
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 780092 0 0 0 112134 99 0 0 25 0 1 0 25869739 1144733696 274131 4089446400 4194304 10345943 140735330671936 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 279476 274131 719 1502 0 277969 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1117904

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/179 22952
/proc/meminfo: memFree=27248184/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1141448 CPUtime=1182.33
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 785826 0 0 0 118132 101 0 0 25 0 1 0 25869739 1168842752 279865 4089446400 4194304 10345943 140735330671936 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 285362 279865 719 1502 0 283855 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1141448

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 22953
/proc/meminfo: memFree=27219116/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1165308 CPUtime=1242.33
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 792118 0 0 0 124131 102 0 0 25 0 1 0 25869739 1193275392 286157 4089446400 4194304 10345943 140735330671936 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 291327 286157 719 1502 0 289820 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1165308

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22955
/proc/meminfo: memFree=27196024/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1187128 CPUtime=1302.34
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 797283 0 0 0 130131 103 0 0 25 0 1 0 25869739 1215619072 291322 4089446400 4194304 10345943 140735330671936 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 296782 291322 719 1502 0 295275 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1187128

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22956
/proc/meminfo: memFree=27169316/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1210716 CPUtime=1362.33
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 803222 0 0 0 136129 104 0 0 25 0 1 0 25869739 1239773184 297261 4089446400 4194304 10345943 140735330671936 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 302679 297261 719 1502 0 301172 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1210716

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22958
/proc/meminfo: memFree=27143480/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1233280 CPUtime=1422.34
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 808934 0 0 0 142129 105 0 0 25 0 1 0 25869739 1262878720 302973 4089446400 4194304 10345943 140735330671936 18446744073709551615 6866091 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 308320 302973 719 1502 0 306813 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1233280

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22960
/proc/meminfo: memFree=27113912/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1257852 CPUtime=1482.34
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 815030 0 0 0 148128 106 0 0 25 0 1 0 25869739 1288040448 309069 4089446400 4194304 10345943 140735330671936 18446744073709551615 5926667 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 314463 309069 719 1502 0 312956 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1257852

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22961
/proc/meminfo: memFree=27082852/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1279436 CPUtime=1542.34
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 820437 0 0 0 154127 107 0 0 25 0 1 0 25869739 1310142464 314476 4089446400 4194304 10345943 140735330671936 18446744073709551615 9138569 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 319859 314476 719 1502 0 318352 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1279436

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22963
/proc/meminfo: memFree=27054784/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1302176 CPUtime=1602.35
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 826317 0 0 0 160127 108 0 0 25 0 1 0 25869739 1333428224 320356 4089446400 4194304 10345943 140735330671936 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 325544 320356 719 1502 0 324037 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 1302176

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/179 22964
/proc/meminfo: memFree=27026708/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1325720 CPUtime=1662.34
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 832052 0 0 0 166125 109 0 0 25 0 1 0 25869739 1357537280 326091 4089446400 4194304 10345943 140735330671936 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 331430 326091 719 1502 0 329923 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1325720

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 22966
/proc/meminfo: memFree=27001632/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1347856 CPUtime=1722.35
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 921779 0 0 0 172115 120 0 0 25 0 1 0 25869739 1380204544 331541 4089446400 4194304 10345943 140735330671936 18446744073709551615 4447807 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 336964 331541 719 1502 0 335457 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1347856

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/179 22968
/proc/meminfo: memFree=26973300/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1372464 CPUtime=1782.36
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 927882 0 0 0 178114 122 0 0 25 0 1 0 25869739 1405403136 337644 4089446400 4194304 10345943 140735330671936 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22564/statm: 343116 337644 719 1502 0 341609 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 1372464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.02 1.95 3/179 22968
/proc/meminfo: memFree=26968564/32950928 swapFree=67111528/67111528
[pid=22564] ppid=22562 vsize=1375408 CPUtime=1800.06
/proc/22564/stat : 22564 (pbscip.linux.x8) R 22562 22564 22212 0 -1 4202496 928617 0 0 0 179884 122 0 0 25 0 1 0 25869739 1408417792 338379 4089446400 4194304 10345943 140735330671936 18446744073709551615 4246677 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/22564/statm: 343852 338379 719 1502 0 342345 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1375408

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.06
CPU time (s): 1800.12
CPU user time (s): 1798.85
CPU system time (s): 1.27081
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1665212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.27081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 928617
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= 15758

runsolver used 3.68844 second user time and 5.73813 second system time

The end

Launcher Data 

Begin job on node114 at 2010-07-08 10:09:10
IDJOB=2705375
IDBENCH=79122
IDSOLVER=1214
FILE ID=node114/2705375-1278576549
PBS_JOBID= 11240225
Free space on /tmp= 73148 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/j120/normalized-j12023_3-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-2705375-1278576549/watcher-2705375-1278576549 -o /tmp/evaluation-result-2705375-1278576549/solver-2705375-1278576549 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705375-1278576549.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 9c7625d2f7c9a7775ed803b0b29af096
RANDOM SEED=138048810

node114.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.824
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.64
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.824
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.824
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.83
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.824
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.81
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.824
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.82
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.824
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.824
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.824
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:     32950928 kB
MemFree:      28073004 kB
Buffers:        155612 kB
Cached:        3919100 kB
SwapCached:          0 kB
Active:        1894868 kB
Inactive:      2813276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28073004 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           15164 kB
Writeback:           0 kB
AnonPages:      633152 kB
Mapped:          17728 kB
Slab:           105724 kB
PageTables:       5832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   804928 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= 73136 MiB
End job on node114 at 2010-07-08 10:39:12