Trace number 2692978

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.08 1802.03

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf9.ucl--soft-66-100-0.wbo
MD5SUM436e932860314596b9609870688d381f
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.404937
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables20445
Total number of constraints58444
Number of soft constraints19808
Number of constraints which are clauses56420
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2024
Minimum length of a constraint1
Maximum length of a constraint13
Top cost 1010028
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1010027
Biggest number in a constraint 65
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 254
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.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-2692978-1277913230.wbo>
0.49/0.50	c original problem has 60061 variables (40253 bin, 0 int, 0 impl, 19808 cont) and 78253 constraints
0.49/0.50	c problem read
0.49/0.50	c presolving settings loaded
0.79/0.83	c presolving:
1.10/1.16	c (round 1) 383 del vars, 200 del conss, 56 chg bounds, 1012 chg sides, 2058 chg coeffs, 0 upgd conss, 600898 impls, 0 clqs
1.19/1.21	c (round 2) 427 del vars, 903 del conss, 57 chg bounds, 1012 chg sides, 2058 chg coeffs, 0 upgd conss, 600898 impls, 0 clqs
1.19/1.24	c (round 3) 488 del vars, 923 del conss, 58 chg bounds, 1012 chg sides, 2058 chg coeffs, 0 upgd conss, 600898 impls, 0 clqs
1.19/1.27	c (round 4) 506 del vars, 925 del conss, 58 chg bounds, 1012 chg sides, 2058 chg coeffs, 0 upgd conss, 600906 impls, 0 clqs
1.29/1.36	c (round 5) 507 del vars, 979 del conss, 19805 chg bounds, 1012 chg sides, 2058 chg coeffs, 0 upgd conss, 600906 impls, 0 clqs
1.59/1.63	c (round 6) 508 del vars, 979 del conss, 19805 chg bounds, 1012 chg sides, 2058 chg coeffs, 37808 upgd conss, 600906 impls, 0 clqs
13.99/14.09	c    (13.4s) probing: 1000/39806 (2.5%) - 1 fixings, 15 aggregations, 62714 implications, 0 bound changes
25.49/25.60	c    (24.9s) probing: 2000/39806 (5.0%) - 3 fixings, 19 aggregations, 112281 implications, 0 bound changes
35.89/35.91	c    (35.2s) probing: 3000/39806 (7.5%) - 3 fixings, 23 aggregations, 144103 implications, 0 bound changes
44.49/44.59	c    (43.8s) probing: 4000/39806 (10.0%) - 3 fixings, 26 aggregations, 154376 implications, 0 bound changes
52.70/52.78	c    (52.0s) probing: 5000/39806 (12.6%) - 3 fixings, 28 aggregations, 164329 implications, 0 bound changes
60.39/60.42	c    (59.6s) probing: 6000/39806 (15.1%) - 3 fixings, 28 aggregations, 167027 implications, 0 bound changes
68.00/68.03	c    (67.2s) probing: 7000/39806 (17.6%) - 3 fixings, 30 aggregations, 168973 implications, 0 bound changes
75.59/75.64	c    (74.8s) probing: 8000/39806 (20.1%) - 3 fixings, 31 aggregations, 170019 implications, 0 bound changes
83.29/83.32	c    (82.5s) probing: 9000/39806 (22.6%) - 3 fixings, 32 aggregations, 171196 implications, 0 bound changes
90.20/90.23	c    (89.4s) probing: 9917/39806 (24.9%) - 3 fixings, 32 aggregations, 171800 implications, 0 bound changes
90.20/90.23	c    (89.4s) probing aborted: 100/100 successive totally useless probings
90.20/90.23	c (round 7) 543 del vars, 979 del conss, 19805 chg bounds, 1012 chg sides, 2058 chg coeffs, 37808 upgd conss, 1341733 impls, 0 clqs
90.20/90.29	c (round 8) 543 del vars, 989 del conss, 19805 chg bounds, 1012 chg sides, 2058 chg coeffs, 37808 upgd conss, 1341733 impls, 0 clqs
91.69/91.74	c    (90.9s) probing: 10000/39806 (25.1%) - 3 fixings, 33 aggregations, 174079 implications, 0 bound changes
95.29/95.39	c    (94.5s) probing: 10372/39806 (26.1%) - 3 fixings, 33 aggregations, 174578 implications, 0 bound changes
95.29/95.39	c    (94.5s) probing aborted: 100/100 successive totally useless probings
95.39/95.40	c presolving (9 rounds):
95.39/95.40	c  546 deleted vars, 991 deleted constraints, 19805 tightened bounds, 0 added holes, 1012 changed sides, 2058 changed coefficients
95.39/95.40	c  1347721 implications, 0 cliques
95.39/95.40	c presolved problem has 59515 variables (39770 bin, 0 int, 0 impl, 19745 cont) and 77262 constraints
95.39/95.40	c   19745 constraints of type <indicator>
95.39/95.40	c      29 constraints of type <varbound>
95.39/95.40	c    1256 constraints of type <knapsack>
95.39/95.40	c   19716 constraints of type <linear>
95.39/95.40	c   36516 constraints of type <logicor>
95.39/95.40	c transformed objective value is always integral (scale: 1)
95.39/95.40	c Presolving Time: 94.34
95.39/95.40	c - non default parameters ----------------------------------------------------------------------
95.39/95.40	c # SCIP version 1.2.1.2
95.39/95.40	c 
95.39/95.40	c # frequency for displaying node information lines
95.39/95.40	c # [type: int, range: [-1,2147483647], default: 100]
95.39/95.40	c display/freq = 10000
95.39/95.40	c 
95.39/95.40	c # maximal time in seconds to run
95.39/95.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
95.39/95.40	c limits/time = 1799.51
95.39/95.40	c 
95.39/95.40	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
95.39/95.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
95.39/95.40	c limits/memory = 3420
95.39/95.40	c 
95.39/95.40	c # should presolving try to simplify inequalities
95.39/95.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
95.39/95.40	c constraints/linear/simplifyinequalities = TRUE
95.39/95.40	c 
95.39/95.40	c # should presolving try to simplify knapsacks
95.39/95.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
95.39/95.40	c constraints/knapsack/simplifyinequalities = TRUE
95.39/95.40	c 
95.39/95.40	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
95.39/95.40	c # [type: int, range: [-1,2147483647], default: -1]
95.39/95.40	c separating/rapidlearning/freq = 0
95.39/95.40	c 
95.39/95.40	c -----------------------------------------------------------------------------------------------
95.39/95.40	c start solving
95.39/95.42	c 
95.79/95.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
95.79/95.80	c  94.9s|     1 |     0 |  1566 |     - | 268M|   0 |1130 |  59k|  77k|  59k|  37k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
101.50/101.58	c   100s|     1 |     0 |  2316 |     - | 270M|   0 |1513 |  59k|  77k|  59k|  38k| 583 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
104.59/104.66	c   104s|     1 |     0 |  3596 |     - | 271M|   0 |2224 |  59k|  77k|  59k|  38k| 988 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
108.59/108.68	c   108s|     1 |     0 |  5702 |     - | 272M|   0 |3106 |  59k|  77k|  59k|  39k|1466 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
114.30/114.31	c   113s|     1 |     0 |  8362 |     - | 273M|   0 |3658 |  59k|  77k|  59k|  39k|1963 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
121.30/121.38	c   120s|     1 |     0 | 11176 |     - | 273M|   0 |4208 |  59k|  77k|  59k|  40k|2455 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
134.70/134.70	c   133s|     1 |     0 | 14842 |     - | 274M|   0 |4988 |  59k|  77k|  59k|  40k|2964 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
166.00/166.03	c   164s|     1 |     2 | 14842 |     - | 274M|   0 |4988 |  59k|  77k|  59k|  40k|2964 |   0 |  18 | 0.000000e+00 |      --      |    Inf 
1261.63/1261.68	o 1005133
1261.63/1261.68	c y1191s|  2183 |  2048 |373715 | 164.5 | 330M| 685 |   - |  59k|  77k|   0 |   0 |5988 | 612 |1587 | 0.000000e+00 | 1.005133e+06 |    Inf 
1440.84/1440.86	o 1005070
1440.84/1440.86	c y1352s|  3897 |  3703 |424114 | 105.0 | 374M| 747 |  41 |  59k|  77k|  59k|  40k|  11k| 657 |2509 | 0.000000e+00 | 1.005070e+06 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.02	c 
1800.05/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.02	c Solving Time (sec) : 1674.50
1800.05/1800.02	c Solving Nodes      : 7331
1800.05/1800.02	c Primal Bound       : +1.00507000000000e+06 (9 solutions)
1800.05/1800.02	c Dual Bound         : +0.00000000000000e+00
1800.05/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-2692978-1277913230/watcher-2692978-1277913230 -o /tmp/evaluation-result-2692978-1277913230/solver-2692978-1277913230 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692978-1277913230.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.01 2.00 4/178 16946
/proc/meminfo: memFree=30834688/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=11004 CPUtime=0
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 1675 0 0 0 0 0 0 0 25 0 1 0 132618491 11268096 1595 4089446400 4194304 9819077 140735621191392 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16946/statm: 2751 1595 392 1374 0 1372 0

