Trace number 2705426

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.11 1800.05

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB10/oliveras/j60/
normalized-j6033_2-unsat--soft-0-100-0.wbo
MD5SUM760a13c53343c1a6f431e5ddf8292a4c
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark4.06738
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables12200
Total number of constraints42056
Number of soft constraints42056
Number of constraints which are clauses41660
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints396
Minimum length of a constraint1
Maximum length of a constraint18
Top cost 2126290
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2126289
Biggest number in a constraint 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 116
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.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-2705426-1278576553.wbo>
0.39/0.47	c original problem has 96312 variables (54256 bin, 0 int, 42056 impl, 0 cont) and 84113 constraints
0.39/0.47	c problem read
0.39/0.47	c presolving settings loaded
22.79/22.83	o 2126289
22.79/22.83	c feasible solution found by trivial heuristic, objective value  2.126289e+06
22.79/22.83	c presolving:
34.19/34.29	c    (33.8s) probing: 1000/54256 (1.8%) - 0 fixings, 0 aggregations, 212 implications, 0 bound changes
34.59/34.64	c    (34.2s) probing: 1031/54256 (1.9%) - 0 fixings, 0 aggregations, 212 implications, 0 bound changes
34.59/34.64	c    (34.2s) probing aborted: 100/100 successive totally useless probings
34.59/34.64	c (round 1) 0 del vars, 1 del conss, 42056 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 424 impls, 0 clqs
34.69/34.78	c (round 2) 0 del vars, 1 del conss, 42056 chg bounds, 0 chg sides, 0 chg coeffs, 432 upgd conss, 424 impls, 0 clqs
34.89/34.97	c    (34.5s) probing: 1041/54256 (1.9%) - 0 fixings, 0 aggregations, 212 implications, 0 bound changes
34.89/34.97	c    (34.5s) probing aborted: 100/100 successive totally useless probings
34.89/34.97	c presolving (3 rounds):
34.89/34.97	c  0 deleted vars, 1 deleted constraints, 42056 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
34.89/34.97	c  85444 implications, 0 cliques
34.89/34.97	c presolved problem has 96312 variables (54256 bin, 0 int, 42056 impl, 0 cont) and 84112 constraints
34.89/34.97	c     432 constraints of type <varbound>
34.89/34.97	c   41624 constraints of type <linear>
34.89/34.97	c   42056 constraints of type <indicator>
34.89/34.97	c transformed objective value is always integral (scale: 1)
34.89/34.97	c Presolving Time: 34.19
34.89/34.97	c - non default parameters ----------------------------------------------------------------------
34.89/34.97	c # SCIP version 1.2.1.3
34.89/34.97	c 
34.89/34.97	c # frequency for displaying node information lines
34.89/34.97	c # [type: int, range: [-1,2147483647], default: 100]
34.89/34.97	c display/freq = 10000
34.89/34.97	c 
34.89/34.97	c # maximal time in seconds to run
34.89/34.97	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
34.89/34.97	c limits/time = 1789.54
34.89/34.97	c 
34.89/34.97	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
34.89/34.97	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
34.89/34.97	c limits/memory = 3420
34.89/34.97	c 
34.89/34.97	c # default clock type (1: CPU user seconds, 2: wall clock time)
34.89/34.97	c # [type: int, range: [1,2], default: 1]
34.89/34.97	c timing/clocktype = 2
34.89/34.97	c 
34.89/34.97	c # should presolving try to simplify inequalities
34.89/34.97	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
34.89/34.97	c constraints/linear/simplifyinequalities = TRUE
34.89/34.97	c 
34.89/34.97	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
34.89/34.97	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
34.89/34.97	c constraints/indicator/addCouplingCons = TRUE
34.89/34.97	c 
34.89/34.97	c # should presolving try to simplify knapsacks
34.89/34.97	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
34.89/34.97	c constraints/knapsack/simplifyinequalities = TRUE
34.89/34.97	c 
34.89/34.97	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
34.89/34.97	c # [type: int, range: [-1,2147483647], default: -1]
34.89/34.97	c separating/rapidlearning/freq = 0
34.89/34.97	c 
34.89/34.97	c -----------------------------------------------------------------------------------------------
34.89/34.97	c start solving
34.99/35.00	c 
35.20/35.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
35.20/35.22	c t34.7s|     1 |     0 |     0 |     - | 314M|   0 |   0 |  96k|  84k|  96k|   0 |   0 |   0 |   0 | 0.000000e+00 | 2.126289e+06 |    Inf 
35.20/35.26	c  34.8s|     1 |     0 |   121 |     - | 315M|   0 |   0 |  96k|  84k|  96k| 247 | 247 |   0 |   0 | 0.000000e+00 | 2.126289e+06 |    Inf 
35.29/35.30	c  34.8s|     1 |     0 |   321 |     - | 315M|   0 |   0 |  96k|  84k|  96k| 447 | 447 |   0 |   0 | 0.000000e+00 | 2.126289e+06 |    Inf 
35.29/35.35	c  34.9s|     1 |     0 |   521 |     - | 315M|   0 |   0 |  96k|  84k|  96k| 647 | 647 |   0 |   0 | 0.000000e+00 | 2.126289e+06 |    Inf 
35.29/35.39	c  34.9s|     1 |     0 |   532 |     - | 315M|   0 |   0 |  96k|  84k|  96k| 658 | 658 |   0 |   0 | 0.000000e+00 | 2.126289e+06 |    Inf 
35.39/35.44	c  35.0s|     1 |     2 |   532 |     - | 315M|   0 |   0 |  96k|  84k|  96k| 658 | 658 |   0 |   0 | 0.000000e+00 | 2.126289e+06 |    Inf 
134.60/134.66	o 2104778
134.60/134.66	c y 134s|  1923 |  1922 |   532 |   0.0 | 365M|1921 |   - |  96k|  84k|   0 |   0 | 658 |   0 |   0 | 0.000000e+00 | 2.104778e+06 |    Inf 
671.21/671.23	c   671s| 10000 | 10001 |   678 |   0.0 | 576M|1921 |   0 |  96k|  84k|  96k| 667 | 800 |   0 |   0 | 0.000000e+00 | 2.104778e+06 |    Inf 
1483.95/1483.99	c  1484s| 20000 | 20001 |  3316 |   0.1 | 833M|1921 |   0 |  96k|  84k|  96k| 862 |3413 |   0 |  74 | 0.000000e+00 | 2.104778e+06 |    Inf 
1790.05/1790.03	c 
1790.05/1790.03	c SCIP Status        : solving was interrupted [time limit reached]
1790.05/1790.03	c Solving Time (sec) : 1789.55
1790.05/1790.03	c Solving Nodes      : 23684
1790.05/1790.03	c Primal Bound       : +2.10477800000000e+06 (22 solutions)
1790.05/1790.03	c Dual Bound         : +0.00000000000000e+00
1790.05/1790.03	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-2705426-1278576553/watcher-2705426-1278576553 -o /tmp/evaluation-result-2705426-1278576553/solver-2705426-1278576553 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705426-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: 2.00 2.00 1.91 4/177 19430
/proc/meminfo: memFree=28208392/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=12696 CPUtime=0
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 2008 0 0 0 0 0 0 0 21 0 1 0 25802591 13000704 1927 4089446400 4194304 10345943 140734367861104 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19430/statm: 3174 1927 429 1502 0 1667 0

