Trace number 2693033

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.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1802.04 1802.03

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv10.ucl--soft-66-100-0.wbo
MD5SUMd386dfc8e47349268f453a2b59efbfb7
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.128979
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 constraints8922
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 446674
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 446673
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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
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-2693033-1277914646.wbo>
0.19/0.23	c original problem has 26781 variables (17859 bin, 0 int, 0 impl, 8922 cont) and 35242 constraints
0.19/0.23	c problem read
0.19/0.23	c presolving settings loaded
0.29/0.37	c presolving:
0.49/0.50	c (round 1) 100 del vars, 17 del conss, 7 chg bounds, 136 chg sides, 278 chg coeffs, 0 upgd conss, 227309 impls, 0 clqs
0.49/0.52	c (round 2) 102 del vars, 210 del conss, 9 chg bounds, 136 chg sides, 278 chg coeffs, 0 upgd conss, 227309 impls, 0 clqs
0.49/0.53	c (round 3) 104 del vars, 214 del conss, 10 chg bounds, 136 chg sides, 278 chg coeffs, 0 upgd conss, 227309 impls, 0 clqs
5.40/5.42	c    (5.1s) probing: 1000/17753 (5.6%) - 4 fixings, 19 aggregations, 3725 implications, 0 bound changes
9.79/9.82	c    (9.5s) probing: 2000/17753 (11.3%) - 4 fixings, 20 aggregations, 6709 implications, 0 bound changes
13.89/13.93	c    (13.6s) probing: 3000/17753 (16.9%) - 4 fixings, 23 aggregations, 9515 implications, 0 bound changes
17.69/17.74	c    (17.4s) probing: 4000/17753 (22.5%) - 4 fixings, 24 aggregations, 9743 implications, 0 bound changes
21.50/21.54	c    (21.2s) probing: 5000/17753 (28.2%) - 4 fixings, 30 aggregations, 9818 implications, 0 bound changes
22.89/22.93	c    (22.6s) probing: 5368/17753 (30.2%) - 4 fixings, 32 aggregations, 9827 implications, 0 bound changes
22.89/22.93	c    (22.6s) probing aborted: 100/100 successive totally useless probings
22.89/22.93	c (round 4) 143 del vars, 218 del conss, 12 chg bounds, 136 chg sides, 278 chg coeffs, 0 upgd conss, 279636 impls, 0 clqs
22.89/22.96	c (round 5) 145 del vars, 289 del conss, 12 chg bounds, 136 chg sides, 278 chg coeffs, 0 upgd conss, 279636 impls, 0 clqs
22.99/23.01	c (round 6) 151 del vars, 310 del conss, 8927 chg bounds, 136 chg sides, 278 chg coeffs, 0 upgd conss, 279636 impls, 0 clqs
23.10/23.13	c (round 7) 155 del vars, 310 del conss, 8927 chg bounds, 136 chg sides, 278 chg coeffs, 17108 upgd conss, 279636 impls, 0 clqs
23.59/23.66	c    (23.3s) probing: 5568/17753 (31.4%) - 4 fixings, 33 aggregations, 9863 implications, 0 bound changes
23.59/23.66	c    (23.3s) probing aborted: 100/100 successive totally useless probings
23.59/23.67	c presolving (8 rounds):
23.59/23.67	c  156 deleted vars, 310 deleted constraints, 8927 tightened bounds, 0 added holes, 136 changed sides, 278 changed coefficients
23.59/23.67	c  279708 implications, 0 cliques
23.59/23.67	c presolved problem has 26625 variables (17710 bin, 0 int, 0 impl, 8915 cont) and 34932 constraints
23.59/23.67	c    8915 constraints of type <indicator>
23.59/23.67	c       6 constraints of type <varbound>
23.59/23.67	c     182 constraints of type <knapsack>
23.59/23.67	c    8909 constraints of type <linear>
23.59/23.67	c   16920 constraints of type <logicor>
23.59/23.67	c transformed objective value is always integral (scale: 1)
23.59/23.67	c Presolving Time: 23.24
23.59/23.67	c - non default parameters ----------------------------------------------------------------------
23.59/23.67	c # SCIP version 1.2.1.2
23.59/23.67	c 
23.59/23.67	c # frequency for displaying node information lines
23.59/23.67	c # [type: int, range: [-1,2147483647], default: 100]
23.59/23.67	c display/freq = 10000
23.59/23.67	c 
23.59/23.67	c # maximal time in seconds to run
23.59/23.67	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
23.59/23.67	c limits/time = 1799.78
23.59/23.67	c 
23.59/23.67	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
23.59/23.67	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
23.59/23.67	c limits/memory = 3420
23.59/23.67	c 
23.59/23.67	c # should presolving try to simplify inequalities
23.59/23.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
23.59/23.67	c constraints/linear/simplifyinequalities = TRUE
23.59/23.67	c 
23.59/23.67	c # should presolving try to simplify knapsacks
23.59/23.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
23.59/23.67	c constraints/knapsack/simplifyinequalities = TRUE
23.59/23.67	c 
23.59/23.67	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
23.59/23.67	c # [type: int, range: [-1,2147483647], default: -1]
23.59/23.67	c separating/rapidlearning/freq = 0
23.59/23.67	c 
23.59/23.67	c -----------------------------------------------------------------------------------------------
23.59/23.67	c start solving
23.59/23.67	c 
23.79/23.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
23.79/23.80	c  23.4s|     1 |     0 |   250 |     - | 111M|   0 | 138 |  26k|  34k|  26k|  17k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
26.40/26.46	c  26.0s|     1 |     0 |   772 |     - | 112M|   0 | 463 |  26k|  34k|  26k|  17k| 246 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
27.69/27.70	c  27.3s|     1 |     0 |  1390 |     - | 113M|   0 | 938 |  26k|  34k|  26k|  17k| 431 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
29.70/29.71	c  29.3s|     1 |     0 |  2372 |     - | 113M|   0 |1195 |  26k|  34k|  26k|  17k| 734 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
32.90/32.92	c  32.5s|     1 |     0 |  3250 |     - | 113M|   0 |1312 |  26k|  34k|  26k|  18k| 998 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
36.70/36.75	c  36.3s|     1 |     0 |  4898 |     - | 113M|   0 |1540 |  26k|  34k|  26k|  18k|1186 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
39.69/39.77	c  39.3s|     1 |     0 |  5929 |     - | 113M|   0 |1677 |  26k|  34k|  26k|  18k|1440 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
47.00/47.06	c  46.5s|     1 |     2 |  5929 |     - | 114M|   0 |1677 |  26k|  34k|  26k|  18k|1440 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
118.70/118.75	o 446106
118.70/118.75	c y 117s|    17 |    16 | 12675 | 421.6 | 115M|  15 |   - |  26k|  34k|   0 |   0 |1440 |  19 | 287 | 0.000000e+00 | 4.461060e+05 |    Inf 
742.42/742.49	c   712s| 10000 |  9877 |327915 |  32.2 | 278M| 211 |   0 |  26k|  35k|  26k|  18k|  22k| 337 |4886 | 0.000000e+00 | 4.461060e+05 |    Inf 
1181.39/1181.42	c  1130s| 20000 | 19799 |512504 |  25.3 | 404M| 211 | 247 |  26k|  35k|  26k|  18k|  49k| 414 |7722 | 0.000000e+00 | 4.461060e+05 |    Inf 
1542.89/1542.94	c  1477s| 30000 | 29761 |619186 |  20.4 | 527M| 211 |   0 |  26k|  35k|  26k|  18k|  66k| 441 |8644 | 0.000000e+00 | 4.461060e+05 |    Inf 
1800.01/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.02	c 
1800.01/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.02	c Solving Time (sec) : 1724.18
1800.01/1800.02	c Solving Nodes      : 37948
1800.01/1800.02	c Primal Bound       : +4.46106000000000e+05 (104 solutions)
1800.01/1800.02	c Dual Bound         : +0.00000000000000e+00
1800.01/1800.02	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-2693033-1277914646/watcher-2693033-1277914646 -o /tmp/evaluation-result-2693033-1277914646/solver-2693033-1277914646 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693033-1277914646.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.78 1.96 1.98 4/178 17880
/proc/meminfo: memFree=30751484/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=10876 CPUtime=0
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 1674 0 0 0 0 0 0 0 25 0 1 0 132759216 11137024 1595 4089446400 4194304 9819077 140735386668464 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/17880/statm: 2719 1595 392 1374 0 1340 0

