Trace number 3462605

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 NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT3 1798 1797.95

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb
MD5SUM133707692e98c55077a0d19203c18204
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.180972
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables162
Total number of constraints13
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)486
Sum of products size (including duplicates)972
Number of different products486
Sum of products size972

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462605-1307181441.opb
0.00/0.00	c File size is 8553 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 648 Constr: 991 486/0/505 Lit: 4149 Watch. Lit: 2540
0.00/0.00	c Obj. Vars: 9 (1.38889 % of total variables)
0.00/0.00	c Pre-processing Time: 0.003 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    648      991     4149    4     3569    5543      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
8.09/8.13	c      125    648     1236    18192   14     4098    6098    245   7352 0.02
8.09/8.13	c      275    648     1400    30578   21     4316    6708    409   1432 0.19
8.09/8.13	c      500    648     1792    57480   32     5361    7379    801   2155 0.23
8.09/8.13	c      839    648     2449   104858   42     7071    8117   1458   2824 0.30
8.09/8.13	c     1348    648     3452   171503   49     9595    8929   2461   3295 0.41
8.09/8.13	c     2111    648     4950   271244   54    13701    9822   3959   3614 0.58
8.09/8.13	c     3257    648     7175   416555   58    19568   10805   6184   3330 0.98
8.09/8.13	c     4979    648    10529   646776   61    28534   11886   9538   3457 1.44
8.09/8.13	c     7563    648     8964   566562   63    24467   13075   7973   3070 2.46
8.09/8.13	c    11444    648     9559   615002   64    25662   14383   8568   3124 3.66
8.09/8.13	c    17266    648    13447   852593   63    36256   15822  12456   2868 6.02
8.09/8.13	o 3
1797.94/1797.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1797.94	c    22364    648    15328   992015   64    40626    5562  14337   2748 8.14
1797.94/1797.94	c    22464    559     3970   234206   58    10945    6119   2979   2731 8.22
1797.94/1797.94	c    22715    559     4459   264004   59    12252    6731   3468   2744 8.28
1797.94/1797.94	c    23190    559     5396   337670   62    14634    7405   4405   2771 8.37
1797.94/1797.94	c    24003    559     6953   441842   63    18651    8146   5962   2805 8.56
1797.94/1797.94	c    25323    559     5086   289601   56    14019    8961   4095   2816 8.99
1797.94/1797.94	c    27405    559     9059   562457   62    24432    9858   8068   2854 9.60
1797.94/1797.94	c    30629    559     9903   709094   71    26213   10844   8912   2912 10.52
1797.94/1797.94	c    35567    559     7821   525139   67    21084   11929   6830   2984 11.92
1797.94/1797.94	c    43073    559     9493   650560   68    25262   13122   8502   2976 14.47
1797.94/1797.94	c    54435    559    10857   727370   66    28054   14435   9866   2590 21.01
1797.94/1797.94	c    71579    559    14347   846191   58    37851   15879  13356   2452 29.19
1797.94/1797.94	c    97398    559    15738   900468   57    41982   17467  14747   2215 43.96
1797.94/1797.94	c   136230    559    16232  1089596   67    40963   19214  15241   1975 68.96
1797.94/1797.94	c   194583    559    18021  1060986   58    47196   21136  17030   1917 101.49
1797.94/1797.94	c   282216    559    12695   823256   64    33522   23250  11704   1716 164.37
1797.94/1797.94	c   413768    558    16935  1234515   72    44898   25576  15944   1549 267.08
1797.94/1797.94	c   611201    558    23725  1621428   68    62129   28134  22734   1368 446.51
1797.94/1797.94	c   907454    558    19271  1183531   61    52084   30948  18280   1266 716.39
1797.94/1797.94	c  1351936    558    22643  1420538   62    60351   34043  21652   1207 1120.03
1797.94/1797.94	c Resources Exceeded
1797.94/1797.94	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 x22 x23 x24 -x25 -x26 -x27 x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 x39 x40 -x41 -x42 x43 x44 -x45 x46 -x47 x48 x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 x57 -x58 -x59 x60 -x61 -x62 -x63 x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x100 -x101 x102 x103 -x104 -x105 -x106 -x107 -x108 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 
1797.94/1797.94	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1797.94	c   31  1971611  13422  2009417    22456  1514677  21465   1096 1798.00
1797.94/1797.94	c Objective: 3
1797.94/1797.94	s SATISFIABLE
1797.94/1797.94	c Total time: 1798 s

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462605-1307181441/watcher-3462605-1307181441 -o /tmp/evaluation-result-3462605-1307181441/solver-3462605-1307181441 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462605-1307181441.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.02 2.00 2/273 13638
/proc/meminfo: memFree=28400496/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=11060 CPUtime=0 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 371 0 0 0 0 0 0 0 25 0 1 0 829744863 11325440 322 33554432000 134512640 137138936 4289606128 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 2765 322 192 642 0 2121 0

