Trace number 2705400

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.06

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB10/oliveras/j90/
normalized-j9035_1-unsat--soft-0-100-0.wbo
MD5SUM94d0c8f18eb5af264ab651e4b4281462
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark6.01008
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables17836
Total number of constraints61428
Number of soft constraints61428
Number of constraints which are clauses61040
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 constraint25
Top cost 3090764
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3090763
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 185
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-2705400-1278576552.wbo>
0.59/0.65	c original problem has 140692 variables (79264 bin, 0 int, 61428 impl, 0 cont) and 122857 constraints
0.59/0.65	c problem read
0.59/0.65	c presolving settings loaded
50.29/50.36	o 3090763
50.29/50.36	c feasible solution found by trivial heuristic, objective value  3.090763e+06
50.29/50.36	c presolving:
54.99/55.04	c    (54.4s) probing: 244/79264 (0.3%) - 0 fixings, 0 aggregations, 176 implications, 0 bound changes
54.99/55.04	c    (54.4s) probing aborted: 100/100 successive totally useless probings
54.99/55.04	c (round 1) 0 del vars, 1 del conss, 61428 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 352 impls, 0 clqs
55.29/55.33	c (round 2) 0 del vars, 1 del conss, 61428 chg bounds, 0 chg sides, 0 chg coeffs, 648 upgd conss, 352 impls, 0 clqs
55.58/55.63	c    (55.0s) probing: 254/79264 (0.3%) - 0 fixings, 0 aggregations, 176 implications, 0 bound changes
55.58/55.63	c    (55.0s) probing aborted: 100/100 successive totally useless probings
55.58/55.64	c presolving (3 rounds):
55.58/55.64	c  0 deleted vars, 1 deleted constraints, 61428 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
55.58/55.64	c  125060 implications, 0 cliques
55.58/55.64	c presolved problem has 140692 variables (79264 bin, 0 int, 61428 impl, 0 cont) and 122856 constraints
55.58/55.64	c     648 constraints of type <varbound>
55.58/55.64	c   60780 constraints of type <linear>
55.58/55.64	c   61428 constraints of type <indicator>
55.58/55.64	c transformed objective value is always integral (scale: 1)
55.58/55.64	c Presolving Time: 54.59
55.58/55.64	c - non default parameters ----------------------------------------------------------------------
55.58/55.64	c # SCIP version 1.2.1.3
55.58/55.64	c 
55.58/55.64	c # frequency for displaying node information lines
55.58/55.64	c # [type: int, range: [-1,2147483647], default: 100]
55.58/55.64	c display/freq = 10000
55.58/55.64	c 
55.58/55.64	c # maximal time in seconds to run
55.58/55.64	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
55.58/55.64	c limits/time = 1789.36
55.58/55.64	c 
55.58/55.64	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
55.58/55.64	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
55.58/55.64	c limits/memory = 3420
55.58/55.64	c 
55.58/55.64	c # default clock type (1: CPU user seconds, 2: wall clock time)
55.58/55.64	c # [type: int, range: [1,2], default: 1]
55.58/55.64	c timing/clocktype = 2
55.58/55.64	c 
55.58/55.64	c # should presolving try to simplify inequalities
55.58/55.64	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
55.58/55.64	c constraints/linear/simplifyinequalities = TRUE
55.58/55.64	c 
55.58/55.64	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
55.58/55.64	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
55.58/55.64	c constraints/indicator/addCouplingCons = TRUE
55.58/55.64	c 
55.58/55.64	c # should presolving try to simplify knapsacks
55.58/55.64	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
55.58/55.64	c constraints/knapsack/simplifyinequalities = TRUE
55.58/55.64	c 
55.58/55.64	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
55.58/55.64	c # [type: int, range: [-1,2147483647], default: -1]
55.58/55.64	c separating/rapidlearning/freq = 0
55.58/55.64	c 
55.58/55.64	c -----------------------------------------------------------------------------------------------
55.58/55.64	c start solving
55.58/55.67	c 
55.99/56.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
55.99/56.03	c t55.4s|     1 |     0 |     0 |     - | 459M|   0 |   0 | 140k| 122k| 140k|   0 |   0 |   0 |   0 | 0.000000e+00 | 3.090763e+06 |    Inf 
56.09/56.11	c  55.5s|     1 |     0 |   181 |     - | 459M|   0 |   0 | 140k| 122k| 140k| 370 | 370 |   0 |   0 | 0.000000e+00 | 3.090763e+06 |    Inf 
56.09/56.17	c  55.5s|     1 |     0 |   381 |     - | 459M|   0 |   0 | 140k| 122k| 140k| 570 | 570 |   0 |   0 | 0.000000e+00 | 3.090763e+06 |    Inf 
56.18/56.23	c  55.6s|     1 |     0 |   581 |     - | 459M|   0 |   0 | 140k| 122k| 140k| 770 | 770 |   0 |   0 | 0.000000e+00 | 3.090763e+06 |    Inf 
56.29/56.31	c  55.7s|     1 |     0 |   781 |     - | 459M|   0 |   0 | 140k| 122k| 140k| 970 | 970 |   0 |   0 | 0.000000e+00 | 3.090763e+06 |    Inf 
56.29/56.37	c  55.7s|     1 |     0 |   799 |     - | 459M|   0 |   0 | 140k| 122k| 140k| 988 | 988 |   0 |   0 | 0.000000e+00 | 3.090763e+06 |    Inf 
56.38/56.45	c  55.8s|     1 |     2 |   799 |     - | 459M|   0 |   0 | 140k| 122k| 140k| 988 | 988 |   0 |   0 | 0.000000e+00 | 3.090763e+06 |    Inf 
445.60/445.66	o 3059099
445.60/445.66	c y 445s|  4771 |  4770 |   891 |   0.0 | 635M|4769 |   - | 140k| 122k|   0 |   0 |1091 |   0 |   0 | 0.000000e+00 | 3.059099e+06 |    Inf 
894.41/894.48	c   894s| 10000 | 10001 |  1163 |   0.0 | 823M|4769 |   0 | 140k| 122k| 140k| 993 |1329 |   0 |   0 | 0.000000e+00 | 3.059099e+06 |    Inf 
1772.13/1772.15	c  1772s| 20000 | 20001 |  2183 |   0.1 |1183M|4769 |   0 | 140k| 122k| 140k|1117 |2307 |   0 |   0 | 0.000000e+00 | 3.059099e+06 |    Inf 
1790.03/1790.04	c 
1790.03/1790.04	c SCIP Status        : solving was interrupted [time limit reached]
1790.03/1790.04	c Solving Time (sec) : 1789.39
1790.03/1790.04	c Solving Nodes      : 20193
1790.03/1790.04	c Primal Bound       : +3.05909900000000e+06 (4 solutions)
1790.03/1790.04	c Dual Bound         : +0.00000000000000e+00
1790.03/1790.04	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-2705400-1278576552/watcher-2705400-1278576552 -o /tmp/evaluation-result-2705400-1278576552/solver-2705400-1278576552 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705400-1278576552.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 25172
/proc/meminfo: memFree=29042772/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=12512 CPUtime=0
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 1975 0 0 0 0 0 0 0 22 0 1 0 25868148 12812288 1894 4089446400 4194304 10345943 140733467779104 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25172/statm: 3128 1894 429 1502 0 1621 0

