Trace number 3462601

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.2OPT3 1391.01 1390.97

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb
MD5SUM12f1f3305860fafcd361cd1c61e0d104
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 benchmark1.56076
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 variables168
Total number of constraints15
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 constraints15
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)448
Sum of products size (including duplicates)896
Number of different products448
Sum of products size896

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Instance file HOME/instance-3462601-1307181425.opb
0.00/0.01	c File size is 8050 bytes.
0.00/0.01	c Highest Coefficient sum: 130560
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0 s
0.00/0.01	c Var: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368
0.00/0.01	c Obj. Vars: 8 (1.2987 % of total variables)
0.00/0.01	c Pre-processing Time: 0.004 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    616      918     3856    4     3312    5173      0      0 0.00
0.00/0.01	c Switching off lower bounding mode.
124.79/124.88	c      101    616     1103    12481   11     3721    5691    185   5941 0.02
124.79/124.88	c      251    616     1381    27870   20     4425    6261    463   6783 0.04
124.79/124.88	c      476    616     1813    50398   27     5542    6888    895   6611 0.07
124.79/124.88	c      815    616     2467    84878   34     7294    7577   1549   6317 0.13
124.79/124.88	c     1324    616     3440   139613   40     9660    8335   2522   5963 0.22
124.79/124.88	c     2087    616     4912   227454   46    13463    9169   3994   4864 0.43
124.79/124.88	c     3233    616     7114   336140   47    19090   10086   6196   4082 0.79
124.79/124.88	c     4954    616    10455   502725   48    27623   11095   9537   3395 1.46
124.79/124.88	c     7538    616     9779   454092   46    25097   12205   8861   2669 2.82
124.79/124.88	c    11417    616    10290   550702   53    24809   13426   9372   2821 4.05
124.79/124.88	c    17240    616    14271   780903   54    35395   14769  13353   2777 6.21
124.79/124.88	c    25978    616    15271   848373   55    37261   16246  14353   2636 9.85
124.79/124.88	c    39089    616    14513   709717   48    37230   17871  13595   2458 15.90
124.79/124.88	c    58760    616    14904   839466   56    37106   19659  13986   2105 27.91
124.79/124.88	c    88272    616    20132  1030092   51    50589   21625  19214   1866 47.28
124.79/124.88	c   132543    616    15288   857998   56    37670   23788  14370   1582 83.73
124.79/124.88	o 59
311.09/311.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
311.09/311.18	c   195413    615    13381   729146   54    32280    5189  12463   1564 124.88
311.09/311.18	c   195513    605     3708   174824   47     9516    5708   2790   1564 124.94
311.09/311.18	c   195764    605     4165   200038   48    10725    6279   3247   1566 124.99
311.09/311.18	c   196239    605     5060   252480   49    12876    6907   4142   1568 125.08
311.09/311.18	c   197052    605     6644   328219   49    17508    7598   5726   1573 125.24
311.09/311.18	c   198372    605     5202   228564   43    14488    8358   4284   1578 125.70
311.09/311.18	c   200454    605     8674   424755   48    22609    9194   7756   1578 127.00
311.09/311.18	c   203678    605     9811   524328   53    24418   10114   8893   1583 128.60
311.09/311.18	c   208615    605     8384   412884   49    22602   11126   7466   1604 130.05
311.09/311.18	c   216121    605    10861   513289   47    27580   12239   9943   1622 133.18
311.09/311.18	c   227482    605    12689   621926   49    32795   13463  11771   1632 139.34
311.09/311.18	c   244626    595    10042   482896   48    26272   14810   9124   1639 149.22
311.09/311.18	c   270447    595    10347   544373   52    24978   16292   9429   1673 161.56
311.09/311.18	c   309280    595    12513   630861   50    33212   17922  11595   1638 188.81
311.09/311.18	c   367633    595    10996   589846   53    26723   19715  10078   1588 231.38
311.09/311.18	c   455265    595    19915  1030900   51    52936   21687  18997   1546 294.39
311.09/311.18	o 13
500.51/500.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
500.51/500.55	c   475735    595    12429   614481   49    31568    5185  11511   1528 311.19
500.51/500.55	c   475836    585     3678   147008   39     9606    5704   2760   1528 311.26
500.51/500.55	c   476087    585     4180   178489   42    11032    6275   3262   1529 311.30
500.51/500.55	c   476562    585     5054   235041   46    13321    6903   4136   1530 311.41
500.51/500.55	c   477376    585     6525   323464   49    16707    7594   5607   1531 311.63
500.51/500.55	c   478697    585     5220   244139   46    14303    8354   4302   1534 312.02
500.51/500.55	c   480778    585     8988   449238   49    24058    9190   8070   1535 313.03
500.51/500.55	c   484002    585    10010   512590   51    25478   10110   9092   1537 314.84
500.51/500.55	c   488939    585     8464   421534   49    21554   11122   7546   1540 317.47
500.51/500.55	c   496446    585    10454   526874   50    26469   12235   9536   1542 321.75
500.51/500.55	c   507808    575    11229   560958   49    29012   13459  10311   1542 329.18
500.51/500.55	c   524952    575     7657   431380   56    18191   14805   6739   1551 338.34
500.51/500.55	c   550771    575     8330   419799   50    20899   16286   7412   1559 353.23
500.51/500.55	c   589603    575    11590   622831   53    28230   17915  10672   1562 377.36
500.51/500.55	c   647955    575    16991   999446   58    40875   19707  16073   1577 410.87
500.51/500.55	c   735587    575    13206   680811   51    35272   21678  12288   1532 480.07
500.51/500.55	o 3
1390.93/1390.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1390.93/1390.96	c   764763    575    11815   617743   52    28905    5181  10897   1527 500.57
1390.93/1390.96	c   764864    544     3706   157001   42     9854    5700   2788   1527 500.67
1390.93/1390.96	c   765114    544     4180   183663   43    11056    6271   3262   1528 500.72
1390.93/1390.96	c   765590    544     5102   232623   45    13518    6899   4184   1528 500.80
1390.93/1390.96	c   766404    544     6672   348688   52    17551    7589   5754   1529 501.00
1390.93/1390.96	c   767724    544     5078   269762   53    13517    8348   4160   1531 501.35
1390.93/1390.96	c   769805    544     8880   465783   52    23550    9183   7962   1532 502.36
1390.93/1390.96	c   773028    544    10140   497084   49    27038   10102   9222   1534 503.83
1390.93/1390.96	c   777964    544     8765   440130   50    22859   11113   7847   1538 505.71
1390.93/1390.96	c   785471    544    10471   523615   50    27441   12225   9553   1542 509.13
1390.93/1390.96	c   796832    544    12746   679777   53    32063   13448  11828   1550 513.86
1390.93/1390.96	c   813976    544     8609   449073   52    22110   14793   7691   1553 524.02
1390.93/1390.96	c   839796    544    10274   533985   51    26272   16273   9356   1560 538.17
1390.93/1390.96	c   878628    544    14103   730114   51    36458   17901  13185   1558 563.62
1390.93/1390.96	c   936980    544    11084   626605   56    26905   19692  10166   1547 605.60
1390.93/1390.96	c  1024614    543    15162   867913   57    37531   21662  14244   1524 671.93
1390.93/1390.96	c  1156168    543    18400   985392   53    44946   23829  17482   1503 768.75
1390.93/1390.96	c  1353600    542    13331   692488   51    32636   26212  12413   1446 935.74
1390.93/1390.96	c  1649852    539    24570  1296151   52    61739   28834  23652   1371 1202.73
1390.93/1390.96	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 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x89 x90 x91 -x92 x93 x94 -x95 x96 x137 x138 -x139 x140 x141 -x142 -x143 -x144 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 x162 -x163 x164 -x165 -x166 -x167 -x168 
1390.93/1390.96	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1390.93/1390.96	c   67  1851253  17548  1920657    22066   955171  21148   1330 1391.01
1390.93/1390.96	c Objective: 3
1390.93/1390.96	s OPTIMUM FOUND
1390.93/1390.96	c Total time: 1391.01 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-3462601-1307181425/watcher-3462601-1307181425 -o /tmp/evaluation-result-3462601-1307181425/solver-3462601-1307181425 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462601-1307181425.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.04 2.03 2.00 3/424 1385
/proc/meminfo: memFree=25274840/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=10800 CPUtime=0 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 272 0 0 0 0 0 0 0 25 0 1 0 829740720 11059200 227 33554432000 134512640 137138936 4288550336 18446744073709551615 136525335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 2700 227 173 642 0 2054 0