[startup+0.082221 s]
/proc/loadavg: 2.06 2.02 2.00 2/273 13638
/proc/meminfo: memFree=28400496/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=11316 CPUtime=0.08 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 425 0 0 0 8 0 0 0 25 0 1 0 829744863 11587584 376 33554432000 134512640 137138936 4289606128 18446744073709551615 136502660 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 2829 376 192 642 0 2185 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11316

[startup+0.10022 s]
/proc/loadavg: 2.06 2.02 2.00 2/273 13638
/proc/meminfo: memFree=28400496/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=11316 CPUtime=0.09 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 429 0 0 0 9 0 0 0 25 0 1 0 829744863 11587584 380 33554432000 134512640 137138936 4289606128 18446744073709551615 134541983 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 2829 380 192 642 0 2185 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11316

[startup+0.300187 s]
/proc/loadavg: 2.06 2.02 2.00 2/273 13638
/proc/meminfo: memFree=28400496/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=12472 CPUtime=0.29 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 724 0 0 0 29 0 0 0 25 0 1 0 829744863 12771328 675 33554432000 134512640 137138936 4289606128 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 3118 675 192 642 0 2474 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12472

[startup+0.701092 s]
/proc/loadavg: 2.06 2.02 2.00 2/273 13638
/proc/meminfo: memFree=28400496/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=15588 CPUtime=0.69 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 1503 0 0 0 69 0 0 0 25 0 1 0 829744863 15962112 1454 33554432000 134512640 137138936 4289606128 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 3897 1454 192 642 0 3253 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15588

[startup+1.50092 s]
/proc/loadavg: 2.05 2.02 2.00 3/274 13639
/proc/meminfo: memFree=28393420/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=21004 CPUtime=1.49 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 2867 0 0 0 148 1 0 0 25 0 1 0 829744863 21508096 2818 33554432000 134512640 137138936 4289606128 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 5251 2818 192 642 0 4607 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21004

[startup+3.10065 s]
/proc/loadavg: 2.05 2.02 2.00 3/274 13639
/proc/meminfo: memFree=28386848/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=23564 CPUtime=3.09 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 3509 0 0 0 307 2 0 0 25 0 1 0 829744863 24129536 3460 33554432000 134512640 137138936 4289606128 18446744073709551615 134602882 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 5891 3460 192 642 0 5247 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23564

[startup+6.30107 s]
/proc/loadavg: 2.05 2.02 2.00 3/274 13639
/proc/meminfo: memFree=28384012/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=26104 CPUtime=6.29 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 4134 0 0 0 627 2 0 0 25 0 1 0 829744863 26730496 4085 33554432000 134512640 137138936 4289606128 18446744073709551615 134575867 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 6526 4085 192 642 0 5882 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26104

[startup+12.7009 s]
/proc/loadavg: 2.04 2.02 2.00 3/274 13639
/proc/meminfo: memFree=28382788/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=26704 CPUtime=12.69 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 4291 0 0 0 1265 4 0 0 25 0 1 0 829744863 27344896 4242 33554432000 134512640 137138936 4289606128 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 6676 4242 192 642 0 6032 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26704

[startup+25.5006 s]
/proc/loadavg: 2.04 2.02 2.00 3/274 13639
/proc/meminfo: memFree=28382912/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=26700 CPUtime=25.49 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 4291 0 0 0 2543 6 0 0 25 0 1 0 829744863 27340800 4242 33554432000 134512640 137138936 4289606128 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 6675 4242 192 642 0 6031 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26700

[startup+51.1009 s]
/proc/loadavg: 2.02 2.02 2.00 3/274 13640
/proc/meminfo: memFree=28380412/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=29952 CPUtime=51.09 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 5099 0 0 0 5100 9 0 0 25 0 1 0 829744863 30670848 5050 33554432000 134512640 137138936 4289606128 18446744073709551615 136520979 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 7488 5050 192 642 0 6844 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 29952