[startup+0.082889 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 16946
/proc/meminfo: memFree=30834688/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=26152 CPUtime=0.07
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 5457 0 0 0 7 0 0 0 25 0 1 0 132618491 26779648 5377 4089446400 4194304 9819077 140735621191392 18446744073709551615 4433269 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16946/statm: 6538 5377 392 1374 0 5159 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26152

[startup+0.100886 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 16946
/proc/meminfo: memFree=30834688/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=29568 CPUtime=0.09
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 6334 0 0 0 9 0 0 0 25 0 1 0 132618491 30277632 6254 4089446400 4194304 9819077 140735621191392 18446744073709551615 4384358 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16946/statm: 7392 6254 392 1374 0 6013 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29568

[startup+0.300852 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 16946
/proc/meminfo: memFree=30834688/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=61832 CPUtime=0.29
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 14401 0 0 0 28 1 0 0 25 0 1 0 132618491 63315968 14321 4089446400 4194304 9819077 140735621191392 18446744073709551615 4640689 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16946/statm: 15458 14321 392 1374 0 14079 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61832

[startup+0.700783 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 16946
/proc/meminfo: memFree=30834688/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=204888 CPUtime=0.69
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 50239 0 0 0 64 5 0 0 25 0 1 0 132618491 209805312 49768 4089446400 4194304 9819077 140735621191392 18446744073709551615 4563759 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 51222 49769 452 1374 0 49843 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 204888

[startup+1.50064 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16947
/proc/meminfo: memFree=30596104/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=279356 CPUtime=1.49
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 71742 0 0 0 134 15 0 0 25 0 1 0 132618491 286060544 66712 4089446400 4194304 9819077 140735621191392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 69846 66712 513 1374 0 68467 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 279356

[startup+3.10034 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16947
/proc/meminfo: memFree=30548860/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=300504 CPUtime=3.09
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 79585 0 0 0 291 18 0 0 25 0 1 0 132618491 307716096 71715 4089446400 4194304 9819077 140735621191392 18446744073709551615 4665383 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 75126 71715 532 1374 0 73747 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 300504

[startup+6.30076 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16947
/proc/meminfo: memFree=30542772/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=311368 CPUtime=6.3
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 82300 0 0 0 610 20 0 0 25 0 1 0 132618491 318840832 74430 4089446400 4194304 9819077 140735621191392 18446744073709551615 5500779 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 77842 74430 532 1374 0 76463 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 311368

[startup+12.7006 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16947
/proc/meminfo: memFree=30534960/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=313532 CPUtime=12.69
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 82870 0 0 0 1248 21 0 0 25 0 1 0 132618491 321056768 75000 4089446400 4194304 9819077 140735621191392 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 78383 75000 532 1374 0 77004 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 313532

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16947
/proc/meminfo: memFree=30530636/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=320016 CPUtime=25.49
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 84490 0 0 0 2525 24 0 0 25 0 1 0 132618491 327696384 76620 4089446400 4194304 9819077 140735621191392 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 80004 76620 537 1374 0 78625 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 320016

[startup+51.1006 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16948
/proc/meminfo: memFree=30519376/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=325116 CPUtime=51.09
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 85709 0 0 0 5080 29 0 0 25 0 1 0 132618491 332918784 77839 4089446400 4194304 9819077 140735621191392 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 81279 77839 537 1374 0 79900 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 325116

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16949
/proc/meminfo: memFree=30434400/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=429944 CPUtime=102.3
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 160851 0 0 0 10166 64 0 0 25 0 1 0 132618491 440262656 97097 4089446400 4194304 9819077 140735621191392 18446744073709551615 5721520 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 107486 97097 696 1374 0 106107 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 429944

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16951
/proc/meminfo: memFree=30408192/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=482616 CPUtime=162.3
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 474073 0 0 0 16124 106 0 0 25 0 1 0 132618491 494198784 101459 4089446400 4194304 9819077 140735621191392 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 120654 101461 718 1374 0 119275 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 482616

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16953
/proc/meminfo: memFree=30371712/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=480484 CPUtime=222.29
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 1059281 0 0 0 22050 179 0 0 25 0 1 0 132618491 492015616 101645 4089446400 4194304 9819077 140735621191392 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 120121 101645 722 1374 0 118742 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 480484

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16954
/proc/meminfo: memFree=30363004/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=480888 CPUtime=282.3
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 2151781 0 0 0 27915 315 0 0 25 0 1 0 132618491 492429312 101539 4089446400 4194304 9819077 140735621191392 18446744073709551615 7301524 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 120222 101539 722 1374 0 118843 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 480888

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16956
/proc/meminfo: memFree=30357644/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=450456 CPUtime=342.3
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 3700360 0 0 0 33728 502 0 0 25 0 1 0 132618491 461266944 100683 4089446400 4194304 9819077 140735621191392 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 112614 100683 722 1374 0 111235 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 450456

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16957
/proc/meminfo: memFree=30319056/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=473816 CPUtime=402.3
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 8369400 0 0 0 39160 1070 0 0 25 0 1 0 132618491 485187584 106835 4089446400 4194304 9819077 140735621191392 18446744073709551615 6591535 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 118454 106849 726 1374 0 117075 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 473816

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16968
/proc/meminfo: memFree=30329292/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=452440 CPUtime=462.3
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 11458058 0 0 0 44779 1451 0 0 25 0 1 0 132618491 463298560 101294 4089446400 4194304 9819077 140735621191392 18446744073709551615 6191204 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 113110 101294 726 1374 0 111731 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 452440

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16970
/proc/meminfo: memFree=30312396/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=453660 CPUtime=522.31
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 14892424 0 0 0 50357 1874 0 0 25 0 1 0 132618491 464547840 102312 4089446400 4194304 9819077 140735621191392 18446744073709551615 7816434 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 113415 102312 726 1374 0 112036 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 453660

[startup+582.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 16971
/proc/meminfo: memFree=30294768/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=455976 CPUtime=582.31
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 18395627 0 0 0 55929 2302 0 0 25 0 1 0 132618491 466919424 102356 4089446400 4194304 9819077 140735621191392 18446744073709551615 6367273 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 113994 102356 726 1374 0 112615 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 455976

[startup+642.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16973
/proc/meminfo: memFree=30271560/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=456028 CPUtime=642.32
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 23030445 0 0 0 61374 2858 0 0 25 0 1 0 132618491 466972672 102272 4089446400 4194304 9819077 140735621191392 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 114007 102272 726 1374 0 112628 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 456028

[startup+702.301 s]

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

/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 40333295 0 0 0 95254 4978 0 0 25 0 1 0 132618491 481247232 105871 4089446400 4194304 9819077 140735621191392 18446744073709551615 7289088 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 117492 105871 726 1374 0 116113 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 469968

[startup+1062.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 16984
/proc/meminfo: memFree=30094744/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=467680 CPUtime=1062.33
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 43476174 0 0 0 100878 5355 0 0 25 0 1 0 132618491 478904320 105336 4089446400 4194304 9819077 140735621191392 18446744073709551615 7299262 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 116920 105336 726 1374 0 115541 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 467680

[startup+1122.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 16986
/proc/meminfo: memFree=30069176/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=471312 CPUtime=1122.32
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 46842986 0 0 0 106465 5767 0 0 25 0 1 0 132618491 482623488 106375 4089446400 4194304 9819077 140735621191392 18446744073709551615 6020541 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 117828 106375 726 1374 0 116449 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 471312

[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 16987
/proc/meminfo: memFree=30027356/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=487384 CPUtime=1182.32
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 51326522 0 0 0 111929 6303 0 0 25 0 1 0 132618491 499081216 109887 4089446400 4194304 9819077 140735621191392 18446744073709551615 5436270 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 121846 109887 727 1374 0 120467 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 487384

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16989
/proc/meminfo: memFree=29984800/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=497216 CPUtime=1242.33
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 55335307 0 0 0 117446 6787 0 0 25 0 1 0 132618491 509149184 112493 4089446400 4194304 9819077 140735621191392 18446744073709551615 7487724 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 124304 112520 727 1374 0 122925 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 497216

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16990
/proc/meminfo: memFree=29949172/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=505356 CPUtime=1302.34
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 61141753 0 0 0 122748 7486 0 0 25 0 1 0 132618491 517484544 116453 4089446400 4194304 9819077 140735621191392 18446744073709551615 7260241 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 126339 116468 727 1374 0 124960 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 505356

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16992
/proc/meminfo: memFree=29907976/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=530120 CPUtime=1362.34
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 66802469 0 0 0 128058 8176 0 0 25 0 1 0 132618491 542842880 120424 4089446400 4194304 9819077 140735621191392 18446744073709551615 6590607 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 132530 120439 727 1374 0 131151 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 530120

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16994
/proc/meminfo: memFree=29864668/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=571036 CPUtime=1422.34
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 70168080 0 0 0 133644 8590 0 0 25 0 1 0 132618491 584740864 124927 4089446400 4194304 9819077 140735621191392 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 142759 124927 727 1374 0 141380 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 571036

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16995
/proc/meminfo: memFree=29821976/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=558944 CPUtime=1482.33
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 76007306 0 0 0 138930 9303 0 0 25 0 1 0 132618491 572358656 127660 4089446400 4194304 9819077 140735621191392 18446744073709551615 6568874 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 139736 127660 729 1374 0 138357 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 558944

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16997
/proc/meminfo: memFree=29797276/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=601508 CPUtime=1542.34
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 79327979 0 0 0 144529 9705 0 0 25 0 1 0 132618491 615944192 131206 4089446400 4194304 9819077 140735621191392 18446744073709551615 6628312 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 150377 131206 729 1374 0 148998 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 601508

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16998
/proc/meminfo: memFree=29762900/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=611684 CPUtime=1602.34
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 84481724 0 0 0 149911 10323 0 0 25 0 1 0 132618491 626364416 134880 4089446400 4194304 9819077 140735621191392 18446744073709551615 6671137 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 152921 134880 729 1374 0 151542 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 611684

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 17000
/proc/meminfo: memFree=29718844/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=632868 CPUtime=1662.34
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 89952807 0 0 0 155245 10989 0 0 25 0 1 0 132618491 648056832 139457 4089446400 4194304 9819077 140735621191392 18446744073709551615 6690546 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 158217 139485 729 1374 0 156838 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 632868

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 17002
/proc/meminfo: memFree=29677280/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=644776 CPUtime=1722.34
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 95220230 0 0 0 160606 11628 0 0 25 0 1 0 132618491 660250624 144502 4089446400 4194304 9819077 140735621191392 18446744073709551615 7226531 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 161194 144517 729 1374 0 159815 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 644776

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 17031
/proc/meminfo: memFree=30358308/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=638072 CPUtime=1782.34
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 100848020 0 0 0 165930 12304 0 0 25 0 1 0 132618491 653385728 147150 4089446400 4194304 9819077 140735621191392 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 159518 147150 729 1374 0 158139 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 638072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17032
/proc/meminfo: memFree=30351080/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=642948 CPUtime=1800.05
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 102602949 0 0 0 167495 12510 0 0 25 0 1 0 132618491 658378752 148155 4089446400 4194304 9819077 140735621191392 18446744073709551615 5813729 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16946/statm: 160737 148155 729 1374 0 159358 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 642948

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -16946

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

[startup+1801.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 17033
/proc/meminfo: memFree=30350948/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=642948 CPUtime=1801.44
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 102602949 0 0 0 167634 12510 0 0 25 0 1 0 132618491 658378752 148155 4089446400 4194304 9819077 140735621191392 18446744073709551615 8679156 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16946/statm: 160737 148155 729 1374 0 159358 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 642948

[startup+1801.81 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 17033
/proc/meminfo: memFree=30350700/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=642948 CPUtime=1801.85
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 102602949 0 0 0 167675 12510 0 0 25 0 1 0 132618491 658378752 148155 4089446400 4194304 9819077 140735621191392 18446744073709551615 8679118 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16946/statm: 160737 148155 729 1374 0 159358 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 642948

[startup+1802 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 17033
/proc/meminfo: memFree=30350700/32951124 swapFree=67111528/67111528
[pid=16946] ppid=16944 vsize=642948 CPUtime=1802.04
/proc/16946/stat : 16946 (pbscip.linux.x8) R 16944 16946 16353 0 -1 4202496 102602949 0 0 0 167694 12510 0 0 25 0 1 0 132618491 658378752 148155 4089446400 4194304 9819077 140735621191392 18446744073709551615 8679148 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16946/statm: 160737 148155 729 1374 0 159358 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 642948

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.08
CPU user time (s): 1676.95
CPU system time (s): 125.129
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 782696

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

runsolver used 2.80557 second user time and 7.02793 second system time

The end

Launcher Data 

Begin job on node139 at 2010-06-30 17:53:50
IDJOB=2692978
IDBENCH=79011
IDSOLVER=1205
FILE ID=node139/2692978-1277913230
PBS_JOBID= 11197258
Free space on /tmp= 74116 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-elf.rf9.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-2692978-1277913230/watcher-2692978-1277913230 -o /tmp/evaluation-result-2692978-1277913230/solver-2692978-1277913230 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692978-1277913230.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 436e932860314596b9609870688d381f
RANDOM SEED=1963810307

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30835340 kB
Buffers:        202404 kB
Cached:        1483028 kB
SwapCached:          0 kB
Active:         968300 kB
Inactive:       999580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30835340 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8192 kB
Writeback:           0 kB
AnonPages:      282452 kB
Mapped:          17380 kB
Slab:            83400 kB
PageTables:       5424 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   455516 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= 74112 MiB
End job on node139 at 2010-06-30 18:23:52