[startup+0.107698 s]
/proc/loadavg: 2.04 2.03 2.00 3/424 1385
/proc/meminfo: memFree=25274840/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=11952 CPUtime=0.1 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 601 0 0 0 10 0 0 0 25 0 1 0 829740720 12238848 554 33554432000 134512640 137138936 4288550336 18446744073709551615 134599718 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 2988 554 192 642 0 2344 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11952

[startup+0.200682 s]
/proc/loadavg: 2.04 2.03 2.00 3/424 1385
/proc/meminfo: memFree=25274840/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=12852 CPUtime=0.19 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 808 0 0 0 19 0 0 0 25 0 1 0 829740720 13160448 761 33554432000 134512640 137138936 4288550336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 3213 761 192 642 0 2569 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12852

[startup+0.300666 s]
/proc/loadavg: 2.04 2.03 2.00 3/424 1385
/proc/meminfo: memFree=25274840/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=13484 CPUtime=0.29 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 973 0 0 0 29 0 0 0 25 0 1 0 829740720 13807616 926 33554432000 134512640 137138936 4288550336 18446744073709551615 134575829 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 3371 926 192 642 0 2727 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13484

[startup+0.700603 s]
/proc/loadavg: 2.04 2.03 2.00 3/424 1385
/proc/meminfo: memFree=25274840/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=15680 CPUtime=0.69 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 1519 0 0 0 69 0 0 0 25 0 1 0 829740720 16056320 1472 33554432000 134512640 137138936 4288550336 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 3920 1472 192 642 0 3276 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15680