[startup+0.05553 s]
/proc/loadavg: 1.92 1.98 1.90 4/178 25172
/proc/meminfo: memFree=29042772/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=30800 CPUtime=0.04
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 6539 0 0 0 4 0 0 0 22 0 1 0 25868148 31539200 6458 4089446400 4194304 10345943 140733467779104 18446744073709551615 9030397 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25172/statm: 7700 6458 430 1502 0 6193 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 30800

[startup+0.100507 s]
/proc/loadavg: 1.92 1.98 1.90 4/178 25172
/proc/meminfo: memFree=29042772/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=45356 CPUtime=0.09
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 10177 0 0 0 8 1 0 0 22 0 1 0 25868148 46444544 10096 4089446400 4194304 10345943 140733467779104 18446744073709551615 9134608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25172/statm: 11339 10096 430 1502 0 9832 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45356

[startup+0.300471 s]
/proc/loadavg: 1.92 1.98 1.90 4/178 25172
/proc/meminfo: memFree=29042772/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=98744 CPUtime=0.29
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 23486 0 0 0 26 3 0 0 22 0 1 0 25868148 101113856 23405 4089446400 4194304 10345943 140733467779104 18446744073709551615 5754560 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25172/statm: 24686 23405 430 1502 0 23179 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 98744

[startup+0.7004 s]
/proc/loadavg: 1.92 1.98 1.90 4/178 25172
/proc/meminfo: memFree=29042772/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=239876 CPUtime=0.69
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 58503 0 0 0 63 6 0 0 24 0 1 0 25868148 245633024 58033 4089446400 4194304 10345943 140733467779104 18446744073709551615 9138579 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25172/statm: 59969 58038 474 1502 0 58462 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 239876

