Trace number 2705312

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

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-cache.inv10.ucl--soft-0-100-0.wbo
MD5SUMae1c71418dfe9cc95c50a98d4ee97169
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark10.8194
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables8937
Total number of constraints26319
Number of soft constraints26319
Number of constraints which are clauses26047
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints272
Minimum length of a constraint1
Maximum length of a constraint9
Top cost 1332841
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1332840
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
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-2705312-1278576546.wbo>
0.19/0.28	c original problem has 61575 variables (35256 bin, 0 int, 26319 impl, 0 cont) and 52639 constraints
0.19/0.28	c problem read
0.19/0.28	c presolving settings loaded
8.39/8.42	o 1332840
8.39/8.42	c feasible solution found by trivial heuristic, objective value  1.332840e+06
8.39/8.42	c presolving:
8.39/8.47	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 136 chg sides, 272 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
8.49/8.53	c (round 2) 0 del vars, 1 del conss, 26319 chg bounds, 136 chg sides, 272 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
9.29/9.32	c    (9.0s) probing: 101/35256 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
9.29/9.32	c    (9.0s) probing aborted: 100/100 successive totally useless probings
9.29/9.32	c presolving (3 rounds):
9.29/9.32	c  0 deleted vars, 1 deleted constraints, 26319 tightened bounds, 0 added holes, 136 changed sides, 272 changed coefficients
9.29/9.32	c  52366 implications, 0 cliques
9.29/9.32	c presolved problem has 61575 variables (35256 bin, 0 int, 26319 impl, 0 cont) and 52638 constraints
9.29/9.32	c       1 constraints of type <varbound>
9.29/9.32	c   26318 constraints of type <linear>
9.29/9.32	c   26319 constraints of type <indicator>
9.29/9.32	c transformed objective value is always integral (scale: 1)
9.29/9.32	c Presolving Time: 8.87
9.29/9.32	c - non default parameters ----------------------------------------------------------------------
9.29/9.32	c # SCIP version 1.2.1.3
9.29/9.32	c 
9.29/9.32	c # frequency for displaying node information lines
9.29/9.32	c # [type: int, range: [-1,2147483647], default: 100]
9.29/9.32	c display/freq = 10000
9.29/9.32	c 
9.29/9.32	c # maximal time in seconds to run
9.29/9.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.29/9.32	c limits/time = 1789.73
9.29/9.32	c 
9.29/9.32	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.29/9.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.29/9.32	c limits/memory = 3420
9.29/9.32	c 
9.29/9.32	c # default clock type (1: CPU user seconds, 2: wall clock time)
9.29/9.32	c # [type: int, range: [1,2], default: 1]
9.29/9.32	c timing/clocktype = 2
9.29/9.32	c 
9.29/9.32	c # should presolving try to simplify inequalities
9.29/9.32	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.29/9.32	c constraints/linear/simplifyinequalities = TRUE
9.29/9.32	c 
9.29/9.32	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
9.29/9.32	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.29/9.32	c constraints/indicator/addCouplingCons = TRUE
9.29/9.32	c 
9.29/9.32	c # should presolving try to simplify knapsacks
9.29/9.32	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.29/9.32	c constraints/knapsack/simplifyinequalities = TRUE
9.29/9.32	c 
9.29/9.32	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
9.29/9.32	c # [type: int, range: [-1,2147483647], default: -1]
9.29/9.32	c separating/rapidlearning/freq = 0
9.29/9.32	c 
9.29/9.32	c -----------------------------------------------------------------------------------------------
9.29/9.32	c start solving
9.29/9.34	c 
9.39/9.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
9.39/9.47	c t 9.2s|     1 |     0 |     0 |     - | 199M|   0 |   0 |  61k|  52k|  61k|   0 |   0 |   0 |   0 | 0.000000e+00 | 1.332840e+06 |    Inf 
9.49/9.51	c   9.2s|     1 |     0 |   201 |     - | 199M|   0 |  43 |  61k|  52k|  61k| 201 | 201 |   0 |   0 | 0.000000e+00 | 1.332840e+06 |    Inf 
9.79/9.82	c   9.5s|     1 |     0 |   334 |     - | 199M|   0 |  50 |  61k|  52k|  61k| 444 | 444 |   0 |   0 | 0.000000e+00 | 1.332840e+06 |    Inf 
10.29/10.34	c  10.1s|     1 |     0 |   591 |     - | 200M|   0 | 179 |  61k|  52k|  61k| 689 | 689 |   0 |   0 | 0.000000e+00 | 1.332840e+06 |    Inf 
11.19/11.20	c  10.9s|     1 |     0 |   880 |     - | 201M|   0 | 347 |  61k|  52k|  61k| 928 | 928 |   0 |   0 | 0.000000e+00 | 1.332840e+06 |    Inf 
12.00/12.08	c  11.8s|     1 |     0 |  1270 |     - | 201M|   0 | 541 |  61k|  52k|  61k|1224 |1224 |   0 |   0 | 0.000000e+00 | 1.332840e+06 |    Inf 
13.20/13.24	c  13.0s|     1 |     0 |  1686 |     - | 202M|   0 | 684 |  61k|  52k|  61k|1447 |1447 |   0 |   0 | 0.000000e+00 | 1.332840e+06 |    Inf 
14.39/14.47	c  14.2s|     1 |     2 |  1686 |     - | 203M|   0 | 684 |  61k|  52k|  61k|1447 |1447 |   0 |  33 | 0.000000e+00 | 1.332840e+06 |    Inf 
128.39/128.46	o 1332802
128.39/128.46	c y 128s|  1419 |  1418 | 52161 |  35.6 | 227M| 157 |   - |  61k|  52k|   0 |   0 |2271 |   0 |2614 | 0.000000e+00 | 1.332802e+06 |    Inf 
420.21/420.23	c   420s| 10000 | 10001 |139799 |  13.8 | 426M| 199 |  24 |  61k|  52k|  61k|1374 |  28k|   0 |4126 | 0.000000e+00 | 1.332802e+06 |    Inf 
751.71/751.75	c   751s| 20000 | 20001 |236368 |  11.7 | 603M| 205 |  63 |  61k|  52k|  61k|1272 |  57k|   0 |5476 | 0.000000e+00 | 1.332802e+06 |    Inf 
1091.83/1091.86	c  1092s| 30000 | 30001 |319431 |  10.6 | 765M| 207 |   0 |  61k|  52k|  61k|1549 |  83k|   0 |6604 | 0.000000e+00 | 1.332802e+06 |    Inf 
1431.74/1431.78	c  1431s| 40000 | 40001 |405884 |  10.1 | 927M| 207 |  13 |  61k|  52k|  61k|1272 | 110k|   0 |7772 | 0.000000e+00 | 1.332802e+06 |    Inf 
1782.54/1782.57	c  1782s| 50000 | 50001 |485894 |   9.7 |1089M| 211 |   0 |  61k|  52k|  61k|1617 | 134k|   0 |8945 | 0.000000e+00 | 1.332802e+06 |    Inf 
1790.05/1790.01	c 
1790.05/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.05/1790.01	c Solving Time (sec) : 1789.73
1790.05/1790.01	c Solving Nodes      : 50200
1790.05/1790.01	c Primal Bound       : +1.33280200000000e+06 (103 solutions)
1790.05/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.05/1790.01	c Gap                : infinite

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705312-1278576546/watcher-2705312-1278576546 -o /tmp/evaluation-result-2705312-1278576546/solver-2705312-1278576546 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705312-1278576546.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 2/173 24731
/proc/meminfo: memFree=29222328/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=11820 CPUtime=0
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 1819 0 0 0 0 0 0 0 21 0 1 0 25868726 12103680 1737 4089446400 4194304 10345943 140735952308368 18446744073709551615 9134749 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24731/statm: 2955 1751 406 1502 0 1448 0