[startup+0.0174311 s]
/proc/loadavg: 1.78 1.96 1.98 4/178 17880
/proc/meminfo: memFree=30751484/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=14184 CPUtime=0.01
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 2471 0 0 0 1 0 0 0 25 0 1 0 132759216 14524416 2392 4089446400 4194304 9819077 140735386668464 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/17880/statm: 3546 2392 392 1374 0 2167 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14184

[startup+0.100415 s]
/proc/loadavg: 1.78 1.96 1.98 4/178 17880
/proc/meminfo: memFree=30751484/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=29404 CPUtime=0.09
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 6302 0 0 0 8 1 0 0 25 0 1 0 132759216 30109696 6223 4089446400 4194304 9819077 140735386668464 18446744073709551615 4639429 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/17880/statm: 7351 6223 392 1374 0 5972 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29404

[startup+0.300382 s]
/proc/loadavg: 1.78 1.96 1.98 4/178 17880
/proc/meminfo: memFree=30751484/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=93216 CPUtime=0.29
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 22605 0 0 0 27 2 0 0 25 0 1 0 132759216 95453184 22135 4089446400 4194304 9819077 140735386668464 18446744073709551615 6180906 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 23304 22140 435 1374 0 21925 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 93216

[startup+0.700312 s]
/proc/loadavg: 1.78 1.96 1.98 4/178 17880
/proc/meminfo: memFree=30751484/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=123064 CPUtime=0.69
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 30517 0 0 0 63 6 0 0 25 0 1 0 132759216 126017536 28951 4089446400 4194304 9819077 140735386668464 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 30766 28951 509 1374 0 29387 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 123064