[startup+102.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/274 13641
/proc/meminfo: memFree=28378544/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=31832 CPUtime=102.3 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 5573 0 0 0 10215 15 0 0 25 0 1 0 829744863 32595968 5524 33554432000 134512640 137138936 4289606128 18446744073709551615 134542873 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 7958 5524 192 642 0 7314 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 31832

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 13643
/proc/meminfo: memFree=28376924/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=33232 CPUtime=162.29 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 5923 0 0 0 16208 21 0 0 25 0 1 0 829744863 34029568 5874 33554432000 134512640 137138936 4289606128 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 8308 5874 192 642 0 7664 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 33232

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 13653
/proc/meminfo: memFree=28371820/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=37072 CPUtime=222.3 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 6887 0 0 0 22203 27 0 0 25 0 1 0 829744863 37961728 6838 33554432000 134512640 137138936 4289606128 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 9268 6838 192 642 0 8624 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 37072

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 13655
/proc/meminfo: memFree=28371184/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=38560 CPUtime=282.3 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 7259 0 0 0 28198 32 0 0 25 0 1 0 829744863 39485440 7210 33554432000 134512640 137138936 4289606128 18446744073709551615 134576416 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 9640 7210 192 642 0 8996 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 38560

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 13657
/proc/meminfo: memFree=28371160/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=38724 CPUtime=342.3 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 7301 0 0 0 34194 36 0 0 25 0 1 0 829744863 39653376 7252 33554432000 134512640 137138936 4289606128 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 9681 7252 192 642 0 9037 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 38724

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 13661
/proc/meminfo: memFree=28367652/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=38972 CPUtime=402.3 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 7362 0 0 0 40189 41 0 0 25 0 1 0 829744863 39907328 7313 33554432000 134512640 137138936 4289606128 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 9743 7313 192 642 0 9099 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 38972

[startup+462.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/274 13663
/proc/meminfo: memFree=28366136/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=40860 CPUtime=462.3 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 7838 0 0 0 46184 46 0 0 25 0 1 0 829744863 41840640 7789 33554432000 134512640 137138936 4289606128 18446744073709551615 134540744 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 10215 7789 192 642 0 9571 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 40860

[startup+522.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/274 13664
/proc/meminfo: memFree=28365384/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=40804 CPUtime=522.31 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 7838 0 0 0 52179 52 0 0 25 0 1 0 829744863 41783296 7777 33554432000 134512640 137138936 4289606128 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 10201 7777 192 642 0 9557 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 40804

[startup+582.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/274 13666
/proc/meminfo: memFree=28365360/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=40800 CPUtime=582.31 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 7838 0 0 0 58175 56 0 0 25 0 1 0 829744863 41779200 7776 33554432000 134512640 137138936 4289606128 18446744073709551615 134575368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 10200 7776 192 642 0 9556 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 40800

[startup+642.301 s]

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

/proc/meminfo: memFree=28340532/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=45644 CPUtime=1062.32 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9063 0 0 0 106135 97 0 0 25 0 1 0 829744863 46739456 8987 33554432000 134512640 137138936 4289606128 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 11411 8987 192 642 0 10767 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 45644

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 13680
/proc/meminfo: memFree=28341020/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=45644 CPUtime=1122.33 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9063 0 0 0 112130 103 0 0 25 0 1 0 829744863 46739456 8987 33554432000 134512640 137138936 4289606128 18446744073709551615 136505585 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 11411 8987 192 642 0 10767 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 45644

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 13682
/proc/meminfo: memFree=28340876/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=45652 CPUtime=1182.33 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9066 0 0 0 118125 108 0 0 25 0 1 0 829744863 46747648 8989 33554432000 134512640 137138936 4289606128 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 11413 8989 192 642 0 10769 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 45652

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 13684
/proc/meminfo: memFree=28339252/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=47900 CPUtime=1242.33 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9630 0 0 0 124120 113 0 0 25 0 1 0 829744863 49049600 9519 33554432000 134512640 137138936 4289606128 18446744073709551615 134542958 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 11975 9519 192 642 0 11331 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 47900

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 13685
/proc/meminfo: memFree=28338604/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=47760 CPUtime=1302.34 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9630 0 0 0 130116 118 0 0 25 0 1 0 829744863 48906240 9516 33554432000 134512640 137138936 4289606128 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 11940 9516 192 642 0 11296 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 47760

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 13687
/proc/meminfo: memFree=28337732/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=48860 CPUtime=1362.33 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9873 0 0 0 136111 122 0 0 25 0 1 0 829744863 50032640 9759 33554432000 134512640 137138936 4289606128 18446744073709551615 134542799 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 12215 9759 192 642 0 11571 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 48860

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 13688
/proc/meminfo: memFree=28337584/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=48860 CPUtime=1422.34 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9873 0 0 0 142108 126 0 0 25 0 1 0 829744863 50032640 9759 33554432000 134512640 137138936 4289606128 18446744073709551615 135984550 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 12215 9759 192 642 0 11571 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 48860

[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/274 13690
/proc/meminfo: memFree=28337576/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=48860 CPUtime=1482.33 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9873 0 0 0 148103 130 0 0 25 0 1 0 829744863 50032640 9759 33554432000 134512640 137138936 4289606128 18446744073709551615 134540738 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 12215 9759 192 642 0 11571 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 48860

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/274 13692
/proc/meminfo: memFree=28337672/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=48860 CPUtime=1542.34 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9873 0 0 0 154098 136 0 0 25 0 1 0 829744863 50032640 9759 33554432000 134512640 137138936 4289606128 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 12215 9759 192 642 0 11571 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 48860

[startup+1602.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/274 13693
/proc/meminfo: memFree=28337788/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=48860 CPUtime=1602.34 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9873 0 0 0 160093 141 0 0 25 0 1 0 829744863 50032640 9759 33554432000 134512640 137138936 4289606128 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 12215 9759 192 642 0 11571 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 48860

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/274 13722
/proc/meminfo: memFree=28280368/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=48716 CPUtime=1662.35 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9873 0 0 0 166090 145 0 0 25 0 1 0 829744863 49885184 9755 33554432000 134512640 137138936 4289606128 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 12179 9755 192 642 0 11535 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 48716

[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/274 13723
/proc/meminfo: memFree=28104124/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=48716 CPUtime=1722.35 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9873 0 0 0 172086 149 0 0 25 0 1 0 829744863 49885184 9755 33554432000 134512640 137138936 4289606128 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 12179 9755 192 642 0 11535 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 48716

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/274 13725
/proc/meminfo: memFree=28038256/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=48716 CPUtime=1782.34 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9873 0 0 0 178082 152 0 0 25 0 1 0 829744863 49885184 9755 33554432000 134512640 137138936 4289606128 18446744073709551615 136502624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 12179 9755 192 642 0 11535 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 48716

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

[startup+1785.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/274 13725
/proc/meminfo: memFree=28038256/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=48716 CPUtime=1785.55 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9873 0 0 0 178402 153 0 0 25 0 1 0 829744863 49885184 9755 33554432000 134512640 137138936 4289606128 18446744073709551615 134542375 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 12179 9755 192 642 0 11535 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 48716

[startup+1791.91 s]
/proc/loadavg: 2.01 2.02 2.00 3/274 13725
/proc/meminfo: memFree=28038752/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=48716 CPUtime=1791.95 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9873 0 0 0 179042 153 0 0 25 0 1 0 829744863 49885184 9755 33554432000 134512640 137138936 4289606128 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 12179 9755 192 642 0 11535 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 48716

[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/274 13725
/proc/meminfo: memFree=28038876/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=48716 CPUtime=1795.15 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9873 0 0 0 179362 153 0 0 25 0 1 0 829744863 49885184 9755 33554432000 134512640 137138936 4289606128 18446744073709551615 134540738 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 12179 9755 192 642 0 11535 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 48716

[startup+1796.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/274 13725
/proc/meminfo: memFree=28038380/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=48716 CPUtime=1796.74 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9873 0 0 0 179521 153 0 0 25 0 1 0 829744863 49885184 9755 33554432000 134512640 137138936 4289606128 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 12179 9755 192 642 0 11535 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 48716

[startup+1797.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/274 13725
/proc/meminfo: memFree=28038380/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=48716 CPUtime=1797.54 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9873 0 0 0 179601 153 0 0 25 0 1 0 829744863 49885184 9755 33554432000 134512640 137138936 4289606128 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 12179 9755 192 642 0 11535 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 48716

[startup+1797.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/274 13725
/proc/meminfo: memFree=28038380/32951124 swapFree=55664332/67111528
[pid=13638] ppid=13636 vsize=48716 CPUtime=1797.94 cores=0,2,4,6
/proc/13638/stat : 13638 (bsolo) R 13636 13638 10640 0 -1 4202496 9873 0 0 0 179641 153 0 0 25 0 1 0 829744863 49885184 9755 33554432000 134512640 137138936 4289606128 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13638/statm: 12179 9755 192 642 0 11535 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 48716

Child status: 0
Real time (s): 1797.95
CPU time (s): 1798
CPU user time (s): 1796.46
CPU system time (s): 1.54077
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 48860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.46
system time used= 1.54076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9874
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= 4
involuntary context switches= 2676

runsolver used 4.72828 second user time and 9.98848 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-04 11:57:21
IDJOB=3462605
IDBENCH=48021
IDSOLVER=1955
FILE ID=node109/3462605-1307181441
RUNJOBID= node109-1307174724-12724
PBS_JOBID= 13508846
Free space on /tmp= 74008 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462605-1307181441/watcher-3462605-1307181441 -o /tmp/evaluation-result-3462605-1307181441/solver-3462605-1307181441 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462605-1307181441.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 133707692e98c55077a0d19203c18204
RANDOM SEED=1790475766

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28400660 kB
Buffers:        319952 kB
Cached:        2204112 kB
SwapCached:      10392 kB
Active:         902900 kB
Inactive:      3391480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28400660 kB
SwapTotal:    67111528 kB
SwapFree:     55664332 kB
Dirty:            4120 kB
Writeback:           0 kB
AnonPages:     1766616 kB
Mapped:          17244 kB
Slab:           156332 kB
PageTables:      37456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 30933800 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= 74004 MiB
End job on node109 at 2011-06-04 12:27:19