[startup+0.0510089 s]
/proc/loadavg: 2.00 2.00 1.91 2/173 24731
/proc/meminfo: memFree=29222328/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=26748 CPUtime=0.04
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 5522 0 0 0 4 0 0 0 21 0 1 0 25868726 27389952 5440 4089446400 4194304 10345943 140735952308368 18446744073709551615 6328950 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24731/statm: 6687 5440 430 1502 0 5180 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26748

[startup+0.101045 s]
/proc/loadavg: 2.00 2.00 1.91 2/173 24731
/proc/meminfo: memFree=29222328/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=41200 CPUtime=0.09
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 9155 0 0 0 8 1 0 0 21 0 1 0 25868726 42188800 9073 4089446400 4194304 10345943 140735952308368 18446744073709551615 6325647 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24731/statm: 10300 9073 430 1502 0 8793 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41200

[startup+0.300965 s]
/proc/loadavg: 2.00 2.00 1.91 2/173 24731
/proc/meminfo: memFree=29222328/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=108576 CPUtime=0.29
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 26087 0 0 0 26 3 0 0 21 0 1 0 25868726 111181824 25616 4089446400 4194304 10345943 140735952308368 18446744073709551615 6326861 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 27144 25638 474 1502 0 25637 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 108576

[startup+0.700802 s]
/proc/loadavg: 2.00 2.00 1.91 2/173 24731
/proc/meminfo: memFree=29222328/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=215476 CPUtime=0.69
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 51499 0 0 0 63 6 0 0 22 0 1 0 25868726 220647424 51027 4089446400 4194304 10345943 140735952308368 18446744073709551615 4246677 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 53869 51027 509 1502 0 52362 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 215476