[startup+1.50016 s]
/proc/loadavg: 1.80 1.96 1.98 3/179 17881
/proc/meminfo: memFree=30638152/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=124784 CPUtime=1.49
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 30945 0 0 0 143 6 0 0 25 0 1 0 132759216 127778816 29379 4089446400 4194304 9819077 140735386668464 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 31196 29379 509 1374 0 29817 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 124784

[startup+3.10088 s]
/proc/loadavg: 1.80 1.96 1.98 3/179 17881
/proc/meminfo: memFree=30635672/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=125188 CPUtime=3.09
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 31025 0 0 0 302 7 0 0 25 0 1 0 132759216 128192512 29459 4089446400 4194304 9819077 140735386668464 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 31297 29459 509 1374 0 29918 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 125188

[startup+6.30032 s]
/proc/loadavg: 1.81 1.96 1.98 3/179 17881
/proc/meminfo: memFree=30636184/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=126408 CPUtime=6.29
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 31356 0 0 0 622 7 0 0 25 0 1 0 132759216 129441792 29790 4089446400 4194304 9819077 140735386668464 18446744073709551615 4978047 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 31602 29790 514 1374 0 30223 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 126408

[startup+12.7012 s]
/proc/loadavg: 1.83 1.96 1.98 3/179 17882
/proc/meminfo: memFree=30635132/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=127260 CPUtime=12.69
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 31549 0 0 0 1260 9 0 0 25 0 1 0 132759216 130314240 29983 4089446400 4194304 9819077 140735386668464 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 31815 29983 514 1374 0 30436 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 127260

[startup+25.5009 s]
/proc/loadavg: 1.85 1.96 1.98 3/179 17882
/proc/meminfo: memFree=30588452/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=184724 CPUtime=25.49
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 61875 0 0 0 2531 18 0 0 20 0 1 0 132759216 189157376 41733 4089446400 4194304 9819077 140735386668464 18446744073709551615 8675291 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 46181 41733 712 1374 0 44802 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 184724

[startup+51.1003 s]
/proc/loadavg: 1.91 1.97 1.98 3/179 17883
/proc/meminfo: memFree=30580068/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=208908 CPUtime=51.09
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 183312 0 0 0 5069 40 0 0 25 0 1 0 132759216 213921792 43732 4089446400 4194304 9819077 140735386668464 18446744073709551615 7291954 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 52227 43732 740 1374 0 50848 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 208908