[startup+1.50044 s]
/proc/loadavg: 2.04 2.03 2.00 3/425 1386
/proc/meminfo: memFree=25267516/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=18632 CPUtime=1.49 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 2268 0 0 0 149 0 0 0 25 0 1 0 829740720 19079168 2221 33554432000 134512640 137138936 4288550336 18446744073709551615 136504108 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 4658 2221 192 642 0 4014 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18632

[startup+3.10019 s]
/proc/loadavg: 2.04 2.03 2.00 3/425 1386
/proc/meminfo: memFree=25264148/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=19788 CPUtime=3.09 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 2558 0 0 0 308 1 0 0 25 0 1 0 829740720 20262912 2511 33554432000 134512640 137138936 4288550336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 4947 2511 192 642 0 4303 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19788

[startup+6.3006 s]
/proc/loadavg: 2.04 2.03 2.00 3/425 1386
/proc/meminfo: memFree=25260872/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=22984 CPUtime=6.29 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 3339 0 0 0 627 2 0 0 25 0 1 0 829740720 23535616 3292 33554432000 134512640 137138936 4288550336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 5746 3292 192 642 0 5102 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22984

[startup+12.7004 s]
/proc/loadavg: 2.03 2.03 2.00 3/425 1386
/proc/meminfo: memFree=25247864/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=25552 CPUtime=12.69 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 4001 0 0 0 1266 3 0 0 25 0 1 0 829740720 26165248 3954 33554432000 134512640 137138936 4288550336 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 6388 3954 192 642 0 5744 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25552

[startup+25.5011 s]
/proc/loadavg: 2.10 2.04 2.00 3/425 1386
/proc/meminfo: memFree=25228028/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=28120 CPUtime=25.49 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 4645 0 0 0 2545 4 0 0 25 0 1 0 829740720 28794880 4598 33554432000 134512640 137138936 4288550336 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7030 4598 192 642 0 6386 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28120

[startup+51.1004 s]
/proc/loadavg: 2.06 2.04 2.00 3/425 1387
/proc/meminfo: memFree=25174116/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31376 CPUtime=51.09 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5456 0 0 0 5102 7 0 0 25 0 1 0 829740720 32129024 5409 33554432000 134512640 137138936 4288550336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7844 5409 192 642 0 7200 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 31376

[startup+102.301 s]
/proc/loadavg: 2.28 2.09 2.02 3/425 1388
/proc/meminfo: memFree=25103532/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=32152 CPUtime=102.3 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 10218 12 0 0 25 0 1 0 829740720 32923648 5611 33554432000 134512640 137138936 4288550336 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8038 5611 192 642 0 7394 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 32152