[startup+1.50073 s]
/proc/loadavg: 1.92 1.99 1.91 3/179 24742
/proc/meminfo: memFree=28947468/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=215476 CPUtime=1.49
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 51499 0 0 0 143 6 0 0 25 0 1 0 25868726 220647424 51027 4089446400 4194304 10345943 140735952308368 18446744073709551615 9138370 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 53869 51027 509 1502 0 52362 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 215476

[startup+3.10043 s]
/proc/loadavg: 1.92 1.99 1.91 3/179 24742
/proc/meminfo: memFree=28651232/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=215476 CPUtime=3.09
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 51499 0 0 0 303 6 0 0 25 0 1 0 25868726 220647424 51027 4089446400 4194304 10345943 140735952308368 18446744073709551615 4246430 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 53869 51027 509 1502 0 52362 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 215476

[startup+6.30084 s]
/proc/loadavg: 1.93 1.99 1.91 3/179 24742
/proc/meminfo: memFree=27632360/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=215476 CPUtime=6.29
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 51499 0 0 0 623 6 0 0 25 0 1 0 25868726 220647424 51027 4089446400 4194304 10345943 140735952308368 18446744073709551615 4246696 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 53869 51027 509 1502 0 52362 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 215476

[startup+12.7007 s]
/proc/loadavg: 1.93 1.99 1.91 3/179 24742
/proc/meminfo: memFree=27572452/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=284040 CPUtime=12.69
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 68408 0 0 0 1261 8 0 0 25 0 1 0 25868726 290856960 66814 4089446400 4194304 10345943 140735952308368 18446744073709551615 9134633 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 71010 66814 769 1502 0 69503 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 284040

[startup+25.5003 s]
/proc/loadavg: 1.94 1.99 1.91 3/179 24742
/proc/meminfo: memFree=27464848/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=390504 CPUtime=25.49
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 98916 0 0 0 2533 16 0 0 25 0 1 0 25868726 399876096 93574 4089446400 4194304 10345943 140735952308368 18446744073709551615 6802819 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 97626 93574 784 1502 0 96119 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 390504

[startup+51.1006 s]
/proc/loadavg: 1.97 1.99 1.91 3/179 24744
/proc/meminfo: memFree=27464724/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=390504 CPUtime=51.1
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 98917 0 0 0 5088 22 0 0 25 0 1 0 25868726 399876096 93575 4089446400 4194304 10345943 140735952308368 18446744073709551615 7522900 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 97626 93575 785 1502 0 96119 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 390504