[startup+1.50026 s]
/proc/loadavg: 1.92 1.98 1.90 3/179 25173
/proc/meminfo: memFree=28590908/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=466536 CPUtime=1.49
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 113685 0 0 0 137 12 0 0 25 0 1 0 25868148 477732864 113214 4089446400 4194304 10345943 140733467779104 18446744073709551615 4246683 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25172/statm: 116634 113214 509 1502 0 115127 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 466536

[startup+3.10098 s]
/proc/loadavg: 1.92 1.98 1.90 3/179 25173
/proc/meminfo: memFree=28537960/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=466536 CPUtime=3.09
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 113685 0 0 0 297 12 0 0 25 0 1 0 25868148 477732864 113214 4089446400 4194304 10345943 140733467779104 18446744073709551615 4246696 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25172/statm: 116634 113214 509 1502 0 115127 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 466536

[startup+6.30042 s]
/proc/loadavg: 1.93 1.98 1.90 3/179 25173
/proc/meminfo: memFree=28538948/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=466536 CPUtime=6.29
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 113685 0 0 0 617 12 0 0 25 0 1 0 25868148 477732864 113214 4089446400 4194304 10345943 140733467779104 18446744073709551615 4246677 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25172/statm: 116634 113214 509 1502 0 115127 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 466536

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.90 3/179 25173
/proc/meminfo: memFree=28539456/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=466536 CPUtime=12.69
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 113685 0 0 0 1257 12 0 0 25 0 1 0 25868148 477732864 113214 4089446400 4194304 10345943 140733467779104 18446744073709551615 9138526 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25172/statm: 116634 113214 509 1502 0 115127 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 466536

[startup+25.5011 s]
/proc/loadavg: 1.95 1.98 1.91 3/179 25173
/proc/meminfo: memFree=28540084/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=466536 CPUtime=25.49
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 113685 0 0 0 2537 12 0 0 25 0 1 0 25868148 477732864 113214 4089446400 4194304 10345943 140733467779104 18446744073709551615 9138526 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25172/statm: 116634 113214 509 1502 0 115127 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 466536

[startup+51.1006 s]
/proc/loadavg: 1.96 1.98 1.91 3/179 25175
/proc/meminfo: memFree=28528440/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=480116 CPUtime=51.09
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 119025 0 0 0 5096 13 0 0 25 0 1 0 25868148 491638784 116943 4089446400 4194304 10345943 140733467779104 18446744073709551615 5609195 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 120029 116943 655 1502 0 118522 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 480116

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.91 3/179 25176
/proc/meminfo: memFree=28407156/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=606036 CPUtime=102.29
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 173599 0 0 0 10209 20 0 0 25 0 1 0 25868148 620580864 146625 4089446400 4194304 10345943 140733467779104 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 151509 146625 706 1502 0 150002 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 606036

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 25177
/proc/meminfo: memFree=28185660/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=630944 CPUtime=162.29
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 205408 0 0 0 16204 25 0 0 25 0 1 0 25868148 646086656 152960 4089446400 4194304 10345943 140733467779104 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 157736 152960 706 1502 0 156229 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 630944

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 25179
/proc/meminfo: memFree=28125492/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=663008 CPUtime=222.29
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 238931 0 0 0 22200 29 0 0 25 0 1 0 25868148 678920192 161008 4089446400 4194304 10345943 140733467779104 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 165752 161008 708 1502 0 164245 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 663008

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 25181
/proc/meminfo: memFree=28074492/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=687468 CPUtime=282.29
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 245056 0 0 0 28198 31 0 0 25 0 1 0 25868148 703967232 167133 4089446400 4194304 10345943 140733467779104 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 171867 167133 708 1502 0 170360 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 687468

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 25183
/proc/meminfo: memFree=28019660/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=713620 CPUtime=342.29
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 277616 0 0 0 34193 36 0 0 25 0 1 0 25868148 730746880 173501 4089446400 4194304 10345943 140733467779104 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 178405 173501 708 1502 0 176898 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 713620

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 25184
/proc/meminfo: memFree=27957756/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=743876 CPUtime=402.29
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 285484 0 0 0 40192 37 0 0 25 0 1 0 25868148 761729024 181369 4089446400 4194304 10345943 140733467779104 18446744073709551615 5926381 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 185969 181369 708 1502 0 184462 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 743876

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 25185
/proc/meminfo: memFree=27903284/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=769564 CPUtime=462.3
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 291183 0 0 0 46191 39 0 0 25 0 1 0 25868148 788033536 187043 4089446400 4194304 10345943 140733467779104 18446744073709551615 4471819 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 192391 187043 724 1502 0 190884 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 769564