[startup+102.307 s]
/proc/loadavg: 2.02 1.99 1.99 3/179 17884
/proc/meminfo: memFree=30573908/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=209468 CPUtime=102.3
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 617026 0 0 0 10132 98 0 0 25 0 1 0 132759216 214495232 43782 4089446400 4194304 9819077 140735386668464 18446744073709551615 7292252 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 52367 43782 740 1374 0 50988 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 209468

[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 17886
/proc/meminfo: memFree=30575604/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=196860 CPUtime=162.29
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 1958962 0 0 0 15965 264 0 0 25 0 1 0 132759216 201584640 44155 4089446400 4194304 9819077 140735386668464 18446744073709551615 7291729 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 49215 44155 743 1374 0 47836 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 196860

[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 17887
/proc/meminfo: memFree=30566528/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=205000 CPUtime=222.3
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 3655723 0 0 0 21761 469 0 0 25 0 1 0 132759216 209920000 45400 4089446400 4194304 9819077 140735386668464 18446744073709551615 6568787 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 51250 45400 744 1374 0 49871 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 205000

[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 17889
/proc/meminfo: memFree=30557564/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=207492 CPUtime=282.3
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 4859936 0 0 0 27610 620 0 0 25 0 1 0 132759216 212471808 46189 4089446400 4194304 9819077 140735386668464 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 51873 46189 744 1374 0 50494 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 207492

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 17891
/proc/meminfo: memFree=30515284/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=232048 CPUtime=342.3
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 7180205 0 0 0 33325 905 0 0 25 0 1 0 132759216 237617152 52584 4089446400 4194304 9819077 140735386668464 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 58012 52584 745 1374 0 56633 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 232048

[startup+402.301 s]
/proc/loadavg: 2.04 2.00 1.99 3/179 17892
/proc/meminfo: memFree=30477440/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=272460 CPUtime=402.31
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 10119420 0 0 0 38974 1257 0 0 25 0 1 0 132759216 278999040 59894 4089446400 4194304 9819077 140735386668464 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 68115 59894 745 1374 0 66736 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 272460

[startup+462.301 s]
/proc/loadavg: 2.01 2.00 1.99 3/179 17894
/proc/meminfo: memFree=30428428/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=278364 CPUtime=462.3
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 13615318 0 0 0 44549 1681 0 0 25 0 1 0 132759216 285044736 64164 4089446400 4194304 9819077 140735386668464 18446744073709551615 6581354 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 69591 64164 745 1374 0 68212 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 278364

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 17895
/proc/meminfo: memFree=30383836/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=299100 CPUtime=522.3
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 15804404 0 0 0 50280 1950 0 0 25 0 1 0 132759216 306278400 69379 4089446400 4194304 9819077 140735386668464 18446744073709551615 5893827 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 74775 69379 745 1374 0 73396 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 299100

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 17897
/proc/meminfo: memFree=30348764/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=318536 CPUtime=582.31
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 17719109 0 0 0 56044 2187 0 0 25 0 1 0 132759216 326180864 74241 4089446400 4194304 9819077 140735386668464 18446744073709551615 4641963 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 79634 74241 745 1374 0 78255 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 318536

[startup+642.301 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 17899
/proc/meminfo: memFree=30313016/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=334252 CPUtime=642.32
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 20176070 0 0 0 61748 2484 0 0 25 0 1 0 132759216 342274048 78159 4089446400 4194304 9819077 140735386668464 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17880/statm: 83563 78159 745 1374 0 82184 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 334252

[startup+702.301 s]

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

/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 34388884 0 0 0 95932 4298 0 0 25 0 1 0 132759216 445788160 103384 4089446400 4194304 9819077 140735386668464 18446744073709551615 7487724 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17880/statm: 108835 103420 745 1374 0 107456 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 435340

[startup+1062.3 s]
/proc/loadavg: 1.92 1.93 1.97 3/179 18766
/proc/meminfo: memFree=30729844/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=455548 CPUtime=1062.28
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 36419115 0 0 0 101669 4559 0 0 25 0 1 0 132759216 466481152 108395 4089446400 4194304 9819077 140735386668464 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17880/statm: 113887 108395 745 1374 0 112508 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 455548

[startup+1122.3 s]
/proc/loadavg: 1.90 1.93 1.96 3/179 18967
/proc/meminfo: memFree=30721784/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=470276 CPUtime=1122.29
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 38591980 0 0 0 107392 4837 0 0 25 0 1 0 132759216 481562624 112114 4089446400 4194304 9819077 140735386668464 18446744073709551615 6590607 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17880/statm: 117569 112124 745 1374 0 116190 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 470276

[startup+1182.3 s]
/proc/loadavg: 1.96 1.94 1.96 3/179 18969
/proc/meminfo: memFree=30614744/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=488656 CPUtime=1182.29
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 40606742 0 0 0 113126 5103 0 0 25 0 1 0 132759216 500383744 116801 4089446400 4194304 9819077 140735386668464 18446744073709551615 7816442 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17880/statm: 122164 116801 745 1374 0 120785 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 488656

[startup+1242.3 s]
/proc/loadavg: 2.03 1.96 1.97 3/179 18971
/proc/meminfo: memFree=30500720/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=506788 CPUtime=1242.29
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 42581109 0 0 0 118866 5363 0 0 25 0 1 0 132759216 518950912 121407 4089446400 4194304 9819077 140735386668464 18446744073709551615 6003263 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17880/statm: 126697 121407 745 1374 0 125318 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 506788

[startup+1302.3 s]
/proc/loadavg: 2.01 1.97 1.97 3/179 18972
/proc/meminfo: memFree=30384096/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=528240 CPUtime=1302.29
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 44426083 0 0 0 124619 5610 0 0 25 0 1 0 132759216 540917760 126825 4089446400 4194304 9819077 140735386668464 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17880/statm: 132060 126825 745 1374 0 130681 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 528240

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.97 3/179 18974
/proc/meminfo: memFree=30272064/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=548048 CPUtime=1362.29
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 46130070 0 0 0 130385 5844 0 0 25 0 1 0 132759216 561201152 131593 4089446400 4194304 9819077 140735386668464 18446744073709551615 6591535 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17880/statm: 137012 131607 745 1374 0 135633 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 548048

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.97 3/179 18975
/proc/meminfo: memFree=30151844/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=583840 CPUtime=1422.3
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 48154365 0 0 0 136111 6119 0 0 25 0 1 0 132759216 597852160 137497 4089446400 4194304 9819077 140735386668464 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17880/statm: 145960 137497 745 1374 0 144581 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 583840

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.97 3/179 18977
/proc/meminfo: memFree=30038576/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=587836 CPUtime=1482.29
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 50118751 0 0 0 141848 6381 0 0 25 0 1 0 132759216 601944064 141656 4089446400 4194304 9819077 140735386668464 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17880/statm: 146959 141656 745 1374 0 145580 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 587836

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.97 3/179 18979
/proc/meminfo: memFree=29911656/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=611944 CPUtime=1542.3
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 51792873 0 0 0 147635 6595 0 0 25 0 1 0 132759216 626630656 147628 4089446400 4194304 9819077 140735386668464 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17880/statm: 152986 147628 745 1374 0 151607 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 611944

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.97 3/179 18980
/proc/meminfo: memFree=29793052/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=631772 CPUtime=1602.3
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 53415648 0 0 0 153420 6810 0 0 25 0 1 0 132759216 646934528 152628 4089446400 4194304 9819077 140735386668464 18446744073709551615 4965891 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17880/statm: 157943 152628 745 1374 0 156564 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 631772

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.97 3/179 18982
/proc/meminfo: memFree=29666892/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=654408 CPUtime=1662.29
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 55130286 0 0 0 159183 7046 0 0 25 0 1 0 132759216 670113792 158350 4089446400 4194304 9819077 140735386668464 18446744073709551615 6628678 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17880/statm: 163602 158350 745 1374 0 162223 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 654408

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.97 3/179 18983
/proc/meminfo: memFree=29544676/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=677848 CPUtime=1722.29
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 56823978 0 0 0 164956 7273 0 0 25 0 1 0 132759216 694116352 164013 4089446400 4194304 9819077 140735386668464 18446744073709551615 5893827 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17880/statm: 169462 164013 745 1374 0 168083 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 677848

[startup+1782.3 s]
/proc/loadavg: 2.06 1.99 1.97 3/179 18985
/proc/meminfo: memFree=29420240/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=700592 CPUtime=1782.3
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 58590312 0 0 0 170732 7498 0 0 25 0 1 0 132759216 717406208 169880 4089446400 4194304 9819077 140735386668464 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17880/statm: 175148 169880 745 1374 0 173769 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 700592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.04 1.99 1.97 3/179 18985
/proc/meminfo: memFree=29380300/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=709392 CPUtime=1800.01
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 59074640 0 0 0 172437 7564 0 0 25 0 1 0 132759216 726417408 172048 4089446400 4194304 9819077 140735386668464 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17880/statm: 177348 172048 745 1374 0 175969 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 709392

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -17880

Solver just ended. Dumping a history of the last processes samples

[startup+1801.4 s]
/proc/loadavg: 2.04 1.99 1.97 3/180 18986
/proc/meminfo: memFree=29380168/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=709392 CPUtime=1801.4
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 59075169 0 0 0 172576 7564 0 0 25 0 1 0 132759216 726417408 172048 4089446400 4194304 9819077 140735386668464 18446744073709551615 4240882 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17880/statm: 177348 172048 745 1374 0 175969 0
Current children cumulated CPU time (s) 1801.4
Current children cumulated vsize (KiB) 709392

[startup+1801.81 s]
/proc/loadavg: 2.04 1.99 1.97 3/180 18986
/proc/meminfo: memFree=29378804/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=709392 CPUtime=1801.81
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 59075169 0 0 0 172617 7564 0 0 25 0 1 0 132759216 726417408 172048 4089446400 4194304 9819077 140735386668464 18446744073709551615 8679111 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17880/statm: 177348 172048 745 1374 0 175969 0
Current children cumulated CPU time (s) 1801.81
Current children cumulated vsize (KiB) 709392

[startup+1802 s]
/proc/loadavg: 2.04 1.99 1.97 3/180 18986
/proc/meminfo: memFree=29378804/32951124 swapFree=67111528/67111528
[pid=17880] ppid=17878 vsize=709392 CPUtime=1802
/proc/17880/stat : 17880 (pbscip.linux.x8) R 17878 17880 16986 0 -1 4202496 59075169 0 0 0 172636 7564 0 0 25 0 1 0 132759216 726417408 172048 4089446400 4194304 9819077 140735386668464 18446744073709551615 4240882 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17880/statm: 177348 172048 745 1374 0 175969 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 709392

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.04
CPU user time (s): 1726.37
CPU system time (s): 75.6685
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 709392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1726.37
system time used= 75.6685
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59075169
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= 2
involuntary context switches= 2394

runsolver used 3.11353 second user time and 6.52901 second system time

The end

Launcher Data 

Begin job on node146 at 2010-06-30 18:17:26
IDJOB=2693033
IDBENCH=79037
IDSOLVER=1205
FILE ID=node146/2693033-1277914646
PBS_JOBID= 11197264
Free space on /tmp= 74172 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl--soft-66-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-2693033-1277914646/watcher-2693033-1277914646 -o /tmp/evaluation-result-2693033-1277914646/solver-2693033-1277914646 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693033-1277914646.wbo -t 1800 -m 3800

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

MD5SUM BENCH= d386dfc8e47349268f453a2b59efbfb7
RANDOM SEED=1328248341

node146.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.839
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.67
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.839
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.83
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.839
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.839
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.839
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.67
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.839
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.839
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.74
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.839
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30752136 kB
Buffers:        203484 kB
Cached:        1336652 kB
SwapCached:          0 kB
Active:         932816 kB
Inactive:      1115076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30752136 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7200 kB
Writeback:           0 kB
AnonPages:      508020 kB
Mapped:          16836 kB
Slab:            84476 kB
PageTables:       5728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   680464 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= 74164 MiB
End job on node146 at 2010-06-30 18:47:28