[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.91 3/179 24744
/proc/meminfo: memFree=27464524/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=390504 CPUtime=102.29
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 98932 0 0 0 10199 30 0 0 25 0 1 0 25868726 399876096 93590 4089446400 4194304 10345943 140735952308368 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 97626 93590 786 1502 0 96119 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 390504

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.91 3/179 24746
/proc/meminfo: memFree=27416732/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=438052 CPUtime=162.3
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 121636 0 0 0 16191 39 0 0 25 0 1 0 25868726 448565248 105621 4089446400 4194304 10345943 140735952308368 18446744073709551615 6918064 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 109513 105621 787 1502 0 108006 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 438052

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.91 3/179 24748
/proc/meminfo: memFree=27414956/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=438048 CPUtime=222.3
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 138622 0 0 0 22184 46 0 0 25 0 1 0 25868726 448561152 105941 4089446400 4194304 10345943 140735952308368 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 109512 105941 787 1502 0 108005 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 438048

[startup+282.301 s]
/proc/loadavg: 2.03 2.00 1.91 3/179 24750
/proc/meminfo: memFree=27415152/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=438048 CPUtime=282.3
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 138630 0 0 0 28180 50 0 0 25 0 1 0 25868726 448561152 105949 4089446400 4194304 10345943 140735952308368 18446744073709551615 9138370 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 109512 105949 787 1502 0 108005 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 438048

[startup+342.301 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 24751
/proc/meminfo: memFree=27397276/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=456400 CPUtime=342.3
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 171476 0 0 0 34173 57 0 0 25 0 1 0 25868726 467353600 110498 4089446400 4194304 10345943 140735952308368 18446744073709551615 6702694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 114100 110498 787 1502 0 112593 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 456400

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24752
/proc/meminfo: memFree=27355552/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=499788 CPUtime=402.3
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 182066 0 0 0 40168 62 0 0 25 0 1 0 25868726 511782912 121088 4089446400 4194304 10345943 140735952308368 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 124947 121088 787 1502 0 123440 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 499788

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24754
/proc/meminfo: memFree=27313616/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=541028 CPUtime=462.3
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 192655 0 0 0 46161 69 0 0 25 0 1 0 25868726 554012672 131677 4089446400 4194304 10345943 140735952308368 18446744073709551615 6785161 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 135257 131677 787 1502 0 133750 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 541028

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24756
/proc/meminfo: memFree=27275512/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=580556 CPUtime=522.31
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 202551 0 0 0 52155 76 0 0 25 0 1 0 25868726 594489344 141573 4089446400 4194304 10345943 140735952308368 18446744073709551615 4701030 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 145139 141573 787 1502 0 143632 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 580556

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24761
/proc/meminfo: memFree=27136064/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=609000 CPUtime=582.3
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 238319 0 0 0 58146 84 0 0 25 0 1 0 25868726 623616000 148690 4089446400 4194304 10345943 140735952308368 18446744073709551615 6518768 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 152250 148690 787 1502 0 150743 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 609000

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24763
/proc/meminfo: memFree=26129828/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=635784 CPUtime=642.32
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 244893 0 0 0 64144 88 0 0 25 0 1 0 25868726 651042816 155264 4089446400 4194304 10345943 140735952308368 18446744073709551615 4872244 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 158946 155264 787 1502 0 157439 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 635784

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24767
/proc/meminfo: memFree=26042032/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=720620 CPUtime=822.32
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 266194 0 0 0 82127 105 0 0 25 0 1 0 25868726 737914880 176565 4089446400 4194304 10345943 140735952308368 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 180155 176565 787 1502 0 178648 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 720620

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24769
/proc/meminfo: memFree=26011624/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=752220 CPUtime=882.32
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 273987 0 0 0 88122 110 0 0 25 0 1 0 25868726 770273280 184358 4089446400 4194304 10345943 140735952308368 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 188055 184358 787 1502 0 186548 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 752220

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24770
/proc/meminfo: memFree=25981568/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=779800 CPUtime=942.32
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 281060 0 0 0 94116 116 0 0 25 0 1 0 25868726 798515200 191431 4089446400 4194304 10345943 140735952308368 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 194950 191431 787 1502 0 193443 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 779800

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24771
/proc/meminfo: memFree=25954636/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=806940 CPUtime=1002.32
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 316257 0 0 0 100106 126 0 0 25 0 1 0 25868726 826306560 198224 4089446400 4194304 10345943 140735952308368 18446744073709551615 5926437 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 201735 198224 787 1502 0 200228 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 806940

[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/179 24773
/proc/meminfo: memFree=25925812/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=835444 CPUtime=1062.32
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 323306 0 0 0 106101 131 0 0 25 0 1 0 25868726 855494656 205273 4089446400 4194304 10345943 140735952308368 18446744073709551615 4966190 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 208861 205273 787 1502 0 207354 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 835444

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 24775
/proc/meminfo: memFree=25900104/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=861560 CPUtime=1122.32
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 329732 0 0 0 112095 137 0 0 25 0 1 0 25868726 882237440 211699 4089446400 4194304 10345943 140735952308368 18446744073709551615 5012533 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 215390 211699 787 1502 0 213883 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 861560

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/179 24777
/proc/meminfo: memFree=25875020/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=885772 CPUtime=1182.33
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 335990 0 0 0 118091 142 0 0 25 0 1 0 25868726 907030528 217957 4089446400 4194304 10345943 140735952308368 18446744073709551615 4601642 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 221443 217957 787 1502 0 219936 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 885772

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 24778
/proc/meminfo: memFree=25847816/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=912472 CPUtime=1242.33
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 342668 0 0 0 124084 149 0 0 25 0 1 0 25868726 934371328 224635 4089446400 4194304 10345943 140735952308368 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 228118 224635 787 1502 0 226611 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 912472

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 24779
/proc/meminfo: memFree=25817900/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=942616 CPUtime=1302.33
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 350142 0 0 0 130081 152 0 0 25 0 1 0 25868726 965238784 232109 4089446400 4194304 10345943 140735952308368 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 235654 232109 787 1502 0 234147 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 942616

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 24781
/proc/meminfo: memFree=25788952/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=972464 CPUtime=1362.34
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 357540 0 0 0 136072 162 0 0 25 0 1 0 25868726 995803136 239507 4089446400 4194304 10345943 140735952308368 18446744073709551615 6866097 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 243116 239507 787 1502 0 241609 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 972464

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 24783
/proc/meminfo: memFree=25757184/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=1003464 CPUtime=1422.34
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 365306 0 0 0 142065 169 0 0 25 0 1 0 25868726 1027547136 247273 4089446400 4194304 10345943 140735952308368 18446744073709551615 6519530 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 250866 247273 787 1502 0 249359 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1003464

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 24785
/proc/meminfo: memFree=25727960/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=1032248 CPUtime=1482.33
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 372639 0 0 0 148057 176 0 0 25 0 1 0 25868726 1057021952 254606 4089446400 4194304 10345943 140735952308368 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 258062 254606 787 1502 0 256555 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1032248

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 24787
/proc/meminfo: memFree=25698888/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=1061780 CPUtime=1542.34
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 379844 0 0 0 154051 183 0 0 25 0 1 0 25868726 1087262720 261811 4089446400 4194304 10345943 140735952308368 18446744073709551615 6929822 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 265445 261811 787 1502 0 263938 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1061780

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 24787
/proc/meminfo: memFree=25672548/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=1087440 CPUtime=1602.34
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 386451 0 0 0 160048 186 0 0 25 0 1 0 25868726 1113538560 268417 4089446400 4194304 10345943 140735952308368 18446744073709551615 6119719 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 271860 268417 787 1502 0 270353 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1087440

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 24789
/proc/meminfo: memFree=25644580/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=1112692 CPUtime=1662.34
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 392773 0 0 0 166044 190 0 0 25 0 1 0 25868726 1139396608 274739 4089446400 4194304 10345943 140735952308368 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 278173 274739 787 1502 0 276666 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1112692

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 24791
/proc/meminfo: memFree=25619096/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=1138248 CPUtime=1722.34
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 399101 0 0 0 172040 194 0 0 25 0 1 0 25868726 1165565952 281067 4089446400 4194304 10345943 140735952308368 18446744073709551615 4227612 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 284562 281067 787 1502 0 283055 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1138248

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 24793
/proc/meminfo: memFree=25592124/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=1164580 CPUtime=1782.34
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 405757 0 0 0 178034 200 0 0 25 0 1 0 25868726 1192529920 287722 4089446400 4194304 10345943 140735952308368 18446744073709551615 5614829 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24731/statm: 291145 287722 787 1502 0 289638 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1164580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 24793
/proc/meminfo: memFree=25588380/32951124 swapFree=67111528/67111528
[pid=24731] ppid=24729 vsize=1169320 CPUtime=1800.06
/proc/24731/stat : 24731 (pbscip.linux.x8) R 24729 24731 24309 0 -1 4202496 406678 0 0 0 179805 201 0 0 25 0 1 0 25868726 1197383680 288642 4089446400 4194304 10345943 140735952308368 18446744073709551615 4246430 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24731/statm: 292330 288642 787 1502 0 290823 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1169320

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.1
CPU user time (s): 1798.05
CPU system time (s): 2.04969
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1169320

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

runsolver used 3.31949 second user time and 6.46002 second system time

The end

Launcher Data 

Begin job on node109 at 2010-07-08 10:09:07
IDJOB=2705312
IDBENCH=79102
IDSOLVER=1214
FILE ID=node109/2705312-1278576546
PBS_JOBID= 11240235
Free space on /tmp= 73768 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/PB06/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl--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-2705312-1278576546/watcher-2705312-1278576546 -o /tmp/evaluation-result-2705312-1278576546/solver-2705312-1278576546 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705312-1278576546.wbo -t 1800 -m 3800

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

MD5SUM BENCH= ae1c71418dfe9cc95c50a98d4ee97169
RANDOM SEED=1165751902

node109.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29222856 kB
Buffers:        160564 kB
Cached:        3358460 kB
SwapCached:          0 kB
Active:        1983612 kB
Inactive:      1597676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29222856 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13688 kB
Writeback:           0 kB
AnonPages:       62140 kB
Mapped:          14464 kB
Slab:            82452 kB
PageTables:       4604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   182024 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= 73740 MiB
End job on node109 at 2010-07-08 10:39:09