[startup+0.0384599 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 19430
/proc/meminfo: memFree=28208392/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=25516 CPUtime=0.02
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 5243 0 0 0 2 0 0 0 21 0 1 0 25802591 26128384 5162 4089446400 4194304 10345943 140734367861104 18446744073709551615 4564145 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19430/statm: 6379 5162 430 1502 0 4872 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25516

[startup+0.100437 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 19430
/proc/meminfo: memFree=28208392/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=43272 CPUtime=0.09
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 9662 0 0 0 8 1 0 0 21 0 1 0 25802591 44310528 9581 4089446400 4194304 10345943 140734367861104 18446744073709551615 9134633 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19430/statm: 10818 9581 430 1502 0 9311 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43272

[startup+0.300399 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 19430
/proc/meminfo: memFree=28208392/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=93120 CPUtime=0.29
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 22130 0 0 0 27 2 0 0 21 0 1 0 25802591 95354880 22026 4089446400 4194304 10345943 140734367861104 18446744073709551615 6328773 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19430/statm: 23280 22026 430 1502 0 21773 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 93120

[startup+0.700326 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 19430
/proc/meminfo: memFree=28208392/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=268284 CPUtime=0.69
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 65921 0 0 0 62 7 0 0 22 0 1 0 25802591 274722816 65427 4089446400 4194304 10345943 140734367861104 18446744073709551615 6326845 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19430/statm: 67071 65427 478 1502 0 65564 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268284

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19431
/proc/meminfo: memFree=27897764/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=329092 CPUtime=1.49
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 79547 0 0 0 140 9 0 0 25 0 1 0 25802591 336990208 79053 4089446400 4194304 10345943 140734367861104 18446744073709551615 9138627 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19430/statm: 82273 79053 509 1502 0 80766 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 329092

[startup+3.10088 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19431
/proc/meminfo: memFree=27890448/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=329092 CPUtime=3.09
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 79547 0 0 0 300 9 0 0 25 0 1 0 25802591 336990208 79053 4089446400 4194304 10345943 140734367861104 18446744073709551615 9138370 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19430/statm: 82273 79053 509 1502 0 80766 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 329092

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19432
/proc/meminfo: memFree=27885592/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=329092 CPUtime=6.29
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 79547 0 0 0 620 9 0 0 25 0 1 0 25802591 336990208 79053 4089446400 4194304 10345943 140734367861104 18446744073709551615 4246426 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19430/statm: 82273 79053 509 1502 0 80766 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 329092

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19432
/proc/meminfo: memFree=27875660/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=329092 CPUtime=12.69
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 79547 0 0 0 1260 9 0 0 25 0 1 0 25802591 336990208 79053 4089446400 4194304 10345943 140734367861104 18446744073709551615 9138526 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19430/statm: 82273 79053 509 1502 0 80766 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 329092

[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19433
/proc/meminfo: memFree=27845952/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=338504 CPUtime=25.49
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 83819 0 0 0 2540 9 0 0 25 0 1 0 25802591 346628096 81658 4089446400 4194304 10345943 140734367861104 18446744073709551615 5609190 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19430/statm: 84626 81658 589 1502 0 83119 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 338504

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19433
/proc/meminfo: memFree=27730256/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=420084 CPUtime=51.09
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 121603 0 0 0 5096 13 0 0 25 0 1 0 25802591 430166016 101493 4089446400 4194304 10345943 140734367861104 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19430/statm: 105021 101493 706 1502 0 103514 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 420084

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19435
/proc/meminfo: memFree=27627668/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=443996 CPUtime=102.3
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 145062 0 0 0 10213 17 0 0 25 0 1 0 25802591 454651904 107039 4089446400 4194304 10345943 140734367861104 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19430/statm: 110999 107039 706 1502 0 109492 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 443996

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19436
/proc/meminfo: memFree=27504572/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=480036 CPUtime=162.29
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 217055 0 0 0 16204 25 0 0 25 0 1 0 25802591 491556864 115294 4089446400 4194304 10345943 140734367861104 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19430/statm: 120009 115294 715 1502 0 118502 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 480036

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19437
/proc/meminfo: memFree=27387216/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=507660 CPUtime=222.3
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 287902 0 0 0 22196 34 0 0 25 0 1 0 25802591 519843840 122020 4089446400 4194304 10345943 140734367861104 18446744073709551615 4796465 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19430/statm: 126915 122020 715 1502 0 125408 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 507660

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19439
/proc/meminfo: memFree=27275664/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=534352 CPUtime=282.3
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 340403 0 0 0 28188 42 0 0 25 0 1 0 25802591 547176448 128637 4089446400 4194304 10345943 140734367861104 18446744073709551615 6307527 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19430/statm: 133588 128637 718 1502 0 132081 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 534352

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19468
/proc/meminfo: memFree=29834016/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=558492 CPUtime=342.3
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 346590 0 0 0 34187 43 0 0 25 0 1 0 25802591 571895808 134824 4089446400 4194304 10345943 140734367861104 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 139623 134824 718 1502 0 138116 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 558492

[startup+402.301 s]
/proc/loadavg: 2.07 2.02 1.92 3/178 19470
/proc/meminfo: memFree=29748436/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=580868 CPUtime=402.3
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 396470 0 0 0 40180 50 0 0 25 0 1 0 25802591 594808832 140390 4089446400 4194304 10345943 140734367861104 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 145217 140390 718 1502 0 143710 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 580868

[startup+462.301 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 19471
/proc/meminfo: memFree=29667868/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=600964 CPUtime=462.31
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 401512 0 0 0 46180 51 0 0 25 0 1 0 25802591 615387136 145432 4089446400 4194304 10345943 140734367861104 18446744073709551615 5614823 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 150241 145432 718 1502 0 148734 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 600964

[startup+522.301 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 19472
/proc/meminfo: memFree=29593800/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=621436 CPUtime=522.31
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 406630 0 0 0 52179 52 0 0 25 0 1 0 25802591 636350464 150550 4089446400 4194304 10345943 140734367861104 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 155359 150550 718 1502 0 153852 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 621436

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19474
/proc/meminfo: memFree=29493200/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=641488 CPUtime=582.31
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 411886 0 0 0 58177 54 0 0 25 0 1 0 25802591 656883712 155806 4089446400 4194304 10345943 140734367861104 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 160372 155806 719 1502 0 158865 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 641488

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19476
/proc/meminfo: memFree=29365548/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=664480 CPUtime=642.32
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 417375 0 0 0 64177 55 0 0 25 0 1 0 25802591 680427520 161295 4089446400 4194304 10345943 140734367861104 18446744073709551615 4696469 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 166120 161295 719 1502 0 164613 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 664480

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 19480
/proc/meminfo: memFree=29072384/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=722608 CPUtime=822.32
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 477143 0 0 0 82170 62 0 0 25 0 1 0 25802591 739950592 176206 4089446400 4194304 10345943 140734367861104 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 180652 176206 719 1502 0 179145 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 722608

[startup+882.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 19482
/proc/meminfo: memFree=29036628/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=745084 CPUtime=882.32
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 482743 0 0 0 88169 63 0 0 25 0 1 0 25802591 762966016 181806 4089446400 4194304 10345943 140734367861104 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 186271 181806 726 1502 0 184764 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 745084

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19484
/proc/meminfo: memFree=29009048/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=772396 CPUtime=942.32
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 489356 0 0 0 94168 64 0 0 25 0 1 0 25802591 790933504 188419 4089446400 4194304 10345943 140734367861104 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 193099 188419 726 1502 0 191592 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 772396

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19486
/proc/meminfo: memFree=28989656/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=789208 CPUtime=1002.33
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 493809 0 0 0 100167 66 0 0 25 0 1 0 25802591 808148992 192872 4089446400 4194304 10345943 140734367861104 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 197302 192872 726 1502 0 195795 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 789208

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19487
/proc/meminfo: memFree=28967404/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=808904 CPUtime=1062.33
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 498538 0 0 0 106166 67 0 0 25 0 1 0 25802591 828317696 197601 4089446400 4194304 10345943 140734367861104 18446744073709551615 6805427 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 202226 197601 726 1502 0 200719 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 808904

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19488
/proc/meminfo: memFree=28944404/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=831004 CPUtime=1122.33
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 504202 0 0 0 112165 68 0 0 25 0 1 0 25802591 850948096 203265 4089446400 4194304 10345943 140734367861104 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 207751 203265 726 1502 0 206244 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 831004

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19490
/proc/meminfo: memFree=28917680/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=857568 CPUtime=1182.34
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 510843 0 0 0 118165 69 0 0 25 0 1 0 25802591 878149632 209906 4089446400 4194304 10345943 140734367861104 18446744073709551615 4601846 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 214392 209906 726 1502 0 212885 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 857568

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/178 19495
/proc/meminfo: memFree=28896416/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=877028 CPUtime=1242.34
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 515776 0 0 0 124164 70 0 0 25 0 1 0 25802591 898076672 214839 4089446400 4194304 10345943 140734367861104 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 219257 214839 726 1502 0 217750 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 877028

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 19497
/proc/meminfo: memFree=28882324/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=890672 CPUtime=1302.35
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 518808 0 0 0 130164 71 0 0 25 0 1 0 25802591 912048128 217871 4089446400 4194304 10345943 140734367861104 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 222668 217871 726 1502 0 221161 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 890672

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 19498
/proc/meminfo: memFree=28860944/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=909376 CPUtime=1362.34
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 523673 0 0 0 136162 72 0 0 25 0 1 0 25802591 931201024 222736 4089446400 4194304 10345943 140734367861104 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 227344 222736 726 1502 0 225837 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 909376

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19499
/proc/meminfo: memFree=28831984/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=935684 CPUtime=1422.35
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 530158 0 0 0 142161 74 0 0 25 0 1 0 25802591 958140416 229221 4089446400 4194304 10345943 140734367861104 18446744073709551615 6208030 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 233921 229221 726 1502 0 232414 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 935684

[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 1.94 3/178 19501
/proc/meminfo: memFree=28818804/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=947300 CPUtime=1482.35
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 532886 0 0 0 148160 75 0 0 25 0 1 0 25802591 970035200 231949 4089446400 4194304 10345943 140734367861104 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 236825 231949 726 1502 0 235318 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 947300

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 19503
/proc/meminfo: memFree=28672192/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=1090304 CPUtime=1542.35
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 574564 0 0 0 154156 79 0 0 25 0 1 0 25802591 1116471296 268061 4089446400 4194304 10345943 140734367861104 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 272576 268061 726 1502 0 271069 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 1090304

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 19505
/proc/meminfo: memFree=28668540/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=1090304 CPUtime=1602.35
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 574568 0 0 0 160156 79 0 0 25 0 1 0 25802591 1116471296 268065 4089446400 4194304 10345943 140734367861104 18446744073709551615 6805433 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 272576 268065 726 1502 0 271069 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 1090304

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 19506
/proc/meminfo: memFree=28668724/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=1090304 CPUtime=1662.35
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 574571 0 0 0 166156 79 0 0 25 0 1 0 25802591 1116471296 268068 4089446400 4194304 10345943 140734367861104 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 272576 268068 726 1502 0 271069 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1090304

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 19507
/proc/meminfo: memFree=28668908/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=1090304 CPUtime=1722.36
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 574634 0 0 0 172156 80 0 0 25 0 1 0 25802591 1116471296 268131 4089446400 4194304 10345943 140734367861104 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 272576 268131 726 1502 0 271069 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 1090304

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 19509
/proc/meminfo: memFree=28668624/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=1090304 CPUtime=1782.35
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 574637 0 0 0 178155 80 0 0 25 0 1 0 25802591 1116471296 268134 4089446400 4194304 10345943 140734367861104 18446744073709551615 6864953 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19430/statm: 272576 268134 726 1502 0 271069 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1090304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 19509
/proc/meminfo: memFree=28668712/32950928 swapFree=67111528/67111528
[pid=19430] ppid=19428 vsize=1090304 CPUtime=1800.06
/proc/19430/stat : 19430 (pbscip.linux.x8) R 19428 19430 18971 0 -1 4202496 574637 0 0 0 179926 80 0 0 25 0 1 0 25802591 1116471296 268134 4089446400 4194304 10345943 140734367861104 18446744073709551615 4246693 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19430/statm: 272576 268134 726 1502 0 271069 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1090304

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.11
CPU user time (s): 1799.26
CPU system time (s): 0.84887
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1114672

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

runsolver used 2.75858 second user time and 7.01593 second system time

The end

Launcher Data 

Begin job on node115 at 2010-07-08 10:09:14
IDJOB=2705426
IDBENCH=79143
IDSOLVER=1214
FILE ID=node115/2705426-1278576553
PBS_JOBID= 11240223
Free space on /tmp= 73616 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-j6033_2-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-2705426-1278576553/watcher-2705426-1278576553 -o /tmp/evaluation-result-2705426-1278576553/solver-2705426-1278576553 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705426-1278576553.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 760a13c53343c1a6f431e5ddf8292a4c
RANDOM SEED=198113926

node115.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.812
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.62
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.812
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.76
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.812
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.812
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.812
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.74
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.812
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.812
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.812
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:      28209044 kB
Buffers:        146216 kB
Cached:        2156576 kB
SwapCached:          0 kB
Active:        3191868 kB
Inactive:      1403652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28209044 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13984 kB
Writeback:           0 kB
AnonPages:     2292328 kB
Mapped:          17672 kB
Slab:            79976 kB
PageTables:       9012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2501876 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= 73600 MiB
End job on node115 at 2010-07-08 10:39:16