[startup+162.301 s]
/proc/loadavg: 2.22 2.10 2.02 3/425 1390
/proc/meminfo: memFree=25014832/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=32144 CPUtime=162.29 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 16208 21 0 0 25 0 1 0 829740720 32915456 5611 33554432000 134512640 137138936 4288550336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8036 5611 192 642 0 7392 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 32144

[startup+222.316 s]
/proc/loadavg: 2.08 2.08 2.02 3/425 1392
/proc/meminfo: memFree=24946848/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31912 CPUtime=222.31 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 22204 27 0 0 25 0 1 0 829740720 32677888 5554 33554432000 134512640 137138936 4288550336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7978 5554 192 642 0 7334 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 31912

[startup+282.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/425 1402
/proc/meminfo: memFree=24943676/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31908 CPUtime=282.3 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 28198 32 0 0 25 0 1 0 829740720 32673792 5553 33554432000 134512640 137138936 4288550336 18446744073709551615 134618206 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7977 5553 192 642 0 7333 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 31908

[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/425 1404
/proc/meminfo: memFree=24943124/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31904 CPUtime=342.3 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 34191 39 0 0 25 0 1 0 829740720 32669696 5552 33554432000 134512640 137138936 4288550336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7976 5552 192 642 0 7332 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 31904

[startup+402.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/425 1405
/proc/meminfo: memFree=24943700/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31844 CPUtime=402.3 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 40182 48 0 0 25 0 1 0 829740720 32608256 5537 33554432000 134512640 137138936 4288550336 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7961 5537 192 642 0 7317 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 31844

[startup+462.301 s]
/proc/loadavg: 2.18 2.08 2.01 3/425 1410
/proc/meminfo: memFree=24943480/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31840 CPUtime=462.3 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 46177 53 0 0 25 0 1 0 829740720 32604160 5536 33554432000 134512640 137138936 4288550336 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7960 5536 192 642 0 7316 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 31840

[startup+522.301 s]
/proc/loadavg: 2.06 2.06 2.00 3/425 1412
/proc/meminfo: memFree=24943624/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31824 CPUtime=522.3 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 52170 60 0 0 25 0 1 0 829740720 32587776 5532 33554432000 134512640 137138936 4288550336 18446744073709551615 136501664 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7956 5532 192 642 0 7312 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 31824

[startup+582.301 s]
/proc/loadavg: 2.06 2.06 2.00 3/425 1413
/proc/meminfo: memFree=24944200/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31824 CPUtime=582.3 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 58164 66 0 0 25 0 1 0 829740720 32587776 5532 33554432000 134512640 137138936 4288550336 18446744073709551615 134542557 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7956 5532 192 642 0 7312 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 31824

[startup+642.301 s]

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

/proc/meminfo: memFree=24943308/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31824 CPUtime=762.32 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 76147 85 0 0 25 0 1 0 829740720 32587776 5532 33554432000 134512640 137138936 4288550336 18446744073709551615 134599684 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7956 5532 192 642 0 7312 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 31824

[startup+822.301 s]
/proc/loadavg: 2.03 2.08 2.01 3/425 1420
/proc/meminfo: memFree=24944508/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31984 CPUtime=822.32 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5692 0 0 0 82141 91 0 0 25 0 1 0 829740720 32751616 5566 33554432000 134512640 137138936 4288550336 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7996 5566 192 642 0 7352 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 31984

[startup+882.316 s]
/proc/loadavg: 2.01 2.06 2.01 3/425 1421
/proc/meminfo: memFree=24943964/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31984 CPUtime=882.33 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5692 0 0 0 88136 97 0 0 25 0 1 0 829740720 32751616 5566 33554432000 134512640 137138936 4288550336 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7996 5566 192 642 0 7352 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 31984

[startup+942.301 s]
/proc/loadavg: 2.00 2.05 2.00 3/425 1423
/proc/meminfo: memFree=24943544/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=33304 CPUtime=942.32 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6022 0 0 0 94130 102 0 0 25 0 1 0 829740720 34103296 5896 33554432000 134512640 137138936 4288550336 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8326 5896 192 642 0 7682 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 33304

[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 1424
/proc/meminfo: memFree=24856820/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=33304 CPUtime=1002.32 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6024 0 0 0 100125 107 0 0 25 0 1 0 829740720 34103296 5898 33554432000 134512640 137138936 4288550336 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8326 5898 192 642 0 7682 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 33304

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 1426
/proc/meminfo: memFree=24819836/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=33692 CPUtime=1062.32 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6120 0 0 0 106120 112 0 0 25 0 1 0 829740720 34500608 5994 33554432000 134512640 137138936 4288550336 18446744073709551615 134603111 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8423 5994 192 642 0 7779 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 33692

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1428
/proc/meminfo: memFree=24819304/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=33928 CPUtime=1122.32 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6179 0 0 0 112113 119 0 0 25 0 1 0 829740720 34742272 6053 33554432000 134512640 137138936 4288550336 18446744073709551615 134603164 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8482 6053 192 642 0 7838 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 33928

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 1429
/proc/meminfo: memFree=24818520/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=33924 CPUtime=1182.32 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6180 0 0 0 118108 124 0 0 25 0 1 0 829740720 34738176 6054 33554432000 134512640 137138936 4288550336 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8481 6054 192 642 0 7837 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 33924

[startup+1242.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/425 1431
/proc/meminfo: memFree=24817232/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35252 CPUtime=1242.33 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 124103 130 0 0 25 0 1 0 829740720 36098048 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8813 6387 192 642 0 8169 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 35252

[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/425 1459
/proc/meminfo: memFree=25846924/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1302.32 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 130097 135 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 35248

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/425 1461
/proc/meminfo: memFree=25845252/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1362.33 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 136094 139 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 35248

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

[startup+1369.62 s]
/proc/loadavg: 2.01 2.02 2.00 3/425 1461
/proc/meminfo: memFree=25845248/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1369.64 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 136825 139 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1369.64
Current children cumulated vsize (KiB) 35248

[startup+1382.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/425 1461
/proc/meminfo: memFree=25845248/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1382.43 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 138102 141 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1382.43
Current children cumulated vsize (KiB) 35248

[startup+1385.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1462
/proc/meminfo: memFree=25845248/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1385.63 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 138422 141 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1385.63
Current children cumulated vsize (KiB) 35248

[startup+1388.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1462
/proc/meminfo: memFree=25845244/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1388.83 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 138742 141 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1388.83
Current children cumulated vsize (KiB) 35248

[startup+1389.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1462
/proc/meminfo: memFree=25845244/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1389.63 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 138822 141 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1389.63
Current children cumulated vsize (KiB) 35248

[startup+1390.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1462
/proc/meminfo: memFree=25845244/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1390.44 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 138903 141 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1390.44
Current children cumulated vsize (KiB) 35248

[startup+1390.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1462
/proc/meminfo: memFree=25845244/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1390.83 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 138942 141 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1390.83
Current children cumulated vsize (KiB) 35248

[startup+1390.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1462
/proc/meminfo: memFree=25845244/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1390.93 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 138952 141 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 136504045 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1390.93
Current children cumulated vsize (KiB) 35248

Child status: 0
Real time (s): 1390.97
CPU time (s): 1391.01
CPU user time (s): 1389.59
CPU system time (s): 1.41279
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 35256

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

runsolver used 5.96809 second user time and 13.007 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-04 11:57:05
IDJOB=3462601
IDBENCH=48017
IDSOLVER=1955
FILE ID=node134/3462601-1307181425
RUNJOBID= node134-1307175438-486
PBS_JOBID= 13508837
Free space on /tmp= 74016 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462601-1307181425/watcher-3462601-1307181425 -o /tmp/evaluation-result-3462601-1307181425/solver-3462601-1307181425 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462601-1307181425.opb

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

MD5SUM BENCH= 12f1f3305860fafcd361cd1c61e0d104
RANDOM SEED=2055396241

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25275128 kB
Buffers:        298616 kB
Cached:         655800 kB
SwapCached:       9536 kB
Active:        6764180 kB
Inactive:       617236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25275128 kB
SwapTotal:    67111528 kB
SwapFree:     44043516 kB
Dirty:            3900 kB
Writeback:           0 kB
AnonPages:     6425092 kB
Mapped:          21956 kB
Slab:           136920 kB
PageTables:      90412 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 111378380 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74012 MiB
End job on node134 at 2011-06-04 12:20:16