[startup+522.301 s]
/proc/loadavg: 2.07 2.00 1.91 3/179 25187
/proc/meminfo: memFree=27850924/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=799344 CPUtime=522.3
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 428524 0 0 0 52174 56 0 0 25 0 1 0 25868148 818528256 194269 4089446400 4194304 10345943 140733467779104 18446744073709551615 4687895 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 199836 194269 719 1502 0 198329 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 799344

[startup+582.3 s]
/proc/loadavg: 2.03 2.00 1.91 3/179 25192
/proc/meminfo: memFree=27786740/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=818272 CPUtime=582.3
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 459647 0 0 0 58170 60 0 0 25 0 1 0 25868148 837910528 199370 4089446400 4194304 10345943 140733467779104 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 204568 199370 719 1502 0 203061 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 818272

[startup+642.301 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 25194
/proc/meminfo: memFree=27736340/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=844400 CPUtime=642.31
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 465817 0 0 0 64170 61 0 0 25 0 1 0 25868148 864665600 205540 4089446400 4194304 10345943 140733467779104 18446744073709551615 5614807 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 211100 205540 719 1502 0 209593 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 844400

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25198
/proc/meminfo: memFree=27562156/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=921432 CPUtime=822.31
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 511305 0 0 0 82163 68 0 0 25 0 1 0 25868148 943546368 225458 4089446400 4194304 10345943 140733467779104 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 230358 225458 719 1502 0 228851 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 921432

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25200
/proc/meminfo: memFree=27510168/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=945120 CPUtime=882.31
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 516926 0 0 0 88162 69 0 0 25 0 1 0 25868148 967802880 231079 4089446400 4194304 10345943 140733467779104 18446744073709551615 6702733 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 236280 231079 719 1502 0 234773 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 945120

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25202
/proc/meminfo: memFree=27464632/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=970052 CPUtime=942.3
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 523238 0 0 0 94161 69 0 0 25 0 1 0 25868148 993333248 237391 4089446400 4194304 10345943 140733467779104 18446744073709551615 4749704 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 242513 237391 719 1502 0 241006 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 970052

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25203
/proc/meminfo: memFree=27411668/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=994188 CPUtime=1002.3
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 555485 0 0 0 100157 73 0 0 25 0 1 0 25868148 1018048512 243700 4089446400 4194304 10345943 140733467779104 18446744073709551615 6003080 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 248547 243700 719 1502 0 247040 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 994188

[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/179 25204
/proc/meminfo: memFree=27357460/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=1019660 CPUtime=1062.31
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 561812 0 0 0 106156 75 0 0 25 0 1 0 25868148 1044131840 250027 4089446400 4194304 10345943 140733467779104 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 254915 250027 719 1502 0 253408 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1019660

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 25206
/proc/meminfo: memFree=27303740/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=1044008 CPUtime=1122.31
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 567597 0 0 0 112155 76 0 0 25 0 1 0 25868148 1069064192 255812 4089446400 4194304 10345943 140733467779104 18446744073709551615 5926597 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 261002 255812 719 1502 0 259495 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1044008

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/179 25208
/proc/meminfo: memFree=27239608/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=1069576 CPUtime=1182.31
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 573991 0 0 0 118154 77 0 0 25 0 1 0 25868148 1095245824 262206 4089446400 4194304 10345943 140733467779104 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 267394 262206 719 1502 0 265887 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1069576

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 25210
/proc/meminfo: memFree=27187264/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=1095368 CPUtime=1242.32
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 580240 0 0 0 124154 78 0 0 25 0 1 0 25868148 1121656832 268455 4089446400 4194304 10345943 140733467779104 18446744073709551615 5614665 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 273842 268455 719 1502 0 272335 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1095368

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 25211
/proc/meminfo: memFree=27131560/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=1119168 CPUtime=1302.32
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 586021 0 0 0 130153 79 0 0 25 0 1 0 25868148 1146028032 274236 4089446400 4194304 10345943 140733467779104 18446744073709551615 8933712 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 279792 274236 719 1502 0 278285 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1119168

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 25212
/proc/meminfo: memFree=27080328/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=1144540 CPUtime=1362.31
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 592654 0 0 0 136151 80 0 0 25 0 1 0 25868148 1172008960 280869 4089446400 4194304 10345943 140733467779104 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 286135 280869 719 1502 0 284628 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 1144540

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 25214
/proc/meminfo: memFree=27024972/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=1172344 CPUtime=1422.33
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 599769 0 0 0 142151 82 0 0 25 0 1 0 25868148 1200480256 287984 4089446400 4194304 10345943 140733467779104 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 293086 287984 719 1502 0 291579 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1172344

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 25216
/proc/meminfo: memFree=26972004/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=1194524 CPUtime=1482.32
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 605862 0 0 0 148149 83 0 0 25 0 1 0 25868148 1223192576 294077 4089446400 4194304 10345943 140733467779104 18446744073709551615 6702733 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 298631 294077 719 1502 0 297124 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1194524

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 25218
/proc/meminfo: memFree=26554088/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=1217860 CPUtime=1542.33
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 675328 0 0 0 154140 93 0 0 25 0 1 0 25868148 1247088640 299306 4089446400 4194304 10345943 140733467779104 18446744073709551615 4454103 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 304465 299306 719 1502 0 302958 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1217860

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 25219
/proc/meminfo: memFree=26874356/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=1245100 CPUtime=1602.32
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 681928 0 0 0 160139 93 0 0 25 0 1 0 25868148 1274982400 305906 4089446400 4194304 10345943 140733467779104 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 311275 305906 719 1502 0 309768 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1245100

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/179 25220
/proc/meminfo: memFree=26819772/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=1269368 CPUtime=1662.32
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 688546 0 0 0 166137 95 0 0 25 0 1 0 25868148 1299832832 312524 4089446400 4194304 10345943 140733467779104 18446744073709551615 6787348 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 317342 312524 719 1502 0 315835 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 1269368

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 25222
/proc/meminfo: memFree=26766432/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=1295848 CPUtime=1722.32
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 695168 0 0 0 172136 96 0 0 25 0 1 0 25868148 1326948352 319146 4089446400 4194304 10345943 140733467779104 18446744073709551615 4447807 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 323962 319146 719 1502 0 322455 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 1295848

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 25224
/proc/meminfo: memFree=26716052/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=1319308 CPUtime=1782.32
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 700762 0 0 0 178135 97 0 0 25 0 1 0 25868148 1350971392 324740 4089446400 4194304 10345943 140733467779104 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25172/statm: 329827 324740 719 1502 0 328320 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1319308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 25225
/proc/meminfo: memFree=28391668/32951124 swapFree=67111528/67111528
[pid=25172] ppid=25170 vsize=1324740 CPUtime=1800.04
/proc/25172/stat : 25172 (pbscip.linux.x8) R 25170 25172 24685 0 -1 4202496 702397 0 0 0 179906 98 0 0 25 0 1 0 25868148 1356533760 326375 4089446400 4194304 10345943 140733467779104 18446744073709551615 4246696 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25172/statm: 331185 326375 719 1502 0 329678 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1324740

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.09
CPU user time (s): 1799.06
CPU system time (s): 1.03084
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1472864

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

runsolver used 3.14752 second user time and 6.63799 second system time

The end

Launcher Data 

Begin job on node144 at 2010-07-08 10:09:12
IDJOB=2705400
IDBENCH=79130
IDSOLVER=1214
FILE ID=node144/2705400-1278576552
PBS_JOBID= 11240166
Free space on /tmp= 73724 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/j90/normalized-j9035_1-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-2705400-1278576552/watcher-2705400-1278576552 -o /tmp/evaluation-result-2705400-1278576552/solver-2705400-1278576552 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705400-1278576552.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 94d0c8f18eb5af264ab651e4b4281462
RANDOM SEED=2178817

node144.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.825
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.65
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.825
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.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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.78
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.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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	: 5269.01
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29043300 kB
Buffers:        168284 kB
Cached:        2860164 kB
SwapCached:          0 kB
Active:        1525236 kB
Inactive:      2218196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29043300 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           30720 kB
Writeback:           0 kB
AnonPages:      714648 kB
Mapped:          16404 kB
Slab:            99208 kB
PageTables:       5796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   862204 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= 73716 MiB
End job on node144 at 2010-07-08 10:39:14